Macroscopic freezing of a vector Gaussian free field conditioned to avoid a ball

技术摘要：受限于避开球体的向量高斯自由场之宏观冻结

问题陈述
本文研究了在二维格点方框 $\Lambda_n$（边长为 $n$）上，受限于避开一个固定半径为 $R$ 的球体的向量值离散高斯自由场（GFF）的宏观行为。具体而言，作者考虑了 $m \ge 2$ 个独立的零边界 GFF 坐标 $\phi_n = (\phi_n^1, \dots, \phi_n^m)$。限制事件 $\Omega_n$ 要求在宏观内部区域 $D_n$ 内，对于所有 $x \in D_n$，欧几里得范数 $|\phi_n(x)| \ge R$ 均成立。

核心问题在于探讨向量设置下的“熵斥力”（entropic repulsion）：虽然标量场会被迫远离障碍物，但向量场拥有一个自由方向。本文旨在确定不同的宏观区域部分是选择了相同的方向（对齐），还是方向随空间变化。这建立在 Korzhenkova 和 Sepúlveda [1] 的工作之上，他们证明了范数通常为 $2 \log n$，且方向在次宏观距离（$n^\nu$，$\nu < 1$）内是对齐的，但留下了关于“宏观冻结”（即在整个定义域内实现对齐）的问题。

方法论
该证明结合了三个主要的数学组件：

1. 范数斥力定理：作者利用 Korzhenkova 和 Sepúlveda [1] 的结果，确立了在限制条件下，归一化场 $|\phi_n(x)|/\log n$ 在 $D$ 上几乎处处向 2 集中。这通过一个测量相对于目标范数 2 之 $L^2$ 亏损的有界连续泛函 $G(f)$ 来形式化。
2. 高斯大偏差：论文对未受限制的场 $X_n = \phi_n / \log n$ 使用了 $L^2$ 大偏差原理（LDP）。其速率函数被确定为狄利克雷能量 $I(f) = \frac{1}{4\pi} \int_\Lambda |\nabla f|^2$。限制事件通过将 LDP 限制在满足范数约束的集合中来进行分析。
3. 向量容量变分问题：核心论证将向量问题简化为一个标量问题。作者分析了在 $D$ 上满足约束 $|f| \ge 2$ 时 $I(f)$ 的极小化问题。他们证明了该向量容量问题的极小值在全局旋转意义下是唯一的：场必须具有形式 $f = 2 U h_D$，其中 $h_D$ 是定义域 $D$（相对于 $\Lambda$）的平衡电势，$U$ 是一个常数单位向量。

关键的一步是证明任何方向向量 $s(u) = f(u)/|f(u)|$ 的变化都会产生与 $\int h_D^2 |\nabla s|^2$ 成正比的额外“角能量”代价。由于定义域 $\Lambda$ 是连通的，能量极小化迫使 $s(u)$ 几乎处处为常数，从而确立了宏观对齐。

主要结果
论文确立了以下主要结果：

• 限制的渐近代价 (Theorem 1.1)：限制事件的概率衰减为：
  $$\lim_{n \to \infty} \frac{\log P(\Omega_n)}{(\log n)^2} = -\frac{2}{\pi} \text{cap}_\Lambda(D)$$
  其中 $\text{cap}_\Lambda(D)$ 是 $D$ 在 $\Lambda$ 中的相对容量。该代价与球体半径 $R$ 及向量维度 $m$ 无关。

• 宏观收敛性 (Theorem 1.1)：在条件测度 $Q_n$ 下，归一化场 $X_n$ 在 $L^2(\Lambda; \mathbb{R}^m)$ 中依分布收敛于 $2 U h_D$，其中 $U$ 是在球面 $S^{m-1}$ 上均匀分布的随机单位向量。这意味着场剖面在全局随机旋转意义下是确定性的。

• 确定性对齐 (Corollary 1.2)：存在一个确定性的格点子集 $\tilde{D}_n \subset D_n$，其密度趋于 1（即 $|D_n \setminus \tilde{D}_n| = o(n^2)$），使得 $\tilde{D}_n$ 中任意两点之间的期望对齐度趋于 1：
  $$\inf_{x,y \in \tilde{D}_n} E[\sigma_n(x) \cdot \sigma_n(y) \mid \Omega_n] \to 1$$
  其中 $\sigma_n(x)$ 是场在 $x$ 处的方向。这证实了方向的“冻结”发生在整个宏观定义域内，而非仅仅是局部。

意义与范围
本文为向量 GFF 的熵斥力提供了完整的空间剖面，解决了 [1] 中提出的关于宏观冻结的问题。其重要性在于展示了避开球体的约束迫使向量场选择一个单一的、全局的方向，以最小化狄利克雷能量，从而有效地耦合了定义域 $D$ 中可能不连通的部分所选的方向。

作者指出，其方法依赖于容量变分问题中的等号情况以及 GFF 的谱性质。他们明确说明研究结果并未涉及：

• 剖面集中的定量速率。
• 对于固定内部子域移除 Corollary 1.2 中的异常集。
• 残余场 $X_n - 2 U h_D$ 的更细微尺度的涨落。
• 可能依赖于半径 $R$ 或维度 $m$ 的高阶渐近项。

该工作被构架为经典标量熵斥力结果（如 Ben Arous 和 Deuschel [2]）向向量设置的严格扩展，利用了大偏差理论与容量理论之间的相互作用。