Convergence of discrete conformal mappings on surfaces

David Glickenstein; Lee Sidbury

REVIEW 3 major objections 4 minor 28 references

Convergence of discrete conformal mappings on surfaces

T0 review · 3 major / 4 minor · reviewed 2026-08-06 · 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 barycentric discrete conformal maps converge, along subsequences, to conformal maps between Riemannian surfaces, with L∞ pullback-metric convergence under a properness assumption.

desk verdict A genuinely unifying discrete conformal convergence theorem with a real but fixable compatibility issue and one sketchy lemma; worth serious refereeing. read the letter →

arxiv 2507.17037 v2 pith:52XAZDGJ submitted 2025-07-22 math.DG math.GT

David Glickenstein , Lee Sidbury This is my paper · ORCID

classification math.DGmath.GT MSC 53A7052C2665E10

keywords discreteconformalmappingcirclepackingvertexscalingRiemannianbarycentriccoordinatespiecewiseflatsurfacesconvergenceLocalRigiditystructure

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 proves a general convergence theorem for discrete conformal mappings between surfaces. It shows that if a sequence of triangulated approximations of two Riemannian surfaces is admissible, meaning the triangulations stay nondegenerate, the ratio of target to domain conformal factors is locally rigid in a precise sense, and a normalization point has compact image, then the associated barycentric discrete conformal maps have a subsequence converging uniformly on compact subsets to a continuous map. If the admissibility is proper, the pulled-back target metric converges in L∞ on compact subsets to a positive continuous function times the domain metric, which is exactly the statement that the limit is conformal. The result matters because it treats circle packing, vertex scaling, and the other discrete conformal structures of the same family in one framework, and it allows the domain and target to be curved surfaces with or without boundary, not just plane domains.

What carries the argument

The load-bearing construction is the barycentric discrete conformal map $\Phi_n = \tilde\Psi_n \circ \phi_n \circ \Psi_n^{-1}$, where $\Psi_n$ and $\tilde\Psi_n$ are Riemannian barycentric (Karcher-mean) maps from piecewise-flat simplices to geodesic simplices of the two surfaces, and $\phi_n$ is the piecewise-linear map between the piecewise-flat triangulations. The edge lengths on those triangulations are prescribed by a discrete conformal structure $C_{\alpha,\eta}$ through $\ell_{ij}^2 = \alpha_i e^{2f_i} + \alpha_j e^{2f_j} + 2\eta_{ij} e^{f_i+f_j}$. The argument has three compression stages: the barycentric distortion estimates compare the pullback of the smooth metric to the flat metric; an edge-length comparison shows the flat metric in the image is close to a conformally rescaled flat metric in the domain; and the Local Discrete Conformal Rigidity condition makes the ratio of target-to-domain conformal factors nearly constant over combinatorial disks of generation $m$, with a control sequence $s_m \to 0$. Fullness of simplices keeps triangles from degenerating, and properness, meaning $s_m \le \alpha/m$, is what upgrades uniform convergence of maps to $L^\infty$ convergence of pulled-back metrics.

What would settle it

Compute, on one $(\vartheta,\epsilon)$-full triangle whose vertices are centers of combinatorial disks of generation $m$, both sides of the two-sided estimate $(1-\beta\epsilon)^2(1-C s_m)\tilde F_n|X|^2_g \le |X|^2_{\Phi_n^*\tilde g} \le (1+\beta\epsilon)^2(1+C s_m)\tilde F_n|X|^2_g$ from Proposition 34; an admissible sequence for which this estimate fails would falsify that proposition and hence Theorem 1.

Watch

Extended reading notes

Core claim

