Pith. sign in

REVIEW 2 major objections 5 minor 36 references

Stable anisotropic minimal hypersurfaces in $\mathbb{R}^{5}$ and $\mathbb{R}^{6}$

T0 review · 2 major / 5 minor · reviewed 2026-08-07 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read When the anisotropic area functional is C^4-close to ordinary area, every complete two-sided stable anisotropic minimal hypersurface in R^5 and R^6 is flat.

desk verdict Extends stable anisotropic Bernstein to dimensions 5 and 6, but the n=4 case of the key µ-bubble argument contains a sign-definiteness error that needs a fix. read the letter →

arxiv 2505.16595 v1 pith:4KKQBKGS submitted 2025-05-22 math.DG

Jia Li , Chao Xia This is my paper
classification math.DG MSC 53A1053C4249Q20
keywords anisotropicminimalhypersurfacestableBernsteinproblemμ-bubblebi-Riccicurvaturevolumegrowthparametricellipticintegrandflatness
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

The paper proves that the stable Bernstein theorem survives for anisotropic area functionals in the two highest dimensions where the classical problem is solved. Specifically, if the integrand $F$ satisfies the pinching bound $|\xi|^2 \le D^2F(z)(\xi,\xi) \le (1+\varepsilon_n)|\xi|^2$ on directions perpendicular to $z$, with $\varepsilon_4=3/20$ and $\varepsilon_5=1/1000$, then every complete, two-sided, simply-connected stable $F$-minimal immersion $M^n\to\mathbb{R}^{n+1}$ has Euclidean volume growth. Feeding this volume growth into existing pointwise curvature estimates shows that when $A_F$ is $C^4$-close to the area functional, the hypersurface must be flat. The proof works by transplanting the $\mu$-bubble method used for classical stable minimal hypersurfaces, using the observation that the pinching keeps the anisotropic mean curvature small compared to the full second fundamental form. If the theorem is right, anisotropic variational problems inherit the rigidity of the classical stable Bernstein theorem.

What carries the argument

The load-bearing device is the warped $\mu$-bubble: for a positive weight $w$ on a compact region of the conformally deformed manifold $(N,\tilde g)$, with $\tilde g = r^{-2}g$, one minimizes a functional of the form $A_k(\Omega)=\int_{\partial^*\Omega} w^k\,d\tilde\mu - \int_{\Omega} h w^k\,d\tilde\mu$ among regions containing a prescribed boundary; the minimizing boundary is the bubble. The weight $w$ is chosen as a positive solution of $-\Delta_{\tilde g} w = (\tau_n - \eta_n \tilde\lambda_{\mathrm{biRic}_\alpha}) w$, whose existence is imported from a standard theorem for Schr\"odinger operators. The $\alpha$-bi-Ricci curvature $\tilde\lambda_{\mathrm{biRic}_\alpha}$ is the relevant two-directional curvature; the paper proves the $F$-stability inequality implies a spectral lower bound of the form $\int |\tilde\nabla\varphi|^2 \ge \int(\tau_n - \eta_n \tilde\lambda_{\mathrm{biRic}_\alpha})\varphi^2$. The bubble's mean curvature can then be prescribed so that the second variation yields the spectral Ricci lower bound needed for the spectral Bishop-Gromov comparison theorem, bounding $\mathrm{Vol}_{\tilde g}(\Sigma)$ by a constant. Converting back by $r^{n-1}$ and using the $F$-isoperimetric inequality gives the Euclidean volume growth.

What would settle it

Check the positive definiteness of the matrices $S_4$ and $S_5$ in Section 5.2 at the paper's stated parameter values ($\eta_4\approx0.7675$, $\beta_4=1/2$ and $\eta_5\approx0.8911$, $\beta_5=1/11$); if either has a negative eigenvalue, the quadratic-form step $L_n > \beta_n h^2$ fails and the $\mu$-bubble volume estimate cannot hold.

Watch

Extended reading notes

Core claim

