Pith. sign in

REVIEW 6 minor 29 references

Infinite Combinatorial Yamabe Flows in Three Dimensions

T0 review · 0 major / 6 minor · reviewed 2026-07-30 · grok-4.5

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read Combinatorial Yamabe flow on infinite 3D triangulations exists for short time, and extended solid-angle flows run forever.

desk verdict Solid infinite-3D well-posedness for combinatorial Yamabe flows; real step past the finite theory, with uniqueness still conditional on non-degeneracy of interpolants. read the letter →

arxiv 2607.23584 v1 pith:QXYEN66Q submitted 2026-07-26 math.DG math.GT

Bohao Ji This is my paper · ORCID
classification math.DGmath.GT MSC 53C4452C2557Q1535K55
keywords combinatorialYamabeflowball-packingmetricssolid-angleextensioninfinitetriangulationsEuclideanbackgroundgeometryhyperbolicmaximumprincipleongraphs
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

This paper takes the discrete Yamabe flow—an evolution of vertex radii that tries to drive solid-angle defects toward constant curvature—and shows it can be run on infinite, locally finite 3-manifold triangulations, not only finite ones. In both Euclidean and hyperbolic background geometries, if the triangulation has bounded degree and the initial ball-packing metric sits in a uniform real neighborhood, the original flow exists and is unique for a short positive time. When tetrahedra degenerate, the author replaces ordinary solid angles by their continuous extensions (2π at a dominant vertex, 0 at the others) and proves that the resulting extended flows exist for all time: globally for every positive Euclidean initial metric, and globally for hyperbolic metrics with uniformly bounded initial radii on bounded-degree triangulations. A sympathetic reader cares because this supplies the basic well-posedness needed before one can ask about long-time convergence, discrete uniformization, or curvature prescription on noncompact 3-complexes.

What carries the argument

The continuous extension of solid angles to virtual tetrahedra (2π at the unique dominant vertex, 0 elsewhere) together with finite Dirichlet exhaustion plus an infinite-graph maximum principle; these turn local ODE theory and dual-area curvature evolution into global C1 solutions on the infinite vertex set.

What would settle it

Exhibit two distinct short-time solutions of the original Euclidean flow whose logarithmic interpolations all satisfy strong non-degeneracy II, or a bounded-degree hyperbolic example with bounded initial radii whose extended flow blows up or ceases to be C1 in finite time.

Watch

Extended reading notes

Core claim

On a locally finite triangulation of bounded degree, a real-neighborhood assumption on the initial ball-packing metric yields short-time existence and uniqueness of the original Euclidean and hyperbolic combinatorial Yamabe flows; continuous extension of solid angles then produces globally defined extended flows for all positive Euclidean data and for hyperbolic data with bounded initial radii.

Load-bearing premise

Uniqueness needs every interpolated metric between two candidate solutions to stay uniformly non-degenerate for the whole time interval—an a-priori restriction on the solution class that is assumed rather than proved to follow from the flow.

Editorial extensions

If this is right

  • Short-time original flows are now available as a well-posed starting point on infinite 3D triangulations of bounded degree.
  • Extended Euclidean flows exist for every positive initial metric, so degeneration of tetrahedra no longer stops the evolution.
  • Extended hyperbolic flows exist globally whenever initial radii are uniformly bounded and degree is bounded.
  • Curvature evolution reduces to a weighted graph Laplacian (plus a lower-order term in hyperbolic geometry), opening maximum-principle arguments on infinite graphs.
  • The same exhaustion-plus-extension pattern can be reused for other discrete curvature flows on infinite 3-complexes.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • Global existence of the extended flows is only the first half of a discrete uniformization program; convergence or asymptotic shape of the metric is left open and would be the natural next target.
  • If the a-priori interpolation non-degeneracy can be verified along the flow itself, uniqueness would upgrade from conditional to unconditional on the natural solution class.
  • The large-radius estimate that keeps hyperbolic extended solid angles small may also control diameter growth and thereby feed into future compactness or convergence arguments.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

0 major / 6 minor

Summary. The manuscript studies Euclidean and hyperbolic three-dimensional combinatorial Yamabe flows on locally finite infinite triangulations. Using finite Dirichlet exhaustions, local curvature estimates, and Arzelà–Ascoli compactness, it proves short-time existence of the original flows under uniform real-neighborhood assumptions on the initial ball-packing metric (Theorem 1.2). Uniqueness is proved for pairs of solutions whose logarithmic or \(w\)-interpolations satisfy uniform strong non-degeneracy conditions, via curvature-evolution formulas and an infinite-graph maximum principle (Theorem 1.3). Finally, continuously extended solid angles are used to construct global extended flows: for arbitrary positive Euclidean initial data, and for bounded hyperbolic initial radii on bounded-degree triangulations (Theorem 1.4).

