Matriz de Choi

El operador bipartito obtenido de una aplicación lineal Λ:B(H)→B(K) aplicando Λ a la mitad de un operador (habitualmente maximamente entrelazado): J(Λ)=(id_H ⊗ Λ)(|Φ⟩⟨Φ|), donde |Φ⟩ es el vector maximamente entrelazado canónico en H⊗H (normalizado o no según la convención). La matriz de Choi codifica la positividad completa: Λ es CP si y solo si J(Λ) es semidefinida positiva.