On the modeling of irreversibility by relaxator Liouville dynamics

Titolo: Modellazione dell'irreversibilità tramite la dinamica Liouvilliana del rilassatore (Relaxator Liouville Dynamics)

1. Il Problema

Il lavoro affronta una delle contraddizioni fondamentali della fisica statistica: la discrepanza tra la reversibilità microscopica delle equazioni fondamentali (equazione di von Neumann per la meccanica quantistica o teorema di Liouville per la meccanica classica) e l'irreversibilità macroscopica osservata nei sistemi termodinamici (relassamento verso stati stazionari, aumento dell'entropia).
Mentre le equazioni microscopiche ammettono soluzioni temporali invertibili e prevedono il ritorno degli stati iniziali dopo tempi di ricorrenza astronomici ($T_R$), i sistemi macroscopici mostrano un comportamento irreversibile su scale temporali molto più brevi. Il problema centrale è derivare rigorosamente un'equazione di moto irreversibile per i gradi di libertà "rilevanti" di un sistema, partendo dalla dinamica reversibile di un sistema totale (sistema + ambiente), senza introdurre postulati ad hoc o approssimazioni che violino la conservazione dell'energia totale.

2. Metodologia

Gli autori sviluppano un approccio generale basato su una rigorosa proiezione degli spazi di Liouville e sull'uso della trasformata di Laplace (immagine in frequenza).

• Separazione delle scale temporali: Il cuore della metodologia risiede nella distinzione tra due scale temporali critiche:

  • $t_s$: Il tempo di osservazione necessario per tracciare i gradi di libertà rilevanti del sistema (inverso della spaziatura dei livelli energetici del sistema isolato).
  • $t_e$: Il tempo di risoluzione spettrale necessario per risolvere lo spettro completo di tutti i gradi di libertà coinvolti (sistema + ambiente).
  • La condizione fondamentale per l'irreversibilità macroscopica è $t_s \ll t_e$. In sistemi macroscopici, $t_e$ scala esponenzialmente con il numero di particelle $N$, rendendo la risoluzione dello spettro totale impossibile su scale temporali fisiche.

