Abstract
We construct graphs (trees of bounded degree) on which the contact process has critical rate (which will be the same for both global and local survival) equal to any prescribed value between zero and \(\lambda _c({\mathbb {Z}})\), the critical rate of the onedimensional contact process. We exhibit both graphs in which the process at this target critical value survives (locally) and graphs where it dies out (globally).
Introduction
This paper exhibits a range of examples concerning phase transitions of the contact process. Our work can be seen as a complement to the previous works by Madras et al. [15], and by Salzano and Schonmann [18, 19], where the same line of inquiry was pursued.
The contact process describes a class of interacting particle systems which serve as a model for the spread of epidemics on a graph. It was introduced by Harris [6]. It is defined on a graph G with uniformly bounded degrees by the following rules for a continuoustime Markov dynamics: vertices can be healthy (state 0) or infected (state 1); infected vertices recover with rate one and transmit the infection to each healthy neighbor with rate \(\lambda > 0\). The above description of the dynamics expresses (on graphs of uniformly bounded degree) a Markov pregenerator on a dense subspace of the space of realvalued functions on the space of configurations, endowed with the topology of the supremum norm. The closure of this pregenerator is a Feller generator, making the contact process a Feller process. See Chapter 1 of [12] for more details.
We denote by \((\xi ^A_{G,\lambda ;t}: t \ge 0)\) the contact process on \(G = (V,E)\) with infection rate \(\lambda \) and initially infected set \(A \subset V\) (as explained in Sect. 1.3, we will occasionally omit or change aspects of this notation). With a conventional abuse of notation, we treat \(\xi ^A_{G,\lambda ;t}\) as either an element of \(\{0,1\}^V\) or as a subset of V (the set of infected vertices). We refer the reader to [12, 13] for an introduction to this process, including all the statements made without further explicit reference in this introduction.
The contact process has as absorbing state the configuration in which all individuals are healthy; we denote this state by \(\varnothing \). We define the probability of survival (of the infection)
Due to an elementary monotonicity property of the process, this quantity is nondecreasing in \(\lambda \), G and A (for the latter two, take the partial order given by graph and set inclusion, respectively). Moreover, if G is connected, then for any \(\lambda \), \(\zeta _{G,\lambda }(A)\) is either equal to zero for all finite A (in which case the process with parameter \(\lambda \) on G is said to die out) or nonzero for any finite and nonempty A (the process is then said to survive or to survive globally). We then define the critical threshold for global survival as
Next, define the probability of local survival
It is readily seen that \(\beta _{G,\lambda }(A,v) \le \zeta _{G,\lambda }(A)\). Moreover, \(\beta _{G,\lambda }(A,v)\) is nondecreasing in \(\lambda ,G,A\), and if G is connected, then for fixed \(\lambda \) we either have \(\beta _{G,\lambda }(A,v) = 0\) for all choices of (finite, nonempty) A and v, or \(\beta _{G,\lambda }(A,v) > 0\) for all such choices. In the latter case, we say that the process survives locally (in other sources, it is said in this case that the process survives strongly, or is recurrent). We define the critical threshold for local survival as
The contact process has been initially studied on \({\mathbb {Z}}^d\); there it holds that the two critical values coincide; we will denote their common value by \(\lambda _c({\mathbb {Z}}^d)\). It was proved in [3] that the process on \({\mathbb {Z}}^d\) at the critical rate dies out. Results for the contact process on the infinite regular tree with offspring number \(d \ge 2\) (denoted \({\mathbb {T}}^d\)) were obtained in the 1990s, notably in [10, 11, 17]. There it holds that \(0<\lambda _c^\mathrm{glob}({\mathbb {T}}^d)<\lambda _c^\mathrm {loc}({\mathbb {T}}^d) < \infty \), and moreover, the process at the lower critical value dies out, and the process at the upper critical value survives globally but not locally. More recently, results for the contact process on random trees have gained interest. In particular, [2, 7] completely characterize the existence of a subcritical regime for the process on Galton–Watson trees (see also [16]).
The main result of this paper concerns the set of values that the critical rates \(\lambda _c^{\mathrm{glob}}(G),\;\lambda _c^{\mathrm{loc}}(G)\) can attain, as G ranges over any locally finite graph, and also whether the critical contact process can survive for these possible values of the critical rate. Let us make some preliminary comments in this direction:

1.
On a finite graph G, the contact process dies out regardless of \(\lambda \), that is, we have \(\lambda ^\mathrm{glob}_c(G) = \lambda ^\mathrm {loc}_c(G) = \infty \).

2.
On an infinite graph G, we necessarily have \(\lambda _c^\mathrm{glob}(G) \le \lambda _c^\mathrm {loc}(G) \le \lambda _c({\mathbb {Z}})\). This follows from monotonicity: G contains a copy of \({\mathbb {N}}\) inside it (since G is locally finite), and it is known that \(\lambda _c({\mathbb {N}}) =\lambda _c({\mathbb {Z}})\); see, for instance, Corollary 2.5 in [1].

3.
There are infinite graphs for which the critical rate for local (hence also global) survival is arbitrarily small, such as highdimensional lattices and highdegree regular trees, see [5, equation (1.14)] and [17, Theorem 2.2]

4.
There are also infinite graphs for which the critical rate for local (hence also global) survival is equal to zero, such as Galton–Watson trees with sufficiently heavytailed offspring distributions, see [17, page 2112].

5.
An example was given in [19] of a graph G with \(\lambda ^\mathrm {loc}_c(G) = \lambda ^\mathrm{glob}_c(G) = \lambda _c({\mathbb {Z}})\) and so that the contact process with this critical rate survives locally. This is the “desertandoasis” example in page 863 of that paper, which is based on a construction of [15] pertaining to a contact process with inhomogeneous rates.

6.
In pages 859–862 of [19], the authors fix \(d \ge 2\), then fix an arbitrary \(\lambda \) with \(\lambda _c^\mathrm{glob}({\mathbb {T}}^d )< \lambda < \lambda _c^{\mathrm {loc}}({\mathbb {T}}^d)\), and construct a graph G for which \(\lambda = \lambda _c^\mathrm{glob}(G) < \lambda _c^\mathrm {loc}(G)\). The class of examples obtained in this way therefore shows that
$$\begin{aligned} \forall \lambda \in \bigcup _{d=2}^\infty (\lambda ^\mathrm{glob}_c({\mathbb {T}}^d),\lambda ^\mathrm {loc}_c({\mathbb {T}}^d))\quad \exists G: \lambda = \lambda _c^\mathrm{glob}(G) < \lambda _c^\mathrm {loc}(G). \end{aligned}$$(1)
We now state our main result:
Theorem 1

(a)
For any \(\lambda \in (0,\lambda _c({\mathbb {Z}}))\) there exists a tree G of bounded degree for which \(\lambda _c^\mathrm{glob}(G) = \lambda _c^\mathrm {loc}(G)= \lambda \) and the contact process on G with rate \(\lambda \) survives locally.

