Entropía de von Neumann

Tipos de entropía en la teoría cuántica

En física , la entropía de von Neumann , llamada así por John von Neumann , es una extensión del concepto de entropía de Gibbs de la mecánica estadística clásica a la mecánica estadística cuántica . Para un sistema mecánico cuántico descrito por una matriz de densidad ρ , la entropía de von Neumann es ^[1]

${\displaystyle S=-\operatorname {tr} (\rho \ln \rho ),}$

donde denota la traza y ln denota el logaritmo matricial (natural) . Si la matriz de densidad ρ se escribe en base a sus vectores propios como ${\displaystyle \operatorname {tr} }$ ${\displaystyle |1\rangle ,|2\rangle ,|3\rangle ,\dots }$

${\displaystyle \rho =\sum _{j}\eta _{j}\left|j\right\rangle \left\langle j\right|,}$

Entonces la entropía de von Neumann es simplemente ^[1]

${\displaystyle S=-\sum _{j}\eta _{j}\ln \eta _{j}.}$

En esta forma, S puede verse como la entropía de Shannon de la teoría de la información . ^[1]

La entropía de von Neumann también se utiliza en diferentes formas ( entropías condicionales , entropías relativas , etc.) en el marco de la teoría de la información cuántica para caracterizar la entropía del entrelazamiento . ^[2]

Fondo

John von Neumann estableció un marco matemático riguroso para la mecánica cuántica en su obra de 1932 Fundamentos matemáticos de la mecánica cuántica . ^[3] En ella, proporcionó una teoría de la medición, donde la noción habitual de colapso de la función de onda se describe como un proceso irreversible (la llamada medición de von Neumann o proyectiva).

La matriz de densidad fue introducida, con diferentes motivaciones, por von Neumann y por Lev Landau . La motivación que inspiró a Landau fue la imposibilidad de describir un subsistema de un sistema cuántico compuesto mediante un vector de estado. ^[4] Por otro lado, von Neumann introdujo la matriz de densidad con el fin de desarrollar tanto la mecánica estadística cuántica como una teoría de las mediciones cuánticas.

El formalismo de la matriz de densidad, así desarrollado, extendió las herramientas de la mecánica estadística clásica al dominio cuántico. En el marco clásico, la distribución de probabilidad y la función de partición del sistema nos permiten calcular todas las posibles magnitudes termodinámicas. Von Neumann introdujo la matriz de densidad para que desempeñara el mismo papel en el contexto de los estados y operadores cuánticos en un espacio de Hilbert complejo. El conocimiento del operador estadístico de la matriz de densidad nos permitiría calcular todas las entidades cuánticas promedio de una manera conceptualmente similar, pero matemáticamente diferente.

Supongamos que tenemos un conjunto de funciones de onda | Ψ〉 que dependen paramétricamente de un conjunto de números cuánticos n ₁ , n ₂ , ..., n _N . La variable natural que tenemos es la amplitud con la que una función de onda particular del conjunto básico participa en la función de onda real del sistema. Denotemos el cuadrado de esta amplitud por p ( n ₁ , n ₂ , ..., n _N ). El objetivo es convertir esta cantidad p en la función de densidad clásica en el espacio de fases. Tenemos que verificar que p pasa a la función de densidad en el límite clásico, y que tiene propiedades ergódicas . Después de verificar que p ( n ₁ , n ₂ , ..., n _N ) es una constante de movimiento, una suposición ergódica para las probabilidades p ( n ₁ , n ₂ , ..., n _N ) hace que p sea una función de la energía solamente.

Después de este procedimiento, finalmente se llega al formalismo de la matriz de densidad cuando se busca una forma donde p ( n ₁ , n ₂ , ..., n _N ) sea invariante con respecto a la representación utilizada. En la forma en que está escrita, solo arrojará los valores esperados correctos para cantidades que sean diagonales con respecto a los números cuánticos n ₁ , n ₂ , ..., n _N .

Los valores esperados de los operadores que no son diagonales involucran las fases de las amplitudes cuánticas. Supongamos que codificamos los números cuánticos n ₁ , n ₂ , ..., n _N en el índice único i o j . Entonces nuestra función de onda tiene la forma

