We study non-Markovian stochastic epidemic models (SIS, SIR, SIRS, and SEIR), in which the infectious (and latent/exposing, immune) periods have a general distribution. We provide a representation of the evolution dynamics using the time epochs of infection (and latency/exposure, immunity). Taking the limit as the size of the population tends to infinity, we prove both a functional law of large number (FLLN) and a functional central limit theorem (FCLT) for the processes of interest in these models. In the FLLN, the limits are a unique solution to a system of deterministic Volterra integral equations, while in the FCLT, the limit processes are multidimensional Gaussian solutions of linear Volterra stochastic integral equations. In the proof of the FCLT, we provide an important Poisson random measures representation of the diffusion-scaled processes converging to Gaussian components driving the limit process.
This paper provides an additional probabilistic interpretation of the limiting functions for the SIR epidemic on the configuration model derived in the paper by Janson, Luczak and Windridge (2014).
A feature often observed in epidemiological networks is significant heterogeneity in degree. A popular modelling approach to this has been to consider large populations with highly heterogeneous discrete contact rates. This paper defines an individual-level non-Markovian stochastic process that converges on standard ODE models of such populations in the appropriate asymptotic limit. A generalised Sellke construction is derived for this model, and this is then used to consider final outcomes in the case where heterogeneity follows a truncated Zipf distribution.
Heterogeneous Markovian Susceptible-Infected-Susceptible (SIS) epidemics with a general infection rate matrix $\widetilde{A}$ are considered. Using a non-negative matrix factorization to approximate $\widetilde{A}$, we are able to identify when a metastable state can be expected, and that the metastable distribution, under certain conditions, will feature a normal distribution with known expectation and covariance. Furthermore, we model a heterogeneous Markovian SIS epidemic, that starts with a fraction of initially infected nodes different from that in the metastable state, by approximating i…
We present a new method for analyzing stochastic epidemic models under minimal assumptions. The method, dubbed DSA, is based on a simple yet powerful observation, namely that population-level mean-field trajectories described by a system of PDE may also approximate individual-level times of infection and recovery. This idea gives rise to a certain non-Markovian agent-based model and provides an agent-level likelihood function for a random sample of infection and/or recovery times. Extensive numerical analyses on both synthetic and real epidemic data from the FMD in the United Kingdom and the C…
In this survey paper, we review the recent advances in individual based non--Markovian epidemic models. They include epidemic models with a constant infectivity rate, varying infectivity rate or infection-age dependent infectivity, infection-age recovery rate (or equivalently, general law of infectious period), as well as varying susceptibility/immunity. We focus on the scaling limits with a large population, functional law of large numbers (FLLN) and functional central limit theorems (FCLT), while the large and moderate deviations for some Markovian epidemic models are also reviewed. In the F…
Cator and Van Mieghem [Cator E, Van Mieghem P., Phys. Rev. E 89, 052802 (2014)] stated that the correlation of infection at the same time between any pair of nodes in a network is non-negative for the Markovian SIS and SIR epidemic models. The arguments used to obtain this result rely strongly on the graphical construction of the stochastic process, as well as the FKG inequality. In this note we show that although the approach used by the authors applies to the SIS model, it cannot be used for the SIR model as stated in their work. In particular, we observe that monotonicity in the process is …
We study the spread of an SIRS-type epidemic with vaccination on network. Starting from an exact Markov description of the model, we investigate the mean epidemic lifetime by providing a sufficient condition for fast extinction that depends on the model parameters and the topology of the network. Then, we pass to consider a firstorder mean-field approximation of the exact model and its stability properties, by relying on the graph-theoretical notion of equitable partition. In the case of graphs possessing this kind of partition, we prove that the endemic equilibrium can be computed by using a …
We analyze the dynamics of a population of independent random walkers on a graph and develop a simple model of epidemic spreading. We assume that each walker visits independently the nodes of a finite ergodic graph in a discrete-time markovian walk governed by his specific transition matrix. With this assumption, we first derive an upper bound for the reproduction numbers. Then we assume that a walker is in one of the states: susceptible, infectious, or recovered. An infectious walker remains infectious during a certain characteristic time. If an infectious walker meets a susceptible one on th…
We consider Markovian susceptible-infectious-removed (SIR) dynamics on time-invariant weighted contact networks where the infection and removal processes are Poisson and where network links may be directed or undirected. We prove that a particular pair-based moment closure representation generates the expected infectious time series for networks with no cycles in the underlying graph. Moreover, this ``deterministic'' representation of the expected behaviour of a complex heterogeneous and finite Markovian system is straightforward to evaluate numerically.
Networks have become an important tool for infectious disease epidemiology. Most previous theoretical studies of transmission network models have either considered simple Markovian dynamics at the individual level, or have focused on the invasion threshold and final outcome of the epidemic. Here, we provide a general theory for early real-time behaviour of epidemics on large configuration model networks (i.e. static and locally unclustered), in particular focusing on the computation of the Malthusian parameter that describes the early exponential epidemic growth. Analytical, numerical and Mont…
Moment-closure techniques are commonly used to generate low-dimensional deterministic models to approximate the average dynamics of stochastic systems on networks. The quality of such closures is usually difficult to asses and the relationship between model assumptions and closure accuracy are often difficult, if not impossible, to quantify. Here we carefully examine some commonly used moment closures, in particular a new one based on the concept of maximum entropy, for approximating the spread of epidemics on networks by reconstructing the probability distributions over triplets based on thos…
Evaluating the Impact of Epidemic Control via State-Dependent Markovian Switching Modeling
National and Kapodistrian University of Athens（雅典国立卡波季斯特里安大学）；Université de Lorraine（洛林大学）；CentraleSupélec, Université Paris-Saclay（巴黎萨克雷大学中央理工-高等师范学院）
Is studied asymptotic expansion for solution of singularly perturbed equation for functional of Markovian evolution in Rd. The view of regular and singular parts of solution is found.
We study epidemic models where the infectivity of each individual is a random function of the infection age (the elapsed time of infection). To describe the epidemic evolution dynamics, we use a stochastic process that tracks the number of individuals at each time that have been infected for less than or equal to a certain amount of time, together with the aggregate infectivity process. We establish the functional law of large numbers (FLLN) for the stochastic processes that describe the epidemic dynamics. The limits are described by a set of deterministic integral equations, which has a furth…
We study a stochastic spatial epidemic model where the $N$ individuals carry two features: a position and an infection state, interact and move in $\R^d$. In this Markovian model, the evolution of the infection states are described with the help of the Poisson Point Processes , whereas the displacement of the individuals are driven by mean field advection, a (state dependence) diffusion and also a common noise, so that the spatial dynamic is a random process. We prove that when the number $N$ of individual goes to infinity, the conditional propagation of chaos holds : conditionnally to the com…
In a previous paper Sharkey et al. [13] proved the exactness of closures at the level of triples for Markovian SIR (susceptible-infected-removed) dynamics on tree-like networks. This resulted in a deterministic representation of the epidemic dynamics on the network that can be numerically evaluated. In this paper, we extend this modelling framework to certain classes of networks exhibiting loops. We show that closures where the loops are kept intact are exact, and lead to a simplified and numerically solvable system of ODEs (ordinary-differential-equations). The findings of the paper lead us t…
In this paper, we prove functional central limit theorems (FCLTs) for a stochastic epidemic model with varying infectivity and general infectious periods recently introduced in Forien, Pang and Pardoux (2020).The infectivity process (total force of infection at each time) is composed of the independent infectivity random functions of each infectious individual, which starts at the time of infection. These infectivity random functions induce the infectious periods (as well as exposed, recovered or immune periods in full generality), whose probability distributions can be very general. The epide…
We study a stochastic SIS (susceptible-infected-susceptible) epidemic dynamics on network, under the effect of a Markovian regime-switching. We first prove the existence of a unique global positive solution, and find a positive invariant set for the system. Then, we find sufficient conditions for a.s. extinction and stochastic permanence, showing also their relation with the stationary probability distribution of the Markov chain that governs the switching and with the network topology. We provide an asymptotic lower bound for the time average of the sample-path solution under the conditions e…
To better describe the spread of a disease, we extend a discrete time stochastic SIR-type epidemic model of Tuckwell and Williams. We assume the dependence on time of the number of daily encounters and include a parameter to represent a possible quarantine of the infectious individuals. We provide an analytic description of this Markovian model and investigate its dynamics. Both a diffusion approximation and the basic reproduction number are derived. Through several simulations, we show how the evolution of a disease is affected by the distribution of the number of daily encounters and its dep…
We study multi-patch epidemic models where individuals may migrate from one patch to another in either of the susceptible, exposed/latent, infectious and recovered states. We assume that infections occur both locally with a rate that depends on the patch as well as "from distance" from all the other patches. The exposed and infectious periods have general distributions, and are not affected by the possible migrations of the individuals. The migration processes in either of the three states are assumed to be Markovian, and independent of the exposed and infectious periods. We establish a functi…
We develop an explicit non-randomized solution to the Skorokhod embedding problem in an abstract setup of signed functionals of Markovian excursions. Our setting allows to solve the Skorokhod embedding problem, in particular, for diffusions and their (signed, scaled) age processes, for Azema's martingale, for spectrally one-sided Levy processes and their reflected versions, for Bessel processes of dimension smaller than 2, and for their age processes, as well as for the age process of excursions of Cox-Ingersoll-Ross processes. This work is a continuation and an important generalization of Obl…
The reconstruction of phylogenetic trees based on viral genetic sequence data sequentially sampled from an epidemic provides estimates of the past transmission dynamics, by fitting epidemiological models to these trees. To our knowledge, none of the epidemiological models currently used in phylogenetics can account for recovery rates and sampling rates dependent on the time elapsed since transmission. Here we introduce an epidemiological model where infectives leave the epidemic, either by recovery or sampling, after some random time which may follow an arbitrary distribution. We derive an exp…
A Markovian SIR (Susceptible-Infectious-Recovered) model is considered for the spread of an epidemic on a configuration model network, in which susceptible individuals may take preventive measures by dropping edges to infectious neighbours. An effective degree formulation of the model is used in conjunction with the theory of density dependent population processes to obtain a law of large numbers and a functional central limit theorem for the epidemic as the population size $N \to \infty$, assuming that the degrees of individuals are bounded. A central limit theorem is conjectured for the fina…
In this paper we consider an additive functional of an observable $V(x)$ of a Markov jump process. We assume that the law of the expected jump time $t(x)$ under the invariant probability measure $π$ of the skeleton chain belongs to the domain of attraction of a subordinator. Then, the scaled limit of the functional is a Mittag-Leffler proces, provided that $Ψ(x):=V(x)t(x)$ is square integrable w.r.t. $π$. When the law of $Ψ(x)$ belongs to a domain of attraction of a stable law the resulting process can be described by a composition of a stable process and the inverse of a subordinator and thes…
We use the functional It{ô} calculus to prove that the solution of a BSDE with singular terminal condition is continuous at the terminal time. Hence we extend known results for a non-Markovian terminal condition.
We study optimal stochastic control problem for non-Markovian stochastic differential equations (SDEs) where the drift, diffusion coefficients, and gain functionals are path-dependent, and importantly we do not make any ellipticity assumption on the SDE. We develop a controls randomization approach, and prove that the value function can be reformulated under a family of dominated measures on an enlarged filtered probability space. This value function is then characterized by a backward SDE with nonpositive jumps under a single probability measure, which can be viewed as a path-dependent versio…
We consider a very general stochastic model for an SIR epidemic on a network which allows an individual's infectious period, and the time it takes to contact each of its neighbours after becoming infected, to be correlated. We write down the message passing system of equations for this model and prove, for the first time, that it has a unique feasible solution. We also generalise an earlier result by proving that this solution provides a rigorous upper bound for the expected epidemic size (cumulative number of infection events) at any fixed time $t>0$. We specialise these results to a homogene…
This paper explores the relationship between non-Markovian fully coupled forward-backward stochastic systems and path-dependent PDEs. The definition of classical solution for the path-dependent PDE is given within the framework of functional Itô calculus. Under mild hypotheses, we prove that the forward-backward stochastic system provides the unique classical solution to the path-dependent PDE.
In this paper, we present a discrete-type approximation scheme to solve continuous-time optimal stopping problems based on fully non-Markovian continuous processes adapted to the Brownian motion filtration. The approximations satisfy suitable variational inequalities which allow us to construct $ε$-optimal stopping times and optimal values in full generality. Explicit rates of convergence are presented for optimal values based on reward functionals of path-dependent SDEs driven by fractional Brownian motion. In particular, the methodology allows us to design concrete Monte-Carlo schemes for no…
