A stochastic SIR network epidemic model with preventive dropping of edges

Abstract

A Markovian Susceptible $\to$ Infectious $\to$ Recovered (SIR) model is considered for the spread of an epidemic on a configuration model network, in which susceptible individuals may take preventive measures by dropping edges to infectious neighbours. An effective degree formulation of the model is used in conjunction with the theory of density dependent population processes to obtain a law of large numbers and a functional central limit theorem for the epidemic as the population size $N\to \infty$, assuming that the degrees of individuals are bounded. A central limit theorem is conjectured for the final size of the epidemic. The results are obtained for both the Molloy–Reed (in which the degrees of individuals are deterministic) and Newman–Strogatz–Watts (in which the degrees of individuals are independent and identically distributed) versions of the configuration model. The two versions yield the same limiting deterministic model but the asymptotic variances in the central limit theorems are greater in the Newman–Strogatz–Watts version. The basic reproduction number $R_0$ and the process of susceptible individuals in the limiting deterministic model, for the model with dropping of edges, are the same as for a corresponding SIR model without dropping of edges but an increased recovery rate, though, when $R_0>1$, the probability of a major outbreak is greater in the model with dropping of edges. The results are specialised to the model without dropping of edges to yield conjectured central limit theorems for the final size of Markovian SIR epidemics on configuration-model networks, and for the size of the giant components of those networks. The theory is illustrated by numerical studies, which demonstrate that the asymptotic approximations are good, even for moderate N.

Introduction

In understanding the transmission dynamics in a population, one of the most important modelling components is the contact process. In this work we consider a form of self-initiated social distancing in response to an epidemic while at the same time taking into account the underlying contact network structure of the population. The resulting network is sometimes referred to as an adaptive network, e.g. Gross et al. (2006), Shaw and Schwartz (2008), Zanette and Risau-Gusmán (2008) and Tunc and Shaw (2014). Behavioural dynamics in infectious disease models can come in many different forms. Much of the literature that combines behavioural changes with network models uses agent-based simulations, as in the works cited above, although analytical advances have also been made (e.g. Britton et al. (2016) and Jacobsen et al. (2018)). Our work takes the model introduced in Britton et al. (2016) as its starting point. Britton et al. (2016) consider a broader class of models but restrict the analysis to the initial phase of the epidemic. In the current paper we analyse the time evolution and the final size of the epidemic. We model an SIR (Susceptible $\to$ Infectious $\to$ Recovered) infection on a configuration network that is static in the absence of infection. A susceptible individual breaks off its connection to an infectious neighbour upon learning of that neighbour’s infectious status. This occurs at a constant rate, independently per neighbour. One can think of this mechanism as being governed by infectious individuals informing their neighbours. Whereas infectious and recovered neighbours do not take any action upon being informed, susceptible neighbours want to avoid becoming infected and therefore cease contact with the infectious individual. We use the term ‘preventive dropping of edges’ to indicate this type of behaviour. Details of the model formulation are presented in Sect. 2.

To some extent, from the point of view of a susceptible neighbour of an infectious individual, it does not matter whether the infectious individual recovers or informs and dissolves the connection. Either way, it means that the susceptible neighbour can no longer acquire infection from this individual. In Sect. 5 we see that this is true when dealing with the asymptotic mean (deterministic) process, in that the number of susceptibles in the deterministic process for the model with dropping of edges coincides with that for the model without dropping of edges but with an increased recovery rate. In Sect. 8 we also see that this is not true for the stochastic process, in particular, the probability of a major outbreak differs (Theorem 8.1). Indeed, we cannot expect the two stochastic processes to coincide since informing neighbours happens independently of one another, while recovery affects all neighbours simultaneously.

In Sect. 3 we analyse the preventive dropping model throughout the epidemic outbreak, by using a so-called effective degree construction (cf. Ball and Neal 2008). Using such a construction, conditional on a major outbreak, by using techniques from Ethier and Kurtz (1986), we show under the assumption of bounded degrees that, as the population size N tends to infinity, the fractions of the population that are susceptible, infective and recovered satisfy a law of large numbers (LLN) over any finite time interval (more specifically that they converge almost surely to a limiting deterministic process), together with an associated functional central limit theorem (CLT) which describes fluctuations of the stochastic epidemic process about the limiting deterministic epidemic.

The population consists of N individuals that make up a network, which is formed using the configuaration model. The configuration model was introduced by Bollobás (1980), see Bollobás (2001) for further references, and comes in two versions: either (i) the degrees of individuals are prescribed deterministically, the Molloy–Reed (MR) random graph (Molloy and Reed 1995), or (ii) the degrees of individuals are assumed to be independent and identically distributed, the Newman–Strogatz–Watts (NSW) random graph (Newman et al. 2001). We treat both the MR and the NSW versions. If the limiting distribution of the degrees in the MR construction agrees with the degree distribution of the NSW random graph, the two versions give the same LLN, as we show in Theorem 3.1. However, the two versions differ regarding the variance in the CLTs, since (for finite N) there is greater variability in the degrees of the individuals in the NSW model than in the MR model. The functional CLT for the epidemic on an MR random graph is given in Theorem 3.2. By making a random time transformation, in Sect. 4, we conjecture a CLT for the final outcome of the epidemic on an MR random graph; see Conjecture 4.1. Corresponding results for the epidemic on an NSW random graph are discussed in Sect. 7; see Theorem 7.2 and Conjecture 7.1. To prove the latter results we require a version of the functional CLT in Ethier and Kurtz (1986) which allows for asymptotically random initial conditions; see Theorem 7.1.

The asymptotic variance–covariance matrix in the CLT in Proposition 4.1 is far from explicit. In order to obtain a nearly-explicit expression for the limiting variance of the final size, it is necessary to solve (partially) a time-transformed limiting deterministic process, which is more amenable to analysis than the corresponding deterministic process in real time. This is done in Sect. 5.1 and linked to the solution of the real-time process in Sect. 5.1.2. These results are used in Sects. 6 and 7 to obtain almost fully explicit expressions for the asymptotic variance of the final size of epidemics on MR and NSW random graphs, respectively, see Proposition 6.1 and Conjecture 7.1. In Sect. 5.2, we connect our analysis of the deterministic effective degree model to results derived using other deterministic approaches (cf. Volz (2008), Leung and Diekmann (2016) for related models), leading to a simple proof that the process of susceptible individuals in the limiting deterministic model for the epidemic with preventive dropping of edges is identical to that in the corresponding deterministic model without dropping of edges but with an increased recovery rate (see Remark 5.3).

Note that in the absence of behaviour change, we are in the setting of a Markov SIR epidemic on a configuration model network, which we consider in Sect. 9. This model has been analysed in several papers, e.g. Newman (2002), Kenah and Robins (2007), Lindquist et al. (2011) and Miller (2011). Our results further improve understanding of this well-studied model, particularly in terms of the asymptotic variance of the final size in Conjecture 9.1. Moreover, our work yields conjectured CLTs for the size of the giant component in MR and NSW configuration model random graphs; see Conjecture 9.2.

In Sect. 10, we illustrate our results with some numerical studies. In particular, we demonstrate that the asymptotic results generally give a good approximation for moderate population sizes, investigate the impact of the dropping of edges on properties of epidemics and do some comparison of the behaviour of the epidemic on MR and NSW type random graphs. Some brief concluding comments are given in Sect. 11.

Finally, we would like to make a note on the structure of the paper. Clearly, this paper does not readily lend itself to a quick superficial read, owing to its length and some of the technicalities and details involved in obtaining our results. However, we have tried to help the reader by formulating our main results in terms of propositions, theorems and well-motivated conjectures. The more technical aspects can be found in the appendices for the interested reader, which consequently constitute a significant part of the paper.

The stochastic SIR network epidemic model with preventive dropping

In this section we define the stochastic SIR network epidemic model with preventive dropping. This model is a special case of the network epidemic model with preventive rewiring defined in Britton et al. (2016), namely where there is no latent period and where the fraction of dropped edges that are replaced by new edges is set to zero.

The population consists of N individuals, labelled $1,2,\dots ,N$, that make up a network. The network is formed using the configuration model, which, as described in Sect. 1, comes in two versions, namely MR and NSW random graphs. Let D be a random variable which describes the degree of a typical individual and $p_k=\mathrm{P}(D=k),k=0,1,\dots$. Let ${\mu }_D$ and ${\sigma }_D^2$ denote the mean and variance of D, respectively, both of which are assumed to be finite.

• (i)In the MR model, the degrees are prescribed. More specifically, for $N=1,2,\dots$, let $d_1^N,d_2^N,\dots ,d_N^N$ denote the degrees of the individuals when the population size is N. Note that these are deterministic. Let $p_k^N=N^{-1}{\sum }_{i=1}^N{\delta }_{k,d_i^N},k=0,1,\dots$ be the empirical distribution of $d_1^N,d_2^N,\dots ,d_N^N$, where the Kronecker delta ${\delta }_{k,j}$ is 1 if $k=j$ and 0 otherwise. It is assumed that ${lim}_{N\to \infty }{p}_k^N=p_k,k=0,1,\dots$.
• (ii)In the NSW model, the degrees $D_1,D_2,\dots ,D_N$ of the N individuals are independent and identically distributed copies of D. A sequence of networks, indexed by N, may be constructed from a sequence $D_1,D_2,\dots$ of independent and identically distributed copies of D by using the first N random variables for the network on N individuals.

In both models the network is formed by attaching a number of stubs (i.e. half-edges) to each individual, according to its degree (so, for example, in the NSW model, $D_i$ stubs are attached to individual i, for $i=1,2,\dots ,N$), and then pairing up these stubs uniformly at random to form the network. If $D_1+D_2+\cdots +D_N$ is odd, there is a left-over stub, which is ignored. The network may have some ‘defects’, specifically self-loops and multiple edges between pairs of individuals, but provided ${\sigma }_D^2<\infty$, which we assume, such defects become sparse in the network as $N\to \infty$; see Durrett (2007), Theorem 3.1.2.

A Markovian SIR epidemic is defined on the network of N individuals as follows. Each individual is at any point in time either susceptible, infective or recovered (and immune to further infection). An infective individual infects each of its susceptible neighbours at the points of independent Poisson processes, each having rate $\beta$. An infectious individual recovers and becomes immune at rate $\gamma$ (implying that the duration of the infectious period follows an exponential distribution having mean $1/\gamma$). Finally, susceptible individuals that have infectious neighbours drop such connections, independently, at rate $\omega$ (an equivalent description to be used later is that the infective ‘warns’ its neighbours independently at rate $\omega$, and warned susceptible individuals drop the corresponding edge). All infectious periods, infecting processes and edge-dropping processes are mutually independent. The epidemic is initiated at time $t=0$ by one or more individuals being infectious and all other individuals being susceptible. More precise initial conditions are given when they are required. The epidemic continues until there is no infectious individual. Then the epidemic stops and the result is that some of the individuals have been infected (and later recovered) and the rest of the population remains susceptible and hence have not been infected during the outbreak.

The parameters of the model are the degree distribution $\{p_k\}$, including its mean ${\mu }_D$ and variance ${\sigma }_D^2$, the infection rate $\beta$, the recovery rate $\gamma$ and the dropping rate $\omega$.

It was shown in Britton et al. (2016) that the basic reproduction number for the model is given by

$$\begin{array}{c}\hfill R_0=\frac{\beta }{\beta +\gamma +\omega }\left({\mu }_D,+,\frac{{\sigma }_D^2}{{\mu }_D},-,1\right),\end{array}$$ 2.1

see also Sect. 8. Note that the first factor in (2.1) is the probability that an infective infects a given susceptible neighbour before either the infective recovers or the neighbour drops its edge to that infective. The second factor is the expected number of susceptible neighbours for infected individuals during the early stages of an outbreak initiated by few infectives. Owing to the way the network is constructed, the degree $\tilde{D}$ of a typical neighbour of a typical individual has the size-biased distribution $\mathrm{P}(\tilde{D}=k)={\mu }_D^{-1}k{p}_k$, $k=1,2,\dots$, and hence mean ${\mu }_D^{-1}\mathrm{E}[D^2]={\mu }_D^{-1}({\mu }_D^2+{\sigma }_D^2)$. In the early stages of an outbreak, a typical infective has all susceptible neighbours except for one, namely its infector.

Note that $R_0$ for the dropping model is the same as for a Markovian SIR epidemic on a configuration model network without dropping of edges but with an increased recovery rate $\gamma +\omega$; see also Remark 5.3 and Sect. 8, where we discuss this modified model with increased recovery rate and its relation to the dropping model. Furthermore, from (2.1) we find that $R_0$ is a monotonically decreasing function of $\omega$, i.e. dropping edges always decreases the epidemic threshold parameter $R_0$; see also Fig. 5 in Sect. 10.4. For epidemics initiated by few infectives, this paper is concerned mainly with the case where $R_0>1$, since only then is there a possibility for a major outbreak to take place.

Fig. 5.

Plots of $R_0$ and $\rho$ showing the impact of increasing the dropping rate from zero. Other parameters are $\beta =3/2$, $\gamma =1$, $\epsilon =0$ and a$D\sim \text{Poi}(5)$, b$D\sim \text{Geo}(1/6)$

Effective degree formulation

In this section we analyse the stochastic SIR network epidemic model with preventive dropping that is described in Sect. 2. We do so by extending the ‘effective degree’ construction of an SIR epidemic on a configuration model network, introduced in Ball and Neal (2008), to incorporate dropping of edges. This allows us to prove a LLN and a functional CLT for the epidemic process (Theorems 3.1 and 3.2). Our proofs rely on the results of Ethier and Kurtz (1986) (see also Kurtz (1970, 1971)), and we adopt mostly the notation used in their work for ease of reference.

In the effective degree formulation the network is constructed as the epidemic progresses. The process starts with some individuals infective and the remaining individuals susceptible, but with none of the stubs paired up. For $i=1,2,\dots ,N$, the effective degree of individual i is initially $d_i^N$ in the MR graph and $D_i$ in the NSW graph. Infected individuals behave in the following fashion. An infective, i say, transmits infection down its unpaired stubs at points of independent Poisson processes, each having rate $\beta$. When i transmits infection down a stub, that stub is paired with a stub (attached to individual j, say) chosen uniformly at random from all other unpaired stubs to form an edge. If $i\ne j$ then the effective degrees of both i and j are reduced by 1, otherwise the effective degree of i is reduced by 2. If individual j is susceptible then it becomes infective. If individual j is infective or recovered then nothing happens, apart from the edge being formed. The infective i also independently sends warning messages down its unpaired stubs at points of independent Poisson processes, each having rate $\omega$. When i sends a warning message down a stub, that stub is paired with a stub (attached to individual j, say) chosen uniformly at random from all other unpaired stubs. If individual j is susceptible then the stub from individual i and the stub from individual j are deleted, corresponding to dropping of an edge in the original model. If individual j is infective or recovered then the two stubs are paired to form an edge. In all three cases, the effective degrees of i and j are reduced as above. Individual i recovers independently at rate $\gamma$, keeping all, if any, of its unpaired stubs. Note that in the formulation in Ball and Neal (2008), when an infective recovers, its unpaired stubs, if any, are paired immediately; however, that is not necessary and indeed complicates analysis of the model.

Note also that we now use the equivalent formulation of the process for dropping edges of Sect. 2, where dropping is driven by infectives rather than by susceptibles, although it is clear that the two formulations are probabilistically equivalent. The change is required for the effective degree formulation to model dropping of edges correctly.

Before proceeding we introduce some notation. For $i=0,1,\dots$ and $t\ge 0$, let $X_i^N(t)$ and $Y_i^N(t)$ be respectively the numbers of susceptibles and infectives having effective degree i at time t. We refer to such individuals as type-i susceptibles and type-i infectives. For $t\ge 0$, let $Z_E^N(t)$ be the number of unpaired stubs attached to recovered individuals at time t. (Note that it is not necessary to keep track of the effective degrees of recovered individuals since only the total number of unpaired stubs attached to recovered individuals, and not the effective degrees of the individuals involved, is required in the above effective degree formulation.) Let ${\mathit{X}}^N(t)=(X_0^N(t),X_1^N(t),\dots )$, ${\mathit{Y}}^N(t)=(Y_0^N(t),Y_1^N(t),\dots )$ and ${\mathit{W}}^N(t)=({\mathit{X}}^N(t),{\mathit{Y}}^N(t),Z_E^N(t))$. (Unless stated to the contrary, vectors are row vectors in this paper.) Let $H={\mathbb{Z}}_{+}^{\infty }\times {\mathbb{Z}}_{+}^{\infty }\times {\mathbb{Z}}_{+}$ denote the state space of $\{{\mathit{W}}^N(t)\}=\{{\mathit{W}}^N(t):t\ge 0\}$. Define unit vectors ${\mathit{e}}_i^{\mathrm{S}},{\mathit{e}}_i^{\mathrm{I}}$$(i=0,1,\dots )$ and ${\mathit{e}}^{\mathrm{R}}$ on H, where, for example, ${\mathit{e}}_i^{\mathrm{S}}$ has a one in the ith ‘susceptible component’ and zeros elsewhere, and ${\mathit{e}}^{\mathrm{R}}$ has a one in the ‘recovered component’ and zeros elsewhere. Let $\mathit{n}=(n_0^X,n_1^X,\dots ,n_0^Y,n_1^Y,\dots ,n_E^Z)$ denote a typical element of H, and let $n_E^X={\sum }_{i=1}^{\infty }i{n}_i^X$ and $n_E^Y={\sum }_{i=1}^{\infty }i{n}_i^Y$. Thus $n_E^X,n_E^Y$ and $n_E^Z$ are the total number of stubs attached to susceptibles, infectives and recovered individuals, respectively, when ${\mathit{W}}^N(t)=\mathit{n}$.

The process $\{{\mathit{W}}^N(t)\}$ is a continuous-time Markov chain with the following transition intensities, where an intensity is zero if $n_E^X+n_E^Y+n_E^Z=1$, since then there is only one stub remaining.

For $i,j=1,2,\dots$,

• (i)
  type-i infective infects a type-j susceptible

  $$\begin{array}{c}\hfill q^N(\mathit{n},\mathit{n}-{\mathit{e}}_i^{\mathrm{I}}+{\mathit{e}}_{i-1}^{\mathrm{I}}-{\mathit{e}}_j^{\mathrm{S}}+{\mathit{e}}_{j-1}^{\mathrm{I}})=\beta i{n}_i^Y\frac{j{n}_j^X}{n_E^X+n_E^Y+n_E^Z-1};\end{array}$$
• (ii)
  type-i infective ‘infects’ a type-j infective, so an edge is formed

  $$\begin{array}{c}\hfill q^N(\mathit{n},\mathit{n}-{\mathit{e}}_i^{\mathrm{I}}+{\mathit{e}}_{i-1}^{\mathrm{I}}-{\mathit{e}}_j^{\mathrm{I}}+{\mathit{e}}_{j-1}^{\mathrm{I}})=\beta i{n}_i^Y\frac{j{n}_j^Y}{n_E^X+n_E^Y+n_E^Z-1};\end{array}$$
• (iii)
  type-i infective warns a type-j susceptible, so an edge is dropped

  $$\begin{array}{c}\hfill q^N(\mathit{n},\mathit{n}-{\mathit{e}}_i^{\mathrm{I}}+{\mathit{e}}_{i-1}^{\mathrm{I}}-{\mathit{e}}_j^{\mathrm{S}}+{\mathit{e}}_{j-1}^{\mathrm{S}})=\omega i{n}_i^Y\frac{j{n}_j^X}{n_E^X+n_E^Y+n_E^Z-1};\end{array}$$
• (iv)
  type-i infective ‘warns’ a type-j infective, so an edge is formed

  $$\begin{array}{c}\hfill q^N(\mathit{n},\mathit{n}-{\mathit{e}}_i^{\mathrm{I}}+{\mathit{e}}_{i-1}^{\mathrm{I}}-{\mathit{e}}_j^{\mathrm{I}}+{\mathit{e}}_{j-1}^{\mathrm{I}})=\omega i{n}_i^Y\frac{j{n}_j^Y}{n_E^X+n_E^Y+n_E^Z-1}.\end{array}$$

For $i=1,2,\dots$,

• (v)
  type-i infective ‘infects’ a recovered individual, so an edge is formed

  $$\begin{array}{c}\hfill q^N(\mathit{n},\mathit{n}-{\mathit{e}}_i^{\mathrm{I}}+{\mathit{e}}_{i-1}^{\mathrm{I}}-{\mathit{e}}^{\mathrm{R}})=\beta i{n}_i^Y\frac{n_E^Z}{n_E^X+n_E^Y+n_E^Z-1};\end{array}$$
• (vi)
  type-i infective ‘warns’ a recovered individual, so an edge is formed

  $$\begin{array}{c}\hfill q^N(\mathit{n},\mathit{n}-{\mathit{e}}_i^{\mathrm{I}}+{\mathit{e}}_{i-1}^{\mathrm{I}}-{\mathit{e}}^{\mathrm{R}})=\omega i{n}_i^Y\frac{n_E^Z}{n_E^X+n_E^Y+n_E^Z-1}.\end{array}$$

For $i=0,1,\dots$,

• (vii)
  type-i infective recovers

  $$\begin{array}{c}\hfill q^N(\mathit{n},\mathit{n}-{\mathit{e}}_i^{\mathrm{I}}+i{\mathit{e}}^{\mathrm{R}})=\gamma n_i^Y.\end{array}$$

Remark 3.1

(Comments on the intensities) Note that although the above intensities are all independent of N, we index them by N since that is required so that $\{{\mathit{W}}^N(t)\}$ is a density dependent population process, see (3.6) and (3.7) below. Note also that the intensities in (ii) and (iv) above need to be modified slightly if $i=j$ to include the possibility that an infective ‘infects’ or ‘warns’ itself. For example, the intensity for a type-i infective ‘infecting’ itself is given by $q^N(\mathit{n},\mathit{n}-{\mathit{e}}_i^{\mathrm{I}}+{\mathit{e}}_{i-2}^{\mathrm{I}})=\beta i(i-1)n_i^Y/(n_E^X+n_E^Y+n_E^Z-1)$, so this should be subtracted from the intensity in (ii) when $j=i$ and included instead in a new transition, (ii’) say. It is easily verified that that $q^N(\mathit{n},\mathit{n}-{\mathit{e}}_i^{\mathrm{I}}+{\mathit{e}}_{i-2}^{\mathrm{I}})=O(1)$ as $N\to \infty$, so the modifications may be absorbed into the O(1 / N) term in (3.6) below and ignoring such transitions does not affect the LLNs and CLTs in the paper.

We now introduce notation for the jumps of $\{{\mathit{W}}^N(t)\}$. Note that the transitions in (ii) and (iv) above are identical, as are the transitions in (v) and (vi), so there are five types of jumps. For $i,j=1,2,\dots$, let

$$\begin{array}{cc}\hfill {\mathit{l}}_{\mathit{ij}}^{(1)}=& -{\mathit{e}}_i^{\mathrm{I}}+{\mathit{e}}_{i-1}^{\mathrm{I}}-{\mathit{e}}_j^{\mathrm{S}}+{\mathit{e}}_{j-1}^{\mathrm{I}},\hfill \end{array}$$ 3.1

$$\begin{array}{cc}\hfill {\mathit{l}}_{\mathit{ij}}^{(2)}=& -{\mathit{e}}_i^{\mathrm{I}}+{\mathit{e}}_{i-1}^{\mathrm{I}}-{\mathit{e}}_j^{\mathrm{I}}+{\mathit{e}}_{j-1}^{\mathrm{I}},\hfill \end{array}$$ 3.2

$$\begin{array}{cc}\hfill {\mathit{l}}_{\mathit{ij}}^{(3)}=& -{\mathit{e}}_i^{\mathrm{I}}+{\mathit{e}}_{i-1}^{\mathrm{I}}-{\mathit{e}}_j^{\mathrm{S}}+{\mathit{e}}_{j-1}^{\mathrm{S}},\hfill \end{array}$$ 3.3

for $i=1,2,\dots$, let

$$\begin{array}{cc}\hfill {\mathit{l}}_i^{(4)}=& -{\mathit{e}}_i^{\mathrm{I}}+{\mathit{e}}_{i-1}^{\mathrm{I}}-{\mathit{e}}^{\mathrm{R}},\hfill \end{array}$$ 3.4

and, for $i=0,1,\dots$, let

$$\begin{array}{cc}\hfill {\mathit{l}}_i^{(5)}=& -{\mathit{e}}_i^{\mathrm{I}}+i{\mathit{e}}^{\mathrm{R}}.\hfill \end{array}$$ 3.5

Then, excluding self-infection and self-warning (see Remark 3.1), the set of possible jumps of $\{{\mathit{W}}^N(t)\}$ from a typical state $\mathit{n}\in H$ is $\Delta ={\cup }_{k=1}^5{\Delta }_k$, where

$$\begin{array}{cc}\hfill {\Delta }_k=& \left\{{\mathit{l}}_{\mathit{ij}}^{(k)},:,i,,,j,=,1,,,2,,,\dots \right\}(k=1,2,3),{\Delta }_4=\left\{{\mathit{l}}_i^{(4)},:,i,=,1,,,2,,,\dots \right\}\hfill \\ \hfill & \text{and}{\Delta }_5=\left\{{\mathit{l}}_i^{(5)},:,i,=,0,,,1,,,\dots \right\}.\hfill \end{array}$$

Let $\mathit{x}=(x_0,x_1,\dots )$ and $\mathit{y}=(y_0,y_1,\dots )\in {\mathbb{R}}_{+}^{\infty }$, $z_E\in {\mathbb{R}}_{+}$ and $\mathit{w}=(\mathit{x},\mathit{y},z_E)$. Further, let $x_E={\sum }_{i=1}^{\infty }i{x}_i$, $y_E={\sum }_{i=1}^{\infty }i{y}_i$ and ${\eta }_E=x_E+y_E+z_E$. For $\epsilon >0$, let $H_{\epsilon }^N=\{\mathit{n}\in H:{\sum }_{i=1}^{\infty }i{n}_i^X\ge \epsilon N\}$. For any $\epsilon >0$, the intensities of the jumps of $\{{\mathit{W}}^N(t)\}$ admit the form

$$\begin{array}{c}\hfill q^N(\mathit{n},\mathit{n}+\mathit{l})=N\left[{\beta }_{\mathit{l}},(N^{-1}\mathit{n}),+,O,(1/N)\right](\mathit{n}\in H_{\epsilon }^N,\mathit{l}\in \Delta ),\end{array}$$ 3.6

with the functions ${\beta }_{\mathit{l}}$$(\mathit{l}\in \Delta )$ given by

$$\begin{array}{c}\hfill {\beta }_{\mathit{l}}(\mathit{w})={\beta }_{\mathit{l}}(\mathit{x},\mathit{y},z_E)=\left\{\begin{array}{cc}{\beta }_{\mathit{ij}}^{(1)}(\mathit{x},\mathit{y},z_E)=\frac{\beta i{y}_{i}j{x}_j}{{\eta }_E}\hfill & \text{for}\mathit{l}={\mathit{l}}_{\mathit{ij}}^{(1)}\in {\Delta }_1,\hfill \\ {\beta }_{\mathit{ij}}^{(2)}(\mathit{x},\mathit{y},z_E)=\frac{(\beta +\omega )i{y}_{i}j{y}_j}{{\eta }_E}\hfill & \text{for}\mathit{l}={\mathit{l}}_{\mathit{ij}}^{(2)}\in {\Delta }_2,\hfill \\ {\beta }_{\mathit{ij}}^{(3)}(\mathit{x},\mathit{y},z_E)=\frac{\omega i{y}_{i}j{x}_j}{{\eta }_E}\hfill & \text{for}\mathit{l}={\mathit{l}}_{\mathit{ij}}^{(3)}\in {\Delta }_3,\hfill \\ {\beta }_i^{(4)}(\mathit{x},\mathit{y},z_E)=\frac{(\beta +\omega )i{y}_i{z}_E}{{\eta }_E}\hfill & \text{for}\mathit{l}={\mathit{l}}_i^{(4)}\in {\Delta }_4,\hfill \\ {\beta }_i^{(5)}(\mathit{x},\mathit{y},z_E)=\gamma y_i\hfill & \text{for}\mathit{l}={\mathit{l}}_i^{(5)}\in {\Delta }_5.\hfill \end{array}\right)\end{array}$$ 3.7

Remark 3.2

(Applying the theory of Ethier and Kurtz) The theory of density dependent population processes in Ethier and Kurtz (1986), Chapter 11, is for a class of continuous-time Markov chains whose state space is a subset of ${\mathbb{Z}}^d$ for some $d\in \mathbb{N}$. Thus to use this theory we need to assume that there is a maximum degree, i.e. that $d_{max}<\infty$, where $d_{max}=sup\{k\ge 0:p_k>0\}$. Then, for any $\epsilon >0$, provided the sample paths of $\{{\mathit{W}}^N(t)\}$ remain within $H_{\epsilon }^N$, $\{{\mathit{W}}^N(t)\}$ is a density dependent population process; see Appendix B for details. We conjecture that our results continue to hold when the condition $d_{max}<\infty$ is relaxed, provided suitable conditions are imposed on (i) the distribution of D and (ii), for epidemics on MR random graphs, the convergence of the empirical distribution of prescribed degrees.

The key theorems in Ethier and Kurtz (1986), Chapter 11, have their origin in Kurtz (1970, 1971). However, the proofs in Ethier and Kurtz (1986) are different from those in the earlier papers and the LLN is stronger in that it concerns almost sure convergence rather than convergence in probability. In Ethier and Kurtz (1986), the processes corresponding to $\{{\mathit{W}}^N(t)\}$$(N=1,2,\dots )$ are defined on the same probability space by using a single set of independent unit-rate Poisson processes indexed by the possible jumps $\mathit{l}$.

A LLN and a functional CLT for density dependent population processes having countable state space are proved in Barbour and Luczak (2012a, b). They do not apply immediately to $\{{\mathit{W}}^N(t)\}$ as the jumps of $\{Z_E^N(t)\}$ are unbounded, though that can be overcome by replacing $\{Z_E^N(t)\}$ by $\{(Z_0^N(t),Z_1^N(t),\dots )\}$, where $Z_i^N(t)$ is the number of recovered individuals having effective degree i at time t. We do not consider here sufficient conditions for the theorems in Barbour and Luczak (2012a, b) to be satisfied in the present setting, since $d_{max}<\infty$ is satisfied for real-life epidemics. We note that LLNs for the Markov SIR epidemic ($\omega =0$) on an MR random graph with unbounded degree are given in Decreusefond et al. (2012) and Janson et al. (2014), and a functional CLT for the Markov SI epidemic ($\omega =\gamma =0$) on an MR random graph with unbounded degree is given in KhudaBukhsh et al. (2017). It seems likely that similar techniques used in the first two of those papers will apply to the present model. LLNs for the Markov SIR epidemic ($\omega =0$) on an MR random graph with bounded degree are given in Bohman and Picollelli (2012) and Barbour and Reinert (2013), the latter for epidemics started by a trace of infection. Indeed our model (assuming bounded degrees) fits into the framework of Barbour and Reinert (2013), Sect 3.2.

Following Ethier and Kurtz (1986), define the drift function $F(\mathit{w})=F(\mathit{x},\mathit{y},z_E)$ by

$$\begin{array}{c}\hfill F(\mathit{x},\mathit{y},z_E)=\sum _{\mathit{l}\in \Delta }\mathit{l}{\beta }_{\mathit{l}}(\mathit{x},\mathit{y},z_E).\end{array}$$

Substituting from (3.7) yields (see Appendix A for details)

$$\begin{array}{cc}\hfill F(\mathit{x},\mathit{y},z_E)=& \sum _{i=0}^{\infty }\left[-,\beta ,i,x_i,+,\omega ,(-i{x}_i+(i+1)x_{i+1})\right]\frac{y_E}{{\eta }_E}{\mathit{e}}_i^{\mathrm{S}}\hfill \\ \hfill & +\sum _{i=0}^{\infty }\left[(\beta +\omega ),(-i{y}_i+(i+1)y_{i+1}),\left(1,+,\frac{y_E}{{\eta }_E}\right)\right)\hfill \\ \hfill & \left(+,,\beta ,(i+1),x_{i+1},\frac{y_E}{{\eta }_E},-,\gamma ,y_i\right]{\mathit{e}}_i^{\mathrm{I}}\hfill \\ \hfill & +\left[\gamma ,y_E,-,(\beta +\omega ),\frac{y_E{z}_E}{{\eta }_E}\right]{\mathit{e}}^{\mathrm{R}}.\hfill \end{array}$$ 3.8

Consider a sequence of epidemics indexed by N, each having $Z_E^N(0)=0$. Suppose that $N^{-1}{Y}_i^N(0)\stackrel{\mathrm{a}.\mathrm{s}.}{⟶}{\epsilon }_i$ and $N^{-1}{X}_i^N(0)\stackrel{\mathrm{a}.\mathrm{s}.}{⟶}{p}_i-{\epsilon }_i$ as $N\to \infty$, where ${\epsilon }_E={\sum }_{i=1}^{\infty }i{\epsilon }_i>0$ and $\stackrel{\mathrm{a}.\mathrm{s}.}{⟶}$ denotes almost sure convergence. Note that for epidemics on NSW random graphs ${\mathit{X}}^N(0)$ is random and, depending on how the initial infectives are chosen, ${\mathit{Y}}^N(0)$ may also be random. The above almost sure convergence is reasonable for such epidemics since in an NSW random graph, the fraction of vertices of any given degree satisfies the strong law of large numbers. For epidemics on MR random graphs it is often more natural for $({\mathit{X}}^N(0),{\mathit{Y}}^N(0))$ to be non-random, in which case $N^{-1}{Y}_i^N(0)\to {\epsilon }_i$ and $N^{-1}{X}_i^N(0)\to p_i-{\epsilon }_i$ as $N\to \infty$. Let $\mathit{x}(0)=(p_0-{\epsilon }_0,p_1-{\epsilon }_1,\dots )$ and $\mathit{y}(0)=({\epsilon }_0,{\epsilon }_1,\dots )$. The following result holds for epidemics on both MR and NSW random graphs.

Theorem 3.1

(LLN for epidemic on network with dropping)

Suppose that $d_{max}<\infty$ and ${\epsilon }_E>0$. Then, for any $T>0$,

$$\begin{array}{c}\hfill \underset{N\to \infty }{lim}\underset{0\le t\le T}{sup}|N^{-1}{\mathit{W}}^N(t)-\mathit{w}(t)|=0\text{almost}\text{surely},\end{array}$$

where $\mathit{w}(t)=(\mathit{x}(t),\mathit{y}(t),z_E(t))$ is given by the solution of the following system of ordinary differential equations (ODEs) with initial condition $\mathit{w}(0)=(\mathit{x}(0),\mathit{y}(0),0)$:

$$\begin{array}{cc}\hfill {\displaystyle \frac{d{x}_i}{\mathit{dt}}}& =-\beta {\rho }_E(t)i{x}_i+\omega {\rho }_E(t)(-i{x}_i+(i+1)x_{i+1})(i=0,1,\dots ),\hfill \end{array}$$ 3.9

$$\begin{array}{cc}\hfill {\displaystyle \frac{d{y}_i}{\mathit{dt}}}& =(\beta +\omega )((i+1)y_{i+1}-i{y}_i)-\gamma y_i+(\beta +\omega ){\rho }_E(t)[(i+1)y_{i+1}-i{y}_i]\hfill \\ \hfill & +\beta {\rho }_E(t)(i+1)x_{i+1}(i=0,1,\dots ),\hfill \end{array}$$ 3.10

$$\begin{array}{cc}\hfill {\displaystyle \frac{d{z}_E}{\mathit{dt}}}& =\gamma y_E(t)-(\beta +\omega ){\rho }_E(t)z_E,\hfill \end{array}$$ 3.11

where

$$\begin{array}{c}\hfill {\rho }_E(t)=y_E(t)/{\eta }_E(t)\end{array}$$ 3.12

