Isomorphisme de Choi–Jamiołkowski

Correspondance bijective entre applications linéaires Λ:B(H)→B(K) et opérateurs sur H⊗K donnée par la construction de Choi : Λ ↦ J(Λ)=(id⊗Λ)(|Φ⟩⟨Φ|) et la carte inverse reconstruit Λ à partir de J(Λ) par des traces partielles et un remodelage approprié.