The central discovery is that convergence to conformal maps is a general phenomenon for discrete conformal structures, not a special feature of circle packings. For any discrete conformal structure in the family C_{\$\alpha$,\eta} (edge lengths of the form $\ell_{ij}^2 = \alpha_i e^{2f_i} + \alpha_j e^{2f_j} + 2\eta_{ij} e^{f_i+f_j}$) and any pair of surfaces with generalized triangulated exhaustions satisfying the admissibility hypotheses, the barycentric discrete conformal maps $\Phi_n = \tilde\Psi_n \circ \phi_n \circ \Psi_n^{-1}$ admit a subsequence converging uniformly on compact sets. When the sequence is proper, the pullback metrics converge: $\Phi_n^* \tilde g \to \tilde F g$ in $L^\infty$ on compact subsets, with $\tilde F$ positive and continuous, which implies the limiting map is conformal. The proof obtains this by chaining two Riemannian barycentric distortion estimates around a piecewise-linear discrete conformal map and controlling the discrete conformal factors with the Local Discrete Conformal Rigidity condition.

Load-bearing premise

The load-bearing premise is that the geodesic edge lengths of each triangulated submanifold coincide with the edge lengths produced by the chosen discrete conformal factors through the formula $C_{\alpha,\eta}$; if a geodesic triangulation is not realizable in that way, the discrete conformal map and the barycentric comparison cannot both hold, and the theorem has no content for that sequence.

Editorial extensions

If this is right

The classical circle-packing convergence theorem is recovered as a special case: for simply connected bounded plane domains, the hexagonal circle-packing construction of Section 7 yields a proper admissible sequence, so the theorem gives subsequential convergence to a Riemann mapping.
For vertex-scaling structures, sequences built from a prescribed conformal map, as in the construction discussed in Section 8, satisfy the admissibility hypotheses, so the same theorem covers those convergence results without a separate quasiconformality argument.
Because every discrete conformal structure in the family is a $C_{\alpha,\eta}$ structure, the theorem applies uniformly to circle packing, vertex scaling, and related structures; the user only needs to verify exhaustions, fullness, LDCR, and the ratio bound.
The properness condition provides a quantitative conclusion: the pulled-back target metric converges in $L^\infty$ on compact subsets to $\tilde F g$, meaning the discrete conformal factors themselves converge to a continuous function on the limit domain.
The theorem allows both the domain and target to be curved Riemannian surfaces with or without boundary, extending earlier convergence results that were restricted to plane domains or flat tori.

Reading between the lines

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

A reader applying this theorem to a new discrete conformal structure should check that the geodesic edge lengths of each approximating triangulation are realizable as $\ell(f_n)$ for some conformal factor $f_n$; the paper itself verifies this compatibility only for the circle-packing example.
The structure of the proof suggests a natural experiment: if the LDCR constants $s_m$ decay slower than $1/m$, map convergence may still hold through Theorem 35 while the $L^\infty$ metric convergence of Theorem 41 may fail, isolating exactly what the properness assumption buys.
Because the convergence is subsequential, uniqueness of the limit is not addressed; combining the theorem with a three-point or boundary normalization would be the natural next step toward a full discrete uniformization statement.
The $L^\infty$ convergence of pulled-back metrics implies convergence of the discrete conformal factors as functions, which could be used in future work to prove convergence of discrete curvatures or discrete energies under the same hypotheses.

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 main theorem is the first convergence result covering the whole C_alpha,eta family of discrete conformal structures on Riemannian surfaces, with or without boundary. That is genuinely new: Rodin-Sullivan and the vertex scaling results become special cases. The pullback-metric proof via Riemannian barycentric coordinates is a real contribution, and making LDCR the explicit rigidity hypothesis is a useful conceptual step. Recovering Rodin-Sullivan in Section 7 is a good sanity check and shows the framework has content.

The soft spots are real but manageable. The biggest is the relation between the geodesic edge lengths of the triangulated submanifolds and the edge lengths ell(f_n) from the discrete conformal factors. Definition 16 builds Omega^Delta_n from geodesic lengths; Definition 32 then treats the same object as (Omega_n, T_n, ell(f_n)). For Proposition 34 to chain Corollary 15 with Theorem 30, those two edge-length assignments must coincide. The paper never states this compatibility as a hypothesis; it is implicit in 'discrete conformal factors for Omega^Delta_n', and the subscript slip in Definition 32 does not help. For vertex scaling any base triangulation works (take f=0); for circle packing only packable triangulations work, which Section 7 provides. So it is not fatal, but a referee should ask for the condition to be explicit and for a remark on when it holds.

