Unimodular hyperbolic triangulations: circle packing and random walk

From MaRDI portal
Publication:730189



Abstract: We show that the circle packing type of a unimodular random plane triangulation is parabolic if and only if the expected degree of the root is six, if and only if the triangulation is amenable in the sense of Aldous and Lyons. As a part of this, we obtain an alternative proof of the Benjamini-Schramm Recurrence Theorem. Secondly, in the hyperbolic case, we prove that the random walk almost surely converges to a point in the unit circle, that the law of this limiting point has full support and no atoms, and that the unit circle is a realisation of the Poisson boundary. Finally, we show that the simple random walk has positive speed in the hyperbolic metric.


A circle packing of a planar graph \(G\) is a set of circles with disjoint interiors, one for each vertex of \(G\), such that two circles are tangent if and only if their corresponding vertices are adjacent in \(G\). The famous Koebe-Andreev-Thurston theorem states that every finite simple plane graph has a circle packing. Moreover, if this graph is a triangulation, the packing is unique up to Möbius transformations and reflections. Also it is known that any infinite one-ended simple triangulation admits a locally finite circle packing either in the Euclidean plane (parabolic circle packing) or in the hyperbolic plane (hyperbolic circle packing). Now let \(G\) be an infinite, simple, one-ended, ergodic unimodular random rooted planar triangulation with the root \(\rho\). Then either \(\mathbb{E}[\deg(\rho)]=6\) and \(G\) almost surely admits a parabolic circle packing, or \(\mathbb{E}[\deg(\rho)]>6\) and \(G\) almost surely admits a hyperbolic circle packing. Further, consider a hyperbolic case with the supplementary condition \(\mathbb{E}[\deg^2(\rho)]<\infty\). Let \((X_n)\) be a simple random walk on \(G\). We can realize a hyperbolic plane as a disc \(\mathbb{D}=\{|z|<1\}\) with corresponding hyperbolic metric. Denote by \(z(X_n)\) and \(r(X_n)\) the Euclidean centre and radius of the circle corresponding to \(X_n\). Then \(z(X_n)\) almost surely converge to a random point on \(\partial D\). The law of this point has full support and no atoms. Also we have that \(\lim\limits_{n\to\infty} \frac{-\log r(X_n)}{n}>0\).



Cites work


Cited in
(31)


Describes a project that uses

Uses Software






This page was built for publication: Unimodular hyperbolic triangulations: circle packing and random walk

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q730189)