and ${\eta }_E(t)=x_E(t)+y_E(t)+z_E(t)$.

Proof

See Appendix B. $\square$

Remark 3.3

(Solving the ODEs (3.9)–(3.11)) The solution of the system of ODEs (3.9)–(3.11) is considered in Sect. 5. Note that under the conditions of Theorem 3.1 the system of ODEs (3.9)–(3.11) is finite, so existence and uniqueness of a solution follow from standard results. We do not consider existence and uniqueness of solutions to ODEs (3.9)–(3.11) when the degrees are unbounded but acknowledge that further justification and some regularity conditions will be required. A similar comment applies to the time-transformed system of ODEs (4.3)–(4.5) in Sect. 4.

For the epidemic on an MR random graph, a functional CLT for the fluctuations of $\{{\mathit{W}}^N(t)\}$ about its deterministic limit $\{\mathit{w}(t)\}$ is also available using Ethier and Kurtz (1986), Theorem 11.2.3, as we formulate in Theorem 3.2. See Sect. 7 for discussion of a corresponding CLT for the epidemic on an NSW random graph.

Write $\mathit{w}$ as $(w_1,w_2,\dots )$ and let $\partial F(\mathit{w})=[{\partial }_j{F}_i(\mathit{w})]$ denote the matrix of first partial derivatives of $F(\mathit{w})$. For $0\le u\le t<\infty$, let $\Phi (t,u)$ be the solution of the matrix ODE

$$\begin{array}{c}\hfill {\displaystyle \frac{\partial }{\partial t}}\Phi (t,u)=\partial F(\mathit{w}(t))\Phi (t,u),\Phi (u,u)=I,\end{array}$$ 3.13

where I denotes the identity matrix of appropriate dimension. Let

$$\begin{array}{c}\hfill G(\mathit{w})=\sum _{\mathit{l}\in \Delta }{\mathit{l}}^{\top }\mathit{l}{\beta }_{\mathit{l}}(\mathit{w}),\end{array}$$

where ${}^{\top }$ denotes transpose. Note that $\partial F(\mathit{w}(t))$ is the coefficient matrix of the time-inhomogeneous linear drift of the limiting Gaussian process $\{\mathit{V}(t)\}$ in Theorem 3.2 below and $\Phi (t,u)$ enables a representation of $\{\mathit{V}(t)\}$ in terms of an Itô integral with respect to a time-inhomogeneous Brownian motion; see (7.1) in Sect. 7.

Theorem 3.2

(Functional CLT for epidemic on MR graph with dropping)

Suppose that $d_{max}<\infty ,{\epsilon }_E>0$ and, for $i=0,1,\dots ,d_{max}$,

$$\begin{array}{c}\hfill \underset{N\to \infty }{lim}\sqrt{N}\left(N^{-1},Y_i^N,(0),-,{\epsilon }_i\right)=v_i^Y\text{and}\underset{N\to \infty }{lim}\sqrt{N}\left(N^{-1},X_i^N,(0),-,p_i,-,{\epsilon }_i\right)=v_i^X,\end{array}$$ 3.14

where $\mathit{v}=(v_0^X,v_1^X,\dots ,v_{d_{max}}^X,v_0^Y,v_1^Y,\dots ,v_{d_{max}}^Y,0)$ is constant. Then

$$\begin{array}{c}\hfill \sqrt{N}\left(\{N^{-1}{\mathit{W}}^N(t)\},-,\{\mathit{w}(t)\}\right)\Rightarrow \{\mathit{V}(t)\}\text{as}N\to \infty ,\end{array}$$ 3.15

where $\Rightarrow$ denotes weak convergence and $\{\mathit{V}(t)\}=\{\mathit{V}(t):t\ge 0\}$ is a zero-mean Gaussian process with $\mathit{V}(0)=\mathit{v}$ and covariance function given by

$$\begin{array}{c}\hfill \mathrm{cov}\left(\mathit{V},(t_1),,,\mathit{V},(t_2)\right)={\int }_0^{min(t_1,t_2)}\Phi (t_1,u)G(\mathit{w}(u))\Phi {(t_2,u)}^{\top }\mathrm{d}u(t_1,t_2\ge 0).\end{array}$$

Proof

See Appendix B, where a complete definition of $\Rightarrow$ is given. $\square$

Remark 3.4

(Computing the asymptotic variance) Theorem 3.2 yields immediately that

$$\begin{array}{c}\hfill \Sigma (t)=\mathrm{var}\left(\mathit{V},(,t,)\right)={\int }_0^t\Phi (t,u)G(\mathit{w}(u))\Phi {(t,u)}^{\top }\mathrm{d}u.\end{array}$$ 3.16

It follows from (3.13) and (3.16) that $\Sigma (t)$ satisfies the ODE

$$\begin{array}{c}\hfill {\displaystyle \frac{d\Sigma }{\mathit{dt}}}=G(\mathit{w})+\partial F(\mathit{w})\Sigma +\Sigma {[\partial F(\mathit{w})]}^{\top },\end{array}$$ 3.17

with initial condition $\Sigma (0)=0$. Thus, provided $d_{max}<\infty$, $\Sigma (t)$ can be computed by numerically solving the ODEs (3.9)–(3.11) and (3.17) simultaneously.

Final outcome of epidemic on MR random graph

We conjecture a CLT for the final outcome of the epidemic with preventive dropping on an MR random graph (see Conjecture 4.1). In order to do so, we consider a random time-transformation of the real-time process.

For $t\ge 0$, let $X_E^N(t)={\sum }_{i=1}^{\infty }i{X}_i^N(t)$ and $Y_E^N(t)={\sum }_{i=1}^{\infty }i{Y}_i^N(t)$ be respectively the numbers of susceptible and infectious stubs at time t. Let ${\tau }^N=inf\{t\ge 0:Y_E^N(t)=0\}$, so the final number of susceptibles of different types is given by ${\mathit{X}}^N({\tau }^N)$. For $\delta \ge 0$, let ${\tau }_{\delta }^N=inf\{t\ge 0:N^{-1}{Y}_E^N(t)\le \delta \}$, so ${\tau }^N={\tau }_0^N$. Recall the definition of ${\epsilon }_E$ following (3.8). For $\delta \in (0,{\epsilon }_E)$, we derive a CLT for ${\mathit{W}}^N({\tau }_{\delta }^N)$; see Proposition 4.1. Assuming that Proposition 4.1 holds also when $\delta =0$ leads immediately to a CLT (Conjecture 4.1) for $X^N({\tau }^N)={\sum }_{i=0}^{\infty }{X}_i^N({\tau }^N)$, and hence for the total number of individuals that are ultimately infected by the epidemic, since the latter is given by $N-{\sum }_{i=0}^{\infty }{X}_i^N({\tau }^N)$. A key step in deriving these CLTs is to consider the following random time-scale transformation of $\{{\mathit{W}}^N(t)\}$; cf. Ethier and Kurtz (1986), page 467, and Janson et al. (2014), Section 3, where similar transformations are used to derive a CLT for the final size of the so-called general stochastic epidemic and a LLN for the Markovian SIR epidemic on an MR random graph, respectively.

For $t\in [0,{\tau }^N]$, let

$$\begin{array}{c}\hfill A^N(t)={\int }_0^t\frac{Y_E^N(u)}{X_E^N(u)+Y_E^N(u)+Z_E^N(u)}\mathrm{d}u,\end{array}$$

and let ${\tilde{\tau }}^N=A^N({\tau }^N)$. For $0\le t\le {\tilde{\tau }}^N$, let $U^N(t)=inf\{u\ge 0:A^N(u)=t\}$ and

$$\begin{array}{c}\hfill {\tilde{\mathit{W}}}^N(t)=({\tilde{\mathit{X}}}^N(t),{\tilde{\mathit{Y}}}^N(t),{\tilde{Z}}_E^N(t))={\mathit{W}}^N\left(U^N,(t)\right).\end{array}$$

Then $\{{\tilde{\mathit{W}}}^N(t)\}=\{{\tilde{\mathit{W}}}^N(t):0\le t\le {\tilde{\tau }}^N\}$ is also a density dependent population process, having the same set $\Delta$ of jumps as $\{{\mathit{W}}^N(t)\}$, and intensity functions ${\tilde{\beta }}_{\mathit{l}}$$(\mathit{l}\in \Delta )$ given by

$$\begin{array}{c}\hfill {\tilde{\beta }}_{\mathit{l}}(\mathit{w})={\tilde{\beta }}_{\mathit{l}}(\mathit{x},\mathit{y},z_E)=\left\{\begin{array}{cc}{\tilde{\beta }}_{\mathit{ij}}^{(1)}(\mathit{x},\mathit{y},z_E)=\frac{\beta i{y}_{i}j{x}_j}{y_E}\hfill & \text{for}\mathit{l}={\mathit{l}}_{\mathit{ij}}^{(1)}\in {\Delta }_1,\hfill \\ {\tilde{\beta }}_{\mathit{ij}}^{(2)}(\mathit{x},\mathit{y},z_E)=\frac{(\beta +\omega )i{y}_{i}j{y}_j}{y_E}\hfill & \text{for}\mathit{l}={\mathit{l}}_{\mathit{ij}}^{(2)}\in {\Delta }_2,\hfill \\ {\tilde{\beta }}_{\mathit{ij}}^{(3)}(\mathit{x},\mathit{y},z_E)=\frac{\omega i{y}_{i}j{x}_j}{y_E}\hfill & \text{for}\mathit{l}={\mathit{l}}_{\mathit{ij}}^{(3)}\in {\Delta }_3,\hfill \\ {\tilde{\beta }}_i^{(4)}(\mathit{x},\mathit{y},z_E)=\frac{(\beta +\omega )i{y}_i{z}_E}{y_E}\hfill & \text{for}\mathit{l}={\mathit{l}}_i^{(4)}\in {\Delta }_4,\hfill \\ {\tilde{\beta }}_i^{(5)}(\mathit{x},\mathit{y},z_E)=\gamma y_i\frac{{\eta }_E}{y_E}\hfill & \text{for}\mathit{l}={\mathit{l}}_i^{(5)}\in {\Delta }_5.\hfill \end{array}\right)\end{array}$$ 4.1

Note that when $\{{\mathit{W}}^N(t)\}$ is in state $\mathit{n}=(n_0^X,n_1^X,\dots ,n_0^Y,n_1^Y,\dots ,n_E^Z)$, the clock in $\{{\tilde{\mathit{W}}}^N(t)\}$ runs at rate $(n_E^X+n_E^Y+n_E^Z)/n_E^Y$ times faster than the clock in $\{{\mathit{W}}^N(t)\}$, so the intensities in (4.1) are obtained by multiplying the corresponding intensities in (3.7) by ${\eta }_E/y_E$. The drift function associated with $\{{\tilde{\mathit{W}}}^N(t)\}$ is (cf. (3.8))

$$\begin{array}{cc}\hfill \tilde{F}(\mathit{x},\mathit{y},z_E)=& \sum _{i=0}^{\infty }\left[-,\beta ,i,x_i,+,\omega ,(-i{x}_i+(i+1)x_{i+1})\right]{\mathit{e}}_i^{\mathrm{S}}\hfill \\ \hfill & +\sum _{i=0}^{\infty }\left[(\beta +\omega ),(-i{y}_i+(i+1)y_{i+1}),\left(1,+,\frac{{\eta }_E}{y_E}\right)\right)\hfill \\ \hfill & \left(+,\beta ,(i+1),x_{i+1},-,\gamma ,y_i,\frac{{\eta }_E}{y_E}\right]{\mathit{e}}_i^{\mathrm{I}}\hfill \\ \hfill & +\left[\gamma ,{\eta }_E,-,(\beta +\omega ),z_E\right]{\mathit{e}}^{\mathrm{R}}.\hfill \end{array}$$ 4.2

Let $\{\tilde{\mathit{w}}(t):t\ge 0\}=\{(\tilde{\mathit{x}}(t),\tilde{\mathit{y}}(t),{\tilde{z}}_E(t)):t\ge 0\}$ be the solution of the following system of ODEs, with initial condition $\tilde{\mathit{w}}(0)=(\mathit{x}(0),\mathit{y}(0),0)$:

$$\begin{array}{cc}\hfill {\displaystyle \frac{d{\tilde{x}}_i}{\mathit{dt}}}=& -\beta i{\tilde{x}}_i+\omega [-i{\tilde{x}}_i+(i+1){\tilde{x}}_{i+1}],\hfill \end{array}$$ 4.3

$$\begin{array}{cc}\hfill {\displaystyle \frac{d{\tilde{y}}_i}{\mathit{dt}}}=& \left\{(\beta +\omega ),[(i+1){\tilde{y}}_{i+1}-i{\tilde{y}}_i],-,\gamma ,{\tilde{y}}_i\right\}\frac{1}{{\tilde{\rho }}_E(t)}\hfill \\ \hfill & +(\beta +\omega )[(i+1){\tilde{y}}_{i+1}-i{\tilde{y}}_i]+\beta (i+1){\tilde{x}}_{i+1},\hfill \end{array}$$ 4.4

$$\begin{array}{cc}\hfill {\displaystyle \frac{d{\tilde{z}}_E}{\mathit{dt}}}=& \gamma {\tilde{\eta }}_E(t)-(\beta +\omega ){\tilde{z}}_E,\hfill \end{array}$$ 4.5

where $i=0,1,\dots$ and ${\tilde{\rho }}_E(t)={\tilde{y}}_E(t)/{\tilde{\eta }}_E(t)$, ${\tilde{\eta }}_E(t)={\tilde{x}}_E(t)+{\tilde{y}}_E(t)+{\tilde{z}}_E(t)$ with ${\tilde{x}}_E(t)={\sum }_{i=1}^{\infty }i{\tilde{x}}_i(t)$ and ${\tilde{y}}_E(t)={\sum }_{i=1}^{\infty }i{\tilde{y}}_i(t)$. The solution of this system is considered in Sect. 5.1.1. Let $\tilde{\tau }=inf\{t\ge 0:{\tilde{y}}_E(t)=0\}$. It is shown in Appendix C that $\tilde{\tau }<\infty$, i.e. the duration of the limiting time-changed deterministic epidemic is finite, unless $\gamma =\omega =p_1-{\epsilon }_1=0$.

We consider the same sequence of epidemics as for Proposition 3.1 in Sect. 3. Again, using Ethier and Kurtz (1986), Theorem 11.2.1, as $N\to \infty$, $\{N^{-1}{\tilde{\mathit{W}}}^N(t)\}$ converges almost surely over any finite time interval $[0,t_0]$, with $t_0<\tilde{\tau }$, to $\{\tilde{\mathit{w}}(t)\}=\{\tilde{\mathit{w}}(t):0\le t\le \tilde{\tau }\}$ (see Appendix B for further details of this and of the functional CLT given at (4.6)). Suppose further that the initial conditions satisfy (3.14) and $d_{max}<\infty$. Then it follows using Ethier and Kurtz (1986), Theorem 11.2.3, that, for any $t_0\in [0,\tilde{\tau })$,

$$\begin{array}{c}\hfill \sqrt{N}\left(\{N^{-1}{\tilde{\mathit{W}}}^N(t):0\le t\le t_0\},-,\{\tilde{\mathit{w}}(t):0\le t\le t_0\}\right)\Rightarrow \{\tilde{\mathit{V}}(t)\}\text{as}N\to \infty ,\end{array}$$ 4.6

where $\{\tilde{\mathit{V}}(t):0\le t\le t_0\}$ is a zero-mean Gaussian process with $\tilde{\mathit{V}}(0)=\mathbf{0}$ and variance given by

$$\begin{array}{c}\hfill {\tilde{\Sigma }}_{\mathrm{MR}}(t)=\mathrm{var}\left(\tilde{\mathit{V}},(t)\right)={\int }_0^t\tilde{\Phi }(t,s)\tilde{G}(\tilde{\mathit{w}}(u))\tilde{\Phi }{(t,s)}^{\top }\mathrm{d}s,\end{array}$$ 4.7

where

$$\begin{array}{c}\hfill \tilde{G}(\tilde{\mathit{w}}(u))=\sum _{\mathit{l}\in \Delta }{\mathit{l}}^{\top }\mathit{l}{\tilde{\beta }}_{\mathit{l}}(\tilde{\mathit{w}}(u))\end{array}$$ 4.8

and, for $0\le s\le t<\infty$, $\tilde{\Phi }(t,s)$ is the solution of the matrix ODE

$$\begin{array}{c}\hfill {\displaystyle \frac{\partial }{\partial t}}\tilde{\Phi }(t,u)=\partial \tilde{F}(\tilde{\mathit{w}}(t))\tilde{\Phi }(t,u),\tilde{\Phi }(u,u)=I.\end{array}$$ 4.9

For $t\ge 0$, let ${\tilde{Y}}_E^N(t)={\sum }_{i=1}^{\infty }i{\tilde{Y}}_i^N(t)$. Further, for $\delta \ge 0$, let

$$\begin{array}{c}\hfill {\tilde{\tau }}_{\delta }^N=inf\{t\ge 0:N^{-1}{\tilde{Y}}_E^N(t)\le \delta \}\text{and}{\tilde{\tau }}_{\delta }=inf\{t\ge 0:{\tilde{y}}_E(t)=\delta \},\end{array}$$ 4.10

so both ${\tilde{\tau }}_{\delta }^N$ and ${\tilde{\tau }}_{\delta }$ are decreasing with $\delta$, ${\tilde{\tau }}_0^N={\tilde{\tau }}^N$ and ${\tilde{\tau }}_0=\tilde{\tau }$. We show in Appendix C that ${\tilde{\tau }}_{\delta }<\infty$; it is clearly finite if $\tilde{\tau }<\infty$. Let $\phi (\tilde{\mathit{w}})=\phi (\tilde{\mathit{x}},\tilde{\mathit{y}},{\tilde{z}}_E)={\sum }_{i=1}^{\infty }i{\tilde{y}}_i$$(={\tilde{y}}_E)$, so

$$\begin{array}{c}\hfill {\tilde{\tau }}_{\delta }^N=inf\left\{t,\ge ,0,:,\phi ,\left(N^{-1},{\tilde{\mathit{W}}}^N,(t)\right),\le ,\delta \right\}\text{and}{\tilde{\tau }}_{\delta }=inf\{t\ge 0:\phi (\tilde{\mathit{w}}(t))=\delta \}.\end{array}$$

For fixed $\delta \in (0,y_E(0))$, application of Ethier and Kurtz (1986), Theorem 11.4.2, yields

$$\begin{array}{cc}\hfill \sqrt{N}\left(N^{-1},{\tilde{\mathit{W}}}^N,({\tilde{\tau }}_{\delta }^N),-,\tilde{\mathit{w}},({\tilde{\tau }}_{\delta })\right)\stackrel{\mathrm{D}}{⟶}\tilde{\mathit{V}}({\tilde{\tau }}_{\delta })-& \frac{\mathrm{\nabla }\phi (\tilde{\mathit{w}}({\tilde{\tau }}_{\delta }))·\tilde{\mathit{V}}({\tilde{\tau }}_{\delta })}{\mathrm{\nabla }\phi (\tilde{\mathit{w}}({\tilde{\tau }}_{\delta }))·\tilde{F}(\tilde{\mathit{w}}({\tilde{\tau }}_{\delta }))}\tilde{F}(\tilde{\mathit{w}}({\tilde{\tau }}_{\delta }))\hfill \\ \hfill & \text{as}N\to \infty ,\hfill \end{array}$$ 4.11

where $·$ denotes inner vector product and $\stackrel{\mathrm{D}}{⟶}$ denotes convergence in distribution. This result requires that

$$\begin{array}{c}\hfill \mathrm{\nabla }\phi (\tilde{\mathit{w}}({\tilde{\tau }}_{\delta }))·\tilde{F}(\tilde{\mathit{w}}({\tilde{\tau }}_{\delta }))<0,\end{array}$$ 4.12

which we show in Appendix C. Condition (4.12) ensures that ${\tilde{\tau }}_{\delta }$ is a proper crossing time. Note that

$$\begin{array}{c}\hfill \tilde{\mathit{V}}({\tilde{\tau }}_{\delta })-\frac{\mathrm{\nabla }\phi (\tilde{\mathit{w}}({\tilde{\tau }}_{\delta }))·\tilde{\mathit{V}}({\tilde{\tau }}_{\delta })}{\mathrm{\nabla }\phi (\tilde{\mathit{w}}({\tilde{\tau }}_{\delta }))·\tilde{F}(\tilde{\mathit{w}}({\tilde{\tau }}_{\delta }))}\tilde{F}(\tilde{\mathit{w}}({\tilde{\tau }}_{\delta }))=\tilde{\mathit{V}}({\tilde{\tau }}_{\delta })B_{\delta }^{\top },\end{array}$$

where

$$\begin{array}{c}\hfill B_{\delta }=I-\frac{\tilde{F}(\tilde{\mathit{w}}({\tilde{\tau }}_{\delta }))⨂\mathrm{\nabla }\phi (\tilde{\mathit{w}}({\tilde{\tau }}_{\delta }))}{\mathrm{\nabla }\phi (\tilde{\mathit{w}}({\tilde{\tau }}_{\delta }))·\tilde{F}(\tilde{\mathit{w}}({\tilde{\tau }}_{\delta }))}\end{array}$$ 4.13

and $⨂$ denotes outer vector product.

The following proposition follows immediately from (4.11) on noting that ${\mathit{W}}^N({\tau }_{\delta }^N)={\tilde{\mathit{W}}}^N({\tilde{\tau }}_{\delta }^N)$ and $\mathit{w}({\tau }_{\delta })=\tilde{\mathit{w}}({\tilde{\tau }}_{\delta })$, where ${\tau }_{\delta }=inf\{t\ge 0:y_E(t)=\delta \}$.

Proposition 4.1

(CLT for ‘final’ outcome of epidemic on MR graph with dropping) Suppose that $d_{max}<\infty ,{\epsilon }_E>0,\delta \in (0,y_E(0))$ and (3.14) is satisfied. Then

$$\begin{array}{c}\hfill \sqrt{N}\left(N^{-1},{\mathit{W}}^N,({\tau }_{\delta }^N),-,\mathit{w},({\tau }_{\delta })\right)\stackrel{\mathrm{D}}{⟶}N\left(\mathbf{0},,,{\Sigma }_{\mathrm{MR},\delta }\right)\text{as}N\to \infty ,\end{array}$$ 4.14

where

$$\begin{array}{c}\hfill {\Sigma }_{\mathrm{MR},\delta }=B_{\delta }{\tilde{\Sigma }}_{\mathrm{MR}}({\tilde{\tau }}_{\delta })B_{\delta }^{\top }\end{array}$$

and $N\left(\mathbf{0},,,{\Sigma }_{\mathrm{MR},\delta }\right)$ denotes a multivariate normal distribution (of appropriate dimension) with mean vector $\mathbf{0}$ and variance–covariance matrix ${\Sigma }_{\mathrm{MR},\delta }$.

Remark 4.1

(Extending Proposition 4.1to$\delta =0$) We are primarily interested in the case when $\delta =0$. The difficulty in extending Proposition 4.1 to include $\delta =0$ is that to apply Ethier and Kurtz (1986), Theorem 11.4.2, we need the weak convergence at (4.6) to hold for some $t_0>\tilde{\tau }$. Thus we need to extend the process $\{{\tilde{\mathit{W}}}^N(t)\}$ so that it is defined beyond time ${\tilde{\tau }}^N$. Now ${\tilde{y}}_E(t)<0$ for $t>\tilde{\tau }$ (see (5.11) in Sect. 5.1.1), so we need to extend the state space of $\{{\tilde{\mathit{W}}}^N(t)\}$ so that ${\tilde{Y}}_i^N(t)$$(i=0,1,\dots ,d_{max})$ can be negative. However, this cannot be done so that the conditions of the LLN and CLT theorems in Ethier and Kurtz (1986) are satisified. In particular, in any neighbourhood of $\{\mathit{w}:y_E=0\}$, the intensity functions ${\tilde{\beta }}_{\mathit{l}}$$(\mathit{l}\in \Delta )$ are not bounded and the drift function $\tilde{F}$ is not Lipschitz continuous.

In work done while this paper was under review, the first author has found a way of overcoming this problem; see Ball (2018) which is in the setting of an SIR epidemic (without dropping of edges) with an arbitrary but specified infectious period distribution on configuration model networks. The theorems proved in Ball (2018) provide further (very strong) support for Conjecture 4.1 below, which assumes that Proposition 4.1 extends in the obvious way to include $\delta =0$, and for subsequent conjectures which are contingent on Conjecture 4.1. Note that the final outcome of the epidemic is given by ${\tilde{\mathit{W}}}^N({\tilde{\tau }}^N)$ and the corresponding determinsitic outcome is $\tilde{\mathit{w}}(\tilde{\tau })$.

We use the term final outcome to refer to that of the effective degree formulation, in which the degrees of susceptibles can change owing to dropping of edges. This is sufficient to determine the final size of an epidemic. If the final numbers of susceptibles of various original degrees are required, the effective degree formulation can be extended to keep track of both the original and effective degrees of suceptibles.

Conjecture 4.1

(CLT for final outcome of epidemic on MR graph with dropping) Suppose that $d_{max}<\infty ,{\epsilon }_E>0$ and (3.14) is satisfied. Then

$$\begin{array}{c}\hfill \sqrt{N}\left(N^{-1},{\tilde{\mathit{W}}}^N,({\tilde{\tau }}^N),-,\tilde{\mathit{w}},(\tilde{\tau })\right)\stackrel{\mathrm{D}}{⟶}N\left(\mathbf{0},,,{\Sigma }_{\mathrm{MR}}\right)\text{as}N\to \infty ,\end{array}$$ 4.15

where

$$\begin{array}{c}\hfill {\Sigma }_{\mathrm{MR}}=B{\tilde{\Sigma }}_{\mathrm{MR}}(\tilde{\tau })B^{\top }\end{array}$$

with B given by (4.13) with $\delta =0$.

Remark 4.2

(LLN for final outcome of SIR epidemic with preventive dropping) Conjecture 4.1 implies that ${\mathit{X}}^N({\tau }^N)\stackrel{\mathrm{p}}{⟶}\mathit{x}(\infty )$ as $N\to \infty$, where $\stackrel{\mathrm{p}}{⟶}$ denotes convergence in probability, i.e. the final outcome of the epidemic on an MR random graph obeys a weak LLN. The same conjecture holds also for the epidemic on an NSW random graph, using the theory in Sect. 7. Note that $\mathit{x}(\infty )=\tilde{\mathit{x}}(\tilde{\tau })$ and an expression for $\tilde{\mathit{x}}(\tilde{\tau })$ is given in Eq. (5.26) in Sect. 5.3.

Remark 4.3

(Explicit expression for asymptotic variance of final size) Note that ${\tilde{\Sigma }}_{\mathrm{MR}}(t)$, and hence ${\Sigma }_{\mathrm{MR},\delta }$, can be computed numerically as described for $\Sigma (t)$ in Remark 3.4. However, as detailed in Sect. 6 for the case $\delta =0$, it is possible to derive an almost fully explicit expression, as a function of ${\tilde{\tau }}_{\delta }$, for the asymptotic variance of the ‘final’ number of susceptibles. Moreover, the expression is fully explicit when $\omega =0$, i.e. when there is no dropping of edges, so the model reduces to a standard Markov SIR epidemic on an MR configuration model network.

Deterministic temporal behaviour and final size

In Sect. 5.1 we study the deterministic temporal behaviour of the effective degree model, described by the system of ODEs (3.9)–(3.11) given in Theorem 3.1, by considering first the corresponding time-transformed system (4.3)–(4.5). The resulting (partial) solution of this system is required to calculate the asymptotic variance of the final size in Sects. 6 and 7. Furthermore, the results of this section are used in Appendix C to prove that the conditions ${\tilde{\tau }}_{\delta }<\infty$ and (4.12), required for the application of Ethier and Kurtz (1986), Theorem 11.4.2, are satisfied. In Sect. 5.2, we connect the analysis of (4.3)–(4.5) to other approaches taken in the literature for the deterministic analysis of epidemics on configuration model networks. Finally, in Sect. 5.3, we give a characterization of the deterministic final size of the epidemic and consider the final size of epidemics initiated by a trace of infection in Proposition 5.1. We do not consider existence and uniqueness of solutions of the determinstic model when $d_{max}=\infty$ (see Remark 3.3) but indicate where further justification is required for a proof.

Temporal behaviour

Time-transformed process

Consider the system of ODEs given by (4.3)–(4.5), with initial condition $\tilde{\mathit{x}}(0)=(p_0-{\epsilon }_0,p_1-{\epsilon }_1,\dots )$, $\tilde{\mathit{y}}(0)=({\epsilon }_0,{\epsilon }_1,\dots )$ and ${\tilde{z}}_E(0)=0$. In this section we obtain explicit expressions for $\tilde{\mathit{x}}(t)$, ${\tilde{x}}_E(t)$, ${\tilde{y}}_E(t)$ and other variables pertaining to the fraction of susceptible, infectious, and recovered individuals in the population in the time-transformed process, while in Sect. 5.1.2 we connect these to corresponding variables in the real-time process.

Observe that the evolution of $\{\tilde{\mathit{x}}(t)\}$ is decoupled from the rest of the system. To solve (4.3), let $\{X(t)\}=\{X(t):t\ge 0\}$ denote a transient continuous-time Markov chain describing the evolution of a single susceptible individual, whose stubs are independently dropped at rate $\omega$ and independently infected at rate $\beta$. For $t\ge 0$, let X(t) be the number of stubs attached to the individual at time t, if it is still susceptible, otherwise let $X(t)=-1$. Let $p_{\mathit{ji}}(t)=\mathrm{P}(X(t)=i|X(0)=j)$, for $i,j=0,1,\cdots$ and $t\ge 0$. By deriving the forward equation for $\{X(t)\}$ it is easily seen that, for $i=0,1,\dots$, ${\tilde{x}}_i(t)={\sum }_{j=i}^{\infty }{\tilde{x}}_j(0)p_{\mathit{ji}}(t)$$(t\ge 0$).

It is straightforward to calculate $p_{\mathit{ji}}(t)$, since stubs disappear (by dropping or infection) independently, the probability that a given initial stub has disappeared by time t is $1-{\mathrm{e}}^{-(\beta +\omega )t}$ and, given that a stub has disappeared, the probability its disappearance was caused by dropping is $p_{\omega }=\frac{\omega }{\beta +\omega }$. Thus,

$$\begin{array}{c}\hfill p_{\mathit{ji}}(t)=\left\{\begin{array}{cc}\left(\begin{array}{c}j\\ i\end{array}\right){\mathrm{e}}^{-(\beta +\omega )it}{\left(1,-,{\mathrm{e}}^{-(\beta +\omega )t}\right)}^{j-i}{p}_{\omega }^{j-i}\hfill & \text{for}j\ge i,\hfill \\ 0\hfill & \text{for}j<i,\hfill \end{array}\right)\end{array}$$ 5.1

whence, for $i=0,1,\dots$,

$$\begin{array}{cc}\hfill {\tilde{x}}_i(t)=& \sum _{j=i}^{\infty }{\tilde{x}}_j(0)p_{\mathit{ji}}(t)\hfill \\ \hfill =& \sum _{j=i}^{\infty }(p_j-{\epsilon }_j)\left(\begin{array}{c}j\\ i\end{array}\right){\mathrm{e}}^{-(\beta +\omega )it}{\left(1,-,{\mathrm{e}}^{-(\beta +\omega )t}\right)}^{j-i}{p}_{\omega }^{j-i}\hfill \\ \hfill =& \frac{{\mathrm{e}}^{-(\beta +\omega )it}}{i!}\sum _{j=i}^{\infty }(p_j-{\epsilon }_j)\frac{j!}{(j-i)!}{\left[p_{\omega },\left(1,-,{\mathrm{e}}^{-(\beta +\omega )t}\right)\right]}^{j-i}\hfill \\ \hfill =& \frac{{\mathrm{e}}^{-(\beta +\omega )it}}{i!}{f}_{D_{\epsilon }}^{(i)}\left(p_{\omega },\left(1,-,{\mathrm{e}}^{-(\beta +\omega )t}\right)\right),\hfill \end{array}$$ 5.2

where

$$\begin{array}{c}\hfill f_{D_{\epsilon }}(s)=\sum _{k=0}^{\infty }(p_k-{\epsilon }_k)s^k(0\le s\le 1),\end{array}$$ 5.3

and $f_{D_{\epsilon }}^{(i)}$ denotes the ith derivative of $f_{D_{\epsilon }}$. It then follows that

$$\begin{array}{cc}\hfill {\tilde{x}}_E(t)=& \sum _{i=0}^{\infty }\frac{i{\mathrm{e}}^{-(\beta +\omega )it}}{i!}{f}_{D_{\epsilon }}^{(i)}\left(p_{\omega },\left(1,-,{\mathrm{e}}^{-(\beta +\omega )t}\right)\right)\hfill \\ \hfill =& {\mathrm{e}}^{-(\beta +\omega )t}\sum _{i=1}^{\infty }\frac{{\mathrm{e}}^{-(\beta +\omega )(i-1)t}}{(i-1)!}{f}_{D_{\epsilon }}^{(i)}\left(p_{\omega },\left(1,-,{\mathrm{e}}^{-(\beta +\omega )t}\right)\right)\hfill \\ \hfill =& {\mathrm{e}}^{-(\beta +\omega )t}{f}_{D_{\epsilon }}^{\prime }\left(p_{\omega },\left[1,-,{\mathrm{e}}^{-(\beta +\omega )t}\right],+,{\mathrm{e}}^{-(\beta +\omega )t}\right)\hfill \\ \hfill =& {\mathrm{e}}^{-(\beta +\omega )t}{f}_{D_{\epsilon }}^{\prime }\left(\psi ,(,t,)\right),\hfill \end{array}$$ 5.4

where

$$\begin{array}{c}\hfill \psi (t)=p_{\omega }+(1-p_{\omega }){\mathrm{e}}^{-(\beta +\omega )t}.\end{array}$$ 5.5

Differentiating (5.4) yields

$$\begin{array}{c}\hfill {\displaystyle \frac{d{\tilde{x}}_E}{\mathit{dt}}}=-(\beta +\omega ){\tilde{x}}_E-\beta {\mathrm{e}}^{-2(\beta +\omega )t}{f}_{D_{\epsilon }}^{\prime \prime }\left(\psi ,(,t,)\right).\end{array}$$ 5.6

Note that ${\sum }_{i=1}^{\infty }i[(i+1){\tilde{y}}_{i+1}-i{\tilde{y}}_i]=-{\tilde{y}}_E$ and, using a similar argument to the derivation of (5.4),

$$\begin{array}{c}\hfill \sum _{i=1}^{\infty }i(i+1){\tilde{x}}_{i+1}(t)={\mathrm{e}}^{-2(\beta +\omega )t}{f}_{D_{\epsilon }}^{\prime \prime }\left(\psi ,(,t,)\right).\end{array}$$ 5.7

Multiplying (4.4) by i and summing over $i=1,2,\dots$ yields

$$\begin{array}{c}\hfill {\displaystyle \frac{d{\tilde{y}}_E}{\mathit{dt}}}=-(\beta +\omega +\gamma ){\tilde{\eta }}_E-(\beta +\omega ){\tilde{y}}_E+\beta {\mathrm{e}}^{-2(\beta +\omega )t}{f}_{D_{\epsilon }}^{\prime \prime }\left(\psi ,(,t,)\right).\end{array}$$ 5.8

(This requires justifying and further conditions if $d_{max}=\infty$. A similar comment applies to equations contingent on (5.8), such as (5.11).) Adding (5.6), (5.8) and (4.5) gives

$$\begin{array}{c}\hfill {\displaystyle \frac{d{\tilde{\eta }}_E}{\mathit{dt}}}=-2(\beta +\omega ){\tilde{\eta }}_E,\end{array}$$

which, together with the initial condition ${\tilde{\eta }}_E(0)={\mu }_D$, yields