Lemma 25's argument that a shortest geodesic between two combinatorial shells can be translated to a vertex without changing length is not justified. It is plausible, but as written it is hand-wavy. The rest of the proof outline is coherent. Theorem 35 gives equicontinuity and subsequential limits; Theorem 41 upgrades to conformality under properness. The limit is shown to be conformal, but injectivity and nonconstancy are not addressed; for the circle packing application they need the extra fact that the limit is a Riemann mapping. That is a gap in the application section, not in the main theorem.

The citation pattern is fine: substantial self-citation, but always to prior work they build on, not circular. The use of [vDGW16] and [GT17] as black boxes is appropriate.

This is for people working in discrete conformal geometry and circle packing; they will read it and use it. It deserves a serious referee. The main theorem is important enough, and the flaws are addressable. I would recommend sending it to review with a request to clarify the compatibility condition and tighten Lemma 25.

Referee Report

3 major / 4 minor

Summary. The paper proves a general convergence theorem for barycentric discrete conformal maps between Riemannian surfaces. Given an admissible sequence of geodesically triangulated submanifolds with the same combinatorics, discrete conformal factors in a fixed structure C_{α,η}, local discrete conformal rigidity (LDCR), fullness, and bounded factor ratios, the maps Φ_n = Ψ̃_n ∘ φ_n ∘ Ψ_n^{-1} are shown to have uniformly convergent subsequences; under an additional properness condition, the pullback metrics Φ_n^* g̃ converge in L∞ to eF g, so the limit is conformal. Section 7 applies the framework to recover the Rodin–Sullivan circle packing theorem, and Section 8 discusses applications to vertex scaling and other structures.

Significance. If the proof is completed, this would be a significant unification: one convergence framework covering circle packing, vertex scaling, and the general C_{α,η} structures, with or without boundary. The modular strategy is attractive and largely sound in outline: it combines the Riemannian barycentric estimates of [vDGW16] with new metric-distortion estimates for discrete conformal maps, and it isolates local discrete conformal rigidity as the key rigidity hypothesis. The paper is also honest about the role of fullness and explicitly uses the properness assumption only where needed. Several load-bearing points, however, are either unstated assumptions or insufficiently justified, most importantly the compatibility of the geodesic edge lengths with the edge lengths prescribed by the discrete conformal factors.

major comments (3)

[Definition 16 and Definition 32; Proposition 34] Definition 16 constructs Ω^Δ_n as the piecewise flat surface whose edge lengths are the geodesic edge lengths of the triangulated submanifold Ω_n. Definition 32, however, treats Ω^Δ_n as (Ω_n, T_n, ℓ(f_n)) for a conformal factor f_n in a fixed structure C_{α,η}, and the proof of Proposition 34 chains Corollary 15, which compares Ψ_n^* g with the PL metric built from geodesic edge lengths, with Theorem 30, which compares φ_n^* g̃^Δ with the PL metrics built from ℓ(f_n) and ℓ(f̃_n). This chaining is valid only if ℓ(f_n) and ℓ(f̃_n) coincide with the geodesic edge lengths of Ω_n and Ω̃_n. That equality is never stated as a hypothesis and is not automatic: for the circle packing structure C_{1,1}, the relation ℓ_{ij} = e^{f_i} + e^{f_j} is obstructed around even cycles by an alternating-sum condition, and for vertex scaling C_{0,L^2/2}, the relation log(ℓ_{ij}/L_{ij}) must satisfy a cocycle condition on every cycle. Section 7 verifies compatibility only for the hexagonal circle-packing example. The admissibility definition must either include this compatibility explicitly or the paper must prove it for the structures it claims to cover; otherwise Theorem 1 is vacuous for generic geodesic triangulations or silently depends on a strong unstated hypothesis.
[Definition 32; Proposition 38; Corollary 40; Theorem 41] Proposition 38 assumes a two-sided bound 1/H_K ≤ H_n(v) ≤ H_K on compact sets, but Definition 32, condition (2), only imposes a uniform upper bound on the ratio H_n(v) = e^{f̃_n(v)}/e^{f_n(v)}. The proof of Theorem 41 uses Proposition 38 and Corollary 40 to conclude that the limit eF is a positive continuous function. A uniform upper bound alone does not prevent liminf H_n from being zero on a compact set, in which case the claimed positive conformal factor would fail. Either add a uniform lower bound to the admissibility conditions or prove it from the other assumptions, since the positivity of eF is essential for the conformality conclusion in Theorem 41.
[Lemma 25 (pages 12-13)] The induction step in Lemma 25 asserts that if a shortest geodesic γ between ∂D_{m-1} and ∂D_m does not pass through a vertex, then the two boundary curves are parallel near the endpoints and γ can be translated until an endpoint is a vertex without changing its length. This is not justified on a piecewise flat surface with possible conical singularities: ∂D_m need not be a geodesic parallel curve, and no argument is given that such a translation remains inside the combinatorial disk or preserves length. Since Lemma 25 feeds into Lemma 27 and hence into Proposition 38 and Theorem 41, this step needs a rigorous proof or a citation. If the statement fails, the bound m ≥ R/(2ε_n) and the properness argument collapse.

