{"id":"5ee2378f-c03c-4476-901b-16a269d46593","arxiv_id":"2608.05119","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Closed embedded constant weighted mean curvature hypersurfaces in the expander space are centered spheres, proved through a weighted Heintze-Karcher inequality.","lead":"This paper proves that closed embedded hypersurfaces with constant weighted mean curvature in Euclidean space with a quadratic Gaussian weight must be spheres centered at the origin. The result classifies a family of self-expanders and comes from a new weighted Heintze-Karcher inequality that also covers hyperbolic space.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Main expander theorem appears sound; the advertised generalization (Thm 1.2) is a sketch whose equality case and Appendix B limit step are unproven.","rationale":"I read the paper as proving the Euclidean expander case rigorously and claiming a wider Alexandrov theorem for a class of radial weights in nonpositive curvature. For Theorem 1.1, the disputed segment-domain import is not the weakest point: the bounded component is compact and the conformal factor is smooth and bounded, so Brendle's Proposition 3.1 applies without needing completeness of the noncompact ambient. The computations in Section 4 check out, including Proposition 4.6, and the centered sphere saturates the inequality. The actual deficiency is the gap between the advertised abstract and Theorem 1.2 on one hand and the appendix on the other: Theorem A.3 is only a sketch, its equality case is not proved, and Appendix B contains a limiting step that cannot be performed as written. These are omitted arguments in a claimed theorem, not a demonstrated counterexample, so a conditional verdict is appropriate. The reader's concern about segment domains is understandable, but I do not see it as the principal risk to the central claim.","tokens_in":15099,"tokens_out":32617,"duration_ms":292373,"concrete_test":"Start from equality in the generalized Heintze-Karcher inequality (10) in Theorem A.3 and follow the sketch: show that equality forces equality in the pointwise trace inequality Lemma A.2 at almost every parallel time and that the A_kappa term must vanish. Then derive the conditions h_tracefree = 0, the tangential radial projection vanishes, and sn_kappa(r) H <nu, partial_r> = n cs_kappa(r). Check whether a geodesic sphere centered at o is the only surface satisfying these conditions, including the case where A_kappa vanishes identically on an interval. If a non-centered sphere or another surface satisfies the equalities, Theorem 1.2 as stated is false; if not, the sketch can be upgraded to a proof.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The proof of Theorem 1.1 appears internally sound. The segment-domain foliation of Proposition 4.2 is not the main risk: for a closed embedded hypersurface the relevant Omega is the bounded component, so the closure is compact and the conformal factor phi = n + 2 alpha |x|^2 is smooth and bounded away from zero there; Brendle's Proposition 3.1 does not require completeness of the ambient once the domain is compact. The genuine load-bearing gap is in the advertised generalization. Theorem 1.2 rests on Theorem A.3, whose proof is explicitly labeled a sketch. In particular, Appendix A never proves the asserted equality case ('if equality holds then Sigma is a round sphere centered at o'); equality in (10) would have to be pushed through Lemma A.2 and the A_kappa >= 0 term, and this is omitted. Appendix B also contains a limiting step that is not justified as written: after inequality (11), which is stated for s in (a,b) with a > 0, the text says to divide by s > 0 and send s to 0, which cannot be performed on that interval. It may be repairable by sending s down to a, but as written the supporting claim that A_0 >= 0 implies log-convexity is not established. Thus the central Euclidean expander claim is credible, but the broader claim in the abstract and in Theorem 1.2 is conditional on completing these arguments.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proves an Alexandrov-type rigidity theorem for closed embedded hypersurfaces with nonzero constant weighted mean curvature in Euclidean space with the expander weight ρ=exp(α|x|^2). The proof combines a weighted Minkowski identity (Lemma 3.1), a new trace inequality for the second fundamental form (Lemma 3.2), and a weighted Heintze–Karcher inequality (Theorem 4.1) obtained by flowing Σ by parallel surfaces in the conformal metric g=φ^{-2}δ. Theorem 1.1 states that such a hypersurface is a round sphere centered at the origin. The paper further announces Theorem 1.2, extending the result to radially symmetric weights in simply connected space forms of nonpositive curvature, with the proof relegated to two appendices that are explicitly labeled a sketch. An addendum discloses simultaneous independent work by Bai and Xia.","tokens_in":15377,"tokens_out":5236,"duration_ms":47641,"significance":"Theorem 1.1 is a clean and nontrivial result: it gives an Alexandrov theorem for λ-self expanders with λ≠0 under no convexity or pinching assumption, and the proof is essentially self-contained, relying on explicit pointwise identities rather than a moving-plane argument. The conformal-flow method and the trace inequality are elegant and likely to be reusable. The generalization announced in Theorem 1.2, if fully proved, would be a substantial extension to a large class of radially symmetric log-convex weights in hyperbolic space. At present, however, the advertised generalization rests on a sketch whose equality case and a key limiting argument are not established, so the paper's central solid contribution is the Euclidean expander theorem.","major_comments":[{"comment":"The equality case in Theorem A.3 is asserted but never proved: the proof is labeled a sketch and, after deriving the differential inequality for ∂_t H_ρ, it stops with 'The conclusion follows by integration...' and contains no argument that equality in (10) forces equality in Lemma A.2 and in the discarded nonnegative terms. Since Theorem 1.2 is derived from Theorem A.3 in the same way Theorem 1.1 is derived from Theorem 4.1, the advertised Alexandrov theorem for general weights is not established as written.","section":"Appendix A, Theorem A.3"},{"comment":"The limiting step after equation (11) is not justified: inequality (11) is stated for s∈(a,b) with a>0, yet the text divides by s>0 and sends s to 0, which is outside the admissible interval. The conclusion that d/dr(r^{n+1}ψ'(r)) evaluated at r=a is ≤0 therefore does not follow from the displayed inequality; as a result the claim that A_0≥0 implies log-convexity is not proved. This matters because the introduction advertises the class of weights as log-convex weights and because the monotonicity of D(r) and the strict positivity of ψ'(r) on (a,b) are used in the same argument.","section":"Appendix B, equation (11)"}],"minor_comments":[{"comment":"The segment-domain properties are imported from Brendle [6, Proposition 3.1] without a sentence verifying the hypotheses for the conformal metric g=φ^{-2}δ; since Ω is the bounded component enclosed by the closed embedded hypersurface, Ω is compact and φ=n+2α|x|^2 is smooth and bounded away from zero there, so the application is plausible but should be stated explicitly.","section":"Section 4, Proposition 4.2"},{"comment":"There are several typographical errors: 'wegithed' in Theorem 1.2, 'Morevoer' in Section 4, and 'satisties' in Proposition 4.5; the title also has an odd spacing in 'CUR V ATURE'.","section":"Theorem 1.2 and Section 4"},{"comment":"The proof uses the 'regularity assumption ψ'(0)=0' although ψ is introduced as a function on (0,∞) in Theorem 1.2; if this condition follows from smoothness of the radially symmetric weight at the origin, that implication should be stated.","section":"Appendix B"},{"comment":"In the equality characterization, the step from total umbilicity to 'Σ is a sphere' uses the classical classification of closed totally umbilical hypersurfaces in Euclidean space; a citation or one-line justification would make the proof self-contained.","section":"Lemma 3.2"}],"recommendation":"major_revision","confidential_remarks":"The Euclidean expander theorem is a strong and likely publishable contribution, and the authors are transparent about the simultaneous work by Bai and Xia. The main risk is that the abstract and Theorem 1.2 promise a general weighted Alexandrov theorem whose supporting arguments are only sketched; the authors should either complete the equality case and the Appendix B limit, or clearly scale back the advertised claims. I see no problems with citation practice or novelty disclosure."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Dear [Colleague],\n\nThe main point: the expander-weight Alexandrov theorem is credible, and the core proof holds up. The paper combines a weighted Minkowski identity, a trace inequality adapted to the density exp(alpha |x|^2), and a weighted Heintze–Karcher inequality proved by conformal parallel surfaces in the style of Brendle. The computations are detailed and the signs work out. This part is in good shape.\n\nWhat is genuinely new: the full classification of closed embedded hypersurfaces with constant nonzero H_rho in expander space. Earlier work by Ancari and Cheng only covered pinching or convexity conditions. The weighted Heintze–Karcher inequality for this weight, including the equality case and its use, is also new. The method is not new — Brendle's framework — and the authors credit it properly. The novelty is the theorem and the adapted inequalities, not a rearrangement of the literature.\n\nThe soft spots are in the advertised generalization. Theorem 1.2 and the abstract claim an Alexandrov theorem in hyperbolic space and for a class of weights satisfying A_kappa >= 0. But the proof of the generalized Heintze–Karcher inequality (Theorem A.3) is explicitly a sketch. The equality case is asserted without being proved. At a key step the text says \"one can check,\" which is not a proof. Appendix B, meant to show A_0 >= 0 implies log-convexity, has a limiting step that does not work as written: inequality (11) is derived for s in (a,b) with a > 0, and then the text divides by s and sends s to 0. You cannot do that. It may be repairable, but as written it is a genuine gap.\n\nThe reader's worry about the segment-domain foliation in Proposition 4.2 is probably not the main risk. For a closed embedded hypersurface the enclosed region is compact, so Brendle's Proposition 3.1 applies. The real gap is the gap between the honest expander result and the general theorem advertised in the abstract.\n\nThis paper is for people in weighted geometric analysis and mean curvature flow. The main theorem deserves a serious referee. I would send it out and ask the authors to either fix the appendix arguments or clearly demote Theorem 1.2 to a conditional statement.\n\nBest.","headline":"The expander-weight Alexandrov theorem is solid and the main proof holds up; the advertised generalization is a sketch with real gaps in the appendix.","tokens_in":15870,"tokens_out":3006,"would_cite":true,"duration_ms":24458,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["53C42","53E10"],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper proves that, in expander space with a log-convex radial weight, any closed embedded hypersurface with nonzero constant weighted mean curvature must be a round sphere centered at the origin, and it extends the conclusion to…","keywords":["Alexandrov theorem","constant weighted mean curvature","Heintze–Karcher inequality","self-expanders","log-convex weights","Minkowski formulas","radially symmetric densities","weighted manifolds"],"falsifier":"Take a smooth closed embedded hypersurface in expander space that is not a centered sphere and compute the inward normal exponential map with respect to the conformal metric $g=\\phi^{-2}\\delta$, where $\\phi(x)=n+2\\alpha|x|^2$. If any point of the enclosed region is not reached by a unique inward normal geodesic segment, or if a focal point appears before the region is covered, then the foliation property (Proposition 4.2) fails and the paper's proof of the Heintze–Karcher inequality would no longer apply to that surface.","tokens_in":14917,"feed_emoji":"🔵","tokens_out":5526,"duration_ms":47536,"temperature":0.7,"pith_summary":"The paper aims to classify closed embedded hypersurfaces with constant weighted mean curvature in weighted Euclidean and hyperbolic space. Its main result says that in expander space $(\\mathbb{R}^{n+1},\\delta,e^{\\alpha|x|^2}d\\lambda)$ with $\\alpha>0$, every such hypersurface with $H_\\rho=H+2\\alpha\\langle x,\\nu\\rangle\\neq0$ is a round sphere centered at the origin. A second theorem extends this rigidity to hyperbolic space and to radially symmetric weights whose defining function $\\psi$ satisfies a differential inequality $A_\\kappa(r)\\ge0$. The proof works by combining a weighted Minkowski identity with a new weighted Heintze–Karcher inequality; if true, it gives a sharp rigidity statement for $\\lambda$-self-expanders and for a natural class of isoperimetric weights.","feed_headline":"Constant weighted mean curvature forces centered spheres","feed_subtitle":"A new sharp Heintze–Karcher inequality classifies closed self-expanders and log-convex weights.","key_machinery":"The load-bearing object is the weighted Heintze–Karcher inequality (Theorem 4.1): for a closed embedded hypersurface $\\Sigma$ with $H_\\rho>0$ bounding $\\Omega$ in expander space, $$\\int_\\$\\Omega$ (n+1+2\\$\\alpha$|x|^2)\\,d\\lambda_\\rho \\le \\int_\\Sigma \\frac{n+2\\$\\alpha$|x|^2}{H_\\rho}\\,d\\sigma_\\rho,$$ with equality only for a sphere centered at the origin. The proof flows the hypersurface by parallel surfaces with respect to the conformal metric $g=\\phi^{-2}\\delta$, where $\\phi(x)=n+2\\alpha|x|^2$, using the normal exponential map and segment-domain properties of the enclosed region. Complementing this is a pointwise trace identity (Lemma 3.2) relating $|h|^2$, $H_\\rho$, and $|x|^2$; its nonnegative right-hand side vanishes exactly on centered spheres, which is what turns equality in the Heintze–Karcher inequality into the rigidity conclusion.","core_discovery":"The central claim is that closed embedded hypersurfaces with constant nonzero weighted mean curvature are rigid in a wide class of weighted spaces. In expander space, Theorem 1.1 states that for $n\\ge2$ and $\\alpha>0$, a closed, connected, embedded submanifold of $(\\mathbb{R}^{n+1},\\delta,e^{\\alpha|x|^2}d\\lambda)$ with constant weighted mean curvature $H_\\rho\\neq0$ must be a round sphere centered at the origin. Theorem 1.2 generalizes this to simply connected spaces of constant nonpositive curvature $\\kappa\\le0$ with a radially symmetric weight $\\rho(x)=e^{\\psi(r(x))}$, provided $\\psi'(r)\\ge0$ and a certain differential quantity $A_\\kappa(r)\\ge0$; the conclusion is that the hypersurface is a geodesic sphere centered at the origin. The argument enforces equality in the weighted Heintze–Karcher inequality, and the equality case forces the hypersurface to be totally umbilic with zero tangential position, hence a centered sphere.","pith_inferences":["Editorial inference: the same proof scheme could plausibly extend to other rotationally symmetric warped products, provided an analogous trace decomposition stays nonnegative and the conformal normal exponential map still foliates the enclosed region, but this is not established in the paper.","Editorial inference: the differential inequality $A_\\kappa(r)\\ge0$ may be close to necessary for the method, since the paper notes that asymptotically linear weights such as $\\psi(r)=\\sqrt{1+r^2}$ violate it and could be natural candidates where non-spherical constant-weighted-mean-curvature surfaces might exist.","Editorial inference: one could test the sharpness of the method by checking the sign of the trace decomposition for the marginal weight $\\psi(r)=\\sqrt{1+r^2}$ in Euclidean space; a sign change would predict where the rigidity conclusion might break down.","Editorial inference: if the foliation property used in the proof fails for a concrete embedded surface, the Heintze–Karcher inequality might still hold, but a different proof would be needed; the paper does not address such cases."],"forward_implications":["In expander space, closed embedded $\\lambda$-self-expanders with $\\lambda\\neq0$ are exactly round spheres centered at the origin, sharpening the known rigidity picture for self-similar solutions to mean curvature flow.","For any radially symmetric weight satisfying $A_\\kappa(r)\\ge0$ in Euclidean or hyperbolic space of nonpositive curvature, the only closed embedded constant-weighted-mean-curvature hypersurfaces are geodesic spheres centered at the origin.","The weighted Heintze–Karcher inequality provides a sharp weighted-volume bound in terms of weighted area and weighted mean curvature, with equality characterizing centered spheres.","The trace inequality of Lemma 3.2 detects centered spheres through vanishing of a nonnegative identity; this mechanism fails for the shrinker weight $e^{-\\alpha|x|^2}$, consistent with known non-round examples of compact $\\lambda$-hypersurfaces.","The method yields a general template: a weighted Minkowski formula plus a weighted Heintze–Karcher inequality with a sharp equality case implies an Alexandrov-type rigidity theorem."],"supporting_citations":[{"why":"Supplies the segment-domain properties and the parallel-surface setup for the normal exponential map of the conformal metric, including Propositions 4.2 and 4.3.","marker":"[6]"},{"why":"Provides the evolution equations for the mean curvature and the volume element under a normal geometric flow, used in Propositions 4.4 and 4.5.","marker":"[18]"},{"why":"Gives the construction of the normal exponential map used to define the map $\\Phi$ and the segment domains.","marker":"[21]"},{"why":"Also provides the normal exponential map background needed to set up the conformal flow.","marker":"[25]"}],"fun_headline_variants":["Constant weighted mean curvature forces origin-centered spheres","In expander space, constant weighted curvature implies centered spheres","Weighted curvature rigidity: centered spheres for closed surfaces","Alexandrov theorem: constant weighted curvature forces centered spheres","Closed hypersurfaces with constant weighted mean curvature are centered spheres"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The proof assumes that, in the conformal metric, flowing the hypersurface inward along normal geodesics produces a smooth nested family of surfaces that fills the entire enclosed region without gaps or self-overlaps; if this foliation property fails, the integration-by-coarea step that proves the Heintze–Karcher inequality collapses.","fun_headline_variants_meta":{"raw":{"variants":["Constant weighted mean curvature forces origin-centered spheres","In expander space, constant weighted curvature implies centered spheres","Weighted curvature rigidity: centered spheres for closed surfaces","Alexandrov theorem: constant weighted curvature forces centered spheres","Closed hypersurfaces with constant weighted mean curvature are centered spheres"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001732,"raw_usage":{"total_tokens":6762,"prompt_tokens":774,"completion_tokens":5988,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":390,"completion_tokens_details":{"reasoning_tokens":5910}},"tokens_in":390,"tokens_out":5988,"duration_ms":38570,"temperature":1.0,"reasoning_tokens":5910,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-15T14:38:25.011884+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take a smooth closed embedded hypersurface in expander space that is not a centered sphere and compute the inward normal exponential map with respect to the conformal metric $g=\\phi^{-2}\\delta$, where $\\phi(x)=n+2\\alpha|x|^2$. If any point of the enclosed region is not reached by a unique inward normal geodesic segment, or if a focal point appears before the region is covered, then the foliation property (Proposition 4.2) fails and the paper's proof of the Heintze–Karcher inequality would no longer apply to that surface.","supporting_citations":[{"cited_title":"Brendle,Constant mean curvature surfaces in warped product manifolds,Publ","cited_arxiv_id":null,"evidence_quote":"Supplies the segment-domain properties and the parallel-surface setup for the normal exponential map of the conformal metric, including Propositions 4.2 and 4.3."},{"cited_title":"Huisken and A","cited_arxiv_id":null,"evidence_quote":"Provides the evolution equations for the mean curvature and the volume element under a normal geometric flow, used in Propositions 4.4 and 4.5."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Gives the construction of the normal exponential map used to define the map $\\Phi$ and the segment domains."},{"cited_title":"Petersen,Riemannian Geometry,3rd edition, Grad","cited_arxiv_id":null,"evidence_quote":"Also provides the normal exponential map background needed to set up the conformal flow."}],"review_version":3}