pith. machine review for the scientific record. sign in

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

Recognition: no theorem link

Improvement of flatness in annuli

Enric Florit-Simon, Joaquim Serra, Xavier Fern\'andez-Real

Pith reviewed 2026-05-13 00:45 UTC · model grok-4.3

classification 🧮 math.DG math.AP
keywords minimal hypersurfacesimprovement of flatnessannuliexterior domainsMorse indexasymptoticsminimal surfacesPDE methods
0
0 comments X

The pith

An improvement-of-flatness argument adapted to annuli gives an alternative proof of end structure and asymptotics for finite Morse index minimal hypersurfaces with Euclidean area growth in low dimensions.

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

The paper develops an improvement-of-flatness technique that works in annular regions rather than balls, which are the natural domains for studying behavior far from the origin in exterior problems. This leads to a new proof that minimal hypersurfaces with finite Morse index and area growth comparable to Euclidean space have a specific structure and flat asymptotics at their ends, at least in low dimensions. The method relies on PDE estimates and is presented as flexible enough to carry over to other variational settings such as Bernoulli problems and Allen-Cahn equations.

Core claim

We present a short and flexible improvement-of-flatness argument adapted to the setting of exterior domains, where one is naturally led to work with annuli instead of balls. As a model application in the classical setting of minimal surfaces, we give an alternative proof of the end-structure and asymptotics for finite Morse index minimal hypersurfaces with Euclidean area growth in low dimensions.

What carries the argument

Improvement-of-flatness argument adapted to annuli, which provides quantitative control showing that near-flat minimal hypersurfaces on a large annulus become even closer to flat on a smaller inner annulus.

Load-bearing premise

The quantitative estimates of the improvement-of-flatness argument remain valid when the domains are changed from balls to annuli in exterior settings.

What would settle it

A counterexample minimal hypersurface in low dimensions that has finite Morse index and Euclidean area growth but fails to have planar ends at infinity would show the claimed structure is incorrect.

read the original abstract

We present a short and flexible improvement-of-flatness argument adapted to the setting of exterior domains, where one is naturally led to work with annuli instead of balls. As a model application in the classical setting of minimal surfaces, we give an alternative proof of the end-structure and asymptotics for finite Morse index minimal hypersurfaces with Euclidean area growth in low dimensions. The method is largely PDE-based and general in its application. Suitable variants have been employed in Bernoulli and Allen--Cahn settings.

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 presents a short, PDE-based improvement-of-flatness lemma adapted to annuli in exterior domains. As an application, it supplies an alternative proof of the end-structure and asymptotic flatness for finite-Morse-index minimal hypersurfaces with Euclidean area growth in low dimensions, relying on iterative application of the annulus lemma on dyadic annuli.

Significance. If the quantitative estimates are scale-invariant, the argument offers a flexible, largely PDE-based alternative to existing proofs of end asymptotics. The method is presented as generalizable, with variants already used in Bernoulli and Allen-Cahn settings, which could broaden its utility beyond minimal hypersurfaces.

major comments (2)
  1. [§3] §3 (Annulus improvement lemma): the proof must explicitly verify that the flatness-improvement factor remains strictly less than 1 and independent of the outer radius R. The skeptic's concern is that cutoff errors or inner-boundary test-function contributions could make the constant deteriorate with R; the manuscript should display the precise dependence (or independence) of all constants on the distance to the non-stable region and on R.
  2. [§4] §4 (Iteration and asymptotics): once the annulus lemma is established, the iteration on dyadic annuli A_R must produce a uniform decay rate (e.g., excess or tilt decaying as R^{-α} with α>0 independent of the starting scale). The manuscript should state the resulting graphicality or asymptotic plane explicitly and confirm that the iteration closes without additional assumptions on the compact set.
