Mean-Force Hamiltonians from Influence Functionals

Titolo: Hamiltoniani di Forza Media da Funzionali di Influenza

Autore: Gerard McCaul
Data: 18 febbraio 2026

1. Il Problema: Termodinamica ad Accoppiamento Forte

Il lavoro affronta una sfida fondamentale nella fisica dei sistemi aperti quantistici: la descrizione dell'equilibrio termodinamico nel regime di accoppiamento forte tra un sistema e il suo ambiente (bagno termico).

• Limiti dell'approccio standard: Nella teoria classica dei sistemi aperti (regimi di accoppiamento debole o Markoviani), lo stato ridotto di equilibrio è ben approssimato da uno stato di Gibbs definito dall'Hamiltoniana nuda del sistema, eventualmente rinormalizzata. Tuttavia, a accoppiamento forte, lo stato ridotto eredita una dipendenza esplicita dalla temperatura e contenuti operatoriali indotti dall'interazione che non possono essere catturati da semplici rinormalizzazioni.
• L'Hamiltoniana di Forza Media (HMF): L'oggetto teorico corretto per descrivere l'equilibrio è l'HMF, definita come $H_{MF} = -\beta^{-1} \ln(\text{Tr}_B e^{-\beta H_{tot}})$. Sebbene la definizione sia formalmente univoca, ottenere una forma operatoriale esplicita e compatta per $H_{MF}$ è estremamente difficile.
• La difficoltà principale: L'operazione di traccia parziale mescola i gradi di libertà del bagno e del sistema in modo non invertibile. Le approssimazioni esistenti (trasformazioni di polaron, mappature di coordinate di reazione) spesso falliscono o non forniscono forme operatoriali chiuse, specialmente quando l'interazione non commuta con l'Hamiltoniana del sistema.

2. Metodologia: Il Framework della "Densità Quenched"

L'autore propone un nuovo framework teorico chiamato "densità quenched" (densità congelata) che utilizza la trasformazione di Hubbard-Stratonovich per riscrivere lo stato di equilibrio ridotto.

• Separazione Statistica-Algebrica: L'obiettivo è separare le proprietà statistiche dell'ambiente (descritte dalla densità spettrale) dalla struttura algebrica della risposta del sistema.
• Funzionale di Influenza: Si parte dal funzionale di influenza di Feynman-Vernon in tempo immaginario, che descrive l'effetto del bagno come un kernel non locale bilocale.
• Trasformazione di Hubbard-Stratonovich (HS): Per rendere locale l'interazione, viene applicata la trasformazione HS. Questa mappatura sostituisce l'interazione non locale con un campo stocastico ausiliario $\xi(\tau)$ che agisce localmente sul sistema.
• Rappresentazione Stocastica: Lo stato ridotto $\bar{\rho}_S(\beta)$ viene riscritto non come una traccia parziale, ma come una media classica su un insieme di propagatori di tempo immaginario "quenched":
  $$\bar{\rho}_S(\beta) = \mathbb{E}_\xi \left[ \hat{T} e^{-\int_0^\beta d\tau H_{eff}[\xi(\tau)]} \right]$$
  Dove $H_{eff}[\xi(\tau)] = H_Q - \xi(\tau)f$ è un'Hamiltoniana efficace dipendente dal tempo (o dal tempo immaginario) e $\xi(\tau)$ è un campo gaussiano le cui proprietà statistiche sono fissate dal kernel di influenza.
• Caso Commutante (QND): Il framework viene applicato rigorosamente al caso in cui l'operatore di accoppiamento $f$ commuta con l'Hamiltoniana del sistema $[H_Q, f] = 0$. In questo settore, l'ordinamento temporale $\hat{T}$ diventa ridondante e l'integrale stocastico può essere risolto analiticamente.

3. Risultati Chiave

Nel caso di un bagno armonico lineare con accoppiamento commutante, il framework produce un risultato esatto e in forma chiusa:

• Forma Esatta dell'HMF: L'Hamiltoniana di forza media risulta essere:
  $$H_{MF}(\beta) = H_Q - \lambda f^2$$
  Dove $\lambda$ è l'energia di riorganizzazione, definita come $\lambda = \frac{1}{\pi} \int_0^\infty d\omega \frac{J(\omega)}{\omega}$.
• Indipendenza dalla Temperatura: Il termine di correzione $-\lambda f^2$ è indipendente dalla temperatura. Questo conferma che, in questo settore, l'effetto del bagno è puramente una rinormalizzazione statica del potenziale.
• Validazione Numerica: L'autore valida il risultato teorico attraverso due metodi:
  1. Calcolo della traccia su un bagno finito: Simulazione esatta di un bagno composto da un numero finito di oscillatori armonici.
  2. Campionamento stocastico: Implementazione numerica della media sul campo $\xi(\tau)$ per un modello a cinque livelli.
     I risultati mostrano un accordo perfetto (precisione macchina) tra la predizione analitica, il campionamento stocastico e la traccia diretta, confermando la validità del framework anche in regime di accoppiamento ultra-forte.
• Dominio del Proiettore: Nel modello a livelli discreti, si osserva che l'HMF modifica solo il sottospazio accoppiato (spostando l'energia del livello $|4\rangle$ di $-\lambda$), lasciando invariati i livelli non accoppiati. Questo conferma la previsione di "dominanza del proiettore" negli stati di Gibbs di forza media.

4. Contributi e Significatività

• Ponte Rigoroso: Il lavoro stabilisce un ponte rigoroso tra la descrizione tramite integrali di percorso (non locale, esatta per il bagno ma opaca per la struttura operatoriale) e la descrizione termodinamica locale (Hamiltoniana efficace).
• Risolvere l'Invertibilità: Dimostra come la trasformazione HS permetta di "invertire" la traccia parziale, trasformando un problema di integrazione funzionale in un problema di media stocastica su operatori locali.
• Fondamento per Generalizzazioni: Sebbene il risultato esatto per il caso commutante fosse noto in altre forme, la derivazione tramite il framework della densità quenched è cruciale perché:
  1. Dimostra la capacità del metodo di recuperare identità termodinamiche da primi principi.
  2. Fornisce la base metodologica per estendere la teoria a accoppiamenti non commutanti e ambienti anarmonici, dove l'integrale stocastico non è risolvibile analiticamente ma può essere trattato numericamente o tramite approssimazioni controllate.
• Implicazioni Fisiche: Il lavoro chiarisce che, nel settore commutante, l'equilibrio è governato da un semplice spostamento di energia (rinormalizzazione del potenziale) e non da un mescolamento complesso dei livelli energetici, risolvendo tensioni concettuali tra descrizioni "state-first" e "operator-first".

In sintesi, McCaul fornisce un nuovo strumento formale potente per la termodinamica quantistica a forte accoppiamento, trasformando un problema intrattabile di traccia parziale in un problema di dinamica stocastica locale, con validazione numerica robusta.