A basic ODE model of viral infection includes three populations: uninfected target cells (T), infected cells (I), and free virus (V). Adding a fourth compartment for effector immune cells (E) that kill infected cells transforms the dynamics. What new qualitative behavior can emerge?
AThe virus always wins because the immune cells make the model more complex
BA threshold effect: below a critical viral inoculum, the immune response clears the infection; above it, the virus overwhelms the immune system before the response is mounted — creating a sharp distinction between cleared and chronic infections
CThe immune cells and virus always reach a stable coexistence
DOscillations are impossible in immune models
The immune response has an intrinsic delay (clonal expansion takes days), creating a race between viral replication and immune activation. Below a critical inoculum, the immune response expands fast enough to contain and clear the virus. Above it, the virus replicates to levels that damage target cells faster than the immune response can eliminate infected cells, potentially leading to chronic infection or death. This threshold behavior — a bifurcation in the ODE model — explains why the same pathogen can cause self-limiting infection in one context and chronic or lethal infection in another. The model also predicts that the threshold depends on the speed of immune activation, providing a quantitative framework for vaccination (pre-existing memory cells lower the effective threshold).
Question 2 True / False
Mathematical models of the immune system can predict exact clinical outcomes for individual patients.
TTrue
FFalse
Answer: False
Immune system models capture population-level dynamics and qualitative behaviors (clearance vs. chronicity, threshold effects, oscillations) but face enormous challenges in patient-specific prediction. Individual variation in HLA genotype, T-cell receptor repertoire, prior exposure history, microbiome composition, age, and comorbidities creates heterogeneity that current models cannot fully parameterize. Models are most valuable for understanding mechanisms, identifying qualitative regimes, optimizing treatment schedules (timing and dosing), and generating hypotheses — not for precise individual prediction. However, increasingly parameterized models are improving quantitative predictions for well-characterized systems like HIV dynamics during antiretroviral therapy.
Question 3 Short Answer
How does modeling the within-host evolution of HIV inform treatment strategies?
Think about your answer, then reveal below.
Model answer: HIV replicates with a high error rate, generating a genetically diverse viral population (quasispecies) within each patient. Mathematical models of this within-host evolution predict that single-drug therapy quickly selects for resistant mutants because the mutation rate is high enough that resistance variants pre-exist in the viral population. The models showed that combination therapy with three drugs targeting different viral proteins is needed because the probability of simultaneously having resistance to all three is vanishingly small (the product of three small mutation probabilities). This quantitative prediction from viral dynamics models directly informed the development of HAART (highly active antiretroviral therapy), one of the most successful applications of mathematical modeling in medicine.
Perelson and Ho's models of HIV dynamics (1996) also revealed that viral turnover is extraordinarily rapid (~10^10 virions produced and cleared per day), even during the apparently quiescent chronic phase. This insight transformed understanding of HIV pathogenesis from a slowly progressing disease to a dynamic battle between viral replication and immune clearance.