¿Entropía del subsistema maximizada?

Dejar A y B ser 2 subsistemas de un sistema mecánico cuántico, por lo que un estado de todo el sistema es un vector en A B . Según tengo entendido, un operador de densidad ρ en general, no se puede escribir como un producto tensorial de los operadores de densidad de sus subsistemas. Si ρ A y ρ B son los operadores de densidad de dos sistemas independientes, entonces puedes escribir:

ρ = ρ A ρ B .
De lo contrario (los dos sistemas están entrelazados), para obtener una expresión que contenga la misma información que ρ A , tendrías que tomar el rastro parcial del operador sobre el subespacio B :
ρ ~ A = t r B ρ .

Ahora sabemos que en equilibrio termodinámico, la entropía de von Neumann del sistema (de ρ ) está en su máximo. ¿Podemos deducir de ello que la entropía de von Neumann de la matriz de densidad reducida ρ ~ A también está en su máximo?

En caso de no enredarse,

S [ ρ A ρ B ] = S [ ρ ] = S [ ρ A ] + S [ ρ B ]
se cumple, y dado que todas las expresiones son mayores que cero, se podría argumentar que para S [ ρ ] para mí maximizado, también se necesita maximizar S [ ρ A ] y S [ ρ B ] . Esto ya no funciona para un sistema entrelazado, porque aquí no tenemos aditividad de la entropía, sino solo subaditividad para ρ ~ A = t r B ρ y ρ ~ B = t r A ρ . Es S [ t r B ρ ] todavía maximizado?

Editar: Para dar una razón, por qué estoy preguntando esto. La pregunta en la que estaba pensando originalmente era: si un sistema cuántico está en equilibrio termodinámico, ¿los subsistemas también están en equilibrio termodinámico? Mi respuesta ingenua a eso es "Sí, deberían serlo", pero no estoy seguro de eso, y no puedo dar una razón adecuada, por qué deberían serlo.

Lo que le interesa se conoce como entropía de entrelazamiento .
Bueno, sí, especialmente en el comportamiento de la entropía de entrelazamiento para el equilibrio termodinámico.
¿A qué te refieres con "equilibrio termodinámico"? ¿Un sistema aislado en equilibrio, en cuyo caso se encuentra en un estado de máxima entropía (en cuyo caso trivialmente todos los subsistemas también están en un estado de máxima entropía), o un sistema acoplado a un baño termal en equilibrio?
¿Qué quiere decir "en cuyo caso, trivialmente, todos los subsistemas también están en un estado de máxima entropía"? ¿Por qué es esto trivial? Este es el núcleo de mi pregunta. Si esto es trivial, entonces es trivial, que S [ t r B ρ ] se maximiza cuando S [ ρ ] se maximiza. Sé que podría tratar los subsistemas como conjuntos canónicos y todo el sistema como un sistema microcanical, y por eso, la respuesta a mi pregunta DEBERÍA ser "Sí, por supuesto". ¿Pero es?
Bueno, el estado de máxima entropía es el estado de máxima mezcla. ρ 1 1 , que claramente es un estado de producto, y tiene marginales máximamente mixtos. Si desea el estado de mezcla máxima con cierta energía, primero debe ser más específico sobre el hamiltoniano. PD: utilice @NorbertSchuch en sus respuestas; de lo contrario, no recibiré notificaciones de sus respuestas.

Respuestas (1)

Suponiendo que está considerando subsistemas que no interactúan, tomemos dos de ellos, S 1 y S 2 , a la energía total dada mi = mi 1 + mi 2 , y buscar un estado de máxima entropía.

Como ya notó, la subaditividad de la entropía en presencia de entrelazamiento, S S 1 + S 2 , descarta estados entrelazados, y significa que la entropía necesariamente alcanza su máximo en el conjunto de estados no entrelazados compatibles con el dado mi .

Ahora clasifique el último conjunto de acuerdo con la energía de un subsistema, digamos mi 1 = ϵ . Para cada mi 1 = ϵ , el estado de máxima entropía será el producto directo ρ 1 0 ( ϵ ) ρ 2 0 ( mi ϵ ) de estados del subsistema de máxima entropía ρ 1 0 ( ϵ ) , ρ 2 0 ( mi ϵ ) correspondiente a las energías ϵ , mi ϵ . La entropía total es S 0 ( ϵ ) = S 1 0 ( ϵ ) + S 2 0 ( mi ϵ ) , y el problema se reduce a maximizar S 0 ( ϵ ) . Es decir, necesitamos ϵ tal que

d S 0 d ϵ = d S 1 0 d ϵ ( ϵ ) d S 2 0 d ϵ ( mi ϵ ) = 0
A partir de aquí, un argumento estándar produce que el valor deseado de ϵ es aquello por lo que S 1 y S 2 están en equilibrio térmico mutuo (temperatura común) para la energía total mi .

¿Significa esto que cada subsistema está en su propio estado de máxima entropía?

En relación con sus otros estados de energía idéntica mi i , Sí. En todo el conjunto { ρ i 0 ( mi i ) } mi i compatible con dado mi , no _

La razón es que la entropía de los estados de equilibrio ρ i 0 ( mi i ) aumenta con la energía mi i , y así para cada subsistema la entropía S i 0 ( mi i ) alcanza su máximo para el máximo mi i . Pero cuando esto sucede el subsistema complementario tiene energía mínima. mi mi i , por lo tanto la entropía mínima , qed.

La clave de la respuesta a mi pregunta sería la parte en la que dice que los subsistemas no se entrelazarán en el caso de máxima entropía, y que el operador de densidad es entonces un producto tensorial de los operadores de densidad de los subsistemas. ¿Porqué es eso? Usted dice que la subaditividad descarta los estados entrelazados. Esto me parece contrario a la intuición, hubiera esperado que los sistemas se enredaran cada vez más, a medida que aumenta la entropía.
@Quantumwhisp Perdón por la demora. La subaditividad básicamente dice que la entropía total de un estado bipartito ρ 12 es como máximo igual a la suma de las entropías de los estados "locales" ρ 1 = T r 2 ρ 12 , ρ 2 = T r 1 ρ 12 , o S ( ρ 12 ) S ( ρ 1 ) + S ( ρ 2 ) . La igualdad se da por ρ 12 = ρ 1 ρ 2 . En otras palabras, la entropía total alcanza un máximo en los estados de productos directos no entrelazados.
@Quantumwhisp Para formar una intuición, piense en términos de correlaciones: entropía máxima = "ausencia de correlaciones", mientras que enredo = "correlaciones (cuánticas) presentes". Por lo tanto, los estados entrelazados y correlacionados tienen una entropía más baja que los estados no entrelazados.
Obtengo la parte intuitiva, y también entiendo lo que quiere decir con la subaditividad descartando el entrelazamiento: Considere el operador de máxima entropía ρ ^ metro a X . En una vecindad de ella, considere todos los ρ ^ con los mismos estados locales ρ ^ 1 y ρ ^ 2 . Entonces ρ ^ metro a X , de todos estos operadores, será el que tenga ρ = ρ 1 ρ 2 . Creo que estas matemáticas son importantes :)
Sí, lo es. Si está interesado en una prueba, consulte la Sec. 11.3.4, pág. 515-16, en Nielsen&Chuang, books.google.com/…
Con esta información adicional, acepto tu respuesta :)