Fradelizi--Meyer's affine-invariant Mahler conjecture

About 4 years old · traced to

Let K⊂RnK\subset\mathbb{R}^n be a convex body. For z∈Rnz\in\mathbb{R}^n, define its polar with respect to zz by

Kz={y∈Rn:⟨y−z,x−z⟩≤1 for all x∈K},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)=min⁡z∈Rn∣K∣∣Kz∣.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 K⊂RnK\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.

References

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).

Progress summary

Never refreshed

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

Solutions 0

No solutions have been posted yet.