pith. sign in

arxiv: 2606.00538 · v1 · pith:IOAS2Y4Bnew · submitted 2026-05-30 · 🧮 math.AP

Classification of blow-ups for the Alt--Phillips problem in three dimensions

Xavier Fern\'andez-Real This is my paper

Pith reviewed 2026-06-28 18:31 UTC · model grok-4.3

classification 🧮 math.AP
keywords Alt-Phillips problemfree boundary regularityflatness theoremblow-up classificationstable solutionsthree dimensionshomogeneous solutions
0
0 comments X

The pith

A flatness theorem shows that stable homogeneous solutions to the Alt-Phillips problem are flat in three dimensions for gamma up to 2/3.

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

The paper proves a flatness theorem for classical stable homogeneous solutions of the gamma-Alt-Phillips free boundary problem in three dimensions when the exponent gamma satisfies 0 < gamma ≤ 2/3. This result classifies the possible blow-ups of such solutions as flat. The flatness directly yields full regularity of the free boundary for minimizers of the associated energy functional in dimension three. A sympathetic reader cares because the theorem resolves the open regularity question for this class of free boundary problems under the stated assumptions on dimension and gamma.

Core claim

We prove a flatness theorem for classical stable homogeneous solutions of the γ-Alt--Phillips free boundary problem in three dimensions in the range 0<γ≤2/3, where γ is the exponent in the energy density |∇u|² + u^γ. In particular, this implies full regularity of the free boundary for minimizers of the corresponding Alt--Phillips energy in dimension 3.

What carries the argument

The flatness theorem for classical stable homogeneous solutions, which classifies their blow-ups.

If this is right

  • Minimizers of the Alt-Phillips energy have a fully regular free boundary in dimension 3.
  • Blow-ups of the considered solutions must be flat planes.
  • The regularity conclusion holds specifically for the given range of the exponent gamma.

Where Pith is reading between the lines

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

  • The classification may allow reduction of regularity questions for non-homogeneous solutions to the homogeneous case via blow-up analysis.
  • Similar flatness arguments could be tested on related free boundary problems with different nonlinearities.
  • The result leaves open whether the same flatness holds for larger gamma or in higher dimensions.

Load-bearing premise

The solutions under study are classical, stable, and homogeneous in three dimensions.

What would settle it

Existence of a non-flat classical stable homogeneous solution for some gamma in (0, 2/3] in three dimensions.

read the original abstract

We prove a flatness theorem for classical stable homogeneous solutions of the $\gamma$-Alt--Phillips free boundary problem in three dimensions in the range $0<\gamma\le 2/3$, where $\gamma$ is the exponent in the energy density $|\nabla u|^2+u^\gamma$. In particular, this implies full regularity of the free boundary for minimizers of the corresponding Alt--Phillips energy in dimension $3$.

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

0 major / 1 minor

Summary. The manuscript proves a flatness theorem for classical stable homogeneous solutions of the γ-Alt--Phillips free boundary problem in three dimensions for 0<γ≤2/3. This is used to conclude full regularity of the free boundary for minimizers of the corresponding Alt--Phillips energy in dimension 3.

Significance. If correct, the result completes the regularity theory for this free-boundary problem in 3D within the stated γ-range by classifying blow-ups under the classical+stable+homogeneous hypotheses. It supplies a direct analytic argument without reliance on fitted parameters or self-referential quantities.

minor comments (1)
  1. [Abstract] The abstract states the hypotheses (classical, stable, homogeneous) but does not indicate where in the manuscript the precise definitions of stability and homogeneity are fixed or how they enter the flatness argument.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for reviewing our manuscript. The provided summary accurately reflects the main theorem and its application to regularity of minimizers. The recommendation is listed as 'uncertain,' but the report contains no specific major comments or points of concern. Accordingly, we have no individual comments to address point by point. We remain available to supply additional details, clarifications, or expansions of any step in the proof if the referee identifies particular passages that require further explanation.

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper is a pure existence/regularity proof in mathematical analysis for the Alt-Phillips free-boundary problem. It states a flatness theorem for classical stable homogeneous solutions in 3D (0<γ≤2/3) that implies free-boundary regularity for minimizers. No equations, fitted parameters, self-referential definitions, or load-bearing self-citations appear in the abstract or described claims. The derivation is presented as a direct analytic argument relying on the stated hypotheses (classical + stable + homogeneous) rather than any reduction to inputs by construction. This is the expected outcome for a theorem-proof paper with no empirical fitting or renaming steps.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

Based solely on the abstract; no free parameters, invented entities, or non-standard axioms are mentioned. Relies on standard background from elliptic PDE and free boundary theory.

axioms (1)
  • standard math Standard assumptions and techniques from the theory of stable solutions to elliptic free boundary problems
    Invoked implicitly to support the flatness result and regularity conclusion.

pith-pipeline@v0.9.1-grok · 5582 in / 1128 out tokens · 22217 ms · 2026-06-28T18:31:18.532157+00:00 · methodology

discussion (0)

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

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Uniqueness of the blow-up for some Alt-Phillips cones

    math.AP 2026-06 unverdicted novelty 7.0

    Uniqueness of blow-ups with sharp convergence is established for Alt-Phillips cones via new logarithmic epiperimetric inequalities, yielding free-boundary uniqueness in low dimensions and a minimality characterization...

