Epidemic Threshold in Continuous-Time Evolving Networks.

Current understanding of the critical outbreak condition on temporal networks relies on approximations (time scale separation, discretization) that may bias the results. We propose a theoretical framework to compute the epidemic threshold in continuous time through the infection propagator approach. We introduce the weak commutation condition allowing the interpretation of annealed networks, activity-driven networks, and time scale separation into one formalism. Our work provides a coherent connection between discrete and continuous time representations applicable to realistic scenarios.

Contagion processes, such as the spread of diseases, information, or innovations [1-5], share a common theoretical framework coupling the underlying population contact structure with contagion features to provide an understanding of the resulting spectrum of emerging collective behaviors [6]. A common keystone property is the presence of a threshold behavior defining the transition between a macroscopic-level spreading regime and one characterized by a null or negligibly small contagion of individuals. Known as the epidemic threshold in the realm of infectious disease dynamics [1], the concept is analogous to the phase transition in nonequilibrium physical systems [7,8], and is also central in social contagion processes [5,9-13].

A vast array of theoretical results characterize the epidemic threshold [14], mainly under the limiting assumptions of quenched and annealed networks [4,15-18], i.e., when the time scale of the network evolution is much slower or much faster, respectively, than the dynamical process. The recent availability of data on time-resolved contacts of epidemic relevance [19] has, however, challenged the time scale separation, showing it may introduce important biases in the description of the epidemic spread [19-33] and in the characterization of the transition behavior [31,34-37]. Departing from traditional approximations, few novel approaches are now available that derive the epidemic threshold constrained to specific contexts of generative models of temporal networks [22,32,35,38-41] or considering generic discrete-time evolving contact patterns [42-44]. In particular, the recently introduced infection propagator approach [43,44] is based on a matrix encoding the probabilities of transmission of the infective agent along time-respecting paths in the network. Its spectrum allows the computation of the epidemic threshold at any given time scale and for an arbitrary discrete-time temporal network. Leveraging an original mapping of the temporal network and epidemic spread in terms of a multilayer structure, the approach is valid in the discrete representation only, similarly to previous methods [17,18,35].

Meanwhile, a large interest in the study of continuously evolving temporal networks has developed, introducing novel representations [19,20,27,45] and proposing optimal discretization schemes [44,46,47] that may, however, be inaccurate close to the critical conditions [48]. Most importantly, the two representations—continuous and discrete—of a temporal network remain disjointed in current network epidemiology. A discrete-time evolving network is indeed a multilayer object interpretable as a tensor in a linear algebraic representation [49]. This is clearly no longer applicable when time is continuous, as it cannot be expressed in the form of successive layers. Hence, a coherent theoretical framework to bridge the gap between the two representations is still missing.

In this Letter, we address this issue by analytically deriving the infection propagator in continuous time. Formally, we show that the dichotomy discrete time–continuous time translates into the separation between a linear algebraic approach and a differential one, and that the latter can be derived as the structural limit of the former. Our approach yields a solution for the threshold of epidemics spreading on generic continuously evolving networks, and a closed form under a specific condition that is then validated through numerical simulations. In addition, the proposed novel perspective allows us to cast an important set of network classes into one single rigorous and comprehensive mathematical definition, including annealed [4,50,51] and activity-driven [35,52] networks, widely used in both methodological and applied research.

Let us consider a susceptible-infected-susceptible (SIS) epidemic model unfolding on a continuously evolving temporal network of nodes. The SIS model constitutes a basic paradigm for the description of epidemics with reinfection [1]. Infectious individuals () can propagate the contagion to susceptible neighbors () with rate , and recover to the state with rate . The temporal network is described by the adjacency matrix , with . We consider a discretized version of the system by sampling at discrete time steps of length (Fig. 1). This yields a finite sequence of adjacency matrices , where , and . The sequence approximates the original continuous-time network with increasing accuracy as decreases. We describe the SIS dynamics on this discrete sequence of static networks as a discrete-time Markov chain [17,18]: where is the probability that a node is in the infectious state at time step , and () is the probability that a node recovers (transmits the infection) during a time step , for sufficiently small .

FIG. 1.

Discrete sampling of a continuous-time temporal network. Links (, , ) activate in time as marked by the colored segments (top). This time evolution is sampled at intervals , building a sequence of snapshots (bottom), corresponding to adjacency matrices .