The central claim is Theorem 2: for $n=4,5$, under the pinching condition $|\xi|^2 \le D^2F(z)(\xi,\xi) \le (1+\varepsilon_n)|\xi|^2$ with $\varepsilon_4=3/20$ and $\varepsilon_5=1/1000$, any complete, two-sided, simply-connected stable $F$-minimal immersion $M^n\to\mathbb{R}^{n+1}$ satisfies $\mathrm{Vol}(B_R(p)) \le C(F) R^n$. The novelty is that the anisotropic mean curvature $H_F$ need not vanish; however, Lemma 7 shows the pinching forces $H^2 \le \delta_n^2 |A|^2$ with $\delta_n^2 = (n-1)\varepsilon_n^2/(1+\varepsilon_n)^2$. Once $|H|$ is controlled by $|A|$, the argument follows the classical $\mu$-bubble route: conformally deform the metric by $\tilde g = r^{-2}g$, convert the $F$-stability inequality into a spectral lower bound for an $\alpha$-bi-Ricci curvature ($\alpha=1$ for $n=4$, $\alpha=3/4$ for $n=5$), construct a warped $\mu$-bubble with a weight solving a Schr\"odinger equation, and use a spectral Bishop-Gromov comparison to bound its volume. Combining the volume growth with the pointwise curvature estimates for stable $F$-minimal hypersurfaces (reference [35]) yields Corollary 3: if $A_F$ is $C^4$-close to area, every complete two-sided stable $F$-minimal immersed hypersurface in $\mathbb{R}^{n+1}$, $n=4,5$, is flat.

Load-bearing premise

The proof depends on the validity of the imported Schrödinger-existence and spectral-volume-comparison theorems for the conformal metric with the bi-Ricci potential; if that application is invalid, the volume bound and flatness collapse.

Editorial extensions

If this is right

  • For any complete, two-sided, simply-connected stable $F$-minimal hypersurface satisfying the pinching bound, the Euclidean volume growth $\mathrm{Vol}(B_R(p)) \le C(F) R^n$ holds.
  • When $A_F$ is $C^4$-close to area, such hypersurfaces in $\mathbb{R}^5$ and $\mathbb{R}^6$ are flat, closing the stable anisotropic Bernstein problem in those dimensions.
  • The pinching condition forces the one-end property: there is only one end, which is a structural rigidity statement by itself.
  • The explicit constants $\varepsilon_4=3/20$ and $\varepsilon_5=1/1000$ give a quantitative meaning to 'sufficiently close' for the functional $F$.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The pinching constants $\varepsilon_4=3/20$ and $\varepsilon_5=1/1000$ are probably not sharp; the same $\mu$-bubble scheme may yield volume growth for larger $\varepsilon_n$, and the $C^4$-closeness in the corollary is likely stronger than necessary.
  • If a weighted bi-Ricci spectral condition could be arranged in one more dimension, the same strategy would attack the remaining open stable Bernstein case in $\mathbb{R}^7$, though the classical problem there remains unresolved.
  • Because $C(F)$ is expressed explicitly through the $C^1$ norm of $F$ on the sphere, the method could be turned into a quantitative stability estimate for concrete anisotropic surface tensions.
  • One could test whether the pinching condition alone, without $C^4$-closeness, already forces flatness in these dimensions; the paper leaves that open.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

2 major / 5 minor

Summary. The paper proves that a complete, two-sided, stable anisotropic minimal immersion M^n -> R^{n+1}, n=4,5, has Euclidean volume growth when D^2F is sufficiently pinched (epsilon_4=3/20, epsilon_5=1/1000), and hence, by Winklmann's theorem, is flat when F is C^4-close to area. The strategy follows the mu-bubble approach of Chodosh-Li-Minter-Stryker and Mazet: one-endness, a conformal change g~ = r^{-2}g, a spectral inequality for alpha-bi-Ricci curvature, construction of warped mu-bubbles, and a spectral Bishop-Gromov volume comparison.

Significance. If the proof is corrected, the result would settle the anisotropic stable Bernstein problem in R^5 and R^6 in the near-area regime, extending Chodosh-Li's R^4 result to two more dimensions. The paper is honest about its external inputs and does not introduce fitted parameters; the structural argument is coherent. However, the explicit positivity check for the n=4 matrix is wrong, so the n=4 (R^5) claim is currently not proven as written.

