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

问题陈述
本文研究了处于临界磁场下的单维横向伊辛链（transverse Ising chain）自相关函数 $\chi(t)$ 的长时间渐近行为。该模型由哈密顿量 $H = -\frac{1}{2} \sum_{l \in \mathbb{Z}} (\sigma_l^x \sigma_{l+1}^x + \sigma_l^z)$ 定义，其中自旋通过沿 $x$ 轴的最近邻交换相互作用，并受到沿 $z$ 轴的横向场作用。自相关函数由热平均给出：$\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})}$。

McCoy、Perk 和 Shrock 此前的研究表明，$\chi(t)$ 可以表示为一个 Fredholm 行列式，Deift 和 Zhou [DZ94] 利用 Riemann-Hilbert (RH) 问题技术对其进行了分析。Deift 和 Zhou 推导出了领先阶的渐近行为：
$$\chi(t) = \exp\left[ \frac{t}{\pi} \int_{-1}^1 \ln |\tanh \beta \zeta| d\zeta + O(\ln t) \right].$$
本文解决的具体问题是细化误差项 $O(\ln t)$，以确定次领先增长项（对数项）的显式系数，并刻画振荡修正。这一问题是由 Percy Deift 提出的一个开放性问题。

方法论
作者采用了针对 Riemann-Hilbert 问题的非线性最速下降法，遵循 [DZ94] 建立的框架，但将其分析扩展到了捕捉高阶项的程度。核心方法论包括以下步骤：

1. 向单位圆形的变换： 将原始在区间 $[-1, 1]$ 上定义的 RH 问题通过共形映射 $z(w) = (w - w^{-1})/2i$ 映射到单位圆 $S^1$ 上。
2. 形变与分解： 将跳跃矩阵（jump matrix）在函数 $h(w)$ 消失的临界点 $\pm i$ 附近进行形变，打开“透镜”（lenses）。这涉及将跳跃矩阵进行 Bruhat 分解为上三角和下三角因子，从而允许将轮廓线形变为振荡项指数衰减的区域。
3. 全局参数解（Global Parametrix）： 构建一个全局参数解 $P^{(gl)}(w)$ 来近似远离奇异点 $w = \pm 1$ 处的解。该参数解满足主轮廓 $\Gamma_{gl}$ 上的跳跃条件，并包含了在 $\pm i$ 处的极点结构。
4. 局部参数解（Local Parametrices）： 在 $w = \pm 1$ 附近（此时跳跃矩阵不趋于单位矩阵），作者构建了近似局部参数解。这些解是通过共形映射到 $\zeta$ 平面来构建的，并利用抛物柱函数（Parabolic Cylinder functions）进行显式求解（Riemann-Hilbert 问题 8）。局部解在邻域边界处与全局参数解进行匹配。
5. 小范数问题： 精确解与所构建近似解之间的误差被表述为一个新的 RH 问题（RHP 9），其跳跃矩阵 $G_R$ 接近于单位矩阵。该解通过涉及 Cauchy 算子的 Neumann 级数进行表达。
6. 渐近展开： 作者对级数项 $S^{(k)}(w)$ 进行了详细的渐近分析，特别是计算了来自边界积分（$\Gamma_{bnd}$）和内部积分（$\Gamma_{in}$）的贡献。这涉及评估抛物柱函数乘积的积分，并分析其随 $t \to \infty$ 时的行为。

主要贡献与结果
主要贡献在于确定了 $\chi(t)$ 渐近展开中的次领先增长项。作者证明了以下定理：

定理 1： 当 $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],$$
其中 $C$ 为常数。

关键技术发现包括：

• 显式对数系数： $\ln t$ 项的系数被确定为 $\frac{\ln^2(\tanh \beta)}{2\pi^2}$。该项源于全局参数解与 $w = \pm 1$ 附近局部参数解之间的相互作用。
• 振荡修正： 分析表明，指数中的误差项包含形式为 $e^{\pm 2it} t^{-1/2}$ 和 $e^{\pm 4it} t^{-1}$ 的振荡分量，并受 $\ln t$ 的幂次调制。这些分量源于误差函数 $R(w)$ 在无穷远处的留数。
• 对 Deift-Zhou 的完善： 虽然 Deift 和 Zhou 确立了指数中的领先线性增长，但这项工作细化了 $O(\ln t)$ 项，提供了对长时间衰减更精确的描述。

意义
本文声称其意义在于解决了 Percy Deift 关于临界状态下横向伊辛链精确渐近行为的一个特定开放问题。通过完善 Deift-Zhou 的结果，作者提供了自相关函数衰减更完整的图景，明确分离出了对数修正项。

作者指出，他们的方法在很大程度上基于 [DZ94] 的分析，并引用其作为基础证明，但他们展示了所有必要的计算以演示次领先项。他们明确指出，确定指数中的常数项 $C$ 是一个独立的问题，该 RH 方法对于单独的 $\sigma_1(t)$ 并不适用（因为 $\chi(t)$ 涉及对 $\sigma_1(t)$ 的积分），并将此确定为未来的研究课题。本文并未提出新的实验应用，而是为可积量子自旋系统的严格数学理解以及可积算子的渐近分析做出了贡献。