${\displaystyle \left|\Psi \right\rangle =\sum _{i}a_{i}\left|\psi _{i}\right\rangle .}$

El valor esperado de un operador B que no es diagonal en estas funciones de onda, por lo que

${\displaystyle \left\langle B\right\rangle =\sum _{i,j}a_{i}^{*}a_{j}\left\langle i\right|B\left|j\right\rangle .}$

El papel que originalmente estaba reservado a las cantidades lo asume así la matriz de densidad del sistema S. ${\displaystyle \left|a_{i}\right|^{2}}$

${\displaystyle \left\langle j\right|\rho \left|i\right\rangle =a_{j}a_{i}^{*}.}$

Por lo tanto, 〈B〉 se lee

${\displaystyle \left\langle B\right\rangle =\operatorname {tr} (\rho B).}$

La invariancia del término anterior se describe mediante la teoría de matrices. La traza es invariante bajo permutaciones cíclicas, y ambas matrices ρ y B se pueden transformar en cualquier base que sea conveniente, típicamente una base de los vectores propios. Mediante permutaciones cíclicas del producto matricial, se puede ver que surgirá una matriz identidad y, por lo tanto, la traza no se verá afectada por el cambio de base. Se describió un marco matemático donde el valor esperado de los operadores cuánticos, como se describe mediante matrices, se obtiene tomando la traza del producto del operador de densidad y un operador (producto escalar de Hilbert entre operadores). El formalismo matricial aquí está en el marco de la mecánica estadística, aunque también se aplica para sistemas cuánticos finitos, que suele ser el caso, donde el estado del sistema no se puede describir mediante un estado puro , sino como un operador estadístico de la forma anterior. Matemáticamente, es una matriz hermítica positiva-semidefinida con traza unitaria. ${\displaystyle {\hat {\rho }}}$ ${\displaystyle {\hat {B}}}$ ${\displaystyle {\hat {\rho }}}$ ${\displaystyle {\hat {\rho }}}$

Definición

Dada la matriz de densidad ρ , von Neumann definió la entropía ^{[5] [6]} como

${\displaystyle S(\rho )=-\operatorname {tr} (\rho \ln \rho ),}$

que es una extensión propia de la entropía de Gibbs (hasta un factor k _B ) y la entropía de Shannon al caso cuántico. Para calcular S( ρ ) es conveniente (ver logaritmo de una matriz ) calcular la descomposición propia de . La entropía de von Neumann viene dada entonces por ${\displaystyle ~\rho =\sum _{j}\eta _{j}\left|j\right\rangle \left\langle j\right|}$

${\displaystyle S(\rho )=-\sum _{j}\eta _{j}\ln \eta _{j}.}$

Propiedades

Algunas propiedades de la entropía de von Neumann:

• S ( ρ ) es cero si y sólo si ρ representa un estado puro.
• S ( ρ ) es máximo e igual apara un estado máximamente mixto , siendo N la dimensión del espacio de Hilbert . ${\displaystyle \ln N}$
• S ( ρ ) es invariante ante cambios en la base de ρ , es decir, S ( ρ ) = S ( UρU ^† ) , con U una transformación unitaria.
• S ( ρ ) es cóncava, es decir, dada una colección de números positivos λ _i que suman la unidad () y operadores de densidad ρ _i , tenemos ${\displaystyle \Sigma _{i}\lambda _{i}=1}$

${\displaystyle S{\bigg (}\sum _{i=1}^{k}\lambda _{i}\rho _{i}{\bigg )}\geq \sum _{i=1}^{k}\lambda _{i}S(\rho _{i}).}$

• S ( ρ ) satisface el límite

${\displaystyle S{\bigg (}\sum _{i=1}^{k}\lambda _{i}\rho _{i}{\bigg )}\leq \sum _{i=1}^{k}\lambda _{i}S(\rho _{i})-\sum _{i=1}^{k}\lambda _{i}\log \lambda _{i}.}$

donde la igualdad se logra si los ρ _i tienen soporte ortogonal, y como antes ρ _i son operadores de densidad y λ _i es una colección de números positivos que suman la unidad ( ) ${\displaystyle \Sigma _{i}\lambda _{i}=1}$