$$\begin{array}{c}\hfill {\tilde{\eta }}_E(t)={\mu }_D{\mathrm{e}}^{-2(\beta +\omega )t}.\end{array}$$ 5.9

Substituting (5.9) into (4.5) yields

$$\begin{array}{c}\hfill {\displaystyle \frac{d{\tilde{z}}_E}{\mathit{dt}}}=\gamma {\mu }_D{\mathrm{e}}^{-2(\beta +\omega )t}-(\beta +\omega ){\tilde{z}}_E,{\tilde{z}}_E(0)=0,\end{array}$$

whence

$$\begin{array}{c}\hfill {\tilde{z}}_E(t)=\frac{\gamma }{\beta +\omega }{\mu }_D{\mathrm{e}}^{-(\beta +\omega )t}\left(1,-,{\mathrm{e}}^{-(\beta +\omega )t}\right).\end{array}$$ 5.10

Thus

$$\begin{array}{cc}\hfill {\tilde{y}}_E(t)& ={\tilde{\eta }}_E(t)-{\tilde{x}}_E(t)-{\tilde{z}}_E(t)\hfill \\ \hfill & ={\mathrm{e}}^{-(\beta +\omega )t}\left(\frac{\beta +\omega +\gamma }{\beta +\omega },{\mu }_D,{\mathrm{e}}^{-(\beta +\omega )t},-,\frac{\gamma }{\beta +\omega },{\mu }_D,-,f_{D_{\epsilon }}^{\prime },\left(\psi ,(,t,)\right)\right).\hfill \end{array}$$ 5.11

Remark 5.1

(Fractions of susceptible, infectious, and recovered individuals) Although the above results are useful for analysing the final outcome of the epidemic, of greater practical interest is the evolution of the fractions of the population that are susceptible, infective and recovered individuals, which in the time-transformed process are given by $\tilde{x}(t)={\sum }_{i=0}^{\infty }{\tilde{x}}_i(t),\tilde{y}(t)={\sum }_{i=0}^{\infty }{\tilde{y}}_i(t)$ and $\tilde{z}(t)={\sum }_{i=0}^{\infty }{\tilde{z}}_i(t)$, respectively. Summing (5.2) over $i=0,1,\dots$ and using a similar argument to the derivation of (5.4) yields

$$\begin{array}{c}\hfill \tilde{x}(t)=f_{D_{\epsilon }}\left(\psi ,(,t,)\right).\end{array}$$ 5.12

Turning to $\tilde{y}(t)$, summing (4.4) over $i=1,2,\dots$ and using (5.4) yields

$$\begin{array}{c}\hfill {\displaystyle \frac{d\tilde{y}}{\mathit{dt}}}=-\frac{\gamma }{{\tilde{\rho }}_E(t)}\tilde{y}+\beta {\mathrm{e}}^{-(\beta +\omega )t}{f}_{D_{\epsilon }}\left(\psi ,(,t,)\right).\end{array}$$ 5.13

Let $\epsilon ={\sum }_{i=0}^{\infty }{\epsilon }_i=\tilde{y}(0)$ and

$$\begin{array}{c}\hfill c(t)={\int }_0^t\frac{1}{{\tilde{\rho }}_E(u)}\mathrm{d}u.\end{array}$$

Then (5.13) has solution

$$\begin{array}{c}\hfill \tilde{y}(t)={\mathrm{e}}^{-\gamma c(t)}\epsilon +\beta {\int }_0^t{\mathrm{e}}^{-[(\beta +\omega )u+\gamma (c(t)-c(u))]}{f}_{D_{\epsilon }}\left(\psi ,(,u,)\right)\mathrm{d}u.\end{array}$$ 5.14

We do not have a closed-form expression for the integral in (5.14), though it is straightforward to calculate $\tilde{y}(t)$ numerically using the ODE (5.13). Finally, note that $\tilde{z}(t)=1-\tilde{x}(t)-\tilde{y}(t)$.

Real-time process

Turning to the system of ODEs (3.9)–(3.11), which describe the limiting evolution of the epidemic as the population size $N\to \infty$, let

$$\begin{array}{c}\hfill \xi (t)={\int }_0^t{\rho }_E(u)\mathrm{d}u,\end{array}$$ 5.15

where ${\rho }_E$ is given by (3.12). Then ${\xi }^{\prime }(t)={\rho }_E(t)$ and it follows that, for $t\ge 0$,

$$\begin{array}{c}\hfill \mathit{w}(t)=\tilde{\mathit{w}}(\xi (t)),\end{array}$$ 5.16

connecting the original process to the time-transformed process. Hence, ${\xi }^{\prime }(t)={\tilde{\rho }}_E(\xi (t))$, so (5.11) and (5.9) imply that $\xi (t)$ is determined by

$$\begin{array}{c}\hfill {\displaystyle \frac{d\xi }{\mathit{dt}}}=1+\frac{\gamma }{\beta +\omega }\left(1,-,{\mathrm{e}}^{(\beta +\omega )\xi }\right)-{\mathrm{e}}^{(\beta +\omega )\xi }\frac{f_{D_{\epsilon }}^{\prime }\left(\psi ,(,\xi ,)\right)}{{\mu }_D},\end{array}$$ 5.17

together with $\xi (0)=0$. The ODE (5.17) does not seem to admit an explicit solution, although it is straightforward to solve numerically.

Connection to other approaches

In this section we consider other deterministic formulations of the preventive dropping model and make the connection to the effective degree approach (ODE system (3.9)–(3.11)). Our focus is on the deterministic variable $\theta (t)$ that is defined as follows:

$$\begin{array}{c}\hfill \theta (t)=\mathcal{F}(t)-{\int }_0^t\frac{f_{D_{\epsilon }}^{\prime }(\theta (u))}{{\mu }_D}{\mathcal{F}}^{\prime }(t-u)\mathrm{d}u.\end{array}$$ 5.18

Here, $\mathcal{F}(t)$ is the probability that an individual escapes infection from a given neighbour, up to at least t units of time after the neighbour became infected. In the Markovian SIR case with dropping of edges, this probability equals

$$\begin{array}{c}\hfill \mathcal{F}(t)=\frac{\gamma +\omega }{\beta +\gamma +\omega }+\frac{\beta }{\beta +\gamma +\omega }{\mathrm{e}}^{-(\beta +\gamma +\omega )t}.\end{array}$$ 5.19

Indeed, there are three competing events: transmission, ending of the infectious period, and informing the susceptible neighbour, that occur at rates $\beta$, $\gamma$, and $\omega$, respectively. We see immediately from the renewal equation for $\theta$, obtained by substituting (5.19) into (5.18), that one can also interpret dropping of edges as an increased recovery rate for the deterministic mean temporal behaviour since $\omega$ only appears as part of the sum $\gamma +\omega$ (see Remark 5.3 in Sect. 5.3). This aspect of the mean temporal behaviour may not be immediately clear from the system (3.9)–(3.11).

The variable $\theta$ can be interpreted as the probability that along a randomly chosen edge between two individuals, i and j say, there is no transmission from j to i before time t, given that no transmission occurred from individual i to j. The variable $\theta$ formed the basis for the edge-based compartmental models of Volz, Miller and co-workers (see e.g. Kiss et al. (2017) and references therein). Closely related to edge-based compartmental models is the binding site formulation presented in Leung and Diekmann (2016), where the relation to edge-based compartmental models is also explained. We use the binding site formulation in this section to state the renewal equation for the variable $\theta$, restricting ourselves to the Markovian SIR epidemic (in Leung and Diekmann (2016) $\overline{x}$ is used instead of $\theta$). In principle, the renewal Eq. (5.18) is far more general and allows for randomness in infectiousness beyond the Markovian setting, see Leung and Diekmann (2016) for details. Note that in the above works, the derivation of the equations describing the evolution of $\theta (t)$ is heuristic. Those equations are proved for the Markov SIR epidemic on a configuration model network, in the sense of a large population limit, in Decreusefond et al. (2012) and Janson et al. (2014); see also Barbour and Reinert (2013).

The variable $\theta$ relates to the effective degree formulation as follows:

$$\begin{array}{c}\hfill \theta (t)=p_{\omega }+(1-p_{\omega }){\mathrm{e}}^{-(\beta +\omega )\xi (t)}=\psi (\xi (t)),\end{array}$$ 5.20

where the functions $\psi$ and $\xi$ from the effective degree formulation are defined at (5.5) and (5.15), respectively. Indeed, Eq. (5.20) is expected from the interpretation of $\theta$: $p_{\omega }$ is the probability that the susceptible individual is informed by the infection status of a given neighbour before being infected by that neighbour, so the stub disappears through dropping, while $(1-p_{\omega }){\mathrm{e}}^{-(\beta +\omega )\xi (t)}$ is the probability that there is no dropping and the given stub has not disappeared at time $\xi (t)$ (where $\xi (t)$ accounts for the time-transformation, see (5.16)). One can check that (5.20) holds true by first transforming the renewal Eq. (5.18) into an ODE for $\theta$ by differentiating (and using (5.19)):

$$\begin{array}{c}\hfill {\displaystyle \frac{d\theta }{\mathit{dt}}}=\beta \frac{f_{D_{\epsilon }}^{\prime }(\theta )}{{\mu }_D}-(\beta +\gamma +\omega )\theta +\gamma +\omega ,\end{array}$$ 5.21

with initial condition $\theta (0)=1$. Next, differentiating the right-hand-side of (5.20), and using (5.17), we find that $\psi (\xi )$ satisfies the ODE (5.21). Furthermore, the initial condition $\xi (0)=0$ implies that $\psi (\xi (0))=1$.

Finally, the Malthusian parameter r, the basic reproduction number $R_0$ and the final size of the epidemic are easily derived from the single renewal equation (5.18). Here we only state the expressions and refer to Leung and Diekmann (2016), Section 2.5, for details. In the limit of $\epsilon \downarrow 0$ the Euler–Lotka characteristic equation is

$$\begin{array}{cc}\hfill 1& =-\frac{f_D^{\prime \prime }(1)}{{\mu }_D}{\int }_0^{\infty }{\mathrm{e}}^{-\lambda t}{\mathcal{F}}^{\prime }(t)\mathrm{d}t\hfill \\ \hfill & =\left({\mu }_D,-,1,+,\frac{{\sigma }_D^2}{{\mu }_D}\right){\int }_0^{\infty }{e}^{-\lambda t}\beta {\mathrm{e}}^{-(\beta +\gamma +\omega )t}\mathrm{d}t.\hfill \end{array}$$ 5.22

The Malthusian parameter r is the unique real root of (5.22) and a simple calculation yields

$$\begin{array}{c}\hfill r=\beta \left({\mu }_D,-,2,+,\frac{{\sigma }_D^2}{{\mu }_D}\right)-\gamma -\omega ,\end{array}$$ 5.23

agreeing with Britton et al. (2016), equation (3). The basic reproduction number $R_0$ is obtained from (5.22) by evaluating the right hand side at $\lambda =0$, yielding the same expression as (2.1). The final size is discussed in Remark 5.2.

Final size

Recall that ${\tilde{\tau }}_{\delta }$ defined at (4.10) satisfies ${\tilde{y}}_E({\tilde{\tau }}_{\delta })=\delta$. In particular, using (5.11), $\tilde{\tau }={\tilde{\tau }}_0$ satisfies

$$\begin{array}{c}\hfill \frac{\beta +\omega +\gamma }{\beta +\omega }{\mu }_D{\mathrm{e}}^{-(\beta +\omega )\tilde{\tau }}-\frac{\gamma }{\beta +\omega }{\mu }_D-f_{D_{\epsilon }}^{\prime }\left(\psi ,(,\tilde{\tau },)\right)=0.\end{array}$$ 5.24

For later use, we rewrite (5.24) as

$$\begin{array}{c}\hfill \left[\frac{(\beta +\omega +\gamma )z-\gamma }{\beta +\omega }\right]{\mu }_D=f_{D_{\epsilon }}^{\prime }\left(\tilde{\psi },(z)\right),\end{array}$$ 5.25

where $z={\mathrm{e}}^{-(\beta +\omega )\tilde{\tau }}$ and $\tilde{\psi }(z)=p_{\omega }+(1-p_{\omega })z$. Further, using (5.12) yields that the final proportion of the population that remains uninfected is given by

$$\begin{array}{c}\hfill \tilde{x}(\tilde{\tau })=f_{D_{\epsilon }}\left(\psi ,(,\tilde{\tau },)\right).\end{array}$$ 5.26

We let $\rho =1-\tilde{x}(\tilde{\tau })$ denote the fraction of the population ultimately infected in the limiting deterministic epidemic.

Let ${\epsilon }_E={\sum }_{i=1}^{\infty }i{\epsilon }_i$. Then in the limit as ${\epsilon }_E\downarrow 0$, i.e. for epidemics started by a trace of infection (or, more precisely, a trace of infected stubs), the final susceptible fraction is given by (5.26), where $\tilde{\tau }$ satisfies

$$\begin{array}{c}\hfill \frac{\beta +\omega +\gamma }{\beta +\omega }{\mu }_D{\mathrm{e}}^{-(\beta +\omega )\tilde{\tau }}-\frac{\gamma }{\beta +\omega }{\mu }_D-f_D^{\prime }\left(\psi ,(,\tilde{\tau },)\right)=0.\end{array}$$ 5.27

We can now formulate the characterization for the final size $\rho$ of the epidemic. We illustrate the dependence of $\rho$ on the dropping rate $\omega$ in Sect. 10.4.

Proposition 5.1

(Deterministic final size) Suppose that $d_{max}<\infty$.

1. Suppose that ${\epsilon }_E>0$. Then the fraction of the population that is ultimately infected in the deterministic epidemic is given by

   $$\begin{array}{c}\hfill \rho =1-f_{D_{\epsilon }}(s),\end{array}$$ 5.28

   where s is the unique solution in [0, 1) of

   $$\begin{array}{c}\hfill (\beta +\omega +\gamma )s-(\omega +\gamma )=\beta {\mu }_D^{-1}{f}_{D_{\epsilon }}^{\prime }(s).\end{array}$$ 5.29
2. Suppose $R_0>1$. Then in the limit as ${\epsilon }_E\downarrow 0$, the fraction of the population that is ultimately infected in the limiting deterministic epidemic is given by

   $$\begin{array}{c}\hfill \rho =1-f_D(s),\end{array}$$ 5.30

   where s is the unique solution in [0, 1) of

   $$\begin{array}{c}\hfill (\beta +\omega +\gamma )s-(\omega +\gamma )=\beta {\mu }_D^{-1}{f}_D^{\prime }(s).\end{array}$$ 5.31

Proof

(a) Suppose that ${\epsilon }_E>0$. Let $s=\tilde{\psi }(z)$, so $z=\frac{(\beta +\omega )s-\omega }{\beta }$. It then follows from (5.25) and (5.26) that s satisfies (5.29) and $\rho$ is given by (5.28). Let $g_1(s)=(\beta +\omega +\gamma )s-(\omega +\gamma )$ and $g_2(s)=\beta {\mu }_D^{-1}{f}_{D_{\epsilon }}^{\prime }(s)$. Then $g_1(0)\le 0<g_2(0)$ and $g_1(1)>g_2(1)$, since $f_{D_{\epsilon }}^{\prime }(1)={\sum }_{i=1}^{\infty }i(p_i-{\epsilon }_i)<{\sum }_{i=1}^{\infty }i{p}_i={\mu }_D$. Thus (5.29) has a unique solution in [0, 1) as $g_2$ is convex on [0, 1], since $g_2^{\prime \prime }(s)\ge 0$.

(b) Letting ${\epsilon }_E\downarrow 0$ in (5.28) and (5.29) shows that $\rho$ is given by (5.30), where s satisfies (5.31). Let $g_1$ be as in (a) and $g_2(s)=\beta {\mu }_D^{-1}{f}_D^{\prime }(s)$. Then $g_1(0)\le 0<g_2(0)$ and $g_1(1)=g_2(1)$, since ${\mu }_D=f_D^{\prime }(1)$. Further, $g_2$ is a convex function, so it follows that (5.31) has a solution in [0, 1) if and only if $g_1^{\prime }(1)<g_2^{\prime }(1)$ and moreover that solution is unique. Now $g_1^{\prime }(1)=\beta +\omega +\gamma$ and $g_2^{\prime }(1)=\beta {\mu }_D^{-1}{f}_D^{\prime \prime }(1)$, so $g_1^{\prime }(1)<g_2^{\prime }(1)$ if and only if $R_0=\frac{\beta }{\beta +\omega +\gamma }{\mu }_D^{-1}{f}_D^{\prime \prime }(1)>1$. $\square$

Remark 5.2

(Connection to the renewal Eq. (5.18)) Proposition 5.1(b) can also be derived by taking the limit $t\to \infty$ in (5.18):

$$\begin{array}{cc}\hfill \theta (\infty )& =\mathcal{F}(\infty )+(1-\mathcal{F}(\infty ))\frac{f_D^{\prime }(\theta (\infty ))}{{\mu }_D}\hfill \\ \hfill & =\frac{\gamma +\omega }{\beta +\gamma +\omega }+\frac{\beta }{\beta +\gamma +\omega }\frac{f_D^{\prime }(\theta (\infty ))}{{\mu }_D},\hfill \end{array}$$ 5.32

using (5.19), so $\theta (\infty )$ satisfies (5.31). Then, using (5.12) and (5.16), one obtains that the proportion $x(\infty )$ of the population that ultimately is susceptible agrees with (5.30).

Remark 5.3

(Increased recovery rate and no dropping) Observe that Eq. (5.18) for $\theta$ and (5.19) for $\mathcal{F}$ together imply immediately that the process of susceptibles in the deterministic model with recovery rate $\gamma$ and dropping rate $\omega$ depends on $(\gamma ,\omega )$ only through their sum $\gamma +\omega$, since $\gamma$ and $\omega$ only appear in (5.19) through the sum $\gamma +\omega$. Furthermore, (5.20) relates the variable $\theta$ of the binding site formulation to the effective degree formulation through $\psi$ and $\xi$ defined at (5.5) and (5.15), respectively. Thus the LLN limit $\{\mathit{x}(t)\}$ describing the evolution of susceptibles classified by their effective degree for the model with dropping is the same as that for the model without dropping (i.e. the standard Markov SIR epidemic on a configuration model network) but with the recovery rate $\gamma$ increased to $\gamma +\omega$. In particular, this implies that the deterministic final size $\rho$ of the two models are the same, as is apparent immediately from Proposition 5.1. This invariance also holds for the basic reproduction number $R_0$ and Mathusian parameter r, as is clear from the formulae in Eqs. (2.1) and (5.23), respectively. Note however that the LLN limit $\{\mathit{y}(t)\}$ describing the infectives is not the same for these two models, since infectives recover more quickly in the model with increased recovery rate. Thus (as illustrated in Fig. 9 in Sect. 10.6) at any time $t>0$ there are more infectives in the deterministic model with dropping than in the corresponding model with increased recovery rate and no dropping. We revisit the model with increased recovery rate and no dropping in Sect. 8, where we focus on the probability of a major outbreak in the stochastic model with few initial infectives.

Fig. 9.

Scaled asymptotic means and standard deviations of the number of susceptible and infectious individuals through time (in the upper and lower plots, respectively), comparing the model with dropping to that with increased recovery rate. Model parameters are as in Fig. 7, except that $i_0^N=0.05N$. (Note that in the upper plots the two ${\mu }^S(\cdots )$ quantities are exactly equal)

Asymptotic variance of final size of epidemic on an MR random graph

Recall that $X^N({\tau }^N)={\sum }_{i=0}^{\infty }{X}_i^N({\tau }^N)$ denotes the number of susceptibles remaining at the end of the epidemic on an MR random graph. Thus $T_{\mathrm{MR}}^N=X^N(0)-X^N({\tau }^N)$ denotes the final size of the epidemic. Note that, in an obvious notation, $X^N({\tau }^N)={\tilde{X}}^N({\tilde{\tau }}^N)={\sum }_{i=0}^{\infty }{\tilde{X}}_i^N({\tilde{\tau }}^N)$. Let $\mathbf{0}=(0,0,\dots )$ and $\mathbf{1}=(1,1,\dots )$. Then, assuming the truth of Conjecture 4.1 for $d_{max}=\infty$, the asymptotic variance of $N^{-\frac{1}{2}}{T}_{\mathrm{MR}}^N$ is given by

$$\begin{array}{c}\hfill {\sigma }_{\mathrm{MR}}^2(\beta ,\omega ,\gamma )=(\mathbf{1},\mathbf{0},0){\Sigma }_{\mathrm{MR},0}{(\mathbf{1},\mathbf{0},0)}^{\top }.\end{array}$$ 6.1

Suppose that ${\epsilon }_E={\sum }_{i=1}^{\infty }i{\epsilon }_i>0$ and let z be the unique solution in [0, 1) of (5.25); cf. Proposition 5.1(a). The following proposition gives an almost fully explicit expression for the asymptotic variance ${\sigma }_{\mathrm{MR}}^2(\beta ,\omega ,\gamma )$.

Proposition 6.1

(Asymptotic variance of final size of epidemic on MR graph with dropping) Suppose that ${\epsilon }_E>0$ and $z>0$. Then,

$$\begin{array}{cc}\hfill {\sigma }_{\mathrm{MR}}^2(\beta ,\omega ,\gamma )& =2\frac{(\beta +\omega +\gamma )[\gamma -\beta -\omega -(\beta +\omega +\gamma )z]}{{(\beta +\omega )}^2}{\mu }_D\tilde{b}{(z)}^2{z}^2(1-z)\hfill \\ \hfill & +\frac{\gamma }{\beta (\beta +\omega )}{\mu }_D\tilde{b}{(z)}^{2}z[\beta -(2\beta +\omega )z]\hfill \\ \hfill & +\frac{\gamma }{\beta [2(\beta +\omega )+\gamma ]}\tilde{b}{(z)}^2{z}^2\left[\beta ,({\sigma }_D^2+{\mu }_D^2),+,\omega ,{\mu }_D\right]\hfill \\ \hfill & -\frac{\gamma [(\beta +\omega +\gamma )z-\gamma ]z}{[2(\beta +\omega )+\gamma ](\beta +\omega )}{\mu }_D\tilde{b}(z)+I_A+I_B+I_C+I_D,\hfill \end{array}$$ 6.2

with

$$\begin{array}{cc}\hfill \tilde{b}(z)& =\frac{\beta \left[\frac{(\beta +\omega +\gamma )z-\gamma }{\beta +\omega }\right]{\mu }_D}{z\left[\beta ,f_{D_{\epsilon }}^{\prime \prime },\left(\tilde{\psi },(z)\right),-,(\beta +\omega +\gamma ),{\mu }_D\right]},\hfill \end{array}$$ 6.3

$$\begin{array}{cc}\hfill I_A& =\frac{1}{\beta +\omega }{\int }_z^1\left[\omega ,{\left({\tilde{\psi }}_3,(z,v),-,1\right)}^2,+,\beta ,{\tilde{\psi }}_3,{(z,v)}^2\right]f_{D_{\epsilon }}^{\prime }\left({\tilde{\psi }}_2,(z,v)\right)\mathrm{d}v,\hfill \end{array}$$ 6.4

$$\begin{array}{cc}\hfill I_B& =2\frac{\omega z\tilde{b}(z)}{\beta +\omega }{\int }_z^1{\tilde{\psi }}_1(z,v)\left({\tilde{\psi }}_1,(z,v),-,1\right)\left(1,-,{\tilde{\psi }}_3,(z,v)\right)f_{D_{\epsilon }}^{\prime \prime }\left({\tilde{\psi }}_2,(z,v)\right)\mathrm{d}v,\hfill \end{array}$$ 6.5

$$\begin{array}{cc}\hfill I_C& =\frac{\beta z\tilde{b}(z)}{\beta +\omega }{\int }_z^1{\tilde{\psi }}_1{(z,v)}^2\left(\tilde{b},(z),z,v^{-1},-,2,{\tilde{\psi }}_3,(z,v)\right)f_{D_{\epsilon }}^{\prime \prime }\left({\tilde{\psi }}_2,(z,v)\right)\mathrm{d}v,\hfill \end{array}$$ 6.6

$$\begin{array}{cc}\hfill I_D& =\frac{z^2\tilde{b}{(z)}^2}{\beta +\omega }{\int }_z^1\left[\omega ,{\left({\tilde{\psi }}_1,(z,v),-,1\right)}^2,+,\beta ,{\tilde{\psi }}_1,{(z,v)}^2\right]{\tilde{\psi }}_1{(z,v)}^2{f}_{D_{\epsilon }}^{(3)}\left({\tilde{\psi }}_2,(z,v)\right)\mathrm{d}v,\hfill \\ \hfill \end{array}$$ 6.7

${\tilde{\psi }}_1(z,v)=p_{\omega }+(1-p_{\omega })z{v}^{-1},{\tilde{\psi }}_2(z,v)=v{\tilde{\psi }}_1{(z,v)}^2+p_{\omega }(1-v)$ and ${\tilde{\psi }}_3(z,v)={\tilde{\psi }}_1(z,v)-\tilde{b}(z)z{v}^{-1}$.

Proof

The proof is rather long so only an outline is given here, with detailed calculations deferred to appendices. Let

$$\begin{array}{c}\hfill \mathit{c}(\tilde{\tau },u)=(\mathbf{1},\mathbf{0},0)B\tilde{\Phi }(\tilde{\tau },u),\end{array}$$ 6.8

where B is given by (4.13) with $\delta =0$. Then, using (4.7) and (4.8),

$$\begin{array}{cc}\hfill {\sigma }_{\mathrm{MR}}^2(\beta ,\omega ,\gamma )=& {\int }_0^{\tilde{\tau }}\mathit{c}(\tilde{\tau },u)\tilde{G}(\tilde{\mathit{w}}(u))\mathit{c}{(\tilde{\tau },u)}^{\top }\mathrm{d}u,\hfill \\ \hfill =& \sum _{\mathit{l}\in \Delta }{\int }_0^{\tilde{\tau }}\mathit{c}(\tilde{\tau },u){\mathit{l}}^{\top }\mathit{l}\mathit{c}{(\tilde{\tau },u)}^{\top }{\tilde{\beta }}_{\mathit{l}}(\tilde{\mathit{w}}(u))\mathrm{d}u.\hfill \end{array}$$ 6.9

The rest of the proof involves showing that the right-hand side of (6.9) yields the expression (6.2) for ${\sigma }_{\mathrm{MR}}^2(\beta ,\omega ,\gamma )$.

Recall that $\Delta ={\cup }_{k=1}^5{\Delta }_k$ and note that $\mathit{c}(\tilde{\tau },u){\mathit{l}}^{\top }$ is a scalar. It then follows that

$$\begin{array}{c}\hfill {\sigma }_{\mathrm{MR}}^2(\beta ,\omega ,\gamma )=\sum _{i=1}^5{\sigma }_i^2,\end{array}$$ 6.10

where

$$\begin{array}{c}\hfill {\sigma }_i^2={\int }_0^{\tilde{\tau }}\sum _{\mathit{l}\in {\Delta }_i}{\left(\mathit{c},(\tilde{\tau },u),{\mathit{l}}^{\top }\right)}^2{\tilde{\beta }}_{\mathit{l}}(\tilde{\mathit{w}}(u))\mathrm{d}u.\end{array}$$ 6.11

Evaluation of (6.11) requires $\mathit{c}(\tilde{\tau },u)$, which we now determine.

Let $a(\tilde{\tau })=\mathrm{\nabla }\phi (\tilde{\mathit{w}}(\tilde{\tau }))·\tilde{F}(\tilde{\mathit{w}}(\tilde{\tau }))$. Observe that $\mathrm{\nabla }\phi (\tilde{\mathit{w}}(\tilde{\tau }))=(\mathbf{0},\mathit{p},0)$, where $\mathit{p}=(0,1,2,\dots )$, so using (4.2),

$$\begin{array}{cc}\hfill a(\tilde{\tau })=& -(\beta +\omega )[{\tilde{y}}_E(\tilde{\tau })+{\tilde{\eta }}_E(\tilde{\tau })]-\gamma {\tilde{\eta }}_E(\tilde{\tau })+\beta \sum _{i=1}^{\infty }i(i+1){\tilde{x}}_{i+1}(\tilde{\tau })\hfill \end{array}$$ 6.12

$$\begin{array}{cc}\hfill =& {\mathrm{e}}^{-2(\beta +\omega )\tilde{\tau }}\left[\beta ,f_{D_{\epsilon }}^{\prime \prime },\left(\psi ,(,\tilde{\tau },)\right),-,(\beta +\omega +\gamma ),{\mu }_D\right],\hfill \end{array}$$ 6.13

using ${\tilde{y}}_E(\tilde{\tau })=0$, (5.7) and (5.9). Also, using (4.2), $(\mathbf{1},\mathbf{0},0)\tilde{F}(\tilde{\mathit{w}}(\tilde{\tau }))=-\beta {\tilde{x}}_E(\tilde{\tau })$, so

$$\begin{array}{c}\hfill (\mathbf{1},\mathbf{0},0)B=(\mathbf{1},b(\tilde{\tau })\mathit{p},0),\end{array}$$ 6.14

where

$$\begin{array}{c}\hfill b(\tilde{\tau })=a{(\tilde{\tau })}^{-1}\beta {\tilde{x}}_E(\tilde{\tau }).\end{array}$$ 6.15

Note from (4.2) that $\partial \tilde{F}(\tilde{\mathit{w}}(t))$ takes the partitioned form

$$\begin{array}{c}\hfill \partial \tilde{F}(\tilde{\mathit{w}}(t))=\left[\begin{array}{ccc}\partial {\tilde{F}}_{\mathit{XX}}(\tilde{\mathit{w}}(t))& 0& {\mathbf{0}}^{\top }\\ \partial {\tilde{F}}_{\mathit{YX}}(\tilde{\mathit{w}}(t))& \partial {\tilde{F}}_{\mathit{YY}}(\tilde{\mathit{w}}(t))& \partial {\tilde{F}}_{\mathit{YZ}}(\tilde{\mathit{w}}(t))\\ \partial {\tilde{F}}_{\mathit{ZX}}(\tilde{\mathit{w}}(t))& \partial {\tilde{F}}_{\mathit{ZY}}(\tilde{\mathit{w}}(t))& \partial {\tilde{F}}_{\mathit{ZZ}}(\tilde{\mathit{w}}(t))\end{array}\right].\end{array}$$ 6.16

It follows from (4.9) that $\tilde{\Phi }(t,u)$ has the partitioned form

$$\begin{array}{c}\hfill \tilde{\Phi }(t,u)=\left[\begin{array}{ccc}{\tilde{\Phi }}_{\mathit{XX}}(t,u)& 0& {\mathbf{0}}^{\top }\\ {\tilde{\Phi }}_{\mathit{YX}}(t,u)& {\tilde{\Phi }}_{\mathit{YY}}(t,u)& {\tilde{\Phi }}_{\mathit{YZ}}(t,u)\\ {\tilde{\Phi }}_{\mathit{ZX}}(t,u)& {\tilde{\Phi }}_{\mathit{ZY}}(t,u)& {\tilde{\Phi }}_{\mathit{ZZ}}(t,u)\end{array}\right].\end{array}$$

Thus, using (6.8) and (6.14), we have

$$\begin{array}{c}\hfill \mathit{c}(\tilde{\tau },u)=\left(\mathbf{1},{\tilde{\Phi }}_{\mathit{XX}},(\tilde{\tau },u),+,b,(\tilde{\tau }),\mathit{p},{\tilde{\Phi }}_{\mathit{YX}},(\tilde{\tau },u),,,b,(\tilde{\tau }),\mathit{p},{\tilde{\Phi }}_{\mathit{YY}},(\tilde{\tau },u),,,b,(\tilde{\tau }),\mathit{p},{\tilde{\Phi }}_{\mathit{YZ}},(\tilde{\tau },u)\right).\end{array}$$

We show in Appendix D that

$$\begin{array}{cc}\hfill {\left(\mathbf{1},{\tilde{\Phi }}_{\mathit{XX}},(\tilde{\tau },u)\right)}_j& =\psi {(\tilde{\tau }-u)}^j(j=0,1,\dots ),\hfill \\ \hfill {\left(\mathit{p},,{\tilde{\Phi }}_{\mathit{YX}},(\tilde{\tau },u)\right)}_j& ={\mathrm{e}}^{-(\beta +\omega )(\tilde{\tau }-u)}j\left[\frac{(\beta +\omega +\gamma ){\mathrm{e}}^{-(\beta +\omega )(\tilde{\tau }-u)}-\gamma }{\beta +\omega }\right]\hfill \\ \hfill & -{\mathrm{e}}^{-(\beta +\omega )(\tilde{\tau }-u)}j\psi {(\tilde{\tau }-u)}^{j-1}(j=0,1,\dots ),\hfill \\ \hfill \mathit{p}{\tilde{\Phi }}_{\mathit{YY}}(\tilde{\tau },u)& =\left(\frac{\beta +\omega +\gamma }{\beta +\omega },{\mathrm{e}}^{-2(\beta +\omega )(\tilde{\tau }-u)},-,\frac{\gamma }{\beta +\omega },{\mathrm{e}}^{-(\beta +\omega )(\tilde{\tau }-u)}\right)\mathit{p},\hfill \\ \hfill \mathit{p}{\tilde{\Phi }}_{\mathit{YZ}}(\tilde{\tau },u)& =-\frac{\beta +\omega +\gamma }{\beta +\omega }{\mathrm{e}}^{-(\beta +\omega )(\tilde{\tau }-u)}\left(1,-,{\mathrm{e}}^{-(\beta +\omega )(\tilde{\tau }-u)}\right),\hfill \end{array}$$

see (D.5), (D.26), (D.15) and (D.14), respectively. Hence,

$$\begin{array}{c}\hfill \mathit{c}(\tilde{\tau },u)=\left({\mathit{c}}_S,(\tilde{\tau },u),,,h_I,(\tilde{\tau },u),\mathit{p},,,h_R,(\tilde{\tau },u)\right),\end{array}$$ 6.17

where

$$\begin{array}{cc}\hfill h_I(\tilde{\tau },u)& =-\frac{b(\tilde{\tau })}{\beta +\omega }{\mathrm{e}}^{-(\beta +\omega )(\tilde{\tau }-u)}\left[\gamma ,-,(\beta +\omega +\gamma ),{\mathrm{e}}^{-(\beta +\omega )(\tilde{\tau }-u)}\right],\hfill \end{array}$$ 6.18

$$\begin{array}{cc}\hfill h_R(\tilde{\tau },u)& =h_I(\tilde{\tau },u)-b(\tilde{\tau }){\mathrm{e}}^{-(\beta +\omega )(\tilde{\tau }-u)},\hfill \end{array}$$ 6.19

$$\begin{array}{cc}\hfill {\mathit{c}}_S(\tilde{\tau },u)& =({\tilde{c}}_0(\tilde{\tau },u),{\tilde{c}}_1(\tilde{\tau },u),\dots )+h_I(\tilde{\tau },u)\mathit{p},\hfill \end{array}$$ 6.20

with

$$\begin{array}{c}\hfill {\tilde{c}}_j(\tilde{\tau },u)=\psi {(\tilde{\tau }-u)}^j-b(\tilde{\tau }){\mathrm{e}}^{-(\beta +\omega )(\tilde{\tau }-u)}j\psi {(\tilde{\tau }-u)}^{j-1}(j=0,1,\dots ).\end{array}$$

We can now calculate ${\sigma }_i^2$$(i=1,2,\dots ,5)$ using (6.11), (6.17) and (4.1), and hence obtain ${\sigma }_{\mathrm{MR}}^2(\beta ,\omega ,\gamma )$ using (6.10). The details are lengthy and are given in Appendix E. $\square$

Recall from Sect. 5.3 that if ${\epsilon }_E>0$ then $\rho =1-f_{D_{\epsilon }}\left(\tilde{\psi },(z)\right)$, where z is the unique solution in [0, 1) of (5.25), and if ${\epsilon }_E=0$ and $R_0>1$ then $\rho =1-f_D\left(\tilde{\psi },(z)\right)$, where z is the unique solution in [0, 1) of (5.25) with $f_{D_{\epsilon }}^{\prime }$ replaced by $f_D^{\prime }$; cf. Proposition 5.1.

