We present a general necessary and sufficient criterion for the possibility of a state transformation from one mixed Gaussian state to another of a bipartite continuous-variable system with two modes. The class of operations that will be considered is the set of local Gaussian completely positive trace-preserving maps.
We provide a general, necessary, and sufficient condition for the possibility of transforming a mixed bipartite Gaussian state with arbitrarily many modes to another one under arbitrary local Gaussian channels, which do not include classical communication. Moreover, by means of this condition we present a necessary criterion that can be used to check the possibility of a state transformation between two mixed Gaussian states. At the same time, we prove that our criterion can be reduced to the Eisert-Plenio criterion when the mode number is chosen as 1 per side.
We analyze the conditions under which local operations and classical communication enable entanglement transformations within the set of bipartite pure Gaussian states. A set of necessary and sufficient conditions had been found in [Quant. Inf. Comp. 3, 211 (2003)] for the interconversion between such states that is restricted to Gaussian local operations and classical communication. Here, we exploit majorization theory in order to derive more general (sufficient) conditions for the interconversion between bipartite pure Gaussian states that goes beyond Gaussian local operations. While our technique is applicable to an arbitrary number of modes for each party, it allows us to exhibit surprisingly simple examples of 2 x 2 Gaussian states that necessarily require non-Gaussian local operations to be transformed into each other.
We present a theory of entanglement transformations of Gaussian pure states with local Gaussian operations and classical communication. This is the experimentally accessible set of operations that can be realized with optical elements such as beam splitters, phase shifts and squeezers, together with homodyne measurements. We provide a simple necessary and sufficient condition for the possibility to transform a pure bipartite Gaussian state into another one. We contrast our criterion with what is possible if general local operations are available.
We characterize the class of all physical operations that transform Gaussian states to Gaussian states. We show that this class coincides with that of all operations that can be performed on Gaussian states using linear optical elements and homodyne measurements. For bipartite systems we characterize the processes that can be implemented by local operations and classical communication, as well as those that can be implemented using positive partial transpose preserving maps. As an application, we show that Gaussian states cannot be distilled by local Gaussian operations and classical communication. We also define and characterize positive (but not completely positive) Gaussian maps.