 # Comparing the Behaviour of Deterministic and Stochastic Model of SIS Epidemic

Studies about epidemic modelling have been conducted since before 19th century. Both deterministic and stochastiic model were used to capture the dynamic of infection in the population. The purpose of this project is to investigate the behaviour of the models when we set the basic reproduction number, R_0. This quantity is defined as the expected number of contacts made by a typical infective to susceptibles in the population. According to the epidemic threshold theory, when R_0 ≤ 1, minor epidemic occurs with probability one in both approaches, but when R_0 > 1, the deterministic and stochastic models have different interpretation. In the deterministic approach, major epidemic occurs with probability one when R_0 > 1 and predicts that the disease will settle down to an endemic equilibrium. Stochastic models, on the other hand, identify that the minor epidemic can possibly occur. If it does, then the epidemic will die out quickly. Moreover, if we let the population size be large and the major epidemic occurs, then it will take off and then reach the endemic level and move randomly around the deterministic's equilibrium.

## Authors

##### This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.

## 1 Introduction

Studies about epidemic modelling have been conducted since before 19th century. Both deterministic and stochastiic model were used to capture the dynamic of infection in the population. Upon the study, some other parameters were introduced to generalised the model, for example the infection and recovery rates, as well as if the infection occurs in close or open population.

One of the most important development in this study is threshold theorem. It states that an epidemic can only occur if the initial number of susceptibles is larger than some critical value which depends on the parameters of the model under consideration. The threshold behaviour is usually expressed in terms of epidemic basic reproduction number, . This quantity is usually defined as the expected number of contacts made by a typical infective to susceptibles in the population. It is important to note that in general epidemic modelling, both stochastic and deterministic models have similar threshold value, which is attained at .

According to Nåsell , the proportion of infectives in the deterministic model would converge to some equilibrium point as time approached infinity. There are only two stages of equilibrium, extinction or endemic. When below the threshold point, both deterministic and stochastic approaches have converged to extinction. Unfortunately, different outcome happens when exceed 1.

Motivation The main purpose of this paper is to investigate the behaviour of the SIS model when we set

. The model is named after the transition process, where each individual in the population is classified into some stages, i.e.

susceptible (S) and infective (I). The characteristics of the model are also studied, especially the conditions when the models enter the endemic- equilibrium level.

## 2 The SIS Epidemic Model

Suppose that we have a closed mixing population with initially individuals and infectives, where . We define the SIS model as follows.

At , there are susceptibles who are vulnerable to the diseases. Each infective contacts each susceptible according to independent Poisson processes with rate

and if a susceptible is contacted, it immediately becomes an infective. The infectives also have an infectious period which follow iid exponential distributions with rate

, and then removed, but once the infective’s infectious period is over, the individual will immediately become vulnerable to the disease. Finally, the epidemic ends when no infective is left in the population. The transition scheme of this model is illustrated in figure 1.

### 2.1 The Transition Schemes of SIS Model

In this paper, we will assume that the population is closed. According to the figure 1, the SIS model consists of two processes, i.e. infection and removal.

For , let be the number of infectives at time . Suppose that , where . Then, there are contacts between infectivees and susceptibles in the population. Therefore, the probability of infection and removal occurence in interval are respectively

 P{Yn(t+dt)=i+1|Yn(t)=i} =λ/n⋅(n−i)i⋅dt+o(dt), (1) P{Yn(t+dt)=i−1|Yn(t)=i} =γi⋅dt+o(dt). (2)

### 2.2 The Deterministic Approach of SIS Model

To capture the behaviour of the SIS model, suppose that we allow be non–integer. Considering there are two transisitions in the model, we can interpret the transition scheme as follows

 Yn(t+dt)=Yn(t)+(λnYn(t)[n−Yn(t)]−γYn(t))dt+o(dt) (3)

which yields as ,

 dYn(t)dt=λnYn(t)[n−Yn(t)]−γYn(t). (4)

Let represent the proportion of infective in the population at time , then we can scale equation (3) as

 dy(t)dt =λy(t)⋅(1−y(t))−γy(t), (5)

