pith. sign in

arxiv: 2606.17353 · v1 · pith:RQRNXRMTnew · submitted 2026-06-15 · 🧮 math.DG · math.AP

Free boundary flow through cylindrical singularities

Yueheng Bao , Robert Haslhofer This is my paper

Pith reviewed 2026-06-27 01:54 UTC · model grok-4.3

classification 🧮 math.DG math.AP
keywords mean curvature flowfree boundarycylindrical singularitiesmean-convex neighborhoodlevel set flowBrakke flowwell-posedness
0
0 comments X

The pith

Free boundary mean curvature flow is well-posed through cylindrical and half-cylindrical singularities.

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

The paper proves that singularities of type R^k times S^{n-k}, R^k_+ times S^{n-k}, or R^k times S^{n-k}_+ in mean curvature flow with free boundary all have mean-convex neighborhoods. It combines the classification of ancient asymptotically cylindrical flows with foundational results on free boundary Brakke flows to establish this property. Generalizing earlier interior results, it shows that the free boundary level set flow does not fatten when every singularity has a mean-convex neighborhood. The authors conclude that the flow remains well-posed precisely when all singularities are cylindrical or half-cylindrical.

Core claim

Singularities of cylindrical or half-cylindrical type in free boundary mean curvature flow possess mean-convex neighborhoods. Using this property, the free boundary level set flow is shown to be nonfattening, which implies that the flow is well-posed through such singularities.

What carries the argument

The mean-convex neighborhood property for cylindrical and half-cylindrical singularities, derived from the Bamler-Lai classification of ancient flows and Edelen's foundational results on free boundary Brakke flows.

If this is right

  • The free boundary level set flow remains nonfattening whenever all singularities are of cylindrical or half-cylindrical type.
  • Unique continuation of the flow past singularities is possible under the same condition.
  • Well-posedness of free boundary mean curvature flow holds as long as no other singularity types appear.

Where Pith is reading between the lines

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

  • The result suggests testing whether similar neighborhood properties hold for other classified singularity types in the free boundary setting.
  • Numerical approximations of free boundary flows could check the mean-convexity condition near cylindrical points in concrete examples.
  • The nonfattening statement may extend to related geometric flows where mean-convex neighborhoods can be established by analogous classification arguments.

Load-bearing premise

The classification of ancient asymptotically cylindrical flows and the foundational results for free boundary Brakke flows hold and apply directly to these singularities.

What would settle it

A concrete example of a free boundary Brakke flow with a cylindrical singularity that lacks a mean-convex neighborhood would falsify the central claim.

read the original abstract

We consider mean curvature flow with free boundary through cylindrical or half-cylindrical singularities, namely singularities of the types $\mathbb{R}^k\times S^{n-k}$, $\mathbb{R}^k_+\times S^{n-k}$ or $\mathbb{R}^k\times S^{n-k}_+$. Using the foundational results for free boundary Brakke flows by Edelen and the first author, and the recent classification of ancient asymptotically cylindrical flows by Bamler-Lai, we prove that all these singularities have a mean-convex neighborhood. Moreover, generalizing work of Hershkovits-White to the free boundary setting we show that the free boundary level set flow is nonfattening provided all singularities have a mean-convex neighborhood. We conclude that free boundary flow through singularities is well-posed as long as all singularities are of cylindrical or half-cylindrical type.

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.

Referee Report

2 major / 2 minor

Summary. The manuscript claims to prove well-posedness of free-boundary mean curvature flow through cylindrical and half-cylindrical singularities (R^k × S^{n-k}, R^k_+ × S^{n-k}, R^k × S^{n-k}_+). It establishes that these singularities admit mean-convex neighborhoods by combining Edelen and the first author's foundational results on free-boundary Brakke flows with Bamler-Lai's classification of ancient asymptotically cylindrical flows. It then generalizes Hershkovits-White to the free-boundary setting to obtain non-fattening of the level-set flow whenever all singularities have mean-convex neighborhoods, yielding the well-posedness conclusion.

Significance. If the central claims hold, the work extends singularity analysis and well-posedness results from closed mean curvature flows to the free-boundary setting for a class of singularities that commonly appear. It directly applies recent classification theorems and Brakke-flow foundations, providing a concrete criterion for well-posedness in terms of singularity type.

