Pith. sign in

REVIEW 2 major objections 4 minor 1 cited by

An in-depth study of ball-bodies

T0 review · 2 major / 4 minor · reviewed 2026-08-15 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read For every non-degenerate ball-body $K$, the identity $K-K^c=B(0,1)$ holds, and the paper shows that this one relation drives the class's inequalities, symmetries, and boundary structure.

desk verdict A rich and mostly sound study of ball-bodies whose central structural theorems hold up, but the Section 5.4 counterexample to Steiner symmetrization in 3D is numerically broken as written and needs an exact fix before the claim is cited. read the letter →

arxiv 2505.09200 v3 pith:T64EM7A7 submitted 2025-05-14 math.MG

Shiri Artstein-Avidan , Dan I. Florentin This is my paper · ORCID
classification math.MG MSC 52A2052A4052A39
keywords ball-bodiesc-dualitysummandsofEuclideanballSantalóinequalityconstantwidthbodiesSteinersymmetrizationKneser-Poulsenconjecturespindleconvexity
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

Ball-bodies—sets that can be written as intersections of translates of the Euclidean unit ball—are shown to form a self-contained analogue of convex bodies, with a duality that behaves like a geometric complement. The paper's central result is the identity $K-K^c=B(0,1)$ for every non-degenerate ball-body, which pins down the c-dual support function as $h_{K^c}(u)=1-h_K(-u)$. From this single relation the authors derive volume and mixed-volume inequalities of Santaló type, closure of the class under Minkowski averaging, an isometry theorem for the duality, a curvature duality at paired boundary points, and a characterization of bodies of constant width as fixed points. Along the way they prove structural analogues of Carathéodory and Krein–Milman theorems for the c-hull and show that Steiner symmetrization preserves the class in the plane but not in higher dimensions. If correct, this gives a unified setting for several open problems in convex geometry, including isoperimetric questions and the Kneser–Poulsen conjecture.

What carries the argument

The c-dual of a set is $K^c=\bigcap_{x\in K}B(x,1)$, and on ball-bodies it is an order-reversing involution. The engine of the paper is the support-function identity $h_{K^c}(u)=1-h_K(-u)$, which is the analytic form of $K-K^c=B(0,1)$. This identity transfers ball-body problems into additive and mixed-volume form: it turns the duality into a linear operation under Minkowski averages, gives the Santaló-type inequalities via Brunn–Minkowski and Urysohn, and yields the isometry property by mapping support functions to their complements. It also connects boundary normals: for $x\in\partial K$ and $u\in N_K(x)$, the point $x-u$ lies in $\partial K^c$ with normal $-u$, which is the mechanism behind the curvature relation $r_i+s_{n-i}=1$.

What would settle it

Using exact algebra or interval arithmetic at the stated fiber point $(x,y)=(0.4142,0.7268)$ of the lens $B(c_0,1)\cap B(-c_0,1)$ with $c_0=(-0.2807,0.2457,0.4)$, verify whether the sectional curvature of the Steiner symmetral in direction $e_1$ is strictly below 1; if the two displayed values 6.313 and 5.9545 do not preserve their strict order under rigorous computation, the counterexample collapses.

Watch

Extended reading notes

Core claim

The core discovery is the duality identity of Proposition 1.14: for any $K\in \mathcal{S}_n\setminus\{\emptyset,\mathbb{R}^n\}$, $K-K^c=B(0,1)$; equivalently, $h_{K^c}(u)=1-h_K(-u)$ for every unit vector $u$. The paper shows that this identity is equivalent to $K$ being a summand of the Euclidean ball, and that it forces $K+K^c$ to have constant width 2. From it the authors obtain a Santaló-type inequality $\operatorname{Vol}(K)^{1/n}+\operatorname{Vol}(K^c)^{1/n}\le \operatorname{Vol}(B(0,1))^{1/n}$, with equality only for balls, and a mixed-volume version. It also makes the c-duality linear under Minkowski averaging, an isometry of the class under Hausdorff distance, and the only order-reversing involution up to rigid motions. At smooth dual boundary points, the principal radii of curvature of $K$ and $K^c$ add to 1, a generalization of a classical constant-width fact.

