arxiv: 2605.10589 · v1 · submitted 2026-05-11 · 🧮 math.DG · math.AP

Recognition: no theorem link

Distance between minimal surfaces and flows

Tobias Holck Colding , William P. Minicozzi II

Authors on Pith no claims yet

Pith reviewed 2026-05-12 05:19 UTC · model grok-4.3

classification 🧮 math.DG math.AP

keywords minimal hypersurfacesdistance functionviscosity supersolutionmean curvature flowHarnack inequalitieselliptic PDEparabolic PDE

0 comments

The pith

The distance between two minimal hypersurfaces satisfies a natural elliptic partial differential equation in the viscosity sense.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper establishes that the distance function between two minimal hypersurfaces in a Riemannian manifold serves as a Lipschitz continuous supersolution to an elliptic partial differential equation when interpreted in the viscosity sense. This viewpoint retrieves standard facts about minimal hypersurfaces while also yielding finer control over how the surfaces are separated. Allowing one hypersurface to move by mean curvature flow produces a parallel result for a parabolic equation and, in particular, local Harnack inequalities for the distance. A version in which both hypersurfaces evolve simultaneously is included as well, addressing a question that appears across many geometric problems.

Core claim

We will show that the distance between two minimal hypersurfaces is a Lipschitz continuous supersolution, in the viscosity sense, of a natural elliptic partial differential equation. This not only recovers several well-known properties of minimal hypersurfaces, but also encodes substantially richer information. Moreover, if the reference hypersurface is allowed to evolve by mean curvature flow, one obtains comparably strong estimates for a corresponding parabolic PDE, leading in particular to local Harnack inequalities for the distance. There is even a fully parabolic extension in which both hypersurfaces evolve.

What carries the argument

The distance function between the two minimal hypersurfaces, shown to be a Lipschitz continuous viscosity supersolution of the elliptic PDE.

If this is right

Several classical properties of minimal hypersurfaces follow directly from the supersolution property.
The distance encodes substantially more information than the classical properties alone.
Local Harnack inequalities hold for the distance when the reference surface evolves by mean curvature flow.
Strong estimates are obtained for the associated parabolic PDE.
The same conclusions extend to the case in which both hypersurfaces evolve by mean curvature flow.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The same viscosity perspective may supply comparison principles that quantify how close distinct minimal hypersurfaces can remain.
The approach offers a uniform way to derive distance estimates across a range of geometric settings where evolving hypersurfaces appear.
It suggests a possible route to barrier arguments or uniqueness statements for minimal surfaces under weak assumptions on the ambient space.

Load-bearing premise

The distance function between the hypersurfaces is well-defined and can be analyzed as a Lipschitz continuous viscosity supersolution without further regularity or topological assumptions on the ambient manifold or the hypersurfaces themselves.

What would settle it

An explicit pair of minimal hypersurfaces in Euclidean space whose distance function fails to satisfy the viscosity supersolution inequality for the stated elliptic PDE at an interior point would disprove the central claim.

read the original abstract

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

Colding and Minicozzi frame the distance between minimal hypersurfaces as a viscosity supersolution to an elliptic PDE, with clean extensions to mean curvature flow that yield Harnack inequalities.

read the letter

The main new piece is treating the distance function between two minimal hypersurfaces as a Lipschitz viscosity supersolution to a natural elliptic PDE. This recovers classical facts about minimal surfaces while giving a PDE handle that encodes extra information. The parabolic extensions are the most concrete payoff: when one surface moves by mean curvature flow you get corresponding estimates for a parabolic PDE, including local Harnack inequalities for the distance, and there is even a version where both surfaces evolve. Tracking distances between evolving hypersurfaces is a recurring issue in geometric flows, so the setup has clear motivation.

Referee Report

2 major / 1 minor

Summary. The paper claims to prove that the distance function between two minimal hypersurfaces is a Lipschitz continuous viscosity supersolution to a natural elliptic PDE. This recovers known properties of minimal hypersurfaces and encodes additional information. Extensions are given when one or both surfaces evolve by mean curvature flow, yielding corresponding parabolic PDE estimates including local Harnack inequalities for the distance.

Significance. If the viscosity supersolution property holds with the stated regularity, the result unifies several classical facts about minimal hypersurfaces under a single PDE framework and supplies new comparison tools for distances under mean curvature flow. The fully parabolic extension is potentially useful for tracking evolving interfaces in geometric analysis.

major comments (2)