By mapping the system into a multilayer structure encoding both network evolution and diffusion dynamics, the infection propagator approach derives the epidemic threshold as the solution of the equation [43,44], where is the spectral radius of the following matrix: The generic element represents the probability that the infection can propagate from node at time step 1 to node at time step , when is close to and within the quenched mean-field approximation (locally treelike network [53]). For this reason, is denoted as the infection propagator.

To compute the continuous-time limit of the infection propagator, we observe that obeys the recursive relation . Expressed in continuous time and dividing both sides by , the relation becomes that in the limit yields a system of coupled differential equations whose components are The lhs of Eq. (4) is the derivative of that is well behaved if all entries are continuous functions of time. are, however, often binary, so that their evolution is a sequence of discontinuous steps. To overcome this, it is possible to approximate these steps with one-parameter families of continuous functions, compute the threshold, and then perform the limit of the parameter that recovers the discontinuity. More formally, this is equivalent to interpreting derivatives in the sense of tempered distributions [54].

In order to check that our limit process correctly connects the discrete-time framework to the continuous time one, let us now consider the standard Markov chain formulation of the continuous dynamics: Performing a linear stability analysis of the disease-free state [i.e., around ] in the quenched mean-field approximation [17,18], we obtain We note that this expression is formally equivalent to Eq. (5). In particular, each row of of Eq. (5) satisfies Eq. (7). Furthermore, the initial condition guarantees that in varying the row , we consider all vectors of the space basis as initial condition. Every solution of Eq. (7) can therefore be expressed as a linear combination of the rows of . Any fundamental matrix solution of Eq. (7) obeys Eq. (5) within the framework of the Floquet theory of nonautonomous linear systems [55].

The equivalence of the two equations shows that our limit of the discrete-time propagator encodes the dynamics of the continuous process. It is important to note that the limit process leading to Eq. (4) entails a fundamental change of paradigm on the representation of the network structure and contagion process, where the linear algebraic representation suitable in discrete time turns into a differential geometrical description of the continuous-time flow. While network and spreading dynamics in discrete time are encoded in a multilayer adjacency tensor, the continuous time description proposed in Eq. (5) rests on a representation of the dynamical process in terms of a manifold whose points are adjacency matrices (or a rank-2 tensor in the sense of Ref. [49]) corresponding to possible network and contagion states. The dynamics of Eq. (5) is then a curve on such a manifold, indicating which adjacency matrices to visit and in which order. In practice, we recover that the contagion process on a discrete temporal network corresponding to an ordered subset of the full multilayer structure of Ref. [49] becomes in the limit a spreading on a continuous temporal network represented through a one-dimensional ordered subset of a tensor field (formally the pullback on the evolution curve). The two frameworks, so far considered independently and mutually exclusive, thus merge coherently through a smooth transition in this novel perspective.

We now turn to solving Eq. (4) to derive an analytic expression of the infection propagator. By defining the rescaled transmissibility , we can solve Eq. (4) in terms of a series in [56], with and under the assumption that remains finite around the epidemic threshold for varying recovery rates. The recursion relation from which we derived Eq. (4) provides the full propagator for . Equation (8) computed in therefore yields the infection propagator for the continuous-time adjacency matrix , and is defined by the sum of the following terms: Equations (8) and (9) can be put in a compact form by using Dyson’s time-ordering operator [57]. It is defined as , with being Heaviside’s step function. The expression of the propagator is thus

Equation (10) represents an explicit general solution for Eq. (4) that can be computed numerically to arbitrary precision [56]. The epidemic threshold in the continuous-time limit is then given by .

We now discuss a special case where we can recover a closed-form solution of Eq. (10), and thus of the epidemic threshold. We consider continuously evolving temporal networks satisfying the following condition (weak commutation): i.e., the adjacency matrix at a certain time commutes with the aggregated matrix up to that time. In the introduced tensor field formalism, the weak commutation condition represents a constraint on the temporal trajectory, or equivalently, an equation of motion for .

Equation (11) implies that the order of factors in Eq. (9) no longer matters. Hence, we can simply remove the time-ordering operator in Eq. (10), yielding where is the adjacency matrix averaged over time. The resulting expression for the epidemic threshold for weakly commuting networks is then

This closed-form solution proves to be extremely useful as a wide range of network classes satisfies the weak commutation condition of Eq. (11). An important class is constituted by annealed networks [4,50,51]. In the absence of dynamical correlations, the annealed regime leads to , as the time ordering of contacts becomes irrelevant. Equation (11) can thus be reinterpreted as , where the average is carried out over . For long enough , approximates well the expected adjacency matrix of the annealed model, leading the annealed regime to satisfy Eq. (13). This result thus provides an alternative mathematical framework for the conceptual interpretation of annealed networks in terms of weak commutation. Originally introduced to describe disorder on quenched networks [58,59], annealed networks were mathematically described in probabilistic terms, with the probability of establishing a contact depending on the degree distribution and the two-node degree correlations [50]. Here we show that temporal networks whose adjacency matrix asymptotically commutes with the expected adjacency matrix are found to be in the annealed regime.