Load-bearing premise

The paper's negative result for Steiner symmetrization in $n\ge 3$ depends on one computed lens example whose decisive inequality is checked by approximate decimals; if that comparison is not exact, the claim that $\mathcal{S}_n$ is preserved only for $n\le 2$ loses its proof.

Editorial extensions

If this is right

  • Every ball-body outside the degenerate cases satisfies $K-K^c=B(0,1)$, so $K+K^c$ is a body of constant width 2; bodies of constant width 1 are exactly the fixed points $K=K^c$.
  • For any two ball-bodies $K,T$, the Minkowski average $(1-\lambda)K+\lambda T$ is again a ball-body and its c-dual is the same average of the duals; consequently Minkowski symmetrization and orthogonal projections preserve the class.
  • The Santaló-type inequality $\operatorname{Vol}(K)^{1/n}+\operatorname{Vol}(K^c)^{1/n}\le \operatorname{Vol}(B(0,1))^{1/n}$ holds, with equality only for balls; the same pattern holds for mixed volumes, yielding bounds for constant-width bodies.
  • The boundary structure of ball-bodies mirrors convexity: each boundary point lies in the c-hull of at most $n$ c-extremal points, each interior point in at most $n+1$, and $K$ is the c-hull of its c-extremal points.
  • Steiner symmetrization maps $\mathcal{S}_2$ to itself but not $\mathcal{S}_3$, so the class is not closed under every classical symmetrization in higher dimensions.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The support-function identity suggests a full c-Mahler programme in all dimensions: minimize $\operatorname{Vol}(K)\operatorname{Vol}(K^c)$ over ball-bodies of fixed volume; the plane is solved here by lenses, and the natural conjectural extremizers in higher dimensions are 1-lenses and $(n-1)$-lenses.
  • Because c-duality is both an isometry and linear under averaging, ball-bodies form a natural testbed for optimal-transport costs that forbid pairs at distance at most 1; the necessary condition $\mu(A)+\nu(A^c)\le 1$ from the transport literature becomes a genuinely geometric condition on this class.
  • The basin description $\mathrm{Basin}(K)=\{T\in \mathcal{S}_n: h_K-h_T \text{ is even}\}$ gives a recipe for constructing many constant-width bodies with prescribed odd support part; varying the even part may lead to new small-volume examples relevant to the Blaschke–Lebesgue problem.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

2 major / 4 minor

Summary. The paper develops a systematic theory of ball-bodies, i.e., intersections of translates of the Euclidean unit ball, together with the associated c-duality. It proves a number of structural results: the identity K - K^c = B(0,1) (Proposition 1.14), linearity of the c-duality with respect to Minkowski averages (Theorem 1.19), Santaló-type inequalities for volume and mixed volumes, an order-isomorphism characterization of the class (Theorem 2.1), continuity of the c-duality with respect to Hausdorff distance, a curvature duality relating principal radii (Theorem 4.27), Carathéodory-type theorems for c-hulls, and results on Steiner and Minkowski symmetrization, including a claimed 3D counterexample to closure under Steiner symmetrization. The paper also discusses connections to the Kneser-Poulsen conjecture, bodies of constant width, and optimal transport.

Significance. If the main results hold, this paper is a valuable unified reference for ball-bodies. The identity K - K^c = B(0,1) is clean and powerful; it yields several inequalities simply and is used throughout. Theorem 1.19 (linearity of c-duality under Minkowski averages) is surprising, and Theorem 4.27 generalizes a known curvature duality for constant-width bodies. Many proofs are self-contained, with clear citations for classical tools. However, the main advertised new phenomenon in Section 5, namely that Steiner symmetrization preserves S_n only for n≤2, is currently not established because the numerical counterexample in dimension 3 is flawed.

