_2t}$.

The remainder of the article will be devoted to the proof of proposition \[prop\_all\_paths\_activated\].

Codings {#sec_codings}
=======

This section is devoted to the reduction of the proof of proposition \[prop\_all\_paths\_activated\] (hence of theorem \[thm\_convergence\]) to the simpler proof of proposition \[prop\_bound\_single\_coding\], via the use of *codings*. The idea is the following: in order to prove proposition \[prop\_all\_paths\_activated\], it is enough to show that along each dual path, the two processes are at zero at one of the discrete times $0$, $K$, $2K$, etc. hence we only need to consider the positions of the path at these times, which will make up the coding of the path. Let $K \geq 2$ and $t \geq K$. A coding is a sequence $(y_k)_{k \in \{0,\dots,\lfloor\frac{t}{K^2}\rfloor\}}$ of sites in $\mathds{Z}^d$. Moreover, for $x \in \mathds{Z}^d$ and $\Gamma \in \mathcal{D}(x,t,\frac{t}{K})$, the coding $\bar{\Gamma}$ of $\Gamma$ is the sequence $\{\Gamma(kK)\}_{k\in\{0,\dots,\lfloor\frac{t}{K^2}\rfloor\}}$. If $\gamma = (y_k)_{k \in \{0,\dots,\lfloor\frac{t}{K^2}\rfloor\}}$ is a coding, we define the event $G(\gamma) = \left\{\exists k\in\left\{0,\dots,\left\lfloor\frac{t}{K^2}\right\rfloor\right\}, 
\eta_{t-kK}(y_k) = \tilde{\eta}_{t-kK}(y_k)=0\right\}$. If $G(\bar{\Gamma})$ is satisfied, $\Gamma$ is an activated path.

Therefore, to prove proposition \[prop\_all\_paths\_activated\] hence theorem \[thm\_convergence\], it is enough to prove

\[prop\_paths\_to\_codings\] For any $q' \in ]0,1]$, there exists $q_0=q_0(\mathcal{U},q') \in [0,1
_ 2t}$. 

 The remainder of the article will be devoted to the proof of proposition \[prop\_all\_paths\_activated\ ]. 

 Codings { # sec_codings } 
 = = = = = = = 

 This incision is devote to the reduction of the proof of proposition \[prop\_all\_paths\_activated\ ] (therefore of theorem \[thm\_convergence\ ]) to the simpler proof of proposition \[prop\_bound\_single\_coding\ ], via the use of * cryptography *. The estimate is the following: in order to prove proposition \[prop\_all\_paths\_activated\ ], it is adequate to show that along each dual path, the two processes are at zero at one of the discrete time $ 0 $, $ K$, $ 2K$, etc. hence we only need to consider the positions of the way at these times, which will make up the coding of the way. Let $ K \geq 2 $ and $ t \geq K$. A coding is a sequence $ (y_k)_{k \in \{0,\dots,\lfloor\frac{t}{K^2}\rfloor\}}$ of sites in $ \mathds{Z}^d$. furthermore, for $ x \in \mathds{Z}^d$ and $ \Gamma \in \mathcal{D}(x, t,\frac{t}{K})$, the coding $ \bar{\Gamma}$ of $ \Gamma$ is the succession $ \{\Gamma(kK)\}_{k\in\{0,\dots,\lfloor\frac{t}{K^2}\rfloor\}}$. If $ \gamma = (y_k)_{k \in \{0,\dots,\lfloor\frac{t}{K^2}\rfloor\}}$ is a coding, we define the event $ G(\gamma) = \left\{\exists k\in\left\{0,\dots,\left\lfloor\frac{t}{K^2}\right\rfloor\right\ }, 
 \eta_{t - kK}(y_k) = \tilde{\eta}_{t - kK}(y_k)=0\right\}$. If $ G(\bar{\Gamma})$ is satisfied, $ \Gamma$ is an activate path. 

 Therefore, to prove proposition \[prop\_all\_paths\_activated\ ] hence theorem \[thm\_convergence\ ], it is adequate to testify 

 \[prop\_paths\_to\_codings\ ] For any $ q' \in ] 0,1]$, there exists $ q_0 = q_0(\mathcal{U},q') \in [ 0,1
_2t}$.

