En la teoría de la información cuántica, la fuerte subaditividad de la entropía cuántica ( SSA ) es la relación entre las entropías de von Neumann de varios subsistemas cuánticos de un sistema cuántico más grande que consta de tres subsistemas (o de un sistema cuántico con tres grados de libertad). Es un teorema básico en la teoría de la información cuántica moderna . Fue conjeturado por DW Robinson y D. Ruelle [1] en 1966 y OE Lanford III y DW Robinson [2] en 1968 y probado en 1973 por EH Lieb y MB Ruskai , [3]basándose en los resultados obtenidos por Lieb en su demostración de la conjetura de Wigner-Yanase-Dyson. [4]
La versión clásica de SSA fue conocida y apreciada durante mucho tiempo en la teoría clásica de la probabilidad y la teoría de la información. La prueba de esta relación en el caso clásico es bastante fácil, pero el caso cuántico es difícil debido a la no conmutatividad de las matrices de densidad reducida que describen los subsistemas cuánticos.
Usamos la siguiente notación a lo largo de lo siguiente: Un espacio de Hilbert se denota por , y denota los operadores lineales acotados en . Los productos tensoriales se indican mediante superíndices, p . Ej . , . El rastro se denota por .
La entropía relativa cuántica de Umegaki [8] de dos matrices de densidad y es
.
Concavidad articular
Se dice que una función de dos variables es conjuntamente cóncava si para alguna se cumple lo siguiente
Subaditividad de la entropía
La subaditividad ordinaria [9] se refiere únicamente a dos espacios y una matriz de densidad . Se afirma que
Esta desigualdad es cierta, por supuesto, en la teoría clásica de la probabilidad, pero esta última también contiene el teorema de que las entropías condicionales y ambas son no negativas. En el caso cuántico, sin embargo, ambos pueden ser negativos, por ejemplo,
pueden ser cero mientras . Sin embargo, el límite superior de la subaditividad continúa manteniéndose. Lo más parecido a lo que uno tiene es la desigualdad del triángulo de Araki-Lieb [9]
que se deriva en [9] de la subaditividad mediante una técnica matemática conocida como "purificación".
Subaditividad fuerte (SSA)
Supongamos que el espacio de Hilbert del sistema es un producto de tensor de tres espacios: . Físicamente, estos tres espacios pueden interpretarse como el espacio de tres sistemas diferentes, o bien como tres partes o tres grados de libertad de un sistema físico.
Dada una matriz de densidad en , definimos una matriz de densidad en como traza parcial : . Del mismo modo, podemos definir matrices de densidad: , , , , .
Declaración
Para cualquier estado tripartito se cumple lo siguiente
,
donde , por ejemplo.
De manera equivalente, la declaración se puede reformular en términos de entropías condicionales para mostrar que para el estado tripartito ,
.
Esto también puede reformularse en términos de información mutua cuántica ,
.
Estas afirmaciones corren paralelas a la intuición clásica, excepto que las entropías condicionales cuánticas pueden ser negativas y las informaciones mutuas cuánticas pueden exceder el límite clásico de la entropía marginal.
La fuerte desigualdad de subaditividad fue mejorada de la siguiente manera por Carlen y Lieb [10]
,
con la constante óptima .
J. Kiefer [11] [12] demostró un resultado de convexidad relacionado periféricamente en 1959, que es un corolario de una desigualdad de Schwarz del operador demostrado por EHLieb y MBRuskai. [3] Sin embargo, estos resultados son comparativamente simples, y las demostraciones no utilizan los resultados del artículo de Lieb de 1973 sobre funcionales de trazas convexas y cóncavas. [4] Fue este artículo el que proporcionó la base matemática de la prueba de SSA de Lieb y Ruskai. Narnhofer y Thirring realizaron la extensión de una configuración espacial de Hilbert a una configuración de álgebra de von Neumann, donde los estados no están dados por matrices de densidad. [13]
El teorema también se puede obtener demostrando numerosos enunciados equivalentes, algunos de los cuales se resumen a continuación.
Conjetura de Wigner-Yanase-Dyson
EP Wigner y MM Yanase [14] propusieron una definición diferente de entropía, que fue generalizada por FJ Dyson.
La información de Wigner – Yanase – Dyson p -skew
La información sesgada de Wigner-Yanase-Dyson de una matriz de densidad . con respecto a un operador es
donde es un conmutador, es el adjunto de y es fijo.
Concavidad de la información p- sesgada
EP Wigner y MM Yanase conjeturaron en [15] que - la información de sesgo es cóncava en función de una matriz de densidad para un fijo .
Dado que el término es cóncavo (es lineal), la conjetura se reduce al problema de la concavidad de . Como se señaló en, [4] esta conjetura (para todos ) implica SSA, y se demostró para en, [15] y para todos en [4]
en la siguiente forma más general: La función de dos variables de matriz
( 1 )
es conjuntamente cóncava en y
cuando y .
Este teorema es una parte esencial de la demostración de SSA en. [3]
En su artículo [15], EP Wigner y MM Yanase también conjeturaron la subaditividad de la información sesgada para , lo cual fue refutado por Hansen [16] al dar un contraejemplo.
Primeras dos declaraciones equivalentes a SSA
Se señaló en [9] que la primera declaración a continuación es equivalente a SSA y A. Ulhmann en [17] mostró la equivalencia entre la segunda declaración a continuación y SSA.
Tenga en cuenta que las entropías condicionales y no tienen que ser ambas no negativas.
El mapa es convexo.
Ambas declaraciones se probaron directamente en. [3]
Convexidad conjunta de entropía relativa
Como se ha señalado por Lindblad [18] y Uhlmann, [19] si, en la ecuación ( 1 ), se toma y y y diferencia en a , se obtiene la convexidad conjunta de entropía relativa : es decir, si , y , a continuación,
( 2 )
donde con .
Monotonicidad de la entropía relativa cuántica
La entropía relativa disminuye monótonamente bajo operaciones de conservación de trazas completamente positivas (CPTP) en matrices de densidad,
.
Esta desigualdad se llama Monotonicidad de la entropía relativa cuántica. Debido al teorema de factorización de Stinespring , esta desigualdad es una consecuencia de una elección particular del mapa CPTP: un mapa de seguimiento parcial que se describe a continuación.
La clase más importante y básica de mapas CPTP es una operación de rastreo parcial , dada por . Luego
( 3 )
que se llama Monotonicidad de la entropía relativa cuántica bajo traza parcial .
Para ver cómo esto se sigue de la convexidad conjunta de la entropía relativa, observe que se puede escribir en la representación de Uhlmann como
para algunos conjuntos finitos y algunos de matrices unitarias en (alternativamente, integrar sobre la medida de Haar ). Dado que la traza (y por lo tanto la entropía relativa) es unitariamente invariante, la desigualdad ( 3 ) ahora se sigue de ( 2 ). Este teorema se debe a Lindblad [18]
y Uhlmann, [17] cuya demostración es la que se da aquí.
SSA se obtiene de ( 3 ) con reemplazado por y reemplazado . Toma . Entonces ( 3 ) se convierte en
Por lo tanto,
que es SSA. Por tanto, la monotonicidad de la entropía relativa cuántica (que se sigue de ( 1 ) implica SSA.
Relación entre desigualdades
Todas las desigualdades importantes anteriores son equivalentes entre sí y también se pueden probar directamente. Los siguientes son equivalentes:
Monotonicidad de la entropía relativa cuántica (MONO);
Monotonicidad de la entropía relativa cuántica bajo traza parcial (MPT);
Subaditividad fuerte (SSA);
Convexidad conjunta de la entropía relativa cuántica (JC);
Las siguientes implicaciones muestran la equivalencia entre estas desigualdades.
MONO MPT: sigue ya que el MPT es un caso particular de MONO;
MPT MONO: fue mostrado por Lindblad, [20] usando una representación de mapas estocásticos como un trazo parcial sobre un sistema auxiliar;
MPT SSA: sigue tomando una elección particular de estados tripartitos en MPT, descritos en la sección anterior, "Monotonicidad de la entropía relativa cuántica";
SSA MPT: al elegir ser diagonal de bloque, se puede mostrar que SSA implica que el mapa
es convexo. En [3] se observó que esta convexidad produce MPT;
MPT JC: como se mencionó anteriormente, al elegir (y de manera similar ) ser una matriz diagonal de bloques con bloques (y ), la traza parcial es una suma de bloques para que , de MPT, se pueda obtener JC;
JC SSA: utilizando el 'proceso de purificación', Araki y Lieb, [9] [21] observaron que se podrían obtener nuevas desigualdades útiles a partir de las conocidas. Purificando a que se pueda demostrar que la SSA es equivalente a
Además, si es puro, entonces y , entonces la igualdad se mantiene en la desigualdad anterior. Dado que los puntos extremos del conjunto convexo de matrices de densidad son estados puros, SSA se sigue de JC;
Ver, [21] [22] para una discusión.
El caso de la igualdad
Igualdad en la monotonicidad de la desigualdad de entropía relativa cuántica
En, [23] [24] D. Petz mostró que el único caso de igualdad en la relación de monotonicidad es tener un canal de "recuperación" adecuado:
Para todos los estados y en un espacio de Hilbert y todos los operadores cuánticos ,
si y solo si existe un operador cuántico tal que
y
Además, se puede dar explícitamente mediante la fórmula
donde está el mapa adjunto de .
D. Petz también dio otra condición [23] cuando la igualdad se cumple en la Monotonicidad de la entropía relativa cuántica: la primera declaración a continuación. Al diferenciarlo tenemos la segunda condición. Además, MB Ruskai dio otra prueba de la segunda declaración.
Para todos los estados y en el ya todos los operadores cuánticos ,
si y solo si se cumplen las siguientes condiciones equivalentes:
por todo real .
donde está el mapa adjunto de .
Igualdad en fuerte desigualdad de subaditividad
P. Hayden , R. Jozsa, D. Petz y A. Winter describieron los estados para los que se mantiene la igualdad en SSA. [25]
Un estado en un espacio de Hilbert satisface una fuerte subaditividad con igualdad si y solo si hay una descomposición del segundo sistema como
en una suma directa de productos tensoriales, de modo que
con los estados en y sobre , y una distribución de probabilidad .
Extensión Carlen-Lieb
EH Lieb y EA Carlen han encontrado un término de error explícito en la desigualdad SSA, [10] a saber,
Si y , como siempre ocurre con la entropía clásica de Shannon, esta desigualdad no tiene nada que decir. Para la entropía cuántica, por otro lado, es muy posible que las entropías condicionales satisfagan o (¡pero nunca ambos!). Luego, en este régimen "altamente cuántico", esta desigualdad proporciona información adicional.
La constante 2 es óptima, en el sentido de que para cualquier constante mayor que 2, se puede encontrar un estado para el cual se viola la desigualdad con esa constante.
Extensión de operador de subaditividad fuerte
En su artículo [26] I. Kim estudió una extensión de operador de fuerte subaditividad, demostrando la siguiente desigualdad:
Para un estado tripartito (matriz de densidad) en ,
La prueba de esta desigualdad se basa en el teorema de Effros , [27] para el cual se eligen funciones y operadores particulares para derivar la desigualdad anterior. MB Ruskai describe este trabajo en detalle en [28] y analiza cómo probar una gran clase de nuevas desigualdades matriciales en los casos tripartito y bipartito tomando una traza parcial sobre todos los espacios menos uno.
Extensiones de subaditividad fuerte en términos de recuperabilidad
En 2014 se demostró un fortalecimiento significativo de la fuerte subaditividad, [29] que posteriormente se mejoró en [30] y. [31] En 2017, [32] se demostró que el canal de recuperación puede tomarse como el mapa de recuperación de Petz original. Estas mejoras de subaditividad fuerte tienen interpretaciones físicas en términos de recuperabilidad, lo que significa que si la información mutua condicional de un estado cuántico tripartito es casi igual a cero, entonces es posible realizar un canal de recuperación (del sistema E al AE) tal que . Por tanto, estos resultados generalizan las condiciones exactas de igualdad mencionadas anteriormente.
Ver también
Entropía de von Neumann
Entropía cuántica condicional
Información mutua cuántica
Divergencia de Kullback-Leibler
Referencias
^ Robinson, Derek W .; Ruelle, David (1967). "Entropía media de estados en mecánica estadística clásica" . Comunicaciones en Física Matemática . Springer Science and Business Media LLC. 5 (4): 288–300. doi : 10.1007 / bf01646480 . ISSN 0010-3616 .
^ Lanford, Oscar E .; Robinson, Derek W. (1968). "Entropía media de estados en mecánica estadística cuántica". Revista de Física Matemática . Publicación AIP. 9 (7): 1120–1125. doi : 10.1063 / 1.1664685 . ISSN 0022-2488 .
↑ a b c d e Lieb, Elliott H .; Ruskai, Mary Beth (1973). "Prueba de la fuerte subaditividad de la entropía mecánica cuántica" (PDF) . Revista de Física Matemática . Publicación AIP. 14 (12): 1938-1941. doi : 10.1063 / 1.1666274 . ISSN 0022-2488 .
↑ a b c d Lieb, Elliott H (1973). "Funciones de traza convexa y la conjetura de Wigner-Yanase-Dyson" . Avances en Matemáticas . 11 (3): 267–288. doi : 10.1016 / 0001-8708 (73) 90011-X . ISSN 0001-8708 .
^ M. Nielsen, I. Chuang, Computación cuántica e información cuántica, Cambr. U. Press, (2000)
^ M. Ohya, D. Petz, Entropía cuántica y su uso, Springer (1993)
^ E. Carlen, Traza desigualdades y entropía cuántica: un curso introductorio, desprecio. Matemáticas. 529 (2009).
^ Umegaki, Hisaharu (1962). "Expectativa condicional en un operador de álgebra. IV. Entropía e información" . Informes del seminario matemático de Kodai . Instituto de Tecnología de Tokio, Departamento de Matemáticas. 14 (2): 59–85. doi : 10.2996 / kmj / 1138844604 . ISSN 0023-2599 .
^ a b c d e Araki, Huzihiro; Lieb, Elliott H. (1970). "Desigualdades de entropía". Comunicaciones en Física Matemática . 18 (2): 160-170. doi : 10.1007 / BF01646092 . ISSN 0010-3616 .
^ a b Carlen, Eric A .; Lieb, Elliott H. (2012). "Límites para el entrelazamiento a través de una extensión de fuerte subditividad de la entropía". Letras en Física Matemática . 101 : 1-11. arXiv : 1203.4719 . doi : 10.1007 / s11005-012-0565-6 .
^ Kiefer, J. (julio de 1959). "Diseños experimentales óptimos" . Revista de la Royal Statistical Society, Serie B (Metodológica) . 21 (2): 272–310. doi : 10.1111 / j.2517-6161.1959.tb00338.x .
^ Ruskai, Mary Beth. "Evolución de un teorema fundamental de la entropía cuántica" . youtube.com . World Scientific . Consultado el 20 de agosto de 2020 . Charla invitada en la Conferencia en honor al 90 cumpleaños de Freeman Dyson, Instituto de Estudios Avanzados, Universidad Tecnológica de Nanyang, Singapur, 26-29 de agosto de 2013. La nota sobre Kiefer (1959) está en la marca 26:40.
^ Narnhofer, H. (1985). "De la entropía relativa a la entropía". Fizika . 17 : 258-262.
^ Wigner, EP; Yanase, MM (1 de mayo de 1963). "Contenido informativo de las distribuciones" . Actas de la Academia Nacional de Ciencias . 49 (6): 910–918. doi : 10.1073 / pnas.49.6.910 . ISSN 0027-8424 . PMC 300031 . PMID 16591109 .
^ a b c Wigner, Eugene P .; Yanase, Mutsuo M. (1964). "Sobre la naturaleza semidefinida positiva de una determinada expresión matricial" . Revista Canadiense de Matemáticas . Sociedad Matemática Canadiense. 16 : 397–406. doi : 10.4153 / cjm-1964-041-x . ISSN 0008-414X .
^ Hansen, Frank (18 de enero de 2007). "La entropía de Wigner-Yanase no es subaditiva". Revista de física estadística . Springer Nature. 126 (3): 643–648. arXiv : matemáticas-ph / 0609019 . doi : 10.1007 / s10955-006-9265-x . ISSN 0022-4715 .
↑ a b A. Ulhmann, Endlich Dimensionale Dichtmatrizen, II, Wiss. Z. Karl-Marx-University Leipzig 22 Jg. H. 2., 139 (1973).
↑ a b Lindblad, Göran (1974). "Expectativas y desigualdades de entropía para sistemas cuánticos finitos" . Comunicaciones en Física Matemática . 39 (2): 111-119. doi : 10.1007 / BF01608390 . ISSN 0010-3616 .
^ Uhlmann, A. (1977). "La entropía relativa y la concavidad de Wigner-Yanase-Dyson-Lieb en una teoría de interpolación". Comunicaciones en Física Matemática . 54 (1): 21–32. doi : 10.1007 / BF01609834 . ISSN 0010-3616 .
^ Lindblad, Göran (1975). "Mapas completamente positivos y desigualdades de entropía". Comunicaciones en Física Matemática . Springer Science and Business Media LLC. 40 (2): 147-151. doi : 10.1007 / bf01609396 . ISSN 0010-3616 .
↑ a b Lieb, EH (1975). "Algunas propiedades de subaditividad y convexidad de la entropía" . Toro. AMS . 81 : 1-13. doi : 10.1090 / s0002-9904-1975-13621-4 .
^ Ruskai, Mary Beth (2002). "Desigualdades para la entropía cuántica: una revisión con condiciones para la igualdad". Revista de Física Matemática . Publicación AIP. 43 (9): 4358–4375. arXiv : quant-ph / 0205064 . doi : 10.1063 / 1.1497701 . ISSN 0022-2488 . errata 46, 019901 (2005)
↑ a b Petz, Dénes (1986). "Suficiente subálgebras y la entropía relativa de estados de un álgebra de von Neumann" . Comunicaciones en Física Matemática . Springer Science and Business Media LLC. 105 (1): 123-131. doi : 10.1007 / bf01212345 . ISSN 0010-3616 .
^ D. Petz, Suficiencia de canales sobre álgebras de von Neumann, Quart. J. Math. Oxford 35, 475-483 (1986).
^ P. Hayden , R. Jozsa, D. Petz, A. Winter , Estructura de los estados que satisfacen una fuerte subditividad de la entropía cuántica con igualdad, Comm. Matemáticas. Phys. 246, 359–374 (2003).
^ I.Kim, Extensión del operador de fuerte subditividad de la entropía, arXiv : 1210.5190 (2012).
^ Effros, EG (2009). "Un enfoque de convexidad matricial para algunas desigualdades cuánticas celebradas" . Proc. Natl. Acad. Sci. USA . 106 (4): 1006–1008. doi : 10.1073 / pnas.0807965106 . PMC 2633548 . PMID 19164582 .
^ MB Ruskai, Observaciones sobre la fuerte desigualdad de la matriz de subditividad de Kim: extensiones y condiciones de igualdad, arXiv : 1211.0049 (2012).
^ O. Fawzi, R. Renner. Información mutua condicional cuántica y cadenas de Markov aproximadas. Comunicaciones en física matemática: 340, 2 (2015)
^ MM Wilde. Recuperabilidad en la teoría de la información cuántica. Actas de la Royal Society A, vol. 471, no. 2182, página 20150338 Octubre de 2015
^ Marius Junge, Renato Renner, David Sutter, Mark M. Wilde, Andreas Winter. Mapas de recuperación universal y suficiencia aproximada de entropía relativa cuántica. Annales Henri Poincaré, vol. 19, no. 10, páginas 2955--2978, octubre de 2018 arXiv : 1509.07127
^ Carlen, Eric A .; Vershynina, Anna (6 de octubre de 2017). "Estabilidad del mapa de recuperación para la desigualdad en el procesamiento de datos". arXiv : 1710.02409 [ math.OA ].