{"id":"79bdfb7b-914f-4a3b-8f85-77b787e3ccb4","arxiv_id":"2608.08548","paper_version":2,"verdict":"ACCEPT","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Every closed embedded lambda-self-expander in Euclidean space is a round sphere centered at the origin, proved through a new weighted Heintze-Karcher inequality.","lead":"Closed embedded surfaces with constant weighted mean curvature in a large class of warped product spaces with radial density must be coordinate spheres or lie in a region where the density is constant. As a special case, every closed embedded lambda-self-expander in Euclidean space is a round sphere centered at the origin.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Proof of the main theorem cites only the Heintze–Karcher inequality; as written it does not establish the rigidity conclusion.","rationale":"The reader's verdict identifies the weighted sub-static condition C_{lambda,phi} >= 0 as the weakest assumption. That is a reasonable concern for the general theorems, but for the central Euclidean statement C_{lambda,phi} is identically zero, so it is not the most load-bearing issue for Theorem 1.1. The main theorem's proof, as printed, ends with an inference from Theorem 4.1 that does not logically yield rigidity: the equality case of the Heintze--Karcher inequality is not invoked, nor is the Alexandrov-type Theorem 4.3 cited. Since the headline claim depends on this final step, the paper should be accepted only after this proof gap is closed. I do not see evidence that the mathematical strategy is wrong; the missing equality argument is standard and the hypotheses for the Euclidean anti-Gaussian weight are satisfied, so a conditional acceptance is appropriate rather than rejection.","tokens_in":14113,"tokens_out":40986,"duration_ms":464625,"concrete_test":"Re-read the final paragraph of Section 4 and settle the intended inference. If the citation was meant to be Theorem 4.3, verify conditions (C1')--(C5) for lambda(r)=r, phi(r)=-r^2/4 and observe that the second alternative in Theorem 4.3 is impossible because phi is strictly decreasing, so Sigma is a slice N x {r0}, i.e., a sphere centered at the origin. If the citation was meant to be Theorem 4.1, insert the missing equality-forcing step: by Lemma 2.2 and the divergence theorem, int_Sigma V = lambda int_Sigma <x,nu> = lambda int_Omega W, hence int_Sigma V/H_phi = int_Omega W, so equality holds in (6); then apply the equality case of Theorem 4.1. In either version, add an explicit argument covering hypersurfaces through r=0, for example by deleting the pole (measure zero) from the flow domain or by an approximation argument. If neither repair is possible, Theorem 1.1 remains unproved.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"The paper's Section 4 numbers the weighted Heintze–Karcher inequality as Theorem 4.1 and the Alexandrov-type rigidity theorem for phi-CMC hypersurfaces as Theorem 4.3. The proof of the headline Theorem 1.1 verifies the Euclidean anti-Gaussian data and then states: \"Hence the result follows immediately from Theorem 4.1.\" But Theorem 4.1 is only an integral inequality; it does not by itself classify constant weighted mean curvature hypersurfaces. To obtain the conclusion \"Sigma is a round sphere centered at the origin,\" the proof must either (i) invoke Theorem 4.3, whose hypotheses hold for lambda(r)=r and phi(r)=-r^2/4, or (ii) first use the weighted Minkowski identity (Lemma 2.2) to force equality in the Heintze--Karcher inequality, and then apply the equality-case characterization of Theorem 4.1. Neither step is written in the final paragraph. There is a second, related omission: Theorem 4.1 assumes Sigma subset N x (0, bar r), while Theorem 1.1 does not exclude smooth closed embedded hypersurfaces that pass through the pole r=0; the proof should state that the flow argument extends after deleting this measure-zero set, or handle that case separately. The intended argument appears sound and the gaps are likely repairable, but the central claim is not fully supported as printed.","agreement_with_reader":"disagree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proves a weighted Heintze–Karcher inequality for smooth closed embedded hypersurfaces in a class of warped product manifolds with radial density, under a structural condition C_{λ,φ} ≥ 0 that encodes a weighted sub-static inequality. It uses this inequality to prove an Alexandrov-type theorem for constant weighted mean curvature (φ-CMC) hypersurfaces, and applies the result to the anti-Gaussian Euclidean density ρ = e^{|x|^2/4}, concluding that every smooth closed embedded λ-self-expander is a round sphere centered at the origin.","tokens_in":14294,"tokens_out":9282,"duration_ms":99074,"significance":"If the results are correct, the paper gives a unified treatment of rigidity for φ-CMC hypersurfaces in weighted warped products and settles a natural question for λ-self-expanders in Euclidean space. The structural condition C_{λ,φ} is explicit, the anti-Gaussian application is a genuinely checkable special case with C_{λ,φ}=0, and the paper is self-contained in its main analytic steps. The authors also acknowledge simultaneous independent work, which is appropriate. No machine-checked proofs or code are included; the contribution is analytic.","major_comments":[{"comment":"The final sentence \"Hence the result follows immediately from Theorem 4.1\" is not justified as written. Theorem 4.1 is an integral inequality with an equality characterization; it does not by itself imply that a constant-weighted-mean-curvature hypersurface attains equality. To reach the rigidity conclusion one must either invoke Theorem 4.3, whose proof uses Lemma 2.2 to force equality in the Heintze–Karcher inequality, or explicitly use Lemma 2.2 and the weighted divergence theorem to show ∫Σ V/H_φ dσ_φ = ∫Ω W dμ_φ before applying the equality case of Theorem 4.1. This missing step also provides the proof that H_φ > 0, which Theorem 4.1 requires but Theorem 1.1 does not assume.","section":"Section 4, proof of Theorem 1.1"},{"comment":"Both Theorem 1.1 and Theorem 4.3 in case (C1') allow the hypersurface to pass through the pole r=0, whereas Theorem 4.1 is stated only for Σ ⊂ N×(0, bar r). The proof does not explain how to handle a hypersurface intersecting {r=0}. Since the normal-flow and coarea argument excludes that set, the authors should either prove a limiting or approximation argument, or add an explicit hypothesis excluding the pole, or show from the expander/CMC equation that such an intersection cannot occur.","section":"Theorem 1.1 and Theorem 4.3, case (C1')"},{"comment":"The estimate for the terminal term in the proof of Theorem 4.2, displayed as (35), asserts that the cut-locus contribution to the liminf in (27) is nonnegative and that the area formula applies on N_0 ∩ ∂Ω. This is not proved in the manuscript. Because the equality case and hence Theorem 4.3 in case (C1) depend on this estimate, the argument should be completed or a precise reference supplied.","section":"Theorem 4.2, Eq. (35)"}],"minor_comments":[{"comment":"Proposition 3.1 and Lemma 3.1 are numbered identically; the numbering should be corrected.","section":"Section 3"},{"comment":"The displayed computation of T_{λ,κ_N} is garbled: for λ(r)=r and κ_N=1, the quantity T_{λ,κ_N} is 0 by the special formula on page 5, but the expression \"(m−1)−r·0−(m−1)/r^2\" is not identically zero. Please correct the computation.","section":"Proof of Theorem 1.1"},{"comment":"The line \"Moreover, by (8) and 11, −φ′(r)/r ≥ 0\" should state the nonnegativity of −φ′(r)λ′(r)/λ(r) (or an equivalent expression), rather than a quantity that depends only on φ′ and r.","section":"Lemma 3.1 proof"},{"comment":"There are minor English issues, e.g., \"we prove Alexandrov-type theorem for constant weighted mean curvature hypersurfaces\" should read \"an Alexandrov-type theorem for constant weighted mean curvature hypersurfaces.\"","section":"Introduction"}],"recommendation":"major_revision","confidential_remarks":"The proof gap in Theorem 1.1 is real but easily repairable: citing Theorem 4.3 or supplying the one-line Minkowski-identity argument would fix it. The r=0 issue needs a short additional argument. I recommend major revision rather than rejection because the central mathematical ideas appear sound and the missing steps are local."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The main theorem is real and the paper is worth refereeing, but the printed proof of Theorem 1.1 has a gap the authors should fix: after verifying C_{λ,φ}=0 in Euclidean space, they write that the result follows from Theorem 4.1. It doesn't. Theorem 4.1 is the Heintze-Karcher inequality; it says nothing about constant weighted mean curvature. The correct step is to invoke Theorem 4.3 (the Alexandrov-type rigidity theorem), whose hypotheses are satisfied, or to combine the Minkowski identity (Lemma 2.2) with the equality case of Theorem 4.1. The ingredients are all in the paper, so this is a repairable citation error rather than a mathematical flaw.\n\nThere is a second, smaller omission: Theorem 4.1 and 4.3 are stated for hypersurfaces contained in N×(0, bar r), avoiding the pole. Theorem 1.1 does not exclude a closed embedded λ-self-expander passing through the origin. The proof doesn't say how to handle r=0. Again likely fixable by approximation or by extending the flow argument, but it should be written.\n\nWhat is genuinely new: the weighted Heintze-Karcher inequality for warped products with radial density, the structural condition C_{λ,φ}≥0, and the resulting Alexandrov-type theorem for φ-CMC hypersurfaces. The Euclidean application, giving the classification of closed embedded λ-self-expanders as centered spheres, resolves a question that previous work only settled under extra assumptions. The normal-flow proof is detailed and self-contained; the addendum on simultaneous work by Johne-Silini is honest.\n\nThe only other soft spot is minor: the cut-locus contribution in Theorem 4.2 is treated tersely, and there are a few typos. I don't think they affect the argument.\n\nBottom line: the central claim is new and likely correct, and the proof strategy is sound. The gaps in Theorem 1.1's final paragraph are expository, but they are load-bearing in the sense that the printed proof does not establish the rigidity conclusion as written. With a revised final section, this is a strong contribution. I'd send it to a serious referee and likely accept after minor revision.","headline":"The main result is real and important, but the proof of Theorem 1.1 has a repairable gap: it cites the wrong theorem and ignores the pole.","tokens_in":14876,"tokens_out":3659,"would_cite":true,"duration_ms":36137,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["53C42","53C21","53C24"],"pacs":[],"model":"deepseek-v4-flash","headline":"Every closed embedded λ-self-expander in flat space is a round sphere centered at the origin.","keywords":["weighted mean curvature","self-expanders","Heintze-Karcher inequality","Alexandrov-type theorem","warped product manifolds","radial density","anti-Gaussian density","total umbilicity"],"falsifier":"Search numerically in $\\mathbb{R}^3$ with the density $e^{|x|^2/4}$ for a smooth closed embedded surface satisfying $H + \\tfrac12\\langle x,\\nu\\rangle = \\lambda$ for some constant $\\lambda$ that is not a round sphere centered at the origin; the theorem asserts that no such surface exists for any $\\lambda$.","tokens_in":13837,"feed_emoji":"🔵","tokens_out":10269,"duration_ms":93143,"temperature":0.7,"pith_summary":"In a Riemannian manifold carrying a radial density, the paper asks what a closed embedded hypersurface with constant weighted mean curvature must look like. It proves that, in a broad class of warped product spaces satisfying a weighted curvature condition, such a hypersurface must be one of two explicit shapes: a coordinate slice, or a totally umbilical hypersurface lying where the density potential is constant. The flagship case is flat space $\\mathbb{R}^{m+1}$ with the anti-Gaussian density $e^{|x|^2/4}$: there, a closed embedded $\\lambda$-self-expander, meaning a surface solving $H + \\tfrac12\\langle x,\\nu\\rangle = \\lambda$, must be a round sphere centered at the origin. This matters because self-expanders describe how mean curvature flow can emerge from conical singularities, and the theorem sharply restricts the closed expanders that can occur.","feed_headline":"Every closed embedded λ-self-expander is a centered sphere","feed_subtitle":"A weighted volume comparison pins self-expanders to round spheres, so no exotic closed examples exist.","key_machinery":"The central object is the compatibility quantity $C_{\\lambda,\\varphi}=V''+\\bigl((m-1)\\lambda'/\\lambda-\\varphi'\\bigr)V'+T_{\\lambda,\\kappa_N}V+2\\varphi'\\lambda' V/\\lambda$, where $V=m\\lambda'-\\varphi'\\lambda$ and $T_{\\lambda,\\kappa_N}$ encodes the Ricci curvature of the fiber $N$. Nonnegativity of $C_{\\lambda,\\varphi}$ is exactly the weighted sub-static condition (5), which guarantees via Lemma 2.5 that the ratio $H_\\varphi/V$ is monotone nondecreasing under the inward normal flow in the conformal metric $\\hat g=V^{-2}\\bar g$. The proof flows each hypersurface inward at speed $V$, bounds the evolution of $H_\\varphi/V$ pointwise, integrates along the flow, and uses a weighted coarea formula to convert the boundary integral into the volume integral of the inequality. Equality in the pointwise Cauchy–Schwarz estimate at the initial surface then forces total umbilicity together with a degeneracy condition that yields the two rigidity alternatives.","core_discovery":"The paper establishes a weighted Heintze–Karcher inequality for closed embedded hypersurfaces in warped products $N^m\\times[0,\\bar r)$ with metric $dr^2+\\lambda(r)^2 g_N$ and density $e^{-\\varphi(r)}$. If the compatibility quantity $C_{\\lambda,\\varphi}$ defined by (15) is nonnegative, then any smooth closed embedded hypersurface with $H_\\varphi>0$ satisfies an integral lower bound relating the boundary integral of $V/H_\\varphi$ to the weighted volume of the enclosed domain, where $V=m\\lambda'-\\varphi'\\lambda$. Equality forces the hypersurface to be either a coordinate slice $N\\times\\{r_0\\}$ or a totally umbilical hypersurface contained in the region where $\\varphi$ is constant. In the flat case $\\lambda(r)=r$, $\\varphi(r)=-r^2/4$, the quantity $C_{\\lambda,\\varphi}$ is identically zero, so the inequality applies, and a weighted Minkowski identity shows that any closed embedded $\\lambda$-self-expander saturates it. The equality analysis then makes the surface totally umbilical, and the expander equation $H+\\tfrac12\\langle x,\\nu\\rangle=\\lambda$ forces the center of the sphere to be the origin.","pith_inferences":["For densities where $C_{\\lambda,\\varphi}$ is strictly positive rather than zero, the evolution inequality is strict, so the same proof should yield strict inequality in the weighted Heintze–Karcher bound and a quantitative closeness-to-rigidity statement for hypersurfaces nearly satisfying the constant weighted mean curvature equation; this is not asserted in the paper.","The conformal-metric normal flow is not tied to the closed case, so a natural testable extension is a capillary or free-boundary version of the inequality for hypersurfaces with boundary meeting a supporting surface at a constant weighted angle.","If the monotonicity assumption $\\varphi'\\le 0$ is dropped, condition (11) is used in several steps, so constructing a radial weight with $\\varphi'>0$ and a non-slice $\\varphi$-CMC hypersurface would delimit the theorem; the paper does not treat that regime."],"forward_implications":["Every closed embedded $\\lambda$-self-expander in $\\mathbb{R}^{m+1}$ with the anti-Gaussian density is a round sphere centered at the origin, for every real constant $\\lambda$.","In warped product manifolds with radial density satisfying the structural conditions, any closed embedded constant-weighted-mean-curvature hypersurface is either a coordinate slice or a totally umbilical hypersurface where the density potential is constant.","The weighted Heintze–Karcher inequality gives a concrete lower bound on the boundary integral $\\int_\\Sigma V/H_\\varphi\\,d\\sigma_\\varphi$ in terms of the weighted volume of the enclosed domain, with a complete equality characterization.","The $\\lambda=0$ case is included: closed embedded self-expanders in flat space are centered round spheres, which constrains the closed models available for flows emerging from conical singularities."],"supporting_citations":[{"why":"Supplies the warped-product soap-bubble rigidity theorem and the normal-flow method that the present proof adapts to radial densities.","marker":"[5]"},{"why":"Supplies the original volume-comparison inequality whose weighted analogue is derived and used here.","marker":"[12]"},{"why":"Supplies the classical closed-constant-mean-curvature rigidity statement that the paper generalizes.","marker":"[1]"},{"why":"Sets up the weighted perimeter framework and the radial log-convex density setting that motivates the anti-Gaussian case.","marker":"[22]"},{"why":"Gives earlier rigidity results for $\\lambda$-self-expanders under extra assumptions, which the main Euclidean theorem removes.","marker":"[2]"},{"why":"Introduces the analogous $\\lambda$-hypersurface equation in the shrinking Gaussian setting, the counterpart of the expander equation treated here.","marker":"[7]"}],"fun_headline_variants":["Weighted inequality forces self-expanders to be centered spheres","Alexandrov-type theorem: self-expanders are round","Closed self-expanders: only centered spheres exist","Warped product inequality pins self-expanders to spheres","Centered spheres are the only closed self-expanders"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The argument hinges on the curvature condition $C_{\\lambda,\\varphi}\\ge 0$, which keeps $H_\\varphi/V$ monotone along the normal flow; for the flat anti-Gaussian expander case this condition holds identically, but for the general warped-product theorems it is a restrictive structural assumption, and if it fails the monotonicity that produces the inequality may fail as well.","fun_headline_variants_meta":{"raw":{"variants":["Weighted inequality forces self-expanders to be centered spheres","Alexandrov-type theorem: self-expanders are round","Closed self-expanders: only centered spheres exist","Warped product inequality pins self-expanders to spheres","Centered spheres are the only closed self-expanders"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001057,"raw_usage":{"total_tokens":4394,"prompt_tokens":860,"completion_tokens":3534,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":476,"completion_tokens_details":{"reasoning_tokens":3456}},"tokens_in":476,"tokens_out":3534,"duration_ms":22218,"temperature":1.0,"reasoning_tokens":3456,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T04:32:53.202640+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Search numerically in $\\mathbb{R}^3$ with the density $e^{|x|^2/4}$ for a smooth closed embedded surface satisfying $H + \\tfrac12\\langle x,\\nu\\rangle = \\lambda$ for some constant $\\lambda$ that is not a round sphere centered at the origin; the theorem asserts that no such surface exists for any $\\lambda$.","supporting_citations":[{"cited_title":"Constant mean curvature surfaces in warped product manifolds.Publ","cited_arxiv_id":null,"evidence_quote":"Supplies the warped-product soap-bubble rigidity theorem and the normal-flow method that the present proof adapts to radial densities."},{"cited_title":"A general comparison theorem with applications to volume estimates for submanifolds.Ann","cited_arxiv_id":null,"evidence_quote":"Supplies the original volume-comparison inequality whose weighted analogue is derived and used here."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the classical closed-constant-mean-curvature rigidity statement that the paper generalizes."},{"cited_title":"Rosales, A","cited_arxiv_id":null,"evidence_quote":"Sets up the weighted perimeter framework and the radial log-convex density setting that motivates the anti-Gaussian case."},{"cited_title":"Some rigidity properties forλ-self-expanders.Nonlinear Anal., 230:113230, 2023","cited_arxiv_id":null,"evidence_quote":"Gives earlier rigidity results for $\\lambda$-self-expanders under extra assumptions, which the main Euclidean theorem removes."},{"cited_title":"Completeλ-hypersurfaces of weighted volume-preserving mean cur- vature flow.Calc","cited_arxiv_id":null,"evidence_quote":"Introduces the analogous $\\lambda$-hypersurface equation in the shrinking Gaussian setting, the counterpart of the expander equation treated here."}],"review_version":1}