Near-critical SIR epidemic on a random graph with given degrees

Abstract

Emergence of new diseases and elimination of existing diseases is a key public health issue. In mathematical models of epidemics, such phenomena involve the process of infections and recoveries passing through a critical threshold where the basic reproductive ratio is 1. In this paper, we study near-critical behaviour in the context of a susceptible-infective-recovered epidemic on a random (multi)graph on n vertices with a given degree sequence. We concentrate on the regime just above the threshold for the emergence of a large epidemic, where the basic reproductive ratio is $1+\mathit{\omega }(n)n^{-1/3}$, with $\mathit{\omega }(n)$ tending to infinity slowly as the population size, n, tends to infinity. We determine the probability that a large epidemic occurs, and the size of a large epidemic. Our results require basic regularity conditions on the degree sequences, and the assumption that the third moment of the degree of a random susceptible vertex stays uniformly bounded as $n\to \infty$. As a corollary, we determine the probability and size of a large near-critical epidemic on a standard binomial random graph in the ‘sparse’ regime, where the average degree is constant. As a further consequence of our method, we obtain an improved result on the size of the giant component in a random graph with given degrees just above the critical window, proving a conjecture by Janson and Luczak.

Introduction

Infectious diseases continue to pose a serious threat to individual and public health. Accordingly, health organisations are constantly seeking to analyse and assess events that may present new challenges. These may include acts of bioterrorism, and other events indicating emergence of new infections, which threaten to spread rapidly across the globe facilitated by the efficiency of modern transportation. Likewise, a lot of effort is being directed into suppressing outbreaks of established diseases such as influenza and measles, as well as into eliminating certain endemic diseases, such as polio and rabies.

In an SIR epidemic model, an infectious disease spreads through a population where each individual is either susceptible, infective or recovered. The population is represented by a network (graph) of contacts, where the vertices of the network correspond to individuals and the edges correspond to potential infectious contacts. Different individuals will have different lifestyles and patterns of activity, leading to different numbers of contacts; for simplicity, we assume that each person’s contacts are randomly chosen from among the rest of the population. The degree of a vertex is the number of contacts of the corresponding individual.

We assume that infectious individuals become recovered at rate $\mathit{\rho }⩾0$ and infect each neighbour at rate $\mathit{\beta }>0$. Then the basic reproductive ratio ${\mathcal{R}}_0$ (i.e. the average number of secondary cases of infection arising from a single case) is given by the average size-biased susceptible degree times the probability that a given infectious contact takes place before the infective individual recovers.

Emergence and elimination of a disease involves the process of infectious transitions and recoveries being pushed across a critical threshold, usually corresponding to the basic reproductive ratio ${\mathcal{R}}_0$ equal to 1, see Antia et al. (2003), Bull and Dykhuizen (2003), O’Regan and Drake (2013) and Scheffer et al. (2009). For example, a pathogen mutation can increase the transmission rate and make a previously ‘subcritical’ disease (i.e. not infectious enough to cause a large outbreak) into a ‘supercritical’ one, where a large outbreak may occur, see Antia et al. (2003). Moreover, after a major outbreak in the supercritical case, disease in the surviving population is subcritical. However, subsequently, as people die and new individuals are born (i.e. immunity wanes), ${\mathcal{R}}_0$ will slowly increase, and, when it passes 1, another major outbreak may occur. Equally, efforts at disease control may result in subcriticality for a time, but then inattention may lead to an unnoticed parameter shift to supercriticality. Thus, under certain conditions, one can expect most large outbreaks to occur close to criticality, and so there is practical interest in theoretical understanding of the behaviour of near-critical epidemics.

Critical SIR epidemics have been studied for populations with complete mixing, under different assumptions, by Ben-Naim and Krapivsky (2004), Gordillo et al. (2008), Hofstad et al. (2010) and Martin-Löf (1998); this is equivalent to studying epidemic processes on the complete graph, or on the Erdős-Rényi graph G(n, p). In Ben-Naim and Krapivsky (2004), near-criticality is discussed using non-rigorous arguments. Martin-Löf (1998) studies a generalized Reed–Frost epidemic model, where the number of individuals that a given infective person infects has an essentially arbitrary distribution. The binomial case is equivalent to studying the random graph G(n, p) on n vertices with edge probability p. The author considers the regime where ${\mathcal{R}}_0-1=a{n}^{-1/3}$ and the initial number of infectives is $b{n}^{1/3}$, for constant a, b. A limit distribution is derived for the final size of the epidemic, observing bimodality for certain values of a and b (corresponding to ‘small’ and ‘large’ epidemics). Further analytical properties of the limit distribution are derived in Hofstad et al. (2010). In Gordillo et al. (2008), a standard SIR epidemic for populations with homogeneous mixing is studied, with vaccinations during the epidemic; a diffusion limit is derived for the final size of a near-critical epidemic.

In the present paper, we address near-critical phenomena in the context of an epidemic spreading in a population of a large size n, where the underlying graph (network) is a random (multi)graph with given vertex degrees. In other words, we specify the number of contacts for each individual, and consider a graph chosen uniformly at random from among all graphs with the specified sequence of contact numbers. This random graph model allows for greater inhomogeneity, with a rather arbitrary distribution of the number of contacts for different persons. We study the regime just above the critical threshold for the emergence of a large epidemic, where the basic reproductive ratio is $1+\mathit{\omega }(n)n^{-1/3}$, with $\mathit{\omega }(n)$ growing large as the population size n grows. (For example, when the population size is about 1 million, we could consider ${\mathcal{R}}_0$ of order about 1.01.)

From the theory of branching processes, at the start of an epidemic, each infective individual leads to a large outbreak with probability of the order ${\mathcal{R}}_0-1$. Roughly, our results confirm the following, intuitively clear from the above observation, picture. If the size n of the population is very large, with the initial total infectious degree $X_{\mathrm{I},0}$ (i.e. total number of potential infectious contacts at the beginning of the epidemic or total number of acquaintances of initially infectious individuals) much larger than ${({\mathcal{R}}_0-1)}^{-1}$, then a large epidemic will occur with high probability. If the initial total infectious degree is much smaller than ${({\mathcal{R}}_0-1)}^{-1}$, then the outbreak will be contained with high probability. In the intermediate case where $X_{\mathrm{I},0}$ and ${({\mathcal{R}}_0-1)}^{-1}$ are of the same order of magnitude, a large epidemic can occur with positive probability, of the order $exp(-c{X}_{\mathrm{I},0}({\mathcal{R}}_0-1))$, for some positive constant c. So, if the population size is about a million, and ${\mathcal{R}}_0$ about 1.01, then $X_{\mathrm{I},0}$ much larger than 100 will result in a large epidemic with high probability. On the other hand, if $X_{\mathrm{I},0}$ is less than 10, say, than the outbreak will be contained with high probability.

Furthermore, we determine the likely size of a large epidemic. Here, there are three possible regimes, depending on the size of the initial total infectious degree relative to $n{({\mathcal{R}}_0-1)}^2$. Broadly speaking, if $X_{\mathrm{I},0}$ is much larger than $n{({\mathcal{R}}_0-1)}^2$, then the total number of people infected will be proportional to ${(n{X}_{\mathrm{I},0})}^{1/2}$. On the other hand, if $X_{\mathrm{I},0}$ is much smaller than $n{({\mathcal{R}}_0-1)}^2$ then, in the event that there is a large epidemic, the total number of people infected will be proportional to $n({\mathcal{R}}_0-1)$. The intermediate case where $X_{\mathrm{I},0}$ and $n{({\mathcal{R}}_0-1)}^2$ are of the same order ‘connects’ the two extremal cases.

Note that, if $X_{\mathrm{I},0}$ is of the same or larger order of magnitude than $n{({\mathcal{R}}_0-1)}^2$ (the first and third case in the paragraph above), then $X_{\mathrm{I},0}({\mathcal{R}}_0-1)$ is very large, so a large epidemic does occur with high probability. This follows since, by our assumption, $n{({\mathcal{R}}_0-1)}^3=\mathit{\omega }{(n)}^3$ is large for large n.

The above results are proven under fairly mild regularity assumptions on the shape of the degree distribution. We allow a non-negligible proportion of the population to be initally recovered, i.e. immune to the disease. (This also allows for the possibility that a part, not necessarily random, of the population is vaccinated before the outbreak, since the vaccinated individuals can be regarded as recovered.) We require that the third moment of the susceptible degree be bounded; in particular, that implies that the maximum susceptible degree in a population of size n is of the order no larger than $n^{1/3}$. So in particular, in a population of size 1 million, the super-spreaders (i.e. individuals with largest numbers of contacts) should not be able to infect more than around 100 individuals.

To demonstrate this behaviour for a particular example, we used stochastic simulations that make use of special Monte Carlo techniques that allow us to consider multiple initial conditions within the same realisation of the process. The algorithm is described in Appendix A. Figure 1 shows our results for the relationship between the epidemic final size $\mathcal{Z}$ and the initial force of infection $X_{I,0}$ for 20 realisations of the process, with each realisation involving multiple different initial conditions. The model rate parameters are $\mathit{\rho }=1$ and $\mathit{\beta }=1$. The network has Poisson degree distribution with mean $\mathit{\lambda }$ and was generated as an Erdős–Rényi random graph with edge probability $\mathit{\lambda }/n$. We implement scaling at different population sizes giving parameter sets $(n={10}^5,\mathit{\lambda }=2.04,R_0=1.02),(n={10}^6,\mathit{\lambda }=2.02,R_0=1.01)$ and $(n={10}^7,\mathit{\lambda }=2.01,R_0=1.005)$. These plots show the emergence of the three epidemic sizes that our results predict as n increases, i.e. ‘small’ epidemics of size O(1), ‘large’ epidemics of size proportional to ${(n{X}_{I,0})}^{1/2}$, and ‘large’ epidemics of size comparable to $n({\mathcal{R}}_0-1)$.

Fig. 1.

The relationship between epidemic final size and initial force of infection for 20 realisations of the network Sellke construction on a network with Poisson degree distribution with mean $\mathit{\lambda }$. Parameter sets are: $n={10}^5,\mathit{\lambda }=2.04,R_0=1.02$ (top); $n={10}^6,\mathit{\lambda }=2.02,R_0=1.01$ (middle); $n={10}^7,\mathit{\lambda }=2.01,R_0=1.005$ (bottom); and $\mathit{\rho }=1$ throughout (note that these parameter choices imply that $\mathit{\beta }=1$)

Epidemics on graphs with given degrees have been considered in a number of recent studies, both within the mathematical biology and probability communities. A set of ordinary differential equations approximating the time evolution of a large epidemic were obtained by Volz (2008), see also Miller (2011), and also Miller et al. (2012). These papers consider the case where the epidemic starts very small. Differential equations for an epidemic starting with a large number of infectives appear in Miller (2014). Convergence of the random process to these equations in the case where the second moment of the degree of a random vertex is uniformly bounded (both starting with only few infectives and with a large number of infectives) was proven in Janson et al. (2014). (See also Decreusefond et al. 2012; Bohman and Picollelli 2012, where related results are proven in the case where the fifth moment of the degree of a random vertex is uniformly bounded and in the case of bounded vertex degrees respectively. See also Barbour and Reinert 2013 for results in the case of bounded vertex degrees and general infection time distributions.)

However, we appear to be the first to study the ‘barely supercritical’ SIR epidemic on a random graph with given degrees. As a corollary, we determine the probability and size of a large near-critical epidemic on a sparse binomial (Erdős–Rényi) random graph, also to our knowledge the first such results in the literature.

Our approach also enables us to prove the conjecture of Janson and Luczak (2009), establishing their Theorem 2.4 concerning the size of the largest component in the barely supercritical random graph with given vertex degrees under weakened assumptions.

We proceed in the spirit of Janson et al. (2014) and Janson and Luczak (2009), evolving the epidemic process simultaneously with constructing the random multigraph. The main technical difficulties involve delicate concentration of measure estimates for quantities of interest, such as the current total degrees of susceptible, recovered and infective vertices. Also, our proofs involve couplings of the evolution of the total infective degree with suitable Brownian motions.

The remainder of the paper is organised as follows. In Sect. 2, we define our notation and state our main results (Theorems 2.4, 2.5). Section 3 is devoted to the proof of Theorem 2.4; to this end, we define a time-changed version of the epidemic and use the modified process to prove concentration of measure estimates for various quantities of interest. In Sect. 4, we prove Theorem 2.5. In Appendix B, we state and prove a new result concerning the size of the giant component in the supercritical random (multi)graph with a given degree sequence.

Model, notation, assumptions and results

Let $n\in \mathbb{N}$ and let ${(d_i)}_{i=1}^n={(d_i^{(n)})}_{i=1}^n$ be a given sequence of non-negative integers. Let $G=G(n,{(d_i)}_{i=1}^n)$ be a simple graph (no loops or multiple edges) with n vertices, chosen uniformly at random subject to vertex i having degree $d_i$ for $i=1,\dots ,n$, tacitly assuming there is any such graph at all (${\sum }_{i=1}^n{d}_i$ must be even, at least). For each $k\in {\mathbb{Z}}^{+}$, let $n_k$ denote the total number of vertices with degree k.

Given the graph $G$, the epidemic evolves as a continuous-time Markov chain. Each vertex is either susceptible, infective or recovered. Every infective vertex recovers at rate ${\mathit{\rho }}_n⩾0$ and also infects each susceptible neighbour at rate ${\mathit{\beta }}_n>0$.

Let $n_{\mathrm{S}}$, $n_{\mathrm{I}}$, and $n_{\mathrm{R}}$ denote the initial numbers of susceptible, infective and recovered vertices, respectively. Further, let $n_{\mathrm{S},k}$, $n_{\mathrm{I},k}$ and $n_{\mathrm{R},k}$ respectively, be the number of these vertices with degree $k⩾0$. Thus, $n_{\mathrm{S}}+n_{\mathrm{I}}+n_{\mathrm{R}}=n$ and $n_{\mathrm{S}}={\sum }_{k=0}^{\infty }{n}_{\mathrm{S},k}$, $n_{\mathrm{I}}={\sum }_{k=0}^{\infty }{n}_{\mathrm{I},k}$, $n_{\mathrm{R}}={\sum }_{k=0}^{\infty }{n}_{\mathrm{R},k}$, and $n_k=n_{\mathrm{S},k}+n_{\mathrm{I},k}+n_{\mathrm{R},k}$. We assume that this information is given with the degree sequence. Note that all these quantities (as well as many of the quantities introduced below) depend on n. To lighten the notation, we usually do not indicate the n dependence explicitly.

Remark 2.1

We allow $n_{\mathrm{R}}>0$, i.e., that some vertices are “recovered” (i.e., immune) already when we start. It is often natural to take $n_{\mathrm{R}}=0$, but one application of $n_{\mathrm{R}}>0$ is to study the effect of vaccination; this was done in a related situation in Janson et al. (2014) and we leave the corresponding corollaries of the results below to the reader. Note that initially recovered vertices are not themselves affected by the epidemic, but they influence the structure of the graph and thus the course of the epidemic, so we cannot just ignore them.

Remark 2.2

Note that initially susceptible, infective and recovered vertices can have different degree distributions. However, we assume that given the vertex degrees, the connections in the graph are made at random, independently of the initial status of the vertices. Equivalently, if we first construct the connections at random, we assume that the initially infective and recovered vertices are selected at random, where we may select on the basis of their degrees, but not on any other properties of the graph.

For example, if some individuals are vaccinated before the outbreak, and thus are regarded as initially recovered as discussed in Remark 2.1, then our model covers the case when the vaccinated individuals are chosen uniformly at random, as well as the case when vaccination is directed at high-risk groups and individuals are vaccinated with a probability depending on their degree (number of contacts), but the model does not include more complicated vaccination schemes that take into account also, e.g., the degrees of the contacts.

Similarly, if the disease has been spreading for some time before we start our calculations, then there are correlations because an infected vertex that was not initially infected has to be connected to an infected or recovered vertex (the one that infected it); thus our model is not directly applicable. As suggested by an anonymous referee, if we know the history so far of the epidemic, this can be handled be removing those edges that have tried to infect (whether to a susceptible individual or not); the remaining network is uniformly random with given vertex degrees and our model applies to it.

The basic reproductive ratio ${\mathcal{R}}_0$ is commonly used in the context of epidemic models, and defines the average number of new cases created by a case of infection. In analogy with the limiting case in Janson et al. (2014, (2.23)), for the SIR epidemic on a random graph with a given degree sequence, we define

$$\begin{array}{c}\hfill {\mathcal{R}}_0={\mathcal{R}}_0^{(n)}:=\frac{{\mathit{\beta }}_n}{{\mathit{\rho }}_n+{\mathit{\beta }}_n}\frac{{\sum }_{k=0}^{\infty }(k-1)k{n}_{\mathrm{S},k}}{{\sum }_{k=0}^{\infty }k{n}_k}.\end{array}$$ 2.1

Here, the probability that an infective half-edge infects another half-edge before recovering is $\frac{{\mathit{\beta }}_n}{{\mathit{\rho }}_n+{\mathit{\beta }}_n}$, and the average increase in the number of infective half-edges due to such an infection event is $\frac{{\sum }_{k=0}^{\infty }(k-1)k{n}_{\mathrm{S},k}}{{\sum }_{k=0}^{\infty }k{n}_k}$, and these are approximately independent of one another, and approximately independent for different half-edges.

Note that the basic reproductive ratio ${\mathcal{R}}_0$ determines the approximate geometric growth rate of the disease during the early stages of the epidemic. The value ${\mathcal{R}}_0=1$ is therefore the threshold for the epidemic to take off in the population, in the sense that, if ${\mathcal{R}}_0>1$, then a macroscopic fraction of the susceptibles can be infected (Andersson 1999; Newman 2002; Volz 2008; Bohman and Picollelli 2012; Janson et al. 2014). Here we will consider the case where ${\mathcal{R}}_0=1+\mathit{\omega }(n)n^{-1/3}$, with $\mathit{\omega }(n)$ tending to infinity slowly (slower than $n^{1/3}$) as $n\to \infty$.

It turns out that, rather than working with the quantity ${\mathcal{R}}_0-1$, it is easier to work with a quantity ${\mathit{\alpha }}_n$ defined by

$$\begin{array}{c}\hfill {\mathit{\alpha }}_n:=-(1+{\mathit{\rho }}_n/{\mathit{\beta }}_n)\sum _{k=0}^{\infty }k{n}_k/n_{\mathrm{S}}+\sum _{k=0}^{\infty }k(k-1)n_{\mathrm{S},k}/n_{\mathrm{S}}.\end{array}$$ 2.2

Note that

$$\begin{array}{c}\hfill {\mathit{\alpha }}_n=({\mathcal{R}}_0-1)\frac{{\mathit{\rho }}_n+{\mathit{\beta }}_n}{{\mathit{\beta }}_n}\frac{{\sum }_{k=0}^{\infty }k{n}_k}{n_{\mathrm{S}}}.\end{array}$$ 2.3

Our assumptions below imply that $1⩽\frac{{\mathit{\rho }}_n+{\mathit{\beta }}_n}{{\mathit{\beta }}_n}=O(1)$ and that $\frac{{\sum }_{k=0}^{\infty }k{n}_k}{n_{\mathrm{S}}}$ is bounded and bounded away from 0 as $n\to \infty$, see Remark 2.9. Hence $({\mathcal{R}}_0-1){\mathit{\alpha }}_n^{-1}$ is bounded and bounded away from 0, and so ${\mathit{\alpha }}_n$ is equivalent to ${\mathcal{R}}_0-1$ as a measure of distance from criticality; see further (2.22). In particular, we could rephrase our assumptions and results in terms of ${\mathcal{R}}_0-1$ instead of ${\mathit{\alpha }}_n$, but it seems that the mathematics works out more cleanly using ${\mathit{\alpha }}_n$. Also, we can expect an initial growth if and only if ${\mathit{\alpha }}_n>0$.

We consider asymptotics as $n\to \infty$, and all unspecified limits below are as $n\to \infty$. Throughout the paper we use the notation $o_{\mathrm{p}}$ in a standard way, as in Janson (2011). That is, for a sequence of random variables ${(Y^{(n)})}_1^{\infty }$ and real numbers ${(a_n)}_1^{\infty }$, ‘$Y^{(n)}=o_p(a_n)$’ means $Y^{(n)}/a_n\stackrel{\mathrm{p}}{⟶}0$. Similarly, $Y^{(n)}=O_{\mathrm{p}}(1)$ means that, for every $\mathit{\epsilon }>0$, there exists $K_{\mathit{\epsilon }}$ such that $\mathbb{P}(|Y^{(n)}|>K_{\mathit{\epsilon }})<\mathit{\epsilon }$ for all n. Given a sequence of events ${(A_n)}_1^{\infty }$, $A_n$ is said to hold w.h.p. (with high probability) if $\mathbb{P}(A_n)\to 1$.

Our assumptions are as follows. (See also the remarks below.) Let $D_{\mathrm{S},n}$ denote the degree of a randomly chosen susceptible vertex, so $\mathbb{P}(D_{\mathrm{S},n}=k)=n_{\mathrm{S},k}/n_{\mathrm{S}}$ for each $k⩾0$.

1. $D_{\mathrm{S},n}$ converges in distribution to a probability distribution ${(p_k)}_{k=0}^{\infty }$ with a finite and positive mean $\mathit{\lambda }:={\sum }_{k=0}^{\infty }k{p}_k$, i.e.

   $$\begin{array}{c}\hfill \frac{n_{\mathrm{S},k}}{n_{\mathrm{S}}}\to p_k,k⩾0.\end{array}$$ 2.4
2. The third power $D_{\mathrm{S},n}$ is uniformly integrable as $n\to \infty$. That is, given $\mathit{\epsilon }>0$, there exists $M>0$ such that, for all n,

   $$\begin{array}{c}\hfill \sum _{k>M}\frac{k^3{n}_{\mathrm{S},k}}{n_{\mathrm{S}}}<\mathit{\epsilon }.\end{array}$$ 2.5

3. The second moment of the degree of a randomly chosen vertex is uniformly bounded, i.e. ${\sum }_{k=0}^{\infty }{k}^2{n}_k=O(n)$.

4. As $n\to \infty$,

   $$\begin{array}{c}\hfill {\mathit{\alpha }}_n\to 0\mathrm{and}{n}_{\mathrm{S}}{\mathit{\alpha }}_n^3\to \infty .\end{array}$$ 2.6
5. The total degree ${\sum }_{k=0}^{\infty }k{n}_{\mathrm{I},k}$ of initially infective vertices satisfies

   $$\begin{array}{c}\hfill \sum _{k=0}^{\infty }k{n}_{\mathrm{I},k}=o(n),\end{array}$$ 2.7

   and the limit

   $$\begin{array}{c}\hfill \mathit{\nu }:=\underset{n\to \infty }{lim}\frac{1}{n_{\mathrm{S}}{\mathit{\alpha }}_n^2}\sum _{k=0}^{\infty }k{n}_{\mathrm{I},k}\in [0,\infty ]\end{array}$$ 2.8

   exists (but may be 0 or $\infty$). Furthermore, either $\mathit{\nu }=0$ or

   $$\begin{array}{c}\hfill d_{\mathrm{I},\ast }:=max\{k:n_{\mathrm{I},k}⩾1\}=o\left(\sum _{k=0}^{\infty }k{n}_{\mathrm{I},k}\right).\end{array}$$ 2.9

6. We have $p_0+p_1+p_2<1$.

7. ${lim\; inf}_{n\to \infty }{n}_S/n>0$.

We will repeatedly use the fact that (D2) implies that there exists a constant $c_0$ such that, for all n,

$$\begin{array}{c}\hfill \sum _{k=0}^{\infty }{k}^3{n}_{\mathrm{S},k}=n_{\mathrm{S}}\mathbb{E}{D}_{\mathrm{S},n}^3⩽c_{0}n.\end{array}$$ 2.10

Remark 2.3

