Sharpness of the percolation transition in the two-dimensional contact process (Q627253)

In a two dimensional contact process, the vertexes of the 2D lattice \(\mathbb{Z}^2\) can be in the states 0 (healthy) or 1 (infected) at time \(t\). A vertex in the state 0 becomes infected at time \(t\) at rate \(\lambda n_x\), where \(n_x\) is the number of infected neighbours of \(x\) at \(t\). And a vertex \(x\) in the state 1 goes to 0 at rate 1. The process starts at \(t=0\) when all the vertexes are infected. Let \(\bar\nu_\lambda\) be the distribution of the process states as \(t\to\infty\) and \(C\) be the maximal connected component of \(\mathbb{Z}^2\) which contains 0 and of which every vertex is infected. Theorem. Let \(\lambda\) be such that \(\bar\nu_\lambda(|C|=\infty)=0\). Then, for every \(\lambda'<\lambda\), there exist \(A_1\), \(A_2>0\) such that for all \(n\geq 1\), \[ \bar\nu_{\lambda'}(|C|\geq n)\leq A_1\exp(-A_2 n) \] (here \(|C|\) is the cardinality of a set \(C\)).