Pith. sign in

REVIEW 3 major objections 5 minor 1 cited by

The existence and uniqueness of infinite combinatorial Yamabe flows

T0 review · 3 major / 5 minor · reviewed 2026-08-06 · deepseek-v4-flash

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

Pith's one-line read This paper establishes short-time existence and uniqueness of the combinatorial Yamabe flow on infinite triangulated surfaces, long-time existence of an extended flow, and convergence to the regular metric on the hexagonal lattice.

desk verdict Solid existence and uniqueness theory for infinite combinatorial Yamabe flow; the hexagonal convergence theorem rests on two unsecured steps. read the letter →

arxiv 2507.12355 v1 pith:Z3UIHNEH submitted 2025-07-16 math.DG

Bohao Ji This is my paper · ORCID
classification math.DG MSC 53C4452C2635K55
keywords combinatorialYamabeflowdiscreteconformalgeometryinfinitetriangulationnoncompactsurfaceshexagonalPLmetriccurvaturesemilinearparabolicequation
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

The paper proves that the combinatorial Yamabe flow, a discrete analogue of the Ricci flow for piecewise-linear metrics, admits solutions on infinite noncompact triangulated surfaces under natural geometric hypotheses. Specifically, it shows short-time existence and uniqueness when the initial metric is uniformly nondegenerate and uniformly Delaunay, and it proves that an extended version of the flow, which permits degenerate triangles, exists for all time. As an application, it shows that on the infinite hexagonal triangulation of the plane, any initial conformal factor with sufficiently small $\ell^2$ norm flows to the regular flat metric. This gives the first existence, uniqueness, and convergence results for the discrete Yamabe flow on noncompact triangulated surfaces.

What carries the argument

The main mechanism is an exhaustion argument: the flow is solved on finite subcomplexes with boundary conditions, uniform bounds on curvature and on the cotangent-weighted Laplacian give the needed C1 or C2 compactness, and a diagonal Arzela-Ascoli limit produces the infinite solution. The curvature evolution equation dKi/dt = Δ_μ(t) Ki converts the flow into a discrete nonlinear heat equation, and a maximum principle for such equations yields uniqueness. For the hexagonal lattice, the angle function G is expanded in Taylor series around the regular triangle, rewriting the flow as a semilinear parabolic equation ui' - Δ_c ui = F(Du)(i) with a quadratic error term; an energy inequality then forces the Dirichlet energy to zero, giving convergence.

What would settle it

Numerically integrate the flow (1.5) on a large finite hexagonal patch with an initial conformal factor phi whose $\ell^2$ norm is below the paper's epsilon0 but chosen so that the linearized energy increases initially; then check whether the dissipation inequality d/dt ||u||^2_l2 + ($\sqrt$(3)/3) E(u) ≤ 0 from (3.14) holds at all times. A violation, or a solution whose Dirichlet energy E(u(t)) does not tend to zero, would disprove Theorem 1.4.

Watch

Extended reading notes

Core claim

The central discovery is that the combinatorial Yamabe flow (1.3) has a smooth solution on a time interval [0,T0(epsilon,M)) for any infinite triangulation with vertex degree bounded by M, provided the initial PL metric is uniformly nondegenerate and uniformly Delaunay (Theorem 1.1). The extended flow (1.4), defined through a continuous extension of inner angles to degenerate triangles, has a global C1 solution for all time t≥0 (Theorem 1.2). Uniqueness holds whenever the linear interpolation of two solutions stays uniformly Delaunay (Theorem 1.3). Finally, on the hexagonal triangulation with the regular metric as background, the flow starting from any conformal factor with $\ell^2$ norm below a universal constant converges to the regular metric (Theorem 1.4).

Load-bearing premise

The convergence theorem rests on an imported lemma from an unpublished preprint asserting local existence and an energy-dissipation inequality for the semilinear equation on the hexagonal lattice; if that lemma has hidden hypotheses or fails, the convergence result is unsupported.

Editorial extensions

If this is right

  • The flow (1.3) can be run for a definite positive time on every infinite triangulation with bounded degree whose initial PL metric is uniformly nondegenerate and uniformly Delaunay.
  • Two solutions that stay uniformly Delaunay along their linear interpolation must coincide, so the flow is unique in that regime.
  • The extended flow runs for all time even when triangles degenerate, though uniqueness for the extended flow is left open.
  • On the hexagonal triangulation, every conformal factor with l2 norm below a universal threshold flows to the regular flat metric.

