pith. sign in

arxiv: 2506.19528 · v5 · submitted 2025-06-24 · 🧮 math.GT · math.CV· math.DG

Infinite Ideal Polyhedra in Hyperbolic 3-Space: Existence and Rigidity

Pith reviewed 2026-05-19 08:13 UTC · model grok-4.3

classification 🧮 math.GT math.CVmath.DG
keywords ideal polyhedrahyperbolic 3-spaceideal circle patternsuniformizationrigidityexterior anglesGromov-Hausdorff convergence
0
0 comments X

The pith

Infinite ideal polyhedra in hyperbolic 3-space exist and are rigid for prescribed exterior dihedral angles.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper shows that infinite ideal polyhedra can be realized in hyperbolic 3-space once their exterior dihedral angles are fixed according to suitable combinatorial rules. It reaches this conclusion by first proving existence and rigidity for embedded ideal circle patterns on the plane. A uniformization theorem for these patterns then classifies their type as parabolic or hyperbolic, which settles the type problem for the infinite case. The same result yields a complete characterization of the polyhedra themselves. An explicit example demonstrates that the type depends on both the underlying cellular decomposition and the chosen intersection angles.

Core claim

Embedded ideal circle patterns on the plane exist and are rigid when intersection angles satisfy the required conditions on the cellular decomposition. These patterns admit a uniformization theorem that determines their type, thereby solving the type problem for infinite ideal circle patterns. The theorem directly implies existence and rigidity for the corresponding infinite ideal polyhedra with any prescribed exterior angles that meet the necessary criteria. The results are sharp because an explicit counterexample shows that type classification depends on angle selection as well as decomposition structure, and that VEL-parabolicity and ICP-parabolicity fail to coincide.

What carries the argument

Embedded ideal circle patterns on the plane, together with the uniform Ring Lemma obtained via pointed Gromov-Hausdorff convergence, which guarantees embeddedness and supports the uniformization step.

Load-bearing premise

The cellular decomposition and intersection angles must obey technical conditions that let the uniform Ring Lemma hold and keep the ideal circle patterns embedded.

What would settle it

An explicit cellular decomposition and angle assignment that satisfies the stated conditions yet produces either a non-embedded pattern or a non-rigid polyhedron would disprove the existence and rigidity claims.

Figures

Figures reproduced from arXiv: 2506.19528 by Hao Yu, Huabin Ge, Puchun Zhou.