where and are infection and removal rate transitions of with solution

 y(t)=⎧⎪ ⎪ ⎪ ⎪ ⎪ ⎪⎨⎪ ⎪ ⎪ ⎪ ⎪ ⎪⎩(λ−γ)y(0)⋅e(λ−γ)tλ−γ+λy(0)(e(λ−γ)t−1)if λ≠γ,y(0)1+λy(0)tif λ=γ.

Figure 5 showed the behaviour of the processes with initial . The stochastic processes behaved similar to deterministic models, but in other figures, some stochastic processes were not mimicing the behaviour of deterministic model, especially when .

From the simulations, there are some tentative conditions that can distinguish the behaviour of deterministic and stochastic approaches to model SIS. These conditions are determined by the value of , as the threshold theorem stated:

1. both deterministic and stochastic approaches of SIS will go exinct if and only if ,

2. in deterministic approach, as , the SIS model showed an outbreak of disease as ,

3. in stochastic approach, there are two possibility of outcomes when , i.e. the outbreak as deterministic approach or an extinction.

Therefore, we will prove mathematically the three points above to determine the behaviour of SIS model based on its reproduction number.

## 3 The Behaviour of SIS Model According to Deterministic Approach

Recall equation (5). Obviously, the major epidemic occurs if and only if and otherwise. At some time the increment of will reach stationary and the process will hit the equilibrium point as shown in Figure 5 to 5. The roots of are when and when exceeds 1. Therefore, according to the deterministic approach, the outbreak of epidemic happens when exceeds 1 with probability one, and otherwise.

## 4 The Behaviour of SIS Model According to Stochastic Approach

It is easier to study stochastic model of SIS using simulation. In deterministic approach, minor epidemic occurs if and only if , whilst major epidemic occurs otherwise. This is because when we let , the proportion of infection in (5) decreases (increases) in population upon time and then, the process will reach equilibrium.

As , the stochastic model of SIS also behaved in similar way. In fact, some processes will mimic the deterministic model, but others are not. In the next section, we will mathematically show why and what conditions stochastic model mimicing deterministic model.

### 4.1 Density Dependence Population Process

Suppose that is the CTMC process defined on -dimensional integer lattice with finite number of possible transitions, given by where we define

 βl:Zd→[0,∞),l∈Δ⊆Zd,∑lβl(x)<∞

for all .

According to Ethier and Kurtz , if the the size of a certain population was , then the density of that population was with intensities approximated proportionally to its size. For example, suppose that there are -susceptibles and -infectious individuals. The infectious and removal rates are given in eq. (1) and (2), which are density–dependent functions.

Suppose that is a independent standard Poisson process, where each of possible transition . By letting be non-random,

 Xn(t)=Xn(0)+∑llYl(n∫t0βl(Xn(s)n)ds). (6)

Now let be a centered Poisson process at its expectation and . Following equation (6) and letting ,

 ¯Xn(t) =¯Xn(0)+1n∑l∈Δl~Yl(n∫t0βl(¯Xn(s))ds)+∫t0F(¯Xn(s))ds. (7)

We will show that the stochastic process in equation (7) can be approximated by non-random quantity when we let the population size become sufficiently large. But before that, consider following theorem.

###### Theorem 4.1.

If is a standard Poisson process, then for all ,

 limn→∞sups≤t∣n−1Y(ns)−s∣=0

almost surely.

###### Proof.

Note that , for . We can show easily show that is a submartingale. Therefore, for any

 P(sup0≤s≤t|Y(ns)−ns|≥εn) =P(sup0≤s≤t(Y(ns)−ns)4≥ε4n4) ≤E(Y(nt)−nt)4ε4n4=nt(1+3nt)ε4n2≤C(ε,t)n. (8)

If we let , then . It implies that since the probability of its supremum tends to zero as . Therefore, according to Borel– Cantelli Lemma, almost surely. ∎

Now we will prove that eq. (7) can be approximated by non–random quantity as by proofing theorem below.

###### Theorem 4.2.

Let and be the deterministic version of equation (7). Suppose that for each compact such that Then, for

 limn→∞sups≤t∣¯Xn(s)−x(s)∣=0

almost surely.

###### Proof.

