Characterizations of infinite circle patterns and convex polyhedra in hyperbolic 3-space
Pith reviewed 2026-05-17 22:33 UTC · model grok-4.3
The pith
Infinite regular circle patterns with intersection angles below pi are rigid and classified by a uniformization theorem that also characterizes infinite convex trivalent polyhedra in hyperbolic 3-space.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The authors establish the existence and rigidity of infinite regular circle patterns and prove a uniformization theorem for them, which solves the classification problem for regular circle patterns. Thereby the existence and rigidity of infinite convex trivalent polyhedra in hyperbolic 3-space are obtained.
What carries the argument
The uniformization theorem for regular circle patterns whose contact graphs are disk triangulations, which classifies them by their intersection angles and produces the corresponding convex trivalent polyhedra.
Load-bearing premise
The combinatorial restriction to disk-triangulation contact graphs is narrow enough to exclude singular configurations while still capturing all intended infinite regular patterns and their polyhedral counterparts.
What would settle it
An explicit infinite disk-triangulation graph together with angle data 0 ≤ Θ < π for which either no circle pattern exists or two non-isometric patterns exist would falsify the uniformization and rigidity claims.
Figures
read the original abstract
Since Thurston pioneered the connection between circle packing (abbr. CP) and three-dimensional geometric topology, the characterization of CPs and hyperbolic polyhedra has become increasingly profound. Some milestones have been achieved, for example, Rodin-Sullivan \cite{Rodin-Sullivan} and Schramm \cite{schramm91} proved the rigidity of infinite CPs with the intersection angle $\Theta=0$. Rivin-Hodgson \cite{RH93} fully characterized the existence and rigidity of compact convex polyhedra in $\mathbb{H}^3$. He \cite{He} proved the rigidity and uniformization theorem for infinite CPs with $0\leq\Theta\leq \pi/2$. Therefore, the remaining unresolved issues are the rigidity and uniformization theorems for infinite CPs with $0\leq\Theta<\pi$, as well as for infinite hyperbolic polyhedra. In fact, He specifically claimed in the abstract of \cite{He} that ``in a future paper, the techniques of this paper will be extended to the case when $0\leq\Theta<\pi$. In particular, we will show a rigidity property for a class of infinite convex polyhedra in the 3-dimensional hyperbolic space". The objective of the article is to accomplish the work claimed in \cite{He} by proving the rigidity and uniformization theorem for infinite CPs with $0\leq\Theta<\pi$, as well as infinite trivalent hyperbolic polyhedra. We will pay special attention to CPs whose contact graphs are disk triangulation graphs. Such CPs are called regular because they exclude some singular configurations and correspond well to hyperbolic polyhedra. We will establish the existence and rigidity of infinite regular CPs. Moreover, we will prove a uniformization theorem for regular CPs, which solves the classification problem for regular CPs. Thereby, the existence and rigidity of infinite convex trivalent polyhedra are obtained.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proves existence and rigidity theorems for infinite regular circle patterns (CPs) with 0 ≤ Θ < π whose contact graphs are disk triangulations, along with a uniformization theorem that classifies these regular CPs. It thereby derives existence and rigidity results for infinite convex trivalent polyhedra in H^3, extending prior work by Rodin-Sullivan, Schramm, Rivin-Hodgson, and He on infinite CPs and hyperbolic polyhedra.
Significance. If the central theorems hold, the work completes the program outlined by He for the remaining cases of infinite CPs with intersection angles up to but not including π and supplies corresponding characterizations for infinite trivalent hyperbolic polyhedra. The restriction to regular CPs (disk triangulation contact graphs) is presented as a means to exclude singularities while preserving correspondence with polyhedra, yielding a uniformization result that solves the classification problem in this subclass.
major comments (2)
- [Abstract] Abstract and Introduction: The claim that the uniformization theorem for regular CPs implies existence and rigidity for infinite convex trivalent polyhedra ('thereby obtained') is load-bearing for the central result. The manuscript must explicitly verify that every infinite convex trivalent polyhedron in H^3 induces a contact graph that is a disk triangulation without accumulation points or unavoidable singularities at infinity; absent this verification, the implication classifies only a proper subclass and does not resolve the full classification problem for trivalent polyhedra.
- [§2] §2 (Definitions of regular CPs): The assertion that disk triangulation contact graphs exclude singular configurations and ensure good correspondence with hyperbolic polyhedra requires a precise statement of what constitutes a singularity in the infinite setting and a proof that no infinite convex trivalent polyhedron falls outside this combinatorial class. If some polyhedra produce non-triangulated faces or accumulation points, the rigidity and uniformization statements would not apply to the intended full class.
minor comments (2)
- [Abstract] The abstract's phrasing 'abbr. CP' could be expanded to 'abbreviated as CP' for improved readability on first use.
- [Introduction] Notation for the range of intersection angles Θ could be introduced with a brief reminder of the distinction from the compact case treated by Rivin-Hodgson.
Simulated Author's Rebuttal
We thank the referee for the thorough review and for identifying these important points about the correspondence between regular circle patterns and infinite convex trivalent polyhedra. We address each major comment below and will revise the manuscript accordingly to strengthen the exposition and proofs.
read point-by-point responses
-
Referee: [Abstract] Abstract and Introduction: The claim that the uniformization theorem for regular CPs implies existence and rigidity for infinite convex trivalent polyhedra ('thereby obtained') is load-bearing for the central result. The manuscript must explicitly verify that every infinite convex trivalent polyhedron in H^3 induces a contact graph that is a disk triangulation without accumulation points or unavoidable singularities at infinity; absent this verification, the implication classifies only a proper subclass and does not resolve the full classification problem for trivalent polyhedra.
Authors: We agree that the load-bearing implication requires explicit verification in the infinite setting. The manuscript currently relies on the standard polar dual construction (extending the finite case of Rivin-Hodgson) together with the definition of regular CPs to assert the correspondence, but we acknowledge that a self-contained argument for the infinite case is needed. In the revised manuscript we will add a dedicated paragraph in the introduction and a short subsection following the definition of regular CPs that proves: (i) every infinite convex trivalent polyhedron in H^3 determines a locally finite circle pattern whose contact graph is a disk triangulation, (ii) convexity and trivalence preclude accumulation points at infinity, and (iii) no unavoidable singularities arise. This will make the derivation of existence and rigidity for the full class of trivalent polyhedra rigorous. revision: yes
-
Referee: [§2] §2 (Definitions of regular CPs): The assertion that disk triangulation contact graphs exclude singular configurations and ensure good correspondence with hyperbolic polyhedra requires a precise statement of what constitutes a singularity in the infinite setting and a proof that no infinite convex trivalent polyhedron falls outside this combinatorial class. If some polyhedra produce non-triangulated faces or accumulation points, the rigidity and uniformization statements would not apply to the intended full class.
Authors: We will revise §2 to include a precise definition of singularities for infinite circle patterns: a configuration is singular if the pattern fails to be locally finite, if intersection angles accumulate to π at infinity, or if the contact graph contains non-triangular faces or accumulation points that prevent the pattern from being a proper disk triangulation. We will then prove that no infinite convex trivalent polyhedron produces such singularities. The argument proceeds by noting that trivalence implies the dual graph is a triangulation, convexity of the polyhedron ensures the circles remain disjoint except at tangency points, and the absence of accumulation follows from the proper embedding in H^3. This proof will be inserted into the revised §2 and cross-referenced in the polyhedra section. revision: yes
Circularity Check
No significant circularity; theorems extend independent prior results
full rationale
The paper defines regular circle patterns combinatorially via disk triangulation contact graphs and proves existence, rigidity, and uniformization theorems for them with 0 ≤ Θ < π, then obtains corresponding results for infinite convex trivalent polyhedra. These steps build directly on cited independent prior theorems (Rodin-Sullivan, Schramm, Rivin-Hodgson, He) without any quoted equation or claim reducing the new results to fitted parameters, self-definitions, or unverified self-citations by construction. The derivation chain remains self-contained against external benchmarks.
Axiom & Free-Parameter Ledger
axioms (2)
- standard math Hyperbolic 3-space satisfies the standard axioms of constant negative curvature and the properties of circle intersections therein.
- domain assumption Contact graphs that are disk triangulations exclude singular configurations and correspond to trivalent polyhedra.
Lean theorems connected to this paper
-
IndisputableMonolith/Foundation/AlexanderDuality.leanalexander_duality_circle_linking echoes?
echoesECHOES: this paper passage has the same mathematical shape or conceptual pattern as the Recognition theorem, but is not a direct formal dependency.
We will pay special attention to CPs whose contact graphs are disk triangulation graphs. Such CPs are called regular... prove a uniformization theorem for regular CPs... existence and rigidity of infinite convex trivalent polyhedra
What do these tags mean?
- matches
- The paper's claim is directly supported by a theorem in the formal canon.
- supports
- The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
- extends
- The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
- uses
- The paper appears to rely on the theorem as machinery.
- contradicts
- The paper's claim conflicts with a theorem or certificate in the canon.
- unclear
- Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.
Reference graph
Works this paper leans on
-
[1]
L. Addario-Berry, M. Albenque,The scaling limit of random simple triangulations and random simple quadrangulations. Ann. Probab. 45, no. 5, 2767-2825, 2017
work page 2017
-
[2]
S. I. Agafonov,Embedded circle patterns with the combinatorics of the square grid and discrete Painlev´e equations. Discrete Comp. Geom. 29, 305-319, 2003
work page 2003
-
[3]
L. V . Ahlfors,Lectures on quasiconformal mappings. Amer. Math. Soc., 2006
work page 2006
-
[4]
A. D. Alexandrov,Convex polyhedra. Springer Verlag, 2005
work page 2005
-
[5]
A. D. Alexandrov,Existence of a convex polyhedron and of a convex surface with a given metric. Mat. Sb. (N.S.) 53, no. 1, 15-65, 1942
work page 1942
-
[6]
Anandam,Harmonic functions and potentials on finite or infinite networks
V . Anandam,Harmonic functions and potentials on finite or infinite networks. volume 12 of Lecture Notes of the Unione Matematica Italiana. Springer, Heidelberg; UMI, Bologna, 2011. 61 Characterizations of infinite circle patterns and convex polyhedra in hyperbolic 3-space
work page 2011
-
[7]
E. M. Andreev,Convex polyhedra in Loba ˘chevski˘i spaces. Mat. Sb. (N.S.) 81, no. 123, 445- 478, 1970
work page 1970
-
[8]
E. M. Andreev,Convex polyhedra of finite volume in Loba ˘chevski˘i spaces. Mat. Sb. (N.S.) 83, no. 125, 255-260, 1970
work page 1970
- [9]
- [10]
-
[11]
X. Bao, F. Bonahon,Hyperideal polyhedra in hyperbolic 3-space. Bull. Soc. Math. Fr. 130, 457-491, 2022
work page 2022
-
[12]
A. F. Beardon, K. Stephenson,The uniformization theorem for circle packings. Indiana Univ. Math J. 39, 1383-1425, 1990
work page 1990
-
[13]
I. Benjamini, R. Lyons, Y . Peres, O. Schramm,Uniform spanning forests. Ann. Probab. 29, no. 1, 1-65, 2001
work page 2001
-
[14]
I. Benjamini, O. Schramm,Harmonic functions on planar and almost planar graphs and manifolds, via circle packings. Invent. Math. 126, no. 3, 565-587, 1996
work page 1996
-
[15]
I. Benjamini, O. Schramm,Recurrence of distributional limits of finite planar graphs. Elec- tron. J. Probab. 6, no. 23, 1-13, 2001
work page 2001
-
[16]
O. Bernardi, N. Holden, X. Sun,Percolation on triangulations: a bijective path to Liouville quantum gravity. vol. 289, Mem. Amer. Math. Soc. 1440, American Mathematical Society, Providence, RI, 2023
work page 2023
-
[17]
A. I. Bobenko, T. Hoffmann,Hexagonal circle patterns and integrable systems: patterns with constant angles. Duke Math. J. 116, no. 3, 525-566, 2003
work page 2003
-
[18]
A. I. Bobenko, T. Hoffmann, B. Springborn,Minimal surfaces from circle patterns: geom- etry from combinatorics. Ann. Math. 164, no. 1, 231-264, 2006
work page 2006
-
[19]
A. I. Bobenko, I. Izmestiev,Alexandrov’s theorem, weighted Delaunay triangulations, and mixed volumes. Ann. Inst. Fourier 58, no. 2, 447-505, 2008
work page 2008
-
[20]
A. I. Bobenko, U. Pinkall, B. A. Springborn,Discrete conformal maps and ideal hyperbolic polyhedra. Geom. Topol. 19, no. 4, 2155-2215, 2015
work page 2015
-
[21]
A. I. Bobenko, B. A. Springborn,Variational principles for circle patterns and Koebe’s theorem. Trans. Amer. Math. Soc. 356, no. 2, 659-689, 2004
work page 2004
-
[22]
F. Bonsante, M. Wolf,Projective rigidity of circle packings. Adv. Math. 461, Paper no. 110024, 51, 2025. 62 Characterizations of infinite circle patterns and convex polyhedra in hyperbolic 3-space
work page 2025
-
[23]
J. C. Bowers, P. L. Bowers, K. Pratt,Rigidity of circle polyhedra in the 2-sphere and of hyperideal polyhedra in hyperbolic 3-space. Trans. Amer. Math. Soc. 371, no. 6, 4215- 4249, 2019
work page 2019
- [24]
-
[25]
J. W. Cannon,The combinatorial Riemann mapping theorem. Acta Math. 173, no. 2, 155- 234, 1994
work page 1994
-
[26]
Q. Chen, J. M. Schlenker,Hyperideal polyhedra in the 3-dimensional anti-de Sitter space. Adv. Math. 404, part B, Paper no. 108441, 61 pp, 2022
work page 2022
-
[27]
D. Chelkak, B. Laslier, M. Russkikh,Dimer model and holomorphic functions on t- embeddings of planar graphs. Proc. Lond. Math. Soc. 126, no. 5, 1656-1739, 2023
work page 2023
-
[28]
B. Chow, F. Luo,Combinatorial Ricci flows on surfaces. J. Differential Geom. 63, no. 1, 97-129, 2023
work page 2023
-
[29]
Curien,Peeling random planar maps
N. Curien,Peeling random planar maps. Lecture notes from the 2019 Saint-Flour proba- bility summer school. Lecture Notes in Mathematics 2335. Springer, Berlin, 2023
work page 2019
-
[30]
J. Ding, E. Gwynne,The fractal dimension of Liouville quantum gravity: universality, monotonicity, and bounds. Comm. Math. Phy. 374, 1877-1934, 2020
work page 1934
-
[31]
B. Duplantier, S. Sheffield,Liouville quantum gravity and KPZ. Invent. Math. 185, no. 2, 333-393, 2011
work page 2011
-
[32]
H. Ge, B. Hua, Z. Zhou,Combinatorial Ricci flows for ideal circle patterns. Adv. Math. 383, no. 107698, 26 pp, 2021
work page 2021
-
[33]
H. Ge, B. Hua, Z. Zhou,Circle patterns on surfaces of finite topological type. Amer. J. Math. 143, no. 5, 1397-1430, 2021
work page 2021
-
[34]
H. Ge, H. Yu,Circle patterns with hyperbolic background via topological degree method. Calc. Var. PDE. 64, article no. 167, 2025
work page 2025
-
[35]
H. Ge, H. Yu, P. Zhou,Infinite ideal polyhedra in hyperbolic 3-space: existence and rigid- ity. arXiv:2506.19528, 2025
work page internal anchor Pith review Pith/arXiv arXiv 2025
-
[36]
Georgakopoulos,The boundary of a square tiling of a graph coincides with the Poisson boundary
A. Georgakopoulos,The boundary of a square tiling of a graph coincides with the Poisson boundary. Invent. Math. 203, no. 3, 773-821, 2016
work page 2016
-
[37]
F. Gu ´eritaud,On an elementary proof of Rivin’s characterization of convex ideal hyperbolic polyhedra by their dihedral angles. Geom. Dedicata 108, 111-124, 2004
work page 2004
-
[38]
O. Gurel-Gurevich, A. Nachmias,Recurrence of planar graph limits. Ann. Math. 177, no. 2, 761-781, 2013. 63 Characterizations of infinite circle patterns and convex polyhedra in hyperbolic 3-space
work page 2013
-
[39]
Gwynne,Random surfaces and Liouville quantum gravity
E. Gwynne,Random surfaces and Liouville quantum gravity. Notices Amer. Math. Soc. 67, no. 4, 484-491, 2020
work page 2020
-
[40]
He,Rigidity of infinite disk patterns
Z. He,Rigidity of infinite disk patterns. Ann. Math., 149, no. 1, 1-33, 1999
work page 1999
-
[41]
Z. He, J. Liu,On the Teichm ¨uller theory of circle patterns. Trans. Amer. Math. Soc., 365, no. 12, 6517-6541, 2013
work page 2013
-
[42]
Z. He, O. Schramm,Fixed points, Koebe uniformization and circle packings. Ann. Math. 137, 369-406, 1993
work page 1993
-
[43]
Z. He, O. Schramm,Hyperbolic and parabolic packings. Discrete Comput. Geom. 14, no
-
[44]
C. D. Hodgson,Deduction of Andreev’s theorem from Rivin’s characterization of convex hyperbolic polyhedra, Topology ’90 (Columbus, OH, 1990), 185-193, Ohio State Univ. Math. Res. Inst. Publ., 1 Walter de Gruyter & Co., Berlin, 1992
work page 1990
- [45]
- [46]
- [47]
- [48]
-
[49]
Koebe,Kontaktprobleme der konformen abbildung
P. Koebe,Kontaktprobleme der konformen abbildung. Ber. S ¨achs. Akad. Wiss. Leipzig, Math. Phys. Kl. 88, 1936
work page 1936
- [50]
-
[51]
W. Y . Lam,Minimal surfaces from infinitesimal deformations of circle packings. Adv. Math. 362, 106939, 2020
work page 2020
-
[52]
W. Y . Lam,Quadratic differentials and circle patterns on complex projective tori. Geom. Topol. 25 (2), 961-997, 2021
work page 2021
-
[53]
G. F. Lawler, O. Schramm, W. Werner,Values of Brownian intersection exponents. I. Half- plane exponents. Acta Math. 187 (2),, 237-273, 2001
work page 2001
-
[54]
Lis,Circle patterns and critical Ising models
M. Lis,Circle patterns and critical Ising models. Comm. Math. Phys. 370, 507-530, 2019
work page 2019
-
[55]
Le Gall,Random geometry on the sphere
J.-F. Le Gall,Random geometry on the sphere. In Proceedings of the ICM-Seoul, vol. 1, pp. 421-442, 2014. 64 Characterizations of infinite circle patterns and convex polyhedra in hyperbolic 3-space
work page 2014
-
[56]
J. Liu, Z. Zhou,How many cages midscribe an egg. Invent. Math. 203, no. 2, 655-673, 2016
work page 2016
- [57]
-
[58]
J. P. Otal,Thurston’s hyperbolization of Haken manifolds, in Surveys in Differential Ge- ometry. V ol. III, 77-194, Int. Press, Boston, MA, 1998
work page 1998
-
[59]
Martelli,An introduction to geometric topology
B. Martelli,An introduction to geometric topology. Publisher: Independently published, 488 pages, 3rd Edition, ISBN-13: 979-8858790709, 2023
work page 2023
- [60]
-
[61]
J. Ratcliffe,Foundations of hyperbolic manifolds, Graduate texts in mathematics 149, Springer-Verlag, 1994
work page 1994
-
[62]
Nachmias,Planar maps, random walks and circle packing
A. Nachmias,Planar maps, random walks and circle packing. Lecture Notes in Mathemat- ics, Springer Open, 2020
work page 2020
-
[63]
Rivin,Euclidean structures of simplicial surfaces and hyperbolic volume
I. Rivin,Euclidean structures of simplicial surfaces and hyperbolic volume. Ann. Math. 139, no. 3, 553-580, 1994
work page 1994
-
[64]
Rivin,A characterization of ideal polyhedra in hyperbolic 3-space
I. Rivin,A characterization of ideal polyhedra in hyperbolic 3-space. Ann. Math. 143, 51-70, 1996
work page 1996
-
[65]
Rivin,Combinatorial optimization in geometry
I. Rivin,Combinatorial optimization in geometry. Adv. Appl. Math. 31, 242-271, 2003
work page 2003
-
[66]
Rivin,Intrinsic geometry of convex ideal polyhedra in hyperbolic 3-space
I. Rivin,Intrinsic geometry of convex ideal polyhedra in hyperbolic 3-space. In Analysis, Algebra, and Computers in Mathematical Research. Lecture Notes in Pure and Appl. Math., vol. 156, pp. 275–291. Marcel Dekker, Inc., New York, 1994
work page 1994
- [67]
-
[68]
Rodin,Schwarz’s lemma for circle packings
B. Rodin,Schwarz’s lemma for circle packings. Invent. Math. 89, 271-289, 1987
work page 1987
- [69]
-
[70]
R. K. W. Roeder, J. H. Hubbard, W. D. Dunbar,Andreev’s Theorem on hyperbolic polyhe- dra. Annales de l’institut Fourier, 57 no. 3, p. 825-882, 2007
work page 2007
-
[71]
Rohde,Oded Schramm: from circle packing to SLE
S. Rohde,Oded Schramm: from circle packing to SLE. Ann. Probab. 39 (5), 1621-1667, 2011
work page 2011
-
[72]
M. Rousset,Sur la rigidit ´e e poly`edres hyperboliques en dimension 3: cas de volume fini, cas hyperid´eal, cas fuchsien. Bull. Soc. Math. Fr. 132, 233-261, 2004. 65 Characterizations of infinite circle patterns and convex polyhedra in hyperbolic 3-space
work page 2004
-
[73]
J. M. Schlenker,Dihedral angles of convex polyhedra. Discrete Comput. Geom. 23: 409- 417, 2000
work page 2000
-
[74]
J. M. Schlenker,Hyperideal circle patterns. Math. Res. Lett. 12 (1), 85-102, 2005
work page 2005
-
[75]
Schramm,Rigidity of infinite (circle) packings
O. Schramm,Rigidity of infinite (circle) packings. J. Amer. Math. Soc. 4, 127-149, 1991
work page 1991
-
[76]
O. Schramm,How to cage an egg. Invent. Math., 107, 543-560, 1992
work page 1992
-
[77]
Smirnov,Discrete complex analysis and probability
S. Smirnov,Discrete complex analysis and probability. In Proceedings of the ICM, vol. I, 595-621, 2010
work page 2010
-
[78]
Springborn,Ideal hyperbolic polyhedra and discrete uniformization
B. Springborn,Ideal hyperbolic polyhedra and discrete uniformization. Discrete Comput. Geom. 64, no. 1, 63-108, 2020
work page 2020
-
[79]
Springborn,A variational principle for weighted Delaunay triangulations and hyper- ideal polyhedra
B. Springborn,A variational principle for weighted Delaunay triangulations and hyper- ideal polyhedra. J. Differential Geom., 78 (2), 333-367, 2008
work page 2008
-
[80]
Stephenson,Introduction to circle packing
K. Stephenson,Introduction to circle packing. The theory of discrete analytic functions. Cambridge University Press, Cambridge, 2005
work page 2005
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.