Figure 1
Figure 1. Figure 1: A portion of an ideal circle pattern in the plane. [PITH_FULL_IMAGE:figures/full_fig_p008_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: An Euclidean quadrilateral Q˜ e. Obviously, any edge in the original graph G uniquely corresponds to a quadrilateral in the incident graph I(G), as shown in the [PITH_FULL_IMAGE:figures/full_fig_p009_2.png] view at source ↗
Figure 3
Figure 3. Figure 3: A subgraph G0 of a cellular decomposition and its reduced graph. 4. Every two vertices v1 ∈ V1 and v2 = vf ∈ V2, we have v1 ∼ v2 in G′ if and only if v1 ∼ v for some v ∈ V (f) in G0. Now we consider the following lemma, which is crucial in proving the Ring lemma. Lemma 3.4. Let {Di = (Vi , Ei , Fi)}i∈N be a sequence of locally finite cellular decompo￾sitions, whose 1-skeleton is denoted by Gi . Let Pi be t… view at source ↗
Figure 4
Figure 4. Figure 4: Half of the quadrilaterals {Q˜ (ϕ −1 i (e1)), · · · , Q˜ (ϕ −1 i (eN ))} in the embedded ICP Pi . We claim that IG∞(W+) contains no infinite path . We prove that 2. and 3. cannot happen. Otherwise, there exists a path γ = (e1, e2, ..., en) in IG∞(W+) without self-intersection such that n ≥ 6π ϵ . Since W+ is the boundary of W0, for each j, there exists a face fj ∈ F∞ and a vertex wj ∈ W0 such that wj < fj … view at source ↗
Figure 5
Figure 5. Figure 5: A maple M(v). Proposition 4.6. Let P ∈ ICP(D, ϵ, ϵ0) be an embedded ICP, then for each vertex v ∈ V , sin ϵP(v) ⊊ M(v). Proof. This is deduced from the fact that Θ ∈ (0, π − ϵ] E. We denote by C(r) the circle centered at the origin of R 2 with the radius r. We have the following lemma, which estimates the vertex extremal length via the geometry of embedded ICP. Lemma 4.7. Let D be an infinite disk cellular… view at source ↗
Figure 6
Figure 6. Figure 6: A part of the cellular decomposition D∗ Now we construct the example. Example 4.13. Let {δn}n∈N+ be a sequence of positive numbers such that sin δn < 2 −3n−1 and δi < δi+1 < π 2 for each i. And let ϵi = 2π+δi 2 3+2i . Let D∗ = (V, E, F) be an infinite cellular decomposition as shown in [PITH_FULL_IMAGE:figures/full_fig_p024_6.png] view at source ↗
Figure 7
Figure 7. Figure 7: Two right ladders with different edge weights. [PITH_FULL_IMAGE:figures/full_fig_p025_7.png] view at source ↗
Figure 8
Figure 8. Figure 8: An inverted ladder. Next, we attach a right ladder along its base edge to each edge of the boundary of Di . After that, we alternately assign weights Φ1 i and Φ2 i on edges of those right ladders, as shown in [PITH_FULL_IMAGE:figures/full_fig_p025_8.png] view at source ↗
Figure 9
Figure 9. Figure 9: Circle, horocycle and hypercycle. 28 [PITH_FULL_IMAGE:figures/full_fig_p028_9.png] view at source ↗
Figure 10
Figure 10. Figure 10: Configurations of two intersecting generalized hyperbolic circles with the [PITH_FULL_IMAGE:figures/full_fig_p029_10.png] view at source ↗
Figure 11
Figure 11. Figure 11: A selection of edges Now we show that the ICP obtained above can also be regarded as an embedded ICP in Euclidean background geometry. Since P(v) is an ICP in hyperbolic background geometry, it is also an ICP in Euclidean background geometry. Therefore, for any edge e = {v, w}, P(v) and P(w) have the intersection angle Θ(v, w). Connecting the Euclidean center and the crossing points of P(v) and P(w), we o… view at source ↗
Figure 12
Figure 12. Figure 12: The modification of the developing map. 6.2 Vertex extremal lengths on cellular decompositions and triangula￾tions In this part, we will prove Lemma 4.10. Actually, when D is an infinite triangulation, this lemma was already proved by He, see [22, Lemma 7.3]. Therefore, we actually need to prove the following lemma. Lemma 6.3. Let D = (V, E, F) be an infinite disk cellular decomposition whose vertex degre… view at source ↗
read the original abstract

In the seminal work [27], Rivin obtained a complete characterization of finite ideal polyhedra in hyperbolic 3-space by the exterior dihedral angles. Since then,the characterization of infinite hyperbolic polyhedra has become an extremely challenging open problem. By studying ideal circle patterns (ICPs), we characterize the infinite ideal polyhedra (IIP) and resolve this problem. Specifically, we establish the existence and rigidity of embedded ICPs on the plane. We further prove the uniformization theorem for the embedded ICPs, which solves the type problem of infinite ICPs. This is an analog of the uniformization theorem obtained by He and Schramm in [22, 23]. Moreover, we demonstrate that, unlike He-Schramm's work, the type theory for infinite ICPs depends not only on the structure of the cellular decomposition but also on the selection of intersection angles. In fact, we construct Example 4.13 to show the difference. Consequently, we obtain the existence and rigidity of IIP with prescribed exterior angles. Due to the example, our results on the type problem of infinite ICPs and the existence of IIP are sharp. For ICPs with arbitrary angles, our example also demonstrates that the VEL-parabolicity and ICP-parabolicity are not equivalent (while in He and Schramm's settings, VEL-parabolicity and CP-parabolicity are equivalent), indicating that our setting is extremely distinct from He and Schramm's. To prove our results, we develop a uniform Ring Lemma via the technique of pointed Gromov-Hausdorff convergence for ICPs.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

