Separable Choi-state criterion for entanglement breaking (source code)

= Separable Choi-state criterion for entanglement breaking

A <quantum channel> is entanglement breaking exactly when its <Choi state> is a <separable quantum state>. If $C_\Lambda=\sum_ap_a\sigma_a\otimes\tau_a$, the <Choi reconstruction formula> gives a <measure-and-prepare channel> with <POVM> $E_a=dp_a\tau_a^T$. Conversely, applying an entanglement-breaking channel to a <maximally entangled state> produces a separable Choi state. https://arxiv.org/abs/quant-ph/0302031[Horodecki, Shor and Ruskai's entanglement-breaking channel paper] develops the equivalences.