No Arabic abstract
We introduce a Gaussian version of the entanglement of formation adapted to bipartite Gaussian states by considering decompositions into pure Gaussian states only. We show that this quantity is an entanglement monotone under Gaussian operations and provide a simplified computation for states of arbitrary many modes. For the case of one mode per site the remaining variational problem can be solved analytically. If the considered state is in addition symmetric with respect to interchanging the two modes, we prove additivity of the considered entanglement measure. Moreover, in this case and considering only a single copy, our entanglement measure coincides with the true entanglement of formation.
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.
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 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.
We investigate the continuous-variable entanglement swapping protocol in a non-Gaussian setting, with non- Gaussian states employed either as entangled inputs and/or as swapping resources. The quality of the swapping protocol is assessed in terms of the teleportation fidelity achievable when using the swapped states as shared entangled resources in a teleportation protocol. We thus introduce a two-step cascaded quantum communication scheme that includes a swapping protocol followed by a teleportation protocol. The swapping protocol is fed by a general class of tunable non-Gaussian states, the squeezed Bell states, which, by means of controllable free parameters, allows for a continuous morphing from Gaussian twin beams up to maximally non-Gaussian squeezed number states. In the realistic instance, taking into account the effects of losses and imperfections, we show that as the input two-mode squeezing increases, optimized non-Gaussian swapping resources allow for a monotonically increasing enhancement of the fidelity compared to the corresponding Gaussian setting. This result implies that the use of non-Gaussian resources is necessary to guarantee the success of continuous-variable entanglement swapping in the presence of decoherence.
We present a formalism to derive entanglement criteria beyond the Gaussian regime that can be readily tested by only homodyne detection. The measured observable is the Einstein-Podolsky-Rosen (EPR) correlation. Its arbitrary functional form enables us to detect non-Gaussian entanglement even when an entanglement test based on second-order moments fails. We illustrate the power of our experimentally friendly criteria for a broad class of non-Gaussian states under realistic conditions. We also show rigorously that quantum teleportation for continuous variables employs a specific functional form of EPR correlation.