Assumption (D1) says $D_{\mathrm{S},n}\stackrel{\mathrm{d}}{⟶}{D}_{\mathrm{S}}$, where $D_{\mathrm{S}}$ has distribution ${(p_k)}_{k=0}^{\infty }$. Given (D1), assumption (D2) is equivalent to $\mathbb{E}{D}_{\mathrm{S},n}^3\to \mathbb{E}{D}_{\mathrm{S}}^3<\infty$. Furthermore, (D2) implies uniform integrability of $D_{\mathrm{S},n}$ and $D_{\mathrm{S},n}^2$, so $\mathbb{E}{D}_{\mathrm{S},n}\to \mathbb{E}{D}_{\mathrm{S}}$ and $\mathbb{E}{D}_{\mathrm{S},n}^2\to \mathbb{E}{D}_{\mathrm{S}}^2$. Assumptions (D2) and (D7) further imply that

$$\begin{array}{c}\hfill d_{\mathrm{S},\ast }:=max\{k:n_{\mathrm{S},k}⩾1\}=o(n_{\mathrm{S}}^{1/3}).\end{array}$$ 2.11

Using the notation in Remark 2.3, $\mathit{\lambda }=\mathbb{E}{D}_{\mathrm{S}}$. Furthermore, let

$$\begin{array}{cc}\hfill {\mathit{\lambda }}_2& :=\sum _{k=0}^{\infty }k(k-1)p_k=\mathbb{E}{D}_{\mathrm{S}}(D_{\mathrm{S}}-1),\hfill \end{array}$$ 2.12

$$\begin{array}{cc}\hfill {\mathit{\lambda }}_3& :=\sum _{k=0}^{\infty }k(k-1)(k-2)p_k=\mathbb{E}{D}_{\mathrm{S}}(D_{\mathrm{S}}-1)(D_{\mathrm{S}}-2).\hfill \end{array}$$ 2.13

Then, the uniform integrability (D2) of $D_{\mathrm{S},n}^3$ implies ${\mathit{\lambda }}_2,{\mathit{\lambda }}_3<\infty$ and furthermore

$$\begin{array}{cc}\hfill {\mathit{\lambda }}_2& =\underset{n\to \infty }{lim}\mathbb{E}{D}_{\mathrm{S},n}(D_{\mathrm{S},n}-1)=\underset{n\to \infty }{lim}\sum _{k=0}^{\infty }k(k-1)\frac{n_{\mathrm{S},k}}{n_{\mathrm{S}}},\hfill \end{array}$$ 2.14

$$\begin{array}{cc}\hfill {\mathit{\lambda }}_3& =\underset{n\to \infty }{lim}\mathbb{E}{D}_{\mathrm{S},n}(D_{\mathrm{S},n}-1)(D_{\mathrm{S},n}-2)=\underset{n\to \infty }{lim}\sum _{k=0}^{\infty }k(k-1)(k-2)\frac{n_{\mathrm{S},k}}{n_{\mathrm{S}}}\hfill \end{array}$$ 2.15

Also, $\mathit{\lambda },{\mathit{\lambda }}_2,{\mathit{\lambda }}_3>0$ by (D6).

Let $G^{\ast }=G^{\ast }(n,{(d_i)}_1^n)$ be the random multigraph with given degree sequence ${(d_i)}_1^n$ defined by the configuration model: we take a set of $d_i$ half-edges for each vertex i and combine half-edges into edges by a uniformly random matching (see e.g. Bollobás 2001). Conditioned on the multigraph being simple, we obtain $G=G(n,{(d_i)}_1^n)$, the uniformly distributed random graph with degree sequence ${(d_i)}_1^n$. The configuration model has been used in the study of epidemics in a number of earlier works, see, for example, Andersson (1998), Ball and Neal (2008), Britton et al. (2007), Decreusefond et al. (2012), Bohman and Picollelli (2012). As in many other papers, including Janson et al. (2014), we prove our results for the SIR epidemic on $G^{\ast }$, and, by conditioning on $G^{\ast }$ being simple, we then deduce that these results also hold for the SIR epidemic on $G$. The results below thus hold for both the random multigraph $G^{\ast }$ and the random simple graph $G$.

This argument relies on the probability that $G^{\ast }$ is simple being bounded away from zero as $n\to \infty$; by the main theorem of Janson (2009b) (see also Janson 2014) this occurs provided condition (D3) holds. Most of the results below are of the “w.h.p.” type (or can be expressed in this form); then this transfer to the simple graph case is routine and will not be commented on further. The exception is Theorem 2.5(iii), where we obtain a limiting probability strictly between 0 and 1, and we therefore need a more complicated argument, see Sect. 4; we also use an extra assumption in this case.

We now state our main result, that, under the conditions above, the epidemic is either very small, or of a size at least approximatively proportional to $n{\mathit{\alpha }}_n$ (and thus to $n({\mathcal{R}}_0-1)$). As just said, the theorem holds for both the multigraph $G^{\ast }$ and the simple graph $G$.

Theorem 2.4

Suppose that (D1)–(D7) hold.

Let $\mathcal{Z}$ be the total number of susceptible vertices that ever get infected.

• (i)
  If $\mathit{\nu }=0$, then there exists a sequence ${\mathit{\epsilon }}_n\to 0$ such that, for each n, w.h.p. one of the following holds.

  1. $\mathcal{Z}/n_{\mathrm{S}}{\mathit{\alpha }}_n<{\mathit{\epsilon }}_n$ (the epidemic is small and ends prematurely).
  2. $|\mathcal{Z}/n_{\mathrm{S}}{\mathit{\alpha }}_n-2\mathit{\lambda }/{\mathit{\lambda }}_3|<{\mathit{\epsilon }}_n$ (the epidemic is large and its size is well concentrated).
• (ii)If $0<\mathit{\nu }<\infty$, then $\mathcal{Z}/n_{\mathrm{S}}{\mathit{\alpha }}_n\stackrel{\mathrm{p}}{⟶}\mathit{\lambda }(1+\sqrt{1+2\mathit{\nu }{\mathit{\lambda }}_3})/{\mathit{\lambda }}_3$.
• (iii)
  If $\mathit{\nu }=\infty$, then

  $$\begin{array}{c}\hfill \frac{\mathcal{Z}}{(n_{\mathrm{S}}{\sum }_{k=0}^{\infty }k{n}_{\mathrm{I},k}{)}^{1/2}}\stackrel{\mathrm{p}}{⟶}\frac{\sqrt{2}\mathit{\lambda }}{\sqrt{{\mathit{\lambda }}_3}}\end{array}$$ 2.16

Moreover, in cases (i)(b), (ii) and (iii), the following holds. Let ${\mathcal{Z}}_k$ be the number of degree $k⩾0$ susceptible vertices that ever get infected. Then

$$\begin{array}{cc}\hfill \sum _{k=0}^{\infty }|\frac{{\mathcal{Z}}_k}{\mathcal{Z}}& -\frac{k{p}_k}{\mathit{\lambda }}|\stackrel{\mathrm{p}}{⟶}0.\hfill \end{array}$$ 2.17

Thus, (2.17) says that, except in the case (i)(a), the total variation distance between the degree distribution $({\mathcal{Z}}_k/\mathcal{Z})$ of the vertices that get infected and the size-biased distribution $(k{p}_k/\mathit{\lambda })$ converges to 0 in probability.

Note that case (i) of Theorem 2.4 says that, for a range of initial values of the number of infective half-edges (viz. when $\mathit{\nu }=0$), if the epidemic takes off at all, then it has approximately the size $(2\mathit{\lambda }/{\mathit{\lambda }}_3)n_{\mathrm{S}}{\mathit{\alpha }}_n$. Hence, in this range, the size of the epidemic does (to the first order) not depend on the initial number of infective half-edges (only the probability of a large outbreak does), so this can be seen as the “natural” size of an epidemic. This also means that in this range, most of the outbreak can be traced back to a single initial infective half-edge.

However, when the initial number of infective half-edges number gets larger, the many small outbreaks coming from the different initially infective half-edges will add up to a substantial outbreak. So there is a threshold where this bulk of combined small outbreaks is of about the same size as the “natural” size of a large outbreak. The value $\mathit{\nu }$ is, in the limit as $n\to \infty$, the ratio of the initial number divided by this threshold, so it shows, roughly, whether the combined small outbreaks give a large contribution to the outbreak or not. Our theorem then shows that, if the initial number of infective half-edges is larger (to be precise, $\mathit{\nu }>0$), then they force a larger outbreak, with a size that is proportional to the square root of the initial number of infective half-edges in the range $\mathit{\nu }=\infty$. (For $0<\mathit{\nu }<\infty$, there is a smooth transition between the two extremal cases.)

The following result gives conditions for the occurrence of a large epidemic in Theorem 2.4(i). In anticipation of later notation, let $X_{\mathrm{I},0}:={\sum }_{k=0}^{\infty }k{n}_{\mathrm{I},k}$ be the total degree of initially infective vertices (i.e. the total number of initially infective half-edges).

Theorem 2.5

Suppose that the assumptions of Theorem 2.4 are satisfied with $\mathit{\nu }=0$.

• (i)If ${\mathit{\alpha }}_n{X}_{\mathrm{I},0}\to 0$, then $\mathcal{Z}=o_{\mathrm{p}}({\mathit{\alpha }}_n^{-2})=o_{\mathrm{p}}(n_{\mathrm{S}}{\mathit{\alpha }}_n)$, and thus case (i)(a) in Theorem 2.4 occurs w.h.p.
• (ii)If ${\mathit{\alpha }}_n{X}_{\mathrm{I},0}\to \infty$ then case (i)(b) in Theorem 2.4 occurs w.h.p.
• (iii)
  Suppose that ${\mathit{\alpha }}_n{X}_{\mathrm{I},0}$ is bounded above and below. In the simple graph case, assume also that ${\sum }_{k⩾1}{k}^2{n}_{\mathrm{I},k}=o(n)$ and ${\sum }_{k⩾{\mathit{\alpha }}_n^{-1}}{k}^2{n}_{\mathrm{R},k}=o(n)$. Then both cases (i)(a) and (i)(b) in Theorem 2.4 occur with probabilities bounded away from 0 and 1. Furthermore, if $d_{\mathrm{I},\ast }=o(X_{\mathrm{I},0})$, then the probability that case (i)(a) in Theorem 2.4 occurs is

  $$\begin{array}{c}\hfill exp\left(-\frac{{\mathit{\lambda }}_2+\mathit{\lambda }+{\sum }_{k=0}^{\infty }k{n}_{\mathrm{R},k}/n_{\mathrm{S}}}{{\mathit{\lambda }}_2{\mathit{\lambda }}_3}{\mathit{\alpha }}_n{X}_{\mathrm{I},0}\right)+o(1).\end{array}$$ 2.18

  Moreover, in the case the epidemic is small, $\mathcal{Z}=O_{\mathrm{p}}({\mathit{\alpha }}_n^{-2})$.

Note that ${\sum }_{k=0}^{\infty }k{n}_{\mathrm{R},k}/n_{\mathrm{S}}$ in (2.18) is bounded because of (D3) and (D7), and that (2.18) holds in cases (i) and (ii) too. A more complicated formula extending (2.18) holds also in the case when the condition $d_{\mathrm{I},\ast }=o(X_{\mathrm{I},0})$ fails, see (4.63) in Remark 4.4.

Remark 2.6

The quantity $\mathit{\nu }⩾0$ controls the initial number of infective contacts. If $\mathit{\nu }>0$, so a large epidemic occurs by Theorem 2.4, then

$$\begin{array}{c}\hfill {\mathit{\alpha }}_n{X}_{\mathrm{I},0}={\mathit{\alpha }}_n\sum _{k=0}^{\infty }k{n}_{\mathrm{I},k}=(n_{\mathrm{S}}{\mathit{\alpha }}_n^3)\frac{{\sum }_{k=0}^{\infty }k{n}_{\mathrm{I},k}}{n_{\mathrm{S}}{\mathit{\alpha }}_n^2}\to \infty ,\end{array}$$

by (2.6) and (2.8); hence the condition in Theorem 2.5(ii) holds automatically when $\mathit{\nu }>0$.

Remark 2.7

The condition (2.7) that the total degree of initally infective vertices is o(n) is, by (D3) and the Cauchy–Schwarz inequality, equivalent to $n_I=o(n)$, at least if we ignore isolated infective vertices. Note that the opposite case, when $n_I/n$ has a strictly positive limit, is treated in Janson et al. (2014, Theorems 2.6 and 2.7) (under otherwise similar assumptions).

Remark 2.8

The assumption (2.9) (which is required only when $\mathit{\nu }>0$) says that no single infective vertex has a significant fraction of the total infective degree.

Remark 2.9

Assuming (D1) and (D2), the assumption ${\mathit{\alpha }}_n\to 0$ in (D4) is equivalent to ${\mathcal{R}}_0\to 1$, as said above. To see this, note that (D1) and (D2) imply (see Remark 2.3)

$$\begin{array}{c}\hfill \sum _{k=0}^{\infty }k{n}_k/n_{\mathrm{S}}⩾\sum _{k=0}^{\infty }k{n}_{\mathrm{S},k}/n_{\mathrm{S}}=\mathbb{E}{D}_{\mathrm{S},n}\to \mathbb{E}{D}_{\mathrm{S}}=\mathit{\lambda }>0.\end{array}$$ 2.19

If ${\mathit{\alpha }}_n\to 0$, then (2.19) and (2.3) imply that ${\mathcal{R}}_0\to 1$.

Conversely, still assuming (D1) and (D2), if ${\mathcal{R}}_0\to 1$, then it follows easily from (2.1) that

$$\begin{array}{c}\hfill {\mathit{\rho }}_n/{\mathit{\beta }}_n=O(1),\end{array}$$ 2.20

and also that

$$\begin{array}{c}\hfill \sum _{k=0}^{\infty }k{n}_k=O\left(\sum _{k=0}^{\infty }(k-1)k{n}_{\mathrm{S},k}\right)=O(n_{\mathrm{S}}).\end{array}$$ 2.21

Hence, (2.3) implies that ${\mathit{\alpha }}_n\to 0$.

To be precise, (2.3) and (2.1) yield by (2.14) and ${\mathcal{R}}_0\to 1$,

$$\begin{array}{c}\hfill {\mathit{\alpha }}_n=\frac{{\mathcal{R}}_0-1}{{\mathcal{R}}_0}\frac{{\sum }_{k=0}^{\infty }(k-1)k{n}_{\mathrm{S},k}}{n_{\mathrm{S}}}=(1+o(1)){\mathit{\lambda }}_2({\mathcal{R}}_0-1).\end{array}$$ 2.22

Note that by combining the two parts of the argument, we have shown that our assumptions (D1), (D2) and (D4) imply (2.20) and the complementary bounds (2.19) and (2.21). (This can also easily be seen using (2.2).)

Remark 2.10

We saw in Remark 2.9 that (D1), (D2) and (D4) imply (2.21). Since $n-n_0⩽{\sum }_{k=0}^{\infty }k{n}_k$, it follows that $n-n_0=O(n_{\mathrm{S}})$. Hence, assumption (D7) is needed only to the exclude the rather trivial case that almost all of the population consist of isolated infective vertices, which cannot spread the epidemic. Note also that (D7) implies that it does not matter whether we use $n_{\mathrm{S}}$ or n in estimates such as (2.11).

G(n, p) and G(n, m)

The results above apply to the graphs $G(n,p)$ and $G(n,m)$ by conditioning on the sequence of vertex degrees (which are now random), since given the vertex degrees, both $G(n,p)$ and $G(n,m)$ are uniformly distributed over all (simple) graphs with these vertex degrees. Moreover, if $n\to \infty$ and $p\sim \mathit{\lambda }/n$, or $m\sim n\mathit{\lambda }/2$, for some $\mathit{\lambda }>0$, then the degree distribution is asymptotically Poisson $\text{Po}(\mathit{\lambda })$. For $G(n,p)$, this leads to the following result.

Corollary 2.11

Suppose that ${\mathit{\beta }}_n>0$ and ${\mathit{\rho }}_n⩾0$ for each $n\in \mathbb{N}$. Let $\mathit{\lambda }⩾1$, and assume that $\frac{{\mathit{\beta }}_n+{\mathit{\rho }}_n}{{\mathit{\beta }}_n}\to \mathit{\lambda }$ as $n\to \infty$. Let ${\mathit{\eta }}_n\to 0$, and consider the SIR epidemic on the random graph $G(n,\frac{\mathit{\lambda }(1+{\mathit{\eta }}_n)}{n})$ with infection rate ${\mathit{\beta }}_n$ and recovery rate ${\mathit{\rho }}_n$. Suppose that there are $n_{\mathrm{I}}=o(n)$ initially infective vertices chosen at random, and all the other vertices are susceptible. Let

$$\begin{array}{c}\hfill {\mathit{\gamma }}_n:=1-\frac{{\mathit{\beta }}_n+{\mathit{\rho }}_n}{\mathit{\lambda }{\mathit{\beta }}_n}+{\mathit{\eta }}_n-(1+{\mathit{\eta }}_n)\frac{n_{\mathrm{I}}}{n}.\end{array}$$ 2.23

Then ${\mathit{\gamma }}_n\to 0$. Assume that $n{\mathit{\gamma }}_n^3\to \infty$, and that $\mathit{\mu }=lim\frac{n_{\mathrm{I}}}{n{\mathit{\gamma }}_n^2}$ exists.

• (i)
  If $\mathit{\mu }=0$, then there exists a sequence ${\mathit{\epsilon }}_n\to 0$ such that for each n, w.h.p. one of the following holds.

  1. $\mathcal{Z}/(n{\mathit{\gamma }}_n)<{\mathit{\epsilon }}_n$.
  2. $|\mathcal{Z}/(n{\mathit{\gamma }}_n)-2|<{\mathit{\epsilon }}_n$.

  Moreover, the probability that (a) holds is

  $$\begin{array}{c}\hfill exp(-(1+{\mathit{\lambda }}^{-1}){\mathit{\gamma }}_n{n}_I)+o(1).\end{array}$$ 2.24

  In particular, (a) holds w.h.p. if ${\mathit{\gamma }}_n{n}_{\mathrm{I}}\to 0$ and (b) holds w.h.p. if ${\mathit{\gamma }}_n{n}_{\mathrm{I}}\to \infty$.
• (ii)If $0<\mathit{\mu }<\infty$, then $\mathcal{Z}/n{\mathit{\gamma }}_n\stackrel{\mathrm{p}}{⟶}1+\sqrt{1+2\mathit{\mu }}$.
• (iii)
  If $\mathit{\mu }=\infty$, then

  $$\begin{array}{c}\hfill \frac{\mathcal{Z}}{{(n_{\mathrm{S}}{n}_{\mathrm{I}})}^{1/2}}\stackrel{\mathrm{p}}{⟶}\sqrt{2}.\end{array}$$

The same holds for $G(n,m)$ with $m=n\mathit{\lambda }(1+{\mathit{\eta }}_n)/2$.

Proof

As said above, we condition on the vertex degrees. We have $n_{\mathrm{S},k}/n_{\mathrm{S}}\stackrel{\mathrm{p}}{⟶}{p}_k:=\mathbb{P}(\text{Po}(\mathit{\lambda })=k)$ for every k; for convenience, we use the Skorohod coupling theorem (Kallenberg 2002, Theorem 4.30) so we may assume that this holds a.s. for each k; thus (2.4) holds a.s. Similarly we may assume that ${\sum }_k{k}^4{n}_k/n$ converges a.s., and then (D2) and (D3) hold a.s. Furthermore, ${\mathit{\alpha }}_n$ is now random, and it is easy to see from (2.2) that

$$\begin{array}{cc}\hfill \frac{n_{\mathrm{S}}}{n}{\mathit{\alpha }}_n=& -\frac{{\mathit{\beta }}_n+{\mathit{\rho }}_n}{{\mathit{\beta }}_n}(1+{\mathit{\eta }}_n)\mathit{\lambda }+((1+{\mathit{\eta }}_n)\mathit{\lambda }{)}^2(1-\frac{n_{\mathrm{I}}}{n})+O_p(n^{-1/2})\hfill \\ \hfill =& (1+{\mathit{\eta }}_n){\mathit{\lambda }}^2{\mathit{\gamma }}_n+O_p(n^{-1/2})=({\mathit{\lambda }}^2+o_{\mathrm{p}}(1)){\mathit{\gamma }}_n.\hfill \end{array}$$ 2.25

Repeating the Skorohod trick, we may thus assume also that ${\mathit{\alpha }}_n/{\mathit{\gamma }}_n\to {\mathit{\lambda }}^2$. Similarly we may assume $X_{\mathrm{I},0}={\sum }_{k}k{n}_{\mathrm{I},k}=(1+O(n_{\mathrm{I}}^{-1/2}))\mathit{\lambda }{n}_{\mathrm{I}}$, and then (2.8) holds with $\mathit{\nu }=\mathit{\mu }/{\mathit{\lambda }}^3$; it is also easy to see that (2.9) may be assumed. Then all the conditions (D1)–(D7) hold a.s., and the result follows as a consequence of Theorems 2.4 and 2.5, noting that $D_{\mathrm{S}}\sim \text{Po}(\mathit{\lambda })$, and thus ${\mathit{\lambda }}_2={\mathit{\lambda }}^2$ and ${\mathit{\lambda }}_3={\mathit{\lambda }}^3$. $\square$

Proof of Theorem 2.4

Simplifying assumptions

We assume for convenience that $n_{\mathrm{I}}=o(n)$. In fact, we may assume that $n_{\mathrm{I},0}=0$ by deleting all initially infective vertices of degree 0, since these are irrelevant; then $n_{\mathrm{I}}=o(n)$ as a consequence of (2.7). Note that this will not affect ${\mathcal{R}}_0$, ${\mathit{\alpha }}_n$, $\mathit{\nu }$ or the other constants and assumptions above.

Similarly, we assume that initially there are no recovered vertices, that is $n_{\mathrm{R}}=0$. It is easy to modify the proofs below to handle the case $n_{\mathrm{R}}⩾1$. Alternatively, we may observe that our results in the case $n_{\mathrm{R}}=0$ imply the corresponding results for general $n_{\mathrm{R}}$ by the following argument. (See Janson 2009a for similar arguments in a related situation.) We replace each initially recovered vertex of degree k by k separate susceptible vertices of degree 1, so there are a total of $X_{\mathrm{R},0}:={\sum }_{k=0}^{\infty }k{n}_{\mathrm{R},k}$ additional “fake” susceptible vertices of degree 1; this will not change the course of the epidemic (in the multigraph case) except that some of these fake susceptible vertices will be infected. (Note that they never can infect anyone else.) The alteration will not affect ${\mathcal{R}}_0$, although ${\mathit{\alpha }}_n$ and the asymptotic distribution $(p_k)$ will be modified. Note that $X_{\mathrm{R},0}=O(n_{\mathrm{S}})$ by (D3) and (D7); by considering suitable subsequences we may thus assume that $X_{\mathrm{R},0}/n_{\mathrm{S}}\to r$ for some $r\in [0,\infty )$. It is easy see that the modified degree distribution satisfies all the assumptions above and that, if we use a prime to indicate quantities after the replacement, then $n_{\mathrm{S}}^{\prime }=n_{\mathrm{S}}+X_{\mathrm{R},0}\sim (1+r)n_{\mathrm{S}}$, ${\mathit{\alpha }}_n^{\prime }\sim {\mathit{\alpha }}_n/(1+r)$, $n_{\mathrm{S}}^{\prime }{\mathit{\alpha }}_n^{\prime }=n_{\mathrm{S}}{\mathit{\alpha }}_n$, ${\mathit{\nu }}^{\prime }=(1+r)\mathit{\nu }$, $p_1^{\prime }=(p_1+r)/(1+r)$, $p_k^{\prime }=p_k/(1+r)$ for $k\ne 1$, ${\mathit{\lambda }}^{\prime }=(\mathit{\lambda }+r)/(1+r)$, ${\mathit{\lambda }}_2^{\prime }={\mathit{\lambda }}_2/(1+r)$, ${\mathit{\lambda }}_3^{\prime }={\mathit{\lambda }}_3/(1+r)$.