major comments (2)
  1. [section establishing the mean-convex neighborhood property (relying on Bamler-Lai)] The proof that Bamler-Lai's classification of ancient asymptotically cylindrical flows yields a mean-convex neighborhood property for free-boundary half-cylindrical singularities (R^k_+ × S^{n-k} and R^k × S^{n-k}_+) lacks an explicit reduction. Bamler-Lai applies to closed flows in R^{n+1}; no section verifies that the monotonicity formula, entropy, or tangent-flow analysis carries over verbatim under the free-boundary condition while preserving the asymptotic cylindricality needed to conclude mean-convexity. This step is load-bearing for the subsequent non-fattening and well-posedness claims.
  2. [section generalizing Hershkovits-White] The generalization of Hershkovits-White to free-boundary Brakke flows is stated without detailing how the original arguments adapt to the boundary condition. In particular, it is not shown that the mean-convex neighborhood assumption continues to imply non-fattening when the flow is constrained to a domain with boundary.
minor comments (2)
  1. The abstract would benefit from a precise statement of the dimension range and the exact singularity types for which the well-posedness conclusion holds.
  2. All citations to Edelen, Bamler-Lai, and Hershkovits-White should include full bibliographic details (arXiv numbers or journal references) for immediate accessibility.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their thorough review and valuable comments. We will revise the manuscript to address the concerns raised regarding explicit reductions and adaptations in the proofs.

read point-by-point responses

  1. Referee: [section establishing the mean-convex neighborhood property (relying on Bamler-Lai)] The proof that Bamler-Lai's classification of ancient asymptotically cylindrical flows yields a mean-convex neighborhood property for free-boundary half-cylindrical singularities (R^k_+ × S^{n-k} and R^k × S^{n-k}_+) lacks an explicit reduction. Bamler-Lai applies to closed flows in R^{n+1}; no section verifies that the monotonicity formula, entropy, or tangent-flow analysis carries over verbatim under the free-boundary condition while preserving the asymptotic cylindricality needed to conclude mean-convexity. This step is load-bearing for the subsequent non-fattening and well-posedness claims.

    Authors: The foundational results on free-boundary Brakke flows by Edelen and the first author provide the monotonicity formula, entropy, and tangent flow analysis adapted to the free-boundary setting. These ensure that the asymptotic cylindricality is preserved for the tangent flows, allowing Bamler-Lai's classification to apply directly to conclude the mean-convex neighborhood. We will add an explicit subsection in the revised manuscript detailing this reduction and verification. revision: yes

  2. Referee: [section generalizing Hershkovits-White] The generalization of Hershkovits-White to free-boundary Brakke flows is stated without detailing how the original arguments adapt to the boundary condition. In particular, it is not shown that the mean-convex neighborhood assumption continues to imply non-fattening when the flow is constrained to a domain with boundary.

    Authors: The generalization follows by adapting the barrier arguments and maximum principle from Hershkovits-White, where the mean-convex neighborhood prevents fattening. In the free-boundary setting, the flow remains constrained to the domain by construction in the Brakke flow framework, and the boundary condition does not interfere with the non-fattening property under the mean-convex assumption. We will expand the relevant section to provide a detailed outline of these adaptations. revision: yes

Circularity Check

0 steps flagged

Minor self-citation to foundational results; no reduction of claims to self-defined quantities

full rationale

The derivation applies external results (Bamler-Lai classification of ancient asymptotically cylindrical flows; Hershkovits-White nonfattening) plus foundational free-boundary Brakke flow results by Edelen and the first author (Bao) to establish mean-convex neighborhoods for cylindrical/half-cylindrical singularities, then generalizes the nonfattening theorem and concludes well-posedness. The single overlapping citation is to prior foundational work rather than a load-bearing uniqueness theorem or fitted parameter; no equations or steps reduce by construction to author-defined inputs, self-citations, or ansatzes. The chain remains independent of the present paper's own fitted values or definitions.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claim rests on external theorems from cited works rather than new axioms, free parameters, or invented entities introduced in this paper.

axioms (1)
  • domain assumption The mean curvature flow satisfies the properties established in the foundational results for free boundary Brakke flows and the classification of ancient asymptotically cylindrical flows.
    Invoked to prove the mean-convex neighborhood using the cited classifications.

pith-pipeline@v0.9.1-grok · 5664 in / 1238 out tokens · 40711 ms · 2026-06-27T01:54:23.897024+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

