We generalize the hyperplane inequality in dimensions up to 4 to the setting of arbitrary measures in place of the volume. To prove this generalization we establish stability in the affirmative part of the solution to the Busemann-Petty problem asking whether symmetric convex bodies in R^n with smaller (n-1)-dimensional volume of all central hyperplane sections necessarily have smaller n-dimensional volume.
We prove an inequality that extends to arbitrary measures the hyperplane inequality for volume of unconditional convex bodies originally observed by Bourgain.
We prove several stability and volume difference inequalities for projections of convex bodies and apply them to prove a hyperplane inequality for surface area of projection bodies.
We provide a formula to compute the volume of the intersection of a generalized cylinder with a hyperplane. Then we prove an integral inequality involving Bessel functions similar to Keith Ball's well-known inequality. Using this inequality we obtain upper bounds for the section volume. For large radius of the cylinder we determine the maximal section.
A natural model for the approximation of a convex body $K$ in $\mathbb{R}^d$ by random polytopes is obtained as follows. Take a stationary Poisson hyperplane process in the space, and consider the random polytope $Z_K$ defined as the intersection of all closed halfspaces containing $K$ that are bounded by hyperplanes of the process not intersecting $K$. If $f$ is a functional on convex bodies, then for increasing intensities of the process, the expectation of the difference $f(Z_K)-f(K)$ may or may not converge to zero. If it does, then the order of convergence and possible limit relations are…
Let $K$ be a convex body in Euclidean space ${\mathbb R}^d$, and let a translation invariant, locally finite Borel measure on the space of hyperplanes in ${\mathbb R}^d$ be given. For $δ\ge 0$, we consider the set of all points $x$ for which the set of hyperplanes separating $K$ and $x$ has measure at most $δ$. This defines the separation body of $K$, with respect to the given measure and the parameter $δ$. Separation bodies are meant as conceptual duals to floating bodies, and they are expected to play a role in the investigation of random polytopes generated as intersections of random halfsp…
The purpose of this paper is to answer the following question: If all hyperplane sections through the origin of a convex body are "equal", is the convex body "equal" to the ball? The meaning of the notion "equal" will change in the course of this paper. Similarly, we are interested in the following problem: If all orthogonal projections of a convex body onto hyperplanes are "equal", is the convex body "equal" to the ball? Topology and convex geometry are deeply interrelated in the solution and understanding of these problems.
A $\sqrt{n}$ estimate in the hyperplane problem with arbitrary measures has recently been proved in \cite{K3}. In this note we present analogs of this result for sections of lower dimensions and in the complex case. We deduce these inequalities from stability in comparison problems for different generalizations of intersection bodies.
We show a reverse isoperimetric inequality within the class of relative outer parallel bodies, with respect to a general convex body $E$, along with its equality condition. Based on the convexity of the sequence of quermassintegrals of Minkowski sums we also prove further inequalities.
We consider the problem of finding the best function $φ_n:[0,1]\to\mathbb{R}$ such that for any pair of convex bodies $K,L\in\mathbb{R}^n$ the following Brunn-Minkowski type inequality holds $$ |K+_θL|^\frac{1}{n}\geqφ_n(θ)(|K|^\frac{1}{n}+|L|^\frac{1}{n}), $$ where $K+_θL$ is the $θ$-convolution body of $K$ and $L$. We prove a sharp inclusion of the family of Ball's bodies of an $α$-concave function in its super-level sets in order to provide the best possible function in the range $\left(\frac{3}{4}\right)^n\leqθ\leq1$, characterizing the equality cases.
We provide general inequalities that compare the surface area S(K) of a convex body K in ${\mathbb R}^n$ to the minimal, average or maximal surface area of its hyperplane or lower dimensional projections. We discuss the same questions for all the quermassintegrals of K. We examine separately the dependence of the constants on the dimension in the case where K is in some of the classical positions or K is a projection body. Our results are in the spirit of the hyperplane problem, with sections replaced by projections and volume by surface area.
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.
In this paper, we first introduce a new concept of {\it dual quermassintegral sum function} of two star bodies and establish Minkowski's type inequality for dual quermassintegral sum of mixed intersection bodies, which is a general form of the Minkowski inequality for mixed intersection bodies. Then, we give the Aleksandrov--Fenchel inequality and the Brunn--Minkowski inequality for mixed intersection bodies and some related results. Our results present, for intersection bodies, all dual inequalities for Lutwak's mixed prosection bodies inequalities.
The theory of coconvex bodies was formalized by A.~Khovanski{\uı} and V.~Timorin in \cite{KT}. It has fascinating relations with the classical theory of convex bodies, as well as applications to Lorentzian geometry. In a recent preprint \cite{schnei2}, R.~Schneider proved a result that implies a reversed Brunn--Minkowski inequality for coconvex bodies, with description of equality case. In this note we show that this latter result is an immediate consequence of a more general result, namely that the volume of coconvex bodies is strictly convex. This result itself follows from a classical eleme…
It is well-known that a line can intersect at most $2n-1$ cells of the $n \times n$ chessboard. Here we consider the high dimensional version: how many cells of the $d$-dimensional $n\times \ldots \times n$ box can a hyperplane intersect? We also prove the lattice analogue of the following well-known fact. If $K,L$ are convex bodies in $R^d$ and $K\subset L$, then the surface area of $K$ is smaller than that of $L$.
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.
Barker and Larman asked the following. Let $K' \subset {\Bbb{R}}^d$ be a convex body, whose interior contains a given convex body $K \subset {\Bbb{R}}^d$, and let, for all supporting hyperplanes $H$ of $K$, the $(d-1)$-volumes of the intersections $K' \cap H$ be given. Is $K'$ then uniquely determined? Yaskin and Zhang asked the analogous question when, for all supporting hyperplanes $H$ of $K$, the $d$-volumes of the "caps" cut off from $K'$ by $H$ are given. We give local positive answers to both of these questions, for small $C^2$-perturbations of $K$, provided the boundary of $K$ is $C^2_+…
We will prove a reverse Rogers-Shephard inequality for log-concave functions. In some particular cases, the method used for general log-concave functions can be slightly improved, allowing us to prove volume estimates for polars of $\ell_p$-diferences of convex bodies whose polar bodies under some condition on the barycenter of their polar bodies.
We generalize the ham sandwich theorem for the case of well separated measures. Given convex bodies $K_1,...,K_d$ in $\mathbb{R_d}$ and numbers $α_1,...,α_d \in [0, 1]$, we give a sufficient condition for existence and uniqueness of an (oriented)halfspace H with Vol($H \cap K_i$)= $α_i \dot$ Vol$K_i$ for every i. The result is extended from convex bodies to measures.
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 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$.
In this note we examine the volume of the convex hull of two congruent copies of a convex body in Euclidean $n$-space, under some subsets of the isometry group of the space. We prove inequalities for this volume if the two bodies are translates, or reflected copies of each other about a common point or a hyperplane containing it. In particular, we give a proof of a related conjecture of Rogers and Shephard.
For a broad class of integral functionals defined on the space of $n$-dimensional convex bodies, we establish necessary and sufficient conditions for monotonicity, and necessary conditions for the validity of a Brunn-Minkowski type inequality. In particular, we prove that a Brunn-Minkowski type inequality implies monotonicity, and that a general Brunn-Minkowski type inequality is equivalent to the functional being a mixed volume.
The classical Loomis-Whitney inequality and the uniform cover inequality of Bollobás and Thomason provide lower bounds for the volume of a compact set in terms of its lower dimensional coordinate projections. We provide further extensions of these inequalities in the setting of convex bodies. We also establish the corresponding dual inequalities for coordinate sections; these uniform cover inequalities for sections may be viewed as extensions of Meyer's dual Loomis-Whitney inequality.
We prove a version of the Aleksandrov-Fenchel inequality for mixed volumes of coconvex bodies. This version is motivated by an inequality from commutative algebra relating intersection multiplicities of ideals.
In this paper we establish Minkowski inequality and Brunn--Minkowski inequality for $p$-quermassintegral differences of convex bodies. Further, we give Minkowski inequality and Brunn--Minkowski inequality for quermassintegral differences of mixed projection bodies.
We obtain a new extension of Rogers-Shephard inequality providing an upper bound for the volume of the sum of two convex bodies $K$ and $L$. We also give lower bounds for the volume of the $k$-th limiting convolution body of two convex bodies $K$ and $L$. Special attention is paid to the $(n-1)$-th limiting convolution body, for which a sharp inequality, which is equality only when $K=-L$ is a simplex, is given. Since the $n$-th limiting convolution body of $K$ and $-K$ is the polar projection body of $K$, these inequalities can be viewed as an extension of Zhang's inequality.
We derive a formula connecting the derivatives of parallel section functions of an origin-symmetric star body in R^n with the Fourier transform of powers of the radial function of the body. A parallel section function (or (n-1)-dimensional X-ray) gives the ((n-1)-dimensional) volumes of all hyperplane sections of the body orthogonal to a given direction. This formula provides a new characterization of intersection bodies in R^n and leads to a unified analytic solution to the Busemann-Petty problem: Suppose that K and L are two origin-symmetric convex bodies in R^n such that the ((n-1)-dimensio…
We consider the following Bezout inequality for mixed volumes: $$V(K_1,\dots,K_r,Δ[{n-r}])V_n(Δ)^{r-1}\leq \prod_{i=1}^r V(K_i,Δ[{n-1}])\ \text{ for }2\leq r\leq n.$$ It was shown previously that the inequality is true for any $n$-dimensional simplex $Δ$ and any convex bodies $K_1, \dots, K_r$ in $\mathbb{R}^n$. It was conjectured that simplices are the only convex bodies for which the inequality holds for arbitrary bodies $K_1, \dots, K_r$ in $\mathbb{R}^n$. In this paper we prove that this is indeed the case if we assume that $Δ$ is a convex polytope. Thus the Bezout inequality characterizes…
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 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.
We compare and combine two approaches that have been recently introduced by Dafnis and Paouris [DP] and by Klartag and Milman [KM] with the aim of providing bounds for the isotropic constants of convex bodies. By defining a new hereditary parameter for all isotropic log-concave measures, we are able to show that the method in [KM], and the apparently stronger conclusions it leads to, can be extended in the full range of the 'weaker' assumptions of [DP]. The new parameter we define is related to the highest dimension k\leq n-1 in which one can always find marginals of an n-dimensional isotropic…
We study the following open problem, suggested by Barker and Larman. Let $K$ and $L$ be convex bodies in $\mathbb R^n$ ($n\ge 2$) that contain a Euclidean ball $B$ in their interiors. If $\mathrm{vol}_{n-1}(K\cap H) = \mathrm{vol}_{n-1}(L\cap H)$ for every hyperplane $H$ that supports $B$, does it follow that $K=L$? We discuss various modifications of this problem. In particular, we show that in $\mathbb R^2$ the answer is positive if the above condition is true for two disks, none of which is contained in the other. We also study some higher dimensional analogues.
A sharp quantitative version of the $L_p-$mixed volume inequality is established. This is achieved by exploiting an improved Jensen inequality. This inequality is a generalization of Pinsker-Csiszár-Kullback inequality for the Tsallis entropy. Finally, a sharp quantitative version of the $L_p-$Brunn-Minkowski inequality is also proved as a corollary.
The Loomis-Whitney inequality states that the volume of a convex body is bounded by the product of volumes of its projections onto orthogonal hyperplanes. We provide an extension of both this fact and a generalization of this fact due to Ball to the context of $q-$concave, $\frac{1}{q}-$homogeneous measures.
In this short note we explain why the log-Brunn-Minkowski conjecture is correct for complex convex bodies. We do this by relating the conjecture to the notion of complex interpolation, and appealing to a general theorem by Cordero-Erausquin.
Motivated by a problem on the 67th William Lowell Putnam Mathematical Competition, we will summarize three different solutions found on a website. This Putman problem is a special case of Sylvester's four point problem! Suppose four points are taken at random in a convex body; what is the probability that they form a convex quadrilateral? We will see that there exists a relationship among Crofton's formula, random secants in two dimensions and the solution to this question. We will then present the solution following Kingman [3] to the Sylvester's four point problem in two and three dimensions…
A stability version of the Blaschke-Santaló inequality and the affine isoperimetric inequality for convex bodies of dimension n>2 is proved. The first step is the reduction to the case when the convex body is o-symmetric and has axial rotational symmetry. This step works for related inequalities compatible with Steiner symmetrization. Secondly, for these convex bodies, a stability version of the characterization of ellipsoids by the fact that each hyperplane section is centrally symmetric is established.
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…
The average section functional ${\rm as}(K)$ of a centered convex body in ${\mathbb R}^n$ is the average volume of central hyperplane sections of $K$: \begin{equation*}{\rm as}(K)=\int_{S^{n-1}}|K\cap ξ^{\perp }|\,dσ(ξ).\end{equation*} We study the question if there exists an absolute constant $C>0$ such that for every $n$, for every centered convex body $K$ in ${\mathbb R}^n$ and for every 0<k<n, $${\rm as}(K)\ls C^k|K|^{\frac{k}{n}}\,\max_{E\in {\rm Gr}_{n-k}}{\rm as}(K\cap E).$$ We observe that the case $k=1$ is equivalent to the hyperplane conjecture. We show that this inequality holds tru…
We prove an isoperimetric inequality for the uniform measure on a uniformly convex body and for a class of uniformly log-concave measures (that we introduce). These inequalities imply (up to universal constants) the log-Sobolev inequalities proved by Bobkov--Ledoux as well as the isoperimetric inequalities due to Bakry-Ledoux and Bobkov--Zegarlinski. We also recover a concentration inequality for uniformly convex bodies, similar to that proved by Gromov--Milman.
