Coarsely quasi-homogeneous circle packings in the hyperbolic plane (Q1325809): Difference between revisions

Let \(I\) denote a triangulation of an open topological disk and \(P_{I^{(1)}}\) be a circle packing in the complex plane \(\mathbb{C}\), unique up to Möbius transformations, whose graph is combinatorially equivalent to the 1-skeleton \(I^{(1)}\) of \(I\) and whose carrier is either the unit disk \(U\) or the whole plane \(\mathbb{C}\). The graph \(I^{(1)}\) is said to be hyperbolic if the carrier of \(P_{I^{(1)}}\) is \(U\) (otherwise, \(I^{(1)}\) is parabolic). Moreover, \(I^{(1)}\) is said to have bounded valence if there is a uniform bound on the valence of its vertices. The two-manifold \(| I |\) is naturally endowed with the unique (singular Riemannian) metric such that each 2-simplex is isometric to a unit equilateral triangle in the Euclidean plane. The manifold \(| I |\) is conformally equivalent to \(U\) or \(\mathbb{C}\), and for bounded valence of \(I^{(1)}\) this equivalence to \(U\) holds if and only if \(I^{(1)}\) is hyperbolic. For a constant \(k \geq 1\), a map \(f:X \to Y\) between two metric spaces is called a coarse \(k\)-quasi-isometry if for each \(u,v \in X\) \[ {d(u,v) \over k} - k = d \bigl( f(u), f(v) \bigr) = k \cdot d(u,v) + k, \] and if for each \(w \in Y\) there is some \(u \in X\) with \(d(w,f(w)) \leq k\), where \(d\) denotes the metrics in \(X\) as well as in \(Y\). Finally, a metric space \(X\) is called coarsly quasi-homogeneous if there is some \(k \geq 1\) such that for each \(u,v \in X\) coarse \(k\)-quasi-isometry \(f:X \to Y\) with \(f(u) = w\) exists. The main statement in the present paper is: if \(| I |\) is coarsly quasi-homogeneous, then there is a positive uniform lower bound for the hyperbolic radii of the circles in \(P_{I^{(1)}}\).