42 extracted references · 1 linked inside Pith

  1. [1]

    Angenent, P

    S. Angenent, P. Daskalopoulos, and N. Sesum. Unique asymptotics of ancient convex mean curvature flow solutions.J. Differential Geom., 111(3):381–455, 2019

    2019

  2. [2]

    Angenent, P

    S. Angenent, P. Daskalopoulos, and N. Sesum. Uniqueness of two-convex closed ancient solutions to the mean curvature flow.Ann. of Math. (2), 192(2):353– 436, 2020

    2020

  3. [3]

    Angenent, T

    S. Angenent, T. Ilmanen, and D. Chopp. A computed example of nonunique- ness of mean curvature flow inR 3.Comm. Partial Differential Equations, 20(11-12):1937–1958, 1995

    1937

  4. [4]

    Bamler and B

    R. Bamler and B. Kleiner. On the multiplicity one conjecture for mean curva- ture flows of surfaces.arXiv:2312.02106, 2023

    arXiv 2023

  5. [5]

    Bamler and Y

    R. Bamler and Y. Lai. Classification of ancient cylindrical mean curvature flows and the mean convex neighborhood conjecture.arXiv:2512.24524, 2025

    arXiv 2025

  6. [6]

    Bamler and Y

    R. Bamler and Y. Lai. The PDE-ODI principle and cylindrical mean curvature flows.arXiv:2512.25050, 2025

    arXiv 2025

  7. [7]

    Y. Bao. Some foundational results for free boundary Brakke flows. arXiv:2606.14021, 2026

    arXiv 2026

  8. [8]

    Brendle and K

    S. Brendle and K. Choi. Uniqueness of convex ancient solutions to mean cur- vature flow inR 3.Invent. Math., 217(1):35–76, 2019

    2019

  9. [9]

    Brendle and K

    S. Brendle and K. Choi. Uniqueness of convex ancient solutions to mean cur- vature flow in higher dimensions.Geom. Topol., 25(5):2195–2234, 2021

    2021

  10. [10]

    Brendle and G

    S. Brendle and G. Huisken. Mean curvature flow with surgery of mean convex surfaces inR 3.Invent. Math., 203(2):615–654, 2016

    2016

  11. [11]

    Buckland

    J. Buckland. Mean curvature flow with free boundary on smooth hypersurfaces. J. Reine Angew. Math., 586:71–90, 2005

    2005

  12. [12]

    Cheeger, R

    J. Cheeger, R. Haslhofer, and A. Naber. Quantitative stratification and the regularity of mean curvature flow.Geom. Funct. Anal., 23(3):828–847, 2013

    2013

  13. [13]

    Chodosh, K

    O. Chodosh, K. Choi, C. Mantoulidis, and F. Schulze. Mean curvature flow with generic initial data.Invent. Math., 237(1):121–220, 2024

    2024

  14. [14]

    Chodosh, K

    O. Chodosh, K. Choi, C. Mantoulidis, and F. Schulze. Revisiting generic mean curvature flow inR 3.J. Reine Angew. Math., 835:219–232, 2026

    2026

  15. [15]

    Chodosh, K

    O. Chodosh, K. Choi, and F. Schulze. Mean curvature flow with generic initial data II.arXiv:2302.08409, 2023

    arXiv 2023

  16. [16]

    Chodosh, J

    O. Chodosh, J. Daniels-Holgate, and F. Schulze. Mean curvature flow from conical singularities.Invent. Math., 238(3):1041–1066, 2024. FREE BOUNDARY FLOW THROUGH CYLINDRICAL SINGULARITIES 19

    2024

  17. [17]

    B. Choi, P. Daskalopoulos, W. Du, R. Haslhofer, and N. Sesum. Classification of bubble-sheet ovals inR 4.Geom. Topol., 29(2):931–1016, 2025

    2025

  18. [18]

    Choi and R

    K. Choi and R. Haslhofer. Classification of ancient noncollapsed flows inR 4. arXiv:2412.10581, 2024

    arXiv 2024

  19. [19]

    K. Choi, R. Haslhofer, and O. Hershkovits. Ancient low-entropy flows, mean- convex neighborhoods, and uniqueness.Acta Math., 228(2):217–301, 2022

    2022

  20. [20]

    K. Choi, R. Haslhofer, and O. Hershkovits. Classification of noncollapsed trans- lators inR 4.Camb. J. Math., 11(3):563–698, 2023

    2023

  21. [21]

    K. Choi, R. Haslhofer, and O. Hershkovits. A nonexistence result for wing-like mean curvature flows inR 4.Geom. Topol., 28(7):3095–3134, 2024

    2024

  22. [22]

    K. Choi, R. Haslhofer, O. Hershkovits, and B. White. Ancient asymptotically cylindrical flows and applications.Invent. Math., 229(1):139–241, 2022

    2022

  23. [23]

    Colding, T

    T. Colding, T. Ilmanen, and W. Minicozzi. Rigidity of generic singularities of mean curvature flow.Publ. Math. Inst. Hautes ´Etudes Sci., 121:363–382, 2015

    2015

  24. [24]

    Du and R

    W. Du and R. Haslhofer. A nonexistence result for rotating mean curvature flows inR 4.J. Reine Angew. Math., 802:275–285, 2023

    2023

  25. [25]

    Du and R

    W. Du and R. Haslhofer. Hearing the shape of ancient noncollapsed flows in R4.Comm. Pure Appl. Math., 77(1):543–582, 2024

    2024

  26. [26]

    N. Edelen. The free-boundary Brakke flow.J. Reine Angew. Math., 758:95– 137, 2020

    2020

  27. [27]

    Edelen, R

    N. Edelen, R. Haslhofer, M. Ivaki, and J. Zhu. Mean convex mean curvature flow with free boundary.Comm. Pure Appl. Math., 75(4):767–817, 2022

    2022

  28. [28]

    Evans and R

    L. Evans and R. Gariepy.Measure theory and fine properties of functions. Textbooks in Mathematics. CRC Press, Boca Raton, FL, second edition, 2025

    2025

  29. [29]

    Giga and M

    Y. Giga and M. Sato. Neumann problem for singular degenerate parabolic equations.Differential Integral Equations, 6(6):1217–1230, 1993

    1993

  30. [30]

    Haslhofer

    R. Haslhofer. Free boundary flow with surgery.Geom. Topol., 30(1):1–22, 2026

    2026

  31. [31]

    Haslhofer and D

    R. Haslhofer and D. Ketover. Free boundary minimal disks in convex balls.J. Reine Angew. Math., 828:307–326, 2025

    2025

  32. [32]

    Haslhofer and B

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

    2017

  33. [33]

    Haslhofer and B

    R. Haslhofer and B. Kleiner. Mean curvature flow with surgery.Duke Math. J., 166(9):1591–1626, 2017

    2017

  34. [34]

    Hershkovits and B

    O. Hershkovits and B. White. Nonfattening of mean curvature flow at singu- larities of mean convex type.Comm. Pure Appl. Math., 73(3):558–580, 2020

    2020

  35. [35]

    Huisken and C

    G. Huisken and C. Sinestrari. Mean curvature flow with surgeries of two-convex hypersurfaces.Invent. Math., 175(1):137–221, 2009

    2009

  36. [36]

    Mizuno and Y

    M. Mizuno and Y. Tonegawa. Convergence of the Allen-Cahn equation with Neumann boundary conditions.SIAM J. Math. Anal., 47(3):1906–1932, 2015

    1906

  37. [37]

    Sarnataro, D

    L. Sarnataro, D. Stryker, Z. Wang, and X. Zhou. Existence of free boundary minimal disks in convex regions.arXiv:2606.02396, 2026

    Pith/arXiv arXiv 2026

  38. [38]

    M. Sato. Interface evolution with Neumann boundary condition.Adv. Math. Sci. Appl., 4(1):249–264, 1994

    1994

  39. [39]

    A. Stahl. Convergence of solutions to the mean curvature flow with a Neumann boundary condition.Calc. Var. Partial Differential Equations, 4(5):421–441, 1996. 20 YUEHENG BAO AND ROBERT HASLHOFER

    1996

  40. [40]

    A. Stahl. Regularity estimates for solutions to the mean curvature flow with a Neumann boundary condition.Calc. Var. Partial Differential Equations, 4(4):385–407, 1996

    1996

  41. [41]

    B. White. The size of the singular set in mean curvature flow of mean-convex sets.J. Amer. Math. Soc., 13(3):665–695, 2000

    2000

  42. [42]

    B. White. The nature of singularities in mean curvature flow of mean-convex sets.J. Amer. Math. Soc., 16(1):123–138, 2003. Department of Mathematics, University of Toronto, Toronto, ON M5S 2E4, Canada Email address:bao624@math.utoronto.ca Department of Mathematics, University of Toronto, Toronto, ON M5S 2E4, Canada Email address:roberth@math.toronto.edu

    2003