major comments (2)
  1. [Section 5.4] The proposed counterexample does not compute a Steiner symmetral. For the parameters as used in the displayed values (z0=-0.4), the vertical intervals of the two unit balls at (x,y)=(0.4142,0.7268) are approximately [-0.934,0.134] for B(c0) and [0.209,0.591] for B(-c0). These intervals are disjoint, so the lens L has empty intersection with this vertical line and the Steiner symmetral S_{e3}(L) has an empty fiber there. The interval [(x,y,-gd),(x,y,fu)] used in the text has -gd≈0.209 > fu≈0.134, so it is not a fiber of L. Therefore the curvature computation is not applied to a valid fiber, and the claim that Su(L) leaves S_3 is not established. Because this is the only evidence for the claims that Steiner symmetrization preserves S_n only for n≤2 and that Vol(L_t) can be non-convex for n≥3 (Remark 5.7), these claims must either be proved with a correct example or removed.
  2. [Section 5.4] The numerical verification is internally inconsistent. With the printed definition ψ(s,t)=sqrt(1+t^2+s^2(1+t^2)), ψ(0.9996,2.9972) evaluates to about 4.47, not 6.313. The quoted individual values (4.251 and 7.658) also do not follow from the standard curvature denominator sqrt(1+||∇φ||^2)(1+φ_x^2); with that denominator, the individual values are approximately 5.03 and 7.80. The authors should provide an exact algebraic inequality or an interval-arithmetic certificate for the curvature comparison, and should first ensure that the fiber being considered is actually a fiber of L.
minor comments (4)
  1. [Section 5.4] The parameter line 'z−0 = 0.4' is ambiguous and inconsistent with the functions fu, gu, -fd, -gd displayed directly below it, which correspond to z0=-0.4. Please state the sign of z0 unambiguously.
  2. [Throughout] There are several typographical errors, including 'geneal settings' in Section 1, 'Miknowski average' in Corollary 1.21, 'saisfy' in Lemma 6.7, and 'Deonte' in the proof of Lemma 5.4. A careful proofread is needed.
  3. [Remark 2.5] The full isometry classification is attributed to unpublished preprints [5,6]; since these are not available to the reader, the remark should either be stated as conditional or accompanied by a proof outline.
  4. [Example 4.14] The example is described verbally and with a figure but without enough coordinate detail to verify the claimed smoothness; a short explicit formula for the body would improve reproducibility.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the central identity K−K^c=B(0,1) is derived from first principles, and self-citations are non-load-bearing.

full rationale

The paper's central claims are not circular. Proposition 1.14 (K−K^c = B(0,1)) is proved directly from Proposition 1.6 and normal-cone geometry, and it is not smuggled into the definition of the c-dual. The Santaló-type inequalities are derived from the classical Brunn–Minkowski/Urysohn inequalities together with this identity, and the corresponding results of Bezdek and of Drach–Tatarko are cited as external theorems, not derived from the paper's own conclusions. Theorem 2.1, the classification of order-preserving bijections on S_n, is proved in the text using the external Beckman–Quarles theorem; the self-citations [5,6] for the classification of isometries are mentioned only in remarks and are not used to prove the main theorem. Lemma 4.33 is proved in the text and its reference to [6] is for context rather than as an unverified premise. The curvature duality Theorem 4.27 is obtained by differentiating equation (2), which itself follows from Proposition 1.14, so the curvature relation is a genuine consequence rather than an input. No parameter is fitted and then renamed a prediction. The only serious concern in the manuscript, the numerical counterexample in Section 5.4, concerns the correctness of the arithmetic and the validity of the fiber computation (for instance, whether the displayed vertical interval really lies inside the lens and whether the decimal comparisons are rigorous); this is a question of mathematical correctness, not of circularity, because the counterexample is intended as an independent construction and does not assume the conclusion it is meant to establish. No circular step can be quoted from the text, so the appropriate finding is no significant circularity.

Assumptions & free parameters 1 free parameters · 6 assumptions · 0 invented entities

