Limiting Speed and Fluctuations for the Boundary Modified Contact Process
Andrew Heeszel
TL;DR
This work analyzes the one-dimensional boundary modified contact process in the critical-right-edge regime with a positive edge boost, establishing a strong law of large numbers and a central limit theorem for the rightmost infected site. The authors introduce a right-edge auxiliary process sampled from an invariant measure to characterize the asymptotic speed $\alpha=\mathbb{E}(\mathcal{R}(\tilde{\eta}_1))$, show $\mathcal{R}(\eta_t)/t\to\alpha$ a.s., and prove a diffusion limit under proper scaling. They develop stretched-exponential tail bounds for extinction and survival events, and leverage box-crossing properties of critical oriented percolation to handle non-attractiveness and loss of subadditivity. The results extend to the boundary-modified model and resolve an open question raised by Andjel and Rolla, providing a rigorous probabilistic description of edge fluctuations via an $\alpha$-mixing functional CLT with a strictly positive diffusion coefficient. This advances understanding of edge dynamics in nonuniform contact processes and connects to percolation-box-crossing techniques in low dimensions.
Abstract
The boundary modified contact process models an epidemic spreading in one dimension with two infection parameters, $λ_i$ and $λ_e$. Starting from a finite infected set, each edge of $\mathbb{Z}$ transmits the infection at rate $λ_i$ except for the rightmost and leftmost edges incident to infected vertices, which transmit the infection at rate $λ_e$. We show a strong law of large numbers and central limit theorem for the location of the rightmost infected vertex when $λ_i = λ_c$ and $λ_e = λ_c + \varepsilon$. We also show stretched exponential tail bounds in the fluctuations of the rightmost infected vertex, the extinction time of the process on the event of non-survival, and the probability of survival given the size of the initial infected region. Our results extend to the boundary modified contact process whenever $λ_c \leq λ_i < λ_e$, and solves an open problem first proposed by Andjel and Rolla in [1].