If case (i)(a) in Theorem 2.4 occurs for the modified process, it occurs for the original process too, since $\mathcal{Z}⩽{\mathcal{Z}}^{\prime }$, and there is nothing more to prove.

In the other cases, we have ${\mathcal{Z}}^{\prime }\to \infty$ w.h.p. We note that of the $n_{\mathrm{S},1}^{\prime }=n_{\mathrm{S},1}+X_{\mathrm{R},0}$ susceptible vertices of degree 1, $X_{\mathrm{R},0}$ are fake. Conditioned on the number ${\mathcal{Z}}_1^{\prime }$ of susceptible vertices of degree 1 that get infected, the number ${\mathcal{Z}}^{\prime }-\mathcal{Z}={\mathcal{Z}}_1^{\prime }-{\mathcal{Z}}_1$ of fake susceptible vertices that get infected has a hypergeometric distribution, and, using e.g. Chebyshev’s inequality, it follows that w.h.p. (leaving the simple modification when $p_1=r=0$ to the reader)

$$\begin{array}{c}\hfill {\mathcal{Z}}^{\prime }-\mathcal{Z}={\mathcal{Z}}_1^{\prime }-{\mathcal{Z}}_1=\frac{X_{\mathrm{R},0}}{n_{\mathrm{S},1}+X_{\mathrm{R},0}}{\mathcal{Z}}_1^{\prime }+o({\mathcal{Z}}^{\prime })=\frac{r}{p_1+r}{\mathcal{Z}}_1^{\prime }+o({\mathcal{Z}}^{\prime }).\end{array}$$ 3.1

By (2.17) and the relations above, this yields w.h.p.

$$\begin{array}{c}\hfill {\mathcal{Z}}^{\prime }-\mathcal{Z}=\frac{r}{p_1+r}{\mathcal{Z}}_1^{\prime }+o({\mathcal{Z}}^{\prime })=\frac{r}{p_1+r}\frac{p_1^{\prime }}{{\mathit{\lambda }}^{\prime }}{\mathcal{Z}}^{\prime }+o({\mathcal{Z}}^{\prime })=\frac{r}{\mathit{\lambda }+r}{\mathcal{Z}}^{\prime }+o({\mathcal{Z}}^{\prime }).\end{array}$$ 3.2

Consequently, w.h.p. $\mathcal{Z}/{\mathcal{Z}}^{\prime }=\mathit{\lambda }/(\mathit{\lambda }+r)+o(1)$.

It is then easy to check that Theorem 2.4 and Theorem 2.5 for the original process both follow from these results in the case with no initially recovered vertices.

We make these simplifying assumptions $n_{\mathrm{I}}=o(n)$ and $n_{\mathrm{R}}=0$ throughout this section (and the following one), in addition to (D1)–(D7). In particular, $n_{\mathrm{I}}+n_{\mathrm{R}}=o(n)$, and thus (D7) is strengthened to

$$\begin{array}{c}\hfill n_{\mathrm{S}}/n\to 1.\end{array}$$ 3.3

We may also assume ${\mathit{\alpha }}_n>0$, by ignoring some small n if necessary. Finally, recall that in the proofs we first consider the random multigraph $G^{\ast }$.

Time-changed epidemic on a random multigraph

We first study the epidemic on the configuration model multigraph $G^{\ast }$, revealing its edges (i.e. pairing off the half-edges) while the epidemic spreads, as in Janson et al. (2014) (see other variants in Andersson 1998; Ball and Neal 2008; Decreusefond et al. 2012; Bohman and Picollelli 2012). We call a half-edge susceptible, infective or recovered according to the type of vertex it is attached to. Unpaired half-edges are said to be free. Initially, each vertex i has $d_i$ half-edges and all of them are free.

Each free infective half-edge chooses a free half-edge at rate ${\mathit{\beta }}_n>0$, uniformly at random from among all the other free half-edges. Together the pair form an edge, and are removed from the set of free half-edges. If the chosen free half-edge belongs to a susceptible vertex then that vertex becomes infective. Infective vertices recover at rate ${\mathit{\rho }}_n⩾0$.

We stop the process when no infective free half-edges remain, which is the time when the epidemic stops spreading. Some infective vertices may remain but they trivially recover at i.i.d. exponential times. Some free susceptible and recovered half-edges may also remain. These could be paired uniformly to reveal the remaining edges in $G^{\ast }$, if desired. However, this step is irrelevant for the course of the epidemic.

In order to prove our results, we perform a time change in the process: when in a state with $x_{\mathrm{I}}⩾1$ free infective half-edges, and a total of x free half-edges of any type, we multiply all transition rates by $(x-1)/{\mathit{\beta }}_n{x}_{\mathrm{I}}$ (this multiple is at least $1/(2{\mathit{\beta }}_n)$, since $x_{\mathrm{I}}⩾1$ implies that $x⩾2$). Then each free susceptible half-edge gets infected at rate 1, each infective vertex recovers at rate ${\mathit{\rho }}_n(x-1)/{\mathit{\beta }}_n{x}_{\mathrm{I}}$, and each free infective half-edge pairs off at rate $(x-1)/x_{\mathrm{I}}$.

In the time changed process, let $S_t$, $I_t$ and $R_t$ denote the numbers of susceptible, infective and recovered vertices, respectively, at time $t⩾0$. Let $S_t(k)$ be the number of susceptible vertices of degree $k⩾0$ at time t. Then $S_t={\sum }_{k=0}^{\infty }{S}_t(k)$ is decreasing and $R_t$ is increasing in t. Moreover, $S_0(k)=n_{\mathrm{S},k}$, $I_0=n_{\mathrm{I}}$ and $R_0=n_{\mathrm{R}}=0$. Also, we let $X_{\mathrm{S},t}$, $X_{\mathrm{I},t}$ and $X_{\mathrm{R},t}$ be the numbers of free susceptible, infective and recovered half-edges, respectively, at time t. Then $X_{\mathrm{S},t}={\sum }_{k=0}^{\infty }k{S}_t(k)$ is decreasing, $X_{\mathrm{S},0}={\sum }_{k=0}^{\infty }k{n}_{\mathrm{S},k}$, $X_{\mathrm{I},0}={\sum }_{k=0}^{\infty }k{n}_{\mathrm{I},k}$ and $X_{\mathrm{R},0}=0$ (by our simplifying assumptions in Sect. 3.1).

We denote the duration of the time-changed epidemic by

$$\begin{array}{c}\hfill T^{\ast }:=inf\{t⩾0:X_{\mathrm{I},t}=0\}.\end{array}$$ 3.4

At time $T^{\ast }$, we simply stop, as said above. (The last infection may have occurred somewhat earlier, since the last free infective half-edge may have recovered or paired of with an infective or recovered half-edge. It follows e.g. from (3.10) below that the last actual infection w.h.p. did not happen much earlier, but this is irrelevant for our results, and we use (3.4) as the definition.)

Concentration of measure

We will show that $S_t(k)$, $X_{\mathrm{S},t}$, $X_{\mathrm{I},t}$ and $X_{\mathrm{R},t}$ are uniformly close to certain deterministic functions. Let

$$\begin{array}{cc}\hfill h_{\mathrm{S},n}(t)& :=\sum _{k=0}^{\infty }k{n}_{\mathrm{S},k}{e}^{-kt},\hfill \end{array}$$ 3.5

$$\begin{array}{cc}\hfill h_{\mathrm{R},n}(t)& :=\frac{{\mathit{\rho }}_n}{{\mathit{\beta }}_n}{e}^{-t}(1-e^{-t})\sum _{k=0}^{\infty }k{n}_k,\hfill \end{array}$$ 3.6

$$\begin{array}{cc}\hfill h_{\mathrm{I},n}(t)& :=e^{-2t}\sum _{k=0}^{\infty }k{n}_k-h_{\mathrm{S},n}(t)-h_{\mathrm{R},n}(t).\hfill \end{array}$$ 3.7

Theorem 3.1

Let ${\tilde{\mathit{\alpha }}}_n$ be any numbers with ${\mathit{\alpha }}_n⩽{\tilde{\mathit{\alpha }}}_n=o(1)$ such that

$$\begin{array}{c}\hfill \sum _{k=0}^{\infty }{k}^2{n}_{\mathrm{I},k}=o(n^2{\tilde{\mathit{\alpha }}}_n^4).\end{array}$$ 3.8

Then, for any fixed $t_0<\infty$,

$$\begin{array}{cc}& \sum _{k=0}^{\infty }\underset{t⩽{\tilde{\mathit{\alpha }}}_n{t}_0\wedge T^{\ast }}{sup}|S_t(k)-n_{\mathrm{S},k}{e}^{-kt}|=o_{\mathrm{p}}(n{\tilde{\mathit{\alpha }}}_n^2),\hfill \end{array}$$ 3.9

$$\begin{array}{cc}& \underset{t⩽{\tilde{\mathit{\alpha }}}_n{t}_0\wedge T^{\ast }}{sup}|X_{\mathrm{S},t}-h_{\mathrm{S},n}(t)|=o_{\mathrm{p}}(n{\tilde{\mathit{\alpha }}}_n^2),\hfill \end{array}$$ 3.10

$$\begin{array}{cc}& \underset{t⩽{\tilde{\mathit{\alpha }}}_n{t}_0\wedge T^{\ast }}{sup}|X_{\mathrm{R},t}-h_{\mathrm{R},n}(t)|=o_{\mathrm{p}}(n{\tilde{\mathit{\alpha }}}_n^2),\hfill \end{array}$$ 3.11

$$\begin{array}{cc}& \underset{t⩽{\tilde{\mathit{\alpha }}}_n{t}_0\wedge T^{\ast }}{sup}|X_{\mathrm{I},t}-h_{\mathrm{I},n}(t)|=o_{\mathrm{p}}(n{\tilde{\mathit{\alpha }}}_n^2).\hfill \end{array}$$ 3.12

The above result establishes concentration on time intervals of length $O({\tilde{\mathit{\alpha }}}_n)$. In Sect. 3.4, we use it to show that, for a suitable choice of ${\tilde{\mathit{\alpha }}}_n$, the duration of the epidemic satisfies $T^{\ast }=O({\tilde{\mathit{\alpha }}}_n)$ w.h.p. It follows that the theorem then holds also with $t_0=\infty$, see Remark 3.6.

The remainder of this subsection contains the proof of Theorem 3.1. We first need two lemmas concerning the evolution of the number of susceptible vertices and the total number of free half-edges.

In the time-changed epidemic, each free susceptible half-edge gets infected at rate 1, until $T^{\ast }$. We further modify the process so that free susceptible half-edges continue to be infected at rate 1 even when there are no more free infective half-edges. Let ${\tilde{S}}_t(k)$ be the number of susceptible individuals of degree k in the modified process. Then $({\tilde{S}}_{t\wedge T^{\ast }}(k):k\in {\mathbb{Z}}^{+},t⩾0)$ has the same distribution as $(S_{t\wedge T^{\ast }}(k):k\in {\mathbb{Z}}^{+},t⩾0)$, and so, to prove (3.9) and (3.10), it suffices to prove that

$$\begin{array}{c}\hfill \sum _{k=0}^{\infty }\underset{t⩽{\tilde{\mathit{\alpha }}}_n{t}_0}{sup}|{\tilde{S}}_t(k)-n_{\mathrm{S},k}{e}^{-kt}|=o_{\mathrm{p}}(n{\tilde{\mathit{\alpha }}}_n^2),\end{array}$$ 3.13

and

$$\begin{array}{c}\hfill \underset{t⩽{\tilde{\mathit{\alpha }}}_n{t}_0}{sup}|{\tilde{X}}_{S,t}-h_{\mathrm{S},n}(t)|=o_{\mathrm{p}}(n{\tilde{\mathit{\alpha }}}_n^2),\end{array}$$ 3.14

where ${\tilde{X}}_{S,t}={\sum }_{k=0}^{\infty }k{\tilde{S}}_t(k)$. For each t, let

$$\begin{array}{c}\hfill W_t:=\sum _{k=0}^{\infty }{k}^2({\tilde{S}}_t(k)-n_{\mathrm{S},k}{e}^{-kt}).\end{array}$$ 3.15

Lemma 3.2

Fix $t_0<\infty$ and assume ${\mathit{\alpha }}_n⩽{\tilde{\mathit{\alpha }}}_n=o(1)$. Then $\mathbb{E}{sup}_{t⩽{\tilde{\mathit{\alpha }}}_n{t}_0}|W_t|=o(n{\tilde{\mathit{\alpha }}}_n)$, and hence

$$\begin{array}{c}\hfill \mathbb{E}\underset{t⩽{\tilde{\mathit{\alpha }}}_n{t}_0\wedge T^{\ast }}{sup}\left|\sum _{k=0}^{\infty }{k}^2(S_t(k)-n_{\mathrm{S},k}{e}^{-kt})\right|=o(n{\tilde{\mathit{\alpha }}}_n).\end{array}$$

Proof of Lemma 3.2

We enumerate the initially susceptible vertices as $i=1,2,\dots ,n_{\mathrm{S}}$ and denote by $d_{\mathrm{S},i}$ the degree of initially susceptible vertex i. Let $L_i$ be the time at which initially susceptible vertex i becomes infective (in the modified process). Then each $L_i$ has exponential distribution with rate $d_{\mathrm{S},i}$, and the $L_i$ ($i=1,2,\dots ,n_{\mathrm{S}}$) are all independent of one another. It follows that, for each fixed t, the random variables $F_{i,t}:=d_{\mathrm{S},i}^2({\mathbb{1}}_{L_i>t}-e^{-t{d}_{\mathrm{S},i}})$ each have mean zero and are all independent. Note that $W_t={\sum }_{i=1}^{n_{\mathrm{S}}}{F}_{i,t}$.

Each $|F_{i,t}|$ is bounded by $d_{\mathrm{S},\ast }^2$, where, as in (2.11), $d_{\mathrm{S},\ast }={max}_i{d}_{\mathrm{S},i}$. Hence, by Bernstein’s inequality for sums of bounded independent centred random variables, see e.g. McDiarmid (1998, Theorem 2.7)] or Boucheron et al. (2013, 2.10), for each $a⩾0$,

$$\begin{array}{c}\hfill \mathbb{P}(|W_t|>a)=\mathbb{P}\left(\left|\sum _{i=1}^{n_{\mathrm{S}}}{F}_{i,t}\right|>a\right)⩽2exp\left(-\frac{a^2}{2{\sum }_{i=1}^{n_{\mathrm{S}}}\mathbb{E}{F}_{i,t}^2+2a{d}_{\mathrm{S},\ast }^2/3}\right).\end{array}$$ 3.16

Now, for any $t⩽{\tilde{\mathit{\alpha }}}_n{t}_0$, using (2.10),

$$\begin{array}{c}\hfill \begin{array}{cc}\hfill 2\sum _{i=1}^{n_{\mathrm{S}}}\mathbb{E}{F}_{i,t}^2& =2\sum _{i=1}^{n_{\mathrm{S}}}{d}_{\mathrm{S},i}^4\text{Var}({\mathbb{1}}_{L_i>t})⩽2\sum _{i=1}^{n_{\mathrm{S}}}{d}_{\mathrm{S},i}^4(1-e^{-t{d}_{\mathrm{S},i}})\hfill \\ \hfill & ⩽2d_{\mathrm{S},\ast }^{2}t\sum _{i=1}^{n_{\mathrm{S}}}{d}_{\mathrm{S},i}^3⩽2t_0{\tilde{\mathit{\alpha }}}_n{d}_{\mathrm{S},\ast }^2\sum _k{k}^3{n}_{\mathrm{S},k}⩽2c_0{t}_0{\tilde{\mathit{\alpha }}}_{n}n{d}_{\mathrm{S},\ast }^2.\hfill \end{array}\end{array}$$ 3.17

Furthermore, ${\tilde{\mathit{\alpha }}}_n{n}^{1/3}⩾{\mathit{\alpha }}_n{n}^{1/3}\to \infty$ and so by (2.11),

$$\begin{array}{c}\hfill d_{\mathrm{S},\ast }=o(n^{1/3})=o({(n{\tilde{\mathit{\alpha }}}_n)}^{1/2}).\end{array}$$ 3.18

Thus, for n sufficiently large, $d_{\mathrm{S},\ast }⩽{(n{\tilde{\mathit{\alpha }}}_n)}^{1/2}$, and then for any $u⩾2c_0{t}_0$ and $a=u{(n{\tilde{\mathit{\alpha }}}_n)}^{1/2}{d}_{\mathrm{S},\ast }$, by (3.17),

$$\begin{array}{c}\hfill \begin{array}{cc}\hfill exp\left(-\frac{a^2}{2{\sum }_{i=1}^{n_{\mathrm{S}}}\mathbb{E}{F}_{i,t}^2+2a{d}_{\mathrm{S},\ast }^2/3}\right)& ⩽exp\left(-\frac{u^2}{2c_0{t}_0+2u{d}_{\mathrm{S},\ast }/3{(n{\tilde{\mathit{\alpha }}}_n)}^{1/2}}\right)\hfill \\ \hfill & ⩽exp\left(-\frac{u^2}{2c_0{t}_0+u}\right)⩽exp\left(-u/2\right).\hfill \end{array}\end{array}$$

Hence, by (3.16), for n sufficiently large and for each each $t⩽t_0{\tilde{\mathit{\alpha }}}_n$ and $u⩾2c_0{t}_0$,

$$\begin{array}{c}\hfill \mathbb{P}(|W_t|>u{(n{\tilde{\mathit{\alpha }}}_n)}^{1/2}{d}_{\mathrm{S},\ast })⩽2exp\left(-u/2\right).\end{array}$$ 3.19

Note also that ${(n{\tilde{\mathit{\alpha }}}_n)}^{1/2}{d}_{\mathrm{S},\ast }=o(n{\tilde{\mathit{\alpha }}}_n)$ by (3.18). Let ${\mathit{\omega }}_n$ be an integer valued function such that ${\mathit{\omega }}_n\to \infty$ and ${(n{\tilde{\mathit{\alpha }}}_n)}^{1/2}{d}_{\mathrm{S},\ast }{\mathit{\omega }}_n=o(n{\tilde{\mathit{\alpha }}}_n)$. We divide the interval $[0,t_0{\tilde{\mathit{\alpha }}}_n]$ into ${\mathit{\omega }}_n$ subintervals $[{\mathit{\tau }}_l,{\mathit{\tau }}_{l+1}]$, where ${\mathit{\tau }}_l=l{t}_0{\tilde{\mathit{\alpha }}}_n/{\mathit{\omega }}_n$ for $l=0,\dots ,{\mathit{\omega }}_n-1$.

Since ${\tilde{S}}_t(k)$ and $e^{-kt}$ are both decreasing in t, each of the sums ${\sum }_{k=0}^{\infty }{k}^2{\tilde{S}}_t(k)$ and ${\sum }_{k=0}^{\infty }{k}^2{n}_{\mathrm{S},k}{e}^{-kt}$ is also decreasing in t. Thus, for any $0⩽l<{\mathit{\omega }}_n$,

$$\begin{array}{cc}\hfill \underset{{\mathit{\tau }}_l⩽t⩽{\mathit{\tau }}_{l+1}}{sup}|W_t|& ⩽\left|\sum _{k=0}^{\infty }{k}^2({\tilde{S}}_{{\mathit{\tau }}_l}(k)-n_{\mathrm{S},k}{e}^{-k{\mathit{\tau }}_{l+1}})\right|+\left|\sum _{k=0}^{\infty }{k}^2({\tilde{S}}_{{\mathit{\tau }}_{l+1}}(k)-n_{\mathrm{S},k}{e}^{-k{\mathit{\tau }}_l})\right|\hfill \\ \hfill & ⩽|W_{{\mathit{\tau }}_l}|+|W_{{\mathit{\tau }}_{l+1}}|+2\sum _{k=0}^{\infty }{k}^2{n}_{\mathrm{S},k}(e^{-k{\mathit{\tau }}_l}-e^{-k{\mathit{\tau }}_{l+1}})\hfill \\ \hfill & ⩽|W_{{\mathit{\tau }}_l}|+|W_{{\mathit{\tau }}_{l+1}}|+2\sum _{k=0}^{\infty }{k}^3{n}_{\mathrm{S},k}({\mathit{\tau }}_{l+1}-{\mathit{\tau }}_l),\hfill \end{array}$$

and so, since ${\sum }_{k=0}^{\infty }{k}^3{n}_{\mathrm{S},k}⩽c_{0}n$ and ${\mathit{\tau }}_{l+1}-{\mathit{\tau }}_l=t_0{\tilde{\mathit{\alpha }}}_n/{\mathit{\omega }}_n=o({\tilde{\mathit{\alpha }}}_n)$, noting $W_0=0$,

$$\begin{array}{c}\hfill \underset{t⩽{\tilde{\mathit{\alpha }}}_n{t}_0}{sup}|W_t|=\underset{l<{\mathit{\omega }}_n}{max}\underset{{\mathit{\tau }}_l⩽t⩽{\mathit{\tau }}_{l+1}}{sup}|W_t|⩽2\underset{1⩽l⩽{\mathit{\omega }}_n}{max}|W_{{\mathit{\tau }}_l}|+o(n{\tilde{\mathit{\alpha }}}_n).\end{array}$$ 3.20

Now, for n sufficiently large and $u⩾2c_0{t}_0$, by (3.19),

$$\begin{array}{c}\hfill \mathbb{P}\left(\underset{1⩽l⩽{\mathit{\omega }}_n}{max}|W_{{\mathit{\tau }}_l}|>u{(n{\tilde{\mathit{\alpha }}}_n)}^{1/2}{d}_{\mathrm{S},\ast }\right)⩽2{\mathit{\omega }}_{n}exp(-u/2).\end{array}$$ 3.21

For sufficiently large n, $2{\mathit{\omega }}_n⩾e^{c_0{t}_0}$, and then (3.21) holds trivially for $u<2c_0{t}_0$ too. Hence, for large n,

$$\begin{array}{cc}\hfill \mathbb{E}\underset{1⩽l⩽{\mathit{\omega }}_n}{max}|W_{{\mathit{\tau }}_l}|& ={(n{\tilde{\mathit{\alpha }}}_n)}^{1/2}{d}_{\mathrm{S},\ast }{\int }_0^{\infty }\mathbb{P}\left(\underset{1⩽l⩽{\mathit{\omega }}_n}{max}|W_{{\mathit{\tau }}_l}|>u{(n{\tilde{\mathit{\alpha }}}_n)}^{1/2}{d}_{\mathrm{S},\ast }\right)du\hfill \\ \hfill & ⩽{(n{\tilde{\mathit{\alpha }}}_n)}^{1/2}{d}_{\mathrm{S},\ast }{\int }_0^{\infty }2{\mathit{\omega }}_n{e}^{-u/2}du\hfill \\ \hfill & =4{(n{\tilde{\mathit{\alpha }}}_n)}^{1/2}{d}_{\mathrm{S},\ast }{\mathit{\omega }}_n=o(n{\tilde{\mathit{\alpha }}}_n),\hfill \end{array}$$ 3.22

and hence also $\mathbb{E}{sup}_{t⩽{\tilde{\mathit{\alpha }}}_n{t}_0}|W_t|=o(n{\tilde{\mathit{\alpha }}}_n)$ by (3.20). $\square$

We now prove a concentration of measure result for the total number $X_t$ of free half-edges.

Lemma 3.3

For every fixed $t_0>0$, and ${\mathit{\alpha }}_n⩽{\tilde{\mathit{\alpha }}}_n=o(1)$,

$$\begin{array}{c}\hfill \underset{t⩽{\tilde{\mathit{\alpha }}}_n{t}_0\wedge T^{\ast }}{sup}\left|X_t-e^{-2t}\sum _{k=0}^{\infty }k{n}_k\right|=o_{\mathrm{p}}(n{\tilde{\mathit{\alpha }}}_n^2).\end{array}$$ 3.23

