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

Enunciado do Problema
Este artigo aborda a assintótica de longo tempo da função de autocorrelação $\chi(t)$ para a cadeia de Ising transversal unidimensional no campo magnético crítico. O modelo é definido pelo Hamiltoniano $H = -\frac{1}{2} \sum_{l \in \mathbb{Z}} (\sigma_l^x \sigma_{l+1}^x + \sigma_l^z)$, onde os spins interagem via troca de vizinho mais próximo ao longo do eixo $x$ e estão sujeitos a um campo transversal ao longo do eixo $z$. A função de autocorrelação é dada pela média térmica $\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})}$.

Trabalhos anteriores de McCoy, Perk e Shrock estabeleceram que $\chi(t)$ pode ser expressa como um determinante de Fredholm, o qual Deift e Zhou [DZ94] analisaram utilizando técnicas de problemas de Riemann-Hilbert (RH). Deift e Zhou derivaram o comportamento assintótico de ordem principal:
$$\chi(t) = \exp\left[ \frac{t}{\pi} \int_{-1}^1 \ln |\tanh \beta \zeta| d\zeta + O(\ln t) \right].$$
O problema específico tratado neste artigo é refinar o termo de erro $O(\ln t)$ para determinar o coeficiente explícito do termo de crescimento subletalente (o termo logarítmico) e caracterizar as correções oscilatórias. Este problema foi proposto por Percy Deift como uma questão em aberto.

Metodologia
Os autores empregam o método de descida estepante não linear para problemas de Riemann-Hilbert, seguindo o arcabouço estabelecido por [DZ94], mas estendendo a análise para capturar termos de ordem superior. A metodologia central envolve as seguintes etapas:

1. Transformação para o Círculo Unitário: O problema de RH original definido no intervalo $[-1, 1]$ é mapeado para o círculo unitário $S^1$ via uma aplicação conforme $z(w) = (w - w^{-1})/2i$.
2. Deformação e Fatoração: A matriz de salto é deformada para abrir "lentes" longe dos pontos críticos $\pm i$ onde a função $h(w)$ se anula. Isso envolve uma decomposição de Bruhat da matriz de salto em fatores triangulares superiores e inferiores, permitindo que o contorno seja deformado para regiões onde os termos oscilatórios decaem exponencialmente.
3. Parametrizante Global: Uma parametrizentante global $P^{(gl)}(w)$ é construída para aproximar a solução longe dos pontos singulares $w = \pm 1$. Esta parametrizentante satisfaz as condições de salto no contorno principal $\Gamma_{gl}$ e incorpora a estrutura de polos em $\pm i$.
4. Parametrizantes Locais: Próximo aos pontos $w = \pm 1$, onde as matrizes de salto não decaem para a identidade, os autores constroem parametrizentes locais aproximadas. Estas são construídas via uma aplicação conforme para o plano $\zeta$ e resolvidas explicitamente em termos de funções de Parabolic Cylinder (Problema de Riemann-Hilbert 8). As soluções locais são ajustadas à parametrizentante global nas fronteiras das vizinhanças.
5. Problema de Norma Pequena: O erro entre a solução exata e a aproximação construída é formulado como um novo RH (RHP 9) com uma matriz de salto $G_R$ próxima da identidade. A solução é expressa via uma série de Neumann envolvendo o operador de Cauchy.
6. Expansão Assintótica: Os autores realizam uma análise assintótica detalhada dos termos da série $S^{(k)}(w)$, especificamente calculando as contribuições dos integrais de fronteira ($\Gamma_{bnd}$) e dos integrais interiores ($\Gamma_{in}$). Isso envolve a avaliação de integrais de produtos de funções de Parabolic Cylinder e a análise de seu comportamento quando $t \to \infty$.

Principais Contribuições e Resultados
A principal contribuição é a determinação do termo de crescimento subletalente na expansão assintótica de $\chi(t)$. Os autores provam o seguinte teorema:

Teorema 1: Quando $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],$$
onde $C$ é uma constante.

As principais descobertas técnicas incluem:

• Coeficiente Logarítmico Explícito: O coeficiente do termo $\ln t$ é identificado como $\frac{\ln^2(\tanh \beta)}{2\pi^2}$. Este termo surge da interação entre a parametrizentante global e as parametrizentes locais perto de $w = \pm 1$.
• Correções Oscilatórias: A análise revela que o termo de erro no expoente contém componentes oscilatórios da forma $e^{\pm 2it} t^{-1/2}$ e $e^{\pm 4it} t^{-1}$, modulados por potências de $\ln t$. Estes surgem dos resíduos da função de erro $R(w)$ no infinito.
• Refinamento de Deift-Zhou: Enquanto Deift e Zhou estabeleceram o crescimento linear de ordem principal no expoente, este trabalho refina o termo $O(\ln t)$, fornecendo uma descrição mais precisa do decaimento de longo tempo.

Significância
O artigo afirma ter significância ao resolver um problema específico proposto por Percy Deift sobre o comportamento assintótico preciso da cadeia de Ising transversal na criticidade. Ao refinar o resultado de Deift-Zhou, os autores fornecem uma imagem mais completa do decaimento da função de correlação, isolando explicitamente a correção logarítmica.

Os autores observam que sua abordagem baseia-se fortemente na análise de [DZ94], citando-a para provas fundamentais, mas apresentam todos os cálculos necessários para demonstrar os termos subletais. Eles declaram explicitamente que determinar o termo constante $C$ no expoente é uma questão separada não coberta pela abordagem de RH para $\sigma_1(t)$ sozinho (visto que $\chi(t)$ envolve uma integração de $\sigma_1(t)$), e identificam isso como um tema para trabalhos futuros. O artigo não propõe novas aplicações experimentais, mas contribui para a compreensão matemática rigorosa de sistemas de spin quânticos integráveis e para a análise assintótica de operadores integráveis.