Let Σ_g be a closed orientable surface of genus g \geq 2 and τa graph on Σ_g with one vertex which lifts to a triangulation of the universal cover. We have shown that the cross ratio parameter space \mathcal{C}_τassociated with τ, which can be identified with the set of all pairs of a projective structure and a circle packing on it with nerve isotopic to τ, is homeomorphic to \mathbb{R}^{6g-6}, and moreover that the forgetting map of \mathcal{C}_τto the space of projective structures is injective. In this paper, we show that the composition of the forgetting map with the uniformization from \mathcal{C}_τto the Teichmüller space \mathcal{T}_g is proper.
With the help of hyper-ideal circle pattern theory, we have developed a discrete version of the classical uniformization theorems for surfaces represented as finite branched covers over the Riemann sphere as well as compact polyhedral surfaces with non-positive curvature. We show that in the case of such surfaces discrete uniformization via hyper-ideal circle patterns always exists and is unique. We also propose a numerical algorithm, utilizing convex optimization, that constructs the desired discrete uniformization.
Thurston's circle packing approximation of the Riemann Mapping (proven to give the Riemann Mapping in the limit by Rodin-Sullivan) is largely based on the theorem that any topological disk with a circle packing metric can be deformed into a circle packing metric in the disk with boundary circles internally tangent to the circle. The main proofs of the uniformization use hyperbolic volumes (Andreev) or hyperbolic circle packings (by Beardon and Stephenson). We reformulate these problems into a Euclidean context, which allows more general discrete conformal structures and boundary conditions. Th…
We consider circle packings and, more generally, Delaunay circle patterns - arrangements of circles arising from a Delaunay decomposition of a finite set of points - on surfaces equipped with a complex projective structure. Motivated by a conjecture of Kojima, Mizushima and Tan, we prove that the forgetful map sending a complex projective structure admitting a circle packing with given nerve (resp. a Delaunay circle pattern with given nerve and intersection angles) to the underlying complex structure is proper.
The traditional Riemann Mapping Theorem can be proved with circle packing techniques. We prove the Combinatorial Riemann Mapping Theorem for tilings of bounded size using circle packings.
A Euclidean (or hyperbolic) circle packing on a closed triangulated surface with prescribed inversive distance is locally determined by its cone angles. We prove this by applying a variational principle.
The Andreev-Thurston theorem states that for any triangulation of a closed orientable surface Σ_g of genus g which is covered by a simple graph in the universal cover, there exists a unique metric of curvature 1, 0 or -1 on the surface depending on whether g=0, 1 or \ge 2 such that the surface with this metric admits a circle packing with combinatorics given by the triangulation. Furthermore, the circle packing is essentially rigid, that is, unique up to conformal automorphisms of the surface isotopic to the identity. In this paper, we consider projective structures on the surface Σ_g where ci…
Attempts to build a discrete theory for rational maps on the sphere via circle packing have foundered on discretization effects in locating branch points. The authors remove this impediment by introducing generalized branch points. A generalized branch point need no longer be attached to an individual circle, but with the help of chaperones and other devices, can be positioned anywhere that the geometry requires. The effects will be illustrated in images and videos as we use generalized branching to fix flaws in discrete Ahlfors and Weierstrasse functions.
We present recent results on counting and distribution of circles in a given circle packing invariant under a geometrically finite Kleinian group and discuss how the dynamics of flows on geometrically finite hyperbolic $3$ manifolds are related. Our results apply to Apollonian circle packings, Sierpinski curves, Schottky dances, etc.
We give a counterexample of Bowers-Stephenson's conjecture in the spherical case: spherical inversive distance circle packings are not determined by their inversive distances.
In this note, we investigate an infinite one parameter family of circle packings, each with a set of three mutually tangent circles. We use these to generate an infinite set of circle packings with the Apollonian property. That is, every circle in the packing is a member of a cluster of four mutually tangent circles.
The main purpose of this article is to demonstrate three techniques for proving algebraicity statements about circle packings. We give proofs of three related theorems: (1) that every finite simple planar graph is the contact graph of a circle packing on the Riemann sphere, equivalently in the complex plane, all of whose tangency points, centers, and radii are algebraic, (2) that every flat conformal torus which admits a circle packing whose contact graph triangulates the torus has algebraic modulus, and (3) that if R is a compact Riemann surface of genus at least 2, having constant curvature …
Inversive distance circle packing metric was introduced by P Bowers and K Stephenson \cite{BS} as a generalization of Thurston's circle packing metric \cite{T1}. They conjectured that the inversive distance circle packings are rigid. For nonnegative inversive distance, Guo \cite{Guo} proved the infinitesimal rigidity and then Luo \cite{L3} proved the global rigidity. In this paper, based on an observation of Zhou \cite{Z}, we prove this conjecture for inversive distance in $(-1, +\infty)$ by variational principles. We also study the global rigidity of a combinatorial curvature introduced in \c…
We obtain an asymptotic formula for the number of circles of curvature at most T in any given bounded Apollonian circle packing. For an integral packing, we obtain the upper bounds for the number of circles with prime curvature as well as of pairs of circles with prime curvatures, which are sharp up constant multiples. The main ingredient of our proof is the effective equidistribution of expanding horospheres on geometrically finite hyperbolic 3-manifolds under the assumption that the critical exponent of its fundamental group exceeds one.
We give an overview of various counting problems for Apollonian circle packings, which turn out to be related to problems in dynamics and number theory for thin groups. This survey article is an expanded version of my lecture notes prepared for the 13th Takagi lectures given at RIMS, Kyoto in the fall of 2013.
Given a triangulated surface $M$, we use Ge-Xu's $α$-flow \cite{Ge-Xu1} to deform any initial inversive distance circle packing metric to a metric with constant $α$-curvature. More precisely, we prove that the inversive distance circle packing with constant $α$-curvature is unique if $αχ(M)\leq 0$, which generalize Andreev-Thurston's rigidity results for circle packing with constant cone angles. We further prove that the solution to Ge-Xu's $α$-flow can always be extended to a solution that exists for all time and converges exponentially fast to constant $α$-curvature. Finally, we give some co…
In this paper, we generalize Chow-Luo's combinatorial Ricci flow to inversive distance circle packing setting. Although the solution to the generalized flow may develop singularities in finite time, we can always extend the solution so as it exists for all time and converges exponentially fast. Thus the generalized flow can be used to deform any inversive distance circle packing to a unique packing with prescribed cone angle. We also give partial results on the range of all admissible cone angles, which generalize the classical Andreev-Thurston's theorem.
This paper investigates several global rigidity issues for polyhedral surfaces including inversive distance circle packings. Inversive distance circle packings are polyhedral surfaces introduced by P. Bowers and K. Stephenson as a generalization of Andreev-Thurston's circle packing. They conjectured that inversive distance circle packings are rigid. Using a recent work of R. Guo on variational principle associated to the inversive distance circle packing, we prove rigidity conjecture of Bowers-Stephenson in this paper. We also show that each polyhedral metric on a triangulated surface is deter…
The main result of this paper is an effective count for Apollonian circle packings that are either bounded or contain two parallel lines. We obtain this by proving an effective equidistribution of closed horospheres in the unit tangent bundle of a geometrically finite hyperbolic 3-manifold of infinite volume, whose fundamental group has critical exponent bigger than 1. We also discuss applications to Affine sieves. Analogous results for surfaces are treated as well.
We show that the results in \cite{Ge-Jiang1} are still true in hyperbolic background geometry setting, that is, the solution to Chow-Luo's combinatorial Ricci flow can always be extended to a solution that exists for all time, furthermore, the extended solution converges exponentially fast if and only if there exists a metric with zero curvature. We also give some results about the range of discrete Gaussian curvatures, which generalize Andreev-Thurston's theorem to some extent.
Inversive distance circle packing on surfaces was introduced by Bowers-Stephenson as a generalization of Thurston's circle packing and conjectured to be rigid. The infinitesimal and global rigidity of circle packing with nonnegative inversive distance were proved by Guo and Luo respectively. The author proved the global rigidity of circle packing with inversive distance in $(-1,+\infty)$. In this paper, we give a new variational proof of the Bowers-Stephenson conjecture for inversive distance in $(-1,+\infty)$, which simplifies the existing proofs and could be generalized to three dimensional …
We show that the analog of Hamilton's Ricci flow in the combinatorial setting produces solutions which converge exponentially fast to Thurston's circle packing on surfaces. As a consequence, a new proof of Thurston's existence of circle packing theorem is obtained. As another consequence, Ricci flow suggests a new algorithm to find circle packings.
In this paper, we assume that $G$ is a finitely generated torsion free non-elementary Kleinian group with $Ω(G)$ nonempty. We show that the maximal number of elements of $G$ that can be pinched is precisely the maximal number of rank 1 parabolic subgroups that any group isomorphic to $G$ may contain. A group with this largest number of rank 1 maximal parabolic subgroups is called {\it maximally parabolic}. We show such groups exist. We state our main theorems concisely here. Theorem I. The limit set of a maximally parabolic group is a circle packing; that is, every component of its regular set…
In this paper, we introduce a new combinatorial curvature on triangulated surfaces with inversive distance circle packing metrics. Then we prove that this combinatorial curvature has global rigidity. To study the Yamabe problem of the new curvature, we introduce a combinatorial Ricci flow, along which the curvature evolves almost in the same way as that of scalar curvature along the surface Ricci flow obtained by Hamilton \cite{Ham1}. Then we study the long time behavior of the combinatorial Ricci flow and obtain that the existence of a constant curvature metric is equivalent to the convergenc…
Let P be a locally finite circle packing in the plane invariant under a non-elementary Kleinian group Gamma and with finitely many Gamma-orbits. When Gamma is geometrically finite, we construct an explicit Borel measure on the plane which describes the asymptotic distribution of small circles in P, assuming that either the critical exponent of Gamma is strictly bigger than 1 or P does not contain an infinite bouquet of tangent circles glued at a parabolic fixed point of Gamma. Our construction also works for P invariant under a geometrically infinite group Gamma, provided Gamma admits a finite…
In this paper, we establish an explicit correspondence between kissing reflection groups and critically fixed anti-rational maps. The correspondence, which is expressed using simple planar graphs, has several dynamical consequences. As an application of this correspondence, we give complete answers to geometric mating problems for critically fixed anti-rational maps.
