Fradelizi--Meyer's affine-invariant Mahler conjecture

From papers

Let KRnK\subset\mathbb{R}^n be a convex body. For zRnz\in\mathbb{R}^n, define its polar with respect to zz by

Kz={yRn:yz,xz1 for all xK},K^z=\{y\in\mathbb{R}^n:\langle y-z,x-z\rangle\leq 1\text{ for all }x\in K\},

and define the affine-invariant volume product by

P(K)=minzRnKKz.P(K)=\min_{z\in\mathbb{R}^n}|K||K^z|.

Let Δn\Delta^n be an arbitrary non-degenerate simplex in Rn\mathbb{R}^n, not necessarily centered.

Fradelizi--Meyer's conjecture. For every convex body KRnK\subset\mathbb{R}^n,

P(K)P(Δn)=(n+1)n+1(n!)2.P(K)\geq P(\Delta^n)=\frac{(n+1)^{n+1}}{(n!)^2}.

Moreover, equality holds if and only if K=ΔnK=\Delta^n.

This is the affine-invariant formulation of the general Mahler conjecture and is equivalent to the centered formulation stated above. It remains open.

Progress summary

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Sources & referencesView supporting material

Primary source

Shohei Nakamura and Hiroshi Tsuji, “Hypercontractivity beyond Nelson's time and its applications to Blaschke–Santaló inequality and inverse Santaló inequality”, arXiv:2212.02866 (2022).

Solutions 0

No solutions have been posted yet.