##  [Choi–Jamiołkowski-Isomorphismus](/de/node/50730) 

 Definition

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

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

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

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

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

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

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

Semantische Spannung

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

 

 

 

 

 





## Synthese

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.