A Gaussian correlation inequality for plurisubharmonic functions

A positive correlation inequality is established for circular-invariant plurisubharmonic functions, with respect to complex Gaussian measures. The main ingredients of the proofs are the Ornstein-Uhlenbeck semigroup, and another natural semigroup associated to the Gaussian $\mathrm{\partial }$-Laplacian.