Una correspondencia biyectiva entre aplicaciones lineales Λ:B(H)→B(K) y operadores en H⊗K dada por la construcción de Choi: Λ ↦ J(Λ)=(id⊗Λ)(|Φ⟩⟨Φ|), y la aplicación inversa reconstruye Λ a partir de J(Λ) mediante trazas parciales y remodelado adecuados. El isomorfismo preserva la positividad completa y asigna mapas que preservan la traza a operadores de Choi con una traza parcial fija.

Principio

Establecer una equivalencia algebraica entre superoperadores y operadores bipartitos de modo que las propiedades de los mapas se conviertan en propiedades de operadores; esto transforma problemas de canales en problemas de estados/operadores accesibles mediante álgebra lineal y optimización convexa.

Demostración

Dado un operador de Choi J, diagonalizar J=∑_i λ_i |ψ_i⟩⟨ψ_i|; cada |ψ_i⟩ puede remodelarse en un operador de Kraus K_i de modo que Λ(ρ)=∑_i λ_i K_i ρ K_i†, reconstruyendo el mapa a partir de su operador de Choi.

Aplicación incorrecta

Ignorar la dependencia de convenciones (qué pierna se transpone o qué vector maximamente entrelazado se usa) al invertir el isomorfismo, conduciendo a operadores de Kraus incorrectos o errores de transposición/signo.

Consecuencia

Permite usar teoría del entrelazamiento, tomografía de estados y métodos de optimización convexa sobre canales; aclara propiedades estructurales como generación de entrelazamiento, separabilidad de procesos y pruebas de positividad completa.

Inversión

Ver los canales en su forma de superoperador original (matriz que actúa sobre operadores vectorizados) en lugar de como operadores bipartitos; la inversión enfatiza la intuición dinámica en vez de la basada en estados.

Límite

El isomorfismo es estándar en dimensiones finitas y para mapas lineales; las generalizaciones a dimensiones infinitas requieren cuidado (dominio, topologías de operadores) y las reglas de normalización/traza deben manejarse para representar correctamente mapas que preservan la traza.

Tensión semántica

Surge tensión por las múltiples convenciones equivalentes (orden de vectorización, elección de transposición, normalización) que producen matrices explícitas diferentes pero codifican el mismo isomorfismo abstracto.

Síntesis

El Isomorfismo de Choi–Jamiołkowski es la identificación explícita e invertible entre mapas lineales y operadores bipartitos mediante la construcción de Choi: traduce cuestiones sobre canales en cuestiones sobre operadores y viceversa, preservando la positividad completa y las condiciones de traza.