Mahler volume

A convex body in Euclidean space is defined as a compact convex set with non-empty interior. If B is a centrally symmetric convex body in n-dimensional Euclidean space, the polar body B^o is another centrally symmetric body in the same space, defined as the set

${\displaystyle \left\{x\mid x\cdot y\leq 1{\text{ for all }}y\in B\right\}.}$

The Mahler volume of B is the product of the volumes of B and B^o.[1]

If T is an invertible linear transformation, then ${\displaystyle (TB)^{\circ }=(T^{-1})^{\ast }B^{\circ }}$; thus applying T to B changes its volume by ${\displaystyle \det T}$ and changes the volume of B^o by ${\displaystyle \det(T^{-1})^{\ast }}$. Thus the overall Mahler volume of B is preserved by linear transformations.

The polar body of an n-dimensional unit sphere is itself another unit sphere. Thus, its Mahler volume is just the square of its volume,

${\displaystyle {\frac {\Gamma (3/2)^{2n}4^{n}}{\Gamma ({\frac {n}{2}}+1)^{2}}}.}$

Here Γ represents the Gamma function. By affine invariance, any ellipsoid has the same Mahler volume.[1]

The polar body of a polyhedron or polytope is its dual polyhedron or dual polytope. In particular, the polar body of a cube or hypercube is an octahedron or cross polytope. Its Mahler volume can be calculated as[1]

${\displaystyle {\frac {4^{n}}{\Gamma (n+1)}}.}$

The Mahler volume of the sphere is larger than the Mahler volume of the hypercube by a factor of approximately ${\displaystyle \left({\tfrac {\pi }{2}}\right)^{n}}$.[1]

Unsolved problem in mathematics: Is the Mahler volume of a centrally symmetric convex body always at least that of the hypercube of the same dimension? (more unsolved problems in mathematics)

The Blaschke–Santaló inequality states that the shapes with maximum Mahler volume are the spheres and ellipsoids. The three-dimensional case of this result was proven by Wilhelm Blaschke; the full result was proven much later by Luis Santaló (1949) using a technique known as Steiner symmetrization by which any centrally symmetric convex body can be replaced with a more sphere-like body without decreasing its Mahler volume.[1]

The shapes with the minimum known Mahler volume are hypercubes, cross polytopes, and more generally the Hanner polytopes which include these two types of shapes, as well as their affine transformations. The Mahler conjecture states that the Mahler volume of these shapes is the smallest of any n-dimensional symmetric convex body; it remains unsolved when ${\displaystyle n\geq 4}$. As Terry Tao writes:[1]

The main reason why this conjecture is so difficult is that unlike the upper bound, in which there is essentially only one extremiser up to affine transformations (namely the ball), there are many distinct extremisers for the lower bound - not only the cube and the octahedron, but also products of cubes and octahedra, polar bodies of products of cubes and octahedra, products of polar bodies of… well, you get the idea. It is really difficult to conceive of any sort of flow or optimisation procedure which would converge to exactly these bodies and no others; a radically different type of argument might be needed.

Bourgain & Milman (1987) prove that the Mahler volume is bounded below by ${\displaystyle c^{n}}$ times the volume of a sphere for some absolute constant ${\displaystyle c>0}$, matching the scaling behavior of the hypercube volume but with a smaller constant. A result of this type is known as a reverse Santaló inequality.

• The 2-dimensional case of the Mahler conjecture has been solved by Kurt Mahler[2] and the 3-dimensional case by Hiroshi Iriyeh and Masataka Shibata.[3]

• In 2009 Fedor Nazarov, Fedor Petrov, Dmitry Ryabogin, and Artem Zvavitch proved that the unit cube is a strict local minimizer for the Mahler volume in the class of origin symmetric convex bodies endowed with the Banach–Mazur distance.[4]

• Bourgain, Jean; Milman, Vitali D. (1987). "New volume ratio properties for convex symmetric bodies in ${\displaystyle \mathbb {R} ^{n}}$". Inventiones Mathematicae. 88 (2): 319–340. doi:10.1007/BF01388911. MR 0880954..
• Santaló, Luis A. (1949). "An affine invariant for convex bodies of n-dimensional space". Portugaliae Mathematica (in Spanish). 8: 155–161. MR 0039293.
• Tao, Terence (March 8, 2007). "Open question: the Mahler conjecture on convex bodies". Revised and reprinted in Tao, Terence (2009). "3.8 Mahler's conjecture for convex bodies". Structure and Randomness: Pages from Year One of a Mathematical Blog. American Mathematical Society. pp. 216–219. ISBN 978-0-8218-4695-7..