The contact temperature of arbitrary quantum states

Sintesi Tecnica: La Temperatura di Contatto di Stati Quantistici Arbitrari

Enunciato del Problema
Il documento affronta la sfida di assegnare una temperatura a uno stato quantistico arbitrario e fuori equilibrio $\rho$ di un sistema a dimensione finita. Mentre gli stati di equilibrio sono ben definiti dalla matrice densità di Gibbs $\gamma_\beta = e^{-\beta H}/\text{Tr}(e^{-\beta H})$, estendere il concetto di temperatura a stati generali rimane un problema aperto. Gli approcci esistenti includono la "temperatura effettiva" $\beta^*$, definita come la temperatura di Gibbs che produce la stessa energia media, o il minimizzatore dell'entropia relativa. Tuttavia, queste definizioni sono spesso astratte o prive di un'interpretazione fisica operativa. Gli autori mirano a definire una "temperatura di contatto" $\beta_c$ attraverso uno schema operativo: accoppiare il sistema a un termometro universale e determinare la temperatura del termometro alla quale il flusso netto di calore svanisce.

Metodologia
Gli autori propongono un modello specifico di un "termometro universale" (Sistema B) accoppiato al sistema di interesse (Sistema A).

1. Sistema A: Un sistema quantistico a $d$ livelli con un Hamiltoniano non degenere $H_A$ ed energie $\varepsilon_1 < \dots < \varepsilon_d$.
2. Sistema B (Termometro): Un sistema quantistico a dimensione infinita con un Hamiltoniano $H_B$ i cui autovalori sono equispaziati $\eta_k = k/N$ (dove $N$ è grande). Il termometro è preparato in uno stato di Gibbs $\tau_\beta = e^{-\beta H_B}/\text{Tr}(e^{-\beta H_B})$ all'inversa della temperatura $\beta$.
3. Interazione: I sistemi interagiscono tramite un operatore unitario $U$ che agisce sullo spazio di Hilbert composito, soddisfacendo la condizione di conservazione dell'energia $[U, H_A + H_B] = 0$.
4. Assunzione di Genericità: Per garantire un "buon" contatto termico, gli autori impongono due condizioni:
   • Risonanza: Le differenze di energia (frequenze di Bohr) del Sistema A devono essere multipli della spaziatura dei livelli del termometro $1/N$.
   • Equiprobabilità: Le probabilità di transizione tra qualsiasi coppia di autostati dell'Hamiltoniano non accoppiato $H_A + H_B$ con la stessa energia totale sono uguali. Ciò è modellato matematicamente assumendo che $U$ agisca come un unitario casuale (misura di Haar) all'interno di ciascuno spazio eigenspeciale di energia.

La quantità centrale è il flusso di calore $Q_A(\beta)$, definito come la variazione dell'energia attesa del Sistema A dopo l'interazione:
$$Q_A(\beta) = \text{Tr}_{AB}(U(\rho \otimes \tau_\beta)U^* H_A) - \text{Tr}_A(\rho H_A)$$
La temperatura di contatto $\beta_c$ è definita come l'unico valore di $\beta$ per cui $Q_A(\beta) = 0$.

Risultati Chiave e Contributi

1. Espressione Esplicita per il Flusso di Calore:
   Gli autori derivano una formula esplicita per il flusso di calore $Q_A(\beta)$ per $\beta > 0$. Il flusso dipende solo dallo spettro energetico di $H_A$ e dalle popolazioni $p_j$ dello stato $\rho$ nella base degli autostati dell'energia, indipendentemente dai dettagli specifici della degenerazione del termometro o della dimensione del gap $N$ (nel limite $N \to \infty$).
   $$Q_A(\beta) = \sum_{1 \le j < k \le d} \frac{e^{-\beta(\varepsilon_k - \varepsilon_j)}}{k(k-1)} p_j \sum_{l=1}^{k-1} (\varepsilon_k - \varepsilon_l) - \sum_{k=2}^d \frac{p_k}{k} \sum_{l=1}^{k-1} (\varepsilon_k - \varepsilon_l)$$

