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.

Gaussian relative entropy of entanglement

Quantifying the non-Gaussian character of a quantum state by quantum relative entropy

Gaussian entanglement revisited

Quantifying nonclassicality and entanglement of Gaussian states

Bures distance as a measure of entanglement for symmetric two-mode Gaussian states

Gaussian intrinsic entanglement: An entanglement quantifier based on secret correlations

Attainability and lower semi-continuity of the relative entropy of entanglement, and variations on the theme

Quantifying Quantum Entanglement in Two-Qubit Mixed State from Connected Correlator

Distribution of the entanglement entropy of a non-ergodic quantum state

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

The Relative Entropy of Entanglement of Schmidt Correlated States and Distillation

Separability and correlations in composite states based on entropy methods

Entropy-Based Geometric Measures of Correlations for Bell Diagonal States via Measurement

Measurement-induced Nonlocality Based on the Relative Entropy

Relative Entropy and Mutual Information in Gaussian Statistical Field Theory

Typical behaviour of genuine multimode entanglement of pure Gaussian states

New additivity properties of the relative entropy of entanglement and its generalizations

Conditional entropies and their relation to entanglement criteria

Separability of Two-Party Gaussian States

The subadditivity of quantum entropy in Gaussian quantum systems

Correlation Based Entanglement Criteria for Bipartite Systems