• S ( ρ ) es aditiva para sistemas independientes. Dadas dos matrices de densidad ρ _A , ρ _B que describen los sistemas independientes A y B , tenemos

${\displaystyle S(\rho _{A}\otimes \rho _{B})=S(\rho _{A})+S(\rho _{B})}$.

• S ( ρ ) es fuertemente subaditivo para cualesquiera tres sistemas A , B y C :

${\displaystyle S(\rho _{ABC})+S(\rho _{B})\leq S(\rho _{AB})+S(\rho _{BC}).}$

Esto significa automáticamente que S ( ρ ) es subaditivo:

${\displaystyle S(\rho _{AC})\leq S(\rho _{A})+S(\rho _{C}).}$

A continuación, se analiza el concepto de subaditividad, seguido de su generalización a subaditividad fuerte.

Subaditividad

Si ρ _A , ρ _B son las matrices de densidad reducidas del estado general ρ _AB , entonces

${\displaystyle \left|S(\rho _{A})-S(\rho _{B})\right|\leq S(\rho _{AB})\leq S(\rho _{A})+S(\rho _{B}).}$

Esta desigualdad de la mano derecha se conoce como subaditividad . Las dos desigualdades juntas a veces se conocen como la desigualdad del triángulo . Fueron demostradas en 1970 por Huzihiro Araki y Elliott H. Lieb . ^[7] Mientras que en la teoría de Shannon la entropía de un sistema compuesto nunca puede ser menor que la entropía de cualquiera de sus partes, en la teoría cuántica este no es el caso, es decir, es posible que S ( ρ _AB ) = 0 , mientras que S ( ρ _A ) = S ( ρ _B ) > 0 .

Intuitivamente, esto se puede entender de la siguiente manera: en mecánica cuántica, la entropía del sistema conjunto puede ser menor que la suma de la entropía de sus componentes porque los componentes pueden estar entrelazados . Por ejemplo, como se ve explícitamente, el estado de Bell de dos espín ½,

${\displaystyle \left|\psi \right\rangle =\left|\uparrow \downarrow \right\rangle +\left|\downarrow \uparrow \right\rangle ,}$

es un estado puro con entropía cero, pero cada espín tiene una entropía máxima cuando se lo considera individualmente en su matriz de densidad reducida . ^[8] La entropía en un espín se puede "cancelar" al correlacionarla con la entropía del otro. La desigualdad de la izquierda se puede interpretar aproximadamente como que la entropía solo se puede cancelar con una cantidad igual de entropía.

Si el sistema A y el sistema B tienen diferentes cantidades de entropía, la menor solo puede cancelar parcialmente a la mayor, y debe quedar algo de entropía. Del mismo modo, la desigualdad de la derecha puede interpretarse como que dice que la entropía de un sistema compuesto se maximiza cuando sus componentes no están correlacionados, en cuyo caso la entropía total es solo una suma de las subentropías. Esto puede ser más intuitivo en la formulación del espacio de fases , en lugar de la del espacio de Hilbert, donde la entropía de Von Neumann equivale a menos el valor esperado del ★ -logaritmo de la función de Wigner , − ∫ f ★ ​​log _★ f  dx  dp , hasta un desplazamiento de compensación. ^[6] Hasta este desplazamiento de compensación de normalización, la entropía se ve mayorada por la de su límite clásico .

Subaditividad fuerte

La entropía de von Neumann también es fuertemente subaditiva . Dados tres espacios de Hilbert , A , B , C ,

${\displaystyle S(\rho _{ABC})+S(\rho _{B})\leq S(\rho _{AB})+S(\rho _{BC}).}$

Este es un teorema más difícil y fue demostrado primero por J. Kiefer en 1959 ^{[9] [10]} e independientemente por Elliott H. Lieb y Mary Beth Ruskai en 1973, ^[11] usando una desigualdad matricial de Elliott H. Lieb ^[12] probada en 1973. Al usar la técnica de prueba que establece el lado izquierdo de la desigualdad triangular anterior, se puede demostrar que la desigualdad de subaditividad fuerte es equivalente a la siguiente desigualdad.

