Kraus formula for entanglement fidelity (source code)

= Kraus formula for entanglement fidelity
{c}
{title2=$F_e(\rho,\Lambda)=\sum_a|\operatorname{Tr}(\rho K_a)|^2$}

If $\{K_a\}$ is any <Kraus representation> of a <quantum channel> $\Lambda$, then
$$
F_e(\rho,\Lambda)=\sum_a|\operatorname{Tr}(\rho K_a)|^2.
$$
For a <purification of a density operator>, each branch overlap is $\langle\Psi_\rho|(I\otimes K_a)|\Psi_\rho\rangle=\operatorname{Tr}(\rho K_a)$. Summing the squared branch overlaps gives <entanglement fidelity>.