The (p,q)(p,q)-conjecture for log-concave measures

Let p[0,1]p\in[0,1], let μ\mu be an even log-concave measure on Rn\mathbb R^n, let K,LK,L be nonempty symmetric convex sets, and let λ[0,1]\lambda\in[0,1]. For p>0p>0, define

λK+p(1λ)L:=xRn:,uSn1,x,u(λhK(u)p+(1λ)hL(u)p)1/p,\lambda K+_p(1-\lambda)L:=\\{x\in\mathbb R^n:\\,\forall u\in\mathbb S^{n-1},\langle x,u\rangle\leq(\lambda h_K(u)^p+(1-\lambda)h_L(u)^p)^{1/p}\\},

with p=0p=0 interpreted by the zero-sum. The (p,q)(p,q)-conjecture. For every q[0,p]q\in[0,p], one should have

μ(λK+p(1λ)L)q/nλμ(K)q/n+(1λ)μ(L)q/n.\mu(\lambda K+_p(1-\lambda)L)^{q/n}\geq\lambda\mu(K)^{q/n}+(1-\lambda)\mu(L)^{q/n}.

This unifies the LpL_p-Brunn–Minkowski and dimensional Brunn–Minkowski conjectures and is stated in the paper as following from the Log-Brunn–Minkowski conjecture. Its general validity remains open.

Sources & referencesView supporting material

Primary source

Johannes Hosle, Alexander V. Kolesnikov and Galyna V. Livshyts, “On the L_p-Brunn-Minkowski and dimensional Brunn-Minkowski conjectures for log-concave measures”, arXiv:2003.05282 (2020).

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.