Discrete conformal structures on surfaces with boundary (III) -- Deformation

Chao Zheng; Xu Xu

REVIEW 2 major objections 5 minor 17 references

Discrete conformal structures on surfaces with boundary (III) -- Deformation

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 Combinatorial Ricci and Calabi flows converge exponentially on surfaces with boundary, realizing prescribed boundary lengths.

desk verdict Solid global convergence proofs for two structure classes, but the abstract overclaims; the rest is local or conditional and should be labeled as such. read the letter →

arxiv 2507.18495 v1 pith:6A4V432I submitted 2025-07-24 math.DG

Xu Xu , Chao Zheng This is my paper · ORCID

classification math.DG MSC 52C2552C26

keywords combinatorialRicciflowCalabidiscreteconformalstructuressurfaceswithboundaryhyperbolictotallygeodesicprescribedlengthsexponentialconvergencecurvatureflows

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 extends combinatorial curvature flow theory from closed surfaces to surfaces with boundary. It introduces a combinatorial Ricci flow and a combinatorial Calabi flow for the six families of discrete conformal structures classified in the authors' earlier work. The main theorem states that for structures of types (3) and (6), these flows exist for all time from any starting point and converge exponentially fast to the unique discrete conformal factor realizing any prescribed positive boundary lengths; for structures (4) and the mixed types I and III, the same conclusion holds when the initial curvature is within a small distance of the target. Because a discrete hyperbolic metric is determined by its boundary lengths, this turns the flow convergence into an algorithm for constructing hyperbolic surfaces with totally geodesic boundaries of prescribed lengths.

What carries the argument

The load-bearing object is the Jacobian $\Delta = (\partial K_i/\partial u_j)$ of the generalized combinatorial curvature map with respect to the transformed variables $u_i$, restricted to the convex admissible space $U(\eta) = \bigcap_{\{ijk\}\in F} U_{ijk}(\eta)$. From the companion paper [17], this matrix is symmetric and negative definite everywhere on $U(\eta)$. That single fact does three jobs: it makes $E(u)$ and $C(u)$ strictly convex Lyapunov functions, it guarantees at most one solution of $K(u)=\overline{K}$, and it supplies a uniform spectral gap yielding exponential decay of the curvature error. Boundary non-reachability is handled by separate lemmas showing that the flows cannot hit infinity, the $u_i = 0$ boundary, or the degeneration boundary where an ideal edge length $l_{ij}$ vanishes.

What would settle it

Take the simplest ideally triangulated surface with boundary—one ideal face giving a single right-angled hyperbolic hexagon with three boundary components—and compute the $3\times 3$ Jacobian $\partial \theta/\partial u$ numerically along a path in $U(\eta)$ approaching the boundary $u_i+u_j = C(\eta_{ij})$. If any eigenvalue reaches zero or the matrix loses symmetry before the boundary, the negative-definiteness premise fails and the global convergence claim for that structure collapses. Alternatively, for structure (4), run the Ricci flow from initial data with large $\|K(u(0))-\overline{K}\|$ and check whether $u_i$ reaches $-\pi/2$ in finite time.

Watch

Extended reading notes

Core claim

For an ideally triangulated compact surface with boundary carrying one of the discrete conformal structures (3), (4), (6), mixed I, II, or III from Theorem 1.1, define the generalized combinatorial curvature $K_i$ as the total boundary-arc length at boundary component $i$. The combinatorial Ricci flow $du_i/dt = K_i - \overline{K}_i$ and the combinatorial Calabi flow $du_i/dt = -\Delta(K-\overline{K})_i$ are negative gradient flows of the strictly convex energy $E(u)$ and the curvature energy $C(u)$. Theorem 1.6 asserts: for structure (3) with $\alpha \in \{0,1\}$ and $\eta_{ij} > \alpha_i\alpha_j$, and for structure (6) with $\eta > 0$, both flows exist for all time and converge exponentially fast for every initial value $u(0)$; for structure (4) and mixed structures I and III, there is a $\delta > 0$ such that $\|K(u(0))-\overline{K}\| < \delta$ implies longtime existence and exponential convergence; for mixed structure II, any convergent solution must satisfy $K(u) = \overline{K}$, and if such a solution exists then nearby initial data converge exponentially. The abstract states global convergence; the precise theorem limits the general-initial-data claim to structures (3) and (6).

Load-bearing premise