[Abstract] The central claim is stated in the abstract but the manuscript provides no explicit form of the 'natural elliptic partial differential equation', no derivation of the viscosity supersolution property, and no supporting calculations or test cases. Without these, the assertion that the distance is a supersolution cannot be verified.
[Abstract] The weakest assumption (that the distance is well-defined and Lipschitz without extra regularity or topological hypotheses on the ambient manifold or hypersurfaces) is asserted but not justified or tested in the provided text; this assumption is load-bearing for the viscosity analysis.

minor comments (1)

[Abstract] The abstract refers to 'several well-known properties' recovered by the result; an explicit list or reference to which properties are recovered would improve clarity.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their careful reading and constructive comments on our manuscript. We address each major comment below and will revise the paper to improve clarity and explicitness where needed.

read point-by-point responses

Referee: [Abstract] The central claim is stated in the abstract but the manuscript provides no explicit form of the 'natural elliptic partial differential equation', no derivation of the viscosity supersolution property, and no supporting calculations or test cases. Without these, the assertion that the distance is a supersolution cannot be verified.

Authors: We agree that the abstract would be strengthened by stating the explicit PDE. In the revised version we will include the precise form of the elliptic operator (the one for which the distance function is a viscosity supersolution) directly in the abstract. The derivation appears in Section 3: we verify the viscosity supersolution inequality by testing against smooth test functions at points of contact, using the minimality condition to obtain the required inequality on the second derivatives. The supporting calculations are contained in the proof of Theorem 1.1 and the subsequent lemmas. We will add a short outline of the key steps in the introduction for readability. As the result is purely theoretical we do not provide numerical test cases, but we can include a brief discussion of the flat case (parallel hyperplanes in Euclidean space) in the revision if the referee finds it helpful. revision: yes
Referee: [Abstract] The weakest assumption (that the distance is well-defined and Lipschitz without extra regularity or topological hypotheses on the ambient manifold or hypersurfaces) is asserted but not justified or tested in the provided text; this assumption is load-bearing for the viscosity analysis.

Authors: The Lipschitz continuity of the distance function between two disjoint closed hypersurfaces follows immediately from the triangle inequality in any length space and requires no further regularity or topological assumptions beyond the hypersurfaces being closed and embedded (as stated in the setup). We will insert a short paragraph in the introduction citing this standard fact and referencing the relevant background in Riemannian geometry. The assumption is indeed the weakest possible and is already implicit in the problem statement; we will make the justification explicit in the revised text. revision: yes

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper derives that the distance function between two minimal hypersurfaces is a Lipschitz continuous viscosity supersolution to a natural elliptic PDE, with extensions to mean curvature flow yielding parabolic estimates and Harnack inequalities. This follows from standard viscosity solution techniques applied to the minimal surface equation and MCF evolution, without reducing to self-definitional equivalences, fitted parameters renamed as predictions, or load-bearing self-citations. The abstract explicitly frames the result as recovering known properties while encoding richer information, indicating an independent derivation chain grounded in geometric analysis rather than circular reduction to inputs. No quoted equations or steps exhibit the enumerated circular patterns.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claim rests on standard definitions of minimal hypersurfaces, mean curvature flow, and viscosity solutions for elliptic/parabolic PDEs. No free parameters, invented entities, or ad-hoc axioms are mentioned in the abstract.

axioms (2)

standard math Viscosity solution theory for elliptic and parabolic PDEs
The result is stated in the viscosity sense and relies on this established framework for weak solutions.
domain assumption Standard properties and definitions of minimal hypersurfaces and mean curvature flow
The distance analysis assumes the classical definitions from differential geometry.

pith-pipeline@v0.9.0 · 5395 in / 1328 out tokens · 63953 ms · 2026-05-12T05:19:37.787295+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

26 extracted references · 26 canonical work pages

[1]

Andrews, Noncollapsing in mean-convex mean curvature flow

B. Andrews, Noncollapsing in mean-convex mean curvature flow. Geom. Topol. 16 (2012), no. 3, 1413--1418

work page 2012
[2]

Andrews, M

B. Andrews, M. Langford and J. McCoy, Non-collapsing in fully non-linear curvature flows. Ann. Inst. H. Poincar\'e C Anal. Non Lin\'eaire 30 (2013), no. 1, 23---32

work page 2013
[3]

Bamler and B

R. Bamler and B. Kleiner, On the multiplicity one conjecture for mean curvature flows of surfaces , preprint

work page
[4]

Blair, A generalization of the catenoid , Canad

D. Blair, A generalization of the catenoid , Canad. J. Math. 27 (1975), 231--236

work page 1975
[5]

Brendle, Two-point functions and their applications in geometry , Bull

S. Brendle, Two-point functions and their applications in geometry , Bull. Amer. Math. Soc. (N.S.) 51 (2014), no. 4, 581--596

work page 2014
[6]

Calabi, An extension of E

