## Critical infection rates for contact processes on open clusters of oriented percolation in Z d

Xiaofeng Xue

∗

University of Chinese Academy of Sciences

## Abstract

In this paper we are concerned with contact processes on open clusters of oriented percolation in Z d , where the disease spreads along the direction of open edges. We show that the two critical infection rates in the quenched and annealed cases are equal with probability one and are asymptotically equal to ( dp ) -1 as the dimension d grows to infinity, where p is the probability of edge 'open'.

Keywords: Contact process, percolation, open cluster, critical infection rate.

## 1 Introduction

In this paper we are concerned with contact processes on open clusters of oriented bond percolation in Z d . In our model, for any x, y ∈ Z d , there is a directed edge from x to y if and only if y -x ∈ { e i } 1 ≤ ≤ i d , where

$$e _ { i } = ( 0, \ \dots, \ 0, \ 1 _ { \ i t h }, 0, \ \dots, \ 0 ).$$

We denote by E d the set of directed edges on Z d . { X e } e ∈ E d are independent and identically distributed random variables such that

$$P ( X _ { e } = 1 ) = 1 - P ( X _ { e } = 0 ) = p \in ( 0, 1 ).$$

∗ E-mail : xuexiaofeng@ucas.ac.cn Address : School of Mathematical Sciences, University of Chinese Academy of Sciences, Beijing 100049, China.

Edge e is called 'open' if X e = 1 or 'closed' else if X e = 0. We denote by x → y when the edge from x to y is open. After deleting all the closed edges, we obtain an oriented subgraph G of Z d , which our contact process will be defined on. Please note that G is a random graph depending on the values of { X e } e ∈ E d .

$$c ( x, \eta ) = \begin{cases} 1 & \text{if $\eta(x)=1$,} \\ \lambda \sum _ { y \colon y \to x } \eta ( y ) & \text{if $\eta(x)=0$} \end{cases} \\ \vee G \times \{ 0 \, 1 \} ^ { G } \text{ where $\lambda > 0$ is the infection rate    For}$$

Contact processes { η t } t ≥ 0 on G is a spin system with state space { 0 1 , } G , which means that at each vertex, there is a spin with value 0 or 1. The flip rates of { η t } t ≥ 0 are given by for any ( x, η ) ∈ G ×{ 0 1 , } G , where λ &gt; 0 is the infection rate. For more details about spin systems, please see Chapter 3 of [8].

Intuitively, the model describes the spread of an infectious disease along the direction of open edges. 1 and 0 represent the state 'infected' and 'healthy' respectively. An infected vertex waits for an exponential time with rate one to recover. For any healthy vertex x , if y is infected and the edge from y to x is open, then y infects x at rate λ .

In real life, diseases spreading along one direction are those traveling by rivers, such as dysentery, cholera, typhoid and so on. Closed edges represent the river courses which are too dry to carry the disease.

Recently, contact processes in random environments such as percolation model is an popular topic. Here we list some results in this field which inspire us. In [2] and [11], Chen and Yao prove that the complete convergence theorem holds for contact processes in two kinds of random environments on Z d × Z + , one of which is the percolation model. In [1], Chatterjee and Durrett show that contact processes on random graphs with power law degree distribution have critical value 0, which is not consistent with the estimation given by non-rigorous mean field approach. In [10], Peterson shows that the critical value of contact processes on complete graphs with random vertex-dependent infection rates is inversely proportional to the second moment of the weight of a vertex.

## 2 Main results

We need introduce some notations before stating the main problem we concerned with. In later sections, we denote by P G λ the probability measure of the contact process with infection rate λ on a given graph G , which is called the quenched measure. We denote by E G λ the expectation with respect to P G λ . Note that G depends on the values of { X e } e ∈ E d , which leads to following notations. We assume that { X e } e ∈ E d are defined on the product measurable space ( { 0 1 , } E d , F d , P d,p ) (see Section 1.3 of [6]), where p is the probability of 'open'. We denote by E d,p the expectation with respect to P d,p . For any ω ∈ { 0 1 , } E d , we denote by G ω ( ) the random graph of oriented percolation depending on { X ω e ( ) } e ∈ E d . We define

$$P _ { \lambda, d, p } ( \cdot ) = \mathbb { E } _ { d, p } \left [ P _ { \lambda } ^ { G ( \omega ) } ( \cdot ) \right ],$$

which is called the annealed measure. We denote by E λ,d,p the expectation with respect to P λ,d,p .

In later sections, we write η t as η A t when

$$\{ x \colon \eta _ { 0 } ( x ) = 1 \} = A.$$

If all the vertices are infected at the beginning, then we omit the superscript. Since the contact process is attractive (see the definition of attractive in Chapter 3 of [8]), it is easy to see that P G λ ( η t ( x ) = 1) is decreasing with t for any x ∈ G and so does P λ,d,p ( η t ( 0 ) = 1), where 0 is the origin of Z d . Furthermore, according to the basic coupling of spin systems (See Chapter 3 of [8]), if λ 1 ≥ λ 2 , then

$$P _ { \lambda _ { 1 } } ^ { G } ( \eta _ { t } ( x ) = 1 ) \geq P _ { \lambda _ { 2 } } ^ { G } ( \eta _ { t } ( x ) = 1 )$$

and

$$P _ { \lambda _ { 1 }, d, p } ( \eta _ { t } ( 0 ) = 1 ) \geq P _ { \lambda _ { 2 }, d, p } ( \eta _ { t } ( 0 ) = 1 ).$$