Proof

When in a state with $x_{\mathrm{I}}⩾1$ free infective half-edges, and thus $x⩾2$ free half-edges in total, each free infective half-edge pairs off at rate $(x-1)/x_{\mathrm{I}}$, and so the number of free half-edges decreases by 2 at rate $x-1$. We modify the process so that pairs of free half-edges still disappear at rate $x-1$ when there are no more free infective half-edges (as long as $x⩾2$). Let ${\tilde{X}}_t$ be the number of free half-edges at time t in the modified process. Then it suffices to prove that

$$\begin{array}{c}\hfill \underset{t⩽{\tilde{\mathit{\alpha }}}_n{t}_0}{sup}\left|{\tilde{X}}_t-e^{-2t}\sum _{k=0}^{\infty }k{n}_k\right|=o_{\mathrm{p}}(n{\tilde{\mathit{\alpha }}}_n^2).\end{array}$$

Now, $\widetilde{X_t}-1$ is a linear death chain starting from ${\sum }_{k=0}^{\infty }k{n}_k-1$, and taking jumps from state j to $j-2$ at rate j. By Janson and Luczak (2009, Lemma 6.1), with $d=2$, $\mathit{\gamma }=1$, and $x={\sum }_{k=0}^{\infty }k{n}_k-1$,

$$\begin{array}{c}\hfill \mathbb{E}\underset{t⩽{\tilde{\mathit{\alpha }}}_n{t}_0}{sup}{\left|(\widetilde{X_t}-1)-e^{-2t}\left(\sum _{k=0}^{\infty }kn{}_k-1\right)\right|}^2⩽16(e^{2{\tilde{\mathit{\alpha }}}_n{t}_0}-1)\sum _{k=0}^{\infty }k{n}_k+32.\end{array}$$

But ${\sum }_{k=0}^{\infty }k{n}_k=O(n)$ by (D3), ${\tilde{\mathit{\alpha }}}_n{t}_0=o(1)$ and $n{\tilde{\mathit{\alpha }}}_n⩾n{\mathit{\alpha }}_n\to \infty$ by (D4), so the right-hand side is $O(n{\tilde{\mathit{\alpha }}}_n)$, and so ${sup}_{t⩽{\tilde{\mathit{\alpha }}}_n{t}_0}|{\tilde{X}}_t-e^{-2t}{\sum }_{k=0}^{\infty }k{n}_k|=O_{\mathrm{p}}(\sqrt{n{\tilde{\mathit{\alpha }}}_n})=o_{\mathrm{p}}(n{\tilde{\mathit{\alpha }}}_n^2)$, using (D4). $\square$

Proof of Theorem 3.1

We start by proving (3.10), and, as remarked after the statement of Theorem 3.1, it is enough to prove that

$$\begin{array}{c}\hfill \underset{t⩽{\tilde{\mathit{\alpha }}}_n{t}_0}{sup}\left|\sum _{k=0}^{\infty }k{\tilde{S}}_t(k)-h_{\mathrm{S},n}(t)\right|=o_{\mathrm{p}}(n{\tilde{\mathit{\alpha }}}_n^2).\end{array}$$ 3.24

Now, for each k, $({\tilde{S}}_t(k))$ is a linear death chain starting from $n_{\mathrm{S},k}$ and decreasing by 1 at rate kx when in state x, and so

$$\begin{array}{c}\hfill {\tilde{S}}_t(k)=n_{\mathrm{S},k}-k{\int }_0^t{\tilde{S}}_u(k)du+{\tilde{M}}_t(k),\end{array}$$ 3.25

where $\tilde{M}(k)=({\tilde{M}}_t(k))$ is a zero-mean martingale. It follows that

$$\begin{array}{cc}\hfill \sum _{k=0}^{\infty }k{\tilde{S}}_t(k)-h_{\mathrm{S},n}(t)& =\sum _{k=0}^{\infty }k({\tilde{S}}_t(k)-n_{\mathrm{S},k}{e}^{-kt})\hfill \\ \hfill & =-\sum _{k=0}^{\infty }{k}^2{\int }_0^t({\tilde{S}}_u(k)-n_{\mathrm{S},k}{e}^{-ku})du+{\tilde{M}}_t\hfill \\ \hfill & =-{\int }_0^t{W}_{u}du+{\tilde{M}}_t,\hfill \end{array}$$ 3.26

where ${\tilde{M}}_t={\sum }_{k}k{\tilde{M}}_t(k)$ defines a zero-mean martingale $\tilde{M}=({\tilde{M}}_t)$.

Since ${\tilde{S}}_t(k)$ and ${\tilde{S}}_t(j)$ with $k\ne j$ never jump simultaneously, we have $[\tilde{M}(k),\tilde{M}(j)]=0$, where $[·,·]$ is the quadratic covariation, see e.g. Kallenberg (2002, Theorem 26.6). Since also each jump of ${\tilde{S}}_t(k)$ is by $-1$, the quadratic variation ${[\tilde{M}]}_t:={[\tilde{M},\tilde{M}]}_t$ is

$$\begin{array}{cc}\hfill {[\tilde{M}]}_t& =\sum _{k=0}^{\infty }{k}^2{[M(k)]}_t=\sum _{k=0}^{\infty }{k}^2\sum _{u⩽t}{(\mathrm{\Delta }{\tilde{S}}_u(k))}^2\hfill \\ \hfill & =-\sum _{k=0}^{\infty }{k}^2\sum _{u⩽t}(\mathrm{\Delta }{\tilde{S}}_u(k))=\sum _{k=0}^{\infty }{k}^2(n_{\mathrm{S},k}-{\tilde{S}}_t(k))\hfill \\ \hfill & =\sum _{k=0}^{\infty }{k}^2(n_{\mathrm{S},k}{e}^{-kt}-{\tilde{S}}_t(k)+n_{\mathrm{S},k}(1-e^{-kt}))\hfill \\ \hfill & ⩽\left|\sum _{k=0}^{\infty }{k}^2({\tilde{S}}_t(k)-n_{\mathrm{S},k}{e}^{-kt})\right|+t\sum _{k=0}^{\infty }{k}^3{n}_{\mathrm{S},k}\hfill \\ \hfill & =|W_t|+O(tn),\hfill \end{array}$$

again using (2.10). By Lemma 3.2, $\mathbb{E}{sup}_{t⩽{\tilde{\mathit{\alpha }}}_n{t}_0}|W_t|=o(n{\tilde{\mathit{\alpha }}}_n)$, so

$$\begin{array}{c}\hfill \mathbb{E}{[\tilde{M}]}_{{\tilde{\mathit{\alpha }}}_n{t}_0}=O(n{\tilde{\mathit{\alpha }}}_n),\end{array}$$ 3.27

and so, using the Burkholder–Davis–Gundy inequalities (Kallenberg 2002, Theorem 26.12) ${sup}_{t⩽{\tilde{\mathit{\alpha }}}_n{t}_0}|{\tilde{M}}_t|=O_{\mathrm{p}}(\sqrt{n{\tilde{\mathit{\alpha }}}_n})$. Hence by (3.26) and Lemma 3.2, uniformly in $t⩽{\tilde{\mathit{\alpha }}}_n{t}_0$,

$$\begin{array}{cc}\hfill \left|\sum _{k=0}^{\infty }k({\tilde{S}}_t(k)-n_{\mathrm{S},k}{e}^{-kt})\right|& ⩽\left|{\int }_0^t{W}_{u}du\right|+O_{\mathrm{p}}(\sqrt{n{\tilde{\mathit{\alpha }}}_n})\hfill \\ \hfill & ⩽{\tilde{\mathit{\alpha }}}_n{t}_0\underset{t⩽{\tilde{\mathit{\alpha }}}_n{t}_0}{sup}|W_t|+O_{\mathrm{p}}(\sqrt{n{\tilde{\mathit{\alpha }}}_n})\hfill \\ \hfill & =o_{\mathrm{p}}(n{\tilde{\mathit{\alpha }}}_n^2),\hfill \end{array}$$

using again (D4). This establishes (3.10).

Next we prove (3.9). By (Janson and Luczak 2009, Lemma 6.1) with $d=1$ and $\mathit{\gamma }=k$ and $x=n_{\mathrm{S},k}$, for $k⩽{\tilde{\mathit{\alpha }}}_n^{-1}$,

$$\begin{array}{c}\hfill \mathbb{E}\underset{t⩽{\tilde{\mathit{\alpha }}}_n{t}_0}{sup}{|{\tilde{S}}_t(k)-n_{\mathrm{S},k}{e}^{-kt}|}^2⩽4(e^{k{\tilde{\mathit{\alpha }}}_n{t}_0}-1)n_{\mathrm{S},k}⩽4k{\tilde{\mathit{\alpha }}}_n{t}_0{e}^{t_0}{n}_{\mathrm{S},k},\end{array}$$ 3.28

where the last step uses the simple inequality $e^x-1⩽x{e}^x$ for $x⩾0$. For $k>{\tilde{\mathit{\alpha }}}_n^{-1}$, we use the trivial bound $|{\tilde{S}}_t(k)-n_{\mathrm{S},k}{e}^{-kt}|⩽n_{\mathrm{S},k}$. Using Jensen’s inequality and then the Cauchy–Schwarz inequality, as well as (2.10) and (D4),

$$\begin{array}{cc}& \mathbb{E}\sum _{k=0}^{\infty }\underset{t⩽{\tilde{\mathit{\alpha }}}_n{t}_0}{sup}|{\tilde{S}}_t(k)-n_{\mathrm{S},k}{e}^{-kt}|⩽\sum _{1⩽k⩽{\tilde{\mathit{\alpha }}}_n^{-1}}{(4k{\tilde{\mathit{\alpha }}}_n{t}_0{e}^{t_0}{n}_{\mathrm{S},k})}^{1/2}+\sum _{k>{\tilde{\mathit{\alpha }}}_n^{-1}}{n}_{\mathrm{S},k}\hfill \\ \hfill & ⩽2{({\tilde{\mathit{\alpha }}}_n{t}_0{e}^{t_0})}^{1/2}{\left(\sum _{k=1}^{\infty }{k}^{-2}\sum _{k=1}^{\infty }{k}^3{n}_{\mathrm{S},k}\right)}^{1/2}+{\tilde{\mathit{\alpha }}}_n^3\sum _{k=1}^{\infty }{k}^3{n}_{\mathrm{S},k}\hfill \\ \hfill & =O(\sqrt{n{\tilde{\mathit{\alpha }}}_n})+O(n{\tilde{\mathit{\alpha }}}_n^3)=o(n{\tilde{\mathit{\alpha }}}_n^2),\hfill \end{array}$$

which yields (3.13) and thus (3.9).

We now prove (3.11). The number of free recovered half-edges changes when either an infective vertex recovers or a free infective half-edge pairs with a free recovered half-edge. In the time-changed process, when in a state with $x_{\mathrm{I}}$ free infective half-edges and x free half-edges, infective vertices recover at rate ${\mathit{\rho }}_n(x-1)/{\mathit{\beta }}_n{x}_{\mathrm{I}}$. Also, each free recovered half-edge is chosen to be paired at rate 1, and thus the number of recovered free half-edges decreases by 1 at rate $x_{\mathrm{R}}$. Hence, for any $t⩾0$,

$$\begin{array}{c}\hfill X_{\mathrm{R},t\wedge T^{\ast }}=X_{\mathrm{R},0}-{\int }_0^{t\wedge T^{\ast }}{X}_{\mathrm{R},s}ds+\frac{{\mathit{\rho }}_n}{{\mathit{\beta }}_n}{\int }_0^{t\wedge T^{\ast }}(X_s-1)ds+M_{\mathrm{R},t\wedge T^{\ast }},\end{array}$$ 3.29

where $M_{\mathrm{R}}=(M_{\mathrm{R},t})$ is a zero-mean martingale.

On the other hand, differentiating (3.6) reveals that

$$\begin{array}{c}\hfill h_{\mathrm{R},n}^{\prime }(t)=-h_{\mathrm{R},n}(t)+\frac{{\mathit{\rho }}_n}{{\mathit{\beta }}_n}{e}^{-2t}\sum _{k=0}^{\infty }k{n}_k.\end{array}$$ 3.30

Hence, subtracting the integral of that expression from (3.29), and recalling that $X_{\mathrm{R},0}=0$,

$$\begin{array}{cc}\hfill |X_{\mathrm{R},t\wedge T^{\ast }}-h_{\mathrm{R},n}(t\wedge T^{\ast })|& ⩽{\int }_0^{t\wedge T^{\ast }}|X_{\mathrm{R},s\wedge T^{\ast }}-h_{\mathrm{R},n}(s\wedge T^{\ast })|ds\hfill \\ \hfill & +\frac{{\mathit{\rho }}_n}{{\mathit{\beta }}_n}{\int }_0^{t\wedge T^{\ast }}\left|X_s-1-e^{-2s}\sum _{k=0}^{\infty }k{n}_k\right|ds+|M_{\mathrm{R},t\wedge T^{\ast }}|.\hfill \end{array}$$

Then Gronwall’s inequality yields

$$\begin{array}{cc}\hfill \underset{t⩽{\tilde{\mathit{\alpha }}}_n{t}_0\wedge T^{\ast }}{sup}|X_{\mathrm{R},t}-h_{\mathrm{R},n}(t)|⩽& e^{{\tilde{\mathit{\alpha }}}_n{t}_0}{\tilde{\mathit{\alpha }}}_n{t}_0\frac{{\mathit{\rho }}_n}{{\mathit{\beta }}_n}\left(\underset{t⩽{\tilde{\mathit{\alpha }}}_n{t}_0\wedge T^{\ast }}{sup}|X_t-e^{-2t}\sum _{k=0}^{\infty }k{n}_k|+1\right)\hfill \\ \hfill & +e^{{\tilde{\mathit{\alpha }}}_n{t}_0}\underset{t⩽{\tilde{\mathit{\alpha }}}_n{t}_0\wedge T^{\ast }}{sup}|M_{\mathrm{R},t}|.\hfill \end{array}$$ 3.31

Since ${\mathit{\rho }}_n/{\mathit{\beta }}_n$ is bounded and ${\tilde{\mathit{\alpha }}}_n\to 0$, the first term on the right-hand side is $o_{\mathrm{p}}(n{\tilde{\mathit{\alpha }}}_n^2)$, by (3.23). It remains to show that the same is true of the martingale term.

Note that $X_{R,t}$ jumps by $-1$ when a free recovered half-edge is paired with a free infective half-edge, and it jumps by $+k$ when an infective vertex with k free half-edges recovers. Also, each recovered half-edge or vertex was either initially infective or was initially susceptible and then became infected prior to recovery. Hence

$$\begin{array}{cc}\hfill \mathbb{E}{[M_{\mathrm{R}}]}_{{\tilde{\mathit{\alpha }}}_n{t}_0\wedge T^{\ast }}& =\mathbb{E}\left[\sum _{s⩽{\tilde{\mathit{\alpha }}}_n{t}_0\wedge T^{\ast }}{(\mathrm{\Delta }{M}_{\mathrm{R},s})}^2\right]\hfill \\ \hfill & ⩽\mathbb{E}\sum _{k=0}^{\infty }k(n_{\mathrm{I},k}+n_{\mathrm{S},k}-S_{{\tilde{\mathit{\alpha }}}_n{t}_0\wedge T^{\ast }}(k))\hfill \\ \hfill & +\mathbb{E}\sum _{k=0}^{\infty }{k}^2(n_{\mathrm{I},k}+n_{\mathrm{S},k}-S_{{\tilde{\mathit{\alpha }}}_n{t}_0\wedge T^{\ast }}(k))\hfill \\ \hfill & ⩽2\sum _{k=0}^{\infty }{k}^2{n}_{\mathrm{I},k}+2\mathbb{E}\sum _{k=0}^{\infty }{k}^2(n_{\mathrm{S},k}-S_{{\tilde{\mathit{\alpha }}}_n{t}_0\wedge T^{\ast }}(k))\hfill \\ \hfill & =2\sum _{k=0}^{\infty }{k}^2{n}_{\mathrm{I},k}+2\mathbb{E}\sum _{k=0}^{\infty }{k}^2(n_{\mathrm{S},k}(1-e^{-k({\tilde{\mathit{\alpha }}}_n{t}_0\wedge T^{\ast })})\hfill \\ \hfill & +n_{\mathrm{S},k}{e}^{-k({\tilde{\mathit{\alpha }}}_n{t}_0\wedge T^{\ast })}-S_{{\tilde{\mathit{\alpha }}}_n{t}_0\wedge T^{\ast }}(k))\hfill \\ \hfill & ⩽2\sum _{k=0}^{\infty }{k}^2{n}_{\mathrm{I},k}+2{\tilde{\mathit{\alpha }}}_n{t}_0\sum _{k=0}^{\infty }{k}^3{n}_{\mathrm{S},k}\hfill \\ \hfill & +2\mathbb{E}\sum _{k=0}^{\infty }{k}^2(n_{\mathrm{S},k}{e}^{-k({\tilde{\mathit{\alpha }}}_n{t}_0\wedge T^{\ast })}-S_{{\tilde{\mathit{\alpha }}}_n{t}_0\wedge T^{\ast }}(k))\hfill \\ \hfill & =o(n^2{\tilde{\mathit{\alpha }}}_n^4)+O(n{\tilde{\mathit{\alpha }}}_n)+o(n{\tilde{\mathit{\alpha }}}_n)=o(n^2{\tilde{\mathit{\alpha }}}_n^4)\hfill \end{array}$$

by (3.8), (2.10), Lemma 3.2 and $n{\tilde{\mathit{\alpha }}}_n^3⩾n{\mathit{\alpha }}_n^3\to \infty$, see (D4). Then, by the Burkholder–Davis–Gundy inequalities, ${sup}_{t⩽{\tilde{\mathit{\alpha }}}_n{t}_0\wedge T^{\ast }}|M_{\mathrm{R},t}|=o_{\mathrm{p}}(n{\tilde{\mathit{\alpha }}}_n^2)$, and (3.11) follows by (3.31).

Finally, (3.12) follows from (3.10), (3.11), (3.23), and the fact that $X_{\mathrm{I},t}=X_t-X_{\mathrm{S},t}-X_{\mathrm{R},t}$. $\square$

Duration of the time-changed epidemic

We stated Theorem 3.1 using a rather arbitrary ${\tilde{\mathit{\alpha }}}_n$, but from now on we fix it as follows. We distinguish between the cases $\mathit{\nu }<\infty$ and $\mathit{\nu }=\infty$, and introduce some further notation:

If $0⩽\mathit{\nu }<\infty$, define

$$\begin{array}{cc}\hfill {\tilde{\mathit{\alpha }}}_n& :={\mathit{\alpha }}_n,\hfill \end{array}$$ 3.32

$$\begin{array}{cc}\hfill f(t)& :=\mathit{\nu }+t-\frac{{\mathit{\lambda }}_3}{2}{t}^2,\hfill \end{array}$$ 3.33

$$\begin{array}{cc}\hfill \varkappa & :=(1+\sqrt{1+2\mathit{\nu }{\mathit{\lambda }}_3})/{\mathit{\lambda }}_3.\hfill \end{array}$$ 3.34

If $\mathit{\nu }=\infty$, define instead

$$\begin{array}{cc}\hfill {\tilde{\mathit{\alpha }}}_n& :={\left(\sum _{k=0}^{\infty }k{n}_{\mathrm{I},k}/n\right)}^{1/2},\hfill \end{array}$$ 3.35

$$\begin{array}{cc}\hfill f(t)& :=1-\frac{{\mathit{\lambda }}_3}{2}{t}^2,\hfill \end{array}$$ 3.36

$$\begin{array}{cc}\hfill \varkappa & :=\sqrt{2/{\mathit{\lambda }}_3}.\hfill \end{array}$$ 3.37

Note that in both cases, $\varkappa$ is the unique positive root of f, and that $f(t)>0$ on $(0,\varkappa )$ and $f(t)<0$ on $(\varkappa ,\infty )$; we have $f(0)=0$ if $\mathit{\nu }=0$ but $f(0)>0$ if $\mathit{\nu }>0$. Note further that in the case $\mathit{\nu }=\infty$, ${\tilde{\mathit{\alpha }}}_n/{\mathit{\alpha }}_n\to \infty$ by (2.8); in particular, ${\tilde{\mathit{\alpha }}}_n⩾{\mathit{\alpha }}_n$ except possibly for some small n that we will ignore. Moreover, ${\tilde{\mathit{\alpha }}}_n\to 0$ by (D4) ($\mathit{\nu }<\infty$) or (D5) ($\mathit{\nu }=\infty$).

Next, if $\mathit{\nu }<\infty$, then, by (2.8),

$$\begin{array}{c}\hfill \sum _{k=0}^{\infty }k{n}_{\mathrm{I},k}=O(n_{\mathrm{S}}{\mathit{\alpha }}_n^2)=O(n{\tilde{\mathit{\alpha }}}_n^2),\end{array}$$ 3.38

and if $\mathit{\nu }=\infty$, then by (3.35),

$$\begin{array}{c}\hfill \sum _{k=0}^{\infty }k{n}_{\mathrm{I},k}=n{\tilde{\mathit{\alpha }}}_n^2.\end{array}$$ 3.39

Hence, in both cases,

$$\begin{array}{c}\hfill \sum _{k=0}^{\infty }k{n}_{\mathrm{I},k}=O(n{\tilde{\mathit{\alpha }}}_n^2).\end{array}$$ 3.40

Furthermore, if $\mathit{\nu }=0$ then (2.8) yields ${\sum }_{k}k{n}_{\mathrm{I},k}=o(n{\mathit{\alpha }}_n^2)$ and thus

$$\begin{array}{c}\hfill \sum _{k=0}^{\infty }{k}^2{n}_{\mathrm{I},k}⩽{\left(\sum _{k=0}^{\infty }k{n}_{\mathrm{I},k}\right)}^2=o(n^2{\tilde{\mathit{\alpha }}}_n^4),\end{array}$$ 3.41

and if $0<\mathit{\nu }⩽\infty$ then (2.9) and (3.40) imply

$$\begin{array}{c}\hfill \sum _{k=0}^{\infty }{k}^2{n}_{\mathrm{I},k}⩽d_{\mathrm{I},\ast }\sum _{k=0}^{\infty }k{n}_{\mathrm{I},k}=o{\left(\sum _{k=0}^{\infty }k{n}_{\mathrm{I},k}\right)}^2=o(n^2{\tilde{\mathit{\alpha }}}_n^4).\end{array}$$ 3.42

Hence, (3.8) holds in all cases.

We have verified that our choice of ${\tilde{\mathit{\alpha }}}_n$ satisfies the conditions of Theorem 3.1, so Theorem 3.1 applies. We use this to show a more explicit limit result for $X_{\mathrm{I},t}$.

Lemma 3.4

For any fixed $t_0$,

$$\begin{array}{c}\hfill \underset{t⩽t_0\wedge (T^{\ast }/{\tilde{\mathit{\alpha }}}_n)}{sup}\left|\frac{X_{\mathrm{I},{\tilde{\mathit{\alpha }}}_{n}t}}{n{\tilde{\mathit{\alpha }}}_n^2}-f(t)\right|\stackrel{\mathrm{p}}{⟶}0.\end{array}$$ 3.43

Proof

The idea is to combine Theorem 3.1 with a Taylor expansion of $h_{\mathrm{I},n}(t)$ around zero.

The first three derivatives of $h_{\mathrm{I},n}(t)$ are

$$\begin{array}{cc}\hfill h_{\mathrm{I},n}^{\prime }(t)& =-2e^{-2t}\sum _{k=0}^{\infty }k{n}_k+\sum _{k=0}^{\infty }{k}^2{n}_{\mathrm{S},k}{e}^{-kt}+\frac{{\mathit{\rho }}_n}{{\mathit{\beta }}_n}{e}^{-t}(1-2e^{-t})\sum _{k=0}^{\infty }k{n}_k,\hfill \end{array}$$ 3.44

