Scaling limit of the 3D abelian Yang--Mills Langevin dynamics

技术摘要：三维阿贝尔杨-米尔斯朗之万动力学的标度极限

问题陈述
本文研究了与三维 $U(1)$ 格点杨-米尔斯理论相关的朗之万动力学（Langevin dynamics）的连续标度极限。虽然在二维和三维情形下，杨-米尔斯测度的随机量化已成功构建，且二维离散格点规范理论向其连续极限的收敛性已得到确立 [CS26]，但由于三维设置中增加的解析奇异性，将这些收敛结果扩展到三维仍然是一个开放问题。作者将注意力限制在阿贝尔 $U(1)$ 情形上，旨在为解决这一三维收敛问题迈出第一步。

该模型定义在具有一般类面元作用量（包括 Wilson、Manton 和 Villain 作用量）的离散三维环面 $\Lambda_L$ 上。动力学由朗之万方程控制，其不变测度在形式上与欧几里得量子场论测度一致。核心问题在于，在特定的弱耦合标度下，重标度后的格点动力学是否收敛到连续随机偏微分方程（SPDE）的解。

方法论与设置
作者在周期性格点 $\Lambda_L = \mathbb{Z}^d / (L\mathbb{Z}^d)$（其中 $L=2^N$）上采用严谨的标度极限方法。标度涉及以下过程：

1. 空间重标度： 格点间距设为 $\varepsilon = L^{-1}$，将离散环面映射到单位环面 $\mathbb{T}^d$。
2. 弱耦合标度： 逆耦合 $\beta$ 满足 $\beta = \bar{\beta}\varepsilon^{d-4}$。对于 $d=3$，这意味着 $\beta \sim \varepsilon^{-1}$。
3. 场重标度： 将紧致角度场 $\vartheta$（取值于 $\mathbb{R}/2\pi\mathbb{Z}$）通过 $\vartheta = \varepsilon\theta$ 重标度为实值 1-形式 $\theta$。
4. 规范固定： 分析在 DeTurck 规范下进行，该规范添加了一个项 $-d_\varepsilon d^*_\varepsilon \theta$ 到动力学中，以确保椭圆性和解的唯一性。

作者推导了控制重标度场 $\theta_\varepsilon$ 的离散 SPDE。通过在恒等元附近（在停止时间 $\tau_\varepsilon$ 内有效，此时场保持较小）对面元作用量 $h(\vartheta(\partial p))$ 进行泰勒展开，他们识别出了领先阶的非线性项。得到的方程形式如下：
$$\partial_t \theta_\varepsilon = \Delta_\varepsilon \theta_\varepsilon + a_3 \varepsilon^4 d^*_\varepsilon (d_\varepsilon \theta_\varepsilon)^3 + \varepsilon^{-2} d^*_\varepsilon R(\varepsilon^2 d_\varepsilon \theta_\varepsilon) + \xi_\varepsilon$$
其中 $\xi_\varepsilon$ 是离散时空白噪声，$a_3$ 取决于作用量 $h$ 在零点处的四阶导数，$R$ 代表高阶余项。

主要贡献与技术创新

1. 极限的普适性： 本文证明了极限动力学是普适的。无论选择何种面元作用量 $h$（只要满足温和的平滑性和归一化条件，例如 $h''(0)=1$），重标度后的场都收敛到相同的连续极限。格点作用量的特定高阶细节仅影响非线性项的系数，而这些系数在极限下趋于零。
2. 利用简化重整化处理奇异性： 一个关键的技术成就是对非线性项的处理。在三维设置中，非线性项的形式齐次性表明其处于“亚临界”状态（$d < 4$），类似于动力学 $\Phi^4_3$ 模型。虽然论文指出此类方程通常需要正则结构（regularity structures）或参数控制微积分（paracontrolled calculus）等额外工具来定义乘积并处理发散，但格点非线性项中显式的正 $\varepsilon$ 次幂（例如立方项前的 $\varepsilon^4$）抑制了奇异性。尽管仍需 Wick 重整化，但重整化常数被这些正 $\varepsilon$ 次幂所抵消。这使得作者能够使用离散 Schauder 估计和引理 4.1 在 $L^\infty$ 中控制非线性项，从而避免了使用正则结构或参数控制微积分的全套复杂工具。
3. 分解策略： 解被分解为一个线性部分（随机热方程解）和一个余项。作者在特定的离散 Hölder 空间（$C^\alpha_\varepsilon$）中建立了余项的先验估计，证明了余项在 $\varepsilon \to 0$ 时趋于零。
4. 停止时间论证： 为了处理格点解的全局存在性与泰勒展开局部有效性之间的关系，作者定义了一个基于场脱离恒等元小邻域的停止时间 $\tau_\varepsilon$。他们证明了随着 $\varepsilon \to 0$，$\tau_\varepsilon$ 超过任何固定时间 $T$ 的概率极高，从而确保了原始格点动力学与用于分析的截断 SPDE 之间的等价性。

主要结果
主要结果是定理 2.5，该定理指出，对于 $d=3$ 并在指定的标度下，重标度后的格点朗之万动力学 $\theta_\varepsilon$ 依概率收敛于连续 1-形式随机热方程的解 $\theta$：
$$\partial_t \theta = \Delta \theta + \xi$$
其中 $\xi$ 是独立的时空白噪声向量。收敛性是在离散-连续 Hölder 范数 $C^{-1/2-\kappa}_{\gamma, \varepsilon}$ 中度量的。

具体而言，若初始条件依概率收敛，则对于任何 $T > 0$ 和 $\delta > 0$：
$$\lim_{\varepsilon \to 0} P\left( \tau_\varepsilon > T, \|\theta_\varepsilon; \theta\|_{C^{-1/2-\kappa, T}_{\gamma, \varepsilon}} \leq \delta \right) = 1$$

意义与主张
本文声称提供了将格点规范理论从二维扩展到三维的第一个严谨步骤。通过限制在阿贝尔 $U(1)$ 情况，作者证明了标度极限是良定义的且具有普适性，而不依赖于格点作用量的微观细节（如 Wilson、Manton 或 Villain 作用量）。

作者强调，虽然随机热方程在所有维度下都是适定的，但由于噪声和非线性的奇异性，三维情况提出了深刻的解析挑战。此阿贝尔情形的成功在于其非线性在标度意义上是“亚临界”的，并且被 $\varepsilon$ 的幂次所抑制，这与非阿贝尔情形中交换子项保持在常数阶的情况形成对比。这项工作确立了经 DeTurck 规范固定的格点动力学能正确近似标度极限下的连续高斯自由场动力学，验证了三维阿贝尔规范理论的随机量化方法。