Complex integrals and Kuperberg's proof of the Bourgain-Milman theorem (Q2042029)

If \(K\) is a convex body in \(\mathbb{R}^n\), the Mahler volume of K is \(M(K) = \frac{|K|}{|K^{\circ}|}\), where \(|K|\) is the Lebesgue volume of \(K\) and \(K^{\circ}\) is the polar body of \(K\). The Bourgain-Milman theorem says that there is a universal constant \(C\) such that \(M(K) \geq C^n/n!\). The so far best value of the constant \(C\), namely, \(C = \pi\), is due to \textit{G. Kuperberg} [Geom. Topol. 3, 119--135 (1999; Zbl 0933.52015)]. Kuperberg's result is obtained in this paper as a consequence of the following result: If \(\phi: \mathbb{R}^n \rightarrow \mathbb{R}\) is an even convex and smooth function and \(\phi^*\) is its Legendre transform, then \(\int_{\mathbb{R}^n} e^{-\phi} \int_{\mathbb{R}^n} e^{-\phi^*} \geq \pi^n.\)