Eine bijektive Entsprechung zwischen linearen Abbildungen Λ:B(H)→B(K) und Operatoren auf H⊗K, gegeben durch die Choi-Konstruktion: Λ ↦ J(Λ)=(id⊗Λ)(|Φ⟩⟨Φ|), wobei die inverse Abbildung Λ aus J(Λ) durch geeignete partielle Spuren und Umformungen rekonstruiert werden kann. Das Isomorphismus erhält vollständige Positivität und ordnet spur-erhaltende Abbildungen Choi-Operatoren mit festgelegter partieller Spur zu.

Prinzip

Eine algebraische Äquivalenz zwischen Superoperatoren und bipartiten Operatoren herstellen, sodass Eigenschaften von Abbildungen zu Eigenschaften von Operatoren werden; dies verwandelt Kanalprobleme in Zustands-/Operatorprobleme, die mittels linearer Algebra und konvexer Optimierung untersucht werden können.

Demonstration

Gegeben einer Choi-Operator J, diagonalisiert man J=∑_i λ_i |ψ_i⟩⟨ψ_i|; jedes |ψ_i⟩ kann in einen Kraus-Operator K_i umgeformt werden, sodass Λ(ρ)=∑_i λ_i K_i ρ K_i†, womit die Abbildung aus ihrem Choi-Operator rekonstruiert wird.

Fehlanwendung

Vernachlässigung der konventionsabhängigkeit (welches Bein transponiert wird oder welcher maximal verschränkte Vektor verwendet wird) beim Invertieren des Isomorphismus, was zu falschen Kraus-Operatoren oder Transpositionsfehlern führen kann.

Konsequenz

Ermöglicht die Nutzung der Verschränkungstheorie, Zustandstomographie und konvexer Optimierungsmethoden für Kanäle; klärt strukturelle Eigenschaften wie Verschränkungsproduktion, Separabilität von Prozessen und Tests auf vollständige Positivität.

Umkehrung

Die Abbildungen in ihrer ursprünglichen Superoperator-Form (Matrix, die auf vektorisierte Operatoren wirkt) statt als bipartite Operatoren zu betrachten; die Umkehr betont dynamische statt zustandsbezogene Intuition.

Abgrenzung

Das Isomorphismus ist in endlichen Dimensionen und für lineare Abbildungen standard; Verallgemeinerungen auf unendliche Dimensionen erfordern Vorsicht (Definitionsbereich, Operator-Topologien) und Normalisierungs-/Spurregeln müssen zur korrekten Darstellung spur-erhaltender Abbildungen beachtet werden.

Semantische Spannung

Spannung ergibt sich aus unterschiedlichen, aber äquivalenten Konventionen (Vectorisierungsordnung, Transpositionswahl, Normierung), die verschiedene explizite Matrizen liefern, aber dasselbe abstrakte Isomorphismus kodieren.

Synthese

Der Choi–Jamiołkowski-Isomorphismus ist die explizite, invertierbare Identifikation zwischen linearen Abbildungen und bipartiten Operatoren mittels der Choi-Konstruktion: er übersetzt Fragen über Kanäle in Fragen über Operatoren und umgekehrt und erhält vollständige Positivität sowie Spurbedingungen.