Pith. sign in

REVIEW 2 major objections 5 minor 2 cited by

Infinite combinatorial Ricci flow in spherical background geometry

T0 review · 2 major / 5 minor · reviewed 2026-08-15 · deepseek-v4-flash

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

Pith's one-line read This paper proves that the combinatorial Ricci flow in spherical background geometry exists for all time on infinite locally finite cellular decompositions, and converges to prescribed total geodesic curvatures under a comparison…

desk verdict First infinite spherical combinatorial Ricci flow with a solid existence proof; the convergence proof has a real but likely repairable gap in the maximum principle application. read the letter →

arxiv 2505.05925 v2 pith:743QGKDO submitted 2025-05-09 math.GT math.DG

Chang Li , Yangxiang Lu , Hao Yu This is my paper · ORCID
classification math.GTmath.DG MSC 52C2653C44
keywords combinatorialRicciflowcirclepatternssphericalbackgroundgeometrytotalgeodesiccurvatureinfinitecellulardecompositionmaximumprincipleglobalexistenceconvergence
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 establishes global existence and, under an extra comparison condition, convergence for the combinatorial Ricci flow with prescribed total geodesic curvatures on infinite surfaces in spherical background geometry. The vertex set is infinite, so the usual Picard-Lindelof existence theory does not apply; the authors instead approximate the infinite cellular decomposition by an increasing sequence of finite subcomplexes, solve the flow on each, and extract a limit solution by a diagonal subsequence argument. The convergence result follows from a maximum principle on infinite graphs applied to the difference between current and target total geodesic curvature. Because prior infinite circle-pattern results were confined to Euclidean and hyperbolic geometry, this is the first such flow theorem in spherical background geometry.

What carries the argument

The load-bearing mechanism is the sign and symmetry structure of the edge-wise total geodesic curvature $T(e,v)$. For an edge $e=\{v_i,v_j\}$, Lemma 2.1 gives $\partial T(e,v_i)/\partial u_j = \partial T(e,v_j)/\partial u_i$, with mixed derivatives negative and the sum derivative positive. This turns the flow into a gradient-like system for the convex potential $E(u)=\sum_e E_e(u_i,u_j)-\sum_v\hat{T}_v u_v$, and, when $T\ge\hat{T}$, makes the difference $f_i=T_i-\hat{T}_i$ satisfy a parabolic inequality $df_i/dt=\Delta_\omega f_i + g_i f_i$ with nonnegative conductances $\omega_{ij}=-\partial T_i/\partial u_j$. The infinite maximum principle (Lemma 2.2) then forces $f_i\ge0$ for all time, giving monotonicity of $u(t)$; the lower bound on $u_i$ comes from $\hat{T}_i>0$ and $T_i=\alpha_i\cos r_i\le \pi\deg(v_i)\cos r_i$. The finite-exhaustion and diagonal-subsequence construction is what bypasses the failure of classical ODE theory on infinite vertex sets.

What would settle it

Construct an infinite locally finite decomposition satisfying (S1)-(S3) with vertex degrees growing without bound and edge angles $\Theta(e)\to0$. For a fixed $\tau>0$, compute the conductances $\omega_{ij}(t)$ from the finite approximations and check whether $\sup_{t\in[0,\tau]}\sup_i\sum_{j\sim i}\omega_{ij}(t)$ is finite. If it is infinite, the maximum-principle step in Theorem 3.2 cannot be applied as written; if the flow still converges, the theorem is true but needs a different proof, and if it fails to converge, Theorem 1.3 is false.

Watch

Extended reading notes

Core claim

The central claim is Theorem 1.2 and Theorem 1.3. For an infinite locally finite cellular decomposition $D=(V,E,F)$ with intersection angles $\Theta(e)\in(0,\pi/2]$, and target total geodesic curvatures $\hat{T}_v$ satisfying (S1) $\hat{T}_v>0$ for every vertex and (S2) $\sum_{v\in U}\hat{T}_v<2\sum_{e\in E(U)}\Theta(e)$ for every finite $U\subset V$, the flow $$\frac{du_i}{dt}=-(T_i-\hat{T}_i),\qquad u_i=\ln\cot r_i,$$ has a solution $u(t)$ for all $t\ge 0$. If additionally the initial data satisfy (S3) $T(r(0))\ge \hat{T}$, then this solution converges as $t\to\infty$, and $\lim_{t\to\infty}T(r(t))=\hat{T}$. The proof constructs the infinite-time solution by exhausting $D$ with finite complexes $D[n]$, solving the finite flow on each, and taking a diagonal subsequence; the convergence proof shows the solution is monotone via a maximum principle and uses the fact that $T_i=\alpha_i\cos r_i$ forces $u_i$ to have a lower bound.

