结果族 232：Gaussian fields and interfaces for triangular-lattice Lipschitz heights · 学科：Probability and statistical mechanics · 验证状态：暂无形式化证明，请以社区核验为准
一块圆蛋糕，边界上半圈写着 +1、下半圈写着 −1；往内部随机填充”高度”，要求相邻差只能是 0 或 2。切开看剖面：这块随机地形 = 一块确定的平滑斜坡 + 高斯自由场式的普适涨落。这正是 Schramm 2007 年问题清单第 2.2 问的”场”部分。
关键词卡片
@@M@@\bar g@@——每点的值恰等于周围平均值。@@M@@c_*/|p|^2@@ 的形式。看个具体例子
定理：@@M@@h_\delta \Rightarrow \bar g+\sigma\Phi_D@@，即随机高度 = 调和斜坡 @@M@@\bar g@@ 加 @@M@@\sigma@@ 倍 GFF。归一化 @@M@@\sigma=4\pi\sqrt{c_*}@@，而 @@M@@c_*@@ 由一个绝对收敛的有限体积级数给出——级数每一项都是有限六角区域内构形的整数计数之比，原则上真能一步步算出来，且与区域大小无关。
为什么值得关心
它解决了 Schramm 问题 2.2 的场部分；更重要的是归一化常数第一次有了显式可算的公式——此前连它是否存在、是否依赖区域都无法确定。涨落常数只依赖单位格点模型本身，换区域、换边界逼近方式都不变，这是”普适性”最具体的一种兑现方式。
暂无形式化证明（AI 结果待核验）
衔接《解读 The Gaussian free field limit of integer Lipschitz heights with two-arc boundary data》入门导读
第一级台阶
导读的图景是”半圈 +1、半圈 −1 的随机蛋糕”。半数学地说：对象是格点区域上的一族整数值地形，硬规矩是相邻取值之差只能为零或二；边界的两段弧被分别钉死在两个不同的值上，地形在内部均匀随机地取遍所有满足规矩的填法。要证的断言是：放大后这块地形分解为一个确定的平滑斜坡，加上一种普适的随机涨落，且涨落的强度是一个与区域无关的常数。
第二级台阶
精确化三个概念。奇整数高度函数：在三角格点多边形顶点上取奇数值、相邻差属于 {0, 2}、并在两段边界弧上分别等于 +1 与 −1 的函数，在其全体上均匀取样。调和延拓：边界值的”最公平”内插——区域内部每点的值等于其邻域平均、边界取规定值的唯一有界解。高斯自由场：随机广义函数，与检验函数配对后的一切联合分布是中心化的高斯，协方差由区域上带 Dirichlet 边界的格林函数给出。
第三级台阶
定理的语境：有界光滑单连通区域、两个不同标记边界点、边界参数化一致收敛的三角格逼近。假设”光滑边界 + 常值两弧”挡住的麻烦是：附着估计与边界参考平均都要在常值弧附近运作，以此为整场固定加性常数；硬约束模型则落在已有光滑凸梯度场定理的适用范围之外。结论是：随机高度场收敛为边界数据的调和延拓加上一个常数倍的高斯自由场；中心化后恰是纯高斯自由场。这个倍数只依赖单位格点模型，且由一个绝对收敛的有限体积级数显式给出——级数每项都是有限区域内构形的整数计数之比，换区域、换逼近方式都不变。这解决了 Schramm 问题 2.2 的场部分；零等高线的界面收敛是另案，不在本定理之内。
证明了三角格点上边界两弧分别取 @@M@@+1@@ 与 @@M@@-1@@ 的均匀奇整数 Lipschitz 高度场，中心化后收敛到 Dirichlet 高斯自由场的普适倍数，归一化常数由绝对收敛的有限体积计数公式显式给出，从而解决 Schramm 问题 2.2 的场部分。
Schramm 在 2006 年提出、2007 年发表的问题集之问题 2.2 问：光滑单连通域上、边界被两标记点分成两弧并分别赋值 @@M@@+1@@ 与 @@M@@-1@@ 的三角格点奇整数高度函数（相邻差为 @@M@@0@@ 或 @@M@@2@@），其高度场与零等高线是否有高斯自由场与 SLE 型标度极限。此前 Glazman–Manolescu 为均匀整数 Lipschitz 模型建立了两自旋表示、正相联与回路尺度估计并证明对数涨落；Glazman–Lammers 随后在更大参数区间证明离域化（delocalization），并把 GFF 极限作为猜想讨论。困难在于：对数涨落只是方差层面的证据，不足以确定极限定律——还需在稀有钉扎条件下做比较、识别协方差常数、控制强加的两弧边界值并确定全部联合矩。光滑一致凸梯度势的已知场极限定理（Miller）不覆盖这种每条边都有硬约束的整数模型。
主定理：设 @@M@@D@@ 为带两个不同标记边界点的有界光滑单连通平面区域，@@M@@D_\delta@@ 为标记边界参数化一致收敛的三角格点多边形逼近，@@M@@h_\delta@@ 服从两弧边界的奇高度均匀律。则存在只依赖单位三角格点模型的常数 @@M@@\sigma>0@@，使得 @@M@@h_\delta\Rightarrow\bar g+\sigma\Phi_D@@ 在 @@M@@\mathcal D'(D)@@ 中成立，其中 @@M@@\bar g@@ 是边界数据 @@M@@+1/-1@@ 的有界调和延拓（bounded harmonic extension），@@M@@\Phi_D@@ 是协方差为 @@M@@G_D=(-\Delta_D)^{-1}@@ 的 Dirichlet 高斯自由场（Gaussian free field, GFF）；等价地，整数高度 @@M@@H_\delta=(h_\delta-1)/2@@ 收敛到 @@M@@m+\sqrt v\,\Phi_D@@，且 @@M@@\sigma^2=4v@@、@@M@@v=(2\pi)^2c_*@@、@@M@@\sigma=4\pi\sqrt{c_*}@@。任意有限组检验函数的联合矩收敛。归一化由绝对收敛的有限体积级数给出：@@M@@c_*=\frac1\pi\sum_j\bigl[b_{j0}+\sum_s(b_{j,s+1}-b_{js})\bigr]>0@@，其中 @@M@@b_{js}@@ 是指定光滑截断的 Fourier 系数乘以有限六角区域内双自旋构形对的均匀计数平均，全为有限整数计数之比，与区域无关。
证明的主轴是识别子列极限 @@M@@H@@ 的全部矩。第一步由反射正性（reflection positivity）提取谱信息：条件于一条格点行上的自旋值时，两侧构形独立且互为镜像，故 @@M@@\E[\overline{\Theta F}F]@@ 是半正定 Hermitian 型；两个反射的复合给出步长 @@M@@\sqrt3@@ 的法向平移，它在反射商完备化后是正自伴压缩算子。由此协方差可写成法向频率上 Cauchy 核的正混合。关键的谱和规则（spectral sum rule）在于：第四阶角调和函数在六次格点旋转下平均为零，而同一函数的 Cauchy 平均除一个可和格点误差外非负；两者相减得到非负可积的”色散缺陷”，迫使每个小频率谱极限的密度必为 @@M@@c_*/|p|^2@@；带符号角向求和再唯一确定 @@M@@c_*@@，并顺带导出上述有限体积归一化公式。同时，支撑在反射线一侧的 Laplace 检验与其镜像的协方差趋于零，得到”反射零化”恒等式。第二步移动稀有销钉（pin）：高度模 @@M@@4@@ 编码为两个 @@M@@\pm1@@ 自旋，边界销钉规定这些符号；由于典型插入点被边界销钉环绕而无法全部置于一条反射线之后，先在边界窗口开缺口、只钉住两个自旋之一，用分离钉扎事件的乘性比较控制反射范数，再借正转移算子的幂把平移在多个法向解析延拓（方法承袭六顶点模型的对应论证），让销钉移过插入点；承载规定符号的自旋回路随后闭合缺口，并迫使各不相连的钉扎弧取同一高度偏移。第三步恢复原始边界条件：附着估计从合成的均值比较推导出开水平线连接，停止规则保证未被检查区域的条件 Gibbs 律不变；在常值边界弧附近取参考平均，其在极限中收敛到规定值，恰好固定了局部高度差所遗留的加性常数。最后，矩函数在各变量远离碰撞点处调和、只有对数碰撞奇性；局部切割混合与平面协方差定出每个奇性系数，减去相应 Green 函数得到高斯矩递推（Wick 递推），而一致矩界同时提供紧性与从矩收敛到分布收敛的过渡。
本结果暂无形式化证明；按 OpenAI 官方声明”未经形式化的结果可能有问题”，应以社区核验为准。族内姊妹篇互相支撑：本篇与零边界加权模型篇共用”反射正性—销钉移动—矩方法”骨架但各自独立成文、互不引用对方定理为前提；实值 Lipschitz 曲面篇则另辟路线解决 Schramm 问题 2.3。问题 2.2 的界面部分（零等高线的 SLE 收敛）不在本篇范围之内。
针对《The Gaussian free field limit of integer Lipschitz heights with two-arc boundary data》，基于论文原文（定理 1.1、引言 §1.2–1.3 及证明策略）
问 1：证明中最关键、最脆弱的一步是什么？
| （答：谱和规则（引言 §1.3”spectral identity”）。反射正性给出 Cauchy 核混合的协方差表示后，论证依赖”第四阶角调和函数在六次格点旋转下平均为零、而其 Cauchy 平均除可和误差外非负”这一对比，得出非负可积的色散缺陷，迫使小频率谱极限密度必为 c*/ | p | ²，再由带符号角向求和唯一确定 c* 并导出有限体积级数。这一步既是归一化常数的唯一来源、也是其可计算性的来源，角调和函数的系数若有一处算错，常数就失去定义。） |
问 2：两弧边界为什么必须”光滑 + 常值”？
（答：因为加性常数的锚定机制。局部高度差只决定场差、留一个整体加性常数悬空，论文靠”在常值边界弧附近取参考平均、深度先于点数趋于零”把它钉住；附着估计也要从常值弧推导开水平线连接。边界数据更粗糙或更一般时，这套锚定没有着落——论文未讨论此类推广。）
问 3：稀有销钉的移动为什么是硬步骤？
（答：典型插入点被边界销钉环绕，无法全部置于一条反射线之后（引言 §1.3”Moving rare pins”）。解法是在边界窗口开缺口、只钉两个自旋之一，用分离钉扎事件的乘性比较控制反射范数——钉扎事件概率小，乘性比较若不够强就会丢掉一致性——再借正转移算子的幂在多个法向解析延拓平移，让销钉越过插入点，最后由携带规定符号的自旋回路闭合缺口。这是把平面恒等式搬到有界域的主通道。）
问 4：与已有工作相比真正的新意是什么？
（答：Glazman–Manolescu 的两自旋表示与回路估计只是概率起点，对数涨落不定极限律；Miller 的定理只覆盖光滑凸梯度场，硬约束整数模型在外；DCKLM 六顶点 GFF 用 Bethe ansatz 定归一化、限方格零斜率态。本文第一次给 Schramm 问题 2.2 的场部分以完整定理：全部联合矩 + 紧性 + 显式归一化——由有限六角区域整数计数之比给出的绝对收敛级数，原则上可数值计算，这与姊妹篇只给隐式常数 σ(x) 形成鲜明对比。）
问 5：这类 AI 生成证明最可能在哪里出错？
（答：一是”反射零化”恒等式的解读——论文特意警告它不等于说普通方差趋于零，这种容易被望文生义的恒等式在长证明里最易被误用；二是极限顺序纪律：所有窗口、领口、管道都先固定宽度、令格距趋于零，之后才收缩窗口，任何一处把”固定几何的界”当作”退化几何的一致界”都是隐性 bug；三是稀有钉扎事件的乘性比较常数。）
问 6：Schramm 问题 2.2 解决了吗？
（答：只解决了场部分。零等高线（界面）的 SLE 型收敛是另一半，论文明确不在范围内；问题 2.3 的实值模型由族内第三篇另案处理。三篇共用骨架但互不引用对方定理为前提，两个归一化常数之间的关系也未建立。）
问 7：谁会用到这个结果？
（答：loop O(2)/Lipschitz 高度模型的普适性研究者获得首个可计算的涨落常数 c，可与共形场论预言直接对照；后续工作可沿界面收敛、加权模型两弧边界、以及 c 的数值与显式封闭形式推进。）
总评
这篇的分量在于”定理 + 可计算常数”双落地，把 Schramm 问题 2.2 的场部分从猜想变成可检验的公式；最大风险是角向求和的代数细节与稀有钉扎比较中那些”稀有却必须乘性可控”的事件——两处都是 AI 证明容易看似平稳实则有缝的地方。