Significance. This is a useful extension of the finite-triangulation theory of Cooper–Rivin, Glickenstein, Ge–Jiang–Shen, and Ge–Hua to locally finite infinite complexes. The paper supplies a basic well-posedness framework in a genuinely noncompact discrete setting and proves global existence for the extended flows, including arbitrary positive initial data in the Euclidean case. Its strengths are the explicit non-degeneracy hypotheses, self-contained derivations of the Schlaefli identities and curvature evolution, detailed finite-exhaustion estimates, and a clearly stated infinite-graph maximum principle. The arguments introduce no fitted parameters or circular reductions. The main limitation is that uniqueness of the original flows is conditional on non-degeneracy along the entire interpolation between two competitors, rather than being derived from the initial-data hypotheses of Theorem 1.2.

minor comments (6)
  1. [Lemma 2.2] As stated, the first implication is missing the assumption that f(0)\le 0. For example, f\equiv 1 with h=0 satisfies the displayed differential inequality and all boundedness hypotheses but not the conclusion. The proof and the uniqueness applications use f(0)=0, so adding the initial condition repairs the statement.
  2. [Theorem 1.3 and abstract] The interpolation hypotheses in Theorem 1.3 are assumptions on the class of competing solutions, not consequences of Theorem 1.2. This is transparent in the theorem but less so in the abstract and introduction. Please state explicitly that uniqueness is proved among solution pairs whose entire logarithmic or w-interpolation remains uniformly non-degenerate, or derive that property for a stated short time.
  3. [Section 3.1, after Proposition 3.3] The term “circumscripted sphere” is defined here as a sphere tangent to all six edges. In standard usage a circumsphere passes through the vertices; “midsphere” or “interscripted sphere” would be less ambiguous. Please align the terminology with Glickenstein's usage or keep the definition prominently displayed.
  4. [Proof of Theorem 1.3(2)] The symbol q_i is already used for graph degree, while q_i(t) denotes the zeroth-order coefficient in the hyperbolic uniqueness equation. Renaming the latter, for example b_i(t), would avoid confusion.
  5. [Definition 1.1] The phrase “for every ordered tetrahedron {i,j,k,l}” mixes ordered and set notation. It would be clearer to say “for every tetrahedron and every choice of distinguished vertex i.” The same clarification applies to the hyperbolic condition.
  6. [Lemma 5.1] Lemma 5.1 is elementary and load-bearing for identifying the C^1 limit. The citation to Evans, Section 5.8, is somewhat indirect; either give a precise statement/page reference or include the short du Bois–Reymond/Fundamental Lemma argument.

Circularity Check

1 steps flagged · score 1.0 of 10

No significant circularity: existence/uniqueness proofs are self-contained ODE/exhaustion arguments; self-citations supply standard tools, not the conclusions.

  1. self citation load bearing [§3.2 Proof of Theorem 1.2(1); also §5 and [29]]
    "Following the finite Dirichlet approximation for infinite combinatorial Yamabe flows [29], choose an exhaustion V_1 ⊂ V_2 ⊂ ⋯ ⊂ T_0 by finite vertex sets..."

    The exhaustion/Dirichlet scheme is referenced to the author’s own prior note [29]. This is methodological self-citation, not a circular derivation: the paper still proves the 3D coefficient bounds, reality retention, and C1 limit independently. Not load-bearing for the theorems; recorded only as minor self-reference.

full rationale

This is a pure well-posedness paper. Short-time existence is obtained by finite Dirichlet exhaustion, uniform C2 bounds from the elementary curvature estimate |K_i|≤C_M, and Arzelà–Ascoli passage to the limit; uniqueness reduces the difference of two solutions to a linear parabolic equation on the infinite graph and applies a maximum principle proved in-paper (Lemma 2.2). Extended long-time existence uses Peano on finite problems plus a priori Lipschitz bounds and the continuous extension of solid angles. Those extensions and dual-area formulae are imported from the literature ([17],[23],[24]) as definitions/tools, not as restated conclusions. The author’s prior exhaustion template [29] is cited only as methodological precedent; the 3D estimates and limits are written out here. Uniqueness hypotheses (strong non-degeneracy II on logarithmic interpolants; r* lower bound in hyperbolic) are explicit a priori restrictions on the solution class, not quantities fitted from the claim. Nothing reduces by construction to its inputs. Score 1 only for routine self-citation of the exhaustion pattern, which is not load-bearing.

Assumptions & free parameters 0 free parameters · 7 assumptions · 0 invented entities

The work sits on standard discrete differential geometry plus several domain hypotheses that keep tetrahedra real or control degrees. Continuous extensions of solid angles and several derivative identities are taken from prior papers. No free parameters are fitted; the free structure is geometric assumptions on the triangulation and initial metric.

