Optimality of Gaussian Entanglement of Formation
The entanglement of formation for every two-mode Gaussian state is shown to equal its Gaussian restriction, solving a long-standing open problem in continuous variable quantum information theory. This involves proving a sharp affine relation between entanglement and an EPR observable, establishing that the entanglement cost equals the entanglement of formation for all two-mode Gaussian states.