{"id":"ee2ebf21-7caf-4ea7-8a2b-3b1b80a2f258","arxiv_id":"2505.19172","paper_version":4,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For ball-bodies, the c-affine surface area is maximized by the ball of radius n/(n+1), and the product with its c-dual is bounded by the squared value at the ball of radius 1/2.","lead":"For convex bodies formed by intersecting unit balls, the paper proves sharp inequalities for a new invariant, the c-affine surface area. It shows a Santaló-type product bound and identifies the maximizing balls, though the equality-case derivation has a gap.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Equality case of Theorem 7 is not justified: the stated Hölder linear-dependence condition is wrong; the correct condition gives ∏r_i = c∏(1-r_i), not a constant product, so downstream equality characterizations need a repaired argument.","rationale":"The paper's inequalities are largely sound: Theorem 3 is a pointwise estimate; Theorem 7's Hölder step is valid and the computation ∫(φ/η)^{n/(n-1)}=S(K) checks out; the chain from Theorem 7 to Corollary 8 to Theorem 5 is valid. The single load-bearing weak point is the equality case of Theorem 7. The proof states that equality in Hölder implies φ/η and η are linearly dependent and then 'after a calculation' ∏r_i is constant. This is not correct: the standard equality condition for exponents p=n/(n-1), q=n is f^p=λg^q, which yields ∏r_i = c∏(1-r_i). That does not by itself make the product of the r_i constant, so the invoked Minkowski uniqueness conclusion is not reached by the written argument. All equality statements that call on Theorem 7—Corollary 8, Lemma 9, Theorem 5, and the second proof of Theorem 3—therefore lack support as written. I checked whether the conclusion can be repaired: from ∏r_i = c∏(1-r_i), the surface-area measures satisfy μ_K = c μ_{K^c}(-·) = c μ_{-K^c}; Minkowski uniqueness then gives K = -λK^c+t, and combining with h_K(u)+h_{K^c}(-u)=1 forces h_K(u)=λ/(λ+1)+t·u/(λ+1), which is a ball. So the theorem is very likely true, but the paper needs a corrected equality-case proof. This warrants a conditional verdict, exactly as the reader decided; no change in verdict is needed, but the manuscript should be revised.","tokens_in":7694,"tokens_out":24400,"duration_ms":227997,"concrete_test":"Re-derive Theorem 7's equality case using the correct Hölder equality condition f^{n/(n-1)}=λη^n, and verify the resulting identity ∏r_i=c∏(1-r_i), i.e. μ_K=cμ_{K^c}(-·). Then test the repair chain: Minkowski uniqueness gives K=-λK^c+t; substituting into h_K+h_{K^c}(-u)=1 yields h_K(u)=λ/(λ+1)+t·u/(λ+1), which is the support function of a ball. If this chain is valid, the equality characterization is correct but the proof must be rewritten; if the measure-equality step fails for non-smooth bodies in S^n, Theorem 5's equality case is unsupported.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Equality case of Theorem 7 is the load-bearing gap. Hölder is applied with p=n/(n-1), q=n, g=η, f=φ/η. Equality in Hölder requires f^{n/(n-1)}=λη^n a.e., not 'φ/η and η linearly dependent'. Using the definitions, f^{n/(n-1)}=ω_n∏r_i and η^n=ω_n(∏r_i)^{1/(n+1)}(∏(1-r_i))^{n/(n+1)}, so equality forces ∏r_i = c∏(1-r_i). The paper instead claims that a calculation gives ∏r_i constant on D_K; that conclusion is not implied by the displayed linear dependence and is not obtained from the correct condition either. Consequently the equality statement of Theorem 7 is unsupported, and Corollary 8, Lemma 9, Theorem 5, and the second proof of Theorem 3 all inherit this gap. This is a genuine proof defect, not merely a presentational one. A possible repair is available: the ratio condition is equivalent to μ_K=cμ_{K^c}(-·), and Minkowski uniqueness plus h_K+h_{K^c}(-u)=1 forces K to be a ball; but this argument is absent from the manuscript.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies the c-affine surface area Ω^c introduced by Schütt–Werner–Yalikun on the class S^n of ball-bodies (intersections of translates of the unit ball). It gives two isoperimetric-type results: Theorem 3 asserts that among all ball-bodies, Ω^c(K) is uniquely maximized by the ball of radius n/(n+1); Theorem 5 asserts a Santaló-type inequality Ω^c(K)Ω^c(K^c) ≤ Ω^c(1/2 B_2^n)^2, with equality only for the ball of radius 1/2. The proofs are based on a representation of Ω^c in terms of principal radii (Eq. (3)), a support-function identity relating the principal radii of K and K^c (Theorem 6, proved in an appendix), and a Hölder inequality argument (Theorem 7) leading to Corollary 8, Lemma 9, and Proposition 10.","tokens_in":7917,"tokens_out":13376,"duration_ms":109812,"significance":"The main results are new and, if correct, provide sharp extremal statements for a recently introduced functional. The one-line proof of Theorem 3 is elegant and rigorous, and the Hölder derivation of Theorem 7 is a clean reduction to the c-dual support-function identity. The paper is self-contained: Theorem 6 is proved in the appendix and no parameters are fitted. The main weakness is the equality case in Theorem 7, which is stated with an incorrect Hölder equality condition and an unsupported 'calculation'; because the uniqueness claims of Theorems 3 (second proof), 5, Corollary 8, and Lemma 9 depend on this equality case, the sharpness statements are not currently established.","major_comments":[{"comment":"The equality case of Theorem 7 is not justified. Hölder's inequality with p=n/(n-1) and q=n requires, for equality, (φ/η)^p = λ η^q a.e., i.e., (φ/η)^{n/(n-1)} = λ η^n, not 'φ/η and η are linearly dependent' as stated. Substituting φ(u)=ω_n∏(1-r_i)^{1/(n+1)}r_i^{n/(n+1)} and η^n(u)=ω_n∏ r_i^{1/(n+1)}(1-r_i)^{n/(n+1)}, the correct condition reduces to ∏ r_i(u) = c ∏(1-r_i)(u) on D_K, and does not yield ∏ r_i(u) ≡ const as claimed. The inference that the surface area measures of K and a ball coincide, and hence that K is a ball, is therefore unsupported. This is a load-bearing gap in the proof of the equality characterization in Theorem 7.","section":"Theorem 7, equality case"},{"comment":"The equality statements in these results all rely on the equality case of Theorem 7. In particular, Theorem 5's uniqueness claim 'equality if and only if K = 1/2 B_2^n' uses the equality case of Corollary 8, which in turn uses Theorem 7; Lemma 9 and the second proof of Theorem 3 also inherit this dependency. A repaired argument for the equality case of Theorem 7 would restore these, for example by showing that the correct condition ∏r_i = c∏(1-r_i) is equivalent to μ_K = c μ_{K^c}(-·), then using h_K+h_{K^c}(-·) = 1 and Minkowski's uniqueness theorem, but no such argument appears in the manuscript.","section":"Corollary 8, Lemma 9, Theorem 5, second proof of Theorem 3"}],"minor_comments":[{"comment":"The phrase 'uniquely maximized be a Euclidean ball' should read 'uniquely maximized by a Euclidean ball'; the same typo recurs in the abstract.","section":"Abstract"},{"comment":"The name 'Aleandrov' should be 'Alexandrov'.","section":"Proposition 10 proof"},{"comment":"The one-line proof of Theorem 3 would benefit from explicitly stating that equality in the pointwise bound forces each principal radius to equal n/(n+1) almost everywhere on D_K, which then yields the ball via Minkowski uniqueness.","section":"Theorem 3 proof"}],"recommendation":"major_revision","confidential_remarks":"The substantive concern is confined to the equality cases; the Hölder inequality and the main inequalities themselves appear correct. The paper is a good fit for Math.MG and the results are worth publishing once the equality proof in Theorem 7 is completed. I would not require a rewrite of the main arguments; a focused revision supplying the missing argument, or adjusting the claims, should suffice."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The paper's main inequalities are correct and proved with standard tools, but the equality case of Theorem 7 is not justified: the stated Hölder condition is wrong and the claimed conclusion doesn't follow. That gap affects the equality statements in Corollary 8, Lemma 9 and Theorem 5, though the inequalities themselves stand.\n\nThe paper studies the c-affine surface area Ω^c for ball-bodies, a functional introduced by Schütt, Werner and Yalikun. The main results are natural extremal questions: Theorem 3 says Ω^c is maximized by the ball of radius n/(n+1) — the proof is a clean pointwise maximization of r^{n/(n+1)}(1-r)^{1/(n+1)}. Theorem 7 gives the comparison Ω^c(K) ≤ S(K)^{(n-1)/n} Ω^c(K^c)^{1/n}, and Theorem 5 derives the Santaló-type product bound with equality claimed for the 1/2-ball. The proofs are short and mostly transparent, and the appendix provides the needed support-function identity from previous work, so there is no circularity.\n\nThe soft spot is exactly the equality analysis in Theorem 7. The text says equality in Hölder implies φ/η and η are linearly dependent, which is not the condition: with p=n/(n-1), q=n, equality requires (φ/η)^{n/(n-1)} = λ η^n a.e. Working through the definitions, that gives ∏ r_i = c ∏ (1-r_i), not a constant product. The claimed inference to ∏ r_i constant is therefore unsupported, and the 'after a calculation' comment hides the gap. Since Corollary 8, Lemma 9, and the equality case of Theorem 5 all lean on this step, their sharpness claims are not fully proven. The inequality parts are unaffected, and Theorem 3's equality case has an independent pointwise argument, so the damage is confined.\n\nThis is a fixable defect. The stress-test note sketches a plausible repair using the measure identity that the ratio condition implies. As it stands, the paper needs a corrected equality argument or a more modest statement of the sharpness claims. I'd still send it to a referee: the main inequalities are real, the subject is new, and a short note like this with one repaired section is worth engaging.\n\nWho is it for: people working on ball-bodies, affine surface area, or Santaló-type inequalities. A reading group could use it to discuss how Hölder equality conditions actually work.","headline":"The main inequalities are real and the proofs are mostly clean, but the equality case of Theorem 7 is not justified, and that gap propagates to several equality characterizations.","tokens_in":8483,"tokens_out":3928,"would_cite":true,"duration_ms":34080,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["52A20","52A40","52A38"],"pacs":[],"model":"deepseek-v4-flash","headline":"For ball-bodies, the c-affine surface area is maximized uniquely by the ball of radius n/(n+1), and the Santaló-type product is maximized uniquely by the half-ball.","keywords":["c-affine surface area","ball-bodies","Santaló-type inequality","c-duality","principal radii of curvature","isoperimetric-type inequalities","floating bodies","convex geometry"],"falsifier":"Use the standard equality condition for Hölder's inequality in the proof of Theorem 7: it gives $\\prod_{i=1}^{n-1}\\frac{r_i(u)}{1-r_i(u)}=\\text{const}$ on $D_K$, not $\\prod_{i=1}^{n-1}r_i(u)=\\text{const}$; finding a non-ball body in $\\mathcal{S}^n$ whose radii satisfy the first relation but not the second, or proving none exists, would settle whether the claimed equality characterizations are true.","tokens_in":7449,"feed_emoji":"⚪","tokens_out":14877,"duration_ms":94469,"temperature":0.7,"pith_summary":"This paper proves sharp isoperimetric-type inequalities for the c-affine surface area $\\Omega^c$, a functional defined on ball-bodies, the convex sets that are intersections of translates of the unit ball. The main results are that $\\Omega^c(K)$ is maximized, uniquely, by the ball of radius $\\frac{n}{n+1}$, and that the Santaló-type product $\\Omega^c(K)\\Omega^c(K^c)$ is maximized, uniquely, by the ball of radius $\\frac{1}{2}$. These bounds matter because $\\Omega^c$ arises from a c-floating-body construction and plays the role of an affine surface area in a class where the classical one is not naturally adapted. The proofs rest on a duality relation between the principal radii of curvature of a body and its c-dual, combined with Hölder's inequality and classical surface-area inequalities.","feed_headline":"C-affine area on ball-bodies peaks at radius n/(n+1)","feed_subtitle":"A duality pairing of curvature radii yields a Santaló bound whose unique maximizer is the half-ball.","key_machinery":"The engine is the c-duality $K^c=\\bigcap_{x\\in K}(x+B_2^n)$, an involution on ball-bodies with $K-K^c=B_2^n$. Its analytic content is Theorem 6: at almost every direction $u$, the principal radii $r_i(u)$ of $K$ and $s_i(-u)$ of $K^c$ satisfy $r_i(u)+s_{n-i}(-u)=1$. This identity rewrites $\\Omega^c(K^c)$ as the integral of the mirror product $r_i^{1/(n+1)}(1-r_i)^{n/(n+1)}$, so that Hölder's inequality with suitably chosen interpolating functions produces the surface-area comparison of Theorem 7. A second, simpler mechanism is the pointwise fact that $r\\mapsto (1-r)^{1/(n+1)}r^{n/(n+1)}$ on $(0,1)$ is maximized at $r=\\frac{n}{n+1}$, which already proves Theorem 3 in one line.","core_discovery":"On the class $\\mathcal{S}^n$ of ball-bodies, the paper establishes two sharp results: Theorem 3, $\\Omega^c(K)\\le \\Omega^c(\\frac{n}{n+1}B_2^n)$ with equality only for $K=\\frac{n}{n+1}B_2^n$, and Theorem 5, $\\Omega^c(K)\\Omega^c(K^c)\\le \\Omega^c(\\frac{1}{2}B_2^n)^2$ with equality only for $K=\\frac{1}{2}B_2^n$. The c-affine surface area is written in terms of principal radii as $\\Omega^c(K)=\\omega_n\\int_{S^{n-1}}\\prod_{i=1}^{n-1}(1-r_i(u))^{1/(n+1)}r_i(u)^{n/(n+1)}\\,d\\sigma(u)$. The central interpolation inequality (Theorem 7) is $\\Omega^c(K)\\le S(K)^{(n-1)/n}\\Omega^c(K^c)^{1/n}$, with equality only for balls; iterating it and then using a mixed-volume Brunn-Minkowski inequality yields the Santaló-type product bound.","pith_inferences":["A natural next step, not taken in the paper, is a stability version: the gap in Theorem 7 between $\\Omega^c(K)$ and $S(K)^{(n-1)/n}\\Omega^c(K^c)^{1/n}$ should quantify how far a ball-body is from being a ball.","The same duality identity $r_i+s_{n-i}=1$ suggests a whole family of inequalities obtained by varying the two exponents in the interpolating functions; the paper's Remark 11 shows that the symmetric exponent choice fails for the product at $n\\ge 4$, so other pairings would need a different argument.","Since $\\Omega^c(K)\\le \\Omega(K)$, the ratio $\\Omega^c/\\Omega$ records how much the boundary curvature exceeds the unit-ball value; the two extremal radii $\\frac{n}{n+1}$ and $\\frac{1}{2}$ can be read as balancing curvature against c-dual complementarity, an interpretation the authors leave implicit."],"forward_implications":["In every dimension $n\\ge 2$, the ball of radius $\\frac{n}{n+1}$ is the unique maximizer of $\\Omega^c$ among all non-degenerate ball-bodies, with no volume normalization needed in this class.","For every non-degenerate ball-body, $\\Omega^c(K)\\Omega^c(K^c)\\le \\Omega^c(\\frac{1}{2}B_2^n)^2$, a Santaló-type statement for the c-dual pair.","Corollary 8 bounds the same product by $S(K)S(K^c)$, and hence by $S(\\frac{1}{2}B_2^n)^2$, connecting the new functional to ordinary surface area.","Lemma 9 together with Proposition 10 yields a second proof of Theorem 3 through $\\Omega^c(K)\\le S(\\frac{n}{n+1}B_2^n)^{n/(n+1)}S(\\frac{1}{n+1}B_2^n)^{1/(n+1)}$."],"supporting_citations":[{"why":"Introduces the c-floating body and the c-affine surface area, including the limit formula that motivates the definition used here.","marker":"[11]"},{"why":"Supplies the ball-body duality framework, including the radius-pairing identity that becomes Theorem 6.","marker":"[3]"},{"why":"Provides the convex-geometry background used throughout: normal points, principal radii as reciprocal curvature, surface-area measure, and the uniqueness theorem for surface-area measures.","marker":"[10]"},{"why":"Supplies the mixed-volume inequality used in Proposition 10 to compare surface-area products with mean width.","marker":"[4]"},{"why":"Supplies the mixed-volume Brunn-Minkowski inequality used to bound the product of surface areas by that of the half-ball.","marker":"[7]"},{"why":"Provides the classical constant-width context that the c-dual radius-pairing identity extends.","marker":"[6]"}],"fun_headline_variants":["C-affine area on ball-bodies maxes at radius n/(n+1)","Santaló-type product bound for c-affine area: half-ball wins","Sharp c-affine area inequalities: balls are extremal","C-affine surface area: maximizer is n/(n+1) ball, product bound"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing step is the equality case of the main interpolation inequality: the paper asserts, without a full proof, that equality in Hölder's inequality forces the product of the principal radii to be constant on a set of full measure, and if that implication is false, the uniqueness statements in the equality cases do not follow.","fun_headline_variants_meta":{"raw":{"variants":["C-affine area on ball-bodies maxes at radius n/(n+1)","Santaló-type product bound for c-affine area: half-ball wins","Sharp c-affine area inequalities: balls are extremal","C-affine surface area: maximizer is n/(n+1) ball, product bound"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000278,"raw_usage":{"total_tokens":1624,"prompt_tokens":884,"completion_tokens":740,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":500,"completion_tokens_details":{"reasoning_tokens":655}},"tokens_in":500,"tokens_out":740,"duration_ms":7747,"temperature":1.0,"reasoning_tokens":655,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-07T14:19:40.579592+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Use the standard equality condition for Hölder's inequality in the proof of Theorem 7: it gives $\\prod_{i=1}^{n-1}\\frac{r_i(u)}{1-r_i(u)}=\\text{const}$ on $D_K$, not $\\prod_{i=1}^{n-1}r_i(u)=\\text{const}$; finding a non-ball body in $\\mathcal{S}^n$ whose radii satisfy the first relation but not the second, or proving none exists, would settle whether the claimed equality characterizations are true.","supporting_citations":[{"cited_title":"Floating bodies for ball-convex bodies","cited_arxiv_id":"2504.15488","evidence_quote":"Introduces the c-floating body and the c-affine surface area, including the limit formula that motivates the definition used here."},{"cited_title":"Convex Bodies: The Brunn-Minkowski Theory , volume 151 of Encyclopedia of Mathematics and its Applications","cited_arxiv_id":null,"evidence_quote":"Provides the convex-geometry background used throughout: normal points, principal radii as reciprocal curvature, surface-area measure, and the uniqueness theorem for surface-area measures."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the mixed-volume inequality used in Proposition 10 to compare surface-area products with mean width."},{"cited_title":"Geometric inequalities , volume 285","cited_arxiv_id":null,"evidence_quote":"Supplies the mixed-volume Brunn-Minkowski inequality used to bound the product of surface areas by that of the half-ball."},{"cited_title":"Bonnesen and W","cited_arxiv_id":null,"evidence_quote":"Provides the classical constant-width context that the c-dual radius-pairing identity extends."}],"review_version":1}