$$\begin{array}{cc}\hfill h_{\mathrm{I},n}^{\prime \prime }(t)& =4e^{-2t}\sum _{k=0}^{\infty }k{n}_k-\sum _{k=0}^{\infty }{k}^3{n}_{\mathrm{S},k}{e}^{-kt}-\frac{{\mathit{\rho }}_n}{{\mathit{\beta }}_n}{e}^{-t}(1-4e^{-t})\sum _{k=0}^{\infty }k{n}_k,\hfill \end{array}$$ 3.45

$$\begin{array}{cc}\hfill h_{\mathrm{I},n}^{\prime \prime \prime }(t)& =-8e^{-2t}\sum _{k=0}^{\infty }k{n}_k+\sum _{k=0}^{\infty }{k}^4{n}_{\mathrm{S},k}{e}^{-kt}+\frac{{\mathit{\rho }}_n}{{\mathit{\beta }}_n}{e}^{-t}(1-8e^{-t})\sum _{k=0}^{\infty }k{n}_k.\hfill \end{array}$$ 3.46

Hence, using (2.2), (3.3), (3.40) and ${\tilde{\mathit{\alpha }}}_n\to 0$,

$$\begin{array}{c}\hfill h_{\mathrm{I},n}^{\prime }(0)=-2\sum _{k=0}^{\infty }k{n}_k+\sum _{k=0}^{\infty }{k}^2{n}_{\mathrm{S},k}-\frac{{\mathit{\rho }}_n}{{\mathit{\beta }}_n}\sum _{k=0}^{\infty }k{n}_k=n_{\mathrm{S}}{\mathit{\alpha }}_n-\sum _{k=0}^{\infty }k{n}_{\mathrm{I},k}=n{\mathit{\alpha }}_n+o(n{\tilde{\mathit{\alpha }}}_n),\end{array}$$ 3.47

and similarly, using also (2.15),

$$\begin{array}{cc}\hfill h_{\mathrm{I},n}^{\prime \prime }(0)& =4\sum _{k=0}^{\infty }k{n}_k-\sum _{k=0}^{\infty }{k}^3{n}_{\mathrm{S},k}+3\frac{{\mathit{\rho }}_n}{{\mathit{\beta }}_n}\sum _{k=0}^{\infty }k{n}_k\hfill \\ \hfill & =3(1+{\mathit{\rho }}_n/{\mathit{\beta }}_n)\sum _{k=0}^{\infty }k{n}_k+\sum _{k=0}^{\infty }k{n}_{\mathrm{S},k}-\sum _{k=0}^{\infty }{k}^3{n}_{\mathrm{S},k}+\sum _{k=0}^{\infty }k{n}_{\mathrm{I},k}\hfill \\ \hfill & =3(1+{\mathit{\rho }}_n/{\mathit{\beta }}_n)\sum _{k=0}^{\infty }k{n}_k-\sum _{k=0}^{\infty }k(k-1)(k-2+3)n_{\mathrm{S},k}+\sum _{k=0}^{\infty }k{n}_{\mathrm{I},k}\hfill \\ \hfill & =-3n_{\mathrm{S}}{\mathit{\alpha }}_n-\sum _{k=0}^{\infty }k(k-1)(k-2)n_{\mathrm{S},k}+O(n{\tilde{\mathit{\alpha }}}_n^2)=-n{\mathit{\lambda }}_3+o(n).\hfill \end{array}$$ 3.48

Also, for $t⩾0$,

$$\begin{array}{cc}\hfill |h_{\mathrm{I},n}^{\prime \prime \prime }(t)|& ⩽(8+7{\mathit{\rho }}_n/{\mathit{\beta }}_n)\sum _{k=0}^{\infty }k{n}_k+\sum _{k=0}^{\infty }{k}^4{n}_{\mathrm{S},k}{e}^{-kt}=O(n)+\sum _{k=0}^{\infty }{k}^4{n}_{\mathrm{S},k}{e}^{-kt}.\hfill \end{array}$$

Hence, for any $M⩾1$,

$$\begin{array}{cc}\hfill {\int }_0^{{\tilde{\mathit{\alpha }}}_n{t}_0}|h_{\mathrm{I},n}^{\prime \prime \prime }(t)|\mathrm{d}t& ⩽O(n{\tilde{\mathit{\alpha }}}_n)+{\tilde{\mathit{\alpha }}}_n{t}_0\sum _{k⩽M}{M}^4{n}_{\mathrm{S},k}+\sum _{k>M}{k}^3{n}_{\mathrm{S},k}(1-e^{-k{\tilde{\mathit{\alpha }}}_n{t}_0})\hfill \\ \hfill & ⩽O(M^{4}n{\tilde{\mathit{\alpha }}}_n)+\sum _{k>M}{k}^3{n}_{\mathrm{S},k}=o(n)+\sum _{k>M}{k}^3{n}_{\mathrm{S},k}.\hfill \end{array}$$

Letting $M\to \infty$ slowly (so that $M^4{\tilde{\mathit{\alpha }}}_n=o(1)$), and using (D2), we obtain

$$\begin{array}{c}\hfill \underset{n\to \infty }{lim}\frac{1}{n}{\int }_0^{{\tilde{\mathit{\alpha }}}_n{t}_0}|h_{\mathrm{I},n}^{\prime \prime \prime }(t)|\mathrm{d}t=0.\end{array}$$ 3.49

Now, by a Taylor expansion, for $t⩾0$,

$$\begin{array}{c}\hfill h_{\mathrm{I},n}({\tilde{\mathit{\alpha }}}_{n}t)=h_{\mathrm{I},n}(0)+h_{\mathrm{I},n}^{\prime }(0){\tilde{\mathit{\alpha }}}_{n}t+\frac{1}{2}{h}_{\mathrm{I},n}^{\prime \prime }(0){({\tilde{\mathit{\alpha }}}_{n}t)}^2+\frac{1}{2}{\int }_0^{{\tilde{\mathit{\alpha }}}_{n}t}{({\tilde{\mathit{\alpha }}}_{n}t-u)}^2{h}_{\mathrm{I},n}^{\prime \prime \prime }(u)\mathrm{d}u,\end{array}$$ 3.50

and hence, using $h_{\mathrm{I},n}(0)={\sum }_{k}k{n}_{\mathrm{I},k}$, (3.47), (3.48) and (3.49), uniformly in $t⩽t_0$,

$$\begin{array}{c}\hfill h_{\mathrm{I},n}({\tilde{\mathit{\alpha }}}_{n}t)=\sum _{k=0}^{\infty }k{n}_{\mathrm{I},k}+n{\mathit{\alpha }}_n{\tilde{\mathit{\alpha }}}_{n}t-\frac{1}{2}{\tilde{\mathit{\alpha }}}_n^2{t}^{2}n{\mathit{\lambda }}_3+o(n{\tilde{\mathit{\alpha }}}_n^2).\end{array}$$ 3.51

If $\mathit{\nu }<\infty$, then ${\tilde{\mathit{\alpha }}}_n={\mathit{\alpha }}_n$, and (3.51) yields by (2.8) and (3.3)

$$\begin{array}{c}\hfill \begin{array}{c}\hfill \frac{h_{\mathrm{I},n}({\tilde{\mathit{\alpha }}}_{n}t)}{n{\tilde{\mathit{\alpha }}}_n^2}=\mathit{\nu }+t-\frac{1}{2}{t}^2{\mathit{\lambda }}_3+o(1)=f(t)+o(1).\end{array}\end{array}$$ 3.52

If $\mathit{\nu }=\infty$, then (3.51) yields similarly by (3.35) and ${\mathit{\alpha }}_n=o({\tilde{\mathit{\alpha }}}_n)$,

$$\begin{array}{c}\hfill \begin{array}{c}\hfill \frac{h_{\mathrm{I},n}({\tilde{\mathit{\alpha }}}_{n}t)}{n{\tilde{\mathit{\alpha }}}_n^2}=1-\frac{1}{2}{t}^2{\mathit{\lambda }}_3+o(1)=f(t)+o(1).\end{array}\end{array}$$ 3.53

Consequently, in both cases $h_{\mathrm{I},n}({\tilde{\mathit{\alpha }}}_{n}t)/n{\tilde{\mathit{\alpha }}}_n^2=f(t)+o(1),$ uniformly for $0⩽t⩽t_0$, and the result follows by combining this and (3.12) from Theorem 3.1. $\square$

We can now find (asymptotically) the duration $T^{\ast }$, except that when $\mathit{\nu }=0$, we cannot yet say whether the epidemic is very small or rather large.

Lemma 3.5

• (i)If $0<\mathit{\nu }⩽\infty$, then $T^{\ast }/{\tilde{\mathit{\alpha }}}_n\stackrel{\mathrm{p}}{⟶}\varkappa$.
• (ii)
  If $\mathit{\nu }=0$, then for every $\mathit{\epsilon }>0$, w.h.p., either

  1. $0⩽T^{\ast }/{\mathit{\alpha }}_n<\mathit{\epsilon }$, or
  2. $|T^{\ast }/{\mathit{\alpha }}_n-\varkappa |<\mathit{\epsilon }$.

In particular, in both cases, w.h.p. $T^{\ast }⩽2\varkappa {\tilde{\mathit{\alpha }}}_n$.

Proof

Take $t_0=2\varkappa$. Then $f(t_0)<0$, so (3.43) implies that $\mathbb{P}(T^{\ast }/{\tilde{\mathit{\alpha }}}_n⩾t_0)\to 0$, i.e., $T^{\ast }<t_0{\tilde{\mathit{\alpha }}}_n$ w.h.p. Consequently, we may w.h.p. take $t=T^{\ast }/{\tilde{\mathit{\alpha }}}_n$ in (3.43) and conclude $|X_{\mathrm{I},T^{\ast }}/n{\tilde{\mathit{\alpha }}}_n^2-f(T^{\ast }/{\tilde{\mathit{\alpha }}}_n)|\stackrel{\mathrm{p}}{⟶}0$. Since $X_{\mathrm{I},T^{\ast }}=0$ by definition, this says $f(T^{\ast }/{\tilde{\mathit{\alpha }}}_n)\stackrel{\mathrm{p}}{⟶}0$.

Consider f(t) for $t\in [0,\infty )$. If $\mathit{\nu }>0$, then f(t) has a unique zero at $\varkappa$, and is bounded away from 0 outside every neighbourhood of $\varkappa$; hence $T^{\ast }/{\tilde{\mathit{\alpha }}}_n\stackrel{\mathrm{p}}{⟶}\varkappa$ follows. If $\mathit{\nu }=0$, $f(t)=0$ both for $t=0$ and $t=\varkappa$, and (ii) follows. $\square$

Remark 3.6

Lemma 3.5 shows that taking $t_0:=2\varkappa$ in Theorem 3.1, we have w.h.p. ${\tilde{\mathit{\alpha }}}_n{t}_0\wedge T^{\ast }=T^{\ast }$, and thus, for ${\tilde{\mathit{\alpha }}}_n$ as above, Theorem 3.1 holds also with the suprema taken over all $t⩽T^{\ast }$.

Final size

Proof of Theorem 2.4

Recall that ${\mathcal{Z}}_k:=n_{\mathrm{S},k}-S_{T^{\ast }}(k)$ is the number of susceptibles of degree k that ever become infected, and $\mathcal{Z}={\sum }_k{\mathcal{Z}}_k$. For each $k\in {\mathbb{Z}}^{+}$,

$$\begin{array}{cc}\hfill \left|\frac{{\mathcal{Z}}_k}{n{\tilde{\mathit{\alpha }}}_n}-k{p}_k\frac{T^{\ast }}{{\tilde{\mathit{\alpha }}}_n}\right|& ⩽\left|\frac{n_{\mathrm{S},k}(1-e^{-k{T}^{\ast }})}{n{\tilde{\mathit{\alpha }}}_n}-k{p}_k\frac{T^{\ast }}{{\tilde{\mathit{\alpha }}}_n}\right|+\left|\frac{S_{T^{\ast }}(k)-n_{\mathrm{S},k}{e}^{-k{T}^{\ast }}}{n{\tilde{\mathit{\alpha }}}_n}\right|.\hfill \end{array}$$ 3.54

Since $|1-e^{-y}-y|⩽y^2$ for all $y⩾0$, and using (D1), (D2) and (3.3),

$$\begin{array}{cc}\hfill \sum _{k=0}^{\infty }\left|\frac{(1-e^{-k{\tilde{\mathit{\alpha }}}_{n}t})n_{\mathrm{S},k}}{n{\tilde{\mathit{\alpha }}}_n}-k{p}_{k}t\right|& ⩽t\sum _{k=0}^{\infty }k|p_k-n_{\mathrm{S},k}/n|+{\tilde{\mathit{\alpha }}}_n{t}^2\sum _{k=0}^{\infty }\frac{n_{\mathrm{S},k}{k}^2}{n}\to 0,\hfill \end{array}$$

uniformly in $t⩽t_0:=2\varkappa$. Since $T^{\ast }/{\tilde{\mathit{\alpha }}}_n⩽t_0$ w.h.p. by Lemma 3.5, it follows that

$$\begin{array}{c}\hfill \sum _{k=0}^{\infty }\left|\frac{n_{\mathrm{S},k}(1-e^{-k{T}^{\ast }})}{n{\tilde{\mathit{\alpha }}}_n}-k{p}_k\frac{T^{\ast }}{{\tilde{\mathit{\alpha }}}_n}\right|=o_{\mathrm{p}}(1).\end{array}$$

Further, by (3.9) in Theorem 3.1 and Lemma 3.5, see Remark 3.6,

$$\begin{array}{c}\hfill \sum _{k=0}^{\infty }\left|\frac{S_{T^{\ast }}(k)-n_{\mathrm{S},k}{e}^{-k{T}^{\ast }}}{n{\tilde{\mathit{\alpha }}}_n}\right|=o_{\mathrm{p}}({\tilde{\mathit{\alpha }}}_n)=o_{\mathrm{p}}(1).\end{array}$$

It follows by (3.54) that

$$\begin{array}{c}\hfill \sum _{k=0}^{\infty }\left|\frac{{\mathcal{Z}}_k}{n{\tilde{\mathit{\alpha }}}_n}-k{p}_k\frac{T^{\ast }}{{\tilde{\mathit{\alpha }}}_n}\right|=o_{\mathrm{p}}(1)\end{array}$$ 3.55

and, in particular,

$$\begin{array}{c}\hfill \left|\frac{\mathcal{Z}}{n{\tilde{\mathit{\alpha }}}_n}-\mathit{\lambda }\frac{T^{\ast }}{{\tilde{\mathit{\alpha }}}_n}\right|=\left|\sum _{k=0}^{\infty }\left(\frac{{\mathcal{Z}}_k}{n{\tilde{\mathit{\alpha }}}_n}-k{p}_k\frac{T^{\ast }}{{\tilde{\mathit{\alpha }}}_n}\right)\right|=o_{\mathrm{p}}(1).\end{array}$$ 3.56

The estimate (3.56) and Lemma 3.5 yield the conclusions (i)–(iii) by (3.3) and the definitions of ${\tilde{\mathit{\alpha }}}_n$ and $\varkappa$ in (3.32)–(3.37). For (i), when $\mathit{\nu }=0$, we first obtain that if ${\mathit{\epsilon }}_n=\mathit{\epsilon }>0$ is fixed but arbitrary, then the conclusion holds w.h.p., and it is easy to see that this implies the same for some sequence ${\mathit{\epsilon }}_n\to 0$. (Note also that if $\mathit{\nu }=0$, then $\varkappa =2/{\mathit{\lambda }}_3$.)

Furthermore, combining (3.55) and (3.56), we obtain

$$\begin{array}{c}\hfill \sum _{k=0}^{\infty }\left|\frac{{\mathcal{Z}}_k}{n{\tilde{\mathit{\alpha }}}_n}-\frac{k{p}_k}{\mathit{\lambda }}\frac{\mathcal{Z}}{n{\tilde{\mathit{\alpha }}}_n}\right|=o_{\mathrm{p}}(1).\end{array}$$ 3.57

We have shown that, except in the case (i)(a), there exists $\mathit{\epsilon }>0$ such that w.h.p. $\mathcal{Z}/n{\tilde{\mathit{\alpha }}}_n⩾\mathit{\epsilon }$; then (2.17) follows from (3.57). $\square$

Proof of Theorem 2.5

We continue to use the simplifying assumptions in Sect. 3.1. We consider the epidemic in the original time scale and construct it from independent exponential random variables. At time $t=0$, we allocate each of the $n_{\mathrm{I}}$ initially infective vertices an $\text{Exp}({\mathit{\rho }}_n)$ recovery time. We also give each free infective half-edge at time 0 an $\text{Exp}({\mathit{\beta }}_n)$ pairing time. If the pairing time for a free infective half-edge is less than the recovery time of its parent vertex, then we colour that free half-edge red. Otherwise, we colour it black. We now wait until the first recovery or pairing time. At a recovery time, we change the status of the corresponding vertex to recovered. At a pairing time of a red free half-edge, we choose another free half-edge uniformly at random. If the chosen free half-edge belongs to a susceptible vertex then that vertex becomes infective, is given an $\text{Exp}({\mathit{\rho }}_n)$ recovery time, and its remaining free half-edges are given independent $\text{Exp}({\mathit{\beta }}_n)$ pairing times. Then, as above, we colour red any free half-edge with pairing time less than recovery time, and colour black all other free half-edges at the chosen vertex. The process continues in this fashion until no red free half-edges remain. Note that we do nothing at the pairing time of a black free half-edge, since it is no longer infective, and so black free half-edges behave like recovered free half-edges. Also, a red free half-edge will definitely initiate a pairing event at some point (provided it has not been chosen by another red free half-edge first). However, ignoring the colourings we obtain the same process as before.

Let $Z_t$ be the number of red free half-edges at time $t⩾0$. Note that $Z_t$ changes only at pairing events, but not at recovery times. (The point of the colouring is to anticipate the recoveries, which then can be ignored.) Further, let ${\overline{Z}}_m:=Z_{T_m}$, where $T_m$ is the time of the m:th pairing event (and $T_0:=0$), and let ${\mathit{\zeta }}_m:=\mathrm{\Delta }{\overline{Z}}_m:={\overline{Z}}_m-{\overline{Z}}_{m-1}$. (Note that our processes are all right continuous, so ${\overline{Z}}_m$ is the number of red free half-edges immediately after the m-th pairing has occurred and we have coloured any new infective free half-edges.) Thus the process stops at $T_{m_{\ast }}$, where $m_{\ast }:=min\{m⩾0:{\overline{Z}}_m=0\}$. (This is not exactly the same stopping condition as used earlier, but the difference does not matter; there may still be some infective half-edges, but they are black and will recover before infecting any more vertex.) Let ${\mathcal{F}}_m=\mathcal{F}(T_m)$ be the corresponding discrete-time filtration generated by the coloured SIR process up to time $T_m$.

We keep the same notation as before for the free half-edge counts (so the total number of free infective half-edges, whether red or black, is $X_{\mathrm{I},t}⩾Z_t$, for example), and write again $S_t(k)$ for the number of susceptible vertices with k free half-edges at time $t⩾0$. Furthermore, define

$$\begin{array}{c}\hfill {\mathit{\pi }}_n:=\frac{{\mathit{\beta }}_n}{{\mathit{\beta }}_n+{\mathit{\rho }}_n},\end{array}$$ 4.1

the probability that a given free infective half-edge is coloured red. Note that $c⩽{\mathit{\pi }}_n⩽1$ for some $c>0$ by (2.20).

We begin by showing that a substantial fraction of the initially infective half-edges are red. Recall that $X_{\mathrm{I},0}={\sum }_{k=0}^{\infty }k{n}_{\mathrm{I},k}$ is the total degree of the initially infective vertices and that $d_{\mathrm{I},\ast }$ is the maximum degree among these vertices.

Lemma 4.1

Suppose that $X_{\mathrm{I},0}\to \infty$.

• (i)If $d_{\mathrm{I},\ast }=o(X_{\mathrm{I},0})$, then $Z_0={\mathit{\pi }}_n{X}_{\mathrm{I},0}(1+o_{\mathrm{p}}(1))$.
• (ii)
  More generally, for any $d_{\mathrm{I},\ast }$, we have

  $$\begin{array}{c}\hfill \underset{\mathit{\delta }\to 0}{lim}\underset{n\to \infty }{lim\; sup}\mathbb{P}(Z_0⩽\mathit{\delta }{X}_{\mathrm{I},0})=0.\end{array}$$ 4.2

Proof

We enumerate all initially infective vertices as $i=1,\dots ,n_{\mathrm{I}}$, and let $d_{\mathrm{I},i}$ be the degree of vertex i, so that $X_{\mathrm{I},0}={\sum }_{i=1}^{n_{\mathrm{I}}}{d}_{\mathrm{I},i}$. We also let $Z_{0,i}$ be the number of red free half-edges at vertex i, so $Z_0={\sum }_{i=1}^{n_{\mathrm{I}}}{Z}_{0,i}$, where the $Z_{0,i}$ are independent, with $\mathbb{E}{Z}_{0,i}=d_{\mathrm{I},i}{\mathit{\pi }}_n$ and $Z_{0,i}⩽d_{\mathrm{I},i}$. It follows that $\mathbb{E}{Z}_0={\sum }_{i=1}^{n_{\mathrm{I}}}\mathbb{E}{Z}_{0,i}={\mathit{\pi }}_n{X}_{\mathrm{I},0}$ and

$$\begin{array}{c}\hfill \text{Var}{Z}_0=\sum _{i=1}^{n_{\mathrm{I}}}\text{Var}{Z}_{0,i}⩽\sum _{i=1}^{n_{\mathrm{I}}}{d}_{\mathrm{I},i}^2⩽d_{\mathrm{I},\ast }{X}_{\mathrm{I},0}.\end{array}$$ 4.3

(i) If $d_{\mathrm{I},\ast }=o(X_{\mathrm{I},0})$, then (4.3) yields $\text{Var}{Z}_0=o(X_{\mathrm{I},0}^2)=o({(\mathbb{E}{Z}_0)}^2)$, and thus Chebyshev’s inequality yields $Z_0=\mathbb{E}{Z}_0(1+o_{\mathrm{p}}(1))$.

(ii) Take any $\mathit{\delta }>0$ with $\mathit{\delta }<\frac{1}{2}{min}_n{\mathit{\pi }}_n$.

We assume first that $d_{\mathrm{I},\ast }⩽{\mathit{\delta }}^{1/2}{X}_{\mathrm{I},0}$. Then (4.3) and Chebyshev’s inequality yield

$$\begin{array}{c}\hfill \mathbb{P}(Z_0⩽\mathit{\delta }{X}_{\mathrm{I},0})⩽\frac{\text{Var}{Z}_0}{{(\mathbb{E}{Z}_0-\mathit{\delta }{X}_{\mathrm{I},0})}^2}⩽\frac{d_{\mathrm{I},\ast }{X}_{\mathrm{I},0}}{{(\frac{1}{2}{\mathit{\pi }}_n{X}_{\mathrm{I},0})}^2}⩽4{\mathit{\pi }}_n^{-2}{\mathit{\delta }}^{1/2}=4{\left(\frac{{\mathit{\rho }}_n+{\mathit{\beta }}_n}{{\mathit{\beta }}_n}\right)}^2{\mathit{\delta }}^{1/2}.\end{array}$$ 4.4

Assume now instead that $d_{\mathrm{I},\ast }⩾{\mathit{\delta }}^{1/2}{X}_{\mathrm{I},0}$. Fix one initially infective vertex of degree $d_{\mathrm{I},\ast }$, let $Z_{0,\ast }$ be the number of red free half-edges at that vertex, and let $R_{\star }$ be its recovery time. Then $Z_0⩾Z_{0,\ast }$, and so $Z_0⩽\mathit{\delta }{X}_{\mathrm{I},0}$ implies that $Z_{0,\ast }⩽{\mathit{\delta }}^{1/2}{d}_{\mathrm{I},\ast }$. We have