Load-bearing premise

The convergence argument presumes that, at every vertex and every time, the total influence of a vertex's neighbors through the discrete Laplacian stays below one universal constant, and the stated hypotheses do not by themselves obviously guarantee that.

Editorial extensions

If this is right

  • Given (S1) and (S2), the flow can be started from any initial radii in $(0,\pi/2)$ and will never leave that range, so no finite-time blow-up or boundary collision occurs.
  • Under (S3), the solution is monotone in the variable $u_i=\ln\cot r_i$, and the limiting radii give a spherical circle pattern with prescribed total geodesic curvatures.
  • The theorem provides a parabolic construction of infinite circle patterns in spherical geometry, extending the finite-cell-decomposition result to noncompact surfaces.
  • The diagonal-subsequence argument shows the infinite flow is well-defined and independent of the choice of finite exhaustion, since limits on common time intervals agree.

Reading between the lines

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

  • A testable extension is to allow intersection angles $\Theta(e)\in(0,\pi)$, the range raised as an open problem; the proof should carry through if the sign conditions in Lemma 2.1 remain valid above $\pi/2$.
  • The finite-exhaustion scheme is local, so it likely applies to other infinite cellular decompositions on noncompact or nonorientable surfaces, not only disk triangulations.
  • If the uniform row-sum bound required by the maximum principle is not automatic from the stated hypotheses, a localized maximum principle with cut-off functions may still prove convergence while needing only local bounds.
  • For numerical construction of infinite spherical circle patterns, Theorem 1.3 offers a stopping criterion: start with $T(0)\ge\hat{T}$, and once $T(r(t))-\hat{T}$ is uniformly small, the remaining drift toward the target is controlled by that difference.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

2 major / 5 minor

Summary. The paper studies the combinatorial Ricci flow with prescribed total geodesic curvatures for circle patterns in spherical background geometry, in the setting of infinite locally finite cellular decompositions. The main results are Theorem 1.2, asserting long-time existence of the flow for arbitrary initial data under conditions (S1) and (S2), and Theorem 1.3, asserting convergence to the prescribed total geodesic curvature under the additional initial monotonicity condition (S3). The proof approximates the infinite graph by an exhausting sequence of finite subcomplexes, uses the finite-dimensional ODE theory to obtain solutions on each approximating complex, and then extracts a diagonal subsequence by Arzelà-Ascoli estimates to obtain a global solution. For convergence, the paper applies a maximum principle for infinite graphs to the difference f^n = T^n - T_hat on each finite approximation, aiming to show that f^n remains nonnegative and hence that the flow is monotone.

Significance. If the results are correct, this is the first treatment of an infinite combinatorial curvature flow in spherical background geometry, and the existence theorem extends the finite-dimensional theory of Ge-Hua-Zhou in a natural way. The proof does not assume its conclusion: the limit solution is constructed from finite approximations, and the maximum principle is proved independently as a lemma. The potential-function framework from Nie and Ge-Hua-Zhou is used only as background, and conditions (S1)-(S3) are hypotheses rather than fitted outputs. However, the convergence proof currently relies on a uniform bound that is not established, so the central theorem is not yet justified as written.

major comments (2)
  1. [Section 3, Theorem 3.2, equations (3.18)-(3.19)] The uniform row-sum bound (3.19) is asserted but not proved. The preceding estimates (3.10)-(3.11) bound derivatives of T_i^n only for each fixed vertex i, with constants depending on i, on the degree of i, and on the incident angles; they provide no bound uniform over all vertices as n grows. Nothing in local finiteness, (S1), (S2), or (S3) prevents the vertex degrees from being unbounded or sin(Theta(e)) from approaching zero. Since the weights omega_ij in (3.16) are given by -partial f_i^n/partial u_j, and formula (2.8) involves a factor 1/sin(Theta(e)), the row sums can be unbounded. Therefore Lemma 2.2 cannot be applied as written, and the conclusion f^n(t) >= 0, which is the basis for monotonicity of u(t) and the convergence claim of Theorem 1.3, is not justified.
  2. [Section 3, Theorem 3.2, paragraph after (3.18)] The same gap affects the claimed uniform bound on g. The statement 'by (3.11), we know |g| <= C0 for an uniform constant C0' is not justified by (3.10)-(3.11), which are vertex-dependent; indeed g_i is a sum over the neighbors of i, so its magnitude can grow with the degree. A related but separate point is that the manuscript does not use the sign information available from (2.9) to show g_i <= 0. The argument could likely be repaired by applying a finite maximum principle on V[n] to the finitely supported function f^n, using g_i <= 0 and omega_ij >= 0, but such an argument is not included in the paper.
