Quantum stochastic thermodynamics of macroscopic systems: an algebraic approach

Resumen Técnico: Termodinámica Estocástica Cuántica de Sistemas Macroscópicos: Un Enfoque Algebraico

Planteamiento del Problema
Las formulaciones actuales de la termodinámica cuántica enfrentan una dicotomía. Por un lado, la termodinámica macroscópica se basa en descripciones de grano grueso (coarse-grained) donde se asume que los grados de libertad internos se equilibran rápidamente, lo que permite la emergencia de la irreversibilidad y la segunda ley sin necesidad de rastrear el estado cuántico completo. Por otro lado, los enfoques establecidos de la termodinica estocástica cuántica (por ejemplo, para sistemas abiertos) suelen requerir acceso total a la matriz de densidad (o función de onda) del sistema para definir cantidades termodinámicas como la entropía de von Neumann, el calor y el trabajo. Este requisito es experimentalmente prohibitivo para sistemas de muchos cuerpos y no logra capturar la producción de entropía "interna" asociada con el equilibrio de los grados de libertad no observados. Además, los enfoques estándar suelen tratar la dinámica unitaria cerrada como reversible, lo que dificulta el análisis del comportamiento termodinámico de sistemas cuánticos aislados o la transición cuántico-clásica desde una perspectiva termodinámica. El artículo aborda la necesidad de un marco que interpole entre la termodinámica estocástica de grano fino y la termodinámica de equilibrio macroscópica, capaz de manejar sistemas donde solo es accesible un subconjunto de observables (una descripción de grano grueso).

Metodología
Los autores proponen un marco basado en la especificación de un subálgebra de observables accesible, $\mathcal{A} \subset \mathcal{B}(\mathcal{H})$, que define el nivel de granularidad.

1. Granularidad Algebraica (Coarse-Graining):

   • Caso Conmutativo: El marco comienza con la medición de un observable grueso (o un conjunto conmutativo), generando un álgebra conmutativa. Esto mapea un microestado $\rho$ a una distribución de macroestados clásicos $p_J$. Los autores utilizan el mapa de recuperación de Petz (o equivalentemente, el principio de máxima entropía de Jaynes) para reconstruir un "estado de grano grueso" $\rho_{cg}$ compatible con los resultados de la medición.
   • Caso No Conmutativo: El marco se generaliza a subálgebras arbitrarias de Tipo I de von Neumann. Aquí, los observables accesibles pueden no conmutar. El estado de grano grueso se define como el estado que maximiza la entropía de von Neumann sujeto a las restricciones impuestas por los valores de expectación de todos los operadores en la subálgebra $\mathcal{A}$. Esto resulta en un operador de densidad reducido que puede retener coherencias cuánticas dentro de los sectores definidos por el álgebra.

