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

Planteamiento del Problema
Este artículo aborda la asíntota de largo tiempo de la función de autocorrelación $\chi(t)$ para la cadena de Ising transversal unidimensional en el campo magnético crítico. El modelo está definido por el Hamiltoniano $H = -\frac{1}{2} \sum_{l \in \mathbb{Z}} (\sigma_l^x \sigma_{l+1}^x + \sigma_l^z)$, donde los espines interactúan mediante intercambio de vecino más cercano a lo largo del eje $x$ y están sujetos a un campo transversal a lo largo del eje $z$. La función de autocorrelación viene dada por el promedio térmico $\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})}$.

El trabajo previo de McCoy, Perk y Shrock estableció que $\chi(t)$ puede expresarse como un determinante de Fredholm, el cual Deift y Zhou [DZ94] analizaron utilizando técnicas de problemas de Riemann-Hilbert (RH). Deift y Zhou derivaron el comportamiento asintótico de orden principal:
$$\chi(t) = \exp\left[ \frac{t}{\pi} \int_{-1}^1 \ln |\tanh \beta \zeta| d\zeta + O(\ln t) \right].$$
El problema específico abordado en este artículo es refinar el término de error $O(\ln t)$ para determinar el coeficiente explícito del término de crecimiento subleiente (el término logarítmico) y caracterizar las correcciones oscilatorias. Este problema fue planteado por Percy Deift como una cuestión abierta.

Metodología
Los autores emplean el método de descenso estricto no lineal para problemas de Riemann-Hilbert, siguiendo el marco establecido en [DZ94] pero extendiendo el análisis para capturar términos de orden superior. La metodología central involucra los siguientes pasos:

1. Transformación al Círculo Unitario: El problema de RH original definido en el intervalo $[-1, 1]$ se mapea al círculo unitario $S^1$ mediante una aplicación conforme $z(w) = (w - w^{-1})/2i$.
2. Deformación y Factorización: La matriz de salto se deforma para abrir "lentes" lejos de los puntos críticos $\pm i$ donde la función $h(w)$ se anula. Esto implica una descomposición de Bruhat de la matriz de salto en factores triangulares superiores e inferiores, permitiendo que el contorno se deforme hacia regiones donde los términos oscilatorios decaen exponencialmente.
3. Parametrización Global: Se construye un parametrizante global $P^{(gl)}(w)$ para aproximar la solución lejos de los puntos singulares $w = \pm 1$. Este parametrizante satisface las condiciones de salto en el contorno principal $\Gamma_{gl}$ e incorpora la estructura de polos en $\pm i$.
4. Parametrizaciones Locales: Cerca de los puntos $w = \pm 1$, donde las matrices de salto no decaen a la identidad, los autores construyen parametrizantes locales aproximados. Estos se construyen mediante un mapeo conforme al plano $\zeta$ y se resuelven explícitamente en términos de funciones de cilindro parabólico (Problema de Riemann-Hilbert 8). Las soluciones locales se acoplan al parametrizante global en los límites de los vecindarios.
5. Problema de Norma Pequeña: El error entre la solución exacta y la aproximación construida se formula como un nuevo problema de RH (RHP 9) con una matriz de salto $G_R$ cercana a la identidad. La solución se expresa mediante una serie de Neumann que involucra el operador de Cauchy.
6. Expansión Asintótica: Los autores realizan un análisis asintótico detallado de los términos de la serie $S^{(k)}(w)$, calculando específicamente las contribuciones de las integrales de frontera ($\Gamma_{bnd}$) y las integrales interiores ($\Gamma_{in}$). Esto implica evaluar integrales de productos de funciones de cilindro parabólico y analizar su comportamiento cuando $t \to \infty$.

Contribuciones Clave y Resultados
La contribución principal es la determinación del término de crecimiento subleiente en la expansión asintótica de $\chi(t)$. Los autores demuestran el siguiente teorema:

Teorema 1: Cuando $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],$$
donde $C$ es una constante.

Los hallazgos técnicos clave incluyen:

• Coeficiente Logarítmico Explícito: El coeficiente del término $\ln t$ se identifica como $\frac{\ln^2(\tanh \beta)}{2\pi^2}$. Este término surge de la interacción entre el parametrizante global y los parametrizantes locales cerca de $w = \pm 1$.
• Correcciones Oscilatorias: El análisis revela que el término de error en el exponente contiene componentes oscilatorios de la forma $e^{\pm 2it} t^{-1/2}$ y $e^{\pm 4it} t^{-1}$, modulados por potencias de $\ln t$. Estos surgen de los residuos de la función de error $R(w)$ en el infinito.
• Refinamiento de Deift-Zhou: Mientras que Deift y Zhou establecieron el crecimiento lineal principal en el exponente, este trabajo refina el término $O(\ln t)$, proporcionando una descripción más precisa del decaimiento a largo tiempo.

Significancia
El artículo afirma su significancia al resolver un problema abierto específico planteado por Percy Deift respecto al comportamiento asintótico preciso de la cadena de Ising transversal en la criticidad. Al refinar el resultado de Deift-Zhou, los autores proporcionan una imagen más completa del decaimiento de la función de correlación, aislando explícitamente la corrección logarítmica.

Los autores señalan que su enfoque se basa fuertemente en el análisis de [DZ94], citándolo para pruebas fundacionales, pero presentan todos los cálculos necesarios para demostrar los términos subleientes. Expresan explícitamente que determinar la constante $C$ en el exponente es un asunto separado no cubierto por el enfoque de RH para $\sigma_1(t)$ solo (ya que $\chi(t)$ involucra una integración de $\sigma_1(t)$), e identifican esto como un tema para trabajos futuros. El artículo no propone nuevas aplicaciones experimentales, sino que contribuye a la comprensión matemática rigurosa de los sistemas de espín cuántico integrables y el análisis asintótico de operadores integrables.