2. Esistenza e Unicità della Temperatura di Contatto:

   • Caso $Q_A(0) \ge 0$: Se il flusso di calore a temperatura infinita è non negativo, esiste un unico valore radice non negativo $\beta_c \ge 0$. La funzione $\beta \mapsto Q_A(\beta)$ è strettamente decrescente e continua.
   • Caso $Q_A(0) < 0$: Per stati in cui il sistema trasferisce calore anche a un serbatoio infinitamente caldo (violando l'intuizione della seconda legge dell'equilibrio), la formula standard per $\beta > 0$ non produce alcuna radice. Gli autori affrontano questo problema considerando un termometro a livelli finiti (con $K$ livelli) definito per tutti i $\beta \in \mathbb{R}$, e poi prendendo il limite $K \to \infty$. Ciò produce una funzione di flusso di calore estesa $\bar{Q}_A(\beta)$ definita per tutti i $\beta \in \mathbb{R}$.
   • Risultato: Per ogni stato $\rho$ (escludendo lo stato fondamentale e lo stato più eccitato), esiste un'unica radice reale $\beta_c \in \mathbb{R}$ tale che $\bar{Q}_A(\beta_c) = 0$.
     • Se $\rho$ è lo stato fondamentale, $\beta_c = +\infty$.
     • Se $\rho$ è lo stato più eccitato, $\beta_c = -\infty$.
     • Per tutti gli altri stati, $\beta_c$ è finito. Il segno di $\beta_c$ corrisponde al segno di $Q_A(0)$.

3. Analisi Strutturale tramite Matrici Stocastiche:
   Il documento analizza l'interazione attraverso la lente dei canali quantistici termici ridotti $\Phi_\beta$. Il flusso di calore è correlato a una matrice stocastica $G(\beta)$ che descrive le probabilità di transizione tra i livelli energetici.

   • La matrice $G(\beta)$ è mostrata essere strettamente positiva e soddisfa il bilancio di dettaglio.
   • Lo spettro del canale $\Phi_\beta$ viene analizzato: possiede un autovalore semplice 1 (corrispondente allo stato di Gibbs) e tutti gli altri autovalori hanno modulo strettamente minore di 1.
   • Questo gap spettrale assicura che interazioni ripetute con un nuovo termometro alla temperatura $\beta$ portino il sistema esponenzialmente velocemente allo stato di Gibbs $\gamma_\beta$. Di conseguenza, la temperatura di contatto dello stato del sistema converge a $\beta$ sotto interazioni ripetute di termalizzazione.

4. Confronto con la Temperatura Effettiva:
   Gli autori dimostrano che la temperatura di contatto $\beta_c$ è generalmente distinta dalla temperatura effettiva $\beta^*$ (definita tramite il matching dell'energia o la minimizzazione dell'entropia relativa). In esempi specifici (ad esempio, un sistema a 3 livelli), $\beta_c$ e $\beta^*$ possono differire significativamente, e la loro relazione dipende dalle specifiche popolazioni dello stato.

Significato e Rivendicazioni
Il documento rivendica di fornire una definizione universale e operativa della temperatura per stati quantistici arbitrari a dimensione finita.

• Universalità: Il modello del termometro fornisce una temperatura di contatto unica indipendentemente dalla specifica natura fisica del sistema, purché il sistema sia a dimensione finita.
• Definizione Operativa: Diversamente dalle definizioni astratte basate sulla massimizzazione dell'entropia, $\beta_c$ è definita da un processo fisico: la scomparsa del flusso di calore accoppiando il sistema a un tipo specifico di serbatoio termico.
• Gestione del Fuori Equilibrio: Il framework assegna con successo una temperatura (potenzialmente negativa) a stati che sono "lontani dall'equilibrio" e che altrimenti violerebbero le normali intuizioni termodinamiche (ad esempio, trasferendo calore a un bagno infinitamente caldo).
• Rigore Matematico: Il lavoro stabilisce l'esistenza e l'unicità di questa temperatura attraverso un'analisi rigorosa della funzione di flusso di calore e delle proprietà spettrali degli associati canali quantistici.

Gli autori non propongono implementazioni sperimentali o applicazioni specifiche alle macchine quantistiche, se non menzionando la connessione con le "temperature virtuali" nelle macchine termiche. Il lavoro rimane una costruzione teorica che definisce una nuova quantità termodinamica per gli stati.