Conjecture 6.1

(CLT for of final size of epidemic on MR graph with dropping)

1. Suppose that ${\epsilon }_E>0,d_{max}<\infty$ and $z>0$. Then,

   $$\begin{array}{c}\hfill \sqrt{N}\left(N^{-1},T_{\mathrm{MR}}^N,-,\rho \right)\stackrel{\mathrm{D}}{⟶}N(0,{\sigma }_{\mathrm{MR}}^2(\beta ,\omega ,\gamma ))\text{as}N\to \infty ,\end{array}$$ 6.21

   where ${\sigma }_{\mathrm{MR}}^2(\beta ,\omega ,\gamma )$ is given by Proposition 6.1.

2. Suppose that ${\epsilon }_E=0,d_{max}<\infty ,R_0>1$ and $z>0$. Then, in the event of a major outbreak, (6.21) holds with $D_{\epsilon }$ replaced by D in (6.3)–(6.7).

Remark 6.1

(Proving Conjecture 6.1) Part (a) of Conjecture 6.1 follows immediately from Conjecture 4.1 and Proposition 6.1; see Remark 4.1 for how Conjecture 4.1 might be proved. Part (b) of Conjecture 6.1 is concerned with epidemics started by a trace of infection, i.e. with ${\epsilon }_E=0$. Similar CLTs for the final size of a wide range of SIR epidemics (e.g. von Bahr and Martin-Löf (1980), Scalia-Tomba (1985) and Ball and Neal (2003)) suggest that letting ${\epsilon }_E\downarrow 0$ in the CLT with ${\epsilon }_E>0$ yields the correct CLT when ${\epsilon }_E=0$ for epidemics that become established and lead to a major outbreak. This is proved for the SIR epidemic without dropping of edges on configuration model networks in Ball (2018); see Remark 4.1. A similar proof should hold for the present model with dropping of edges.

Remark 6.2

(The condition$z>0$) The condition $z>0$ in Proposition 6.1 and Conjecture 6.1 is required to ensure that $\tilde{\tau }<\infty$; recall from Sect. 5.3 that $z={\mathrm{e}}^{-(\beta +\omega )\tilde{\tau }}$. Note from (5.28) that $z>0$ implies $\rho <1$, so the LLN and functional CLT in Ethier and Kurtz (1986), Chapter 11, hold for both the original and random time-scale transformed processes $\{{\mathit{W}}^N(t)\}$ and $\{{\tilde{\mathit{W}}}^N(t)\}$ provided there is a maximum degree; see Appendix B. Further, as explained in Appendix C, if ${\epsilon }_E>0$ then $z=0$ if and only if $\gamma =\omega =f_{D_{\epsilon }}^{\prime }(0)=0$. Now $f_{D_{\epsilon }}^{\prime }(0)=0$ if and only if $p_1-{\epsilon }_1=0$. Thus $z>0$ unless there is no recovery of infectives, no droping of edges and the limiting fraction of degree-1 susceptibles is 0. The same conclusion holds when ${\epsilon }_E=0$.

Extension to iid degrees: epidemics on an NSW random graph

In this section we assume that the underlying network is constructed from a sequence $D_1,D_2,\dots$ of independent and identically distributed copies of the random variable D, which describes the degree of a typical individual. The random variables $D_1,D_2,\dots ,D_N$ are used to construct a network of N individuals, yielding a realisation of NSW random graph. The almost sure convergence results described in Theorem 3.1 (and the corresponding time-transformed almost sure convergence result of Sect. 4) still hold for the present model, as noted previously, but the functional CLT and the CLT for the final size (Theorem 3.2 and Conjecture 6.1) need modifying, as the variability in the empirical degree distribution of the random network (and hence in the initial conditions for the effective degree process $\{{\mathit{W}}^N(t)\}$) is of the same order of magnitude as that of the process itself. The modified results for epidemics on an NSW random graph are presented in Theorem 7.2 and Conjecture 7.1. In order to prove and motivate, respectively, these results we need a version of the functional CLT (Theorem 11.2.3) in Ethier and Kurtz (1986) that allows for asymptotically random initial conditions; see Theorem 7.1 below, which may be of more general interest beyond the present paper. Like the above-mentioned Theorem 11.2.3, Theorem 7.1 assumes a finite-dimensional state space, which for our application amounts to assuming that $d_{max}<\infty$.

The limiting Gaussian process $\{\mathit{V}(t)\}$ in Theorem 3.2 admits the Itô integral representation

$$\begin{array}{c}\hfill \mathit{V}(t)=\Phi (t,0)\mathit{V}(0)+{\int }_0^t\Phi (t,s)\mathrm{d}\mathit{U}(s)(t\ge 0),\end{array}$$ 7.1

where $\{\mathit{U}(t)\}$ is a time-inhomogeneous Brownian motion (see Ethier and Kurtz (1986), Theorem 11.2.3, page 458) and $\mathit{V}(0)={lim}_{N\to \infty }\sqrt{N}\left({\mathit{W}}^N,(0),-,\mathit{w},(0)\right)$. (To aid connection with Ethier and Kurtz (1986), $\mathit{V}(t)$ and $\mathit{U}(t)$ are now column vectors.) In Ethier and Kurtz (1986), Theorem 11.2.3, $\mathit{V}(0)$ is nonrandom. In Theorem 7.1 below, we allow $\mathit{V}(0)$ to be random.

Theorem 7.1

(Functional CLT for process with asymptotically random initial conditions) Suppose that the conditions of Ethier and Kurtz (1986), Theorem 11.2.3, are satisfied except that $\sqrt{N}\left(N^{-1},{\mathit{W}}^N,(0),-,\mathit{w},(0)\right)\stackrel{\mathrm{D}}{⟶}\mathit{V}(0)$ as $N\to \infty$, where $\mathit{V}(0)\sim N(\mathbf{0},{\Sigma }_0)$. Then

$$\begin{array}{c}\hfill \sqrt{N}\left(\{N^{-1}{\mathit{W}}^N(t)\},-,\{\mathit{w}(t)\}\right)\Rightarrow \{\mathit{V}(t)\}\text{as}N\to \infty ,\end{array}$$ 7.2

where $\{\mathit{V}(t)\}=\{\mathit{V}(t):t\ge 0\}$ is a zero-mean Gaussian process with covariance function given, for $t_1,t_2\ge 0$, by

$$\begin{array}{c}\hfill \mathrm{cov}\left(\mathit{V},(t_1),,,\mathit{V},(t_2)\right)=\Phi (t_1,0){\Sigma }_0\Phi {(t_2,0)}^{\top }+{\int }_0^{min(t_1,t_2)}\Phi (t_1,u)G(\mathit{w}(u))\Phi {(t_2,u)}^{\top }\mathrm{d}u.\end{array}$$ 7.3

Proof

It is easily seen that the proof of Ethier and Kurtz (1986), Theorem 11.2.3, continues to hold in this more general setting. In particular, the limiting process satisfies (7.1), where now $\mathit{V}(0)\sim N(\mathbf{0},{\Sigma }_0)$, so $\{\mathit{V}(t)\}$ is a zero-mean Gaussian process. Further, the time-inhomogeneous Brownian motion $\{\mathit{U}(t)\}$ arises as the weak limit, as $N\to \infty$, of the (suitably centred and scaled) Poisson processes used to construct realisations of $\{{\mathit{W}}^N(t)\}$$(N=1,2,\dots )$, and hence is independent of $\mathit{V}(0)$. The covariance function in (7.3) then follows immediately from (7.1). $\square$

Remark 7.1

(Computing the asymptotic variance) Setting $t_1=t_2=t$ in (7.3) and differentiating as in Remark 3.4 shows that $\Sigma (t)=\mathrm{var}(\mathit{V}(t))$ satisfies the ODE (3.17) but now with initial condition $\Sigma (0)={\Sigma }_0$.

Remark 7.2

(Non-Gaussian limiting initial conditions) The covariance function (7.3) also holds when $\mathit{V}(0)$ is non-Gaussian, provided $\mathrm{E}[\mathit{V}(0)]=0$ and $\mathrm{var}(\mathit{V}(0))={\Sigma }_0$, though of course $\{\mathit{V}(t)\}$ is no longer Gaussian.

Theorem 7.2

(Functional CLT for epidemic on NSW graph with dropping)

Suppose that as $N\to \infty ,\left(N^{-1},({\mathit{X}}^N(0),{\mathit{Y}}^N(0),Z_E^N(0)),-,(\mathit{x}(0),\mathit{y}(0),z_E(0))\right)\stackrel{\mathrm{D}}{⟶}N(\mathbf{0},{\Sigma }_0)$. Then the same functional CLT holds as in the MR graph situation (Theorem 3.2), but with the covariance function of $\{\mathit{V}(t)\}$ changed in accordance with Eq. (7.3) and Remark 7.1 to reflect the randomness in the initial conditions.

Proof

The details of the proof, applying Theorem 7.1, are exactly the same as those in Appendix B where Theorem 11.2.3 of Ethier and Kurtz (1986) is applied to prove Theorem 3.2.

Remark 7.3

(The asymptotic variance matrix${\Sigma }_0$) Note that ${\Sigma }_0$ in Theorem 7.2 depends on how the initial infectives are chosen from the population. An example and some discussion can be found in Sect. 10.1. Also note that Theorem 7.2 as presented allows for the possibility of some initially recovered individuals in the population. This is to simplify the presentation of the theorem; the assumption of no initially recovered individuals implies that $Z_E^N(0)=0$, from which it follows that $z_E(0)=0$ and the last row and column of ${\Sigma }_0$ have all entries 0.

Next, we use Theorem 7.1 to conjecture a CLT for the final size of the epidemic on an NSW random graph. For $N=1,2,\dots$, let $D^{(N)}$ denote a random variable with distribution given by the empirical distribution of $D_1,D_2,\dots ,D_N$, so

$$\begin{array}{c}\hfill \mathrm{P}\left(D^{(N)},=,k\right)=N^{-1}\sum _{i=1}^N{1}_{\{D_i=k\}}(k=0,1,\dots ).\end{array}$$ 7.4

For $N=1,2,\dots$, let $T_{\mathrm{NSW}}^N$ be the final size of the epidemic on an NSW configuration model random graph having N vertices. We consider epidemics initiated by a trace of infection and assume that the variability in the initial conditions is owing entirely to the variability in $D^{(N)}$.

Conjecture 7.1

(CLT for final size of epidemic on NSW graph with dropping)

Suppose that ${\epsilon }_E=0$, $d_{max}<\infty$, $R_0>1$ and $z>0$. Then, in the event of a major outbreak,

$$\begin{array}{c}\hfill \sqrt{N}\left(N^{-1},T_{\mathrm{NSW}}^N,-,\rho \right)\stackrel{\mathrm{D}}{⟶}N(0,{\sigma }_{\mathrm{NSW}}^2(\beta ,\omega ,\gamma ))\text{as}N\to \infty ,\end{array}$$ 7.5

where

$$\begin{array}{c}\hfill {\sigma }_{\mathrm{NSW}}^2(\beta ,\omega ,\gamma )={\sigma }_{\mathrm{MR}}^2(\beta ,\omega ,\gamma )+{\sigma }_0^2(\beta ,\omega ,\gamma ),\end{array}$$ 7.6

with ${\sigma }_{\mathrm{MR}}^2(\beta ,\omega ,\gamma )$ given by (6.2) (replacing $D_{\epsilon }$ by D in (6.3)–(6.7)) and

$$\begin{array}{cc}& {\sigma }_0^2(\beta ,\omega ,\gamma )\hfill \\ \hfill & =f_D\left(\tilde{\psi },{(z)}^2\right)-{(1-\rho )}^2+\tilde{b}{(z)}^2\tilde{\psi }{(z)}^2{z}^2{f}_D^{\prime \prime }\left(\tilde{\psi },{(z)}^2\right)\hfill \\ \hfill & +\tilde{b}(z)f_D^{\prime }\left(\tilde{\psi },{(z)}^2\right)z\left[z,\tilde{b},(z),-,2,\tilde{\psi },(z)\right]\hfill \\ \hfill & +\tilde{b}{(z)}^2{z}^2{\left(\frac{(\beta +\omega +\gamma )z-\gamma }{\beta +\omega }\right)}^2\left({\sigma }_D^2,+,{\mu }_D^2\right)\hfill \\ \hfill & -2\tilde{b}{(z)}^2{z}^2{\mu }_D\left(\frac{(\beta +\omega +\gamma )z-\gamma }{\beta +\omega }\right)\left[\frac{(\beta +\omega +\gamma )z-\gamma }{\beta +\omega },+,\frac{(\beta +\omega +\gamma )}{\beta },\tilde{\psi },(z)\right].\hfill \end{array}$$ 7.7

We now give the argument leading to this conjecture. Suppose, for the time being, that ${\epsilon }_E>0$ and consider the random time-scale transformed process $\{{\tilde{\mathit{W}}}^N(t)\}$, defined in Sect. 4, but now for the epidemic on an NSW network. Using (4.6) and Theorem 7.1, for any $t_0\in [0,\tilde{\tau })$,

$$\begin{array}{c}\hfill \sqrt{N}\left(\{N^{-1}{\tilde{\mathit{W}}}^N(t):0\le t\le t_0\},-,\{\tilde{\mathit{w}}(t):0\le t\le t_0\}\right)\Rightarrow \{{\tilde{\mathit{V}}}_{\mathrm{NSW}}(t)\}\text{as}N\to \infty ,\end{array}$$

where $\{{\tilde{\mathit{V}}}_{\mathrm{NSW}}(t):0\le t\le t_0\}$ is a zero-mean Gaussian process with variance–covariance matrix at time t given by

$$\begin{array}{c}\hfill {\tilde{\Sigma }}_{\mathrm{NSW}}(t)={\tilde{\Sigma }}_{\mathrm{MR}}(t)+{\tilde{\Sigma }}^0(t);\end{array}$$ 7.8

${\tilde{\Sigma }}_{\mathrm{MR}}(t)$ is given by (4.7) and ${\tilde{\Sigma }}^0(t)=\Phi (t,0){\Sigma }_0\Phi {(t,0)}^{\top }$, with ${\Sigma }_0$ being defined as in Theorem 7.1. Then arguing as in the derivation of Proposition 4.1 yields, for any $\delta \in (0,y_E(0))$,

$$\begin{array}{c}\hfill \sqrt{N}\left(N^{-1},{\mathit{W}}^N,({\tau }_{\delta }^N),-,\mathit{w},({\tau }_{\delta })\right)\stackrel{\mathrm{D}}{⟶}N\left(\mathbf{0},,,{\Sigma }_{\mathrm{NSW},\delta }\right),\text{as}N\to \infty ,\end{array}$$ 7.9

where

$$\begin{array}{c}\hfill {\Sigma }_{\mathrm{NSW},\delta }=B_{\delta }{\tilde{\Sigma }}_{\mathrm{NSW}}({\tilde{\tau }}_{\delta })B_{\delta }^{\top }.\end{array}$$ 7.10

We now assume that (7.9) extends to the case $\delta =0$, so (7.5) holds with

$$\begin{array}{c}\hfill {\sigma }_{\mathrm{NSW}}^2(\beta ,\omega ,\gamma )=(\mathbf{1},\mathbf{0},0){\Sigma }_{\mathrm{NSW},0}{(\mathbf{1},\mathbf{0},0)}^{\top };\end{array}$$

cf. (6.1). Thus, using (7.8) and (7.10),

$$\begin{array}{c}\hfill {\sigma }_{\mathrm{NSW}}^2(\beta ,\omega ,\gamma )={\sigma }_{\mathrm{MR}}^2(\beta ,\omega ,\gamma )+{\sigma }_0^2(\beta ,\omega ,\gamma ),\end{array}$$ 7.11

where

$$\begin{array}{cc}\hfill {\sigma }_0^2(\beta ,\omega ,\gamma )=& (\mathbf{1},\mathbf{0},0)B{\tilde{\Sigma }}^0(\tilde{\tau })B^{\top }{(\mathbf{1},\mathbf{0},0)}^{\top }\hfill \\ \hfill =& (\mathbf{1},b(\tilde{\tau })\mathit{p},0){\tilde{\Sigma }}^0(\tilde{\tau }){(\mathbf{1},b(\tilde{\tau })\mathit{p},0)}^{\top },\hfill \end{array}$$ 7.12

using (6.14).

We now assume that the above extends in the obvious way to ${\epsilon }_E=0$ and calculate the resulting asymptotic variance ${\sigma }_{\mathrm{NSW}}^2(\beta ,\omega ,\gamma )$. Write

$$\begin{array}{c}\hfill {\tilde{\Sigma }}^0(\tilde{\tau })=\left[\begin{array}{ccc}{\tilde{\Sigma }}_{\mathit{XX}}^0(\tilde{\tau })& {\tilde{\Sigma }}_{\mathit{XY}}^0(\tilde{\tau })& {\tilde{\Sigma }}_{\mathit{XZ}}^0(\tilde{\tau })\\ {\tilde{\Sigma }}_{\mathit{YX}}^0(\tilde{\tau })& {\tilde{\Sigma }}_{\mathit{YY}}^0(\tilde{\tau })& {\tilde{\Sigma }}_{\mathit{YZ}}^0(\tilde{\tau })\\ {\tilde{\Sigma }}_{\mathit{ZX}}^0(\tilde{\tau })& {\tilde{\Sigma }}_{\mathit{ZY}}^0(\tilde{\tau })& {\tilde{\Sigma }}_{\mathit{ZZ}}^0(\tilde{\tau })\end{array}\right].\end{array}$$ 7.13

Then

$$\begin{array}{cc}\hfill {\sigma }_0^2(\beta ,\omega ,\gamma )& =\mathbf{1}{\tilde{\Sigma }}_{\mathit{XX}}^0(\tilde{\tau }){\mathbf{1}}^{\top }+2b(\tilde{\tau })\mathit{p}{\tilde{\Sigma }}_{\mathit{YX}}^0(\tilde{\tau }){\mathbf{1}}^{\top }+b{(\tilde{\tau })}^2\mathit{p}{\tilde{\Sigma }}_{\mathit{YY}}^0(\tilde{\tau }){\mathit{p}}^{\top }\hfill \\ \hfill & =\underset{N\to \infty }{lim}N\left[\mathrm{var},\left({\tilde{x}}^N,(\tilde{\tau })\right),+,2,b,(\tilde{\tau }),\mathrm{cov},\left({\tilde{x}}^N,(\tilde{\tau }),,,{\tilde{y}}_E^N,(\tilde{\tau })\right),+,b,{(\tilde{\tau })}^2,\mathrm{var},\left({\tilde{y}}_E^N,(\tilde{\tau })\right)\right],\hfill \end{array}$$ 7.14

where ${\tilde{x}}^N(\tilde{\tau })$ and ${\tilde{y}}_E^N(\tilde{\tau })$ are the deterministic ‘number’ of susceptible individuals and infectious half-edges, given by (5.26) and (5.11), respectively, but with (random) initial conditions induced by the NSW random graph on N vertices.

Recall the function $\psi$ and the random variable $D^{(N)}$, defined at (5.5) and (7.4), respectively. It follows from (5.26) that

$$\begin{array}{c}\hfill {\tilde{x}}^N(\tilde{\tau })=f_{D^{(N)}}\left(\psi ,(,\tilde{\tau },)\right)\end{array}$$ 7.15

and, from (5.11), that

$$\begin{array}{c}\hfill {\tilde{y}}_E^N(\tilde{\tau })=\frac{\beta +\omega +\gamma }{\beta +\omega }{\mu }_{D^{(N)}}{\mathrm{e}}^{-2(\beta +\omega )\tilde{\tau }}-\frac{\gamma }{\beta +\omega }{\mu }_{D^{(N)}}{\mathrm{e}}^{-(\beta +\omega )\tilde{\tau }}-{\mathrm{e}}^{-(\beta +\omega )\tilde{\tau }}{f}_{D^{(N)}}^{\prime }\left(\psi ,(,\tilde{\tau },)\right).\end{array}$$ 7.16

Let $\theta \in [0,1]$. Note, for example, that $f_{D^{(N)}}(\theta )=N^{-1}{\sum }_{i=1}^N{\theta }^{D_i}$, so $\mathrm{var}\left(f_{D^{(N)}},(\theta )\right)=N^{-1}\left[f_D,({\theta }^2),-,f_D,{(\theta )}^2\right]$ and $f_{D^{(N)}}(\theta )$ is asymptotically normally distributed by the CLT for independent and identically distributed random variables. This and similar elementary calculations show that

$$\begin{array}{cc}\hfill \underset{N\to \infty }{lim}N\mathrm{var}\left(f_{D^{(N)}},(\theta )\right)=& f_D({\theta }^2)-f_D{(\theta )}^2,\hfill \end{array}$$ 7.17

$$\begin{array}{cc}\hfill \underset{N\to \infty }{lim}N\mathrm{var}\left({\mu }_{D^{(N)}}\right)=& {\sigma }_D^2(=\mathrm{var}(D)),\hfill \end{array}$$ 7.18

$$\begin{array}{cc}\hfill \underset{N\to \infty }{lim}N\mathrm{var}\left(f_{D^{(N)}}^{\prime },(\theta )\right)=& {\theta }^2{f}_D^{\prime \prime }({\theta }^2)+f_D^{\prime }({\theta }^2)-f_D^{\prime }{(\theta )}^2,\hfill \end{array}$$ 7.19

$$\begin{array}{cc}\hfill \underset{N\to \infty }{lim}N\mathrm{cov}\left({\mu }_{D^{(N)}},,,f_{D^{(N)}},(\theta )\right)=& \theta f_D^{\prime }(\theta )-{\mu }_D{f}_D(\theta ),\hfill \end{array}$$ 7.20

$$\begin{array}{cc}\hfill \underset{N\to \infty }{lim}N\mathrm{cov}\left({\mu }_{D^{(N)}},,,f_{D^{(N)}}^{\prime },(\theta )\right)=& \theta f_D^{\prime \prime }(\theta )+f_D^{\prime }(\theta )-{\mu }_D{f}_D^{\prime }(\theta ),\hfill \end{array}$$ 7.21

$$\begin{array}{cc}\hfill \underset{N\to \infty }{lim}N\mathrm{cov}\left(f_{D^{(N)}},(\theta ),,,f_{D^{(N)}}^{\prime },(\theta )\right)=& \theta f_D^{\prime }({\theta }^2)-f_D(\theta )f_D^{\prime }(\theta ).\hfill \end{array}$$ 7.22

Recall that $z={\mathrm{e}}^{-(\beta +\omega )\tilde{\tau }}$, $\tilde{\psi }(z)=p_{\omega }+(1-p_{\omega })z$ and $\rho =1-f_D\left(\tilde{\psi },(z)\right)$ (see (5.25) and Proposition 5.1(b)). Setting $\delta =0$ in (5.27) then gives (cf. (5.25))

$$\begin{array}{c}\hfill f_D^{\prime }\left(\tilde{\psi },(z)\right)=\left[\frac{(\beta +\omega +\gamma )z-\gamma }{\beta +\omega }\right]{\mu }_D.\end{array}$$ 7.23

Then, using (7.15) and (7.17),

$$\begin{array}{c}\hfill \underset{N\to \infty }{lim}N\mathrm{var}\left({\tilde{x}}^N,(\tilde{\tau })\right)=f_D\left(\tilde{\psi },{(z)}^2\right)-{(1-\rho )}^2,\end{array}$$ 7.24

using (7.15), (7.16), (7.20) and (7.22)

$$\begin{array}{c}\hfill \underset{N\to \infty }{lim}N\mathrm{cov}\left({\tilde{x}}^N,(\tilde{\tau }),,,{\tilde{y}}_E^N,(\tilde{\tau })\right)=z\tilde{\psi }(z)\left[{\left(z,+,\frac{\gamma }{\beta +\omega },(z-1)\right)}^2,{\mu }_D,-,f_D^{\prime },\left(\tilde{\psi },{(z)}^2\right)\right]\end{array}$$ 7.25

and

$$\begin{array}{cc}\hfill \underset{N\to \infty }{lim}N\mathrm{var}\left({\tilde{y}}_E^N,(\tilde{\tau })\right)& =z^2\left[{\left(z,+,\frac{\gamma }{\beta +\omega },(z-1)\right)}^2,\left({\sigma }_D^2,+,{\mu }_D^2,-,2,{\mu }_D\right)\right)\hfill \\ \hfill & +\tilde{\psi }{(z)}^2{f}_D^{\prime \prime }\left(\tilde{\psi },{(z)}^2\right)+f_D^{\prime }\left(\tilde{\psi },{(z)}^2\right)\hfill \\ \hfill & \left(-,,2,\left(z,+,\frac{\gamma }{\beta +\omega },(z-1)\right),\tilde{\psi },(z),f_D^{\prime \prime },\left(\tilde{\psi },(z)\right)\right].\hfill \end{array}$$ 7.26

It follows from (5.4), (6.13), (6.15) (all with $D_{\epsilon }$ replaced by D) and (7.23), that

$$\begin{array}{c}\hfill b(\tilde{\tau })=\frac{\beta \left[\frac{(\beta +\omega +\gamma )z-\gamma }{\beta +\omega }\right]{\mu }_D}{z\left[\beta ,f_D^{\prime \prime },\left(\tilde{\psi },(z)\right),-,(\beta +\omega +\gamma ),{\mu }_D\right]},\end{array}$$ 7.27

so

$$\begin{array}{c}\hfill b(\tilde{\tau })z{f}_D^{\prime \prime }\left(\tilde{\psi },(z)\right)=\left[(\beta +\omega +\gamma ),\left(\frac{1}{\beta +\omega },+,\frac{b(\tilde{\tau })}{\beta }\right),z,-,\frac{\gamma }{\beta +\omega }\right]{\mu }_D\end{array}$$ 7.28

Note that $b(\tilde{\tau })=\tilde{b}(z)$, where $\tilde{b}(z)$ is given by (6.3) with $D_{\epsilon }$ replaced by D. Substituting (7.24), (7.25) and (7.26) into (7.14), and invoking (7.23) and (7.28), yields (7.7) after a little algebra.

Remark 7.4

(Proving Conjecture 7.1) The two remaining steps required to prove Conjecture 7.1 are to justify (i) that (7.9) holds when $\delta =0$ and (ii) letting ${\epsilon }_E\downarrow 0$ to obtain a CLT in the event of a major outbreak; cf. Remarks 4.1 and 6.1 which discuss these steps, respectively, for an epidemic on a MR random graph. As for epidemics on MR random graphs, the proofs in Ball (2018) for the SIR epidemic without dropping of edges on an NSW random graph should extend to the model with dropping of edges.

Remark 7.5

(Conjecture 7.1with${\epsilon }_E>0$) It is possible to extend Conjecture 7.1 to consider also the case ${\epsilon }_E>0$ and obtain an analogous result to Conjecture 6.1(a). The asymptotic variance ${\sigma }_{\mathrm{NSW}}^2(\beta ,\omega ,\gamma )$ is given by (7.11) and (7.12) but now ${\tilde{\Sigma }}^0(\tilde{\tau })$ depends on how the initial infectives are chosen.

Increased recovery rate instead of dropping edges

Recall the equivalent formulation of the model with dropping in which an infectious individual sends out warnings to each neighbour independently at rate $\omega$, and susceptible individuals who receive such a warning immediately drop the corresponding edge. Consider a different but related model where, instead of sending out warnings to each neighbour at rate $\omega$independently, one single warning (at rate $\omega$) is used for all neighbours simultaneously (and all of them immediately drop the edges). The effect of this change is that edge droppings become dependent. However, from the point of view of a given susceptible neighbour the probability that it drops its edge to a given infective is unchanged. Thus, for a given susceptible, such a warning (where all susceptible neighbours drop their edges) has the same effect as if its infective neighbour recovered. Hence, we consider a model without dropping, but with recovery rate $\gamma +\omega$ instead of $\gamma$. We use $(\gamma ,\omega )$ and $(\gamma +\omega ,0)$ to refer to the two models, where the first component refers to the recovery rate and the second component to the dropping rate.

The above reasoning suggests that the dropping model $(\gamma ,\omega )$ should in some ways resemble this modified $(\gamma +\omega ,0)$ model. In fact, we have seen already in Sect. 5.3 (Remark 5.3) that, as $N\to \infty$, the scaled process of susceptibles in the two epidemics converge to the same LLN limit, and the same LLN holds for the final fraction getting infected. However, the two models are stochastically different, even for the process of susceptibles. The underlying reason for this difference is that independent warning signals makes the total number of infections less variable compared to having one warning signal to all susceptible neighbours. Consequently, the probability of a major outbreak is greater in the dropping model $(\gamma ,\omega )$ than in the modified $(\gamma +\omega ,0)$ model, as we prove in Theorem 8.1 below. Furthermore, we expect that the decrease in variability of the number of infections made by an infective decreases the limiting variance of both the whole process of susceptibles and the final size in the event of a major outbreak compared to the modified $(\gamma +\omega ,0)$ model. This is illustrated by the numerical results in Sect. 10.6.

Consider the beginning of an outbreak and an infectious individual having k susceptible neighbours. Let $Y_k^{(\gamma ,\omega )}$ be the number of these k neighbours that the infectious individual infects in the dropping model and define $Y_k^{(\gamma +\omega ,0)}$ similarly for the modified model. We compute the distributions of these two offspring random variables.

In the $(\gamma ,\omega )$ model we first condition on the infectious period I, which has an $\mathrm{Exp}(\gamma )$ distribution, i.e. an exponential distribution with rate $\gamma$ and hence mean ${\gamma }^{-1}$. Given the duration of the infectious period $I=t$, the infectious individual infects each of its k susceptible neighbours independently, and a given neighbour is infected if and only if there is an infectious contact before t and the edge has not been dropped before then. Thus, conditional upon $I=t$, the probability that the given neighbour is infected is

$$\begin{array}{c}\hfill {\int }_0^t\beta {\mathrm{e}}^{-(\beta +\omega )s}\mathrm{d}s=\frac{\beta }{\beta +\omega }\left(1,-,{\mathrm{e}}^{-(\beta +\omega )t}\right).\end{array}$$

Given $I=t$, the number of neighbours infected follows a binomial distribution with parameters k and the probability above. Hence, if we relax the conditioning, it follows that $Y_k^{(\gamma ,\omega )}$ has the mixed-Binomial distribution

$$\begin{array}{c}\hfill Y_k^{(\gamma ,\omega )}\sim \mathrm{MixBin}\left(k,,,,\frac{\beta }{\beta +\omega },\left(1,-,{\mathrm{e}}^{-(\beta +\omega )I}\right)\right),\text{where}I\sim \mathrm{Exp}(\gamma ).\end{array}$$ 8.1

Setting $\gamma =\gamma +\omega$ and $\omega =0$ yields immediately that

$$\begin{array}{c}\hfill Y_k^{(\gamma +\omega ,0)}\sim \mathrm{MixBin}\left(k,,,,1,-,{\mathrm{e}}^{-\beta I^{\ast }}\right),\text{where}{I}^{\ast }\sim \mathrm{Exp}(\gamma +\omega ).\end{array}$$ 8.2

It is not hard to show that

$$\begin{array}{c}\hfill \mathrm{E}\left[Y_k^{(\gamma ,\omega )}\right]=\mathrm{E}\left[Y_k^{(\gamma +\omega ,0)}\right]=k\frac{\beta }{\beta +\gamma +\omega },\end{array}$$ 8.3

and that $\mathrm{var}\left(Y_k^{(\gamma ,\omega )}\right)<\mathrm{var}\left(Y_k^{(\gamma +\omega ,0)}\right)$.

Suppose that the epidemic is initiated by a single individual, chosen uniformly at random from the entire population, becoming infective. Then the number of susceptible neighbours of the initial infective is distributed according to D and, during the early stages of an outbreak in a large population, the number of susceptible neighbours of a subsequently infected individual is distributed as $\tilde{D}-1$ (see Sect. 2). These results hold for both models. It follows that the early stages of the dropping model in a large population can be approximated, on a generation basis, by a Galton–Watson branching process having offspring distribution that is a mixture of $Y_k^{(\gamma ,\omega )}$, $k=0,1,\dots$, with mixing probabilities $p_k,$$k=0,1,\dots ,$ in the initial generation and mixing probabilities ${\tilde{p}}_k,$$k=0,1,\dots ,$ in all subsequent generations, where ${\tilde{p}}_k={\mu }_D^{-1}(k+1)p_{k+1}$. (Note that ${\tilde{p}}_k$, $k=0,1,\dots$, is the probability mass function of $\tilde{D}-1$.) A similar approximation holds for the modified model, except $Y_k^{(\gamma ,\omega )}$ is replaced by $Y_k^{(\gamma +\omega ,0)}$. These approximations can be made rigorous in the limit as the population size $N\to \infty$ by using a coupling argument, as in e.g.  Ball and Sirl (2012). In the limit as $N\to \infty$, the probability of a major outbreak in the epidemic model is given by the probability that the corresponding approximating branching process does not go extinct.

The following lemma, proved in Appendix F, is required for the proof of Theorem 8.1 below, which shows that the probability of a major outbreak is greater in the dropping model than in the corresponding modified model. First, some more notation is required. For $k=1,2,\dots$ let $f_k^{(\gamma ,\omega )}(s)=\mathrm{E}\left[s^{Y_k^{(\gamma ,\omega )}}\right]$, $s\in \mathbb{R}$, denote the probability-generating function (PGF) of $Y_k^{(\gamma ,\omega )}$, the number of neighbours that an infectious individual with k susceptible neighbours infects in the early stages of the $(\gamma ,\omega )$ dropping model, and define $f_k^{(\gamma +\omega )}(s)$ similarly for the $(\gamma +\omega ,0)$ modified model. Let $f_0^{(\gamma ,\omega )}(s)=f_0^{(\gamma +\omega )}(s)=1$$(s\in \mathbb{R})$. Then, for the dropping model, the approximating branching process has offspring PGF $f^{(\gamma ,\omega )}(s)={\sum }_{k=0}^{\infty }{p}_k{f}_k^{(\gamma ,\omega )}(s)$ in the first generation and offspring PGF ${\tilde{f}}^{(\gamma ,\omega )}(s)={\sum }_{k=0}^{\infty }{\tilde{p}}_k{f}_k^{(\gamma ,\omega )}(s)$ in all subsequent generations, with analogous results holding for the $(\gamma +\omega ,0)$ model.

Lemma 1

Suppose that $\beta >0$ and $\gamma >0$. Then, for $k=0,1,\dots$,

$$\begin{array}{c}\hfill f_k^{(\gamma ,\omega )}(s)\le f_k^{(\gamma +\omega )}(s)(0\le s\le 1),\end{array}$$ 8.4

with strict inequality for all $s\in [0,1)$ when $k\ge 2$.

Theorem 8.1

(Probability of a major outbreak)

1. The basic reproduction number $R_0$ for both the dropping and modified models is given by (2.1).

2. Suppose that $R_0>1$ and the epidemic is initiated by a single infective individual, chosen uniformly at random from the population. Then the probability of a major outbreak $p_{\mathrm{maj}}^{(\gamma ,\omega )}$ for the $(\gamma ,\omega )$ dropping model is strictly greater than the probability of a major outbreak $p_{\mathrm{maj}}^{(\gamma +\omega ,0)}$ for the modified $(\gamma +\omega ,0)$ model, i.e.

   $$\begin{array}{c}\hfill p_{\mathrm{maj}}^{(\gamma ,\omega )}>p_{\mathrm{maj}}^{(\gamma +\omega ,0)}.\end{array}$$ 8.5

Proof

The basic reproduction number is given by the offspring mean of a typical (i.e. non-initial generation) infective, so for both models, using (8.3),