E. Calabi, An extension of E. Hopf's maximum principle with an application to Riemannian geometry. Duke Math. J. 25 (1958), 45--56

work page 1958
[7]

Y.G. Chen, Y. Giga and S. Goto, Uniqueness and existence of viscosity solutions of generalized mean curvature flow equations. JDG 33 (1991), no. 3, 749--786

work page 1991
[8]

Choe and J

J. Choe and J. Hoppe, Higher dimensional minimal submanifolds generalizing the catenoid and helicoid , Tohoku Math. J. (2) 65 (2013), no. 1, 43--55

work page 2013
[9]

Colding and W.P

T.H. Colding and W.P. Minicozzi II, A course in minimal surfaces, Graduate Studies in Mathematics, vol. 121 (American Mathematical Society, Providence, RI, 2011)

work page 2011
[10]

Colding and W.P

T.H. Colding and W.P. Minicozzi II, Level set method for motion by mean curvature. Notices Amer. Math. Soc. 63 (2016), no. 10, 1148-1153

work page 2016
[11]

Colding and W.P

T.H. Colding and W.P. Minicozzi II, Connections between geometry and PDE, in Forward from the Fields Medal. Fields Institute Communications series, Springer

work page
[12]

Crandall, H

M.G. Crandall, H. Ishii, and P.L. Lions, User's guide to viscosity solutions of second order partial differential equations. Bull. Amer. Math. Soc. (N.S.) 27 (1992), no. 1, 1--67

work page 1992
[13]

Du and J

W. Du and J. Zhu, Spectral quantization for ancient asymptotically cylindrical flows , Adv. Math. 479 (2025), part A, Paper No. 110422, 70 pp

work page 2025
[14]

Ecker and G

K. Ecker and G. Huisken, Interior estimates for hypersurfaces moving by mean curvature , Invent. Math. 105 (1991), no. 3, 547--569

work page 1991
[15]

Evans and J

L.C. Evans and J. Spruck, Motion of level sets by mean curvature. I , JDG 33 (1991), no. 3, 635--681

work page 1991
[16]

Federer, Geometric measure theory

H. Federer, Geometric measure theory. Die Grundlehren der mathematischen Wissenschaften, Band 153 Springer-Verlag New York Inc., New York 1969

work page 1969
[17]

Giga, Surface Evolution Equations - A Level Set Approach, Monogr

Y. Giga, Surface Evolution Equations - A Level Set Approach, Monogr. Math., 99, Birkh\"auser, 2006

work page 2006
[18]

Gilbarg and N

D. Gilbarg and N. Trudinger, Elliptic partial differential equations of second order. Reprint of the 1998 edition. Classics in Mathematics. Springer-Verlag, Berlin, 2001

work page 1998
[19]

Haslhofer and B

R. Haslhofer and B. Kleiner, Mean curvature flow of mean convex hypersurfaces , Comm. Pure Appl. Math. 70 (2017), no. 3, 511--546

work page 2017
[20]

Heintze and H

E. Heintze and H. Karcher, A general comparison theorem with applications to volume estimates for submanifolds , Ann. Sci. \'Ecole Norm. Sup. (4) 11 (1978), no. 4, 451--470

work page 1978
[21]

Hoffman and W.H

D. Hoffman and W.H. Meeks III, The strong halfspace theorem for minimal surfaces. Invent. Math. 101 (1990), no. 2, 373--377

work page 1990
[22]

Huisken, Asymptotic behavior for singularities of the mean curvature flow

G. Huisken, Asymptotic behavior for singularities of the mean curvature flow. J. Differential Geom. 31 (1990), no. 1, 285--299

work page 1990
[23]

Ishii, On the equivalence of two notions of weak solutions, viscosity solutions and distribution solutions

H. Ishii, On the equivalence of two notions of weak solutions, viscosity solutions and distribution solutions . Funkcial. Ekvac. 38 (1995), no. 1, 101--120

work page 1995
[24]

Langford, A general pinching principle for mean curvature flow and applications , Calc

M. Langford, A general pinching principle for mean curvature flow and applications , Calc. Var. Partial Differential Equations 56 (2017), no. 4, Paper No. 107, 31 pp

work page 2017
[25]

Meeks III, and J

W.H. Meeks III, and J. P\'erez, The classical theory of minimal surfaces , Bull. Amer. Math. Soc. (N.S.) 48 (2011), no. 3, 325--407

work page 2011
[26]

P\'erez, Minimal surfaces of finite genus: Classification, dynamics and laminations , ICM Proceedings 2026, to appear

J. P\'erez, Minimal surfaces of finite genus: Classification, dynamics and laminations , ICM Proceedings 2026, to appear

work page 2026