The Unique Pure Gaussian State Determined by the Partial Saturation of the Uncertainty Relations of a Mixed Gaussian State
de Gosson, Anthony Maurice
Abstract
Letthe density matrix of a mixed Gaussian state. Assuming that one of the Robertson-Schrodinger uncertainty inequalities is sat- urated by �, e.g. (� � X1) 2 (� � P1) 2 = � � (X1,P1) 2 + 1 ~ 2 , we show that there exists a unique pure Gaussian state whose Wigner distribution is dominated by that ofand having the same variances and covariance � � X1,� � P1, and � � (X1,P1) as �. This property can be viewed as an analytic version of Gromov's non-squeezing theorem in the linear case, which implies that the intersection of a symplectic ball by a single plane of conjugate coordinates determines the radius of this ball.