Choi–Jamiołkowski-Isomorphismus

Eine bijektive Entsprechung zwischen linearen Abbildungen Λ:B(H)→B(K) und Operatoren auf H⊗K, gegeben durch die Choi-Konstruktion: Λ ↦ J(Λ)=(id⊗Λ)(|Φ⟩⟨Φ|), wobei die inverse Abbildung Λ aus J(Λ) durch geeignete partielle Spuren und Umformungen rekonstruiert werden kann.