Equation (13) can also be used to test the limits of the time scale separation approach, by considering a generic temporal network not satisfying the weak commutation condition. If is small, we can truncate the series of the infection propagator [Eq. (8)] at the first order, , where , to recover indeed Eq. (13). The truncation thus provides a mathematical expression of the range of validity of the time-separation scheme for spreading processes on temporal networks, since temporal correlations can be disregarded when the network evolves much faster than the spreading process.

Extending the result of the annealed networks, we show that the weak commutation condition also holds for networks whose expected adjacency matrix depends on time as a scalar function (instead of being constant as in the annealed case), . Also in this case we have , so that the same treatment performed for annealed networks applies. Examples are provided by global trends in activation patterns, as often considered in infectious disease epidemiology to model seasonal variations of human contact patterns (e.g., due to the school calendar) [60].

When the time scale separation approach is not applicable, we find another class of weakly commuting temporal networks that are used as a paradigmatic network example for the study of contagion processes occurring on the same time scale of contacts evolution—the activity-driven model [35]. It considers heterogeneous populations where each node activates according to an activity rate , drawn from a distribution . When active, the node establishes connections with randomly chosen nodes lasting a short time (). Since the dynamics lacks time correlations, the weak commutation condition holds, and the epidemic threshold can be computed from Eq. (13). In the limit of large network size, it is possible to write the average adjacency matrix as . Through row operations we find that the matrix has , and thus only two nonzero eigenvalues, , , with . We compute them through the traces of ( and ) to obtain the expression of for Eq. (13): . The epidemic threshold becomes yielding the same result of Ref. [35], provided here that the transmission rate is multiplied by to make it a probability, as in Ref. [35].

Finally, we verify that for the trivial example of static networks, with an adjacency matrix constant in time, Eq. (13) reduces immediately to the result of Refs. [17,18].

We now validate our analytical prediction against numerical simulations on two synthetic models. The first is the activity-driven model with activation rate , , and average interactivation time , fixed as the time unit of the simulations. The transmission parameter is the probability upon contact and the model is implemented in continuous time. The second model is based on a bursty interactivation time distribution [31], with and tuned to obtain the same average interactivation time as before, . We simulate a SIS spreading process on the two networks with four different recovery rates, , i.e., ranging from a value that is 3 orders of magnitude larger than the time scale of the networks (slow disease), to a value equal to (fast disease). We compute the average simulated endemic prevalence for specific values of , using the quasistationary method [61] and compare the threshold computed with Eq. (13) with the simulated critical transition from extinction to endemic state. As expected, we find Eq. (13) to hold for the activity-driven model at all time scales of the epidemic process (Fig. 2), as the network lacks temporal correlations. The agreement with the transition observed in the bursty model, however, is recovered only for slow diseases, as at those time scales the network is found in the annealed regime. When network and disease time scales become comparable, the weakly commuting approximation of Eq. (13) no longer holds, as burstiness results in dynamical correlations in the network evolution [31].

FIG. 2.

Performance of the infection propagator estimate of the epidemic threshold in the continuous-time limit under the weak commutation approximation [Eq. (13)]. Panels report the average simulated endemic prevalence as a function of for the activity-driven model (a) and the bursty model (b). Different colors refer to explored values of the recovery rate . The vertical dashed line is the prediction for the critical transmissibility provided by Eq. (13).

Our theory offers a novel mathematical framework that rigorously connects discrete-time and continuous-time critical behaviors of spreading processes on temporal networks. It uncovers a coherent transition from an adjacency tensor to a tensor field resulting from a limit performed on the structural representation of the network and contagion process. We derive an analytic expression of the infection propagator in the general case that assumes a closed-form solution in the introduced class of weakly commuting networks. This allows us to provide a rigorous mathematical interpretation of annealed networks, encompassing the different definitions historically introduced in the literature. This work also provides the basis for important theoretical extensions, assessing, for example, the impact of bursty activation patterns or of the adaptive dynamics in response to the circulating epidemic. Finally, our approach offers a tool for applicative studies on the estimation of the vulnerability of temporal networks to contagion processes in many real-world scenarios, for which the discrete-time assumption would be inadequate.