We review the theory of continuous-variable entanglement with special emphasis on foundational aspects, conceptual structures and mathematical methods. Much attention is devoted to the discussion of separability criteria and entanglement properties of Gaussian states, for their great practical relevance in applications to quantum optics and quantum information, as well as for the very clean framework that they allow for the study of the structure of nonlocal correlations. We give a self-contained introduction to phase-space and symplectic methods in the study of Gaussian states of infinite-dimensional bosonic systems. We review the most important results on the separability and distillability of Gaussian states and discuss the main properties of bipartite entanglement. These include the extremal entanglement, minimal and maximal, of two-mode mixed Gaussian states, the ordering of two-mode Gaussian states according to different measures of entanglement, the unitary (reversible) localization and the scaling of bipartite entanglement in multimode Gaussian states. We then discuss recent advances in the understanding of entanglement sharing in multimode Gaussian states, including the proof of the monogamy inequality of distributed entanglement for all Gaussian states. Multipartite entanglement of Gaussian states is reviewed by discussing its qualification by different classes of separability, and the main consequences of the monogamy inequality, such as the quantification of genuine tripartite entanglement in three-mode Gaussian states, the promiscuous nature of entanglement sharing in symmetric Gaussian states and the possible coexistence of unlimited bipartite and multipartite entanglement. We finally review recent advances and discuss possible perspectives on the qualification and quantification of entanglement in non-Gaussian states, a field of research that is to a large extent yet to be explored.
We demonstrate how to efficiently derive a broad class of inequalities for entanglement detection in multimode continuous variable systems. The separability conditions are established from partial transposition (PT) in combination with several distinct necessary conditions for a quantum physical state, which include previously established inequalities as special cases. Remarkably, our method enables us to support Peres' conjecture to its full generality within the framework of Cavalcanti-Foster-Reid-Drummond multipartite Bell inequality [Phys. Rev. Lett. 99, 210405 (2007)] that the nonlocality necessarily implies negative PT entangled states.
We present a theoretical method to determine the multipartite entanglement between different partitions of multimode, fully or partially symmetric Gaussian states of continuous variable systems. For such states, we determine the exact expression of the logarithmic negativity and show that it coincides with that of equivalent two-mode Gaussian states. Exploiting this reduction, we demonstrate the scaling of the multipartite entanglement with the number of modes and its reliable experimental estimate by direct measurements of the global and local purities.
We develop a thermodynamic characterization of multimode entanglement in pure continuous-variable systems by quantifying the gap between globally and locally extractable work (ergotropy). For arbitrary pure multimode Gaussian states, we prove that the
2-local ergotropic gap is a faithful entanglement monotone across any bipartition and constitutes a functionally independent upper bound to the Renyi-2 entanglement entropy. We further introduce the
k-ergotropic score, the minimum
k-local ergotropic gap, and show that it faithfully quantifies multimode entanglement across
k partitions. For pure three-mode Gaussian states, we derive its closed-form relation with the geometric measure for genuine multimode entanglement
(k=2), and total Gaussian multimode entanglement
(k=3). For systems with more than three modes, the
k-ergotropic score becomes a functionally independent measure of multimode entanglement to the standard geometric measures. Our results reveal a direct operational hierarchy linking Gaussian multimode entanglement to work extraction under locality constraints, and provide a computable and experimentally accessible thermodynamic framework for characterizing quantum correlations.