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:2608.01909

Optimality of Gaussian Entanglement of Formation

Gerardo Adesso

quant-phcond-mat.stat-mechmath-phSubmitted Aug 3, 2026• Announced Aug 4, 2026• 0 citations• Revised Oct 15, 2026 (v3)
v1 · Aug 3, 2026v2 · Aug 13, 2026v3 · Oct 15, 2026
arXivHTMLPDF

Abstract

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.

Comments
6+14 pages, 1 figure; v3: added Theorem 2 proving additivity of the entanglement of formation and its equality with the entanglement cost for all two-mode Gaussian states. Lean certificates available at https://github.com/gerardo-adesso/gaussian-eof

Related papers

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

Gaussian entanglement and quantum communication: geodesic optimization and multimode bounds

Hemant K. Mishra, Mark M. Wilde

Loss and noise limit the use of light to distribute entanglement, transmit quantum information, and establish secret keys. Gaussian states have a compact description in terms of means and covariance matrices, but their entanglement still requires global optimization. We develop a framework for computing Gaussian-restricted versions of the relative entropy of entanglement and Rains entanglement. An integral representation reveals a convex geometry under matrix geometric means and reduces Gaussian Rains entanglement to relative entropy minimized over Gaussian states with positive partial transpose. We obtain unique optimal reference states and additivity for independent Gaussian input states. Our convex-majorization algorithm has an explicit geometric convergence rate, uniform in the faithful regularization parameter and valid for pure input states. Controlled numerical integration and approximate convex subproblem solutions give a bit-complexity bound that is polynomial in accuracy bits for each fixed rational input covariance matrix, with explicit dependence on covariance size. These calculations bound extractable entanglement and, through the relative entropy of entanglement, extractable secret key. Teleportation simulation, energy allocation, and a convex optimization of passive-basis loss cores give bounds on quantum and private communication under an input-energy constraint, allowing arbitrary two-way classically assisted protocols. Two- and three-mode examples compare the bounds with achievable rates, including matching pure-loss benchmarks. Finally, we separate the Gaussian-restricted quantities from their unrestricted counterparts and give a photon-number truncation method with controlled error for computing the latter.

quant-pharXiv:2610.18827•Oct 14, 2026•0 citations

Matched entanglement witness criteria for continuous variables

Xiaoyu Chen, Maoke Miao, Rui Yin +1 more

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.

arXiv:2208.12425•Aug 26, 2022•0 citations

Quantifying entanglement in two-mode Gaussian states

Spyros Tserkis, Timothy C. Ralph

Entangled two-mode Gaussian states are a key resource for quantum information technologies such as teleportation, quantum cryptography, and quantum computation, so quantification of Gaussian entanglement is an important problem. Entanglement of formation is unanimously considered a proper measure of quantum correlations, but for arbitrary two-mode Gaussian states no analytical form is currently known. In contrast, logarithmic negativity is a measure that is straightforward to calculate and so has been adopted by most researchers, even though it is a less faithful quantifier. In this work, we derive an analytical lower bound for entanglement of formation of generic two-mode Gaussian states, which becomes tight for symmetric states and for states with balanced correlations. We define simple expressions for entanglement of formation in physically relevant situations and use these to illustrate the problematic behavior of logarithmic negativity, which can lead to spurious conclusions.

arXiv:1705.03612•Physical Review A•Dec 29, 2017•78 citations

Gaussian Optimality of Energy-Constrained One-Shot Communication through Single-Mode Bosonic Gaussian Channels

Se-Wan Ji

We prove Gaussian optimality for the energy-constrained one-shot Holevo capacity of single-mode bosonic Gaussian channels, including phase-sensitive channels with arbitrarily squeezed thermal noise. The unresolved regime is the low energy branch, where the Gaussian optimizer modulates only one quadrature and minimum-output-entropy arguments cannot decouple the average state from the letters. For pure one-mode dilations we retain a stronger pointwise result: moment-matched Gaussianization improves the fixed average Holevo function for every input. For mixed environments, whose purification produces a 1:2 entanglement-of-formation problem, we avoid any generic 1:2 Gaussian extremality conjecture. The optimal Gaussian letter selects an effective environmental Schmidt mode and an affine two-mode EPR witness. Its null direction is exactly the modulated quadrature, while its slope equals the negative derivative of the Gaussian letter-output entropy. This produces a supporting lower bound on the dilated entanglement of formation; Gaussian maximum entropy and concavity then give a global upper bound tangent at the Gaussian optimizer. Consequently the known Gaussian formulas for attenuating, amplifying, phase-conjugating, and additive-noise fiducial channels are exact over unrestricted ensembles at every input energy. Via the passive-input fiducial decomposition and energy-constrained continuity, the result extends to every single-mode Gaussian channel, including lower-rank canonical limits. No additivity across channel uses is assumed.

quant-pharXiv:2608.17239•Aug 19, 2026•0 citations