The whole proof leans on one imported fact: at every allowed choice of the parameters, the matrix recording how each boundary curvature responds to each parameter change is symmetric and negative definite; if that property failed somewhere in the admissible region, the Lyapunov functions would not be convex and the flows could leave the allowable region or fail to converge.

Editorial extensions

If this is right

For structures (3) and (6), prescribed positive boundary lengths are always realized by a unique discrete conformal factor, and both flows find it from any starting value.
The exponential convergence rate is uniform along the flow, so the corresponding algorithms terminate in finite time to any prescribed tolerance.
These flows unify and generalize previously known combinatorial Yamabe, Ricci, and Calabi flows for surfaces with boundary, recovering them as special cases under specific choices of the parameters.
For structures (4) and mixed I and III, the target curvature configuration is a local attractor: initial curvature errors below $\delta$ lie in its basin of exponential convergence.
For mixed structure II, a necessary condition is established: a convergent flow necessarily converges to a solution of $K(u)=\overline{K}$; existence of such a solution makes convergence local.

Reading between the lines

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

The same Lyapunov-function mechanism would likely transfer to fractional or higher-order curvature flows on surfaces with boundary, since the argument uses only negative definiteness and a spectral gap; the paper does not pursue this extension.
For structure (4) and mixed structure III, the missing ingredient for global-initial-data convergence is a uniform lower bound away from the boundary of the admissible space; a numerical experiment starting far from the target would show whether the small-initial-curvature condition is merely technical or reflects actual escape.
Because the flows are ODEs in finitely many variables, the proof immediately suggests an explicit time-stepping algorithm, though no implementation or numerical experiments are reported here.
The exponential convergence gives a discrete analogue of the rigidity statement that hyperbolic surfaces with totally geodesic boundary are determined by their boundary lengths, which could serve as a benchmark for numerical discretizations of hyperbolic surfaces.

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.

Desk Editor's Note

read the letter

The short version: the paper proves what the abstract claims only for two of the six structure classes. For structures (3) and (6), the combinatorial Ricci and Calabi flows are shown to exist globally and converge exponentially from any initial data, and those proofs look credible. For structures (4), mixed I, II, and III, the theorems are local (close to a known solution) or conditional, and Remark 5.3 explicitly concedes that global behavior near the boundary is unresolved. The abstract says unqualified “longtime existence and global convergence,” which is materially stronger than what is proved.

The genuinely new thing is the unified setup: the authors define combinatorial Ricci and Calabi flows covering all six discrete conformal structure types from their classification, including the mixed types, and they show how the new flows reduce to the known flows of Guo–Luo, Guo, Li–Xu–Zhou, Luo–Xu, and Xu in special cases. That is a real contribution and will be useful to anyone working on circle packings or discrete conformal geometry with boundary.

The technical work for the global cases is careful. The boundary estimates in Lemmas 3.4–3.6, 3.10–3.12, and 4.4–4.12 are detailed and do the heavy lifting: they show solutions cannot hit the boundary of the admissible space, so the flow stays in a compact set. The negative-definiteness of the curvature Laplacian then gives exponential convergence. For structures (3) and (6), the proof is standard but cleanly executed, and I would trust those theorems.

The soft spots are exactly where the scope shrinks. Several main theorems (4.8, 4.14, 5.2(2)) are stated with proofs omitted as “analogous.” If they really are analogous, that is acceptable, but a referee will have to verify it. The negative-definiteness of the Jacobian is imported from the companion paper [17] without re-derivation; that is fine in a series, but it means a gap in [17] would propagate here. The main issue is that the paper presents itself as solving the deformation problem for all six structures when it really solves two globally and gives local results for the rest. The authors are honest about this in Remark 5.3, but the abstract is not.

Who is this for? Specialists in discrete conformal geometry and combinatorial curvature flows. A reader in that area gets value from the unified framework and the two global convergence theorems. For a more general differential geometer, the scope overstatement could mislead, but the underlying mathematics is serious.

Recommendation: send it to peer review. The referee should ask for the abstract to be aligned with the theorems and for at least the most important omitted proofs to be included or clearly deferred. The global theorems for (3) and (6) are strong enough to justify referee time.

Referee Report

2 major / 5 minor

Summary. The manuscript is the third in a series on discrete conformal structures on ideally triangulated surfaces with boundary. It introduces combinatorial Ricci flow (10) and combinatorial Calabi flow (11) for the six structure classes classified in [16], and studies their longtime behavior using energy functions E and C, the negative definiteness of the curvature Jacobian imported from [17], and boundary-avoidance estimates. The main result, Theorem 1.6, proves global exponential convergence for structures (3) and (6) from arbitrary initial data in the admissible space; for structures (4) and mixed I and III it proves exponential convergence only under a smallness assumption on the initial curvature deviation; for mixed II it proves a conditional statement. Remark 5.3 acknowledges that global results for the latter classes are not established.