major comments (2)
  1. [Proposition 17 (Case 1, n=4)] The claim that the matrix S_4 is positive definite is false. With alpha_4=1, 1/k=eta_4=406/529, and beta_4=1/2, the entries are S_11=eta_4-4/9, S_12=(1/6)sqrt(2/3), S_13=1/2-eta_4=-S_33, S_22=1/3, S_23=0, and S_33=eta_4-1/2. A direct computation gives det S_4 = S_22(S_11 S_33 - S_13^2) - S_33 S_12^2 = 0, so S_4 is positive semidefinite with a nontrivial kernel, not positive definite. Consequently the strict inequality (6), L_4 > (1/2)h^2, does not follow from the quadratic-form argument as written, and the construction of the positive Jacobi function and the volume estimate for n=4 are not justified. The defect appears repairable (for example, beta_4=1/4 makes S_4 positive definite), but the stated computation and the resulting constants must be corrected.
  2. [Proposition 17, application of Theorem 16] Theorem 16 requires Sigma to be simply connected, but the manuscript does not state or prove that the warped mu-bubble Sigma (a connected component of partial Omega \ partial N_0) is simply connected. Simple-connectedness is not automatic for such a component. If this is established in the deferred argument from [25, Section 4.2], the proof should cite the precise statement; otherwise the volume bound in Proposition 17 is unsupported.
minor comments (5)
  1. [Corollary 3] Corollary 3 does not follow directly from Theorem 2 for non-simply-connected M because Theorem 2 assumes simple-connectedness; add the standard argument passing to the universal cover (the lift is still a two-sided stable F-minimal immersion, and volume growth of the cover descends to M).
  2. [Proposition 11, Case 2] The numerical values quoted for tau_5 and eta_5 (approximately 0.71657 and 0.8911) are inconsistent with the formulas in Proposition 11; using epsilon_5=1/1000 gives tau_5 approximately 0.7198 and eta_5 approximately 0.8920. Please check the arithmetic.
  3. [Proposition 17, matrix verification] The verification 'using software Mathematica' is not reproducible; provide an exact characteristic polynomial or a symbolic determinant computation for S_4 and S_5, or a code supplement.
  4. [Section 5, equation (4)] The application of [18, Theorem 1] to produce the positive solution w of -tilde(Delta)w = (tau_n - eta_n tilde(lambda)_{biRic_alpha})w should be stated explicitly: Proposition 11 supplies the required nonnegativity of the quadratic form on C^1_0(N), so the equivalence in [18, Theorem 1] applies; the text should say this to avoid ambiguity.
  5. [References] There are several typos in the reference list (e.g., 'Berenstein' in [1], 'submanifolds' in [26], 'Thsis' in [6]) that should be corrected in a final version.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the proof combines independent prior results and derived inequalities; constants are chosen to satisfy intermediate inequalities, not to force the conclusion.

full rationale

The derivation of Theorem 2 is not circular. The volume-growth conclusion is obtained from the stated F-stability and pinching condition (1) through three derived ingredients: the one-end Proposition 10, the conformal spectral bi-Ricci lower bound of Proposition 11, and the mu-bubble volume estimate of Proposition 17. In each step the constants (epsilon_n, tau_n, eta_n, alpha_n, beta_n) are selected so that displayed inequalities and positive-definiteness conditions hold; they are not tuned to reproduce the final volume bound, and the final constants C(F) are explicit functions of F. The external tools -- Theorem 16 from [14,2], the positive solution w from [18, Theorem 1], and Propositions 4-6 from [12] -- are prior results by other authors used as black-box tools, and none of them states the anisotropic flatness theorem being proved. There is no self-citation chain, no fitted parameter renamed as a prediction, and no inequality that is equivalent to the theorem by construction. The only concern in the manuscript is the unproved (and, according to one skeptical check, possibly false) positive-definiteness computation for S_4 in Proposition 17, Case 1; that is a correctness or rigor issue, not a circularity issue, so it does not affect the circularity score.