minor comments (5)
  1. [Section 1.1, paragraph on infinite settings] The citation 'see [21]' for profound results in the infinite setting is apparently incorrect, since reference [21] is Hamilton's Ricci flow paper and not a circle-pattern reference; the intended citation may be [13] or [22].
  2. [Lemma 2.2] The statement of the maximum principle for infinite graphs does not explicitly assume omega_ij(t) >= 0, but the proof uses this nonnegativity when it asserts that Delta_G f_delta <= 0 at a maximum; the application in the paper does have nonnegative weights, but the lemma as stated is incomplete.
  3. [Equation (3.10)] The phrasing 'where constant C only depends on tau, i, j where j ~ i and e in E(v_i)' is confusing; it should say that the constant depends on the fixed vertex i, its neighbor j, and the incident edges, and it is not uniform in i.
  4. [Theorem 3.1, diagonal subsequence construction] The diagonal-order argument is terse; the definition of the predecessor in the path through N^2 could be clarified, and a short explanation of why the diagonal sequence lies eventually in each chosen subsequence would improve readability.
  5. [Section 1.1, first paragraph] There is a typo: 'the functions(r) is given by s(r)' should read 'the function s(r) is given by s(r)'.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity; the infinite-flow derivation is independent of its conclusions.

full rationale

The paper's central claims are not equivalent to their inputs by construction. The target curvatures T-hat enter only as hypotheses through (S1)-(S3), which are taken from the established finite theory of Ge-Hua-Zhou [12] and Nie [27]; they are not fitted or chosen from the flow data, and the paper does not rename a known result. The existence theorem is proved by an explicit exhaustion argument: solutions on finite subcomplexes D[n] are obtained by Picard-Lindelof, a priori C^2 bounds (3.9)-(3.11) are derived for each fixed vertex, and Arzela-Ascoli plus a diagonal subsequence produces the infinite solution. The convergence proof invokes a maximum principle (Lemma 2.2) that is stated and proved inside the paper, and it applies it to f^n = T^n - T-hat whose initial sign follows from the hypothesis T(0) >= T-hat, not from the desired conclusion. No step exhibits an equation that equals its input by definition, and there is no load-bearing self-citation: the cited finite-spherical theory and Nie's potential are external works with independent content. The skeptical concern about the uniformity of the row-sum bound (3.19) is a possible gap in the proof of convergence, not a circularity: even if Lemma 2.2 were misapplied, the conclusion would be unproved rather than assumed, and the paper's construction of the limit solution does not depend on that lemma. Therefore no circular step is identified.

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

No numerical parameters are fitted; the target curvatures T-hat and initial radii are problem data. The main implicit input is the uniform row-sum bound needed to apply Lemma 2.2; it is asserted in the proof but not derived from the hypotheses. All other inputs are standard background geometry and ODE/PDE facts.

assumptions (5)
  • standard math Spherical law of cosines and the Gauss-Bonnet formula T_i = alpha_i cos r_i define the geometry of the spherical quadrilateral Q_e.
    Used in Section 2.1 to construct circle pattern metrics and total geodesic curvature; standard spherical geometry taken from Nie [27].
  • standard math Picard-Lindelof theorem gives unique global solutions to the finite ODE system (3.3).
    Invoked in Lemma 3.1 for finite subcomplexes; standard ODE fact.
  • standard math Arzela-Ascoli and the diagonal subsequence argument pass from finite solutions to an infinite solution.
    Used in Theorem 3.1 to construct the limit solution; the diagonal order on N^2 is described in Figure 3.
  • ad hoc to paper The maximum principle for infinite graphs (Lemma 2.2) is valid under a uniform row-sum bound sum_{j ~ i} omega_ij(t) < C.
    This is the load-bearing gap: in the proof of Theorem 3.2 the uniform bound is asserted from (3.10)-(3.11), but those bounds depend on the vertex and can fail when Theta(e) approaches 0 or degrees are unbounded.
  • domain assumption The target curvatures T-hat and initial radii r(0) satisfy (S1), (S2), and in Theorem 1.3 also (S3).
    These are hypotheses imported from the finite theory; the paper does not prove they are necessary, only sufficient.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Infinite combinatorial Ricci flow in spherical background geometry." pith.science (2026). https://pith.science/paper/743QGKDO

