Functional cure of a chronic virus infection by shifting the virus - host equilibrium state

Bifurcation analysis of multistability and hysteresis in a model of HIV infection

The infectious disease caused by human immunodeficiency virus type 1 (HIV-1) remains a serious threat to hu- man health. The current approach to HIV-1 treatment is based on the use of highly active antiretroviral therapy, which has side effects and is costly. For clinical practice, it is highly important to create functional cures that can enhance immune control of viral growth and infection of target cells with a subsequent reduction in viral load and restoration of the immune status. HIV-1 control efforts with reliance on immunotherapy remain at a conceptual stage due to the complexity of a set of processes that regulate the dynamics of infection and immune response. For this reason, it is extremely important to use methods of mathematical modeling of HIV-1 infection dynamics for theoretical analysis of possibilities of reducing the viral load by affecting the immune system without the usage of antiviral therapy. The aim of our study is to examine the existence of bi-, multistability and hysteresis properties with a meaningful mathematical model of HIV-1 infection. The model describes the most important blocks of the processes of interaction between viruses and the human body, namely, the spread of infection in productively and latently infected cells, the appearance of viral mutants and the develop- ment of the T cell immune response. Furthermore, our analysis aims to study the possibilities of transferring the clinical pattern of the disease from a more severe state to a milder one. We analyze numerically the conditions for the existence of steady states of the mathematical model of HIV-1 infection for the numerical values of model parameters correspond- ing to phenotypically different variants of the infectious disease course. To this end, original computational methods of bifurcation analysis of mathematical models formulated with systems of ordinary differential equations and delay differ- ential equations are used. The macrophage activation rate constant is considered as a bifurcation parameter. The regions in the model parameter space, in particular, for the rate of activation of innate immune cells (macrophages), in which the properties of bi-, multistability and hysteresis are expressed, have been identified, and the features characterizing transi- tion kinetics between stable equilibrium states have been explored. Overall, the results of bifurcation analysis of the HIV-1 infection model form a theoretical basis for the development of combination immune-based therapeutic approaches to HIV-1 treatment. In particular, the results of the study of the HIV-1 infection model for parameter sets corresponding to different phenotypes of disease dynamics (typical, long-term non-progressing and rapidly progressing courses) indicate that an effective functional treatment (cure) of HIV-1-infected patients requires the development of a personalized ap- proach that takes into account both the properties of the HIV-1 quasispecies population and the patient's immune status.

Stochastic Modelling of HIV-1 Replication in a CD4 T Cell with an IFN Response

A mathematical model of the human immunodeficiency virus Type 1 (HIV-1) life cycle in CD4 T cells was constructed and calibrated. It describes the activation of the intracellular Type I interferon (IFN-I) response and the IFN-induced suppression of viral replication. The model includes viral replication inhibition by interferon-induced antiviral factors and their inactivation by the viral proteins Vpu and Vif. Both deterministic and stochastic model formulations are presented. The stochastic model was used to predict efficiency of IFN-I-induced suppression of viral replication in different initial conditions for autocrine and paracrine effects. The probability of virion excretion for various MOIs and various amounts of IFN-I was evaluated and the statistical properties of the heterogeneity of HIV-1 and IFN-I production characterised.