Assumptions & free parameters 3 free parameters · 5 assumptions · 0 invented entities

No new entities are introduced. The only hand-chosen inputs are the pinching and auxiliary constants, which are selected to make finite-dimensional quadratic forms positive definite; they are not fitted to any data. The main external load is carried by the cited mu-bubble and spectral volume comparison theorems.

free parameters (3)
  • epsilon_4 = 3/20
    Pinching constant chosen so that Lambda_4 > 0 and tau_4 > 0 in Sections 3 and 4; the proof requires this specific small value.
  • epsilon_5 = 1/1000
    Pinching constant chosen so that Lambda_5 > 0 and tau_5 > 0 in Sections 3 and 4; extremely small, indicating the method needs very strong pinching in R^6.
  • auxiliary constants a, alpha, beta_n = (1, 1, 1/2) for n=4; (28/25, 3/4, 1/11) for n=5
    Hand-chosen in Propositions 14 and 17 to make the quadratic forms B and S_n positive definite; verified numerically with Mathematica.
assumptions (5)
  • standard math Standard Riemannian geometry identities: Gauss equation, Bochner formula, improved Kato inequality for harmonic functions.
    Used in Lemma 8 to derive the Ricci lower bound and in Section 4 for conformal change formulas; not proved in the paper.
  • standard math Fischer-Colbrie-Schoen existence theorem for a positive solution of the Schrödinger equation (Eq. (4)) on a noncompact manifold.
    Imported from [18, Theorem 1] to obtain the weight w for mu-bubbles in Section 5; hypotheses not verified in the paper.
  • standard math Spectral Bishop-Gromov volume comparison theorem (Theorem 16) for compact manifolds with a spectral Ricci lower bound.
    Imported from [14,2] to bound volumes of mu-bubbles; central to the volume growth estimate.
  • domain assumption C^4 closeness of A_F to area implies the two-sided pinching (1) with epsilon_n as small as 1/1000.
    Corollary 3 asserts sufficiently close is enough, but the quantitative smallness (especially epsilon_5=1/1000) is not stated or derived.
  • domain assumption Winklmann's curvature estimate [35] applies to complete two-sided stable F-minimal hypersurfaces with Euclidean volume growth and C^4-small F, yielding flatness.
    Used in Corollary 3; the exact hypotheses are not stated in this paper.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Stable anisotropic minimal hypersurfaces in $\mathbb{R}^{5}$ and $\mathbb{R}^{6}$." pith.science (2026). https://pith.science/paper/4KKQBKGS

@misc{pith2026250516595,
  author       = {Pith},
  title        = {Pith review of: Stable anisotropic minimal hypersurfaces in $\mathbbR^5$ and $\mathbbR^6$},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/4KKQBKGS}},
  note         = {Machine review of arXiv:2505.16595}
}
abstract

In this paper, we prove that a complete, two-sided, stable anisotropic minimal immersed hypersurface in $\mathbb{R}^{5}$ or $\mathbb{R}^{6}$ is flat, provided the anisotropic area functional is $C^4$-close to the area functional.

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