Significance. The paper's strengths are the detailed boundary-avoidance estimates for the global cases (Lemmas 3.4-3.6, 3.9-3.12, 4.4-4.12), the clean Lyapunov-function structure, and the unifying character of the flows, which specialize to several previously studied flows (Guo-Luo, Guo, Li-Xu-Zhou, Luo-Xu, Xu). If correct, it yields practical algorithms for finding discrete hyperbolic metrics with prescribed boundary lengths. The significance is real but qualified: half of the six structure classes are only handled locally or conditionally, and the global cases rest on the symmetric negative definiteness of Delta and on Theorem 1.3, both taken from the companion preprint [17].

major comments (2)

[Abstract, §1.1, and Theorem 1.6] The abstract claims 'longtime existence and global convergence of solutions to these combinatorial curvature flows' without qualification, and §1.1 repeats this. This is materially stronger than what is proved: Theorem 1.6(iii) gives existence and exponential convergence only when ||K(u(0))-K|| < delta for structures (4) and mixed I/III, Theorem 1.6(iv) is conditional for mixed II, and Remark 5.3 states explicitly that the authors have not shown that solutions for these classes cannot reach a boundary of the admissible space. Please revise the abstract and introduction to state the global results for (3) and (6) and the local/conditional results for the remaining classes.
[§2 (after Eqs. (12)-(13)) and Theorems 3.2, 4.2] The proofs of global convergence depend essentially on the strict convexity of E and the symmetric negative definiteness of the Jacobian Delta, which are quoted from the companion preprint [17] (Theorems 3.2 and 4.2), and on the rigidity/existence Theorem 1.3 also from [17]. These facts are not re-derived here. Because [17] is cited as an arXiv preprint (arXiv:2407.19501v3), the present results are conditional on an unpublished source; the authors should either include the precise statements and key Jacobian computations needed, or clearly mark this dependence and ensure that [17] is accessible to the reader. This is a verifiability issue that should be addressed before publication.

minor comments (5)

[Throughout, Eqs. (10)-(11)] The prescribed curvature and the actual curvature are both denoted by K; for instance, formulas (10) and (11) read 'du_i/dt = K_i - K_i'. Use a distinct symbol such as \bar K for the target curvature.
[§3, Theorem 3.1, Definition 3.3] There are repeated typos: 'weighs' should be 'weights' in Theorem 3.1, Definition 3.3, and Section 3; also '1.3 (i)' in the proof of Theorem 3.8 should be 'Theorem 1.3(i)'.
[Theorem 3.8] The transition from convergence along the sequence xi_n to convergence of the full trajectory is not spelled out; the authors should justify it, for example by noting that for large n the point u(xi_n) enters the basin of attraction given by the Lyapunov Stability Theorem, or by a direct strict-convexity argument for E.
[Definition 1.4 and Theorem 1.6] State explicitly that initial values u(0) are required to lie in the admissible space U(eta).
[Lemmas 3.5 and 4.6] The sign 'theta^{jk}_i -> 0^-' appears to be a typo; boundary arc lengths are positive, so the limit should be 0^+.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the flows are new and their convergence is proved by intrinsic Lyapunov and boundary-preclusion arguments; the authors' prior-work citations are legitimate external inputs, not assumed conclusions.

full rationale

This paper does not fit parameters and does not assume its target conclusion. The global convergence results for structures (3) and (6) are proved by original arguments: strict convexity of the energies E and C inherited from the imported Jacobian negativity, boundary-preclusion lemmas (Lemmas 3.4-3.6, 3.9-3.12, 4.4-4.12), and Lyapunov/spectral estimates (Theorems 3.8, 3.14, 4.8, 4.14). The imported results from [16] and [17] - the classification, rigidity/existence, and symmetric negative definiteness of the curvature Jacobian - are parameter-free mathematical theorems whose stated assumptions do not include the flow-convergence claims of this paper, so their use is independent support rather than circular reduction. Remark 5.3 explicitly limits the results for structures (4), mixed I, II, and III to local convergence for small initial energy, while the abstract states unqualified global convergence; this is an accuracy/correctness gap, not a circularity. No step in the derivation equates the conclusion with an input by construction.

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

