Introduction

It is now known that tumours evoke an immune response, which can alter the growth and makeup of a tumour. Greater understanding of the anti-tumour immune response has led to the development of immunotherapies, which have seen some degree of success in clinical trials, particularly in cancers of the blood (Kochenderfer et al. 2014; Brentjens et al. 2013; Leach et al. 1996; McDermott et al. 2015; Hodi et al. 2010). However, the use of these therapies in solid cancers and conversion to the clinic still remains a challenge as was pointed out by Kakarla and Gottschalk (2014).

The immune system can be seen as a network of interacting cells, with many different cell types working together to perform a wide-ranging and robust function against pathogens. In addition to this, tumours are rapidly evolving parts of this network. A systemic understanding of the mechanisms of the anti-tumour immune response is, therefore, vital in the development of immunotherapies. Immediately, this questions what should be considered important systemic processes and what can be regarded as non-dominant behaviour. With this in mind this paper seeks to address the adaptive, T-cell dependent anti-tumour immune response.

T-cells are lymphocytes, a group of white blood cells, distinguished from other lymphocytes by their unique receptor known as the T-cell receptor (TCR). A TCR is specific to a particular antigen (a part of a protein recognised by a TCR). In addition to this, T-cells can be split into two main sub-types: helper and cytotoxic T-cells. Antigens are picked up by professional antigen presenting cells (APCs) and presented as a peptide on the surface molecule MHC-II. Helper T-cells can then activate by binding to MHC-II which displays the antigen that the TCR is specific to. Activated helpers can then activate cytotoxic T-cells which eliminate cells that present their conjugate antigen via MHC-I. The T-cell dependent response eliminates infected cells, but is also invoked by tumours (Restifo et al. 2012).

A common experimental technique in immunology is immunostaining, which uses antibodies that bind to specific proteins, to sort cells. Helper T-cells are known for their high expression of the protein CD4, and cytotoxic cells for high CD8. For this reason, they are commonly referred to as CD4\(^{+}\) and CD8\(^{+}\) cells, respectively. A decrease in the CD4\(^{+}\)/CD8\(^{+}\) ratio is considered to be a good prognostic marker for conditions associated with immunodeficiency such as HIV (Taylor et al. 1989; Serrano-Villar et al. 2014), and aging (Wikby et al. 1998; Olsson et al. 2001).

Solid tumours are a porous mixture of tumour cells, immune cells and healthy tissue cells. T-cells can infiltrate tumours and the CD4\(^{+}\)/CD8\(^{+}\) ratio of infiltrating T-cells can be measured from tumour samples. A low CD4\(^{+}\)/CD8\(^{+}\) of infiltrating T-cells has been considered as a marker for prognosis across several cancer types including: cervical (Sheu et al. 1999), breast (Sheu et al. 2008; Sevcíková et al. 1992), lung, liver, testicular and colorectal cancers (Tancini et al. 1990). Tancini et al. (1990) surveyed tumours from a cohort of breast, lung, colorectal, liver and testicular cancers, and found that low intra-epithelial CD4\(^{+}\)/CD8\(^{+}\) was associated with early stage cancer due to an expanded CD8\(^{+}\) population, and that later stage cancers were associated with low CD4\(^{+}\)/CD8\(^{+}\) due to a loss of the CD4\(^{+}\) population. In addition to these results in solid cancers, a low CD4\(^{+}\)/CD8\(^{+}\) ratio in the blood correlated with poor survival in chronic lymphocytic leukemia (CLL) (Nunes et al. 2012). Despite the evidence that across cancer types a low CD4\(^{+}\)/CD8\(^{+}\) ratio is a sign of poor prognosis, patients with a low CD4\(^{+}\)/CD8\(^{+}\) ratio of tumour infiltrating T-cells were found to have significantly improved survival in separate studies of colorectal cancer (Diederichsen et al. 2003) and ovarian cancer (Sato et al. 2005), contradicting these studies.

There are many factors, biological and immunological, which could account for the prognostic variability in the CD4\(^{+}\)/CD8\(^{+}\) ratio. Overall T-cell infiltration, i.e the density of T-cells in a tumour, may account for this variability in tumours, as the absolute number of T-cells will affect the strength of the immune response. As one would expect, the density of T-cells has also been shown to correlate with prognosis in cancer (Ménard et al. 1997; Ryschich et al. 2005). However, recent results have shown that the tumour reactivity of infiltrating T-cells, which reflects the proportion of TCRs that are specific to tumour associated antigens, is low in cancers where infiltration is a marker for prognosis (Scheper et al. 2019). Therefore, the infiltration of specific T-cells may also lead to variability in prognostic markers.

A key stage in the progression of tumours is the down-expression of MHC-I, a cell surface molecule with which immune cells interact (Garcia-Lora et al. 2003). Despite evidence for MHC-I expression correlating with prognosis, the relationship with tumour growth is less clear. The total absence of MHC-I in breast tumours has been shown to activate a group of innate immune cells, natural killer (NK) cells, which can kill cells without MHC-I recognition (Madjd et al. 2005). However, studies of colorectal cancer showed that tumours with high MHC-I were found in patients with longer survival times and that MHC-I could be used as an independent marker of prognosis (Watson et al. 2006; Simpson et al. 2010). To complement the results seen with breast cancer, the total absence of MHC-I in colorectal cancer also showed longer patient survival times compared with low MHC-I expression, due to the activation of NK cells (Watson et al. 2006). To summarise, MHC-I expression impacts the growth of tumours in vivo, with low expression favouring tumour growth, while high expression leading to longer patient survival. The exception is tumours with an absence of MHC-I which trigger an innate immune response from NK cells. This stresses the importance of tumour heterogeneity: low MHC-I expression, due to a large proportion of cells down-expressing MHC-I, will prevent a sufficient T-cell response, but the low level of MHC-I will also interrupt the response from NK cells.

There is a mechanistic interplay between the CD4\(^{+}\)/CD8\(^{+}\) ratio and MHC-I expression. This is because cytotoxic cells, which form the majority of CD8\(^{+}\) cells, bind to MHC-I in order to eliminate tumour cells. In spite of this fact there is a lack of data measuring the CD4\(^{+}\)/CD8\(^{+}\) ratio and MHC-I together. One study has shown that the prognostic value of T-cell markers improves when MHC-I expression is also considered (Turcotte et al. 2014). Additionally, the loss of MHC-I in pancreatic cancer has been shown to lead to a lower level of infiltration by cytotoxic T-cells (Ryschich et al. 2005). Cytotoxic T-cell infiltration was found to be a marker of prognosis, however, MHC-I alone was not. Our hypothesis is that the interplay between CD4\(^{+}\)/CD8\(^{+}\), T-cell infiltration, and MHC-I could explain the differences in prognostic value for these parameters across individual tumours and different cancers. To address this we create a mathematical model, starting from known cellular processes to derive system-wide behaviour. The aim is to see if such a model captures this interplay and explains potential variation in the prognostic value of CD4\(^{+}\)/CD8\(^{+}\) and MHC-I.

As research has turned towards systemic modelling of the immune system there has been an increase in mathematical and computational approaches to modelling challenges in immunology. Mathematical models used are mainly deterministic, comprised of ordinary differential equations (ODEs). Such models usually fall into two extremes: either, the model is low dimensional, ‘macroscopic’, and does not fully capture the systemic behaviour of the system; or it is high dimensional, ‘microscopic’, with a large number of unknown parameters; usually this makes statistical evaluation of these models with real data difficult. Furthermore, ODE models also fail to capture the inherent stochasticity of biological processes. In this paper we consider a model that lies between these two approaches, keeping the model to a few key parameters, whilst also including inherent stochasticity of microscopic behaviour.

