key: cord-0010877-91fob3ax authors: Hasegawa, Takehisa; Nemoto, Koji title: Outbreaks in susceptible-infected-removed epidemics with multiple seeds date: 2016-03-30 journal: Phys Rev E DOI: 10.1103/physreve.93.032324 sha: 1497efdbe2a270029e1c089adffe3790544820ed doc_id: 10877 cord_uid: 91fob3ax We study a susceptible-infected-removed (SIR) model with multiple seeds on a regular random graph. Many researchers have studied the epidemic threshold of epidemic models above which a global outbreak can occur, starting from an infinitesimal fraction of seeds. However, there have been few studies of epidemic models with finite fractions of seeds. The aim of this paper is to clarify what happens in phase transitions in such cases. The SIR model in networks exhibits two percolation transitions. We derive the percolation transition points for the SIR model with multiple seeds to show that as the infection rate increases epidemic clusters generated from each seed percolate before a single seed can induce a global outbreak. The threat of infectious disease is becoming increasingly conspicuous for modern society, wherein there is a large amount of international travel all over the world. Understanding how infectious diseases spread in our society is crucial to the development of strategies for disease control. A mathematical model of infectious disease, called the susceptible-infectedremoved (SIR) model, was first applied with the assumption of a well-mixed population for computation of the final numbers of infected and eventually removed (or recovered) individuals [1] . So far, many mathematical models of infectious diseases have been proposed for understanding the spread of epidemics and proposing strategies for disease control [2] . In recent years, many studies have been devoted to epidemic models with a network structure of people [3] . Diseases spread over the networks of physical contacts between individuals, and the structure of real networks [4] [5] [6] [7] has crucial effects on this spread. For example, Moreno et al. [8] studied the SIR model in a scale-free network having a degree distribution of p k ∝ k −γ using a degree-based mean-field approach. Their approximation clarified that epidemics can spread over the network for any infection rate if γ 3. In addition, many analytical approaches for epidemic models with network structures, such as the approximation onto a bond percolation problem [9, 10] , the edge-based compartment model [11] , the effective degree approach [12] , and the pair approximation [13, 14] , have been proposed and have succeeded in describing epidemic dynamics. Numerical simulations have revealed how epidemics spread in more realistic situations. Also, several strategies for disease control have been proposed on the basis of the knowledge of epidemics on networks, e.g., target immunization [15, 16] , acquaintance immunization [16] [17] [18] [19] , and graph-partitioning immunization [20] . Most previous studies using SIR-type epidemic models have assumed that the fraction of infection seeds is infinitesimally small. In contrast, there have been few studies on epidemic models with finite fractions of seeds. Miller [21] considered the SIR model in networks with large initial * takehisa.hasegawa.sci@vc.ibaraki.ac.jp † nemoto@statphys.sci.hokudai.ac.jp conditions to resolve an apparent paradox in works assuming an infinitesimal fraction of seeds. Hu et al. [22] numerically studied how the positions of multiple seeds in a network affect spreading behavior. Ji et al. [23] identified multiple influential spreaders in real networks by ranking nodes in disintegrated networks after random bond removals. What we discuss here is a more fundamental, but almost overlooked problem: How do epidemic models with finite fractions of seeds undergo phase transitions? For SIR-type epidemics, each infection seed creates an epidemic cluster of infected individuals. Epidemic clusters generated by multiple seeds will have global connectivity in some parameter regions even though each seed may not have the potential to induce a global outbreak there. In this paper, we consider the SIR model in networks with multiple seeds. In this case, the SIR model exhibits a kind of percolation transition. An epidemic cluster grows from each of multiple seeds. We regard the clusters so generated as supernodes and study the percolation problem of these supernodes. Indeed, we can analytically and numerically obtain the percolation transition point of supernodes to show a gap between this transition point and the epidemic threshold. The existence of this gap indicates that the percolation transition of epidemic clusters occurs before a single seed can induce a global outbreak. Our result also shows the sensitivity of the seed fraction on percolation transition points, i.e., that a small seed fraction drastically reduces the critical infection rate for the emergence of the infinite epidemic cluster. Let us give a brief review of the SIR model in a given static network. Each node in the network takes one of three states: susceptible, infected, and removed. The system evolves as a continuous-time Markov process. As an initial-state configuration, a fraction, ρ, of the nodes is randomly chosen to be seeds and is initially infected, while other nodes are susceptible. The infection rate is denoted by λ. When an infected node is adjacent to a susceptible node, this susceptible node gets infected with probability λ t within a short time, t. Note that this probability is independently given by each of the infected nodes so that the total infection rate at a node is just proportional to the number of infected neighbors. An infected node becomes removed at a rate μ, i.e., with probability μ t within a short time t, irrespective of the neighbors' states. Without loss of generality, we set μ = 1 unless otherwise specified. The dynamics stops when no infected nodes exist in the network. Let us consider the limit ρ → 0. The SIR model exhibits a phase transition at the epidemic threshold λ = λ SIR c when λ increases from 0. Above λ SIR c , a single seed can induce global outbreaks. In a global outbreak, a nonzero fraction of nodes become infected and eventually removed. Below λ SIR c , the number of removed nodes is always negligible compared with the total number of nodes. As already mentioned, we have several approaches for obtaining λ SIR c (see the recent review [3] ); Newman approximated the SIR model in uncorrelated networks by mapping onto a bond percolation problem (which is called the SIR model with transmissibility) [10] and derived λ SIR where k and k 2 are the first and the second moments of the degree distribution, p k , respectively [24] . This result indicates that, for a fat-tailed scale-free network whose degree distribution obeys p k ∝ k −γ with γ 3, a global outbreak starting from an infinitesimal fraction of seeds occurs even for an infinitesimal infection rate. As indicated in [25] , mapping onto a bond percolation problem does not give the exact outbreak size or probability, but it does predict exactly the epidemic threshold. Lindquist et al. [12] proposed an effective degree approach for describing the time evolution of the SIR dynamics using numerous ordinary differential equations and derived the same epidemic threshold, (1). Miller [11] introduced another approach by means of the edge-based compartment model to enable accurate descriptions of the SIR dynamics accurately with a few rate equations. We can also describe the phase transition of the present model in terms of percolation. In any final state, each node takes either a susceptible or a removed state. We call the connected components of removed nodes and susceptible nodes the R components and the S components, respectively. For the SIR model in networks with ρ 0, we have two percolation transition points, λ c1 and λ c2 . When the number of nodes, N , is much greater than 1, the mean fraction of the largest R component, r max (N ) = R max (N)/N, where R max (N ) is the mean size of the largest R component, changes from 0 to a nonzero value at the former point λ c1 . Note that λ c1 corresponds to λ SIR c in the limit ρ → 0 by definition. Percolation analysis of an epidemic cluster starting from a single seed has been used for numerical computations of the epidemic threshold and critical properties [26, 27] . The latter point, λ c2 , is on the percolation of the S component (also called the residual graph [28, 29] ) and is usually larger than λ c1 . Above λ c2 , the network remaining after removal of the R components is disintegrated such that the sizes of all remaining components are finite. In other words, the mean fraction of the largest S component, s max (N ) = S max (N )/N, where S max (N) is the mean largest S-component size, is 0 (nonzero) for λ > λ c2 (λ < λ c2 ) when N 1. Whether the susceptible nodes are globally connected is important because a second epidemic spread may occur in the remaining network [28, 30] . In [28] , Newman analyzed this second transition point of the SIR model with transmissibility in uncorrelated networks with ρ → 0 to show that the transition point is positive even when γ 3. Valdez et al. [31] proposed a new strategy for suppressing epidemics by regarding this second transition point as a measure of the efficiency of a mitigation or control strategy. If we regard the present model as showing the propagation of an attack against a network, such as a computer virus, λ c2 is a measure of the robustness of networks against such attacks [32, 33] . Konno and the authors numerically studied λ c2 for correlated networks to show that any positive or negative degree correlation makes networks more robust [33] . To summarize, the system with a given value of ρ has the following three regions: (i) the S-dominant phase, where r max = 0 and s max > 0 for λ < λ c1 ; (ii) the coexisting phase, where r max > 0 and s max > 0 for λ c1 < λ < λ c2 ; and (iii) the R-dominant phase, where r max > 0 and s max = 0 for λ > λ c2 . To investigate in detail the phase transitions of the SIR model with a finite fraction of seeds, we focus on the z-regular random graph (RRG). Our formulations discussed below are for the RRG. The extension to degree-uncorrelated networks having degree distribution p(k) may be straightforward, although its execution will be cumbersome. At any rate, our findings obtained from the RRG probably will be in common with other networks. In Sec. IV D, we numerically study the outbreaks induced by multiple seeds in finite-dimensional Euclidean lattices. To evaluate the time evolution of the SIR dynamics and the total densities of the susceptible and removed nodes in the final states, we consider the approximate master equations (AMEs) [12, 14] . Let s l,m (t), i l,m (t), and r l,m (t) be the fractions of nodes that are susceptible, infected, and removed, respectively, at time t and have l susceptible and m infected neighbors. The AMEs for the evolution of these variables are as follows (see [12] for details): The transition rates of neighboring nodes are approximated as where the summations run over all 0 l + m k. To describe the SIR dynamics with ρ > 0, we set the initial condition as By numerical evaluation of the above equations, we obtain the total densities which satisfy the conservation law, at any time t. Note that all variables other than s l,0 and r l,0 vanish in the limit t → ∞, and therefore i(∞) = 0. To check the accuracy of the AME, we perform Monte Carlo simulations for the SIR model on the RRG with z = 6. In our simulations, we set μ = 1 and ρ = 0.01. The numbers of nodes are N = 64 000, 128 000, 256 000, and 512 000. The number of graph realizations is 100, and the number of trials on each graph is 500. Figure 1(a) shows the AME result (line) and the Monte Carlo result (symbols) of the total densities of susceptible and removed nodes, s and r, in the final states. We find that data from the AMEs wholly coincide with those from the Monte Carlo simulations. Equations (2)-(11) do not predict any transition point for ρ > 0 because r(∞) ρ > 0, although it is possible to derive the epidemic threshold λ SIR c = μ/(z − 2) for the RRG with degree z [12] by considering the limit ρ → 0 (see Appendix A). In contrast, the Monte Carlo simulations suggest that the model actually exhibits phase transitions. In Fig. 1(b) , we plot the R and S susceptibilities (which we call the susceptibility by analogy with the magnetic susceptibility in spin systems) χ R and χ S . Here, χ R (χ S ) is defined as the mean size of all R components (S components) except the largest one [34] . We find that χ R and χ S have peaks at λ c1 and λ c2 , respectively, implying two phase transitions. Moreover, these points are clearly different from λ SIR c . In particular, the gap between λ c1 and λ SIR c indicates that as the infection rate increases, the epidemic clusters generated from each seed percolate before a single seed can induce a global outbreak. In the next section, we derive these percolation transition points for 0 < ρ < 1. To derive λ c2 , we consider the percolation of the S components. In [28] , Newman analyzed the percolation of the S components using generating functions. His method gives λ c2 for the SIR model in uncorrelated networks but assumes a single seed. By combining the AMEs and Newman's method, we obtain s max and λ c2 for the case with 0 < ρ < 1. Let us consider the S components in a typical final state for the SIR model on an infinitely large RRG with ρ > 0. In the previous section, we already have the probability s l,0 (∞) that a randomly chosen node is susceptible and has l susceptible neighbors [s l,m (∞) = 0 for m = 0]. Using s l,0 (∞), we obtain the degree distribution of the S components as where the denominator s = k l=0 s l,0 is the prior probability of being susceptible. The corresponding generating function, F s 0 (x), is given by Here we assume that this subnetwork is degree uncorrelated. We consider the excess degree, which is the degree of the node reached by following a randomly chosen link minus 1 [5] . The excess degree distribution, q s l , which is the probability that a randomly chosen link from S components points to a (susceptible) node with excess degree l, is (l + 1)p s l+1 / l (l + 1)p s l +1 . Then the generating function for the excess degree distribution of the S components is and the mean excess degree is given by F s 1 (1). By arguing the emergence of an infinitely connected component of this subnetwork (similar to [5] ), we easily find that there is an infinite S component if F s 1 (1) > 1, and thus, the percolation transition point of the S component, λ c2 , satisfies Following [28] , we also have the mean fraction of the largest S component, s max , as where v is the solution of We check these estimates using Monte Carlo simulations. Figure 2 (a) shows the order parameter, i.e., the fraction of the largest S component, s max (N ), for RRGs with several N 's. We find that the numerical results coincide with the analytical line below λ c2 and tend to 0 with increasing N above λ c2 . To numerically obtain the transition point, λ c2 , we introduce the fractal exponent [35] . The fractal exponent of the largest S component is defined and approximated as In the limit N → ∞, ψ S = 1 for λ < λ c2 and ψ S = 0 for λ > λ c2 , because the largest S-component size should be proportional to N for λ < λ c2 and finite for λ > λ c2 . As shown in Fig. 2(b) , numerical results for ψ S approach ψ S = 1(ψ S = 0) for λ < λ c2 (λ > λ c2 ) as N increases and have a crossing point at λ c2 . From numerical data, we have ψ c S ≡ ψ S (λ c2 ) 2/3 at λ c2 0.615, which coincides well with our analytical estimate (vertical line in Fig. 2) . This observation is also confirmed by a finite-size scaling. As in [35] , we assume a scaling form for S max (N ) as where λ = |λ c2 − λ|, β is the critical exponent related to the order parameter, s max ∝ λ β , and In Fig. 2(c) , our scaling shows a nice collapse with ψ c S = 2/3 and β = 1. Because ψ c S is related to another critical exponent τ as ψ c S = (τ − 1) −1 [35] , where τ is associated with the distribution function of S components n S (s) at the critical point, n S (s) ∝ s −τ , these exponents mean that the percolation transition of the S components actually occurs at λ c2 and belongs to the mean-field universality class such that β = 1 and τ = 5/2 [36] . To derive λ c1 for the SIR model with multiple seeds, we need to calculate the connectivity of the R components generated by each seed. We should note that a percolation analysis, as in the previous subsection, using the degree distribution of the R components r ,0 /r is not applicable to this case, because such an analysis ignores the condition that each R component is connected. To consider the connectivity of numerous R components, we use the following procedure: (i) We first calculate the probability, P n , that the size of the R component generated by a single seed is n. (ii) For the case of ρ > 0, the system has numerous R components proportional to ρ. We regard each R component as a supernode. The number of nodes confined in a supernode obeys the distribution P n , and its degree k n is given accordingly. (iii) Then we consider a site percolation problem of supernodes. The first percolation point, λ c1 , is given as the critical point where the infinitely connected component of the supernodes appears. In Appendix B, we evaluate the mean size of the R component starting from a single seed, n (= n P n n), and the corresponding mean square size, n 2 = ( n P n n 2 ), by using generating functions. Then we consider the case of ρ > 0. Below λ c1 , we naturally assume that the mean size n is so small that each R component is a tree [37] and that any overlaps between the R components are negligible so that the total fraction of the R components can be evaluated as ρ n [38] , which should necessarily be less than 1. Then we can determine the creation process of the infinite R component by regarding each R component of size n as a supernode whose degree depends on n (see Fig. 3 ) and considering the percolation problem of these supernodes. The density of susceptible nodes, s, is just 1 minus the density of the removed nodes, ρ n : Then the probabilityp that the node reached by following a randomly chosen link is a component of a supernode is p = ρ k n ρ k n + zs , where k n is the number of external links of the R component (the degree of the supernode) having size n and is given by Equation (24) holds since each R component is a tree with the number of edges equal to the number of nodes minus 1. The mean branching ratio of supernodes, B, is evaluated by multiplyingp by the mean excess degree of supernodes: The percolation of supernodes takes place when B 1, and thus the transition point is given by B = 1. That is, λ c1 satisfies z ρ = k n (k n − 2) + z n where n and n 2 are functions of λ. We can show that these moments diverge as n ∼ (λ SIR c − λ) −1 and n 2 ∼ (λ SIR c − λ) −3 when λ approaches λ SIR c from below (see Appendix B), and therefore λ c1 → λ SIR c as ρ → 0 like Thus, a small increase in ρ drastically reduces λ c1 from λ SIR c . We approximately have the fraction of the largest R component, r max , by applying a procedure similar to the derivation of s max to the connected components of supernodes (see Appendix C). This approximation may predict a rise of the order parameter r max around λ c1 but inherently overestimates r max for λ > λ c1 due to the overlaps between the R components generated from each seed being non-negligible [see Fig. 4(a) ]. We also check our estimate by comparison with Monte Carlo simulations. In Figs. 4(a) and 4(b) , we plot the Monte Carlo results for the order parameter, r max (N ), and the corresponding fractal exponent, ψ R (N ) ≡ d ln r max (N )/d ln N . In a manner similar to that in the previous subsection, we find that the crossing point of ψ R is at our estimate of λ c1 , λ c1 0.148. We also find a good scaling result for R max (N ) using ψ c R ≡ ψ R (λ c1 ) = 2/3, β = 1, and the estimated λ c1 [Fig. 4 (c) ], supporting the validity of our estimate and indicating that the percolation transition at λ c1 belongs to the mean-field universality class. We analytically and numerically evaluate λ c1 and λ c2 for several values of ρ. In Fig. 5 , we have the phase diagram of (ρ,λ) space. We find that our estimates of λ c1 and λ c2 perfectly match the Monte Carlo results. The first percolation point λ c1 is smaller than λ SIR c as long as ρ > 0. That is, the percolation of the R components occurs without global outbreaks. The gap between λ c1 and λ SIR c shrinks with decreasing ρ and λ c1 = λ SIR in the limit ρ → 0. Note that λ c1 = 0 when ρ 0.2 because the seeds themselves percolate (the site percolation threshold of the z-RRG is 1/(z − 1), which is derived from the local tree approximation [5, 6] ), and λ c2 = 0 when ρ 0.8 because the seeds themselves disintegrate the susceptible network into finite components. Our finite-size scaling for several values of ρ shows that both percolation transitions at λ c1 and λ c2 belong to the meanfield universality class, irrespective of the value of ρ. This seems unsurprising because the two processes comprising the present model, the SIR model and site percolation, belong to the mean-field universality class of percolation when the graph is RRG. When ρ > 0, the system does not show any singular behavior at λ SIR c . However, this does not mean that λ SIR c is unimportant. In practice, λ SIR c is still an important measure in the strategy for disease control because a single seed has the potential to induce a global outbreak above λ SIR c (in other words, the basic reproduction number R 0 > 1 when λ > λ SIR c ). The singular behaviors at λ c1 , e.g., the divergence of the R susceptibility, may be interpreted as a precursor to global outbreaks, like the proverbial canary in a coal mine. We have numerically and analytically shown that the present model with multiple seeds on the RRG percolates at a lower infection rate than the epidemic threshold. Is this phenomenon in common with other networks, e.g., networks with many short loops and without the logarithmic dependence of the mean shortest path? In the rest of this section, we briefly consider the SIR model with multiple seeds on finitedimensional Euclidean lattices by Monte Carlo simulations. First, we consider the cubic lattice with the periodic boundary condition. In Monte Carlo simulations, we set μ = 1, ρ = 0.01, and N = 40 3 , 50 3 , 60 3 , 70 3 . The number of trials is 50 000. In Fig. 6(a) , we show the size dependence of the order parameters, r max and s max . We find that r max and s max become nonzero and 0 at different points λ c1 0.27 and λ c2 0.49, respectively. This discrepancy is also led by the peak positions of R susceptibility and S susceptibility, as shown in Fig. 6(b) . Both λ c1 and λ c2 are also different from the epidemic threshold λ SIR c , which is obtained from the single-seed simulations (not shown). Starting from a single seed, r max (= r) becomes nonzero at λ SIR c 0.36, which is larger than λ c1 . Then we have the discrepancy among λ c1 , λ SIR c , and λ c2 , on the cubic lattice, and expect that the observed phenomena on the RRG will hold for other clustered networks. A qualitative difference between the cubic lattice and the RRG is in their universality class. From the crossings of the fractal exponents ψ R and ψ S , we have ψ c R ψ c S 0.84 for the cubic lattice (not shown), and this estimate means that transitions of both R components and S components belong to the universality class of three-dimensional percolation transition [36] but not to the mean-field universality class. Let us mention a special case, the SIR model in the square lattice with the periodic boundary condition. In Fig. 7 , we show the Monte Carlo results. In this case, s max and r max seem to undergo a macroscopic change at the same point, i.e., λ c1 = λ c2 0.91 [see Fig. 7(a) ]. The corresponding susceptibilities also seem to have a peak at the same value of λ [ Fig. 7(b) ]. Compared to single-seed simulations, λ c1 and λ c2 decrease with an increase in ρ and differ from the epidemic threshold λ SIR does not seem surprising if we consider a spatial constraint of the square lattice: When the largest component percolates the lattice vertically and horizontally, the residual components after removing the largest one cannot maintain the connection across the lattice. (This reflects on the fact that the percolation threshold is equal to or larger than 1/2 in both site and bond percolations.) Turning to other real spatial networks, which are often regarded as two-dimensional objects, it is an open question whether or not the coexisting phase exists. In this paper, we have studied the SIR model in an RRG with a nontrivial fraction of infection seeds, ρ. Through analytical estimates and numerical simulations, we have obtained the phase diagram in (ρ,λ) space. The SIR model with numerous seeds shows the percolation transition of the removed and susceptible nodes at λ c1 and λ c2 , respectively. In particular, λ c1 is smaller than the epidemic threshold λ SIR c as long as ρ > 0. This means that epidemic clusters generated by multiple seeds percolate without global outbreaks. So far, we have focused on the SIR model in the RRG and the lattices. We expect that the above statement holds for the SIR model in other networks, although the details of the phase transition may depend on network structures, e.g., λ c1 < λ SIR c = 0 in a fat-tailed scale-free network with γ 3. Finally, we briefly discuss other epidemic models with multiple seeds. Krapivsky et al. [39] proposed an extended SIR model, called a transient fad, with the assumption of a well-mixed population. They analytically showed that this model exhibits a discontinuous transition if ρ > 0. The authors and a collaborator [40] performed Monte Carlo simulations for this fad model in networks to confirm that a discontinuous jump of the order parameter appears near the epidemic threshold, which is behind the percolation of epidemic clusters. The authors also investigated the discretetime version of the transient fad to confirm it numerically and analytically [41] . Very recently, several generalized epidemic models in networks beyond the classical SIR model have been investigated [42] [43] [44] [45] . It will be interesting to clarify what numerous seeds induce in such generalized epidemic models. with and the initial condition Equation (A2) is substituted into Eq.(A1) to find the condition for s z−1,1 to remain finite as t → ∞, and thus, the lower bound of μ/λ gives the epidemic threshold, , which corresponds to the known result, (1). First, we evaluate the size distribution of the R component created by a single seed. To do this, we need to know the probability, p (k) , that an infected node will infect of k neighboring susceptible nodes before being removed. Such an infected node is removed before infecting any neighbors with a probability p (k) 0 = 1 1+kλ , so that the probability of its infecting at least one neighboring node before removal is 1 − p (k) 0 = kλ 1+kλ . As shown in Fig. 8 , we can express p (k) as a recursive form, From this equation, we find that the generating function of p (k) , satisfies the recursion relation with g 0 (x) = 1. Now let P n be the probability that a single seed creates an R component of size n, and let Q n be the probability that a node infected by another node further creates a partial R component of size n. Then, by considering the infection process starting FIG. 8 . Schematic of the recursive relation for p (k) . Let consider the probability p (k) that an infected node infects nodes of k susceptible neighbors before being removed [(a)→(d)]. The probability that this infected node is removed before infecting any neighbors [(a)→(b)] is p (k) 0 = 1/(1 + kλ). On the other hand, the event that this node infects one susceptible neighbor [(a)→(c)] occurs with probability 1 − p (k) 0 = kλ/(1 + kλ). At (c), the focal infected node infects further − 1 nodes from k − 1 remaining neighbors before being removed [(c)→(d)] with probability p (k−1) −1 because the infecting process is Markovian. Thus, p (k) , which is the probability from (a) to (d), is given as p (k−1) −1 × kλ/(1 + kλ). from a single seed, P n can be evaluated as where z ν = z − ν (Fig. 9 ). Introducing the corresponding generating functions, we can express the above relations (B4) and (B5) in a compact form as G 0 (x) = xg z (G 1 (x)) (B7) and G 1 (x) = xg z 1 (G 1 (x)), respectively. What we want to know is the mean size of the R component, n = G 0 (1), and the mean square size of the R component, n 2 = G 0 (1) + G 0 (1). To evaluate these values, we need the derivative of g k (x), which is given by from which the mean value k is easily found to be One also requires the second derivative, so that yielding Now we can evaluate the derivatives of G 0 (x) and G 1 (x) as G 0 = 2g z (G 1 )G 1 + xg z (G 1 )G 2 1 + xg z (G 1 )G 1 (B15) and G 1 = g z 1 (G 1 ) + xg z 1 (G 1 )G 1 , G 1 = 2g z 1 (G 1 )G 1 + xg z 1 (G 1 )G 2 1 + xg z 1 (G 1 )G 1 . (B17) Infectious Diseases of Humans: Dynamics and Control Dynamical Processes on Complex Networks Here we replaced the transmissibility T in [10] with λ as T = λ/(μ + λ) with μ = 1 The susceptibilities χ R and χ S are given as χ R = r =rmax r 2 n R (r) and χ S = s =smax s 2 n S (s) Introduction to Percolation Theory Finite components have no cyclic path in infinite locally treelike networks Let us consider a finite network with N nodes. The number of seeds is Nρ, and the mean R-component size for each seed is n FIG. 9. Schematic of P n (top) and Q n (bottom) for the case of the RRG with z = 3: P n = p (3) 0 δ n,1 + p (3) 1Setting x = 1 gives G 1 (1) = 1 andThese quantities provide an explicit expression for the first moment, M 1 , and the second cumulant, C 2 (and thus the second moment M 2 = C 2 + M 2 1 ), of P n asWhen λ approaches λ SIR c from below, G 1 (1) dominates the behavior of M 1 and C 2 . Indeed (B18) tells us that G 1 (1) diverges as δλ −1 , where δλ = λ SIR c − λ, and thusSubstituting Eq. (B22) for Eq. (26), we have a power-law dependence of the gap δλ on the seed fraction ρ as Eq. (27). The generating function of the probability that a supernode will have the degree k n is given byand that of the excess degree asLet u be the probability that a finite cluster of supernodes is found by following randomly chosen links; this satisfiesHere,p is the probability that the node reached by following a randomly chosen link is a component of a supernode and is given by Eq. (23) . Then, the density of the largest component of supernodes in size, i.e., r max , is evaluated aswhere we have used k n = (z − 2) n + 2 from Eq. (24).∞ 0 drdτ P (r)P (τ )e −rτ , where T ij is the probability that the disease did not transmit from node i to node j before node i was removed when we consider the pair of an infected node i and a susceptible node j , r is the infection rate between the focal pair, τ is the time for which the infected node remains infected, and P (r) and P (τ ) are the corresponding distributions. In the present case, we have P (r) = δ(r − λ) (because the infection rate is a constant λ), P (τ ) = μe −μτ (as the distribution of the interevent time of a Poisson process with parameter μ), and T = 1 − ∞ 0 drdτ δ(r − λ)μe −μτ e −rτ = 1 − μ