结果族 225：Gaussian free field limits throughout the balanced six-vertex regime · 学科：Probability and statistical mechanics · 验证状态：暂无形式化证明，请以社区核验为准
在方形棋盘每个路口放一个箭头，只守一条”冰规则”：每个路口恰好两进两出。整张箭头图于是能读成一片随机梯田——沿箭头走，左手边总比右手边高一层。论文证明：无论参数 @@M@@c@@ 在整个 @@M@@(0,2]@@ 里取哪个值，格子无限加细后，梯田的起伏总是收敛到同一个著名随机场（高斯自由场）的固定倍数，倍数还能一行写出来。
关键词卡片
@@M@@c@@，其余四种赋权 1。@@M@@\sigma(c)@@。看个具体例子
主定理是一张公式卡（权重 @@M@@a=b=1@@，@@M@@0<c\le2@@，平面态下重标高度场 @@M@@h_\delta\Rightarrow\sigma(c)\Gamma@@）：
@@M@@D\sigma(c)^2=\frac{1}{\arcsin(c/2)}.@@
代入端点验算：@@M@@c=1@@（方冰，其精确熵由 Lieb 在 1967 年算出）时 @@M@@\arcsin(1/2)=\pi/6@@，故 @@M@@\sigma^2=6/\pi\approx1.91@@；@@M@@c=2@@（区间端点）时 @@M@@\arcsin(1)=\pi/2@@，故 @@M@@\sigma^2=2/\pi\approx0.64@@。参数越大，极限梯田的起伏越”平”。在此之前的严格结果只覆盖零散区段（如自由费米点 @@M@@c=\sqrt2@@ 与 @@M@@\sqrt3\le c\le2@@），本文首次贯通全区间。
为什么值得关心
这是首次在整条临界区间上证明带精确乘子的 GFF 收敛并覆盖端点 @@M@@c=2@@，在数学上坐实了 1987 年 Coulomb-gas 方法给出的物理预言。
暂无形式化证明（AI 结果待核验）
第一级台阶
入门导读把箭头图读成”随机梯田”。翻译过来：对象是满足冰规则（每个路口恰两进两出）的整张方形网格箭头配置，按”箭头左侧面比右侧面高一”的约定，它逐面拼出一片离散地貌；操作是调节参数 c——它给水平箭头同进同出的路口计分加权，改变地貌的纹理粗细。导读的断言于是成为：格子无限加细后，地貌的起伏总趋于同一个”标准随机地形”，c 的影响只剩一个整体缩放倍数，且倍数有显式公式。
第二级台阶
| 用本科术语精确化：六顶点模型是方格边上的箭头配置，权重取 a=b=1、0<c≤2；高度函数 h 依上述约定定义、模一个加性常数良定。高斯自由场 Γ 是平面上的广义随机场（模常数），以 Green 核 −(2π)^{-1}log | x−y | 为协方差结构，相当于二维随机起伏的”正态分布”；方差乘子 σ(c) 即极限场相对 Γ 的缩放倍数。 |
第三级台阶
定理的语境：先在平衡环面（每竖列左右箭头各占一半的守恒扇区）上依次取两个尺寸极限，得到平面态——其存在性在此前未处理的区间上本身就是定理的一部分；再让格距 δ 取遍正实数趋于零。假设各挡一种麻烦：零斜率平衡扇区固定平移不变的极限律；测试测度取总质量零且有限能量，保证对数型协方差积分收敛；高度以物理单位锁定，乘子无自由重标。结论：重标高度场 h_δ 收敛到 σ(c)Γ，其中 σ(c)²=1/arcsin(c/2)，收敛同时成立于测试测度层面的联合中心高斯、负正则 Besov/Sobolev 空间（不要求区域边界正则）与相异点增量的 Wick 配对乘积三种意义；端点 c=2 一并覆盖。
证明了方格六顶点模型在权重 @@M@@a=b=1@@、@@M@@0<c\le2@@ 的整个临界区间内，其高度场在平衡环面极限定义的平面态下收敛到高斯自由场的常数倍，乘子平方恰为 @@M@@1/\arcsin(c/2)@@，首次把精确的 GFF 标度极限推广到全区间并覆盖端点 @@M@@c=2@@。
六顶点模型（six-vertex model）在方格每条边上放一个箭头，并施加冰规则（ice rule）：每个顶点恰有两条箭头进入、两条离开。两条水平箭头同进或同出的顶点赋权 @@M@@c@@，其余四种赋权 @@M@@1@@；其高度函数（height function，约定箭头左侧格面比右侧高一）是一张离散随机曲面。Lieb 在 1967 年算出 @@M@@c=1@@ 的方冰熵，物理上的 Coulomb-gas 方法（Di Francesco–Saleur–Zuber，1987）预言临界高度涨落是高斯自由场（Gaussian free field, GFF）并给出耦合常数。数学方面：自由费米点 @@M@@c=\sqrt2@@ 可归约为二聚体，由 Kenyon 的保形不变性定理解决；@@M@@1\le c\le2@@ 已知有对数离域（delocalization）；DKLM（2026）在 @@M@@\sqrt3\le c\le2@@ 证明了带精确乘子的 GFF 定理，但依赖一条转动不变性输入，而整个 @@M@@0<c<2@@ 区间的完整 GFF 收敛此前无人证明。本文补齐了这一空白。
主定理：对每个固定的 @@M@@c\in(0,2]@@，先取环面 @@M@@T_{M,L}@@ 的 @@M@@M\to\infty@@、再取偶数 @@M@@L\to\infty@@ 所得的平衡平面态 @@M@@\P_c@@ 存在（此前未处理区间上的存在性本身就是定理的一部分）。记 @@M@@\Delta=1-c^2/2@@，@@M@@\sigma(c)^2=2/\arccos\Delta=1/\arcsin(c/2)@@，则当格距 @@M@@\delta\downarrow0@@ 取遍任意正实数时，重标高度场 @@M@@h_\delta@@ 收敛于 @@M@@\sigma(c)\Gamma@@，其中 @@M@@\Gamma@@ 是以 Green 核 @@M@@-(2\pi)^{-1}\log|x-y|@@ 归一化的平面 GFF（模常数）。收敛在三重意义下成立：（1）对任意有限组总质量为零、有限能量（finite energy）的紧支撑符号测度，@@M@@\langle h_\delta,\mu_j\rangle@@ 联合收敛到协方差为 @@M@@\sigma(c)^2\mathcal E(\mu_i,\mu_j)@@ 的中心高斯向量；（2）在任意有界开集上的负正则 Besov/Sobolev 空间（模常数）中依律收敛且一致紧，不要求开集边界任何正则性；（3）相异点处高度增量的乘积收敛到由 Wick 配对给出的极限公式，且在任何紧集上一致。
证明分四步走。先做有限行代数：把行转移矩阵写成带辅助标记的单阵（monodromy），用 Yang–Baxter/RTT 交换关系与代数 Bethe 拟设（algebraic Bethe ansatz）构造 Bethe 向量，再借助 Gaudin–Korepin 范数行列式与 Slavnov 标量积公式（三角与对角扭曲形式），把任何固定的”标记行词”的真空期望精确展开为行列式之和，且行列式尺寸只随词长增长、与链长无关——这是热力学极限能被一致控制的钥匙。其次做热力学极限：对 Bethe 根的尾部与 Gaudin 逆给一致估计（根尾控制加边缘最大值原理），证明角参数彼此远离的词解相关，从而得到带交换角行族的极限希尔伯特空间；其联合谱值是内函数（inner function），标记行扮演流（current）算子，谱在伸缩轨道上的质量 @@M@@\kappa@@ 恰是对数高度协方差的系数。第三步证高斯性：把谱零点按 @@M@@\delta@@ 与 @@M@@1/\delta@@ 两个分离尺度拆开，构造全纯与反全纯的手征流 @@M@@j_\pm@@；先证其关联函数关于两种轴向排序全纯、在网格奇点处至多二阶增长，再证两个流碰撞时缩合成标量 @@M@@-\kappa@@（算子弱极限 @@M@@K_\epsilon\rightharpoonup-\kappa I@@），利用极点位置对谱点变量的非全纯依赖抹去”人工极点”，最后由 Liouville 定理导出收缩为 @@M@@-\kappa/(z-z')^2@@ 的 Wick 递推。第四步定归一化：当 @@M@@c<1@@ 时，均匀链对缝扭转（seam twist）的二阶微扰恒等式（Kohn 型刚度公式）给出 @@M@@\kappa@@ 的下界，交错阵列真空态交叠的精确行列式渐近（化为 Toeplitz 符号的显式积分）给出上界，两界恰在 @@M@@\kappa=1/(2\pi(\pi-\lambda))@@ 会合，即 @@M@@4\pi\kappa=1/\arcsin(c/2)@@；当 @@M@@1\le c<2@@，在收敛证毕之后引用 DKLM 的条件振幅定理锁定同一乘子。最后用能量–交换子矩估计与小波紧性（Besov 系数刻画）把流的收敛传递到测试测度、分离增量与负正则空间；端点 @@M@@c=2@@ 由附录以 FK 回路的独立均匀定向补足所需的转动不变性。
论文署名 OpenAI（2026 年 9 月 23 日），主结果暂无 Lean 形式化证明；按 OpenAI 官方声明，未经形式化的结果可能有问题，请以社区核验为准。在本结果族内，本文与 DKLM（@@M@@\sqrt3\le c\le2@@）的姊妹工作互相支撑：一方面在 @@M@@1\le c<2@@ 收敛建立后引用其自由能振幅定理确定乘子，另一方面把区间推广到全部 @@M@@0<c\le2@@ 并补上 @@M@@c=2@@ 端点的转动不变性输入。所得乘子与 1987 年 Coulomb-gas 物理预言（换算为单位高度步后）一致，是对该预言的数学证实。
问 1：证明中最关键、最脆弱的一步是什么？
（答：手征流的高斯化。证明把谱零点按 δ 与 1/δ 两个分离尺度拆开，构造全纯与反全纯流 j±，先证其关联关于两种轴向排序全纯、网格奇点处至多二阶增长，再证两流碰撞时缩合为标量 −κ，抹去人工极点后由 Liouville 定理导出收缩为 −κ/(z−z′)² 的 Wick 递推。这一步把有限代数升华为场论结构，任何全纯性或增长估计的缺口都会让 Wick 规则失效、高斯性无从谈起。）
问 2：为什么平面态要定义为平衡环面的迭代极限，而不能对任意 Gibbs 态陈述？
（答：定理明说不主张在所有 Gibbs 态或所有斜率中的唯一性。平衡扇区（每列左右箭头各半）是行转移矩阵的守恒量，正是它使单阵代数、Bethe 根结构可用；零斜率也保证协方差的对数增长以对称方式呈现。换斜率或非平衡态，谱结构与常数 κ 的计算都要重做，论文未展开。）
问 3：与 DKLM 的 √3≤c≤2 定理相比真正的新意？
（答：DKLM 需要一条”编写中”的转动不变性输入；本文在 0<c<2 全区间用有限行恒等式加一致热力学估计自建两个高斯流，c<1 段用 Kohn 型刚度下界与交错真空交叠行列式上界自定乘子（两界会合于 κ=1/(2π(π−λ))），c=2 端点用 FK 回路独立均匀定向补转动不变性。此外 0<c<1 的平面态存在性也是新的。）
问 4：乘子 σ(c)²=1/arcsin(c/2) 的常数最可能在哪里出错？
（答：两界会合处。下界来自均匀链对缝扭转的二阶微扰恒等式，上界来自交错阵列真空态交叠的精确行列式渐近（化为 Toeplitz 符号显式积分）；两条独立路线的常数恰好相等才锁定 κ。任何一处 Gamma/三角函数常数算错，会合就变成上下界分离，乘子无法确定——这类纯常数错误模拟与特例验算都未必能暴露。）
问 5：AI 生成证明最可能出错的模式？
（答：本文大量组装文献公式——Gaudin–Korepin 范数行列式、Slavnov 标量积的三角与对角扭曲形式、Kitanine–Maillet 系的展开——长公式转录中的指标错位、扭曲参数符号、行列式尺寸与词长的一致性都是高危点；多个热力学极限的先后次序（M 先于 L、加细深度固定后再加深）也极易在个别引理中被交换。）
问 6：这个结果谁会用到？
（答：它把 1987 年 Coulomb-gas 物理预言变成定理，为随机曲面与共形场论方向的模型提供带精确乘子的参照系；对 c≥1 段它反哺 DKLM 的条件振幅定理适用范围，c=2 端点的 FK 定向论证也可独立使用。论文未讨论向非零斜率或动态模型的推广。）
总评
在整条临界区间贯通带精确乘子的 GFF 极限、并以代数 Bethe 拟设焊接概率论端局，是一项分量很重的工作；最大风险在常数会合与长公式组装的细节，且 c≥1 段乘子依赖对 DKLM 条件定理的引用。