minor comments (4)

[Definition 5] Definition 5 calls every piecewise linear map between two triangulated PL surfaces with the same combinatorics a discrete conformal map, with no condition relating the two discrete metrics. This conflicts with the usage in Definition 32 and with the metric estimates in Theorem 30; please add the missing discrete-conformal relation or rename the map.
[Notation throughout] The symbol Ω^Δ_n is overloaded: in Definition 16 it denotes the geodesic-length PL surface, while in Definition 32 and the surrounding text it is used for the ℓ(f_n)-PL surface. After the compatibility issue is resolved, please use distinct notation or state the equality explicitly.
[Definition 32, condition (3)] Condition (3) says the image set {Φ_n(x)} is contained in a compact subset V ⊂ N, but N is not defined in that context; the target manifold should presumably be M̃.
[Theorem 35 proof] The proof asserts that each Φ_n is a homeomorphism on K without proving global injectivity; Lemma 19 gives only simplex-wise diffeomorphism, and Definition 16 only says that barycentric maps are assumed to exist. Please clarify why the global maps Ψ_n and Φ_n are homeomorphisms.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the convergence theorem is derived from LDCR, fullness, and barycentric estimates, none of which are equivalent to the conclusion.

full rationale

The derivation chain is not circular. Definition 32 posits admissible sequences whose discrete conformal factors f_n and f_tilde_n define the PL metrics ell(f_n) and ell(f_tilde_n); LDCR (Condition 21) is an explicit ratio-closeness assumption, not a restatement of conformal convergence. From it, Lemma 28 and Theorem 30 bound the pullback of the target PL metric by F_Delta,n g_Delta,n, and Corollary 15 (from [vDGW16]) plus Proposition 34 chain these estimates through the Riemannian barycentric maps. Theorems 35 and 41 then apply Arzela-Ascoli; the limit Fg is conformal to g by the definition of conformality. No fitted parameter is renamed as a prediction: the limiting conformal factor F is constructed as the limit of interpolated ratio functions H_n^2, not chosen to force the conclusion. The paper's own prior results ([GT17], [Gli11], [Gli16], [Gli24], and the [vDGW16] estimate, which includes one coauthor) are used as tools with stated assumptions that do not include Theorem 1; they are not the source of the conformal conclusion. The circle-packing application relies on the external Hexagonal Packing Lemma and [RS87]/[HR93], and the vertex-scaling application on Lemma 65 of [LSW22], so the main theorem is not sustained by self-citation alone. One genuine caveat, not a circularity, is that Definition 32 silently identifies the geodesic-length PL manifold Omega_n^Delta of Definition 16 with (Omega_n, T_n, ell(f_n)); this compatibility must hold for the [vDGW16] estimate and Theorem 30 to be chained, and it is verified only for the hexagonal packing in Section 7. That is an omitted hypothesis about the existence of admissible sequences, not an equivalence between an input and the theorem's conclusion.

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