$$\begin{array}{c}\hfill R_0=\sum _{i=1}^{\infty }{\tilde{p}}_{k}k\frac{\beta }{\beta +\gamma +\omega }=\frac{\beta }{\beta +\gamma +\omega }\left({\mu }_D,+,\frac{{\sigma }_D^2}{{\mu }_D},-,1\right),\end{array}$$

which proves part (a).

Turning to part (b), suppose that $R_0>1$. Then, using standard branching process theory gives that, for the dropping model, the probability of a major outbreak is given by $p_{\mathrm{maj}}^{(\gamma ,\omega )}=1-f^{(\gamma ,\omega )}({\sigma }^{(\gamma ,\omega )})$, where ${\sigma }^{(\gamma ,\omega )}$ is the unique solution in [0, 1) of ${\tilde{f}}^{(\gamma ,\omega )}(s)=s$; cf. Kenah and Robins (2007) and Ball and Sirl (2013). Analogously, for the modified model, $p_{\mathrm{maj}}^{(\gamma +\omega ,0)}=1-f^{(\gamma +\omega ,0)}({\sigma }^{(\gamma +\omega ,0)})$, where ${\sigma }^{(\gamma +\omega ,0)}$ is the unique solution in [0, 1) of ${\tilde{f}}^{(\gamma +\omega ,0)}(s)=s$.

Note that if $\mathrm{P}(D\ge 3)=0$ then $R_0\le 1$, so $R_0>1$ implies that $\mathrm{P}(D\ge 3)>0$. It then follows immediately from Lemma 1 that $f^{(\gamma ,\omega )}(s)<f^{(\gamma +\omega ,0)}(s)$ and ${\tilde{f}}^{(\gamma ,\omega )}(s)<{\tilde{f}}^{(\gamma +\omega ,0)}(s)$ for all $s\in [0,1)$. Hence, since ${\tilde{f}}^{(\gamma ,\omega )}(1)={\tilde{f}}^{(\gamma +\omega ,0)}(1)=1$ and the derivative of both ${\tilde{f}}^{(\gamma ,\omega )}$ and ${\tilde{f}}^{(\gamma +\omega ,0)}$ at $s=1$ is $R_0>1$ , it follows that ${\sigma }^{(\gamma ,\omega )}<{\sigma }^{(\gamma +\omega ,0)}$, whence $f^{(\gamma ,\omega )}({\sigma }^{(\gamma ,\omega )})<f^{(\gamma +\omega ,0)}({\sigma }^{(\gamma ,\omega )})<f^{(\gamma +\omega ,0)}({\sigma }^{(\gamma +\omega ,0)})$, as $f^{(\gamma +\omega ,0)}$ is strictly increasing on [0, 1]. Thus we obtain our statement (8.5). $\square$

Remark 8.1

(Other choices for initial infectives) Theorem 8.1 is easily extended to other assumptions concerning initial infectives; for example, to an epidemic initiated by $k>1$ infective individuals chosen uniformly at random from the population, or to an epidemic initiated by an infective of a specified degree.

No dropping of edges

We use the results from this paper to analyse the Markovian SIR epidemic on a configuration model network in Sect. 9.1 and the giant component of a configuration model network in Sect. 9.2. Note that in the case that there is no dropping of edges, i.e. $\omega =0$, we are in the setting of a Markovian SIR epidemic on a configuration model network. We treat the asymptotic variance of the final size for this model in Conjecture 9.1. If additionally, there is no recovery, i.e. $\omega =0=\gamma$, then in the event of a major outbreak, all individuals in the giant component eventually get infected. By using this we can apply the results from this paper to make statements about the size of the giant component in configuration model random graphs, see Conjecture 9.2.

SIR epidemic on configuration network

When $\omega =0$, the model reduces to the Markov SIR epidemic on a configuration model network. The formulae for the asymptotic variance of the final size for the epidemic on MR and NSW random networks simplify and become fully explicit given z, defined below.

Recall that ${\epsilon }_E={\sum }_{i=1}^{\infty }i{\epsilon }_i$. If ${\epsilon }_E>0$, then setting $\omega =0$ in Proposition 5.1(a) shows that $\rho =1-f_{D_{\epsilon }}(z)$, where z is the unique solution in [0, 1) of

$$\begin{array}{c}\hfill (\beta +\gamma )z-\gamma =\beta {\mu }_D^{-1}{f}_{D_{\epsilon }}^{\prime }(z).\end{array}$$ 9.1

If ${\epsilon }_E=0$, so the epidemic is started by a trace of infection, and $R_0>1$ then, using Proposition 5.1(b), $\rho =1-f_D(z)$, where z is the unique solution in [0, 1) of (9.1) with $f_{D_{\epsilon }}^{\prime }$ replaced by $f_D^{\prime }$.

Let $T_{\mathrm{MRND}}^N$ and $T_{\mathrm{NSWND}}^N$ denote the final size of the epidemic, with no dropping of edges, on an MR and NSW configuration model random network, respectively, each having N vertices. Let ${\sigma }_{\mathrm{MRND}}^2(\beta ,\gamma )={\sigma }_{\mathrm{MR}}^2(\beta ,0,\gamma )$ and ${\sigma }_{\mathrm{NSWND}}^2(\beta ,\gamma )={\sigma }_{\mathrm{NSW}}^2(\beta ,0,\gamma )$ denote the asymptotic variance of the final size for the epidemic on an MR and an NSW configuration model random network, respectively. The following conjecture gives fully explicit formulae for ${\sigma }_{\mathrm{MRND}}^2(\beta ,\gamma )$ and ${\sigma }_{\mathrm{NSWND}}^2(\beta ,\gamma )$ as functions of z, which are derived in Appendix G.

Conjecture 9.1

(CLT for final size of epidemic on configuration model networks)

1. For the SIR epidemic on an MR random network,

   • (i)
     if ${\epsilon }_E>0,d_{max}<\infty$ and $z>0$, then,

     $$\begin{array}{c}\hfill \sqrt{N}\left(N^{-1},T_{\mathrm{MRND}}^N,-,\rho \right)\stackrel{\mathrm{D}}{⟶}N(0,{\sigma }_{\mathrm{MRND}}^2(\beta ,\gamma ))\text{as}N\to \infty ,\end{array}$$ 9.2

     where

     9.3

     with

     $$\begin{array}{c}\hfill h(\beta ,\gamma ,z)=\frac{\gamma -(\beta +\gamma )z}{\beta +\gamma -\beta {\mu }_D^{-1}{f}_{D_{\epsilon }}^{\prime \prime }(z)};\end{array}$$ 9.4
   • (ii)
     if ${\epsilon }_E=0$, $d_{max}<\infty$, $R_0>1$ and $z>0$, then, in the event of a major outbreak, (9.2) holds with $\epsilon =0$ and $D_{\epsilon }$ replaced by D in (9.3) and (9.4).
2. For the epidemic on an NSW network, suppose that ${\epsilon }_E=0$, $d_{max}<\infty$, $R_0>1$ and $z>0$. Then, in the event of a major outbreak,

   $$\begin{array}{c}\hfill \sqrt{N}\left(N^{-1},T_{\mathrm{NSWND}}^N,-,\rho \right)\stackrel{\mathrm{D}}{⟶}N(0,{\sigma }_{\mathrm{NSWND}}^2(\beta ,\gamma ))\text{as}N\to \infty ,\end{array}$$ 9.5

   where

   $$\begin{array}{cc}\hfill {\sigma }_{\mathrm{NSWND}}^2(\beta ,\gamma )& =\rho (1-\rho )+2h(\beta ,\gamma ,z)\left(\frac{\gamma -(\beta +\gamma )z}{\beta }\right)\left(\frac{\beta +\gamma }{2\beta +\gamma }\right){\mu }_D\hfill \\ \hfill & +h{(\beta ,\gamma ,z)}^2\left[\frac{\gamma }{2\beta +\gamma },+,{\left(\frac{\gamma -(\beta +\gamma )z}{\beta }\right)}^2\right]({\sigma }_D^2+{\mu }_D^2)\hfill \\ \hfill & +2h{(\beta ,\gamma ,z)}^2\frac{(\beta +\gamma )[\gamma -(\beta +\gamma )z]}{{\beta }^2}z{\mu }_D,\hfill \end{array}$$ 9.6

   and $h(\beta ,\gamma ,z)$ is given by (9.4), with $D_{\epsilon }$ replaced by D.

Remark 9.1

(Proof of Conjecture 9.1) Although only conjectured here, Conjecture 9.1 (and hence also Conjecture 9.2 below) follow as a special case of Ball (2018), Theorems 2.1 and 2.2.

Remark 9.2

(Epidemics on NSW random network with${\epsilon }_E>0$) As for the model with dropping, Conjecture 9.1(b) can be extended to include the case ${\epsilon }_E>0$; the asymptotic variance ${\sigma }_{\mathrm{NSWND}}^2(\beta ,\gamma )$ then depends on how the initial infectives are chosen (cf. Remark 7.5).

Configuration model giant component

If $\omega =\gamma =0$ then the epidemic ultimately infects all individuals in all components of the random network that contain at least one initial infective. Thus, under suitable conditions, in the limit as $\epsilon \downarrow 0$, setting $\gamma =0$ in Conjecture 9.1(a)(ii) and (b) leads to CLTs for the size of the largest connected (i.e. giant) component in MR and NSW configuration model random graphs, respectively.

Let $\kappa =\mathrm{E}[D(D-2)]={\sigma }_D^2+{\mu }_D^2-2{\mu }_D$ and note that, setting $\omega =\gamma =0$ in the formula for $R_0$, $\kappa >0$ if and only if $R_0>1$. The above configuration model random graphs possess a giant component if and only if $\kappa >0$, see e.g. Durrett (2007), Theorem 3.1.3. Suppose that $\kappa >0$. Setting $\gamma =0$ and $D_{\epsilon }=D$ in (9.1) shows that z is now given by the unique solution in [0, 1) of

$$\begin{array}{c}\hfill {\mu }_{D}z=f_D^{\prime }(z).\end{array}$$ 9.7

and the asymptotic fraction of vertices in the giant components of the above configuration model random graphs is given by $\rho =1-f_D(z)$.

Let $R_{\mathrm{MR}}^N$ and $R_{\mathrm{NSW}}^N$ denote respectively the size of the giant component in an MR and an NSW random graph on N vertices. Setting $\gamma =0$ in Conjecture 9.1 (a)(ii) and (b) yields the following conjecture.

Conjecture 9.2

(CLT for the size of the giant component)

Suppose that $\kappa >0$, $d_{max}<\infty$ and $p_1>0$. Then,

1. for an MR random graph,

   $$\begin{array}{c}\hfill \sqrt{N}\left(N^{-1},R_{\mathrm{MR}}^N,-,\rho \right)\stackrel{\mathrm{D}}{⟶}N(0,{\sigma }_{\mathrm{MRGC}}^2)\text{as}N\to \infty ,\end{array}$$ 9.8

   where

   $$\begin{array}{cc}\hfill {\sigma }_{\mathrm{MRGC}}^2=& 1-\rho -f_D(z^2)-\frac{z^2}{\left[1,-,{\mu }_D^{-1},f_D^{\prime \prime },(z)\right]}\left[2,f_D^{\prime },(z^2),-,{\mu }_D\right]\hfill \\ \hfill & -\frac{z^2}{{\left[1,-,{\mu }_D^{-1},f_D^{\prime \prime },(z)\right]}^2}\left[f_D^{\prime },(z^2),+,z^2,f_D^{\prime \prime },(z^2),-,2,{\mu }_D,z^2\right];\hfill \end{array}$$ 9.9
2.    for an NSW random graph,

   $$\begin{array}{c}\hfill \sqrt{N}\left(N^{-1},R_{\mathrm{NSW}}^N,-,\rho \right)\stackrel{\mathrm{D}}{⟶}N(0,{\sigma }_{\mathrm{NSWGC}}^2)\text{as}N\to \infty ,\end{array}$$ 9.10

   where

   $$\begin{array}{cc}\hfill {\sigma }_{\mathrm{NSWGC}}^2& =\rho (1-\rho )+\frac{z^2}{\left[1,-,{\mu }_D^{-1},f_D^{\prime \prime },(z)\right]}{\mu }_D\hfill \\ \hfill & +\frac{z^4}{{\left[1,-,{\mu }_D^{-1},f_D^{\prime \prime },(z)\right]}^2}\left({\sigma }_D^2,+,{\mu }_D^2,-,2,{\mu }_D\right).\hfill \end{array}$$ 9.11

It is easily verified that the expressions (9.9) and (9.11) for the asymptotic variances ${\sigma }_{\mathrm{MRGC}}^2$ and ${\sigma }_{\mathrm{NSWGC}}^2$ coincide with those first obtained by Ball and Neal (2017) using a completely different method; a CLT was conjectured in that paper and subsequently proved for an MR random graph in Barbour and Röllin (2019), and for both MR and NSW random graphs by Janson (2018). The results proved in these three papers allow for unbounded degrees under suitable conditions.

Numerical examples

In this section we give numerical results which exemplify some of the limit theorems and support some of the conjectures presented in the paper and give examples of using those limiting results for approximation. Such approximations follow from our asymptotic results in exactly the same way as the approximate distribution of the sum of independent and identically distributed random variables follows from the classical CLT. For example, we can use Eq. (3.15) in Theorem 3.2 to say that, for large N, the distribution of ${\mathit{W}}^N(t)$ is approximately that of $N\mathit{w}(t)+\sqrt{N}\mathit{V}(t)$, from which approximations for the mean and variance of ${\mathit{W}}^N(t)$ follow immediately from the corresponding properties of the Gaussian process $\mathit{V}(t)$. We also explore numerically some aspects of the behaviour of the model we have analysed, using the asymptotic results we have derived. In our numerical examples relating to the temporal evolution of the epidemic we look only at the mean and variance of the number of infective individuals in the population, we do not investigate any other quantities of interest or explicitly investigate the covariance/correlation structure in any way.

In this section we use the notation $D\sim \text{Poi}(\lambda )$ or $D\sim \text{Geo}(p)$ to denote that the network degree distribution follows a standard Poisson or Geometric distribution with mass functions $p_k={\mathrm{e}}^{-\lambda }{\lambda }^k/k!$ ($k=0,1,\dots$) or $p_k=p{(1-p)}^k$ ($k=0,1,\dots$), respectively. In particular we shall use repeatedly in our examples the distributions $D\sim \text{Poi}(5)$ and $D\sim \text{Geo}(1/6)$. These distributions both have mean 5 and their standard deviations are $\sqrt{5}\approx 2.2$ and $\sqrt{30}\approx 5.5$ respectively.

First, however, we discuss some of the issues that arise in relation to the numerical implementation of our analytical results.

Implementation

The numerical implementation of our asymptotic results concerning epidemic final size (the formulae laid out in Propositions 5.1 and 6.1 and Conjecture 7.1) is straightforward, involving root-finding, numerical integration and derivatives up to order 3 of the degree distribution PGF $f_D$. For the degree distributions we use, we have $f_D^{(i)}(s)={\lambda }^i{e}^{-\lambda (1-s)}$ when $D\sim \text{Poi}(\lambda )$ and $f_D^{(i)}(s)=\frac{i!p{(1-p)}^i}{{(1-(1-p)s)}^{i+1}}$ when $D\sim \text{Geo}(p)$, with both formulae being valid for $i=0,1,\dots$. In the final size examples we always use the version of these results with ${\epsilon }_E=0$, i.e. we work under the asymptotic regime where the epidemic starts with a trace of infection. The results concerning the evolution of the epidemic through time (Theorems 3.1, 3.2 and 7.2) warrant discussion of some issues that arise.

An obvious first issue is initial conditions $(\mathit{x}(0),\mathit{y}(0),z_E(0))$ and $\Sigma (0)$ for the system of ODEs given by (3.9)–(3.11) together with the variance/covariance-related matrix ODE (3.17) (see also Remark 7.3). In an MR network we take the initial infectives to comprise a fixed number of individuals, with numbers of individuals of the various degrees chosen in the same proportions as they are present in the whole population. In an NSW network we choose the required number of initial infectives uniformly at random from the population. Ideally we might want the initial conditions to represent a large outbreak initiated by few initial infectives; this is a rather more complex situation and could be addressed using the results of Ball and House (2017).

Let $\epsilon$ be the proportion of individuals initially infected in the limit as $N\to \infty$. It is straightforward to show that $x_i(0)={lim}_{N\to \infty }{N}^{-1}E[X_i^N(0)]=p_i(1-\epsilon )$ and similarly that $y_i(0)=p_i\epsilon$ and $z_E(0)=0$ (cf. the paragraph immediately before Theorem 3.1; with a NSW network these limits hold almost surely). Turning to $\Sigma (0)$, in the case of an MR network we have chosen the initial conditions so that there is no variability; i.e. all elements of ${\Sigma }_{\mathrm{MR}}(0)$ are zero. With an NSW network there is variability in the initial conditions; to characterise it we let $i_0^N=[\epsilon N]$ be the number of initially infected individuals (or assume that $i_0^N$ is a function of N such that ${lim}_{N\to \infty }{N}^{-1}{i}_0^N=\epsilon$) and use the notation ${\sigma }_{x_i,x_j}(0)$ for the (i, j)-th element of the submatrix of ${\Sigma }_{\mathrm{NSW}}(0)$ corresponding to the susceptible elements (cf. the partitioning in (7.13)), so for example ${\sigma }_{x_i,y_j}(0)={lim}_{N\to \infty }{N}^{-1}\mathrm{cov}(X_i^N(0),Y_j^N(0))$. We find that the following elements of ${\Sigma }_{\mathrm{NSW}}(0)$ are non-zero: for all i, ${\sigma }_{x_i,x_i}(0)=p_i(1-p_i)(1-\epsilon )$ and ${\sigma }_{y_i,y_i}(0)=p_i(1-p_i)\epsilon$; and for all $i\ne j$, ${\sigma }_{x_i,x_j}(0)=-p_i{p}_j(1-\epsilon )$ and ${\sigma }_{y_i,y_j}(0)=-p_i{p}_j\epsilon$. Derivations can be found in Appendix H.

After solving the ODE systems numerically we can calculate the asymptotic means and variances for other quantities of interest, for example to approximate $I^N(t)$, the number of infected individuals at time t, we use

$$\begin{array}{c}\hfill \underset{N\to \infty }{lim}{N}^{-1}E[I^N(t)]=\sum _{i=0}^{\infty }{y}_i(t)\text{and}\underset{N\to \infty }{lim}{N}^{-1/2}\mathrm{var}[I^N(t)]=\sum _{i=0}^{\infty }\sum _{j=0}^{\infty }{\sigma }_{y_i,y_j}(t).\end{array}$$

The final ODE-related issue is choosing the value of M, the maximum degree, to use when the degree distribution does not have finite support. (This amounts to setting $x_i(t)=y_i(t)=0$ for all $t\ge 0$ and $i=M+1,M+2,\dots$.) The upper bound M needs to be large enough that the approximation is accurate but not so large that the systems of ODEs are impractical to solve numerically (the number of ODEs grows like $M^2$). To decide on an appropriate value for M we compare plots of the asymptotic means and variances of I(t) (i.e. the solid lines in the lower plots of Fig. 1), increasing M until there is no observable difference in these plots. We also compare the predicted relative ‘final’ size $x(0)-x(t_{\mathrm{end}})$ from the numerical ODE solution to the asymptotic final size predicted by Proposition 5.1. For the degree distributions we find that $M=15$ is sufficient when $D\sim \text{Poi}(5)$ and $M=50$ when $D\sim \text{Geo}(1/6)$.

Fig. 1.

Demonstration of approximation implied by Theorem 7.2, for a$D\sim \text{Poi}(5)$ and b$D\sim \text{Geo}(1/6)$. The upper plots show 100 simulated sample paths of the number of infectives $I^N(t)$ against time t, together with the mean and central 95% probability bands for $I^N(t)$ predicted by the functional CLT. The lower plots show asymptotic values and estimates from 1000 simulations of the scaled mean and standard deviation of the number of infectives through time. Other parameters are $N=1000$, $\beta =3/2$, $\gamma =1$, $\omega =1$, $i_0^N=0.05N$ (All plots are truncated at the time when the proportion of individuals that are infective drops below 0.05)

Simulation of the epidemic process is relatively straightforward. Given a sequence of degrees (either [MR] a specified sequence or [NSW] independent realisations from the distribution $\{p_k\}$) we (i) generate the network, (ii) choose initial infectives, (iii) spread the epidemic on the network. There is therefore randomness in each simulation deriving not just from the evolution of the epidemic, but also the graph construction and, in the case of an NSW graph, the degree sequence. When we calculate confidence intervals (CIs) for quantities associated with simulations of the temporal evolution of the epidemic they are calculated independently for each time point; i.e. they are not confidence bands for the process. Endpoints of CIs for standard deviations are calculated as the square roots of the endpoints of standard symmetric (in terms of probability) CIs for the variance.

Convergence and approximation of temporal properties

First we demonstrate numerically some of the limit theorems from earlier sections, showing both how the convergence is realised and thus how these limit theorems can be used for approximation. We give examples only with an NSW graph construction, but much the same observations apply in the MR graph scenario.

In Fig. 1 we demonstrate using Theorem 7.2 for approximation of the temporal evolution of the epidemic, comparing simulated trajectories of the prevalence $I^N(t)$ (for $N=1000$) versus time t of the model with predictions from the functional central limit theorem, for a Poisson and a Geometric degree distribution. The upper plots show the simulated trajectories together with the mean and a central 95% probability band predicted by the CLT; they suggest that the approximation is fairly good. The lower plots compare the mean and standard deviation of the prevalence through time with the LLN and CLT based asymptotic predictions.

In Fig. 2 we investigate the convergence of the distribution of $I^N(t)$ to its $N\to \infty$ limit at three time points $t_1$, $t_2$ and $t_3$. The times are chosen so that $t_2$ is close to the time of peak prevalence and $t_1$ and $t_3$ are when prevalence is increasing and decreasing, respectively, at a level roughly half that of the peak prevalence. (Effectively we are examining the upper-right plot of Fig. 1 in detail at these three time points.) In this figure we have used a geometric degree distribution, but very similar conclusions are obtained using different distributions. This convergence is further investigated/demonstrated in Fig. 3, where, separately for each of the same three time points, we plot the Kolmogorov distance between the empirical and asymptotic distributions of the number of infectives against population size N.

Fig. 2.

Demonstration of convergence described by Theorem 7.2, for $D\sim \text{Geo}(1/6)$. Histograms of $I^N(t_i)$ (based on 1000 simulated trajectories) and normal approximation for three fixed time points $t_1=0.35$, $t_2=0.6$, $t_3=1.5$ and 3 population sizes $N=200$, $N=1000$, $N=5000$. Other parameters are $\beta =3/2$, $\gamma =1$, $\omega =1$, $i_0^N=0.05N$

Fig. 3.

Demonstration of convergence described by Theorem 7.2, for $D\sim \text{Geo}(1/6)$. The distribution of $I^N(t_i)$ (based on 5000 simulated trajectories) and its normal approximation are compared using the Kolmogorov distance at three fixed time points $t_1=0.35$, $t_2=0.6$, $t_3=1.5$ for population sizes $N=100,200,500,1000,2000,5000,10,000$. Other parameters are $\beta =3/2$, $\gamma =1$, $\omega =1$, $i_0^N=0.05N$

Broadly speaking, Fig. 1 and similar plots for other population sizes, together with Figs. 2 and 3 and similar plots for other degree distributions, show that the predicted convergence is apparent, but seems slower for the later times. Even for quite small population sizes in the low hundreds, the asymptotic approximation to the mean behaviour of the epidemic is excellent. With smaller population sizes of a few hundred the approximation of the variability seems quite good in the early phase of epidemic growth, begins to worsen at or slightly before the time of peak prevalence and consistently underestimates the variability of $I^N(t)$ after that. As the population size increases, the approximation for the standard deviation improves but not as quickly as one might hope: the agreement between asymptotic and empirical distributions seems to improve fairly slowly as N increases from 200 to 5000. Thus we can be very confident in using an LLN-based approximation for nearly any population size; but CLT-based approximations must be used with some caution, particularly at and after the time of peak prevalence. For these later times, a CLT-based approximation seems to systematically underestimate the variability in the number of infectives in the population. On a slightly more theoretical note, the plausibly linear (though also decidely noisy) behaviour of the plots in Fig. 3 is consistent with these Kolmogorov distances tending to 0 as $N\to \infty$. Consistent with the observations above, this convergence is at roughly the same rate for the time points in the early growth phase and near peak prevalence but much more slowly for the later time point $t=t_3$ in the phase where the infection is dying out.

Approximation of epidemic final size

In Fig. 4 we demonstrate approximation results for the final size of major outbreaks in our epidemic model on an NSW graph (Conjecture 7.1). Again we see that the approximation is quite reasonable for relatively small population sizes in the low hundreds and becomes very good indeed for population sizes in the thousands.

Fig. 4.

Histograms (based on 10,000 simulations) and normal approximation of the final size distribution of major outbreaks for epidemics on graphs with a$D\sim \text{Poi}(5)$, b$D\sim \text{Geo}(1/6)$ and varying populations sizes $N=200,2000$. Other parameter values are $\beta =3/2$, $\gamma =\omega =1$ and $i_0^N=10$

The effect of dropping

Next we investigate the behaviour of our model in respect of the introduction of the dropping mechanism. Starting with an epidemic without dropping we examine the behaviour of $R_0$ and $\rho$ (the fraction of the population that is ultimately infected in the limiting determinstic model—see Sect. 5.3) as the dropping rate $\omega$ is increased from 0 (no dropping) to a value which brings the model below threshold. Figure 5 does this for two ‘starting’ models, one with a Poisson and one with a geometric degree distribution, both well above threshold with with $\rho$ comfortably above 0.5. (Recall that $R_0$ and $\rho$ are independent of whether the network is MR or NSW.) In both cases we see that increasing $\omega$ reduces the virulence and severity of the epidemic as measured by $R_0$ and $\rho$. Perhaps noteworthy is that one of the plots of the mean final size $\rho$ is concave and the other convex.

The effect of random graph model on variances

We now demonstrate the effect of the random graph model (MR or NSW) on the variability of the final size of large outbreaks in our epidemic model. Figure 6 compares how the asymptotic scaled standard deviations for the final size of a major outbreak (i.e. ${\sigma }_{\mathrm{MR}}(\beta ,\gamma ,\omega )$ and ${\sigma }_{\mathrm{NSW}}(\beta ,\gamma ,\omega )$ in Proposition 6.1 and Conjecture 7.1 ) behave as dropping is included into a baseline model with no dropping. The upper plots show that these standard deviations can change quite dramatically with $\omega$; the lower plots show that the extra variability in the NSW network model can result in substantially more variability in the epidemic final size. As might be anticipated, this effect is more pronounced for the geometric compared to the Poisson case, i.e. when the degree distribution is more variable.

Fig. 6.

Comparison of the scaled asymptotic standard deviations of the final size of a large outbreak in the MR and NSW models, as the dropping rate $\omega$ is increased from zero. In a the degree distribution is $D\sim \text{Poi}(5)$ and in b$D\sim \text{Geo}(1/6)$; other parameters are $\beta =3/2$, $\gamma =1$, $\epsilon =0$. The upper plots show the actual scaled asymptotic standard deviations ${\sigma }_{\mathrm{MR}}$ and ${\sigma }_{\mathrm{NSW}}$ and the lower plots show their ratio; all plots also show the relative final size $\rho$ for reference

Increased recovery rate instead of dropping

Lastly we investigate the relationship between our model and the related model with increased recovery rate instead of dropping, as discussed in Sect. 8. We focus mainly on the claims about relative variability in the two models $E(\omega ,\gamma )$ with dropping and $E(0,\gamma +\omega )$ with increased recovery rate, though the results we present also illustrate Theorem 8.1, which gives an ordering of the major outbreak probabilities in the two models. Again we focus on the NSW graph model; similar conclusions (with less variability) are obtained with the MR graph model.

Figure 7 compares the final size distribution of the model with dropping to that of the model with increased recovery rate; again for two different degree distributions. The histograms and the normal approximation of the distribution of the size of a major outbreak confirm that the model with dropping does have a smaller variance in the size of major outbreaks and a larger chance of a major outbreak. Table 1 summarises the plots in Fig. 7. Here we see quite clearly that the major outbreak probabilities and the variances of the final size distributions are ordered as predicted by Theorem 8.1 and the argument involving differing dependence structures in Sect. 8. Differences between the two degree distributions are not very marked.

Fig. 7.

Histograms of 10,000 simulated final sizes for the epidemics $E(\omega ,\gamma )$ and $E(0,\gamma +\omega )$, with overlaid asymptotic approximations. Parameters are $\beta =3/2$, $\gamma =1$, $\omega =2$, $N=1000$, $i_0^N=5$ and the underlying graphs are of NSW type with a$D\sim \text{Poi}(5)$, b$D\sim \text{Geo}(1/6)$

Table 1.

Numerical summary of Fig. 7, using a final size of 0.15N to separate minor from major outbreaks

Quantity	D Poisson, Model $E(\omega ,\gamma )$				D Geometric, Model $E(\omega ,\gamma )$
	Asymptotic	Estimate	95% CI		Asymptotic	Estimate	95% CI
Prob. of major outbreak	–	0.601	(0.592, 0.611)		–	0.529	(0.519, 0.539)
Mean of major outbreak final size	675.8	673.5	(672.6, 674.3)		578.0	576.8	(576.3, 577.4)
St. dev. of major outbreak final size	32.0	32.4	(31.8, 33.0)		20.0	20.3	(19.9, 20.6)
	D Poisson, Model $E(0,\gamma +\omega )$				D Geometric, Model $E(0,\gamma +\omega )$
	Asymptotic	Estimate	95% CI		Asymptotic	Estimate	95% CI
Prob. of major outbreak	–	0.483	(0.474, 0.493)		–	0.453	(0.443, 0.463)
Mean of major outbreak final size	675.8	672.6	(671.6, 673.7)		578.0	577.2	(576.5, 577.8)
St. dev. of major outbreak final size	37.1	38.3	(37.6, 39.1)		22.6	22.4	(21.9, 22.8)

Figure 8 shows how the discrepancy in these variabilities generally increases with the dropping rate. Interestingly, we see that with the (more variable) geometric degree distribution the relative discrepancy increases with $\omega$ for most values of $\omega$; but decreases slightly with $\omega$ when $\omega$ is sufficiently large that the size of large outbreaks gets close to zero and the variability is quite large.

Fig. 8.

Scaled asymptotic standard deviations of the final size of a large outbreak in the models $E(\omega ,\gamma )$ and $E(0,\gamma +\omega )$ for increasing dropping rate $\omega$, starting from the ‘base model’ with $\beta =3/2$, $\gamma =1$, $\omega =0$ and $\epsilon =0$. The underlying graphs are of the NSW type with a$D\sim \text{Poi}(5)$, b$D\sim \text{Geo}(1/6)$. The upper plots show the standard deviations and the lower plot their ratio; all plots also show the relative final size $\rho$ for reference

Figure 9 shows how the asymptotic quantities relating to the mean and standard deviation of $S^N(t)$ and $I^N(t)$ compare through time for these models. In the model with dropping we denote the asymptotic mean proportion infected by ${\mu }^I(t;\beta ,\omega ,\gamma )$ and the asymptotic scaled standard deviation of $I^N(t)$ by ${\sigma }_{\mathrm{NSW}}^I(t;\beta ,\omega ,\gamma )$; we let ${\mu }^S(t;\beta ,\omega ,\gamma )$ and ${\sigma }_{\mathrm{NSW}}^S(t;\beta ,\omega ,\gamma )$ denote the corresponding quantities for the number of susceptibles $S^N(t)$. Note that the absolute scale of the standard deviations here is not directly meaningful (to approximate the standard deviation in a population of size N these limiting quantities should be multiplied by $\sqrt{N}$); it is the relative values that are of interest here. Firstly, the upper plots confirm our assertions about the relative numbers of susceptibles in the two models: that the mean (LLN) behaviour of the two models is the same but the model with dropping exhibits less variability (cf. the final size behaviour in Fig. 7 and Table 1). In the lower plots the behaviour of the individual models $E(\omega ,\gamma )$ and $E(0,\gamma +\omega )$ is broadly in keeping with that observed in Fig. 1, however the differences between the two models are quite stark. Even though the two models have the same final size they achieve this through very different temporal behaviour: in the $E(0,\gamma +\omega )$ model individuals are infectious for less time but during that time infect others at a higher rate.

Concluding comments

The current paper is concerned with a model for an epidemic taking place on a network in which susceptible individuals may drop their connections to infectious individuals as a preventive measure. A consequence of the behavioural dynamics is that the network changes in time, and the way the network changes depends on the epidemic process taking place on it (sometimes referred to as an adaptive network). We derive limiting properties of the epidemic process assuming a large outbreak in a large community: the LLN and functional CLT for the epidemic process, as well as conjecture a LLN and CLT for the final number getting infected. We also give a version of the functional CLT in Ethier and Kurtz (1986), Chapter 11, which allows for asymptotically random initial conditions (Theorem 7.1). Although it is a simple extension of Ethier and Kurtz (1986), Theorem 11.2.3, we have not seen the result previously in the literature and it (especially the covariance formula (7.3)) clearly has interest and applications well beyond the present setting. Furthermore, from the analysis of the dropping model we also obtain results for the Markovian SIR epidemic on a configuration model and for the configuration model giant component. In particular, we conjecture CLTs, with essentially fully explicit expressions for the asymptotic variances, for the final size of such epidemics on both MR and NSW random graphs, and for the size of the giant components of those graphs.

The above LLN and functional CLT are proved under the assumption of bounded degrees. As noted in Remark 4.1, the arguments in Ball (2018) should yield proofs of the final-size LLN and CLTs under this assumption. Rigorous extension of these results to networks with unbounded degrees is a natural mathematical next step, though bounded degrees are clearly sufficient for most biological purposes.

The simulations in Sects. 10.2 and 10.3 show that the limiting approximations kick in for moderate population sizes. Further, from the numerical investigations, dropping of edges seems to have the greatest preventive effect when the basic reproduction number $R_0$ is not too large, more specifically when it is close to the epidemic threshold value of one. In fact, if $R_0$ is moderate in the absence of dropping of edges, a fairly small dropping rate can make the epidemic sub-critical implying that large outbreaks are no longer possible in the large population limit.

This paper is inspired by the model in Britton et al. (2016), who study only the initial stages of an outbreak. In the current paper, in order to make progress in the analysis of the complete outbreak, we assume that edges can only be dropped, in contrast to Britton et al. (2016), which allows for some of the dropped edges to rewire to other individuals. It would of course be of interest to study limiting properties of this more general dropping/rewiring model. However, the effective degree approach does not apply immediately in a rigorous fashion to this setting, and rigorous analysis of the non-initial stages of the model including rewiring is left as an open problem. The model with rewiring is considered further in Leung et al. (2018), where it is demonstrated that such rewiring of edges, although always beneficial to the susceptible individual, can have an adverse effect at the population level. Other possible forms of social distancing include reducing contacts rather than dropping edges completely (e.g. Viljoen et al. (2014) and Zhang et al. (2014)) or only temporarily dropping the edge (e.g. Althouse and Hébert-Dufresne (2014)).

Another extension of the current model would be to allow the network to change in time also for reasons other than the epidemic process. One could for example consider some type of dynamic network model as the base network model (e.g. one of the dynamic network models of Leung and Diekmann (2016)), and increase the dropping rate indirectly by decreasing the rate of creation of new edges and/or increasing the rewiring rate between susceptible-infectious pairs of individuals, see e.g. Reniers and Armbruster (2012) for a simulation study where partnership dissolution rates depend on the HIV status of the couple. Obviously, rigorous analysis of such models will be appreciably harder, if indeed possible.

