Wesley Cota1, Angélica S Mata2, Silvio C Ferreira1,3. 1. Departamento de Física, Universidade Federal de Viçosa, 36570-900 Viçosa, Minas Gerais, Brazil. 2. Departamento de Física, Universidade Federal de Lavras, 37200-000 Lavras, Minas Gerais, Brazil. 3. National Institute of Science and Technology for Complex Systems, Brazil.
Abstract
We analyze two alterations of the standard susceptible-infected-susceptible (SIS) dynamics that preserve the central properties of spontaneous healing and infection capacity of a vertex increasing unlimitedly with its degree. All models have the same epidemic thresholds in mean-field theories but depending on the network properties, simulations yield a dual scenario, in which the epidemic thresholds of the modified SIS models can be either dramatically altered or remain unchanged in comparison with the standard dynamics. For uncorrelated synthetic networks having a power-law degree distribution with exponent γ<5/2, the SIS dynamics are robust exhibiting essentially the same outcomes for all investigated models. A threshold in better agreement with the heterogeneous rather than quenched mean-field theory is observed in the modified dynamics for exponent γ>5/2. Differences are more remarkable for γ>3, where a finite threshold is found in the modified models in contrast with the vanishing threshold of the original one. This duality is elucidated in terms of epidemic lifespan on star graphs. We verify that the activation of the modified SIS models is triggered in the innermost component of the network given by a k-core decomposition for γ<3 while it happens only for γ<5/2 in the standard model. For γ>3, the activation in the modified dynamics is collective involving essentially the whole network while it is triggered by hubs in the standard SIS. The duality also appears in the finite-size scaling of the critical quantities where mean-field behaviors are observed for the modified but not for the original dynamics. Our results feed the discussions about the most proper conceptions of epidemic models to describe real systems and the choices of the most suitable theoretical approaches to deal with these models.
We analyze two alterations of the standard susceptible-infected-susceptible (SIS) dynamics that preserve the central properties of spontaneous healing and infection capacity of a vertex increasing unlimitedly with its degree. All models have the same epidemic thresholds in mean-field theories but depending on the network properties, simulations yield a dual scenario, in which the epidemic thresholds of the modified SIS models can be either dramatically altered or remain unchanged in comparison with the standard dynamics. For uncorrelated synthetic networks having a power-law degree distribution with exponent γ<5/2, the SIS dynamics are robust exhibiting essentially the same outcomes for all investigated models. A threshold in better agreement with the heterogeneous rather than quenched mean-field theory is observed in the modified dynamics for exponent γ>5/2. Differences are more remarkable for γ>3, where a finite threshold is found in the modified models in contrast with the vanishing threshold of the original one. This duality is elucidated in terms of epidemic lifespan on star graphs. We verify that the activation of the modified SIS models is triggered in the innermost component of the network given by a k-core decomposition for γ<3 while it happens only for γ<5/2 in the standard model. For γ>3, the activation in the modified dynamics is collective involving essentially the whole network while it is triggered by hubs in the standard SIS. The duality also appears in the finite-size scaling of the critical quantities where mean-field behaviors are observed for the modified but not for the original dynamics. Our results feed the discussions about the most proper conceptions of epidemic models to describe real systems and the choices of the most suitable theoretical approaches to deal with these models.
Network science has been marked by its interdisciplinary nature since its consolidation as a new branch [1,2], especially the investigation of dynamical processes on networked substrates [3]. Epidemic spreading, one of the most prominent and widely investigated issues, is usually investigated by means of stochastic agent-based models [4]. Despite several advances in the understanding of epidemic models on networks [4-11], it remains target of recent intensive investigations [12-19].One of the most basic but still not fully understood epidemic processes on networks is the susceptible-infected-susceptible (SIS) model [4], which consists of agents lying on the vertices of a network which can be infected or susceptible. Infected individuals become spontaneously healed (susceptible) with rate and transmit the disease to their susceptible contacts with rate . In principle, the SIS dynamics can exhibit a phase transition between a disease-free (absorbing) state and an active stationary phase, in which the epidemics persists in an endemic state. The transition occurs at an epidemic threshold . However, for uncorrelated random networks with a power-law degree distribution , it was rigorously proved [5] and later put in sound physical grounds [11] that the absorbing phase is unstable in the thermodynamic limit implying that the epidemic threshold is formally zero.Considering that both real and computationally generated networks are finite, the finite-size dependence of the epidemic variables is a fundamental issue. Analytically, it is frequently accessed by mean-field approximations that take into account the network heterogeneity but truncate at some level the dynamical correlations [8]. Two classes of mean-field theories are mostly used. The degree-based theory [20,21], termed as heterogeneous mean-field (HMF) [1,3], is a coarse-grained mixing approach, in which the vertex degree is the relevant quantity. This method is closely related to the annealed network regime where the connections are rewired in time scales much shorter than those of the dynamical processes taking place on the top of the network [4,22]. The individual-based theory [23-25], termed quenched mean-field (QMF) [7], considers the network structure without mixing using its adjacency matrix [1]. These theories predict equivalent epidemic thresholds of the SIS dynamics on uncorrelated random networks with power-law degree distribution of exponent but are sharply conflicting for
[7], for which HMF predicts finite thresholds whereas QMF vanishing ones as . The latter is asymptotically in agreement with the exact results [5,6] and supported by stochastic simulations [11,26,27]. For , both theories state a null threshold as , but the way that the asymptotic value is approached and, thus, the effective finite-size thresholds are different. Improvements of these theories including dynamical correlations by means of pairwise approximations [8] do not change the foregoing scenarios [16,27,28].Recently, a criterion formerly conceived for SIS model [11] was applied to determine the nature of epidemic thresholds of generic processes on networks with power-law degree distributions [12]. The criterion involves the recovering time of an epidemics on a star graph, consisting of a central vertex connected to leaves of degree 1 that mimics the hubs of a network, and the time that the hubs take to mutually transmit the infection to each other. If , hubs remain active for times sufficiently long to infect each other and the epidemics is triggered by the mutual activation of hubs, leading to a vanishing threshold in the thermodynamic limit. If , the mutual reinfection is knocked out and the transition to an endemic phase can only take place collectively involving a finite fraction of the network and happens at a finite threshold. In Ref. [12], this criterion notably predicted that waning immunity [29], in which infected individuals are temporarily immunized before to become susceptible, leads to a finite threshold for which disagrees with the prediction of QMF approximation, but in agreement with extensive numerical simulations.A fundamental question naturally arises. How robust is the hub mutual activation mechanism of the standard SIS dynamics? In the present work, we tackle this problem comparing slightly modified versions of the standard SIS model, preserving the spontaneous healing and infection capacity increasing proportionally to the vertex degree. All modified and original models have the same thresholds in both HMF and QMF theories. However, the criterion of mutual reinfection time of hubs [11,12] predicts a finite threshold in the thermodynamic limit for the modified models in uncorrelated networks [30] with , in contrast with the standard SIS. Stochastic simulations [31] on large networks corroborate this prediction. For , we observed that the modified dynamics present a vanishing threshold in better agreement with HMF than QMF. For , the SIS infection mechanism is robust and all models have essentially the same epidemic threshold. This duality is explained in terms of epidemic activation mechanisms [9,12,32].Our results gathered with previous reports of Ref. [12], in which waning immunity can drastically change the threshold behavior, lead to the following take-home messages. First, the metastable, localized, and active states of the standard SIS dynamics necessary to sustain the endemic activity for any infection rate for are not universal and their realizations in real epidemic processes may be unrealistic. Second, for the widely more frequent case of networks with , the null threshold is a robust feature, obtained irrespectively of the existence of locally self-activated star subgraphs. In such an absence, epidemics is triggered in the innermost, densely connected component of the network given by a -core decomposition [33], while for the original SIS model it happens only for
[32]. Last but not least, the HMF theory [3,4,20], which has been frequently pretermitted due to its failure in capturing the asymptotically null epidemic threshold of the standard SIS for
[7,23,24], is more accurate than the QMF theory for the present modified SIS models and also in other models as contact processes [28] and SIRS [12]. The origins of this worse performance of the QMF theory is discussed in our conclusions.The remaining of the paper is organized as follows. Section II describes the investigated models, and their mean-field theories are discussed in Sec. III. Epidemic thresholds obtained in numerical simulations are presented and compared with mean-field theories in Sec. IV. The finite-size scaling of the critical quantities are provided in Sec. V. We draw our concluding remarks and prospects in Sec. VI. Appendices A, B, and C complement the paper with analytical and numerical details.
EPIDEMIC MODELS
We investigate three epidemic dynamics where each vertex of the network can be either infected or susceptible. The infected ones are spontaneously healed with rate in all models. In the standard SIS, hereafter called , an infected vertex infects each susceptible nearest-neighbor with rate . In the model, infection is a threshold process where susceptible vertices are infected with rate if they have at least one infected nearest-neighbor. Finally, is a modification of the contact process [35] where the infected vertices simultaneously infect all susceptible neighbors with rate . The symbols , , and make reference to standard, threshold, and all in the model definitions. The models rules and some details of their computer implementations described in Appendix A are summarized in Table I.
TABLE I.
Epidemic model definitions and some computer implementation details of the Gillespie algorithm (GA) presented in Appendix A. Symbols: is the number of infected vertices; is number of susceptible vertices with at least one infected nearest neighbor; is the number of edges emanating from infected vertices; and is random variable uniformly distributed in the interval (0,1).
SIS-T (threshold) [36,37]
SIS-A (all) [38,39]
SIS-S (standard) [4]
Infected vertices are
Infected vertices are
Infected vertices are
spontaneously healed
spontaneously healed
spontaneously healed
with rate μ
with rate μ
with rate μ
Susceptible vertices become
Infected vertices infect
Infected vertices
infected with rate λ
at once all susceptible
independently infect
if they have at least one
neighbors with
each susceptible neighbor
infected neighbor
rate λ
with rate λ
GA infection probability
GA infection probability
GA infection probability
q=λNSIμNinf+λNSI
q=λμ+λ
q=λNeμNinf+λNe
GA time step
GA time step
GA time step
τ=−ln(u)μNinf+λNSI
τ=−ln(u)(μ+λ)Ninf
τ=−ln(u)μNinf+λNe
This is an asynchronous version of the model investigated in seminal papers [20,34] dealing with epidemic spreading on networks.Epidemic model definitions and some computer implementation details of the Gillespie algorithm (GA) presented in Appendix A. Symbols: is the number of infected vertices; is number of susceptible vertices with at least one infected nearest neighbor; is the number of edges emanating from infected vertices; and is random variable uniformly distributed in the interval (0,1).The modified dynamics preserve two central features of the standard SIS model: spontaneous healing and infection capacity of a vertex increasing proportionally to its degree. All models have their counterparts in regular lattices with a fixed coordination number : can be mapped in the contact process (CP) [35,40], in which infected vertices transmit to a nearest-neighbor chosen at random with rate and heals spontaneously, using . was investigated in Refs. [38,39] while was investigated in Refs. [36,37]. In lattices, all models belong to the directed percolation universality class [35].Figure 1 shows two important situations where the modified models differ from the standard SIS. Consider an infinitesimal time interval and an infected vertex (the center) surrounded by susceptible neighbors (leaves); see Fig. 1(a). The probability that leaves are infected by the center for both and is
while for it is
where is the Kronecker symbol. Note that both expressions produce the same mean number of infected leaves . Now, the probability that a susceptible center surrounded by infected leaves, Fig. 1(b), is infected is given by
for and , while for it becomes
So, while the infection of leaves by the center in is equivalent to , the infection of the center by leaves in is equivalent to .
FIG. 1.
Some infection processes in the SIS models. (a) An infected vertex (center) with many susceptible neighbors (leaves). (b) A susceptible center with infected leaves. Transition probabilities are defined in Eqs. (1)–(4).
Some infection processes in the SIS models. (a) An infected vertex (center) with many susceptible neighbors (leaves). (b) A susceptible center with infected leaves. Transition probabilities are defined in Eqs. (1)–(4).The simulations of these models were performed using the algorithms described in Appendix A, which include phantom processes [31] in the statistically exact Gillespie algorithm (GA) [41] for the simulations of general Markovian stochastic processes. Some important implementation details are highlighted in Table I. The equivalence between optimized prescriptions and the original GA as well as their computational performances for several models, including , can be found in Ref. [31]. The implementations of and can be derived in an analogous way.
MEAN FIELD ANALYSIS
The HMF theory consists in dynamical equations for the probability that a vertex of degree is infected and disregards the stochasticity of the process. The probability that a neighbor of a vertex of degree is infected reads as [34]
where is the probability that a neighbor of a vertex with degree has degree . So, evolves as
where for and , and for . The QMF theory consists of dynamical equations for the probability that a vertex is infected and reads as
where for and , and
for , in which and the adjacency matrix is given by if and are connected and otherwise. The multiple simultaneous infections in do not play a role in these one-vertex mean-field theories since there are no multiple connections. It is worth mentioning that the HMF theory of for uncorrelated networks with
[42] was recently investigated [43].The mean-field epidemic thresholds can be obtained with the stability analysis and linearization of Eqs. (5) and (6) around the fixed points or , respectively. The linearized equations are the same for the three models
and
where . The HMF and QMF thresholds are obtained when the largest eigenvalue of the respective Jacobians and are zero. For the HMF theory, it is given by [44]
where is the largest eigenvalue of . For uncorrelated networks we obtain
where . For the QMF theory, we obtain [7]
where is the largest eigenvalue of the adjacency matrix .The HMF theory on uncorrelated networks was compared with the numerical simulations on annealed networks (see Appendix A), for which this theory exactly predicts the threshold and average density of infected vertices in the thermodynamic limit [22,45]. Simulations with absorbing states near the transition need special techniques [31]. We use here the standard quasistationary (QS) method described in Ref. [46], in which the averaging is constrained to the active states and converges to the actual stationary phase in the thermodynamic limit. The threshold in finite networks can be estimated using the principal peak of the dynamical susceptibility defined in the QS state as [26]Figures 2(a) and 2(c) confirm the agreement between simulations on annealed networks and HMF theory for the stationary densities and the thresholds, respectively, in all investigated models. However, the fluctuations of the order parameter are different as shown by the susceptibility curves in Fig. 2(b). See also Sec. V.
FIG. 2.
Comparison of HMF theory and simulations on annealed networks with vertices, degree distribution , minimal degree , and upper cutoff . (a) QS density and (b) susceptibility versus infection rate curves are shown. Lines in (a) are numerical solutions of Eq. (5) in the stationary regime and the arrow indicates the HMF epidemic threshold . (c) Finite-size dependence of the threshold estimated via susceptibility and HMF theory. The curves correspond to averages over 10 independent network realizations.
Comparison of HMF theory and simulations on annealed networks with vertices, degree distribution , minimal degree , and upper cutoff . (a) QS density and (b) susceptibility versus infection rate curves are shown. Lines in (a) are numerical solutions of Eq. (5) in the stationary regime and the arrow indicates the HMF epidemic threshold . (c) Finite-size dependence of the threshold estimated via susceptibility and HMF theory. The curves correspond to averages over 10 independent network realizations.
SIS MODELS ON SYNTHETIC QUENCHED NETWORKS
Epidemic thresholds
We investigate networks having power-law degree distribution , generated with the uncorrelated configuration model (UCM) [30] with minimal vertex degree and structural upper cutoff , granting the absence of degree correlations [47] permitting, therefore, comparison with the HMF epidemic threshold given by Eq. (10). The thresholds obtained in simulations are compared with HMF and QMF theories in Fig. 3.
FIG. 3.
Epidemic thresholds for SIS models on UCM networks with , , and different degree exponents (a) , (b) 2.7, and (c) 3.5. Solid and dashed lines correspond to HMF and QMF theories, respectively. Curves are averages over 10 network realizations. Negligible error bars in mean-field theories are not shown.
Epidemic thresholds for SIS models on UCM networks with , , and different degree exponents (a) , (b) 2.7, and (c) 3.5. Solid and dashed lines correspond to HMF and QMF theories, respectively. Curves are averages over 10 network realizations. Negligible error bars in mean-field theories are not shown.For , here represented by in Fig. 3(a), all models have approximately the same threshold well described by both HMF and QMF theories, which have already been reported for
[26].For , represented by in Fig. 3(b), and have essentially the same threshold whose scaling is very well fitted by the HMF theory and deviates from QMF. The threshold of the standard vanishes with a scaling deviating from both HMF and QMF scalings. A good agreement between the threshold of the standard SIS for can be recovered with the pairwise QMF theory of Ref. [27] but not with the pairwise HMF theory of Refs. [16,28]; see Appendix B.The results for modified SIS models are markedly contrasting with the standard one for , represented by in Fig. 3(c). The modified and dynamics present a finite threshold in very satisfactory accordance with HMF theory and contrasting with the original that presents the well-known threshold approaching zero as the size increases. Note, however, that the thresholds of have a scaling incompatible with QMF for the investigated size range that cannot be reckoned by neither pairwise QMF [27] or HMF [16,28] theories (see Appendix B). The latter still predicts a finite threshold, inconsistent with simulations and the rigorous results [5] for .In the case of multiple peaks, which can be observed in on large UCM networks with
[26,27], the principal peak is the one that provide a threshold closest to the lifespan divergence and matches the threshold of the lifespan method proposed in Ref. [11]; see Ref. [13].
Activation mechanisms for
To clarify the antagonistic results for , we consider the recovering time of the epidemics on star graphs for small values of . Figure 4(a) shows the epidemic lifespan for the distinct SIS models as a function of the star graph size. For standard , we see an exponential growth predicted by the approximated discrete time dynamics of Ref. [11] (also Ref. [12]) given by ; see Appendix C. However, and present epidemic lifespans increasing very slowly with graph size, consistent with a logarithmic growth. Applying the discrete time approach, a finite lifespan is obtained for and, after some refinement of the theory, a logarithmic increase is found for ; see Appendix C for details. Indeed, the activities in are more correlated, and this has a significant effect on the probability of hub activation.
FIG. 4.
(a) Activity lifespan for epidemic processes on star graphs. The initial condition is the center infected and all leaves susceptible. The number of runs varies from to , the larger number the smaller . (b) Mutual reinfection of hubs scaled according to Eq. (13). The degree exponent is , the size is and infection rate is . The vertex that is kept infected has degree . The dashed line is the prediction of the right-hand side of Eq. (13).
(a) Activity lifespan for epidemic processes on star graphs. The initial condition is the center infected and all leaves susceptible. The number of runs varies from to , the larger number the smaller . (b) Mutual reinfection of hubs scaled according to Eq. (13). The degree exponent is , the size is and infection rate is . The vertex that is kept infected has degree . The dashed line is the prediction of the right-hand side of Eq. (13).An upper bound for the long-range infection times of hubs of degrees and , denoted by , for uncorrelated networks can be obtained following the same steps of Ref. [11] (also Ref. [12]). The result is the same for all investigated SIS models and given by
where and . Even being rigorously an upper bound, the right-hand side of Eq. (13) works very accurately for and such that we can adopt as done for
[11] and other epidemic models [12]. This agreement is confirmed in Fig. 4(b) for . The simulation is run keeping one single vertex of degree always infected (never heals) and computing the time for the infection to reach for the first time each vertex of the network, limited to a maximal time . Vertices that were not reached are not included in the averages but they represent a tiny fraction.With the approximation given by the right-hand side of Eq. (13), we have that , where is the largest degree of the network that scales as for UCM networks with
[47]. Also, we have that is finite since converges to a constant as for , providing an algebraic increase of with . The condition is obeyed such that epidemics in the modified SIS models cannot be activated by hubs when and a collective phase transition at finite threshold is expected [12] in contrast with of the standard SIS, in which the hub activation mechanism is at work and the threshold is null in the thermodynamic limit.For , the hubs are sufficiently close [48] to infect each other even if their activity lifespans are not too large (exponential) and the threshold goes to zero for all models as . However, there exists a difference in the threshold scaling for but does not for . It has been claimed [9] that the most effective spreaders in an epidemic processes lie in a subset containing the innermost core of the networks identified by the maximal index of the -core decomposition
[22,33]. For , this mechanism is claimed to hold for uncorrelated networks with but the case has activation ruled by the hubs [32]. Since hubs cannot be activated in isolation for arbitrarily small in and , we propose that the epidemic threshold should be ruled by the subgraph identified by the maximal -core for the whole range of scale-free networks with .A -core decomposition consists of the following pruning process. Remove all vertices with degree plus their edges and all other vertices that possess a degree after the removal until no more vertices of degree appear in the process. Next, the procedure is repeated for all vertices of degree and so on until all vertices are removed. The maximal -core corresponds to the subset of vertices and edges removed in the last step of the decomposition.To check this conjecture we ran SIS models on subgraphs containing only the vertices belonging to either the maximum -core or the star graph centered on the most connected vertex of the network with degree . Figure 5(a) shows that the and essentially have the same activation threshold for the maximal -core for both values of and 2.7 while the activation of the stars centered on the most connected vertex happens in very different thresholds for these models. The same analysis holds in the not shown data for . Therefore, the following framework can be drawn. For , the -core is activated first than hubs and the epidemic activation is triggered in the maximal -core for all models. For , the hubs are activated firstly for while -core is activated firstly in the other models such that the epidemic activation is due to hubs for the standard model and still -core for the modified dynamics.
FIG. 5.
Epidemic thresholds for and running on the maximum -core subgraph of networks with degree exponents and 2.7. The simulation results on star graphs with leaves are also presented. The averages were done over 10 networks realizations.
Epidemic thresholds for and running on the maximum -core subgraph of networks with degree exponents and 2.7. The simulation results on star graphs with leaves are also presented. The averages were done over 10 networks realizations.For , the effective epidemic thresholds for the entire networks are smaller than those calculated using only the maximal -core or star centered on the largest hub even with these subgraphs being associated with the activation of the epidemics. We performed simulations in a subgraph with the maximal -core plus their nearest-neighbors, which still represents a subextensive fraction of the network as shown in the inset of Fig. 6. The epidemic thresholds in this subset are essentially the same as those of the whole network for all models, as shown in Fig. 6 for and . The trimming of edges reduces the epidemic activity in the subset containing only the maximal -core while the -core mediates the mutual interactions among hubs in the activation driven by them. We see that a large fraction of the network is redundant for the epidemic threshold independently if hub () or -core activation ( and ) is at work. In both cases, the relevant region to reproduce the numerical threshold includes the maximal -core plus its nearest neighbors.
FIG. 6.
Epidemic thresholds for and running on a subgraph with the maximum -core plus the nearest-neighbor (NN) vertices of a UCM network with . Inset shows the fraction of the network that belongs to the maximal -core including or not its NNs. Lines are power-law regressions.
Epidemic thresholds for and running on a subgraph with the maximum -core plus the nearest-neighbor (NN) vertices of a UCM network with . Inset shows the fraction of the network that belongs to the maximal -core including or not its NNs. Lines are power-law regressions.Returning to the case , UCM networks do not present a -core structure in the sense that the decomposition provides a single component containing the whole network [33]. So, since hubs cannot sustain activity for , the phase transition happens collectively, involving a finite fraction of the network at a finite threshold [12].
FINITE-SIZE SCALING OF CRITICAL QUANTITIES
The transition between endemic and disease-free phases can be suited as an absorbing state phase transition [35,49]. The finite-size scaling (FSS) at the critical point (or epidemic threshold) is fundamental for the characterization of the transition and its critical exponents [35,49]. Several studies concerned with the universality of the phase transition of the contact process [35] on complex networks have been performed both numerically and analytically [28,45,50-56]. For , numerical analyses have been done [26,46]. A basic approach is to fit the critical QS density and susceptibility to power-laws in the forms
and
where and are the critical exponents related to FSS.We considered simulations on annealed networks with same degree distributions as the quenched ones to represent the mean-field counterpart; see Appendix A for algorithms. Figure 7 presents the FSS of and at the effective, size-dependent epidemic threshold of the three SIS models on both UCM and annealed networks. For , we used a hard cutoff that prevents outliers in the degree distribution and multiple peaks in the susceptibility curves of quenched networks [13,26] making, thus, the determination of the transition point much more accurate; see Refs. [13,31] for further discussion. For the structural cutoff was used. The FSS exponents obtained by simple power-law regressions for are shown in Table II. Uncertainties were calculated using different fit regions aiming at establishing equivalences or discrepancies between annealed and quenched simulations rather than accurate estimates of the asymptotic exponents.
FIG. 7.
Finite-size scaling of the critical QS quantities for SIS models on UCM networks with different degree exponents. The QS densities of infected vertices are shown in (a)–(c) while the QS susceptibilities are shown in (d)–(f). The data correspond to averages over 10 network realizations and error bars are smaller than symbols.
TABLE II.
Critical exponents of the FSS for the SIS models on UCM ( and ) and annealed ( and ) networks. Exponents for with are missing due to the smearing of the transition.
γ=2.25
γ=2.7
γ=3.5
Model
ν
νann
ν
νann
ν
νann
T
0.845(6)
0.84(2)
0.697(4)
0.692(6)
0.55(1)
0.555(3)
A
0.519(9)
0.517(4)
0.52(1)
0.515(9)
0.499(6)
0.49(3)
S
0.63(2)
0.655(2)
0.60(2)
0.57(1)
–
0.506(7)
ϕ
ϕann
ϕ
ϕann
ϕ
ϕann
T
0.167(2)
0.169(1)
0.353(1)
0.352(1)
0.458(1)
0.467(3)
A
0.530(2)
0.528(2)
0.514(1)
0.513(1)
0.494(1)
0.497(1)
S
0.329(5)
0.329(4)
0.372(1)
0.421(1)
–
0.496(1)
Finite-size scaling of the critical QS quantities for SIS models on UCM networks with different degree exponents. The QS densities of infected vertices are shown in (a)–(c) while the QS susceptibilities are shown in (d)–(f). The data correspond to averages over 10 network realizations and error bars are smaller than symbols.Critical exponents of the FSS for the SIS models on UCM ( and ) and annealed ( and ) networks. Exponents for with are missing due to the smearing of the transition.The FSS of the critical quantities provides a scenario in consonance with that observed for the thresholds. The FSS of both and are in full agreement with the annealed simulations showing their mean-field behaviors for all values of investigated. Moreover, the agreement between quenched and annealed networks is also found for for . For , the dichotomy with respect to is again present. A significant difference in the scaling happens for and a sharp difference is obtained for . In the latter, we can see a susceptibility of the bending downwardly for the quenched network, which has been associated to a smearing of the phase transition [57], while in the annealed network a power-law typical of an ordinary critical phase transition is seen. No sign of smearing is observed for and .The FSS provides different exponents for distinct models. So, despite being described by the same mean-field equations, the role played by stochastic fluctuations depends on the model. Further analytical studies are required to clarify the distinction among the exponents.
DISCUSSION
Conception of theoretical frameworks for epidemic processes frequently passes over the model's fine-tuning due to the belief that universality takes over and all central features, related to the leading properties and symmetries of a system, will be obtained irrespective of the specific details. However, this does not seem to be always the case when the substrate carrying out the process is a complex network. The standard SIS model, called in this work, is an example that behaves very differently from most of other related processes. For example, while many fundamental models on random networks with a power-law degree distribution (susceptible infected recovered (SIR) model [58], Ising model [59,60], synchronization [61], etc.) have a finite order parameter for any value of the control parameter only for degree exponent
[3], this happens for any value of in
[5,7]. A dichotomy also appears in the two basic mean-field theories for , namely, QMF and HMF, which predict different outcomes for the epidemic threshold for
[7,26], being only QMF in agreement with the asymptotically null threshold for .One could naturally wonder if these peculiar characteristics of are universal features observed in many other processes. We investigated two slightly different versions of the standard SIS, termed and , in which the spontaneous healing and the unlimited infection capacity of a vertex are preserved. These alternative models present exactly the same thresholds of the in both QMF and HMF theories. Stochastic simulations on uncorrelated synthetic networks, however, show a dual scenario where the three models have essentially the same vanishing thresholds for but disparate results are found for . In particular, a finite threshold is observed for in both modified models, in contrast with the asymptotically null threshold of the standard case. This same framework was observed for SIRS model in Ref. [12], in which an individual acquires temporary immunity when the agents cannot neither transmit infection nor be infected. The dissonance is explained in terms of self-sustained, long-lived activation of hubs for any finite value of
[11] that holds for but does not for the other models. The epidemic lifespan of hubs with the modified dynamics increases slowly (algebraically or logarithmically) with the hub degree in contrast with the exponential increase of the standard case. The last one permits the long-range mutual activation or reactivation of hubs [11,12].We also analyzed the activation mechanisms of the epidemic phase on uncorrelated networks. While the activation for occurs in the innermost, densely connected core of the network, determined by the largest index of a -core decomposition, for and in hubs for
[32], this happens for the whole range of scale-free networks with for and . Absence of a -core organization [33] and a short-lived activity in star subgraphs as for suggests that the activation of the epidemic phase in the modified SIS models is collective, involving essentially the whole network [12], and occurs at a finite threshold.The aforementioned dichotomy is also observed in the finite-size scaling of the quasistationary density and susceptibility computed at the epidemic threshold. Agreements between simulations on quenched and annealed versions of the investigated networks are observed for and irrespective of the degree exponent. In turn, they deviate in the hub activated regime with in , being more marked for where the transition observed for quenched networks seems to be smeared [57], in contrast with a regular critical transition in the annealed case.Here, we also comment the nature of the epidemic activation in processes with spontaneous healing with uniform rates and a bounded infection produced by a vertex, differing from the three SIS models investigated here and from SIRS [12]. In these bounded infection models, the epidemic lifespan on stars is finite for any value of the infection rate [12] and the epidemics can be activated only collectively in a finite threshold for any value of , as observed in simulations of the contact process on quenched networks [50,52,54], for example. Table III summarizes the activation mechanism of the different epidemic models investigated or discussed in the present work.
TABLE III.
Activation mechanisms for different epidemic models presenting active steady states on uncorrelated networks with degree distribution .
Model
2<γ<5/2
5/2<γ<3
γ>3
SIS-S
Max k-core
Hub
Hub
SIS-T
Max k-core
Max k-core
Collective
SIS-A
Max k-core
Max k-core
Collective
SIRS
Max k-core
Max k-core
Collective
CP
Collective
Collective
Collective
Activation mechanisms for different epidemic models presenting active steady states on uncorrelated networks with degree distribution .An interesting point observed in our analysis is that the HMF theory was more accurate than QMF theory in all investigated cases, except for . Dynamical correlations are neglected in both approaches assuming that the states of interacting vertices, in case of QMF, or interacting compartments, in the case of HMF, are independent. This approximation becomes more problematic for QMF since we explicitly reckon the interactions with the actual nearest-neighbors of each vertex and assume that their states are independent. The leading approximation in HMF is to assume that the probability to be infected depends only on the vertex degree, neglecting the local structure of the network. As an effect, HMF theory may not be able to capture localized activity due to specific motifs as those observed for star subgraphs in the model. Finally, QMF theory is not a genuine mean-field approach since it does not present mixing of vertices while HMF does through the degree compartmentalization. Our results thus reinforces the belief that mean-field approaches with heterogeneous mixing are suitable approximations for most dynamical processes on networks with a small-world property, in which the average distance between vertices increases logarithmically with the system size [1].Our results gathered with previous reports raise an important question on the modeling of epidemic processes on networks. Once details may matter, which would be the actual mechanisms used in models that correspond to real epidemics and which would be the best approaches to analytically investigate real epidemic processes? The summary presented in Table III suggests that the hub activation mechanism, intensively investigated recently [5,7,11-13,15,17,62,63], seems to be more a peculiarity than a rule in epidemic spreading. We expect that our results will guide the analysis of other classes of the dynamical process on networks such as the complex contagion models [64-67] where activation requires more than one interaction to be effected.
Authors: Guilherme Ferraz de Arruda; Lucas G S Jeub; Angélica S Mata; Francisco A Rodrigues; Yamir Moreno Journal: Nat Commun Date: 2022-06-01 Impact factor: 17.694