For a convex body $K\subset\R^n$ and $i\in\{1,...,n-1\}$, the function assigning to any $i$-dimensional subspace $L$ of $\R^n$, the $i$-dimensional volume of the orthogonal projection of $K$ to $L$, is called the $i$-th projection function of $K$. Let $K, K_0\subset \R^n$ be smooth convex bodies of class $C^2_+$, and let $K_0$ be centrally symmetric. Excluding two exceptional cases, that of $(i,j)=(1,n-1)$ and $(i,j)=(n-2,n-1)$, we prove that $K$ and $K_0$ are homothetic if they have two proportional projection functions. The special case when $K_0$ is a Euclidean ball provides an extension of Nakajima's classical three-dimensional characterization of spheres to higher dimensions.
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
In this article we pose the problem of existence and uniqueness of convex body for which the projection curvature radius function coincides with given function. We find a necessary and sufficient condition that ensures a positive answer to both questions and suggest an algorithm of construction of the body. Also we find a representation of the support function of a convex body by projection curvature radii.
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.
Abstract In this paper, we study affine bodies of revolution. This will allow us to prove that a convex body all whose orthogonal $n$-projections are affinely equivalent is an ellipsoid, provided $n\equiv 0,1, 2$ mod $4$, $n>1$ with the possible exemption of $n=133$. Our proof uses convex geometry and topology of compact Lie groups. AMS classification subject: 22E10, 52A05
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.
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.
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 …
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.
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 show that if $d\ge 4$ is even, then one can find two essentially different convex bodies such that the volumes of their maximal sections, central sections, and projections coincide for all directions.
Typically, when we are given the section (or projection) function of a convex body, it means that in each direction we know the size of the central section (or projection) perpendicular to this direction. Suppose now that we can only get the information about the sizes of sections (or projections), and not about the corresponding directions. In this paper we study to what extent the distribution function of the areas of central sections (or projections) of a convex body can be used to derive some information about the body, its volume, etc.
Analogues of the classical inequalities from the Brunn-Minkowski theory for rotation intertwining additive maps of convex bodies are developed. Analogues are also proved of inequalities from the dual Brunn-Minkowski theory for intertwining additive maps of star bodies. These inequalities provide generalizations of results for projection and intersection bodies. As a corollary, a new Brunn-Minkowski inequality is obtained for the volume of polar projection bodies.
We prove that if two convex bodies $ K, L \subset \mathbb{R}^3$ satisfy the property that the orthogonal projections of $K$ and $L$ onto every plane containing the origin are roations of each other, then either $K$ and $L$ coincide or $L$ is the image of $K$ under a reflection about the origin
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.
We investigate metric projections and distance functions referring to convex bodies in finite-dimensional normed spaces. For this purpose we identify the vector space with its dual space by using, instead of the usual identification via the standard inner product, the Legendre transform associated with the given norm. This approach yields re-interpretations of various properties of convex functions, and new relations between such functions and geometric properties of the studied norm are also derived.
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.
We construct examples of two convex bodies $K,L$ in $\mathbb{R}^n$, such that every projection of $K$ onto a $(n-1)$-dimensional subspace can be rotated to be contained in the corresponding projection of $L$, but $K$ itself cannot be rotated to be contained in $L$. We also find necessary conditions on $K$ and $L$ to ensure that $K$ can be rotated to be contained in $L$ if all the $(n-1)$-dimensional projections have this property.
Lutwak's volume inequalities for polar projection bodies of all orders are generalized to polarizations of Minkowski valuations generated by even, zonal measures on the Euclidean unit sphere. This is based on analogues of mixed projection bodies for such Minkowski valuations and a generalization of the notion of centroid bodies. A new integral representation is used to single out Lutwak's inequalities as the strongest among these families of inequalities, which in turn are related to a conjecture on affine quermassintegrals. In the dual setting, a generalization of volume inequalities for inte…
We prove that for any compact set B in R^d and for any epsilon >0 there is a finite subset X of B of |X|=d^{O(1/epsilon^2)} points such that the maximum absolute value of any linear function ell: R^d --> R on X approximates the maximum absolute value of ell on B within a factor of epsilon sqrt{d}. We also discuss approximations of convex bodies by projections of spectrahedra, that is, by projections of sections of the cone of positive semidefinite matrices by affine subspaces.
This article belongs to the area of geometric tomography, which is the study of geometric properties of solids based on data about their sections and projections. We describe a new direction in geometric tomography where different volumetric results are considered in a more general setting, with volume replaced by an arbitrary measure. Surprisingly, such a general approach works for a number of volumetric results. In particular, we discuss the Busemann-Petty problem on sections of convex bodies for arbitrary measures and the slicing problem for arbitrary measures. We present generalizations of…
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…
For a convex body $K\subset\R^n$, the $k$th projection function of $K$ assigns to any $k$-dimensional linear subspace of $\R^n$ the $k$-volume of the orthogonal projection of $K$ to that subspace. Let $K$ and $K_0$ be convex bodies in $\R^n$, and let $K_0$ be centrally symmetric and satisfy a weak regularity and curvature condition (which includes all $K_0$ with $\f K_0$ of class $C^2$ with positive radii of curvature). Assume that $K$ and $K_0$ have proportional 1st projection functions (i.e., width functions) and proportional $k$th projection functions. For $2\le k<(n+1)/2$ and for $k=3, n=5…
In this manuscript, we study the inequalities between measures of convex bodies implied by comparison of their projections and sections. Recently, Giannopoulos and Koldobsky proved that if convex bodies $K, L$ satisfy $|K|θ^{\perp}| \le |L \cap θ^{\perp}|$ for all $θ\in S^{n-1}$, then $|K| \le |L|$. Firstly, we study the reverse question: in particular, we show that if $K, L$ are origin-symmetric convex bodies in John's position with $|K \cap θ^{\perp}| \le |L|θ^{\perp}|$ for all $θ\in S^{n-1}$ then $|K| \le \sqrt{n}|L|$. The condition we consider is weaker than both the conditions $|K \cap θ^…
We study relations of some classes of $k$-convex, $k$-visible bodies in Euclidean spaces. We introduce and study \textrm{circular projections} in normed linear spaces and classes of bodies related with families of such maps, in particular, \textrm{$k$-circular convex} and \textrm{$k$-circular visible} ones. Investigation of these bodies more general than $k$-convex and $k$-visible ones allows us to generalize some classical results of geometric tomography and find their new applications.
Rotation intertwining maps from the set of convex bodies in Rn into itself that are continuous linear operators with respect to Minkowski and Blaschke addition are investigated. The main focus is on Blaschke-Minkowski homomorphisms. We show that such maps are represented by a spherical convolution operator. An application of this representation is a complete classification of all even Blaschke-Minkowski homomorphisms which shows that these maps behave in many respects similar to the well known projection body operator. Among further applications is the following result: If an even Blaschke-Min…
A classification of SL$(n)$ contravariant, continuous function valued valuations on convex bodies is established. Such valuations are natural extensions of SL$(n)$ contravariant $L_p$ Minkowski valuations, the classification of which characterized $L_p$ projection bodies, which are fundamental in the $L_p$ Brunn-Minkowski theory, for $p \geq 1$. Hence our result will help to better understand extensions of the $L_p$ Brunn-Minkowski theory. In fact, our results characterize general projection functions which extend $L_p$ projection functions ($p$-th powers of the support functions of $L_p$ proj…
It is proved that if $C$ is a convex body in ${\Bbb R}^n$ then $C$ has an affine image $\widetilde C$ (of non-zero volume) so that if $P$ is any 1-codimensional orthogonal projection, $$|P\widetilde C| \ge |\widetilde C|^{n-1\over n}.$$ It is also shown that there is a pathological body, $K$, all of whose orthogonal projections have volume about $\sqrt{n}$ times as large as $|K|^{n-1\over n}$.
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.
In this paper we consider the isoperimetric profile of convex cylinders $K\times\mathbb{R}^q$, where $K$ is an $m$-dimensional convex body, and of cylindrically bounded convex sets, i.e, those with a relatively compact orthogonal projection over some hyperplane of $\mathbb{R}^{n+1}$, asymptotic to a right convex cylinder of the form $K\times\mathbb{R}$, with $K\subset\mathbb{R}^n$. Results concerning the concavity of the isoperimetric profile, existence of isoperimetric regions, and geometric descriptions of isoperimetric regions for small and large volumes are obtained.
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.
The main goal of this paper is to present a series of inequalities connecting the surface area measure of a convex body and surface area measure of its projections and sections. We present a solution of a question from S. Campi, P. Gritzmann and P. Gronchi regarding the asymptotic behavior of the best constant in a recently proposed reverse Loomis-Whitney inequality. Next we give a new sufficient condition for the slicing problem to have an affirmative answer, in terms of the least "outer volume ratio distance" from the class of intersection bodies of projections of at least proportional dimen…
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.
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.
In this paper, we establish mean width inequalities of sections and projections of convex bodies for isotropic measures with complete equality conditions, which extends the recent work of Alonso-Gutiérrez and Brazitikos. Different from their approach, our proof is based on the approach developed by Lutwak, Yang and Zhang, by using the Ball-Barthe inequality, the mass transportation, and the isotropic embedding.
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.
Flag measures are descriptors of convex bodies $K$ in $d$-dimensional Euclidean space generalizing the classical area measures. They have been used to provide general integral formulas for mixed volumes (see Hug, Rataj and Weil (2017)). Here, we consider an image measure $γ_j(K,\cdot)$ of flag measures, defined on the Grassmannian $G(d,j)$ of affine $j$-spaces, $1\le j\le d-1$, and show that it determines centrally symmetric bodies $K$ of dimension $\geq j+1$ uniquely. We then explain that Grassmann measures appear in the representation of smooth, translation invariant, continuous and even val…
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 study the slicing inequality for the surface area instead of volume. This is the question whether there exists a constant $α_n$ depending (or not) on the dimension $n$ so that $$S(K)\leqα_n|K|^{\frac{1}{n}}\max_{ξ\in S^{n-1}}S(K\capξ^{\perp })$$ where $S$ denotes surface area and $|\cdot |$ denotes volume. For any fixed dimension we provide a negative answer to this question, as well as to a weaker version in which sections are replaced by projections onto hyperplanes. We also study the same problem for sections and projections of lower dimension and for all the quermassintegrals of a conve…
Extending results of Suss and Hadwiger (proved by them for the case of convex bodies and positive ratios), we show that compact (respectively, closed) convex sets in the Euclidean space of dimension n are homothetic provided for any given integer m between 2 and n - 1 (respectively, between 3 and n - 1), the orthogonal projections of the sets on every m-dimensional plane are homothetic, where homothety ratio and its sign may depend on the projection plane. The proof uses a refined version of Straszewicz's theorem on exposed points of compact convex sets.
