Discrete minimal surfaces: Old and New
Pith reviewed 2026-05-18 02:47 UTC · model grok-4.3
The pith
All simply connected discrete minimal surfaces arise from circle patterns via a discrete Weierstrass representation formula.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The discretization of minimal surfaces via parallel face offsets of polyhedral surfaces yields a natural notion of vanishing mean curvature that admits a variational characterization. All simply connected discrete minimal surfaces of this type can be constructed from circle patterns by a discrete Weierstrass representation formula; this representation identifies the space of discrete minimal surfaces with the deformation space of circle patterns and therefore with classical Teichmüller theory.
What carries the argument
The discrete Weierstrass representation formula that converts circle-pattern data into discrete minimal surfaces.
If this is right
- The space of discrete minimal surfaces is parametrized by the deformation space of circle patterns.
- Classical tools from Teichmüller theory become available for studying existence, uniqueness, and moduli of discrete minimal surfaces.
- Variants obtained by changing the mean-curvature definition or by using circle packings and factorized cross ratios supply alternative discrete models.
- Open questions listed at the end indicate concrete directions for extending the theory to non-simply-connected surfaces or to other ambient geometries.
Where Pith is reading between the lines
- The link to circle patterns suggests that discrete minimal surfaces could be generated computationally by solving circle-pattern optimization problems rather than by direct curvature minimization.
- The same correspondence may yield discrete versions of classical theorems, such as the Bernstein theorem or the Weierstrass-Enneper representation, that can be tested on finite meshes.
- Because the construction is variational, it may admit natural extensions to discrete minimal surfaces with prescribed boundary or with obstacles.
Load-bearing premise
The parallel-face-offset definition of a polyhedral surface produces a discretization whose mean curvature vanishes in a variational sense.
What would settle it
An explicit example of a simply connected discrete minimal surface that cannot be recovered from any circle pattern by the discrete Weierstrass formula would refute the construction claim.
Figures
read the original abstract
We survey structure-preserving discretizations of minimal surfaces in Euclidean space. Our focus is on a discretization defined via parallel face offsets of polyhedral surfaces, which naturally leads to a notion of vanishing mean curvature and a corresponding variational characterization. All simply connected discrete minimal surfaces of this type can be constructed from circle patterns via a discrete Weierstrass representation formula. This representation links the space of discrete minimal surfaces to the deformation space of circle patterns, and thereby to classical Teichm\"uller theory. We also discuss variants of discrete minimal surfaces obtained by modifying the definition of mean curvature, restricting the variational criterion, or replacing circle pattern data with discrete conformal equivalence, Koebe-type circle packings, or quadrilateral meshes with factorized cross ratios. We conclude with open questions on discrete minimal surfaces.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript surveys structure-preserving discretizations of minimal surfaces in Euclidean space. Its focus is a discretization via parallel face offsets of polyhedral surfaces that induces a notion of vanishing mean curvature together with a variational characterization. The central claim is that all simply connected discrete minimal surfaces of this type arise from circle patterns through a discrete Weierstrass representation formula; this representation is said to link the surfaces to the deformation space of circle patterns and thereby to classical Teichmüller theory. Variants obtained by altering the mean-curvature definition, restricting the variational criterion, or substituting other discrete data (discrete conformal equivalence, Koebe packings, factorized cross-ratio quadrilaterals) are discussed, and the paper closes with open questions.
Significance. If the claimed surjectivity of the discrete Weierstrass map holds, the survey would supply a complete classification of simply connected discrete minimal surfaces in terms of circle-pattern deformation spaces, thereby furnishing a concrete bridge between discrete differential geometry and Teichmüller theory. The organizational overview of existing constructions and the explicit listing of open problems constitute additional value for the field.
major comments (2)
- [Abstract / §3] Abstract and the statement of the main theorem (presumably §3): the claim that 'all simply connected discrete minimal surfaces of this type can be constructed from circle patterns' asserts surjectivity of the discrete Weierstrass map. The forward direction is standard, but the converse—that every parallel-offset surface with vanishing mean curvature arises from some circle pattern—requires a completeness argument for the deformation space or a verification that global closing conditions are automatically satisfied. No explicit reference or derivation addressing this direction appears in the overview; without it the universal quantifier remains unsubstantiated.
- [§2] §2 (definition of the discretization): the assertion that parallel face offsets 'naturally lead to' a notion of vanishing mean curvature and a corresponding variational characterization is stated without an explicit formula for the discrete mean curvature or a derivation showing that the variational critical points coincide with the offset condition. This step is load-bearing for all subsequent claims that rely on the variational principle.
minor comments (2)
- Notation for the discrete Weierstrass data (edge lengths, radii, or cross ratios) should be introduced with a single consistent table or diagram early in the text to aid readability across the variants discussed later.
- A brief comparison table listing the different mean-curvature definitions and their associated variational principles would clarify the distinctions among the variants presented in the later sections.
Simulated Author's Rebuttal
We thank the referee for the careful reading and constructive comments. We address the two major points below and indicate planned revisions to strengthen the exposition.
read point-by-point responses
-
Referee: [Abstract / §3] Abstract and the statement of the main theorem (presumably §3): the claim that 'all simply connected discrete minimal surfaces of this type can be constructed from circle patterns' asserts surjectivity of the discrete Weierstrass map. The forward direction is standard, but the converse—that every parallel-offset surface with vanishing mean curvature arises from some circle pattern—requires a completeness argument for the deformation space or a verification that global closing conditions are automatically satisfied. No explicit reference or derivation addressing this direction appears in the overview; without it the universal quantifier remains unsubstantiated.
Authors: The forward direction is indeed immediate from the discrete Weierstrass formula. For the converse, the simply-connected assumption together with the variational characterization ensures that the global closing conditions are satisfied once local consistency with the circle pattern is achieved; this follows from the completeness of the deformation space of circle patterns on the sphere (or disk) as established in the Teichmüller-theoretic literature. We will add a concise paragraph in §3 sketching this argument and citing the relevant completeness result for circle-pattern deformation spaces. revision: yes
-
Referee: [§2] §2 (definition of the discretization): the assertion that parallel face offsets 'naturally lead to' a notion of vanishing mean curvature and a corresponding variational characterization is stated without an explicit formula for the discrete mean curvature or a derivation showing that the variational critical points coincide with the offset condition. This step is load-bearing for all subsequent claims that rely on the variational principle.
Authors: We agree that an explicit formula and short derivation would improve readability. The discrete mean curvature is given by the trace of the discrete shape operator obtained from the parallel offset, and its vanishing is equivalent to criticality of the discrete area functional under the offset constraint. We will insert the precise formula together with a one-paragraph derivation of the equivalence in the revised §2. revision: yes
Circularity Check
No circularity: survey draws on external literature without self-referential reductions
full rationale
This is a survey paper whose central statements, including the discrete Weierstrass representation linking minimal surfaces to circle patterns, are presented as established results from prior literature rather than new derivations internal to the manuscript. The definition of vanishing mean curvature via parallel face offsets is introduced directly from the polyhedral surface construction and leads to a variational characterization without any quoted step that redefines or fits a quantity in terms of itself. No self-citation is load-bearing for a uniqueness theorem or completeness claim within the paper's own equations; the 'all simply connected' assertion is framed as a known correspondence rather than a surjectivity proof reduced to fitted inputs. The derivation chain therefore remains self-contained against external benchmarks.
Axiom & Free-Parameter Ledger
Lean theorems connected to this paper
-
IndisputableMonolith/Cost/FunctionalEquation.leanwashburn_uniqueness_aczel unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
Definition 3.1 ... integrated mean curvature Hϕ = ½ Σ ℓij tan(αij/2) ... discrete minimal surface if H vanishes for all faces
-
IndisputableMonolith/Foundation/AlexanderDuality.leanalexander_duality_circle_linking unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
Theorem 3.6 ... every simply connected discrete minimal surface arises ... from circle pattern g and discrete holomorphic quadratic differential q
What do these tags mean?
- matches
- The paper's claim is directly supported by a theorem in the formal canon.
- supports
- The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
- extends
- The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
- uses
- The paper appears to rely on the theorem as machinery.
- contradicts
- The paper's claim conflicts with a theorem or certificate in the canon.
- unclear
- Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.
Reference graph
Works this paper leans on
-
[1]
Reiko Aiyama and Kazuo Akutagawa. Kenmotsu-Bryant type representation formulas for con- stant mean curvature surfaces inH 3(−c2) andS 3 1(c2).Ann. Global Anal. Geom., 17(1):49–75, 1999
work page 1999
-
[2]
Discrete isothermic surfaces.J
Alexander Bobenko and Ulrich Pinkall. Discrete isothermic surfaces.J. Reine Angew. Math., 475:187–208, 1996
work page 1996
-
[3]
Bobenko, Ulrike B¨ ucking, and Stefan Sechelmann
Alexander I. Bobenko, Ulrike B¨ ucking, and Stefan Sechelmann. Discrete minimal surfaces of Koebe type. InModern approaches to discrete curvature, volume 2184 ofLecture Notes in Math., pages 259–291. Springer, Cham, 2017
work page 2017
-
[4]
Bobenko, Tim Hoffmann, and Boris A
Alexander I. Bobenko, Tim Hoffmann, and Boris A. Springborn. Minimal surfaces from circle patterns: geometry from combinatorics.Ann. of Math. (2), 164(1):231–264, 2006
work page 2006
-
[5]
Alexander I. Bobenko and Ulrich Pinkall. Discretization of surfaces and integrable systems. InDiscrete integrable geometry and physics (Vienna, 1996), volume 16 ofOxford Lecture Ser. Math. Appl., pages 3–58. Oxford Univ. Press, New York, 1999
work page 1996
-
[6]
Bobenko, Ulrich Pinkall, and Boris A
Alexander I. Bobenko, Ulrich Pinkall, and Boris A. Springborn. Discrete conformal maps and ideal hyperbolic polyhedra.Geom. Topol., 19(4):2155–2215, 2015
work page 2015
-
[7]
Bobenko, Helmut Pottmann, and Johannes Wallner
Alexander I. Bobenko, Helmut Pottmann, and Johannes Wallner. A curvature theory for discrete surfaces based on mesh parallelity.Math. Ann., 348(1):1–24, 2010
work page 2010
-
[8]
Alexander I. Bobenko and Yuri B. Suris.Discrete differential geometry: Integrable structure, volume 98 ofGraduate Studies in Mathematics. American Mathematical Society, Providence, RI, 2008
work page 2008
-
[9]
Robert L. Bryant. Surfaces of mean curvature one in hyperbolic space. Number 154-155, pages 12, 321–347, 353. 1987. Th´ eorie des vari´ et´ es minimales et applications (Palaiseau, 1983–1984)
work page 1987
-
[10]
F. Burstall, U. Hertrich-Jeromin, and W. Rossman. Discrete linear Weingarten surfaces. Nagoya Math. J., 231:55–88, 2018. 18 W.Y. LAM AND M. YASUMOTO
work page 2018
-
[11]
On the Surfaces divisible into Squares by their Curves of Curvature.Proc
Arthur Cayley. On the Surfaces divisible into Squares by their Curves of Curvature.Proc. Lond. Math. Soc., 4:120–121, 1871/73
-
[12]
Joseph Cho, Kosuke Naokawa, Yuta Ogata, Mason Pember, Wayne Rossman, and Masashi Yasumoto.Discrete isothermic surfaces in Lie sphere geometry, volume 2375 ofLecture Notes in Mathematics. Springer, Cham, 2025
work page 2025
-
[13]
Conformal geometry of simplicial surfaces
Keenan Crane. Conformal geometry of simplicial surfaces. InAn excursion through discrete differential geometry, volume 76 ofProc. Sympos. Appl. Math., pages 59–101. Amer. Math. Soc., Providence, RI, 2020
work page 2020
-
[14]
Singularities of maximal surfaces.Math
Shoichi Fujimori, Kentaro Saji, Masaaki Umehara, and Kotaro Yamada. Singularities of maximal surfaces.Math. Z., 259(4):827–848, 2008
work page 2008
-
[15]
G´ alvez, Antonio Mart´ ınez, and Francisco Mil´ an
Jos´ e A. G´ alvez, Antonio Mart´ ınez, and Francisco Mil´ an. Flat surfaces in the hyperbolic 3- space.Math. Ann., 316(3):419–435, 2000
work page 2000
-
[16]
Complete linear Weingarten surfaces of Bryant type
Jos´ e Antonio G´ alvez, Antonio Mart´ ınez, and Francisco Mil´ an. Complete linear Weingarten surfaces of Bryant type. A Plateau problem at infinity.Trans. Amer. Math. Soc., 356(9):3405– 3428, 2004
work page 2004
-
[17]
Udo Hertrich-Jeromin. Transformations of discrete isothermic nets and discrete cmc-1 surfaces in hyperbolic space.Manuscripta Math., 102(4):465–486, 2000
work page 2000
-
[18]
Cambridge University Press, Cambridge, 2003
Udo Hertrich-Jeromin.Introduction to M¨ obius differential geometry, volume 300 ofLondon Mathematical Society Lecture Note Series. Cambridge University Press, Cambridge, 2003
work page 2003
-
[19]
T. Hoffmann, W. Rossman, T. Sasaki, and M. Yoshida. Discrete flat surfaces and linear Weingarten surfaces in hyperbolic 3-space.Trans. Amer. Math. Soc., 364(11):5605–5644, 2012
work page 2012
-
[20]
Discrete laplacians – spherical and hyperbolic.J
Ivan Izmestiev and Wai Yeung Lam. Discrete laplacians – spherical and hyperbolic.J. Lond. Math. Soc. (2), 2025
work page 2025
-
[21]
On offsets and curvatures for discrete and semidis- crete surfaces.Beitr
Oleg Karpenkov and Johannes Wallner. On offsets and curvatures for discrete and semidis- crete surfaces.Beitr. Algebra Geom., 55(1):207–228, 2014
work page 2014
-
[22]
Maximal surfaces in the 3-dimensional Minkowski spaceL 3.Tokyo J
Osamu Kobayashi. Maximal surfaces in the 3-dimensional Minkowski spaceL 3.Tokyo J. Math., 6(2):297–309, 1983
work page 1983
-
[23]
Maximal surfaces with conelike singularities.J
Osamu Kobayashi. Maximal surfaces with conelike singularities.J. Math. Soc. Japan, 36(4):609–617, 1984
work page 1984
-
[24]
Singularities of flat fronts in hyperbolic space.Pacific J
Masatoshi Kokubu, Wayne Rossman, Kentaro Saji, Masaaki Umehara, and Kotaro Yamada. Singularities of flat fronts in hyperbolic space.Pacific J. Math., 221(2):303–351, 2005
work page 2005
-
[25]
Motoko Kotani and Hisashi Naito. A Weierstrass representation formula for discrete harmonic surfaces.SIGMA Symmetry Integrability Geom. Methods Appl., 20:Paper No. 034, 15, 2024
work page 2024
-
[26]
Motoko. Kotani, Hisashi. Naito, and Toshiaki. Omori. A discrete surface theory.Comput. Aided Geom. Design, 58:24–54, 2017
work page 2017
-
[27]
Standard realizations of crystal lattices via harmonic maps.Trans
Motoko Kotani and Toshikazu Sunada. Standard realizations of crystal lattices via harmonic maps.Trans. Amer. Math. Soc., 353(1):1–20, 2001
work page 2001
-
[28]
Discrete minimal surfaces: Critical points of the area functional from inte- grable systems.Int
Wai Yeung Lam. Discrete minimal surfaces: Critical points of the area functional from inte- grable systems.Int. Math. Res. Not. IMRN, (6):1808–1845, 2018
work page 2018
-
[29]
Minimal surfaces from infinitesimal deformations of circle packings.Adv
Wai Yeung Lam. Minimal surfaces from infinitesimal deformations of circle packings.Adv. Math., 362:106939, 24, 2020
work page 2020
-
[30]
Quadratic differentials and circle patterns on complex projective tori.Geom
Wai Yeung Lam. Quadratic differentials and circle patterns on complex projective tori.Geom. Topol., 25(2):961–997, 2021
work page 2021
-
[31]
CMC-1 surfaces via osculating M¨ obius transformations between circle pat- terns.Trans
Wai Yeung Lam. CMC-1 surfaces via osculating M¨ obius transformations between circle pat- terns.Trans. Amer. Math. Soc., 377(5):3657–3690, 2024
work page 2024
-
[32]
Pullback of symplectic forms to the space of circle patterns
Wai Yeung Lam. Pullback of symplectic forms to the space of circle patterns. 2024
work page 2024
-
[33]
Space of circle patterns on tori and its symplectic form
Wai Yeung Lam. Space of circle patterns on tori and its symplectic form. 2024
work page 2024
-
[34]
Holomorphic vector fields and quadratic differentials on planar triangular meshes
Wai Yeung Lam and Ulrich Pinkall. Holomorphic vector fields and quadratic differentials on planar triangular meshes. InAdvances in discrete differential geometry, pages 241–265. Springer, [Berlin], 2016
work page 2016
-
[35]
Isothermic triangulated surfaces.Mathematische An- nalen, 368(1-2):165–195, 2017
Wai Yeung Lam and Ulrich Pinkall. Isothermic triangulated surfaces.Mathematische An- nalen, 368(1-2):165–195, 2017
work page 2017
-
[36]
Trivalent maximal surfaces in minkowski space
Wai Yeung Lam and Masashi Yasumoto. Trivalent maximal surfaces in minkowski space. In Mar´ ıa A. Ca˜ nadas-Pinedo, Jos´ e Luis Flores, and Francisco J. Palomo, editors,Lorentzian Geometry and Related Topics, Springer Proceedings in Mathematics & Statistics, pages 169–
-
[37]
DISCRETE MINIMAL SURFACES: OLD AND NEW 19
Springer International Publishing, 2017. DISCRETE MINIMAL SURFACES: OLD AND NEW 19
work page 2017
-
[38]
Combinatorial Yamabe flow on surfaces.Commun
Feng Luo. Combinatorial Yamabe flow on surfaces.Commun. Contemp. Math., 6(5):765–780, 2004
work page 2004
-
[39]
Lectures on discrete and polyhedral geometry, 2010
Igor Pak. Lectures on discrete and polyhedral geometry, 2010. Available athttp://www.math. ucla.edu/~pak/book.htm
work page 2010
-
[40]
Weierstrass-type representations.Geom
Mason Pember. Weierstrass-type representations.Geom. Dedicata, 204:299–309, 2020
work page 2020
-
[41]
Discrete Weierstrass-type representa- tions.Discrete Comput
Mason Pember, Denis Polly, and Masashi Yasumoto. Discrete Weierstrass-type representa- tions.Discrete Comput. Geom., 70(3):816–844, 2023
work page 2023
-
[42]
Computing discrete minimal surfaces and their conju- gates.Experiment
Ulrich Pinkall and Konrad Polthier. Computing discrete minimal surfaces and their conju- gates.Experiment. Math., 2(1):15–36, 1993
work page 1993
-
[43]
Architectural geometry.Computers & Graphics, 47:145–164, 2015
Helmut Pottmann, Michael Eigensatz, Amir Vaxman, and Johannes Wallner. Architectural geometry.Computers & Graphics, 47:145–164, 2015
work page 2015
-
[44]
A characterization of ideal polyhedra in hyperbolic 3-space.Ann
Igor Rivin. A characterization of ideal polyhedra in hyperbolic 3-space.Ann. of Math. (2), 143(1):51–70, 1996
work page 1996
-
[45]
Discrete linear Weingarten surfaces with singular- ities in Riemannian and Lorentzian spaceforms
Wayne Rossman and Masashi Yasumoto. Discrete linear Weingarten surfaces with singular- ities in Riemannian and Lorentzian spaceforms. InSingularities in generic geometry, vol- ume 78 ofAdv. Stud. Pure Math., pages 383–410. Math. Soc. Japan, Tokyo, 2018
work page 2018
-
[46]
Cambridge University Press, Cambridge,
Kenneth Stephenson.Introduction to circle packing. Cambridge University Press, Cambridge,
-
[47]
The theory of discrete analytic functions
-
[48]
Differentialgeometrie des isotropen Raumes
Karl Strubecker. Differentialgeometrie des isotropen Raumes. III. Fl¨ achentheorie.Math. Z., 48:369–427, 1942
work page 1942
-
[49]
Complete surfaces of constant mean curvature 1 in the hyperbolic 3-space.Ann
Masaaki Umehara and Kotaro Yamada. Complete surfaces of constant mean curvature 1 in the hyperbolic 3-space.Ann. of Math. (2), 137(3):611–638, 1993
work page 1993
-
[50]
Maximal surfaces with singularities in Minkowski space.Hokkaido Math
Masaaki Umehara and Kotaro Yamada. Maximal surfaces with singularities in Minkowski space.Hokkaido Math. J., 35(1):13–40, 2006
work page 2006
-
[51]
Infinitesimally flexible meshes and discrete minimal surfaces.Monatsh
Johannes Wallner and Helmut Pottmann. Infinitesimally flexible meshes and discrete minimal surfaces.Monatsh. Math., 153(4):347–365, 2008
work page 2008
-
[52]
Discrete maximal surfaces with singularities in Minkowski space.Differ- ential Geom
Masashi Yasumoto. Discrete maximal surfaces with singularities in Minkowski space.Differ- ential Geom. Appl., 43:130–154, 2015. Department of Mathematics, University of Luxembourg, 4365 Esch-sur-Alzette, Lux- embourg Email address:wyeunglam@gmail.com Graduate School of Technology, Industrial and Social Sciences, Tokushima Univer- sity, 2-1 Minamijyousanji...
work page 2015
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.