The central claim is a pure mathematics theorem; the only inputs are the triangulation and the weight parameters (alpha, eta, C) that define the discrete conformal structure. The proof imports the classification, rigidity/existence, and negative definiteness results from the authors' companion papers [16,17], which are not independently verified in this manuscript. No new entities or fitted constants are introduced.

assumptions (6)

standard math Existence and uniqueness of a right-angled hyperbolic hexagon for any three positive non-adjacent edge lengths (Ratcliffe [11, Thm 3.5.14]).
Used in Section 1.2 to build discrete hyperbolic metrics from edge length functions l in R^E_{>0}.
domain assumption Classification of all discrete conformal structures into six types (3), (4), (6), mixed I, II, III (Theorem 1.1 from [16]).
The paper's flows are defined for these six types; the classification is imported from the authors' own Part I.
domain assumption Rigidity and existence: for structure (3) with alpha: B to {0,1} and structure (6), the curvature map K is a bijection onto R_{>0}^N (Theorem 1.3 (i), (iii) from [17]).
Used to guarantee a target u with K(u)=Kbar, essential for global convergence in Theorem 1.6 (i), (ii).
domain assumption The Jacobian Delta = (partial K_i / partial u_j) is symmetric and negative definite on the admissible space for each structure class (Theorems 3.2, 4.2 from [17]).
Makes E (12) and C (13) convex Lyapunov functions, gives uniqueness, and provides the spectral gap used in exponential convergence proofs.
standard math Lyapunov Stability Theorem and standard local existence theory for ODE systems (Pontryagin [10]).
Used to convert local attractor properties into asymptotic and exponential convergence statements in Theorems 3.8, 3.14, 5.1, 5.2.
domain assumption Asymptotic behavior of boundary arc lengths: theta^{jk}_i tends to 0 as f_i tends to +infinity for structures (3) and (6) (Lemma 3.6 of [17], Lemma 4.5 of [6]).
Used in Lemmas 3.5, 3.12, 4.6, 4.12 to rule out the boundary partial_0 U(eta) where u_i = 0.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Discrete conformal structures on surfaces with boundary (III) -- Deformation." pith.science (2026). https://pith.science/paper/6A4V432I

@misc{pith2026250718495,
  author       = {Pith},
  title        = {Pith review of: Discrete conformal structures on surfaces with boundary (III) -- Deformation},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/6A4V432I}},
  note         = {Machine review of arXiv:2507.18495}
}

read the original abstract

The present work constitutes the third installment in a series of investigations devoted to discrete conformal structures on surfaces with boundary. In our preceding works \cite{X-Z DCS1, X-Z DCS2}, we established, respectively, a classification of these discrete conformal structures and results on their rigidity and existence. Building on this foundation, the present work focuses on the deformation theory of discrete conformal structures on surfaces with boundary. Specifically, we introduce the combinatorial Ricci flow and the combinatorial Calabi flow, and establish the longtime existence and global convergence of solutions to these combinatorial curvature flows. These results yield effective algorithms for finding discrete hyperbolic metrics on surfaces with totally geodesic boundaries of prescribed lengths.

Review history (2 revisions) →

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

17 extracted references · 15 canonical work pages

[17]

X. Xu, C. Zheng, Discrete conformal structures on surfaces with boundary (II)—Rigidity and Existence. arXiv:2407.19501v3[math.DG]. SCHOOL OF MATHEMATICS AND STATISTICS , W UHAN UNIVERSITY , W UHAN , 430072, P.R.C HINA Email address: xuxu2@whu.edu.cn INTERNATIONAL CENTER FOR MATHEMATICAL RESEARCH (BICMR), B EIJING (PEKING ) U NIVERSITY , BEIJING , 100871, ...

work page Pith review arXiv
[16]

X. Xu, C. Zheng, Discrete conformal structures on surfaces with boundary (I)—Classification , accepted by Peking Math. J., https://doi.org/10.1007/s42543-025-00101-6

work page doi:10.1007/s42543-025-00101-6
[1]

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

work page 2003
[2]

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

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

work page 2012
[3]

Ge, Combinatorial Calabi flows on surfaces, Trans

H. Ge, Combinatorial Calabi flows on surfaces, Trans. Amer. Math. Soc. 370 (2018), no. 2, 1377- 1391

work page 2018
[4]

H. Ge, X. Xu, 2-dimensional combinatorial Calabi flow in hyperbolic background geometry, Dif- ferential Geom. Appl. 47 (2016), 86-98