As a result, the definitions of the following critical values are reasonable. For d ≥ 1, p ∈ (0 , 1) and random graph G with respect to { X e } e ∈ E d , we define

$$\lambda _ { c } ( d, p ) = \sup \{ \lambda \colon \lim _ { t \to + \infty } P _ { \lambda, d, p } ( \eta _ { t } ( 0 ) = 1 ) = 0 \} \quad \quad ( 2. 1 )$$

and

$$\widehat { \lambda } _ { c } ( G ) = \sup \{ \lambda \, \colon \, \forall x \in G, \lim _ { t \to + \infty } P _ { \lambda } ^ { G } ( \eta _ { t } ( x ) = 1 ) = 0 \}. \quad \quad ( 2. 2 )$$

According to the translation invariance of our model, P λ,d,p ( η t ( x ) = 1) does not reply on the choose of x . However, the contact process on a given G is not symmetric for each vertex, which explains the difference between the two definitions.

The main problem we concerned with is the estimation of λ c ( d, p ) and ̂ λ c ( G ). The following theorem is our main result.

Theorem 2.1. ( ) i For any d ≥ 1 and p ∈ (0 , 1) , there exist ̂ λ c ( d, p ) ≥ 0 and A d,p ∈ F d such that

$$\mathbb { P } _ { d, p } ( A _ { d, p } ) = 1$$

and for any ω A d,p

$$\widehat { \lambda } _ { c } ( G ( \omega ) ) = \wide$$