minor comments (2)
  1. Notation for the excess and tilt functionals should be introduced once and used consistently; currently the transition from the ball case to the annulus case is not always signposted.
  2. The low-dimensional assumption (n≤7 or similar) should be stated at the beginning of the application section rather than only in the abstract.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and the constructive suggestions for clarifying the quantitative aspects of the argument. We address the two major comments point by point below and will incorporate the requested details into a revised version of the manuscript.

read point-by-point responses

  1. Referee: [§3] §3 (Annulus improvement lemma): the proof must explicitly verify that the flatness-improvement factor remains strictly less than 1 and independent of the outer radius R. The skeptic's concern is that cutoff errors or inner-boundary test-function contributions could make the constant deteriorate with R; the manuscript should display the precise dependence (or independence) of all constants on the distance to the non-stable region and on R.

    Authors: We agree that an explicit verification of the independence on R is needed for transparency. In the proof of the annulus lemma, the cutoff functions are constructed to be supported at a fixed positive distance from both the inner boundary and the non-stable region (whose size is controlled by the Morse index). The resulting error terms in the integral identities are then bounded by quantities that depend only on this fixed distance and on the dimension, but are independent of the outer radius R. We will add a short paragraph immediately after the statement of the lemma that records the precise dependence of the improvement factor on these quantities and confirms that it is strictly less than 1 and scale-invariant. This addition will be included in the revised manuscript. revision: yes

  2. Referee: [§4] §4 (Iteration and asymptotics): once the annulus lemma is established, the iteration on dyadic annuli A_R must produce a uniform decay rate (e.g., excess or tilt decaying as R^{-α} with α>0 independent of the starting scale). The manuscript should state the resulting graphicality or asymptotic plane explicitly and confirm that the iteration closes without additional assumptions on the compact set.

    Authors: We will revise the iteration argument in Section 4 to make the decay rate explicit. Starting from a sufficiently large but fixed radius R_0 (determined solely by the compact set on which the Morse index is controlled), repeated application of the annulus lemma on dyadic annuli yields that the excess decays as R^{-α} with α > 0 depending only on dimension and the Morse-index bound, independent of the initial scale. The limiting plane is the unique asymptotic plane whose existence is already guaranteed by the area-growth assumption; outside a compact set the hypersurface is a graph over this plane with C^1 norm controlled by the excess decay. The iteration closes without further assumptions on the compact set beyond those already stated, since the annulus lemma applies uniformly once the radius exceeds R_0. These statements will be added to the revised manuscript. revision: yes

Circularity Check

0 steps flagged

No circularity: PDE-based annulus adaptation is self-contained

full rationale

The paper introduces an improvement-of-flatness lemma adapted to annuli in exterior domains and applies it to prove end-structure and asymptotics for finite-Morse-index minimal hypersurfaces. This is presented as a direct PDE argument without any reduction of the central claim to fitted parameters, self-definitions, or load-bearing self-citations. The derivation chain consists of quantitative estimates on annuli that are stated to retain the necessary scale-invariant constants for iteration, with no equations or steps shown to be equivalent to the inputs by construction. The reader's assessment of score 1.0 aligns with the absence of any quoted self-referential or fitted-prediction structure.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The paper relies on standard elliptic regularity and geometric measure theory for minimal hypersurfaces; no new free parameters or invented entities are indicated in the abstract.

axioms (1)
  • standard math Elliptic regularity theory for minimal hypersurfaces or related PDEs
    Invoked to support the improvement-of-flatness estimates in annular domains.

pith-pipeline@v0.9.0 · 5373 in / 1090 out tokens · 47314 ms · 2026-05-13T00:45:05.482697+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