work page 2016
[5]

Guo, Combinatorial Yamabe flow on hyperbolic surfaces with boundary

R. Guo, Combinatorial Yamabe flow on hyperbolic surfaces with boundary. Commun. Contemp. Math. 13 (2011), no. 5, 827-842

work page 2011
[6]

R. Guo, F. Luo, Rigidity of polyhedral surfaces, II, Geom. Topol. 13 (2009), no. 3, 1265-1312

2009

Show all 17 references

[7]

S.Y . Li, X. Xu, Z. Zhou,. Combinatorial Yamabe flow on hyperbolic bordered surfaces . arXiv:2204.08191v1[math.GT]

arXiv
[8]

Luo, Combinatorial Yamabe flow on surfaces, Commun

F. Luo, Combinatorial Yamabe flow on surfaces, Commun. Contemp. Math. 6 (2004), no. 5, 765- 780. DISCRETE CONFORMAL STRUCTURES ON SURFACES WITH BOUNDARY (III)—DEFORMATION 21

2004
[9]

Y . Luo, X. Xu, Combinatorial Calabi flows on surfaces with boundary . Calc. Var. Partial Differ- ential Equations 61 (2022), no. 3, Paper No. 81, 12 pp

2022
[10]

Pontryagin, Ordinary differential equations , Addison-Wesley Publishing Company Inc., Reading, 1962

L.S. Pontryagin, Ordinary differential equations , Addison-Wesley Publishing Company Inc., Reading, 1962

1962
[11]

Ratcliffe, Foundations of hyperbolic manifolds

J.G. Ratcliffe, Foundations of hyperbolic manifolds. Second edition. Graduate Texts in Mathemat- ics, 149, xii+779 pp. Springer, New York (2006). ISBN: 978-0387-33197-3; 0-387-33197-2

2006
[12]

Thurston, Geometry and topology of 3-manifolds, Princeton lecture notes, 1976

W. Thurston, Geometry and topology of 3-manifolds, Princeton lecture notes, 1976

1976
[13]

T. Wu, X. Xu, Fractional combinatorial Calabi flow on surfaces, arXiv:2107.14102[math.GT]

arXiv
[14]

Xu, A new class of discrete conformal structures on surfaces with boundary

X. Xu, A new class of discrete conformal structures on surfaces with boundary. Calc. Var. Partial Differential Equations 61 (2022), no. 4, Paper No. 141, 23 pp

2022
[15]

X. Xu, C. Zheng, Combinatorial curvature flows for generalized circle packings on surfaces with boundary. Int. Math. Res. Not. IMRN (2023), no.20, 17704–17728

2023

Pith tools

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

[1] [17]

X. Xu, C. Zheng, Discrete conformal structures on surfaces with boundary (II)—Rigidity and Existence. arXiv:2407.19501v3[math.DG]. SCHOOL OF MATHEMATICS AND STATISTICS , W UHAN UNIVERSITY , W UHAN , 430072, P.R.C HINA Email address: xuxu2@whu.edu.cn INTERNATIONAL CENTER FOR MATHEMATICAL RESEARCH (BICMR), B EIJING (PEKING ) U NIVERSITY , BEIJING , 100871, ...

work page Pith review arXiv

[2] [16]

X. Xu, C. Zheng, Discrete conformal structures on surfaces with boundary (I)—Classification , accepted by Peking Math. J., https://doi.org/10.1007/s42543-025-00101-6

work page doi:10.1007/s42543-025-00101-6

[3] [1]

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

work page 2003

[4] [2]

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

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

work page 2012

[5] [3]

Ge, Combinatorial Calabi flows on surfaces, Trans

H. Ge, Combinatorial Calabi flows on surfaces, Trans. Amer. Math. Soc. 370 (2018), no. 2, 1377- 1391

work page 2018

[6] [4]

H. Ge, X. Xu, 2-dimensional combinatorial Calabi flow in hyperbolic background geometry, Dif- ferential Geom. Appl. 47 (2016), 86-98

work page 2016

[7] [5]

Guo, Combinatorial Yamabe flow on hyperbolic surfaces with boundary

R. Guo, Combinatorial Yamabe flow on hyperbolic surfaces with boundary. Commun. Contemp. Math. 13 (2011), no. 5, 827-842

work page 2011

[8] [6]

R. Guo, F. Luo, Rigidity of polyhedral surfaces, II, Geom. Topol. 13 (2009), no. 3, 1265-1312

2009