The intersection $L$ of two different non-opposite hemispheres of the unit sphere $S^2$ is called a lune. By $Δ(L)$ we denote the distance of the centers of the semicircles bounding $L$. By the thickness $Δ(C)$ of a convex body $C \subset S^2$ we mean the minimal value of $Δ(L)$ over all lunes $L \supset C$. We call a convex body $R\subset S^2$ reduced provided $Δ(Z) < Δ(R)$ for every convex body $Z$ being a proper subset of $R$. Our aim is to estimate the diameter of $R$, where $Δ(R) < \fracπ{2}$, in terms of its thickness.
In this paper we show that a spherical convex body $C$ is of constant diameter $τ$ if and only if $C$ is of constant width $τ$, for $0<τ<π$. Moreover, some applications to Wulff shapes are given.
In this paper we study the bisections of a centrally symmetric planar convex body which minimize the maximum relative diameter functional. We give necessary and sufficient conditions for being a minimizing bisection, as well as analyzing the behavior of the so-called standard bisection.
We prove sharp inequalities for the average number of affine diameters through the points of a convex body $K$ in ${\mathbb R}^n$. These inequalities hold if $K$ is either a polytope or of dimension two. An example shows that the proof given in the latter case does not extend to higher dimensions.
Lipschitzness of the width and diameter functions of convex bodies in $\mathbb R^n$
Institute of Mathematics and Informatics Bulgarian Academy of Sciences（保加利亚科学院数学与计算机科学研究所）；Faculty of Information Sciences State University of Library Studies and Information Technologies（图书馆与信息技术国立大学信息科学学院）；Institut de Mathématiques de Toulouse（图卢兹数学研究所；图卢兹大学；法国国家科学研究中心）；UMR5219 Université de Toulouse；CNRS UPS
Similarly to the classic notion in $E^d$, a subset of a positive diameter below $\fracπ{2}$ of a hemisphere of the sphere $S^d$ is called complete, provided adding any extra point increases its diameter. Complete sets are convex bodies on $S^d$. Our main theorem says that on $S^d$ complete bodies of diameter $δ$ coincide with bodies of constant width $δ$.
In this work we study the maximum relative diameter functional $d_M$ in the class of multi-rotationally symmetric planar convex bodies. A given set $C$ of this class is $k$-rotationally symmetric for $k\in\{k_1,\ldots,k_n\}\subset\nn$, and so it is natural to consider the standard $k_i$-partition $P_{k_i}$ associated to $C$ (which is a minimizing $k_i$-partition for $d_M$ when $k_i\geq3$) and the corresponding value $d_M(P_{k_i})$. We establish the relation among these values, characterizing the particular sets for which all these values coincide.
We present a spherical version of the theorem of Blaschke that every body of constant width $w < \fracπ{2}$ can be approximated as well as we wish in the sense of the Hausdorff distance by a body of constant width $w$ whose boundary consists only of pieces of circles of radius $w$. This is a special case of our theorem about approximation of spherical reduced bodies.
In this work we study subdivisions of $k$-rotationally symmetric planar convex bodies that minimize the maximum relative diameter functional. For some particular subdivisions called $k$-partitions, consisting of $k$ curves meeting in an interior vertex, we prove that the so-called \emph{standard $k$-partition} (given by $k$ equiangular inradius segments) is minimizing for any $k\in\mathbb{N}$, $k\geq 3$. For general subdivisions, we show that the previous result only holds for $k\leq 6$. We also study the optimal set for this problem, obtaining that for each $k\in\mathbb{N}$, $k\geq 3$, it con…
The aim of this paper is to present some properties of reduced spherical convex bodies on the two-dimensional sphere $S^2$. The intersection of two different non-opposite hemispheres is called a lune. By its thickness we mean the distance of the centers of the two semicircles bounding it. The thickness $Δ(C)$ of $C$ is the minimum thickness of a lune containing $C$. We say that a spherical convex body $R$ is reduced if $Δ(Z) < Δ(R)$ for every spherical convex body $Z \subset R$ different from $R$. Our main theorem permits to describe the shape of reduced bodies of thickness below $\fracπ{2}$. …
We present a survey article about the geometry of convex bodies on the $d$-dimensional sphere $S^d$. We concentrate on the results based on the notion of the width of a convex body $C \subset S^d$ determined by a supporting hemisphere of $C$. Important tools are the lunes containing $C$. The supporting hemispheres take over the role of the supporting half-spaces of a convex body in Euclidean space, and lunes the role of strips. Also essential is the notion of thickness of $C$, i.e, its minimum width. In particular, we describe properties of reduced spherical convex bodies and spherical bodies …
The spherical centroid body of a centrally-symmetric convex body in the Euclidean unit sphere is introduced. Two alternative definitions - one geometric, the other probabilistic in nature - are given and shown to lead to the same objects. The geometric approach is then used to establish a number of basic properties of spherical centroid bodies, while the probabilistic approach inspires the proof of a spherical analogue of the classical polar Busemann-Petty centroid inequality.
Upper estimates of the diameter and the radius of the family of all planar convex bodies with respect to the Banach-Mazur distance are obtained. Namely, it is shown that the diameter does not exceed $\tfrac{19-\sqrt{73}}4\approx 2.614$, which improves the previously known bound of $3$, and that the radius does not exceed $\frac{117}{70}\approx 1.671$.
Let $K$ and $L$ be two convex bodies in ${\mathbb R^5}$ with countably many diameters, such that their projections onto all $4$ dimensional subspaces containing one fixed diameter are directly congruent. We show that if these projections have no rotational symmetries, and the projections of $K,L$ on certain 3 dimensional subspaces have no symmetries, then $K=\pm L$ up to a translation. We also prove the corresponding result for sections of star bodies.
We present some relationships between the diameter, width and thickness of a reduced convex body on the $d$-dimensional sphere. We apply the obtained properties to recognize if a Wulff shape in the Euclidean $d$-space is self-dual.
For any Wulff shape, its dual Wulff shape is naturally defined. A self-dual Wulff shape is a Wulff shape equaling its dual Wulff shape exactly. In this paper, it is shown that a Wulff shape is self-dual if and only if the spherical convex body induced by it is of constant width $π/{2}$.
A subset of the d-dimensional Euclidean space having nonempty interior is called a spindle convex body if it is the intersection of (finitely or infinitely many) congruent d-dimensional closed balls. The spindle convex body is called a "fat" one, if it contains the centers of its generating balls. The core part of this paper is an extension of Schramm's theorem and its proof on illuminating convex bodies of constant width to the family of "fat" spindle convex bodies.
In this note we introduce the problem of illumination of convex bodies in spherical spaces and solve it for a large subfamily of convex bodies. We derive from it a combinatorial version of the classical illumination problem for convex bodies in Euclidean spaces as well as a solution to that for a large subfamily of convex bodies, which in dimension three leads to special Koebe polyhedra.
The intersection $L$ of two different non-opposite hemispheres $G$ and $H$ of a $d$-dimensional sphere $S^d$ is called a lune. By the thickness of $L$ we mean the distance of the centers of the $(d-1)$-dimensional hemispheres bounding $L$. For a hemisphere $G$ supporting a %spherical convex body $C \subset S^d$ we define ${\rm width}_G(C)$ as the thickness of the narrowest lune or lunes of the form $G \cap H$ containing $C$. If ${\rm width}_G(C) =w$ for every hemisphere $G$ supporting $C$, we say that $C$ is a body of constant width $w$. We present properties of these bodies. In particular, we…
{\bf Abstract.} Let $D$ be a convex body of diameter $δ$, where $0 < δ< \fracπ{2}$, on the $d$-dimensional sphere. We prove that $D$ is of constant diameter $δ$ if and only if it is of constant width $δ$ in the following two cases. The first case is when $D$ is smooth. The second case is when $d=2$.
This paper contains a new concept to measure the width and thickness of a convex body in the hyperbolic plane. We compare the known concepts with the new one and prove some results on bodies of constant width, constant diameter and given thickness.
If the n-dimensional unit sphere is covered by finitely many spherically convex bodies, then the sum of the inradii of these bodies is at least π. This bound is sharp, and the equality case is characterized.
Denote by ${\mathcal K}^d$ the family of convex bodies in $E^d$ and by $w(C)$ the minimal width of $C \in {\mathcal K}^d$. We ask for the greatest number $Λ_n ({\mathcal K}^d)$ such that every $C \in {\mathcal K}^d$ contains a polytope $P$ with at most $n$ vertices for which $Λ_n ({\mathcal K}^d) \leq \frac{w(P)}{w(C)}$. We give a lower estimate of $Λ_n ({\mathcal K}^d)$ for $n \geq 2d$ based on estimates of the smallest radius of $\big\lfloor {\frac{n}{2}} \big\rfloor$ antipodal pairs of spherical caps that cover the unit sphere of $E^d$. We show that $Λ_3 ({\mathcal K}^2) \geq {\frac 1 2}(3-…
Let $K\subset\mathbb S^{d-1}$ be a convex spherical body. Denote by $Δ(K)$ the distance between two random points in $K$ and denote by $σ(K)$ the length of a random chord of $K$. We explicitly express the distribution of $Δ(K)$ via the distribution of $σ(K)$. From this we find the density of distribution of $Δ(K)$ when $K$ is a spherical cap.
In this paper we state a one-to-one connection between the maximal ratio of the circumradius and the diameter of a body (the Jung constant) in an arbitrary Minkowski space and the maximal Minkowski asymmetry of the complete bodies within that space. This allows to generalize and unify recent results on complete bodies and to derive a necessary condition on the unit ball of the space, assuming a given body to be complete. Finally, we state several corollaries, i.e. concerning the Helly dimension or the Banach-Mazur distance.
An $r^{\an}$-center of a compact body $\Om$ in an $n$ dimensional Euclidean space is a point that gives an extremal value of the regularized Riesz potential, which is the (Hadamard regularization of) integration on $\Om$ of the distance from the point to the power $\an$. We show that for any real number $\la$ if a compact body is sufficiently close to a ball in the sense of asphericity then the $r^{\an}$-center is unique. We also study the regularized potentials of a unit ball.
We show the uniqueness of the radial centers of any order $α$ of a parallel body of a convex body $Ω$ in $\mathbb R^m$ at distance $δ$ if $δ$ is greater than the diameter of $Ω$ multiplied by a constant which depends only on the dimension $m$.
We discuss the notions of circumradius, inradius, diameter, and minimum width in generalized Minkowski spaces (that is, with respect to gauges), i.e., we measure the "size" of a given convex set in a finite-dimensional real vector space with respect to another convex set. This is done via formulating some kind of containment problem incorporating homothetic bodies of the latter set or strips bounded by parallel supporting hyperplanes thereof. The paper can be seen as a theoretical starting point for studying metrical problems of sets in generalized Minkowski spaces.
We investigate geometrical properties and inequalities satisfied by the complex difference body, in the sense of studying which of the classical ones for the difference body have an analog in the complex framework. Among others we give an equivalent expression for the support function of the complex difference body and prove that, unlike the classical case, the dimension of the complex difference body depends on the position of the body with respect to the complex structure of the vector space. We use spherical harmonics to characterize the bodies for which the complex difference body is a bal…
We investigate weighted floating bodies of polytopes. We show that the weighted volume depends on the complete flags of the polytope. This connection is obtained by introducing flag simplices, which translate between the metric and combinatorial structure. Our results are applied in spherical and hyperbolic space. This leads to new asymptotic results for polytopes in these spaces. We also provide explicit examples of spherical and hyperbolic convex bodies whose floating bodies behave completely different from any convex body in Euclidean space.
Let $K$ and $L$ be two convex bodies in ${\mathbb R^4}$, such that their projections onto all $3$-dimensional subspaces are directly congruent. We prove that if the set of diameters of the bodies satisfy an additional condition and some projections do not have certain symmetries, then $K$ and $L$ coincide up to translation and an orthogonal transformation. We also show that an analogous statement holds for sections of star bodies, and prove the $n$-dimensional versions of these results.
This article gives estimates on covering numbers and diameters of random proportional sections and projections of symmetric quasi-convex bodies in $\mathbb R$. These results were known for the convex case and played an essential role in development of the theory. Because duality relations can not be applied in the quasi-convex setting, new ingredients were introduced that give new understanding for the convex case as well.
Busemann's intersection inequality asserts that the only maximizers of the integral $\int_{S^{n-1}} |K\capξ^\perp|^n dξ$ among all convex bodies of a fixed volume in $\mathbb R^n$ are centered ellipsoids. We study this question in the hyperbolic and spherical spaces, as well as general measure spaces.
Extending Blaschke and Lebesgue's classical result in the Euclidean plane, it has been recently proved in spherical and the hyperbolic cases, as well, that Reuleaux triangles have the minimal area among convex domains of constant width $D$. We prove an essentially optimal stability version of this statement in each of the three types of surfaces of constant curvature. In addition, we summarize the fundamental properties of convex bodies of constant width in spaces of constant curvature, and provide a characterization in the hyperbolic case in terms of horospheres.
The purpose of this paper is to study the reflections of a convex body. In particular, we are interested in orthogonal reflections of its sections that can be extended to reflections of the whole body. For this reason, we need to study the case of a non-spherical ellipsoid, where a surprising structure arises (Section 2). These results allow us to give a new characterization of ellipsoids in terms of their reflections and, on the other hand, to prove a result deeply related to a conjecture due to K. Bezdek.
We consider a typical (in the sense of Baire categories) convex body $K$ in $\mathbb{R}^{d+1}$. The set of feet of its double normals is a Cantor set, having lower box-counting dimension $0$ and packing dimension $d$. The set of lengths of those double normals is also a Cantor set of lower box-counting dimension $0$. Its packing dimension is equal to $\frac{1}{2}$ if $d=1$, is at least $\frac{3}{4}$ if $d=2$, and equals $1$ if $d\geq3$. We also consider the lower and upper curvatures at feet of double normals of $K$, with a special interest for local maxima of the length function (they are cou…
We consider the problem of lower bounding a generalized Minkowski measure of subsets of a convex body with a log-concave probability measure, conditioned on the set size. A bound is given in terms of diameter and set size, which is sharp for all set sizes, dimensions, and norms. In the case of uniform density a stronger theorem is shown which is also sharp.
Dual to Koldobsky's notion of j-intersection bodies, the class of j-projection bodies is introduced, generalizing Minkowski's classical notion of projection bodies of convex bodies. A Fourier analytic characterization of j-projection bodies in terms of their area measures of order j is obtained. In turn, this yields an equivalent characterization of j-projection bodies involving Alesker's Fourier type transform on translation invariant smooth spherical valuations. As applications of these results, several basic properties of j-projection bodies are established and new non-trivial examples are …
We introduce a new variant of quantitative Helly-type theorems: the minimal \emph{"homothetic distance"} of the intersection of a family of convex sets to the intersection of a subfamily of a fixed size. As an application, we establish the following quantitative Helly-type result for the \emph{diameter}. If $K$ is the intersection of finitely many convex bodies in $\mathbb{R}^d$, then one can select $2d$ of these bodies whose intersection is of diameter at most $(2d)^3\mathrm{diam}(K)$. The best previously known estimate, due to Brazitikos, is $c d^{11/2}$. Moreover, we confirm that the multip…
We give theorems that can be used to upper bound the densities of packings of different spherical caps in the unit sphere and of translates of different convex bodies in Euclidean space. These theorems extend the linear programming bounds for packings of spherical caps and of convex bodies through the use of semidefinite programming. We perform explicit computations, obtaining new bounds for packings of spherical caps of two different sizes and for binary sphere packings. We also slightly improve bounds for the classical problem of packing identical spheres.
In this paper we are interested in "optimal" universal geometric inequalities involving the area, diameter and inradius of convex bodies. The term "optimal" is to be understood in the following sense: we tackle the issue of minimizing/maximizing the Lebesgue measure of a convex body among all convex sets of given diameter and inradius. The minimization problem in the two-dimensional case has been solved in a previous work, by M. Hernandez-Cifre and G. Salinas. In this article, we provide a generalization to the n-dimensional case based on a different approach, as well as the complete solving o…
In this paper, the isodiametric problem for centrally symmetric convex bodies in the Euclidean d-space R^d containing no interior non-zero point of a lattice L is studied. It is shown that the intersection of a suitable ball with the Dirichlet-Voronoi cell of 2L is extremal, i.e., it has minimum diameter among all bodies with the same volume. It is conjectured that these sets are the only extremal bodies, which is proved for all three dimensional and several prominent lattices.