@misc{pith2026250505925,
  author       = {Pith},
  title        = {Pith review of: Infinite combinatorial Ricci flow in spherical background geometry},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/743QGKDO}},
  note         = {Machine review of arXiv:2505.05925}
}
read the original abstract

Since the fundamental work of Chow-Luo \cite{CL03}, Ge \cite{Ge12,Ge17} et al., the combinatorial curvature flow methods became a basic technique in the study of circle pattern theory. In this paper, we investigate the combinatorial Ricci flow with prescribed total geodesic curvatures in spherical background geometry. For infinite cellular decompositions, we establish the existence of a solution to the flow equation for all time. Furthermore, under an additional condition, we prove that the solution converges as time tends to infinity. To the best of our knowledge, this is the first study of an infinite combinatorial curvature flow in spherical background geometry.

Figures

Figures reproduced from arXiv: 2505.05925 by the authors.

Figure 1
Figure 1. A circle pattern on S [PITH_FULL_IMAGE:figures/full_fig_p005_1.png] view at source ↗
Figure 2
Figure 2. Spherical quadrilateral Qe 5 [PITH_FULL_IMAGE:figures/full_fig_p005_2.png] view at source ↗
Figure 3
Figure 3. The diagonal order For any fixed (i, τ ), by (3.9) and (3.10), we know that {u [n] i,τ (t)}∞ n=1 is bounded in C 2 [0, τ ]. Hence, we can inductively select such a subsequence: for (i, j) = (1, 1), we take {n (1,1) k }∞ k=1 ⊆ N such that {u [n (1,1) k ] (1,1) (t)}∞ k=1 is a convergent subsequence of {u [n] 1 (t)}∞ n=1 in C 1 [0, 1]; for (i, j) ≻ (1, 1), we take 10 [PITH_FULL_IMAGE:figures/full_fig_p010_3.png] view at source ↗

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 2 Pith papers

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

  1. A prescribed curvature flow on hyperbolic surfaces with infinite topological type

    math.GT 2025-05 conditional novelty 7.0 of 10

    An infinite version of the prescribed curvature flow is shown to converge under side conditions, yielding generalized circle packings and smooth infinite-type hyperbolic surfaces with prescribed total geodesic curvature.

  2. Characterization of Infinite Ideal Polyhedra in Hyperbolic 3-Space via Combinatorial Ricci Flow

    math.GT 2025-06 reject novelty 6.0 of 10

    This paper proves new convergence results for infinite combinatorial Ricci flow on ideal circle patterns, but the claimed existence of infinite ideal hyperbolic polyhedra is not yet established.

Reference graph

Works this paper leans on

32 extracted references · 27 canonical work pages · cited by 2 Pith papers

  1. [1]

    Burago, Y

    D. Burago, Y. Burago, S. Ivanov. A course in metric geometry, volume 33. American Mathe- matical Society, 2022

    work page 2022

  2. [2]

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

    work page 2003

  3. [3]

    Cheeger, W

    J. Cheeger, W. Jiang, A. Naber. Rectifiability of singular sets of noncollapsed limit spaces with Ricci curvature bounded below. Ann. Math. 193 (2021), 407-538

    work page 2021

  4. [4]

    Colin de Verdière

    Y. Colin de Verdière. Un principe variationnel pour les empilements de cercles. Invent. Math. 1991, 104(1): 655-669

    work page 1991

  5. [5]

    K. Feng, H. Ge, B. Hua. Combinatorial Ricci flows and the hyperbolization of a class of compact 3-manifolds. Geom. Topol. 26 (2022) 1349-1384

    work page 2022

  6. [6]

    H. Ge. Combinatorial methods and geometric equations. Thesis (Ph.D.)-Peking University, 2012

    work page 2012

  7. [7]

    H. Ge. Combinatorial Calabi flows on surfaces. Transactions of the American Mathematical Society, 370(2):1377-1391, 2017

    work page 2017

  8. [8]

    Ge and B

    H. Ge and B. Hua. On combinatorial Calabi flow with hyperbolic circle patterns. Advances in Mathematics, 333:523-538, 2018. 12

    work page 2018