The theorem rests on prior results for barycentric coordinates, the unified discrete conformal structure, and rigidity estimates from the circle packing and vertex scaling literature. None of these are proved in the paper, and they are load-bearing for the main theorem.

assumptions (7)

standard math Distortion estimates for Riemannian barycentric coordinates on (ϑ, ε)-full simplices (Theorem 14 and Lemmas 53/54 of [vDGW16]).
Invoked in Section 3.2 (Theorem 14, Corollary 15) and used in Proposition 34 and in the proof of Theorem 30 to compare Ψ^*g with g^Δ.
domain assumption The unified discrete conformal structure C_{α,η} of [GT17] covers circle packing, vertex scaling, and related structures.
Definition 3 and Section 2 take this as the framework for all discrete conformal structures; without it the theorem does not cover the promised 'zoo'.
standard math Existence, uniqueness, and smoothness of Karcher means on geodesic balls of radius less than half the convexity radius (Proposition 8 of [vDGW16], with [Kar77]).
Needed in Definition 9 and Lemma 10 to define the Riemannian barycentric maps Ψ_n and to ensure they are diffeomorphisms on closed simplices.
domain assumption Hexagonal Packing Lemma for bounded valence circle packings with rate O(1/n) (Theorem 58 of [HR93]).
Used in Section 7 (Lemma 45 and Theorem 58) to verify LDCR with s_m ≤ A/m for the circle packing example, i.e., properness.
domain assumption Discrete Schwarz Lemma for circle packings (Theorem 59 of [Rod87]) giving a uniform bound on the ratio of radii on compact sets.
Used in Corollary 60 in Section 7 to verify the bounded-ratio condition in Definition 32(2) for the circle packing application.
domain assumption Vertex scaling rigidity lemma of [LSW22] (Lemma 65) and Bücking's estimates [Büc16] used in Section 8 to discuss LDCR for vertex scaling.
These external results are used to argue that the theorem's hypotheses are satisfied for vertex scaling settings, though the properness rate is not known there.
standard math Arzela-Ascoli theorem and the measure-zero property of countable unions of edges.
Used in Theorem 35 and Corollary 40 (Arzela-Ascoli) and Theorem 41 (measure-zero complement) to obtain subsequential convergence and L∞ convergence.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Convergence of discrete conformal mappings on surfaces." pith.science (2026). https://pith.science/paper/52XAZDGJ

@misc{pith2026250717037,
  author       = {Pith},
  title        = {Pith review of: Convergence of discrete conformal mappings on surfaces},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/52XAZDGJ}},
  note         = {Machine review of arXiv:2507.17037}
}

read the original abstract

Discrete conformal mappings based on circle packing, vertex scaling, and related structures has had significant activity since Thurston proposed circle packing as a way to approximate conformal maps in the 1980s. The first convergence result of Rodin-Sullivan (1987) proved that circle packing maps do indeed converge to conformal maps to the disk. Recent results have shown convergence of maps of other discrete conformal structures to conformal maps as well. We give a general theorem of convergence of discrete conformal mappings between surfaces that allows for a variety of discrete conformal structures and manifolds with or without boundary. The mappings are a composition of piecewise linear discrete conformal mappings and Riemannian barycentric coordinates, called barycentric discrete conformal maps. Estimates of the barycentric discrete conformal maps allow extraction of convergent subsequences and estimates for the pullback of the Riemannian metric, proving conformality. The theorem requires assumptions on fullness of simplices to prevent degenerate triangles and a local discrete conformal rigidity generalizing hexagonal rigidity of circle packings.

Figures

Figures reproduced from arXiv: 2507.17037 by the authors.

**Figure 1.** Smooth and piecewise flat manifolds Let (M, g) and (M, f ge) be complete Riemannian surfaces. In what follows, we consider pairs of submanifolds Ω ⊆ M and Ωe ⊆ Mf and look to approximate conformal mappings between Ω and Ω. We take sequences e {Ωn} and {Ωen} that exhaust Ω and Ω and have geodesic triangulations with the same (combinatorial) triangulation e Tn. These have corresponding piecewise flat triangulated spa… view at source ↗

