Recently, Arman, Bondarenko, and Prymak constructed a constant width body in $\mathbb{R}^n$ whose illumination number is exponential in $n$. In this note, we improve their bound by generalizing the construction. In particular, we construct a constant width body in $\mathbb{R}^n$ whose illumination number is at least $(τ+o(1))^n$, where $τ\approx 1.047$.
The convex hull of a ball with an exterior point is called a spike (or cap). A union of finitely many spikes of a ball is called a spiky ball. If a spiky ball is convex, then we call it a cap body. In this note we upper bound the illumination numbers of $2$-illuminable spiky balls as well as centrally symmetric cap bodies. In particular, we prove the Illumination Conjecture for centrally symmetric cap bodies in sufficiently large dimensions by showing that any $d$-dimensional centrally symmetric cap body can be illuminated by $<2^d$ directions in Euclidean $d$-space for all $d\geq 20$. Further…
The paper is devoted to coverings by translative homothets and illuminations of convex bodies. For a given positive number $α$ and a convex body $B$, $g_α(B)$ is the infimum of $α$-powers of finitely many homothety coefficients less than 1 such that there is a covering of $B$ by translative homothets with these coefficients. $h_α(B)$ is the minimal number of directions such that the boundary of $B$ can be illuminated by this number of directions except for a subset whose Hausdorff dimension is less than $α$. In this paper, we prove that $g_α(B)\leq h_α(B)$, find upper and lower bounds for both…
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.
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 …
Following Santaló's approach, we prove several characterizations of a disc among bodies of constant width, constant projections lengths, or constant section lengths on given families of geodesics.
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.
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…
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}$.
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.
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
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.
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.
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-…
The purpose of this paper is to describe a new $3$-dimensional family of bodies of constant width that we have called peabodies, obtained from the Reuleaux tetrahedron by replacing a small neighborhood of all six edges with sections of an envelope of spheres. This family contains, in particular, the two Meissner solids and a body with tetrahedral symmetry that we have called Robert's body. Behind the construction of this family lies the classical notion of confocal quadrics discussed, for example, by Hilbert in his famous book. We study confocal quadrics and prove that the distances of an alte…
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.
We aim to study the classical Rosenthal-Szasz inequality for a plane whose geometry is given by a norm. This inequality states that the bodies of constant width have the largest perimeter among all planar convex bodies of given diameter. In the case where the unit circle of the norm is given by a Radon curve, we obtain an inequality which is completely analogous to the Euclidean case. For arbitrary norms we obtain an upper bound for the perimeter calculated in the anti-norm, yielding an analogous characterization of all curves of constant width. To derive these results, we use methods from the…
In this paper we develop a concrete way to construct bodies of constant width in dimension three. They are constructed from special embeddings of self-dual graphs.
The mean width is a measure on n-dimensional convex bodies. An integral formula for the mean width of a regular n-simplex appeared in the electrical engineering literature in 1997. As a consequence, expressions for the expected range of a sample of n+1 normally distributed variables, for n<=6, carry over to widths of regular n-simplices. As another consequence, precise asymptotics for the mean width become available as n->infty.
A new intrinsic volume metric is introduced for the class of convex bodies in $\mathbb{R}^n$. As an application, an inequality is proved for the asymptotic best approximation of the Euclidean unit ball by arbitrarily positioned polytopes with a restricted number of vertices under this metric. This result improves the best known estimate, and shows that dropping the restriction that the polytope is contained in the ball or vice versa improves the estimate by at least a factor of dimension. The same phenomenon has already been observed in the special cases of volume, surface area and mean width …