Reference graph

Works this paper leans on

23 extracted references · 1 canonical work pages · cited by 1 Pith paper

  1. [1]

    Allen, D

    M. Allen, D. Kriventsov, and H. Shahgholian. The free boundary for semilinear problems with highly oscillating singular terms.J. Lond. Math. Soc., 111:Paper No. e70180, 2025

    2025

  2. [2]

    H. W. Alt and L. A. Caffarelli. Existence and regularity for a minimum problem with free boundary.J. Reine Angew. Math., 325:105–144, 1981

    1981

  3. [3]

    H. W. Alt and D. Phillips. A free boundary problem for semilinear elliptic equations.J. Reine Angew. Math., 368:63–107, 1986

    1986

  4. [4]

    L. P. Bonorino. Regularity of the free boundary for some elliptic and parabolic problems. II.Comm. Partial Differential Equations, 26:355–380, 2001

    2001

  5. [5]

    L. A. Caffarelli, D. Jerison, and C. E. Kenig. Global energy minimizers for free boundary problems and full regularity in three dimensions. InNoncompact Problems at the Intersection of Geometry, Analysis, and Topology, volume 350 ofContemp. Math., pages 83–97. Amer. Math. Soc., Providence, RI, 2004

    2004

  6. [6]

    L. A. Caffarelli and S. Salsa.A Geometric Approach to Free Boundary Problems, volume 68 ofGrad. Stud. Math.Amer. Math. Soc., Providence, RI, 2005

    2005

  7. [7]

    Carducci and G

    M. Carducci and G. Tortone. Smoothness and stability in the alt–phillips problem.Math. Ann., 394:75, 2026

    2026

  8. [8]

    De Silva and D

    D. De Silva and D. Jerison. A singular energy minimizing free boundary.J. Reine Angew. Math., 635:1–22, 2009

    2009

  9. [9]

    De Silva and O

    D. De Silva and O. Savin. On certain degenerate one-phase free boundary problems.SIAM J. Math. Anal., 53:649–680, 2021

    2021

  10. [10]

    Fernández-Real

    X. Fernández-Real. Overview and recent progress on the classical Bernoulli free boundary problem. Forth- coming

  11. [11]

    Fernández-Real and H

    X. Fernández-Real and H. Yu. Generic properties in free boundary problems.Amer. J. Math., 2023. To appear

    2023

  12. [12]

    R. S. Hamilton. Three-manifolds with positive Ricci curvature.J. Differential Geom., 17:255–306, 1982

    1982

  13. [13]

    Y. Hu, Y. Wei, B. Yang, and T. Zhou. A complete family of Alexandrov–Fenchel inequalities for convex capillary hypersurfaces in the half-space.Math. Ann., 390:3039–3075, 2024

    2024

  14. [14]

    H. Ishii. On the equivalence of two notions of weak solutions, viscosity solutions and distribution solutions. Funkcial. Ekvac., 38:101–120, 1995

    1995

  15. [15]

    Jerison and O

    D. Jerison and O. Savin. Some remarks on stability of cones for the one-phase free boundary problem. Geom. Funct. Anal., 25:1240–1257, 2015

    2015

  16. [16]

    Karakhanyan and T

    A. Karakhanyan and T. Sanz-Perela. Stable cones in the Alt–Phillips free boundary problem.Calc. Var. Partial Differential Equations, 65:Paper No. 83, 2026

    2026

  17. [17]

    Phillips

    D. Phillips. A minimization problem and the regularity of solutions in the presence of a free boundary. Indiana Univ. Math. J., 32:1–17, 1983

    1983

  18. [18]

    Restrepo and X

    D. Restrepo and X. Ros-Oton.C∞ regularity in semilinear free boundary problems.Math. Ann., 392:3397– 3446, 2025

    2025

  19. [19]

    Savin and H

    O. Savin and H. Yu. Stable and minimizing cones in the Alt–Phillips problem, 2025. arXiv:2502.18192

    work page arXiv 2025

  20. [20]

    Savin and H

    O. Savin and H. Yu. Concentration of cones in the Alt–Phillips problem.Arch. Ration. Mech. Anal., 250:Paper No. 35, 2026

    2026

  21. [21]

    Tao.Topics in Random Matrix Theory, volume 132 ofGrad

    T. Tao.Topics in Random Matrix Theory, volume 132 ofGrad. Stud. Math.Amer. Math. Soc., Providence, RI, 2012

    2012

  22. [22]

    Velichkov.Regularity of the One-Phase Free Boundaries, volume 28 ofLecture Notes Unione Mat

    B. Velichkov.Regularity of the One-Phase Free Boundaries, volume 28 ofLecture Notes Unione Mat. Ital. Springer, Cham, 2023

    2023

  23. [23]

    G. S. Weiss. Partial regularity for weak solutions of an elliptic free boundary problem.Comm. Partial Differential Equations, 23:439–455, 1998. EPFL SB, Station 8, 1015 Lausanne, Switzerland Email address:xavier.fernandez-real@epfl.ch

    1998