A Symplectic Interpretation of the Separability of Gaussian Mixed States

We prove, using symplectic methods and The Wigner formalism, a refinement of a criterion due to Werner and Wolf for the separability of bipartite Gaussian mixed states in an arbitrary number of dimensions. We use our result to show that one can characterize separability by comparing these states with separable pure Gaussian states.