Lutwak's Alexandrov–Fenchel conjecture for affine quermassintegrals

For a convex body KRnK\subset\mathbb{R}^n, define

Ik,p(K):=Qk,p(K)Qk,p(BK)=(Gn,kPFKpσ(dF)Gn,kPFBKpσ(dF))1/p,\mathcal{I}_{k,p}(K):=\frac{\mathcal{Q}_{k,p}(K)}{\mathcal{Q}_{k,p}(B_K)}=\left(\frac{\int_{G_{n,k}}|P_FK|^p\,\sigma(dF)}{\int_{G_{n,k}}|P_FB_K|^p\,\sigma(dF)}\right)^{1/p},

where BKB_K is the Euclidean ball with the same volume as KK. Lutwak's Alexandrov–Fenchel conjecture. For all p[n,0]p\in[-n,0],

I1,p(K)I2,p(K)1/2Ik,p(K)1/kIn1,p(K)1/(n1)In,p(K)1/n=1.\mathcal{I}_{1,p}(K)\geq\mathcal{I}_{2,p}(K)^{1/2}\geq\cdots\geq\mathcal{I}_{k,p}(K)^{1/k}\geq\cdots\geq\mathcal{I}_{n-1,p}(K)^{1/(n-1)}\geq\mathcal{I}_{n,p}(K)^{1/n}=1.

The assertion extends the result proved by Lutwak for p=1p=-1 and is posed as an open Alexandrov–Fenchel-type inequality for the full interval [n,0][-n,0].

Sources & referencesView supporting material

Primary source

Emanuel Milman and Amir Yehudayoff, “Sharp Isoperimetric Inequalities for Affine Quermassintegrals”, arXiv:2005.04769 (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.