Past exam of the mathematics course of the University of Cambridge / 2021 / iii / Paper 323 / 3 / a / i

The finite-dimensional Stinespring dilation theorem states that every quantum channel $\Lambda :\mathcal{B}(H_A)\to \mathcal{B}(H_B)$ has an environment $H_E$ and an isometry $V:H_A\to H_B\otimes H_E$ such thatConversely, every map of this form is completely positive and trace preserving. From Kraus operators $A_j$, one may take $V={\sum }_j{A}_j\otimes |j{⟩}_E$.