REVIEW 2 major objections 6 minor 1 cited by
Floating bodies for ball-convex bodies
T0 review · 2 major / 6 minor · reviewed 2026-08-16 · deepseek-v4-flash
Pith's one-line read The paper proves that the volume lost by cutting an R-ball-convex body with R-balls has a universal δ^{2/(n+1)} limit given by an integral of (curvature − 1/R)^{1/(n+1)}, defining a relative affine surface area.
desk verdict Solid extension of classical floating body theory to ball-convex bodies; the main theorem is likely correct, but the lower-bound proof in Lemma 8 needs a clean rewrite before I'd fully trust it. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The central object is the R-ball floating body $K_R^\delta = \bigcap_{\operatorname{vol}_n(K\setminus (z+RB_2^n))\le \delta} (z+RB_2^n)$, the intersection of all R-balls that cut off at most $\delta$ of K's volume. The proof machinery combines three ingredients: Lemma 7 compares the volume of the cap removed from K with caps of the approximating ellipsoids $E(\varepsilon^-)$ and $E(\varepsilon^+)$ that squeeze $\partial K$ near a boundary point (equation (30), imported from [46]); Lemma 8 converts this cap-volume comparison into the pointwise limit of $\|x-x_\delta\|/\delta^{2/(n+1)}$; and Proposition 2 evaluates the resulting spherical integral as a product of square roots, yielding the explicit constant $c_n$. Lemma 6, based on McMullen's rolling function $r_K(x)$, controls the convergence uniformly over the boundary so that integration and limit can be interchanged.
What would settle it
For a planar ellipse that is R-ball convex with both principal curvatures strictly greater than $1/R$, compute the exact area of $K_R^\delta$ by direct integration for small $\delta$ and compare the coefficient of $\delta^{2/3}$ with $c_2\int_{\partial K}(\kappa-1/R)^{1/3}\,ds$, where $c_2=\frac12(3/2)^{2/3}$; any disagreement in the leading coefficient would falsify Theorem 1.
Extended reading notes
Core claim
The central discovery is Theorem 1: for every R-ball convex body K whose principal curvatures are all strictly larger than $1/R$, the volume difference between K and its R-ball floating body satisfies $$\lim_{\delta\to 0} \frac{\operatorname{vol}_n(K)-\operatorname{vol}_n(K_R^\delta)}{\$delta^{{2/(n+1)}}$} = c_n \int_{\partial K} \prod_{i=1}^{n-1} \left(\kappa_i(K,x)-\frac{1}{R}\right)^{1/(n+1)} d\mu_K(x),$$ with the explicit constant $c_n = \frac{1}{2}\left(\frac{n+1}{\operatorname{vol}_{n-1}(B_2^{n-1})}\right)^{2/(n+1)}$. This justifies calling the integral the relative affine surface area $\operatorname{as}_R(K)$, and it recovers Blaschke's affine surface area when $R\to\infty$.
Load-bearing premise
The formula rests on the assumption that near each boundary point the body can be squeezed between two nearly identical ellipsoids in a neighborhood large enough to contain the caps that the cutting R-balls remove; if that ellipsoidal approximation is not uniform along the boundary, the cap-volume comparison that produces the limit breaks down.
Editorial extensions
If this is right
- The formula defines a rigid-motion invariant and upper-semicontinuous valuation on R-ball-convex bodies, giving ball-convex geometry a natural affine-analytic invariant alongside its metric ones.
- Taking $R\to\infty$ recovers the classical affine surface area, so the new notion is a genuine one-parameter relative version rather than a separate construction.
- The inequality $\operatorname{as}_R(K) \le n\operatorname{vol}_n(B_2^n)^{2/(n+1)} \operatorname{vol}_n(K)^{(n-1)/(n+1)}$, with equality only for $R=\infty$ and ellipsoids, provides a relative affine isoperimetric bound.
- R-ball polyhedra, intersections of finitely many R-balls, have $\operatorname{as}_R=0$, which is consistent with the upper semicontinuity and with the fact that every smooth body can be approximated by such polyhedra.
- In dimension 2 the construction recovers the r-spindle floating body, linking the result to existing approximation questions for random disc polygons.
Reading between the lines
- A natural extension the authors flag is an $L_p$-version of $\operatorname{as}_R$; if the derivative formula holds with a $p$-power weight, it would yield a family of relative affine invariants on ball-convex bodies.
- The constant $c_n$ being exactly the classical floating-body constant suggests the relative formula is the leading term of an expansion in $1/R$, possibly connecting to spherical or hyperbolic floating bodies when the ball radius is allowed to become imaginary.
- One could probe stability by computing the second-order term in $\delta$ for small $n$; the theorem fixes only the leading order, and the next coefficient would distinguish genuinely different relative affine structures.
- The strict curvature assumption $\kappa_i>1/R$ suggests that the boundary case $\kappa_i=1/R$, where the integrand vanishes, may produce a different power of $\delta$; testing this on bodies with flat arcs made of R-ball pieces would clarify the boundary behavior of the relative affine surface area.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper introduces a floating-body construction for ball-convex bodies. For an R-ball convex body K, the R-ball floating body K_R^δ is defined as the intersection of all R-balls that cut off from K a set of volume at most δ. The main result (Theorem 1) asserts that, if all principal curvatures of K are strictly larger than 1/R, then the right derivative of the volume difference at δ=0 has the explicit limit c_n ∫_{∂K} ∏_{i=1}^{n-1} (κ_i(K,x) − 1/R)^{1/(n+1)} dμ_K(x). The integral, called the relative affine surface area as_R(K), recovers the classical affine surface area as R→∞. The paper proves that as_R is invariant under rigid motions, homogeneous, a valuation, and upper semicontinuous, and it establishes an affine isoperimetric-type inequality. The proofs combine a cap-volume estimate for ellipsoidal caps cut by R-balls (Lemma 7), a pointwise limit for the radial displacement x−xδ (Lemma 8), and an integration argument using a bound from the rolling function (Lemma 6).
Significance. If Theorem 1 is correct, the paper provides a natural extension of affine surface area to ball-convex bodies, with a geometric definition via floating bodies and the expected R→∞ limit. The proof structure is largely self-contained: Proposition 2 is proved from first principles, Lemma 7 supplies two-sided cap estimates with explicit constants, and Lemma 6 gives the integrable control needed for dominated convergence. The additional valuation and semicontinuity properties make the new functional a promising tool for approximation theory of ball-convex bodies, where only planar versions were previously available. The main weakness is that the pointwise lower bound in Lemma 8, and the uniformity of the ellipsoidal approximation used there, are not fully established; these gaps are localized and appear fixable, but they are load-bearing for the central limit formula.
major comments (2)
- [§3.2, Lemma 8, inequality (32)] The lower-bound part of Lemma 8, which is the only source of the lower bound in Theorem 1, is not rigorously established. The two-sided estimate (32) as displayed is not dimensionally homogeneous, so it cannot be checked as written. The derivation of the left-hand side contains an invalid step: after obtaining an inequality with the extra term 2(xδ(2)−a_n)a_n ξ(1)^3/((1−ε)a1)^4, the proof drops this term and concludes the inequality without it, even though the assumption a_n ≥ xδ(2) makes the dropped term non-positive, which weakens the right-hand side rather than preserving the inequality. In addition, the paragraph after (32) asserts that the R-ball centered at (R+d0)e_n 'cuts off strictly less than δ from K as xδ is in the interior of this R-ball' without a proof; this is not a consequence of interiority alone and needs a quantitative argument relating vol(K\B) to δ. Please replace (32) and the subsequent paragraph by a complete, dimensionally consistent derivation.
- [§3.2, equations (30)–(31)] The ellipsoidal approximation (30) is quoted from [46] for a fixed boundary point x, but Lemma 8 requires a uniform version along the sequence xδ→x: the proof asserts that for all sufficiently small δ and all support R-balls at xδ, the set E(ε−)\(z+RB^n) is contained in the fixed neighborhood H^-(x−Δε e_n,e_n)∩E(ε−). This uniformity is not proved and does not follow from the pointwise statement (30), because the support ball may vary with δ. Since the cap-volume comparison of Lemma 7 is transferred from K to E(ε±) through this inclusion, the lower bound in Lemma 8 depends on this missing uniformity. Please provide a proof or a precise citation for the uniform version.
minor comments (6)
- [§3.2, proof of Lemma 6] The sentence 'Such an R-ball exists by Theorem 5 (i)' should refer to Lemma 5; the paper contains no Theorem 5.
- [§3.2, proof of Lemma 6] Equation (20) contains a corrupted expression: 'B^n_2(x−r_K(x)N_K(x), r_K(x)−K(x))' should presumably be 'B^n_2(x−r_K(x)N_K(x), r_K(x))'.
- [§3.1, Proposition 2] The statement of Proposition 2 is for integrals over S^{n−1}, while the proof in §3.1 treats the S^{n−2} case used later; please make the reduction explicit.
- [§3.3, Proposition 3(iv)] The application of [32] is terse; please spell out the hypotheses of the cited semicontinuity theorem and verify them for the integrand f(∏(κ_i−1/R)) on the class of R-ball convex bodies.
- [§2, Definition 2] In the definition of as_L(K), the term κ_i(L, N_L^{-1}(N_K(x))) is undefined when N_K(x) is not a regular value of the Gauss map of L; please add a convention for such boundary points.
- [Introduction and affiliations] There are several typos: 'surface surface area' in the Introduction, the duplicated email address in the author affiliation, and the inconsistent spelling 'covarigram' for 'covariogram' in §2.
Circularity Check
No significant circularity: Theorem 1 derives the floating-body limit from first principles and local ellipsoidal approximation; the relative affine surface area is defined after the theorem, not used as its input.
full rationale
The paper's central result, Theorem 1, computes lim_{δ→0} (vol_n(K)-vol_n(K_R^δ))/δ^{2/(n+1)} and identifies the limit as an explicit integral of (κ_i(K,x)-1/R)^{1/(n+1)}. The quantity as_R(K) is introduced in Definition 2 only after the theorem, so the equality between the floating-body derivative and the integral is the content of the theorem rather than an input. The proof proceeds through Lemmas 4–8: volume comparison (Lemma 4), existence of support R-balls (Lemma 5), a bound on cap depths (Lemma 6), an explicit cap-volume estimate for ellipsoids (Lemma 7), and the pointwise limit (Lemma 8). Lemma 8 uses the standard local ellipsoidal approximation of a smooth convex body near a boundary point, quoted from [46], and Lemma 6 follows the template of Lemma 6 of [45]. These are prior works with overlapping authors, but the cited results are parameter-free geometric approximation statements whose assumptions do not include the target floating-body limit or the definition of relative affine surface area. In particular, equation (30) is a standard second-order boundary approximation and is not equivalent to Theorem 1. There is no fitted constant renamed as a prediction, no uniqueness theorem imported to force the ansatz, and no definition that presupposes the limit formula. The skeptical concern about the derivation of inequality (32) in Lemma 8 concerns a possible gap or unproven estimate in the proof, not circularity; even if that estimate were incomplete, it would not make the theorem an input to itself. Accordingly, no circular step is present, and the appropriate score is 0.
Assumptions & free parameters
assumptions (6)
- domain assumption Second-order differentiability of convex boundaries a.e. and existence of generalized principal curvatures (Alexandrov, Busemann-Feller)
- standard math Volume difference formula in Lemma 4 from [45]
- standard math Integrability bound (12) for powers of the rolling radius, from McMullen [36] and [45]
- domain assumption Local ellipsoidal approximation of ∂K by E(ε−) and E(ε+) as in equation (30), quoted from [46]
- standard math Ludwig's upper semicontinuity theorem for curvature integrals [32]
- standard math Classical affine isoperimetric inequality for affine surface area
invented entities (1)
-
relative affine surface area as_R(K) and as_L(K)
Cite this review
Pith. "Pith review of Floating bodies for ball-convex bodies." pith.science (2026). https://pith.science/paper/XIVPN5E7
@misc{pith2026250415488,
author = {Pith},
title = {Pith review of: Floating bodies for ball-convex bodies},
year = {2026},
howpublished = {\url{https://pith.science/paper/XIVPN5E7}},
note = {Machine review of arXiv:2504.15488}
}
abstract
We define floating bodies in the class of $n$-dimensional ball-convex bodies. A right derivative of volume of these floating bodies leads to a surface area measure for ball-convex bodies which we call relative affine surface area. We show that this quantity is a rigid motion invariant, upper semi continuous valuation.
Figures
Forward citations
Cited by 1 Pith paper
-
Some inequalities of isoperimetric type for the c-affine surface area
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.
Reference graph
Works this paper leans on
-
[46]
C. Sch¨ utt and E. M. Werner,Random polytopes of points chosen from the boundary of a convex body , GAFA Seminar Notes, Lecture Notes in Mathematics 1807, Springer- Verlag, (2002), 241–422
work page 2002
-
[32]
Ludwig, On the semicontinuity of curvature integrals , Mathematische Nachrichten 227 (2001), 99–108
M. Ludwig, On the semicontinuity of curvature integrals , Mathematische Nachrichten 227 (2001), 99–108
work page 2001
-
[1]
Andrews, Gauss curvature flow: the fate of rolling stone , Invent
B. Andrews, Gauss curvature flow: the fate of rolling stone , Invent. Math. 138 (1999), 151–161
work page 1999
-
[2]
A.D. Alexandroff, Almost everywhere existence of the second differential of a convex function and some properties of convex surfaces connected with it , (Russian) Leningrad State Univ. Annals [Uchenye Zapiski] Math. Ser. 6, (1939), 3–35
work page 1939
-
[3]
S. Artstein-Avidan, S. Sadovsky, and K. Wyczesany, A zoo of dualities , The Journal of Geometric Analysis, 33 (238), (2023)
work page 2023
-
[4]
S. Artstein-Avidan, A. Chor, and D. Florentin, Isometries of the class of ball bodies arXiv preprint, (2025)
work page 2025
-
[5]
S. Artstein-A vidan, A. Chor, and D. Florentin , A full classification of the isometries of the class of ball-bodies arXiv preprint, (2025)
work page 2025
-
[6]
S. Artstein-Avidan, and D. Florentin, An in-depth study of ball-bodies, Preprint, (2025)
work page 2025
Show all 58 references
-
[7]
B´ ar´ any and D.G
I. B´ ar´ any and D.G. Larman,Convex bodies, economic cap coverings, random polytopes, Mathematika 35 (1988), 274–291
1988
-
[8]
Besau and E
F. Besau and E. M. Werner, The spherical convex floating body, Adv. Math. 301 (2016), 867–901
2016
-
[9]
Besau and E
F. Besau and E. M. Werner, The floating body in real space forms, J. Differential Geom. 110 (2018), 187–220
2018
-
[10]
Besau and E
F. Besau and E. M. Werner, The Lp-Floating Area, Curvature Entropy, and Isoperi- metric Inequalities on the Sphere , preprint arXiv:2411.01631
-
[11]
Besau, M
F. Besau, M. Ludwig and E. M. Werner, Weighted floating bodies and polytopal approx- imation, Trans. Amer. Math. Soc. 370 (2018), 7129–7148
2018
-
[12]
Besau, A
F. Besau, A. Gusakova and Ch. Th¨ ale, Random polytopes in convex bodies: Bridging the gap between extremal containers , arXiv.2411.19163
-
[13]
Bezdek From the Kneser–Poulsen conjecture to ball-polyhedra, European Journal of Combinatorics, 29 (2008), 820–1830
K. Bezdek From the Kneser–Poulsen conjecture to ball-polyhedra, European Journal of Combinatorics, 29 (2008), 820–1830
2008
-
[14]
Bezdek, R
K. Bezdek, R. Connelly, and B. Csik´ osOn the perimeter of the intersection of congruent disks, Beitr¨ age Algebra Geom.47 (2006)
2006
-
[15]
Bezdek and M
K. Bezdek and M. Nasz´ odi, Rigidity of ball-polyhedra in Euclidean 3-space , European J. Combin. 27 (2006)
2006
-
[16]
Bezdek, Z
K. Bezdek, Z. L´ angi, M. Nasz´ odi, and P. Papez, Ball-polyhedra, Discrete Comput. Geom. 38 (2007)
2007
-
[17]
Blaschke, Vorlesung ¨ uber Differentialgeometrie II, Affine Differentialgeometrie , Springer-Verlag (1923)
W. Blaschke, Vorlesung ¨ uber Differentialgeometrie II, Affine Differentialgeometrie , Springer-Verlag (1923). 18
1923
-
[18]
B¨ or¨ oczky,Approximation of general smooth convex bodies , Adv
K. B¨ or¨ oczky,Approximation of general smooth convex bodies , Adv. Math. 153 (2000), 325–341
2000
-
[19]
J. M. Borwein and J.D. Vanderwerff, Convex Functions: Constructions, Characteriza- tions and Counterexamples , Cambridge University Press 2010
2010
-
[20]
Busemann and W
H. Busemann and W. Feller, Kr¨ ummungseigenschaften konvexer Fl¨ achen, Acta Math. 66 (1935), 1–47
1935
-
[21]
Drach and K
K. Drach and K. Tatarko, Reverse isoperimetric problems under curvature constraints , arXiv preprint, (2023)
2023
-
[22]
Fodor, P
F. Fodor, P. Kevei, and V. Vigh, On random disc polygons in smooth convex discs, Adv. in Appl. Probab. 46 (2014), 899–918
2014
-
[23]
Fodor and D
F. Fodor and D. Papvari, A central limit theorem for random disc-polygons in smooth convex discs, arXiv:2310.18143
-
[24]
Fodor and B
F. Fodor and B. Gr¨ unfelder, Note on the variance of generalized random polygons , Aequat. Math. (2025). https://doi.org/10.1007/s00010-024-01147-0
2025 doi
-
[25]
Gardner, Geometric Tomography, second edition, Cambridge University Press, New York, 2006
R. Gardner, Geometric Tomography, second edition, Cambridge University Press, New York, 2006
2006
-
[26]
Giladi, H
O. Giladi, H. Huang, C. Sch¨ utt and E. M. Werner, Constrained convex bodies with extremal affine surface areas, J. Funct. Anal. 279 (2020)
2020
-
[27]
Haddad, D
J. Haddad, D. Langharst, E. Putterman, M. Roysdon and D. Ye, Higher-Order Lp Isoperimetric and Sobolev Inequalities to appear in the Journal of Functional Analysis, arXiv:2305.17468
-
[28]
Hoehner, Extremal general affine surface areas , J
S. Hoehner, Extremal general affine surface areas , J. Math. Anal. Appl. 505 (2022),21 pp
2022
-
[29]
Kabluchko, A
Z. Kabluchko, A. Marynych and I. Molchanov, Generalised convexity with respect to families of affine maps , arXiv:2202.07887 (2022)
2022 arXiv
-
[30]
Langharst and D
D. Langharst and D. Xi, General Higher-Order Lp Mean Zonoids , to appear in the Proceedings of the American Mathematical Society, arXiv:2312.09500
-
[31]
L´ angi, M
Z. L´ angi, M. Nasz´ odi and I. Talata,Ball and spindle convexity with respect to a convex body, Aequat. Math. 85 (2013) 41–67
2013
-
[33]
Ludwig and M
M. Ludwig and M. Reitzner, A classification of SL(n) invariant valuations , Ann. of Math. 172 (2010), 1219–1267
2010
-
[34]
Lutwak, The Brunn-Minkowski-Firey theory
E. Lutwak, The Brunn-Minkowski-Firey theory. II. Affine and geominimal surface ar- eas, Adv. Math. 118 (1996), 244–294
1996
-
[35]
Lutwak, D
E. Lutwak, D. Yang and G. Zhang, Lp affine isoperimetric inequalities , J. Differential Geom. 56 (2000), 111–132. 19
2000
-
[36]
McMullen, On the inner parallel body of a convex body , Israel J
P. McMullen, On the inner parallel body of a convex body , Israel J. Math. 19 (1974), 217–219
1974
-
[37]
Molchanov, personal communication
I. Molchanov, personal communication
-
[38]
Pach and P
J. Pach and P. K. Agarwal, Combinatorial geometry, Wiley-Interscience Series in Dis- crete Mathematics and Optimization, John Wiley & Sons Inc., New York, 1995, A Wiley- Interscience Publication
1995
-
[39]
Paouris and E
G. Paouris and E. M. Werner, Relative entropy of cone measures andLp centroid bodies, Proc. London Math. Soc. 104 (2012), 253–286
2012
-
[40]
Reitzner, Random points on the boundary of smooth convex bodies , Trans
M. Reitzner, Random points on the boundary of smooth convex bodies , Trans. Amer. Math. Soc. 354 (2002), 2243–2278
2002
-
[41]
Reitzner, Random polytopes
M. Reitzner, Random polytopes. In New Perspectives in Stochastic Geometry (edited by I. Molchanov and W.S. Kendall) (2008), 45–76, Oxford University Press
2008
-
[42]
Schmuckenschl¨ ager,The distribution function of the convolution square of a convex symmetric body in Rn, Israel J
M. Schmuckenschl¨ ager,The distribution function of the convolution square of a convex symmetric body in Rn, Israel J. Math. 78, 309–334, (1992)
1992
-
[43]
Schneider, Convex bodies: The Brunn-Minkowski theory
R. Schneider, Convex bodies: The Brunn-Minkowski theory . 2nd expanded edition, Cambridge University Press, Cambridge, 2014
2014
-
[44]
Sch¨ utt,On the affine surface area , Proceedings of the American Mathematical So- ciety 118(4) (1993), 1213–1218
C. Sch¨ utt,On the affine surface area , Proceedings of the American Mathematical So- ciety 118(4) (1993), 1213–1218
1993
-
[45]
Sch¨ utt and E
C. Sch¨ utt and E. M. Werner,The convex floating body , Math. Scand. 66 (1990), 275– 290
1990
-
[47]
Sch¨ utt and E
C. Sch¨ utt and E. M. Werner,Surface bodies and p-affine surface area, Adv. Math. 187 (2004), 98–145
2004
-
[48]
Sch¨ utt and E
C. Sch¨ utt and E. M. Werner,Affine surface area. In Harmonic analysis and convexity, volume 9 of Adv. Anal. Geom., pages 427–444. De Gruyter, Berlin, (2023)
2023
-
[49]
F. E. Schuster, T. Wannerer, Minkowski valuations and generalized valuations , J. Eur. Math. Soc. 20 (2018), 1851–1884
2018
-
[50]
Tatarko and E
K. Tatarko and E. M. Werner, A Steiner formula in the Lp Brunn Minkowski theory , Adv. Math. 355 (2019), 1–27
2019
-
[51]
Tatarko and E
K. Tatarko and E. M. Werner, Lp-Steiner quermassintegrals, Adv. Math. 430 (2023)
2023
-
[52]
Trudinger and Xu-Jia Wang, The Bernstein problem for affine maximal hypersur- faces, Invent
N.S. Trudinger and Xu-Jia Wang, The Bernstein problem for affine maximal hypersur- faces, Invent. Math. 140 (2000), 399–422
2000
-
[53]
Trudinger and Xu-Jia Wang, Affine complete locally convex hypersurfaces
N.S. Trudinger and Xu-Jia Wang, Affine complete locally convex hypersurfaces. Invent. Math. 150 (2002), 45–60. 20
2002
-
[54]
Trudinger, X
N.S. Trudinger, X. Wang, Boundary regularity for the Monge-Ampere and affine maxi- mal surface equations, Ann. of Math. 167 (2008), 993–1028
2008
-
[55]
Werner, A general geometric construction of affine surface area
E. Werner, A general geometric construction of affine surface area. Studia Math. 132 no.3, (1999), 227–238
1999
-
[56]
E. M. Werner and D. Ye, New Lp affine isoperimetric inequalities , Adv. Math. 218 (2008), 762–780
2008
-
[57]
Ye, New Orlicz affine isoperimetric inequalities , J
D. Ye, New Orlicz affine isoperimetric inequalities , J. Math. Anal. Appl. 427 (2015), 905–929
2015
-
[58]
Ye, Dual Orlicz-Brunn-Minkowski theory: dual Orlicz Lϕ affine and geominimal surface areas, J
D. Ye, Dual Orlicz-Brunn-Minkowski theory: dual Orlicz Lϕ affine and geominimal surface areas, J. Math. Anal. Appl. 443 (2016), 352–371. 21
2016
Reviewed August 16, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.