We use quantum entanglement witnesses derived from Gaussian operators to study the separable criteria of continuous variable states. We transform the validity of a Gaussian witness to a Bosonic Gaussian channel problem. It follows that the maximal means of two-mode and some four-mode Gaussian operators over product pure states are achieved by vacuum (or coherent states and squeezed states) according to the properties of Bosonic Gaussian channels. Then we have necessary and sufficient criteria of separability not only for Gaussian quantum states, but also for non-Gaussian states prepared by photon adding to or/and subtracting from Gaussian states. The criterion can be further explicitly expressed with covariance matrix of the Gaussian state or covariance matrix of Gaussian kernel of the non-Gaussian state. This opens a way for precise detection of non-Gaussian entanglement.
We use quantum entanglement witnesses derived from Gaussian operators to study the separable criteria of continuous variable states. We transform the validity of a Gaussian witness to a Bosonic Gaussian channel problem. It follows that the maximal means of two-mode and some four-mode Gaussian operators over product pure states are achieved by vacuum (or coherent states and squeezed states) according to the properties of Bosonic Gaussian channels. Then we have necessary and sufficient criteria of separability not only for Gaussian quantum states, but also for non-Gaussian states prepared by photon adding to or/and subtracting from Gaussian states. The criterion can be further explicitly expressed with covariance matrix of the Gaussian state or covariance matrix of Gaussian kernel of the non-Gaussian state. This opens a way for precise detection of non-Gaussian entanglement.
We use quantum entanglement witnesses derived from Gaussian operators to study the separable criteria of continuous variable states. For bipartite system, we transform the validity of a Gaussian witness to a bosonic Gaussian channel problem. It follows that the maximal means of two-mode and some four-mode Gaussian operators over product pure states are achieved by vacuum (or coherent states and squeezed states) according to the properties of bosonic Gaussian channels. We demonstrate necessary and sufficient criteria of separability for two-mode and some four-mode Gaussian quantum states. We also propose multipartite Gaussian witnesses based on numeric evidence. The entanglement and multipartite entanglement detecting powers of the Gaussian witness criteria are illustrated by the mixture of two Gaussian states. We apply the Gaussian witness criterion to a Gaussian Fock state, which is prepared by passing a product Fock state through bosonic Gaussian channel. We show that the necessary criterion of separability for a Gaussian Fock state does not rely on the initial product Fock state, it relies on the channel.
We use matched quantum entanglement witnesses to study the separable criteria of continuous variable states. The witness can be written as an identity operator minus a Gaussian operator. The optimization of the witness then is transformed to an eigenvalue problem of a Gaussian kernel integral equation. It follows a separable criterion not only for symmetric Gaussian quantum states, but also for non-Gaussian states prepared by photon adding to and/or subtracting from symmetric Gaussian states. Based on Fock space numeric calculation, we obtain an entanglement witness for more general two-mode states. A necessary criterion of separability follows for two-mode states and it is shown to be necessary and sufficient for a two-mode squeezed thermal state and the related two-mode non-Gaussian states. We also connect the witness-based criterion with Werner-Wolf criterion and refine the Werner-Wolf criterion.
Multipartite entanglement detection is crucial for the develop of quantum information science and quantum computation, communication, simulation and metrology tasks. In contrast to experiments, where several handreds of qubits have been entangled to build a quantum computer or a quantum simulator, theoretically only for lower dimensional quantum system such as two qubit system or two-mode Gaussian state and some special quantum states, efficient criteria have been developed to detect the entanglement. An efficient and practical entanglement detection method is anticipated to appear for current scalable quantum system. Based on the matched entanglement witness scheme and integrated uncertainty relations, we propose a quite general entanglement detection method for all kinds of multipartite entanglement of multimode continuous variable systems. With the covariance matrix of any randomly generated multimode continuous variable quantum state, our criterion can detect entanglement, genuine entanglement and other kinds of inseparabilities almost imidiately.
The efficient witnessing and certification of entanglement is necessitated by its ubiquitous use in various aspects of quantum technologies. In the case of continuous-variable bipartite systems, the Shchukin-Vogel hierarchy gives necessary conditions for separability in terms of moments of the mode operators. In this work we derive mode-operator-based witnesses for continuous-variable bipartite entanglement relying on the interference of two states. Specifically, we show how one can access higher moments of the mode operators, crucial for detecting entanglement of non-Gaussian states, using a single beamsplitter with variable phase and photon-number-resolving detectors. We demonstrate that the use of an entangled state paired with a suitable reference state is sufficient to detect entanglement in, e.g., two-mode squeezed vacuum, NOON states, and mixed entangled cat states. We also take into account experimental noise, including photon loss and detection inefficiency, as well as finite measurement statistics.
We prove that the entanglement of formation of every two-mode Gaussian state coincides with its Gaussian restriction, solving a longstanding open problem in continuous variable quantum information theory. The key result is a sharp affine relation between entanglement and a generalized Einstein--Podolsky--Rosen observable, valid for arbitrary pure two-mode states, including non-Gaussian ones. We further prove that the entanglement of formation is additive on arbitrary tensor products of two-mode Gaussian states, and hence coincides with the entanglement cost, settling the latter for all two-mode Gaussian states. As a consequence, we obtain in closed form the entanglement cost of thermal-loss, thermal-amplifier and additive-noise bosonic channels. Our results, which also extend to bisymmetric multimode states, establish that no two-mode state is less entangled than the Gaussian state with the same covariance matrix, yielding measurable lower bounds on both the entanglement of formation and the entanglement cost of arbitrary non-Gaussian states.
Continuous-variable Gaussian entanglement is an attractive notion, both as a fundamental concept in quantum information theory, based on the well-established Gaussian formalism for phase-space variables, and as a practical resource in quantum technology, exploiting in particular, unconditional room-temperature squeezed-light quantum optics. The readily available high level of scalability, however, is accompanied by an increased theoretical complexity when the multipartite entanglement of a growing number of optical modes is considered. For such systems, we present several approaches to reconstruct the most probable physical covariance matrix from a measured nonphysical one and then test the reconstructed matrix for different kinds of separability (factorizability, concrete partite separability, or biseparability) even in the presence of measurement errors. All these approaches are based on formulating the desired properties (physicality or separability) as convex optimization problems, which can be efficiently solved with modern optimization solvers, even when the system grows. To every optimization problem, we construct the corresponding dual problem used to verify the optimality of the solution. Besides this numerical part of work, we derive an explicit analytical expression for the symplectic trace of a positive definite matrix, which can serve as a simple witness of an entanglement witness, and extend it for positive semidefinite matrices. In addition, we show that in some cases our optimization problems can be solved analytically. As an application of our analytical approach, we consider small instances of bound entangled or genuine multipartite entangled Gaussian states, including some examples from the literature that were treated only numerically, and a family of non-Gaussian states.