The central claims depend on classical convex geometry results (Schneider's summand characterization, Blaschke rolling, Urysohn, Brunn-Minkowski, Beckman-Quarles) which are standard and cited; no ad hoc axioms are introduced. The only hand-chosen parameters are the numerical values in the 3D counterexample.

free parameters (1)
  • Numerical parameters for the 3D Steiner counterexample (x0, y0, z0, x, y) = x0=-0.2807, y0=0.2457, z0=0.4, x=0.4142, y=0.7268
    Chosen by hand in Section 5.4 to force the strict inequality ψ((∇f_u+∇g_d)/2) > (ψ(∇f_u)+ψ(∇g_d))/2, yielding curvature κ_h<1. The verification uses decimal approximations, not exact algebra.
assumptions (6)
  • standard math Beckman-Quarles theorem: a distance-2-preserving bijection of R^n is an isometry.
    Invoked in Lemma 2.3 to show the point map of an order-preserving bijection is a rigid motion; cited to [16,17].
  • standard math Schneider's theorem: a convex body slides freely inside B(0,1) iff it is a summand of B(0,1), with K = ∩_{-x∈T} B(x,1).
    Used in Theorem 1.11 to identify S_n with ball summands and to derive the core identity K-K^c=B(0,1).
  • standard math Blaschke's Rolling Theorem: convex bodies with all sectional curvatures in [1,∞] are exactly the ball-bodies.
    Theorem 1.29, cited to [75,38,36]; used in the second proof of Theorem 5.12 and in the curvature discussion.
  • standard math Urysohn's inequality and Brunn-Minkowski for mixed volumes.
    Used in the proofs of the Santaló-type inequalities (Lemma 1.16 and Proposition 1.17).
  • standard math Jung's theorem: Outrad(K) ≤ sqrt(n/(2(n+1))) diam(K).
    Used in Theorem 3.7 to bound the diameter of the c-hull.
  • standard math Milman-Pajor inequality: Vol(K)Vol(L) ≤ Vol(K-L)Vol(K∩L) when barycenters coincide.
    Used in Proposition 3.22 and Theorem 3.23 to bound volumes of intersections involving K and K^c.

how reviews work

0 comments
Cite this review

Pith. "Pith review of An in-depth study of ball-bodies." pith.science (2026). https://pith.science/paper/T64EM7A7

@misc{pith2026250509200,
  author       = {Pith},
  title        = {Pith review of: An in-depth study of ball-bodies},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/T64EM7A7}},
  note         = {Machine review of arXiv:2505.09200}
}
abstract

