{"id":"7ff6325d-86a1-4385-9bfd-f232da869a9d","arxiv_id":"2505.17219","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For convex bodies in R^3, bounded L_p qth dual curvature with p in [0,1) and q>2+p forces a uniform diameter upper bound and volume lower bound.","lead":"This paper proves a compactness estimate for a family of geometric curvature equations on the sphere, showing that bounded prescribed curvature keeps convex bodies from becoming arbitrarily large or shrinking to zero. It matters because such estimates are the standard first step toward existence and uniqueness results for these shape-optimization problems.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 1.2 rests on Lemma 3.2, which is asserted but not proved; the delicate part (iv) controlling the origin normal set is not a direct consequence of the displayed local equation (38), so the foundational bridge is unverified.","rationale":"The reader's weakest-assumption analysis identifies the correct load-bearing point: Lemma 3.2 is the unproved bridge from the measure equation to the density identities (41)-(43), and the later case analysis inherits every failure there. I checked the exponent arithmetic in Lemmas 4.1, 5.2, 5.3, 5.5 and 5.7 and found the inequalities internally consistent, so no separate error appears to invalidate the main theorem. The secondary concerns noted by the reader (Corollary 1.3 not being new, and the import of [25, estimate (3.7)]) are real but do not affect correctness. The verdict should remain CONDITIONAL: acceptance should wait either for a full proof of Lemma 3.2, or for an explicit statement that it is proved in a companion paper. My read does not change the reader's verdict.","tokens_in":26945,"tokens_out":35253,"duration_ms":283032,"concrete_test":"Supply a complete proof of Lemma 3.2. Concretely, verify that the right-hand side of (38) is bounded and bounded away from 0 on a neighborhood of every point of {h_K>0}, and give an independent argument for (iv): either prove that α*_K(nu_K(O)) has zero H^2 under (44), or construct a convex body satisfying (44) with H^2(nu_K(O))>0. If the proof of (iv) cannot be completed from the local Monge-Ampere estimates, then Theorem 1.2 should be restated with Lemma 3.2 as an additional hypothesis.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Lemma 3.2 in Section 3 is the single bridge from the Alexandrov measure equation to the pointwise density identities (41)-(43) used in every estimate in Sections 4 and 5. The text only says the lemma follows from Caffarelli's Theorem 3.1 and an observation, and the displayed local equation (38) is given without showing that its right-hand side satisfies the hypotheses of Theorem 3.1. That verification is not routine: for q>3 the factor (||Dv||^2+(<Dv,y>-v)^2)^{(3-q)/2} is singular unless the radial function is first shown to stay positive, and p<1 makes v^{p-1} unbounded as h approaches 0. More importantly, part (iv), namely H^2(nu_K(O))=0 when O in ∂K, is not a local consequence of (38), since (38) is set up only at points with h_K(e)>0. If (iv) fails, the density formulas (41)-(43) are unavailable on a set that can carry positive f dH^2 mass, and Lemmas 4.1 and 5.1-5.7, which all integrate those densities, collapse. The remark after Lemma 3.2 (citing [8, Example 4.2]) shows Γ_K can contain a disk centered at O, so the borderline between allowed flatness and forbidden normal mass is exactly what needs a proof. The theorem is therefore conditional on Lemma 3.2 being true as stated, and no proof is supplied.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proves a C^0 compactness estimate for the L_p q-th dual Minkowski problem on S^2. Theorem 1.2 states that for p in [0,1), q > 2+p and λ > 1, if a convex body K in R^3 containing the origin satisfies λ^{-1}H^2 ≤ eC_{p,q,K} ≤ λ H^2, then sup h_K ≤ C and |K| ≥ C^{-1}. The proof uses the John ellipsoid, a basic volume-scale estimate (Lemma 4.1), and a contradiction argument eliminating degenerate limiting shapes in two cases: a flat pancake (Case I) and a thin cigar (Case II). A uniqueness corollary near the isotropic case is also stated. The central claim is Theorem 1.2, and all later sections depend on the measure-density identities in Lemma 3.2.","tokens_in":27200,"tokens_out":4566,"duration_ms":28617,"significance":"If the proof is completed, Theorem 1.2 would resolve Problem 1.1 in the three-dimensional case for p in [0,1) and q > 2+p, providing the first compactness estimate in this parameter range without symmetry assumptions. The geometric case analysis with explicit cap estimates and volume comparisons is a substantial contribution, and the argument contains no fitted parameters. However, the proof is conditional on Lemma 3.2, which is asserted without proof; since this lemma supplies the pointwise identities used in every estimate of Sections 4 and 5, the result is not yet fully established.","major_comments":[{"comment":"Lemma 3.2 is the single bridge from the Alexandrov measure equation to the density identities (41)-(43) and to the assertion (iv) that H^2(ν_K(O)) = 0 when O ∈ ∂K. All estimates in Sections 4 and 5 use these identities, for example (45) in Section 4 and (42) in Lemmas 5.1-5.7. The text states that the lemma follows from Caffarelli's theorem and an observation, but no proof is given. In particular, the verification that the right-hand side of the local equation (38) satisfies the hypotheses of Theorem 3.1 is not routine: for q > 3 the factor (∥Dv∥^2 + (⟨Dv,y⟩-v)^2)^{(3-q)/2} is singular unless the radial function is already known to be bounded below away from zero, and for p < 1 the factor v^{p-1} is unbounded as h_K approaches 0. Moreover, part (iv) is not a local consequence of (38), which is set up only at points where h_K(e) > 0, and the remark after Lemma 3.2 (citing [8, Example 4.2]) shows that Γ_K can contain a circular disk centered at O, so the borderline assertion is exactly what needs a proof. A complete proof of Lemma 3.2, or a precise reference with all hypotheses verified, is required before Theorem 1.2 can be considered established.","section":"Section 3, Lemma 3.2"},{"comment":"The lower bound V_K(F_1) ≥ C_2 r_1 r_2 r_3 in (65) is justified by the sentence 'the argument leading to [25, estimate (3.7)] shows ...' without stating the result or verifying its hypotheses in the present setting. Since (65) is used to rule out Subcase (i) of Case I, and since [25] is co-authored by two of the current authors (Chen and Liu), this imported estimate is load-bearing. The authors should either prove the estimate directly or state the exact lemma from [25] and show that the geometric conditions of that lemma hold here, in particular that the constant C_2 is independent of M under the assumption (61).","section":"Section 5.1, Lemma 5.1"},{"comment":"The derivation of the key width estimate (123)-(124) is compressed. After (125), the bound r_3^{2-3(q-p)} ≲ r_3^{2-q+p}(r_1/r_3)^2 is used, which appears to require the intermediate inequality r_3^{-(q-p)} ≲ r_1/r_3 from Corollary 4.2 together with q > p+2 and r_3 ≳ 1; the algebra is not shown and the reader must check the exponents. In addition, the passage from (123) or (124) to the dichotomy (126) or (127) uses a sign condition, either ν_2^{(m)}/ν_1^{(m)} + ξ_2^{(m)}/|ξ_1^{(m)}| ≥ 0 or ≤ 0, but the proof does not state that the sign is eventually constant along a subsequence. This is fixable by a subsequence argument, but as written the contradiction at the end of Lemma 5.7 relies on a choice that is not fully justified. Please expand this part so that the sign choice is uniform in m.","section":"Section 5.2, Lemma 5.7"}],"minor_comments":[{"comment":"The word 'curvarture' in the abstract is a typo and should be 'curvature'.","section":"Abstract"},{"comment":"Theorem 3.1 is introduced as 'Caffarelli' but then referred to as 'Caffarelli's Lemma 3.1' in the text before Lemma 3.2; please unify the numbering and the theorem/lemma terminology.","section":"Section 3"},{"comment":"The text states that Corollary 1.3 was already proved in [10] by the same authors, yet the paper presents it as a corollary of Theorem 1.2. Please clarify whether this is a new result or a previously proved theorem included for context, and adjust the introduction accordingly.","section":"Corollary 1.3"},{"comment":"In the displayed local equation (38), the notation ∥Dv∥^2 + (⟨Dv,y⟩ - v)^2 should be checked against the definition of ∥Dh_K∥ in Section 2; the sign conventions and the exponent in the factor (1+∥y∥^2)^{-(3+p)/2} should be verified explicitly.","section":"Section 2, equation (38)"},{"comment":"Figures 2 and 3 are referenced in the proofs of Lemmas 5.1 and 5.2, but in the posted version the figures appear to be missing or not labeled in the text; please ensure that all figures are included and referenced.","section":"Figures"},{"comment":"The statement 'there exists a unit vector ν ∈ ν_K(G_+)' is imprecise because ν_K is a set-valued map; it should read 'there exists x ∈ G_+ and a unit vector ν ∈ ν_K(x)'.","section":"Lemma 5.5, statement"},{"comment":"Reference [10] is cited as an unpublished manuscript; since it is used for Corollary 1.3 and for prior cases of Problem 1.1, please provide an arXiv identifier or state 'in preparation'.","section":"References"}],"recommendation":"major_revision","confidential_remarks":"The manuscript's central theorem is plausible and the case analysis is detailed, but the proof rests on Lemma 3.2, which is stated without proof. This is a load-bearing gap rather than a cosmetic issue. I would ask the authors to supply a complete proof of Lemma 3.2, including the verification of the hypotheses of Caffarelli's theorem in (38) and the proof of part (iv), before considering the paper for publication. The imported estimate in Lemma 5.1 also needs a self-contained derivation. The uniqueness corollary is already attributed to [10], so the novelty of the paper is Theorem 1.2; that is sufficient, but the introduction should make the status of Corollary 1.3 clear."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Bottom line: the main theorem is new and likely right, but the paper is conditional on a regularity lemma that is not proved in the text. I would not desk-reject it; I would send it out with the explicit instruction that Lemma 3.2 be filled in.\n\nWhat is actually new: Theorem 1.2 covers the full range p in [0,1), q>2+p in R3, extending the q-close-to-3 compactness from the authors' companion paper [10] and covering the Lp Minkowski case q=3 for p in [0,1). The paper is honest that Corollary 1.3 was already proved in [10]. The John ellipsoid setup and the Case I/II blow-up dichotomy are well organized, and the cap-area estimates in Lemmas 4.1 and 5.1-5.7 are explicit enough to check. The discussion of the Jian-Lu-Wang counterexample is careful and correctly identifies why p>-1 is needed.\n\nThe soft spot is not the geometric case analysis; it is Lemma 3.2. The measure identities (41)-(43) are used in every estimate in Sections 4 and 5, and part (iv) — H^2(nu_K(O))=0 when O in ∂K — is essential. The text says the lemma follows from Caffarelli's theorem and an observation, but no proof appears. The stress-test note is right that equation (38) is local at points where h_K>0, so it does not obviously give (iv) at the origin. The cited Example 4.2 in [8] shows that Γ_K can contain a disk centered at O, so the distinction between allowed flatness and forbidden normal mass is exactly what needs a proof. This is a load-bearing gap. It may be standard for the authors, but it is not written down, and the referee cannot verify the theorem without it.\n\nMinor issues: the abstract presents Corollary 1.3 as a fresh consequence when the introduction says it is from [10]; that should be fixed. Lemma 5.1 imports an estimate from [25], which includes a current author, but the cited result is published and relevant, so I do not count that as a flaw.\n\nWho this is for: convex geometers and people working on Monge-Ampere equations in Minkowski-type problems. A serious referee should engage with it. If Lemma 3.2 gets a complete proof and the abstract is corrected, I would take Theorem 1.2 as a solid contribution. My verdict is conditional, not negative.","headline":"Theorem 1.2 is a genuine extension with a sound geometric strategy, but the proof rests on Lemma 3.2, which is asserted without proof; the paper deserves a referee who insists that lemma be fixed.","tokens_in":27842,"tokens_out":3627,"would_cite":true,"duration_ms":32697,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["35J96","52A20"],"pacs":[],"model":"deepseek-v4-flash","headline":"Bounded positive $L_p$ dual curvature on the sphere forces every solution body in $\\mathbb{R}^3$ to have controlled size.","keywords":["L_p dual Minkowski problem","dual curvature measure","Monge-Ampère equation","C^0 estimate","convex body","John ellipsoid","uniqueness","compactness"],"falsifier":"Check whether the counterexample family cited for $p<-1$, $q=3$ can be adapted to some $p\\in[0,1)$, $q>2+p$; if such a sequence of bodies with bounded density and vanishing volume exists, Theorem 1.2 is false. More locally, test Lemma 3.2: an Alexandrov solution of $d\\tilde C_{p,q,K}=f\\,dH^2$ with a flat facet containing the origin whose outward normals form a positive-area subset of $S^2$ would contradict the lemma's zero-area claim and invalidate the identities (41)--(43).","tokens_in":26691,"feed_emoji":"📐","tokens_out":14257,"duration_ms":107736,"temperature":0.7,"pith_summary":"The paper establishes a $C^0$ a priori estimate for the $L_p$ $q$th dual Minkowski problem on the two-dimensional sphere. Theorem 1.2 states that for $p\\in[0,1)$ and $q>2+p$, any convex body $K\\subset\\mathbb{R}^3$ containing the origin whose $L_p$ $q$th dual curvature measure lies between $\\lambda^{-1}H^2$ and $\\lambda H^2$ must satisfy $\\sup h_K\\le C$ and $|K|\\ge C^{-1}$, with $C$ depending only on $\\lambda,p,q$. This converts a bound on a prescribed measure into geometric compactness of the solution family, the standard prerequisite for existence and uniqueness arguments in Monge\\,Amp\\`ere theory. As a corollary, the paper proves uniqueness of the near-isotropic solution when $q$ is close to $3$ and the prescribed density is H\\\"older-close to the constant function $1$. The parameter restriction is meaningful: the paper records that for $p<-1$ and $q=3$ the analogous estimate fails.","feed_headline":"Bounded L_p dual curvature forces uniform size bounds in R^3","feed_subtitle":"A C^0 estimate for the dual Minkowski problem on S^2 yields near-isotropic uniqueness.","key_machinery":"The carrying mechanism is Lemma 3.2, a regularity and measure-conversion result that turns an Alexandrov-sense solution $d\\tilde C_{p,q,K}=f\\,dH^2$ into the pointwise identities $$d\\tilde C_{p,q,K}=$3h_K^{{-p}}$\\|Dh_K\\|^{q-3}\\,dV_K=$h_K^{{1-p}}$\\|Dh_K\\|^{q-3}\\,dS_K,\\qquad dV_K=\\tfrac13 h_K^p\\|Dh_K\\|^{3-q}\\,d\\tilde C_{p,q,K}.$$ These identities let every later estimate trade prescribed dual curvature against cone-volume measure and surface-area measure on selected regions of the sphere. Around them the proof uses the John ellipsoid (the maximal-volume ellipsoid inscribed in $K$), whose containment $E\\subset K\\subset X+3(E-X)$ and half-axes $r_1\\le r_2\\le r_3$ organize the case analysis, and derives the basic estimate $r_1r_2r_3\\approx r_3^{3-q+p}$ by integrating the identities over a cap near the longest axis. Section 5 then consists of upper and lower bounds on $\\tilde C_{p,q,K}(F_\\pm)$ for caps $F_\\pm$ defined by the suspected degeneration, each pair contradicting the fixed density $f$.","core_discovery":"On its own terms, the paper's discovery is a compactness theorem for the $L_p$ dual Minkowski problem in $\\mathbb{R}^3$: in the range $p\\in[0,1)$, $q>2+p$, a uniform two-sided bound on the dual curvature measure forces a uniform bound on the body from both above and below. The proof is by contradiction. Given a sequence of bodies that should violate the theorem, the proof places their John ellipsoids, orders the half-axes $r_1\\le r_2\\le r_3$, and uses the measure identities of Lemma 3.2 to read the bounded-density condition as a relation among the support function, the radial length of its gradient, and the cone-volume measure. The basic estimate $r_1r_2r_3\\approx r_3^{3-q+p}$ follows, implying $r_3\\gtrsim 1$ and $r_1\\lesssim 1$; the remaining work rules out the two possible degenerations $r_1\\le r_2\\ll r_3$ and $r_1\\ll r_2\\approx r_3$ by finding a spherical cap whose dual curvature mass is forced to be simultaneously large and small.","pith_inferences":["Editorial inference: the $C^0$ estimate should make existence of solutions for arbitrary positive bounded densities in this parameter range approachable by standard continuity or Gauss-curvature-flow arguments, a step the paper itself does not take.","Editorial inference: the two-case degeneration analysis is specific to three dimensions; moving to $S^{n-1}$ with $n\\ge 4$ would presumably require a more complex classification of thin bodies, which may be why the theorem is stated only for $\\mathbb{R}^3$.","Editorial inference: the proof is by contradiction and yields no explicit constants or rates; a quantitative version of Theorem 1.2 would give stability of the near-isotropic solution, not merely its uniqueness."],"forward_implications":["For $p\\in[0,1)$, $q>2+p$, any family of solution bodies with densities between $\\lambda^{-1}$ and $\\lambda$ has uniformly bounded diameter and uniformly bounded volume from below, so a subsequence converges to a convex body in $\\mathbb{R}^3$ containing the origin.","Corollary 1.3 follows: for $q$ sufficiently close to $3$ and $f$ H\\\"older-close to $1$, the equation $d\\tilde C_{p,q,K}=f\\,dH^2$ has exactly one solution $K\\in\\mathcal{K}_o^3$, and its support function is a positive $C^{2,\\alpha}$ function on $S^2$.","The condition $q>2+p$ enters through the positive exponent $q-p-2$ that dominates the measure estimates on caps; relaxing it would break the contradiction arguments in Lemmas 5.2, 5.3, and 5.7.","The known counterexamples for $p<-1$, $q=3$ show the theorem's lower restriction on $p$ is necessary; the estimate cannot hold across the full range of $p$ in Problem 1.1."],"supporting_citations":[{"why":"Defines the qth dual curvature measure and its Minkowski problem, the object whose compactness is at stake.","marker":"[52]"},{"why":"Introduces the $L_p$ dual curvature measure and the equation (1), giving the measure $\\tilde C_{p,q,K}$ whose bounded density is assumed.","marker":"[75]"},{"why":"Supplies the strict-convexity and $C^{1,\\alpha}$ regularity theorem (Theorem 3.1) from which Lemma 3.2's regularity assertions are derived.","marker":"[19]"},{"why":"Supplies the interior $W^{2,p}$ regularity for Monge\\,Amp\\`ere used in the same derivation of Lemma 3.2.","marker":"[20]"},{"why":"Provides the John ellipsoid containment $K\\subset X+3(E-X)$ and the half-axis notation that organizes the case analysis.","marker":"[5]"},{"why":"Contributes the estimate (3.7) that Lemma 5.1 uses to lower-bound the cone-volume measure of a boundary cap.","marker":"[25]"},{"why":"Constructs bounded-density bodies with arbitrarily small volume for $p<-1$ and $q=3$, delimiting the parameter range.","marker":"[60]"},{"why":"Supplies the near-isotropic uniqueness argument that converts Theorem 1.2 into Corollary 1.3.","marker":"[10]"}],"fun_headline_variants":["Compactness proven for L_p dual Minkowski in R^3","Bounded L_p dual curvature forces uniform size bounds","Near-isotropic uniqueness from a new C^0 estimate","Uniform size bounds for the dual Minkowski problem","Compactness via bounded curvature in L_p dual Minkowski"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The proof depends on Lemma 3.2, stated but not proved in the paper, which asserts that a solution body is regular on the set where its support function is positive and that the dual curvature measure can be written in the pointwise identities (41)--(43), including the claim that the directions in which the origin is a boundary normal form a set of zero area; if this unproved bridge fails, every estimate in Sections 4 and 5 loses its starting point.","fun_headline_variants_meta":{"raw":{"variants":["Compactness proven for L_p dual Minkowski in R^3","Bounded L_p dual curvature forces uniform size bounds","Near-isotropic uniqueness from a new C^0 estimate","Uniform size bounds for the dual Minkowski problem","Compactness via bounded curvature in L_p dual Minkowski"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001155,"raw_usage":{"total_tokens":4796,"prompt_tokens":965,"completion_tokens":3831,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":581,"completion_tokens_details":{"reasoning_tokens":3748}},"tokens_in":581,"tokens_out":3831,"duration_ms":23552,"temperature":1.0,"reasoning_tokens":3748,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-07T14:51:03.735601+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Check whether the counterexample family cited for $p<-1$, $q=3$ can be adapted to some $p\\in[0,1)$, $q>2+p$; if such a sequence of bodies with bounded density and vanishing volume exists, Theorem 1.2 is false. More locally, test Lemma 3.2: an Alexandrov solution of $d\\tilde C_{p,q,K}=f\\,dH^2$ with a flat facet containing the origin whose outward normals form a positive-area subset of $S^2$ would contradict the lemma's zero-area claim and invalidate the identities (41)--(43).","supporting_citations":[{"cited_title":"Lutwak, Deane Yang, Gaoyong Zhang: Geometric measures in the dual Brunn-Minkowski theory and their associated Minkowski problems","cited_arxiv_id":null,"evidence_quote":"Defines the qth dual curvature measure and its Minkowski problem, the object whose compactness is at stake."},{"cited_title":"Lutwak, Deane Yang, Gaoyong Zhang: Lp dual curvature measures","cited_arxiv_id":null,"evidence_quote":"Introduces the $L_p$ dual curvature measure and the equation (1), giving the measure $\\tilde C_{p,q,K}$ whose bounded density is assumed."},{"cited_title":"Caffarelli: A localization property of viscosity solutions to the Monge-Amp` ere equation and their strict convexity","cited_arxiv_id":null,"evidence_quote":"Supplies the strict-convexity and $C^{1,\\alpha}$ regularity theorem (Theorem 3.1) from which Lemma 3.2's regularity assertions are derived."},{"cited_title":"Caffarelli: Interior W 2,p estimates for solutions of the Monge- Amp` ere equation","cited_arxiv_id":null,"evidence_quote":"Supplies the interior $W^{2,p}$ regularity for Monge\\,Amp\\`ere used in the same derivation of Lemma 3.2."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Contributes the estimate (3.7) that Lemma 5.1 uses to lower-bound the cone-volume measure of a boundary cap."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Constructs bounded-density bodies with arbitrarily small volume for $p<-1$ and $q=3$, delimiting the parameter range."}],"review_version":1}