• Formalismo del Proiettore: Utilizzando i proiettori di Nakajima-Zwanzig ($P$ per lo spazio dei gradi di libertà rilevanti, $Q$ per l'ambiente/irrelevanti), gli autori derivano un'equazione di moto esatta per lo stato ridotto del sistema.

  • L'operatore di Liouville totale $L_{tot}$ viene decomposto.
  • L'effetto dell'ambiente viene incorporato in un operatore non-hermitiano dipendente dalla frequenza, chiamato Rilassatore Liouvilliano $L(\omega)$.

• Densità Spettrale Continua: A causa della condizione $t_s \ll t_e$, lo spettro dell'operatore di Liouville dell'ambiente viene trattato come continuo. Questo permette di sostituire le somme discrete con integrali, introducendo una densità di livelli di frequenza $\gamma_L(\Omega)$.

3. Contributi Chiave e Risultati

• L'Equazione del Rilassatore Liouvilliano:
  Gli autori derivano l'equazione di moto generale per lo stato del sistema $\rho(\omega)$:
  $$\rho(\omega) = i G(\omega + i0^+) \rho(\omega)_0$$
  dove $G(z) = [z - L(\omega)]^{-1}$ è la risolvente e $L(\omega) = H(\omega) - i\Gamma(\omega)$.

  • $H(\omega)$: Uno spostamento spettrale (simile allo spostamento di Lamb), che è un operatore hermitiano.
  • $\Gamma(\omega)$: Il rilassatore, un operatore hermitiano e positivo che rompe la reversibilità. La sua presenza introduce parti immaginarie negative negli autovalori di $L(\omega)$, portando al decadimento esponenziale delle oscillazioni.

• Stati Stazionari Unici:
  Il lavoro dimostra che, in condizioni generiche (assenza di degenerazioni), l'operatore $L(\omega)$ possiede un unico autostato a autovalore zero (modo nullo). Di conseguenza, il sistema evolve verso uno stato stazionario unico $\rho_\infty$, indipendente dalle condizioni iniziali (inclusi i correlati iniziali tra sistema e ambiente).

  • Se l'ambiente è in equilibrio termico, lo stato stazionario è la distribuzione di Gibbs canonica.
  • L'equazione per lo stato stazionario si riduce a un'equazione master di Pauli con tassi di transizione non negativi.

• Correlazioni Iniziali e Memoria:
  A differenza delle approssimazioni Markoviane standard, questo formalismo include esplicitamente le correlazioni iniziali tra sistema e ambiente e gli effetti di memoria (dipendenza dalla frequenza di $L(\omega)$). Le correlazioni iniziali influenzano la dinamica transitoria ma non lo stato stazionario finale (a meno di degenerazioni non generiche).

• Generalizzazione della Teoria di Risposta Lineare di Kubo:
  Gli autori generalizzano la formula di Kubo per i sistemi aperti. La suscettività dinamica $\chi_{BA}(z)$ mantiene la stessa struttura formale della formula di Kubo, ma:

  1. Lo stato di equilibrio $\rho_{eq}$ è sostituito dallo stato stazionario $\rho_\infty$.
  2. La risolvente dell'operatore di Liouville isolato è sostituita dalla risolvente del rilassatore $G(z) = [z - L(z)]^{-1}$.
     Questo permette di descrivere la dissipazione sia nel regime di "livelli isolati" (dove si osservano risonanze con larghezza finita) sia nel regime di Kubo (spettro continuo, decadimento delle correlazioni).

• Approssimazioni e Limiti:

  • Accoppiamento Debole: In questa approssimazione, il rilassatore si riduce a funzioni di correlazione dell'ambiente e operatori di salto del sistema.
  • Limite Markoviano: Quando gli effetti di memoria sono trascurabili ($\tau_e \ll \delta t_s$), la dinamica diventa semi-gruppo (equazione di Lindblad/Born-Markov). Il paper mostra come questo sia un caso limite della dinamica più generale del rilassatore.

• Equazioni Cinetiche:
  Viene costruita un'equazione cinetica per le densità a una particella come caso speciale, dove il rilassatore corrisponde all'auto-energia nelle funzioni di Green fuori equilibrio (NEGF).

4. Significato e Impatto

• Unificazione Teorica: Il lavoro fornisce un quadro unificato che collega la meccanica quantistica microscopica reversibile alla termodinamica macroscopica irreversibile senza violare le leggi di conservazione fondamentali.
• Superamento delle Approssimazioni: Offre una descrizione più completa rispetto ai modelli Markoviani standard, essendo in grado di gestire dinamiche non-Markoviane, correlazioni iniziali e regimi di accoppiamento che non sono necessariamente deboli (sebbene l'espressione esplicita sia più semplice nell'approssimazione di accoppiamento debole).
• Chiarezza sulla Sorgente dell'Irreversibilità: Identifica l'irreversibilità non come una proprietà intrinseca delle equazioni microscopiche, ma come una conseguenza della separazione delle scale temporali ($t_s \ll t_e$) e dell'impossibilità pratica di risolvere lo spettro completo di un sistema macroscopico. L'irreversibilità emerge dalla continuità dello spettro dell'ambiente rispetto alla risoluzione temporale dell'osservatore.
• Applicabilità: Il formalismo è applicabile a una vasta gamma di problemi, dalla dinamica di qubit accoppiati a bagni termici, al trasporto quantistico, fino alla descrizione di fluidi e sistemi di molti corpi, fornendo un ponte tra la teoria dei campi fuori equilibrio e la fisica statistica classica.

In sintesi, Hajdu e Janßen dimostrano che l'irreversibilità può essere modellata rigorosamente come una dinamica di rilassamento governata da un operatore di Liouville complesso e dipendente dalla frequenza, derivato esattamente dalla proiezione della dinamica totale, offrendo una base solida per la termodinamica dei sistemi aperti.