Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

arXiv:0809.0321 · Physical Review Letters

Entanglement of Formation for an Arbitrary Two-Mode Gaussian State

Paulina Marian, Tudor A. Marian

Published Nov 26, 2008• 75 citations
arXivHTMLPDF

Abstract

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.
DOI
10.1103/physrevlett.101.220403

Related papers

Gaussian entanglement of formation

Michael M. Wolf, G. Giedke, O. Krüger +2 more

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.

arXiv:quant-ph/0306177•Physical Review A•May 17, 2004•186 citations

Optimality of Gaussian Entanglement of Formation

Gerardo Adesso

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.

quant-pharXiv:2608.01909•Aug 4, 2026•0 citations

Quantifying entanglement of formation for two-mode Gaussian states: Analytical expressions for upper and lower bounds and numerical estimation of its exact value

Spyros Tserkis, Sho Onoe, Timothy C. Ralph

Entanglement of formation quantifies the entanglement of a state in terms of the entropy of entanglement of the least entangled pure state needed to prepare it. An analytical expression for this measure exists only for special cases, and finding a closed formula for an arbitrary state remains an open problem. In this work we focus on two-mode Gaussian states, and we derive narrow upper and lower bounds for the measure that get tight for several special cases. Further, we show that the problem of calculating the actual value of the entanglement of formation for arbitrary two-mode Gaussian states reduces to a trivial single parameter optimization process, and we provide an efficient algorithm for the numerical calculation of the measure.

arXiv:1903.09961•Physical Review A•May 23, 2019•56 citations

Tight bounds for the entanglement of formation of Gaussian states

F. Nicacio, M. C. de Oliveira

We establish tight upper and lower bounds for the entanglement of formation of an arbitrary two-mode Gaussian state employing the necessary properties of Gaussian channels. Both bounds are strictly given by the entanglement of formation of symmetric Gaussian states, which are simply constructed from the reduced states obtained by partial trace of the original one.

arXiv:1310.6060•Physical Review A•Jan 30, 2014•14 citations

A necessary and sufficient condition for optimal decompositions

T. Prager

An important measure of bipartite entanglement is the entanglement of formation, which is defined as the minimum average pure state entanglement of all decompositions realizing a given state. A decomposition which achieves this minimum is called an optimal decomposition. However, as for the entanglement of formation, there is not much known about the structure of such optimal decompositions, except for some special cases, like states of two qubits or isotropic states. Here we present a necessary and sufficient condition for a set of pure states of a finite dimensional bipartite system to form an optimal decomposition. This condition is well suited to treat the question, whether the entanglement of formation is additive or not.

arXiv:quant-ph/0106030•Jun 6, 2001•1 citation

Determining the entanglement of formation for arbitrary two-mode Gaussian states using Einstein-Podolsky-Rosen-like uncertainty

Y. Akbari-Kourbolagh, Hoda Alijanzadeh-Boora

In this article, we have derived a compact form for the entanglement of formation of arbitrary two-mode Gaussian states by using the Duan et al. inequality which gives a neccessary and sufficient separability condition for any two-mode Gaussian state.

•Feb 13, 2014•0 citations
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 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.
Entanglement of formation quantifies the entanglement of a state in terms of the entropy of entanglement of the least entangled pure state needed to prepare it. An analytical expression for this measure exists only for special cases, and finding a closed formula for an arbitrary state remains an open problem. In this work we focus on two-mode Gaussian states, and we derive narrow upper and lower bounds for the measure that get tight for several special cases. Further, we show that the problem of calculating the actual value of the entanglement of formation for arbitrary two-mode Gaussian states reduces to a trivial single parameter optimization process, and we provide an efficient algorithm for the numerical calculation of the measure.
An important measure of bipartite entanglement is the entanglement of formation, which is defined as the minimum average pure state entanglement of all decompositions realizing a given state. A decomposition which achieves this minimum is called an optimal decomposition. However, as for the entanglement of formation, there is not much known about the structure of such optimal decompositions, except for some special cases, like states of two qubits or isotropic states. Here we present a necessary and sufficient condition for a set of pure states of a finite dimensional bipartite system to form an optimal decomposition. This condition is well suited to treat the question, whether the entanglement of formation is additive or not.