${\displaystyle S(\rho _{A})+S(\rho _{C})\leq S(\rho _{AB})+S(\rho _{BC})}$

cuando ρ _AB , etc. son las matrices de densidad reducidas de una matriz de densidad ρ _ABC . Si aplicamos la subaditividad ordinaria al lado izquierdo de esta desigualdad, y consideramos todas las permutaciones de A , B , C , obtenemos la desigualdad triangular para ρ _ABC : Cada uno de los tres números S ( ρ _AB ), S ( ρ _BC ), S ( ρ _AC ) es menor o igual que la suma de los otros dos.

Conjunto canónico

Teorema. ^[13] La distribución canónica es el máximo único de la entropía libre de Helmholtz , que tiene la solución en la base propia del operador hamiltoniano . Este estado tiene entropía libre donde es la función de partición. ${\textstyle f[{\hat {\rho }}]}$ $${\displaystyle {\hat {\rho }}(\beta )=\sum _{i}e^{-\beta E_{i}}|i\rangle \langle i|=e^{-\beta {\hat {H}}}}$$ ${\textstyle {\hat {H}}}$ $${\displaystyle f=\ln Z}$$ ${\textstyle Z=\sum _{i}e^{-\beta E_{i}}=Tr({\hat {\rho }})}$

De manera equivalente, la distribución canónica es el máximo único de entropía bajo restricción: $${\displaystyle {\begin{cases}\max S[{\hat {\rho }}]\\\langle H\rangle =E\end{cases}}}$$

Granulado grueso

Como, para un estado puro, la matriz de densidad es idempotente , ρ = ρ ² , la entropía S ( ρ ) para ella se anula. Por lo tanto, si el sistema es finito (representación matricial de dimensión finita), la entropía S ( ρ ) cuantifica la desviación del sistema de un estado puro . En otras palabras, codifica el grado de mezcla del estado que describe un sistema finito dado.

La medición descoherencia un sistema cuántico en algo que no interfiere y aparentemente es clásico ; así, por ejemplo, la entropía que desaparece de un estado puro , correspondiente a una matriz de densidad. ${\displaystyle \Psi =(\left|0\right\rangle +\left|1\right\rangle )/{\sqrt {2}}}$

${\displaystyle \rho ={1 \over 2}{\begin{pmatrix}1&1\\1&1\end{pmatrix}}}$

aumenta para la mezcla de resultados de medición ${\displaystyle S=\ln 2\approx 0.69}$

${\displaystyle \rho ={1 \over 2}{\begin{pmatrix}1&0\\0&1\end{pmatrix}}}$

a medida que se borra la información de interferencia cuántica.

Sin embargo, si el dispositivo de medición también es mecánico cuántico y comienza en un estado puro, entonces el sistema conjunto de dispositivo-sistema es simplemente un sistema cuántico más grande. Como comienza en un estado puro, termina con un estado puro también, y por lo tanto la entropía de von Neumann nunca aumenta. El problema se puede resolver utilizando la idea de granulado grueso .

Concretamente, supongamos que el sistema es un qubit y que el dispositivo de medición es otro qubit. El dispositivo de medición comienza en el estado. El proceso de medición es una puerta CNOT , de modo que tenemos , . Es decir, si el sistema comienza en el estado 1 puro, entonces, después de la medición, el dispositivo de medición también está en el estado 1 puro. ${\displaystyle \left|0\right\rangle }$ ${\displaystyle \left|0\right\rangle \left|0\right\rangle \mapsto \left|0\right\rangle \left|0\right\rangle }$ ${\displaystyle \left|1\right\rangle \left|0\right\rangle \mapsto \left|1\right\rangle \left|1\right\rangle }$