Entanglement of formation in two-mode Gaussian systems in a thermal environment

Irina Dumitru, Аурелиан Исар

In the framework of the theory of open systems based on completely positive quantum dynamical semigroups, we give a description of the continuous variable entanglement for a system consisting of two non-interacting bosonic modes embedded in a thermal environment. The calculated measure of entanglement is entanglement of formation. We describe the evolution of entanglement in terms of the covariance matrix for symmetric Gaussian input states. In the case of an entangled initial squeezed thermal state, entanglement suppression (entanglement sudden death) takes place, for all non-zero temperatures of the thermal bath. After that, the system remains for all times in a separable state. For a zero temperature of the thermal bath, the system remains entangled for all finite times, but in the limit of asymptotic large times the state becomes separable.

AIP conference proceedings•Jan 1, 2015•1 citation
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.
Loss and noise limit the use of light to distribute entanglement, transmit quantum information, and establish secret keys. Gaussian states have a compact description in terms of means and covariance matrices, but their entanglement still requires global optimization. We develop a framework for computing Gaussian-restricted versions of the relative entropy of entanglement and Rains entanglement. An integral representation reveals a convex geometry under matrix geometric means and reduces Gaussian Rains entanglement to relative entropy minimized over Gaussian states with positive partial transpose. We obtain unique optimal reference states and additivity for independent Gaussian input states. Our convex-majorization algorithm has an explicit geometric convergence rate, uniform in the faithful regularization parameter and valid for pure input states. Controlled numerical integration and approximate convex subproblem solutions give a bit-complexity bound that is polynomial in accuracy bits for each fixed rational input covariance matrix, with explicit dependence on covariance size. These calculations bound extractable entanglement and, through the relative entropy of entanglement, extractable secret key. Teleportation simulation, energy allocation, and a convex optimization of passive-basis loss cores give bounds on quantum and private communication under an input-energy constraint, allowing arbitrary two-way classically assisted protocols. Two- and three-mode examples compare the bounds with achievable rates, including matching pure-loss benchmarks. Finally, we separate the Gaussian-restricted quantities from their unrestricted counterparts and give a photon-number truncation method with controlled error for computing the latter.
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.
Entangled two-mode Gaussian states are a key resource for quantum information technologies such as teleportation, quantum cryptography, and quantum computation, so quantification of Gaussian entanglement is an important problem. Entanglement of formation is unanimously considered a proper measure of quantum correlations, but for arbitrary two-mode Gaussian states no analytical form is currently known. In contrast, logarithmic negativity is a measure that is straightforward to calculate and so has been adopted by most researchers, even though it is a less faithful quantifier. In this work, we derive an analytical lower bound for entanglement of formation of generic two-mode Gaussian states, which becomes tight for symmetric states and for states with balanced correlations. We define simple expressions for entanglement of formation in physically relevant situations and use these to illustrate the problematic behavior of logarithmic negativity, which can lead to spurious conclusions.
We prove Gaussian optimality for the energy-constrained one-shot Holevo capacity of single-mode bosonic Gaussian channels, including phase-sensitive channels with arbitrarily squeezed thermal noise. The unresolved regime is the low energy branch, where the Gaussian optimizer modulates only one quadrature and minimum-output-entropy arguments cannot decouple the average state from the letters. For pure one-mode dilations we retain a stronger pointwise result: moment-matched Gaussianization improves the fixed average Holevo function for every input. For mixed environments, whose purification produces a 1:2 entanglement-of-formation problem, we avoid any generic 1:2 Gaussian extremality conjecture. The optimal Gaussian letter selects an effective environmental Schmidt mode and an affine two-mode EPR witness. Its null direction is exactly the modulated quadrature, while its slope equals the negative derivative of the Gaussian letter-output entropy. This produces a supporting lower bound on the dilated entanglement of formation; Gaussian maximum entropy and concavity then give a global upper bound tangent at the Gaussian optimizer. Consequently the known Gaussian formulas for attenuating, amplifying, phase-conjugating, and additive-noise fiducial channels are exact over unrestricted ensembles at every input energy. Via the passive-input fiducial decomposition and energy-constrained continuity, the result extends to every single-mode Gaussian channel, including lower-rank canonical limits. No additivity across channel uses is assumed.
In the framework of the theory of open systems based on completely positive quantum dynamical semigroups, we give a description of the continuous variable entanglement for a system consisting of two non-interacting bosonic modes embedded in a thermal environment. The calculated measure of entanglement is entanglement of formation. We describe the evolution of entanglement in terms of the covariance matrix for symmetric Gaussian input states. In the case of an entangled initial squeezed thermal state, entanglement suppression (entanglement sudden death) takes place, for all non-zero temperatures of the thermal bath. After that, the system remains for all times in a separable state. For a zero temperature of the thermal bath, the system remains entangled for all finite times, but in the limit of asymptotic large times the state becomes separable.