Summary. The paper claims to characterize infinite ideal polyhedra (IIP) in hyperbolic 3-space with prescribed exterior dihedral angles by developing a theory of ideal circle patterns (ICPs). It proves existence and rigidity of embedded ICPs on the plane, establishes a uniformization theorem for embedded ICPs that resolves the type problem for infinite ICPs (analogous to but distinct from He-Schramm), and deduces the corresponding existence and rigidity for IIP. The proofs rely on a new uniform Ring Lemma proved via pointed Gromov-Hausdorff convergence of ICPs; the results are stated to be sharp, with Example 4.13 showing that the type depends on both cellular decomposition and intersection angles and that VEL-parabolicity and ICP-parabolicity are inequivalent in this setting.

Significance. If the derivations hold, this constitutes a substantial advance by extending Rivin's finite ideal polyhedra characterization to the infinite case and providing a new uniformization result for infinite ICPs. The introduction of a uniform Ring Lemma via pointed Gromov-Hausdorff convergence, together with the explicit counterexample delineating the role of angles, offers a technically novel approach that clarifies distinctions from prior circle pattern theory and could enable further work on infinite hyperbolic structures.

major comments (2)
  1. [Uniform Ring Lemma and its application to existence] The uniform Ring Lemma (proved via pointed Gromov-Hausdorff convergence of ICPs): the argument must explicitly verify that the pointed limit remains an embedded ICP, preserves the prescribed intersection angles, and satisfies the Ring Lemma inequality uniformly under the stated technical conditions on the cellular decomposition and angles. Any gap in controlling local geometry or preventing degeneration in the infinite limit would undermine the existence statement for the full class of decompositions claimed.
  2. [Example 4.13] Example 4.13 and sharpness claim: while the example demonstrates that the conditions are sharp and that angle choice affects the type independently of decomposition, the manuscript should confirm that the convergence construction still produces a valid embedded limit ICP precisely when those conditions hold, rather than only showing failure outside them.
minor comments (2)
  1. [Introduction] Notation for ICPs and IIPs should be introduced with a clear table or diagram early in the paper to distinguish finite vs. infinite cases and embedded vs. non-embedded.
  2. [Introduction] The abstract and introduction reference [27] and [22,23] but should include a brief sentence on how the new Ring Lemma differs technically from prior convergence arguments in the literature.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading of our manuscript and the constructive major comments. These observations help us clarify the technical details of the uniform Ring Lemma and the sharpness of our results. We respond to each point below and indicate the revisions we will incorporate.

read point-by-point responses
  1. Referee: [Uniform Ring Lemma and its application to existence] The uniform Ring Lemma (proved via pointed Gromov-Hausdorff convergence of ICPs): the argument must explicitly verify that the pointed limit remains an embedded ICP, preserves the prescribed intersection angles, and satisfies the Ring Lemma inequality uniformly under the stated technical conditions on the cellular decomposition and angles. Any gap in controlling local geometry or preventing degeneration in the infinite limit would undermine the existence statement for the full class of decompositions claimed.

    Authors: We agree that the preservation properties in the limit require explicit verification for full rigor. In the proof of the uniform Ring Lemma (Section 3), the pointed Gromov-Hausdorff convergence is constructed so that the limit inherits the embedding from the approximating sequence, the intersection angles are preserved by continuity of the angle functions under the uniform bounds, and the Ring Lemma inequality holds uniformly by the hypotheses on the cellular decomposition and angles. Local geometry is controlled via the uniform curvature bounds and non-degeneration of the circles. To address the concern directly, we will add a short lemma (or expanded remark) immediately following the convergence argument that explicitly lists these three preservation properties under the stated technical conditions. revision: yes

  2. Referee: [Example 4.13] Example 4.13 and sharpness claim: while the example demonstrates that the conditions are sharp and that angle choice affects the type independently of decomposition, the manuscript should confirm that the convergence construction still produces a valid embedded limit ICP precisely when those conditions hold, rather than only showing failure outside them.

    Authors: We appreciate this clarification request. Example 4.13 is designed to exhibit degeneration and type failure precisely when the angle or decomposition conditions are violated. In the existence proof, the same convergence construction is applied under the hypotheses that make the uniform Ring Lemma available; those hypotheses guarantee that the limit is a valid embedded ICP with the prescribed angles. We will revise the discussion immediately after Example 4.13 (and in the statement of the existence theorem) to state explicitly that the construction yields a non-degenerate embedded limit ICP if and only if the conditions hold, thereby making the sharpness claim fully symmetric. revision: yes

