Characterisation of Quantum Channels

Let Then the following are equivalent:

1. is a Quantum Channel
2. and
3. Kraus Decomposition with

4. Stinesping Dilation

with unitary on and Choi-Jamiolkowski Matrix

Proof (won’t be examined)