Contact process (mathematics)

The contact process is a stochastic process used to model population growth on the set of sites $S$ of a graph in which occupied sites become vacant at a constant rate, while vacant sites become occupied at a rate proportional to the number of occupied neighboring sites. Therefore, if we denote by $\lambda$ the proportionality constant, each site remains occupied for a random time period which is exponentially distributed parameter 1 and places descendants at every vacant neighboring site at times of events of a Poisson process parameter $\lambda$ during this period. All processes are independent of one another and of the random period of time sites remains occupied. The contact process can also be interpreted as a model for the spread of an infection by thinking of particles as a bacterium spreading over individuals that are positioned at the sites of $S$ , occupied sites correspond to infected individuals, whereas vacant correspond to healthy ones.

The main quantity of interest is the number of particles in the process, say $N_{t}$ , in the first interpretation, which corresponds to the number of infected sites in the second one. Therefore, the process survives whenever the number of particles is positive for all times, which corresponds to the case that there are always infected individuals in the second one. For any infinite graph $S$ there exists a positive and finite critical value $\lambda _{c}$ so that if $\lambda >\lambda _{c}$ then survival of the process starting from a finite number of particles occurs with positive probability, while if $\lambda <\lambda _{c}$ their extinction is almost certain. Note that by reductio ad absurdum and the infinite monkey theorem, survival of the process is equivalent to $N_{t}\to \infty$ , as $t\to \infty$ , whereas extinction is equivalent to $N_{t}\to 0$ , as $t\to \infty$ , and therefore, it is natural to ask about the rate at which $N_{t}\to \infty$ when the process survives.

Mathematical definition

If the state of the process at time $t$ is $\xi _{t}$ , then a site $x$ in $S$ is occupied, say by a particle, if $\xi _{t}(x)=1$ and vacant if $\xi _{t}(x)=0$ . The contact process is a continuous-time Markov process with state space $\{0,1\}^{S}$ , where $S$ is a finite or countable graph, usually $\mathbb {Z} ^{d}$ , and a special case of an interacting particle system. More specifically, the dynamics of the basic contact process is defined by the following transition rates: at site $x$ ,

1\rightarrow 0\quad {\text{at rate }}1,

0\rightarrow 1\quad {\text{at rate }}\lambda \sum _{y\,:\,y\,\sim \,x}\xi _{t}(y),

where the sum is over all the neighbors $y$ of $x$ in $S$ . This means that each site waits an exponential time with the corresponding rate, and then flips (so 0 becomes 1 and vice versa).

Connection to percolation

The contact process is a stochastic process that is closely connected to percolation theory. Ted Harris (1974) noted that the contact process on $\mathbb {Z} ^{d}$ when infections and recoveries can occur only in discrete times $\{1,2,\ldots ,\}$ corresponds to one-step-at-a-time bond percolation on the graph obtained by orienting each edge of $\mathbb {Z} ^{d+1}$ in the direction of increasing coordinate-value.

The law of large numbers on the integers

A law of large numbers for the number of particles in the process on the integers informally means that for all large $t$ , $N_{t}$ is approximately equal to $ct$ for some positive constant $c=c(\lambda )$ . Harris (1974) proved that, if the process survives, then the rate of growth of $N_{t}$ is at most and at least linear in time. A weak law of large numbers (that the process converges in probability) was shown by Durrett (1980). A few years later, Durrett and Griffeath (1983) improved this to a strong law of large numbers, giving almost sure convergence of the process.

Die out at criticality

Contact processes on all integer lattices die out almost surely at the critical value.^[1]

Durrett's conjecture and the central limit theorem

Durrett conjectured in survey papers and lecture notes during the 1980s and early 1990s regarding the central limit theorem for the Harris contact process, viz. that, if the process survives, then for all large $t$ , $N_{t}$ equals $ct$ and the error equals $\sigma {\sqrt {t}}$ multiplied by a (random) error distributed according to a standard Gaussian distribution.^[2]^[3]^[4]

Durrett's conjecture turned out to be correct for a different value of $\sigma$ as proved in 2018.^[5]

References

^ Bezuidenhout, Carol; Grimmett, Geoffrey (1990). "The critical contact process dies out". Annals of Probability. 18 (4): 1462–1482. doi:10.1214/aop/1176990627. JSTOR 2244329. MR 1071804.
^ Durrett, Richard (1984). "Oriented Percolation in Two Dimensions Number". The Annals of Probability. 12 (4): 999–1040. doi:10.1214/aop/1176993140.
^ Durrett, Richard. "Lecture Notes on Particle Systems and Percolation". Wadsworth.
^ .Durrett, Richard. "The contact process, 1974–1989". Cornell University, Mathematical Sciences Institute.
^ Tzioufas, Achillefs (2018). "The Central Limit Theorem for Supercritical Oriented Percolation in Two Dimensions". Journal of Statistical Physics. 171 (5): 802–821. arXiv:1411.4543. Bibcode:2018JSP...171..802T. doi:10.1007/s10955-018-2040-y. S2CID 119174423.

