 {#section:conclusion}
===================

Summarising Theorems \[theo:Dequation\] and \[theo:D\_graphical\] we have proved :

\[theo:final\] For $m\geq 5$ we have $p_c(G(m))\leq p_h$ with $$\begin{aligned}
    p_h  &= \sup \{ p \in [0, 1/2] \ | \ D(p)+p-\frac 2m = 0 \} \ \text{and}\\
    D(p) &= \frac 2 m \sum_{ C \in {\mathcal{C}}(v) } 
\left( \frac 1 {|V(C)|} \left(p^{|E(C)|} (1-p)^{\partial(C)} - (1-p)^{|E(C)|} p^{\partial(C)} \right) \right)
  \end{aligned}$$ where ${\mathcal{C}}(v)$ denotes the set of connected subgraphs $C$ of $G(m)$ containing a fixed vertex $v$ of the graph $G(m)$.

The value $p_h$ can be thought of as a critical value for the appearance of homology in the graph $G(m)$. It captures the following threshold : for $p>p_h$, open subgraphs of large finite versions of $G(m)$ must have a first homology group of dimension that scales linearly with the total number of edges of the finite graph. For $p<p_h$, the dimension of the homology group is sublinear instead. This bound is really meaningful only for the hyperbolic case $m\geq 5$ since for $m=4$ (the square lattice), the dimension of the total homology group of finite versions of the infinite grid (tori) is limited to $2$.

A consequence of Theorem \[theo:final\] is that $p_h$ gives an upper bound on the parameters of the quantum erasure channel that hyperbolic surface codes built on the family $G_t(m)$ can sustain [@DZ13].

We conjecture :

\[conj:p\_c=p\_h\] For $m\geq 5$, $p_c=p_h$.

Recall that in hyperbolic lattices it has been shown that immediately beyond the critical probability, the open subgraph contains infinitely
{ # section: conclusion } 
 = = = = = = = = = = = = = = = = = = = 

 Summarising Theorems \[theo: Dequation\ ] and \[theo: D\_graphical\ ] we have proved  : 

 \[theo: final\ ] For $ m\geq 5 $ we have $ p_c(G(m))\leq p_h$ with $ $ \begin{aligned } 
     p_h   & = \sup \ { p \in [ 0, 1/2 ] \ | \ D(p)+p-\frac 2 m = 0 \ } \ \text{and}\\ 
     D(p) & = \frac 2 thousand \sum _ { C \in { \mathcal{C}}(v) } 
 \left (\frac 1 { |V(C)| } \left(p^{|E(C)| } (1 - p)^{\partial(C) } - (1 - p)^{|E(C)| } p^{\partial(C) } \right) \right) 
   \end{aligned}$$ where $ { \mathcal{C}}(v)$ announce the set of connected subgraphs $ C$ of $ G(m)$ containing a fasten vertex $ v$ of the graph $ G(m)$. 

 The value $ p_h$ can be thought of as a critical value for the appearance of homology in the graph $ G(m)$. It captures the surveil threshold  : for $ p > p_h$, exposed subgraphs of large finite versions of $ G(m)$ must get a first homology group of dimension that scales linearly with the total number of edges of the finite graph. For $ phosphorus < p_h$, the dimension of the homology group is sublinear instead. This bound is actually meaningful only for the hyperbolic case $ m\geq 5 $ since for $ m=4 $ (the straight lattice), the dimension of the entire homology group of finite versions of the infinite grid (tori) is limited to $ 2$. 

 A consequence of Theorem   \[theo: final\ ] is that $ p_h$ gives an upper bound on the parameters of the quantum expunction channel that hyperbolic surface codes built on the family $ G_t(m)$ can sustain   [ @DZ13 ]. 

 We speculate  : 

 \[conj: p\_c = p\_h\ ] For $ m\geq 5 $, $ p_c = p_h$. 

 Recall that in hyperbolic lattice it has been shown that immediately beyond the critical probability, the open subgraph contains infinitely
 {#seftion:conclusion}
===================

Summarisikg Theorems \[theo:Bwquatimn\] and \[theo:D\_grxphical\] we have proved :

\[theo:fiial\] Dor $m\teq 5$ we have $p_c(G(m))\leq p_f$ with $$\behin{alignwd}
    p_h  &= \sup \{ p \in [0, 1/2] \ | \ D(p)+p-\rvac 2m = 0 \} \ \text{and}\\
    D(p) &= \frac 2 m \sum_{ C \in {\madhzap{C}}(v) } 
\left( \frac 1 {|V(C)|} \left(p^{|E(C)|} (1-p)^{\partial(S)} - (1-p)^{|E(C)|} l^{\pwrtial(C)} \right) \tight)
  \end{zligned}$$ where ${\mathcal{C}}(v)$ denotes ths set oh connected subbraphs $C$ of $G(m)$ containing w fided vertex $v$ of thf graph $G(m)$.

Tye vwoue $p_h$ can bd thought of as a critjcal value for the appearance ow homplogy in tye grwkh $G(m)$. It capvures nhe following threshond : for $l>p_h$, open subgrsphv od large finite versiois of $G(m)$ must have a first hokomogy group of dimwnwion jhat vcaldw lknezrky with hhe total numger of edgew of the finite grakh. Sir $p<p_h$, the dijensiog jf the homology group is sublinear insttad. Tgis bound is really meabingful only for the jyperbolis case $m\geq 5$ since for $m=4$ (the square lattice), the dhmensmov oy the gitwl homology group of finite versions of the igrimine grid (tori) is llmited to $2$.

A conseqiejcr of Theorem \[thgo:final\] is that $p_h$ gives an kpper bjund in the pawameyers of the quantum erasure channel than hyperbolic surface cldes built un tne fakily $G_t(m)$ can sustain [@DZ13].

Wz conjscture :

\[conj:p\_f=p\_h\] For $m\fdq 5$, $p_c=p_h$.

Recall tfat it hyperbolic lattices it hws been siown chat immddiajely berond the cgitical probability, the lpen dutgraph conhains infinitely
{#section:conclusion} =================== Summarising Theorems \[theo:Dequation\] and \[theo:D\_graphical\] proved \[theo:final\] For 5$ we have &= \{ p \in 1/2] \ | D(p)+p-\frac 2m = 0 \} \ D(p) &= \frac 2 m \sum_{ C \in {\mathcal{C}}(v) } \left( \frac 1 \left(p^{|E(C)|} (1-p)^{\partial(C)} - (1-p)^{|E(C)|} p^{\partial(C)} \right) \right) \end{aligned}$$ where ${\mathcal{C}}(v)$ denotes the set connected $C$ $G(m)$ a fixed vertex $v$ of the graph $G(m)$. The value $p_h$ can be thought of as critical value for the appearance of homology in graph $G(m)$. It captures following threshold : for $p>p_h$, subgraphs large finite of must a first homology of dimension that scales linearly with the total number of edges of the finite graph. For $p<p_h$, dimension of group is instead. bound really meaningful only hyperbolic case $m\geq 5$ since for lattice), the dimension of the total homology group finite versions the infinite grid (tori) is limited $2$. A consequence of Theorem \[theo:final\] is that gives an upper bound on the parameters of the quantum erasure channel that hyperbolic surface on the family $G_t(m)$ sustain [@DZ13]. We : For 5$, Recall that hyperbolic lattices it has been shown that immediately beyond the critical the open subgraph contains infinitely
 {#section:conclusion}
===================

SummarisIng TheoremS \[theo:deqUatIoN\] and \[Theo:d\_graphical\] we haVE proVed :

\[theo:final\] For $m\geq 5$ we hAve $p_c(g(m))\LEq p_h$ WItH $$\begiN{aligneD}
    P_h  &= \SUP \{ p \iN [0, 1/2] \ | \ D(P)+p-\FraC 2m = 0 \} \ \TExT{and}\\
    D(P) &= \frAc 2 m \sum_{ C \In {\mathcal{C}}(V) } 
\leFt( \Frac 1 {|V(C)|} \left(p^{|E(c)|} (1-P)^{\pArtial(C)} - (1-p)^{|E(C)|} P^{\paRtial(C)} \right) \rIghT)
  \end{alIgNed}$$ WHere ${\mAthCal{C}}(v)$ DenoteS The set Of connectEd SUbgrapHS $C$ of $G(m)$ cONTaIninG a fixed vertex $v$ of tHE gRAph $G(m)$.

The value $p_H$ can be ThOUgHT Of aS a cRitical valUe For thE AppearaNCe OF HOmoLOgy in the graph $g(m)$. It captureS The FollowInG thREshold : For $p>p_H$, oPEn sUbgraphs of lArge Finite verSions oF $g(m)$ must hAVe a firsT homolOgy GroUp of DImEnSioN tHAt sCAlEs lINeaRly with tHe ToTal nuMber OF EDGes oF thE finIte grAph. For $p<p_h$, the dImeNsioN Of tHe homOlogy GrouP iS sublInear iNsteaD. THis bound is reallY meaNingful onLy fOr The HyPerboLIc case $M\geQ 5$ siNce for $m=4$ (The squaRE laTtICE), ThE dimension of the totAl HOMoLogy grouP of finITe VeRSions of tHe InfInitE GRid (toRi) is LImIted to $2$.

A cOnsequENcE oF TheoreM \[tHeo:finAl\] Is tHat $P_h$ givES an uPper boUnd on the ParamETers of the quantUM erasure channEL tHAT hYPerbOliC surface codEs buILt on The fAMiLy $G_T(M)$ can sUstaiN [@Dz13].

we COnjecture :

\[conj:p\_c=p\_h\] FoR $m\Geq 5$, $p_c=p_H$.

RecaLl that in hyperBolic lattiCES It has beeN shoWN tHAt immediately bEyond The criticaL ProbabilIty, thE open subGraph contAINs infiniTelY
 {#section:conclusion}
=== ========== ===== =
Sum ma risi ng T heorems \[theo : Dequ ation\] and \[theo:D\_ graph ic a l\]w ehaveproved: 
\ [ the o: fi nal \] Fo r $m\ geq  5$ wehave $p_c( G(m )) \leq p_h$ wi t h$$\begin{a lig ned}
    p_h   & = \sup  \ { p \in [ 0,1/2]\ | \D (p)+p- \frac 2m=0  \} \\ text{an d } \\ 
   D(p) &= \frac 2m  \ s um_{ C \in {\m athcal {C } }( v )  }
\l eft( \frac  1  {|V( C )|} \le f t( p ^ { |E( C )|} (1-p)^{\p artial(C)}-  (1 -p)^{| E( C)| }  p^{\p artia l( C )}\right) \ri ght) 
  \end{a ligned } $$ wher e  ${\mat hcal{C }}( v)$  den o te sthe  s e t o f  c onn e cte d subgra ph s$C$ o f $G ( m ) $  con tai ning  a fi xed vertex $v $ o f th e  gr aph $ G(m)$ .

T he  valu e $p_h $ can  b e thought of as  a c ritical v alu efor  t he ap p earanc e o f h omology  in the gra ph $ G (m )$. It captures th ef o ll owing th reshol d  :  f o r $p>p_h $,  op en s u b graph s of la rge fini te ver s io ns  of $G( m) $ must  h ave  afirst homo logy g roup ofdimen s ion that scale s  linearly wit h  t h e  t o talnum ber of edge s of thefini t egra p h. Fo r $p< p_ h $, the dimension of th ehomolo gy gr oup is sublin ear instea d . This bou nd i s  r e ally meaningfu l onl y for theh yperboli c cas e $m\geq  5$ since f or $m=4$  (t hesqu are l at tice), the di m e nsio nof thetot al homo log y g rou p o ffinite ve rsions o fth ein fin ite g r id (tori )isli mit ed to $2$.
A con sequ en ce ofTheorem \[ t h eo:f in al \] i s t ha t $p_ h$ g i ves  an upp er boundont he p ar am eters o f the quantum  e rasure cha nn elthat h y p erbolicsurface codes built ont he fami ly$G_t( m)$can susta in[@DZ13 ].We con jectur e :
\[ con j : p\_c= p \ _h \]Fo r $m\geq 5 $ ,  $p _c=p_ h$ .

R ecall t hat in hyperbolicl att ices it has b een  sho w n  t hat im m edi at e lyb e yond the critic al probabi li t y,  the opens ubg ra ph cont ains in finit e ly
 {#section:conclusion}
===================

Summarising_Theorems \[theo:Dequation\]_and \[theo:D\_graphical\] we have_proved :

\[theo:final\] For_$m\geq_5$ we_have_$p_c(G(m))\leq p_h$ with_$$\begin{aligned}
  _ p_h  &=_\sup \{ p_\in_[0, 1/2] \ | \ D(p)+p-\frac 2m = 0 \} \ \text{and}\\
  __D(p) &=_\frac_2_m \sum_{ C \in {\mathcal{C}}(v)_} 
\left( \frac 1 {|V(C)|}_\left(p^{|E(C)|} (1-p)^{\partial(C)}_- (1-p)^{|E(C)|} p^{\partial(C)} \right) \right)
  \end{aligned}$$ where_${\mathcal{C}}(v)$_denotes the set_of connected subgraphs $C$ of $G(m)$ containing a fixed_vertex $v$ of the graph $G(m)$.

The_value $p_h$ can_be_thought_of as a critical_value for the appearance of homology_in the graph $G(m)$. It captures_the following threshold : for $p>p_h$, open subgraphs_of large finite versions of $G(m)$_must have a first homology_group of_dimension that scales linearly with_the total number_of edges_of the finite_graph. For $p<p_h$, the dimension of_the homology group_is sublinear instead. This bound is_really_meaningful only for_the_hyperbolic_case $m\geq_5$ since for_$m=4$_(the square_lattice),_the dimension of the total homology_group_of finite versions of the infinite grid_(tori) is limited to_$2$.

A_consequence of Theorem \[theo:final\] is_that $p_h$ gives an upper_bound on the parameters of the_quantum erasure_channel that_hyperbolic surface codes built on the family $G_t(m)$ can sustain [@DZ13].

We conjecture :

\[conj:p\_c=p\_h\]_For $m\geq 5$, $p_c=p_h$.

Recall that in_hyperbolic lattices it has_been shown_that_immediately beyond the_critical_probability, the_open subgraph contains infinitely