36 extracted references · 32 canonical work pages

  1. [1]

    F. J. Almgren, Jr. Some interior regularity theorems for minimal surfaces and an extension of Berenstein’s theorem, Ann. of Math. 84(1966), 277-292

    work page 1966

  2. [2]

    Antonelli and K

    G. Antonelli and K. Xu, New spectral Bishop-Gromov and Bonnet-Myers theorems and applica- tions to isoperimetry, arXiv:2405.08918v2[math.DG]

    arXiv

  3. [3]

    Bellettini, Extensions of Schoen-Simon-Yau and Schoen-Yau theorems via iteration ` a la De Giorgi, Invent

    C. Bellettini, Extensions of Schoen-Simon-Yau and Schoen-Yau theorems via iteration ` a la De Giorgi, Invent. Math. 240(2025), no. 1, 1–34

    work page 2025

  4. [4]

    Bernstein, ¨Uber ein geometrisches Theorem und seine Anwendung auf die partiellen Differen- tialgleichungen vom elliptischen Typus, Math

    S. Bernstein, ¨Uber ein geometrisches Theorem und seine Anwendung auf die partiellen Differen- tialgleichungen vom elliptischen Typus, Math. Z., 26(1927), 551-558

    work page 1927

  5. [5]

    Bombieri, E

    E. Bombieri, E. De Giorgi and E. Giusti, Minimal cones and the Bernstein problem, Invent. Math. 7(1969), 243-268. MR 250205

    work page 1969

  6. [6]

    H. L. Bray, The Penrose inequality in general relativity and volume comparison theorems involving scalar curvature, Proquest LLC, Ann Arbor, MI, 1997, Thsis(Ph.D.)-Stanford University

    work page 1997

  7. [7]

    Brendle, The isoperimetric inequality for a minimal submanifold in Euclidean space

    S. Brendle, The isoperimetric inequality for a minimal submanifold in Euclidean space. J. Amer. Math. Soc. 34(2021), 595-603

    work page 2021

  8. [8]

    H. D. Cao, Y. Shen, and S. H. Zhu, The structure of stable minimal hypersurfaces inR n+1, Math. Res. Lett. 4(1997), 637-644. MR 1484695

    work page 1997

