The bottleneck conjecture

DOI10.2140/GT.1999.3.119MaRDI QIDQ1296208zbMATH OpenOpenAlexWikidataFDO

Authors Greg Kuperberg

Publication date 18 July 1999

Published in Geometry \& Topology (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/math/9811119, https://eudml.org/doc/120167, http://www.emis.de/journals/UW/gt/GTVol3/paper5.abs.html

zbMATH Keywords

centrally symmetric convex bodyconvex geometryinequality and extremum problemsMahler conjectureMahler volumevolume ratio properties

Mathematics Subject Classification ID

Geometry and structure of normed linear spaces (46B20) Inequalities and extremum problems involving convexity in convex geometry (52A40) Global differential geometry (53C99)

Abstract: The Mahler volume of a centrally symmetric convex body K is defined as M(K)= (Vol K)(Vol K^dual). Mahler conjectured that this volume is minimized when K is a cube. We introduce the bottleneck conjecture, which stipulates that a certain convex body K^diamond subset K X K^dual has least volume when K is an ellipsoid. If true, the bottleneck conjecture would strengthen the best current lower bound on the Mahler volume due to Bourgain and Milman. We also generalize the bottleneck conjecture in the context of indefinite orthogonal geometry and prove some special cases of the generalization.

Review text

Let \(V\) be an \(n\)-dimensional vector space and let \(V^\ast\) be the dual vector space. The inner product between V and \(V^\ast\) is denoted by \(\langle \cdot,\cdot\rangle.\) If \(K \subset V\) is a centrally symmetric convex body centered at the origin, then there is a convex body \(K^\circ =\{\vec y\in V^\ast|\langle K,\vec y\rangle\subseteq [-1,1]\}\) called the dual or polar body of \(K.\) The Mahler volume of \(K\) is defined as \(M(K) =\text{Vol }K\times K^\circ = (\text{Vol }K)(\text{Vol }K^\circ).\) The Mahler volume arises in the geometry of numbers and in functional analysis. Mahler conjectured that this volume is minimized when \(K\) is a cube. The author presents the bottleneck conjecture, which stipulates that a certain convex body \(K^\lozenge\subset K\times K^\circ\) has least volume when \(K\) is an ellipsoid. If true, the bottleneck conjecture would strengthen the best current lower bound on the Mahler volume due to Bourgain and Milman. The bottleneck conjecture is also generalized in the context of indefinite orthogonal geometry. Some special cases of the generalization are proved.

Recommendations

• From the Mahler conjecture to Gauss linking integrals
• The Mahler conjecture in two dimensions via the probabilistic method
• A special case of Mahler's conjecture
• Mahler's conjecture for some hyperplane sections

Cites work

• Determination of invariant convex cones in simple Lie algebras
• scientific article; zbMATH DE number 3842627 (Why is no real title available?)
• scientific article; zbMATH DE number 108656 (Why is no real title available?)
• scientific article; zbMATH DE number 194093 (Why is no real title available?)
• Invariant convex cones and causality in semisimple Lie algebras and groups
• New volume ratio properties for convex symmetric bodies in \({\mathbb{R}}^ n\)

Cited in

(4)

• From the Mahler conjecture to Gauss linking integrals
• Isotropic constants and Mahler volumes
• Complex integrals and Kuperberg's proof of the Bourgain-Milman theorem
• On isoperimetric inequalities in Minkowski spaces

This page was built for publication: The bottleneck conjecture

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