Quantum stochastic thermodynamics of macroscopic systems: an algebraic approach

Sintesi Tecnica: Termodinamica Stocastica Quantistica di Sistemi Macroscopici: Un Approccio Algebrico

Problematica
Le attuali formulazioni della termodinamica quantistica affrontano una dicotomia. Da un lato, la termodinamica macroscopica si basa su descrizioni coarse-grained (a risoluzione grossolana) dove i gradi di libertà interni sono assunti in rapido equilibrio, permettendo l'emergenza dell'irreversibilità e della seconda legge senza tracciare il pieno stato quantistico. Dall'altro lato, la termododinamica stocastica quantistica stabilita (ad esempio, per sistemi aperti) richiede tipicamente l'accesso completo alla matrice di densità del sistema (o alla funzione d'onda) per definire quantità termodinamiche come l'entropia di von Neumann, il calore e il lavoro. Questo requisito è sperimentalmente proibitivo per sistemi a molti corpi e non riesce a catturare la produzione di entropia "interna" associata all'equilibrio dei gradi di libertà non osservati. Inoltre, gli approcci standard spesso trattano la dinamica unitaria chiusa come reversibile, rendendo difficile analizzare il comportamento termodinamico di sistemi quantistici isolati o la transizione quantistico-classica da una prospettiva termodinamica. Il saggio affronta la necessità di un quadro che interpoli tra la termodinamica stocastica fine-grained e la termodinamica macroscopica di equilibrio, capace di gestire sistemi in cui è accessibile solo un sottoinsieme di osservabili (una descrizione coarse-grained).

Metodologia
Gli autori propongono un quadro basato sulla specifica di una sottocalgebra accessibile di osservabili, $\mathcal{A} \subset \mathcal{B}(\mathcal{H})$, che definisce il livello di coarse-graining.

1. Coarse-Graining Algebrico:

   • Caso Commutativo: Il quadro inizia con la misurazione di una singola osservabile coarse (o un insieme commutativo), generando un'algebra commutativa. Ciò mappa uno stato micro $\rho$ in una distribuzione di macrostati classici $p_J$. Gli autori utilizzano la mappa di recupero di Petz (o equivalentemente il principio di massima entropia di Jaynes) per ricostruire uno "stato coarse-grained" $\rho_{cg}$ compatibile con i risultati della misurazione.
   • Caso Non-Commutativo: Il quadro viene generalizzato ad arbitrarie sottocalcere di tipo I di von Neumann. Le osservabili accessibili possono non commutare. Lo stato coarse-grained è definito come lo stato che massimizza l'entropia di von Neumann soggetto ai vincoli imposti dai valori di aspettazione di tutte le operatori nella sottocalce $\mathcal{A}$. Ciò risulta in un operatore di densità ridotto che può mantenere coerenze quantistiche all'interno dei settori definiti dall'algebra.

2. Entropia Dipendente dall'Algebra:

   • Viene definita una nuova funzione di entropia, $S_{\mathcal{A}}(\rho)$, come la massima entropia di von Neumann compatibile con l'algebra accessibile.
   • Questa entropia interpola tra l'entropia di von Neumann (quando $\mathcal{A}$ è l'intera algebra degli operatori) e l'entropia osservazionale (quando $\mathcal{A}$ è commutativa).
   • $S_{\mathcal{A}}$ si decompone in tre termini: un'entropia di Shannon/Gibbs sui settori, un'entropia di von Neumann della parte accessibile entro i settori, e un termine di entropia di Boltzmann che tiene conto dei gradi di libertà inaccessibili (l'algebra del commutante $\mathcal{A}'$).