Given , thus

 ∣¯Xn(t)−x(t)∣ ≤∣¯Xn(0)−x(0)∣+1n∑l∈Δ∣l∣sups≤t∣~Yl(nβl(¯Xn(s)))∣+∫t0Mk∣¯Xn(s)−x(s)∣ds. (9)

Now consider the second term of the right hand side of equation (9).

 1n∑l∈Δ∣l∣⋅sups≤t∣~Yl(nβl(¯Xn(s)))∣ =∑l∈Δ∣l∣⋅sups≤t∣n−1Yl(nβl(¯Xn(t)))−βl(¯Xn(t))∣.

According to Theorem 4.1, as , almost surely. Therefore, equation (9) now becomes

 ∣¯Xn(t)−x(t)∣ =∣¯Xn(0)−x(0)∣+∫t0Mk∣¯Xn(s)−x(s)∣ds ≤∣¯Xn(0)−x(0)∣⋅eMKt=0 (10)

by Gronwall’s inequallity. Therefore, by sanwich property,

Theorem 4.2 suggests that as , the process will resemble the deterministic version . If represents the number of infectees at time in SIS epidemic, then as sufficiently large and , the process will settle down and randomly move around its mean, in this case are the equilibrium points of deterministic model.

### 4.2 Branching Process

The mimicing behaviour of stochastic model of SIS is due to the convergence of its process, where according to the density dependent population process, as the tail of stochastic model of SIS will converge to its mean. Note that after reaching some time, deterministic model of SIS will reach its stationary stage, i.e, extinction or endemic, which actually are the mean of stochastic SIS model.

According to Theorem 4.2, all stochastic processes of SIS should be mimicing the deterministic model. Obviously if , both stochastic and deterministic models go to extinction. Unfortunately, when exceeds 1, there are some cases when stochastic model extincts. These are illustrated in Figure 5 and 5. In stochastic processes, this anomaly is not surpraising at all since given a small number of infectees in an early epidemic, there is non–zero chance that the individual will recover before it makes contact to any susceptibles. The best analogy to illustrate this scenario is by branching process theorem.

Suppose that in a closed population, just by the end of its lifetime, each individual has independently produced offsprings with probability . Let denote the size of -th generation, then the process

is a Markov chain having non-negative integer state space, where state

is a recurrent state and others are transient. Since any finite transient state will be visited finitely often, this leads to the conclusion that if , then the population will either die out or take off.

Let be the mean number of offspring from a single individual, then

 E(Xn) =E⎛⎝E⎛⎝Xn−1∑j=1ζj∣Xn−1⎞⎠⎞⎠,ζj is number of jth individual's offspring =μ2E(Xn−2)=⋯=μnE(X0)=μn,% given X0=1.

Suppose that denotes the probability that the population dies out. Note that if , then almost surely as . This concept is very useful in epidemic modelling because when the expected number of infection is less than , then the epidemic will obviously die out. But, if , by conditioning on the ,

Note that given , the population will eventually die out if and only if each of the families started by the members of the first generation die out. This statement is supported by the fact that the probability of extinction occuring in the early stage is non-zero. Moreover, the probability that the members of a typical family to die out is . Thus, assuming that each individual acts independently,

Hence, must satisfy

 π0=∞∑j=0πj0Pj=E(πX10)=f(π0) (11)

where is the pgf (probability generating function) of , in such a way that is the smallest root in satisfying equation (11).

Now suppose that is infection period of -th typical infective, which is assumed to follow independent exponential distributions with intensity and let be the total number of contacts made by a typical infective in the epidemic model. Then,

 R∣T=t ∼Poisson(βt) (12a) T ∼exponential(γ). (12b)

Now, suppose that is the pgf of and is the pdf of . Then,

 f(s) =∞∑k=0sk∫∞0P(R=k∣T=t)g(t)dt=γβ+γ∞∑k=0(sββ+γ)k.

We find , such that . Therefore, If , then the smallest root is , but if , then the smallest root is . Hence, suppose there are initial infectives in the population and assuming that the contacts made are mutually independent, then

 P(epidemic dies out)≈⎧⎪⎨⎪⎩1if γ≥β(γβ)mif γ<β.

