Abstract:We present a novel approach to the separability problem for Gaussian quantum states of bosonic continuous variable systems. We derive a simplified necessary and sufficient separability criterion for arbitrary Gaussian states of $m$ vs $n$ modes, which relies on convex optimisation over marginal covariance matrices on one subsystem only. We further revisit the currently known results stating the equivalence between separability and positive partial transposition (PPT) for specific classes of Gaussian states. Using matrix analysis techniques such as Schur complements and matrix means, we provide a unified treatment and compact proofs of all these results. In particular, we recover the PPT-separability equivalence for: (i) Gaussian states of $1$ vs $n$ modes; and (ii) isotropic Gaussian states. In passing, we also retrieve (iii) the recently established equivalence between separability of a Gaussian state and and its complete Gaussian extendability. Our techniques are then applied to progress beyond the state of the art. We show that: (iv) Gaussian states that are invariant under partial transposition are necessarily separable; (v) the PPT criterion is necessary and sufficient for separability for Gaussian states of $m$ vs $n$ modes that are symmetric under the exchange of any two modes belonging to one of the parties; and (vi) Gaussian states which remain PPT under passive optical operations can not be entangled by them either. This is not a foregone conclusion per se (since Gaussian bound entangled states do exist) and settles a question that had been left unanswered in the existing literature on the subject. This paper, enjoyable by both the quantum optics and the matrix analysis communities, overall delivers technical and conceptual advances which are likely to be useful for further applications in continuous variable quantum information theory, beyond the separability problem.

Sufficient and necessary condition of separability for generalized Werner states

Necessary and Sufficient Criterion for K-Separability of N-qubit Noisy GHZ States

Separability Criterion for Pure States in Multipartite and High Dimensional Systems

A Necessary and Sufficient Criterion for Multipartite Separable States

Precise Detection of Multipartite Entanglement in Fourqubit Greenberger–Horne–Zeilinger Diagonal States

Separability Criterion for Bipartite States and Its Generalization to Multipartite Systems

Entanglement Conditions for Four-Mode States Via the Uncertainty Relations in Conjunction with Partial Transposition

Separability and Distillability of Bipartite Gaussian States – the Complete Story

Inseparability Condition for Two-Mode Gaussian States in the Non-Diagonal Coherent-State Representation

Gaussian entanglement revisited

The Origin of Separable States and Separability Criteria from Entanglement-breaking Channels

Matched witness for multipartite entanglement

Separability of Two-Party Gaussian States

Stronger Criteria for Nonseparability in N -Partite Quantum States

Internal Boundary between Entanglement and Separability Within a Quantum State

Dimension-free entanglement detection in multipartite Werner states

Separability Criteria for Tripartite Continuous Variable States

Volume of Separable States for Arbitrary $N$-dimensional System

An Exact Algorithm for Any-flavor Lattice QCD with Kogut-Susskind Fermion

Simultaneous amplitude and phase damping of a kind of Gaussian states and their separability

On separable states in relativistic quantum field theory