(b)
For any \(\lambda \in (0,\lambda _c({\mathbb {Z}}))\) there exists a tree G of bounded degree such that \( \lambda _c^\mathrm{glob}(G) = \lambda _c^\mathrm {loc}(G)= \lambda \) and the contact process on G with rate \(\lambda \) dies out.
Together with [19], the above theorem provides a full answer to the question of which values \(\lambda > 0\) can occur simultaneously as \(\lambda _c^\mathrm {loc}(G)\) and \(\lambda _c^\mathrm{glob}(G)\) for some locally finite connected graph G. Indeed, the case \(\lambda = \lambda _c({\mathbb {Z}})\) was covered in [19] and, as noted in Comment 2., for every infinite graph G one has \(\lambda _c(G) \le \lambda _c({\mathbb {N}}) = \lambda _c({\mathbb {Z}})\).
Although the construction we give here is very similar to the one in [19] (and [15]) mentioned above, it has novel aspects that free us from being restricted to having \(\lambda _c({\mathbb {Z}})\) as the critical rate. In essence, the graph we construct consists of an infinite halfline to which we append, in very sparse locations (say, \(a_1 \ll \cdots \ll a_i \ll \cdots \)), regular trees with large (but fixed) degree, truncated at height \(h_i\). In terms of the aforementioned examples of [15, 19], the halfline is the “desert” and the trees are the “oases.” This means that, for \(\lambda \) within a certain controlled range [inside the interval \((0,\lambda _c({\mathbb {Z}}))\)], the contact process stays active for a very long time in the trees, but is very unlikely to cross the line segments in between them in any single attempt. The locations and heights are chosen in a way that is increasingly sensitive to the value of \(\lambda \), so that a certain target value can be guaranteed to be critical for global and local survival.
We should mention that in case one does not insist in obtaining graphs of bounded degree in the statement of Theorem 1, then the oasis structures could be taken as stars of increasing degree instead of trees of increasing height.^{Footnote 1} Taking stars rather than trees would indeed simplify some of our proofs somewhat. Moreover, even keeping degrees bounded, other structures would also work instead of trees, such as highdimensional hypercubes. We have chosen to use trees because some estimates and coupling results were readily available for the contact process on trees in Ref. [4].
Open Questions
Let us first mention that we believe the ideas we develop in this paper allow for graph constructions that lead to replacing the union in (1) by the full interval \((0,\lambda _c({\mathbb {Z}}))\), but we do not work out the details here.
We will now briefly discuss questions that we consider interesting and that would be further developments to our result.
Question 1
Can one construct a locally finite connected graph G for which \(\lambda _c^\mathrm{glob}(G) = \lambda _c^\mathrm {loc}(G)\) and the contact process on G dies out locally but survives globally?
Question 2
What is the set of pairs \((\lambda _1,\lambda _2) \in [0,\lambda _c({\mathbb {Z}})]^2\) that can occur as \((\lambda _c^\mathrm{glob}(G),\lambda _c^\mathrm {loc}(G))\) for some graph G?
Question 3
Fix any (finite or infinite) sequence of values \(0< \lambda _1< \lambda _2< \cdots < \lambda _c({\mathbb {Z}})\). Is there a graph G for which the function \(\lambda \mapsto \zeta _{G,\lambda }(A)\) (for any A) is discontinuous at \(\lambda _i\) for each i? It is conceivable that, by glueing together graphs obtained from Theorem 1, each with a different critical value, one would find and affirmative answer to this question. See the proof of Theorem 3.2.1 in [19] for an instance where glueing graphs can produce this kind of discontinuity.
Organization of the Paper
In the rest of this introduction, we explain the notation we use and the graphical construction of the contact process. In Sect. 2, we state Theorem 2, which allows us to augment graphs in a way that is favorable for the contact process with rate \(\lambda \) and unfavorable for the process with rate \(\lambda ' < \lambda \), where \(\lambda \) is some prescribed infection rate. Using this theorem, we give in that section the proof of Theorem 1; the remainder of the paper is dedicated to the proof of Theorem 2. Section 3 gathers some preliminary results about the contact process on line segments and trees. Section 4 contains the key definitions of our graph augmentation construction, and states key results (Propositions 2, 3 and 4), which together readily give the proof of Theorem 4. Section 5 and Appendix are more technical and contain the proofs of the three key propositions (as well as several auxiliary results).
Notation and Graphical Construction
Let us first detail the notation we use for graphs. Let \(G = (V,E)\) be an unoriented graph with set of vertices V and set of edges E. We say two vertices are neighbors if there is an edge containing both. The degree of a vertex v, denotes \(\mathrm {deg}_G(v)\), is the number of neighbors of v. All graphs we consider are locally finite, meaning that all their vertices have finite degree. Finally, graph distance in G between vertices u and v is denoted \(\mathrm {dist}_G(u,v)\).
Next, we recall the graphical construction of the contact process. Here we consider a standard monotone coupling of contact processes on the same graph with different infection rates. This is implemented by endowing transmission arrows with numerical labels, as we now explain. Fix a graph G and also \(\lambda > 0\). We take a family of independent Poisson point processes:

for each \(v \in V\), a Poisson point process \(D^v\) on \([0,\infty )\) with intensity equal to Lebesgue measure; if \(t \in D^{u}\), we say there is a recovery mark at u at time t;

for each ordered pair \((u,v) \in V^2\) such that \(\{u,v\} \in E\), a Poisson process \(D^{(u,v)}\) on \([0,\infty )^2\) with intensity equal to Lebesgue measure; if \((t,\ell ) \in D^{(u,v)}\), we say there is a transmission arrow with label \(\ell \) at time t from u to v.
Given \(\lambda > 0\) and \(u,v \in V\) and \(0 \le s < t\), a \(\lambda \)infection path from (u, s) to (v, t) is a rightcontinuous function \(\gamma : [s,t] \rightarrow V\) satisfying \(\gamma (s) =u\), \(\gamma (t) = v\),
That is, a \(\lambda \)infection path cannot touch recovery marks and can traverse transmission arrows with label smaller than or equal to \(\lambda \).
In most places, the value of \(\lambda \) will be clear from the context, so we simply speak of infection paths rather than \(\lambda \)infection paths. We write \((u,s) {\mathop {\rightsquigarrow }\limits ^{\lambda }} (v,t)\) (sometimes omitting \(\lambda \)) either if \((u,s) = (v,t)\) or if there is a \(\lambda \)infection path from (u, s) to (v, t). More generally, for \(S_1,S_2 \subset V \times [0,\infty )\), we write \(S_1 \rightsquigarrow S_2\) if there is an infection path from (u, s) to (v, t), for some \((u,s) \in S_1,~(v,t) \in S_2\) (we write \(S \rightsquigarrow (v,t)\) instead of \(S \rightsquigarrow \{(v,t)\}\), and similarly for \((u,s) \rightsquigarrow S\)). Given \(A \subset V\), setting
where \(\mathbbm {1}\) denotes the indicator function; we obtain that \(\xi _{G,\lambda ;t}^{A}\) is a contact process with parameter \(\lambda \), started with vertices in A infected and vertices in \(V \backslash A\) healthy. Note that this construction readily gives the monotone relation
In case we are considering the contact process \((\xi _{G,\lambda ;t}^{A}:t \ge 0)\) on a graph G and \(G'\) is a subgraph of G, we sometimes refer to \((\xi _{G',\lambda ;t}^{A}:t \ge 0)\) as the process confined to \(G'\).
Finally, we write
that is, \({\bar{\xi }}_{G,\lambda }^{A}(v)\) is the total amount of time that v is infected in \(\left( \xi _{G,\lambda ;t}^{A}:t \ge 0\right) \).
Proof of Main Result
Our graph construction will be given by recursively applying a graph augmentation procedure, with each step taking as input a rooted graph (a tree with bounded degree) and a prescribed value of the infection rate. The result that allows us to take each step is the following.
Theorem 2
For any \(\lambda \in (0,\lambda _c({\mathbb {Z}}))\) there exist \(c_\lambda > 0\) and \(d =d_\lambda \in {\mathbb {N}}\) satisfying the following. Let \((G,o) = ((V,E),o)\) be a rooted tree with degrees bounded by \(d+1\), and \(\deg _G(o) = 1\). Then, there exists \({\mathcal {H}} = {\mathcal {H}}((G,o),\lambda ) \in {\mathbb {N}}\) such that for any \(h \ge {\mathcal {H}}\), there exists a rooted tree \(({\tilde{G}},{\tilde{o}}) = ({\tilde{G}}_h,{\tilde{o}}_h)\) with vertices \({\tilde{V}}\) and edges \({\tilde{E}}\) having G as a subgraph, with degrees satisfying
and such that the contact process on \({\tilde{G}}\) satisfies the following properties. For all \(\lambda ' \ge \lambda \), \(A \subset V\) and \(t > 0\),
and, for all \(v \in V\),
Moreover, for all \(\lambda ' < \lambda \) there exists \({\mathcal {H}}' = {\mathcal {H}}'((G,o),\lambda , \lambda ')\) such that
Proof of Theorem 1(a)
Given a rooted tree (G, o) and \(\lambda > 0\), for each \(h \ge {\mathcal {H}}((G,o),\lambda )\), we denote by \({\mathcal {G}}_h((G,o),\lambda )\) the rooted graph \(({\tilde{G}},{\tilde{o}})\) corresponding to \((G,o),\lambda ,h\) as in Theorem 2.
Fix \(\lambda \in (0,\lambda _c({\mathbb {Z}}))\). Also fix an increasing sequence \((\lambda '_n)\) with \(\lambda '_n \nearrow \lambda \). We will define an increasing sequence of graphs \((G_n)\) by applying Theorem 2 repeatedly. We let \(G_0\) be a graph consisting of a single vertex (its root), \(o_0\). Once \((G_n,o_n)\) is defined, fix
and let \((G_{n+1},o_{n+1}) := {\mathcal {G}}_{h_{n+1}}((G_n,o_n),\lambda )\). Increasing \(h_{n+1}\) if necessary, by (4) we can also assume that
Note that \((G_n)_{n \in {\mathbb {N}}} = (V_n, E_n)_{n \in {\mathbb {N}}}\) is an increasing sequence of graphs in the sense that both \((V_n)_{n \in {\mathbb {N}}}\) and \((E_n)_{n \in {\mathbb {N}}}\) are increasing sequences of sets. Therefore, we can define \(G_\infty = (V_\infty ,E_\infty )\) where \(V_\infty = \cup V_n\) and \(E_\infty = \cup E_n\).
We will now show that \(G_\infty \) has the desired properties. Since each \(G_n\) is a tree, \(G_\infty \) is also a tree. The fact that \(G_\infty \) has bounded degree is an immediate consequence of the degree conditions given in the end of the statement of Theorem 2.
Let us verify that the contact process with parameter \(\lambda \) on G survives locally. Start noting that
and, for \(n \ge 1\),
and similarly,
From this, it follows that
so we have local survival at \(\lambda \).
Now, fix \(\lambda ' < \lambda \); let us prove that the contact process on G with parameter \(\lambda '\) dies out globally. By our construction of the graph G, survival of the infection implies in eventually infecting every \(o_n\). However, by (6), we have for any n such that \(\lambda _n' > \lambda '\),
It follows that \(o_n\) is never infected with high probability and that the process hence dies out globally. Since this holds for every \(\lambda ' < \lambda \) we conclude that \(\lambda _c^\mathrm{glob}(G) = \lambda _c^\mathrm {loc}(G)= \lambda \). \(\square \)
Proof of Theorem 1(b)
We fix \(\lambda \in (0,\lambda _c({\mathbb {Z}}))\) and again we will define an increasing sequence of graphs \((G_n)\) by applying Theorem 2 repeatedly. Only now we take a decreasing sequence \((\lambda '_n)\) with \(\lambda '_n \searrow \lambda \). Like before we let \(G_0\) be a graph consisting of a single vertex (its root), \(o_0\) and, once \((G_n,o_n)\) is defined, fix
and let \((G_{n+1},o_{n+1}) := {\mathcal {G}}_{h_{n+1}}((G_n,o_n),\lambda '_{n+1})\). Since \(\lambda < \lambda _{n+1}\), increasing \(h_{n+1}\) if necessary, by (4) we can assume that
We then let \(G_\infty \) be the limiting graph of the sequence \((G_n)_{n \in {\mathbb {N}}}\), as in (a). From this it follows that \(G_\infty \) is a bounded degree tree.
The fact that the contact process with parameter \(\lambda \) on \(G_\infty \) dies out globally follows similarly to the last argument in the previous proof. Using (8) gives
The conclusion follows as in 1(a).
Now, fix \(\lambda ' > \lambda \), and take n such that \(\lambda '_n < \lambda '\). We then note that the event
has positive probability and that, for each \(N > n\), by (3) and (7),
and
From this, local survival at parameter \(\lambda '\) follows as in part (a). \(\square \)
Estimates for Line Segments and Trees
This section is devoted to listing bounds for the behavior of the contact process on finite trees and line segments which will be useful for our graph construction.
Let us first mention two results that hold on general graphs. First, if \(G = (V,E)\) is a connected graph and \(x,y \in V\) and we let \(\mathrm {dist}_G(x,y)\) denote the graph distance between x and y in G, we have
This is obtained by fixing a geodesic \(v_0 = x,\;v_1,\ldots , v_n=y\) (with \(n = \mathrm {dist}_G(x,y)\)) and prescribing that, in each time interval \([i,i+1]\) with \(0 \le i \le n1\), there is no recovery mark at \(v_i\) or \(v_{i+1}\), and there is a transmission arrow from \(v_i\) to \(v_{i+1}\).
Second, we have the following inequality for the extinction time of the contact process on G started from full occupancy.
Lemma 1
For every \(s > 0\), we have
This follows from noting that for any s, the extinction of the process started from full occupancy is stochastically dominated by the random variable sX, where X has geometric distribution with parameter \({{\mathbb {P}}}(\xi _{G,\lambda ;t}^{G} = \varnothing )\). See Lemma 4.5 in [14] for a full proof.
Contact Process on Line Segments
We will need some estimates involving the contact process on halflines and line segments. From now on, we fix \(\lambda < \lambda _c({\mathbb {Z}})\). The results below are essentially all consequences of the exponential bound
for some \(c_\lambda > 0\); see Theorem 2.48 in Part I of [13]. By simple stochastic comparison considerations and large deviation estimates for Poisson random variables, this also implies that
for some \(c_\lambda ' > 0\).
For each \(\ell \in {\mathbb {N}}\), let \({\mathbb {L}}_\ell \) denote the subgraph of \({\mathbb {Z}}\) induced by the vertex set \(\{0,\ldots , \ell \}\). The following result is an immediate consequence of (11), so we omit its proof.
Lemma 2
We have
Next, we bound the probability of existence of an infection path starting from a spacetime point in the segment \(\{0\} \times [0,t]\) and crossing \({{\mathbb {L}}}_\ell \).
Lemma 3
For any \(\ell \in {{\mathbb {N}}}\) the contact process with parameter \(\lambda \) on \({{\mathbb {L}}}_\ell \) satisfies
Proof
Define the event
so that the probability in the lefthand side in (14) is equal to \({\mathbb {P}}(A)\). Let X denote the Lebesgue measure of the random set of times
Denote by \({\mathcal {F}}\) the \(\sigma \)algebra generated by all the Poisson processes in the graphical construction of the contact process on \({{\mathbb {L}}}_\ell \), and let \({\mathcal {F}}'\) be similarly defined, except that it disregards all the recoveries marks at 0 that occur before time \(t+1\). Note that X is measurable with respect to \({\mathcal {F}}\) and \(A \in {\mathcal {F}}'\). Moreover, we have
since if A occurs and \(s \in [1,t+1]\) is such that \((0,s)\rightsquigarrow \{\ell \} \times [0,\infty )\), then with probability \(e^{1}\) there is no recovery mark on \([s1,s]\), so that \(X \ge 1\). We thus obtain
\(\square \)
The following corollary is a straightforward consequence of Lemma 3 and (12).
Corollary 1
There exists \(c_{{\mathbb {L}}}> 0\) such that, for \(\ell \in {{\mathbb {N}}}\) large enough, the contact process with parameter \(\lambda \) on \({{\mathbb {L}}}_\ell \) satisfies
We now show that the subcritical contact process on \({{\mathbb {Z}}}\) started from occupation in a halfline \(\{1,2,\ldots \}\) has positive probability of never infecting the origin.
Lemma 4
There exists \(c_{{{\mathbb {L}}}} > 0\) such that
Proof
For \(n \in {{\mathbb {N}}}\), let A(n) denote the event that vertices \(1,\ldots ,n1\) have a recovery mark and generate no transmission arrow in the time interval [0, 1]. We have
For any \(n \in {{\mathbb {N}}}\), we have \({{\mathbb {P}}}(A(n)) > 0\) and
which can be made positive by taking n large enough. \(\square \)
Finally, we compare the contact process on the same graph for two different values of the infection parameter.
Lemma 5
For all \(\lambda ', \lambda > 0\) with \(\lambda '< \lambda < \lambda _c({\mathbb {Z}})\) there exists \(\eta = \eta _{\lambda ',\lambda } > 1\) such that, for \(\ell \) large enough,
Proof
Using monotonicity and the Markov property it can be proved that the limit
exists (see discussion preceding Proposition 4.50 in [13] for a full proof of this fact). Furthermore, it was shown in [9] that, for the contact process on a regular tree, if
then \(\beta (\lambda ') < \beta (\lambda )\). Noting that the exponential bound (11) implies that \(\beta (\lambda _c({{\mathbb {Z}}})) < 1\), we have the result for the contact process on \({{\mathbb {Z}}}\). Finally, [8] proves that
\(\square \)
Contact Process on Finite Trees
To conclude this section, we gather a few estimates from [4] concerning the contact process on finite trees. We continue with fixed \(\lambda < \lambda _c({\mathbb {Z}})\), and assume d is large enough that \(\lambda > \lambda _c^\mathrm {loc}({\mathbb {T}}^d)\). For each \(h \in {\mathbb {N}}\), we let \({{\mathbb {T}}}^d_h\) be a rooted tree with branching number d, truncated at height h. This means that \({{\mathbb {T}}}^d_h\) is a tree with a root vertex \(\rho \) with degree d, and so that vertices at graph distance between one and \(h1\) from \(\rho \) have degree \(d+1\), and vertices at graph distance h from \(\rho \) have degree one. The next result contains two statements concerning the contact process on \({\mathbb {T}}^d_h\). First, the process started from full occupancy survives for a time at least as large as exponential in \(d^h\), with probability tending to one exponentially in \(d^h\). Second, with probability bounded away from zero, the process started from any nonempty configuration couples with the process started from full occupancy within time \(\exp \{d^{h^{1/5}}\}\) (and both process remain alive at a time that is exponential in \(d^h\)).
Proposition 1
There exists \(c_{{{\mathbb {T}}}} = c_{{{\mathbb {T}}}}(\lambda ,d) > 0\) such that, for h large enough,
and, letting \({\mathcal {t}}(h):= \exp \{d^{h^{1/5}}\}\),
Proof
Theorem 1.5 in [4] states that the limit
exists and is positive; denote it by \(c_1\). Taking \(c_{{\mathbb {T}}}< c_1/4\), the inequality (18) follows from this combined with (10). Next, Corollary 4.10 in [4] implies that there exists a constant \(c_2 > 0\) such that
and Proposition 4.15 in [4] gives
Using these two facts and also (18), we obtain that, if \(c_{{\mathbb {T}}}< \min (c_1/4,c_2/2)\), then for any \(A \subset {{\mathbb {T}}}^d_h\), \(A \ne \varnothing \),
\(\square \)
Proof of Theorem 2
In this section, we will give some key definitions and state three results (Propositions 2, 3 and 4) that will immediately imply Theorem 2. The idea of our graph augmentation \(({\tilde{G}},{\tilde{o}})\) of a given rooted graph (G, o) is summarized in Fig. 1: next to the root o of G, we append a copy of \({\mathbb {T}}^d_h\) (with h large), followed by a line segment whose length is a function of h, denoted L(h). The endpoint of this line segment that is away from the tree is the root \({\tilde{o}}\) of \({\tilde{G}}\). We will be free to take h large (adjusting the length L(h) accordingly) so as to guarantee several desirable properties for \({\tilde{G}}\).
Now, let us briefly discuss the differences between the construction carried out in this work and the desert–oasis construction in [19]. First note that in [19] the goal is to show that the process survives at \(\lambda _c({\mathbb {Z}})\) and dies out at any \(\lambda < \lambda _c({\mathbb {Z}})\). At each step of their construction, they take the oasis–desert pair satisfying two things. First, the oasis is a structure that sustains for a long time the process with rate \(\lambda _c({\mathbb {Z}})\) (and possibly also with slightly smaller rates). Second, the volume of the oasis is small compared to the length of the desert: in the nth augmentation of their graph construction, the oasis has volume \(n^2\) and the desert has length \(n^3\). This way, if \(\lambda < \lambda _c({\mathbb {Z}})\), even if the process survives for time \(\exp \{c(\lambda )n^2\}\) in the oasis, this is not enough to overcome the probability of crossing the oasis, which is around \(\exp \{c'(\lambda )n^3\}\). However, in our case, we want to have as target rate a value \(\lambda \) that is already subcritical, so it is not so clear which sizes to put in place of \(n^2\) and \(n^3\), or how a given choice of sizes can be favorable for the target \(\lambda \) but not for smaller values. Our solution involves defining the length of the desert implicitly (depending on \(\lambda \) and on a fixed oasis size), in a way that the probability of crossing the desert starting from the oasis at rate \(\lambda \) is around a prescribed value.
Fix \(\lambda \in (0,\lambda _c({\mathbb {Z}}))\). The value \(d = d_\lambda \) that appears in the statement of Theorem 2 will now be chosen: d should be large enough that \(\lambda > \lambda _c^{\mathrm {loc}}({\mathbb {T}}^d)\), and also
From now on, we fix \((G,o)=((V,E),o)\) a rooted tree with degrees bounded by \(d+1\) and with \(\deg _G(o)= 1\), as in the statement of Theorem 2.
Throughout this section, it will be useful to abbreviate
We first define an auxiliary graph \({\hat{G}}\), depending on (G, o) and on a positive integer h (which we often omit from the notation), as follows. We let \({\mathcal {T}}_h\) be a copy of \({\mathbb {T}}^d_h\), with root \(\rho \), and let \({\mathcal {L}}_\infty \) be a halfline with extremity denoted \(v_\). We then let \({\hat{G}}\) denote the graph obtained by putting the three graphs \(G, {\mathcal {T}}_h,{\mathcal {L}}_\infty \) together, and connecting them by including an edge between o (the root of G) and \(\rho \) (the root of \({\mathcal {T}}_h\)), and an edge between \(\rho \) and \(v_\) (the extremity of \({\mathcal {L}}_\infty \)).
For each \(\ell \in {\mathbb {N}}_0\), let \(v_\ell \) denote the vertex of \({\mathcal {L}}_\infty \) at distance \(\ell \) from \(v_\) (in particular, \(v_0 = v_\)), and define
that is, \({\mathcal {P}}(\ell )\) is the probability that \(v_\ell \) becomes infected in the contact process on \({\hat{G}}\) with parameter \(\lambda \) and initial configuration \(V \cup {\mathcal {T}}_h\). Note that \({\mathcal {P}}\) is nonincreasing.
Lemma 6
(Properties of \({\mathcal {P}}\)) We have
and, if h is large enough,
Proof
The first statement follows from the fact that the contact process with parameter \(\lambda \) on \({\hat{G}}\) dies out (which is in turn an easy consequence of the facts that \(G, {\mathcal {T}}_h\) are finite graphs and \(\lambda < \lambda _c({\mathbb {Z}})\)).
For the second statement, we will only treat \({\mathcal {P}}(0)\), since the proof for \({\mathcal {P}}(1)\) is the same. Assume h is larger than the graph diameter of G. Then, for any nonempty \(A \subset V \cup {\mathcal {T}}_h\) we have
Iterating this, we obtain
The result now follows from noting that the righthand side above is much smaller than , and moreover,
if h is large, where in the second inequality we have used Lemma 1 and Proposition 1. \(\square \)
With the above result at hand, for h large enough we can define
and have \(L(h) > 1\). We now define the graph \({\tilde{G}}\) in the same way as \({\hat{G}}\), with the sole exception that, instead of the halfline \({\mathcal {L}}_\infty \), it includes a line segment \({\mathcal {L}}_h\) with vertex set
(as before, we link \({\mathcal {L}}_h\) to \({\mathcal {T}}_h\) with an edge between \(\rho \) and \(v_\)). We denote by \({\tilde{V}}\) and \({\tilde{E}}\) the vertex and edges sets of \({\tilde{G}}\), respectively. The vertex \(v_{L(h)}\) is the root of \({\tilde{G}}\), denoted \({\tilde{o}}\). The definition of \(({\tilde{G}},{\tilde{o}})\) depends on (G, o) and h, but this dependence will be omitted from the notation. We will several times assume that h is large (possibly depending on G).
We will now state several results about \(({\tilde{G}},{\tilde{o}})\), culminating in the proof of Theorem 2. Define the set of configurations
that is, \(A \in {\mathcal {A}}_h\) if A has at least \(m^{\lfloor h/2\rfloor }\) vertices at height \(\lfloor h/2\rfloor \) in \({\mathcal {T}}_h\). The following result is the main reason for the introduction of \({\mathcal {A}}_h\).
Lemma 7
(Persistence starting from \({\mathcal {A}}_h\)) If \(A \in {\mathcal {A}}_h\), then
Proof
Fix \(A \in {\mathcal {A}}_h\) and let \(T_1,\ldots , T_{(m/2)^{\lfloor h/2\rfloor }}\) be disjoint copies of \({\mathbb {T}}^d_{\lfloor h/2\rfloor }\) that appear as subtrees of \({\mathcal {T}}_h\), rooted at a vertices \(v_1,\ldots , v_{(m/2)^{\lfloor h/2\rfloor }} \in A \cap {\mathcal {T}}_h\) at distance \(\lfloor h/2 \rfloor \) from \(\rho \). We have
\(\square \)
Proposition 2
(Ignition) There exists \(c_\lambda > 0\) such that for h large enough, any \(\lambda ' \ge \lambda \) and any \(A \subset V\) we have
that is, given that the contact process with rate \(\lambda '\), started from A and confined to G spends more than t time units with o occupied, the probability that the same process on the full graph \({\tilde{G}}\) reaches \({\mathcal {A}}_h\) is higher than \(1\exp \{c_\lambda \cdot t\}\).
We interpret the conditioning in the above statement as saying that the confined process has time t to attempt to “ignite” the infection on the tree \({\mathcal {T}}_h\) (meaning fill it up sufficiently to enter the set \({\mathcal {A}}_h\)). We postpone the proof of this proposition to Sect. 5.1.
Proposition 3
(From \({\mathcal {A}}_h\) to \({\tilde{o}}\)) If h is large enough, then for any \(A \in {\mathcal {A}}_h\) we have
The proof of this proposition will be carried out in Sect. 5.3.
Proposition 4
For any \(\lambda ' < \lambda \), if h is large enough depending on \(\lambda '\), then
The proof of this proposition will be done in Sect. 5.4.
Proof of Theorem 2
It follows from the construction that \({\tilde{G}}\) satisfies the stated degree properties. The inequality (3) follows from Propositions 2 and 3, and (4) follows from Proposition 4. \(\square \)
Proofs of Results in Section 4
We now turn to the proofs of the three propositions of the previous section. In Sect. 5.1, we will prove Proposition 2. In Sect. 5.2, we will give some bounds involving the function L(h), as well as a key proposition involving coupling of the contact process on \({\tilde{G}}\), Proposition 5. Next, Sect. 5.3 contains the proof of Proposition 3, and Sect. 5.4 contains the proof of Proposition 4.
Proof of Proposition 2
Proof of Proposition 2
We begin with some definitions. For \(0 \le i \le h\), let T(i) denote the set of vertices of \({\mathcal {T}}_h\) at distance i from the root \(\rho \). Using the graphical construction of the contact process with parameter \(\lambda ' \ge \lambda \), we will now define random sets \({\mathcal {Z}}_{\lambda '}(0),\ldots , {\mathcal {Z}}_{\lambda '}({\lfloor h/2\rfloor })\) with \({\mathcal {Z}}_{\lambda '}(i)\subset T(i)\) for each i. We set \({\mathcal {Z}}_{\lambda '}(0) := \{\rho \}\). Assume that \({\mathcal {Z}}_{\lambda '}(i)\) has been defined, let z be a vertex of \(T(i+1)\) and let \(z'\) be the neighbor of z in T(i). We include z in \({\mathcal {Z}}_{\lambda '}({i+1})\) if \(z' \in {\mathcal {Z}}_{\lambda '}(i)\) and, in the time interval \([i,i+1]\), there are no recovery marks on \(z'\) or z, and there is a transmission arrow from \(z'\) to z. Letting \(Z_{\lambda '}(i):= {\mathcal {Z}}(i)\) for each i, it is readily seen that \((Z_{\lambda '}(i): 0 \le i \le \lfloor h/2\rfloor )\) is a branching process. Its offspring distribution is equal to the law of \(U \cdot W\), where \(U \sim \text {Bernoulli}(e^{1})\) and \(W \sim \text {Binomial}(d,e^{1}\cdot (1e^{\lambda '}))\) are independent. The expectation of this distribution is larger than \(m_\lambda > 1\). For this reason, there exists \(\sigma _\lambda > 0\) such that the event
has
Finally, note that
Now, define \(B_{\lambda '}(0) := B_{\lambda '}\) and, for \(t \in [0,\infty )\), define \(B_{\lambda '}(t)\) as the time translation of \(B_{\lambda '}\), so that time t becomes the time origin (that is, \(B_{\lambda '}(t)\) is defined by using the graphical construction of the contact process on the time intervals \([t,t+1],[t+1,t+2],\ldots ,[t+\lfloor h/2 \rfloor 1, t+ \lfloor h/2 \rfloor ]\)). We evidently have
and moreover,
for any A. It will be useful to note that, if \(t_1, t_2 \ge 0\) with \(t_2 > t_1 + 2\), then \(B_{\lambda '}(t_1)\) and \(B_{\lambda '}(t_2)\) are independent.
Now, fix \(t>0\) and condition on the event \(\left\{ {\bar{\xi }}_{G,\lambda '}^{A}(o) > t\right\} \) occurs. Note that this event only involves the graphical construction of the contact process on G; in particular, the Poisson processes involving vertices and edges of \({\mathcal {T}}_h\), or the edge \(\{o,\rho \}\), are still unrevealed. Then, by elementary properties of Poisson processes, there exists \(c_\lambda > 0\) (depending only on \(\lambda \)) such that (uniformly on \(\lambda ' \ge \lambda \)) outside probability \(\exp \{c_\lambda \cdot t\}\), we can find random times \(s_1< \cdots < s_{\lfloor c_\lambda t \rfloor }\) separated from each other by more than two units, and such that for each i, \(o \in \xi _{G,\lambda ';s_i}^{A}\) and there is a transmission arrow from \((o,s_i)\) to \((\rho ,s_i)\). If this is the case, and if \(B_{\lambda '}(s_i)\) also occurs for some i, we then get \(\xi _{{\tilde{G}},\lambda ';s_i + \lfloor h/2\rfloor }^{A} \in {\mathcal {A}}_h\), by (28). The desired result now follows from independence between the events \(B_{\lambda '}(s_i)\), together with (27) and a Chernoff bound. \(\square \)
Preliminary Bounds
In this section we will prove that
for large enough h. These bounds will be instrumental for proving Propositions 3 and 4. We first give an upper bound involving the extinction time of the contact process on \({\tilde{G}}\), in terms of the length L(h).
Lemma 8
We have
that is, the extinction time of the contact process on \({\tilde{G}}\) started from full occupancy is smaller than \(\exp \{d^{\frac{3}{2}h}\}\cdot (\log L(h))^2\) with high probability as \(h \rightarrow \infty \).
Proof
Let \(E_{0}'\) be the event that each vertex in \(V \cup {\mathcal {T}}_h\) has a recovery mark before it sends out any transmission arrow, and before time 1. Since all vertices of \(V \cup {\mathcal {T}}_h\) have degree at most \(d+1\), we have
if h is large enough (since \({\mathcal {T}}_h < d^{h+1}\) and V is fixed as \(h \rightarrow \infty \)). Next, let \(E_0''\) denote the event that the contact process on \({\tilde{G}}\) started from \({\mathcal {L}}_h\) infected dies out before time \((\log L(h))^2\), and never infects the root \(\rho \) of \({\mathcal {T}}_h\). That is,
The probability of \(E_0''\) is the same as the probability that a contact process on the line segment \(\{1,0,\ldots , L_G(h)\}\), with rate \({\bar{\lambda }}\) and initial configuration \(\{0,\ldots , L(h)\}\), dies out before time \((\log L(h))^2\) and never infects vertex \(1\). Therefore, by Lemmas 2 and 4, we have
for all h. Let \(E_0 := E_0' \cap E_0''\); since \(E_0'\) and \(E_0''\) have different supports in the graphical representation, they are independent and hence
For \(i \in \{1,\ldots ,\lfloor \exp \{d^{\frac{3}{2}h}\} \rfloor \}\), let \(E_i\) be the time translation of event \(E_0\) to the graphical construction on the time interval
Finally, noting that \(E_0,E_1,\ldots \) are independent and
we have
\(\square \)
We now proceed to an upper bound on L(h).
Lemma 9
If h is large enough, we have
Proof
Define
Recall that \(v_{L(h)1}\) denotes the neighbor of \({\tilde{o}}\) in \({\mathcal {L}}_h\), and let \(F_2\) be the event that there is no infection path starting from \((\rho ,s)\) for some \(s \le \exp \{d^{\frac{3}{2}h}\}\cdot (\log L(h))^2\), ending at \((v_{L(h)1},t)\) for some \(t > s\), and entirely contained in \({\mathcal {L}}_h \cup \{\rho \}\). It is easy to see that
By Lemma 8 we have \({\displaystyle \lim _{h \rightarrow \infty } {\mathbb {P}}(F_1) = 1}\), and by Corollary 1 we have
This shows that, if we had \(L(h) >d^{2h}\), we would get
On the other hand, the definition of L(h) implies that
a contradiction. \(\square \)
The following guarantees that if the contact process with some initial condition remains active for time in \({\tilde{G}}\), then it is highly likely to coincide with the process started from full occupancy. This, in turn, will be applied in the proof of Lemma 10 which is an important step toward obtaining lower bounds on L(h).
Proposition 5
If h is large enough, for any \(A \subset {\tilde{V}}\) we have
The proof of this proposition is lengthy and technical, so we postpone it to Appendix.
We are now interested in giving an upper bound for the probability that the infection crosses \({\mathcal {L}}_h\) in a single attempt. For the proof of Proposition 4, it will be important that this bound is given in terms of the extinction time of the infection on \({\tilde{G}}\), starting from full occupancy.
Define
that is, S(h) is the expected amount of time it takes for the contact process on \({\tilde{G}}\) with parameter \(\lambda \) started from full occupancy to die out. Also let
or equivalently, \({\mathcal {p}}(\ell )\) is the probability that, for the contact process with parameter \(\lambda \) on a line segment of length \(\ell + 1\), an infection starting at one extremity ever reaches the other extremity.
Lemma 10
If h is large enough,
Proof
Recall that \(v_0\) is the vertex of \({\mathcal {L}}_h\) neighboring \(\rho \), the root of \({\mathcal {T}}_h\). Let q(h) denote the probability that there is an infection path starting from \((v_0,0)\), ending at \(({\tilde{o}},t)\) for some , and entirely contained in \({\mathcal {L}}_h\). Note that \(q(h) \le {\mathcal {p}}(L(h))\) and, by a union bound,
Next, assume that h is large enough that any vertex in V is at distance smaller than h from \(\rho \), the root of \({\mathcal {T}}_h\). With this choice, we claim that for any \(A \subset {\tilde{V}}\), \(A \ne \varnothing \) we have
Indeed, if \(A \cap {\mathcal {L}}_h \ne \varnothing \), then the lefthand side is larger than q(h) by the definition of q(h) and simple monotonicity considerations. If \(A \cap {\mathcal {L}}_h = \varnothing \), then by (9), with probability larger than \(\delta (h):= (e^{1}(1e^{{\lambda }}))^h\), \(\rho \) gets infected within time h, and conditioned on this, with probability q(h), \({\tilde{o}}\) gets infected after at most additional units of time. Applying (32) and the strong Markov property repeatedly, we have
Now, letting , we have
where the first inequality follows from the definition of L(h), see (23) and (25). We now claim that
if h is large enough. Plugging this into (34), we obtain
for large enough h, completing the proof.
It remains to prove (35). Noting that if h is large, we have
By Lemma 1, we have
Next,
Now, the first term on the righthand side is smaller than by Lemma 7 (since \(V \cup {\mathcal {T}}_h \in {\mathcal {A}}_h\)), and the second term on the righthand side is also smaller than by Proposition 5. Putting things together gives (35) for large enough h. \(\square \)
We end this section with a lower bound on L(h), which again will be important for the proof of Proposition 4.
Lemma 11
If h is large enough,
Proof
By the simple estimate (9) and Lemma 10, we have
This gives
Recalling that and noting that
we obtain
if h is large enough. \(\square \)
Proof of Proposition 3
We begin with a simple consequence of Proposition 5.
Lemma 12
If h is large enough, for any \(A \in {\mathcal {A}}_h\) we have
Proof
Since both A and \(V \cup {\mathcal {T}}_h\) belong to \({\mathcal {A}}_h\), Lemma 7 gives
and Proposition 5 gives
The desired statement follows from these four inequalities. \(\square \)
Lemma 13
If h is large enough, we have, for any \(v \in V\),
Proof
Assume h is larger than the graph diameter of G, and fix \(v \in V\). We have, for any \(A \subset {\tilde{V}}\) with \(A \cap {\mathcal {T}}_h \ne \varnothing \),
Indeed, by the estimate (9) we have that, with probability at least \((e^{1}\cdot (1e^{\lambda }))^{2h}\), v becomes infected before time 2h, and then, it remains infected for time 2h (by having no recovery marks) with probability \(e^{2h}\). By iterating this, we obtain
We therefore have
if h is large, which implies the statement of the lemma. \(\square \)
Lemma 14
If h is large enough, we have
Proof
We will separately prove that
and
the desired result will then follow.
For (38), let \(u_1 := v_{L(h)2},u_2:= v_{L(h)1}\) be such that \(u_1,u_2,{\tilde{o}}\) (in this order) are the three last vertices in \({\mathcal {L}}_h\), as we move away from \({\mathcal {T}}_h\). By Lemma 6 and the definition of L(h) we have
Let \(G'\) denote \({\tilde{G}}\) after removing \(u_2\) and \({\tilde{o}}\). Define the random set of times
We have
where I denotes the Lebesgue measure of I. To justify this, note that the first time that \(u_2\) becomes infected in \((\xi ^{V \cup {\mathcal {T}}_h}_{{\tilde{G}},\lambda ;t})_{t \ge 0}\) is necessarily through a transmission from \(u_1\). Hence, one can decide if \(u_2\) is ever infected in this process by inspecting whether there is a point in time at which (1) \(u_1\) is infected in process confined to \(G'\), and (2) there is a transmission arrow from \(u_1\) to \(u_2\). The number of such time instants is a Poisson random variable with parameter \({\lambda } I\), justifying (41).
We bound
so
for h large enough.
We next claim that
To prove this, we observe that on the event \(\{I \ge h^2\}\), we can find an increasing sequence of times \(S_0,\ldots , S_{\lfloor h^2/2 \rfloor } \in I\) with
Next, note that for each interval \([S_j,S_{j+1}]\), with a probability that is positive and depends only on \({\lambda }\), the infection is sent to \({\tilde{o}}\) and remains there for one unit of time. This occurring independently in different time intervals, (43) follows from a simple Chernoff bound. Now, (38) follows from (42) and (43).
We now turn to (39). Note that the event inside the probability there is contained in the event that there is an infection path starting at some time s and ending at some time t with , connecting the two endpoints of \({\mathcal {L}}_h\). By Corollary 1, the probability that such a path exists is smaller than
if h is large enough. \(\square \)
Proof of Proposition 3
The statements follow readily from Lemmas 12, 13 and 14. \(\square \)
Proof of Proposition 4
Proving Proposition 4 is now just a matter of putting together bounds that were obtained earlier.
Proof of Proposition 4
Fix \(\lambda ' < \lambda \). Let B be the event that, in the graphical construction with parameter \(\lambda '\), there is an infection path starting from \((v_0,s)\) for some (where \(v_0\) is the vertex of \({\mathcal {L}}_h\) neighboring the root \(\rho \) of \({\mathcal {T}}_h\)), ending at \(({\tilde{o}},t)\) for some \(t > s\), and entirely contained in \({\mathcal {L}}_{h}\). Then, by a union bound,
The first term is bounded using Markov’s inequality and monotonicity:
Next, note that the occurrence of B depends only on the graphical construction of the contact process with parameter \(\lambda '\) on the line segment connecting \(v_0\) and \({\tilde{o}} = v_{L(h)}\). Therefore, using Lemma 3 [and also recalling the definition of \({\mathcal {p}}\) from (30)], we have
Bounding the righthand side using Lemma 5, we obtain
By using as in (31) and \(L(h) \ge d^{\frac{3h}{4}}\) as in (36), the righthand side above is smaller than
which is much smaller than if h is large enough (depending on \(\lambda \) and \(\lambda '\)). \(\square \)
Change history
27 October 2021
Acknowledgment section has been added to this article.
Notes
Some care must be taken before one considers the contact process on graphs with unbounded degrees. The standard construction, as described in [12, 13], is valid on graphs with bounded degree; in the absence of this condition, the assumptions required to define a Feller semigroup from a pregenerator may fail to hold. However, for the alternate graph outlined here (which alternates line segments of increasing length with stars of increasing degree), and the contact process started from configurations with finitely many infected vertices, there are no problems with constructing the process. Indeed, in that case it can be constructed more simply as a continuoustime Markov chain on a countable state space (namely the collection of finite sets of vertices), and the structure of the graph makes it easy to see that explosion does not occur (by considering the time it takes for the infection to cross each line segment). Since the alternate graph is not the focus of this work, we omit further details.
References
Andjel, E., Miller, J., Pardoux, E.: Survival of a single mutant in one dimension. Electron. J. Probab. 15, 386–408 (2010)
Bhamidi, S., Nam, D., Nguyen, O., Sly, A.: Survival and extinction of epidemics on random graphs with general degrees (2019). arXiv:1902.03263
Bezuidenhout, C., Grimmett, G.: The critical contact process dies out. Ann. Probab. 1462–1482 (1990)
Cranston, M., Mountford, T., Mourrat, J.C., Valesin, D.: The contact process on finite homogeneous trees revisited. ALEA 11 (2014)
Griffeath, D.: The binary contact path process. Ann. Probab. 11(3), 692–705 (1983)
Harris, T.E.: Contact interactions on a lattice. Ann. Probab. 69–988 (1974)
Huang, X., Durrett, R.: The contact process on random graphs and Galton–Watson trees (2018). arXiv:1810.06040
Lalley, S.P., Sellke, T.: Limit set of a weakly supercritical contact process on a homogeneous tree. Ann. Probab. 26(2), 644–657 (1998)
Lalley, S.P.: Correction: growth profile and invariant measures for the weakly supercritical contact process on a homogeneous tree. Ann. Probab. 30(4), 2108–2112 (2002)
Liggett, T.M.: Branching random walks and contact processes on homogeneous trees. Probab. Theory Relat. Fields 106(4), 495–519 (1996)
Liggett, T.M.: Multiple transition points for the contact process on the binary tree. Anna. Probab. 24(4), 1675–1710 (1996)
Liggett, T.M.: Interacting Particle Systems, vol. 276. Springer Science & Business Media, New York (2012)
Liggett, T.M.: Stochastic Interacting Systems: Contact, Voter and Exclusion Processes, vol. 324. Springer Science & Business Media, New York (2013)
Mountford, T., Mourrat, J.C., Valesin, D., Yao, Q.: Exponential extinction time of the contact process on finite graphs. Stoch. Process. Appl. 126(7), 1974–2013 (2016)
Madras, N., Schinazi, R., Schonmann, R.H.: On the critical behavior of the contact process in deterministic inhomogeneous environments. Ann. Probab. 22(3), 1140–1159 (1994)
Nam, D., Nguyen, O., Sly, A.: Critical value asymptotics for the contact process on random graphs (2019). arXiv:1910.13958
Pemantle, R.: The contact process on trees. Ann. Probab. 20(4), 2089–2116 (1992)
Salzano, M., Schonmann, R.H.: The second lowest extremal invariant measure of the contact process. Ann. Probab. 25(4), 1846–1871 (1997)
Salzano, M., Schonmann, R.H.: The second lowest extremal invariant measure of the contact process II. Ann. Probab. 27(2), 845–875 (1999)
Acknowledgements
The research in this paper was funded by the grant NWO Physical Sciences TOPGrant  Module 2 2016 EW, project number 613.001.603 (“Epidemics on static and dynamic networks: towards general results”). The authors are thankful to NWO for the support.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Appendix: Proof of Proposition 5
Appendix: Proof of Proposition 5
We will first state and prove some auxiliary claims.
Claim 1
For any \(A \subset {\tilde{V}}\backslash {\mathcal {T}}_h\) we have
Proof
Let \(G'\) be the graph obtained by removing \({\mathcal {T}}_h\) from \({\tilde{G}}\) (so that \(G'\) is the disconnected union of G and \({\mathcal {L}}_h\)). The complement of the event in the probability above is
where
Since G is fixed while h can be taken arbitrarily large, we can assume
Next, noting that, by Lemma 9,
we have, by Lemma 2,
if h is large enough. \(\square \)
For the next two claims we let \(c_{{\mathbb {T}}}\) be as in Proposition 1.
Claim 2
For any \(A \subset {\tilde{V}}\) we have
Proof
Define
and let \(\tau = \min (\tau ',\tau '')\). By the first claim we have
Next, note that
We will prove that
Taken together, (46), (47) and (48) give the statement of the claim.
To prove (48), we first introduce some notation. Given \(A'\subset {\mathcal {T}}_h\), we write
Note that \((\xi ^{A'}_{{\mathcal {T}}_h,\lambda ; t_1,t_1+s}:s\ge 0)\) has same distribution as \((\xi ^{A'}_{{\mathcal {T}}_h,\lambda ;s}:s \ge 0)\). Next, on the event \(\{\tau ''<\infty \}\) let \(A':=\xi ^A_{G,\lambda ;\tau ''} \cap {\mathcal {T}}_h\). Define the event
By Proposition 1 and the strong Markov property we have . Moreover, on B we have
This completes the proof. \(\square \)
Claim 3
For any \(A \subset {\tilde{V}}\) and h large enough we have
In words, the event in the probability in the lefthand side can be described by saying that one of two alternatives has to hold true for the contact process on \({\tilde{G}}\) started from A. The first alternative is that by time , this process dies. The second alternative is that at time , the occupation of this process inside \({\mathcal {T}}_h\) is large enough that it contains the set . This set is obtained by running the contact process only inside \({\mathcal {T}}_h\), from time 0 to time , starting from full occupancy at time 0.
Proof
For , define the event
We then note that the event in the probability in (49) is contained in \(\cup F_i\), and by Claim 2,
\(\square \)
We now introduce notation for the time dual of the contact process: if \(G' = (V',E')\) is a graph, we write
(as usually, we abuse notation and sometimes treat \({\tilde{\xi }}^A_{G',\lambda ; s,t}\) as a subset of \(V'\) rather than a configuration of 0s and 1s). Note that for any \(s,t > 0\) and \(x,y \in {\tilde{V}}\) we have
Proof of Proposition 5
Fix \(x \in {\tilde{V}}\) and define
Note that \(E_1\) is the joint occurrence of the event of Claim 3 [that is, the event inside the probability in the lefthand side of (49)], with A ranging over all sets of the form \(\{x\}\), with \(x \in {\tilde{V}}\).
By Claim 3, \(E_1\) has probability larger than . Note also that for any \(A \subset {\tilde{V}}\) we have
Define the event
This event can be interpreted in the same way as \(E_1\), except that it pertains to the dual process. By invariance of Poisson processes under time reversal, \(E_2\) has the same probability as \(E_1\). It is also the case that, for any \(A \subset {\tilde{V}}\),
Finally, Proposition 1 implies that if h is large enough, the event
has probability larger than \(1{\exp \{c_{\mathbb {T}} d^h\}}\). Putting our bounds together, we have
if h is large enough.
We now claim that for any \(A \subset {\tilde{V}}\) we have
To prove this, it suffices to prove
which in turn is implied by proving:
So for the rest of this proof, we assume that the event in the lefthand side of (53) occurs. Fix \(x \in {\tilde{V}}\); we would like to prove that . This is immediate in case , so from now on we also assume that , which also implies that
Now, since occurs, by (51) we have that
Moreover, since occurs, by (52) we have that
Finally, since \(E_3\) occurs, there exists some , so the two set inclusions we just obtained imply that z is both in and in . We thus have
so follows as desired. \(\square \)
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Bethuelsen, S.A., da Silva, G.B. & Valesin, D. Graph Constructions for the Contact Process with a Prescribed Critical Rate. J Theor Probab 35, 863–893 (2022). https://doi.org/10.1007/s10959020010634
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10959020010634
Keywords
 Contact process
 Phase transition
 Interacting particle systems
 Critical value
Mathematics Subject Classification
 82C22
 60K35