结果族 232：Gaussian fields and interfaces for triangular-lattice Lipschitz heights · 学科：Probability and statistical mechanics · 验证状态：暂无形式化证明，请以社区核验为准
在一张三角格网上给每个小格子填整数高度，规矩只有一条：相邻格子的高度至多差 1。按一定权重随机地填满整张网，这片”随机地形”放大后会是什么模样？答案：高斯自由场——二维世界最普适的随机涨落模板，地位好比一维世界里的布朗运动。
关键词卡片
看个具体例子
下图是地形的一条剖面：台阶高度依次为 0, 1, 2, 2, 1, 0, −1, −1, 0，相邻差不超过 1，每个”台阶边”带权重 x。定理说：对每个固定 @@M@@x\in[1/\sqrt2,\,1]@@（含临界端点 @@M@@x=1/\sqrt2\approx 0.707@@ 与均匀模型 @@M@@x=1@@），存在与区域无关的正常数 @@M@@\sigma(x)@@，使得 @@M@@\dfrac{h_\delta}{\sigma(x)}@@ 收敛到零边值 GFF。注意不需要再除以任何对数——涨落天然有限，这与许多别的随机曲面很不一样。
为什么值得关心
此前学界只掌握”方差按对数增长”这类一阶证据，GFF 极限长期停留在猜想；本文把它变成定理，同时覆盖均匀模型与临界端点，是随机曲面普适性纲领的关键一步。
暂无形式化证明（AI 结果待核验）
衔接《解读 Gaussian free-field limits of weighted integer Lipschitz heights》入门导读
第一级台阶
导读把模型说成”带规矩的随机地形”。翻译过来：对象是一张蜂窝状密铺上逐面取整数值的曲面，硬规矩是相邻两个面的高度至多差一；随机性由一条权重规则注入——地形每出现一级台阶，就在概率里乘一个固定因子。要问的是：把格子无限加密、从远处看这片地形，它的涨落会稳定成什么形状。
第二级台阶
三个概念落到本科语言。整数 Lipschitz 高度函数：定义在三角格面集上的整值函数，相邻面取值差不超过一，边界面上钉死为零。高斯自由场：不是逐点定义的函数，而是随机广义函数，其与光滑检验函数的配协方差由区域上带 Dirichlet 边界的格林函数给出。随机分布收敛：场的逐点值本就发散，收敛指的是与任何有限组检验函数加权平均后，一切联合矩收敛到极限场的相应矩。
第三级台阶
定理的语境是有界 C² Jordan 区域，配上一列从内部逼近区域、边界参数化一致收敛的格点区域。假设”每个台阶乘固定权重 x、x 落在从理论预言的临界端点到一的闭区间”决定了模型的全部随机性；零边界条件则把场钉在边界上、排除常数漂移。结论是：对该区间内每个固定的 x，存在只依赖 x 的正常数 σ(x)——与区域及其逼近方式无关——使得加密后的高度场除以 σ(x) 在随机分布意义下收敛到零 Dirichlet 高斯自由场。特别地，振幅不需要任何对数重标度：逐点方差的 对数增长与光滑平均后的有限涨落并行不悖；均匀模型与临界端点一并被覆盖，但论文既不给 σ(x) 的公式，也不断言它与 x 无关。
证明了三角格点上零边界、按”高度改变的边数”加权的整数 Lipschitz 高度场，对每个固定权重 @@M@@x\in[1/\sqrt2,1]@@，除以正常数 @@M@@\sigma(x)@@ 后收敛到零 Dirichlet 高斯自由场，覆盖均匀模型与预测临界端点，把长期停留于对数方差层面的粗化证据推进为完整的极限定理。
整数 Lipschitz 高度函数（integer Lipschitz height function）是最简单的带硬约束随机曲面：相邻面上高度差至多为 @@M@@1@@。给每条高度改变的边乘权重 @@M@@x@@ 后，其等价的回路描述恰是六角格点上的 loop @@M@@O(2)@@ 模型，权重为 @@M@@2^{\#\text{loops}}x^{\#\text{occupied edges}}@@，这一联系可追溯到 Nienhuis 1982 年的工作。Schramm 在其问题集中提出此类模型的高斯场与界面预测；Glazman–Manolescu 证明了均匀整数模型的对数涨落与两自旋表示，Glazman–Lammers 在更大参数区间建立离域化（delocalization）并把 GFF 极限明确列为猜想，Duminil-Copin–Glazman–Peled–Spinka 在 @@M@@x=1/\sqrt2@@ 处证实了宏观回路。此前卡壳之处在于：对数方差只是粗化的一阶证据，既未识别协方差结构，也无法控制边界条件与高阶矩，GFF 极限本身始终悬而未决。
设 @@M@@D\subset\mathbb{R}^2@@ 是有界 @@M@@C^2@@ Jordan 区域，@@M@@\{D_\delta\}@@ 是其内部格点逼近且边界参数化一致收敛。主定理断言：对每个固定 @@M@@x\in[1/\sqrt2,1]@@，存在常数 @@M@@\sigma(x)\in(0,\infty)@@，不依赖区域 @@M@@D@@ 及其格点逼近方式，使得 @@M@@\frac{h_\delta}{\sigma(x)}\Rightarrow\Phi_D@@ 在 @@M@@\mathcal D'(D)@@ 中成立，其中 @@M@@\Phi_D@@ 是协方差核为 Dirichlet Green 函数 @@M@@G_D=(-\Delta_D)^{-1}@@ 的零边值高斯自由场（Gaussian free field, GFF）。收敛作为随机分布（random distribution）成立，任意有限组检验函数的联合矩都收敛；场不需要对数重标度——点方差的发散与光滑平均后的有限涨落相容。参数区间同时包含均匀模型 @@M@@x=1@@ 与预测临界端点（predicted critical endpoint）@@M@@x=1/\sqrt2@@。论文不给出 @@M@@\sigma(x)@@ 的显式公式，也不断言该常数与 @@M@@x@@ 无关。
证明分四步推进。先建立精确的加权切割与条件序：把高度模 @@M@@4@@ 编码为一对 @@M@@\pm1@@ 自旋（spin），并为每个上三角胞附加一个状态变量；一条开回路可固定第一个自旋而释放第二个，由此得到胞因子化与精确条件切割（cut）。正相联（positive association）意义下的序不等式必须对记录了观测胞内全部第一自旋位点的历史成立——仅条件于状态本身并不保序，这一限制是本质性的。随后用 Klartag–Lehec 离散中点不等式（Prékopa–Leindler 形式）把中心概率界放大为磨光高度（smeared height）所有矩的一致界。再进入平面分析：关于三角格点三个方向之一格点行的反射正性（reflection positivity）产生法向正转移算子，其协方差可表示为法向频率上 Cauchy 核的正混合；关键的角向恒等式同时调用三个镜面方向，迫使谱测度的每个标度极限都形如 @@M@@c\,\mathrm dp/|p|^2@@，一个带符号的截断恒等式证明常数 @@M@@c@@ 唯一，双盘方差界证明 @@M@@c>0@@，最终 @@M@@v=(2\pi)^2c@@、@@M@@\sigma(x)=\sqrt v@@。接着处理销钉（pin）与真实边界：将场与上、下钉扎括号比较，利用一致矩界在三个格向解析地移动分离销钉，先取相位平均、再闭合缺口，把反射零化的 Laplace 插入从平面转移到这些括号；边界附着（boundary attachment）估计以合成边界律给出有利的水平线路径，并在管中迭代形成边界拱，使括号均值消失。最后识别极限场：紧性与一致可积先行，括号极限与真实场等同后，每个极限矩分布在碰撞点之外调和，对数矩界排除集中于对角线的奇异分布，与平面律的局部比较固定每个碰撞奇性的系数，减去相应的 Green 函数即得 Wick 递推，从而一切子列极限必为高斯。
本结果暂无形式化证明，属 OpenAI 研究手稿；按其官方声明”未经形式化的结果可能有问题”，请以社区核验为准。族内三篇互为姊妹：两弧边界姊妹篇解决 Schramm 问题 2.2 的场部分，与本文共享”反射正性—销钉移动—矩方法”的骨架，但两文的模型特定输入与结论各自独立证明、互不作为前提；实值模型篇则以凸几何与反射 Brown 运动技术攻克问题 2.3。
针对《Gaussian free-field limits of weighted integer Lipschitz heights》，基于论文原文（定理 1.1、引言 §1.2–1.3 及证明结构）
问 1：证明中最关键、最脆弱的一步是什么？
| （答：平面系数的确定（引言 §1.3”Uniform moments and the plane coefficient”）。反射正性给出法向正转移算子、协方差是法向频率上 Cauchy 核的正混合，随后”同时调用三个镜面方向的角向恒等式”迫使谱测度的每个标度极限都形如 c dp/ | p | ²，带符号截断恒等式证 c 唯一、双盘方差界证 c > 0，才有 v=(2π)²c、σ(x)=√v。三个镜面方向的恒等式若有一处系数算错，归一化常数就会失去唯一性——这是全文的地基。） |
问 2：哪个假设不能随便去掉？
（答：边界条件与逼近方式的假设。定理要求 C² Jordan 边界加”边界参数化一致收敛”的内部逼近，因为反射零化的 Laplace 插入要靠”销钉移动 + 边界附着 + 管内迭代成边界拱”才能从全平面转移到真实边界，这一整套论证在粗糙边界上没有着落。另外论文明确声明常数可依赖固定的 x、不承诺对参数区间一致——”对 x 一致”是未经证明的强化。）
问 3：与已有工作相比新意何在？
（答：Glazman–Manolescu、Glazman–Lammers 只证到对数方差与离域化，DGPS 在 x=1/√2 证了宏观回路——都是一阶粗化证据；六顶点 GFF 定理（DCKLM）用表面张力与 Bethe ansatz 定归一化，且限于方格零斜率态。本文给出整个分布值场的极限律：紧性、一切混合矩、零边界条件一并证明，归一化由三镜面恒等式确定，并覆盖带权族 x∈[1/√2,1] 含临界端点。）
问 4：这类 AI 生成证明最可能在哪里出错？
（答：正相联（FKG 型）序不等式的精确适用范围。论文自己强调：序必须对”记录了观测胞内全部第一自旋位点的历史”成立，仅条件于状态变量本身并不保序——这种”条件加强反而恢复单调性”的精细陈述是 AI 证明里极易被无意识放宽的地方。此外”先固定宏观几何再令 δ→0、之后才闭合缺口”的极限顺序纪律贯穿全文，任何一处顺序颠倒都可能是隐性漏洞。）
问 5：为什么不需要对数重标度，这与逐点方差对数增长矛盾吗？
（答：不矛盾。GFF 本身逐点无定义、点方差对数发散，但对光滑检验函数的配对是有限量；定理断言的是磨光后的场收敛，振幅里自然没有对数因子（定理 1.1 后的说明）。真正的内容在于高阶矩也收敛——只看方差只是粗化证据，识别全部矩结构才是极限定理。）
问 6：与两篇姊妹篇的关系和边界在哪里？
（答：与两弧边界姊妹篇（Schramm 问题 2.2）共享”反射正性—销钉移动—矩方法”骨架但证明各自独立；引言的对照表明确写着：共同策略既不能识别两文归一化常数之间的关系，也不能把带权定理推广到两弧边界数据。回路系综本身的收敛不在定理声明之内——论文只断言场律。）
问 7：谁会用到它？
（答：loop O(2)/六顶点普适性纲领的研究者获得三角格一侧的基准定理；后续自然问题是 σ(x) 的显式公式、对 x 的一致性、以及界面（Schramm 问题 2.2 的另一半）与实值模型（问题 2.3）——后者由族内第三篇处理。）
总评
这是把”GFF 极限”从猜想变成定理的扎实一步，分量在于覆盖临界端点的完整矩收敛；最大风险藏在角向恒等式的系数代数与序不等式的适用范围这两处”算错一格就全盘皆输”的细节里。