_n: \; \pi (x)\ge r^n \} ) \le \deg^n \varrho(r)^n$. By Chebyshev’s inequality and the Borel–Cantelli lemma, for any $r>\underline{r}$ and $\P$-almost surely for all large $n$, $$\#\left\{ x\in \T_n: \; \pi (x) \ge r^n \right\}
    \le n^2 \deg^n \varrho(r)^n.
    \label{Jn-ub1}$$

On the other hand, by (\[chernoff\]), $$\P \left\{ \exists x\in \T_n: \pi (x) \ge r^n\right\} \le \deg^n \varrho (r)^n.$$

For $r> \overline{r}$, the expression on the right-hand side is summable in $n$. By the Borel–Cantelli lemma, for any $r>\overline{r}$ and $\P$-almost surely for all large $n$, $$\max_{x\in \T_n} \pi (x) < r^n.
    \label{Jn-ub}$$

[*Proof of Theorem \[t:posrec\]: upper bound.*]{} Fix $\varepsilon>0$ such that $q+ 3\varepsilon < {1\over \deg}$.

We follow the strategy given in Liggett ([@liggett], p. 103) by introducing a positive recurrent birth-and-death chain $(\widetilde{X_j}, \, j\ge 0)$, starting from $0$, with transition probability from $i$ to $i+1$ (for $i\ge 1$) equal to $${1\over \widetilde{\pi} (i)} \, \sum_{x\in \T_i} \pi(x) (1- \omega(x, {\buildrel \leftarrow \over x})),$$

where $\widetilde{\pi} (i) := \sum_{x\in \T_i} \pi(x)$. We note that $\widetilde{\pi}$ is a finite invariant measure for $(\widetilde{X_j})$. Let $$\tau_n := \inf \left\{ i\ge 1: \, X_i \in \T_n\right\}, \qquad n\ge 0.$$

By Liggett ([@liggett
_ n: \; \pi (x)\ge r^n \ }) \le \deg^n \varrho(r)^n$. By Chebyshev ’s inequality and the Borel – Cantelli lemma, for any $ r>\underline{r}$ and $ \P$-almost surely for all large $ n$, $ $ \#\left\ { x\in \T_n: \; \pi (x) \ge r^n \right\ } 
     \le n^2 \deg^n \varrho(r)^n. 
     \label{Jn - ub1}$$ 

 On the other hand, by (\[chernoff\ ]), $ $ \P \left\ { \exists x\in \T_n: \pi (x) \ge r^n\right\ } \le \deg^n \varrho (r)^n.$$ 

 For $ r > \overline{r}$, the formula on the proper - hand side is summable in $ n$. By the Borel – Cantelli lemma, for any $ r>\overline{r}$ and $ \P$-almost surely for all large $ n$, $ $ \max_{x\in \T_n } \pi (x) < r^n. 
     \label{Jn - ub}$$ 

 [ * validation of Theorem \[t: posrec\ ]: upper bound. * ] { } Fix $ \varepsilon>0 $ such that $ q+ 3\varepsilon < { 1\over \deg}$. 

 We follow the scheme impart in Liggett ([ @liggett ], p.   103) by introducing a convinced recurrent birth - and - death range $ (\widetilde{X_j }, \, j\ge 0)$, starting from $ 0 $, with transition probability from $ i$ to $ i+1 $ (for $ i\ge 1 $) equal to $ $ { 1\over \widetilde{\pi } (i) } \, \sum_{x\in \T_i } \pi(x) (1- \omega(x, { \buildrel \leftarrow \over x})),$$ 

 where $ \widetilde{\pi } (iodine): = \sum_{x\in \T_i } \pi(x)$. We note that $ \widetilde{\pi}$ is a finite invariant measure for $ (\widetilde{X_j})$. Let $ $ \tau_n: = \inf \left\ { i\ge 1: \, X_i \in \T_n\right\ }, \qquad n\ge 0.$$ 

 By Liggett ([ @liggett
_n: \; \oi (x)\ge r^n \} ) \le \deg^n \varrmo(r)^n$. By Chebysher’w ineqnality znd the Corel–Cantelli lemma, for any $c>\undwrlint{g}$ and $\P$-almost surely wor all lwrge $n$, $$\#\lwft\{ e\in \T_n: \; \pi (x) \ge c^h \right\}
    \le k^2 \deg^u \tarrho(r)^n.
    \labgl{Jn-ub1}$$

On the other hand, by (\[cfexnoff\]), $$\P \left\{ \exists x\in \T_n: \pi (x) \ge r^g\right\} \ke \deg^n \varrho (r)^g.$$

For $w> \ovsgllne{r}$, the expression on the right-gand sive is summable on $n$. By the Borel–Cantelli pemmw, for any $r>\overlinf{r}$ and $\P$-almist fyrely for alu large $n$, $$\max_{x\in \T_n} \pi (x) < r^n.
    \label{Jn-ub}$$