Reading between the lines

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

  • If the imported lemma holds, the hexagonal convergence result applies to any l2-small perturbation, not just pointwise small ones, indicating genuinely parabolic behaviour of the discrete flow.
  • The method suggests a route to convergence results on other periodic Delaunay triangulations of the plane, where the same Taylor-expansion trick applies around the regular metric.
  • The dependence of Theorem 1.4 on an unpublished preprint means the convergence theorem is conditional; a self-contained proof of the energy inequality (3.14) would remove that condition.
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

3 major / 5 minor

Summary. The paper studies the combinatorial Yamabe flow (1.3) on infinite triangulated surfaces in Euclidean background geometry. Under the assumptions that the triangulation has bounded vertex degree and the initial PL metric is uniformly nondegenerate and uniformly Delaunay, Theorem 1.1 establishes short-time existence on [0,T0) with T0 depending only on the nondegeneracy/Delaunay constant epsilon and the degree bound M. Theorem 1.2 proves global existence of a C^1 solution for an extended flow that allows generalized triangles. Theorem 1.3 proves uniqueness of solutions on [0,T] provided the linear interpolation of the two solutions remains uniformly Delaunay. As an application, Theorem 1.4 claims that on the hexagonal triangulation of the plane, the flow starting from any l2-small conformal factor converges to the regular metric.

Significance. If valid, Theorems 1.1–1.3 constitute the first existence, long-time existence of the extended flow, and uniqueness results for the combinatorial Yamabe flow on infinite noncompact triangulated surfaces. The proofs of these theorems are largely self-contained and use transparent ODE/diagonal arguments and a discrete maximum principle. Theorem 1.4 would be a natural first convergence result on a noncompact lattice, but its proof rests on an unproved external lemma and contains several invalid inference steps, so the convergence result is not established in the present manuscript.

major comments (3)
  1. [Section 3, Lemma 3.4] Lemma 3.4, which supplies local existence and the energy inequality (3.14) for the semilinear equation (3.13), is imported verbatim from the unpublished preprint [20] with no proof and no verification that the hypotheses of Theorem 5.4 in [20] are satisfied in the present setting. Since Theorem 1.4's local existence rests entirely on this lemma, the convergence result is not independently supported; the author should either provide a complete proof of Lemma 3.4 or cite a published version with explicit, checkable hypotheses.
  2. [Section 3, proof of Theorem 1.4] The proof claims that because ||phi||_{l2} < epsilon_0 and the solution satisfies sup_t ||u(t)||_{l2} <= epsilon_0, the metric u(t)*d satisfies the angle bounds (3.15) and (3.16). This inference is invalid: the bounds (3.15),(3.16) were obtained in the preceding paragraph under an l-infinity closeness assumption ||u-phi||_{l-infinity} <= 2 epsilon_1, and an l2 bound does not control the l-infinity norm on the hexagonal lattice. Without an l-infinity estimate for the solution, the restarting argument and the preservation of the uniform Delaunay property are not justified.
  3. [Section 3, proof of Theorem 1.4, final paragraph] From (3.14) the paper concludes integral_0^infty E(u(t)) dt < infinity and then asserts E(u(t)) -> 0 as t -> infinity. For a nonnegative integrable function this implication is false in general; one needs additional regularity of E(t), such as Lipschitz continuity, which is not established. Moreover, even if E(u(t)) -> 0, this only indicates that u(t) becomes asymptotically constant in the Dirichlet sense; because the flow is invariant under adding a constant to u, it does not imply convergence to the specific regular metric u ≡ 0. The assertion that u(t) ∗ d converges to the regular metric therefore requires a specified topology and a normalization argument, neither of which is provided.
minor comments (5)
  1. [Definitions 1.2 and Theorem 1.3] There are typos: 'dicrete' in Definition 1.2 should be 'discrete', and 'bouneded' in Theorem 1.3 should be 'bounded'.
  2. [Proof of Theorem 1.2] The phrase 'Arzela-Ascoli theorm' should be 'Arzela-Ascoli theorem'.
  3. [Lemma 3.3] In condition (3.8), the quantifier '∀(j,t) ∈ V × [0,T]' should range over (i,t) rather than (j,t), since the sum is taken over neighbors j ~ i.
  4. [Proof of Theorem 1.1] The norm notation ||u[i]_j(t)||_{C^2[0,T0)} is used without a definition; please clarify that it is the usual C^2 norm on the time interval [0,T0).
  5. [References] Reference [20] is an unpublished preprint; please update to a published version or include a permanent identifier such as an arXiv number.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the main theorems are proven from finite-dimensional ODE compactness arguments and external PDE results, not from their own conclusions.

