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.

Second Quantization of Gaussian Modes and Mode Interaction in Limited Space

Quantized Nonlinear Gaussian-Beam Dynamics: Tailoring Multimode Squeezed-Light Generation

Second Quantization of Squeezed Light Through Non-Linear Medium

Second quantization of open quantum systems in Liouville space

Quantum fluctuations spatial mode profiler

On two approaches to quantization in strong background fields

Quantifying nonclassicality and entanglement of Gaussian states

Quantum state for the two-variable Hermite polynomial–Gaussian laser modes of the electromagnetic field

Quantum Metrology with Multimode Gaussian States of Multiple Point Sources

Mixedness and entanglement for two-mode Gaussian states

Non-Gaussian generalized two-mode squeezing: applications to two-ensemble spin squeezing and beyond

Entanglement and discord in two-mode Gaussian open quantum systems

A quantum-classical decomposition of Gaussian quantum environments: a stochastic pseudomode model

Multi-parameter quantum estimation of single- and two-mode pure Gaussian states

Gaussian entanglement revisited

Quantization of optical quasinormal modes for spatially separated cavity systems with finite retardation

Properties and Application of Gaussian Quantum Processes

Non-Gaussian quantum states of a multimode light field

Four‐mode Squeezed States in de Sitter Space: A Study With Two Field Interacting Quantum System

Idealization Second Quantization of Composite Particles

Spatial light mode analogues of generalized quantum coherent states