} \left(p^{|E(C)|} (1-p)^{|\partial(C)|} - (1-p)^{|E(C)|} p^{|\partial(C)|} \right) \right),$$ where $C$ ranges over all connected subgraphs of $G(m)$ containing a given vertex, where $V(C),E(C)$ denote the vertex and edge set of $C$, and where $\partial (C)$ denotes the set of edges with at least one endpoint in $C$, which are not in $E(C)$. As mentioned, this expression for $D(p)$ does not involve the graphs $G_t(m)$ anymore, but its proof crucially relies on their existence.

Section \[section:approximation\] proves that replacing $D(p)$ in by a truncated series continues to yield an upper bound on the critical probability $p_c$ of $G(m)$ (Theorem \[theo:bound\]). This allows us to compute explicit numerical upper bounds on $p_c$. Finally, Section \[section:conclusion\] summarizes the results with Theorem \[theo:final\] and gives some concluding comments.

Finite quotient of the regular hyperbolic tilings {#section:siran_graphs}
=================================================

We are unaware of any method for constructing the required finite versions of $G(m)$ that does not involve a fair amount of algebra. In this section, we briefly recall Širáň’s method to construct such finite versions of the regular hyperbolic tiling $G(m)$. The first step is to construct $G(m)$ from a group of matrices over a ring of algebraic integers. Then this group is reduced modulo a prime number to yield the desired finite graph.

Denote by $P_k(X) = 2\cos(k\arccos(X/2))$ the $k$-th normalized Chebychev polynomial and let $\xi = 2\cos(\pi/m^2)$. Let $m \geq 5$ and consider the group $T(m)$ generated by the two following matrices of $SL_3({\mathbb{Z}}[\xi])$. $$a =
\left(
\begin{array}{ccc}
P_m(\xi)^2-1 & 0 & P_m(\xi)\\
P_m(\xi) & 1 & 0\\
-P_m(\
} \left(p^{|E(C)| } (1 - p)^{|\partial(C)| } - (1 - p)^{|E(C)| } p^{|\partial(C)| } \right) \right),$$ where $ C$ ranges over all connected subgraphs of $ G(m)$ containing a given vertex, where $ V(C),E(C)$ announce the vertex and boundary stage set of $ C$, and where $ \partial (C)$ denotes the set of boundary with at least one endpoint in $ C$, which are not in $ E(C)$. As mentioned, this construction for $ D(p)$ does not necessitate the graphs $ G_t(m)$ anymore, but its validation crucially trust on their existence. 

 Section \[section: approximation\ ] proves that substitute $ D(p)$ in by a truncated series continues to succumb an upper bound on the critical probability $ p_c$ of $ G(m)$ (Theorem   \[theo: bound\ ]). This allows us to compute explicit numerical upper bounds on $ p_c$. ultimately, Section \[section: conclusion\ ] summarizes the results with Theorem   \[theo: final\ ] and give some concluding comments. 

 Finite quotient of the regular hyperbolic tilings { # section: siran_graphs } 
 = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = = 

 We are unaware of any method acting for constructing the want finite versions of $ G(m)$ that does not involve a fair sum of algebra. In this section, we briefly recall Širáň ’s method to construct such finite versions of the regular hyperbolic tiling $ G(m)$. The first step is to construct $ G(m)$ from a group of matrices over a ring of algebraic integers. Then this group is reduced modulo a prime number to give way the desired finite graph. 

 Denote by $ P_k(X) = 2\cos(k\arccos(X/2))$ the $ k$-th normalized Chebychev polynomial and lease $ \xi = 2\cos(\pi / m^2)$. Let $ m \geq 5 $ and consider the group $ T(m)$ generated by the two following matrix of $ SL_3({\mathbb{Z}}[\xi])$. $ $ a = 
 \left (
 \begin{array}{ccc } 
 P_m(\xi)^2 - 1 & 0 & P_m(\xi)\\ 
 P_m(\xi) & 1 & 0\\ 
 -P_m(\
} \levt(p^{|E(C)|} (1-p)^{|\partial(C)|} - (1-p)^{|E(C)|} p^{|\pavtial(C)|} \right) \rigkr),$$ wherx $C$ ranfes over all connected subgraphs of $J(m)$ cintaibing a given vertex, whdre $V(C),E(C)$ fenote tye vtrtex and edge sev of $C$, akb whedc $\parciel (C)$ denotes thg set of edgas with at leavt oue endpoint in $C$, which are not in $E(C)$. As menyilned, this exprgssiom for $D(p)$ does not involve the graphs $G_t(j)$ anymoge, but its proof vrucially relies on their fxishence.

Section \[sectiln:approximajjon\] proves that feplacing $D(p)$ in by a ttuncated series continues to yieud an upper boubd on jhe critical probwbility $p_c$ on $G(m)$ (Thaorem \[thro:bound\]). This akloxs uw to compute explicit numerical upper bjunds on $[_c$. Finally, Section \[wextion:woncnusiub\] sjmmzrmzea the gesnlts with Tgeorem \[theo:funal\] and gives some cjbcluding commsnts.

Figiee quotient of the regular hyperbolic tplinfs {#section:siran_graphs}
=================================================

We are unaware of any mgthod for sonstructing the required finite versions of $G(m)$ tvat dkds uit inxilge a fair amount of algebra. In this section, wq btivfly recall Širáň’s mcthod to construct skcn finite versiuns of ths regular hyperbollc tiligg $G(m)$. The firsu stel is to construct $G(m)$ from a group of manricws over a ring of clgebraic incegers. Then this group is reduced oodumo a prime jumber to hield the desirea fpnita graph.

Dtvote by $P_k(X) = 2\cos(k\wrccos(X/2))$ tie $k$-tk normalkzed Chebyshev polynlmial and let $\xi = 2\cos(\pi/m^2)$. Let $l \ceq 5$ and clnsider the group $T(m)$ generated ub the two folkofinc matriczs of $XL_3({\mathbb{Z}}[\xi])$. $$a =
\left(
\begin{arrai}{ccc}
P_m(\xi)^2-1 & 0 & P_m(\bi)\\
P_m(\xi) & 1 & 0\\
-I_m(\
} \left(p^{|E(C)|} (1-p)^{|\partial(C)|} - (1-p)^{|E(C)|} p^{|\partial(C)|} \right) $C$ over all subgraphs of $G(m)$ $V(C),E(C)$ the vertex and set of $C$, where $\partial (C)$ denotes the set edges with at least one endpoint in $C$, which are not in $E(C)$. mentioned, this expression for $D(p)$ does not involve the graphs $G_t(m)$ anymore, but proof relies their Section \[section:approximation\] proves that replacing $D(p)$ in by a truncated series continues to yield an upper on the critical probability $p_c$ of $G(m)$ (Theorem This allows us to explicit numerical upper bounds on Finally, \[section:conclusion\] summarizes results Theorem and gives some comments. Finite quotient of the regular hyperbolic tilings {#section:siran_graphs} ================================================= We are unaware of any method for the required of $G(m)$ does involve fair amount of this section, we briefly recall Širáň’s such finite versions of the regular hyperbolic tiling The first is to construct $G(m)$ from a of matrices over a ring of algebraic integers. this group is reduced modulo a prime number to yield the desired finite graph. Denote = 2\cos(k\arccos(X/2))$ the $k$-th Chebychev polynomial and $\xi 2\cos(\pi/m^2)$. $m 5$ and the group $T(m)$ generated by the two following matrices of $SL_3({\mathbb{Z}}[\xi])$. = \left( \begin{array}{ccc} P_m(\xi)^2-1 & 0 & P_m(\xi)\\ P_m(\xi) & 0\\
} \left(p^{|E(C)|} (1-p)^{|\partial(C)|} - (1-p)^{|E(C)|} p^{|\partiAl(C)|} \right) \riGht),$$ whEre $c$ raNgEs ovEr alL connected subgRAphs Of $G(m)$ containing a given veRtex, wHeRE $V(C),E(c)$ DeNote tHe verteX AnD EDge SeT oF $C$, aNd WHeRe $\parTiaL (C)$ denotEs the set of EdgEs With at least oNE eNdpoint in $C$, WhiCh are not in $E(C)$. as mEntionEd, ThiS ExpreSsiOn for $d(p)$ does NOt invoLve the graPhS $g_t(m)$ anyMOre, but iTS PrOof cRucially relies on tHEiR Existence.

SectiOn \[sectIoN:ApPROxiMatIon\] proves tHaT replACing $D(p)$ iN By A TRUncATed series contInues to yielD An uPper boUnD on THe critIcal pRoBAbiLity $p_c$ of $G(m)$ (THeorEm \[theo:bouNd\]). This ALlows us TO computE expliCit NumEricAL uPpEr bOuNDs oN $P_c$. finALly, section \[sEcTiOn:conClusION\] SUmmaRizEs thE resuLts with TheoreM \[thEo:fiNAl\] aNd givEs somE conClUding CommenTs.

FinItE quotient of the rEgulAr hyperboLic TiLinGs {#SectiON:siran_GraPhs}
=================================================

we are unAware of ANy mEtHOD FoR constructing the reQuIREd Finite veRsions OF $G(M)$ tHAt does noT iNvoLve a FAIr amoUnt oF AlGebra. In tHis secTIoN, wE brieflY rEcall ŠIrÁň’s MetHod to COnstRuct suCh finite VersiONs of the regular HYperbolic tiliNG $G(M)$. tHe FIrst SteP is to constrUct $G(M)$ From A groUP oF maTRices Over a RiNG oF Algebraic integers. ThEn This grOup is Reduced modulo A prime numbER TO yield thE desIReD Finite graph.

DenOte by $p_k(X) = 2\cos(k\arcCOs(X/2))$ the $k$-tH normAlized ChEbychev poLYNomial anD leT $\xi = 2\Cos(\Pi/m^2)$. lET $m \Geq 5$ and consideR THe grOuP $T(m)$ geneRatEd by the Two FolLowIng MaTrices of $Sl_3({\mathbb{Z}}[\Xi])$. $$A =
\lEfT(
\bEgiN{arraY}{Ccc}
P_m(\xi)^2-1 & 0 & P_M(\xI)\\
P_m(\Xi) & 1 & 0\\
-p_m(\
} \left(p^{|E(C)|} (1-p)^{ |\partial( C)|}- ( 1-p )^ {|E( C)|}  p^{|\partial( C )|}\right) \right),$$ whe re $C $r ange s  o ver a ll conn e ct e d  su bg ra phs  o f  $ G(m)$  co ntainin g a givenver te x, where $V( C ), E(C)$ deno tethe vertex a ndedge s et  of $C$,and  wher e $\pa r tial ( C)$ denot es the se t  of edg e s  w ithat least one endp o in t  in $C$, which  are n ot in $ E(C )$.  As mentio ne d, th i s expre s si o n for $D(p)$ does n ot involvet hegraphs  $ G_t ( m)$ an ymore ,b utits proof c ruci ally reli es ont heir ex i stence. 

Sect ion  \[ sect i on :a ppr ox i mat i on \]p rov es thatre pl acing  $D( p ) $ in b y a  tru ncate d series cont inu es t o  yi eld a n upp er b ou nd on  the c ritic al  probability $p _c$of $G(m)$  (T he ore m\[the o :bound \]) . T his all ows ust o c om p u t eexplicit numerical  u p p er  boundson $p_ c $.  F i nally, S ec tio n \[ s e ction :con c lu sion\] s ummari z es  t he resu lt s with  T heo rem  \[th e o:fi nal\]and give s som e  concluding co m ments.

Finit e  q u o ti e nt o f t he regularhype r boli c ti l in gs{ #sect ion:s ir a n_ g raphs}
============ == ====== ===== ============= ========== = We are u nawa r eo f any method f or co nstructing the requ iredfinite v ersions o f $G(m)$ t hat  do esnot i nv olve a fair a m o untof  algebr a.In this  se cti on,  we  b riefly re call Šir áň ’s  m et hod  to c o nstructsu chfi nit e ver s ions o f the  reg ul ar hyp erbolic ti l i ng $ G( m) $. T hefi rst s tepi s t o const ruct $G(m )$f romagr oup ofmatrices over  a  ring of a lg ebr aic in t e gers. Th en this group is reduce d  modulo  aprime  num ber to yi eld  the d esi r ed fin ite gr aph.
D eno t e  by $ P _ k( X)=2\cos(k\ar c c os( X/2)) $the$k$-thnormalized Chebych e v p olynomial and  le t $\ x i  =  2\ c os ( \pi /m ^ 2)$ . Let $m \geq 5$and consid er th e group $T ( m)$  g enerate d by th e two followi ng matric es of $SL _3 ({\m a t hbb {Z}}[\xi]) $. $$a = 
\left(
\ b egin{ a rr ay}{c cc} 
P_m(\ xi )^2 -1 &0 & P_ m (\x i)\\P_m(\x i)  & 1 &  0\\-P _m(\
} \left(p^{|E(C)|}_(1-p)^{|\partial(C)|} -_(1-p)^{|E(C)|} p^{|\partial(C)|} \right) \right),$$_where $C$_ranges_over all_connected_subgraphs of $G(m)$_containing a given_vertex, where $V(C),E(C)$ denote_the vertex and_edge_set of $C$, and where $\partial (C)$ denotes the set of edges with at_least_one endpoint_in_$C$,_which are not in $E(C)$._As mentioned, this expression for_$D(p)$ does_not involve the graphs $G_t(m)$ anymore, but its_proof_crucially relies on_their existence.

Section \[section:approximation\] proves that replacing $D(p)$ in by_a truncated series continues to yield_an upper bound_on_the_critical probability $p_c$ of_$G(m)$ (Theorem \[theo:bound\]). This allows us to_compute explicit numerical upper bounds on_$p_c$. Finally, Section \[section:conclusion\] summarizes the results_with Theorem \[theo:final\] and gives some concluding_comments.

Finite quotient of the regular_hyperbolic tilings_{#section:siran_graphs}
=================================================

We are unaware of any_method for constructing_the required_finite versions of_$G(m)$ that does not involve a_fair amount of_algebra. In this section, we briefly_recall_Širáň’s method to_construct_such_finite versions_of the regular_hyperbolic_tiling $G(m)$._The_first step is to construct $G(m)$_from_a group of matrices over a ring_of algebraic integers. Then_this_group is reduced modulo_a prime number to yield_the desired finite graph.

Denote by $P_k(X)_= 2\cos(k\arccos(X/2))$_the $k$-th_normalized Chebychev polynomial and let $\xi = 2\cos(\pi/m^2)$. Let $m \geq_5$ and consider the group $T(m)$_generated by the two_following matrices_of_$SL_3({\mathbb{Z}}[\xi])$. $$a =
\left(
\begin{array}{ccc}
P_m(\xi)^2-1_&_0 &_P_m(\xi)\\
P_m(\xi) & 1 & 0\\
-P_m(\