Once again, the above result explains threshold behaviour of the process. All figures confirm the interpretation of threshold behaviour of the SIS deterministic model, that if , major epidemic will occur despite of its initial values and population size. But in the stochastic model (which are displayed in jagged plots), some plots do not mimic the deterministic paths. Another simulation is provided in Table 1, where we compare the probability of the epidemics to die out approximated by brancing process and empirical.

## 5 Conclusion

We have successfully showed that both deterministic and stochastic models performed similar results when . That is, the disease-free stage in the epidemic. But when , the deterministic and stochastic approaches had different interpretations. In the deterministic models, both the SIS and SIR models showed an outbreak of the disease and after some time , the disease persisted and reached endemic-equilibrium stage. The stochastic models, on the other hands, had different interpretations. If we let the population size be sufficiently large, the epidemic might die out or survive. There were essentially two stages to this model. First, the infection might die out in the first cycle. If it did, then it would happen very quickly, just like the branching process theory described. Second, if it survived the first cycle, the outbreak was likely to occur, but after some time , it would reach equilibrium just like the deterministic version. In fact, the stochastic models would mimic the deterministic’s paths and be scattered randomly around their equilibrium point.

## References

•  H. Andersson and B. Djehiche, “A Threshold Limit Theorem for the Stochastic Logistic Epidemic”, J. Appl. Prob.  35, 662–670 (1998).
•  N. T. Bailey, The Mathematical Theory of Infectious Diseases and its Applications, 2nd edition (Griffin, London, 1975).
•  F. G. Ball, “The Threshold Behaviour of Epidemic Models”, J. Appl. Prob.  20, 227–241 (1983).
•  F. G. Ball, Epidemic Thresholds. Encyclopedia of Biostatistics. 3. (John Wiley & Sons, Chichester, 1998).
•  P. G. Ballard, N. G. Bean, J. V. Ross, “The Probability of Epidemic Fade-Out is Non-Monotonic in Transmission Rate for Markovian SIR Model with Demography”, Submitted J. Theoretical Bio.  393, 170–178 (2016).
•  H. Andersson and T. Britton, Stochastic Epidemic Models and Their Statistical Analysis (Springer, New York, 2000).
•  D. Clancy and P. K. Pollett, “A Note on Quasi-Stationary Distributions of Birth-Death Processes and the SIS Logistic Epidemic”, Submitted J. Appl. Prob.  40, 821–825 (2003).
•  J.N. Darroch and E. Seneta, “On Quasy-Stationary Distributions in Absorbing Discrete-Time Finite Markov Chains”, Submitted J. Appl. Prob.  2, 88–100 (1965).
•  J.N. Darroch and E. Seneta, “On Quasy-Stationary Distributions in Absorbing Continuous-Time Finite Markov Chains”, Submitted J. Appl. Prob.  4, 192–196 (1967).
•  S. N. Ethier and T. G. Kurtz, Markov Processes Characterization and Convergence (Wiley, New York, 1982).
•  s.‘Karlin, A First Course in Stochastic Processes. 2nd ed. (Academic Press Inc., California, 1975).
•  F. P. Kelly, Reversibility and Stochastic Networks (Cambridge University Press, Cambridge, 2011).
•  D. G. Kendall, “On the Generalized Birth and Death Process”, The Annals of Mathematical Statistics  19, 1–15 (1948).
•  R. J. Kryscio and C. Lefévre, “On the Extinction of SIS Stochastic Logistic Epidemic”, J. Appl. Prob.  26, 685–694 (1989).
•  I. Nåsell, “Stochastic Models of Some Endemic Infections”, Math. Bioscie. 179, 1–19 (2002).
•  R.H. Norden, “On the Distribution of The Time to Extinction in the Stochastic Logistic Population Model”, Adv. in Appl. Prob.  14, 687–708 (1982).
•  S.M. Ross, Introduction to Probability Models. 9th ed. (Elsevier Inc., London, 2007).
•  K. Susvitasari, “The Stochastic Modelling on SIS Epidemic Modelling”, Journal of Physics: Conference Series 795 (2017).