{"id":"1dda6434-0c59-4599-80bf-895a207dc6cf","arxiv_id":"2509.08588","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Under a spectral-gap assumption on the Hilbert-Brunn-Minkowski operator, every S2-isotropic solution of the isotropic Lp Minkowski problem in the supercritical range p<-n is the unit ball.","lead":"A mathematics paper proves that, in high dimensions, any S2-isotropic solution of a generalized Minkowski problem with a sufficiently large spectral gap must be a round ball. The result is conditional on an eigenvalue condition and comes with new stability estimates for classical convex-geometry inequalities.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"No significant objection to central claim; proofs of Thm 1.1/1.2 are sound. The only concrete error is the peripheral claim that Nδ=K^2_+ for large τ.","rationale":"The reader's weakest assumption—that the spectral-gap hypothesis is unverified—is a fair limitation but not an internal flaw: it is explicitly assumed in the theorems, and the proofs do not rely on it being true for any non-spherical solution. The concrete error in the introduction about Nδ covering all of K^2_+ is real but peripheral to the central theorems. Since the main argument is sound and the reader already issued a conditional verdict, no change is needed.","tokens_in":18666,"tokens_out":39109,"duration_ms":398685,"concrete_test":"Compute ||h_K-1||_{C^2} for K_m=mB: it equals |m-1|, which diverges, disproving the Nδ=K^2_+ claim. For the central theorems, independently re-derive the equality chain in §4.2 for n=3,p=-4 to confirm that the spectral condition forces equality in Lemma 4.2; if no contradiction appears, the main proof stands.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The main implication is derived correctly. In Thm 1.1, for an origin-centred S2-isotropic solution, Lemma 4.2 gives [(-p-1)/(n-1)-1] I ≥ (λ2-1)I; the assumed λ2≥(-p-1)/(n-1) forces equality and hence h constant via Cauchy in the last step of Lemma 4.2. In Thm 1.2, the identity ∫X dV = (n+p)/(n(n-1))∫h^p∇h dμ (using (n-1)∫h^{p+1}x=∫∇h^{p+1}) is correct, and the chain [(-p-1)/(n-1)]I ≥ λ2(1-((n+p)/(n-1))^2)I with λ2≥(n-1)/(2n-1+p) forces equality. No algebra error found. The spectral-gap hypothesis is genuinely unverified for any non-spherical solution, so the theorems are conditional; this is a limitation on scope, not a defect in the argument. A real error appears in the introduction: 'we can choose δ_n(τ)... such that N_{δ_n(τ)}=K^2_+ when τ≥(n+1)/(n-1)'. Since ||h_{mB}-1||_{C^2}=|m-1| can be arbitrarily large, no finite C^2-neighborhood of the unit ball covers K^2_+. This does not affect Theorems 1.1/1.2, but the statement should be deleted or corrected.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies the Hilbert-Brunn-Minkowski operator and proves conditional uniqueness for S2-isotropic solutions to the isotropic Lp Minkowski problem in the supercritical range p < -n. Theorem 1.1, under the origin-centred assumption and the spectral-gap bound lambda_2(-L_K) >= (-p-1)/(n-1), concludes that any solution in the range -2n-1 <= p < -n is the unit ball. Theorem 1.2 removes the origin-centred assumption for the range (1-3n^2)/(2n) <= p < -n under the spectral-gap bound lambda_2(-L_K) >= (n-1)/(2n-1+p). The proofs combine the S2-isotropy normalization, integration by parts with dV_K = (1/n) h_K^p dmu, the spectral stability Lemma 4.2, and Cauchy-Schwarz estimates. Sections 3-5 also derive stability versions of the local Brunn-Minkowski inequality, Minkowski's second inequality, and a Brunn-Minkowski-type inequality for mixed volume ratios.","tokens_in":19109,"tokens_out":11223,"duration_ms":120527,"significance":"If the main theorems are correct, they provide a clean spectral mechanism for uniqueness in a range where the isotropic Lp Minkowski problem is largely open: supercritical solutions are forced to be spherical once the second non-zero eigenvalue of the Hilbert-Brunn-Minkowski operator is sufficiently large. The derivation is forward and contains no fitted parameters or hidden normalizations; the spectral-gap condition is an explicit hypothesis rather than an artifact. The stability estimates in Section 5, especially the explicit constants for K=B in (5.2), (5.9), and (5.11), are of independent interest. The main limitation is that the spectral-gap hypotheses are not verified for any non-spherical body, so Theorems 1.1-1.2 are dichotomies rather than unconditional uniqueness statements. I found no circularity in the proof, and self-citation is not load-bearing.","major_comments":[{"comment":"The two uniqueness theorems are conditional on spectral-gap lower bounds that the paper neither proves nor checks for any non-spherical S2-isotropic solution. The proofs force equality in Lemma 4.2 under the assumed bound on lambda_2(-L_K), and the argument is internally sound. However, the advertised global uniqueness rests on the unverified premise that a non-spherical solution can satisfy lambda_2(-L_K) >= (-p-1)/(n-1) or lambda_2(-L_K) >= (n-1)/(2n-1+p). The continuity statement in Section 1 only guarantees such a bound in a C^2-neighborhood of the unit ball. Thus the results should be explicitly framed as dichotomy statements: any non-spherical solution, if it exists, must violate the spectral bound; if no non-spherical solution satisfies the bound, the theorems are vacuous. I recommend adding this qualification to the abstract/introduction and, if possible, a discussion of whether","section":"§4.2, Theorems 1.1-1.2"}],"minor_comments":[{"comment":"The sentence claiming that one can choose delta_n(tau) with N_{delta_n(tau)} = K^2_+ for tau >= (n+1)/(n-1) is false. N_delta is a fixed finite C^2-neighborhood of the unit ball, while h_{mB}-1 = m-1 has C^2 norm |m-1|, which is unbounded. What is true is the global spectral inequality lambda_2(-L_K) - lambda_2(-L_B) >= -(n+1)/(n-1) for every K, since lambda_2(-L_K)>1. Corollaries 1.1-1.2 only need local neighborhoods and are unaffected; the sentence should be corrected or removed.","section":"§1, N_delta definition"},{"comment":"The statement that the lower bounds on p are 'necessary to ensure the existence of a solution' is imprecise. The conditions are needed for the unit ball itself to satisfy the spectral hypothesis; the word 'existence' is misleading and should be replaced by something like 'non-vacuousness' or 'compatibility with the unit ball'.","section":"Remark 1.1"},{"comment":"The last inequality in Lemma 4.2 uses the bound integral h_K^2 dV_K >= n V(K)^2 / ||S_2K||. This follows from Cauchy-Schwarz using ||S_2K|| = n integral h_K^{-2} dV_K. Since this is the step that ultimately yields the equality condition 'origin-centred ball', it should be stated explicitly rather than left implicit.","section":"Lemma 4.2, last inequality"},{"comment":"The displayed inequality labeled 'From Lemma 4.2' is a rearrangement of Lemma 4.2 combined with the integration-by-parts identity, not a direct substitution. Adding one line showing beta C >= lambda_2(C-B) is equivalent to the lemma would improve readability.","section":"Proof of Theorem 1.2"}],"recommendation":"minor_revision","confidential_remarks":"The paper is competent and the main proofs check out. The biggest caveat is that the central theorems are conditional on spectral-gap hypotheses that are not verified for any non-spherical body; the author should be encouraged to state this limitation prominently and to consider whether any non-spherical S2-isotropic solution can satisfy the bound. The false N_delta = K^2_+ sentence is a concrete error but it is peripheral to the main results. With these revisions, the paper would be a solid contribution to the supercritical Lp Minkowski problem."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Here is the short version. The paper is a solid, honestly conditional contribution. What is new are conditional uniqueness theorems for S2-isotropic solutions of the isotropic Lp Minkowski problem in the supercritical range p < -n, under explicit spectral-gap assumptions on the Hilbert-Brunn-Minkowski operator, plus stability estimates for Minkowski's second inequality and mixed-volume ratios. I checked the main chains in Theorems 1.1 and 1.2; the algebra is consistent. The integration by parts using dV_K = (1/n) h^p dmu is correct, and the Cauchy steps in Lemma 4.2 force equality only under the stated spectral bound. No fitted parameters, no circularity. The stability results in Section 5 are new and follow cleanly from Lemma 3.2. Self-citation is not an issue.\n\nThe soft spot is the spectral-gap hypothesis itself. The paper neither proves nor verifies lambda_2(-L_K) >= (-p-1)/(n-1) for any non-spherical solution. The theorems are therefore conditional, and the honest reading is that any non-spherical S2-isotropic solution, if it exists, must violate that bound. That is a limitation on scope, not a defect in the derivation, but the paper should say so explicitly. There is also a false peripheral claim in the introduction: the assertion that N_{delta_n(tau)} = K^2_+ for large tau cannot be right, since ||h_{mB}-1||_{C^2} = |m-1| is unbounded. This invalidates Corollaries 1.1 and 1.2 as stated, and the N_delta passage should be deleted or corrected. It does not affect Theorems 1.1/1.2 or the stability results.\n\nThe reader's score of 7 for soundness is fair, maybe a touch harsh; the main argument is sound. The paper is for convex geometers working on Lp Minkowski or spectral methods in Brunn-Minkowski theory. It deserves a serious referee and publication after minor revision. I would send it to review.","headline":"A solid, honestly conditional paper: new spectral-gap uniqueness theorems for the supercritical isotropic Lp Minkowski problem, with sound derivations, but the main result rests on an unverified hypothesis and one peripheral claim is plainly false.","tokens_in":658,"tokens_out":1015,"would_cite":true,"duration_ms":33082,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["53A07","35A02","52A20"],"pacs":[],"model":"deepseek-v4-flash","headline":"All smooth S2-isotropic solutions of the supercritical isotropic Lp Minkowski problem with a sufficiently large Hilbert–Brunn–Minkowski spectral gap are the unit ball.","keywords":["Lp Minkowski problem","S2-isotropic","Hilbert-Brunn-Minkowski operator","spectral gap","uniqueness","stability","local Brunn-Minkowski inequality","Monge-Ampere equation"],"falsifier":"Compute lambda_2(-L_K) for any non-spherical origin-centred S2-isotropic solution of h^{1-p} det(D^2h)=1 with p in [-2n-1,-n); if the value reaches (-p-1)/(n-1), Theorem 1.1 is false. A numerical search among S2-isotropic bodies near the unit ball, using the equation as a constraint, would test the threshold directly.","tokens_in":18590,"feed_emoji":"⚪","tokens_out":10545,"duration_ms":103191,"temperature":0.7,"pith_summary":"The paper studies the isotropic Lp Minkowski problem, the sphere equation h^{1-p} det(D^2h)=1, in the supercritical range p<-n, where non-spherical solutions are known to exist in the plane and higher-dimensional uniqueness is open. Its main result is conditional: if a smooth S2-isotropic solution has a sufficiently large second nonzero eigenvalue of its Hilbert–Brunn–Minkowski operator, then the solution must be the unit ball. Two theorems cover the origin-centred case and a wider range without that assumption, under slightly different eigenvalue thresholds. Along the way the paper derives quantitative stability versions of the local Brunn–Minkowski inequality and related mixed-volume inequalities, with deficits measured by L2 distances to homothetic copies. The significance is that a hard uniqueness question is reduced to a spectral-gap question, and the stability estimates are independently useful.","feed_headline":"Spectral gap forces unit balls in supercritical Lp Minkowski problem","feed_subtitle":"For p < -n, smooth isotropic solutions with a large enough eigenvalue gap are the unit ball.","key_machinery":"The Hilbert–Brunn–Minkowski operator -L_K, acting on functions on the sphere by -L_K z = 1/(n-1) tr((D^2h_K)^{-1}D^2(zh_K))-z, is the central object. It is symmetric, elliptic, and positive semi-definite on L^2(V_K), with spectrum starting 0 on constants, 1 on linear functions, and then lambda_2(-L_K)>1. This second eigenvalue controls the sharpness of the spectral form of the local Brunn–Minkowski inequality: test functions orthogonal to constants and linear functions satisfy integral f(-L_K f)dV_K >= lambda_2 integral f^2 dV_K. The S2-isotropy condition makes the test functions <X_K, E_l> have explicit coefficients, so the spectral gap translates into an estimate on the L2 distance between","core_discovery":"The paper's central claim is Theorem 1.1: for n>=3 and -2n-1<=p<-n, any origin-centred C^2_+ convex body K whose L2-surface-area measure is isotropic, that solves h_K^{1-p} det(D^2h_K+h_K I)=1 on the sphere, and whose Hilbert–Brunn–Minkowski operator -L_K has second nonzero eigenvalue at least (-p-1)/(n-1), must be the unit ball. Theorem 1.2 removes the origin-centred assumption for the narrower range (1-3n^2)/(2n)<=p<-n under the threshold (n-1)/(2n-1+p). The paper also proves stability estimates: a version of Minkowski's second inequality with a quantitative L2-deficit term, and a stability form of a Brunn–Minkowski-type inequality for mixed volume ratios, both controlled by lambda_2(-L_K)","pith_inferences":["The paper leaves open whether the spectral-gap hypothesis is ever satisfied by a non-spherical solution; the result is best read as a dichotomy—either no such solution exists, or every one must violate the stated eigenvalue bound.","Because lambda_2(-L_K) is continuous in K and equals 2n/(n-1) for the unit ball, the corollaries give uniqueness in an open C^2-neighborhood of the ball; extending to all of space would require a uniform spectral-gap bound over all S2-isotropic solutions, which the paper does not attempt.","The same test-function mechanism could be adapted to higher L2-surface-area isotropy conditions or higher eigenvalues lambda_k, yielding analogous rigidity statements for other prescribed-measure problems.","A numerical route suggests itself: for any candidate non-spherical S2-isotropic solution, compute lambda_2(-L_K) from its support function and compare it with the p-dependent threshold to test the condition directly."],"forward_implications":["For p in (-2n-1,-n), sufficiently C^2-small origin-centred S2-isotropic solutions of the equation must be the unit ball (Corollary 1.1).","For p in ((1-3n^2)/(2n),-n), the same local uniqueness holds without the origin-centred assumption (Corollary 1.2).","Minkowski's second inequality gains a quantitative stability term: the deficit V(K[n-1],L[1])^2/V(K)-V(K[n-2],L[2]) is bounded below by a multiple of the squared L2 distance from L to a homothetic copy of itself relative to K.","A Brunn–Minkowski-type inequality for mixed volume ratios is stable: its deficit controls the L2 distance between normalized homothetic copies of two bodies.","For the unit ball K=B, these stability bounds become explicit quantitative quermassintegral and mean-width inequalities."],"supporting_citations":[{"why":"Supplies the Hilbert–Brunn–Minkowski operator, its spectrum, and the spectral form of the local Brunn–Minkowski inequality used throughout.","marker":"[37]"},{"why":"Supplies the definition of S2-isotropic position and the existence of an SL(n) transformation putting a body in it, used to compute the test-function coefficients.","marker":"[47]"},{"why":"Supplies the local Brunn–Minkowski inequality (Lemma 2.4) that underlies the stability lemmas.","marker":"[2]"},{"why":"Supplies a companion reference for the local Brunn–Minkowski inequality, cited together with [2].","marker":"[5]"},{"why":"Supplies the test-function inequality (Lemma 2.5) and the uniqueness strategy adapted here to S2-isotropic solutions.","marker":"[32]"},{"why":"Introduces the Lp Minkowski problem whose isotropic supercritical case is the target of the uniqueness theorems.","marker":"[45]"}],"fun_headline_variants":["Spectral gap forces unit ball in Lp Minkowski","Unit ball is unique under spectral gap in Lp Minkowski","Spectral condition uniquely pins down ball in Lp Minkowski","Eigenvalue gap yields uniqueness in Lp Minkowski problem","For p < -n, spectral gap forces ball uniqueness"],"cache_read_input_tokens":2688,"weakest_assumption_plain":"The load-bearing premise is the spectral-gap bound on the second nonzero eigenvalue of the Hilbert–Brunn–Minkowski operator; the paper proves neither that every solution satisfies it nor that any non-spherical solution violating it exists.","fun_headline_variants_meta":{"raw":{"variants":["Spectral gap forces unit ball in Lp Minkowski","Unit ball is unique under spectral gap in Lp Minkowski","Spectral condition uniquely pins down ball in Lp Minkowski","Eigenvalue gap yields uniqueness in Lp Minkowski problem","For p < -n, spectral gap forces ball uniqueness"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000552,"raw_usage":{"total_tokens":2467,"prompt_tokens":737,"completion_tokens":1730,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":481,"completion_tokens_details":{"reasoning_tokens":1642}},"tokens_in":481,"tokens_out":1730,"duration_ms":13725,"temperature":1.0,"reasoning_tokens":1642,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-04T20:24:46.298027+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute lambda_2(-L_K) for any non-spherical origin-centred S2-isotropic solution of h^{1-p} det(D^2h)=1 with p in [-2n-1,-n); if the value reaches (-p-1)/(n-1), Theorem 1.1 is false. A numerical search among S2-isotropic bodies near the unit ball, using the equation as a constraint, would test the threshold directly.","supporting_citations":[],"review_version":1}