Entanglement cost of an amplitude-damping-channel Choi state
- Field
- Topics
Problem
What is the entanglement cost of the Choi state of the qubit amplitude-damping channel
The Kraus operators in Eq. (1) are
In Eq. (2), \(p\) is the decay probability of the excited state. Let \(\lvert\Phi^+\rangle_{RA}=(\lvert00\rangle+\lvert11\rangle)/\sqrt2\). The normalized Choi state of the channel in Eq. (1) is
Here the first and second entries in each ket in Eq. (3) label \(R\) and \(B\), respectively. Thus the question is to determine \(E_C(\omega_p)\), the asymptotic number of ebits per copy required to prepare many copies of \(\omega_p\) by local operations and classical communication.
Source
The question is implicit in the identity between entanglement cost and regularized entanglement of formation, together with Wootters’ single-copy formula applied to this Choi state [HHT01], [Woo98].
Progress
Wootters’ two-qubit formula, together with the concurrence of \(\omega_p\), gives the exact single-copy entanglement of formation
\begin{equation} C(\omega_p)=\sqrt{1-p}, \qquad E_F(\omega_p)=h_2\!\left(\frac{1+\sqrt p}{2}\right), \tag{4} \end{equation}where \(h_2(x):=-x\log_2x-(1-x)\log_2(1-x)\), with \(0\log_2 0:=0\), [Woo98]. Equation (4) determines one copy exactly, but it does not by itself determine the asymptotic entanglement cost.
The entanglement cost equals the regularized entanglement of formation
\begin{equation} E_C(\omega_p) =\lim_{n\to\infty}\frac1n E_F(\omega_p^{\otimes n}) \le E_F(\omega_p) =h_2\!\left(\frac{1+\sqrt p}{2}\right) \tag{5} \end{equation}[HHT01]. Consequently, Eq. (5) reduces the problem to evaluating the regularization for this particular family of Choi states.
Comment
The unresolved step is to decide whether regularization lowers the single-copy value in Eq. (4); equivalently, one must evaluate the entanglement of formation on tensor powers of this Choi state. Problems 2 and 5 concern the same channel family but ask about channel capacities, whereas the present problem asks about the entanglement cost of a bipartite state associated with the channel.