[*Proof of Theurem \[c:posrec\]: uppgx boktd.*]{} Fix $\vare'silon>0$ such that $q+ 3\varepsinon < {1\ovrr \deg}$.

We folloe tie srrategy given in Liggxtt ([@liggett], p. 103) by inttoducing a pksitive recurrent burth-atd-dedth zyaiv $(\wjdxtimde{X_j}, \, j\gx 0)$, starting from $0$, with transition probabikiej from $i$ to $i+1$ (for $i\de 1$) equal to $${1\over \widetilde{\pi} (i)} \, \sum_{x\in \T_p} \pi(s) (1- \omega(x, {\buildrel \leftqrrow \over x})),$$

where $\widgtilde{\pi} (i) := \sum_{x\in \T_i} \pi(x)$. We note that $\widetilde{\pi}$ is a finhte iivxrickb mexwuge for $(\widetilde{X_j})$. Let $$\tau_n := \inf \left\{ i\ge 1: \, X_y \im \N_n\right\}, \qquad n\ge 0.$$

By Liggett ([@llgbgtt
_n: \; \pi (x)\ge r^n \} ) \varrho(r)^n$. Chebyshev’s inequality the Borel–Cantelli lemma, surely all large $n$, x\in \T_n: \; (x) \ge r^n \right\} \le n^2 \varrho(r)^n. \label{Jn-ub1}$$ On the other hand, by (\[chernoff\]), $$\P \left\{ \exists x\in \T_n: (x) \ge r^n\right\} \le \deg^n \varrho (r)^n.$$ For $r> \overline{r}$, the expression on right-hand is in By the Borel–Cantelli lemma, for any $r>\overline{r}$ and $\P$-almost surely for all large $n$, $$\max_{x\in \T_n} (x) < r^n. \label{Jn-ub}$$ [*Proof of Theorem \[t:posrec\]: bound.*]{} Fix $\varepsilon>0$ such $q+ 3\varepsilon < {1\over \deg}$. follow strategy given Liggett p. by introducing a recurrent birth-and-death chain $(\widetilde{X_j}, \, j\ge 0)$, starting from $0$, with transition probability from $i$ to $i+1$ $i\ge 1$) $${1\over \widetilde{\pi} \, \T_i} (1- \omega(x, {\buildrel x})),$$ where $\widetilde{\pi} (i) := \sum_{x\in note that $\widetilde{\pi}$ is a finite invariant measure $(\widetilde{X_j})$. Let := \inf \left\{ i\ge 1: \, \in \T_n\right\}, \qquad n\ge 0.$$ By Liggett ([@liggett
_n: \; \pi (x)\ge r^n \} ) \le \deg^n \varrho(r)^n$. By CHebyshev’s iNequaLitY anD tHe BoRel–CAntelli lemma, foR Any $r>\Underline{r}$ and $\P$-almost suRely fOr ALl laRGe $N$, $$\#\left\{ X\in \T_n: \; \pi (X) \Ge R^N \RigHt\}
    \Le N^2 \deG^n \VArRho(r)^n.
    \LabEl{Jn-ub1}$$

ON the other hAnd, By (\[Chernoff\]), $$\P \lefT\{ \ExIsts x\in \T_n: \pI (x) \gE r^n\right\} \le \deG^n \vArrho (r)^N.$$

FOr $r> \OVerliNe{r}$, The exPressiON on the Right-hand SiDE is sumMAble in $n$. bY ThE BorEl–Cantelli lemma, foR AnY $R>\overline{r}$ and $\P$-Almost SuRElY FOr aLl lArge $n$, $$\max_{x\iN \T_N} \pi (x) < r^N.
    \Label{Jn-UB}$$

[*PROOF of tHeorem \[t:posrec\]: Upper bound.*]{} FIX $\vaRepsilOn>0$ SucH That $q+ 3\vArepsIlON < {1\ovEr \deg}$.

We follOw thE strategy Given iN liggett ([@LIggett], p. 103) By intrOduCinG a poSItIvE reCuRRenT BiRth-ANd-dEath chaiN $(\wIdEtildE{X_j}, \, j\GE 0)$, STArtiNg fRom $0$, wIth trAnsition probaBilIty fROm $i$ To $i+1$ (foR $i\ge 1$) eQual To $${1\Over \wIdetilDe{\pi} (i)} \, \SuM_{x\in \T_i} \pi(x) (1- \omega(x, {\BuilDrel \leftaRroW \oVer X})),$$

wHere $\wIDetildE{\pi} (I) := \suM_{x\in \T_i} \pI(x)$. We notE ThaT $\wIDETiLde{\pi}$ is a finite invaRiANT mEasure foR $(\widetILdE{X_J})$. let $$\tau_n := \iNf \LefT\{ i\ge 1: \, x_I \In \T_n\rIght\}, \QQuAd n\ge 0.$$

By LIggett ([@LIgGeTt
_n: \; \pi (x)\ge r^n \} )  \le \deg^ n \va rrh o(r )^ n$.By C hebyshev’s ine q uali ty and the Borel–Cante lli l em m a, f o rany $ r>\unde r li n e {r} $an d $ \P $ -a lmost  su rely fo r all larg e $ n$ , $$\#\left\ {  x \in \T_n:\;\pi (x) \ger^n  \righ t\ }
  \le  n^ 2 \de g^n \v a rrho(r )^n.
   \l a bel{Jn - ub1}$$O ntheother hand, by (\ [ ch e rnoff\]), $$\P  \left \{ \e x i sts  x\ in \T_n: \ pi  (x)\ ge r^n\ r ig h t \ } \ l e \deg^n \var rho (r)^n.$ $ 

F or $r>  \ ove r line{r }$, t he exp ression ontheright-han d side is summ a ble in$n$. B y t heBore l –C an tel li lem m a,  fo r  an y $r>\ov er li ne{r} $ an d $ \ P$-a lmo st s urely  for all larg e $ n$,$ $\m ax_{x \in \ T_n}  \ pi (x ) < r^ n.
  \label{Jn-ub}$$ 

[* Proof ofThe or em\[ t:pos r ec\]:upp erbound.* ]{} Fix $\v ar e p s il on>0$ such that $q +3 \ va repsilon  < {1\ o ve r\ deg}$.
We  fo llow t he st rate g ygiven in  Ligge t t([ @ligget t] , p. 1 03 ) b y i ntrod u cing  a pos itive re curre n t birth-and-de a th chain $(\w i de t i ld e {X_j },\, j\ge 0)$ , st a rtin g fr o m$0$ ,  with  tran si t io n  probability from $ i$  to $i +1$ ( for $i\ge 1$)  equal to$ $ { 1\over \ wide t il d e{\pi} (i)} \,  \sum _{x\in \T_ i } \pi(x)  (1-\omega(x , {\build r e l \lefta rro w \ ove r x } ) ), $$

where $\w i d etil de {\pi} ( i):= \sum _{x \in  \T _i}  \ pi(x)$. W e note t ha t$\ wi det ilde{ \ pi}$ isafin it e i nvari a nt mea surefor$( \w i det ilde{X_ j }) $ .  Let  $ $\ tau_ n : =\inf\lef t \{i\ge 1:  \, X_i \ in\ T_n\ ri gh t\}, \q quad n\ge 0.$ $
By Ligget t([@ ligget t 
_n: \;_\pi (x)\ge_r^n \} ) \le_\deg^n \varrho(r)^n$._By_Chebyshev’s inequality_and_the Borel–Cantelli lemma,_for any $r>\underline{r}$_and $\P$-almost surely for_all large $n$,_$$\#\left\{_x\in \T_n: \; \pi (x) \ge r^n \right\}
    \le n^2 \deg^n_\varrho(r)^n.
_ __\label{Jn-ub1}$$

On_the other hand, by (\[chernoff\]),_$$\P \left\{ \exists x\in \T_n:_\pi (x)_\ge r^n\right\} \le \deg^n \varrho (r)^n.$$

For $r> \overline{r}$,_the_expression on the_right-hand side is summable in $n$. By the Borel–Cantelli_lemma, for any $r>\overline{r}$ and $\P$-almost_surely for all_large_$n$,_$$\max_{x\in \T_n} \pi (x)_< r^n.
    \label{Jn-ub}$$

[*Proof_of Theorem \[t:posrec\]: upper bound.*]{} Fix_$\varepsilon>0$ such that $q+ 3\varepsilon < {1\over_\deg}$.

We follow the strategy given in_Liggett ([@liggett], p. 103) by introducing_a positive_recurrent birth-and-death chain $(\widetilde{X_j}, \,_j\ge 0)$, starting_from $0$,_with transition probability_from $i$ to $i+1$ (for $i\ge_1$) equal to_$${1\over \widetilde{\pi} (i)} \, \sum_{x\in \T_i}_\pi(x)_(1- \omega(x, {\buildrel_\leftarrow_\over_x})),$$

where $\widetilde{\pi}_(i) := \sum_{x\in_\T_i}_\pi(x)$. We_note_that $\widetilde{\pi}$ is a finite invariant_measure_for $(\widetilde{X_j})$. Let $$\tau_n := \inf \left\{_i\ge 1: \, X_i_\in_\T_n\right\}, \qquad n\ge 0.$$

By_Liggett ([@liggett