The bottleneck conjecture

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.