We write the optimal pure-state decomposition of any two-mode Gaussian state and show that its entanglement of formation coincides with the Gaussian one. This enables us to develop an insightful approach of evaluating the exact entanglement of formation. Its additivity is finally proven.
We quantify the maximum amount of entanglement of formation (EoF) that can be achieved by continuous-variable states under passive operations, which we refer to as EoF-potential. Focusing, in particular, on two-mode Gaussian states we derive analytical expressions for the EoF-potential for specific classes of states. For more general states, we demonstrate that this quantity can be upper-bounded by the minimum amount of squeezing needed to synthesize the Gaussian modes, a quantity called squeezing of formation. Our work, thus, provides a new link between non-classicality of quantum states and the non-classicality of correlations.
Detection of entanglement in quantum states is one of the most important problems in quantum information processing. However, it is one of the most challenging tasks to find a universal scheme which is also desired to be optimal to detect entanglement for all states of a specific class--as always preferred by experimentalists. Although, the topic is well studied at least in case of lower dimensional compound systems, e.g., two-qubit systems, but in the case of continuous variable systems, this remains as an open problem. Even in the case of two-mode Gaussian states, the problem is not fully solved. In our work, we have tried to address this issue. At first, a limited number of Hermitian operators is given to test the necessary and sufficient criterion on the covariance matrix of separable two-mode Gaussian states. Thereafter, we present an interferometric scheme to test the same separability criterion in which the measurements are being done via Stokes-like operators. In such case, we consider only single-copy measurements on a two-mode Gaussian state at a time and the scheme amounts to the full state tomography. Although this latter approach is a linear optics based one, nevertheless it is not an economic scheme. Resource-wise a more economical scheme than the full state tomography is obtained if we consider measurements on two copies of the state at a time. However, optimality of the scheme is not yet known.
A Gaussian degree of entanglement for a symmetric two-mode Gaussian state can be defined as its distance to the set of all separable two-mode Gaussian states. The principal property that enables us to evaluate both Bures distance and relative entropy between symmetric two-mode Gaussian states is the diagonalization of their covariance matrices under the same beam-splitter transformation. The multiplicativity property of the Uhlmann fidelity and the additivity of the relative entropy allow one to finally deal with a single-mode optimization problem in both cases. We find that only the Bures-distance Gaussian entanglement is consistent with the exact entanglement of formation.
We analytically exploit the two-mode Gaussian states nonunitary dynamics. We show that in the zero temperature limit, entanglement sudden death (ESD) will always occur for symmetric states (where initial single mode compression is $z_0$) provided the two mode squeezing $r_0$ satisfies $0 < r_0 < 1/2 log (cosh (2 z_0)).$ We also give the analytical expressions for the time of ESD. Finally, we show the relation between the single modes initial impurities and the initial entanglement, where we exhibit that the later is suppressed by the former.
We analyze the stabilizability of entangled two-mode Gaussian states in three benchmark dissipative models: local damping, dissipators engineered to preserve two-mode squeezed states, and cascaded oscillators. In the first two models, we determine principal upper bounds on the stabilizable entanglement, while in the last model, arbitrary amounts of entanglement can be stabilized. All three models exhibit a tradeoff between state entanglement and purity in the entanglement maximizing limit. Our results are derived from the Hamiltonian-independent stabilizability conditions for Gaussian systems. Here, we sharpen these conditions with respect to their applicability.