Isomorfismo de Choi–Jamiołkowski

Una correspondencia biyectiva entre aplicaciones lineales Λ:B(H)→B(K) y operadores en H⊗K dada por la construcción de Choi: Λ ↦ J(Λ)=(id⊗Λ)(|Φ⟩⟨Φ|), y la aplicación inversa reconstruye Λ a partir de J(Λ) mediante trazas parciales y remodelado adecuados. El isomorfismo preserva la positividad completa y asigna mapas que preservan la traza a operadores de Choi con una traza parcial fija.