Search arXivSearch

arXiv · 2007.06743

Random section and random simplex inequality

Abstract

Consider some convex body $K\subset\mathbb R^d$. Let $X_1,\dots, X_k$, where $k\leq d$, be random points independently and uniformly chosen in $K$, and let $ξ_k$ be a uniformly distributed random linear $k$-plane. We show that for $p\geq-d+k+1$, \[ \mathbb E\,|K\capξ_k|^{d+p}\leq c_{d,k,p} \cdot|K|^k\, \,\mathbb E\,|\mathrm{conv}(0,X_1, \dots,X_k)|^p, \] where $|\cdot|$ and $\mathrm{conv}$ denote the volume of correspondent dimension and the convex hull. The constant $c_{d,k,p}$ is such that for $k>1$ the equality holds if and only if $K$ is an ellipsoid centered at the origin, and for $k=1$ the inequality turns to equality. If $p=0$, then the inequality reduces to the Busemann intersection inequality, and if $k=d$ -- to the Busemann random simplex inequality. We also present an affine version of this inequality which similarly generalizes the Schneider inequality and the Blaschke-Grömer inequality.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Alexander E. Litvak, Dmitry Zaporozhets. 2022-02-04. Random section and random simplex inequality. https://arxiv.org/abs/2007.06743

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

$β$-Uniform Convexity and Divisible Domains

Divisible convex sets have long been important in the study of Hilbert geometries. When a divisible convex set is an ellipsoid, the Hilbert geometry it induces is the hyperbolic space. In general, strictly convex divisible domains exhibit negative curvature properties, but only the ellipsoid is a CAT(0) space. The notion of p-uniform convexity from the theory of Banach spaces has been proposed by Shin-Ichi Ohta as a generalization of the Alexandrov-Toponogov comparison theorems to Finsler manifolds. We prove that a natural Finsler metric on a strictly convex divisible domain is $β$-uniformly convex, where the constant $β$ is related to the regularity of the boundary. We use this to show, with AI assistance, that the Hilbert metric, under suitable local and scale-dependent assumptions, is $β$-uniformly convex on such domains.

math.MG

A positive solution to the $L^p$ projection centroid conjecture

In a classical paper [21] in 2000, Lutwak-Yang-Zhang established the $L^p$ analog of the Petty projection inequality and the $L^p$ analog of the Busemann-Petty centroid inequality. In Section 7 of [21], Lutwak-Yang-Zhang proposed the important $L^p$ projection centroid conjecture. We give a positive solution to the $L^p$ projection centroid conjecture in this work.

math.MG

Minimal central slices of the regular simplex

We prove that minimal-volume hyperplane sections of the regular simplex through its centroid are parallel to a facet. The proof combines variational methods with Fourier-analytic techniques and zero-diminishing arguments to show that every critical normal vector has at most three distinct non-zero coordinates. Analysis of the two- and three-value cases then yields the sharp lower bound.

math.MG