Böröczky–Lutwak–Yang–Zhang log-Brunn–Minkowski inequality

Let K,LK,L be symmetric convex bodies in Rn\mathbb R^n. For λθ[0,1]\lambda\theta \in [0,1], define their logarithmic Minkowski combination by

(1λ)K0λL={xRn:x,uhK(u)1λhL(u)λ for all uSn1},(1-\lambda) \cdot K \oplus_0 \lambda \cdot L = \{ x \in \mathbb R^n: \langle x,u \rangle \leq h_K(u)^{1-\lambda} h_L(u)^{\lambda} \text{ for all } u\in S^{n-1} \},

where hKh_K and hLh_L are support functions and |\cdot| denotes Lebesgue measure. Böröczky–Lutwak–Yang–Zhang's log-Brunn–Minkowski inequality. For symmetric convex bodies K,LK,L in Rn\mathbb R^n and λ[0,1]\lambda \in [0,1],

(1λ)K0λLK1λLλ.|(1-\lambda) \cdot K \oplus_0 \lambda \cdot L| \geq |K|^{1-\lambda}|L|^\lambda.

Böröczky et al. proved the inequality in the plane, and Saroglou proved it for unconditional convex bodies; its validity for arbitrary symmetric convex bodies in general dimension is not established here and remains open.

Sources & referencesView supporting material

Primary source

Arnaud Marsiglietti, “Borell's generalized Prékopa-Leindler inequality: A simple proof”, arXiv:1509.06444 (2015).

Additional references

2 papers in this index state this conjecture (2014–2015). The statement above is taken from the most recent of them; the others are arXiv:1411.2538.

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.