The cytotoxic anti-tumour response has been modelled previously, most notably by Kuznetsov et al. (1994). Despite their pioneering efforts, they neglected to include the immunosupressive effects of the tumour microenvironment, something which was later accommodated for by Dritschel et al. (2018) who included specifically the interactions between the helper and cytotoxic T-cell populations. Both models are deterministic and our work deviates from them in this respect.

In our work we model the interplay between the CD4\(^{+}\)/CD8\(^{+}\) T-cell ratio and the expression of MHC-I in tumours explicitly. Although our model is also a system of ODEs which describe the change in concentration of cells, our model differs from previous efforts by including the stochastic dynamics of T-cell activation. The latter is used in the derivation of our model, but our analysis is based on non-equilibrium statistical mechanics, as similarly implemented by Annibale et al. (2018), allowing us to describe the macroscopic behaviour of the system deterministically. Statistical mechanics has a rich recent history in modelling the immune system (Perelson and Weisbuch 1997; Lucia and Maino 2002; Chakraborty and Košmrlj 2010; Mora et al. 2010; Agliari et al. 2013; Bartolucci et al. 2016) and here we use it to address the unique modelling challenges that tumour immunology poses. In doing so we derive a condition for the eradication of tumours which reveals a critical threshold of MHC-I expression. This threshold is found to depend on the CD4\(^{+}\)/CD8\(^{+}\) T-cell ratio, T-cell infiltration, and T-cell specificity.

In this work, we exclude the effects of NK cells and macrophages, focusing exclusively on the T-cell dependent response. This allows our model to be kept to a few key parameters that can be analysed in full. As previously discussed, NK cells play a dominant role when MHC-I is totally absent, a case which is less relevant for our model. The role of macrophages in the tumour is a double edged sword, with macrophages eliminating tumour cells, and also forming part of the bulk tumour. This behaviour is complex, and has been modelled elsewhere (Eftimie and Eftimie 2018), and is unlikely to affect our analysis on the interplay between the CD4\(^{+}\)/CD8\(^{+}\) T-cell ratio and MHC-I. The result of this work is a low dimensional model with just a few important parameters, derived from known immunological and biological mechanisms.

The remaining sections of this paper will be organised as follows: in Sec. 2 we will introduce our mathematical model for tumour-immune interactions, in Sec. 3 we will present four key results that are of biological relevance and we will provide a discussion that assesses how our results fit in with the questions raised by the literature. We will discuss benefits and limitations of our modelling approach as well as pathways for future work in Sec. 4. Technical details are described in the appendix.

Fig. 1
figure 1

Summary of cellular interactions between tumour cells (C), antigen presenting cells (APCs), helper T cells (Th) and cytotoxic T cells (Tc) in the anti-tumour immune response

Constructing a mathematical model

The adaptive anti-tumour immune response