Show all 36 references
  1. [9]

    Catino, P

    G. Catino, P. Mastrolia and A. Roncoroni, Two rigidity results for stable minimal hypersurfaces, Geom. Funct. Anal. 34(2024), 1-18

    2024

  2. [10]

    Chodosh and C

    O. Chodosh and C. Li, Generalized soap bubbles and the topology of manifolds with positive scalar curvature, Ann. of Math. 199(2)(2024), no. 2, 707-740. MR 4713021

    2024

  3. [11]

    Chodosh and C

    O. Chodosh and C. Li, Stable minimal hypersurfaces inR 4, Acta Math. 233(1)(2024):1-31

    2024

  4. [12]

    Chodosh and C

    O. Chodosh and C. Li, Stable anisotropic minimal hypersurfaces inR 4, Forum Math. Pi 11(2023), Paper NO. e3, 22

    2023

  5. [13]

    Chodosh, C

    O. Chodosh, C. Li and D. Stryker, Complete stable minimal hypersurfaces in positively curved 4-manifolds, to appear in J. Eur. Math. Soc(2024). MR4713021

    2024

  6. [14]

    Chodosh, C

    O. Chodosh, C. Li, P. Minter and D. Stryker, Stable minimal hypersurfaces inR 5, arXiv:2401.01492v1[math.DG]

    arXiv

  7. [15]

    T. H. Colding and W. P. Minicozzi II, Estimates for parametric elliptic integrands, Int. Math. Res. Not. 2002(6)(2002), 291-297

    2002

  8. [16]

    De Giorgi

    E. De Giorgi. Una estensione del teorema di Berenstein, Ann. Scuola Norm. Sup. Pisa Cl. Sci.19(1965), 79-85

    1965

  9. [17]

    do Carmo and C

    M. do Carmo and C. K. Peng, Stable complete minimal surfaces inR 3 are planes, Bull. Am. Math. Soc. (N.S.)1(1979), no. 6, 903-906

    1979

  10. [18]

    Fischer-Colbrie and R

    D. Fischer-Colbrie and R. Schoen, The structure of complete stable minimal surfaces in 3-manifolds of nonnegative scalar curvature, Commun. Pure Appl. Math. 33(1980), 199-211. 16 JIA LI AND CHAO XIA

    1980

  11. [19]

    W. H. Fleming, On the oriented Plateau problem, Rend. Circ. Mat. Palermo, 11(1962), 69-90

    1962

  12. [20]

    Gulliver and H

    R. Gulliver and H. B. Lawson, Jr., The structure of stable minimal hypersurfaces near a singularity, in Geometric measure theory and the calculus of variations(Arcata, Calif., 1984), Proceedings of Symposia in Pure Mathematics vol. 44(American Mathematical Society, Providence,...

    1984

  13. [21]

    Gromov, Positive curvature, macroscopic dimension, spectral gaps and higher signatures

    M. Gromov, Positive curvature, macroscopic dimension, spectral gaps and higher signatures. In Functional analysis on the eve of the 21st century, Vol. II (New Brunswick, NJ, 1993), volume 132 of Progr. Math., pages 1–213. Birkh¨ auser Boston, Boston, MA, 1996

    1993

  14. [22]

    H. Hong, Z. Yan, Rigidity and nonexistence of CMC hypersurfaces in 5-manifolds, arXiv:2405.06867[math.DG]

    arXiv

  15. [23]

    Jenkins, On 2-dimensional variational problems in parametric form, Arch

    H. Jenkins, On 2-dimensional variational problems in parametric form, Arch. Ration. Mech. Anal. 8(1961), 181-206

    1961

  16. [24]

    F. H. Lin, Extimates for surfaces which are stationary for an elliptic parameter integral, J. Partial Differential Equations 3(3)(1990), 78-92

    1990

  17. [25]

    Mazet, Stable minimal hypersurfaces inR 6, arXiv:2405.14676v1[math.DG]

    L. Mazet, Stable minimal hypersurfaces inR 6, arXiv:2405.14676v1[math.DG]

    arXiv

  18. [26]

    J. H. Michael and L. M. Simon, Sobolev and mean-value inequalities on generalized sumanifolds ofR n, Comm. Pure. Appl. Math. 26(1973), 361-379

    1973

  19. [27]

    Mooney, Entire solutions to equations of minimal surfaces type in six dimensions, J

    C. Mooney, Entire solutions to equations of minimal surfaces type in six dimensions, J. Eur. Math. Soc. 24(12)(2022), 4353-4361

    2022

  20. [28]

    Mooney, Y

    C. Mooney, Y. Yang, The anisotropic Bernstein problem, Invent. Math. 235(2023), 211-232

    2023

  21. [29]

    A. V. Pogorelov, On the stability of minimal surfaces, Sov. Math. Dokl. 24(1981), 274-276

    1981

  22. [30]

    Schoen, L

    R. Schoen, L. Simon, and S. T. Yau, Curvature estimates for minimal hypersurfaces, Acta Math- ematica. 134(1975), no. 3-4, 275-288. MR 423263

    1975

  23. [31]

    Shen and R

    Y. Shen and R. Ye, On stable minimal surfaces in manifolds of positive bi-Ricci curvatures, Duke Math. J. 85(1996), no. 1, 109-116. MR 1412440

    1996

  24. [32]

    Simons, Minimal varieties in Riemannian manifolds, Ann

    J. Simons, Minimal varieties in Riemannian manifolds, Ann. of Math. 88(22)(1968), 62-105. MR 0233295

    1968

  25. [33]

    Simon, On some extensions of Bernstein’s theorem, Math

    L. Simon, On some extensions of Bernstein’s theorem, Math. Z. 154(1977), 265-273

    1977

  26. [34]

    White, Existence of smooth embedded surfaces of prescribed genus that minimize parametric even elliptic functionals on 3-manifolds, J

    B. White, Existence of smooth embedded surfaces of prescribed genus that minimize parametric even elliptic functionals on 3-manifolds, J. Differential Geom. 33(2)(1991), 413-443

    1991

  27. [35]

    Winklmann, Pointwise curvature estimates for stableF-minimal hypersurfaces, Ann

    S. Winklmann, Pointwise curvature estimates for stableF-minimal hypersurfaces, Ann. Inst. H. Poincar´ e C Anal. Non Lin´ eaire 22(5)(2005), 543-555

    2005

  28. [36]

    Zhu, Width estimate and doubly warped product, Trans

    J. Zhu, Width estimate and doubly warped product, Trans. Amer. Math. Soc. 374(2021), no. 2, 1497-1511. MR 4196400. School of Mathematical Sciences, Xiamen University, 361005, Xiamen, P.R. China Email address:lijiamath@stu.xmu.edu.cn School of Mathematical Sciences, Xiamen Univ...

    2021

Pith tools

Reviewed August 7, 2026 · model on record in the stance chip above.