Search arXivSearch

arXiv · 1711.00998

Grünbaum's inequality for sections

Abstract

We show \begin{align*} \frac{ \int_{E \cap θ^+} f(x) dx }{ \int_E f(x) dx } \geq \left(\frac{k γ+1}{(n+1) γ+1}\right)^{\frac{k γ+1}γ} \end{align*} for all $k$-dimensional subspaces $E\subset\mathbb{R}^n$, $θ\in E\cap S^{n-1}$, and all $γ$-concave functions $f:\mathbb{R}^n\rightarrow [0,\infty)$ with $γ>0$, $0< \int_{\mathbb{R}^n} f(x)\, dx <\infty$, and $\int_{\mathbb{R}^n} x f(x)\, dx$ at the origin $o\in\mathbb{R}^n$. Here, $θ^+ := \lbrace x\, : \, \langle x,θ\rangle \geq 0 \rbrace$. As a consequence of this result, we get the following generalization of Grünbaum's inequality: \begin{align*} \frac{ \mbox{vol}_k(K\cap E\capθ^+) }{ \mbox{vol}_k(K\cap E) } \geq \left( \frac{k}{n+1} \right)^k \end{align*} for all convex bodies $K\subset\mathbb{R}^n$ with centroid at the origin, $k$-dimensional subspaces $E\subset\mathbb{R}^n$, and $θ\in E\cap S^{n-1}$. The lower bounds in both of our inequalities are the best possible, and we discuss the equality conditions.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Sergii Myroshnychenko, Matthew Stephen, Ning Zhang. 2017-11-03. Grünbaum's inequality for sections. https://arxiv.org/abs/1711.00998

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