Let $H$ be a Hilbert space. For a closed convex body $A$ denote by $r(A)$ the supremum of radiuses of balls, contained in $A$. We prove, that $\sum_{n=1}^\infty r(A_n) \ge r(A)$ for every covering of a convex closed body $A \subset H$ by a sequence of convex closed bodies $A_n$, $n \in \N$. It looks like this fact is new even for triangles in a 2-dimensional space.
In this paper we prove in certain n-dimensional normed spaces X the existence of full-dimensional equilateral simplices of large size inscribed to the unit ball B. This extends the construction of Makeev [Mak] in dimension 4 and we also compute an example of a space in which the idea cannot be applied.
We determine when a convex body in $\mathbb{R}^d$ is the closed unit ball of a reasonable crossnorm on $\mathbb{R}^{d_1}\otimes\cdots\otimes\mathbb{R}^{d_l},$ $d=d_1\cdots d_l.$ We call these convex bodies "tensorial bodies". We prove that, among them, the only ellipsoids are the closed unit balls of Hilbert tensor products of Euclidean spaces. It is also proved that linear isomorphisms on $\mathbb{R}^{d_1}\otimes\cdots \otimes \mathbb{R}^{d_l}$ preserving decomposable vectors map tensorial bodies into tensorial bodies. This leads us to define a Banach-Mazur type distance between them, and to …
A convex body K has associated with it a unique circumscribed ellipsoid CE(K) with minimum volume, and a unique inscribed ellipsoid IE(K) with maximum volume. We first give a unified, modern exposition of the basic theory of these extremal ellipsoids using the semi-infinite programming approach pioneered by Fritz John in his seminal 1948 paper. We then investigate the automorphism groups of convex bodies and their extremal ellipsoids. We show that if the automorphism group of a convex body K is large enough, then it is possible to determine the extremal ellipsoids CE(K) and IE(K) exactly, usin…
We study isomorphic properties of two generalizations of intersection bodies, the class of k-intersection bodies and the class of generalized k-intersection bodies. We also show that the Banach-Mazur distance of the k-intersection body of a convex body, when it exists and it is convex, with the Euclidean ball, is bounded by a constant depending only on k, generalizing a well-known result of Hensley and Borell. We conclude by giving some volumetric estimates for k-intersection bodies.
We obtain a new upper estimate on the Euclidean diameter of the intersection of the kernel of a random matrix with iid rows with a given convex body. The proof is based on a small-ball argument rather than on concentration and thus the estimate holds for relatively general matrix ensembles.
Let $μ$ be a probability measure on a separable Banach space $X$. A subset $U\subset X$ is $μ$-continuous if $μ(\partial U)=0$. In the paper the $μ$-continuity and uniform $μ$-continuity of convex bodies in $X$, especially of balls and half-spaces, is considered. The $μ$-continuity is interesting for study of the Glivenko-Cantelli theorem in Banach spaces. Answer to a question of F. Topsøe is given.
In 1926 S. Nakajima (= A. Matsumura) showed that any convex body in $\R^3$ with constant width, constant brightness, and boundary of class $C^2$ is a ball. We show that the regularity assumption on the boundary is unnecessary, so that balls are the only convex bodies of constant width and brightness.
We introduce a flow in the space of constant width bodies in three-dimensional Euclidean space that simultaneously increases the volume and decreases the circumradius of the shape as time increases. Starting from any initial constant width figure, we show that the flow exists for all positive times and converges to a closed ball as time tends to plus infinity. We also anticipate that this flow is interesting to study for negative times and that it would provide a mechanism to decrease the volume and increase the circumradius of a constant width body.
The minimizers of the anisotropic fractional isoperimetric inequality with respect to the convex body $K$ in $\mathbb{R}^n$ are shown to be equivalent to star bodies whenever $K$ is strictly convex and unconditional. From this a Pólya-Szegö principle for anisotropic fractional seminorms is derived by using symmetrization with respect to star bodies.
Busemann's theorem states that the intersection body of an origin-symmetric convex body is also convex. In this paper we provide a version of Busemann's theorem for p-convex bodies. We show that the intersection body of a p-convex body is q-convex for certain q. Furthermore, we discuss the sharpness of the previous result by constructing an appropriate example. This example is also used to show that IK, the intersection body of K, can be much farther away from the Euclidean ball than K. Finally, we extend these theorems to some general measure spaces with log-concave and $s$-concave measures
We prove new versions of the isomorphic Busemann-Petty problem for two different measures and show how these results can be used to recover slicing and distance inequalities. We also prove a sharp upper estimate for the outer volume ratio distance from an arbitrary convex body to the unit balls of subspaces of $L_p$.
We introduce the mixed convolution bodies of two convex symmetric bodies. We prove that if the boundary of a body $K$ is smooth enough then as $δ$ tends to $1$ the $δ$--$M^*$--convolution body of $K$ with itself tends to a multiple of the Euclidean ball after proper normalization. On the other hand we show that the $δ$--$M^*$--convolution body of the $n$--dimensional cube is homothetic to the unit ball of $\ell_1^n$.
It was shown by G. Pisier that any finite-dimensional normed space admits an $α$-regular $M$-position, guaranteeing not only regular entropy estimates but moreover regular estimates on the diameters of minimal sections of its unit-ball and its dual. We revisit Pisier's argument and show the existence of a \emph{different} position, which guarantees the same estimates for \emph{randomly sampled} sections \emph{with high-probability}. As an application, we obtain a \emph{random} version of V. Milman's Quotient-of-Subspace Theorem, asserting that in the above position, \emph{typical} quotients of…
Large deviation estimates are by now a standard tool inthe Asymptotic Convex Geometry, contrary to small deviationresults. In this note we present a novel application of a smalldeviations inequality to a problem related to the diameters of random sections of high dimensional convex bodies. Our results imply an unexpected distinction between the lower and the upper inclusions in Dvoretzky Theorem.
Many star bodies have convex subsets with approximately the same Gaussian measure (of the complement). Inspired by this phenomenon, and in connection with the randomized Dvoretzky theorem for Lorentz spaces, we derive bounds on the distribution of certain functions of a Gaussian random vector by approximating their sub-level sets by convex subsets.
It was conjectured by Ulam that the ball has the lowest optimal packing fraction out of all convex, three-dimensional solids. Here we prove that any origin-symmetric convex solid of sufficiently small asphericity can be packed at a higher efficiency than balls. We also show that in dimensions 4, 5, 6, 7, 8, and 24 there are origin-symmetric convex bodies of arbitrarily small asphericity that cannot be packed using a lattice as efficiently as balls can be.
Busemann's intersection inequality gives an upper bound for the volume of the intersection body of a star body in terms of the volume of the body itself. Koldobsky, Paouris, and Zymonopoulou asked if there is a similar result for $k$-intersection bodies. We solve this problem for star bodies that are close to the Euclidean ball in the Banach-Mazur distance. We also improve a bound obtained by Koldobsky, Paouris, and Zymonopoulou for general star bodies in the case when $k$ is proportional to the dimension.
Recently, Bo'az Klartag showed that arbitrary convex bodies have Gaussian marginals in most directions. We show that Klartag's quantitative estimates may be improved for many uniformly convex bodies. These include uniformly convex bodies with power type 2, and power type $p>2$ with some additional type condition. In particular, our results apply to all unit-balls of subspaces of quotients of $L_p$ for $1<p<\infty$. The same is true when $L_p$ is replaced by $S_p^m$, the $l_p$-Schatten class space. We also extend our results to arbitrary uniformly convex bodies with power type $p$, for $2 \leq …
We re-confirm, for the case of the unit p-ball of R^n, one of recent conjectures of G.Kuperberg on centrally symmetric convex bodies.This conjecture was very recently confirmrd for this particular case by D.A.Gutierrez using polygamma functions and convexity theory.We present another proof using only the basic properties of gamma function and mildly advanced classical analysis tools.
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.…
In a preceding work it is determined when a centrally symmetric convex body in $\mathbb{R}^d,$ $d=d_1\cdots d_l,$ is the closed unit ball of a reasonable crossnorm on $\mathbb{R}^{d_1}\otimes\cdots\otimes\mathbb{R}^{d_l}.$ Consequently, the class of tensorial bodies is introduced, an associated tensorial Banach-Mazur distance is defined and the corresponding Banach-Mazur type compactum is proved to exist. In this paper, we introduce the hyperspace of these convex bodies. We called "the space of tensorial bodies". It is proved that the group of linear isomorphisms on $\mathbb{R}^{d_1}\otimes\cd…
Suppose that we have the unit Euclidean ball in $\R^n$ and construct new bodies using three operations - linear transformations, closure in the radial metric and multiplicative summation defined by $\|x\|_{K+_0L} = \sqrt{\|x\|_K\|x\|_L}.$ We prove that in dimension 3 this procedure gives all origin symmetric convex bodies, while this is no longer true in dimensions 4 and higher. We introduce the concept of embedding of a normed space in $L_0$ that naturally extends the corresponding properties of $L_p$-spaces with $p\ne0$, and show that the procedure described above gives exactly the unit ball…
We propose a new method for obtaining Poincare-type inequalities on arbitrary convex bodies in R^n. Our technique involves a dual version of Bochner's formula and a certain moment map, and it also applies to some non-convex sets. In particular, we generalize the central limit theorem for convex bodies to a class of non-convex domains, including the unit balls of L_p-spaces in R^n for 0 < p < 1.