full rationale

The paper's derivation chain is self-contained relative to its stated assumptions. Theorem 1.1 uses Lemma 3.1, an elementary geometry estimate, to control finite triangulation approximations and then passes to the limit by Arzela-Ascoli; no fitted parameter or target quantity is built into the argument. Theorem 1.2 similarly uses finite-dimensional Peano existence and a weak-derivative regularity lemma, both independently supplied. Theorem 1.3 proves its discrete maximum principle (Lemma 3.3) in the text rather than importing it, and the uniqueness claim follows by applying that proven principle to the difference of two solutions. Theorem 1.4 is the only place where a nontrivial external result is used: Lemma 3.4 is imported from Ge-Hua-Zhou [20], an unpublished preprint. This is an external dependency, not a circularity, because the present author is not an author of [20], the lemma is cited as prior work, and the energy inequality (3.14) is not derived by fitting the convergence conclusion. The final inference from integrability of E(u(t)) to E(u(t)) -> 0 is mathematically under-justified in the text, but that is a correctness gap, not a circular reduction. No equation in the paper is defined in terms of its target result, and no 'prediction' is equivalent by construction to an input.

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

The paper's results rest on three kinds of input: stated geometric hypotheses (uniform nondegeneracy, uniform Delaunay, bounded degree), standard analytic tools, and one imported technical lemma from a recent preprint [20]. No free parameters are fitted. The most fragile input is Lemma 3.4, since it is not proved in this paper.

assumptions (6)
  • domain assumption The initial PL metric is uniformly nondegenerate and uniformly Delaunay (Definition 1.3).
    Required by Theorems 1.1 and 1.3; these are geometric hypotheses, not derived from the setup.
  • domain assumption The vertex degree is bounded by a uniform constant M (Theorems 1.1 and 1.3).
    Used to bound curvature by (2+M)pi and to control the weighted degree sum in the maximum principle.
  • domain assumption The extended angle map tilde_theta in Definition 2.1 is the correct continuous extension of Euclidean angles to degenerate triangles.
    The extension follows Luo [22] and is used to define the extended flow; the paper checks continuity.
  • domain assumption Lemma 3.4: local well-posedness and the energy dissipation inequality for the semilinear heat equation on the hexagonal lattice, cited from Ge-Hua-Zhou [20].
    Imported without proof; this is the main external input for Theorem 1.4 and is not yet peer-reviewed.
  • domain assumption The pairwise uniform Delaunay interpolation condition in Theorem 1.3.
    An explicit hypothesis of the uniqueness theorem, not established for arbitrary pairs of solutions.
  • standard math Standard facts: Peano existence theorem, Arzela-Ascoli theorem, dominated convergence, and Evans Lemma 3.2 for weak differentiability.
    Routine background used in the compactness arguments.

how reviews work

0 comments
Cite this review

Pith. "Pith review of The existence and uniqueness of infinite combinatorial Yamabe flows." pith.science (2026). https://pith.science/paper/Z3UIHNEH

@misc{pith2026250712355,
  author       = {Pith},
  title        = {Pith review of: The existence and uniqueness of infinite combinatorial Yamabe flows},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/Z3UIHNEH}},
  note         = {Machine review of arXiv:2507.12355}
}
read the original abstract

In this paper, we study the combinatorial Yamabe flow on infinite triangulated surfaces in Euclidean background geometry, aiming for solving discrete Yamabe problem on noncompact surfaces. Under suitable conditions, we establish the short-time existence and uniqueness of the flow. We further introduce an extended version of the flow and prove its long-time existence. As an application, we prove the convergence result of the Yamabe flow in the case of hexagonal triangulations of the plane.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

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

  1. Infinite Combinatorial Yamabe Flows in Three Dimensions

    math.DG 2026-07 accept novelty 6.0 of 10

    Under bounded degree and non-degeneracy, original 3D combinatorial Yamabe flows on infinite triangulations exist uniquely for short time; extended solid-angle flows exist globally.

Reference graph

Works this paper leans on