Finally, we note that we have restricted ourselves to the Markovian setting throughout this paper. As always, this assumption is not realistic and is made for mathematical convenience. In the setting of this paper, it is possible to generalize some of our results to include non-exponentially distributed infectious periods. Using a susceptibility set argument, as in e.g. Ball and Sirl (2013), Section 2.1.2, we can prove results for the deterministic final size similar to Proposition 5.1(b). Specifically, if the infectious period follows a random variable I, the deterministic final size is the same as that for a standard SIR epidemic on a configuration model network in which the infectious period is distributed as $I^{\prime }=min(I,W)$, where W is independent of I and has an exponential distribution with rate $\omega$. Recently, Sherborne et al. (2018) have extended edge-based compartmental models of epidemics on networks to allow for non-Markovian transmission and recovery processes, and that methodology should enable the limiting deterministic model for our model with dropping of edges and non-exponentially distributed infectious periods to be determined, as can be done using the binding site formulation of Leung and Diekmann (2016). It seems likely that our effective degree approach, together with LLN and functional CLT theorems in Wang (1975, 1977) for age and density dependent population processes, can be used to put such deterministic models in a fully rigorous asymptotic framework and provide an associated functional CLT.

A Derivation of drift function $F(\mathit{x},\mathit{y},z_E)$

In this appendix we derive the expression (3.8) for $F(\mathit{x},\mathit{y},z_E)$. First note that (3.1) and  (3.7) yield

$$\begin{array}{cc}& \sum _{\mathit{l}\in {\Delta }_1}\mathit{l}{\beta }_{\mathit{l}}(\mathit{x},\mathit{y},z_E)\hfill \\ \hfill & =\sum _{i=1}^{\infty }\sum _{j=1}^{\infty }\frac{\beta i{y}_{i}j{x}_j}{{\eta }_E}(-{\mathit{e}}_i^{\mathrm{I}}+{\mathit{e}}_{i-1}^{\mathrm{I}}-{\mathit{e}}_j^{\mathrm{S}}+{\mathit{e}}_{j-1}^{\mathrm{I}})\hfill \\ \hfill & =\frac{\beta }{{\eta }_E}\left[x_E,\sum _{i=1}^{\infty },i,y_i,(-{\mathit{e}}_i^{\mathrm{I}}+{\mathit{e}}_{i-1}^{\mathrm{I}}),+,y_E,\sum _{j=1}^{\infty },j,x_j,(-{\mathit{e}}_j^{\mathrm{S}}+{\mathit{e}}_{j-1}^{\mathrm{I}})\right]\hfill \\ \hfill & =\frac{\beta }{{\eta }_E}\sum _{i=0}^{\infty }\left\{x_E,\left[(i+1),y_{i+1},-,i,y_i\right],{\mathit{e}}_i^{\mathrm{I}},+,y_E,\left[-,i,x_i,{\mathit{e}}_i^{\mathrm{S}},+,(i+1),x_{i+1},{\mathit{e}}_i^{\mathrm{I}}\right]\right\},\hfill \end{array}$$ A.1

 (3.2) and (3.7) yield

$$\begin{array}{cc}\hfill \sum _{\mathit{l}\in {\Delta }_2}\mathit{l}{\beta }_{\mathit{l}}(\mathit{x},\mathit{y},z_E)=& \sum _{i=1}^{\infty }\sum _{j=1}^{\infty }\frac{(\beta +\omega )i{y}_{i}j{y}_j}{{\eta }_E}(-{\mathit{e}}_i^{\mathrm{I}}+{\mathit{e}}_{i-1}^{\mathrm{I}}-{\mathit{e}}_j^{\mathrm{I}}+{\mathit{e}}_{j-1}^{\mathrm{I}})\hfill \\ \hfill =& 2\frac{(\beta +\omega )}{{\eta }_E}\sum _{i=1}^{\infty }\sum _{j=1}^{\infty }i{y}_{i}j{y}_j(-{\mathit{e}}_i^{\mathrm{I}}+{\mathit{e}}_{i-1}^{\mathrm{I}})\hfill \\ \hfill =& 2\frac{(\beta +\omega )y_E}{{\eta }_E}\sum _{i=0}^{\infty }[-i{y}_i+(i+1)y_{i+1}]{\mathit{e}}_i^{\mathrm{I}},\hfill \end{array}$$ A.2

and (3.3) and (3.7) yield

$$\begin{array}{cc}& \sum _{\mathit{l}\in {\Delta }_3}\mathit{l}{\beta }_{\mathit{l}}(\mathit{x},\mathit{y},z_E)\hfill \\ \hfill & =\sum _{i=1}^{\infty }\sum _{j=1}^{\infty }\frac{\omega i{y}_{i}j{x}_j}{{\eta }_E}(-{\mathit{e}}_i^{\mathrm{I}}+{\mathit{e}}_{i-1}^{\mathrm{I}}-{\mathit{e}}_j^{\mathrm{S}}+{\mathit{e}}_{j-1}^{\mathrm{S}})\hfill \\ \hfill & =\frac{\omega }{{\eta }_E}\left[x_E,\sum _{i=1}^{\infty },i,y_i,(-{\mathit{e}}_i^{\mathrm{I}}+{\mathit{e}}_{i-1}^{\mathrm{I}}),+,y_E,\sum _{j=1}^{\infty },j,x_j,({\mathit{e}}_j^{\mathrm{S}}+{\mathit{e}}_{j-1}^{\mathrm{S}})\right]\hfill \\ \hfill & =\frac{\omega }{{\eta }_E}\sum _{i=0}^{\infty }\left\{x_E,[(i+1)y_{i+1}-i{y}_i],{\mathit{e}}_i^{\mathrm{I}},+,y_E,[(i+1)x_{i+1}-i{x}_i],{\mathit{e}}_i^{\mathrm{S}}\right\}.\hfill \end{array}$$ A.3

Similarly, (3.4) and (3.7) yield

$$\begin{array}{cc}& \sum _{\mathit{l}\in {\Delta }_4}\mathit{l}{\beta }_{\mathit{l}}(\mathit{x},\mathit{y},z_E)\hfill \\ \hfill & =\sum _{i=1}^{\infty }\frac{(\beta +\omega )i{y}_i{z}_E}{{\eta }_E}(-{\mathit{e}}_i^{\mathrm{I}}+{\mathit{e}}_{i-1}^{\mathrm{I}}-{\mathit{e}}^{\mathrm{R}})\hfill \\ \hfill & =-\frac{(\beta +\omega )y_E{z}_E}{{\eta }_E}{\mathit{e}}^{\mathrm{R}}+\frac{(\beta +\omega )z_E}{{\eta }_E}\sum _{i=0}^{\infty }[(i+1)y_{i+1}-i{y}_i]{\mathit{e}}_i^{\mathrm{I}},\hfill \end{array}$$ A.4

and (3.5) and (3.7) yield

$$\begin{array}{cc}\hfill \sum _{\mathit{l}\in {\Delta }_5}\mathit{l}{\beta }_{\mathit{l}}(\mathit{x},\mathit{y},z_E)=& \sum _{i=0}^{\infty }\gamma y_i(-{\mathit{e}}_i^{\mathrm{I}}+i{\mathit{e}}^{\mathrm{R}})\hfill \\ \hfill =& \gamma y_E{\mathit{e}}^{\mathrm{R}}-\gamma \sum _{i=0}^{\infty }{y}_i{\mathit{e}}_i^{\mathrm{I}}.\hfill \end{array}$$ A.5

Adding (A.1) to (A.5) and recalling that ${\eta }_E=x_E+y_E+z_E$ gives (3.8).

B Application of theorems for density dependent population processes

In this appendix we show that the conditions of the Theorems 11.2.2 and 11.2.3 in Ethier and Kurtz (1986), Chapter 11, concerning density dependent population processes are satisfied when there is a maximum degree, $d_{max}$ say, and $\rho <1$. (Recall that $\rho$ is the fraction of the population that is ultimately infected by the limiting deterministic model.) Thus, for $t\ge 0$,

$$\begin{array}{c}\hfill {\mathit{W}}^N(t)=\left(X_0^N,(t),,,X_1^N,(t),,,\dots ,,,X_{d_{max}}^N,(t),,,Y_0^N,(t),,,Y_1^N,(t),,,\dots ,,,Y_{d_{max}}^N,(t),,,Z_E^N,(t)\right),\end{array}$$

so $\{{\mathit{W}}^N(t)\}$ has dimension $d=2(d_{max}+1)+1$. The limiting deterministic process is $\{\mathit{w}(t)\}$, where, for $t\ge 0$,

$$\begin{array}{cc}\hfill \mathit{w}(t)& =(x_0(t),x_1(t),\dots ,x_{d_{max}}(t),y_0(t),y_1(t),\dots ,y_{d_{max}}(t),z_E(t))\hfill \\ \hfill & =(w_1(t),w_2(t),\dots ,w_d(t)).\hfill \end{array}$$

The domain of the intensity functions ${\beta }_{\mathit{l}}(\mathit{w})$$(\mathit{l}\in \Delta )$ is

$$\begin{array}{c}\hfill H_{\ast }=\left\{\mathit{w},:,w_i,\ge ,0,,(i=1,2,\dots ,d),,,\sum _{i=1}^d,w_i,\le ,1\right\}.\end{array}$$

The proofs of the theorems in Ethier and Kurtz (1986), Chapter 11, make it clear that the conditions need only hold in some small neighbourhood of $\{\mathit{w}(t)\}$. Thus, since $\rho <1$, there exists $\epsilon >0$, so that $H_{\ast }$ can be replaced by $H_{\ast }(\epsilon )=\left\{\mathit{w},\in ,H_{\ast },:,x_E,\ge ,\epsilon \right\}$, where $x_E={\sum }_{i=1}^{d_{max}}i{x}_i$. It follows that the density dependent condition (3.6) is satisfied for all sample paths of $\{{\mathit{W}}^N(t)\}$ such that $N^{-1}{\mathit{W}}^N(t)$ remains within $H_{\ast }(\epsilon )$, which is sufficient for the proofs in Ethier and Kurtz (1986).

Considering first the LLN for $\{{\mathit{W}}^N(t)\}$, the conditions of Ethier and Kurtz (1986), Theorem 11.2.1, are satisfied if (i) ${\sum }_{\mathit{l}\in \Delta }|\mathit{l}|{sup}_{\mathit{w}\in H_{\ast }(\epsilon )}{\beta }_{\mathit{l}}(\mathit{w})<\infty$; (ii) the drift function F is Lipschitz continuous on $H_{\ast }(\epsilon )$; and (iii) ${lim}_{N\to \infty }{N}^{-1}{\mathit{W}}^N(0)=\mathit{w}(0)\ne \mathbf{0}$. It is easily seen from (3.7) that (i) is satisfied, since $\Delta$ is finite and ${\eta }_E\ge x_E\ge \epsilon >0$ for all $\mathit{w}\in H_{\ast }(\epsilon )$. It follows from (3.8) that the partial derivatives ${\partial }_j{F}_i(\mathit{w})$$(i,j=1,2,\dots ,d)$ are uniformly bounded on $H_{\ast }(\epsilon )$, since ${\eta }_E\ge \epsilon$ for all $\mathit{w}\in H_{\ast }(\epsilon )$, so (ii) is satisfied. Finally, it is easily seen from the proof in Ethier and Kurtz (1986) that the result still holds if the convergence in (iii) holds almost surely, thus the LLN for $\{{\mathit{W}}^N(t)\}$, stated in Sect. 3, holds for epidemics on both MR and NSW random graphs.

Turning to the functional CLT (3.15), where to be more explict $\Rightarrow$ denotes weak convergence in the space of right-continuous functions $f:[0,\infty )\to {\mathbb{R}}^d$ having limits from the left (i.e. càdlàg functions), endowed with the Skorohod metric, the conditions of Ethier and Kurtz (1986), Theorem 11.2.3, are satisfied if, in addition to (i)–(iii), (iv) ${\sum \mathit{l}\in \Delta |\mathit{l}|}^2{sup}_{\mathit{w}\in H_{\ast }(\epsilon )}{\beta }_{\mathit{l}}(\mathit{w})<\infty$; (v) the intensity functions ${\beta }_{\mathit{l}}(\mathit{w})$$(\mathit{l}\in \Delta )$ and the partial derivatives ${\partial }_j{F}_i(\mathit{w})$$(i,j=1,2,\dots ,d)$ are continuous on $H_{\ast }(\epsilon )$; and (vi) ${lim}_{N\to \infty }\sqrt{N}\left(N^{-1},{\mathit{W}}^N,(0),-,\mathit{w},(0)\right)=\mathit{V}(0)$, where $\mathit{V}(0)$ is constant. Now (iv) is satisfied, for similar reasons to (i). It is easily seen from (3.7) and (3.8) that (v) is satisified, and (vi) follows from (3.14). Thus (3.15) is proved.

Consider now the random time-scale transformed process $\{{\tilde{\mathit{W}}}^N(t)\}$ introduced in Sect. 4. The limiting determinstic process is now $\{\tilde{\mathit{w}}(t):t\ge 0\}$, where

$$\begin{array}{c}\hfill \tilde{\mathit{w}}(t)=({\tilde{x}}_0(t),{\tilde{x}}_1(t),\dots ,{\tilde{x}}_{d_{max}}(t),{\tilde{y}}_0(t),{\tilde{y}}_1(t),\dots ,{\tilde{y}}_{d_{max}}(t),{\tilde{z}}_E(t)).\end{array}$$

For any $t_0\in (0,\tilde{\tau })$, there exists ${\epsilon }^{\prime }>0$ such that ${\tilde{y}}_E(t)={\sum }_{i=1}^{d_{max}}i{\tilde{y}}_i(t)\ge {\epsilon }^{\prime }$ for all $0\le t\le t_0$. Let ${\tilde{H}}_{\ast }({\epsilon }^{\prime })=\left\{\tilde{\mathit{w}},\in ,H_{\ast },:,{\tilde{y}}_E,\ge ,\epsilon \right\}$. The proofs that the conditions of Ethier and Kurtz (1986), Theorems 11.2.1 and 11.2.3, are satisfied for the transformed process $\{{\tilde{\mathit{W}}}^N(t):0\le t\le t_0\}$ are analagous to those above, except $H_{\ast }(\epsilon )$ is replaced by ${\tilde{H}}_{\ast }({\epsilon }^{\prime })$. Note that the denominator in the intensity functions ${\tilde{\beta }}_{\mathit{l}}(\mathit{w})$$(\mathit{l}\in \Delta )$ given at (4.1) (and hence in the drift function $\tilde{F}$ given at (4.2)) is ${\tilde{y}}_E$, where for the untransformed process it is ${\eta }_E$.

C Properties of ${\tilde{\tau }}_{\delta }$

In this appendix we prove that (i) $\tilde{\tau }<\infty$ and (ii) (4.12) holds for all $\delta \in [0,y_E(0))$. Recalling the definition of ${\tilde{\tau }}_{\delta }$ at (4.10), it follows that ${\tilde{\tau }}_{\delta }$ is the smallest positive solution of ${\tilde{y}}_E(t)=\delta$ with ${\tilde{y}}_E(t)$ given by (5.11) (Clearly, ${\tilde{\tau }}_{\delta }=0$ for $\delta >y_E(0)$.) Also, it follows from (5.9), (6.12), and ${\tilde{y}}_E({\tilde{\tau }}_{\delta })=\delta$ that

$$\begin{array}{cc}& \mathrm{\nabla }\phi (\tilde{\mathit{w}}({\tilde{\tau }}_{\delta }))·\tilde{F}(\tilde{\mathit{w}}({\tilde{\tau }}_{\delta }))\hfill \\ \hfill & =-(\beta +\omega )\delta +{\mathrm{e}}^{-2(\beta +\omega ){\tilde{\tau }}_{\delta }}\left[\beta ,f_{D_{\epsilon }}^{\prime \prime },\left(\psi ,(,{\tilde{\tau }}_{\delta },)\right),-,(\beta +\omega +\gamma ),{\mu }_D\right].\hfill \end{array}$$

Let $z_{\delta }={\mathrm{e}}^{-(\beta +\omega ){\tilde{\tau }}_{\delta }}$ and recall that $\psi ({\tilde{\tau }}_{\delta })=p_{\omega }+(1-p_{\omega }){\mathrm{e}}^{-(\beta +\omega ){\tilde{\tau }}_{\delta }}=\tilde{\psi }(z_{\delta })$. Then,

$$\begin{array}{c}\hfill \mathrm{\nabla }\phi (\tilde{\mathit{w}}({\tilde{\tau }}_{\delta }))·\tilde{F}(\tilde{\mathit{w}}({\tilde{\tau }}_{\delta }))=-(\beta +\omega )\delta +z_{\delta }^2\left[\beta ,f_{D_{\epsilon }}^{\prime \prime },\left(\tilde{\psi },(z_{\delta })\right),-,(\beta +\omega +\gamma ),{\mu }_D\right].\end{array}$$ C.1

and from (5.11), if follows that $z_{\delta }$ satisfies

$$\begin{array}{c}\hfill f_{D_{\epsilon }}^{\prime }\left(\tilde{\psi },(z_{\delta })\right)-\frac{[(\beta +\omega +\gamma )z_{\delta }-\gamma ]}{\beta +\omega }{\mu }_D=-\frac{\delta }{z_{\delta }}.\end{array}$$ C.2

For $z\in [0,1]$, let

$$\begin{array}{c}\hfill A(z)=f_{D_{\epsilon }}^{\prime }\left(\tilde{\psi },(z)\right)-\frac{[(\beta +\omega +\gamma )z-\gamma ]}{\beta +\omega }{\mu }_D,\end{array}$$ C.3

so $z_0={\mathrm{e}}^{-(\beta +\omega )\tilde{\tau }}={\mathrm{e}}^{-(\beta +\omega ){\tilde{\tau }}_0}$ satisfies $A(z_0)=0$. Now $A(0)=f_{D_{\epsilon }}^{\prime }(p_{\omega })+\gamma /(\beta +\omega )$ and $A(1)=f_{D_{\epsilon }}^{\prime }(1)-{\mu }_D=-y_E(0)<0$. (Recall the definition of $f_{D_{\epsilon }}$ at (5.3).) Further, unless $p_{\omega }=\gamma =f_{D_{\epsilon }}^{\prime }(0)=0$, then $A(0)>0$, so since A(z) is continuous, $z_0\in (0,1)$ and $\tilde{\tau }$ (and hence also ${\tilde{\tau }}_{\delta }$) is finite. For $\delta \in (0,y_E(0))$, note that $z_{\delta }$ satisfies $A(z_{\delta })+\frac{\delta }{z_{\delta }}=0$. Thus, $A(1)+\frac{\delta }{1}=\delta -y_E(0)<0$ and $A(z)+\frac{\delta }{z}\to \infty$ as $z\downarrow 0$, so $z_{\delta }\in (0,1)$ and ${\tilde{\tau }}_{\delta }<\infty$. If $p_{\omega }=\gamma =f_{D_{\epsilon }}^{\prime }(0)=0$ and $\delta =0$, then it is easily verified using the convexity of $f_{D_{\epsilon }}^{\prime }$ that $z_0=0$, so $\tilde{\tau }=\infty$.

We show now that $\mathrm{\nabla }\phi (\tilde{\mathit{w}}({\tilde{\tau }}_{\delta }))·\tilde{F}(\tilde{\mathit{w}}({\tilde{\tau }}_{\delta }))<0$ for $\delta \in [0,y_E(0))$. Differentiating (C.3) and recalling that $p_{\omega }=\frac{\omega }{\beta +\omega }$ yields

$$\begin{array}{c}\hfill A^{\prime }(z)=\frac{1}{\beta +\omega }\left[\beta ,f_{D_{\epsilon }}^{\prime \prime },\left(\tilde{\psi },(z)\right),-,(\beta +\omega +\gamma ),{\mu }_D\right].\end{array}$$

Suppose, for contradiction, that $\mathrm{\nabla }\phi (\tilde{\mathit{w}}({\tilde{\tau }}_{\delta }))·\tilde{F}(\tilde{\mathit{w}}({\tilde{\tau }}_{\delta }))\ge 0$. Then, recalling (C.1), $A^{\prime }(z_{\delta })\ge \frac{\delta }{z_{\delta }^2}$, whence $A^{\prime }(z)>\frac{\delta }{z^2}$ for $z\in [z_{\delta },1]$, since $A^{\prime }$ is increasing on [0, 1]. It follows from (C.2) that $A(z_{\delta })=-\frac{\delta }{z_{\delta }}$. Thus,

$$\begin{array}{c}\hfill A(1)>A(z_{\delta })+{\int }_{z_{\delta }}^1\frac{\delta }{z^2}\mathrm{d}z=-\delta .\end{array}$$

But $A(1)=f_{D_{\epsilon }}^{\prime }(1)-{\mu }_D=-y_E(0)$, since, using (5.3), $f_{D_{\epsilon }}^{\prime }(1)={\sum }_{k=1}^{\infty }k(p_k-{\epsilon }_k)={\mu }_D-y_E(0)$. Thus, $y_E(0)<\delta$, which is a contradiction as $\delta \in [0,y_E(0))$. Hence $\mathrm{\nabla }\phi (\tilde{\mathit{w}}({\tilde{\tau }}_{\delta }))·\tilde{F}(\tilde{\mathit{w}}({\tilde{\tau }}_{\delta }))<0$, as required.

Finally, suppose that the epidemic is started by a trace of infection, so $y_E=0$, and that $\delta =0$. Then, Proposition 5.1(b) shows that (C.2) (with $D_{\epsilon }$ replaced by D and $\delta =0$) has a (unique) solution, $z_0$, in [0, 1) if and only if $R_0>1$. Moreover, $z_0>0$ unless $p_{\omega }=\gamma =f_D^{\prime }(0)=0$.

Further, the above proof is easily modified to show that $\mathrm{\nabla }\phi (\tilde{\mathit{w}}(\tilde{\tau }))·\tilde{F}(\tilde{\mathit{w}}(\tilde{\tau }))<0$.

D Calculations pertaining to $\tilde{\Phi }(t,u)$

Expanding (4.9) in partitioned form yields, using (6.16),

$$\begin{array}{c}\hfill {\displaystyle \frac{\partial }{\partial t}}{\tilde{\Phi }}_{\mathit{XX}}(t,u)=\partial {\tilde{F}}_{\mathit{XX}}(\tilde{\mathit{w}}(t)){\tilde{\Phi }}_{\mathit{XX}}(t,u),\end{array}$$ D.1

and, for $A=Y,Z$ and $B=X,Y,Z$,

$$\begin{array}{cc}& {\displaystyle \frac{\partial }{\partial t}}{\tilde{\Phi }}_{\mathit{AB}}(t,u)\hfill \\ \hfill & =\partial {\tilde{F}}_{\mathit{AX}}(\tilde{\mathit{w}}(t)){\tilde{\Phi }}_{\mathit{XB}}(t,u)+\partial {\tilde{F}}_{\mathit{AY}}(\tilde{\mathit{w}}(t)){\tilde{\Phi }}_{\mathit{YB}}(t,u)+\partial {\tilde{F}}_{\mathit{AZ}}(\tilde{\mathit{w}}(t)){\tilde{\Phi }}_{\mathit{ZB}}(t,u),\hfill \end{array}$$ D.2

where ${\tilde{\Phi }}_{\mathit{XY}}(t,u)=0$ and ${\tilde{\Phi }}_{\mathit{XZ}}(t,u)={\mathbf{0}}^{\top }$.

It follows from (4.2) that

$$\begin{array}{c}\hfill {\left(\partial ,{\tilde{F}}_{\mathit{XX}},(\tilde{\mathit{w}}(t))\right)}_{\mathit{ij}}=-\beta i{\delta }_{i,j}+\omega \left[-,i,{\delta }_{i,j},+,(i+1),{\delta }_{i+1,j}\right].\end{array}$$

Thus, letting ${\tilde{\varphi }}_{\mathit{ij}}(t,u)$ denote the (i, j)th element of ${\tilde{\Phi }}_{\mathit{XX}}(t,u)$, it follows from (D.1) that, for $t\ge u$,

$$\begin{array}{c}\hfill {\displaystyle \frac{\partial }{\partial t}}{\tilde{\varphi }}_{\mathit{ij}}=-(\beta +\omega )i{\tilde{\varphi }}_{\mathit{ij}}+\omega (i+1){\tilde{\varphi }}_{i+1,j}(i=0,1,\dots ),\end{array}$$ D.3

with the initial condition ${\tilde{\varphi }}_{\mathit{ij}}(u,u)={\delta }_{i,j}$. For fixed j, apart from the initial condition, ${\tilde{\varphi }}_{\mathit{ij}}(t,u)$$(i=0,1,\dots )$ satisfies the same system of ODEs as that given at (4.3) for ${\tilde{x}}_i$$(i=0,1,\dots )$, and it follows from (5.1) that, for $t\ge u$,

$$\begin{array}{c}\hfill {\tilde{\varphi }}_{\mathit{ij}}(t,u)=\left\{\begin{array}{cc}\left(\begin{array}{c}j\\ i\end{array}\right){\mathrm{e}}^{-(\beta +\omega )i(t-u)}{\left(1,-,{\mathrm{e}}^{-(\beta +\omega )(t-u)t}\right)}^{j-i}{p}_{\omega }^{j-i}\hfill & \text{for}j\ge i,\hfill \\ 0\hfill & \text{for}j<i,\hfill \end{array}\right)\end{array}$$ D.4

so

$$\begin{array}{cc}\hfill {\left(\mathbf{1},{\tilde{\Phi }}_{\mathit{XX}},(t,u)\right)}_j=& \sum _{i=0}^j\left(\begin{array}{c}j\\ i\end{array}\right){\mathrm{e}}^{-(\beta +\omega )i(t-u)}{\left(1,-,{\mathrm{e}}^{-(\beta +\omega )(t-u)t}\right)}^{j-i}{p}_{\omega }^{j-i}\hfill \\ \hfill =& {\left(p_{\omega },+,(1-p_{\omega }),{\mathrm{e}}^{-(\beta +\omega )(t-u)}\right)}^j\hfill \\ \hfill =& \psi {(t-u)}^j(j=0,1,\dots ),\hfill \end{array}$$ D.5

where $\psi (t)$ is defined at (5.5).

From (4.2), the coefficient of ${\mathit{e}}_i^{\mathrm{I}}$ in $\tilde{F}(\mathit{x},\mathit{y},z_E)$ is

$$\begin{array}{c}\hfill (\beta +\omega )[-i{y}_i+(i+1)y_{i+1}]\left(1,+,\frac{{\eta }_E}{y_E}\right)+\beta (i+1)x_{i+1}-\gamma y_i\frac{{\eta }_E}{y_E},\end{array}$$

so

$$\begin{array}{cc}\hfill {\left(\partial ,{\tilde{F}}_{\mathit{YX}},(\tilde{\mathit{w}}(t))\right)}_{\mathit{ij}}=& (\beta +\omega )[-i{\tilde{y}}_i(t)+(i+1){\tilde{y}}_{i+1}(t)]\frac{j}{{\tilde{y}}_E(t)}\hfill \\ \hfill & +\beta (i+1){\delta }_{i+1,j}-\gamma \frac{j{\tilde{y}}_i(t)}{{\tilde{y}}_E(t)}.\hfill \end{array}$$

Hence

$$\begin{array}{c}\hfill \sum _{i=1}^{\infty }i{\left(\partial ,{\tilde{F}}_{\mathit{YX}},(\tilde{\mathit{w}}(t))\right)}_{\mathit{ij}}=-(\beta +\omega +\gamma )j+\beta j(j-1)(j=0,1,\dots ),\end{array}$$

so

$$\begin{array}{cc}\hfill \mathit{p}\partial {\tilde{F}}_{\mathit{YX}}(\tilde{\mathit{w}}(t))=& -(\beta +\omega +\gamma )\mathit{p}+\beta {\mathit{p}}_{[2]},\hfill \end{array}$$ D.6

where ${\mathit{p}}_{[2]}=(p_{[2],0},p_{[2],1},\dots )$ with $p_{[2],i}=i(i-1)$$(i=0,1,\dots )$. Similar calculations show that

$$\begin{array}{cc}\hfill \mathit{p}\partial {\tilde{F}}_{\mathit{YY}}(\tilde{\mathit{w}}(t))=& -[2(\beta +\omega )+\gamma ]\mathit{p},\hfill \end{array}$$ D.7

$$\begin{array}{cc}\hfill \mathit{p}\partial {\tilde{F}}_{\mathit{YZ}}(\tilde{\mathit{w}}(t))=& -(\beta +\omega +\gamma ),\hfill \end{array}$$ D.8

$$\begin{array}{cc}\hfill \partial {\tilde{F}}_{\mathit{ZX}}(\tilde{\mathit{w}}(t))=& \gamma \mathit{p},\hfill \end{array}$$ D.9

$$\begin{array}{cc}\hfill \partial {\tilde{F}}_{\mathit{ZY}}(\tilde{\mathit{w}}(t))=& \gamma \mathit{p},\hfill \end{array}$$ D.10

$$\begin{array}{cc}\hfill \partial {\tilde{F}}_{\mathit{ZZ}}(\tilde{\mathit{w}}(t))=& \gamma -\beta -\omega .\hfill \end{array}$$ D.11

Setting $A=Y$ in (D.2) and using (D.6)–(D.8) yields, for $B=X,Y,Z$,

$$\begin{array}{cc}\hfill {\displaystyle \frac{\partial }{\partial t}}\mathit{p}{\tilde{\Phi }}_{\mathit{YB}}(t,u)=& -(\beta +\omega +\gamma )\mathit{p}{\tilde{\Phi }}_{\mathit{XB}}(t,u)+\beta {\mathit{p}}_{[2]}{\tilde{\Phi }}_{\mathit{XB}}(t,u)\hfill \\ \hfill & -[2(\beta +\omega )+\gamma ]\mathit{p}{\tilde{\Phi }}_{\mathit{YB}}(t,u)-(\beta +\omega +\gamma ){\tilde{\Phi }}_{\mathit{ZB}}(t,u).\hfill \end{array}$$ D.12

Setting $A=Z$ in (D.2) and using (D.9)–(D.11) yields, for $B=X,Y,Z$,

$$\begin{array}{c}\hfill {\displaystyle \frac{\partial }{\partial t}}{\tilde{\Phi }}_{\mathit{ZB}}(t,u)=\gamma \mathit{p}{\tilde{\Phi }}_{\mathit{XB}}(t,u)+\gamma \mathit{p}{\tilde{\Phi }}_{\mathit{YB}}(t,u)+(\gamma -\beta -\omega ){\tilde{\Phi }}_{\mathit{ZB}}(t,u).\end{array}$$ D.13

Setting $B=Z$ in (D.12) and (D.13), and recalling that ${\tilde{\Phi }}_{\mathit{XY}}(t,u)$ and ${\tilde{\Phi }}_{\mathit{XZ}}(t,u)$ are both identically zero, yields

$$\begin{array}{cc}\hfill {\displaystyle \frac{\partial }{\partial t}}\mathit{p}{\tilde{\Phi }}_{\mathit{YZ}}(t,u)=& -[2(\beta +\omega )+\gamma ]\mathit{p}{\tilde{\Phi }}_{\mathit{YZ}}(t,u)-(\beta +\omega +\gamma ){\tilde{\Phi }}_{\mathit{ZZ}}(t,u),\hfill \\ \hfill {\displaystyle \frac{\partial }{\partial t}}{\tilde{\Phi }}_{\mathit{ZZ}}(t,u)=& \gamma \mathit{p}{\tilde{\Phi }}_{\mathit{YZ}}(t,u)+(\gamma -\beta -\omega ){\tilde{\Phi }}_{\mathit{ZZ}}(t,u),\hfill \end{array}$$

with initial condition

$$\begin{array}{c}\hfill \mathit{p}{\tilde{\Phi }}_{\mathit{YZ}}(u,u)=0\text{and}{\tilde{\Phi }}_{\mathit{ZZ}}(u,u)=1.\end{array}$$

This linear system of two ODEs has solution, for $t\ge u$,

$$\begin{array}{cc}\hfill \mathit{p}{\tilde{\Phi }}_{\mathit{YZ}}(t,u)=& -\frac{\beta +\omega +\gamma }{\beta +\omega }{\mathrm{e}}^{-(\beta +\omega )(t-u)}\left(1,-,{\mathrm{e}}^{-(\beta +\omega )(t-u)}\right),\hfill \\ \hfill {\tilde{\Phi }}_{\mathit{ZZ}}(t,u)=& \frac{\beta +\omega +\gamma }{\beta +\omega }{\mathrm{e}}^{-(\beta +\omega )(t-u)}-\frac{\gamma }{\beta +\omega }{\mathrm{e}}^{-2(\beta +\omega )(t-u)}.\hfill \end{array}$$ D.14

Similarly, setting $B=Y$ in (D.12) and (D.13) yields

$$\begin{array}{cc}\hfill {\displaystyle \frac{\partial }{\partial t}}\mathit{p}{\tilde{\Phi }}_{\mathit{YY}}(t,u)=& -[2(\beta +\omega )+\gamma ]\mathit{p}{\tilde{\Phi }}_{\mathit{YY}}(t,u)-(\beta +\omega +\gamma ){\tilde{\Phi }}_{\mathit{ZY}}(t,u),\hfill \\ \hfill {\displaystyle \frac{\partial }{\partial t}}{\tilde{\Phi }}_{\mathit{ZY}}(t,u)=& \gamma \mathit{p}{\tilde{\Phi }}_{\mathit{YY}}(t,u)+(\gamma -\beta -\omega ){\tilde{\Phi }}_{\mathit{ZY}}(t,u),\hfill \end{array}$$

with initial condition

$$\begin{array}{c}\hfill \mathit{p}{\tilde{\Phi }}_{\mathit{YY}}(u,u)=\mathit{p}\text{and}{\tilde{\Phi }}_{\mathit{ZY}}(u,u)=\mathbf{0}\end{array}$$

and solution, for $t\ge u$,

$$\begin{array}{cc}\hfill \mathit{p}{\tilde{\Phi }}_{\mathit{YY}}(t,u)=& \left(\frac{\beta +\omega +\gamma }{\beta +\omega },{\mathrm{e}}^{-2(\beta +\omega )(t-u)},-,\frac{\gamma }{\beta +\omega },{\mathrm{e}}^{-(\beta +\omega )(t-u)}\right)\mathit{p},\hfill \\ \hfill {\tilde{\Phi }}_{\mathit{ZY}}(t,u)=& \frac{\gamma }{\beta +\omega }{\mathrm{e}}^{-(\beta +\omega )(t-u)}\left(1,-,{\mathrm{e}}^{-(\beta +\omega )(t-u)}\right)\mathit{p}.\hfill \end{array}$$ D.15

Setting $B=X$ in (D.12) and (D.13) yields

$$\begin{array}{cc}\hfill {\displaystyle \frac{\partial }{\partial t}}\mathit{p}{\tilde{\Phi }}_{\mathit{YX}}(t,u)& =-(\beta +\omega +\gamma )\mathit{p}{\tilde{\Phi }}_{\mathit{XX}}(t,u)+\beta {\mathit{p}}_{[2]}{\tilde{\Phi }}_{\mathit{XX}}(t,u)\hfill \\ \hfill & -[2(\beta +\omega )+\gamma ]\mathit{p}{\tilde{\Phi }}_{\mathit{YX}}(t,u)-(\beta +\omega +\gamma ){\tilde{\Phi }}_{\mathit{ZX}}(t,u),\hfill \end{array}$$ D.16

$$\begin{array}{cc}\hfill {\displaystyle \frac{\partial }{\partial t}}{\tilde{\Phi }}_{\mathit{ZX}}(t,u)& =\gamma \mathit{p}{\tilde{\Phi }}_{\mathit{XX}}(t,u)+\gamma \mathit{p}{\tilde{\Phi }}_{\mathit{YX}}(t,u)+(\gamma -\beta -\omega ){\tilde{\Phi }}_{\mathit{ZX}}(t,u),\hfill \end{array}$$ D.17

with initial condition

$$\begin{array}{c}\hfill \mathit{p}{\tilde{\Phi }}_{\mathit{YX}}(u,u)=\mathbf{0}\text{and}{\tilde{\Phi }}_{\mathit{ZX}}(u,u)=\mathbf{0}.\end{array}$$ D.18

