Given a symmetric convex body $C$ and $n$ hyperplanes in an Euclidean space, there is a translate of a multiple of $C$, at least ${1\over n+1}$ times as large, inside $C$, whose interior does not meet any of the hyperplanes. The result generalizes Bang's solution of the plank problem of Tarski and has applications to Diophantine approximation.
We present a streamlined proof of K. Ball's symmetric plank theorem in $\mathbb{R}^d$, which solves the affine plank problem raised by Th. Bang for symmetric convex bodies.
In the 1930's, Tarski introduced his plank problem at a time when the field discrete geometry was about to born. It is quite remarkable that Tarski's question and its variants continue to generate interest in the geometric as well as analytic aspects of coverings by planks in the present time as well. Besides giving a short survey on the status of the affine plank conjecture of Bang (1950) we prove some new partial results for the successive inradii of the convex bodies involved. The underlying geometric structures are successive hyperplane cuts introduced several years ago by Conway and induc…
In [BL] in relation to the unsolved Bang's plank problem (1951) we obtained a lower bound for the sum of relevant measures of cylinders covering a given d-dimensional convex body. In this paper we provide the packing counterpart of these estimates. We also extend bounds to the case of r-fold covering and packing and show a packing analog of Falconer's results ([Fa]).
We consider the Tarski--Bang problem about covering of convex bodies by planks. The results of this kind give a lower bound on the sum of widths of planks (regions between a pair of parallel hyperplanes) covering a given convex body. Previously we have applied some notions of symplectic geometry to study convex bodies, and here we show that the symplectic techniques may be useful in this problem as well. We are able to handle some particular cases with the symplectic techniques, and show that the general cases would follow from a certain ``subadditivity conjecture'' in symplectic geometry, mot…
If a convex body $K \subset \mathbb{R}^n$ is covered by the union of convex bodies $C_1, \ldots, C_N$, multiple subadditivity questions can be asked. Two classical results regard the subadditivity of the width (the smallest distance between two parallel hyperplanes that sandwich $K$) and the inradius (the largest radius of a ball contained in $K$): the sum of the widths of the $C_i$ is at least the width of $K$ (this is the plank theorem of Thoger Bang), and the sum of the inradii of the $C_i$ is at least the inradius of $K$ (this is due to Vladimir Kadets). We adapt the existing proofs of the…
In this paper, we obtain the best possible value of the absolute constant $C$ such that for every isotropic convex body $K \subseteq \mathbb{R}^n$ the following inequality (which was proved by Klartag and reduces the hyperplane conjecture to centrally symmetric convex bodies) is satisfied: $$ L_K\leq CL_{K_{n+2}(g_K)}. $$ Here $L_K$ denotes the isotropic constant of $K$, $g_K$ its covariogram function, which is log-concave, and, for any log-concave function $g$, $K_{n+2}(g)$ is a convex body associated to the log-concave function $g$, which belongs to a uniparametric family introduced by Ball.…
We investigate a duality relation between floating and illumination bodies. The definitions of these two bodies suggest that the polar of the floating body should be similar to the illumination body of the polar. We consider this question for the class of centrally symmetric convex bodies. We provide precise estimates for $(B_p^n)$ and for centrally symmetric convex bodies with everywhere positive Gauss curvature. Our estimates show that equality of the polar of the floating body and the illumination body of the polar can only be achieved in the case of ellipsoids.
We construct symmetric convex bodies that are not intersection bodies, but all of their central hyperplane sections are intersection bodies. This result extends the studies by Weil in the case of zonoids and by Neyman in the case of subspaces of $L_p$.
Let $K, D$ be $n$-dimensional convex bodes. Define the distance between $K$ and $D$ as $$ d(K,D) = \inf \{λ| T K \subset D+x \subset λ\cdot TK \}, $$ where the infimum is taken over all $x \in R^n$ and all invertible linear operators $T$. Assume that 0 is an interior point of $K$ and define $$ M(K) =\int_{S^{n-1}} \| ω\|_K d μ(ω), $$ where $μ$ is the uniform measure on the sphere. Let $K^{\circ}$ be the polar body of $K$. We use the difference body estimate to prove that $K$ can be embedded into $R^n$ so that $$ M(K) \cdot M(K^{\circ}) \le C n^{1/3} \log^a n $$ for some absolute constants $C$ …
A classical theorem of Alon and Milman states that any $d$ dimensional centrally symmetric convex body has a projection of dimension $m\geq e^{c\sqrt{\ln{d}}}$ which is either close to the $m$-dimensional Euclidean ball or to the $m$-dimensional cross-polytope. We extended this result to non-symmetric convex bodies.
Mahler's conjecture asks whether the cube is a minimizer for the volume product of a body and its polar in the class of symmetric convex bodies in R^n. The corresponding inequality to the conjecture is sometimes called the the reverse Blaschke-Santalo inequality. The conjecture is known in dimension two and in several special cases. In the class of unconditional convex bodies, Saint Raymond confirmed the conjecture, and Meyer and Reisner, independently, characterized the equality case. In this paper we present a stability version of these results and also show that any symmetric convex body, w…
We present a method which shows that in $\Eb$ the Busemann-Petty problem, concerning central sections of centrally symmetric convex bodies, has a positive answer. Together with other results, this settles the problem in each dimension.
The complex Busemann-Petty problem asks whether origin symmetric convex bodies in $\C^n$ with smaller central hyperplane sections necessarily have smaller volume. We prove that the answer is affirmative if $n\le 3$ and negative if $n\ge 4.$
In this note, we derive an asymptotically sharp upper bound on the number of lattice points in terms of the volume of centrally symmetric convex bodies. Our main tool is a generalization of a result of Davenport that bounds the number of lattice points in terms of volumes of suitable projections.
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 several estimates for the volume, mean width, and the value of the Wills functional of sections of convex bodies in John's position, as well as for their polar bodies. These estimates extend some well-known results for convex bodies in John's position to the case of lower-dimensional sections, which had mainly been studied for the cube and the regular simplex. Some estimates for centrally symmetric convex bodies in minimal surface area position are also obtained.
Let $\mathcal I_k$ be the class of convex $k$-intersection bodies in $\mathbb{R}^n$ (in the sense of Koldobsky) and $\mathcal I_k^m$ be the class of convex origin-symmetric bodies all of whose $m$-dimensional central sections are $k$-intersection bodies. We show that 1) $\mathcal I_k^m\not\subset \mathcal I_k^{m+1}$, $k+3\le m<n$, and 2) $\mathcal I_l \not\subset \mathcal I_k$, $1\le k<l < n-3$.
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.
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.
We consider the question how well a floating body can be approximated by the polar of the illumination body of the polar. We establish precise convergence results in the case of centrally symmetric polytopes. This leads to a new affine invariant which is related to the cone measure of the polytope.
We consider a generalization of the hyperplane problem to arbitrary measures in place of volume and to sections of lower dimensions. We prove this generalization for unconditional convex bodies and for duals of bodies with bounded volume ratio. We also prove it for arbitrary symmetric convex bodies under the condition that the dimension of sections is less than $λn$ for some $λ\in (0,1).$ The constant depends only on $λ.$ Finally, we show that the behavior of the minimal sections for some measures may be different from the case of volume.
It has been proved that the sup-norm of the Radon transform of an arbitrary probability density on an origin-symmetric convex body of volume 1 is bounded from below by a positive constant depending only on the dimension. In this note we extend this result to the derivatives of the Radon transform. We also prove a comparison theorem for these derivatives.
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…
Following ideas of Iriyeh and Shibata we give a short proof of the three-dimensional Mahler conjecture {\mf for symmetric convex bodies}. Our contributions include, in particular, simple self-contained proofs of their two key statements. The first of these is an equipartition (ham sandwich type) theorem which refines a celebrated result of Hadwiger and, as usual, can be proved using ideas from equivariant topology. The second is an inequality relating the product volume to areas of certain sections and their duals. We observe that these ideas give a large family of convex sets in every dimensi…
We present an alternative approach to some results of Koldobsky on measures of sections of symmetric convex bodies, which allows us to extend them to the not necessarily symmetric setting. We prove that if $K$ is a convex body in ${\mathbb R}^n$ with $0\in {\rm int}(K)$ and if $μ$ is a measure on ${\mathbb R}^n$ with a locally integrable non-negative density $g$ on ${\mathbb R}^n$, then \begin{equation*}μ(K)\leq \left (c\sqrt{n-k}\right )^k\max_{F\in G_{n,n-k}}μ(K\cap F)\cdot |K|^{\frac{k}{n}}\end{equation*} for every $1\leq k\leq n-1$. Also, if $μ$ is even and log-concave, and if $K$ is a sym…
The article considers the problem of existence and uniqueness of centrally symmetrical convex body for which the projection curvature radius function coincides with a given flag function. A necessary and sufficient condition is found that ensures a positive answer. An algorithm for construction the body in question is proposed
We show that for any $t>1$, the set of unconditional convex bodies in $\mathbb{R}^n$ contains a $t$-separated subset of cardinality at least $\exp \exp (C(t) n)$. This implies that there exists an unconditional convex body in $\mathbb{R}^n$ which cannot be approximated within the distance $d$ by a projection of a polytope with $N$ faces unless $N > \exp(c(d)n)$. We also show that for $t>2$, the cardinality of a $t$-separated set of completely symmetric bodies in $\mathbb{R}^n$ does not exceed $\exp \exp (c(t) \log^2 n)$.
We prove that the reciprocal of the volume of the polar bodies, about the Santaló point, of a {\em shadow system} of convex bodies $K_t$, is a convex function of $t$. Thus extending to the non-symmetric case a result of Campi and Gronchi. The case that the reciprocal of the volume is an affine function of $t$ is also investigated and is characterized under certain conditions. We apply these results to prove exact reverse Santaló inequality for polytopes in $\rd{d}$ that have at most $d+3$ vertices.
In an earlier paper \cite{mazeng} the authors introduced the notion of curvature entropy, and proved the plane log-Minkowski inequality of curvature entropy under the symmetry assumption. In this paper we demonstrate the plane log-Minkowski inequality of curvature entropy for general convex bodies. The equivalence of the uniqueness of cone-volume measure, the log-Minkowski inequality of volume, and the log-Minkowski inequality of curvature entropy for general convex bodies in $\mathbb R^{2}$ are shown.
Mahler's conjecture asks whether the cube is a minimizer for the volume product of a body and its polar in the class of symmetric convex bodies in a fixed dimension. It is known that every Hanner polytope has the same volume product as the cube or the cross-polytope. In this paper we prove that every Hanner polytope is a strict local minimizer for the volume product in the class of symmetric convex bodies endowed with the Banach-Mazur distance.
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…
It is proved that if $u_1,\ldots, u_n$ are vectors in ${\Bbb R}^k, k\le n, 1 \le p < \infty$ and $$r = ({1\over k} \sum ^n_1 |u_i|^p)^{1\over p}$$ then the volume of the symmetric convex body whose boundary functionals are $\pm u_1,\ldots, \pm u_n$, is bounded from below as $$|\{ x\in {\Bbb R}^k\colon \ |\langle x,u_i\rangle | \le 1 \ \hbox{for every} \ i\}|^{1\over k} \ge {1\over \sqrtρr}.$$ An application to number theory is stated.
A Minkowski class is a closed subset of the space of convex bodies in Euclidean space Rn which is closed under Minkowski addition and non-negative dilatations. A convex body in Rn is universal if the expansion of its support function in spherical harmonics contains non-zero harmonics of all orders. If K is universal, then a dense class of convex bodies M has the following property. There exist convex bodies T1; T2 such that M + T1 = T2, and T1; T2 belong to the rotation invariant Minkowski class generated by K. It is shown that every convex body K which is not centrally symmetric has a linear …
One of the fundamental results in Convex Geometry is Busemann's theorem, which states that the intersection body of a symmetric convex body is convex. Thus, it is only natural to ask if there is a quantitative version of Busemann's theorem, i.e., if the intersection body operation actually improves convexity. In this paper we concentrate on the symmetric bodies of revolution to provide several results on the (strict) improvement of convexity under the intersection body operation. It is shown that the intersection body of a symmetric convex body of revolution has the same asymptotic behavior ne…
The isotropic constant $L_K$ is an affine-invariant measure of the spread of a convex body $K$. For a $d$-dimensional convex body $K$, $L_K$ can be defined by $L_K^{2d} = \det(A(K))/(\mathrm{vol}(K))^2$, where $A(K)$ is the covariance matrix of the uniform distribution on $K$. It is an outstanding open problem to find a tight asymptotic upper bound of the isotropic constant as a function of the dimension. It has been conjectured that there is a universal constant upper bound. The conjecture is known to be true for several families of bodies, in particular, highly symmetric bodies such as bodie…
We say that a star body $K$ is completely symmetric if it has centroid at the origin and its symmetry group $G$ forces any ellipsoid whose symmetry group contains $G$, to be a ball. In this short note, we prove that if all central sections of a star body $L$ are completely symmetric, then $L$ has to be a ball. A special case of our result states that if all sections of $L$ are origin symmetric and 1-symmetric, then $L$ has to be a Euclidean ball. This answers a question from \cite{R2}. Our result is a consequence of a general theorem that we establish, stating that if the restrictions in almos…
Let $d \ge 2$, and let $K \subset {\Bbb{R}}^d$ be a convex body containing the origin $0$ in its interior. In a previous paper we have proved the following. The body $K$ is $0$-symmetric if and only if the following holds. For each $ω\in S^{d-1}$, we have that the $(d-1)$-volume of the intersection of $K$ and an arbitrary hyperplane, with normal $ω$, attains its maximum if the hyperplane contains $0$. An analogous theorem, for $1$-dimensional sections and $1$-volumes, has been proved long ago by Hammer (\cite{H}). In this paper we deal with the ($(d-2)$-dimensional) surface area, or with lower…
We disprove a conjecture of A. Koldobsky asking whether it is enough to compare $(n-2)$-derivatives of the projection functions of two symmetric convex bodies in the Shephard problem in order to get a positive answer in all dimensions.
In this paper, a new proof of the following result is given: The product of the volumes of an origin symmetric convex bodies $K$ in R^2 and of its polar body is minimal if and only if $K$ is a parallelogram.
We study the volume ratio between projections of two convex bodies. Given a high-dimensional convex body $K$ we show that there is another convex body $L$ such that the volume ratio between any two projections of fixed rank of the bodies $K$ and $L$ is large. Namely, we prove that for every $1\leq k\leq n$ and for each convex body $K\subset \mathbb{R}^n$ there is a centrally symmetric body $L \subset \mathbb{R}^n$ such that for any two projections $P, Q: \mathbb{R}^n \to \mathbb{R}^n$ of rank $k$ one has $$ \mbox{vr}(PK, QL) \geq c \, \min\left\{\frac{ k}{ \sqrt{n}} \, \sqrt{\frac{1}{\log \log…