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

Énoncé du Problème
Cet article traite des asymptotiques à long terme de la fonction d'autocorrélation $\chi(t)$ pour la chaîne d'Ising transverse unidimensionnelle au champ magnétique critique. Le modèle est défini par l'Hamiltonien $H = -\frac{1}{2} \sum_{l \in \mathbb{Z}} (\sigma_l^x \sigma_{l+1}^x + \sigma_l^z)$, où les spins interagissent par échange de plus proche voisin le long de l'axe $x$ et sont soumis à un champ transverse le long de l'axe $z$. La fonction d'autocorrélation est donnée par la moyenne thermique $\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})}$.

Les travaux antérieurs de McCoy, Perk et Shrock ont établi que $\chi(t)$ peut être exprimée sous la forme d'un déterminant de Fredholm, que Deift et Zhou [DZ94] ont analysé en utilisant les techniques de problèmes de Riemann-Hilbert (RH). Deift et Zhou ont dérivé le comportement asymptotique de premier ordre :
$$\chi(t) = \exp\left[ \frac{t}{\pi} \int_{-1}^1 \ln |\tanh \beta \zeta| d\zeta + O(\ln t) \right].$$
Le problème spécifique abordé dans cet article est d'affiner le terme d'erreur $O(\ln t)$ pour déterminer le coefficient explicite du terme de croissance de sous-ordre (le terme logarithmique) et pour caractériser les corrections oscillatoires. Ce problème a été posé par Percy Deift comme une question ouverte.

Méthodologie
Les auteurs emploient la méthode de descente de niveau non linéaire pour les problèmes de Riemann-Hilbert, suivant le cadre établi par [DZ94] mais en étendant l'analyse pour capturer les termes d'ordre supérieur. La méthodologie centrale comprend les étapes suivantes :

1. Transformation vers le cercle unité : Le problème RH original défini sur l'intervalle $[-1, 1]$ est projeté sur le cercle unité $S^1$ via une application conforme $z(w) = (w - w^{-1})/2i$.
2. Déformation et factorisation : La matrice de saut est déformée pour ouvrir des « lentilles » loin des points critiques $\pm i$ où la fonction $h(w)$ s'annule. Cela implique une décomposition de Bruhat de la matrice de saut en facteurs triangulaires supérieurs et inférieurs, permettant de déformer le contour dans des régions où les termes oscillatoires décroissent exponentiellement.
3. Paramètre global : Un paramètre global $P^{(gl)}(w)$ est construit pour approximer la solution loin des points singuliers $w = \pm 1$. Ce paramètre satisfait les conditions de saut sur le contour principal $\Gamma_{gl}$ et incorpore la structure de pôles en $\pm i$.
4. Paramètres locaux : Près des points $w = \pm 1$, où les matrices de saut ne décroissent pas vers l'identité, les auteurs construisent des paramètres locaux approximatifs. Ceux-ci sont bâtis à l'aide d'une application conforme vers le plan $\zeta$ et sont résolus explicitement en termes de fonctions de Parabolic Cylinder (Problème Riemann-Hilbert 8). Les solutions locales sont appariées au paramètre global sur les frontières des voisinages.
5. Problème de petite norme : L'erreur entre la solution exacte et l'approximation construite est formulée comme un nouveau problème RH (RHP 9) avec une matrice de saut $G_R$ proche de l'identité. La solution est exprimée via une série de Neumann impliquant l'opérateur de Cauchy.
6. Développement asymptotique : Les auteurs effectuent une analyse asymptotique détaillée des termes de la série $S^{(k)}(w)$, en calculant spécifiquement les contributions des intégrales de bord ($\Gamma_{bnd}$) et des intégrales intérieures ($\Gamma_{in}$). Cela implique l'évaluation d'intégrales de produits de fonctions de Parabolic Cylinder et l'analyse de leur comportement lorsque $t \to \infty$.

Contributions Clés et Résultats
La contribution principale est la détermination du terme de croissance de sous-ordre dans le développement asymptotique de $\chi(t)$. Les auteurs prouvent le théorème suivant :

Théorème 1 : Lorsque $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],$$
où $C$ est une constante.

Les principales conclusions techniques incluent :

• Coefficient Logarithmique Explicite : Le coefficient du terme $\ln t$ est identifié comme étant $\frac{\ln^2(\tanh \beta)}{2\pi^2}$. Ce terme provient de l'interaction entre le paramètre global et les paramètres locaux près de $w = \pm 1$.
• Corrections Oscillatoires : L'analyse révèle que le terme d'erreur dans l'exposant contient des composantes oscillatoires de la forme $e^{\pm 2it} t^{-1/2}$ et $e^{\pm 4it} t^{-1}$, modulées par des puissances de $\ln t$. Celles-ci proviennent des résidus de la fonction d'erreur $R(w)$ à l'infini.
• Affinement de Deift-Zhou : Alors que Deift et Zhou ont établi la croissance linéaire de premier ordre dans l'exposant, ce travail affine le terme $O(\ln t)$, fournissant une description plus précise de la décroissance à long terme.

Signification
L'article affirme sa signification en résolvant un problème ouvert spécifique posé par Percy Deift concernant le comportement asymptotique précis de la chaîne d'Ising transverse à la criticité. En affinant le résultat de Deift-Zhou, les auteurs fournissent une image plus complète de la décroissance de la fonction de corrélation, en isolant explicitement la correction logarithmique.

Les auteurs notent que leur approche est fortement basée sur l'analyse de [DZ94, citant celui-ci pour les preuves fondamentales], mais ils présentent tous les calculs nécessaires pour démontrer les termes de sous-ordre. Ils précisent explicitement que la détermination du terme constant $C$ dans l'exposant est une question distincte non couverte par l'approche RH pour $\sigma_1(t)$ seul (car $\chi(t)$ implique l'intégration de $\sigma_1(t)$), et ils identifient cela comme un sujet pour des travaux futurs. L'article ne propose pas de nouvelles applications expérimentales mais contribue à la compréhension mathématique rigoureuse des systèmes de spins quantiques intégrables et de l'analyse asymptotique des opérateurs intégrables.