Ahora bien, si el sistema comienza en el estado , luego de la medición, el sistema conjunto está en el estado Bell . La entropía vN del sistema conjunto sigue siendo 0, ya que sigue siendo un estado puro. Sin embargo, si analizamos el sistema a gran escala midiendo la entropía vN solo del dispositivo, luego solo del cúbit y luego los sumamos, obtenemos . ${\displaystyle \Psi =(\left|0\right\rangle +\left|1\right\rangle )/{\sqrt {2}}}$ ${\displaystyle (\left|0\right\rangle \left|0\right\rangle +\left|1\right\rangle \left|1\right\rangle )/{\sqrt {2}}}$ ${\displaystyle 2\ln 2}$

Por subaditividad , es decir, cualquier forma de dividir en partes todo el sistema en partes iguales sería igual o aumentaría la entropía vN. ${\displaystyle S(\rho _{AB})\leq S(\rho _{A})+S(\rho _{B})}$

Véase también

• Entropía (teoría de la información)
• Entropía lineal
• Función de partición (matemáticas)
• Entropía condicional cuántica
• Entropía relativa cuántica
• Información mutua cuántica
• Entrelazamiento cuántico
• Subaditividad fuerte de la entropía cuántica
• Entropía de Wehrl

Referencias

1. Bengtsson, Ingemar; Zyczkowski, Karol. Geometría de estados cuánticos: una introducción al entrelazamiento cuántico (1.ª ed.). pág. 301.
2. Nielsen, Michael A. e Isaac Chuang (2001). Computación cuántica e información cuántica (edición revisada). Cambridge [ua]: Cambridge Univ. Press. p. 700. ISBN 978-0-521-63503-5.
3. Von Neumann, Juan (1932). Mathematische Grundlagen der Quantenmechanik . Berlín: Springer. ISBN 3-540-59207-5.; Von Neumann, John (1955). Fundamentos matemáticos de la mecánica cuántica . Princeton University Press. ISBN 978-0-691-02893-4.
4. Landau, L. (1927). "Das Daempfungsproblem in der Wellenmechanik". Zeitschrift für Physik . 45 (5–6): 430–464. Código Bib : 1927ZPhy...45..430L. doi :10.1007/BF01343064. S2CID  125732617.
5. Geometría de los estados cuánticos: una introducción al entrelazamiento cuántico, por Ingemar Bengtsson, Karol Życzkowski, pág. 301
6. Zachos, CK (2007). "Un límite clásico en la entropía cuántica". Journal of Physics A: Mathematical and Theoretical . 40 (21): F407–F412. arXiv : hep-th/0609148 . Código Bibliográfico :2007JPhA...40..407Z. doi :10.1088/1751-8113/40/21/F02. S2CID  1619604.
7. Araki, Huzihiro ; Lieb, Elliott H. (1970). "Desigualdades de entropía". Comunicaciones en Física Matemática . 18 (2): 160–170. Bibcode :1970CMaPh..18..160A. doi :10.1007/BF01646092. S2CID  189832417.
8. Zurek, WH (2003). "Decoherencia, einselección y los orígenes cuánticos de la física clásica". Reseñas de Física Moderna . 75 (3): 715–775. arXiv : quant-ph/0105127 . Código Bibliográfico :2003RvMP...75..715Z. doi :10.1103/RevModPhys.75.715. S2CID  14759237.
9. 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.
10. Ruskai, Mary Beth (10 de enero de 2014). "Evolución de un teorema fundamental [sic] sobre la entropía cuántica". youtube.com . World Scientific. Archivado desde el original el 21 de diciembre de 2021 . Consultado el 20 de agosto de 2020 . Charla invitada en la Conferencia en honor del 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.
11. Lieb, Elliott H. ; Ruskai, Mary Beth (1973). "Prueba de la fuerte subaditividad de la entropía mecano-cuántica". Journal of Mathematical Physics . 14 (12): 1938–1941. Bibcode :1973JMP....14.1938L. doi : 10.1063/1.1666274 .
12. Lieb, Elliott H. (1973). "Funciones de traza convexas y la conjetura de Wigner-Yanase-Dyson". Avances en Matemáticas . 11 (3): 267–288. doi : 10.1016/0001-8708(73)90011-X .
13. Ohya, Masanori; Petz, Dénes (1993). Entropía cuántica y su uso . Textos y monografías en física. Berlín; Nueva York: Springer-Verlag. ISBN 978-3-540-54881-2.