Local $L^p$-Brunn-Minkowski inequalities for $p < 1$

TL;DR

This paper proves local versions of the $L^p$-Brunn-Minkowski inequality for $p<1$, confirming conjectures for certain convex bodies and perturbations, and links these results to spectral-gap minimization problems.

Contribution

It confirms the local $L^p$-Brunn-Minkowski conjecture for smooth origin-symmetric convex bodies in a specific $p$-range and relates it to spectral-gap minimization, advancing the theory for $p<1$.

Findings

Confirmed local $L^p$-Brunn-Minkowski inequality for smooth convex bodies in $p o 1$ range.

Validated the local log-Brunn-Minkowski conjecture for perturbations of the unit ball and the cube.

Established connections between the conjectures and spectral-gap minimization problems.

Abstract

The $L^p$-Brunn-Minkowski theory for $p\geq 1$, proposed by Firey and developed by Lutwak in the 90's, replaces the Minkowski addition of convex sets by its $L^p$ counterpart, in which the support functions are added in $L^p$-norm. Recently, B\"{o}r\"{o}czky, Lutwak, Yang and Zhang have proposed to extend this theory further to encompass the range $p \in [0,1)$. In particular, they conjectured an $L^p$-Brunn-Minkowski inequality for origin-symmetric convex bodies in that range, which constitutes a strengthening of the classical Brunn-Minkowski inequality. Our main result confirms this conjecture locally for all (smooth) origin-symmetric convex bodies in $\mathbb{R}^n$ and $p \in [1 - \frac{c}{n^{3/2}},1)$. In addition, we confirm the local log-Brunn--Minkowski conjecture (the case $p=0$) for small-enough $C^2$-perturbations of the unit-ball of $\ell_q^n$ for $q \geq 2$, when the dimension $n$ is sufficiently large, as well as for the cube, which we show is the conjectural extremal case. For unit-balls of $\ell_q^n$ with $q \in [1,2)$, we confirm an analogous result for $p=c \in (0,1)$, a universal constant. It turns out that the local version of these conjectures is equivalent to a minimization problem for a spectral-gap parameter associated with a certain differential operator, introduced by Hilbert (under different normalization) in his proof of the Brunn-Minkowski inequality. As applications, we obtain local uniqueness results in the even $L^p$-Minkowski problem, as well as improved stability estimates in the Brunn-Minkowski and anisotropic isoperimetric inequalities.