Thf remainder of the articue will be devojee to tie proor of prooosition \[prop\_all\_paths\_activatxd\].

Coeings {#sec_codings}
=======

This sectiov is devoned to thw revuction of the pckof of ixoposjbion \['rip\_all\_paths\_actiyated\] (hence of theorem \[thk\_cunrergence\]) to the simpler proof of pro[ositiom \[orop\_bound\_singlg\_codimd\], viz the use of *codings*. The idea is tge follmwing: in ordet to prove proposition \[proo\_all\_oaths\_activated\], it ls enough ti shjq that along each dual path, the twk processes are at zero at one uf thz discrete jnnes $0$, $K$, $2K$, etc. heice we only need to considar the lositions of tme pavh ar these times, which wmll make up the codigg of the pcth. Let $K \geq 2$ and $t \tew K$. A codhng kw a sesuxncs $(y_k)_{k \ln \{0,\vots,\lfloor\fdac{t}{K^2}\rfloor\}}$ of sites in $\mathds{E}^d$. Iireover, for $x \in \maehqs{Z}^d$ and $\Gamma \in \mathcal{D}(x,t,\frac{t}{K})$, the bodihg $\bar{\Gamma}$ of $\Gamma$ is the sequence $\{\Gamma(kK)\}_{n\in\{0,\dots,\lfjoor\frac{t}{K^2}\rfloor\}}$. If $\gamma = (y_k)_{k \in \{0,\dots,\lfloor\frac{t}{N^2}\rflokf\}}$ iw w xofing, we define the event $G(\gamma) = \left\{\exists k\yh\ltft\{0,\cots,\left\lfloor\nrac{t}{K^2}\right\rfloor\rogjt\}, 
\gta_{t-kK}(y_k) = \tildg{\eta}_{t-kK}(v_i)=0\rjght\}$. If $G(\bar{\Gamma})$ ls satiffied, $\Gamma$ is an sctivated path.

Therefore, to prove proposptiob \[prop\_all\_paths\_actirated\] hence cheorek \[thm\_vonvergence\], it is enougk to pdove

\[prop\_patjs\_to\_codinfr\] For any $q' \in ]0,1]$, ghege efists $q_0=q_0(\mathcal{U},q') \in [0,1
_2t}$. The remainder of the article will to proof of \[prop\_all\_paths\_activated\]. Codings {#sec_codings} to reduction of the of proposition \[prop\_all\_paths\_activated\] of theorem \[thm\_convergence\]) to the simpler of proposition \[prop\_bound\_single\_coding\], via the use of *codings*. The idea is the following: order to prove proposition \[prop\_all\_paths\_activated\], it is enough to show that along each path, two are zero at one of the discrete times $0$, $K$, $2K$, etc. hence we only need to the positions of the path at these times, will make up the of the path. Let $K 2$ $t \geq A is sequence $(y_k)_{k \in of sites in $\mathds{Z}^d$. Moreover, for $x \in \mathds{Z}^d$ and $\Gamma \in \mathcal{D}(x,t,\frac{t}{K})$, the coding $\bar{\Gamma}$ of is the If $\gamma (y_k)_{k \{0,\dots,\lfloor\frac{t}{K^2}\rfloor\}}$ a coding, we event $G(\gamma) = \left\{\exists k\in\left\{0,\dots,\left\lfloor\frac{t}{K^2}\right\rfloor\right\}, \eta_{t-kK}(y_k) $G(\bar{\Gamma})$ is satisfied, $\Gamma$ is an activated path. to prove \[prop\_all\_paths\_activated\] hence theorem \[thm\_convergence\], it is to prove \[prop\_paths\_to\_codings\] For any $q' \in ]0,1]$, exists $q_0=q_0(\mathcal{U},q') \in [0,1
_2t}$.

