Minimal volume product near Hanner polytopes

\( \ell_1 , \ell_{\infty}\) sums Banach-Mazur distance convex bodies cube \( B^n_{\infty} \)Hanner polytopes Mahler's conjecture polar bodies volume product

Mathematics Subject Classification ID

Convex sets in (n) dimensions (including convex hypersurfaces) (52A20) Inequalities and extremum problems involving convexity in convex geometry (52A40) Polytopes and polyhedra (52B99)

Abstract: Mahler's conjecture asks whether the cube is a minimizer for the volume product of a body and its polar in the class of symmetric convex bodies in a fixed dimension. It is known that every Hanner polytope has the same volume product as the cube or the cross-polytope. In this paper we prove that every Hanner polytope is a strict local minimizer for the volume product in the class of symmetric convex bodies endowed with the Banach-Mazur distance.

Review text

Given a convex body \( K \subset {\mathbb R}^n \) containing the origin, its \textit{volume product} is defined by \( {\mathcal P}(K)= \min_{z \in K} | K | | (K-z)^{\circ}|\), where \( | \cdot | \) denotes the volume, and \( M^{\circ }\) is the \textit{polar} of \( M \). The \textit{Banach-Mazur distance} between symmetric convex bodies \( K, L \) is defined by \( d_{\mathcal BM} (K,L)= \inf\{c\geq 1: L \subset TK \subset c L, \, T \in GL(n) \}\). Denote also by \( B^n_2, \,B^n_{\infty} \subset {\mathbb R}^n \) the Euclidean ball and the standard cube, respectively. A symmetric convex body \( H \) is called \textit{Hanner polytope} if \( H \) is one-dimensional, or it is the \( \ell_1\) or \( \ell_{\infty}\) sum of two lower-dimensional Hanner polytopes. The main result of the paper is: Main Theorem. Let \( K \subset {\mathbb R}^n \) be a convex body close enough to one of Hanner polytopes in the sense that \[ \delta = \min \{ d_{\mathcal BM}(K,H) - 1: H \, \text{is a Hanner polytope in} \,\, {\mathbb R}^n \} \] is small enough. Then \( {\mathcal P}(K) \geq {\mathcal P} (B^n_{\infty}) + c(n) \delta\) where \( c(n)>0 \) is a constant depending on the dimension \( n \) only. Recall that the Blaschke-Santalo inequality \( {\mathcal P}(B^n_2) \geq {\mathcal P}(K) \) is valid for \textbf{any} convex body \( K \subset {\mathbb R}^n \), and Mahler conjectured that \( {\mathcal P } (K) \geq {\mathcal P} (B^n_{\infty})\) for any \textbf{symmetric} convex body \( K \subset {\mathbb R}^n \)

Recommendations

Cites work

Cited in

(12)

This page was built for publication: Minimal volume product near Hanner polytopes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2452489)