Branching random walks and multi-type contact-processes on the percolation cluster of $\mathbb{Z}^{d}$

Abstract

In this paper we prove that, under the assumption of quasi-transitivity, if a branching random walk on ${\mathbb{Z}^{d}}$ survives locally (at arbitrarily large times there are individuals alive at the origin), then so does the same process when restricted to the infinite percolation cluster ${\mathcal{C}_{\infty}}$ of a supercritical Bernoulli percolation. When no more than $k$ individuals per site are allowed, we obtain the $k$-type contact process, which can be derived from the branching random walk by killing all particles that are born at a site where already $k$ individuals are present. We prove that local survival of the branching random walk on ${\mathbb{Z}^{d}}$ also implies that for $k$ sufficiently large the associated $k$-type contact process survives on ${\mathcal{C}_{\infty}}$. This implies that the strong critical parameters of the branching random walk on ${\mathbb{Z}^{d}}$ and on ${\mathcal{C}_{\infty}}$ coincide and that their common value is the limit of the sequence of strong critical parameters of the associated $k$-type contact processes. These results are extended to a family of restrained branching random walks, that is, branching random walks where the success of the reproduction trials decreases with the size of the population in the target site.