Matrice de Choi

Opérateur bipartite obtenu à partir d'une application linéaire Λ:B(H)→B(K) en appliquant Λ à la moitié d'un opérateur (souvent maximalement intriqué) : J(Λ)=(id_H ⊗ Λ)(|Φ⟩⟨Φ|), où |Φ⟩ est le vecteur maximalement intriqué canonique sur H⊗H (normalisé ou non selon la convention).