$$\begin{array}{cc}\hfill \mathbb{P}(Z_{0,\ast }⩽{\mathit{\delta }}^{1/2}{d}_{\mathrm{I},\ast })& =\mathbb{P}(Z_{0,\ast }⩽{\mathit{\delta }}^{1/2}{d}_{\mathrm{I},\ast },R_{\star }⩽4{\mathit{\delta }}^{1/2}/{\mathit{\beta }}_n)\hfill \\ \hfill & +\mathbb{P}(Z_{0,\ast }⩽{\mathit{\delta }}^{1/2}{d}_{\mathrm{I},\ast },R_{\star }>4{\mathit{\delta }}^{1/2}/{\mathit{\beta }}_n)⩽\mathbb{P}(R_{\star }⩽4{\mathit{\delta }}^{1/2}/{\mathit{\beta }}_n)\hfill \\ \hfill & +\mathbb{P}(Z_{0,\ast }⩽{\mathit{\delta }}^{1/2}{d}_{\mathrm{I},\ast }\mid R_{\star }>4{\mathit{\delta }}^{1/2}/{\mathit{\beta }}_n).\hfill \end{array}$$ 4.5

Now,

$$\begin{array}{c}\hfill \mathbb{P}(R_{\star }⩽4{\mathit{\delta }}^{1/2}/{\mathit{\beta }}_n)=1-e^{-4{\mathit{\delta }}^{1/2}{\mathit{\rho }}_n/{\mathit{\beta }}_n}⩽4{\mathit{\delta }}^{1/2}{\mathit{\rho }}_n/{\mathit{\beta }}_n.\end{array}$$ 4.6

Also, conditional on $R_{\star }=r$, $Z_{0,\ast }$ has a binomial distribution with parameters $d_{\mathrm{I},\ast }$ and $1-e^{-{\mathit{\beta }}_{n}r}$. It follows that, conditional on $R_{\star }>4{\mathit{\delta }}^{1/2}/{\mathit{\beta }}_n$, $Z_{0,\ast }$ stochastically dominates a $\text{Bin}(d_{\mathrm{I},\ast },1-e^{-4{\mathit{\delta }}^{1/2}})$ random variable. For $\mathit{\delta }$ small enough, $1-e^{-4{\mathit{\delta }}^{1/2}}⩾2{\mathit{\delta }}^{1/2}$, and so, by Chebyshev’s inequality,

$$\begin{array}{cc}\hfill \mathbb{P}\left(Z_{0,\ast }⩽{\mathit{\delta }}^{1/2}{d}_{\mathrm{I},\ast }\mid R_{\star }>\frac{4{\mathit{\delta }}^{1/2}}{{\mathit{\beta }}_n}\right)& ⩽\mathbb{P}(\text{Bin}(d_{\mathrm{I},\ast },2{\mathit{\delta }}^{1/2})⩽{\mathit{\delta }}^{1/2}{d}_{\mathrm{I},\ast })\hfill \\ \hfill & ⩽\frac{2{\mathit{\delta }}^{1/2}{d}_{\mathrm{I},\ast }}{\mathit{\delta }{d}_{\mathrm{I},\ast }^2}⩽\frac{2}{\mathit{\delta }{X}_{\mathrm{I},0}}.\hfill \end{array}$$ 4.7

Combining (4.4), (4.5), (4.6) and (4.7), we see that if $\mathit{\delta }$ is small, then in both cases

$$\begin{array}{c}\hfill \mathbb{P}(Z_0⩽\mathit{\delta }{X}_{\mathrm{I},0})⩽4{\left(\frac{{\mathit{\rho }}_n+{\mathit{\beta }}_n}{{\mathit{\beta }}_n}\right)}^2{\mathit{\delta }}^{1/2}+\frac{2}{\mathit{\delta }{X}_{\mathrm{I},0}},\end{array}$$

and (4.2) follows, since $X_{\mathrm{I},0}\to \infty$ and ${\mathit{\rho }}_n/{\mathit{\beta }}_n=O(1)$ by (2.20). $\square$

Lemma 4.2

Let ${(W_m)}_{m=0}^{\infty }$ be a process adapted to a filtration ${({\mathcal{F}}_m)}_{m=0}^{\infty }$, with $W_0=0$, and let $\mathit{\tau }⩽\infty$ be a stopping time. Suppose that the positive numbers $v,w>0$ are such that

$$\begin{array}{cc}\hfill \mathbb{E}[\mathrm{\Delta }{W}_{m+1}\mid {\mathcal{F}}_m]& ⩾v\text{a.s. on}\{m<\mathit{\tau }\},\hfill \end{array}$$ 4.8

$$\begin{array}{cc}\hfill \mathbb{E}[{(\mathrm{\Delta }{W}_{m+1})}^2]& ⩽w\hfill \end{array}$$ 4.9

for every $m⩾0$. Then, for any $b>0$,

$$\begin{array}{c}\hfill \mathbb{P}\left(\underset{0⩽m⩽\mathit{\tau }}{inf}{W}_m⩽-b\right)⩽\frac{8w}{bv}.\end{array}$$ 4.10

Proof

Consider the Doob decomposition

$$\begin{array}{c}\hfill W_m=M_m+A_m,\end{array}$$ 4.11

where $A_m:={\sum }_{l=1}^m\mathbb{E}[\mathrm{\Delta }{W}_l\mid {\mathcal{F}}_{l-1}]$ is predictable and $M_m:=W_m-A_m$ is a martingale with respect to $({\mathcal{F}}_m)$. By the assumption (4.8), $A_m⩾mv$ a.s. when $m⩽\mathit{\tau }$. Furthermore,

$$\begin{array}{cc}\hfill \mathbb{E}[\mathrm{\Delta }{M}_m^2]& =\mathbb{E}[{(\mathrm{\Delta }{W}_m-\mathbb{E}[\mathrm{\Delta }{W}_m\mid {\mathcal{F}}_{m-1}])}^2]=\mathbb{E}[{(\mathrm{\Delta }{W}_m)}^2]\hfill \\ \hfill & -\mathbb{E}{(\mathbb{E}[\mathrm{\Delta }{W}_m\mid {\mathcal{F}}_{m-1}])}^2⩽w.\hfill \end{array}$$

Thus, by Doob’s inequality, for any $N⩾1$,

$$\begin{array}{cc}\hfill \mathbb{P}\left(\underset{N⩽m⩽(2N)\wedge \mathit{\tau }}{inf}{W}_m⩽-b\right)⩽& \mathbb{P}\left(\underset{N⩽m⩽2N}{inf}{M}_m⩽-b-Nv\right)\hfill \\ \hfill ⩽& \frac{\mathbb{E}[M_{2N}^2]}{{(b+Nv)}^2}⩽\frac{2Nw}{{(b+Nv)}^2}.\hfill \end{array}$$ 4.12

Summing over all powers of 2, we obtain

$$\begin{array}{cc}\hfill \mathbb{P}\left(\underset{1⩽m⩽\mathit{\tau }}{inf}{W}_m⩽-b\right)⩽& \sum _{k=0}^{\infty }\mathbb{P}\left(\underset{2^k⩽m⩽2^{k+1}\wedge \mathit{\tau }}{inf}{W}_m⩽-b\right)⩽\sum _{k=0}^{\infty }\frac{2^{k+1}w}{{(b+2^{k}v)}^2}\hfill \\ \hfill ⩽& \sum _{2^k⩽b/v}\frac{2^{k+1}w}{b^2}+\sum _{2^k⩾b/v}\frac{2^{k+1}w}{2^{2k}{v}^2}⩽\frac{4(b/v)w}{b^2}\hfill \\ \hfill & +\frac{4(v/b)w}{v^2}=\frac{8w}{bv}.\hfill \end{array}$$

$\square$

Proof of Theorem 2.5(ii)

Let $\mathit{\delta }>0$ be a small positive number chosen later. Define the discrete stopping time $m_{\ast \ast }$ by

$$\begin{array}{c}\hfill m_{\ast \ast }:=min\left\{m⩾0:{\overline{Z}}_m=0\text{or}\sum _{k=0}^{\infty }{k}^2(n_{\mathrm{S},k}-S_{T_m}(k))>\mathit{\delta }n{\mathit{\alpha }}_n\right\}.\end{array}$$ 4.13

Note that for $m<m_{\ast \ast }$, the total number of free half-edges at time $T_m$ is

$$\begin{array}{c}\hfill \begin{array}{c}\hfill X_{T_m}⩾\sum _{k=0}^{\infty }k{S}_{T_m}(k)⩾\sum _{k=0}^{\infty }k{n}_{\mathrm{S},k}-\mathit{\delta }n{\mathit{\alpha }}_n⩾\sum _{k=0}^{\infty }k{n}_k-\mathit{\delta }n{\mathit{\alpha }}_n-o(n{\mathit{\alpha }}_n),\end{array}\end{array}$$ 4.14

since ${\sum }_{k=0}^{\infty }k{n}_{\mathrm{I},k}=o(n_{\mathrm{S}}{\mathit{\alpha }}_n^2)=o(n{\mathit{\alpha }}_n)$ by (2.6) and (2.8). Similarly, for $m<m_{\ast \ast }$,

$$\begin{array}{c}\hfill {\overline{Z}}_m=Z_{T_m}⩽Z_0+\sum _{k=0}^{\infty }k(n_{\mathrm{S},k}-S_{T_m}(k))⩽Z_0+\mathit{\delta }n{\mathit{\alpha }}_n⩽\mathit{\delta }n{\mathit{\alpha }}_n+o(n{\mathit{\alpha }}_n),\end{array}$$ 4.15

since $Z_0$ is bounded above by ${\sum }_{k=0}^{\infty }k{n}_{\mathrm{I},k}=o(n_{\mathrm{S}}{\mathit{\alpha }}_n^2)=o(n{\mathit{\alpha }}_n)$.

At a pairing $m+1⩽m_{\ast \ast }$, a red free half-edge pairs with a free susceptible half-edge, or with another red free half-edge, or with a black half-edge. In the first case, if the susceptible half-edge belongs to a vertex of degree k, we get on the average ${\mathit{\pi }}_n(k-1)$ new red free half-edges; in the second case we instead lose one red free half-edge, in addition to the pairing red free half-edge that we always lose. The probability of pairing with a susceptible half-edge belonging to a vertex of degree k is $k{S}_{T_m}(k)/X_{T_m}$ and the probability of pairing with another red free half-edge is ${\overline{Z}}_m/X_{T_m}$. Hence, for $m+1⩽m_{\ast \ast }$, using (4.13)–(4.15), (4.1) and the definition (2.1) of ${\mathcal{R}}_0$,

$$\begin{array}{cc}\hfill \mathbb{E}[\mathrm{\Delta }{\overline{Z}}_{m+1}\mid {\mathcal{F}}_m]& ⩾-1+{\mathit{\pi }}_n\frac{{\sum }_{k=0}^{\infty }(k-1)k{S}_{T_m}(k)}{{\sum }_{k=0}^{\infty }k{n}_k}-\frac{{\overline{Z}}_m}{{\sum }_{k=0}^{\infty }k{n}_k-(\mathit{\delta }+o(1))n{\mathit{\alpha }}_n}\hfill \\ \hfill & ⩾-1+{\mathit{\pi }}_n\frac{{\sum }_{k=0}^{\infty }(k-1)k{n}_{\mathrm{S},k}-\mathit{\delta }n{\mathit{\alpha }}_n}{{\sum }_{k=0}^{\infty }k{n}_k}-\frac{(\mathit{\delta }+o(1))n{\mathit{\alpha }}_n}{{\sum }_{k=0}^{\infty }k{n}_k-(\mathit{\delta }+o(1))n{\mathit{\alpha }}_n}\hfill \\ \hfill & ⩾-1+{\mathcal{R}}_0-O(\mathit{\delta }{\mathit{\alpha }}_n).\hfill \end{array}$$

Since $({\mathcal{R}}_0-1){\mathit{\alpha }}_n^{-1}$ is bounded away from 0 by (2.3) and Remark 2.9, this shows that as long as $\mathit{\delta }$ is chosen small enough there exists some $c_1>0$ such that if n is large and $m<m_{\ast \ast }$, then

$$\begin{array}{c}\hfill \mathbb{E}[\mathrm{\Delta }{\overline{Z}}_{m+1}\mid {\mathcal{F}}_m]⩾c_1{\mathit{\alpha }}_n.\end{array}$$ 4.16

Furthermore, noting that the number of red free half-edges may change by at most k at a jump if a red free half-edge pairs with a free susceptible half-edge at a vertex of degree k, the expected square of any jump satisfies, for $m<m_{\ast \ast }$,

$$\begin{array}{c}\hfill \mathbb{E}[{(\mathrm{\Delta }{\overline{Z}}_{m+1})}^2\mid {\mathcal{F}}_m]⩽4+\frac{{\sum }_{k=0}^{\infty }{k}^3{n}_{\mathrm{S},k}}{{\sum }_{k=0}^{\infty }k{n}_k-(\mathit{\delta }+o(1))n{\mathit{\alpha }}_n}⩽c_2,\end{array}$$ 4.17

for some $c_2>0$, uniformly in all large n, by assumption (D2).

Let $W_m={\overline{Z}}_{m\wedge m_{\ast \ast }}-Z_0$. It follows from (4.16) and (4.17) that Lemma 4.2 applies with $\mathit{\tau }=m_{\ast \ast }$, $v=c_1{\mathit{\alpha }}_n$ and $w=c_2$.

Let $a=a_n>0$ satisfy $a_n\to \infty$ and $a_n=o({\mathit{\alpha }}_n{\sum }_{k=0}^{\infty }k{n}_{\mathrm{I},k})$ as $n\to \infty$. Then Lemma 4.2 with $b=a_n/{\mathit{\alpha }}_n$ yields

$$\begin{array}{c}\hfill \mathbb{P}\left(\underset{0⩽m⩽m_{\ast \ast }}{inf}{W}_m⩽-a_n/{\mathit{\alpha }}_n\right)⩽\frac{8c_2}{c_1{a}_n}=o(1)\end{array}$$ 4.18

and thus $W_{m_{\ast \ast }}>-a_n/{\mathit{\alpha }}_n$ w.h.p. On the other hand, Lemma 4.1(ii) implies that $\mathbb{P}(Z_0⩽a_n/{\mathit{\alpha }}_n)\to 0$. Consequently, ${\overline{Z}}_{m_{\ast \ast }}=W_{m_{\ast \ast }}+Z_0>0$ w.h.p. By (4.13), this means that w.h.p. ${\sum }_{k=0}^{\infty }{k}^2(n_{\mathrm{S},k}-S_{T_{m_{\ast \ast }}}(k))>\mathit{\delta }n{\mathit{\alpha }}_n$, and thus that, for some time t before the epidemic dies out, ${\sum }_{k=0}^{\infty }{k}^2(n_{\mathrm{S},k}-S_t(k))>\mathit{\delta }n{\mathit{\alpha }}_n$.

The latter statement does not depend on the time-scale, so it holds for the time-changed epidemic in Sect. 3.2 too. Thus, using the notation there, by the monotonicity of the number of susceptibles, w.h.p.

$$\begin{array}{c}\hfill \sum _{k=0}^{\infty }{k}^2(n_{\mathrm{S},k}-S_{T^{\ast }}(k))>\mathit{\delta }n{\mathit{\alpha }}_n.\end{array}$$ 4.19

On the other hand, Lemma 3.2 (with ${\tilde{\mathit{\alpha }}}_n={\mathit{\alpha }}_n$) and (2.10) yield, for any $\mathit{\epsilon }>0$,

$$\begin{array}{cc}\hfill \underset{0⩽t⩽\mathit{\epsilon }{\mathit{\alpha }}_n\wedge T^{\ast }}{sup}\sum _{k=0}^{\infty }{k}^2(n_{\mathrm{S},k}-S_t(k))⩽& \underset{t⩽\mathit{\epsilon }{\mathit{\alpha }}_n\wedge T^{\ast }}{sup}\left|\sum _{k=0}^{\infty }{k}^2(S_t(k)-n_{\mathrm{S},k}{e}^{-kt})\right|\hfill \\ \hfill & +\mathit{\epsilon }{\mathit{\alpha }}_n\sum _{k=0}^{\infty }{k}^3{n}_{\mathrm{S},k}⩽o_{\mathrm{p}}(n{\mathit{\alpha }}_n)+\mathit{\epsilon }{c}_{0}n{\mathit{\alpha }}_n.\hfill \end{array}$$ 4.20

Consequently, if we first choose $\mathit{\delta }>0$ so small that (4.19) holds, and then $\mathit{\epsilon }<\mathit{\delta }/c_0$, then (4.19) and (4.20) imply that w.h.p. $T^{\ast }>\mathit{\epsilon }{\mathit{\alpha }}_n$. It follows by Lemma 3.5 that $T^{\ast }/{\mathit{\alpha }}_n\stackrel{\mathrm{p}}{⟶}\varkappa =2/{\mathit{\lambda }}_3$, and thus the result follows by (3.56). $\square$

To study the cases (i) and (iii), we analyse the number of red free half-edges more carefully. Let the random variable Y(k) be the number of new red free half-edges when a vertex of degree k is infected. Given the recovery time $\mathit{\tau }$ of the vertex, $Y(k)\sim \text{Bin}(k-1,1-e^{-{\mathit{\beta }}_n\mathit{\tau }})$, and, since $\mathit{\tau }\sim \text{Exp}({\mathit{\rho }}_n)$, the probability $1-e^{-{\mathit{\beta }}_n\mathit{\tau }}$ has the Beta distribution $B(1,{\mathit{\rho }}_n/{\mathit{\beta }}_n)$. Consequently, Y(k) has the beta-binomial distribution with parameters $(k-1,1,{\mathit{\rho }}_n/{\mathit{\beta }}_n)$. More generally, if D is a positive integer valued random variable, then Y(D) denotes a random variable that conditioned on $D=k$ has the distribution Y(k). We have the following elementary result, recalling the notation (4.1).

Lemma 4.3

For any positive integer valued random variable D,

$$\begin{array}{cc}\hfill \mathbb{E}Y(D)& ={\mathit{\pi }}_n(\mathbb{E}D-1),\hfill \end{array}$$ 4.21

$$\begin{array}{cc}\hfill \mathbb{E}Y{(D)}^2& =\frac{{\mathit{\pi }}_n^2\mathbb{E}(D-1)(2D-3)+{\mathit{\pi }}_n\mathbb{E}(D-1)}{1+{\mathit{\pi }}_n}.\hfill \end{array}$$ 4.22

Proof

For each $k⩾1$, we obtain by conditioning on the recovery time $\mathit{\tau }$,

$$\begin{array}{cc}\hfill \mathbb{E}Y(k)& =(k-1)\frac{1}{1+{\mathit{\rho }}_n/{\mathit{\beta }}_n}=(k-1){\mathit{\pi }}_n,\hfill \end{array}$$ 4.23

$$\begin{array}{cc}\hfill \mathbb{E}Y{(k)}^2& =\frac{(k-1)(2k-2+{\mathit{\rho }}_n/{\mathit{\beta }}_n)}{(1+{\mathit{\rho }}_n/{\mathit{\beta }}_n)(2+{\mathit{\rho }}_n/{\mathit{\beta }}_n)}=\frac{(k-1)(2k-3){\mathit{\pi }}_n^2+(k-1){\mathit{\pi }}_n}{1+{\mathit{\pi }}_n}\hfill \end{array}$$ 4.24

and (4.21) and (4.22) follows by conditioning on D. $\square$

Let A be a constant, and consider only $m⩽M:=\lfloor A{\mathit{\alpha }}_n^{-2}\rfloor$. At pairing event m for $m⩽M$, the number of free half-edges is at least ${\sum }_{k}k{n}_k-2A{\mathit{\alpha }}_n^{-2}⩾{\sum }_{k}k{n}_k·(1-A_1{n}^{-1}{\mathit{\alpha }}_n^{-2})$ for some constant $A_1$. Thus, the probability that a susceptible vertex with $\ell$ half-edges is infected is at most, for $A_2:=2A_1$ and large n,

$$\begin{array}{c}\hfill \frac{\ell n_{\mathrm{S},\ell }}{{\sum }_{k}k{n}_k·(1-A_1{n}^{-1}{\mathit{\alpha }}_n^{-2})}⩽(1+A_2{n}^{-1}{\mathit{\alpha }}_n^{-2})\frac{\ell n_{\mathrm{S},\ell }}{{\sum }_{k}k{n}_k}.\end{array}$$ 4.25

Let $D^{+}⩾1$ be a random variable with the distribution

$$\begin{array}{c}\hfill \mathbb{P}(D^{+}⩾j):=min\left((1+A_2{n}^{-1}{\mathit{\alpha }}_n^{-2})\frac{{\sum }_{k⩾j}k{n}_{\mathrm{S},k}}{{\sum }_{k}k{n}_k},1\right),j⩾2,\end{array}$$ 4.26

and let ${\mathit{\zeta }}^{+}:=Y(D^{+})-1$. (Note that $D^{+}$ and ${\mathit{\zeta }}^{+}$ depend on n, although we omit this from the notation.) Then ${\mathit{\zeta }}_m:=\mathrm{\Delta }{\overline{Z}}_m$, conditioned on what has happened earlier, is stochastically dominated by ${\mathit{\zeta }}^{+}$. Hence, there exist independent copies ${({\mathit{\zeta }}_m^{+})}_1^{\infty }$ of ${\mathit{\zeta }}^{+}$ such that ${\mathit{\zeta }}_m⩽{\mathit{\zeta }}_m^{+}$ for all $m⩽M$ such that the epidemic has not yet stopped; furthermore, ${({\mathit{\zeta }}_m^{+})}_1^{\infty }$ are also independent of $Z_0$. If the epidemic stops at $m_{\ast }<M$ (because $Z_{m_{\ast }}=0$ so there are no more pairing events), then we for convenience extend the definition of ${\mathit{\zeta }}_m$ and ${\overline{Z}}_m$ to all $m⩽M$ by defining ${\mathit{\zeta }}_m:={\mathit{\zeta }}_m^{+}$ for $m>m_{\ast }$, and still requiring ${\mathit{\zeta }}_m=\mathrm{\Delta }{\overline{Z}}_m$. Consequently, ${\mathit{\zeta }}_m⩽{\mathit{\zeta }}_m^{+}$ for all $m⩽M$ and thus the (possibly extended) sequence ${({\overline{Z}}_m)}_0^M$ is dominated by the random walk ${({\overline{Z}}_m^{+})}_0^M$ with ${\overline{Z}}_m^{+}:=Z_0+{\sum }_{i=1}^m{\mathit{\zeta }}_i^{+}$.

Next, observe that (4.26) implies

$$\begin{array}{c}\hfill \mathbb{E}{D}^{+}-1=\sum _{j=2}^{\infty }\mathbb{P}(D^{+}⩾j)⩾\sum _{j=2}^{\infty }\frac{{\sum }_{k⩾j}k{n}_{\mathrm{S},k}}{{\sum }_{k}k{n}_k}=\frac{{\sum }_k(k-1)k{n}_{\mathrm{S},k}}{{\sum }_{k}k{n}_k}\end{array}$$ 4.27

and also, since $n{\mathit{\alpha }}_n^3\to \infty$,

$$\begin{array}{c}\hfill \sum _{j=2}^{\infty }\mathbb{P}(D^{+}⩾j)⩽\sum _{j=2}^{\infty }(1+A_2{n}^{-1}{\mathit{\alpha }}_n^{-2})\frac{{\sum }_{k⩾j}k{n}_{\mathrm{S},k}}{{\sum }_{k}k{n}_k}=(1+o({\mathit{\alpha }}_n))\frac{{\sum }_k(k-1)k{n}_{\mathrm{S},k}}{{\sum }_{k}k{n}_k}.\end{array}$$ 4.28

It thus follows that