The anti-tumour immune response can be described by a series of cellular kinetic rate reactions. Here we list the full set of reactions that we model. By describing the immune response in this way, we can use the law of mass action to write a series of ODEs for further analysis. We consider the anti-tumour immune response to be between tumour cells, antigen presenting cells and T-cells, which are split into two sub-types, helper and cytotoxic. Their interactions, summarised in Fig. 1, are governed by the following reactions:

  • Tumour cells, C, replicate at a constant rate r and produce free floating antigens that are detected by the immune system,

    $$\begin{aligned} C \xrightarrow {r} 2C. \end{aligned}$$
    (1)
  • Tumour cells compete for resources such that there is a maximum concentration of tumour cells, \(\rho _{c}\), in a finite volume

    $$\begin{aligned} C + C \xrightarrow {\nicefrac {r}{\rho _{c}}} C. \end{aligned}$$
    (2)
  • Professional antigen presenting cells, B, such as dendritic cells, take up free floating antigens, process them into peptides, and display them on surface molecules MHC-II, P,

    $$\begin{aligned} B + C {\mathop {\pi }\limits ^{[}}^{-}]{\pi ^{+}}{\rightleftarrows } P + C. \end{aligned}$$
    (3)
  • Helper T-cells, \(T_{h}\), bind to the peptide-MHC-II complex and activate, \(T_{h}^{*}\),

    $$\begin{aligned} T_{h} + P \xrightarrow {W} T_{h}^{*} + P . \end{aligned}$$
    (4)
  • Cytotoxic T-cells, \(T_{c}\), are activated, \(T_{c}^{*}\), by both cytokines from activated helpers and stimulation from tumour cells that the cytotoxic T-cells are specific to,

    $$\begin{aligned} T_{c} + T_{h}^{*} + C \xrightarrow {W'} T_{c}^{*} + T_{h}^{*} + C . \end{aligned}$$
    (5)
  • Activated helpers induce the proliferation of antigen presenting cells

    $$\begin{aligned} T_{h}^{*} + B \xrightarrow {\lambda } T_{h}^{*} + 2B \end{aligned}$$
    (6)
  • Professional antigen presenting cells maintain homeostasis and are assumed to compete at rate \(\delta \) for the same resources,

    $$\begin{aligned} B + B\xrightarrow {\delta } B. \end{aligned}$$
    (7)
  • Activated cytotoxic T-cells eliminate tumour cells after docking to MHC-I,

    $$\begin{aligned} T_{c}^{*} + C \xrightarrow {\kappa } T_{c}^{*}. \end{aligned}$$
    (8)

    The ‘killing’ rate, \(\kappa \), is proportional to the rate at which cytotoxic cells bind and induce cytotoxic death, k, and the expression of MHC-I, \(\gamma \), which can decrease throughout the development of the tumour. This is such that \(\kappa =k \gamma \). For the remainder of this paper we set \(k=1\) and, without loss of generality, focus on the expression of MHC-I, \(\gamma \in [0,1]\), with \(\gamma = 0\) corresponding to no tumour cells expressing MHC-I and \(\gamma =1\) corresponding to maximum MHC-I expression in the tumour. In principle, \(\gamma \) will vary with time, but to simplify the analysis we assume for now that it is constant and comment later on the effect of time-dependent \(\gamma \).

A statistical mechanics description of the immune system

We consider a solid tumour to occupy a space of fixed volume V. This volume is comprised of cells including helper and cytotoxic T-cells, professional antigen presenting cells and tumour cells. We represent the number of tumour cells, antigen presenting cells, and antigen presenting cells with MHC-II peptide complex, by the variables [C], [B] and [P], respectively. The concentration of each of these cells is then simply given by their number over the volume of the solid tumour, \(c = [C]/V\), \(b = [B]/V\) and \(p = [P]/V\). The volume is permeable such that T-cells can move freely from the periphery into the solid tumour. We consider there to be a large population of T-cells, each labelled by an index \(i=1,\ldots , N\), such that the density of T-cells, \(\rho = N/V\), is finite. T-cells can be divided in two sub-types: helper and cytotoxic. We describe the sub-type of each T-cell i by a binary variable \(\eta _{i}\),

$$\begin{aligned} \eta _{i}&= {\left\{ \begin{array}{ll} 1, \text { if T-cell }i\text { is a helper T-cell} \\ 0, \text { if T-cell }i\text { is a cytotoxic T-cell} \end{array}\right. } \end{aligned}$$
(9)

that we regard as random, with distribution

$$\begin{aligned} {{\mathrm {P}(}}\eta ) = \epsilon \delta _{\eta ,1} + (1-\epsilon )\delta _{\eta ,0} \end{aligned}$$
(10)

where the parameter \(\epsilon \in [0,1]\) controls the proportion of helper and cytotoxic T-cells, such that if \(\epsilon =0\) all T-cells are cytotoxic, while if \(\epsilon =1\) all T-cells are helpers. The helper/cytotoxic ratio is given by \(R = \epsilon /(1-\epsilon )\).

Each T-cell has receptors known as T-cell receptors (TCRs). A given TCR is specific to an antigen, and if they are not specific to tumour associated antigens, they will not form part of the immune response. To model this we introduce a binary random variable \(\xi _i\)

$$\begin{aligned} \xi _{i}&= {\left\{ \begin{array}{ll} 1, \text { if T-cell }i\text { can bind to a cancer cell} \\ 0, \text { otherwise} \end{array}\right. } \end{aligned}$$
(11)

drawn from the distribution

$$\begin{aligned} {{\mathrm {P}(}}\xi \vert \eta ) =\left[ A_{\eta }\delta _{\xi ,1} + \left( 1 - A_{\eta }\right) \delta _{\xi ,0}\right] \end{aligned}$$
(12)

such that \(A_{\eta }\in \left[ 0,1\right] \) controls the fraction of T-cells of type \(\eta \) that are specific to tumour associated antigens. In general there may be differences in the size of the helper and cytotoxic pools of T-cells that are specific to tumour antigens, however, in the lack of detailed knowledge about such differences, we assume statistical independence of \(\eta \) and \(\xi \) such that \(A_{\eta }=A~ \forall \eta =0,1\).

As explained in Sect. 2.1, T-cells can be found in two states, active and inactive. Since the activation of T-cells evolves with time over the course of the immune response, each T-cell can be described by a time-dependent state variable \(\sigma _{i}(t)\) where,

$$\begin{aligned} \sigma _{i}(t)&= {\left\{ \begin{array}{ll} 1, \text { if T-cell }i\text { is activated at time }t \\ 0, \text { otherwise.} \end{array}\right. } \end{aligned}$$
(13)

During the immune response, T-cell activation occurs through a TCR-dependent pathway whereby the TCR binds to the peptide complex of MHC molecules and a condition is met such that the T-cell activates. The precise nature of the activation of T-cells is debated, but there is evidence to suggest that sufficient binding time is required for activation (Allard et al. 2017; Tian et al. 2007; Robert et al. 2012; Tkach and Altan-Bonnet 2013; Aleksic et al. 2010). Due to noise, inherent in biological systems, T-cells are likely to bind and unbind in a stochastic manner, therefore we treat T-cell activation as a stochastic process, following previous studies of T-cell activation in the literature (Wedagedera and Burroughs 2006; Lipniacki et al. 2008; Agliari et al. 2013; Annibale et al. 2018).

For simplicity, we assume that T-cells update their activation state at regular time intervals of duration \(\Delta \) (which will eventually be sent to zero to retrieve continuous time dynamics), according to the rule

$$\begin{aligned} \sigma _{i}(t+\Delta ) = \theta \left( \eta _{i}\xi _{i}p(t) + (1-\eta _{i})\xi _{i}c(t)\frac{1}{V}\sum _{j=1}^{N}\sigma _{j}(t) \eta _{j} \xi _{j} {- \phi (t)} - Tz_{i}(t) \right) , \end{aligned}$$
(14)

where \(\theta (x)=1\) for \(x>0\) and 0 otherwise, and \(z_i(t)\) is a zero-averaged random variable with suitably normalised variance mimicking fast noise in the biological environment or stochasticity in T-cell activation. The parameter T controls the noise level, such that the activation dynamics is fully stochastic for \(T\rightarrow \infty \) and it is deterministic for \(T=0\). In the absence of noise (\(T=0\)), Eq. (14) states that a T-cell i will activate if it receives a strong enough activation signal from the environment, i.e. if the activation signal is above a certain threshold \(\phi (t)\). The activation signal depends on the nature of the T-cell, helper or cytotoxic, and it is given by the first and second term in the round brackets, respectively. A helper T-cell i (i.e. \(\eta _i=1\)) will activate if it is specific to tumour antigens (i.e. \(\xi _i=1\)) and there is a sufficient concentration p(t) of antigen presenting cells with tumour associated antigens, while a cytotoxic T-cell (\(\eta _i=0\)) will activate if it is specific to tumour antigens (i.e. \(\xi _{i}=1\)) and it is sufficiently co-stimulated by tumour cells and active, tumour specific helpers, whose concentrations are c(t) and \(V^{-1}\sum _{j=1}^N \sigma _j(t)\eta _j \xi _j\), respectively. The threshold \(\phi (t)\) mimicks any barrier that T-cells need to overcome to activate, including immunosuppressive effects due to T-cell exhaustion and inactivation via Treg cells. Noise (i.e. \(T>0\)) can be interpreted as the amount that T-cells deviate from their deterministic activation rules. In addition to the binding and unbinding of T-cells to MHC molecules, noise may also account for alternative activation pathways. For example, cytotoxic T-cells may not necessarily need helper T-cells to activate, they can be directly activated by APCs.

We note that Eq. (14) models reactions (4) and (5) in the presence of noise, at the microscopic level of individual T-cells. Alternatively, one could model (4) and (5) at population level, via reaction kinetics (i.e. ODE) equations for the densities of active and inactive T-cells, valid under the assumptions of a well-mixed system and negligible fluctuations due to discreteness of cells. Noise could be included at population level, by introducing a reaction for spontaneous activation and deactivation of T-cells, whose rates would lead to additional free parameters in the model. Our approach starts instead from stochastic equations for the microscopic cell states, which do not require the above assumptions and keep the number of free parameters to a minimum. Macroscopic cell densities, such as those involved in reaction kinetics, can be obtained within our approach, as sums of microscopic variables, e.g. the density of active T-cells that are specific to tumour antigens can be retrieved as \(V^{-1}\sum _{i=1}^N \xi _i \sigma _i\).

Next, we write differential equations for the concentrations of tumour and antigen presenting cells in the local environment, by modelling the cellular reactions in (1)-(8) at population level. Their evolution can be written in the following way

$$\begin{aligned} \frac{\mathrm {d}c}{\mathrm {d}t}&= \left[ r- \gamma \frac{1}{V}\sum _{i=1}^{N}\sigma _{i}(1- \eta _{i}) \xi _{i}\right] c - \frac{r c^{2}}{\rho _{c}} \end{aligned}$$
(15)
$$\begin{aligned} \frac{\mathrm {d}b}{\mathrm {d}t}&= b\left( \lambda \frac{1}{V}\sum _{i=1}^{N}\sigma _{i} \eta _{i} \xi _{i} - \delta b\right) \end{aligned}$$
(16)
$$\begin{aligned} \frac{\mathrm {d}p}{\mathrm {d}t}&= \pi ^{+}bc - \pi ^{-}p. \end{aligned}$$
(17)

We see here that the dependence on T-cell activation, described by the stochastic variable \(\sigma _{i}(t)\), means that the concentrations c, b and p are also subject to stochastic fluctuations.

Equation (15) contains three terms describing the change in tumour cell concentration with time, \(\frac{\mathrm {d}c}{\mathrm {d}t}\). The first term states that c will increase at a rate r proportionally with c, corresponding to Eq. (1). The second term describes the effect of the T-cells on the tumour cells as in Eq. (8): a sum is taken over all the T-cells, and a non-zero contribution is only made by T-cells which are cytotoxic, specific to tumour cells and active, i.e. when \(\sigma _{i}=1-\eta _{i}=\xi _{i}=1\). Therefore, the second term states that tumour cells will be killed at a rate \(\kappa =\gamma \) and proportionally with the concentration of tumour cells and the fraction of active, specific cytotoxic T-cells. Finally, the third term states that in the absence of the second term, i.e the T-cell response, the tumour cells will reach a carrying capacity concentration \(\rho _{c}\), as described in Eq. (2).

The equation for \(\frac{\mathrm {d}b}{\mathrm {d}t}\) can similarly be annotated. The first term states that antigen presenting cells will proliferate due to the presence of active helper T-cells at rate \(\lambda \), as in Eq. (6). The second term describes competition at constant rate \(\delta \), as described in Eq. (7). The first and second terms in \(\frac{\mathrm {d}p}{\mathrm {d}t}\) correspond to the reactions described in (3) and account for the antigen uptake and presentation by antigen presenting cells at rate \(\pi ^{+}\), and the reverse process where a receptor is freed for the uptake of new antigen, at rate \(\pi ^{-}\), respectively. In principle, Eq. (16) should contain a term reflecting the loss of naive APCs becoming activated APCs, \(-\frac{1}{n}\pi ^{+}b c\), and a gain term reflecting the reverse process \(+\frac{1}{n}\pi ^{-}p\). Here n represents the number of antigens that APCs can process at one time. Since APCs, such as dendritic cells, can process multiple antigens via a multitude of pathways and receptors (Platt et al. 2010) and a large number of antigen receptors \({\mathcal {O}}(10^{5})\) is also present on B cells (Li et al. 2019), we consider n to be large, such that terms \({\mathcal {O}}(1/n)\) can be neglected. We note that these terms will vanish anyway in the steady state, the main focus of our study, by Eq. (17).

Results

Macroscopic dynamics of T-cell activation

From a set of cellular reactions we have started to build a set of differential equations, with the inclusion of a microscopic description of T-cells. As they stand we can not solve Eqs. (15)–(17) directly, due to the dependence on the stochastic variables \(\sigma _{i}(t)\). To make analytical progress we define the macroscopic observables,

$$\begin{aligned} m(\varvec{\sigma })&= \frac{1}{V}\sum _{i=1}^{N}\sigma _{i}\eta _{i}\xi _{i} \end{aligned}$$
(18)
$$\begin{aligned} a(\varvec{\sigma })&= \frac{1}{V}\sum _{i=1}^{N}\sigma _{i}\xi _{i}. \end{aligned}$$
(19)

where \(\varvec{\sigma } \in \{0, 1\}^{N}\), representing the density of active, specific helpers and the density of active, specific T-cells, respectively. With these definitions Eqs. (15)–(17) can be written as follows,

$$\begin{aligned} \frac{\mathrm {d}c}{\mathrm {d}t}&= \left[ r- \gamma \left( a(\varvec{\sigma })- m(\varvec{\sigma })\right) - \frac{r c}{\rho _{c}}\right] c \nonumber \\ \frac{\mathrm {d}b}{\mathrm {d}t}&= b\left( \lambda m(\varvec{\sigma }) - \delta b\right) \nonumber \\ \frac{\mathrm {d}p}{\mathrm {d}t}&= \pi ^{+}bc - \pi ^{-}p. \end{aligned}$$
(20)

We now seek to derive the time evolution of the macroscopic observables \(a(\varvec{\sigma })\) and \(m(\varvec{\sigma })\). To this purpose, we must specify the statistical properties of the activation noise. Information about the latter is very scarce in biological literature (Irvine et al. 2002; Wedagedera and Burroughs 2006; Burroughs and Van Der Merwe 2007). A natural choice would be to assume a Gaussian distribution of noise however, for convenience of analysis and without loss of generality, we consider a distribution of noise more common in statistical physics (see Appendix for details).

Assuming that T-cells are updated sequentially, Eq. (14) can be cast into a master equation for the time-dependent probability \({\mathrm {P}}_{t}(\varvec{\sigma })\), by setting \(\Delta =1/N\) in Eq. (14), and taking the limit \(N\rightarrow \infty \) (Coolen and Ruijgrok 1988). This is detailed in the Appendix where equations for the time evolution of the macroscopic observables \(a(\varvec{\sigma })\) and \(m(\varvec{\sigma })\) are also derived. It will turn out that fluctuations of these quantities around their averages, \(m(t) = \sum _{\varvec{\sigma }}{\mathrm {P}}_{t}(\varvec{\sigma })m(\varvec{\sigma })\) and \(a(t) = \sum _{\varvec{\sigma }}{\mathrm {P}}_{t}(\varvec{\sigma })a(\varvec{\sigma })\), vanish as the number of T-cells, N, is sent to infinity and that the evolution of these averages is governed by the equations

$$\begin{aligned} \frac{\mathrm {d}m}{\mathrm {d}t}= & {} -m + \frac{\rho }{2} \left\langle \eta \xi \left[ 1 + \tanh \left( \frac{\beta }{2} \left( \eta \xi p + (1-\eta )\xi cm {- \phi (t)} \right) \right) \right] \right\rangle _{\eta , \xi } \nonumber \\ \frac{\mathrm {d}a}{\mathrm {d}t}= & {} -a + \frac{\rho }{2} \left\langle \xi \left[ 1 + \tanh \left( \frac{\beta }{2} \left( \eta \xi p + (1-\eta )\xi cm {- \phi (t)} \right) \right) \right] \right\rangle _{\eta , \xi }. \end{aligned}$$
(21)

In the above the density of T-cells \(\rho = \frac{N}{V}\) is assumed to be finite when \(N \rightarrow \infty \) and \(\langle \dots \rangle _{\eta , \xi }\) denotes the average over the joint distribution,

$$\begin{aligned} {{\mathrm {P}(}}\eta ,\xi ) = \lim _{N\rightarrow \infty } \frac{1}{N} \sum _{i}\delta _{\eta ,\eta _{i}}\delta _{\xi ,\xi _{i}}. \end{aligned}$$
(22)

As stated earlier, we assume that \({{\mathrm {P}(}}\eta ,\xi )={{\mathrm {P}(}}\eta ){{\mathrm {P}(}}\xi )\), i.e. the probability of a T-cell having a conjugate receptor to the tumour associated antigens is not dependent on whether T-cell i is helper or cytotoxic. Equations (10) and (12) may then be used to compute the averages in (21).

Finally, we take Eqs. (20) and replace \(m(\varvec{\sigma })\) and \(a(\varvec{\sigma })\) with their thermodynamic averages m and a, which is equivalent to a mean-field approximation, that we show in the appendix to be exact in the limit \(N\rightarrow \infty \). This allows us to get a small, closed system of ODEs,

$$\begin{aligned} \frac{\mathrm {d}c}{\mathrm {d}t}= & {} \left[ r- \gamma (a - m) - \frac{r c}{\rho _{c}}\right] c \nonumber \\ \frac{\mathrm {d}b}{\mathrm {d}t}= & {} b\left( \lambda m - \delta b\right) \nonumber \\ \frac{\mathrm {d}p}{\mathrm {d}t}= & {} \pi ^{+}bc - \pi ^{-}p \nonumber \\ \frac{\mathrm {d}m}{\mathrm {d}t}= & {} - m + \frac{\epsilon A \rho }{2}\left[ 1 + \tanh \left( \frac{\beta }{2}\left( p {- \phi (t)}\right) \right) \right] \nonumber \\ \frac{\mathrm {d}a}{\mathrm {d}t}= & {} -a + \frac{A \rho }{2}\left[ 1 + \epsilon \tanh \left( \frac{\beta }{2} \left( p {-\phi (t)}\right) \right) + (1-\epsilon )\tanh \left( \frac{\beta }{2} \left( c m {- \phi (t)}\right) \right) \right] .\nonumber \\ \end{aligned}$$
(23)

By describing the T-cell dependent anti-tumour immune response with ODEs we have neglected the role of spatial heterogeneity in the evolution of tumours. This was done in the spirit of capturing the interplay between the CD4\(^+\)/CD8\(^+\) T-cell ratio and MHC-I expression with a simple model, amenable to analytical solution. In principle one could model spatial heterogeneity in the T-cell dependent immune response by making the variables \(\epsilon \) and A functions of spatial position. This would result in c, b and p becoming spatially-dependent. However, further considerations would need to be made to account for cellular drift in space. By neglecting spatial dependencies, our approach is equivalent to modelling a small, macroscopic region of a solid tumour where spatially-dependent variables can be regarded as uniform.

Conditions for tumour eradication

We use the system of Eqs. (23) to derive a set of conditions which will qualitatively describe how the anti-tumour immune response changes with parameters of the model. First, we write the system of equations in a more compact way by defining the vector \({\mathbf {x}} = (c,b,p,m,a)\) such that \(\dot{{\mathbf {x}}} = {\mathbf {F}}({\varvec{x}})\), where each component of the vector \({\mathbf {F}}\) is the RHS of the corresponding ODE. Second, we find fixed points of the dynamics from \(\dot{{\mathbf {x}}}={\varvec{0}}\) and analyse their stability by inspecting the eigenvalues of the Jacobian \(\partial {\mathbf {F}} / \partial {\mathbf {x}}\). The system will allow for fixed points if the activation threshold \(\phi (t)\), accounting for immunosuppressive effects, is stationary. In the remainder of this work, we will focus on a vanishing stationary threshold \(\phi (t)=0~\forall t\). In this case our model will provide a lower limit on the size of the tumour, as immunosuppressive signals reduce the anti-tumour immune response. We find that there are two fixed points which, subject to some condition, are stable. There are two other fixed points but they are always unstable. The potentially stable fixed points are given by,

$$\begin{aligned} {\mathbf {x}}_{1} = (0,\frac{\lambda m^{*}}{\delta }, 0,m^{*},a^{*}), \end{aligned}$$
(24)

where \(m^{*} = \frac{\epsilon A \rho }{2}\) and \(a^{*} = \frac{A \rho }{2}\) and

$$\begin{aligned} {\mathbf {x}}_{2} = (c^{*},\frac{\lambda m^{*}}{\delta }, \frac{\pi ^{+}\lambda }{\pi ^{-}\delta }c^{*}m^{*},m^{*},a^{*}) \end{aligned}$$
(25)

where \(c^{*}\), \(m^{*}\) and \(a^{*}\) are the solution to the system of equations

$$\begin{aligned} c^{*}&= \frac{\rho _{c}(r - \gamma (a^{*} - m^{*} ))}{r} \end{aligned}$$
(26)
$$\begin{aligned} m^{*}&= \frac{\epsilon A \rho }{2 } \left( 1 + \tanh \left( \frac{\beta \pi ^{+} \lambda }{2\pi ^{-} \delta } c^{*} m^{*}\right) \right) \end{aligned}$$
(27)
$$\begin{aligned} a^{*}&= \frac{ A \rho }{2 } \left( 1 + \epsilon \tanh \left( \frac{\beta \pi ^{+} \lambda }{2\pi ^{-} \delta } c^{*} m^{*}\right) + (1 - \epsilon ) \tanh \left( \frac{\beta }{2} c^{*}m^{*}\right) \right) . \end{aligned}$$
(28)

The fixed point \({\mathbf {x}}_{1}\) corresponds to tumour eradication, \(c^{*}=0\), whereas \({\mathbf {x}}_{2}\) corresponds to tumour escape, \(c^{*} \ne 0\). The size of the tumour at \({\mathbf {x}}_{2}\) varies with the parameters of the system. When T-cells are all cytotoxic, \(\epsilon =0\), there is no signal from helper cells \(m^{*} = 0\), and all T-cell signal comes from cytotoxic cells, \(a^{*}= \frac{A \rho }{2}\), resulting in a tumour below the carrying capacity, \(c^{*} = \rho _{c}\left( 1 - \frac{\gamma A \rho }{2}\right) \). However, when all T-cells are helpers, \(\epsilon =1\), we have that the net T-cell signal is equivalent to the helper T-cell signal, \(m^{*} = a^{*}\), and that the tumour reaches the carrying capacity, \(c^{*} = \rho _{c}\). From analysis of the eigenvalues of the Jacobian \(\partial {\mathbf {F}} / \partial {\mathbf {x}}\) we find that \({\mathbf {x}}_{1}\) is stable when,

$$\begin{aligned} \gamma > \gamma _{c} = \frac{2r}{A \rho }(1+R) \end{aligned}$$
(29)

when this condition is not met \({\mathbf {x}}_{1}\) is unstable. To assess the stability of \({\mathbf {x}}_{2}\) we should analyse the eigenvalues of the Jacobian evaluated at \({\mathbf {x}}_{2}\), however the eigenvalues are found to be non-trivial and a condition for stability based on a single parameter as in (29) is not tractable.

To make progress analytically, we look at the long-time dynamics of the model. To this end, we separate three different timescales of immune response dynamics: the timescale of tumour cell division \(\tau _{c}\), antigen presentation \(\tau _{p}\), and T-cell activation \(\tau _{a}\). To do so, we re-scale processes with timescale \(\tau \) such that \(t \rightarrow \frac{t}{\tau }\). After this re-scaling our system of equations in (23) becomes,

$$\begin{aligned} \tau _{c}\frac{\mathrm {d}c}{\mathrm {d}t}&= \left[ r- \gamma (a - m) - \frac{r c}{\rho _{c}}\right] c \nonumber \\ \tau _{p}\frac{\mathrm {d}b}{\mathrm {d}t}&= b\left( \lambda m - \delta b\right) \nonumber \\ \tau _{p}\frac{\mathrm {d}p}{\mathrm {d}t}&= \pi ^{+}bc - \pi ^{-}p \nonumber \\ \tau _{a} \frac{\mathrm {d}m}{\mathrm {d}t}&= - m + \frac{\epsilon A \rho }{2}\left[ 1 + \tanh \left( \frac{\beta }{2} p\right) \right] \nonumber \\ \tau _{a}\frac{\mathrm {d}a}{\mathrm {d}t}&= -a + \frac{A \rho }{2}\left[ 1 + \epsilon \tanh \left( \frac{\beta }{2} p\right) + (1-\epsilon )\tanh \left( \frac{\beta }{2} c m\right) \right] . \end{aligned}$$
(30)

To study the long time dynamics the relative magnitude of these timescales must be specified. We assume that \(\tau _{p} \rightarrow 0\) such that the processing and presentation of antigens is fast implying that the variables changing at this timescale will approach their stable nullcline, \(b = \frac{\lambda m}{\delta }\) and \(p = \frac{\pi ^{+} \lambda m c}{\pi ^{-}\delta }\). Then there are two options: either tumour cell division is a faster process than T-cell activation or vice versa. If we consider the case that T-cell activation is faster than tumour cell division, i.e \(\tau _{a} \ll \tau _{c}\), then we can formally send \(\tau _{a} \rightarrow 0\) and find that the T-cell activation variables approach their nullclines,

$$\begin{aligned} a= & {} \frac{A\rho }{2}\left[ 1 + \epsilon \tanh \left( \frac{\beta }{2}p \right) + (1- \epsilon ) \tanh \left( \frac{\beta }{2} c m\right) \right] \\ m= & {} F^{-1}(c) \end{aligned}$$

where

$$\begin{aligned} F(m) = \frac{2 \pi ^{-} \delta }{\beta \pi ^{+} \lambda m} \tanh ^{-1}\left( \frac{2 m }{\epsilon A \rho } -1\right) . \end{aligned}$$
(31)

This reduces the system (30) to a single ODE,

$$\begin{aligned} \frac{\mathrm {d}c}{\mathrm {d}t}&= \left[ r - \frac{\gamma A \rho }{2} (1 - \epsilon ) \left[ 1 + \tanh \left( \beta c F^{-1}(c)/2\right) \right] - \frac{rc}{\rho _{c}}\right] c = f(c) \end{aligned}$$
(32)

which has two fixed points given by

$$\begin{aligned} c^{*}= & {} 0 \end{aligned}$$
(33)
$$\begin{aligned} c^{*}= & {} \rho _{c}\left( 1 - \frac{ \gamma A \rho }{2 r} (1- \epsilon ) \left[ 1 + \tanh \left( \beta c^{*}F^{-1}(c^{*})/2\right) \right] \right) \end{aligned}$$
(34)

corresponding, respectively, to tumour eradication and large stable tumour formation. The non-trivial fixed point, \(c^{*} > 0\), can be found using the relation \(F^{-1}(c^*)=m^*\) via the numerical solution of (26)-(28).

To inspect the stability of the fixed points we evaluate the derivative \(f'(c)\) of the ‘velocity’ function defined in (32). The fixed point \(c^{*}=0\) is stable when \(f'(0) < 0\) giving us the condition \(\gamma > \gamma _{c} = \frac{2r}{A \rho }\frac{1}{1-\epsilon }\) which is equivalent to (29). The non-trivial fixed point \(c^{*} >0\) will be stable when \(f'(c^{*}) < 0\), yielding

$$\begin{aligned} \gamma < \gamma ^{*} = \frac{2r}{A \rho } (1+R) \left\{ 1 - \frac{\beta }{2} c^{*} \left[ m^{*} + \frac{c^{*}}{F'(m^{*})}\right] \cosh ^{-2}\left( \beta c^{*}m^{*}/2\right) \right\} ^{-1}. \end{aligned}$$
(35)

Since it is not necessary that \(\gamma _{c} = \gamma ^{*}\), there is a possibility that either (i) \( \gamma ^{*}< \gamma < \gamma _{c}\) and both fixed points are unstable or (ii) \(\gamma _c< \gamma < \gamma ^*\) and both fixed points are stable; this would suggest that the dynamics are non-trivial and can not be analysed through linear stability analysis alone. To investigate which, if any, of the two scenarios is taking place, we perform limiting analysis of the stability condition. We first note that for meaningful values of m i.e \(0< m < \epsilon A \rho \) which must be, by definition, at most of order \({\mathcal {O}}(1)\), we can show that \(F'(m) >0\). The term \(\frac{\beta }{2} c^{*}\left[ m^{*} + \frac{c^{*}}{F'(m^{*})}\right] \cosh ^{-2}\left( \beta c^{*}m^{*}/2\right) \sim {\mathcal {O}}(\frac{{c^{*}}^{2}}{\exp ( c^{*})})<1\) which vanishes at both \(c^{*} \rightarrow 0\) and \(c^{*} \rightarrow \infty \). It then follows from Eqs. (34) and (35) that,

$$\begin{aligned} \mathrm{as~} \gamma \rightarrow 0^{+},&c^{*} \rightarrow \rho _{c}^{-} \quad \implies \quad \gamma ^{*} \ge \gamma _{c}^{+} \end{aligned}$$
(36)

with equality at \(\rho _{c} \rightarrow \infty \). We can also look at the limit that the \(\gamma \) approaches its critical value to find,

$$\begin{aligned} \mathrm{as~} \gamma \rightarrow \gamma _{c}^{-},&c^{*} \rightarrow 0^{+} \quad \mathrm{and } \quad \gamma ^{*}\rightarrow \gamma _{c}^{+}. \end{aligned}$$
(37)

However, the exact value of \(\gamma ^{*}\) can only be found through numerical solution of Eqs. (26) and (27). Solving the latter, see Fig. 2 (left panel), we find that

$$\begin{aligned} \gamma> \gamma _{c} \implies \gamma > \gamma ^{*} \end{aligned}$$
(38)
$$\begin{aligned} \gamma< \gamma _{c} \implies \gamma < \gamma ^{*} \end{aligned}$$
(39)

which implies that the fixed points exchange stability as \(\gamma \rightarrow \gamma _{c}\).

Fig. 2
figure 2

Left: The fixed point of Eq. (32) where \(c\ne 0\) is stable when \(\gamma < \gamma ^{*}\). We solve Eq. (34) numerically to plot \(\gamma ^{*}\) as a function of \(\gamma \). When \(\gamma > \gamma _{c}\) the fixed point where \(c=0\) is stable. The value of \(\gamma _{c}\) is indicated by the dashed lines. The model parameters used are: tumour replication rate \(r=0.15\), CD4/CD8 ratio \(R=1/3\), and specific T-cell density \(A\rho = 0.8\). All other parameters are set to 1. Right: \(\gamma _{c}\) is plotted against the helper/cytotoxic ratio R. Tumour cells are removed above the critical line. The model parameters used are: tumour replication rate \(r=0.2\), specificity of T-cells \(A=1\) and density of T-cells \(\rho =1.0\)

From the analysis of the long time dynamics of the system (30), and by taking into account different timescales of processes, we have shown that there are two fixed points where \(c=0\) or \(c=c^{*}\). If the MHC-I expression is above some critical value, \(\gamma > \gamma _{c}\), the fixed point \(c=0\) is stable and \(c=c^{*}\) is unstable, whereas the reverse is true if \(\gamma < \gamma _{c}\). In doing so we have assumed that \(\tau _{a} \ll \tau _{c}\). If we assume the reverse, \(\tau _{c} \ll \tau _{a}\), we find that the system has the same fixed points with identical stability criteria. This implies that the long-time dynamics will be the same, although transient behaviour will differ.

This shows that there is a critical value of MHC-I expression, above which the tumour will be eradicated, and below which it will reach some stable tumour size. Furthermore, the critical value of MHC-I depends linearly through the helper/cytotoxic ratio R. To remove tumour cells a large population of cytotoxic T-cells is required and this depends on the expression of MHC-I. This is illustrated in Fig. 2 (right panel). This implies that measuring CD4\(^{+}\)/CD8\(^{+}\) alone may yield incorrect understanding of tumour progression in vivo since it also depends on the expression of MHC-I. With a low MHC-I expression, a CD4\(^{+}\)/CD8\(^{+}\) ratio that would have been considered healthy for high MHC-I expression would not lead to complete tumour eradication. We note that this figure shows that higher CD8 and higher MHC-I are associated with lower tumour size, consistent with current data (Turcotte et al. 2014).

The stability of the fixed points does not depend on the T-cell activation noise level, \(\beta ^{-1} = T\). The noise does however affect the size of the escaped tumour as shown in Fig. 3, obtained by solving together Eqs. (26) and (27) numerically. An additional observation is the dependence of \(\gamma _{c}\) on the parameters A and \(\rho \) in (29). These parameters, respectively, represent the specificity and infiltration of T-cells in the tumour, and their relationship with \(\gamma _{c}\) suggests that small changes in the infiltration of T-cells can greatly affect tumour growth.

Fig. 3
figure 3

Equilibrium tumour concentration plotted as a function of inverse T-cell activation noise \(\beta \). Activation noise is increasing from right to left. The tumour replication rate is \(r = 0.5\), the carrying capacity concentration is \(\rho _{c} = 1000\), and the MHC-I expression and specific tumour density are set to \(\gamma = A = \rho =1\). The tumour cell concentration is normalised with respect to the carrying capacity \(\rho _{c}\)

Tumour size with immune parameters

This model provides predictions for the dependence of the size of the tumour, given by Eqs. (26) and (27), on different immune parameters. Figure 4 shows how the size of the tumour varies with MHC-I expression (left panel) and infiltration of specific T-cells \(A\rho \) (right panel) and it shows that it increases when the ratio CD4\(^{+}\)/CD8\(^{+}\) is larger. For a high CD4\(^{+}\)/CD8\(^{+}\) we see a discontinuity in the stable tumour size. This is due to the figure showing the tumour size dynamically reached at equilibrium. Above the critical value of infiltration, which can also be found from (29), there are enough T-cells to remove tumour cells, but below this value the tumour can grow to a stable size that depends on all other parameters of the system.

A common problem with ODE models of immunology is that they require temporal data for validation - which can be hard to come by for both practical and ethical reasons. Our model is based upon immune dynamics but can be used to produce predictions not based on time as in the case with the figures discussed in this section. Concurrent measurements of MHC-I, T-cell infiltration and CD4\(^{+}\)/CD8\(^{+}\) are lacking in the literature, but are examples of data which could be used to validate this model.

Fig. 4
figure 4

Equilibrium concentration of tumour cells plotted as a function of MHC-I expression in (a) and as a function of specific tumour T-cell infiltration in (b), displayed for two different helper/cytotoxic T-cell ratios. Here the tumour replication rate is \(r=0.15\), the activation noise is \(\beta ^{-1} =1\), T-cell density is \(\rho =1\), the specificity in (a) is set to \(A=1\), the MHC-I expression in (b) is \(\gamma =0.7\), and the carrying capacity is set to \(\rho _{c}=1000\). The tumour cell concentration has been normalised by the carrying capacity \(\rho _{c}\). For the case of CD4\(^{+}\)/CD8\(^{+}= 1/3\) the dynamically reached equilibrium tumour cell concentration, given by Eqs. (33) and (34), is plotted to the right and the left of the dashed (vertical) lines respectively

Optimal helper/cytotoxic ratio

Another feature of this model is the ability to predict an optimal helper/cytotoxic ratio R. Here we define optimal to mean yielding the lowest stable tumour size when Eq. (32) equilibrates to the fixed point \(c=c^{*}\). We parameterised the system such that the fixed point \(c=c^{*}\) was always stable and considered the numerical solution for the stable tumour cell concentration, (26)-(28), for different values of R as shown in Fig. 5. As the cytotoxic T-cell pool decreases the tumour cell concentration increases, as expected. However, if there are not enough helper cells to activate the cytotoxic population, the tumour reaches a large size, corresponding to the peak around \(R=0\). Note that even in absence of helper T-cells, cytotoxic T-cells may still activate at finite noise levels (corresponding to activation via pathways independent of helper cells.) This explains why at \(R=0\) the tumour cell concentration is still below the carrying capacity \(\rho _{c}\) in Fig. 5. An interesting feature of this model is that it shows that there is a range of values of R for which the tumour size is relatively small. This suggests that the immune system is robust to changes in the CD4\(^{+}\)/CD8\(^{+}\) ratio. This is encouraging as the function of the immune system should not be sensitive to changes in this ratio.

Fig. 5
figure 5

Cell concentration of a tumour which has escaped plotted as a function of the helper/cytotoxic T-cell ratio R for \(\beta =100\), \(r=0.8\), \(A=\gamma =\rho =1\), \(\rho _{c}=1000\). The tumour cell concentration has been normalised with the carrying capacity \(\rho _{c}\)

Time variation of MHC-I expression

In our model we have treated the expression of MHC-I, \(\gamma \), as a constant, however in principle it should evolve with time, \(\gamma = \gamma (t)\). As the tumour progresses, tumour cells with low expression of MHC-I will evade the immune response and will have an advantage over tumour cells that have high MHC-I expression. This selective pressure means that the MHC-I expression in the bulk tumour will decrease over time. Analytical progress with time dependent MHC-I expression \(\gamma (t)\) is difficult, so to achieve this we reduce our system of equations by assuming all T-cells are active i.e \(a=A \rho /2\) and \(m=\epsilon A \rho /2\). By fixing a and m to their maximum physical values, the system of equations reduces to a single equation for the tumour cell concentration,

$$\begin{aligned} \frac{\mathrm {d}c}{\mathrm {d}t} = \left[ r - {\bar{A}} \gamma (t) - \frac{r c}{\rho _{c}}\right] c, \end{aligned}$$
(40)

with

$$\begin{aligned} {\bar{A}}&= \frac{A \rho (1 - \epsilon )}{2}. \end{aligned}$$
(41)

We refer to this limit as a “best-case” scenario, since if a and m are allowed to vary below their maximum value, the tumour concentration will be higher than if locked at their maximum value. The solution of the above equation, given by

$$\begin{aligned} c(t)&= \frac{ c_{0} \rho \mathrm {e}^{\int _{0}^{t} \left( r - {\bar{A}} \gamma (s)\right) ds} }{ \rho _{c} + c_{0} \int _{0}^{t} \mathrm {e}^{\int _{0}^{s}\left( r - {\bar{A}} \gamma (s')\right) ds'}ds }, \end{aligned}$$
(42)

requires knowledge of \(\gamma (t)\). The latter has not been studied in the literature, however, we can bound the solution for a family of \(\gamma (t)\) functions if we assume that the maximum, \(\gamma _{\mathrm {max}}\), and minimum, \(\gamma _{\mathrm {min}}\), values of the function are known. We find the upper bound to be as follows

$$\begin{aligned} c(t) \le \frac{c_{0} \rho _{c} \mathrm {e}^{t(r - {\bar{A}}\gamma _{\mathrm {min}})}}{\rho + \frac{c_{0}}{r - {\bar{A}}\gamma _{\mathrm {max}}}\left( \mathrm {e}^{t(r - {\bar{A}}\gamma _{\mathrm {max}})}-1\right) }. \end{aligned}$$
(43)

The long-time behaviour of the upper bound in the above depends on \(\gamma _{\mathrm {min}}\) as follows

$$\begin{aligned} c(\infty )&\le {\left\{ \begin{array}{ll} 0, &{}\text { if } \quad \gamma _{\mathrm {min}} > \frac{r}{{\bar{A}}} = \gamma _{c} \\ \infty &{}\text { otherwise,} \end{array}\right. } \end{aligned}$$
(44)

where we have recovered that for the tumour to be eradicated as \(t\rightarrow \infty \) we require that \(\gamma > \gamma _{c}\).

A tighter bound on c(t) can be found with a specific form of \(\gamma (t)\). In particular, if we assume that the expression of MHC-I decays exponentially,

$$\begin{aligned} \gamma (t) = \mathrm {e}^{-\frac{t}{\tau _{\gamma }}} \end{aligned}$$
(45)

where \(\tau _{\gamma }\) is the timescale of MHC-I decay, the solution can be bound as follows,

$$\begin{aligned} \frac{c_{0 } \rho _{c} \mathrm {e}^{{\bar{A}}\tau _\gamma \left( \mathrm {e}^{-\frac{t}{\tau _\gamma }}-1\right) }}{ \rho _{c} \mathrm {e}^{- r t } + c_{0}\left( 1 - \mathrm {e}^{-r t }\right) } \le c(t) \le \frac{c_{0 } \rho _{c} \mathrm {e}^{{\bar{A}}\tau _\gamma \mathrm {e}^{-\frac{t}{\tau _\gamma }}}}{ \rho _{c} \mathrm {e}^{- r t + {\bar{A}} \tau _\gamma } + c_{0}\left( 1 - \mathrm {e}^{-r t }\right) } \end{aligned}$$
(46)

where in the above we have used \( \int _{0}^{t}\mathrm {e}^{rs}ds \le \int _{0}^{t}\mathrm {e}^{rs + \tau _\gamma {\bar{A}} \mathrm {e}^{-\frac{s}{\tau _\gamma }}}ds \le \int _{0}^{t}\mathrm {e}^{rs + \tau _\gamma {\bar{A}}}ds\). If we now consider the long-time behaviour of c(t) we find that

$$\begin{aligned} \rho _{c} \mathrm {e}^{-{\bar{A}}\tau _\gamma } \le c(\infty ) \le \rho _{c}. \end{aligned}$$
(47)

The upper bound is now finite in the long time limit, and is equal to the carrying capacity concentration, as would be expected. We see that the lower bound of c(t) is also finite. The latter is due to \(\gamma _{\mathrm {min}} < \gamma _{c}\). Therefore, according to this model the exponential decay of MHC-I prohibits the eradication of tumours. However, it is important to stress that if the decay rate is sufficiently slow, the tumour cell concentration can become very small. All calculations have been made under the assumption that \(\rho = \frac{N}{V}= {\mathcal {O}}(1)\). We show in the appendix that in this regime stochastic fluctuations are suppressed as \(V\rightarrow \infty \). However, for finite N, fluctuations become of the same order as the mean, and can remove a small number of tumour cells in a finite time. Additionally, as discussed in the introduction, we neglect the role of NK cells to focus on the T-cell dependent response. However, at low MHC-I the NK cells play a more dominant role, adding an additional deleterious effect upon tumour growth.

In addition to exponential decay we have also considered a sigmoidal decay by defining

$$\begin{aligned} \gamma (t) = \frac{1}{1 + \left( \frac{t}{\tau _{\gamma }}\right) ^{g}}, \end{aligned}$$
(48)

which is sigmoidal for \(g>1\) where g is the shape parameter. Furthermore, the function approaches a step function as \(g\gg 1\). Figure 6 shows that in the case where the tumour is initially growing at a rate faster than T-cell mediated death the behaviour changes significantly with the functional form of \(\gamma (t)\). In the case of exponential MHC-I decay, the tumour cell concentration exponentially increases towards saturation. However, with a sigmoidal \(\gamma (t)\), the tumour concentration increases and reaches a plateau then rapidly grows to saturation. No such difference is observed when the tumour is initially removed by the T-cells. We note that when the rate of T-cell mediated death is initially faster than the rate of replication, Fig. 6 exhibits the “three Es” of cancer immunoediting first discussed by Dunn et al. (2004): the tumour is initially eliminated, reaches a period of equilibrium, and then escapes. This model suggests that the profile of \(\gamma (t)\) has a dominant effect on the duration of the elimination, equilibrium and escape phases of tumour progression. A greater quantitative understanding of the loss of MHC-I in patient tumours may reveal whether MHC-I is a dominant factor in tumour equilibrium.

Fig. 6
figure 6

Time evolution of tumour cell concentration from numerical solution of Eq. (40) (a) subject to exponential and sigmoidal MHC-I decay profiles (b). We show results for two parameterisations: tumour replication rate \(r = 0.4\), timescale of MHC-I expression decay \(\tau _{\gamma } = 350\) (dotted lines); \(r=0.5\) and \(\tau _{\gamma }=200\) (dashed lines). In all cases the initial tumour cell concentration is \(c_{0} = 20\), \({\bar{A}} = 0.375\), and carrying capacity concentration \(\rho _{c}=100\). The shape parameter for the sigmoidal decay function is \(g=10\). The tumour cell concentration has been normalised with the carrying capacity \(\rho _{c}\)

Discussion

The complexities of tumour immunology require a systemic approach to better understand cancer and inform treatment. Quantitative tools are being used to a greater extent, due to the vast data produced by next generation experimental technology; mathematical modelling being among them. Mathematical modelling can suffer from two extremes: models that include detail at the molecular level tend to focus on a small set of processes to achieve analytical results at the expense of a systemic view; on the other hand, macroscopic models which achieve greater systemic resolution, tend to have a large number of parameters, which makes statistical validation impractical, especially in absence of large data sets. In our work we used statistical mechanics and dynamical systems approaches to analyse the anti-tumour response of a simplified model of the adaptive immune system, comprising antigen presenting cells, helper T-cells and cytotoxic T-cells. The end result is a system of five ODEs that highlights the role in tumour growth of different parameters linked to key cellular processes.

Previous studies have shown that the prognostic value of the CD4\(^{+}\)/CD8\(^{+}\) ratio, and the expression of MHC-I, are improved when considered in combination (Turcotte et al. 2014; Jordanova et al. 2008). Our work provides a simple model for the mechanistic interplay between these two parameters during the anti-tumour immune response, from which apparent contradictions in the literature can be rationalised. In particular, our model suggests that, when using the CD4\(^{+}\)/CD8\(^{+}\) ratio as a prognostic marker, the expression of MHC-I must also be taken into account, otherwise this may risk incorrect prognosis. A good prognosis of clinical outcome has been associated with different CD4\(^{+}\)/CD8\(^{+}\) ratios across different cancers, and this model suggests that this is due to variations in MHC-I expression. If proved correct this could help to potentially unify efforts across different cancers, something that can rarely be achieved. Our model also highlights that the infiltration of specific T-cells is an important parameter, that will also affect the growth of a tumour and could potentially obfuscate the prognostic value of CD4\(^{+}\)/CD8\(^{+}\) and MHC-I. Recent work has shown that the TCR repertoire of tumour infiltrating T-cells has low tumour reactivity (Scheper et al. 2019). Our model highlights the dramatic effect such a small pool of specific T-cells can have on the prognostic value of CD4\(^{+}\)/CD8\(^{+}\) and MHC-I. Encouragingly, the model shows that the adaptive immune response is robust to changes in the CD4\(^{+}\)/CD8\(^{+}\) ratio, as one would hope.

Our work has focused on modelling the immune response where MHC-I expression is assumed to be constant to highlight its interplay with the helper/cytotoxic ratio R. However, we have shown the role that MHC-I decay can play in the evolution of tumours. The eradication of tumours will depend on the minimum expression of MHC-I - if this is too low the T-cell response will fail and other cells, most likely NK, are required for eradication, otherwise the tumour will escape. In addition to this, our work highlights the role that the profile of MHC-I decay can have on the growth of tumours. To the best of our knowledge, there is no data measuring the time evolution of MHC-I expression in tumours to be able to estimate this profile. However, availability of such data could confirm whether the variation in MHC-I expression leads to periods of equilibrium in tumour growth.

One issue with mathematical models is that they often focus on the dynamics of immune cells, for which experimental data is rare. Although our model is based on dynamics, we have provided results which focus on non-temporal quantities that could be verified with standard measurements in immunology. We hope our model can serve as a motivation for experimental investigation into the combined effect of CD4\(^{+}\)/CD8\(^{+}\) and MHC-I, and provide a useful theoretical framework to interpret results.

The work presented here is a theoretical minimal model of the adaptive immune system, and as such has limitations. For example, the model only considers the adaptive immune response and does not explicitly take into account innate immunity such as the natural killer cells and macrophages, both of which play an important role in the anti-tumour immune response. The benefit of our approach is the rigorous mathematics which can be analysed to understand qualitative behaviour, something which is often lost when considering too many parameters.

A generally applicable feature of our work is the use of non-equilibrium statistical mechanics to include an additional level of microscopic detail into the modelling of cell concentrations with ODEs. Here our model has considered the activation and sub-type of T-cells, but this framework could also be used to study other biological systems where constituent cells fluctuate stochastically between different states, while interacting with other cell concentrations in the environment. For example, there is a long history of modelling neurons as stochastic entities that fluctuate stochastically between two states, quiescent or firing an electrical signal, (for examples see Coolen and Ruijgrok (1988); Sompolinsky et al. (1988); Nishimori et al. (1990); Coolen and Sherrington (1993)). On the other hand, neurons are known to be embedded in different tissues, including muscles and the gut, where they conceivably interact with other cells, whose concentrations may follow (approximately) deterministic dynamics.

There are two potential extensions of our work we consider to be of particular interest. Firstly, as we have discussed, our work has neglected spatial heterogeneity by modelling a small macroscopic area of a tumour which can be regarded as uniform. Spatial heterogeneity plays an important role in the anti-tumour immune response, and the extension of the techniques from non-equilibrium statistical mechanics to systems of PDEs could provide important new results although at the expense of increased model complexity. Secondly, although we consider phenotypic heterogeneity implicitly when we allow MHC-I to vary with time, we have not explicitly modelled competition between tumour cell phenotypes. This model could be extended to account for several tumour phenotypes, evolving with different rates, with heterogeneity in the T-cell response to each phenotype. Although this framework is well adapted to such a scenario, analytical progress with multiple phenotypes may provide an interesting avenue of investigation, elucidating the evolutionary game between phenotypes. Another extension would be to adapt this model to understand how tumours begin in the first place, including the healthy tissue cells from which the tumour cells derive. Tumour immunology is rich with complexity and using refined tools from statistical mechanics may shed light on this complex system of processes.