Entanglement criteria for all bipartite Gaussian states - art. no. 167904

We provide a necessary and sufficient condition for separability of Gaussia n states of bipartite systems of arbitrarily many modes. The condition prov ides an operational criterion since it can be checked by simple computation . Moreover, it allows us to find a pure product-state decomposition of any given separable Gaussian state. We also show that all bipartite Gaussian st ates with nonpositive partial transpose are distillable.