assumptions (7)
  • domain assumption Locally finite triangulation of a 3-manifold without boundary, with bounded graph degree (sup q_i < ∞), which implies uniform bound d_i ≤ binom(M,3).
    Used throughout Theorems 1.2–1.4 and Lemmas 2.1, 3.5, 4.3 for uniform curvature and weight bounds.
  • domain assumption Euclidean/hyperbolic strong non-degeneracy conditions I/II on ball-packing metrics (margin inequalities on x_a or c_a) imply reality of tetrahedra and control signs/bounds of dual-area weights μ_ij.
    Definition 1.1; Propositions 3.1, 3.4, 4.1 and Lemmas 3.5, 4.3. Load-bearing for short-time theory and uniqueness.
  • domain assumption Continuous extension of solid angles to virtual tetrahedra (dominant vertex gets 2π, others 0) as constructed in Ge–Jiang–Shen and Ge–Hua.
    Section 2.2 and Theorem 1.4; extended curvature eK is defined via this extension without re-deriving continuity here.
  • standard math Infinite-graph maximum principle for bounded solutions of f' ≤ Δf + h f under bounded weighted degree (Lemma 2.2), in the style of Ge–Hua–Zhou.
    Applied to uniqueness of both Euclidean and hyperbolic original flows.
  • standard math Schläfli-type identities and dual-area formulas for solid-angle derivatives in Euclidean and hyperbolic ball packings (Glickenstein; Ge–Hua).
    Lemma 3.2, Propositions 3.3–3.4, 4.2; used to obtain curvature evolution and weight signs.
  • domain assumption Large-radius estimate for extended hyperbolic solid angles (Lemma 5.2, from Ge–Hua): if one radius dominates and is large, its extended solid angle is arbitrarily small.
    Used in Proposition 5.3 to prevent blow-up of finite hyperbolic Dirichlet approximations.
  • ad hoc to paper Initial metric lies in a real ℓ^∞-neighborhood (Euclidean) or real w-neighborhood with w_i + v_i < 0 (hyperbolic) so short-time trajectories stay real.
    Hypothesis of Theorem 1.2; necessary for the original flow to be defined classically on a positive time interval.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Infinite Combinatorial Yamabe Flows in Three Dimensions." pith.science (2026). https://pith.science/paper/QXYEN66Q

@misc{pith2026260723584,
  author       = {Pith},
  title        = {Pith review of: Infinite Combinatorial Yamabe Flows in Three Dimensions},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/QXYEN66Q}},
  note         = {Machine review of arXiv:2607.23584}
}
read the original abstract

In this paper, we study three-dimensional combinatorial Yamabe flows on locally finite infinite triangulations in Euclidean and hyperbolic background geometries. Under suitable non-degeneracy and bounded-degree assumptions, we establish the short-time existence and uniqueness of the original flows. We further introduce the extended flows by using the continuous extension of solid angles, and prove long-time existence for both extended flows under suitable initial assumptions.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

29 extracted references · 3 linked inside Pith

  1. [1]

    Yamabe, On a deformation of Riemannian structures on compact manifolds, Osaka Math

    H. Yamabe, On a deformation of Riemannian structures on compact manifolds, Osaka Math. J.12 (1960), 21–37

    1960

  2. [2]

    Schoen, Conformal deformation of a Riemannian metric to constant scalar cur- vature,J

    R. Schoen, Conformal deformation of a Riemannian metric to constant scalar cur- vature,J. Differential Geom.20 (1984), no. 2, 479–495

    1984

  3. [3]

    L. C. Evans,Partial Differential Equations, second edition, Graduate Studies in Mathematics 19, American Mathematical Society, Providence, RI, 2010

    2010

  4. [4]

    R. S. Hamilton, The Ricci flow on surfaces, inMathematics and general relativity (Santa Cruz, CA, 1986), Contemp. Math. 71, Amer. Math. Soc., Providence, RI, 1988, 237–262

    1986

  5. [5]

    W. P. Thurston,The geometry and topology of three-manifolds, Princeton University lecture notes, 1980

    1980

  6. [6]

    Rodin and D

    B. Rodin and D. Sullivan, The convergence of circle packings to the Riemann map- ping,J. Differential Geom.26 (1987), no. 2, 349–360

    1987

  7. [7]

    He and O

    Z.-X. He and O. Schramm, Hyperbolic and parabolic packings,Discrete Comput. Geom.14 (1995), no. 2, 123–149. 24

    1995

  8. [8]

    He, Rigidity of infinite disk patterns,Ann

    Z.-X. He, Rigidity of infinite disk patterns,Ann. of Math. (2)149 (1999), no. 1, 1–33

    1999