**Figure 2.** Definition of Φn our final statement. The Riemannian barycentric maps Ψ−1 n and Ψe n are estimated in [vDGW16]. To estimate the pullback metric across the discrete conformal map ϕn, we estimate edge lengths in the image in terms of edge lengths in the domain. This result does not depend on which particular discrete conformal structure we are working with since the proof uses the general framework set out in Section … view at source ↗

**Figure 3.** Geodesics connecting ∂Dm and ∂Dm−1. Since the induction hypothesis was that Dm−1 is such that the distance δm−1 ≥ ϑϵ(m − 1), we have that δm satisfies δm ≥ δm−1 + ℓ(γ) ≥ ϑϵ(m − 1) + ϑϵ = ϑϵm. □ We use the next few lemmas to estimate the number of generations m of a closed combinatorial disk contained in a geodesic ball of radius R. Lemma 26. Let (M, g) be a Riemannian manifold and let K ⊂ M be compact. Then there ex… view at source ↗

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

28 extracted references · 19 canonical work pages

[9]

doi:10.4310/gic.2016.v3.n3. a1. [Gli24] David Glickenstein. Geometric triangulations and discrete Laplacians on manifolds: an update. Comput. Geom., 118:Paper No. 102063, 26,

work page doi:10.4310/gic.2016.v3.n3 2016
[10]

2023.102063

doi:10.1016/j.comgeo. 2023.102063. [GLSW18] Xianfeng David Gu, Feng Luo, Jian Sun, and Tianqi Wu. A discrete uniformization theorem for polyhedral surfaces. Journal of Differential Geometry , 109(2):223 – 256,

arXiv 2023
[18]

[LXZ25] Yanwen Luo, Xu Xu, and Siqi Zhang

doi: 10.1007/s00454-022-00458-w . [LXZ25] Yanwen Luo, Xu Xu, and Siqi Zhang. Rigidity of infinite inversive distance circle packings in the plane,

work page doi:10.1007/s00454-022-00458-w
[19]

Rigidity of infinite inversive distance circle packings in the plane

