{"id":"263a2280-869a-480c-8697-c0cab3878759","arxiv_id":"2412.12851","paper_version":2,"verdict":"ACCEPT","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"For -(n+1)<p<-1, isotropic Lp Gaussian Minkowski solutions with R(K)≤1 are unique and spherical, without assuming the body is origin-centered.","lead":"New theorem: for -(n+1)<p<-1, every smooth, strictly convex solution of the isotropic Lp Gaussian Minkowski equation with R(K)≤1 is a sphere, and no origin-centered assumption is needed. The result supplies the uniqueness that degree-theoretic existence proofs for the non-symmetric Gaussian problem were missing.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"No significant objection identified: the proof is internally consistent and the R(K)≤1 restriction is explicitly stated and correctly used.","rationale":"The reader's verdict of ACCEPT with moderate confidence is appropriate. The theorem is narrowly but precisely stated: uniqueness holds for smooth, strictly convex bodies with h>0 and R(K)≤1 in the range -(n+1)<p<-1. The proof relies on Lemma 3.1, a standard spectral inequality, and the subsequent identities are algebraically consistent. The key step (3.11) uses α=2 to produce the factor (|X|^2-1); the R(K)≤1 hypothesis makes this nonpositive while the left-hand side is nonnegative, forcing |∇h|=0. The failure of uniqueness for centered balls of different radii when R(K)>1 is correctly noted, and the paper does not overclaim. The only slight concern is that the abstract omits the R(K)≤1 hypothesis, but the theorem statement and remarks are transparent. No substantive mathematical flaw was found, so no verdict change is needed.","tokens_in":11568,"tokens_out":20021,"duration_ms":160360,"concrete_test":"Symbolically re-derive the α=2 substitution in (3.11) and verify the RHS equals ∫ e^{-|X|^2} h |X| (|X|^2-1) ⟨∇h,∇|X|⟩ dV_n; also confirm the sign of ⟨∇h,∇|X|⟩ = (1/|X|)∑λ_i h_i^2 ≥0. This would close the last algebraic step.","verdict_should_be":"UNCHANGED","load_bearing_attack":"I checked the main chain: Lemma 3.2 follows from Lemma 3.1 after summing the variance test functions; the identity (3.3) uses ∑ (∂σ_n/∂λ_i)λ_i^2 = σ_1σ_n and ∑(∂σ_n/∂λ_i)λ_i = σ_n, both standard. Lemma 3.3's integration by parts is consistent. In Theorem 1.1, substituting (3.7) into (3.4) and applying the Cauchy-Schwarz bound (3.10) yields (3.11); with α=2, the RHS becomes ∫ e^{-|X|^2} h|X|(|X|^2-1)⟨∇h,∇|X|⟩ dV_n, which is ≤0 under R(K)≤1, forcing |∇h|=0. No hidden step fails. The R(K)≤1 condition is a genuine limitation, explicitly acknowledged in the paper; it is not a flaw in Theorem 1.1 as stated. The abstract's omission of this condition is a minor presentation issue, not a correctness issue.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper establishes a uniqueness theorem for the isotropic L_p Gaussian Minkowski problem in R^{n+1}. Theorem 1.1 states that for -(n+1)<p<-1, any smooth strictly convex hypersurface with support function h>0 and R(K)<=1 satisfying h^{1-p} e^{-|Dh|^2/2} (1/kappa) = c for c>0 must be a sphere. The proof uses the spectral formulation of the Alexandrov-Fenchel inequality (Lemma 3.1) with carefully chosen test functions depending on the position vector X=Dh, derives a differential inequality via Lemmas 3.2 and 3.3, and then uses the size condition R(K)<=1 to force |grad h|=0. The paper also discusses constant solutions and includes an appendix on a local Ehrhard inequality.","tokens_in":11796,"tokens_out":19748,"duration_ms":155170,"significance":"If correct, the result is a genuine advance: it removes the origin-centred assumption for p<1 in the supercritical range -(n+1)<p<-1, under the explicit and honestly stated size condition R(K)<=1. The proof is coherent and self-contained modulo the standard spectral Alexandrov-Fenchel inequality, and the algebraic identities in Lemmas 3.2 and 3.3 check out, including the sign in Eq. (3.11) and the use of R(K)<=1. The paper also correctly identifies the obstruction to the method for R(K)>1 by exhibiting non-uniqueness among centered balls of different radii. These are concrete strengths. The main limitation is that the theorem is not as general as the abstract suggests, since the R(K)<=1 hypothesis is omitted there.","major_comments":[],"minor_comments":[{"comment":"The abstract states uniqueness in the range -(n+1)<p<-1 without mentioning the hypothesis R(K)<=1. As written, this overclaims: without that condition the statement is false, since centered balls of different radii larger than 1 can satisfy the same equation. The abstract should include the size restriction.","section":"Abstract"},{"comment":"The final sentence of Theorem 1.1 says that for c>e^{-1/2} there is no constant solution. This is only true under the standing assumption R(K)<=1; without it, the function g(t)=t^{n+1-p}e^{-t^2/2} has values above e^{-1/2} on (1, sqrt(n+1-p)), giving two constant solutions with R(K)>1. Please add an explicit qualifier such as 'under the condition R(K)<=1' to this sentence.","section":"Theorem 1.1"},{"comment":"There are several typographical errors in the references: [5] contains 'and and', [26] contains 'Gauassian', and [33] contains 'to apprear'. The spelling of Alexandrov/Aleksandrov is inconsistent between Lemma 3.1 and references [1,2].","section":"References"},{"comment":"The notation in the proof of Lemma A.2, especially the terms involving 'h_i|Dh|_j|Dh|' in Eq. (A.3), is very difficult to parse. Since this appendix is not used in the proof of the main theorem, consider rewriting it more carefully or clearly marking it as heuristic. This does not affect the main result.","section":"Appendix A"}],"recommendation":"minor_revision","confidential_remarks":"The central theorem and its proof are sound; the reader's verification of the algebraic chain matches my own reading. The only substantive issue is the abstract's omission of the R(K)<=1 hypothesis, which makes the advertised claim false as stated. This is easily fixed by rewording. The appendix is not load-bearing and could be trimmed or polished, but it does not affect the verdict."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Short version: the theorem is new as stated, and the proof is sound as far as I can tell. I rechecked the main chain—Lemmas 3.2, 3.3, and the substitution into Theorem 1.1—and did not find a missing sign or a hidden circular step. The stress-test note holds up: R(K)<=1 is used exactly where (3.11) needs (|X|^2-1)<=0, and it is stated explicitly in the theorem. This is a real extension, since Ivaki-Milman proved uniqueness for p>-n-1 only in the origin-centered class, and the planar results cover p>=0. The new test function with Gaussian weight and variance subtraction is the right idea, and the algebra using the sigma_1 sigma_n and sigma_n identities checks out.\n\nCredit where due: the paper does not oversell. The limitation of the spectral method for R(K)>1 is acknowledged in the introduction and again in Remark A.4, and the constant-solution count is correct under R<=1 because g(t)=t^{n+1-p}e^{-t^2/2} is increasing on (0,1] when p is in (-n-1,-1). I would ask for two small changes: put R(K)<=1 in the abstract—the current abstract says \"without requiring the origin-centred assumption\" and omits the size bound, which is misleading in isolation—and spell out the centered-ball example showing non-uniqueness for R(K)>1 in one sentence. The r->0 and r->infinity asymptotic in the introduction already hints at this, but the explicit two-ball statement would help.\n\nThe soft spots are minor. Lemma 3.1 is a standard spectral Alexandrov-Fenchel inequality quoted without proof; that is fine for a specialist journal, though a more precise pointer to the exact theorem in [3] or [5] would help. Appendix A is speculative and unused; it does not hurt, but it could be trimmed or more clearly labeled as a remark. The citation pattern is standard, and no self-cited result is load-bearing.\n\nWho this is for: convex geometers working on Minkowski-type problems and anyone using degree-theoretic existence in Gaussian settings. This is a meaningful step, not a watershed, but it deserves a serious referee. I expect acceptance after the abstract and remark fixes.","headline":"A clean, checkable uniqueness proof for the Lp Gaussian Minkowski problem in a narrow but genuinely new range; worth refereeing, with the R(K)<=1 caveat kept visible.","tokens_in":12322,"tokens_out":2108,"would_cite":true,"duration_ms":20745,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["35A02","52A20"],"pacs":[],"model":"deepseek-v4-flash","headline":"For -n-1 < p < -1, every admissible solution inside the unit ball is a sphere.","keywords":["uniqueness","isotropic L_p Gaussian Minkowski problem","Gaussian surface area measure","Monge-Ampère equation","convex bodies","local Brunn-Minkowski inequality","support function"],"falsifier":"Compute the linearized isotropic $L_p$ Gaussian Minkowski equation around a centered ball of radius $r<1$ in dimension $n=1$ or $n=2$. The theorem predicts that every nonconstant mode vanishes for $-(n+1)<p<-1$; exhibiting a nonzero mode, or producing a non-spherical solution with $R(K)\\le1$ for some $c>e^{-1/2}$, would falsify the claim.","tokens_in":11377,"feed_emoji":"🔵","tokens_out":16436,"duration_ms":126313,"temperature":0.7,"pith_summary":"The paper proves a uniqueness theorem for the isotropic $L_p$ Gaussian Minkowski problem in every dimension $n \\ge 1$, in the negative range $-(n+1) < p < -1$. The equation studied is the Monge-Ampère type equation $h^{1-p}e^{-|Dh|^2/2}/\\kappa = c$ on the sphere, which says that the $L_p$ Gaussian surface area measure of the body is uniform. The theorem removes the usual assumption that the body is centered at the origin: any smooth strictly convex solution with support function $h>0$ and with the body lying in the unit ball ($R(K) \\le 1$) must be a sphere. This matters because uniqueness of such solutions is what makes degree-theoretic existence proofs for the non-normalized problem well defined, so the result opens the way to existence of small solutions in a nonsymmetric setting. The proof uses a spectral formulation of the Alexandrov-Fenchel inequality with Gaussian-weighted test functions, and the unit-ball condition supplies the final sign.","feed_headline":"Only spheres solve Gaussian Minkowski for -n-1 < p < -1","feed_subtitle":"Uniqueness holds without origin-centering in every dimension once the body fits inside the unit ball.","key_machinery":"The argument is carried by a spectral formulation of the Alexandrov-Fenchel inequality (Lemma 3.1): for functions with zero mean against $h\\sigma_k$, one has $k\\int_{S^n} f^2 h\\sigma_k\\,d\\sigma \\le \\int_{S^n} h^2\\sigma^{ij}_k\\nabla_i f\\nabla_j f\\,d\\sigma$, with equality only for $f=\\langle x/h,v\\rangle$. The proof feeds in the Gaussian-weighted coordinate functions $f_l=e^{-|X|^\\alpha/2}\\langle X,E_l\\rangle$ minus their means, sums over an orthonormal basis, and obtains the weighted inequality of Lemma 3.2. Substituting the equation in the form $h^{n+2}/\\kappa=ce^{|X|^\\alpha/2}h^{n+1+p}$ converts the main term into $(n+1+p)\\int |\\nabla h|^2 e^{-|X|^\\alpha}\\,dV_n$ plus a leftover term, and the condition $R(K)\\le1$ makes that leftover term carry the sign $(|X|^2-1)\\le0$. The chain forces $|\\nabla h|\\equiv0$, so $h$ is constant and $\\partial K$ is a sphere.","core_discovery":"On the paper's own terms, the central discovery is Theorem 1.1: let $n\\ge1$ and $-(n+1)<p<-1$. If $\\partial K$ is a smooth, strictly convex hypersurface with support function $h>0$ and $R(K)\\le1$, and if $h^{1-p}e^{-|Dh|^2/2}/\\kappa=c$ for some constant $c>0$ on $S^n$, then $\\partial K$ is a sphere. Consequently, for $c\\in(0,e^{-1/2}]$ the unique solution is the centered ball of radius $r\\in(0,1]$ solving $r^{n+1-p}e^{-r^2/2}=c$, while for $c>e^{-1/2}$ there is no solution at all in this class. The advance over prior work is that the origin-centred assumption on the body is dropped, at the price of the size condition $R(K)\\le1$.","pith_inferences":["Editorial inference: the same test-function scheme should transpose to other radial densities $e^{-\\varphi(|X|)}$, with the unit-ball bound replaced by a monotonicity condition on $\\varphi$, since the decisive sign in the proof comes from the derivative of the Gaussian exponent.","Editorial inference: at the endpoint $p=-1$ the coefficient $(n+1+p)(-1-p)$ in the main estimate vanishes, so this argument degenerates and cannot by itself decide the logarithmic Gaussian case.","Editorial inference: the appendix's local spectral Ehrhard inequality suggests that a suitably chosen test function could replace $R(K)\\le1$ by a Gaussian-volume condition such as $\\gamma(K)\\ge1/2$, extending uniqueness beyond the unit ball."],"forward_implications":["For every $n\\ge1$ and every $p\\in(-(n+1),-1)$, the only smooth strictly convex solution of the isotropic $L_p$ Gaussian Minkowski problem with $R(K)\\le1$ is a centered sphere.","The origin-centred assumption, previously required for $p>-n-1$, is not needed in this range once the body lies in the unit ball.","For $0<c\\le e^{-1/2}$, the unique solution is the centered ball of radius $r\\in(0,1]$ with $r^{n+1-p}e^{-r^2/2}=c$; for $c>e^{-1/2}$, the theorem implies there is no solution at all in this class.","The uniqueness statement is what makes the degree-theoretic construction of small solutions to the non-normalized $L_p$ Gaussian Minkowski problem well defined for $-(n+1)<p<-1$.","The obstruction to larger bodies is real: without $R(K)\\le1$, centered balls of radius greater than 1 provide non-unique solutions, so any extension needs a new inequality."],"supporting_citations":[{"why":"States the spectral formulation of the Alexandrov-Fenchel inequality that Lemma 3.1 applies to the Gaussian-weighted test functions.","marker":"[3]"},{"why":"Introduces the isotropic uniqueness argument whose test-function choice is adapted to the Gaussian setting here.","marker":"[19]"},{"why":"Proves the earlier uniqueness cases $p=1$ and $p>1$ that Theorem 1.1 extends to negative $p$.","marker":"[22]"},{"why":"Supplies the local Brunn-Minkowski inequality and the model for Lemma 3.2, the main spectral estimate behind the proof.","marker":"[23]"},{"why":"Provides the local $L_p$-Brunn-Minkowski inequalities for $p<1$ that underlie the spectral machinery in the negative range.","marker":"[25]"}],"fun_headline_variants":["Sphere unique for Lp Gaussian Minkowski in -n-1<p<-1","Uniqueness without origin-centering: spheres for Gaussian Minkowski in -n-1<p<-1","For -n-1<p<-1, sphere is the only solution without origin-centering","Gaussian Minkowski uniqueness: spheres only, no origin-centering, -n-1<p<-1"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is the size bound $R(K)\\le1$, meaning every point of the convex body is within distance 1 of the origin. At equation (3.11) this makes $(|X|^2-1)\\le0$, which supplies the sign that forces $|\\nabla h|=0$; without the bound, centered balls of radius larger than 1 can both satisfy the equation, so uniqueness fails.","fun_headline_variants_meta":{"raw":{"variants":["Sphere unique for Lp Gaussian Minkowski in -n-1<p<-1","Uniqueness without origin-centering: spheres for Gaussian Minkowski in -n-1<p<-1","For -n-1<p<-1, sphere is the only solution without origin-centering","Gaussian Minkowski uniqueness: spheres only, no origin-centering, -n-1<p<-1"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.00078,"raw_usage":{"total_tokens":3367,"prompt_tokens":783,"completion_tokens":2584,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":399,"completion_tokens_details":{"reasoning_tokens":2482}},"tokens_in":399,"tokens_out":2584,"duration_ms":17609,"temperature":1.0,"reasoning_tokens":2482,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-11T13:42:26.386381+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the linearized isotropic $L_p$ Gaussian Minkowski equation around a centered ball of radius $r<1$ in dimension $n=1$ or $n=2$. The theorem predicts that every nonconstant mode vanishes for $-(n+1)<p<-1$; exhibiting a nonzero mode, or producing a non-spherical solution with $R(K)\\le1$ for some $c>e^{-1/2}$, would falsify the claim.","supporting_citations":[{"cited_title":"Andrews, Monotone quantities and unique limits for ev olving convex hypersurfaces, Internat","cited_arxiv_id":null,"evidence_quote":"States the spectral formulation of the Alexandrov-Fenchel inequality that Lemma 3.1 applies to the Gaussian-weighted test functions."},{"cited_title":"Hu and M","cited_arxiv_id":null,"evidence_quote":"Introduces the isotropic uniqueness argument whose test-function choice is adapted to the Gaussian setting here."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the local Brunn-Minkowski inequality and the model for Lemma 3.2, the main spectral estimate behind the proof."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides the local $L_p$-Brunn-Minkowski inequalities for $p<1$ that underlie the spectral machinery in the negative range."}],"review_version":1}