Show all 29 references
  1. [9]

    Colin de Verdi` ere, Un principe variationnel pour les empilements de cercles,In- vent

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

    1991

  2. [10]

    Chow and F

    B. Chow and F. Luo, Combinatorial Ricci flows on surfaces,J. Differential Geom. 63 (2003), no. 1, 97–129

    2003

  3. [11]

    Luo, Combinatorial Yamabe flow on surfaces,Commun

    F. Luo, Combinatorial Yamabe flow on surfaces,Commun. Contemp. Math.6 (2004), no. 5, 765–780

    2004

  4. [12]

    A. I. Bobenko, U. Pinkall, and B. A. Springborn, Discrete conformal maps and ideal hyperbolic polyhedra,Geom. Topol.19 (2015), no. 4, 2155–2215

    2015

  5. [13]

    X. D. Gu, F. Luo, J. Sun, and T. Wu, A discrete uniformization theorem for poly- hedral surfaces,J. Differential Geom.109 (2018), no. 2, 223–256

    2018

  6. [14]

    X. Gu, R. Guo, F. Luo, J. Sun, and T. Wu, A discrete uniformization theorem for polyhedral surfaces II,J. Differential Geom.109 (2018), no. 3, 431–466

    2018

  7. [15]

    F. Luo, J. Sun, and T. Wu, Discrete conformal geometry of polyhedral surfaces and its convergence,Geom. Topol.26 (2022), no. 3, 937–987

    2022

  8. [16]

    Cooper and I

    D. Cooper and I. Rivin, Combinatorial scalar curvature and rigidity of ball packings, Math. Res. Lett.3 (1996), no. 1, 51–60

    1996

  9. [17]

    Glickenstein, A combinatorial Yamabe flow in three dimensions,Topology44 (2005), no

    D. Glickenstein, A combinatorial Yamabe flow in three dimensions,Topology44 (2005), no. 4, 791–808

    2005

  10. [18]

    Glickenstein, Discrete conformal variations and scalar curvature on piecewise flat two- and three-dimensional manifolds,J

    D. Glickenstein, Discrete conformal variations and scalar curvature on piecewise flat two- and three-dimensional manifolds,J. Differential Geom.87 (2011), no. 2, 201– 237

    2011

  11. [19]

    Ge and X

    H. Ge and X. Xu, Discrete quasi-Einstein metrics and combinatorial curvature flows in 3-dimension,Adv. Math.267 (2014), 470–497

    2014

  12. [20]

    Ge and X

    H. Ge and X. Xu, A combinatorial Yamabe problem on two and three dimensional manifolds,Calc. Var. Partial Differential Equations60 (2021), no. 1, Paper No. 20

    2021

  13. [21]

    Xu, On the global rigidity of sphere packings on 3-dimensional manifolds,J

    X. Xu, On the global rigidity of sphere packings on 3-dimensional manifolds,J. Differential Geom.115 (2020), no. 1, 175–193

    2020

  14. [22]

    Ge and W

    H. Ge and W. Jiang, On the deformation of discrete conformal factors on surfaces, Calc. Var. Partial Differential Equations55 (2016), no. 6, Art. 136

    2016

  15. [23]

    H. Ge, W. Jiang and L. Shen, On the deformation of ball packings,Adv. Math.398 (2022), Paper No. 108192

    2022

  16. [24]

    Ge and B

    H. Ge and B. Hua, 3-dimensional combinatorial Yamabe flow in hyperbolic back- ground geometry,Trans. Amer. Math. Soc.373 (2020), no. 7, 5111–5140

    2020

  17. [25]

    S. Dai, H. Ge, and S. Ma, Rigidity of the hexagonal Delaunay triangulated plane, Peking Math. J.5 (2022), no. 1, 1–20. 25

    2022

  18. [26]

    Dai and T

    S. Dai and T. Wu, Rigidity of the Delaunay triangulations of the plane,Adv. Math. 456 (2024), Paper No. 109910

    2024

  19. [27]

    Hua and P

    B. Hua and P. Zhou, The rigidity of Doyle circle packings on the infinite hexagonal triangulation, arXiv preprint arXiv:2404.11258

    arXiv

  20. [28]

    H. Ge, B. Hua, and P. Zhou, Combinatorial Ricci flows on infinite disk triangulations, arXiv preprint arXiv:2504.05817

    arXiv

  21. [29]

    Ji, The existence and uniqueness of infinite combinatorial Yamabe flows, arXiv preprint arXiv:2507.12355

    B. Ji, The existence and uniqueness of infinite combinatorial Yamabe flows, arXiv preprint arXiv:2507.12355. 26

    arXiv

Pith tools

Reviewed July 30, 2026 · model on record in the stance chip above.