In this paper we study the class of so called `ball-bodies' in ${\mathbb R}^n$, given by intersections of translates of Euclidean unit balls (or, equivalently, summand of the Euclidean ball). We study the class along with the natural duality operator defined on it. The class is naturally linked to many interesting problems in convex geometry, including bodies of constant width and the Knesser-Poulsen conjecture. We discuss old and new inequalities of isoperimetric type and of Santal\'{o} type, in this class. We study the boundary structure of bodies in the class, Carath\'eodory type theorem and curvature relations. We discuss various symmetrizations with relation to this class, and make some first steps regarding problems for bodies of constant width.

Figures

Figures reproduced from arXiv: 2505.09200 by the authors.

Figure 1
Figure 1. The set in Example 4.14 Remark 4.15. While Lemma 4.12 gives a certain intuition that smoothness of K has to do with smoothness of its polar, it is instructive to note an example of a body which is (globally) smooth, but its dual is not. Indeed, to this end we can intersect two 0.99 balls with some properly chosen centers. This is clearly not a smooth body (the points where the boundaries intersect will have non-triv… view at source ↗
Figure 2
Figure 2. The c-dual of E, for b = 1/2 boundary point in the upper half of ∂E and moving one unit along the (unique) inner normal. It turns out that the “south pole” y = (0, b − 1) of E c is a smooth point with 0 radius of curvature, as the parametrization (u(t), v(t)) behaves near y like v(u) ≈ −(1 − b) + 3 2  b 2(1 − b) 1 3 · |u| 4 3 . The general phenomenon is that in R 2 the radii of curvature at (smooth) dual points su… view at source ↗

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Some inequalities of isoperimetric type for the c-affine surface area

    math.MG 2025-05 conditional novelty 6.0 of 10

    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

76 extracted references · 75 canonical work pages · cited by 1 Pith paper

  1. [1]

    G. A. Aishwarya and D. Li. The Kneser-Poulsen phenomena for entropy. arXiv preprint, 2024

    work page 2024

  2. [2]

    Alesker, S

    S. Alesker, S. Artstein-Avidan, D. Faifman, and V. D. Milman. A characteriza- tion of product preserving maps with applications to a characterization of the fourier transform. Illinois Journal of Mathematics , 54(3):1115–1132, 2010

    work page 2010

  3. [3]

    Alesker, S

    S. Alesker, S. Artstein-Avidan, and V. D. Milman. A characterization of the fourier transform and related topics. In A. Alexandrov et al., editors, Linear and Complex Analysis , volume 63 of Advances in Mathematical Sciences , pages 11–26. American Mathematical Society, Providence, RI, 2009. Dedicated to V. P. Havin

    work page 2009

  4. [4]

    Small volume bodies of constant width

    A. Arman, A. Bondarenko, F. Nazarov, A. Prymak, and D. Radchenko. Small volume bodies of constant width. arXiv preprint arXiv:2405.18501 , 2024

    work page Pith review arXiv 2024

  5. [5]

    Artstein-Avidan, A

    S. Artstein-Avidan, A. Chor, and D. Florentin. A full classification of the isome- tries of the class of ball-bodies. Preprint, 2025

    work page 2025

  6. [6]

    Artstein-Avidan, A

    S. Artstein-Avidan, A. Chor, and D. Florentin. Isometries of the class of ball- bodies. Preprint, 2025

    work page 2025

  7. [7]

    Artstein-Avidan, D

    S. Artstein-Avidan, D. Florentin, and V. Milman. Order isomorphisms in win- dows. Electron. Res. Announc. Math. Sci. , 18:112–118, 2011

    work page 2011

  8. [8]

    Artstein-Avidan, A

    S. Artstein-Avidan, A. Giannopoulos, and V. D. Milman. Asymptotic Geometric Analysis. Part I, volume 202 ofMathematical Surveys and Monographs. American Mathematical Society, Providence, RI, 2015

    work page 2015

Show all 76 references
  1. [9]

    Artstein-Avidan, A

    S. Artstein-Avidan, A. Giannopoulos, and V. D. Milman. Asymptotic Geometric Analysis, Part II , volume 261 of Mathematical Surveys and Monographs. Amer- ican Mathematical Society, 2021. 71

    2021

  2. [10]

    Artstein-Avidan, H

    S. Artstein-Avidan, H. K¨ onig, and V. D. Milman. The chain rule as a functional equation. Journal of Functional Analysis , 259(11):2999–3024, 2010

    2010

  3. [11]

    Artstein-Avidan and V

    S. Artstein-Avidan and V. D. Milman. The concept of duality in convex analysis, and characterization of the Legendre transform. Annals of Mathematics (2) , 169(2):661–674, 2009

    2009

  4. [12]

    Artstein-Avidan and V

    S. Artstein-Avidan and V. D. Milman. Hidden structures in the class of convex functions and a new duality transform. Journal of the European Mathematical Society, 13:975–1004, 2011

    2011

  5. [13]

    Artstein-Avidan and Y

    S. Artstein-Avidan and Y. A. Rubinstein. Differential analysis of polarity. Jour- nal d’Analyse Math´ ematique, 132:133–156, 2017

    2017

  6. [14]

    Artstein-Avidan, S

    S. Artstein-Avidan, S. Sadovsky, and K. Wyczesany. A zoo of dualities. The Journal of Geometric Analysis , 33(238), 2023

    2023

  7. [15]

    K. Ball. Volume ratios and a reverse isoperimetric inequality. Journal of the London Mathematical Society, s2-44(2):351–359, 1991

    1991

  8. [16]

    F. S. Beckman and D. A. Jr. Quarles. On isometries of euclidean spaces. Pro- ceedings of the American Mathematical Society , 4:810–815, 1953

    1953

  9. [17]

    W. Benz. An elementary proof of the theorem of beckman and quarles. Elemente der Mathematik, 42(1):4–9, 1987

    1987

  10. [18]

    K. Bezdek. From the Kneser–Poulsen conjecture to ball-polyhedra. European Journal of Combinatorics , 29(8):1820–1830, 2008

    2008

  11. [19]

    K. Bezdek. Illuminating spindle convex bodies and minimizing the volume of spherical sets of constant width. Discrete & Computational Geometry , 47:275– 287, 2012

    2012

  12. [20]

    K. Bezdek. From r-dual sets to uniform contractions. Aequationes Mathematicae, 92:123–134, 2018

    2018

  13. [21]

    K. Bezdek. Volumetric bounds for intersections of congruent balls in euclidean spaces. Aequationes Mathematicae, 95:1–15, 2021

    2021

  14. [22]

    Bezdek and R

    K. Bezdek and R. Connelly. Pushing disks apart - the Kneser-Poulsen conjec- ture in the plane. Journal f¨ ur die reine und angewandte Mathematik (Crelle’s Journal), 553:221–236, 2002. 72

    2002

  15. [23]

    Bezdek, Z

    K. Bezdek, Z. L´ angi, M. Nasz´ odi, and P. Papez. Ball-polyhedra. Discrete & Computational Geometry, 38:201–230, 2007

    2007

  16. [24]

    Blaschke

    W. Blaschke. Konvexe bereiche gegebener konstanter breite und kleinsten in- halts. Mathematische Annalen, 76:504–513, 1915

    1915

  17. [25]

    Boltyanski

    V. Boltyanski. The problem of illuminating the boundary of a convex body. Izvestiya Akademii Nauk Moldavskoi SSR. Seriya Fiziko-Tekhnicheskikh i Matematicheskikh Nauk, 76(10):77–84, 1960. In Russian

    1960

  18. [26]

    Bonnesen and W

    T. Bonnesen and W. Fenchel. Theory of Convex Bodies . BCS Associates, Moscow, ID, 1987

    1987

  19. [27]

    Borisenko and K

    A. Borisenko and K. Drach. Closeness to spheres of hypersurfaces with normal curvature bounded below. Sbornik: Mathematics , 204(11):1565–1583, 2013

    2013

  20. [28]

    Borisenko and K

    A. Borisenko and K. Drach. Isoperimetric inequality for curves with curvature bounded below. Mathematical Notes, 95(5):590–598, 2014

    2014

  21. [29]

    Y. Brenier. Polar factorization and monotone rearrangement of vector-valued functions. Communications on Pure and Applied Mathematics, 44:375–417, 1991

    1991

  22. [30]

    K. J. B¨ or¨ oczky and R. Schneider. A characterization of the duality mapping for convex bodies. Geometric and Functional Analysis , 18(3):657–667, 2008

    2008

  23. [31]

    Campi and P

    S. Campi and P. Gronchi. On volume product inequalities for convex sets. Pro- ceedings of the American Mathematical Society , 134:2393–2402, 2006

    2006

  24. [32]

    G. D. Chakerian. Sets of constant relative width and constant relative brightness. Transactions of the American Mathematical Society , 129(1):26–37, 1967

    1967

  25. [33]

    Chernov, K

    R. Chernov, K. Drach, and K. Tatarko. A sausage body is a unique solution for a reverse isoperimetric problem. Advances in Mathematics, 353:431–445, 2019

    2019

  26. [34]

    K. Drach. Some sharp estimates for convex hypersurfaces of pinched normal curvature. Journal of Mathematical Physics, Analysis, Geometry, 11(2):111–122, 2015

    2015

  27. [35]

    K. Drach. Extreme Bounds for Complete Hypersurfaces in Riemannian Spaces . PhD thesis, B. Verkin Institute for Low Temperature Physics and Engineering of the NAS of Ukraine, Kharkiv, 2016. (in Russian)

    2016

  28. [36]

    Drach and K

    K. Drach and K. Tatarko. Reverse isoperimetric problems under curvature con- straints. arXiv preprint, 2023. 73

    2023

  29. [37]

    Fejes T´ oth and W

    G. Fejes T´ oth and W. Kuperberg. Four classic problems. arXiv preprint, 2022

    2022

  30. [38]

    Wm. J. Firey. Inner contact measures. Mathematika, 26(1):106–112, 1979

    1979

  31. [39]

    Florentin, V

    D. Florentin, V. D. Milman, and R. Schneider. A characterization of the mixed discriminant. Proceedings of the American Mathematical Society , 144(5):2197– 2204, 2016

    2016

  32. [40]

    M. Gromov. Monotonicity of the volume of intersection of balls. InGAFA Lecture Notes in Mathematics , volume 1267, pages 1–4. Springer, 1987

    1987

  33. [41]

    P. M. Gruber and G. Lettl. Isometries of the space of convex bodies in euclidean space. Bulletin of the London Mathematical Society , 12:455–462, 1980

    1980

  34. [42]

    C. E. Guti´ errez. Optimal Transport and Applications to Geometric Optics . SpringerBriefs on PDEs and Data Science. Springer, 2023

    2023

  35. [43]

    Guti´ errez and Q

    C.E. Guti´ errez and Q. Huang. The refractor problem in reshaping light beams. Archive for Rational Mechanics and Analysis , 193(2):423–443, 2009

    2009

  36. [44]

    Hadwiger

    H. Hadwiger. Ungel¨ oste probleme, nr. 20. Elemente der Mathematik , 12:121, 1957

    1957

  37. [45]

    Hadwiger

    H. Hadwiger. Ungel¨ oste probleme, nr. 38.Elemente der Mathematik, 15:130–131, 1960

    1960

  38. [46]

    Ball convex bodies in minkowski spaces

    Thomas Jahn, Horst Martini, and Christian Richter. Ball convex bodies in minkowski spaces. Pacific Journal of Mathematics , 289(2):287–316, 2017

    2017

  39. [47]

    H. Jung. ¨Uber die kleinste kugel, die eine r¨ aumliche figur einschließt. Journal f¨ ur die reine und angewandte Mathematik, 123:241–257, 1901

    1901

  40. [48]

    Kantorovich

    L. Kantorovich. On the transfer of masses. Doklady Akademii Nauk SSSR , 37:227–229, 1942

    1942

  41. [49]

    Kantorovich

    L. Kantorovich. On a problem of Monge. Uspekhi Matematicheskikh Nauk , 3:225–226, 1948

    1948

  42. [50]

    Klee and S

    V. Klee and S. Wagon. Old and New Unsolved Problems in Plane Geometry and Number Theory . MAA Dolciani Mathematical Expositions. Mathematical Association of America, 1991

    1991

  43. [51]

    M. Kneser. Einige bemerkungen ¨ uber das Minkowskische fl¨ achenmaß. Archiv der Mathematik, 6:382–390, 1955. 74

    1955

  44. [52]

    Y. S. Kupitz, H. Martini, and M. A. Perles. Finite sets in Rd with many diam- eters—a survey. In Proceedings of the International Conference on Mathematics and Applications, pages 91–112, Bangkok, 2005. Mahidol University Press

    2005

  45. [53]

    Lebesgue

    H. Lebesgue. Sur le probl` eme des isop´ erim` etres et sur les domaines de largeur constante. Bulletin de la Soci´ et´ e Math´ ematique de France, Comptes Rendus, pages 72–76, 1914

    1914

  46. [54]

    Martini, L

    H. Martini, L. Montejano, and D. Oliveros. Bodies of Constant Width: An Introduction to Convex Geometry with Applications . Birkh¨ auser, 2019

    2019

  47. [55]

    Facial structure of strongly convex sets generated by random samples

    Alexander Marynych and Ilya Molchanov. Facial structure of strongly convex sets generated by random samples. Advances in Mathematics, 395:108086, 2022

    2022

  48. [56]

    R. J. McCann. Existence and uniqueness of monotone measure-preserving maps. Duke Mathematical Journal , 80(2):309–323, 1995

    1995

  49. [57]

    V. D. Milman and A. Pajor. Isotropic position and inertia ellipsoids and zonoids of the unit ball of a normed n-dimensional space. In Geometric Aspects of Func- tional Analysis, pages 64–104. Springer, 1989

    1989

  50. [58]

    V. D. Milman and R. Schneider. Characterizing the mixed volume. Advances in Geometry, 11(4):669–689, 2011

    2011

  51. [59]

    G. Monge. M´ emoire sur la th´ eorie des d´ eblais et des remblais. Histoire de l’Acad´ emie Royale des Sciences de Paris, avec les M´ emoires de Math´ ematique et de Physique , pages 666–704, 1781. Reprinted in Oeuvres de Monge , Vol. 2, Gauthier-Villars, Paris, 1896

  52. [60]

    F. Nazarov. Mathoverflow entry. https://mathoverflow.net/questions/29000/volumes- of-sets-of-constant-width-in-high-dimensions, 2023

    2023

  53. [61]

    V. Oliker. Embedding sn into rn+1 with given integral gauss curvature and optimal mass transport on sn. Advances in Mathematics, 213:600–620, 2007

    2007

  54. [62]

    E. T. Poulsen. Problem 10. Mathematica Scandinavica, 2:345–347, 1954. Problem Section

    1954

  55. [63]

    C. A. Rogers and G. C. Shephard. The difference body of a convex body. Archiv der Mathematik, 8:220–233, 1957

    1957

  56. [64]

    C. A. Rogers and G. C. Shephard. Some extremal problems for convex bodies. Mathematika, 5:93–102, 1958. 75

    1958

  57. [65]

    Santal´ o

    L. Santal´ o. An affine invariant for convex bodies of n-dimensional space. Portu- galiae Mathematica, 8:155–161, 1949

    1949

  58. [66]

    Schneider

    R. Schneider. Isometrien des raumes der konvexen k¨ orper. Colloquium Mathe- maticae, 33:219–224, 1975

    1975

  59. [67]

    Schneider

    R. Schneider. Convex Bodies: The Brunn-Minkowski Theory , volume 151 of Encyclopedia of Mathematics and its Applications . Cambridge University Press, 2013

    2013

  60. [68]

    O. Schramm. Illuminating sets of constant width. Mathematika, 35(2):180–189, 1988

    1988

  61. [69]

    O. Schramm. On the volume of sets having constant width. Israel Journal of Mathematics, 63(2):178–182, 1988

    1988

  62. [70]

    Segal and B

    A. Segal and B. A. Slomka. Duality on convex sets in generalized regions. In Asymptotic geometric analysis , volume 68 of Fields Inst. Commun. , pages 289–

  63. [71]

    G. C. Shephard. Shadow systems of convex sets. Israel Journal of Mathematics , 2:229–236, 1964

    1964

  64. [72]

    Shiohama and R

    K. Shiohama and R. Takagi. A characterization of a standard torus inE 3. Journal of Differential Geometry, 4:477–485, 1970

    1970

  65. [73]

    B. A. Slomka. On duality and endomorphisms of lattices of closed convex sets. Adv. Geom., 11(2):225–239, 2011

    2011

  66. [74]

    C. Villani. Optimal transport: Old and new . Springer Science & Business Media, 2009

    2009

  67. [75]

    W. Weil. Inner contact probabilities for convex bodies. Advances in Applied Probability, 14(3):582–599, 1982. S. Artstein-Avidan, School of Mathematical Sciences, Tel Aviv University, Ramat Aviv, Tel Aviv, 69978, Israel. Email: shiri@tauex.tau.ac.il. D.I. Florentin, Department...

    1982

  68. [298]

    Springer, New York, 2013

    2013

Pith tools

Reviewed August 15, 2026 · model on record in the stance chip above.