24 extracted references · 21 canonical work pages · cited by 1 Pith paper

  1. [20]

    Combinatorial ricci flows on infinite disk triangulations, 2025

    Huabin Ge, Bobo Hua, and Puchun Zhou. Combinatorial ricci flows on infinite disk triangulations, 2025. arXiv:2504.05817

    arXiv 2025

  2. [1]

    On a deformation of Riemannian structures on com- pact manifolds

    Hidehiko Yamabe. On a deformation of Riemannian structures on com- pact manifolds. Osaka Math. J. , 12:21–37, 1960

    work page 1960

  3. [2]

    Conformal deformation of a Riemannian metric to constant scalar curvature

    Richard Schoen. Conformal deformation of a Riemannian metric to constant scalar curvature. J. Differential Geom. , 20(2):479–495, 1984

    work page 1984

  4. [3]

    Combinatorial Yamabe flow on surfaces

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

    work page 2004

  5. [4]

    Flows of piecewise analytic vector fields in convex polytope decompositions

    Tianqi Wu. Flows of piecewise analytic vector fields in convex polytope decompositions, 2023. arXiv:2312.01698. 15

    work page Pith review arXiv 2023

  6. [5]

    On the deformation of discrete con- formal factors on surfaces

    Huabin Ge and Wenshuai Jiang. On the deformation of discrete con- formal factors on surfaces. Calc. Var. Partial Differential Equations , 55(6):Art. 136, 14, 2016

    work page 2016

  7. [6]

    Bobenko, Ulrich Pinkall, and Boris A

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

    work page 2015

  8. [7]

    A discrete uniformization theorem for polyhedral surfaces

    Xianfeng David Gu, Feng Luo, Jian Sun, and Tianqi Wu. A discrete uniformization theorem for polyhedral surfaces. J. Differential Geom. , 109(2):223–256, 2018

    work page 2018

Show all 24 references
  1. [8]

    A discrete uniformization theorem for polyhedral surfaces II

    Xianfeng Gu, Ren Guo, Feng Luo, Jian Sun, and Tianqi Wu. A discrete uniformization theorem for polyhedral surfaces II. J. Differential Geom., 109(3):431–466, 2018

    2018

  2. [9]

    Discrete conformal geometry of polyhedral surfaces and its convergence

    Feng Luo, Jian Sun, and Tianqi Wu. Discrete conformal geometry of polyhedral surfaces and its convergence. Geom. Topol., 26(3):937–987, 2022

    2022

  3. [10]

    Polyhedral hyperbolic metrics on surfaces

    Fran¸cois Fillastre. Polyhedral hyperbolic metrics on surfaces. Geom. Dedicata, 134:177–196, 2008

    2008

  4. [11]

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

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

    2011

  5. [12]

    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

    1987

  6. [13]

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

    1995

  7. [14]

    Rigidity of infinite disk patterns

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

    1999

  8. [15]

    Rigidity of infinite hexagonal triangulation of the plane

    Tianqi Wu, Xianfeng Gu, and Jian Sun. Rigidity of infinite hexagonal triangulation of the plane. Trans. Amer. Math. Soc., 367(9):6539–6555, 2015

    2015

  9. [16]

    Rigidity of the hexagonal Delaunay triangulated plane

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

    2022

  10. [17]

    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

    2024

  11. [18]

    The rigidity of doyle circle packings on the infinite hexagonal triangulation, 2024

    Bobo Hua and Puchun Zhou. The rigidity of doyle circle packings on the infinite hexagonal triangulation, 2024. arXiv:2404.11258

    2024 arXiv

  12. [19]

    Rigidity of circle packings with crosscuts

    David Krieg and Elias Wegert. Rigidity of circle packings with crosscuts. Beitr. Algebra Geom., 57(1):1–36, 2016

    2016

  13. [21]

    Combinatorial Ricci flows on surfaces

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

    2003

  14. [22]

    Rigidity of polyhedral surfaces, III

    Feng Luo. Rigidity of polyhedral surfaces, III. Geom. Topol., 15(4):2299– 2319, 2011

    2011

  15. [23]

    Lawrence C. Evans. Partial differential equations, volume 19 ofGraduate Studies in Mathematics . American Mathematical Society, Providence, RI, 1998

    1998

  16. [24]

    Computational conformal ge- ometry, volume 3 of Advanced Lectures in Mathematics (ALM)

    Xianfeng David Gu and Shing-Tung Yau. Computational conformal ge- ometry, volume 3 of Advanced Lectures in Mathematics (ALM) . Inter- national Press, Somerville, MA; Higher Education Press, Beijing, 2008. With 1 CD-ROM (Windows, Macintosh and Linux). Bohao Ji, bhji24@m.fudan.e...

    2008

Pith tools

Reviewed August 6, 2026 · model on record in the stance chip above.