Show all 32 references
  1. [9]

    H. Ge, B. Hua. 3-dimensional combinatorial Yamabe flow in hyperbolic background geometry. Trans. Amer. Math. Soc. 2020, 373(7): 5111-5140

    2020

  2. [10]

    H. Ge, B. Hua, Z. Zhou. Combinatorial Ricci flows for ideal circle patterns. Adv. Math. 2021, 383: 107698

    2021

  3. [11]

    H. Ge, B. Hua, Z. Zhou. Circle patterns on surfaces of finite topological type. Amer. J. Math. 2021, 143(5): 1397-1430

    2021

  4. [12]

    H. Ge, B. Hua, P. Zhou. A combinatorial curvature flow in spherical background geometry. J. Funct. Anal. 286 (2024), no. 7, Paper No. 110335, 12 pp

    2024

  5. [13]

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

    arXiv

  6. [14]

    H. Ge, W. Jiang. On the deformation of discrete conformal factors on surfaces. Calc. Var. Partial Differential Equations, 2016, 55(6): 1-14

    2016

  7. [15]

    H. Ge, W. Jiang. On the deformation of inversive distance circle patterns, II. J. Funct. Anal. 2017, 272(9): 3573-3595

    2017

  8. [16]

    H. Ge, W. Jiang. On the deformation of inversive distance circle patterns, III. J. Funct. Anal. 2017, 272(9): 3596-3609

    2017

  9. [17]

    H. Ge, W. Jiang, L. Shen. On the deformation of ball patterns. Adv. Math. 2022, 398: 108192

    2022

  10. [18]

    H. Ge, X. Xu. 2-dimensional combinatorial Calabi flow in hyperbolic background geometry. Differential Geometry and its Applications, 47:86-98, 2016

    2016

  11. [19]

    H. Ge, X. Xu.α-curvatures andα-flows on low dimensional triangulated manifolds. Calc. Var. Partial Differential Equations, 2016, 55(1)

    2016

  12. [20]

    H. Ge, X. Xu. On a combinatorial curvature for surfaces with inversive distance circle pattern metrics. J. Funct. Anal. 2018, 275(3): 523-558

    2018

  13. [21]

    Hamilton

    R. Hamilton. Three-manifolds with positive Ricci curvature. J. Differential Geom. 1982, 17(2): 255-306

    1982

  14. [22]

    Z. He, O. Schramm. Hyperbolic and parabolic patterns. Discrete Comput. Geom., 14(2):123- 149, 1995

    1995

  15. [23]

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

    1999

  16. [24]

    Jiang, A

    W. Jiang, A. Naber.L2 curvature bounds on manifolds with bounded Ricci curvature. Ann. Math. 193 (2021), 107-222

    2021

  17. [25]

    Z. Lei, P. Zhou. Combinatorial Calabi flows for ideal circle patterns in spherical background geometry. J. Differential Equations 427 (2025), 676-688

    2025

  18. [26]

    Marden, B

    A. Marden, B. Rodin. On Thurston’s formulation and proof of Andreev’s theorem. Computa- tional Methods and Function Theory, LNM 1435, Springer-Verlag, New York,1989, 103− 115

    1989

  19. [27]

    X. Nie. On circle patterns and spherical conical metrics. Proc. Amer. Math. Soc., 152(2024), 843-853

    2024

  20. [28]

    Perelman

    G. Perelman. The entropy formula for the Ricci flow and its geometric applications. arXiv:math.DG/0211159v1

  21. [29]

    Rodin, D

    B. Rodin, D. Sullivan. The convergence of circle pattern to the Riemann mapping. J Differ- ential Geom, 26, 1987, 349-360. 13

    1987

  22. [30]

    Stephenson

    K. Stephenson. Introduction to circle pattern. The theory of discrete analytic functions, Cam- bridge University Press, Cambridge, 2005

    2005

  23. [31]

    Thurston

    W. Thurston. Geometry and topology of three-manifolds. Princeton Lecture Notes, 1976

    1976

  24. [32]

    Thurston

    W. Thurston. The geometry and topology of 3-manifolds, Chapter 13, Princeton Univ. Math. Dept. Notes. Princeton, New Jersey, 1980. Chang Li, chang_li@ruc.edu.cn School of Mathematics, Renmin University of China, Beijing 100872, P. R. China Yangxiang Lu, 2023000744@ruc.edu.cn S...

    1980

Pith tools

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