## [Isomorfismo de Choi–Jamiołkowski](/es/node/50730) Definición 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 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 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 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 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 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 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 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 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.