An interpolation proof of Ehrhard's inequality

Abstract

We prove Ehrhard's inequality using interpolation along the Ornstein-Uhlenbeck semi-group. We also provide an improved Jensen inequality for Gaussian variables that might be of independent interest.

15 pages