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

Chao Xia; Jia Li

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 ↗ Review JSON

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 v2 pith:4KKQBKGS submitted 2025-05-22 math.DG

Jia Li , Chao Xia This is my paper · ORCID

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.

Desk Editor's Note

read the letter

The paper extends Chodosh-Li's anisotropic stability argument to ambient dimensions 5 and 6. The substance is real: they prove Euclidean volume growth for stable F-minimal hypersurfaces under explicit pinching bounds |ξ|^2 ≤ D^2F ≤ (1+ε_n)|ξ|^2, and then combine with Winklmann's theorem to get flatness when F is C^4-close to area. Lemma 7 (mean curvature controlled by |A| under pinching) is clean, and the conformal weight manipulation in Proposition 11 looks carefully done. The one-endness section is a standard but appropriate adaptation.

The soft spots are concentrated in Proposition 17. The n=4 case claims the matrix S_4 is positive definite for the chosen constants α_4=1, η_4=406/529, β_4=1/2. This is false. I checked: S_13 = -S_33, S_11 - S_33 = 1/18, and S_12^2/S_22 = 1/18, so S_11 S_22 - S_12^2 - S_22 S_33 = 0, which forces det S_4 = 0. The null vector (1, -(1/2)√(2/3), 1) makes L_4 = (1/2)h^2 exactly, not strictly greater. Since the subsequent Jacobi-function argument explicitly needs the strict inequality (6), the proof of Proposition 17 for n=4 is incomplete. The likely fix is to take β_4 slightly less than 1/2, which makes S_4 positive definite; this does not appear to harm the rest of the argument. But as written, the n=4 case of Theorem 2 is not established. The n=5 matrix is positive definite; I confirmed that one.

Two smaller issues. Corollary 3 drops the simply-connected hypothesis from Theorem 2 without comment; a one-line universal-cover argument should settle it, but it should be stated. Proposition 10 cites Proposition 6 for the contradiction when it should cite Proposition 5 (infinite volume); that's a typo. Also, the positive-definiteness checks are relegated to Mathematica without code or a symbolic certificate. The S_4 case shows why that is dangerous; for 3x3 matrices an explicit Sylvester criterion check is easy and should be included.

The paper is worth a serious referee. The main idea is sound and the R^6 result (n=5) appears solid; the R^5 case (n=4) has a repair that likely goes through. I would send it to review and ask the authors to fix the S_4 issue and the small presentation gaps before acceptance.

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)

[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.
[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)

[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).
[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.
[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.
[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.
[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). Continue with ORCID to comment.

Pith tools

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