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)