Long-time asymptotics of the autocorrelation function of the transverse Ising chain at the critical magnetic field Revisited

Enunciato del Problema
Questo articolo affronta l'asintotica a lungo termine della funzione di autocorrelazione $\chi(t)$ per la catena di Ising trasversa unidimensionale al campo magnetico critico. Il modello è definito dall'Hamiltoniana $H = -\frac{1}{2} \sum_{l \in \mathbb{Z}} (\sigma_l^x \sigma_{l+1}^x + \sigma_l^z)$, dove gli spin interagiscono tramite scambio a vicino raggio lungo l'asse $x$ ed sono soggetti a un campo trasverso lungo l'asse $z$. La funzione di autocorrelazione è data dalla media termica $\chi(t) = \frac{\text{Tr}(e^{-\beta H} e^{-iHt} \sigma_0^x(0) e^{iHt} \sigma_0^x(0))}{\text{Tr}(e^{-\beta H})}$.

Il lavoro precedente di McCoy, Perk e Shrock ha stabilito che $\chi(t)$ può essere espressa come un determinante di Fredholm, che Deift e Zhou [DZ94] hanno analizzato utilizzando tecniche di problemi di Riemann-Hilbert (RH). Deift e Zhou hanno derivato il comportamento asintotico del termine principale:
$$\chi(t) = \exp\left[ \frac{t}{\pi} \int_{-1}^1 \ln |\tanh \beta \zeta| d\zeta + O(\ln t) \right].$$
Il problema specifico affrontato in questo articolo è quello di raffinare il termine di errore $O(\ln t)$ per determinare il coefficiente esplicito del termine di crescita subletto (il termine logaritmico) e per caratterizzare le correzioni oscillatorie. Questo problema era stato posto da Percy Deift come una questione aperta.

Metodologia
Gli autori utilizzano il metodo del discesa rapida non lineare per i problemi di Riemann-Hilbert, seguendo il quadro metodologico stabilito in [DZ94] ma estendendo l'analisi per catturare i termini di ordine superiore. La metodologia centrale prevede i seguenti passaggi:

1. Trasformazione al Cerchio Unitario: L'originale problema RH definito sull'intervallo $[-1, 1]$ viene mappato sul cerchio unitario $S^1$ tramite una mappa conforme $z(w) = (w - w^{-1})/2i$.
2. Deformazione e Fattorizzazione: La matrice di salto viene deformata per aprire delle "lenti" lontano dai punti critici $\pm i$ dove la funzione $h(w)$ si annulla. Ciò comporta una decomposizione di Bruhat della matrice di salto in fattori triangolari superiori e inferiori, permettendo alla contorno di essere deformata in regioni in cui i termini oscillatori decadono esponenzialmente.
3. Parametro Globale: Un parametro globale $P^{(gl)}(w)$ viene costruito per approssimare la soluzione lontano dai punti singolari $w = \pm 1$. Questo parametro soddisfa le condizioni di salto sul contorno principale $\Gamma_{gl}$ e incorpora la struttura dei poli in $\pm i$.
4. Parametri Locali: Vicino ai punti $w = \pm 1$, dove le matrici di salto non decadono all'identità, gli autori costruiscono dei parametri locali approssimati. Questi sono costruiti mediante una mappa conforme al piano $\zeta$ e risolti esplicitamente in termini di funzioni di Parabola di Cylinder (Problema Riemann-Hilbert 8). Le soluzioni locali sono accoppiate al parametro globale sui confini dei vicinati.
5. Problema a Piccola Norma: L'errore tra la soluzione esatta e l'approssimazione costruita è formulato come un nuovo problema RH (RHP 9) con una matrice di salto $G_R$ vicina all'identità. La soluzione è espressa tramite una serie di Neumann che coinvolge l'operatore di Cauchy.
6. Espansione Asintotica: Gli autori eseguono un'analisi asintotica dettagliata dei termini della serie $S^{(k)}(w)$, calcolando specificamente i contributi degli integrali di bordo ($\Gamma_{bnd}$) e degli integrali interni ($\Gamma_{in}$). Ciò comporta la valutazione di integrali di prodotti di funzioni di Parabola di Cylinder e l'analisi del loro comportamento per $t \to \infty$.

Contributi Chiave e Risultati
Il contributo primario è la determinazione del termine di crescita subletto nell'espansione asintotica di $\chi(t)$. Gli autori dimostrano il seguente teorema:

Teorema 1: Per $t \to \infty$,
$$\chi(t) = \exp\left[ \frac{t}{\pi} \int_{-1}^1 \ln |\tanh \beta \zeta| d\zeta + \frac{\ln^2(\tanh \beta)}{2\pi^2} \ln t + C + O(t^{-1/4}) \right],$$
dove $C$ è una costante.

Le principali scoperte tecniche includono:

• Coefficiente Logaritmico Esplicito: Il coefficiente del termine $\ln t$ è identificato come $\frac{\ln^2(\tanh \beta)}{2\pi^2}$. Questo termine deriva dall'interazione tra il parametro globale e i parametri locali vicino a $w = \pm 1$.
• Correzioni Oscillatorie: L'analisi rivela che il termine di errore nell'esponente contiene componenti oscillatorie della forma $e^{\pm 2it} t^{-1/2}$ e $e^{\pm 4it} t^{-1}$, modulate da potenze di $\ln t$. Queste derivano dai residui della funzione di errore $R(w)$ all'infinito.
• Raffinamento di Deift-Zhou: Mentre Deift e Zhou hanno stabilito la crescita lineare principale nell'esponente, questo lavoro raffina il termine $O(\ln t)$, fornendo una descrizione più precisa del decadimento a lungo termine.

Significatività
L'articolo rivendica significatività nel risolvere un problema specifico posto da Percy Deift riguardante il comportamento asintotico preciso della catena di Ising trasversa alla criticità. Raffinando il risultato di Deift-Zhou, gli autori forniscono un quadro più completo del decadimento della funzione di correlazione, isolando esplicitamente la correzione logaritmica.

Gli autori notano che il loro approccio si basa pesantemente sull'analisi in [DZ94], citandolo per le prove fondamentali, ma presentano tutti i calcoli necessari per dimostrare i termini subletti. Essi dichiarano esplicitamente che la determinazione del termine costante $C$ nell'esponente è una questione separata non coperta dall'approccio RH per $\sigma_1(t)$ da solo (poiché $\chi(t)$ comporta l'integrazione di $\sigma_1(t)$), e identificano questo come un soggetto per lavori futuri. L'articolo non propone nuove applicazioni sperimentali ma contribuisce alla rigorosa comprensione matematica dei sistemi di spin quantistici integrabili e dell'analisi asintotica di operatori integrabili.