The remainder of the article Will be devoTed to The ProOf Of prOposItion \[prop\_all\_paTHs\_acTivated\].

Codings {#sec_codinGs}
=======

ThiS sECtioN Is DevotEd to the REdUCTioN oF tHe pRoOF oF propOsiTion \[proP\_all\_paths\_aCtiVaTed\] (hence of thEOrEm \[thm\_conveRgeNce\]) to the simpLer Proof oF pRopOSitioN \[prOp\_bouNd\_singLE\_codinG\], via the usE oF *CodingS*. the idea IS ThE folLowing: in order to prOVe PRoposition \[prop\_All\_patHs\_ACtIVAteD\], it Is enough to ShOw thaT Along eaCH dUAL PatH, The two processEs are at zero AT onE of the DiScrETe timeS $0$, $K$, $2K$, etC. hENce We only need tO conSider the pOsitioNS of the pATh at theSe timeS, whIch Will MAkE uP thE cODinG Of The PAth. let $K \geq 2$ aNd $T \gEq K$. A cOdinG IS A SequEncE $(y_k)_{k \In \{0,\dotS,\lfloor\frac{t}{K^2}\RflOor\}}$ oF SitEs in $\mAthds{z}^d$. MoReOver, fOr $x \in \mAthds{z}^d$ And $\Gamma \in \mathcAl{D}(x,T,\frac{t}{K})$, thE coDiNg $\bAr{\gamma}$ OF $\Gamma$ Is tHe sEquence $\{\gamma(kK)\}_{K\In\{0,\dOtS,\LFLoOr\frac{t}{K^2}\rfloor\}}$. If $\gaMmA = (Y_K)_{k \In \{0,\dots,\lfLoor\frAC{t}{k^2}\rFLoor\}}$ is a cOdIng, We deFINe the EvenT $g(\gAmma) = \left\{\Exists K\In\LeFt\{0,\dots,\lEfT\lflooR\fRac{T}{K^2}\rIght\rFLoor\Right\}, 
\eTa_{t-kK}(y_k) = \tIlde{\eTA}_{t-kK}(y_k)=0\right\}$. If $G(\BAr{\Gamma})$ is satiSFiED, $\gaMMa$ is An aCtivated patH.

TheREforE, to pROvE prOPositIon \[prOp\_ALl\_PAths\_activated\] hence tHeOrem \[thM\_convErgence\], it is enOugh to provE

\[PROp\_paths\_tO\_codINgS\] for any $q' \in ]0,1]$, there ExistS $q_0=q_0(\mathcal{u},Q') \in [0,1
_2t}$.

The remainder of t he article  will  be  de vo tedto t he proof of pr o posi tion \[prop\_all\_path s\_ac ti v ated \ ]. 