2. Entropía Dependiente del Álgebra:

   • Se define una nueva función de entropía, $S_{\mathcal{A}}(\rho)$, como la máxima entropía de von Neumann compatible con el álgebra accesible.
   • Esta entropya interpola entre la entropía de von Neumann (cuando $\mathcal{A}$ es el álgebra de operadores completa) y la entropía observacional (cuando $\mathcal{A}$ es conmutativa).
   • $S_{\mathcal{A}}$ se descompone en tres términos: una entropía de Shannon/Gibbs sobre los sectores, una entropía de von Neumann de la parte accesible dentro de los sectores, y un término de entropía de Boltzmann que contabiliza los grados de libertad inaccesibles (el álgebra del conmutante $\mathcal{A}'$).

3. Leyes Termodinámicas:

   • Medición de Dos Puntos (TPM): Los autores derivan la segunda ley considerando mediciones iniciales y finales definidas por (potencialmente diferentes) álgebras accesibles $\mathcal{A}_i$ y $\mathcal{A}_f$.
   • Equilibrio Interno: Se introduce el concepto de "equilibrio interno", donde los grados de libertad inaccesibles (en el conmutante) se asumen en un estado microcanónico (de máxima entropía) relativo a las restricciones accesibles. Las desviaciones de este estado introducen términos de corrección en la segunda ley.
   • Procesos Cuasiestáticos: Para definir calor y trabajo, los autores consideran un camino continuo de esquemas de medición (rotando el álgebra accesible). Esto permite la identificación de incrementos infinitesimales de calor y trabajo, tendiendo un puente entre los cambios informacionales y las transferencias energéticas.

Contribuciones Clave y Resultados

• Segunda Ley Generalizada: El artículo deriva una segunda ley de grano grueso para la entropía dependiente del álgebra:
  $$\Delta S_{\mathcal{A}} - \Delta \langle K \rangle \geq -I_{ext} - I_{int}$$
  donde $I_{ext}$ es la información mutua inicial entre el sistema y el entorno e $I_{int}$ es la entropía relativa entre el estado inicial y el estado de grano grueso (que cuantifica la falta de equilibrio interno).

  • En la Perspectiva de Sistema Abierto, la desigualdad captura la irreversibilidad proveniente tanto de la dinámica no unitaria del entorno como del equilibrio interno.
  • En la Perspectiva Autónoma (sistema bipartito aislado), la ley relaciona la producción de entropía del sistema y del entorno con la variación de la información mutua observacional.

• Teoremas de Fluctuación: Los autores derivan teoremas de fluctuación integrales tanto para promedios como para trayectorias estocásticas. Estos teoremas restringen las fluctuaciones de las funciones termodinámicas al nivel de grano grueso, recuperando resultados estándar en el límite de resolución completa y proporcionando límites para las violaciones aparentes de la segunda ley cuando se consumen recursos internos.

• Definiciones Emergentes de Trabajo y Calor:

  • Al considerar variaciones cuasiestáticas del álgebra accesible, los autores identifican contribuciones de trabajo derivadas de: (i) cambios en el Hamiltoniano del sistema, (ii) cambios en el estado del entorno (recursos no térmicos), y (iii) la manipulación del álgebra misma (cambio en la base de medición/restricciones).
  • El calor se identifica como la transferencia de energía asociada con la relajación del sistema hacia el punto fijo instantáneo de la dinámica dentro del álgebra actual.
  • Crucialmente, se demuestra que la contribución de trabajo de la variación del álgebra es un costo termodinámico genuino, distinto del trabajo Hamiltoniano estándar, que surge de la "retroacción" (back-action) del esquema de medición o de las restricciones externas.

• Termodinámica Estocástica con Mediciones de Grano Grueso: El marco extiende la termodinámica estocástica a escenarios donde el entorno es monitoreado mediante mediciones de grano grueso (imperfectas). Esto permite el análisis de sistemas cuánticos grandes donde la tomografía completa es imposible, siempre que el entorno sea monitoreado en una base específica (posiblemente de grano grueso).

Significancia y Reivindicaciones
El artículo afirma unificar los paradigmas de la termodinámica macroscópica y estocástica dentro de un marco genuinamente cuántico. Su principal significancia radica en:

1. Flexibilidad Operacional: Proporciona una "caja de herramientas termodinámica" donde el nivel de granularidad es un parámetro ajustable. Esto permite a los investigadores equilibrar la simplicidad de la descripción (pocos variables) con la precisión de las leyes termodinámicas, caracterizando las desviaciones cuando no se cumple el equilibrio interno.
2. Amigabilidad Experimental: Al basarse en las estadísticas de unos pocos observables de grano grueso en lugar de la matriz de densidad completa, el marco es aplicable a sistemas complejos de muchos cuerpos y reservorios naturales, abordando un cuello de botella importante en la termodinámica cuántica experimental.
3. Nuevos Insights Físicos: El marco identifica una contribución de trabajo específica asociada con la manipulación del álgebra accesible (restricciones), lo cual es relevante para comprender la retroacción de la medición cuántica y la termodinámica del control cuántico.
4. Unificación Teórica: El enfoque ofrece un método algebraico riguroso para la transición cuántico-clásica, mostrando cómo las leyes termodinámicas emergen a medida que el álgebra accesible se vuelve suficientemente gruesa o conmutativa.

Los autores ilustran estos conceptos mediante ejemplos paradigmáticos, incluyendo la emisión espontánea de un qubit, la termodinámica de un qubit bajo evolución no unitaria probada en una base dependiente del tiempo, y un emisor cuántico acoplado a un campo electromagnético 1D, demostrando cómo diferentes elecciones de álgebras accesibles afectan las leyes termodinámicas aparentes.