REVIEW 3 major objections 3 minor 12 references
Singularity formation in axially symmetric mean curvature flow with Neumann boundary
T0 review · 3 major / 3 minor · reviewed 2026-08-14 · deepseek-v4-flash
Pith's one-line read This paper proves that every singularity at the first singular time of a smooth axially symmetric mean curvature flow in R^3 with Neumann boundary is of type I: curvature blows up at most like C/(T-t), with no sign restriction on mean…
desk verdict The target result is genuine and attractive, but a quantifier error at the catenoid-limit contradiction in Theorem 6.1 breaks the main proof, so the paper is not acceptable as written. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
Three estimates carry the argument: the height bound $y\ge c$ in negative mean curvature regions, the gradient bound $yv \le C$, and the curvature ratio bound $k/p \le C$. On top of these, the paper uses the parabolic rescaling (5.2) centered at a maximum-curvature point, which preserves axial symmetry and yields uniform $C^\infty$ convergence to a limit flow. For the non-type-I cases the limit is stationary and hence the catenoid, the minimal surface of revolution obtained by rotating $\hat y = c\cosh(\hat x_1/c)$ about the axis; the product $\hat v \hat y$ is unbounded along the axis, while the gradient estimate makes the rescaled product bounded, producing the contradiction. For the type-I case the key object is the evolution equation for $q/H$, combined with the non-cylindrical maximum principle (Proposition 7.3), which turns the boundary and neighborhood information into the bound $|q| \le C p$ and hence the type-I curvature bound.
What would settle it
Compute, along the rescaled sequence $\tilde M_{i,\tau}$, the quantity $\sup_l \tilde v_i(l,0)\tilde y_i(l,0)$ for a sequence of points moving out along the axis; if the supremum approaches the catenoid's unbounded value while the gradient bound $\tilde v_i\tilde y_i \le C$ holds, the contradiction claimed in Theorem 6.1 fails. More directly, exhibiting one sequence of bounded-mean-curvature flows whose rescaled limit is a catenoid and for which the lower bound $\hat v(l)\hat y(l)-\epsilon$ holds only for $i>I_0(l)$ with $I_0(l)$ unbounded in $l$ would settle the proof's gap.
Extended reading notes
Core claim
The paper's central claim is Theorem 1.1: in the axially symmetric Neumann-boundary setting, no condition on the sign of the mean curvature is needed, and all singularities at the first singular time are type I. The strategy is to show that singularities cannot occur in regions of negative mean curvature, where direct estimates keep the full curvature tensor bounded. If a singularity occurs while the mean curvature is bounded, or while $|A|^2/H^2\to \infty$, a parabolic rescaling around the maximum-curvature point produces a stationary limit, which must be the catenoid; the catenoid's height-gradient product $\hat v \hat y$ grows without bound along the axis, contradicting the gradient estimate $yv \le C$. The only remaining case has $H\to\infty$ with $|A|^2/H^2$ bounded, and there an adaptation of the $q/H$ evolution argument from [10] yields $|A|^2 \le C/(T-t)$.
Load-bearing premise
The argument in Theorem 6.1 requires a pointwise lower bound on the rescaled surfaces to remain valid as the spatial point is taken to infinity along the catenoid, even though convergence is only established on compact subsets.
Editorial extensions
If this is right
- At the first singular time the curvature satisfies $|A|^2 \le C/(T-t)$, so no type II blow-up can occur in this symmetry class.
- No singularity can occur while the mean curvature stays bounded, and in negative mean curvature regions the full curvature tensor is bounded.
- Singularities are confined to regions where $H\to\infty$ and $|A|^2/H^2$ remains bounded.
- No smooth axially symmetric surface with Neumann boundary in $\mathbb{R}^3$ can have $H<0$ everywhere, a static statement independent of the flow.
- The classification covers initial data whose mean curvature changes sign and stays negative up to the singular time, extending the earlier positive-mean-curvature result to that broader class.
Reading between the lines
- If the quantifier gap in Theorem 6.1 is repaired by a uniform counterpart of the pointwise lower bound, the classification would be fully established; the natural route is to control $I_0(l)$ through an integral or maximum-principle estimate rather than pointwise convergence.
- The same height-gradient-catenoid obstruction should rule out type II singularities in higher-dimensional axially symmetric flows with boundary, because the unbounded $\hat v \hat y$ product is a one-dimensional feature of the catenoid profile.
- A numerical test could evolve many axially symmetric initial surfaces with systematically negative mean curvature under Neumann boundary conditions and check whether the flow develops a singularity; the paper predicts none until the global extinction time.
- In the volume-preserving axially symmetric problem studied by the same authors, the same split into negative-curvature regions and a catenoid limit may give a singularity classification without assuming volume preservation.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. This paper studies smooth, compact, axially symmetric mean curvature flow in R^3 with Neumann boundary on two coaxial planes. The announced theorem (Theorem 1.1) asserts that at the first singular time all singularities are of type I, without any sign assumption on mean curvature. The proof strategy is to rule out (a) singularities with bounded mean curvature and (b) singularities where |A|^2/H^2 tends to infinity by rescaling and obtaining a catenoid limit; the remaining case |A|^2/H^2 bounded is then handled by Huisken-type estimates. The paper also presents a static corollary that no such axially symmetric surface with Neumann boundary can have H<0 everywhere.
Significance. If the classification were proved, it would strengthen Huisken's type-I result in an axially symmetric setting with free boundary and would be a useful contribution, with a clean corollary excluding H<0 everywhere. The paper is well organized and includes explicit proofs for several auxiliary estimates, such as the height bound and the curvature estimate in Proposition 3.4. However, the central proof currently relies on a limit-exchange step that is not justified in Theorem 6.1, and several foundational lemmas are cited to unpublished preprints. The main theorem is therefore not established in the submitted form.
major comments (3)
- [Section 6, proof of Theorem 6.1] The advertised contradiction from the catenoid comparison rests on an unjustified exchange of quantifiers. The paper establishes, for every ε>0 and every l in M^2, an index I0(l) such that for all i>I0(l) one has v_hat(l)y_hat(l)-ε ≤ v_tilde_i(l,τ0)y_tilde_i(l,τ0), and hence (v_hat(l)y_hat(l)-ε)/α_i ≤ c. The next sentence, however, fixes i and lets l run to infinity on the catenoid, claiming the left-hand side becomes arbitrarily large. This requires the inequality for one fixed i at arbitrarily large l, whereas the convergence statement in Section 5 is only on compact subsets and I0(l) may grow with l. For each fixed l the divided inequality is perfectly consistent with Lemma 3.2 because α_i tends to infinity, so the contradiction does not follow. Since Theorem 6.2 repeats the same argument, the exclusion of both the bounded-mean-curvature case and the case |A|^2/H^2→∞ is not proved; these exclusions are the main structural step in Theorem 1.1.
- [Sections 3 and 5] Lemma 3.2, the gradient estimate yv≤c, and the rescaling procedure are quoted from the unpublished preprint [8], while Proposition 4.1 is quoted from [5]. These results are load-bearing: Lemma 3.2 underlies Proposition 3.4 and the compactness argument in Section 5, and Proposition 4.1 is essential to restrict singularities to Ω∖Ω_tilde^-. As submitted, a substantial part of the argument is inaccessible to the reader; the authors should include proofs of these results or replace the references with published versions.
- [Appendix, Proposition 7.3] The non-cylindrical maximum principle is stated without proof and without a precise theorem reference, although it is used in Proposition 7.1 to pass from the PDE for q/H to a boundary supremum over a moving space-time domain. Since the hypotheses involve a vector field a that is only assumed continuous near maxima and the boundary set δV is nonstandard, this is not a routine citation as written. The type I estimate for the remaining case is therefore incomplete.
minor comments (3)
- [Section 5] The bulleted case list is typeset incorrectly (showing '/Bullet') and the three cases are not labelled; this impedes reading.
- [Section 6, proof of Theorem 6.1] The notation τ0 ∈ (-α_{I0}^2 t_{I0},0) is unclear because I0 is chosen in the same sentence as τ0; the order of quantifiers should be stated more carefully.
- [Remark 7.2] The comparison argument involving the enclosing cylinder should specify the comparison principle and the boundary conditions being used, since the cylinder does not have the same Neumann boundary data as the evolving surface.
Circularity Check
Type-I singularity theorem leans on unpublished self-cited lemmas; no constructional circularity but not self-contained.
-
self citation load bearing
[Section 3, Lemma 3.2]
"Lemma 3.2. (Gradient Estimate) There exists a constant c > 0 depending only on the initial hypersurface M0 such that yv ≤ c. Proof. See Lemma 5.2 in [8]."
The gradient bound yv≤c is a central a priori estimate. It is used in Proposition 3.4 to bound |k|/p and in Theorem 6.1 to obtain the contradiction that excludes bounded-mean-curvature singularities. The proof is not given; it is deferred to the authors' own unpublished preprint [8]. The main theorem's exclusion of type II singularities therefore rests on a self-citation to an inaccessible prior work.
-
self citation load bearing
[Introduction, paragraph 5]
"In this setting, the authors [8] proved that if the mean curvature is uniformly bounded on any finite time interval, then no singularity can develop during that time."
Theorem 6.1, which rules out singularities when H is bounded, is exactly the result attributed here to the authors' preprint [8]. The proof of Theorem 6.1 then invokes Lemma 3.2, which is also cited to [8]. Thus the key structural step—removing the positive-mean-curvature restriction—is supported by a self-citation chain to an unpublished preprint rather than by a self-contained derivation.
full rationale
The main theorem is not definitionally circular: the quantities y, v, p, q are geometric, and no parameter is fitted to data. The final type-I bound is obtained by an independent maximum-principle argument following Huisken [10]. However, the paper depends crucially on Lemma 3.2 (the gradient estimate yv≤c), whose proof is only a citation to the authors' own unpublished preprint [8]. That lemma is used in Proposition 3.4 and in the contradiction argument of Theorem 6.1 that rules out bounded-mean-curvature singularities, so it is load-bearing for the exclusion of type II singularities. The introduction also claims that the bounded-H extension was already proved in [8], and the paper's proof of that extension again relies on the same self-cited lemma. The rescaling procedure and negative-curvature estimates additionally reference unpublished self-cited works [8] and [5]. These dependencies do not make the claim definitionally equivalent to its inputs, but they move the burden of proof into inaccessible sources. (The suspected quantifier error in Theorem 6.1 is a mathematical correctness concern, not a circularity under the definitions used here.)
Assumptions & free parameters
assumptions (5)
- domain assumption Gradient estimate yv <= C (Lemma 3.2)
- domain assumption Classification of complete axially symmetric minimal surfaces, with only the catenoid as the non-flat stationary limit
- domain assumption Non-cylindrical parabolic maximum principle (Proposition 7.3)
- domain assumption Boundary regularity and maximum principle estimates for axially symmetric MCF with Neumann data from [4], [5], and [8]
- standard math Singular times of axially symmetric MCF are finite and discrete (Altschuler-Angenent-Giga [1], Athanassenas [3])
Cite this review
Pith. "Pith review of Singularity formation in axially symmetric mean curvature flow with Neumann boundary." pith.science (2026). https://pith.science/paper/FMSRJQXG
@misc{pith2026190802871,
author = {Pith},
title = {Pith review of: Singularity formation in axially symmetric mean curvature flow with Neumann boundary},
year = {2026},
howpublished = {\url{https://pith.science/paper/FMSRJQXG}},
note = {Machine review of arXiv:1908.02871}
}
abstract
We study mean curvature flow of smooth, axially symmetric surfaces in $\mathbb{R}^3$ with Neumann boundary data. We show that all singularities at the first singular time must be of type I.
Reference graph
Works this paper leans on
-
[8]
On the extension of axially symmet- ric volume preserving mean curvature flow
H EAD , J., AND KANDANAARACHCHI , S. On the extension of axially symmet- ric volume preserving mean curvature flow. Pre-print - submitted (2017)
work page 2017
-
[5]
Singularities of axially symmetric volume preserving mean curvature flow
A THANASSENAS , M., AND KANDANAARACHCHI , S. Singularities of axially symmetric volume preserving mean curvature flow. Pre-print - submitted (2017)
work page 2017
-
[1]
A LTSCHULER , S., A NGENENT , S. B., AND GIGA , Y. Mean curvature flow through singularities for surfaces of rotation. J. Geom. Anal. 5 , 3 (1995), 293– 358
work page 1995
-
[2]
V olume-preserving mean curvature flow of rotationally symmetric surfaces
A THANASSENAS , M. V olume-preserving mean curvature flow of rotationally symmetric surfaces. Comment. Math. Helv. 72, 1 (1997), 52–66
work page 1997
-
[3]
Behaviour of singularities of the rotationally symmetr ic, volume-preserving mean curvature flow
A THANASSENAS , M. Behaviour of singularities of the rotationally symmetr ic, volume-preserving mean curvature flow. Calc. V ar . Partial Differential Equa- tions 17, 1 (2003), 1–16
work page 2003
-
[4]
On the convergence of axially symmetric volume preserving mean curvature flow
A THANASSENAS , M., AND KANDANAARACHCHI , S. On the convergence of axially symmetric volume preserving mean curvature flow. Pac. J. Math. 259, 1 (2012), 41–54
work page 2012
-
[6]
B ODE , J. S. Mean Curvature Flow of Cylindrical Graphs . PhD thesis, Freie Universit¨ at, Berlin, 2007
work page 2007
-
[7]
Regularity theory for mean curvature flow
E CKER , K. Regularity theory for mean curvature flow . Progress in Nonlin- ear Differential Equations and their Applications, 57. Bir kh¨ auser Boston Inc., Boston, MA, 2004
work page 2004
Show all 12 references
-
[9]
Flow by mean curvature of convex surfaces into spheres
H UISKEN , G. Flow by mean curvature of convex surfaces into spheres. J. Differential Geom. 20, 1 (1984), 237–266
1984
-
[10]
Asymptotic behavior for singularities of the mean curva ture flow
H UISKEN , G. Asymptotic behavior for singularities of the mean curva ture flow. J. Differential Geom. 31, 1 (1990), 285–299
1990
-
[11]
Mean curvature flow with surgeries of two-convex hypersurfaces
H UISKEN , G., AND SINESTRARI , C. Mean curvature flow with surgeries of two-convex hypersurfaces. Invent. Math. 175, 1 (2009), 137–221
2009
-
[12]
Principes du maximum paraboliques pour des domaines (x, t) non- cylindriques
L UMER , G. Principes du maximum paraboliques pour des domaines (x, t) non- cylindriques. In S´eminaire de Th ´eorie du Potentiel, Paris, No. 8 , vol. 1235 of Lecture Notes in Math. Springer, Berlin, 1987, pp. 105–113. School of Mathematics, Monash University, Australia john.h...
1987
Reviewed August 14, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.