$$\begin{array}{c}\hfill \mathbb{E}{D}^{+}-1=\sum _{j=2}^{\infty }\mathbb{P}(D^{+}⩾j)=(1+o({\mathit{\alpha }}_n))\frac{{\sum }_k(k-1)k{n}_{\mathrm{S},k}}{{\sum }_{k}k{n}_k}.\end{array}$$ 4.29

Hence, using (4.21), (4.1), (2.1) and (2.22),

$$\begin{array}{c}\hfill \begin{array}{cc}\hfill \mathbb{E}{\mathit{\zeta }}^{+}& =\frac{{\mathit{\beta }}_n}{{\mathit{\beta }}_n+{\mathit{\rho }}_n}\mathbb{E}(D^{+}-1)-1=(1+o({\mathit{\alpha }}_n))\frac{{\mathit{\beta }}_n}{{\mathit{\beta }}_n+{\mathit{\rho }}_n}\frac{{\sum }_k(k-1)k{n}_{\mathrm{S},k}}{{\sum }_{k}k{n}_k}-1\hfill \\ \hfill & =(1+o({\mathit{\alpha }}_n)){\mathcal{R}}_0-1={\mathcal{R}}_0-1+o({\mathit{\alpha }}_n)={\mathit{\lambda }}_2^{-1}{\mathit{\alpha }}_n+o({\mathit{\alpha }}_n).\hfill \end{array}\end{array}$$ 4.30

Note also that (4.26), using (2.4), (2.6), (2.7), shows that as $n\to \infty$, $D^{+}\stackrel{\mathrm{d}}{⟶}{\widehat{D}}_{\mathrm{S}}$, where ${\widehat{D}}_{\mathrm{S}}$ has the size-biased distribution $\mathbb{P}({\widehat{D}}_{\mathrm{S}}=k)=k{p}_k/\mathit{\lambda }$. Moreover, it follows easily from (D2) and (4.26) that $D^{+}$ is uniformly square integrable as $n\to \infty$, and thus

$$\begin{array}{c}\hfill \begin{array}{c}\hfill \mathbb{E}{(D^{+})}^2\to \mathbb{E}{({\widehat{D}}_{\mathrm{S}})}^2=\frac{{\sum }_{k=0}^{\infty }{k}^3{p}_k}{{\sum }_{k=0}^{\infty }k{p}_k}=\frac{\mathbb{E}{D}_{\mathrm{S}}^3}{\mathbb{E}{D}_{\mathrm{S}}}\end{array}\end{array}$$ 4.31

and similarly

$$\begin{array}{c}\hfill \begin{array}{c}\hfill \mathbb{E}{D}^{+}\to \mathbb{E}{\widehat{D}}_{\mathrm{S}}=\frac{\mathbb{E}{D}_{\mathrm{S}}^2}{\mathbb{E}{D}_{\mathrm{S}}}.\end{array}\end{array}$$ 4.32

By (4.30) and ${\mathit{\alpha }}_n\to 0$ we have $\mathbb{E}{\mathit{\zeta }}^{+}\to 0$, and thus ${\mathit{\pi }}_n(\mathbb{E}{D}^{+}-1)\to 1$. Hence, by (4.32) (or directly from (2.1)),

$$\begin{array}{c}\hfill {\mathit{\pi }}_n=\frac{{\mathit{\beta }}_n}{{\mathit{\beta }}_n+{\mathit{\rho }}_n}\to \frac{\mathbb{E}{D}_{\mathrm{S}}}{\mathbb{E}{D}_{\mathrm{S}}(D_{\mathrm{S}}-1)}=\frac{\mathit{\lambda }}{{\mathit{\lambda }}_2}.\end{array}$$ 4.33

Since $|{\mathit{\zeta }}^{+}|⩽D^{+}$, it follows that also ${\mathit{\zeta }}^{+}$ is uniformly square integrable as $n\to \infty$. Furthermore, $\mathbb{E}Y(D^{+})=1+\mathbb{E}{\mathit{\zeta }}^{+}=1+o(1)$ and thus, using (4.22) and (4.31)–(4.33),

$$\begin{array}{cc}\hfill \text{Var}{\mathit{\zeta }}^{+}=& \text{Var}(Y(D^{+}))=\mathbb{E}(Y{(D^{+})}^2)-(1+o(1){)}^2\hfill \\ \hfill =& \frac{{\mathit{\pi }}_n^2}{1+{\mathit{\pi }}_n}\mathbb{E}(D^{+}-1)(2D^{+}-3)+\frac{{\mathit{\pi }}_n}{1+{\mathit{\pi }}_n}\mathbb{E}(D^{+}-1)-1+o(1)\hfill \\ \hfill & \to \frac{{\mathit{\lambda }}^2}{{\mathit{\lambda }}_2({\mathit{\lambda }}_2+\mathit{\lambda })}\frac{\mathbb{E}{D}_{\mathrm{S}}(D_{\mathrm{S}}-1)(2D_{\mathrm{S}}-3)}{\mathbb{E}{D}_{\mathrm{S}}}+\frac{\mathit{\lambda }}{{\mathit{\lambda }}_2+\mathit{\lambda }}\frac{\mathbb{E}{D}_{\mathrm{S}}(D_{\mathrm{S}}-1)}{\mathbb{E}{D}_{\mathrm{S}}}-1\hfill \\ \hfill =& \frac{\mathit{\lambda }(2{\mathit{\lambda }}_3+{\mathit{\lambda }}_2)}{{\mathit{\lambda }}_2({\mathit{\lambda }}_2+\mathit{\lambda })}+\frac{{\mathit{\lambda }}_2}{{\mathit{\lambda }}_2+\mathit{\lambda }}-1\hfill \\ \hfill =& \frac{2\mathit{\lambda }{\mathit{\lambda }}_3}{{\mathit{\lambda }}_2({\mathit{\lambda }}_2+\mathit{\lambda })}=:{\mathit{\sigma }}^2.\hfill \end{array}$$ 4.34

Now consider ${\mathit{\alpha }}_n({\overline{Z}}_M^{+}-Z_0-M\mathbb{E}{\mathit{\zeta }}^{+})={\mathit{\alpha }}_n{\sum }_{i=1}^{\lfloor A{\mathit{\alpha }}_n^{-2}\rfloor }({\mathit{\zeta }}_i^{+}-\mathbb{E}{\mathit{\zeta }}^{+})$. The summands are i.i.d. with mean 0, and the uniform square integrability of ${\mathit{\zeta }}^{+}$ implies that the Lindeberg condition holds; thus the central limit theorem (Kallenberg 2002, Theorem 5.12) applies and yields, using (4.34), ${\mathit{\alpha }}_n({\overline{Z}}_M^{+}-Z_0-M\mathbb{E}{\mathit{\zeta }}^{+})\stackrel{\mathrm{d}}{⟶}N(0,A{\mathit{\sigma }}^2)$ as $n\to \infty$. Moreover, normal convergence of the endpoint of a random walk implies Donsker-type convergence of the entire random walk to a Brownian motion, see Kallenberg (2002, Theorem 14.20); hence,

$$\begin{array}{c}\hfill {\mathit{\alpha }}_n\left({\overline{Z}}_{t{\mathit{\alpha }}_n^{-2}}^{+}-Z_0-t{\mathit{\alpha }}_n^{-2}\mathbb{E}{\mathit{\zeta }}^{+}\right)\to \mathit{\sigma }{B}_t,\end{array}$$ 4.35

where $B_t$ is a standard Brownian motion and we have defined ${\overline{Z}}_t^{+}$ also for non-integer t by ${\overline{Z}}_t^{+}:={\overline{Z}}_{\lfloor t\rfloor }^{+}$. (We define ${\overline{Z}}_t$ and ${\overline{Z}}_t^{-}$ below in the same way.) Here the convergence is in distribution in the Skorohod space D[0, A], but we may by the Skorohod coupling theorem (Kallenberg 2002, Theorem 4.30) assume that the processes for different n are coupled such that a.s. (4.35) holds uniformly on [0, A].

Moreover, ${\mathit{\alpha }}_n^{-1}\mathbb{E}{\mathit{\zeta }}^{+}\to {\mathit{\lambda }}_2^{-1}$ by (4.30), and thus (4.35) implies

$$\begin{array}{c}\hfill {\mathit{\alpha }}_n\left({\overline{Z}}_{t{\mathit{\alpha }}_n^{-2}}^{+}-Z_0\right)\to \mathit{\sigma }{B}_t+{\mathit{\lambda }}_2^{-1}t.\end{array}$$ 4.36

Proof of Theorem 2.5(i)

In this case, ${\mathit{\alpha }}_n{X}_{\mathrm{I},0}\to 0$, and, since $0⩽Z_0⩽X_{\mathrm{I},0}$, it follows from (4.36) that ${\mathit{\alpha }}_n{\overline{Z}}_{t{\mathit{\alpha }}_n^{-2}}^{+}\to \mathit{\sigma }{B}_t+{\mathit{\lambda }}_2^{-1}t$, where (as said above) we may assume that the convergence holds uniformly on [0, A] a.s. For any fixed $\mathit{\delta }>0$, the right-hand side is a.s. negative for some $t\in [0,\mathit{\delta }]$, and thus w.h.p. ${\mathit{\alpha }}_n{\overline{Z}}_{t{\mathit{\alpha }}_n^{-2}}^{+}<0$ for some $t\in [0,\mathit{\delta }]$. Since $Z_m⩽{\overline{Z}}_m$ it follows that w.h.p. $m_{\ast }⩽\mathit{\delta }{\mathit{\alpha }}_n^{-2}$, i.e. the epidemic stops with $Z_m=0$ after at most $\mathit{\delta }{\mathit{\alpha }}_n^{-2}$ infections. Hence, w.h.p.

$$\begin{array}{c}\hfill \mathcal{Z}⩽m_{\ast }⩽\mathit{\delta }{\mathit{\alpha }}_n^{-2}=o(n{\mathit{\alpha }}_n).\end{array}$$ 4.37

Since $\mathit{\delta }$ is arbitrary, this moreover shows $\mathcal{Z}=o_{\mathrm{p}}({\mathit{\alpha }}_n^{-2})$. $\square$

Proof of Theorem 2.5(iii) in the multigraph case

We combine the upper bound ${\overline{Z}}_m^{+}$ above with a matching lower bound. Let $x_1,x_2,\dots$ be an i.i.d. sequence of random half-edges, constructed before we run the epidemic by drawing with replacement from the set of all half-edges. Then, at the m:th pairing event, when we are to pair an infective red half-edge $y_m$, if $x_m$ still is free and $x_m\ne y_m$, we pair $y_m$ with $x_m$; otherwise we resample and pair $y_m$ with a uniformly chosen free half-edge $\ne y_m$. Furthermore, we let ${\mathit{\zeta }}_m^{-}:=-1$ if $x_m$ is initially infective, and if $x_m$ belongs to an initially susceptible vertex of degree k, we let ${\mathit{\zeta }}_m^{-}$ be a copy of $Y(k)-1$ (independent of the history); if $x_m$ still is susceptible at the m:th pairing event (and thus free, so we pair with $x_m$), we may assume that ${\mathit{\zeta }}_m^{-}:={\mathit{\zeta }}_m$, the number of new red free half-edges minus 1. Note that ${({\mathit{\zeta }}_m^{-})}_{m⩾1}$ is an i.i.d. sequence of random variables with the distribution $Y(D^{-})-1$, where $D^{-}$ has the distribution obtained by taking $A_2=0$ in (4.26); furthermore, ${({\mathit{\zeta }}_m^{-})}_1^{\infty }$ are independent of $Z_0$. Let ${\overline{Z}}_m^{-}:=Z_0+{\sum }_{i=1}^m{\mathit{\zeta }}_i^{-}$. Note that (4.27)–(4.34) hold for $D^{-}$ and ${\mathit{\zeta }}_m^{-}$ too (with some simplifications), and thus, in analogy with (4.36),

$$\begin{array}{c}\hfill {\mathit{\alpha }}_n\left({\overline{Z}}_{t{\mathit{\alpha }}_n^{-2}}^{-}-Z_0\right)\to \mathit{\sigma }{B}_t^{-}+{\mathit{\lambda }}_2^{-1}t,\end{array}$$ 4.38

for some Brownian motion $B_t^{-}$. We next verify that we can take the same Brownian motion in (4.36) and (4.38).

Let ${\mathit{\zeta }}_m^{\prime }:={\mathit{\zeta }}_m^{-}-{\mathit{\zeta }}_m$. Thus ${\mathit{\zeta }}_m^{\prime }=0$ if $x_m$ is susceptible at time $T_m$. If $x_m$ was initially susceptible, with degree k, but has been infected, then ${\mathit{\zeta }}_m^{\prime }⩽{\mathit{\zeta }}_m^{-}+2⩽k$. If $x_m$ was initially infected, then ${\mathit{\zeta }}_m^{-}=-1$ and thus ${\mathit{\zeta }}_m^{\prime }⩽{\mathit{\zeta }}_m^{-}+2⩽1$.

Consider as above only $m⩽M:=\lfloor A{\mathit{\alpha }}_n^{-2}\rfloor$, for some (large) constant $A>0$. For $m>m_{\ast }$, when the epidemic has stopped, we have defined ${\mathit{\zeta }}_m={\mathit{\zeta }}_m^{+}$. Since ${\mathit{\zeta }}_m^{\pm }\stackrel{\mathrm{d}}{=}Y(D^{\pm })-1$ and $D^{-}$ is stochastically dominated by $D^{+}$, we may in this case assume that ${\mathit{\zeta }}_m={\mathit{\zeta }}_m^{+}⩾{\mathit{\zeta }}_m^{-}$, and thus ${\mathit{\zeta }}_m^{\prime }⩽0$.

For $m⩽M$, the number of initially susceptible half-edges that have been infected is at most, using (2.11) and (2.6), $m{d}_{\mathrm{S},\ast }=O({\mathit{\alpha }}_n^{-2}{d}_{\mathrm{S},\ast })=o({\mathit{\alpha }}_n^{-2}{n}^{1/3})=o(n)$. Hence the number of free half-edges at $T_m$ is at least ${\sum }_{k}k{n}_{\mathrm{S},k}-m{d}_{\mathrm{S},\ast }=\mathit{\lambda }n-o(n)⩾c_{3}n$ for $c_3:=\mathit{\lambda }/2$ if n is large enough. It follows that the probability that a given initially susceptible vertex of degree k has been infected before $T_m$ is at most $mk/(c_{3}n)$, and the probability that one of its half-edges is chosen as $x_m$ is at most $k/(c_{3}n)$ for every $m⩽M$. Similarly, the probability that $x_m$ is initially infective is at most $X_{\mathrm{I},0}/(c_{3}n)$.

Hence it follows from the comments above, using (2.10) and the assumption ${\mathit{\alpha }}_n{X}_{\mathrm{I},0}=O(1)$ in (iii), that ${({\mathit{\zeta }}_m^{\prime })}_{+}:=max({\mathit{\zeta }}_m^{\prime },0)$ has expectation

$$\begin{array}{c}\hfill \mathbb{E}{({\mathit{\zeta }}_m^{\prime })}_{+}⩽\sum _{k=0}^{\infty }{n}_k\frac{k}{c_{3}n}·\frac{mk}{c_{3}n}·k+\frac{X_{\mathrm{I},0}}{c_{3}n}=O\left(\frac{m}{n}\right)+O\left(\frac{{\mathit{\alpha }}_n^{-1}}{n}\right)=O\left(\frac{1}{{\mathit{\alpha }}_n^{2}n}\right)=o({\mathit{\alpha }}_n).\end{array}$$ 4.39

Let ${\overline{Z}}_{}^{\prime }:={\sum }_1^M{({\mathit{\zeta }}_m^{\prime })}_{+}$. Then, by (4.39),

$$\begin{array}{c}\hfill \mathbb{E}{\overline{Z}}_{}^{\prime }=o(M{\mathit{\alpha }}_n)=o({\mathit{\alpha }}_n^{-1}).\end{array}$$ 4.40

Furthermore, for $m⩽M$,

$$\begin{array}{c}\hfill {\overline{Z}}_m^{-}={\overline{Z}}_m+\sum _{j=1}^m{\mathit{\zeta }}_j^{\prime }⩽{\overline{Z}}_m+{\overline{Z}}_{}^{\prime }⩽{\overline{Z}}_m^{+}+{\overline{Z}}_{}^{\prime }.\end{array}$$ 4.41

Since (4.36) and (4.38) hold (in distribution), the sequence $({\mathit{\alpha }}_n({\overline{Z}}_{t{\mathit{\alpha }}_n^{-2}}^{-}-Z_0),{\mathit{\alpha }}_n({\overline{Z}}_{t{\mathit{\alpha }}_n^{-2}}^{+}-Z_0))$, $n⩾1$, is tight in $D[0,A]\times D[0,A]$. Moreover, every subsequential limit in distribution must be of the form $(\mathit{\sigma }{B}_t^{-}+{\mathit{\lambda }}_2^{-1}t,\mathit{\sigma }{B}_t^{+}+{\mathit{\lambda }}_2^{-1}t)$ for some Brownian motions $B_t^{-}$ and $B_t^{+}$. Since ${\mathit{\alpha }}_n{\overline{Z}}_{}^{\prime }\stackrel{\mathrm{p}}{⟶}0$ by (4.40), it then follows from (4.41) that for any fixed $t\in [0,A]$, $B_t^{-}⩽B_t^{+}$ a.s. Since $B_t^{-}$ and $B_t^{+}$ have the same distribution, this implies $B_t^{-}=B_t^{+}$ a.s. for every fixed t, and thus by continuity a.s. for all $t\in [0,A]$.

Since all subsequential limits thus are the same, this shows that (4.36) and (4.38) hold jointly (in distribution) with $B_t^{-}=B_t$. Finally, by (4.41) and (4.40), this implies

$$\begin{array}{c}\hfill {\mathit{\alpha }}_n\left({\overline{Z}}_{t{\mathit{\alpha }}_n^{-2}}-Z_0\right)\stackrel{\mathrm{d}}{⟶}\mathit{\sigma }{B}_t+{\mathit{\lambda }}_2^{-1}t,\text{in}D[0,A].\end{array}$$ 4.42

Since the infimum is a continuous functional on D[0, A], it follows that

$$\begin{array}{c}\hfill {\mathit{\alpha }}_n\left(\underset{t⩽A}{inf}{\overline{Z}}_{t{\mathit{\alpha }}_n^{-2}}-Z_0\right)\stackrel{\mathrm{d}}{⟶}\underset{t⩽A}{inf}(\mathit{\sigma }{B}_t+{\mathit{\lambda }}_2^{-1}t).\end{array}$$ 4.43

For convenience, denote the left- and right-hand sides of (4.43) by $Y_n$ and Y. Since the random variable Y has a continuous distribution, (4.43) implies that, uniformly in $x\in \mathbb{R}$,

$$\begin{array}{c}\hfill \mathbb{P}(Y_n⩽x)=\mathbb{P}(Y⩽x)+o(1).\end{array}$$ 4.44

The Brownian motion $B_t$ in (4.42) and (4.43) is arbitrary, so we may and shall assume that $B_t$ is independent of everything else.

We have defined $m_{\ast }:=min\{m⩾0:{\overline{Z}}_m=0\}$ and $M:=\lfloor A{\mathit{\alpha }}_n^{-2}\rfloor$, and thus

$$\begin{array}{c}\hfill \mathbb{P}(m_{\ast }⩽M)=\mathbb{P}\left(\underset{t⩽A}{inf}{\overline{Z}}_{t{\mathit{\alpha }}_n^{-2}}⩽0\right)=\mathbb{P}(Y_n⩽-{\mathit{\alpha }}_n{Z}_0).\end{array}$$ 4.45

Recall that ${\mathit{\zeta }}_m^{+}$ and ${\mathit{\zeta }}_m^{-}$ above are independent of $Z_0$. Hence, if we fix two real numbers a and b, and condition on the event ${\mathcal{E}}_n^{a,b}:=\{a⩽{\mathit{\alpha }}_n{Z}_0<b\}$, then for every subsequence such that ${lim\; inf}_{n\to \infty }\mathbb{P}({\mathcal{E}}_n^{a,b})>0$, the arguments above leading to (4.36), (4.38) and (4.42)–(4.44) still hold. (We need ${lim\; inf}_{n\to \infty }\mathbb{P}({\mathcal{E}}_n^{a,b})>0$ in order to get a conditional version of (4.40).) Consequently, $\mathbb{P}(Y_n⩽x\mid {\mathcal{E}}_n^{a,b})=\mathbb{P}(Y⩽x)+o(1)$, and thus, recalling that $B_t$ is independent of $Z_0$,

$$\begin{array}{c}\hfill \mathbb{P}(Y_n⩽x\text{and}{\mathcal{E}}_n^{a,b})=\mathbb{P}(Y⩽x)\mathbb{P}({\mathcal{E}}_n^{a,b})+o(1)=\mathbb{P}(Y⩽x\text{and}{\mathcal{E}}_n^{a,b})+o(1).\end{array}$$ 4.46

On the other hand, (4.46) holds trivially if $\mathbb{P}({\mathcal{E}}_n^{a,b})\to 0$. Every subsequence has a subsubsequence such that either ${lim\; inf}_{n\to \infty }\mathbb{P}({\mathcal{E}}_n^{a,b})>0$ or $\mathbb{P}({\mathcal{E}}_n^{a,b})\to 0$, and in any case (4.46) holds along the subsubsequence; it follows that (4.46) holds for the full sequence.

In particular, for any a and b,

$$\begin{array}{c}\hfill \begin{array}{cc}\hfill \mathbb{P}(Y_n⩽-{\mathit{\alpha }}_n{Z}_0\text{and}{\mathcal{E}}_n^{a,b})& ⩽\mathbb{P}(Y_n⩽-a\text{and}{\mathcal{E}}_n^{a,b})=\mathbb{P}(Y⩽-a\text{and}{\mathcal{E}}_n^{a,b})+o(1)\hfill \\ \hfill & ⩽\mathbb{P}(Y⩽-{\mathit{\alpha }}_n{Z}_0+b-a\text{and}{\mathcal{E}}_n^{a,b})+o(1).\hfill \end{array}\end{array}$$ 4.47

By assumption, ${\mathit{\alpha }}_n{X}_{\mathrm{I},0}$ is bounded, say ${\mathit{\alpha }}_n{X}_{\mathrm{I},0}⩽C$ for some constant C; thus $0⩽{\mathit{\alpha }}_n{Z}_0⩽{\mathit{\alpha }}_n{X}_{\mathrm{I},0}⩽C$. Let $\mathit{\delta }>0$ and divide the interval [0, C] into a finite number of subintervals $[a_j,b_j]$ with lengths $b_j-a_j<\mathit{\delta }$. By summing (4.47) for these intervals, we obtain

$$\begin{array}{c}\hfill \begin{array}{c}\hfill \mathbb{P}(Y_n⩽-{\mathit{\alpha }}_n{Z}_0)⩽\mathbb{P}(Y⩽-{\mathit{\alpha }}_n{Z}_0+\mathit{\delta })+o(1).\end{array}\end{array}$$ 4.48

Since $\mathit{\delta }>0$ is arbitrary, this implies

$$\begin{array}{c}\hfill \begin{array}{c}\hfill \mathbb{P}(Y_n⩽-{\mathit{\alpha }}_n{Z}_0)⩽\mathbb{P}(Y⩽-{\mathit{\alpha }}_n{Z}_0)+o(1).\end{array}\end{array}$$ 4.49

Similarly, we obtain $\mathbb{P}(Y_n⩽-{\mathit{\alpha }}_n{Z}_0)⩾\mathbb{P}(Y⩽-{\mathit{\alpha }}_n{Z}_0-\mathit{\delta })+o(1)$ and $\mathbb{P}(Y_n⩽-{\mathit{\alpha }}_n{Z}_0)⩾\mathbb{P}(Y⩽-{\mathit{\alpha }}_n{Z}_0)+o(1)$. Consequently,

$$\begin{array}{c}\hfill \mathbb{P}(Y_n⩽-{\mathit{\alpha }}_n{Z}_0)=\mathbb{P}(Y⩽-{\mathit{\alpha }}_n{Z}_0)+o(1).\end{array}$$ 4.50