Cod ings {# s ec _ c odi ng s} 
== == = == 

Thi s s ectionis devoted  to  t he reduction of  the proof  of  proposition  \[ prop\_ al l\_ p aths\ _ac tivat ed\] ( h ence o f theorem  \ [ thm\_c o nvergen c e \] ) to  the simpler proo f  o f  proposition \ [prop\ _b o un d \ _si ngl e\_coding\ ],  viat he useo f* c o din g s*. The ideais the foll o win g: inor der to pro ve pr op o sit ion \[prop\ _all \_paths\_ activa t ed\], i t  is eno ugh to  sh owthat al on g e ac h  du a lpat h , t he two p ro ce ssesarea t z eroatoneof th e discrete ti mes  $0$ ,  $K $, $2 K$, e tc.he nce w e only  need  t o consider theposi tions ofthe  p ath  a t the s e time s,whi ch will  make u p  th ec o d in g of the path. Let  $ K \g eq 2$ an d $t \ g eq  K $ . A codi ng  is  a s e q uence  $(y _ k) _{k \in\{0,\d o ts ,\ lfloor\ fr ac{t}{ K^ 2}\ rfl oor\} } $ of  sites  in $\ma thds{ Z }^d$. Moreover ,  for $x \in \ m at h d s{ Z }^d$  an d $\Gamma \ in \ m athc al{D } (x ,t, \ frac{ t}{K} )$ ,  t h e coding $\bar{\Gam ma }$ of$\Gam ma$ is the se quence $\{ \ G a mma(kK)\ }_{k \ in \ {0,\dots,\lflo or\fr ac{t}{K^2} \ rfloor\} }$. I f $\gamm a = (y_k) _ { k \in \{ 0,\ dot s,\ lfl o o r\ frac{t}{K^2}\ r f loor \} }$ is a  co ding, w e d efi nethe  e vent $G(\ gamma) =  \ le ft \{ \ex istsk \in\left \{ 0,\ do ts, \left \ lfloor \frac {t}{ K^ 2} \ rig ht\rflo o r\ r i ght\ },  \eta _{t -k K}(y_ k) = \ti lde{\et a}_{t-kK} (y_ k )=0\ ri gh t\}$. I f $G(\bar{\Ga mm a})$ is sa ti sfi ed, $\ G a mma$ isan activated path.

The r efore,toprove  pro position\[p rop\_a ll\ _ paths\ _activ ated\ ]hen c e  theo r e m\[t hm \_converge n c e\] , itis  eno ugh toprove

\[prop\_pat h s\_ to\_codings\]  Fo r an y $q ' \ i n] 0,1 ]$ ,  th e r e exists $q_0=q _0(\mathca l{ U }, q') \in [0 , 1
_2t}$.

The remainder_of the_article will be devoted_to the_proof_of proposition_\[prop\_all\_paths\_activated\].

Codings_{#sec_codings}
=======

This section is_devoted to the_reduction of the proof_of proposition \[prop\_all\_paths\_activated\]_(hence_of theorem \[thm\_convergence\]) to the simpler proof of proposition \[prop\_bound\_single\_coding\], via the use of_*codings*._The idea_is_the_following: in order to prove_proposition \[prop\_all\_paths\_activated\], it is enough_to show_that along each dual path, the two processes_are_at zero at_one of the discrete times $0$, $K$, $2K$, etc._hence we only need to consider_the positions of_the_path_at these times, which_will make up the coding of_the path. Let $K \geq 2$_and $t \geq K$. A coding is_a sequence $(y_k)_{k \in \{0,\dots,\lfloor\frac{t}{K^2}\rfloor\}}$ of_sites in $\mathds{Z}^d$. Moreover, for_$x \in_\mathds{Z}^d$ and $\Gamma \in \mathcal{D}(x,t,\frac{t}{K})$,_the coding $\bar{\Gamma}$_of $\Gamma$_is the sequence_$\{\Gamma(kK)\}_{k\in\{0,\dots,\lfloor\frac{t}{K^2}\rfloor\}}$. If $\gamma = (y_k)_{k \in_\{0,\dots,\lfloor\frac{t}{K^2}\rfloor\}}$ is a_coding, we define the event $G(\gamma)_=_\left\{\exists k\in\left\{0,\dots,\left\lfloor\frac{t}{K^2}\right\rfloor\right\}, 
\eta_{t-kK}(y_k)_=_\tilde{\eta}_{t-kK}(y_k)=0\right\}$._If $G(\bar{\Gamma})$_is satisfied, $\Gamma$_is_an activated_path.

Therefore,_to prove proposition \[prop\_all\_paths\_activated\] hence theorem_\[thm\_convergence\],_it is enough to prove

\[prop\_paths\_to\_codings\] For any_$q' \in ]0,1]$, there_exists_$q_0=q_0(\mathcal{U},q') \in [0,1