Further, using (D.4), for $j=0,1,\dots$,

$$\begin{array}{cc}\hfill {\left(\mathit{p},{\tilde{\Phi }}_{\mathit{XX}},(t,u)\right)}_j=& j{\mathrm{e}}^{-(\beta +\omega )(t-u)}\psi {(t-u)}^{j-1},\hfill \end{array}$$ D.19

$$\begin{array}{cc}\hfill {\left({\mathit{p}}_{[2]},{\tilde{\Phi }}_{\mathit{XX}},(t,u)\right)}_j=& j(j-1){\mathrm{e}}^{-2(\beta +\omega )(t-u)}\psi {(t-u)}^{j-2}.\hfill \end{array}$$ D.20

Note that (D.16)–(D.20) imply that, for $0\le u\le t$,

$$\begin{array}{c}\hfill \mathit{p}{\tilde{\Phi }}_{\mathit{YX}}(t,u)=\mathit{p}{\tilde{\Phi }}_{\mathit{YX}}(t-u,0)\text{and}{\tilde{\Phi }}_{\mathit{ZX}}(t,u)={\tilde{\Phi }}_{\mathit{ZX}}(t-u,0),\end{array}$$ D.21

so we consider the case when $u=0$.

Let

$$\begin{array}{c}\hfill D=\left[\begin{array}{cc}-2(\beta +\omega )-\gamma & -(\beta +\omega +\gamma )\\ \gamma & \gamma -\beta -\omega \end{array}\right].\end{array}$$

Then,

$$\begin{array}{cc}& \left(\begin{array}{c}\mathit{p}{\tilde{\Phi }}_{\mathit{YX}}(t,0)\\ {\tilde{\Phi }}_{\mathit{ZX}}(t,0)\end{array}\right)\hfill \\ \hfill & ={\int }_0^t{\mathrm{e}}^{-D(t-s)}\left(\begin{array}{c}-(\beta +\omega +\gamma )\mathit{p}{\tilde{\Phi }}_{\mathit{XX}}(s,0)+\beta {\mathit{p}}_{[2]}{\tilde{\Phi }}_{\mathit{XX}}(s,0)\\ \gamma \mathit{p}{\tilde{\Phi }}_{\mathit{XX}}(s,0)\end{array}\right)\mathrm{d}s,\hfill \end{array}$$ D.22

with

$$\begin{array}{cc}\hfill {\mathrm{e}}^{-Dt}& =\frac{1}{\beta +\omega }{\mathrm{e}}^{-2(\beta +\omega )t}\left[\begin{array}{cc}\beta +\omega +\gamma & \beta +\omega +\gamma \\ -\gamma & -\gamma \end{array}\right]\hfill \\ \hfill & +\frac{1}{\beta +\omega }{\mathrm{e}}^{-(\beta +\omega )t}\left[\begin{array}{cc}-\gamma & -(\beta +\omega +\gamma )\\ \gamma & \beta +\omega +\gamma \end{array}\right].\hfill \end{array}$$ D.23

Substituting (D.23) into (D.22) yields, after using (D.19) and (D.20), that, for $j=0,1,\dots$,

$$\begin{array}{c}\hfill {\left(\mathit{p},,{\tilde{\Phi }}_{\mathit{YX}},(t,0)\right)}_j=I_j^{(1)}(t)+I_j^{(2)}(t)+I_j^{(3)}(t),\end{array}$$ D.24

where

$$\begin{array}{cc}\hfill I_j^{(1)}(t)=& -(\beta +\omega +\gamma ){\mathrm{e}}^{-2(\beta +\omega )t}{\int }_0^{t}j{\mathrm{e}}^{(\beta +\omega )s}\psi {(s)}^{j-1}\mathrm{d}s,\hfill \\ \hfill I_j^{(2)}(t)=& \frac{\beta (\beta +\omega +\gamma )}{\beta +\omega }{\mathrm{e}}^{-2(\beta +\omega )t}{\int }_0^{t}j(j-1)\psi {(s)}^{j-2}\mathrm{d}s,\hfill \\ \hfill I_j^{(3)}(t)=& -\frac{\beta \gamma }{\beta +\omega }{\mathrm{e}}^{-(\beta +\omega )t}{\int }_0^{t}j(j-1){\mathrm{e}}^{-(\beta +\omega )s}\psi {(s)}^{j-2}\mathrm{d}s\hfill \end{array}$$

and, recalling (5.5), $\psi (s)=p_{\omega }+(1-p_{\omega }){\mathrm{e}}^{-(\beta +\omega )s}$. Integrating by parts,

$$\begin{array}{cc}\hfill {\int }_0^t& j(j-1)\psi {(s)}^{j-2}\mathrm{d}s\hfill \\ \hfill & ={\left[-,\frac{1}{\beta },{\mathrm{e}}^{(\beta +\omega )s},j,\psi ,{(s)}^{j-1}\right]}_0^t+{\int }_0^t\frac{\beta +\omega }{\beta }j{\mathrm{e}}^{(\beta +\omega )s}\psi {(s)}^{j-1}\mathrm{d}s,\hfill \end{array}$$

so

$$\begin{array}{c}\hfill I_j^{(2)}(t)=\frac{\beta +\omega +\gamma }{\beta +\omega }{\mathrm{e}}^{-2(\beta +\omega )t}j\left[1,-,{\mathrm{e}}^{(\beta +\omega )t},\psi ,{(t)}^{j-1}\right]-I_j^{(1)}(t).\end{array}$$

Also,

$$\begin{array}{cc}\hfill I_j^{(3)}(t)=& -\frac{\beta \gamma }{\beta +\omega }{\mathrm{e}}^{-(\beta +\omega )t}j{\left[-,\frac{1}{(\beta +\omega )(1-p_{\omega })},\psi ,{(s)}^{j-1}\right]}_0^t\hfill \\ \hfill =& \frac{\gamma }{\beta +\omega }{\mathrm{e}}^{-(\beta +\omega )t}j\left[\psi ,{(t)}^{j-1},-,1\right].\hfill \end{array}$$

It then follows using (D.24) and (D.21) that, for $j=0,1,\dots$,

$$\begin{array}{cc}\hfill {\left(\mathit{p},,{\tilde{\Phi }}_{\mathit{YX}},(t,u)\right)}_j& =I_j^{(1)}(t-u)+I_j^{(2)}(t-u)+I_j^{(3)}(t-u)\hfill \end{array}$$ D.25

$$\begin{array}{cc}& ={\mathrm{e}}^{-(\beta +\omega )(t-u)}\frac{\left((\beta +\omega +\gamma ),{\mathrm{e}}^{-(\beta +\omega )(t-u)},-,\gamma \right)}{\beta +\omega }j\hfill \\ \hfill & -{\mathrm{e}}^{-(\beta +\omega )(t-u)}\psi {(t-u)}^{j-1}j.\hfill \end{array}$$ D.26

E Calculation of ${\sigma }_{\mathrm{MR}}^2(\beta ,\omega ,\gamma )$

Recall (6.10) for ${\sigma }_{\mathrm{MR}}^2(\beta ,\omega ,\gamma )$, where ${\sigma }_1^2,{\sigma }_2^2,\dots ,{\sigma }_5^2$ are given by (6.11). We first obtain closed-form expressions for the integrands in the definitions of ${\sigma }_1^2,{\sigma }_2^2,\dots ,{\sigma }_5^2$, then evaluate the integrals as a function of $\tilde{\tau }$ and finally show that the expression for ${\sigma }_{\mathrm{MR}}^2(\beta ,\omega ,\gamma )$ reduces to that given in Proposition 6.1.

E.1 Integrands

We determine the integrands for ${\sigma }_1^2,{\sigma }_2^2,\dots ,{\sigma }_5^2$ in reverse order.

E.1.1 Integral for ${\sigma }_5^2$

For $i=0,1,\dots$, it follows from (3.5), (6.17) and (6.19) that

$$\begin{array}{c}\hfill \mathit{c}(\tilde{\tau },u){({\mathit{l}}_i^{(5)})}^{\top }=i[h_R(\tilde{\tau },u)-h_I(\tilde{\tau },u)]=-ib(\tilde{\tau }){\mathrm{e}}^{-(\beta +\omega )(\tilde{\tau }-u)},\end{array}$$

so, using (4.1) and recalling (5.9) for ${\tilde{\eta }}_E(t)$,

$$\begin{array}{cc}\hfill \sum _{i=0}^{\infty }{\left(\mathit{c},(\tilde{\tau },u),({\mathit{l}}_i^{(5)}),{}^{\top }\right)}^2{\tilde{\beta }}_{\mathit{l}}^{(5)}(\tilde{\mathit{w}}(u))=& \sum _{i=0}^{\infty }{i}^{2}b{(\tilde{\tau })}^2{\mathrm{e}}^{-2(\beta +\omega )(\tilde{\tau }-u)}\gamma {\tilde{y}}_i(u)\frac{{\tilde{\eta }}_E(u)}{{\tilde{y}}_E(u)}\hfill \\ \hfill =& \gamma {\mu }_{D}b{(\tilde{\tau })}^2{\mathrm{e}}^{-2(\beta +\omega )\tilde{\tau }}\frac{{\tilde{y}}_E^{(2)}(u)}{{\tilde{y}}_E(u)},\hfill \end{array}$$

where ${\tilde{y}}_E^{(2)}(u)={\sum }_{i=1}^{\infty }{i}^2{\tilde{y}}_i(u)$. Thus, using (6.11),

$$\begin{array}{c}\hfill {\sigma }_5^2=\gamma {\mu }_{D}b{(\tilde{\tau })}^2{\mathrm{e}}^{-2(\beta +\omega )\tilde{\tau }}{\int }_0^{\tilde{\tau }}\frac{{\tilde{y}}_E^{(2)}(u)}{{\tilde{y}}_E(u)}\mathrm{d}u.\end{array}$$ E.1

E.1.2 Integral for ${\sigma }_4^2$

For $i=1,2,\dots$, it follows from (3.4), (6.17) and (6.19) that

$$\begin{array}{c}\hfill \mathit{c}(\tilde{\tau },u){({\mathit{l}}_i^{(4)})}^{\top }=-h_I(\tilde{\tau },u)-h_R(\tilde{\tau },u)=b(\tilde{\tau }){\mathrm{e}}^{-(\beta +\omega )(\tilde{\tau }-u)}-2h_I(\tilde{\tau },u),\end{array}$$

so, using (4.1),

$$\begin{array}{cc}& \sum _{i=1}^{\infty }{\left(\mathit{c},(\tilde{\tau },u),(,{\mathit{l}}_{i^{(4)}}{)}^{\top }\right)}^2{\tilde{\beta }}_{\mathit{l}}^{(4)}(\tilde{\mathit{w}}(u))\hfill \\ \hfill & =\sum _{i=1}^{\infty }{\left(b,(\tilde{\tau }),{\mathrm{e}}^{-(\beta +\omega )(\tilde{\tau }-u)},-,2,h_I,(\tilde{\tau },u)\right)}^2(\beta +\omega )i{\tilde{y}}_i(u)\frac{{\tilde{z}}_E(u)}{{\tilde{y}}_E(u)}\hfill \\ \hfill & =(\beta +\omega ){\left(b,(\tilde{\tau }),{\mathrm{e}}^{-(\beta +\omega )(\tilde{\tau }-u)},-,2,h_I,(\tilde{\tau },u)\right)}^2{\tilde{z}}_E(u).\hfill \end{array}$$

Thus, using (6.11),

$$\begin{array}{c}\hfill {\sigma }_4^2={\int }_0^{\tilde{\tau }}(\beta +\omega ){\left(b,(\tilde{\tau }),{\mathrm{e}}^{-(\beta +\omega )(\tilde{\tau }-u)},-,2,h_I,(\tilde{\tau },u)\right)}^2{\tilde{z}}_E(u)\mathrm{d}u.\end{array}$$ E.2

E.1.3 Integral for ${\sigma }_3^2$

For $i,j=1,2,\dots$, it follows from (3.3), (6.17) and (6.20) that

$$\begin{array}{c}\hfill \mathit{c}(\tilde{\tau },u){({\mathit{l}}_{\mathit{ij}}^{(3)})}^{\top }=-[2h_I(\tilde{\tau },u)+{\widehat{c}}_j(\tilde{\tau },u)],\end{array}$$

where ${\widehat{c}}_j(\tilde{\tau },u)={\tilde{c}}_j(\tilde{\tau },u)-{\tilde{c}}_{j-1}(\tilde{\tau },u)$. Hence, using (4.1),

$$\begin{array}{c}\hfill \sum _{i=1}^{\infty }\sum _{j=1}^{\infty }{\left(\mathit{c},(\tilde{\tau },u),(,\mathit{l}{}_{\mathit{ij}}^{(3)}{)}^{\top }\right)}^2{\tilde{\beta }}_{\mathit{l}}^{(3)}(\tilde{\mathit{w}}(u))=\omega \sum _{j=1}^{\infty }{\left(2,h_I,(\tilde{\tau },u),+,{\widehat{c}}_j,(\tilde{\tau },u)\right)}^{2}j{\tilde{x}}_j(u),\end{array}$$

and, using (6.11),

$$\begin{array}{c}\hfill {\sigma }_3^2=\omega {\int }_0^{\tilde{\tau }}\sum _{j=1}^{\infty }{\left(2,h_I,(\tilde{\tau },u),+,{\widehat{c}}_j,(\tilde{\tau },u)\right)}^{2}j{\tilde{x}}_j(u)\mathrm{d}u.\end{array}$$ E.3

E.1.4 Integral for ${\sigma }_2^2$

For $i,j=1,2,\dots$, it follows from (3.2) and (6.17) that

$$\begin{array}{c}\hfill \mathit{c}(\tilde{\tau },u){({\mathit{l}}_{\mathit{ij}}^{(2)})}^{\top }=-2h_I(\tilde{\tau },u),\end{array}$$

so, using (4.1),

$$\begin{array}{c}\hfill \sum _{i=1}^{\infty }\sum _{j=1}^{\infty }{\left(\mathit{c},(\tilde{\tau },u),(,\mathit{l}{}_{\mathit{ij}}^{(2)}{)}^{\top }\right)}^2{\tilde{\beta }}_{\mathit{l}}^{(2)}(\tilde{\mathit{w}}(u))=4h_I{(\tilde{\tau },u)}^2(\beta +\omega ){\tilde{y}}_E(u),\end{array}$$

and, using (6.11),

$$\begin{array}{c}\hfill {\sigma }_2^2=4(\beta +\omega ){\int }_0^{\tilde{\tau }}{h}_I{(\tilde{\tau },u)}^2{\tilde{y}}_E(u)\mathrm{d}u.\end{array}$$ E.4

E.1.5 Integral for ${\sigma }_1^2$

For $i,j=1,2,\dots$, it follows from (3.1), (6.17) and (6.20) that

$$\begin{array}{c}\hfill \mathit{c}(\tilde{\tau },u){({\mathit{l}}_{\mathit{ij}}^{(1)})}^{\top }=-[2h_I(\tilde{\tau },u)+{\tilde{c}}_j(\tilde{\tau },u)],\end{array}$$

so, using (4.1),

$$\begin{array}{c}\hfill \sum _{i=1}^{\infty }\sum _{j=1}^{\infty }{\left(\mathit{c},(\tilde{\tau },u),(,\mathit{l}{}_{\mathit{ij}}^{(1)}{)}^{\top }\right)}^2{\tilde{\beta }}_{\mathit{l}}^{(1)}(\tilde{\mathit{w}}(u))=\beta \sum _{j=1}^{\infty }{\left(2,h_I,(\tilde{\tau },u),+,{\tilde{c}}_j,(\tilde{\tau },u)\right)}^{2}j{\tilde{x}}_j(u),\end{array}$$

and, using (6.11),

$$\begin{array}{c}\hfill {\sigma }_1^2=\beta {\int }_0^{\tilde{\tau }}\sum _{j=1}^{\infty }{\left(2,h_I,(\tilde{\tau },u),+,{\tilde{c}}_j,(\tilde{\tau },u)\right)}^{2}j{\tilde{x}}_j(u)\mathrm{d}u.\end{array}$$ E.5

E.2 Evaluation of integrals

Recall that ${\tilde{\eta }}_E(u)={\tilde{x}}_E(u)+{\tilde{y}}_E(u)+{\tilde{z}}_E(u)$. Then adding (E.2)–(E.5) gives,

$$\begin{array}{c}\hfill \sum _{i=1}^4{\sigma }_i^2=\sum _{i=1}^7{I}_i,\end{array}$$ E.6

where

$$\begin{array}{cc}\hfill I_1=& 4(\beta +\omega ){\int }_0^{\tilde{\tau }}{h}_I{(\tilde{\tau },u)}^2{\tilde{\eta }}_E(u)\mathrm{d}u,\hfill \end{array}$$ E.7

$$\begin{array}{cc}\hfill I_2=& -4(\beta +\omega )b(\tilde{\tau }){\int }_0^{\tilde{\tau }}{h}_I(\tilde{\tau },u){\mathrm{e}}^{-(\beta +\omega )(\tilde{\tau }-u)}{\tilde{z}}_E(u)\mathrm{d}u,\hfill \end{array}$$ E.8

$$\begin{array}{cc}\hfill I_3=& (\beta +\omega )b{(\tilde{\tau })}^2{\int }_0^{\tilde{\tau }}{\mathrm{e}}^{-2(\beta +\omega )(\tilde{\tau }-u)}{\tilde{z}}_E(u)\mathrm{d}u,\hfill \end{array}$$ E.9

$$\begin{array}{cc}\hfill I_4=& 4\omega {\int }_0^{\tilde{\tau }}{h}_I(\tilde{\tau },u)\sum _{j=1}^{\infty }{\widehat{c}}_j(\tilde{\tau },u)j{\tilde{x}}_j(u)\mathrm{d}u,\hfill \end{array}$$ E.10

$$\begin{array}{cc}\hfill I_5=& \omega {\int }_0^{\tilde{\tau }}\sum _{j=1}^{\infty }{\widehat{c}}_j{(\tilde{\tau },u)}^{2}j{\tilde{x}}_j(u)\mathrm{d}u,\hfill \end{array}$$ E.11

$$\begin{array}{cc}\hfill I_6=& 4\beta {\int }_0^{\tilde{\tau }}{h}_I(\tilde{\tau },u)\sum _{j=1}^{\infty }{\tilde{c}}_j(\tilde{\tau },u)j{\tilde{x}}_j(u)\mathrm{d}u,\hfill \end{array}$$ E.12

$$\begin{array}{cc}\hfill I_7=& \beta {\int }_0^{\tilde{\tau }}\sum _{j=1}^{\infty }{\tilde{c}}_j{(\tilde{\tau },u)}^{2}j{\tilde{x}}_j(u)\mathrm{d}u.\hfill \end{array}$$ E.13

Recalling (5.9), (5.10) and (6.18) allows us to evaluate immediately $I_1,I_2$ and $I_3$:

$$\begin{array}{cc}\hfill I_1=& \frac{4{\mu }_{D}b{(\tilde{\tau })}^2{\mathrm{e}}^{-2(\beta +\omega )\tilde{\tau }}}{\beta +\omega }\left[{\gamma }^2,\tilde{\tau },-,\frac{2\gamma (\beta +\omega +\gamma )}{\beta +\omega },\left(1,-,{\mathrm{e}}^{-(\beta +\omega )\tilde{\tau }}\right)\right)\hfill \\ \hfill & \left(+,\frac{{(\beta +\omega +\gamma )}^2}{2(\beta +\omega )},\left(1,-,{\mathrm{e}}^{-2(\beta +\omega )\tilde{\tau }}\right)\right],\hfill \end{array}$$ E.14

$$\begin{array}{cc}\hfill I_2=& -4\frac{\gamma {\mu }_{D}b{(\tilde{\tau })}^2{\mathrm{e}}^{-(\beta +\omega )\tilde{\tau }}}{\beta +\omega }\left[\gamma ,\tilde{\tau },{\mathrm{e}}^{-(\beta +\omega )\tilde{\tau }}\right)\hfill \\ \hfill & \left(-,\frac{(\beta +\omega +\gamma ){\mathrm{e}}^{-(\beta +\omega )\tilde{\tau }}+\gamma }{\beta +\omega },\left(1,-,{\mathrm{e}}^{-(\beta +\omega )\tilde{\tau }}\right)\right)\hfill \\ \hfill & \left(+,\frac{\beta +\omega +\gamma }{2(\beta +\omega )},\left(1,-,{\mathrm{e}}^{-2(\beta +\omega )\tilde{\tau }}\right)\right],\hfill \end{array}$$ E.15

$$\begin{array}{cc}\hfill I_3=& \frac{\gamma {\mu }_{D}b{(\tilde{\tau })}^2{\mathrm{e}}^{-(\beta +\omega )\tilde{\tau }}}{\beta +\omega }\left\{1,-,{\mathrm{e}}^{-(\beta +\omega )\tilde{\tau }},\left[1,+,(\beta +\omega ),\tilde{\tau }\right]\right\}.\hfill \end{array}$$ E.16

For $j,k=0,1,\dots$, let $j_{[k]}=j(j-1)\dots (j-k+1)$ denote a falling factorial, with the convention that $j_{[0]}=1$. To calculate $I_4,I_5,I_6$ and $I_7$, observe first using (5.2) that, for $\theta \in [0,1]$ and $k=1,2,\dots$,

$$\begin{array}{cc}\hfill \sum _{j=1}^{\infty }{j}_{[k]}{\tilde{x}}_j(u){\theta }^{j-k}=& \sum _{j=k}^{\infty }\frac{j!}{(j-k)!}{\theta }^{j-k}\frac{{\mathrm{e}}^{-(\beta +\omega )ju}}{j!}{f}_{D_{\epsilon }}^{(j)}\left(p_{\omega },\left[1,-,{\mathrm{e}}^{-(\beta +\omega )u}\right]\right)\hfill \\ \hfill =& {\mathrm{e}}^{-(\beta +\omega )ku}\sum _{j=k}^{\infty }\frac{{\left[\theta ,{\mathrm{e}}^{-(\beta +\omega )u}\right]}^{j-k}}{(j-k)!}{f}_{D_{\epsilon }}^{(j)}\left(p_{\omega },\left[1,-,{\mathrm{e}}^{-(\beta +\omega )u}\right]\right)\hfill \\ \hfill =& {\mathrm{e}}^{-k(\beta +\omega )u}{f}_{D_{\epsilon }}^{(k)}\left(\theta ,{\mathrm{e}}^{-(\beta +\omega )u},+,p_{\omega },\left[1,-,{\mathrm{e}}^{-(\beta +\omega )u}\right]\right),\hfill \end{array}$$ E.17

and that

$$\begin{array}{c}\hfill {\mathrm{e}}^{-(\beta +\omega )u}\psi (\tilde{\tau }-u)+p_{\omega }\left[1,-,{\mathrm{e}}^{-(\beta +\omega )u}\right]=\psi (\tilde{\tau }).\end{array}$$

Thus, using (E.17) with $\theta =\psi (\tilde{\tau }-u)$ and $k=1,2$,

and

$$\begin{array}{cc}& \sum _{j=1}^{\infty }{\tilde{c}}_{j-1}(\tilde{\tau },u)j{\tilde{x}}_j(u)\hfill \\ \hfill & =\sum _{j=1}^{\infty }j{\tilde{x}}_j(u)\psi {(\tilde{\tau }-u)}^{j-1}-b(\tilde{\tau }){\mathrm{e}}^{-(\beta +\omega )(\tilde{\tau }-u)}\sum _{j=2}^{\infty }j(j-1){\tilde{x}}_j(u)\psi {(\tilde{\tau }-u)}^{j-2}\hfill \\ \hfill & ={\mathrm{e}}^{-(\beta +\omega )u}\left[f_{D_{\epsilon }}^{\prime },(\psi (\tilde{\tau })),-,b,(\tilde{\tau }),{\mathrm{e}}^{-(\beta +\omega )\tilde{\tau }},f_{D_{\epsilon }}^{(2)},(\psi (\tilde{\tau }))\right].\hfill \end{array}$$

Hence, recalling (6.18),

$$\begin{array}{cc}\hfill I_4+I_6=& 4\left\{\beta ,\left[f_{D_{\epsilon }}^{\prime },(\psi (\tilde{\tau })),-,b,(\tilde{\tau }),{\mathrm{e}}^{-(\beta +\omega )\tilde{\tau }},f_{D_{\epsilon }}^{(2)},(\psi (\tilde{\tau }))\right],{\mathrm{e}}^{-(\beta +\omega )\tilde{\tau }}\right)\hfill \\ \hfill & \left(-,4,(\beta +\omega ),b,(\tilde{\tau }),{\mathrm{e}}^{-(\beta +\omega )\tilde{\tau }},f_{D_{\epsilon }}^{\prime },(\psi (\tilde{\tau }))\right\}{I}_8,\hfill \end{array}$$ E.18

where

$$\begin{array}{cc}\hfill I_8& ={\int }_0^{\tilde{\tau }}{h}_I(\tilde{\tau },u)\mathrm{d}u\hfill \\ \hfill & =-\frac{b(\tilde{\tau })}{\beta +\omega }\left[\frac{\gamma \left(1,-,{\mathrm{e}}^{-(\beta +\omega )\tilde{\tau }}\right)}{\beta +\omega },-,\frac{(\beta +\omega +\gamma )\left(1,-,{\mathrm{e}}^{-2(\beta +\omega )\tilde{\tau }}\right)}{2(\beta +\omega )}\right].\hfill \end{array}$$ E.19

Turning to $I_5$ and $I_7$, note that

$$\begin{array}{c}\hfill {\tilde{c}}_j(\tilde{\tau },u)=\psi {(\tilde{\tau }-u)}^{j-1}\left(\psi ,(\tilde{\tau }-u),-,b,(\tilde{\tau }),j,{\mathrm{e}}^{-(\beta +\omega )(\tilde{\tau }-u)}\right),\end{array}$$ E.20

so

$$\begin{array}{cc}\hfill \sum _{j=1}^{\infty }{\tilde{c}}_j{(\tilde{\tau },u)}^{2}j{\tilde{x}}_j(u)& =\psi {(\tilde{\tau }-u)}^2{S}_1(\tilde{\tau },u)-2b(\tilde{\tau })\psi (\tilde{\tau }-u){\mathrm{e}}^{-(\beta +\omega )(\tilde{\tau }-u)}{S}_2(\tilde{\tau },u)\hfill \\ \hfill & +b{(\tilde{\tau })}^2{\mathrm{e}}^{-2(\beta +\omega )(\tilde{\tau }-u)}{S}_3(\tilde{\tau },u),\hfill \end{array}$$

where

$$\begin{array}{c}\hfill S_k(\tilde{\tau },u)=\sum _{j=1}^{\infty }\psi {(\tilde{\tau }-u)}^{2(j-1)}{j}^k{\tilde{x}}_j(u)(k=1,2,3).\end{array}$$

Let

$$\begin{array}{c}\hfill {\psi }_2(\tilde{\tau },u)={\mathrm{e}}^{-(\beta +\omega )u}\psi {(\tilde{\tau }-u)}^2+p_{\omega }\left(1,-,{\mathrm{e}}^{-(\beta +\omega )u}\right).\end{array}$$ E.21

Then, since $j^2=j_{[2]}+j$ and $j^3=j_{[3]}+3j_{[2]}+j$, it follows using (E.17) that

$$\begin{array}{cc}\hfill S_1(\tilde{\tau },u)& ={\mathrm{e}}^{-(\beta +\omega )u}{f}_{D_{\epsilon }}^{\prime }({\psi }_2(\tilde{\tau },u)),\hfill \\ \hfill S_2(\tilde{\tau },u)& =\psi {(\tilde{\tau }-u)}^2{\mathrm{e}}^{-2(\beta +\omega )u}{f}_{D_{\epsilon }}^{(2)}({\psi }_2(\tilde{\tau },u))+{\mathrm{e}}^{-(\beta +\omega )u}{f}_{D_{\epsilon }}^{\prime }({\psi }_2(\tilde{\tau },u)),\hfill \\ \hfill S_3(\tilde{\tau },u)& =\psi {(\tilde{\tau }-u)}^4{\mathrm{e}}^{-3(\beta +\omega )u}{f}_{D_{\epsilon }}^{(3)}({\psi }_2(\tilde{\tau },u))\hfill \\ \hfill & +3\psi {(\tilde{\tau }-u)}^2{\mathrm{e}}^{-2(\beta +\omega )u}{f}_{D_{\epsilon }}^{(2)}({\psi }_2(\tilde{\tau },u))+{\mathrm{e}}^{-(\beta +\omega )u}{f}_{D_{\epsilon }}^{\prime }({\psi }_2(\tilde{\tau },u)),\hfill \end{array}$$

whence

$$\begin{array}{cc}& \sum _{j=1}^{\infty }{\tilde{c}}_j{(\tilde{\tau },u)}^{2}j{\tilde{x}}_j(u)\hfill \\ \hfill & ={\left[\psi ,(\tilde{\tau }-u),-,b,(\tilde{\tau }),{\mathrm{e}}^{-(\beta +\omega )(\tilde{\tau }-u)}\right]}^2{\mathrm{e}}^{-(\beta +\omega )u}{f}_{D_{\epsilon }}^{\prime }({\psi }_2(\tilde{\tau },u))\hfill \\ \hfill & +b(\tilde{\tau })\psi {(\tilde{\tau }-u)}^2{\mathrm{e}}^{-(\beta +\omega )(\tilde{\tau }+u)}\left[3,b,(\tilde{\tau }),{\mathrm{e}}^{-(\beta +\omega )(\tilde{\tau }-u)},-,2,\psi ,(\tilde{\tau }-u)\right]f_{D_{\epsilon }}^{(2)}({\psi }_2(\tilde{\tau },u))\hfill \\ \hfill & +b{(\tilde{\tau })}^2\psi {(\tilde{\tau }-u)}^4{\mathrm{e}}^{-(\beta +\omega )(2\tilde{\tau }+u)}{f}_{D_{\epsilon }}^{(3)}({\psi }_2(\tilde{\tau },u)).\hfill \end{array}$$ E.22

Further, (E.20) implies

$$\begin{array}{cc}\hfill {\widehat{c}}_j(\tilde{\tau },u)& =\psi {(\tilde{\tau }-u)}^{j-2}\left\{\psi ,(\tilde{\tau }-u),\left[\psi ,(\tilde{\tau }-u),-,1,-,b,(\tilde{\tau }),{\mathrm{e}}^{-(\beta +\omega )(\tilde{\tau }-u)}\right]\right)\hfill \\ \hfill & \left(,,,,,-,(j-1),b,(\tilde{\tau }),(\psi (\tilde{\tau }-u)-1),{\mathrm{e}}^{-(\beta +\omega )(\tilde{\tau }-u)}\right\},\hfill \end{array}$$

so

E.23

To calculate the integral in (E.1) for ${\sigma }_5^2$, let

$$\begin{array}{c}\hfill {\tilde{y}}_E^{[2]}(t)=\sum _{i=2}^{\infty }i(i-1){\tilde{y}}_i(t)\end{array}$$ E.24

and note that

$$\begin{array}{c}\hfill \sum _{i=2}^{\infty }\left[(i+1),i,(i-1),{\tilde{y}}_{i+1},(t),-,i^2,(i-1),{\tilde{y}}_i,(t)\right]=-2{\tilde{y}}_E^{[2]}(t).\end{array}$$

Multiplying (4.4) by $i(i-1)$ and summing over $i=2,3,\dots$ yields, after recalling  (5.9) and invoking (E.17) with $\theta =1$ and $k=3$, that

$$\begin{array}{c}\hfill {\displaystyle \frac{d{\tilde{y}}_E^{[2]}}{\mathit{dt}}}+2(\beta +\omega ){\tilde{y}}_E^{[2]}=-{\mu }_D{\mathrm{e}}^{-2(\beta +\omega )t}[2(\beta +\omega )+\gamma ]\frac{{\tilde{y}}_E^{[2]}}{{\tilde{y}}_E}+\beta {\mathrm{e}}^{-3(\beta +\omega )t}{f}_{D_{\epsilon }}^{(3)}\left(\psi ,(,t,)\right),\end{array}$$

so

$$\begin{array}{cc}\hfill {\displaystyle \frac{d}{\mathit{dt}}}\left({\mathrm{e}}^{2(\beta +\omega )t},{\tilde{y}}_E^{[2]},(t)\right)=& -{\mu }_D[2(\beta +\omega )+\gamma ]\frac{{\tilde{y}}_E^{[2]}(t)}{{\tilde{y}}_E(t)}+\beta {\mathrm{e}}^{-(\beta +\omega )t}{f}_{D_{\epsilon }}^{(3)}\left(\psi ,(,t,)\right)\hfill \\ \hfill =& -{\mu }_D[2(\beta +\omega )+\gamma ]\frac{{\tilde{y}}_E^{[2]}(t)}{{\tilde{y}}_E(t)}-{\displaystyle \frac{d}{\mathit{dt}}}\left[f_{D_{\epsilon }}^{(2)},\left(\psi ,(,t,)\right)\right],\hfill \end{array}$$

since $p_{\omega }=\frac{\omega }{\beta +\omega }$. Thus,

$$\begin{array}{cc}\hfill {\int }_0^{\tilde{\tau }}\frac{{\tilde{y}}_E^{[2]}(u)}{{\tilde{y}}_E(u)}\mathrm{d}u=& {\left[-,\frac{1}{{\mu }_D[2(\beta +\omega )+\gamma ]},\left({\mathrm{e}}^{2(\beta +\omega )u},{\tilde{y}}_E^{[2]},(u),+,f_{D_{\epsilon }}^{(2)},\left(\psi ,(,u,)\right)\right)\right]}_0^{\tilde{\tau }}\hfill \\ \hfill =& \frac{1}{{\mu }_D[2(\beta +\omega )+\gamma ]}\left[{\tilde{y}}_E^{[2]},(0),+,f_{D_{\epsilon }}^{(2)},(1),-,f_{D_{\epsilon }}^{(2)},\left(\psi ,(,\tilde{\tau },)\right)\right],\hfill \end{array}$$

as ${\tilde{y}}_i(\tilde{\tau })=0$$(i=1,2,\dots )$. Using (E.24) gives ${\tilde{y}}_E^{[2]}(0)={\sum }_{i=2}^{\infty }i(i-1){\epsilon }_i$ and differentiating (5.3) twice yields $f_{D_{\epsilon }}^{(2)}(1)={\sum }_{i=2}^{\infty }i(i-1)(p_i-{\epsilon }_i)$. Thus, ${\tilde{y}}_E^{[2]}(0)+f_{D_{\epsilon }}^{(2)}(1)={\sum }_{i=2}^{\infty }i(i-1)p_i=f_D^{\prime \prime }(1)$. Further, ${\tilde{y}}_E^{(2)}(u)={\tilde{y}}_E^{[2]}(u)+{\tilde{y}}_E(u)$, so ${\int }_0^{\tilde{\tau }}\frac{{\tilde{y}}_E^{(2])}(u)}{{\tilde{y}}_E(u)}\mathrm{d}u=\tilde{\tau }+{\int }_0^{\tilde{\tau }}\frac{{\tilde{y}}_E^{[2]}(u)}{{\tilde{y}}_E(u)}\mathrm{d}u$ and using (E.1),

$$\begin{array}{c}\hfill {\sigma }_5^2=\gamma {\mu }_{D}b{(\tilde{\tau })}^2{\mathrm{e}}^{-2(\beta +\omega )\tilde{\tau }}\left\{\tilde{\tau },+,\frac{1}{{\mu }_D[2(\beta +\omega )+\gamma ]},\left[f_D^{\prime \prime },(1),-,f_{D_{\epsilon }}^{(2)},\left(\psi ,(,\tilde{\tau },)\right)\right]\right\}.\end{array}$$ E.25

E.3 Expression for ${\sigma }_{\mathrm{MR}}^2(\beta ,\omega ,\gamma )$

