Rotational invariance in critical planar lattice models

技术摘要：临界平面格点模型的旋转不变性

问题陈述
本文探讨了二维格点模型统计力学中的一个基本问题：其大规模性质的旋转不变性。虽然重整化群（RG）形式理论预测临界不动点应表现出平移、旋转和尺度不变性，且共形场论（CFT）暗示了完全的共形不变性，但严谨的数学证明在历史上仅限于特定模型（例如：三角形格点上的位点渗流、Ising 模型、二聚体以及一致生成树）。这些证明通常依赖于离散全纯观测量，这种策略高度依赖于特定的离散对称性，且难以推广。

作者研究了正方形格点上具有簇权重 $q \in [1, 4]$ 的随机簇模型（Fortuin-Kasteleyn 渗流）。这一范围包含了伯努利渗流（$q=1$）以及 $q=2, 3, 4$ 的临界 Potts 模型。核心问题在于证明这些模型的标度极限是旋转不变的，从而为在不依赖特定模型全纯观测量的情况下证明完全共形不变性奠定关键基础。

方法论
作者采用了一种受场论启发的策略，利用星-三角形变换（或称杨-巴克斯特方程）作为主要工具。与以往通过 Bethe 假设计算特定特征值或配分函数的做法不同，本研究依赖于等半径图（isoradial graphs）背景下星-三角形变换的结构性质。

其核心方法论包括：

1. 等半径嵌入： 作者考虑了一类扭曲的正方形格点 $L(\alpha)$，即等半径矩形格点。这些格点的构造方式使得边缘参数的不均匀性（水平与垂直方向）通过几何嵌入得到补偿。
2. 轨道交换变换（Track-Exchange Transformations）： 他们定义了一系列变换，通过使用星-三角形变换将格点 $L(\beta)$ 逐渐变形为 $L(\alpha)$，通过交换“轨道”（钻石图中的面序列）来实现。这一过程保持了顶点间的连通性，但改变了簇的几何形状。
3. 耦合与重采样： 为了比较 $L(\beta)$ 和 $L(\alpha)$ 上的测度，作者构建了构型 $(\omega_t)$ 的耦合。一项关键的技术创新是极值点的重采样。为了确保大簇极值点附近的局部环境相对于全局构型是独立的（模拟入射无限簇或 IIC），他们在变换的每一步中，对围绕簇极值的微小方框内的构型进行重采样。
4. 漂移分析： 对中观尺度簇的极值坐标（顶、底、左、右）进行演化分析。作者展示了这些坐标根据由极值“漂移”（极值的期望增量）决定的线性变换 $M_{\beta, \alpha}$ 进行演化。
5. 对称性论证： 为了证明该线性变换是恒等映射（意味着普适性），作者利用了对称性论证。他们表明标准正方形格点 $L(\pi/2)$ 上的临界测度在由反射生成的变换群下是渐近不变的。通过分析这些变换的特征值，他们推导出漂移必须为零，从而迫使 $M_{\beta, \alpha}$ 为恒等映射。

主要贡献与结果

• 定理 1.2（旋转不变性）： 作者证明了临界随机簇模型在 $q \in [1, 4]$ 时是渐近旋转不变的。具体而言，在 Camia-Newman ($d_{CN}$) 和 Schramm-Smirnov ($d_{SS}$) 拓扑下，格点 $\delta \mathbb{Z}^2$ 上的测度与旋转后的格点 $e^{i\alpha}\delta \mathbb{Z}^2$ 之间的距离在 $\delta \to 0$ 时趋于零。
• 定理 1.7（等半径矩形图上的普适性）： 他们确立了任何等半径矩形格点 $L(\alpha)$（其中 $q \in [1, 4]$）上的随机簇模型在渐近意义上等价于标准正方形格点 $L(\pi/2)$ 上的模型。这证实了等半径嵌入是确保模型不均匀性具有共形不变标度极限的“正确”几何补偿。
• 定理 1.9（在有限线性变换下的普适性）： 一个较弱的中间结果，表明 $L(\beta)$ 上的模型与 $L(\alpha)$ 上的模型通过一个可逆线性映射 $M_{\beta, \alpha}$ 相关联。主定理的证明依赖于证明在临界情况下，该映射是恒等映射。
• Potts 模型的推论： 利用 Edwards-Sokal 耦合，作者推导出临界 $q$ 态 Potts 模型（$q \in \{2, 3, 4\}$）的自旋-自旋相关性在大尺度下是旋转不变的。
• 穿越概率的推论： 这些结果意味着单连通区域内四边形（quads）的穿越概率在标度极限下对于旋转是不变的。

意义与主张
论文声称，其结果对于证明全平面六顶点模型在对应于临界随机簇模型的范围（$1 \le q \le 4$）内收敛到高斯自由场（GFF）具有重要作用，该结果在另一篇论文 [22] 中有详细阐述。

作者强调，他们的策略是通用的，适用于满足杨-巴克斯特方程的一类广泛的平面可积系统，并可能扩展到诸如 Ashkin-Teller 模型和某些回路模型。通过避免使用离散全纯观测量，转而依赖星-三角形变换和混合性质（RSW），本文为更广泛的模型提供了一条证明共形不变性的更稳健的路径。这项工作弥合了物理学的启发式预测（RG 和 CFT）与显著一类格点模型之严谨数学证明之间的鸿沟。

谦逊说明与局限性
作者指出，并未提供其结果的定量版本（特别是旋转不变性的收敛速率），因为定量证明需要更为复杂的论证。此外，他们将讨论的区域限制在 $C^1$ 光滑边界内以专注于核心机制，并指出结果很可能扩展到 Jordan 区域。此外，虽然他们证明了自旋-自旋相关性的旋转不变性，但他们明确指出，推导能量相关性的旋转不变性需要额外的工作，本文并未涵盖此内容。