Model with two types of CTL regulation and experiments on CTL dynamics

Recently, we developed a mathematical model of interaction between the HIV and the immune system to match various dynamic experiments carried out in HIV-infected humans and SIV-infected macaques. The model includes helper cell-dependent and helper cell-independent cytotoxic lymphocytes (CTLs) and predicts two stable steady states, a state with a high virus load and few helper cells, and another state with a low virus load and many helper cells. Here we upgrade the model to take into account recent reports on the link between the activation status of infected cells and their ability to produce virus, the effect of helper cells at the time of priming on CTL differentiation, and virus dynamics in unvaccinated macaques with a broad genetic background acutely infected with SIVmac251. We also discuss in detail the experimental justification of the CTL block and the robustness of model predictions with respect to the hypothesis of two CTL subtypes.