Gaussian quantum states can be disentangled using symplectic rotations

We show that every Gaussian mixed quantum state can be disentangled by conjugation with a passive symplectic transformation, that is a metaplectic operator associated with a symplectic rotation. The main tools we use are the Werner–Wolf condition on covariance matrices and the symplectic covariance of Weyl quantization. Our result therefore complements a recent study by Lami, Serafini, and Adesso.