$$\begin{array} {$$

$$\xi \in A _ { d, p }.$$

( iii ) For any p ∈ (0 , 1) ,

$$\lim _ { d \to + \infty } d p \lambda _ { c } ( d$$

Theorem 2.1 shows that the two critical infection rates in (2.1) and (2.2) are equal with probability one. Furthermore, as d grows to infinity, these critical infection rates are asymptotically equal to 1 / dp ( ), which is inversely proportional to the expectation of open edges from a fixed vertex.

Critical infection rates for contact processes on some other graphs have similar asymptotic behaviors with that in (2.4). In [5], Griffeath shows that λ c ≈ 1 / (2 d ) for contact processes on Z d . In [9], Pemantle shows that λ c ≈ 1 /n for contact process on regular tree T n . In [10], Peterson shows that λ c ≈ 1 nEρ 2 for contact process on complete graph C n with random vertex-dependent infection rate ρ ( ). · All these results including (2.4) are consistent with the the non-rigorous mean field analysis of contact processes. However, Chatterjee and Durrett prove in [1] that contact processes on random graphs with power low degree distribution have critical infection rate 0, hence the mean field analysis gives an incorrect estimation of critical value when the power α ≥ 3.

The proof of (2.4) will be divided into Section 4 and Section 5. Now we give the proof of ( ) and ( i ii ).

Proof of ( ) i . For an edge e ∈ E d from x 0 to y 0 and any x ∈ Z d , we denote by x + e the edge from x + x 0 to x + y 0 . For any x ∈ Z d , we define T x : { 0 1 , } E d → { 0 1 , } E d as

$$[ T _ { x } ( \omega ) ] ( e ) = \omega ( x +$$

for any ω ∈ { 0 1 , } E d and e ∈ E d .

It is obviously that

$$\widehat { \lambda } _ { c } ( G ( \omega ) ) = \widehat { \lambda } _ { c } ( G ( T _ { x } ( \omega ) ) ) \\ \dots \sim \tau d$$

As a result, ( ) follows the ergodicity of i.i.d. i measures (see Chapter 7 of [4]).

for any ω ∈ { 0 1 , } E d and x ∈ Z d .

Proof of (2.3) . For any λ &lt; λ ̂ c ( d, p ),

$$\Gamma _ { \lambda, d, p } \times \Gamma _ { \lambda, d, p } \sim \Gamma _ { \lambda, d, p } \sim \Gamma _ { \lambda, d, p } \sim \Gamma _ { \lambda, d, p } \Gamma _ { \lambda } ^ { G ( \omega ) } ( \eta _ { t } ( 0 ) = 1 ) \\ \lim _ { t \to + \infty } P _ { \lambda, d, p } ( \eta _ { t } ( 0 ) = 1 ) \\ = & \mathbb { E } _ { d, p } \lim _ { t \to + \infty } P _ { \lambda } ^ { G ( \omega ) } ( \eta _ { t } ( 0 ) = 1 ) \\ = & \mathbb { E } _ { d, p } \left [ 1 _ { \{ \omega \in A _ { d, p } \} } \lim _ { t \to + \infty } P _ { \lambda } ^ { G ( \omega ) } ( \eta _ { t } ( 0 ) = 1 ) \right ] \\ = & 0$$

according to ( ). i Therefore,

$$\widehat { \lambda } _ { c } ( d, p ) & \leq \lambda _ { c } ( d, p ). & ( 2. 5 ) \\ \dots & \dots & \dots & \dots$$

For any λ &lt; λ c ( d, p ) and each x ∈ Z d ,

$$\lim _ { t \to + \infty } P _ { \lambda, d, p } ( \eta _ { t } ( x ) = 1 ) = 0.$$

Therefore, for any x ∈ Z d ,

$$\mathbb { E } _ { d, p } \lim _ { t \to + \infty } P _ { \lambda } ^ { G ( \omega ) } ( \eta _ { t } ( x ) = 1 ) = \lim _ { t \to + \infty } P _ { \lambda, d, p } ( \eta _ { t } ( x ) = 1 ) = 0.$$

Hence, with probability one,

$$\lim _ { t \rightarrow + \infty } P _ { \lambda } ^ { G } ( \eta _ { t } ( x ) = 1 ) = 0.$$

Notice that there are countable vertices on Z d . As a result, there exists B d,p ∈ F d such that

$$\mathbb { P } _ { d, p } ( B _ { d, p } ) = 1$$

and

$$\forall x \in Z ^ { d }, \lim _ { t \to + \infty } P _ { \lambda } ^ { G ( \omega ) } ( \eta _ { t } ( x ) = 1 ) = 0$$

for any ω ∈ B d,p .

We choose ω 0 ∈ A d,p ∩ B d,p , then

$$\lambda \leq \widehat { \lambda } _ { c } ( G ( \omega _ { 0 } ) ) = \widehat { \lambda } _ { c } ( d, p ).$$

Therefore,

(2.3) follows (2.5) and (2.6).

$$\lambda _ { c } ( d, p ) & \leq \widehat { \lambda } _ { c } ( d, p ). & ( 2. 6 ) \\ [ ( 2. 6 ). &$$

![image](https://ac.marcodsn.me/arxiv-markdown-images/1408.0568v1-figure-e4648a3b-22a4-4834-a9fd-31dfcb63f503.jpg)

## 3 Mean field estimation

In this section we utilize the mean field approach to give a non-rigorous explanation of why λ c ≈ 1 / dp ( ). The rigorous proof will be given in Section 4 and Section 5.

According to Hille-Yosida Theorem,

$$\begin{array} {$$

In the mean field approach, we assume that η t ( x ), η t ( x -e i ) and 1 { x -e i → } x are independent (which is wrong).

Then,

$$= _ { j }$$

$$& P _ { \lambda, d, p } ( \eta _ { t } ( x ) =$$

under the mean field assumption.

So P λ,d,p ( η t ( x ) = 1) is described by the following ODE

$$\eta _ { t } ( x ) = 1 ) & \text{ is a escribe by the$$

By direct calculation,

$$\lim _ { t \rightarrow + \infty } f _ { t } = 0$$

when λ &lt; 1 / dp ( ) and

$$\lim _ { t \rightarrow + \infty } f _ { t } = \frac { \lambda d p - 1 } { \lambda d p } > 0$$

when λ &gt; 1 / dp ( ).

As a result, the estimation of λ c ( d, p ) given by the mean field approach is 1 / dp ( ), which is actually a lower bound shown in the next section.

## 4 Lower bound of λ c ( d, p )

In this section we give a lower bound of λ c ( d, p ). We utilize the binary contact path process as an auxiliary process, which is introduced by Griffeath in [5].

For any ω ∈ { 0 1 , } E d , the binary contact path process { ζ t } t ≥ 0 on G ω ( ) is with state space { 0 1 2 , , , . . . } G ω ( ) , which means that each vertex takes a value from nonnegative integers. { ζ t } t ≥ 0 evolves as follows. For each x ∈ Z d , ζ t ( x ) flips to 0 at rate one. For each y such that y → x , ζ t ( x ) flips to ζ t ( x ) + ζ t ( y ) at rate λ .

In other words, the generator Ω of { ζ t } t ≥ 0 is given by

$$\mu _ { \mu } ^ { \dots } \, \mu _ { \nu } \, \mu _ { \nu } \, \mu _ { \nu } \, \mu _ { \nu } \, \mu _ { \nu } \, \mu _ { \nu } \, \mu _ { \nu } \, \mu _ { \nu } \, \mu _ { \nu } \, \mu _ { \nu } \, \mu _ { \nu } \, \mu _ { \nu } \, \mu _ { \nu } \, \mu _ { \nu } \, \mu _ { \nu } \, \mu _ { \nu } \, \mu _ { \nu } \, \mu _ { \nu } \, \mu _ { \nu } \, \mu _ { \nu } \, \mu _ { \nu } \, \mu _ { \nu } \, \mu _ { \nu } \\ \Omega f ( \zeta ) = \sum _ { x \in Z ^ { d } } \left [ f ( \zeta ^ { x, 0 } ) - f ( \zeta ) \right ] + \lambda \sum _ { x \in Z ^ { d } } \sum _ { y \colon y \to x } \left [ f ( \zeta ^ { x, \zeta ( x ) + \zeta ( y ) } ) - f ( \zeta ) \right ]$$

for any ζ ∈ { 0 1 2 , , , . . . } G , where

/negationslash for any ( x, m ) ∈ Z d ×{ 0 1 2 , , , . . . } .

$$\begin{array} { c }.. \} \langle, \text{ where } \\ \zeta ^ { x, m } ( y ) = \begin{cases} \zeta ( y ) & \text{if $y \neq x$}, \\ m & \text{if $y = x$} \end{cases} \\ \times \{ 0, 1, 2, \dots \}. \end{array}$$

Intuitively, the binary contact path process { ζ t } t ≥ 0 counts the seriousness of the disease. An infected vertex x is able to be further infected by y if there is an open edge from y to x . When y infects x , we add the seriousness of the disease of x by the seriousness of y .

We assume that ζ 0 ( x ) = 1 for any x ∈ Z d . Then, it is easy to see that the contact process { η t } t ≥ 0 with

$$\{ x \colon \eta _ { 0 } ( x ) = 1 \} = Z ^ { d }$$

can be coupled with { ζ t } as follows. For any x ∈ Z d and t ≥ 0,

$$\text{with} \, \{ \zeta _ { t } \} & \text{ as follows. For any } x \in Z ^ { u } \text{ and } t \geq 0, \\ \eta _ { t } ( x ) & = \begin{cases} 1 & \text{if } \zeta _ { t } ( x ) \geq 1, \\ 0 & \text{if } \zeta _ { t } ( x ) = 0. \end{cases}$$

By (4.1), and hence

$$P _ { \lambda, d, p } ( \eta _ { t } ( 0 ) = 1 ) \leq E _ { \lambda, d, p } \zeta _ { t } ( 0 ).$$

The following theorem gives a lower bound of λ c ( d, p ).

Theorem 4.1. For any d ≥ 1 and p ∈ (0 , 1) ,

$$\lambda _ { c } ( d, p ) \geq 1 / ( d p ).$$

Proof. According to Theorem 1.27 of Chapter 9 of [8], for any x ∈ Z d and any ω ∈ { 0 1 , } E d ,

$$\frac { d } { d t } E _ { \lambda } ^ { G ( \omega ) } \zeta _ { t } ( x ) = - E _ { \lambda } ^ { G ( \omega ) } \zeta _ { t } ( x ) + \lambda \sum _ { y \colon y \to x } E _ { \lambda } ^ { G ( \omega ) } \zeta _ { t } ( y ).$$

Therefore,

$$E _ { \lambda } ^ { G ( \omega ) } \zeta _ { t } = e ^ { t ( B _ { \omega } - I _ { d } ) } \zeta _ { 0 },$$

where B ω is a Z d × Z d matrix such that

$$\text{ matrix sum} \\ B _ { \omega } ( x, y ) = \begin{cases} \lambda & \text{if $y\to x$,} \\ 0 & \text{else} \end{cases} \\ Z ^ { d } \text{ and } I, is the Z ^ { d } \times Z ^ { d } \text{ identity} \ n$$

for any ( x, y ) ∈ Z d × Z d and I d is the Z d × Z d identity matrix.

As a result,

$$\mathfrak { m }, \\ E _ { \lambda } ^ { G ( \omega ) } \zeta _ { t } ( \mathbf 0 ) & = e ^ { - t } \sum _ { y \in Z ^ { d } } e ^ { t B _ { \omega } } ( 0, y ) \\ & = e ^ { - t } \sum _ { n = 0 } ^ { + \infty } \frac { t ^ { n } } { n! } [ \sum _ { y \in Z ^ { d } } B _ { \omega } ^ { n } ( 0, y ) ]. \\ -$$

For any ω ∈ { 0 1 , } E d and n ≥ 0, we denote by l n ( ω ) the total number of open paths which are with length n and end at 0 .

By the definition of B ω , it is easy to see that

$$\sum _ { y \in Z ^ { d } } B _ { \omega } ^ { n } ( 0, y ) = \lambda ^ { n } l _ { n } ( \omega ).$$

$$P _ { \lambda } ^ { G ( \omega ) } ( \eta _ { t } ( 0 ) = 1 ) = P _ { \lambda } ^ { G ( \omega ) } ( \zeta _ { t } ( 0 ) \geq 1 ) \leq E _ { \lambda } ^ { G ( \omega ) } \zeta _ { t } ( 0 )$$

Therefore,

$$E _ { \lambda, d, p } \zeta _ { t } ( 0 ) = e ^ { - t } \sum _ { n = 0 } ^ { + \infty } \frac { t ^ { n } \lambda ^ { n } } { n! } \mathbb { E } _ { d, p } l _ { n }.$$

For the oriented percolation in Z d , there are d n paths to 0 with length n . Each path is open with probability p n . Hence,

$$\mathbb { E } _ { d, p } l _ { n } = d ^ { n } p ^ { n }$$

and

$$E _ { \lambda, d, p } \zeta _ { t } ( 0 ) = e ^ { - t } \sum _ { n = 0 } ^ { + \infty } \frac { t ^ { n } \lambda ^ { n } d ^ { n } p ^ { n } } { n! } = \exp \{ ( \lambda d p - 1 ) t \}.$$

Therefore, when λ &lt; 1 / dp ( ),

$$\lim _ { t \to + \infty } E _ { \lambda, d, p } \zeta _ { t } ( 0 ) = \lim _ { t \to + \infty } \exp \{ ( \lambda d p - 1 ) t \} = 0. \quad \quad ( 4. 4 )$$

(4.3) follows (4.2) and (4.4).

As a direct corollary of Theorem 4.1,

$$\liminf _ { d \to + \infty } d p \lambda _ { c } ( d, p ) \geq 1.$$

## 5 Upper bound of λ c ( d, p )

In this section we give an upper bound of λ c ( d, p ). We are inspired a lot by the approaches in [3] and [7], which are introduced by Kesten.

According to the graphic representation of contact processes (see Section 3.6 of [8]), { η t } t ≥ 0 has a dual process { ̂ η t } t ≥ 0 , where the disease spreads along the opposite direction of the edge. In details, { ̂ η t } t ≥ 0 on graph G is a spin system with flip rates function given by

$$& \text{es runction given by} \\ & \widehat { c } ( x, \eta ) = \begin{cases} 1 & \text{if $\eta(x)=1$,} \\ \lambda \sum _ { y \colon x \to y } \eta ( y ) & \text{if $\eta(x)=0$.} \end{cases} \\ & \text{as $\widehat { n }^{A}$ when $\{x\colon \widehat { n }_{\theta}(x)\} = 1\} = A$.  The \sigma \text{ranhic renresen}$$

We write ̂ η t as ̂ η A t when { x : ̂ η 0 ( x ) = 1 } = A . The graphic representation shows that and hence

$$P _ { \lambda } ^ { G } ( \eta _ { t } ( 0 ) = 1 ) = P _ { \lambda } ^ { G } ( \exists \ x \in Z ^ { d }, \widehat { \eta } _ { t } ^ { 0 } ( x ) = 1 )$$

$$P _ { \lambda, d, p } ( \eta _ { t } ( 0 ) = 1 ) = P _ { \lambda, d, p } ( \exists \ x \in Z ^ { d }, \widehat { \eta } _ { t } ^ { 0 } ( x ) = 1 ).$$

It is easy to see that {∃ x ∈ Z , η d ̂ 0 t ( x ) = 1 } and {∃ x ∈ Z , η d 0 t ( x ) = 1 } has the same distribution under the annealed measure P λ,d,p . As a result,

$$P _ { \lambda, d, p } ( \eta _ { t } ( 0 ) = 1 ) = P _ { \lambda, d, p } ( \exists \ x \in Z ^ { d }, \eta _ { t } ^ { 0 } ( x ) = 1 ). \quad \quad ( 5. 1 )$$

(5.1) gives the self-duality of η t , but please note that in our model this self-duality only holds in the annealed case, not in the quenched case.

By (5.1),

$$\lim _ { t \to + \infty } P _ { \lambda, d, p } ( \eta _ { t } ( 0 ) = 1 ) = P _ { \lambda, d, p } ( \eta _ { t } ^ { 0 } \text{ survives} ).$$

We control the evolution of η 0 t from below by a SIR model. Assume that { Y x } x ∈ Z d and { U x,i } x ∈ Z , d 1 ≤ ≤ i d are independent random variables and are independent with { X e } e ∈ E d . For any ( x, i ) ∈ Z d ×{ 1 2 , , . . . , d } , Y x follows exponential distribution with rate one and U x,i follows exponential distribution with rate λ . For any ( x, i ) ∈ Z d × { 1 2 , , . . . , d } , if the edge from x to y = x + e i is open and U x,i ≤ Y x , then we say that x infects y , which is denoted by x ⇒ y .

For any x ∈ Z d such that ∑ d i =1 x i ( ) = n , if there exists { y i : y i ∈ Z d } 1 ≤ ≤ -i n 1 such that 0 ⇒ y 1 , y i ⇒ y i +1 for i ≤ n -2 and y n -1 ⇒ x , then we say that there is an infection path with length n from 0 to x .

We denote by C n the set of infection pathes from 0 with length n . It is easy to see that

$$\{ \eta _ { t } ^ { 0 } \text{ survives} \} \supseteq \{ \forall \, n \geq 1, C _ { n } \neq \emptyset \}$$

/negationslash in the sense of coupling.

As a result,

$$P _ { \lambda, d, p } ( \eta _ { t } ^ { 0 } \text{ survives} ) \geq \lim _ { n \to + \infty } P _ { \lambda, d, p } ( C _ { n } \neq \emptyset ).$$

/negationslash

/negationslash

To give lower bound of P λ,d,p ( C n = ∅ ), we utilize the processes of simple random walk on oriented lattices. Assume that { S d m m } =0 1 2 , , ,... is a random walk on Z d such that S d 0 = 0 and

$$P ( S _ { m + 1 } ^ { d } - S _ { m } ^ { d } = e _ { i } ) = 1 / d$$

for 1 ≤ i ≤ d . Let { ̂ S d m m } =0 1 2 , , ,... be an independent copy of { S d m m } =0 1 2 , , ,... .

We define

/negationslash

$$k _ { d } = \sum _ { i = 0 } ^ { + \infty } 1 _ { \{ S _ { i } ^ { d } = \widehat { S } _ { i } ^ { d }, S _ { i + 1 } ^ { d } \neq \widehat { S } _ { i + 1 } ^ { d } \} }$$

and

$$r _ { d } = \sum _ { i = 0 } ^ { + \infty } 1 _ { \{ S _ { i } ^ { d } = \widehat { S } _ { i } ^ { d }, S _ { i + 1 } ^ { d } = \widehat { S } _ { i + 1 } ^ { d } \} }.$$

The following lemma is crucial for us to estimate λ c ( d, p ).

## Lemma 5.1. If λ satisfies that

$$E [ 2 ^ { k _ { d } } ( \frac { \lambda + 1 } { \lambda p } ) ^ { r _ { d } } ] < + \infty,$$

then

$$\lambda \geq \lambda _ { c } ( d, p ).$$

Proof. For any n ≥ 1, we define

$$T _ { n } = \left \{ \{ x _ { k } \} _ { k = 0 } ^ { n } \colon x _ { 0 } = 0, x _ { j + 1 } - x _ { j } \in \{ e _ { i } \colon 1 \leq i \leq d \} \text{ for } 0 \leq j \leq n - 1 \right \}$$

as the set of pathes from 0 with length n (no matter whether each edge is open or closed).

Let

$$M _ { n } = \left \{ \{ x _ { k } \} _ { k = 0 } ^ { n } \in T ^ { n } \, \colon x _ { i } \Rightarrow x _ { i + 1 } \text{ for } 0 \leq i \leq n - 1 \right \} \subseteq T _ { n }.$$

$$P _ { \lambda, d, p } ( C _ { n } \neq \emptyset ) & = P ( | M _ { n } | > 0 ) \geq \frac { ( E | M _ { n } | ) ^ { 2 } } { E | M _ { n } | ^ { 2 } }. \quad \quad ( 5. 4 ) \\ n, \, \text{and} \, \text{that} \, \text{$u$} = \tau \in \mathcal { I } _ { e } \cdot \cdot 1 < i < d \mathcal { I }$$

Then,

/negationslash

For x, y 1 , y 2 such that y 1 -x, y 2 -x ∈ { e j : 1 ≤ j ≤ d } ,

$$P ( x \Rightarrow y _ { 1 } ) = p P ( U _ { x, 1 } \leq Y _ { x } ) = \frac { \lambda p } { 1 + \lambda }$$

and

$$P ( x \Rightarrow y _ { 1 }, \ x \Rightarrow y _ { 2 } ) = p ^ { 2 } P ( U _ { x, 1 }, U _ { x, 2 } \leq Y _ { x } ) = \frac { 2 \lambda ^ { 2 } p ^ { 2 } } { ( 2 \lambda + 1 ) ( \lambda + 1 ) }. \quad ( 5. 6 )$$

Let and

$$A _ { n } = \{ 0 \leq i \leq n - 1 \colon S _ { i } ^ { d } = \widehat { S } _ { i } ^ { d }, S _ { i + 1 } ^ { d } = \widehat { S } _ { i + 1 } ^ { d } \}$$

/negationslash

$$B _ { n } = \{ 0 \leq i \leq n - 1 \, \colon S _ { i } ^ { d } = \widehat { S } _ { i } ^ { d }, S _ { i + 1 } ^ { d } \neq \widehat { S } _ { i + 1 } ^ { d } \}.$$

Then by (5.4), (5.5) and (5.6),

/negationslash

$$P _ { \lambda, d, p } ( C _ { n } \neq \emptyset ) & \geq \frac { d ^ { 2 n } ( \frac { \lambda p } { 1 + \lambda } ) ^ { 2 n } } { \sum _ { \{ y _ { i } \} _ { i = 0 } \in T _ { n } \ \{ z _ { i } \} _ { i = 0 } \in T _ { n } } P ( \{ y _ { i } \} _ { i = 0 } ^ { n } \in M _ { n }, \{ \widehat { S } _ { i } ^ { d } \} _ { i = 0 } ^ { n } \in M _ { n } ) } \\ & = \frac { ( \frac { \lambda p } { 1 + \lambda } ) ^ { 2 n } } { P ( \{ S _ { i } ^ { d } \} _ { i = 0 } ^ { n } \in M _ { n }, \{ \widehat { S } _ { i } ^ { d } \} _ { i = 0 } ^ { n } \in M _ { n } ) } \\ & = \frac { ( \frac { \lambda p } { 1 + \lambda } ) ^ { 2 n } } { E \left [ ( \frac { \lambda p } { 1 + \lambda } ) ^ { 2 n - | A _ { n } | - 2 | B _ { n } | ( \frac { 2 \lambda ^ { 2 } p ^ { 2 } } { 1 + 2 \lambda } ) ^ { | B _ { n } | } \right ] } \\ & = \frac { 1 } { E \left [ ( \frac { 1 + \lambda p } { \lambda p } ) ^ { | A _ { n } | } ( \frac { 2 + 2 \lambda } { 1 + 2 \lambda } ) ^ { | B _ { n } | } \right ] } \\ & \geq \frac { 1 } { E \left [ 2 ^ { | B _ { n } | } ( \frac { 1 + \lambda p } { \lambda p } ) ^ { | A _ { n } | } \right ] }.$$

Notice that lim n → ∞ + | A n | = r d and lim n → ∞ + | B n | = k d . Therefore, by (5.2), (5.3) and (5.7),

$$\lim _ { t \rightarrow + \infty } P _ { \lambda, d, p } ( \eta _ { t } ( 0 ) = 1 ) \geq \frac { 1 } { E [ 2 ^ { k _ { d } } ( \frac { \lambda + 1 } { \lambda p } ) ^ { r _ { d } } ] } > 0$$

when

$$E [ 2 ^ { k _ { d } } ( \frac { \lambda + 1 } { \lambda p } ) ^ { r _ { d } } ] < + \infty.$$

Thanks to Lemma 5.1, we can give an upper bound of λ c ( d, p ) to finish the proof of Theorem 2.1.

Proof of lim sup d → ∞ + dpλ c ( d, p ) ≤ 1 .

We define a sequence of increasing stopping times { τ n } + ∞ n =1 about { S , S d n ̂ d n } n =0 1 2 , , ,..., as follows.

$$\tau _ { 1 } = \inf \{ k \geq 0 \, \colon S _ { k } ^ { d } = \widehat { S } _ { k } ^ { d }, S _ { k + 1 } ^ { d } = \widehat { S } _ { k + 1 } ^ { d } \}. \\ \intertext { \tt \tt \tt \tt \tt \tt \tt \tt \tt \tt \tt \tt \tt \tt \tt \tt \tt \tt \tt \tt \tt \tt \tt \tt \tt \tt \tt \tt \tt \tt \tt \tt \tt \tt \tt \tt \tt \tt \tt \tt \tt \tt \tt \tt \tt \tt \tt \tt \tt \tt \tt \tt \tt \tt \tt \tt \tt \tt \tt \tt \tt \tt \tt \tt \tt \tt \tt \tt \tt \tt \tt \tt \tt \tt \tt \tt \tt \tt \tt \tt \tt \tt \tt \tt \tt \tt \tt \tt \tt \tt \tt \tt \tt \tt \tt \tt \tt \tt \tt \tt \tau } \, \text{$\tau$ for $i>2$ if $\tau$.} \, < \, \varkappa \, \text{$\varkappa$ then}$$

If τ 1 = + ∞ , then τ j = + ∞ for j ≥ 2. If τ 1 &lt; ∞ , then

$$\tau _ { 2 } = \inf \{ k > \tau _ { 1 } \colon S _ { k } ^ { d } = \widehat { S } _ { k } ^ { d }, S _ { k + 1 } ^ { d } = \widehat { S } _ { k + 1 } ^ { d } \}. \\.. \quad. \quad. \quad. \quad. \quad. \quad. \quad.. \quad.. \quad..$$

By inducing, if τ l = + ∞ , then τ j = + ∞ for j ≥ l +1. If τ l &lt; ∞ , then

$$\tau _ { l + 1 } = \inf \{ k > \tau _ { l } \colon S _ { k } ^ { d } = \widehat { S } _ { k } ^ { d }, S _ { k + 1 } ^ { d } = \widehat { S } _ { k + 1 } ^ { d } \}.$$

We set τ 0 = -1 for later use. For k ≥ 1, if τ k &lt; + ∞ , then we define

$$\nolimits _ { 0 } - - 1 \, \iota \, \text{level use, to } \nolimits _ { k } \leq 1, \, \iota \, \text{$k>\top\cos,\emph{em we remove} } \\ \sigma _ { k } = \begin{cases} 0 & \text{if } \tau _ { k } = \tau _ { k - 1 } + 1, \\ \sum _ { j = \tau _ { k - 1 } + 1 } ^ { \tau _ { k } - 1 } 1 _ { \{ S _ { j } ^ { d } = \hat { S } _ { j } ^ { d } \} } & \text{if } \tau _ { k } - \tau _ { k - 1 } \geq 2. \end{cases} \\ + \infty \, \text{and } \tau _ { k + 1 } = + \infty. \, \text{then we define}$$

If τ k &lt; + ∞ and τ k +1 = + ∞ , then we define

$$\rho _ { k } = \sum _ { j = \tau _ { k } + 1 } ^ { + \infty } 1 _ { \{ S _ { j } ^ { d } = \widehat { S } _ { j } ^ { d } \} }.$$

We define

$$\theta = \inf \{ j \geq 1 \colon S _ { j } ^ { d } = \widehat { S } _ { j } ^ { d } \}. \\ \i d \theta \text{ as } \tau. ( d \L ) \text{ } \sigma. ( d \L ) \text{ } \sigma. ( d \L ) \text{ and } \theta ( c )$$

We write τ k , σ k , ρ k and θ as τ k ( d ), σ k ( d ), ρ k ( d ) and θ d ( ) when the dimension d need to be distinguished.

According to Markov property,

$$P ( \sigma _ { k } = m, \tau _ { k } < + \infty | \tau _ { k - 1 } < + \infty ) = P ( 2 \leq \theta < + \infty ) ^ { m } \frac { 1 } { d } \quad ( 5. 8 ) \$$

and

$$P ( \rho _ { k } = l, \tau _ { k + 1 } = + \infty \Big | \tau _ { k } < + \infty ) = P ( 2 \leq \theta < + \infty ) ^ { l - 1 } P ( \theta = + \infty ). \quad ( 5. 9 ) \\ \tau e \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tvar \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \t var \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \taut \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \taur \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \ttau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad\tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad { \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \ \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \ { \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau
 \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \t. \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \t } \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tag \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tbar \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \t
 \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \ tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \ t } \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \ t. \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau \quad \tau$$

If r d = k , then τ k ( d ) &lt; + ∞ , τ k +1 ( d ) = + ∞ and

$$k _ { d } = \sum _ { l = 1 } ^ { k } \sigma _ { l } ( d ) + \rho _ { k } ( d ).$$

Therefore, according to Markov property,

$$E [ 2 ^ { k _ { d } } ( \frac { \lambda + 1 } { \lambda p } ) ^ { r _ { d } } ] = & \sum _ { k = 0 } ^ { + \infty } ( \frac { \lambda + 1 } { \lambda p } ) ^ { k } E \left [ 2 ^ { \sum _ { ( l = 1 } ^ { k } \sigma _ { l } ( d ) + \rho _ { k } ( d ) } } 1 _ { \{ \tau _ { k } ( d ) < + \infty, \tau _ { k + 1 } ( d ) = + \infty \} } \right ] \\ = & \sum _ { k = 0 } ^ { + \infty } ( \frac { 1 + \lambda } { \lambda p } ) ^ { k } \left ( E [ 2 ^ { \sigma _ { 1 } ( d ) } 1 _ { \{ \tau _ { 1 } ( d ) < + \infty \} } ] \right ) ^ { k } E [ 2 ^ { \rho _ { 0 } ( d ) } 1 _ { \{ \tau _ { 1 } ( d ) = + \infty \} } ]. \\ - \. \. \ \. \ \. \ \. \ \. \ \. \ \. \ \. \ \. \.$$

It is proven by Cox and Durrett in [3] that there exists C &gt; 0 such that

$$P ( 2 \leq \theta ( d ) < + \infty ) \leq \frac { C } { d ^ { 2 } }$$

for any d ≥ 1.

$$\text{By } ( 5. 8 ), \, ( 5. 9 ) \text{ and } ( 5. 1 1 ), \, \text{for } d > 2 \sqrt { C },$$

$$\nu ^ { 2 } \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \cdot \\ E \left [ 2 ^ { \sigma _ { 1 } ( d ) } 1 _ { \{ \tau _ { 1 } ( d ) < + \infty \} } \right ] = & \sum _ { l = 0 } ^ { + \infty } 2 ^ { l } P ( 2 \leq \theta ( d ) ) < + \infty ) ^ { l } \frac { 1 } { d } \\ \leq & \frac { 1 } { d } \sum _ { l = 0 } ^ { + \infty } ( \frac { 2 C } { d ^ { 2 } } ) ^ { l } = \frac { d } { d ^ { 2 } - 2 C }$$

and

$$E \left [ 2 ^ { \rho _ { 0 } ( d ) } 1 _ { \{ \tau _ { 1 } ( d ) = + \infty \} } \right ] \leq & \sum _ { l = 1 } ^ { + \infty } 2 ^ { l } P ( 2 \leq \theta ( d ) < + \infty ) ^ { l - 1 } \\ \leq & 2 \sum _ { l = 0 } ^ { + \infty } ( \frac { 2 C } { d ^ { 2 } } ) ^ { l } = \frac { 2 d ^ { 2 } } { d ^ { 2 } - 2 C } < 4. \\ \intertext { a f o r o n } \text{ $ \text{w}_{1}$ $ 5 $ 1 $}$$

Therefore, by (5.10),

$$E [ 2 ^ { k _ { d } } ( \frac { \lambda + 1 } { \lambda p } ) ^ { r _ { d } } ] \leq 4 \sum _ { k = 0 } ^ { + \infty } \left [ \frac { d ( \lambda + 1 ) } { ( d ^ { 2 } - 2 c ) \lambda p } \right ] ^ { k }$$

for sufficiently large d .

By Lemma 5.1 and (5.12), λ ≥ λ c ( d, p ) when

$$\frac { d ( 1 + \lambda ) } { \lambda p ( d ^ { 2 } - 2 C ) } < 1.$$

Therefore, for sufficiently large d and

$$\lim _ { d \to + \infty } \sup _ { d \to + \infty } d p \lambda _ { c } ( d, p ) \leq 1.$$

Since we have shown that lim inf d → ∞ + dpλ c ( d, p ) ≥ 1 in Section 4, the whole proof of (2.4) and Theorem 2.1 is completed.

## References

- [1] Chatterjee, S. and Durrett, R. (2009). Contact processes on random graphs with power law degree distributions have critical value 0. The Annals of Probability 37 (6), 2332-2356.

$$\lambda _ { c } ( d, p ) \leq \frac { 1 } { d p - \frac { 2 p C } { d } - 1 } \intertext { m d }$$

- [2] Chen, XX. and Yao, Q. (2009). The complete convergence theorem holds for contact processes on open clusters of Z d × Z + . Journal of Statistical Physics 135 , 651-680.
- [3] Cox, J. T. and Durrett, R. (1983). Oriented percolation in dimensions d ≥ 4: bounds and asymptotic formulas. Mathematical Proceedings of the Cambridge Philosophical Society 93 , 151-162.
- [4] Durrett, R. (2010). Probability: Theory and Examples. 4th. Cambridge.
- [5] Griffeath, D. (1983). The binary contact path process. The Annals of Probability 11 , 692-705.
- [6] Grimmett, G. (1999). Percolation. 2nd. Springer, New York.
- [7] Kesten, H. (1990). Asymptotics in High Dimensions for Percolation. In Disorder in physical systems, a volume in honor of John Hammersley on the occasion of his 70th birthday , 219-240. Oxford.
- [8] Liggett, T. M. (1985). Interacting Particle Systems. Springer, New York.
- [9] Pemantle, R. (1992). The contact process on trees. The Annals of Probability 20 , 2089-2116.
- [10] Peterson, J. (2011). The contact process on the complete graph with random vertex-dependent infection rates. Stochastic Processes and their Applications 121 (3), 609-629.
- [11] Yao, Q. and Chen, XX. (2012). The complete convergence theorem holds for contact processes in a random environment on Z d × Z + . Stochastic Processes and their Applications 122 (9), 3066-3100.
Xiaofeng Xue
Critical infection rates for contact processes on open clusters of oriented percolation in $Z^d$
In this paper we are concerned with contact processes on open clusters of
oriented percolation in $Z^d$, where the disease spreads along the direction of
open edges. We show that the two critical infection rates in the quenched and
annealed cases are equal with probability one and are asymptotically equal to
$(dp)^{-1}$ as the dimension $d$ grows to infinity, where $p$ is the
probability of edge `open'.