{"id":"8766cbb8-fc13-4078-8086-c943ecc20611","arxiv_id":"2507.00342","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":5,"one_line_summary":"For n=3,4,5 and δ above thresholds δ0(n), complete two-sided δ-stable minimal hypersurfaces in R^{n+1} have Euclidean volume growth, and for δ above δ1(n) they are hyperplanes.","lead":"This paper proves that complete two-sided δ-stable minimal hypersurfaces in Euclidean space have Euclidean volume growth in dimensions 3, 4 and 5 when δ exceeds explicit thresholds, and are hyperplanes for slightly larger δ. It extends the classical Bernstein rigidity program to a family of weakened stability conditions.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 3.1's proof sets a=bδ in (3.12), while Lemma 3.3 only proves positivity for a=bδ0; for δ>δ0 the spectral bound is not established as written.","rationale":"I read the paper in good faith; the strategy is coherent and the novel theorems are significant. My independent spot-check of the algebraic constants for n=4 gives F0≈0.072 and F1≈0.12, consistent with ε(4)=377/5260, suggesting the missing computation in Lemma 3.3 is likely correct. The reader identified the same region of the argument as weakest. The most precise defect, however, is the mismatch between a=bδ0 (Lemma 3.3) and a=bδ (Theorem 3.1): this is a logical gap in the derivation of (3.13), not merely a typographical complaint, since it concerns whether the bound V≥ε−Λ̃ holds for all δ>δ0. The proposed repair (a=bδ0 plus S≥0) is short, so I expect the authors can fix it; conditional acceptance is appropriate. Secondary issues, such as the terse n=3 Gauss-Bonnet case and the attribution in Remark 1.2, do not change this verdict.","tokens_in":21053,"tokens_out":29980,"duration_ms":277985,"concrete_test":"Use exact arithmetic to evaluate F(n,b,α,β,t) from (3.3)-(3.5) at t=0,1 with the constants in (3.6), confirming the stated ε(3), ε(4), ε(5). Then repeat the same evaluation with a=bδ for δ=1.001δ0 (keeping n,b,α,β fixed) and compute min_{t∈[0,1]} of the left side of (3.1). If the minimum stays ≥ε(n), the a=bδ reading is harmless and only the exposition needs correction; if it falls below 0, the proof must be modified to use a=bδ0 as suggested, and the stability condition S≥0 must be invoked explicitly.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"Lemma 3.3's inequality (3.1) is verified only for the constants in (3.6), which satisfy a=bδ0(n) (e.g., n=3: a=10/11, b=30/11, δ0=1/3). In the proof of Theorem 3.1, the sentence 'with bδ=a' immediately before (3.12) identifies the coefficient a in Lemma 3.2 with bδ, not with bδ0. Since the theorem assumes δ>δ0, a=bδ>bδ0. The positivity (3.7) and the ε(n) values were computed for a=bδ0; no argument is given for the larger a. If the intended substitution is instead a=bδ0, then the written 'with bδ=a' is false and must be replaced by the observation that bδr^2S ≥ bδ0 r^2S because S≥0, which would repair the step. As printed, Theorem 3.1 is either not proved for δ>δ0 or contains a false intermediate statement. This is load-bearing because Theorem 3.1 is the sole source of the spectral bound (4.1) used by the μ-bubble volume-growth proof.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies complete two-sided δ-stable minimal hypersurfaces in R^{n+1}. It claims Euclidean volume growth for 3≤n≤5 and δ>δ0(n), with δ0(3)=1/3, δ0(4)=1/2, and δ0(5)=21/22, and then, via an L^p estimate for |A|, that for δ>δ1(n) with δ1(3)=3/8, δ1(4)=2/3, and δ1(5)=21/22, the hypersurface is a hyperplane. The proofs use the Gulliver-Lawson conformal metric, an (α,β)-bi-Ricci curvature Simons-type inequality, and μ-bubble techniques together with an isoperimetric estimate of Antonelli-Xu. The paper also contains two independent estimates, Theorem 1.1 and Theorem 1.2, which may be of independent interest.","tokens_in":21225,"tokens_out":27419,"duration_ms":260141,"significance":"If the results are correct, they give a unified proof of the stable Bernstein theorem in dimensions 3, 4, and 5 as a corollary and provide quantitative δ thresholds. A strength of the paper is that the numerical constants and positivity lower bounds are stated explicitly, which makes the main algebraic claims verifiable. The overall strategy is credible and builds on established tools. However, the proof as written contains a substitution mismatch in the key spectral estimate and one omitted verification in the μ-bubble inequality; both issues are localized and appear repairable.","major_comments":[{"comment":"In the proof of Theorem 3.1, immediately before (3.12), the paper states 'with bδ=a'. This identifies the parameter a of Lemma 3.2 with bδ. But Lemma 3.3 is proved only for a=bδ0(n), and the constants in (3.6) indeed satisfy a=bδ0(n) (for n=3, a=10/11 and b=30/11 with δ0=1/3). Since Theorem 3.1 assumes δ>δ0(n), the substitution a=bδ makes a strictly larger than the value for which the positivity (3.7) is established. The subsequent lower bound (3.13) therefore does not follow from Lemma 3.3 as written. This is load-bearing because (3.13) is the only source of the spectral inequality (4.1) used in the μ-bubble volume-growth proof. The gap is repairable: apply Lemma 3.2 with a=bδ0(n) and use δr^2S ≥ δ0r^2S (since S≥0), and replace the phrase 'with bδ=a' by that argument; alternatively prove the positivity for all a≥bδ0(n). As printed, Theorem 3.1, and consequently Theorems 4.2 and 1.3, are not proved for the asserted δ range.","section":"§3, Lemma 3.3 and Theorem 3.1"},{"comment":"In passing from (4.8) to (4.9), the term involving H̄² is removed without explanation. The displayed inequality becomes a spectral bound on the hypersurface Σ only if the coefficient of H̄² is nonnegative. The values of L(n) appear to be chosen so that c+1/q-1 = L(n)|1/2-1/q| exactly (for n=3, with c = [4β²-(n-2)α²]/[4β((n-1)β-(n-2)α)], this identity holds), but this computation is not shown. Please state that L(n) is chosen to make the H̄² coefficient vanish, and display the verification. As written, the step is not self-evident and is central to the spectral Ricci bound (4.10) that is later used in the area estimate.","section":"§4, equations (4.8)–(4.10)"}],"minor_comments":[{"comment":"The Simons inequality is written with a factor 4/(S+ε) in one line and with 1/4 in the next; the correct factor is 1/[4(S+ε)]. The subsequent algebra uses the 1/4 form, so the final coefficient is unaffected, but the displayed formula should be corrected.","section":"§5, Proof of Theorem 1.2"},{"comment":"The displayed inequality '2k > (n-2)^2' is not correct; the computation gives 2k > (n-2)/2, which is still sufficient for p=4k+2>n. Please correct this algebraic claim.","section":"§1, Proof of Corollary 1.1"},{"comment":"The statement says 'with δ>δ0(n)' although the inequality (3.1) contains no δ. Clarify that the constants are chosen at δ0 and that the condition δ>δ0 is used later in Theorem 3.1.","section":"§3, Lemma 3.3"},{"comment":"After setting k=1/R^{(n-2)/n}, the R-powers in the two terms are treated as reciprocals in the bound for C0, but the cancellation with the assumed bound on ∫_{B_R}S^{qn/(n-2)} is not shown explicitly. Please spell out the exponent bookkeeping so that C0^{n/2}S1 is uniformly small in R.","section":"§5, Proof of Theorem 1.1"},{"comment":"There are several typographical issues, including 'hyperusfraces' in Section 1 and an incomplete URL in reference [2]; a careful proofreading pass is needed.","section":"References and miscellaneous"}],"recommendation":"major_revision","confidential_remarks":"The main gap in Section 3 is localized and appears fixable; the paper's central claim is likely correct after the substitution mismatch is repaired and the H² coefficient verification is added. I would not recommend rejection based on the current issues, but the manuscript should not be accepted without those corrections."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Short version: the paper proves genuinely new results — Euclidean volume growth for complete two-sided δ-stable minimal hypersurfaces in R^{n+1} when 3≤n≤5 and δ>δ0(n), with δ0(3)=1/3, δ0(4)=1/2, δ0(5)=21/22, and hyperplane rigidity above δ1(n). The volume-growth theorem is new: Hong-Li-Wang assumed Euclidean volume growth and proved flatness, while here volume growth is concluded from δ-stability. The thresholds are explicit and the δ0 values line up with the catenoid, which is a good sanity check. The proof strategy — conformal Gulliver-Lawson metric, bi-Ricci curvature, μ-bubbles — is coherent and builds on the right tools.\n\nCredit where due: the paper does not hide its debts; it cites Chodosh-Li, Zhu, Antonelli-Xu, and the relevant Catino-Mari-Mastrolia-Roncoroni work, and the spectral estimates follow the expected route. The main advance is clear and worth refereeing.\n\nThe soft spots, in order of size. First, the known one: Lemma 3.3 proves positivity only for the constants in (3.6), which satisfy a=bδ0(n), while the proof of Theorem 3.1 says \"with bδ=a\". For δ>δ0 this is a different, larger a, and no monotonicity or replacement argument is given. The stress-test note lands. This step is load-bearing: Theorem 3.1's spectral bound is the sole input to the μ-bubble volume growth. I expect the repair is easy — δS ≥ δ0S and the positivity appears insensitive to increasing a for these constants — but as printed the main theorem is not fully proved. Second, Lemma 3.3 states numerical ε(n) without displaying the algebra; since the claimed positivity is hand-checked at specific constants, a referee should ask for that computation. Third, the proof of Theorem 1.2 has a factor 4 versus 1/4 inconsistency in the application of the Simons inequality; it is likely a typo, but it makes the statement hard to verify as written. Finally, Remark 1.2 overstates what Hong-Li-Wang proved if their theorem carries the volume-growth assumption; that should be reworded.\n\nNet: this is a serious paper with a real gap in the written proof of the central estimate. It deserves a serious referee, but the referee should ask for the Lemma 3.3 computation and the a=bδ repair before the volume-growth theorem is accepted.","headline":"New Euclidean volume growth and rigidity theorems for δ-stable minimal hypersurfaces, with a real but likely repairable gap in the key spectral estimate.","tokens_in":21920,"tokens_out":6567,"would_cite":true,"duration_ms":64469,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["53C42","53A10","49Q05"],"pacs":[],"model":"deepseek-v4-flash","headline":"For dimensions 3, 4, and 5, complete two-sided δ-stable minimal hypersurfaces in Euclidean space have Euclidean volume growth once δ exceeds δ0(n), and are hyperplanes once δ exceeds the slightly larger δ1(n).","keywords":["δ-stable minimal hypersurface","Euclidean volume growth","stable Bernstein problem","bi-Ricci curvature","Gulliver–Lawson conformal metric","warped μ-bubble","minimal hypersurface rigidity"],"falsifier":"Compute $F(n,b,\\alpha,\\beta,t)$ for the three sets of constants in (3.6) over $t\\in[0,1]$ with exact arithmetic or interval arithmetic and compare the minimum to the claimed $\\varepsilon(n)$; a single value of $t$ where the expression drops below the claimed $\\varepsilon(n)$, or below zero, would invalidate Lemma 3.3 and Theorem 4.2. It would also be worth checking the substitution 'with $b\\delta=a$' in the proof of Theorem 3.1 against Lemma 3.3's assumption $a=b\\delta_0(n)$, since the lemma's thresholds must align with the theorem's $\\delta$ range.","tokens_in":20731,"feed_emoji":"📐","tokens_out":15272,"duration_ms":145317,"temperature":0.7,"pith_summary":"This paper proves that in dimensions n=3,4,5, a complete two-sided minimal hypersurface in $\\mathbb{R}^{n+1}$ that is $\\delta$-stable cannot grow faster than Euclidean space once $\\delta$ is above the thresholds $\\delta_0(3)=1/3$, $\\delta_0(4)=1/2$, and $\\delta_0(5)=21/22$: geodesic balls satisfy $\\operatorname{vol}\\{B_R(p_0)\\}\\le \\Lambda R^n$. With the slightly larger thresholds $\\delta_1(3)=3/8$, $\\delta_1(4)=2/3$, and $\\delta_1(5)=21/22$, the same hypotheses force the hypersurface to be a hyperplane. Since ordinary stability is $\\delta=1$ and all the $\\delta_1(n)$ are at most $1$, this gives a new proof of the stable Bernstein rigidity in these dimensions. The argument works by transplanting the problem to the Gulliver--Lawson conformal metric and using a warped $\\mu$-bubble to produce separating hypersurfaces with a spectral Ricci lower bound, which then yields the volume estimate.","feed_headline":"Past 3/8, 2/3, 21/22, δ-stable minimal hypersurfaces are hyperplanes","feed_subtitle":"A conformal metric plus a warped μ-bubble turns δ-stability into volume growth, then into hyperplane rigidity.","key_machinery":"The machinery has three interacting pieces. The $(\\alpha,\\beta)$-bi-Ricci curvature $Bi_{(\\alpha,\\beta)}\\mathrm{Ric}_{12}=\\beta\\sum_i R_{1i1i}+\\alpha\\sum_{j\\ge3}R_{2j2j}$ is a weighted sum of sectional curvatures in two distinguished directions; Lemma 3.2 uses it, together with the Gauss and Codazzi equations, to lower-bound the squared norm $S=|A_M|^2$ by a quadratic form in the eigenvalues plus a term depending on the height function. The Gulliver--Lawson conformal metric $\\tilde{g}=r^{-2}g$, where $r=|X|$, converts the $\\delta$-stability inequality into a spectral inequality $b\\int_N|\\tilde\\nabla\\phi|^2\\,dv_{\\tilde g}\\ge\\int_N V\\phi^2\\,dv_{\\tilde g}$ with potential $V\\ge\\varepsilon(n)-\\widetilde{\\Lambda}(\\alpha,\\beta)$. Finally, the warped $\\mu$-bubble functional $\\mathcal{A}(\\Omega)=\\int_{\\partial^*\\Omega}w^q\\,dA-\\int_\\Omega w^qh\\,dv$, minimized over domains separating two prescribed sets, manufactures a hypersurface $\\Sigma$ with a spectral Ricci curvature lower bound; an area estimate for such $\\Sigma$, combined with a bound on the Euclidean distance over the relevant conformal neighborhood, yields the Euclidean volume growth.","core_discovery":"The central claim, stated on the paper's own terms, is that $\\delta$-stability controls the global geometry of complete two-sided minimal hypersurfaces in Euclidean space far better than a naive reading of the stability inequality suggests. Theorem 4.2 says that for $3\\le n\\le 5$ and $\\delta>\\delta_0(n)$ every such hypersurface has Euclidean volume growth, $\\operatorname{vol}\\{B_R(p_0)\\}\\le \\Lambda R^n$; Theorem 1.3 then says that when $\\delta>\\delta_1(n)$ the only such hypersurface is the hyperplane $\\mathbb{R}^n$. The proof is quantitative: it produces explicit positive constants $\\varepsilon(n)$ in a lower bound $V\\ge \\varepsilon(n)-\\widetilde{\\Lambda}(\\alpha,\\beta)$ for a Schr\\\"odinger operator on the conformally changed manifold, and the rigidity comes from combining that bound with the paper's $L^p$ estimates on the second fundamental form.","pith_inferences":["The algebraic positivity of Lemma 3.3 is asserted with explicit numbers but no displayed verification; checking $F(n,b,\\alpha,\\beta,t)$ over $t\\in[0,1]$ by exact or interval arithmetic is the cheapest independent test of the whole theorem.","The thresholds $\\delta_0(n)$ and $\\delta_1(n)$ likely reflect the particular choice of $(\\alpha,\\beta)$ in (3.6) rather than a sharp boundary for $\\delta$-stability; optimizing those constants could lower the thresholds, while the still-open $n=6$ case would probably need a different curvature combination.","Because $\\delta$-stability is the stability condition for anisotropic area functionals, Theorem 1.3 implies corresponding rigidity for the associated complete two-sided anisotropic minimal hypersurfaces in these dimensions, a connection the paper notes but does not develop."],"forward_implications":["For each $n\\in\\{3,4,5\\}$ and each $\\delta>\\delta_1(n)$, a complete two-sided $\\delta$-stable minimal hypersurface in $\\mathbb{R}^{n+1}$ is the hyperplane $\\mathbb{R}^n$.","For each $\\delta>\\delta_0(n)$, the same hypersurface satisfies $\\operatorname{vol}\\{B_R(p_0)\\}\\le \\Lambda R^n$ for all $R$, so Euclidean volume growth follows without assuming any growth condition in advance.","Since ordinary stability is $\\delta=1$ and $1\\ge \\delta_1(n)$ for $n=3,4,5$, the stable Bernstein rigidity for these dimensions is a special case.","The $L^p$ estimates on $\\sqrt{S}$ from Theorem 1.2, valid for $p=4k+2$ in a specified range of $k$, are what turn Euclidean volume growth into the vanishing of the second fundamental form when $\\delta$ is large enough."],"supporting_citations":[{"why":"Provides the weighted Poincar\\'e device: the spectral inequality on N yields a positive solution w of -b \\Delta w = V w, which drives the \\mu-bubble functional.","marker":"[22]"},{"why":"Supplies the warped \\mu-bubble minimization and the stable-domain construction used to produce the separating hypersurface \\Sigma with the spectral Ricci lower bound.","marker":"[13]"},{"why":"Is the methodological source for the conformal second-strategy argument and furnishes the distance estimate controlling r on conformal neighborhoods in Theorem 4.2.","marker":"[15]"},{"why":"Gives the area bound for hypersurfaces with a spectral Ricci curvature lower bound, converting the spectral estimate into the area control used for volume growth.","marker":"[3]"},{"why":"Is the preceding work on \\delta-stable minimal hypersurfaces whose Euclidean-volume-growth rigidity for n=3,4 is extended here and whose point-picking one-end reduction is reused.","marker":"[27]"},{"why":"Proves the one-end conclusion for 3-dimensional \\delta-stable hypersurfaces with \\delta>1/3, used in the n=3 case of the volume-growth theorem.","marker":"[11]"},{"why":"Supplies the one-end conclusion for complete two-sided minimal hypersurfaces with a weighted Poincar\\'e inequality, invoked in the point-picking reduction.","marker":"[10]"},{"why":"Provides the doubly warped product and variation framework used in constructing and varying the \\mu-bubble domains.","marker":"[45]"}],"fun_headline_variants":["δ-stable minimal hypersurfaces are hyperplanes for δ>3/8, 2/3, 21/22","In R^4-R^6, δ-stability past 3/8, 2/3, 21/22 forces hyperplane","Sharp rigidity: δ>3/8, 2/3, 21/22 implies hyperplane for n=3-5","Only hyperplanes remain: δ-stable minimal hypersurfaces exceed thresholds","Euclidean rigidity: δ-stability above 3/8, 2/3, 21/22 yields hyperplane"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"Everything rests on the positivity asserted in Lemma 3.3: for the dimension-dependent constants chosen in (3.6), the algebraic expression $F(n,b,\\alpha,\\beta,t)$ stays at least the stated positive value $\\varepsilon(n)$ for every $t\\in[0,1]$; the paper states the numerical values $\\varepsilon(3)=9/11$, $\\varepsilon(4)=377/5260$, and $\\varepsilon(5)\\approx0.014999$ without displaying the computation, and if the inequality fails on the intended $\\delta$ ranges the spectral bound $V\\ge\\varepsilon(n)-\\widetilde{\\Lambda}(\\alpha,\\beta)$, and with it the volume-growth argument, collapses.","fun_headline_variants_meta":{"raw":{"variants":["δ-stable minimal hypersurfaces are hyperplanes for δ>3/8, 2/3, 21/22","In R^4-R^6, δ-stability past 3/8, 2/3, 21/22 forces hyperplane","Sharp rigidity: δ>3/8, 2/3, 21/22 implies hyperplane for n=3-5","Only hyperplanes remain: δ-stable minimal hypersurfaces exceed thresholds","Euclidean rigidity: δ-stability above 3/8, 2/3, 21/22 yields hyperplane"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001165,"raw_usage":{"total_tokens":4819,"prompt_tokens":942,"completion_tokens":3877,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":558,"completion_tokens_details":{"reasoning_tokens":3743}},"tokens_in":558,"tokens_out":3877,"duration_ms":28484,"temperature":1.0,"reasoning_tokens":3743,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-06T21:19:39.032445+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute $F(n,b,\\alpha,\\beta,t)$ for the three sets of constants in (3.6) over $t\\in[0,1]$ with exact arithmetic or interval arithmetic and compare the minimum to the claimed $\\varepsilon(n)$; a single value of $t$ where the expression drops below the claimed $\\varepsilon(n)$, or below zero, would invalidate Lemma 3.3 and Theorem 4.2. It would also be worth checking the substitution 'with $b\\delta=a$' in the proof of Theorem 3.1 against Lemma 3.3's assumption $a=b\\delta_0(n)$, since the lemma's thresholds must align with the theorem's $\\delta$ range.","supporting_citations":[{"cited_title":"Pure Appl","cited_arxiv_id":null,"evidence_quote":"Provides the weighted Poincar\\'e device: the spectral inequality on N yields a positive solution w of -b \\Delta w = V w, which drives the \\mu-bubble functional."},{"cited_title":"Generalized soap bubbles and th e topology of manifolds with positive scalar curvature, Ann","cited_arxiv_id":null,"evidence_quote":"Supplies the warped \\mu-bubble minimization and the stable-domain construction used to produce the separating hypersurface \\Sigma with the spectral Ricci lower bound."},{"cited_title":"Stable anisotropic minimal hyp ersurfaces in R4, Forum Math","cited_arxiv_id":null,"evidence_quote":"Is the methodological source for the conformal second-strategy argument and furnishes the distance estimate controlling r on conformal neighborhoods in Theorem 4.2."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the one-end conclusion for complete two-sided minimal hypersurfaces with a weighted Poincar\\'e inequality, invoked in the point-picking reduction."},{"cited_title":"δ-STABLE MINIMAL HYPERSURF ACES 24 Qing-Ming Cheng Ma thema tical Science Research Center, Chongqing University of Technology, Chongqing 400054, P","cited_arxiv_id":null,"evidence_quote":"Provides the doubly warped product and variation framework used in constructing and varying the \\mu-bubble domains."}],"review_version":1}