Tolong jelaskan mengenai Definisi dari Isomorfisme Choi–Jamiołkowski

Untuk mempelajari suatu saluran kuantum  dari sistem  menuju sistem , yang merupakan suatu pemetaan positif lengkap dan trace-preserving dari suatu ruang operator  menuju suatu ruang operator , perlu diperkenalkan suatu sistem tambahan  dengan dimensi yang sama dengan dimensi sistem . Pertimbangkan keadaan Greenberger-Horne-Zeilinger berikut

dalam ruang . Dikarenakan  merupakan pemetaan positif lengkap,  adalah suatu operator taknegatif. Sebaliknya, untuk sembarang operator taknegatif di ruang , dapat diasosiasikan suatu pemetaan positif lengkap dari  menuju . Korespondensi semacam ini disebut isomorfisme Choi-Jamiołkowski.