In other words, using (4.45) and recalling the meaning of Y from (4.43),

$$\begin{array}{c}\hfill \begin{array}{c}\hfill \mathbb{P}(m_{\ast }⩽M)=\mathbb{P}\left(\underset{t⩽A}{inf}(\mathit{\sigma }{B}_t+{\mathit{\lambda }}_2^{-1}t)⩽-{\mathit{\alpha }}_n{Z}_0\right)+o(1).\end{array}\end{array}$$ 4.51

If $m_{\ast }⩽M=\lfloor A{\mathit{\alpha }}_n^{-2}\rfloor$, then, similarly as (4.37) in the proof of case (i),

$$\begin{array}{c}\hfill \mathcal{Z}⩽m_{\ast }⩽A{\mathit{\alpha }}_n^{-2}=o(n{\mathit{\alpha }}_n)\end{array}$$ 4.52

so we are in case (a) in Theorem 2.4 (i).

If $m_{\ast }>M$, consider again $m_{\ast \ast }$ defined by (4.13) (but taking minimum over $m⩾M$), for a sufficiently small $\mathit{\delta }>0$. Note that, as in the proof of (ii), if ${\overline{Z}}_{m_{\ast \ast }}>0$, then (4.19) holds and w.h.p. $T^{\ast }>\mathit{\epsilon }{\mathit{\alpha }}_n$ for some small $\mathit{\epsilon }>0$, and thus w.h.p. (b) in Theorem 2.4(i) holds. In other words, for some small $\mathit{\epsilon }>0$, if $m_{\ast }⩽M$, then $\mathcal{Z}<\mathit{\epsilon }n{\mathit{\alpha }}_n$, and if $m_{\ast }>M$ and ${\overline{Z}}_{m_{\ast \ast }}>0$, then $\mathcal{Z}>\mathit{\epsilon }n{\mathit{\alpha }}_n$ w.h.p.

We next show that the probability that neither of these happens is small. We condition on ${\overline{Z}}_M$ and argue as in the proof of case (ii), using Lemma 4.2 on ${\overline{Z}}_{(M+m)\wedge m_{\ast \ast }}-{\overline{Z}}_M$, and find

$$\begin{array}{c}\hfill \mathbb{P}(m_{\ast }>M\text{and}{\overline{Z}}_{m_{\ast \ast }}=0\mid {\overline{Z}}_M)⩽\frac{8c_2}{c_1{\mathit{\alpha }}_n{\overline{Z}}_M}.\end{array}$$ 4.53

Hence, using also (4.42),

$$\begin{array}{cc}\hfill \mathbb{P}(m_{\ast }>M\text{and}{\overline{Z}}_{m_{\ast \ast }}=0)& ⩽\mathbb{P}({\mathit{\alpha }}_n{\overline{Z}}_M<\frac{1}{2}{\mathit{\lambda }}_2^{-1}A)+O(1/A)\hfill \\ \hfill & ⩽\mathbb{P}(\mathit{\sigma }{B}_A+{\mathit{\lambda }}_2^{-1}A<\frac{1}{2}{\mathit{\lambda }}_2^{-1}A)+o(1)+O(1/A)\hfill \\ \hfill & =O(1/A)+o(1).\hfill \end{array}$$ 4.54

Using (4.51) and the comments above, it follows that, if $\mathit{\epsilon }>0$ is small enough, then

$$\begin{array}{cc}\hfill \mathbb{P}(\mathcal{Z}<\mathit{\epsilon }{\mathit{\alpha }}_{n}n)& =\mathbb{P}(m_{\ast }⩽M)+O(1/A)+o(1)\hfill \\ \hfill & =\mathbb{P}\left(\underset{t⩽A}{inf}(\mathit{\sigma }{B}_t+{\mathit{\lambda }}_2^{-1}t)⩽-{\mathit{\alpha }}_n{Z}_0\right)+O(1/A)+o(1).\hfill \end{array}$$ 4.55

This holds for every fixed $A>0$, and we can then let $A\to \infty$ and conclude that

$$\begin{array}{c}\hfill \begin{array}{c}\hfill \mathbb{P}(\mathcal{Z}<\mathit{\epsilon }{\mathit{\alpha }}_{n}n)=\mathbb{P}\left(\underset{0⩽t<\infty }{inf}(\mathit{\sigma }{B}_t+{\mathit{\lambda }}_2^{-1}t)⩽-{\mathit{\alpha }}_n{Z}_0\right)+o(1).\end{array}\end{array}$$ 4.56

It is well-known that $-{inf}_{t⩾0}(\mathit{\sigma }{B}_t+{\mathit{\lambda }}_2^{-1}t)$ has an exponential distribution with parameter $2{\mathit{\lambda }}_2^{-1}/{\mathit{\sigma }}^2$, see e.g. Revuz and Yor (1999, Exercise II.(3.12)). Consequently, since $Z_0$ and $(B_t)$ are independent,

$$\begin{array}{c}\hfill \begin{array}{cc}\hfill \mathbb{P}(\mathcal{Z}<\mathit{\epsilon }{\mathit{\alpha }}_{n}n)& =\mathbb{E}exp(-2{\mathit{\lambda }}_2^{-1}{\mathit{\sigma }}^{-2}{\mathit{\alpha }}_n{Z}_0)+o(1).\hfill \end{array}\end{array}$$ 4.57

Since we assume that ${\mathit{\alpha }}_n{X}_{\mathrm{I},0}$ is bounded above and below, $Z_0⩽X_{\mathrm{I},0}$ and Lemma 4.1(ii) imply that the expectation in (4.57) stays away from 0 and 1 as $n\to \infty$. Moreover, if $d_{\mathrm{I},\ast }=o(X_{\mathrm{I},0})$, then Lemma 4.1(i) and (4.57) yield, using (4.33),

$$\begin{array}{cc}\hfill \mathbb{P}(\mathcal{Z}<\mathit{\epsilon }{\mathit{\alpha }}_{n}n)& =exp(-2{\mathit{\lambda }}_2^{-1}{\mathit{\sigma }}^{-2}{\mathit{\alpha }}_n{\mathit{\pi }}_n{X}_{\mathrm{I},0})+o(1)\hfill \\ \hfill & =exp(-2\mathit{\lambda }{\mathit{\lambda }}_2^{-2}{\mathit{\sigma }}^{-2}{\mathit{\alpha }}_n{X}_{\mathrm{I},0})+o(1),\hfill \end{array}$$ 4.58

which yields (2.18) by the definition of ${\mathit{\sigma }}^2$ in (4.34).

Finally, (4.52) and the argument above, in particular (4.54), shows that

$$\begin{array}{c}\hfill \mathbb{P}(\text{the epidemic is small but}\mathcal{Z}>A{\mathit{\alpha }}_n^{-2})=O(1/A)+o(1),\end{array}$$ 4.59

which implies the final claim. $\square$

Proof of Theorem 2.5(iii) in the simple graph case

As said in Sect. 2, this result for the random simple graph $G$ does not follow immediately from the multigraph case (as the other results in this paper do). We use here instead the argument for the corresponding result in Janson et al. (2014, Section 6), with minor modifications as follows. We continue to work with the random multigraph $G^{\ast }$. Also, we now allow initially recovered vertices, since our trick in Sect. 3.1 to eliminate them does not work for the simple graph case.

Fix a sequence ${\mathit{\epsilon }}_n\to 0$ such that Theorem 2.4(i) holds, and let $\mathcal{L}$ be the event that there are less than ${\mathit{\epsilon }}_n^{1/2}{n}_{\mathrm{S}}{\mathit{\alpha }}_n$ pairing events; note that if $\mathcal{L}$ occurs, then $\mathcal{Z}<{\mathit{\epsilon }}_n^{1/2}{n}_{\mathrm{S}}{\mathit{\alpha }}_n$, while if $\mathcal{L}$ does not occur, w.h.p. $\mathcal{Z}>{\mathit{\epsilon }}_n{n}_{\mathrm{S}}{\mathit{\alpha }}_n$ by a simple argument (using e.g. Chebyshev’s inequality); hence $\mathcal{L}$ says w.h.p. that the epidemic is small.

Furthermore, let W be the number of loops and pairs of parallel edges in $G^{\ast }$; thus $G^{\ast }$ is simple if and only if $W=0$, and we are interested in the conditional probability $\mathbb{P}(\mathcal{L}\mid W=0)$. By Janson (2014) (at least if we consider suitable subsequences), $W\stackrel{\mathrm{d}}{⟶}\widehat{W}$ for some random variable $\widehat{W}$, with convergence of all moments.

We write $W=W_1+W_2$, where $W_2$ is the number of loops and pairs of parallel edges that include either an initially infective vertex (as in Janson et al. 2014), or a vertex with degree at least $\overline{d}:=1/{\mathit{\alpha }}_n$. Then, by the assumptions

$$\begin{array}{c}\hfill \mathbb{E}{W}_2=O\left(\left(\sum _{k=0}^{\infty }{k}^2{n}_{\mathrm{I},k}+\sum _{k⩾\overline{d}}{k}^2(n_{\mathrm{S},k}+n_{\mathrm{R},k})\right)\left(\frac{1}{n}+\frac{{\sum }_{k=0}^{\infty }{k}^2{n}_k}{n^2}\right)\right)=o(1)\end{array}$$ 4.60

and thus it suffices to consider $W_1$. Note also that if we fix a vertex v that is not initially infected and has degree less than $\overline{d}$, then the probability that the infection will reach v within less than ${\mathit{\epsilon }}_n^{1/2}{n}_{\mathrm{S}}{\mathit{\alpha }}_n$ pairing events is $O(\overline{d}{\mathit{\epsilon }}_n^{1/2}n{\mathit{\alpha }}_n/n)=o(1)$, so w.h.p. v is not infected before it is determined whether $\mathcal{L}$ occurs or not.

The rest of the proof is exactly as in Janson et al. (2014), to which we refer for details. $\square$

Remark 4.4

The formula (2.18) for the asymptotic probability that the epidemic is small holds only under the assumption $d_{\mathrm{I},\ast }=o(X_{\mathrm{I},0})$, i.e., that among the initially infective vertices, no vertex has a significant fraction of all their half-edges. Even if this assumption does not hold, the asymptotic probability can be found from (4.57), since as in the proof of Lemma 4.1, $Z_0={\sum }_i{Z}_{0,i}$ where the $Z_{0,i}$ are independent and, using the notation in Lemma 4.3, $Z_{0,i}\stackrel{\mathrm{d}}{=}Y(d_{\mathrm{I},i}+1)$, where $d_{\mathrm{I},i}$ is the degree of the i-th initially infective vertex. Hence, letting $\mathit{\chi }$ denote the fraction in (2.18), so $\mathit{\chi }\sim 2{\mathit{\lambda }}_2^{-1}{\mathit{\sigma }}^{-2}{\mathit{\pi }}_n$, the probability is

$$\begin{array}{c}\hfill \begin{array}{cc}& \prod _i\mathbb{E}exp(-\mathit{\chi }{\mathit{\pi }}_n^{-1}{\mathit{\alpha }}_{n}Y(d_{\mathrm{I},i}+1))+o(1)\hfill \\ \hfill & =\prod _k(\mathbb{E}exp(-\mathit{\chi }{\mathit{\pi }}_n^{-1}{\mathit{\alpha }}_{n}Y(k+1)){)}^{n_{\mathrm{I},k}}+o(1).\hfill \end{array}\end{array}$$ 4.61

A calculation, see Appendix C, shows that if we define

$$\begin{array}{c}\hfill {\mathit{\psi }}_n(k):=log{\int }_0^{1}exp\left(k{\mathit{\alpha }}_n\mathit{\chi }{\mathit{\pi }}_n^{-1}\left(x^{{\mathit{\beta }}_n/{\mathit{\rho }}_n}-\frac{{\mathit{\rho }}_n}{{\mathit{\beta }}_n+{\mathit{\rho }}_n}\right)\right)dx,\end{array}$$ 4.62

interpreted as 0 when ${\mathit{\rho }}_n=0$, then this probability is

$$\begin{array}{c}\hfill exp\left(-\mathit{\chi }{\mathit{\alpha }}_n{X}_{\mathrm{I},0}+\sum _k{n}_{\mathrm{I},k}{\mathit{\psi }}_n(k)\right)+o(1),\end{array}$$ 4.63

thus generalizing (2.18). It is easily seen that ${\mathit{\psi }}_n(k)=O(k^2{\mathit{\alpha }}_n^2)$ and thus ${\sum }_k{n}_{\mathrm{I},k}{\mathit{\psi }}_n(k)=O({\mathit{\alpha }}_n{d}_{\mathrm{I},\ast }{\sum }_k{n}_{\mathrm{I},k}k{\mathit{\alpha }}_n)=O({\mathit{\alpha }}_n{d}_{\mathrm{I},\ast })$ under our assumption ${\mathit{\alpha }}_n{X}_{\mathrm{I},0}=O(1)$, which explains why the extra term in (4.63) disappears in (2.18).

Note also that ${\mathit{\psi }}_n(k)⩾0$ by Jensen’s inequality; thus an extremely uneven distribution of the degrees of the initially infective vertices will increase the probability of a small outbreak.

Appendix A: The Sellke construction for network epidemics

 House et al. (2012) introduced a method to simulate the final size of a network epidemic that drew on the constructions of  Sellke (1983) and  Ludwig (1975) (the latter in its most general sense as described by  Pellis et al. (2008)). This approach allows us to make a realisation by drawing three sets of random numbers, and then we can consider multiple initial conditions and the final sizes they produce without drawing further random numbers.

Let individuals be labelled $i,j,\dots \in \{1,\dots ,n\}$. Let them be connected by a general network with adjacency matrix with elements $G_{ij}$, and let $Z_i$ be an indicator variable taking the value 1 if individual i is eventually infected during the epidemic and 0 otherwise. Our algorithm then proceeds as follows.

First, for each individual i pick an infectious period $T_i\sim \mathrm{Exp}(\mathit{\rho })$. Secondly, for each individual i pick a threshold $Q_i\sim \mathrm{Exp}(1)$. This represents the individual’s resistance to infection. Thirdly, a random permulation P of the integers $\{1,\dots ,n\}$ is chosen. The first m elements of this permutation are then taken to be the indices of the initially infectious individuals, i.e. we initialise $Z_i\leftarrow 1$ if $i\in P$ and $Z_i\leftarrow 0$ otherwise. Then to arrive at the correct final values we iteratively search for each individual i that has $Z_i=0$ and set $Z_i\leftarrow 1$ if

$$\begin{array}{c}\hfill Q_i<\mathit{\beta }\sum _j{G}_{ij}{T}_j{Z}_j.\end{array}$$ A.1

This procedure is continued until no changes occur on a given iteration, giving the final size for that value of m. We can then increase m and continue the iterative procedure, allowing simulations that are both computationally efficient, and for which the total final size $\mathcal{Z}$ is monotone non-decreasing in the initial number infected m.

Appendix B: Critical behaviour of $G(n,{(d_i)}_{i=1}^n)$

In this appendix, we show how the methods in this paper yield an improvement of Janson and Luczak (2009, Theorem 2.4) on the size of the largest component in $G(n,{(d_i)}_{i=1}^n)$ near criticality, replacing the moment condition used in Janson and Luczak (2009)

$$\begin{array}{c}\hfill \sum _{k=0}^{\infty }{k}^{4+\mathit{\eta }}{n}_k=O(n)\end{array}$$ B.1

for some $\mathit{\eta }>0$, by the uniform summability of ${\sum }_{k=0}^{\infty }{k}^3{n}_k$ in assumption (ii) below, cf. (D2). This is more or less best possible, since if the limiting vertex degree distribution does not have a finite third moment, then (at least in typical cases), the size of the largest component is $o_{\mathrm{p}}(n{\mathit{\alpha }}_n)$, see van der Hofstad, Janson and Luczak (in preparation).

Theorem B.1

Suppose that the degree sequences ${(d_i)}_{i=1}^n$ satisfy the following conditions.

• (i)There is a probability distribution ${(p_k)}_{k=0}^{\infty }$ such that $n_k/n\to p_k$ for each $k⩾0$.
• (ii)For all $\mathit{\epsilon }>0$, there exists M such that, for all n, ${\sum }_{k=M}^{\infty }{k}^3{n}_k<\mathit{\epsilon }n$.
• (iii) $p_1>0$.
• (iv) ${\sum }_{k=0}^{\infty }k(k-2)p_k=0$.
• (v) ${\mathit{\alpha }}_n:={\sum }_{k=0}^{\infty }k(k-2)n_k/n$ satisfies $n^{1/3}{\mathit{\alpha }}_n\to \infty$.

Define the positive constants $\mathit{\lambda }:={\sum }_{k=0}^{\infty }k{p}_k$ and $\mathit{\gamma }:={\sum }_{k=0}^{\infty }k(k-1)(k-2)p_k$.

Let ${\mathcal{C}}_1$ and ${\mathcal{C}}_2$ denote the largest and second largest components of $G(n,{(d_i)}_{i=1}^n)$. Then the number of vertices in ${\mathcal{C}}_1$ is

$$\begin{array}{c}\hfill v({\mathcal{C}}_1)=\frac{2\mathit{\lambda }}{\mathit{\gamma }}n{\mathit{\alpha }}_n+o_{\mathrm{p}}(n{\mathit{\alpha }}_n),\end{array}$$ B.2

the number of vertices in ${\mathcal{C}}_1$ with degree $k⩾0$ is

$$\begin{array}{c}\hfill v_k({\mathcal{C}}_1)=\frac{2k{p}_k}{\mathit{\gamma }}n{\mathit{\alpha }}_n+o_{\mathrm{p}}(n{\mathit{\alpha }}_n),\end{array}$$ B.3

and the number of edges in ${\mathcal{C}}_1$ is

$$\begin{array}{c}\hfill e({\mathcal{C}}_1)=\frac{2\mathit{\lambda }}{\mathit{\gamma }}n{\mathit{\alpha }}_n+o_{\mathrm{p}}(n{\mathit{\alpha }}_n).\end{array}$$ B.4

In contrast, ${\mathcal{C}}_2$ has only $v({\mathcal{C}}_2)=o_{\mathrm{p}}(n{\mathit{\alpha }}_n)$ vertices and $e({\mathcal{C}}_2)=o_{\mathrm{p}}(n{\mathit{\alpha }}_n)$ edges.

Remark B.2

If ${\sum }_{k}k(k-2)p_k=0$ then $p_1>0$ is equivalent to $p_0+p_1+p_2<1$ (condition (D6)). As a consequence, $\mathit{\gamma }>0$.

Sketch of proof

We will explain how to modify the argument of Janson and Luczak (2009). The latter is similar in spirit (and actually inspired) our proof of Theorem 2.4 in Sect. 3. Indeed, the algorithm used in Janson and Luczak (2009) to construct the multigraph $G^{\ast }(n,{(d_i)}_{i=1}^n)$ and explore its components is closely related to the time-changed epidemic with zero recovery rate, i.e. ${\mathit{\rho }}_n=0$. In more detail, we begin with all vertices susceptible (or sleeping in the terminology of Janson and Luczak 2009). We choose a single vertex at random and declare it infective (or active in Janson and Luczak 2009). The infection eventually spreads through the whole connected component containing the chosen vertex because ${\mathit{\rho }}_n=0$. The connected component thus comprises the susceptible (sleeping) vertices that were infected (activated) during this time, together with the initially infective (active) vertex. The procedure can be repeated until all the connected components have been explored.

In particular, each susceptible (sleeping) vertex of degree $k⩾0$ is still infected (activated) at rate k in the algorithm of Janson and Luczak (2009); in addition one vertex is activated at the start of each new component. The number of vertices that would be sleeping if we ignore the latter type of activations (denoted ${\tilde{V}}_k(t)$ in Janson and Luczak 2009) thus evolves as the Markov death chain ${\tilde{S}}_t(k)$ considered in the proof of Theorem 3.1 but with ${\tilde{S}}_0(k)=n_k$. One can prove concentration of measure for ${\tilde{S}}_t(k)$, ${\sum }_{k=0}^{\infty }{\tilde{S}}_t(k)$ and ${\sum }_{k=0}^{\infty }k{\tilde{S}}_t(k)$, as in Theorem 3.1. The analogous result in Janson and Luczak (2009) is Lemma 6.3 and its proof involves a non-trivial use of assumption (B.1). So we must replace (Janson and Luczak 2009, Lemma 6.3) with Theorem 3.1. Note that the former result achieves an $O_{\mathrm{p}}(n^{1/2}{\mathit{\alpha }}_n^{1/2}+n{\mathit{\alpha }}_n^3)$ bound on the error, versus the $o_{\mathrm{p}}(n{\mathit{\alpha }}_n^2)$ bound of Theorem 3.1. However, it can be checked that the $o_{\mathrm{p}}(n{\mathit{\alpha }}_n^2)$ bound is sufficient for the rest of the proof.

There is only one other place where Janson and Luczak (2009) uses assumption (B.1) non-trivially; that is to control the Taylor expansion remainder term in the analogue of (3.51) (immediately preceding equation (6.7) on page 212). But we may obtain an adequate bound with the argument leading to (3.49).

All of the other modifications are trivial. $\square$

Appendix C: Proof of (4.63)

Let $c_n:=\mathit{\chi }{\mathit{\pi }}_n^{-1}$ and note that $c_n=O(1)$ by (4.1) and (2.20). If ${\mathit{\rho }}_n>0$, then by the definition of $Y_n(k)$ before Lemma 4.3, and the substitution $x=e^{-{\mathit{\rho }}_n\mathit{\tau }}$,

$$\begin{array}{cc}\hfill \mathbb{E}{e}^{-c_n{\mathit{\alpha }}_{n}Y(k+1)}& ={\int }_0^{\infty }(1+(1-e^{-{\mathit{\beta }}_n\mathit{\tau }})(e^{-c_n{\mathit{\alpha }}_n}-1){)}^k{\mathit{\rho }}_n{e}^{-{\mathit{\rho }}_n\mathit{\tau }}d\mathit{\tau }\hfill \\ \hfill & ={\int }_0^1(1-(1-x^{{\mathit{\beta }}_n/{\mathit{\rho }}_n})(1-e^{-c_n{\mathit{\alpha }}_n}){)}^{k}dx\hfill \\ \hfill & ={\int }_0^1(1-(1-x^{{\mathit{\beta }}_n/{\mathit{\rho }}_n})(c_n{\mathit{\alpha }}_n(1+O({\mathit{\alpha }}_n))){)}^{k}dx\hfill \\ \hfill & ={\int }_0^{1}exp(-k(1-x^{{\mathit{\beta }}_n/{\mathit{\rho }}_n})(c_n{\mathit{\alpha }}_n+O({\mathit{\alpha }}_n^2)))dx\hfill \\ \hfill & =e^{O(k{\mathit{\alpha }}_n^2)}{\int }_0^{1}exp(c_n{\mathit{\alpha }}_{n}k(x^{{\mathit{\beta }}_n/{\mathit{\rho }}_n}-1))dx\hfill \\ \hfill & =e^{-c_n{\mathit{\pi }}_n{\mathit{\alpha }}_{n}k+O(k{\mathit{\alpha }}_n^2)}{\int }_0^{1}exp(c_n{\mathit{\alpha }}_{n}k(x^{{\mathit{\beta }}_n/{\mathit{\rho }}_n}-\frac{{\mathit{\rho }}_n}{{\mathit{\beta }}_n+{\mathit{\rho }}_n}))dx\hfill \\ \hfill & =e^{-\mathit{\chi }{\mathit{\alpha }}_{n}k+{\mathit{\psi }}_n(k)+O(k{\mathit{\alpha }}_n^2)}.\hfill \end{array}$$ C.1

If ${\mathit{\rho }}_n=0$, then ${\mathit{\pi }}_n=1$ and $Y(k+1)=k$, and (C.1) is trivial.

We obtain (4.63) by using (C.1) in (4.61).