On Gaussian Brunn-Minkowski inequalities
We are interested in Gaussian versions of the classical Brunn-Minkowski inequality. We prove in a streamlined way a semigroup version of the Ehrhard inequality for m Borel or convex sets based on a previous work by Borell. Our method also yields semigroup proofs of the geometric Brascamp-Lieb inequality and of its reverse form, which follow exactly the same lines.