The dimensional Brunn-Minkowski inequality in Gauss space
Let $γ_n$ be the standard Gaussian measure on $\mathbb{R}^n$. We prove that for every symmetric convex sets $K,L$ in $\mathbb{R}^n$ and every $λ\in(0,1)$, $$γ_n(λK+(1-λ)L)^{\frac{1}{n}} \geq λγ_n(K)^{\frac{1}{n}}+(1-λ)γ_n(L)^{\frac{1}{n}},$$ thus settling a problem raised by Gardner and Zvavitch (2010). This is the Gaussian analogue of the classical Brunn-Minkowski inequality for the Lebesgue measure. We also show that, for a fixed $λ\in(0,1)$, equality is attained if and only if $K=L$.