3. Leggi Termodinamiche:

   • Misurazione a Due Punti (TPM): Gli autori derivano la seconda legge considerando misurazioni iniziali e finali definite da (potenzialmente diverse) alge accessibili $\mathcal{A}_i$ e $\mathcal{A}_f$.
   • Equilibrio Interno: Viene introdotto il concetto di "equilibrio interno", dove i gradi di libertà inaccessibili (nel commutante) sono assunti in uno stato microcanonico (massima entropia) rispetto ai vincoli accessibili. Le deviazioni da questo stato introducono termini di correzione nella seconda legge.
   • Processi Quasi-Statici: Per definire calore e lavoro, gli autori considerano un percorso continuo di schemi di misurazione (ruotando l'algebra accessibile). Ciò consente l'identificazione di incrementi infinitesimali di calore e lavoro, colmando il divario tra cambiamenti informazionali e trasferimenti energetici.

Contributi Chiave e Risultati

• Seconda Legge Generalizzata: Il saggio deriva una seconda legge coarse-grained per l'entropia dipendente dall'algebra:
  $$\Delta S_{\mathcal{A}} - \Delta \langle K \rangle \geq -I_{ext} - I_{int}$$
  dove $I_{ext}$ è l'informazione mutua iniziale sistema-ambiente e $I_{int}$ è l'entropia relativa tra lo stato iniziale e lo stato coarse-grained (quantificando la mancanza di equilibrio interno).

  • Nella Prospettiva del Sistema Aperto, la disuguaglianza cattura l'irreversibilità sia dalla dinamica non unitaria dell'ambiente che dall'equilibrio interno.
  • Nella Prospettiva Autonoma (sistema bipartito isolato), la legge mette in relazione la produzione di entropia del sistema e dell'ambiente con la variazione dell'informazione mutua osservazionale.

• Teoremi delle Fluttuazioni: Gli autori derivano teoremi integrali delle fluttuazioni sia per le medie che per le traiettorie stocastiche. Questi teoremi vincolano le fluttuazioni delle funzioni termodinamiche al livello coarse-grained, recuperando i risultati standard nel limite di piena risoluzione e fornendo limiti per le apparenti violazioni della seconda legge quando le risorse interne vengono consumate.

• Definizioni Emergenti di Lavoro e Calore:

  • Considerando variazioni quasi-statiche dell'algebra accessibile, gli autori identificano contributi di lavoro derivanti da: (i) cambiamenti nell'Hamiltoniana del sistema, (ii) cambiamenti nello stato dell'ambiente (risorse non termiche), e (iii) la manipolazione dell'algebra stessa (cambiamento della base di misurazione/vincoli).
  • Il calore è identificato come il trasferimento di energia associato al rilassamento del sistema verso il punto fisso istantaneo della dinamica entro l'attuale algebra.
  • Crucialmente, il contributo di lavoro derivante dalla variazione dell'algebra è mostrato essere un costo termodinamico genuino, distinto dal lavoro hamiltoniano standard, derivante dal "back-action" dello schema di misurazione o dai vincoli esterni.

• Termodinamica Stocastica con Misurazioni Coarse: Il quadro estende la termodinamica stocastica a scenari in cui l'ambiente è monitorato tramite misurazioni coarse (imperfette). Ciò consente l'analisi di grandi sistemi quantistici dove la tomografia completa è impossibile, a patto che l'ambiente sia monitorato in una specifica (possibilmente coarse) base.

Significato e Rivendicazioni
Il saggio rivendica di unificare i paradigmi della termodinamica macroscopica e stocastica all'interno di un quadro genuinamente quantistico. La sua importanza primaria risiede in:

1. Flessibilità Operativa: Fornisce un "toolbox termodinamico" dove il livello di coarse-graining è un parametro regolabile. Ciò consente ai ricercatori di bilanciare la semplicità della descrizione (poche variabili) con l'accuratezza delle leggi termodinamiche, caratterizzando le deviazioni quando l'equilibrio interno non è soddisfatto.
2. Facilità Sperimentale: Basandosi sulla statistica di poche osservabili coarse (approssimative) piuttosto che sulla matrice di densità completa, il quadro è applicabile a sistemi complessi a molti corpi e serbatoi naturali, affrontando un importante collo di bottiglia della termodinamica quantistica sperimentale.
3. Nuove Intuizioni Fisiche: Il quadro identifica un contributo di lavoro specifico associato alla manipolazione dell'algebra accessibile (vincoli), che è rilevante per comprendere il back-action della misurazione quantistica e la termodinamica del controllo quantistico.
4. Unificazione Teorica: Offre un approccio algebrico rigoroso alla transizione quantistico-classica, mostrando come le leggi termodinamiche emergano quando l'algebra accessibile diventa sufficientemente coarse o commutativa.

Gli autori illustrano questi concetti attraverso esempi paradigmatici, inclusa l'emissione spontanea di un qubit, la termodinamica di un qubit sotto evoluzione non unitaria sondata in una base tempo-dipendente, e un emettitore quantistico accoppiato a un campo elettromagnetico 1D, dimostrando come diverse scelte di alge accessibili influenzino le apparenti leggi termodinamiche.