Rate of convergence of geometric symmetrizations

We give a systematic and thorough study of geometric notions and results connected to Minkowski's measure of symmetry and the extension of the well-known Minkowski functional to arbitrary, not necessarily symmetric convex bodies K on any (real) normed space X. Although many of the notions and results we treat in this paper can be found elsewhere in the literature, they are scattered and possibly hard to find. Further, we are not aware of a systematic study of this kind and we...

Let $K, D$ be $n$-dimensional convex bodes. Define the distance between $K$ and $D$ as $$ d(K,D) = \inf \{\lambda | T K \subset D+x \subset \lambda \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}} \| \omega \|_K d \mu (\omega), $$ where $\mu$ is the uniform measure on the sphere. Let $K^{\circ}$ be the polar body of $K$. We use the difference bo...

We derive conditions under which random sequences of polarizations (two-point symmetrizations) converge almost surely to the symmetric decreasing rearrangement. The parameters for the polarizations are independent random variables whose distributions need not be uniform. The proof of convergence hinges on an estimate for the expected distance from the limit that also yields a bound on the rate of convergence. In the special case of i.i.d. sequences, we obtain almost sure conv...

We interpret the log-Brunn-Minkowski conjecture of B\"or\"oczky-Lutwak-Yang-Zhang as a spectral problem in centro-affine differential geometry. In particular, we show that the Hilbert-Brunn-Minkowski operator coincides with the centro-affine Laplacian, thus obtaining a new avenue for tackling the conjecture using insights from affine differential geometry. As every strongly convex hypersurface in $\mathbb{R}^n$ is a centro-affine unit-sphere, it has constant centro-affine Ric...

Steinitz's theorem states that if the origin belongs to the interior of the convex hull of a set $Q \subset \mathbb{R}^d$, then there are at most $2d$ points $Q^\prime$ of $Q$ whose convex hull contains the origin in the interior. B\'ar\'any, Katchalski and Pach gave a quantitative version whereby the radius of the ball contained in the convex hull of $Q^\prime$ is bounded from below. In the present note, we show that a Euclidean result of this kind implies a corresponding sp...

Let $K$ be a centrally-symmetric convex body in $\mathbb{R}^n$ and let $\|\cdot\|$ be its induced norm on ${\mathbb R}^n$. We show that if $K \supseteq r B_2^n$ then: \[ \sqrt{n} M(K) \leqslant C \sum_{k=1}^{n} \frac{1}{\sqrt{k}} \min\left(\frac{1}{r} , \frac{n}{k} \log\Big(e + \frac{n}{k}\Big) \frac{1}{v_{k}^{-}(K)}\right) . \] where $M(K)=\int_{S^{n-1}} \|x\|\, d\sigma(x)$ is the mean-norm, $C>0$ is a universal constant, and $v^{-}_k(K)$ denotes the minimal volume-radius of...

Let $d_1$, $d_2$, ... be a sequence of positive numbers that converges to zero. A generalization of Steinhaus' theorem due to Weil implies that, if a subset of a homogeneous Riemannian manifold has no pair of points at distances $d_1$, $d_2$, ... from each other, then it has to have measure zero. We present a quantitative version of this result for compact, connected, rank-one symmetric spaces, by showing how to choose distances so that the measure of a subset not containing ...

Average distance between two points in a unit-volume body $K \subset \mathbb{R}^n$ tends to infinity as $n \to \infty$. However, for two small subsets of volume $\varepsilon > 0$ the situation is different. For unit-volume cubes and euclidean balls the largest distance is of order $\sqrt{-\ln \varepsilon}$, for simplexes and hyperoctahedrons $-$ of order $-\ln \varepsilon$, for $\ell_p$ balls with $p \in [1;2]$ $-$ of order $(-\ln \varepsilon)^{\frac{1}{p}}$. These estimates ...

We establish a new symmetrization procedure for the isoperimetric problem in symmetric spaces of noncompact type. This symmetrization generalizes the well known Steiner symmetrization in euclidean space. In contrast to the classical construction the symmetrized domain is obtained by solving a nonlinear elliptic equation of mean curvature type. We conclude the paper discussing possible applications to the isoperimetric problem in symmetric spaces of noncompact type.

We prove that the log-Brunn-Minkowski inequality \begin{equation*} |\lambda K+_0 (1-\lambda)L|\geq |K|^{\lambda}|L|^{1-\lambda} \end{equation*} (where $|\cdot|$ is the Lebesgue measure and $+_0$ is the so-called log-addition) holds when $K\subset\mathbb{R}^n$ is a ball and $L$ is a symmetric convex body in a suitable $C^2$ neighborhood of $K$.