Circularity Check

0 steps flagged

No significant circularity: existence and rigidity derived via direct construction of uniform Ring Lemma and pointed Gromov-Hausdorff convergence

full rationale

The paper's central claims on existence and rigidity of infinite ideal polyhedra (IIP) with prescribed exterior angles, and the uniformization theorem for embedded ideal circle patterns (ICPs), are established through explicit construction of a uniform Ring Lemma proved using pointed Gromov-Hausdorff convergence of ICPs, together with technical conditions on cellular decompositions and intersection angles. No step reduces a target quantity to a fitted parameter, self-defined input, or self-citation chain by construction; the argument proceeds by direct analysis of limits and embeddings rather than renaming or presupposing the result. The counterexample in section 4.13 is used only to demonstrate sharpness of conditions, not to close any logical loop. The derivation is therefore self-contained against external benchmarks such as Rivin's finite case and He-Schramm uniformization.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

Based solely on the abstract, the paper relies on standard domain assumptions of hyperbolic geometry and circle-pattern theory rather than introducing free parameters or new entities; the uniform Ring Lemma is presented as a derived technical tool.

axioms (2)
  • domain assumption Suitable conditions on cellular decompositions and intersection angles permit embedded ideal circle patterns on the plane
    Invoked when establishing existence and rigidity of embedded ICPs.
  • domain assumption Pointed Gromov-Hausdorff convergence can be applied to ideal circle patterns to obtain a uniform Ring Lemma
    Used to develop the uniform Ring Lemma supporting the main theorems.

pith-pipeline@v0.9.0 · 5829 in / 1554 out tokens · 57512 ms · 2026-05-19T08:13:54.110219+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Characterizations of infinite circle patterns and convex polyhedra in hyperbolic 3-space

    math.GT 2025-11 unverdicted novelty 7.0

    Proves existence, rigidity, and uniformization for infinite regular circle patterns with 0≤Θ<π and for infinite trivalent hyperbolic polyhedra.

Reference graph

Works this paper leans on