162 extracted references · 162 canonical work pages

  1. [1]

    and Savin, O

    Jerison, D. and Savin, O. , TITLE =. Geom. Funct. Anal. , VOLUME =. 2015 , NUMBER =

    work page 2015

  2. [2]

    and Ambrosio, L

    Alberti, G. and Ambrosio, L. and Cabr\'e, X. , TITLE =. Acta Appl. Math. , FJOURNAL =. 2001 , NUMBER =. doi:10.1023/A:1010602715526 , URL =

    work page doi:10.1023/a:1010602715526 2001

  3. [3]

    and Lin, F

    Han, Q. and Lin, F. , TITLE =. 2011 , PAGES =

    work page 2011

  4. [4]

    , TITLE =

    Velichkov, B. , TITLE =. 2023 , ISBN =

    work page 2023

  5. [5]

    and Salsa, S

    Caffarelli, L. and Salsa, S. , TITLE =

    work page

  6. [6]

    Ponce, A. C. , TITLE =. 2016 , PAGES =. doi:10.4171/140 , URL =

    work page doi:10.4171/140 2016

  7. [7]

    and Monneau, R

    Jerison, D. and Monneau, R. , TITLE =. Ann. Mat. Pura Appl. , VOLUME =. 2004 , NUMBER =. doi:10.1007/s10231-002-0068-7 , URL =

    work page doi:10.1007/s10231-002-0068-7 2004

  8. [8]

    Kamburov and K

    N. Kamburov and K. Wang , VOLUME =. Nondegeneracy for stable solutions to the one-phase free boundary problem , JOURNAL =. 2024 , PAGES =

    work page 2024

  9. [9]

    2011 , NUMBER =

    Free boundary regularity for a problem with right hand side , JOURNAL =. 2011 , NUMBER =

    work page 2011

  10. [10]

    and Nirenberg, L

    Kinderlehrer, D. and Nirenberg, L. , TITLE =. Ann. Scuola Norm. Sup. Pisa Cl. Sci. (4) , VOLUME =. 1977 , NUMBER =

    work page 1977

  11. [11]

    and Zhang, K

    Lian, Y. and Zhang, K. , TITLE =. Calc. Var. Partial Differential Equations , VOLUME =. 2023 , NUMBER =

    work page 2023

  12. [12]

    and Zumbrun, K

    Sternberg, P. and Zumbrun, K. , TITLE =. Arch. Ration. Mech. Anal. , VOLUME =. 1998 , NUMBER =. doi:10.1007/s002050050081 , URL =

    work page doi:10.1007/s002050050081 1998

  13. [13]

    and Pollack, A

    Guillemin, V. and Pollack, A. , TITLE =. 1974 , PAGES =

    work page 1974

  14. [14]

    and Ros-Oton, X

    Fern\'andez-Real, X. and Ros-Oton, X. , TITLE =. 2022 , ISBN =

    work page 2022

  15. [15]

    Wang, L. , year=. Regularity

    work page

  16. [16]

    and Trudinger, N

    Gilbarg, D. and Trudinger, N. S. , TITLE =. 1983 , PAGES =. doi:10.1007/978-3-642-61798-0 , URL =

    work page doi:10.1007/978-3-642-61798-0 1983

  17. [17]

    and Jerison, D

    Caffarelli, L. and Jerison, D. and Kenig, C. E. , TITLE =. Noncompact problems at the intersection of geometry, analysis, and topology , PUBLISHER =. 2004 , PAGES =

    work page 2004

  18. [18]

    Hutchinson, J. E. and Tonegawa, Y. , journal=. Convergence of phase interfaces in the van der. 2000 , pages=

    work page 2000

  19. [19]

    and Ros-Oton, X

    Fern\'andez-Real, X. and Ros-Oton, X. , TITLE =. Discrete Contin. Dyn. Syst. , VOLUME =. 2019 , NUMBER =. doi:10.3934/dcds.2019238 , URL =

    work page doi:10.3934/dcds.2019238 2019

  20. [20]

    and Valdinoci, E

    Farina, A. and Valdinoci, E. , TITLE =. Recent progress on reaction-diffusion systems and viscosity solutions , PUBLISHER =. 2009 , PAGES =

    work page 2009

  21. [21]

    , TITLE =

    Cabr\'e, X. , TITLE =. Comm. Pure Appl. Math. , VOLUME =. 2010 , NUMBER =. doi:10.1002/cpa.20327 , URL =

    work page doi:10.1002/cpa.20327 2010

  22. [22]

    and Wei, J

    Wang, K. and Wei, J. , journal=. Finite. 2018 , pages=

    work page 2018

  23. [23]

    and Wei, J

    Wang, K. and Wei, J. , TITLE =. Adv. Math. , FJOURNAL =. 2019 , PAGES =. doi:10.1016/j.aim.2019.106856 , URL =

    work page doi:10.1016/j.aim.2019.106856 2019

  24. [24]

    Adams, R. A. and Fournier, J. , TITLE =. J. Math. Anal. Appl. , VOLUME =. 1977 , PAGES =. doi:10.1016/0022-247X(77)90173-1 , URL =

    work page doi:10.1016/0022-247x(77)90173-1 1977

  25. [25]

    Weiss , title =

    G. Weiss , title =. Commun. Partial Differ. Equ. , volume =. 1998 , publisher =. doi:10.1080/03605309808821352 , url =

    work page doi:10.1080/03605309808821352 1998

  26. [26]

    Alt and L

    H. Alt and L. Caffarelli , TITLE =. J. Reine Angew. Math. , VOLUME =. 1981 , PAGES =

    work page 1981

  27. [27]

    Alt and L

    H. Alt and L. Caffarelli and A. Friedman , TITLE =. Comm. Pure Appl. Math. , VOLUME =. 1982 , PAGES =

    work page 1982

  28. [28]

    Alt and L

    H. Alt and L. Caffarelli and A. Friedman , TITLE =. J. Reine Angew. Math. , VOLUME =. 1982 , PAGES =

    work page 1982

  29. [29]

    Alt and L

    H. Alt and L. Caffarelli and A. Friedman , TITLE =. Arch. Rational Mech. Anal. , VOLUME =. 1983 , PAGES =

    work page 1983

  30. [30]

    Caffarelli , TITLE =

    L. Caffarelli , TITLE =. Rev. Mat. Iberoam. , VOLUME =. 1987 , PAGES =

    work page 1987

  31. [31]

    Caffarelli , TITLE =

    L. Caffarelli , TITLE =. Ann. Scuola Norm. Sup. Pisa Cl. Sci. , VOLUME =. 1988 , PAGES =

    work page 1988

  32. [32]

    , TITLE =

    P\'erez, J. , TITLE =

    work page

  33. [33]

    Stable solutions to semilinear elliptic equations are smooth up to dimension 9 , JOURNAL =

    Cabr\'. Stable solutions to semilinear elliptic equations are smooth up to dimension 9 , JOURNAL =. 2020 , NUMBER =. doi:10.4310/acta.2020.v224.n2.a1 , URL =

    work page doi:10.4310/acta.2020.v224.n2.a1 2020

  34. [34]

    Caffarelli , TITLE =

    L. Caffarelli , TITLE =. Comm. Pure Appl. Math. , VOLUME =. 1989 , PAGES =

    work page 1989

  35. [35]

    J. D. Buckmaster and G. S. Ludford , TITLE =

    work page

  36. [36]

    and Mennucci, A

    Mantegazza, C. and Mennucci, A. C. , TITLE =. Appl. Math. Optim. , FJOURNAL =. 2003 , NUMBER =. doi:10.1007/s00245-002-0736-4 , URL =

    work page doi:10.1007/s00245-002-0736-4 2003

  37. [37]

    Caffarelli and J

    L. Caffarelli and J. L. V\'azquez , TITLE =. Trans. Amer. Math. Soc. , VOLUME =. 1995 , PAGES =

    work page 1995

  38. [38]

    2009 , PAGES =

    A singular energy minimizing free boundary , JOURNAL =. 2009 , PAGES =

    work page 2009

  39. [39]

    2011 , PAGES =

    A gradient bound for free boundary graphs , JOURNAL =. 2011 , PAGES =

    work page 2011

  40. [40]

    Engelstein and L

    M. Engelstein and L. Spolaor and B. Velichkov , TITLE =. Duke Math. J. , VOLUME =. 2020 , PAGES =

    work page 2020

  41. [41]

    Engelstein and X

    M. Engelstein and X. Fern\'andez-Real and H. Yu , TITLE =. J. Reine Angew. Math. , VOLUME =. 2023 , PAGES =

    work page 2023

  42. [42]

    2308.13209 , archivePrefix=

    Generic properties in free boundary problems , author=. 2308.13209 , archivePrefix=

    work page arXiv

  43. [43]

    Figalli and A

    A. Figalli and A. Guerra and S. Kim and H. Shahgholian , TITLE =. J. Eur. Math. Soc. , PAGES =

    work page

  44. [44]

    Kriventsov and G

    D. Kriventsov and G. Weiss , JOURNAL =. Rectifiability, finite

    work page

  45. [45]

    Basulto and N

    J. Basulto and N. Kamburov , JOURNAL =. One-phase free boundary solutions of finite. 2024 , PAGES =

    work page 2024

  46. [46]

    Structure of one-phase free boundaries in the plane , author=. Int. Math. Res. Not. IMRN , ISSUE =. 2016 , PAGES =

    work page 2016

  47. [47]

    Classification of the solutions to an overdetermined elliptic problem in the plane , author=. Geom. Funct. Anal. , VOLUME =. 2014 , PAGES =

    work page 2014

  48. [48]

    Pacific J

    On an overdetermined elliptic problem , author=. Pacific J. Math. , VOLUME =. 2011 , PAGES =

    work page 2011

  49. [49]

    Structure of a linear array of hollow vortices of finite cross-section , author=. J. Fluid. Mech. , VOLUME =. 1976 , PAGES =

    work page 1976

  50. [50]

    Discrete Contin

    Free boundaries subject to topological constraints , author=. Discrete Contin. Dyn. Syst. , VOLUME =. 2019 , PAGES =

    work page 2019

  51. [51]

    and Liu, Y

    Hamel, F. and Liu, Y. and Sicbaldi, P. and Wang, K. and Wei, J. , journal=. Half-space theorems for the. 2021 , pages=

    work page 2021

  52. [52]

    , journal=

    Wang, K. , journal=. A new proof of. 2017 , pages=

    work page 2017

  53. [53]

    Liu and K

    Y. Liu and K. Wang and J. Wei , JOURNAL =. On smooth solutions to one phase-free boundary problem in. 2021 , PAGES =

    work page 2021

  54. [54]

    and Wickramasekera, N

    Tonegawa, Y. and Wickramasekera, N. , TITLE =. J. Reine Angew. Math. , VOLUME =. 2012 , PAGES =. doi:10.1515/CRELLE.2011.134 , URL =

    work page doi:10.1515/crelle.2011.134 2012

  55. [55]

    Kamburov , JOURNAL =

    N. Kamburov , JOURNAL =. A free boundary problem inspired by a conjecture of. 2013 , PAGES =

    work page 2013

  56. [56]

    Savin , TITLE =

    O. Savin , TITLE =. Current developments in mathematics, 2009 , PUBLISHER =. 2010 , PAGES =

    work page 2009

  57. [57]

    Liu and K

    Y. Liu and K. Wang and J. Wei , TITLE =. Ann. Inst. H. Poincar\'e Anal. Non Lin\'eaire , VOLUME =. 2017 , PAGES =

    work page 2017

  58. [58]

    Ghoussoub and C

    N. Ghoussoub and C. Gui , TITLE =. Math. Ann. , VOLUME =. 1998 , PAGES =

    work page 1998

  59. [59]

    Ambrosio and X

    L. Ambrosio and X. Cabr\'e , TITLE =. J. Amer. Math. Soc. , VOLUME =. 2000 , PAGES =

    work page 2000

  60. [60]

    Savin , TITLE =

    O. Savin , TITLE =. Ann. of Math. , VOLUME =. 2009 , PAGES =

    work page 2009

  61. [61]

    , TITLE =

    Savin, O. , TITLE =. Calc. Var. Partial Differential Equations , VOLUME =. 2017 , NUMBER =. doi:10.1007/s00526-017-1228-3 , URL =

    work page doi:10.1007/s00526-017-1228-3 2017

  62. [62]

    del Pino and M

    M. del Pino and M. Kowalczyk and J. Wei , TITLE =. Ann. of Math. , VOLUME =. 2011 , PAGES =

    work page 2011

  63. [63]

    Convergence problems for functional and operators , BOOKTITLE =

    E. Convergence problems for functional and operators , BOOKTITLE =. 1978 , PAGES =

    work page 1978

  64. [64]

    Liu and K

    Y. Liu and K. Wang and J. Wei , TITLE =. J. Math. Pures Appl. , VOLUME =. 2017 , PAGES =

    work page 2017

  65. [65]

    Chodosh and C

    O. Chodosh and C. Li , TITLE =. Acta Math. , VOLUME =. 2024 , PAGES =

    work page 2024

  66. [66]

    Chodosh and C

    O. Chodosh and C. Li and P. Minter and D. Stryker , title =

    work page

  67. [67]

    The Exponent of Convergence of Poincare Series

    Mazet, L. , TITLE =. 2405.14676 , archivePrefix=

    work page arXiv

  68. [68]

    Du and C

    Z. Du and C. Gui and K. Wang , TITLE =. Adv. Math. , VOLUME =. 2022 , PAGES =

    work page 2022

  69. [69]

    Caffarelli and A

    L. Caffarelli and A. C\'ordoba , TITLE =. Comm. Pure Appl. Math. , VOLUME =. 1995 , PAGES =

    work page 1995

  70. [70]

    Caffarelli and A

    L. Caffarelli and A. C\'ordoba , TITLE =. J. Reine Angew. Math. , VOLUME =. 2006 , PAGES =

    work page 2006

  71. [71]

    Wang , eprint=

    K. Wang , eprint=. The structure of finite

    work page

  72. [72]

    Figalli and J

    A. Figalli and J. Serra , TITLE =. Invent. Math. , VOLUME =. 2020 , PAGES =

    work page 2020

  73. [73]

    Chodosh and C

    O. Chodosh and C. Mantoulidis , TITLE =. Ann. of Math. (2) , VOLUME =. 2020 , PAGES =

    work page 2020

  74. [74]

    Chodosh , TITLE =

    O. Chodosh , TITLE =. 2019 , NOTE =

    work page 2019

  75. [75]

    Valdinoci , TITLE =

    E. Valdinoci , TITLE =. J. Reine Angew. Math. , VOLUME =. 2004 , PAGES =

    work page 2004

  76. [76]

    Petrosyan and E

    A. Petrosyan and E. Valdinoci , TITLE =. Interfaces Free Bound. , VOLUME =. 2005 , PAGES =

    work page 2005

  77. [77]

    Valdinoci , TITLE =

    E. Valdinoci , TITLE =. Math. Z. , VOLUME =. 2006 , PAGES =

    work page 2006

  78. [78]

    Petersen , TITLE =

    P. Petersen , TITLE =. 2016 , EDITION =

    work page 2016

  79. [79]

    Allen and J

    S. Allen and J. Cahn , TITLE =. Acta Metall. , VOLUME =. 1972 , PAGES =

    work page 1972

  80. [80]

    Cahn and J

    J. Cahn and J. Hilliard , TITLE =. J. Chem. Phys. , VOLUME =. 1958 , PAGES =

    work page 1958

Showing first 80 references.