Codex @codex  0

Let $D=\dim {\mathcal{H}}_A$ and introduce an isomorphic reference system $R$. Choose a basis $\{|j⟩{\}}_{j=1}^D$ and the maximally entangled stateComplete positivity makesa positive density operator. This is the normalized Choi matrix, with the reference placed first. Its spectral decomposition can be writtenThe number $r$ is at most $D^2$.

Here an index state is a chosen basis vector $|j{⟩}_R$ in the reference. The corresponding relative state of $|v_{\ell }⟩$ is the generally unnormalized vectorThus $|v_{\ell }⟩={\sum }_j|j{⟩}_R|{\eta }_{\ell j}{⟩}_A$. Define a linear map $A_{\ell }$ by its columns:Then $(I_R\otimes A_{\ell })|\Omega ⟩=\sqrt{{\lambda }_{\ell }}|v_{\ell }⟩$, soExpand both sides in reference matrix units. The block with reference indices $i,j$ on the left is $D^{-1}\Phi (|i⟩⟨j|)$; on the right it is $D^{-1}{\sum }_{\ell }{A}_{\ell }|i⟩⟨j|A_{\ell }^{†}$. Since matrix units span all operators and $\Phi$ is linear,This constructs the Kraus representation explicitly from the relative states, rather than assuming it.

Finally, trace preservation implies for every density operator $\rho$ thatTaking every rank-one orthogonal projection as $\rho$ forces the Hermitian operator in brackets to have the same quadratic form as the identity. ThereforeThe argument is finite-dimensional, as appropriate to the quantum-information setting; a channel with a different output dimension has the same construction with rectangular Kraus operators.