Lutwak's Alexandrov–Fenchel conjecture for affine quermassintegrals

About 6 years old · traced to

For a convex body K⊂RnK\subset\mathbb{R}^n, define

Ik,p(K):=Qk,p(K)Qk,p(BK)=(∫Gn,k∣PFK∣p σ(dF)∫Gn,k∣PFBK∣p σ(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/2≥⋯≥Ik,p(K)1/k≥⋯≥In−1,p(K)1/(n−1)≥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].

References

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.