v t e Stochastic processes
Discrete time	Bernoulli process Branching process Chinese restaurant process Galton–Watson process Independent and identically distributed random variables Markov chain Moran process Random walk Loop-erased Self-avoiding Biased Maximal entropy
Continuous time	Additive process Bessel process Birth–death process pure birth Brownian motion Bridge Excursion Fractional Geometric Meander Cauchy process Contact process Continuous-time random walk Cox process Diffusion process Dyson Brownian motion Empirical process Feller process Fleming–Viot process Gamma process Geometric process Hawkes process Hunt process Interacting particle systems Itô diffusion Itô process Jump diffusion Jump process Lévy process Local time Markov additive process McKean–Vlasov process Ornstein–Uhlenbeck process Poisson process Compound Non-homogeneous Schramm–Loewner evolution Semimartingale Sigma-martingale Stable process Superprocess Telegraph process Variance gamma process Wiener process Wiener sausage
Both	Branching process Gaussian process Hidden Markov model (HMM) Markov process Martingale Differences Local Sub- Super- Random dynamical system Regenerative process Renewal process Stochastic chains with memory of variable length White noise
Fields and other	Dirichlet process Gaussian random field Gibbs measure Hopfield model Ising model Potts model Boolean network Markov random field Percolation Pitman–Yor process Point process Cox Poisson Random field Random graph
Time series models	Autoregressive conditional heteroskedasticity (ARCH) model Autoregressive integrated moving average (ARIMA) model Autoregressive (AR) model Autoregressive–moving-average (ARMA) model Generalized autoregressive conditional heteroskedasticity (GARCH) model Moving-average (MA) model
Financial models	Binomial options pricing model Black–Derman–Toy Black–Karasinski Black–Scholes Chan–Karolyi–Longstaff–Sanders (CKLS) Chen Constant elasticity of variance (CEV) Cox–Ingersoll–Ross (CIR) Garman–Kohlhagen Heath–Jarrow–Morton (HJM) Heston Ho–Lee Hull–White Korn-Kreer-Lenssen LIBOR market Rendleman–Bartter SABR volatility Vašíček Wilkie
Actuarial models	Bühlmann Cramér–Lundberg Risk process Sparre–Anderson
Queueing models	Bulk Fluid Generalized queueing network M/G/1 M/M/1 M/M/c
Properties	Càdlàg paths Continuous Continuous paths Ergodic Exchangeable Feller-continuous Gauss–Markov Markov Mixing Piecewise-deterministic Predictable Progressively measurable Self-similar Stationary Time-reversible
Limit theorems	Central limit theorem Donsker's theorem Doob's martingale convergence theorems Ergodic theorem Fisher–Tippett–Gnedenko theorem Large deviation principle Law of large numbers (weak/strong) Law of the iterated logarithm Maximal ergodic theorem Sanov's theorem Zero–one laws (Blumenthal, Borel–Cantelli, Engelbert–Schmidt, Hewitt–Savage, Kolmogorov, Lévy)
Inequalities	Burkholder–Davis–Gundy Doob's martingale Doob's upcrossing Kunita–Watanabe Marcinkiewicz–Zygmund
Tools	Cameron–Martin formula Convergence of random variables Doléans-Dade exponential Doob decomposition theorem Doob–Meyer decomposition theorem Doob's optional stopping theorem Dynkin's formula Feynman–Kac formula Filtration Girsanov theorem Infinitesimal generator Itô integral Itô's lemma Karhunen–Loève theorem Kolmogorov continuity theorem Kolmogorov extension theorem Lévy–Prokhorov metric Malliavin calculus Martingale representation theorem Optional stopping theorem Prokhorov's theorem Quadratic variation Reflection principle Skorokhod integral Skorokhod's representation theorem Skorokhod space Snell envelope Stochastic differential equation Tanaka Stopping time Stratonovich integral Uniform integrability Usual hypotheses Wiener space Classical Abstract
Disciplines	Actuarial mathematics Control theory Econometrics Ergodic theory Extreme value theory (EVT) Large deviations theory Mathematical finance Mathematical statistics Probability theory Queueing theory Renewal theory Ruin theory Signal processing Statistics Stochastic analysis Time series analysis Machine learning
List of topics Category