arXiv:2211.07464. [MR90] Al Marden and Burt Rodin. On Thurston’s formulation and proof of Andreev’s theorem. In Computational methods and function theory (Valpara ´ ıso,

work page Pith review arXiv
[25]

[WGS15] Tianqi Wu, Xianfeng Gu, and Jian Sun

arXiv:1610.01168. [WGS15] Tianqi Wu, Xianfeng Gu, and Jian Sun. Rigidity of infinite hexagonal triangulation of the plane. Transactions of the American Mathematical Society , 367(9):6539–6555,

arXiv
[26]

[Xu18] Xu Xu

doi:10.4310/jdg/ 1721071504. [Xu18] Xu Xu. Rigidity of inversive distance circle packings revisited. Advances in Mathe- matics, 332:476–509,

doi:10.4310/jdg/
[27]

[Xu21] Xu Xu

doi:10.1016/j.aim.2018.05.026. [Xu21] Xu Xu. A new proof of Bowers-Stephenson conjecture. Math. Res. Lett. , 28(4):1283– 1306,

work page doi:10.1016/j.aim.2018.05.026 2018
[1966]

[Ste96] Kenneth Stephenson

URL: http://www.jstor.org/stable/2315353. [Ste96] Kenneth Stephenson. A probabilistic proof of Thurston’s conjecture on circle packings. Rendiconti del Seminario Matematico e Fisico di Milano , 66(1):201–291,

arXiv

Show all 28 references

[1977]

3160300502

doi:10.1002/cpa. 3160300502. [Kar14] Hermann Karcher. Riemannian center of mass and so called Karcher mean,

doi
[1981]

[BL24] Alexander I Bobenko and Carl O R Lutz

URL:https://www.numdam.org/ item/AST_1981__81__1_0/. [BL24] Alexander I Bobenko and Carl O R Lutz. Decorated discrete conformal maps and convex polyhedral cusps. International Mathematics Research Notices, 2024(12):9505– 9534, 04

2024
[1984]

34 DA VID GLICKENSTEIN AND LEE SIDBURY [CR96] D

doi: 10.1007/bf01210729. 34 DA VID GLICKENSTEIN AND LEE SIDBURY [CR96] D. Cooper and I. Rivin. Combinatorial scalar curvature and rigidity of ball packings. Mathematical Research Letters, 3(1):51–60,

doi
[1987]

[Rod89] Burt Rodin

doi:10.1007/BF01389079. [Rod89] Burt Rodin. Schwarz’s lemma for circle packings. II. J. Differential Geom., 30(2):539– 554,

doi
[1989]

[RS87] Burt Rodin and Dennis Sullivan

URL: http://projecteuclid.org/euclid.jdg/1214443601. [RS87] Burt Rodin and Dennis Sullivan. The circle packings to the Riemann mapping. Journal of Differential Geometry , 26(2):349–360,
[1990]

CONVERGENCE OF DISCRETE CONFORMAL MAPPINGS ON SURF ACES 35 [Rod87] Burt Rodin

doi: 10.1007/BFb0087901. CONVERGENCE OF DISCRETE CONFORMAL MAPPINGS ON SURF ACES 35 [Rod87] Burt Rodin. Schwarz’s lemma for circle packings. Invent. Math., 89(2):271–289,

doi
[1991]

[CL03] Bennett Chow and Feng Luo

doi:10.1007/BF01245096. [CL03] Bennett Chow and Feng Luo. Combinatorial Ricci flows on surfaces. Journal of Dif- ferential Geometry, 63:97–129,

doi
[1997]

[Ste66] P

doi:10.1215/S0012-7094-97-08611-7 . [Ste66] P. Stein. A note on the volume of a simplex. The American Mathematical Monthly , 73(3):299–301,

doi
[2004]

[Luo11] Feng Luo

doi:10.1142/S0219199704001501. [Luo11] Feng Luo. Rigidity of polyhedral surfaces, III. Geom. Topol., 15(4):2299–2319,

doi
[2008]

[B¨ uc16] Ulrike B¨ ucking

doi:10.1007/s10711-008-9292-7 . [B¨ uc16] Ulrike B¨ ucking. Approximation of Conformal Mappings Using Conformally Equiva- lent Triangular Lattices, pages 133–149. Advances in Discrete Differential Geometry. Springer Berlin Heidelberg,

doi
[2011]

[L WZ24] Yanwen Luo, Tianqi Wu, and Xiaoping Zhu

doi:10.2140/gt.2011.15.2299. [L WZ24] Yanwen Luo, Tianqi Wu, and Xiaoping Zhu. The convergence of discrete uniformiza- tions for genus zero surfaces. Discrete Comput. Geom. , 71(3):1057–1080,

2011 doi
[2014]

[Ken90] Wilfrid S

arXiv:1407.2087. [Ken90] Wilfrid S. Kendall. Probability, convexity, and harmonic maps with small image i: Uniqueness and fine existence. Proc. London Math. Soc. , 3(61):371–406,

arXiv
[2015]

2140/gt.2015.19.2155

doi:10. 2140/gt.2015.19.2155. [BS04] Philip L. Bowers and Kenneth Stephenson. Uniformizing dessins and Bely ˘i maps via circle packing. Mem. Amer. Math. Soc. , 170(805):xii+97,

2015
[2016]

[CdV91] Yves Colin de Verdi` ere

doi:10.1007/978-3-662-50447-5_3 . [CdV91] Yves Colin de Verdi` ere. Un principe variationnel pour les empilements de cercles. Invent. Math. , 104(3):655–669,

doi
[2017]

[Guo11] R

URL: http://arxiv.org/abs/1407.7045v1. [Guo11] R. Guo. Local rigidity of inversive distance circle packing. Transactions of the Amer- ican Mathematical Society, 363(9):4757–4776,

arXiv
[2018]

[GL W19] David Gu, Feng Luo, and Tianqi Wu

doi:10.4310/jdg/1527040872. [GL W19] David Gu, Feng Luo, and Tianqi Wu. Convergence of discrete conformal geometry and computation of uniformization maps. Asian Journal of Mathematics , 23(1):21– 34,
[2021]

[ZGZ+14] Min Zhang, Ren Guo, Wei Zeng, Feng Luo, Shing-Tung Yau, and Xianfeng Gu

doi:10.4310/MRL.2021.v28.n4.a15. [ZGZ+14] Min Zhang, Ren Guo, Wei Zeng, Feng Luo, Shing-Tung Yau, and Xianfeng Gu. The unified discrete surface Ricci flow. Graphical Models, 76(5):321–339,

2021 doi
[2022]

doi:10.2140/gt.2022. 26.937. [Luo04] Feng Luo. Combinatorial Yamabe flow on surfaces. Commun. Contemp. Math. , 6(5):765–780,

2022 doi
[2024]

[BPS15] Alexander I

doi:10.1093/imrn/rnae016. [BPS15] Alexander I. Bobenko, Ulrich Pinkall, and Boris A. Springborn. Discrete conformal maps and ideal hyperbolic polyhedra. Geom. Topol., 19(4):2155–2215,

doi
[2025]

[CMS84] Jeff Cheeger, Werner M¨ uller, and Robert Schrader

arXiv:2204.08145. [CMS84] Jeff Cheeger, Werner M¨ uller, and Robert Schrader. On the curvature of piecewise flat spaces. Communications in Mathematical Physics , 92(3):405–454, Sep

arXiv

Pith tools

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

[1] [9]

doi:10.4310/gic.2016.v3.n3. a1. [Gli24] David Glickenstein. Geometric triangulations and discrete Laplacians on manifolds: an update. Comput. Geom., 118:Paper No. 102063, 26,

work page doi:10.4310/gic.2016.v3.n3 2016

[2] [10]

2023.102063

doi:10.1016/j.comgeo. 2023.102063. [GLSW18] Xianfeng David Gu, Feng Luo, Jian Sun, and Tianqi Wu. A discrete uniformization theorem for polyhedral surfaces. Journal of Differential Geometry , 109(2):223 – 256,

arXiv 2023

[3] [18]

[LXZ25] Yanwen Luo, Xu Xu, and Siqi Zhang

doi: 10.1007/s00454-022-00458-w . [LXZ25] Yanwen Luo, Xu Xu, and Siqi Zhang. Rigidity of infinite inversive distance circle packings in the plane,

work page doi:10.1007/s00454-022-00458-w

[4] [19]

Rigidity of infinite inversive distance circle packings in the plane

arXiv:2211.07464. [MR90] Al Marden and Burt Rodin. On Thurston’s formulation and proof of Andreev’s theorem. In Computational methods and function theory (Valpara ´ ıso,

work page Pith review arXiv

[5] [25]

[WGS15] Tianqi Wu, Xianfeng Gu, and Jian Sun

arXiv:1610.01168. [WGS15] Tianqi Wu, Xianfeng Gu, and Jian Sun. Rigidity of infinite hexagonal triangulation of the plane. Transactions of the American Mathematical Society , 367(9):6539–6555,

arXiv

[6] [26]

[Xu18] Xu Xu

doi:10.4310/jdg/ 1721071504. [Xu18] Xu Xu. Rigidity of inversive distance circle packings revisited. Advances in Mathe- matics, 332:476–509,

doi:10.4310/jdg/

[7] [27]

[Xu21] Xu Xu

doi:10.1016/j.aim.2018.05.026. [Xu21] Xu Xu. A new proof of Bowers-Stephenson conjecture. Math. Res. Lett. , 28(4):1283– 1306,

work page doi:10.1016/j.aim.2018.05.026 2018

[8] [1966]

[Ste96] Kenneth Stephenson

URL: http://www.jstor.org/stable/2315353. [Ste96] Kenneth Stephenson. A probabilistic proof of Thurston’s conjecture on circle packings. Rendiconti del Seminario Matematico e Fisico di Milano , 66(1):201–291,

arXiv