38 extracted references · 38 canonical work pages · cited by 1 Pith paper

  1. [1]

    Alexandrov

    Alexandr D. Alexandrov. Convex polyhedra, volume 109. Springer, 2005

  2. [2]

    Harmonic functions and potentials on finite or infinite networks, volume 12 ofLecture Notes of the Unione Matematica Italiana

    Victor Anandam. Harmonic functions and potentials on finite or infinite networks, volume 12 ofLecture Notes of the Unione Matematica Italiana. Springer, Heidelberg; UMI, Bologna, 2011

  3. [3]

    E. M. Andreev. On convex polyhedra in lobaˇ cevski˘ ı spaces. Mathematics of the USSR-Sbornik, 10(3):413, 1970

  4. [4]

    E. M. Andreev. On convex polyhedra of finite volume in lobachevskii space. Matem- aticheskii Sbornik, 125(2):256–260, 1970

  5. [5]

    Bobenko, Ulrich Pinkall, and Boris A

    Alexander I. Bobenko, Ulrich Pinkall, and Boris A. Springborn. Discrete conformal maps and ideal hyperbolic polyhedra. Geom. Topol., 19(4):2155–2215, 2015

  6. [6]

    Bobenko and Boris A

    Alexander I. Bobenko and Boris A. Springborn. Variational principles for circle patterns and Koebe’s theorem. Trans. Amer. Math. Soc., 356(2):659–689, 2004

  7. [7]

    A course in metric geometry, volume 33 of Graduate Studies in Mathematics

    Dmitri Burago, Yuri Burago, and Sergei Ivanov. A course in metric geometry, volume 33 of Graduate Studies in Mathematics . American Mathematical Society, Providence, RI, 2001

  8. [8]

    James W. Cannon. The combinatorial Riemann mapping theorem. Acta Math. , 173(2):155–234, 1994

  9. [9]

    Weakly inscribed polyhedra

    Hao Chen and Jean-Marc Schlenker. Weakly inscribed polyhedra. Trans. Amer. Math. Soc., 9(14):415–449, 2022

  10. [10]

    The geometric data on the boundary of convex subsets of hyperbolic manifolds

    Qiyu Chen and Jean-Marc Schlenker. The geometric data on the boundary of convex subsets of hyperbolic manifolds. Trans. Amer. Math. Soc., 378(6):4225–4301, 2025. 42 Infinite ideal polyhedra in hyperbolic 3-space: existence and rigidity

  11. [11]

    Combinatorial Ricci flows on surfaces

    Bennett Chow and Feng Luo. Combinatorial Ricci flows on surfaces. J. Differential Geom., 63(1):97–129, 2003

  12. [12]

    Colin de Verdi` ere

    Y. Colin de Verdi` ere. Un principe variationnel pour les empilements de cercles. Invent. Math., 104(3):655–669, 1991

  13. [13]

    H. S. M. Coxeter. Self-dual configurations and regular graphs. Bull. Amer. Math. Soc., 56:413–455, 1950

  14. [14]

    Rigidity of the hexagonal Delaunay tri- angulated plane

    Song Dai, Huabin Ge, and Shiguang Ma. Rigidity of the hexagonal Delaunay tri- angulated plane. Peking Math. J. , 5(1):1–20, 2022

  15. [15]

    Rigidity of the Delaunay triangulations of the plane

    Song Dai and Tianqi Wu. Rigidity of the Delaunay triangulations of the plane. Adv. Math., 456:Paper No. 109910, 22, 2024

  16. [16]

    Polyhedra inscribed in a quadric

    Jeffrey Danciger, Sara Maloni, and Jean-Marc Schlenker. Polyhedra inscribed in a quadric. Invent. Math., 221(1):237–300, 2020

  17. [17]

    Hyper-ideal circle patterns with cone singularities

    Nikolay Dimitrov. Hyper-ideal circle patterns with cone singularities. Results Math., 68(3-4):455–499, 2015

  18. [18]

    Characterization of infinite ideal polyhedra in hyperbolic 3-space via combinatorial ricci flow

    Huabin Ge, Bobo Hua, Hao Yu, and Puchun Zhou. Characterization of infinite ideal polyhedra in hyperbolic 3-space via combinatorial ricci flow. arXiv:2506.05036, 2025

  19. [19]

    Combinatorial Ricci flows for ideal circle patterns

    Huabin Ge, Bobo Hua, and Ze Zhou. Combinatorial Ricci flows for ideal circle patterns. Adv. Math., 383:Paper No. 107698, 26, 2021

  20. [20]

    Gu and Shing-Tung Yau

    Xianfeng D. Gu and Shing-Tung Yau. Computational conformal geometry, volume 3 of Advanced Lectures in Mathematics (ALM). International Press, Somerville, MA; Higher Education Press, Beijing, 2008

  21. [21]

    On an elementary proof of Rivin’s characterization of convex ideal hyperbolic polyhedra by their dihedral angles

    Fran¸ cois 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

  22. [22]

    Rigidity of infinite disk patterns

    Zheng-Xu He. Rigidity of infinite disk patterns. Ann. of Math. (2) , 149(1):1–33, 1999

  23. [23]

    Hyperbolic and parabolic packings

    Zheng-Xu He and Oded Schramm. Hyperbolic and parabolic packings. Discrete Comput. Geom., 14(2):123–149, 1995

  24. [24]

    Graphs with nonnegative curvature outside a finite subset, harmonic functions, and number of ends

    Bobo Hua and Florentin M¨ unch. Graphs with nonnegative curvature outside a finite subset, harmonic functions, and number of ends. J. Lond. Math. Soc. (2) , 110(6):Paper No. e70034, 19, 2024

  25. [25]

    Characterizations of circle patterns and finite convex polyhedra in hyperbolic 3-space

    Xiaojun Huang and Jinsong Liu. Characterizations of circle patterns and finite convex polyhedra in hyperbolic 3-space. Math. Ann., 368(1-2):213–231, 2017. 43 Infinite ideal polyhedra in hyperbolic 3-space: existence and rigidity

  26. [26]

    The Koebe conjecture and the Weyl problem for convex surfaces in hyperbolic 3-space

    Feng Luo and Tianqi Wu. The Koebe conjecture and the Weyl problem for convex surfaces in hyperbolic 3-space. Adv. Math., 458:Paper No. 109969, 56, 2024

  27. [27]

    Euclidean structures on simplicial surfaces and hyperbolic volume

    Igor Rivin. Euclidean structures on simplicial surfaces and hyperbolic volume. Ann. of Math. (2) , 139(3):553–580, 1994

  28. [28]

    A characterization of ideal polyhedra in hyperbolic 3-space

    Igor Rivin. A characterization of ideal polyhedra in hyperbolic 3-space. Ann. of Math. (2), 143(1):51–70, 1996

  29. [29]

    Combinatorial optimization in geometry

    Igor Rivin. Combinatorial optimization in geometry. Adv. in Appl. Math. , 31(1):242–271, 2003

  30. [30]

    Igor Rivin and Craig D. Hodgson. A characterization of compact convex polyhedra in hyperbolic 3-space. Invent. Math., 111(1):77–111, 1993

  31. [31]

    The convergence of circle packings to the Riemann mapping

    Burt Rodin and Dennis Sullivan. The convergence of circle packings to the Riemann mapping. J. Differential Geom., 26(2):349–360, 1987

  32. [32]

    Des immersions isom´ etriques de surfaces aux vari´ et´ es hyper- boliques ` a bord convexe

    Jean-Marc Schlenker. Des immersions isom´ etriques de surfaces aux vari´ et´ es hyper- boliques ` a bord convexe. InS´ eminaire de Th´ eorie Spectrale et G´ eom´ etrie. Vol. 21. Ann´ ee 2002–2003, volume 21 of S´ emin. Th´ eor. Spectr. G´ eom., pages 165–216. Univ. Grenoble I, Saint-Martin-d’H` eres, 2003

  33. [33]

    Hyperideal circle patterns

    Jean-Marc Schlenker. Hyperideal circle patterns. Math. Res. Lett. , 12(1):85–102, 2005

  34. [34]

    Springborn

    Boris A. Springborn. A variational principle for weighted Delaunay triangulations and hyperideal polyhedra. J. Differential Geom., 78(2):333–367, 2008

  35. [35]

    Springborn

    Boris A. Springborn. Ideal hyperbolic polyhedra and discrete uniformization. Dis- crete Comput. Geom., 64(1):63–108, 2020

  36. [36]

    Introduction to circle packing

    Kenneth Stephenson. Introduction to circle packing. Cambridge University Press, Cambridge, 2005. The theory of discrete analytic functions

  37. [37]

    Thurston

    William P. Thurston. The geometry and topology of three-manifolds. http://www.msri.org/gt3m, 1980

  38. [38]

    Generalizing andreev’s theorem via circle patterns

    Ze Zhou. Generalizing andreev’s theorem via circle patterns. arXiv:2308.14386, 2023. Huabin Ge, hbge@ruc.edu.cn School of Mathematics, Renmin University of China, Beijing 100872, P. R. China. Hao Yu, b453@cnu.edu.cn Academy for multidisciplinary studies, Capital Normal University, Beijing, 100048, P. R. China. Puchun Zhou, pczhou22@m.fudan.edu.cn School o...