We now use (6.10), (E.6) and (E.25) to obtain an expression for ${\sigma }_{\mathrm{MR}}^2(\beta ,\omega ,\gamma )$.

Let $z={\mathrm{e}}^{-(\beta +\omega )\tilde{\tau }}$. Then, since $\tilde{\tau }$ is the unique solution in $(0,\infty )$ of (5.24), z is the unique solution in [0, 1) of (5.25). Recall that $\tilde{\psi }(z)=p_{\omega }+(1-p_{\omega })z$. It then follows from (6.13) that

$$\begin{array}{c}\hfill a(\tilde{\tau })=z^2\left[\beta ,f_{D_{\epsilon }}^{\prime \prime },\left(\tilde{\psi },(z)\right),-,(\beta +\omega +\gamma ),{\mu }_D\right],\end{array}$$

whence, using $b(\tilde{\tau })=a{(\tilde{\tau })}^{-1}\beta {\tilde{x}}_E(\tilde{\tau })$ and (5.4)

$$\begin{array}{cc}\hfill b(\tilde{\tau })=& \frac{\beta z{f}_{D_{\epsilon }}^{\prime }\left(\tilde{\psi },(z)\right)}{z^2\left[\beta ,f_{D_{\epsilon }}^{\prime \prime },\left(\tilde{\psi },(z)\right),-,(\beta +\omega +\gamma ),{\mu }_D\right]}\hfill \\ \hfill =& \frac{\beta \left[\frac{(\beta +\omega +\gamma )z-\gamma }{\beta +\omega }\right]{\mu }_D}{z\left[\beta ,f_{D_{\epsilon }}^{\prime \prime },\left(\tilde{\psi },(z)\right),-,(\beta +\omega +\gamma ),{\mu }_D\right]},\hfill \end{array}$$ E.26

using (5.25), so $b(\tilde{\tau })=\tilde{b}(z)$ defined at (6.3). For future reference, note that (E.26) implies

$$\begin{array}{cc}\hfill b(\tilde{\tau })z{f}_{D_{\epsilon }}^{\prime \prime }\left(\tilde{\psi },(z)\right)=& f_{D_{\epsilon }}^{\prime }\left(\tilde{\psi },(z)\right)+\frac{(\beta +\omega +\gamma )}{\beta }zb(\tilde{\tau }){\mu }_D\hfill \end{array}$$ E.27

$$\begin{array}{cc}\hfill =& \left[(\beta +\omega +\gamma ),\left(\frac{1}{\beta +\omega },+,\frac{b(\tilde{\tau })}{\beta }\right),z,-,\frac{\gamma }{\beta +\omega }\right]{\mu }_D.\hfill \end{array}$$ E.28

Adding (E.14) and  (E.15) yields, after substituting $z={\mathrm{e}}^{-(\beta +\omega )\tilde{\tau }}$,

$$\begin{array}{cc}\hfill I_1+I_2=& 2\frac{{\mu }_{D}b{(\tilde{\tau })}^{2}z(1-z)}{{(\beta +\omega )}^2}[\gamma (\gamma -\beta -\omega )\hfill \\ \hfill & +(\beta +\omega +\gamma )(\beta +\omega -2\gamma )z+{(\beta +\omega +\gamma )}^2{z}^2].\hfill \end{array}$$ E.29

Using (E.18) and (E.27),

$$\begin{array}{cc}\hfill I_4+I_6=& -4\left[(\beta +\omega +\gamma ),z^2,b,(\tilde{\tau }),{\mu }_D,-,4,(\beta +\omega ),z,b,(\tilde{\tau }),f_{D_{\epsilon }}^{\prime },\left(\tilde{\psi },(z)\right)\right]I_8\hfill \\ \hfill =& -4zb(\tilde{\tau }){\mu }_D\left[(,2,(,\beta ,+,\omega ,+,\gamma ,),z,-,\gamma \right]I_8,\hfill \end{array}$$

using (5.25). Substituting for $I_8$ from (E.19) and rearranging then gives

$$\begin{array}{c}\hfill I_4+I_6=2\frac{b{(\tilde{\tau })}^{2}z(1-z)}{{(\beta +\omega )}^2}\left[2,(,\beta ,+,\omega ,+,\gamma ,),z,-,\gamma \right]\left[\gamma ,-,\beta ,-,\omega ,-,(,\beta ,+,\omega ,+,\gamma ,),z\right]{\mu }_D.\end{array}$$ E.30

Adding (E.29) and (E.30) yields after a little algebra that

$$\begin{array}{cc}& I_1+I_2+I_4+I_6\hfill \\ \hfill & =2\frac{(\beta +\omega +\gamma )[\gamma -\beta -\omega -(\beta +\omega +\gamma )z]}{{(\beta +\omega )}^2}{\mu }_{D}b{(\tilde{\tau })}^2{z}^2(1-z).\hfill \end{array}$$ E.31

Adding (E.16) and (E.25) yields

$$\begin{array}{c}\hfill I_3+{\sigma }_5^2=\frac{\gamma }{\beta +\omega }{\mu }_{D}b{(\tilde{\tau })}^{2}z(1-z)+\frac{\gamma }{2(\beta +\omega )+\gamma }b{(\tilde{\tau })}^2{z}^2\left[f_D^{\prime \prime },(1),-,f_{D_{\epsilon }}^{\prime \prime },\left(\tilde{\psi },(z)\right)\right].\end{array}$$

Substituting from (E.28) and noting that $f_D^{\prime \prime }(1)={\sigma }_D^2+{\mu }_D^2-{\mu }_D$ yields, after a little algebra, that

$$\begin{array}{cc}\hfill I_3+{\sigma }_5^2=& \frac{\gamma }{\beta (\beta +\omega )}{\mu }_{D}b{(\tilde{\tau })}^{2}z\left[\beta ,-,(,2,\beta ,+,\omega ,),z\right]\hfill \\ \hfill & +\frac{\gamma }{\beta [2(\beta +\omega )+\gamma ]}b{(\tilde{\tau })}^2{z}^2\left[\beta ,({\sigma }_D^2+{\mu }_D^2),+,\omega ,{\mu }_D\right]\hfill \\ \hfill & -\frac{\gamma [(\beta +\omega +\gamma )z-\gamma ]z}{[2(\beta +\omega )+\gamma ](\beta +\omega )}{\mu }_{D}b(\tilde{\tau }).\hfill \end{array}$$ E.32

Adding (E.31) and (E.32), and comparing with (6.2), shows that

$$\begin{array}{c}\hfill I_1+I_2+I_3+I_4+I_6+{\sigma }_5^2={\sigma }_{\mathrm{MR}}^2(\beta ,\omega ,\gamma )-I_A-I_B-I_C-I_D,\end{array}$$ E.33

with $I_A,I_B,I_C$ and $I_D$ given by (6.4)–(6.7). Making the substitution $v={\mathrm{e}}^{-(\beta +\omega )u}$ in the integrals in (E.11) and (E.13), using the expressions (E.22) and (E.23) for the respective integrands, shows that

$$\begin{array}{c}\hfill I_5+I_7=I_A+I_B+I_C+I_D.\end{array}$$ E.34

The expression (6.2) for $={\sigma }_{\mathrm{MR}}^2(\beta ,\omega ,\gamma )$ then follows using (6.10) and (E.6).

F Proof of Lemma 1

For $k=1,2,\dots$, let $X_k^{(\gamma ,\omega )}=k-Y_k^{(\gamma ,\omega )}$ and $X_k^{(\gamma +\omega ,0)}=k-Y_k^{(\gamma +\omega ,0)}$. Thus, for example, $X_k^{(\gamma ,\omega )}$ is the number of neighbours an infective, $i^{\ast }$ say, with k susceptible neighbours fails to infect in the dropping model. For $k,r\in {\mathbb{Z}}_{+}$, let $k_{[r]}=k(k-1)\dots (k-r+1)$ denote a falling factorial, with the convention that $k_{[0]}=1$. Further let ${\mu }_{k,[r]}^{(\gamma ,\omega )}=\mathrm{E}\left[X_{k,[r]}^{(\gamma ,\omega )}\right]$, where $X_{k,[r]}^{(\gamma ,\omega )}=X_k^{(\gamma ,\omega )}(X_k^{(\gamma ,\omega )}-1)\dots (X_k^{(\gamma ,\omega )}-r+1)$, be the rth factorial moment of $X_k^{(\gamma ,\omega )}$ and define ${\mu }_{k,[r]}^{(\gamma +\omega ,0)}$ analogously for the modified model. Note that ${\mu }_{k,[r]}^{(\gamma ,\omega )}={\mu }_{k,[r]}^{(\gamma +\omega ,0)}=0$ for all $r>k$. We prove first that

$$\begin{array}{c}\hfill {\mu }_{k,[r]}^{(\gamma ,\omega )}\le {\mu }_{k,[r]}^{(\gamma +\omega ,0)}\text{for}\text{all}k,r,\end{array}$$ F.1

with strict inequality for $2\le r\le k$, and then consider the Taylor expansions of $f_k^{(\gamma ,\omega )}(s)$ and $f_k^{(\gamma +\omega ,0)}(s)$ about $s=1$ to prove Lemma 1.

To determine the factorial moment ${\mu }_{k,[r]}^{(\gamma ,\omega )}$, fix $k\ge 1$, give the k neighbours of $i^{\ast }$ the labels $1,2,\dots ,k$ and let $A_k^{(\gamma ,\omega )}$ be the set of neighbours that are not infected by $i^{\ast }$. Then, for any $B\subseteq \{1,2,\dots ,k\}$, $\mathrm{P}\left(A_k^{(\gamma ,\omega )},=,B\right)$ depends on B only through its size |B|, so $A_k^{(\gamma ,\omega )}$ is a symmetric sampling procedure (Martin-Löf 1986). It follows from Lemma 1 in that paper that ${\mu }_{k,[r]}^{(\gamma ,\omega )}=k_{[r]}{P}_{k,r}^{(\gamma ,\omega )}$$(r=0,1,\dots ,k)$, where $P_{k,r}^{(\gamma ,\omega )}$ is the probability that no one in any fixed set of r neighbours of $i^{\ast }$ is infected by $i^{\ast }$, with $P_{k,0}^{(\gamma ,\omega )}=1$. Similarly, in an obvious notation, ${\mu }_{k,[r]}^{(\gamma +\omega ,0)}=k_{[r]}{P}_{k,r}^{(\gamma +\omega ,0)}$$(r=0,1,\dots ,k)$. To prove (F.1), we assume without loss of generality that $\gamma =1$, since otherwise time can be rescaled linearly so that $\gamma =1$. Note that $P_{k,r}^{(1,\omega )}=P_{r,r}^{(1,\omega )}=\mathrm{P}\left(Y_r^{(1,\omega )},=,0\right)$, so using (8.1),

$$\begin{array}{cc}\hfill P_{k,r}^{(1,\omega )}=& \mathrm{E}\left[{\left(1,-,\frac{\beta }{\beta +\omega },\left(1,-,{\mathrm{e}}^{-(\beta +\omega )I}\right)\right)}^r\right]\hfill \\ \hfill =& \mathrm{E}\left[{\left(\frac{\omega }{\beta +\omega },+,\frac{\beta }{\beta +\omega },{\mathrm{e}}^{-(\beta +\omega )I}\right)}^r\right]\hfill \\ \hfill =& \sum _{i=0}^r\left(\begin{array}{c}r\\ i\end{array}\right){\left(\frac{\omega }{\beta +\omega }\right)}^{r-i}{\left(\frac{\beta }{\beta +\omega }\right)}^i\mathrm{E}\left[{\mathrm{e}}^{-i(\beta +\omega )I}\right]\hfill \\ \hfill =& \sum _{i=0}^r\left(\begin{array}{c}r\\ i\end{array}\right){\left(\frac{\omega }{\beta +\omega }\right)}^{r-i}{\left(\frac{\beta }{\beta +\omega }\right)}^i\frac{1}{1+i(\beta +\omega )},\hfill \end{array}$$

since $I\sim \mathrm{Exp}(1)$. A similar but simpler argument using (8.2) yields

$$\begin{array}{c}\hfill P_{k,r}^{(1+\omega ,0)}=\frac{1+\omega }{1+\omega +r\beta }.\end{array}$$

Thus ${\mu }_{k,[r]}^{(1,\omega )}\le {\mu }_{k,[r]}^{(1+\omega ,0)}$ for all k, r if and only if

$$\begin{array}{c}\hfill \sum _{i=0}^r\left(\begin{array}{c}r\\ i\end{array}\right){\left(\frac{\omega }{\beta +\omega }\right)}^{r-i}{\left(\frac{\beta }{\beta +\omega }\right)}^i\frac{1}{1+i(\beta +\omega )}\le \frac{1+\omega }{1+\omega +r\beta },\end{array}$$ F.2

$(r=0,1,\dots )$, which we now show.

First note that both sides of (F.2) equal 1 when $r=0$. Suppose $r>0$. Then

$$\begin{array}{cc}\hfill \sum _{i=0}^r& \left(\begin{array}{c}r\\ i\end{array}\right){\left(\frac{\omega }{\beta +\omega }\right)}^{r-i}{\left(\frac{\beta }{\beta +\omega }\right)}^i\frac{1}{1+i(\beta +\omega )}\le \frac{1+\omega }{1+\omega +r\beta }\hfill \\ & ⟺\sum _{i=0}^r\left(\begin{array}{c}r\\ i\end{array}\right){\left(\frac{\omega }{\beta +\omega }\right)}^{r-i}{\left(\frac{\beta }{\beta +\omega }\right)}^i\left[1,-,\frac{i(\beta +\omega )}{1+i(\beta +\omega )}\right]\le 1-\frac{r\beta }{1+\omega +r\beta }\hfill \\ & ⟺\sum _{i=0}^r\left(\begin{array}{c}r\\ i\end{array}\right){\left(\frac{\omega }{\beta +\omega }\right)}^{r-i}{\left(\frac{\beta }{\beta +\omega }\right)}^i\frac{i(\beta +\omega )}{1+i(\beta +\omega )}\ge \frac{r\beta }{1+\omega +r\beta }\hfill \\ & ⟺r\beta \sum _{i=1}^r\left(\begin{array}{c}r-1\\ i-1\end{array}\right){\left(\frac{\omega }{\beta +\omega }\right)}^{r-i}{\left(\frac{\beta }{\beta +\omega }\right)}^{i-1}\frac{1}{1+i(\beta +\omega )}\ge \frac{r\beta }{1+\omega +r\beta }\hfill \\ & ⟺\sum _{i=0}^{r-1}\left(\begin{array}{c}r-1\\ i\end{array}\right){\left(\frac{\omega }{\beta +\omega }\right)}^{r-1-i}{\left(\frac{\beta }{\beta +\omega }\right)}^i\frac{1}{1+(i+1)(\beta +\omega )}\ge \frac{1}{1+\omega +r\beta }\hfill \\ & ⟺H(r)\ge 0,\hfill \end{array}$$

where

$$\begin{array}{cc}& H(r)\hfill \\ \hfill & =\sum _{i=0}^{r-1}\left(\begin{array}{c}r-1\\ i\end{array}\right){\left(\frac{\omega }{\beta +\omega }\right)}^{r-1-i}{\left(\frac{\beta }{\beta +\omega }\right)}^i\left[\frac{1}{1+(i+1)(\beta +\omega )},-,\frac{1}{1+\omega +r\beta }\right].\hfill \end{array}$$

Now $H(1)=0$, so ${\mu }_{k,[1]}^{(1,\omega )}={\mu }_{k,[1]}^{(1+\omega ,0)}$$(k=0,1,\dots )$, as noted (in a different notation) after (8.2). For $r\ge 2$,

$$\begin{array}{cc}\hfill H(r)=& \sum _{i=0}^{r-1}\left(\begin{array}{c}r-1\\ i\end{array}\right){\left(\frac{\omega }{\beta +\omega }\right)}^{r-1-i}{\left(\frac{\beta }{\beta +\omega }\right)}^i\left[\frac{(r-1-i)\beta -i\omega }{[1+(i+1)(\beta +\omega )](1+\omega +r\beta )}\right]\hfill \\ \hfill =& \frac{1}{1+\omega +r\beta }{\left(\frac{1}{\beta +\omega }\right)}^{r-1}\tilde{H}(r),\hfill \end{array}$$

where

$$\begin{array}{cc}\hfill \tilde{H}(r)=& \sum _{i=0}^{r-2}\left(\begin{array}{c}r-1\\ i\end{array}\right){\omega }^{r-1-i}{\beta }^i\frac{(r-1-i)\beta }{1+(i+1)(\beta +\omega )}\hfill \\ & -\sum _{i=1}^{r-1}\left(\begin{array}{c}r-1\\ i\end{array}\right){\omega }^{r-1-i}{\beta }^i\frac{i\omega }{1+(i+1)(\beta +\omega )}\hfill \\ \hfill =& \sum _{i=0}^{r-2}\left(\begin{array}{c}r-1\\ i\end{array}\right){\omega }^{r-1-i}{\beta }^{i+1}\frac{(r-1-i)}{1+(i+1)(\beta +\omega )}\hfill \\ & -\sum _{i=0}^{r-2}\left(\begin{array}{c}r-1\\ i+1\end{array}\right){\omega }^{r-1-i}{\beta }^{i+1}\frac{i+1}{1+(i+2)(\beta +\omega )}\hfill \\ \hfill =& (r-1)\sum _{i=0}^{r-2}\left(\begin{array}{c}r-2\\ i\end{array}\right){\omega }^{r-1-i}{\beta }^{i+1}\left[\frac{1}{1+(i+1)(\beta +\omega )},-,\frac{1}{1+(i+2)(\beta +\omega )}\right]\hfill \\ \hfill >& 0.\hfill \end{array}$$

Thus, $H(r)>0$ for $r=2,3,\dots$, proving (F.1).

Turning to Lemma 1 note that for $k=1,2,\dots$ and $s\ne 0$, $f_k^{(\gamma ,\omega )}(s)=s^k{\widehat{f}}_k^{(\gamma ,\omega )}(s^{-1})$, where ${\widehat{f}}_k^{(\gamma ,\omega )}(s)=\mathrm{E}\left[s^{X_k^{(\gamma ,\omega )}}\right]$$(s\in \mathbb{R})$ is the PGF of $X_k^{(\gamma ,\omega )}$. Similarly, in an obvious notation, $f_k^{(\gamma +\omega ,0)}(s)=s^k{\widehat{f}}_k^{(\gamma +\omega ,0)}(s^{-1})$. Now, for $s<1$,

$$\begin{array}{c}\hfill {\widehat{f}}_k^{(\gamma ,\omega )}(s^{-1})=\sum _{r=0}^k{\mu }_{k,[r]}^{(\gamma ,\omega )}{(s^{-1}-1)}^r\le \sum _{r=0}^k{\mu }_{k,[r]}^{(\gamma +\omega ,0)}{(s^{-1}-1)}^r={\widehat{f}}_k^{(\gamma +\omega ,0)}(s^{-1}),\end{array}$$

with strict inequality if $k\ge 2$. Thus, $f_k^{(\gamma ,\omega )}(s)\le f_k^{(\gamma +\omega ,0)}(s)$ for all $s\in (0,1)$, again with strict inequality if $k\ge 2$, proving Lemma 1 for $s\in (0,1)$. The lemma holds trivially when $s=1$ since $f_k^{(\gamma ,\omega )}(1)=f_k^{(\gamma +\omega ,0)}(1)=1$. Finally, note that $f_k^{(\gamma ,\omega )}(0)=\mathrm{P}(Y_k^{(\gamma ,\omega )}=0)=\mathrm{P}(X_k^{(\gamma ,\omega )}=k)={\mu }_{k,[k]}^{(\gamma ,\omega )}/k_{[k]}$ and, similarly, $f_k^{(\gamma +\omega ,0)}(0)={\mu }_{k,[k]}^{(\gamma +\omega ,0)}/k_{[k]}$, so (F.1) implies the lemma holds also when $s=0$.

G Derivation of asymptotic variances in Conjecture 9.1

In this appendix we derive the expressions for ${\sigma }_{\mathrm{MRND}}^2(\beta ,\gamma )$ and ${\sigma }_{\mathrm{NSW}}^2(\beta ,\gamma )$ given in Conjecture 9.1 by setting $\omega =0$ in Conjectures 6.1 and 7.1. We consider first the epidemic on an MR random network.

From (E.11) and (E.34), $I_A+I_B+I_C+I_D=I_7$, since $\omega =0$. We derive a closed-form expression for $I_7$ when $\omega =0$. Note that now $p_{\omega }=0$, so using (5.5) and (E.21), $\psi (t)={\mathrm{e}}^{-\beta t}$ and ${\psi }_2(\tilde{\tau },u)={\mathrm{e}}^{-\beta (2\tilde{\tau }-u)}$. Substituting these into (E.22) yields

$$\begin{array}{cc}\hfill \sum _{j=1}^{\infty }{\tilde{c}}_j{(\tilde{\tau },u)}^{2}j{\tilde{x}}_j(u)& ={(1-b(\tilde{\tau }))}^2{\mathrm{e}}^{-\beta (2\tilde{\tau }-u)}{f}_{D_{\epsilon }}^{\prime }\left({\mathrm{e}}^{-\beta (2\tilde{\tau }-u)}\right)\hfill \\ \hfill & +b(\tilde{\tau })(3b(\tilde{\tau })-2){\mathrm{e}}^{-2\beta (2\tilde{\tau }-u)}{f}_{D_{\epsilon }}^{(2)}\left({\mathrm{e}}^{-\beta (2\tilde{\tau }-u)}\right)\hfill \\ \hfill & +b{(\tilde{\tau })}^2{\mathrm{e}}^{-3\beta (2\tilde{\tau }-u)}{f}_{D_{\epsilon }}^{(3)}\left({\mathrm{e}}^{-\beta (2\tilde{\tau }-u)}\right).\hfill \end{array}$$ G.1

For $k=0,1,\dots$, let

$$\begin{array}{c}\hfill J_k={\int }_0^{\tilde{\tau }}{\mathrm{e}}^{-k\beta (2\tilde{\tau }-u)}{f}_{D_{\epsilon }}^{(k)}\left({\mathrm{e}}^{-\beta (2\tilde{\tau }-u)}\right)\mathrm{d}u.\end{array}$$

Integrating by parts, for $k=1,2,\dots$,

$$\begin{array}{cc}\hfill J_k=& {\left[{\mathrm{e}}^{-(k-1)\beta (2\tilde{\tau }-u)},\frac{1}{\beta },f_{D_{\epsilon }}^{(k-1)},\left({\mathrm{e}}^{-\beta (2\tilde{\tau }-u)}\right)\right]}_0^{\tilde{\tau }}\hfill \\ \hfill & -{\int }_0^{\tilde{\tau }}(k-1)\beta {\mathrm{e}}^{-(k-1)\beta (2\tilde{\tau }-u)}\frac{1}{\beta }{f}_{D_{\epsilon }}^{(k-1)}\left({\mathrm{e}}^{-\beta (2\tilde{\tau }-u)}\right)\mathrm{d}u\hfill \\ \hfill =& \frac{1}{\beta }\left[{\mathrm{e}}^{-(k-1)\beta \tilde{\tau }},f_{D_{\epsilon }}^{(k-1)},\left({\mathrm{e}}^{-\beta \tilde{\tau }}\right),-,{\mathrm{e}}^{-2(k-1)\beta \tilde{\tau }},f_{D_{\epsilon }}^{(k-1)},\left({\mathrm{e}}^{-2\beta \tilde{\tau }}\right)\right]-(k-1)J_{k-1},\hfill \end{array}$$ G.2

so, setting $k=1$,

$$\begin{array}{c}\hfill J_1=\frac{1}{\beta }\left[f_{D_{\epsilon }},\left({\mathrm{e}}^{-\beta \tilde{\tau }}\right),-,f_{D_{\epsilon }},\left({\mathrm{e}}^{-2\beta \tilde{\tau }}\right)\right].\end{array}$$ G.3

Substituting (G.1) into (E.13), and using (G.3) and (G.2) with $k=2,3$ yields

$$\begin{array}{cc}\hfill I_7=& f_{D_{\epsilon }}\left({\mathrm{e}}^{-\beta \tilde{\tau }}\right)-f_{D_{\epsilon }}\left({\mathrm{e}}^{-2\beta \tilde{\tau }}\right)\hfill \\ \hfill & +b(\tilde{\tau })(b(\tilde{\tau })-2)\left[{\mathrm{e}}^{-\beta \tilde{\tau }},f_{D_{\epsilon }}^{\prime },\left({\mathrm{e}}^{-\beta \tilde{\tau }}\right),-,{\mathrm{e}}^{-2\beta \tilde{\tau }},f_{D_{\epsilon }}^{\prime },\left({\mathrm{e}}^{-2\beta \tilde{\tau }}\right)\right]\hfill \\ \hfill & +b{(\tilde{\tau })}^2\left[{\mathrm{e}}^{-2\beta \tilde{\tau }},f_{D_{\epsilon }}^{\prime \prime },\left({\mathrm{e}}^{-\beta \tilde{\tau }}\right),-,{\mathrm{e}}^{-4\beta \tilde{\tau }},f_{D_{\epsilon }}^{\prime \prime },\left({\mathrm{e}}^{-2\beta \tilde{\tau }}\right)\right].\hfill \end{array}$$ G.4

Recall that $z={\mathrm{e}}^{-\beta \tilde{\tau }}$ and $\tilde{b}(z)=b(\tilde{\tau })$. Setting $\omega =0$ in (E.28) gives

$$\begin{array}{c}\hfill \tilde{b}(z)z{f}_{D_{\epsilon }}^{\prime \prime }(z)=\left[\frac{(\beta +\gamma )(1+\tilde{b}(z))z-\gamma }{\beta }\right]{\mu }_D.\end{array}$$

Substituting these into (G.4) and using (9.1) yields

$$\begin{array}{cc}\hfill I_7& =f_{D_{\epsilon }}\left(z\right)-f_{D_{\epsilon }}\left(z^2\right)-\tilde{b}(z)(\tilde{b}(z)-2)z^2{f}_{D_{\epsilon }}^{\prime }\left(z^2\right)-\tilde{b}{(z)}^2{z}^4{f}_{D_{\epsilon }}^{\prime \prime }\left(z^2\right)\hfill \\ \hfill & +\tilde{b}{(z)}^{2}z\left(\frac{2(\beta +\gamma )z-\gamma }{\beta }\right){\mu }_D-\tilde{b}(z)z\left(\frac{(\beta +\gamma )z-\gamma }{\beta }\right){\mu }_D.\hfill \end{array}$$

Setting $\omega =0$ in (6.2) and recalling that now $I_A+I_B+I_C+I_D=I_7$ then yields

$$\begin{array}{cc}\hfill {\sigma }_{\mathrm{MRND}}^2(\beta ,\gamma )=& f_{D_{\epsilon }}\left(z\right)-f_{D_{\epsilon }}\left(z^2\right)-\tilde{b}(z)(\tilde{b}(z)-2)z^2{f}_{D_{\epsilon }}^{\prime }\left(z^2\right)-\tilde{b}{(z)}^2{z}^4{f}_{D_{\epsilon }}^{\prime \prime }\left(z^2\right)\hfill \\ \hfill & +\left(\frac{\gamma }{2\beta +\gamma }\right)\tilde{b}{(z)}^2{z}^2({\sigma }_D^2+{\mu }_D^2)\hfill \\ \hfill & +2\left(\frac{\gamma -(\beta +\gamma )z}{\beta }\right)\left(\frac{\beta +\gamma }{2\beta +\gamma }\right)z\tilde{b}(z){\mu }_D\hfill \\ \hfill & +2{\left(\frac{\gamma -(\beta +\gamma )z}{\beta }\right)}^2{z}^2\tilde{b}{(z)}^2{\mu }_D.\hfill \end{array}$$ G.5

Setting $\omega =0$ in (7.27) shows that $h(\beta ,\gamma ,z)=z\tilde{b}(z)$, where $h(\beta ,\gamma ,z)$ is defined at (9.4). Further $f_{D_{\epsilon }}\left(z\right)=1-\rho$; see immediately after (9.1). The expression (9.3) for ${\sigma }_{\mathrm{MRND}}^2(\beta ,\gamma )$ then follows immediately from (G.5).

Turning to the epidemic on an NSW random network, setting $\omega =0$ in (7.7) and noting that then $\tilde{\psi }(z)=z$, yields

$$\begin{array}{cc}\hfill {\sigma }_0^2(\beta ,0,\gamma )=& f_D\left(z^2\right)-{(1-\rho )}^2+\tilde{b}{(z)}^2{z}^4{f}_D^{\prime \prime }\left(z^2\right)+\tilde{b}(z)(\tilde{b}(z)-2)z^2{f}_{D_{\epsilon }}^{\prime }\left(z^2\right)\hfill \\ \hfill & +\tilde{b}{(z)}^2{z}^2{\left(\frac{(\beta +\gamma )z-\gamma }{\beta }\right)}^2\left({\sigma }_D^2,+,{\mu }_D^2\right)\hfill \\ \hfill & -2\left(\frac{(\beta +\gamma )z-\gamma }{\beta }\right)\left(\frac{(\beta +\gamma )z-\gamma }{\beta },+,\frac{(\beta +\gamma )}{\beta },z\right)z^2\tilde{b}{(z)}^2{\mu }_D.\hfill \end{array}$$ G.6

Setting $\omega =0$ in (7.6) shows that ${\sigma }_{\mathrm{NSW}}^2(\beta ,\gamma )$ is given by the sum of the right-hand sides of (G.5), with $D_{\epsilon }$ replaced by D, and (G.6). The expression (9.6) for ${\sigma }_{\mathrm{NSWND}}^2(\beta ,\gamma )$ now follows since $f_D(z)=1-\rho$ and $h(\beta ,\gamma ,z)=z\tilde{b}(z)$.

H ODE initial conditions for the epidemic on an NSW graph

In this appendix we derive the initial conditions ${\Sigma }_{\mathrm{NSW}}(0)$ that are given in Sect. 10.1. We assume that the number of initial infectives is $i_0^N=[\epsilon N]$ (or that $i_0^N$ is any function of N such that ${lim}_{N\to \infty }{N}^{-1}{i}_0^N=\epsilon$) and that these individuals are chosen uniformly from the population. Since there is nothing special about the labelling of the individuals $1,2,\dots ,N$ in the population we can assume that individuals $1,2,\dots ,i_0^N$ are initially infected.

First consider the term ${\sigma }_{x_i,x_i}(0)={lim}_{N\to \infty }{N}^{-1}\mathrm{var}(X_i^N(0))$. Writing $X_i^N(0)$ as a sum of indicator variables, we use the independence of different individuals’ degrees to find that

$$\begin{array}{cc}\hfill \mathrm{var}(X_i^N(0))& =\mathrm{var}\left(\sum _{k=1}^N,{\mathbb{1}}_{\{\text{indiv}k\text{is deg}i\&\text{susc}\}}\right)\hfill \\ \hfill & =\mathrm{var}\left(\sum _{k=i_0^N+1}^N,{\mathbb{1}}_{\{\text{indiv}k\text{is deg}i\}}\right)\hfill \\ \hfill & =\sum _{k=i_0^N+1}^N\mathrm{var}\left({\mathbb{1}}_{\{\text{indiv}k\text{is deg}i\}}\right)\hfill \\ \hfill & =(N-i_0^N)p_i(1-p_i),\hfill \end{array}$$

so

$$\begin{array}{c}\hfill {\sigma }_{x_i,x_i}(0)=\underset{N\to \infty }{lim}{N}^{-1}\mathrm{var}(X_i^N(0))=(1-\epsilon )p_i(1-p_i)\end{array}$$

for all i. Considering infectives instead, essentially the same arguments establish that

$$\begin{array}{c}\hfill {\sigma }_{y_i,y_i}(0)=\underset{N\to \infty }{lim}{N}^{-1}\mathrm{var}(Y_i^N(0))=\epsilon p_i(1-p_i).\end{array}$$

For the covariances we use the same independence and $\mathrm{cov}(X,Y)=E[XY]-E[X]E[Y]$ to find that, for $i\ne j$,

$$\begin{array}{cc}\hfill \mathrm{cov}(X_i^N(0),X_j^N(0))& =\mathrm{cov}\left(\sum _{k=1}^N,{\mathbb{1}}_{\{\text{indiv}k\text{is deg}i\text{and susc}\}},,,\sum _{l=1}^N,{\mathbb{1}}_{\{\text{indiv}l\text{is deg}j\text{and susc}\}}\right)\hfill \\ \hfill & =\mathrm{cov}\left(\sum _{k=i_0^N+1}^N,{\mathbb{1}}_{\{\text{indiv}k\text{is deg}i\}},,,\sum _{l=i_0^N+1}^N,{\mathbb{1}}_{\{\text{indiv}l\text{is deg}j\}}\right)\hfill \\ \hfill & =\sum _{k=i_0^N+1}^N\sum _{l=i_0^N+1}^N\mathrm{cov}({\mathbb{1}}_{\{\text{indiv}k\text{is deg}i\}},{\mathbb{1}}_{\{\text{indiv}l\text{is deg}j\}})\hfill \\ \hfill & =\sum _{k=i_0^N+1}^N\mathrm{cov}({\mathbb{1}}_{\{\text{indiv}k\text{is deg}i\}},{\mathbb{1}}_{\{\text{indiv}k\text{is deg}j\}})\hfill \\ \hfill & =(N-i_0^N)(0-p_i{p}_j)=-(N-i_0^N)p_i{p}_j,\hfill \end{array}$$

so that we have

$$\begin{array}{c}\hfill {\sigma }_{x_i,x_j}(0)=\underset{N\to \infty }{lim}{N}^{-1}\mathrm{cov}(X_i^N(0),X_j^N(0))=-(1-\epsilon )p_i{p}_j.\end{array}$$

The same calculations for $\mathrm{cov}(Y_i^N(0),Y_j^N(0))$ yield

$$\begin{array}{c}\hfill {\sigma }_{y_i,y_j}(0)=\underset{N\to \infty }{lim}{N}^{-1}\mathrm{cov}(Y_i^N(0),Y_j^N(0))=-\epsilon p_i{p}_j\end{array}$$

for $i\ne j$. Next, for all i, j,

$$\begin{array}{cc}\hfill \mathrm{cov}(X_i^N(0),Y_j^N(0))& =\mathrm{cov}\left(\sum _{k=1}^N,{\mathbb{1}}_{\{\text{indiv}k\text{is deg}i\mathrm{and}\text{susc}\}},,,\sum _{l=1}^N,{\mathbb{1}}_{\{\text{indiv}l\text{is deg}j\&\text{inf}\}}\right)\hfill \\ \hfill & =\mathrm{cov}\left(\sum _{k=i_0^N+1}^N,{\mathbb{1}}_{\{\text{indiv}k\text{is deg}i\}},,,\sum _{l=1}^{i_0^N},{\mathbb{1}}_{\{\text{indiv}l\text{is deg}j\}}\right)\hfill \\ \hfill & =\sum _{k=i_0^N+1}^N\sum _{l=1}^{i_0^N}\mathrm{cov}({\mathbb{1}}_{\{\text{indiv}k\text{is deg}i\}},{\mathbb{1}}_{\{\text{indiv}l\text{is deg}j\}})\hfill \\ \hfill & =0,\hfill \end{array}$$

by independence of individuals (there are no terms with $k=l$ since the indices take values in disjoint sets). Thus

$$\begin{array}{c}\hfill {\sigma }_{x_i,y_j}(0)=\underset{N\to \infty }{lim}{N}^{-1}\mathrm{cov}(X_i^N(0),Y_j^N(0))=0.\end{array}$$

Finally, we have $Z_E^N(0)=0$, so all (co)variances involving it are zero and remain so when divided by N, whence for all i we have

$$\begin{array}{c}\hfill {\sigma }_{x_i,z_E}(0)={\sigma }_{y_i,z_E}(0)={\sigma }_{z_E,z_E}(0)=0.\end{array}$$