Two-way distillable entanglement of mixed two-mode Gaussian states
- Field
- Topics
Problem
What is the exact two-way distillable entanglement of a finite-energy mixed two-mode Gaussian state?
Let \(\rho_{AB}\) be a finite-energy mixed two-mode Gaussian density operator. Let \(\Lambda_k\) range over protocols using local operations and unlimited two-way classical communication. The complete protocols are trace preserving, and non-Gaussian operations are allowed. Finite energy means finite total mean photon number. Alice and Bob hold one mode each. Define the Bell-pair density operator and trace norm by
Using the Bell pair in Eq. (1), call \(r\geq0\) achievable if an allowed sequence \((\Lambda_k)_{k\geq1}\) satisfies
Determine \(D_{\leftrightarrow}(\rho_{AB}):=\sup\{r\geq0:r\text{ is achievable}\}\), with achievability defined by Eq. (2).
Source
This exact-rate question is formulated from the gap between quantitative distillation bounds [DW05], [VW02], together with the Gaussian distillability criterion [GDCZ01].
Progress
Giedke et al., Theorem 1, prove that a bipartite Gaussian state is distillable exactly when its partial transpose is not positive. In particular, every entangled two-mode Gaussian state is distillable. This settles positivity of the rate, not its exact value. [GDCZ01]
Devetak–Winter, Theorem 10, proves the finite-dimensional hashing inequality. The hashing bound, applied in either communication direction and extended to finite-energy bosonic states by local truncation, gives
\begin{equation} D_{\leftrightarrow}(\rho_{AB})\geq\max\{0,S(\rho_A)-S(\rho_{AB}),S(\rho_B)-S(\rho_{AB})\}, \tag{3} \end{equation}In Eq. (3), \(\rho_A:=\operatorname{Tr}_B\rho_{AB}\), \(\rho_B:=\operatorname{Tr}_A\rho_{AB}\), and \(S(\omega):=-\operatorname{Tr}(\omega\log_2\omega)\). [DW05]
Vidal–Werner, Proposition 7 and Section V.C, bounds the rate by logarithmic negativity:
\begin{equation} D_{\leftrightarrow}(\rho_{AB})\leq\log_2\lVert\rho_{AB}^{T_B}\rVert_1 =\sum_{j=1}^2\max\{0,-\log_2\widetilde\nu_j\}, \tag{4} \end{equation}In Eq. (4), \(T_B\) is partial transposition and \(\widetilde\nu_j\) are the symplectic eigenvalues of the partially transposed covariance in vacuum-\(I\) units. [VW02]
Comment
Separable states have rate zero. For general entangled mixed two-mode Gaussian states, the known lower and upper bounds need not coincide. Gaussian-operation no-go theorems do not settle the unrestricted LOCC rate.