结果族 232：Gaussian fields and interfaces for triangular-lattice Lipschitz heights · 学科：Probability and statistical mechanics · 验证状态：暂无形式化证明，请以社区核验为准
把随机地形的高度从整数”台阶”放宽成任意实数”斜坡”：每个格点的高度是实数，唯一约束仍是相邻差不超过 1，再按约束区域内的体积均匀随机取。结论双响：这片随机曲面收敛到高斯自由场的倍数，而曲面上的”零海拔等高线”收敛到著名的随机曲线 SLE@@M@@_4@@——Schramm 问题 2.3 就此解决。
关键词卡片
@@M@@|h(x)-h(y)|\le 1@@、按体积均匀分布的随机曲面。@@M@@_4@@（chordal SLE@@M@@_4@@）：@@M@@\kappa=4@@ 的 SLE 曲线；高斯自由场等高线的普适极限。看个具体例子
数字版定理：三角格顶点密度 @@M@@v=\dfrac{2}{\sqrt{3}}\approx 1.155@@；场方差 @@M@@\sigma^2=\dfrac{1}{vA}@@，而让界面恰好变成 SLE@@M@@_4@@ 的”调准”边界幅值 @@M@@\lambda@@ 满足 @@M@@\lambda^2=\dfrac{\pi}{8vA}@@。两式联立消去 @@M@@vA@@，得到干净的关系 @@M@@\lambda=\sigma\sqrt{\dfrac{\pi}{8}}\approx 0.6267\,\sigma@@。读法：恰好当两弧边界抬升为涨落 @@M@@\sigma@@ 的 0.6267 倍时，零等高线收敛到 SLE@@M@@_4@@；抬得更高或更低，极限界面就不再是它。
为什么值得关心
首次对”硬约束”实值随机曲面同时给出场极限与界面极限，补齐 Schramm 问题 2.3；系数 A 的数值刻画则成为天然的后续课题。
暂无形式化证明（AI 结果待核验）
衔接《解读 Uniform real Lipschitz surfaces on the triangular lattice》入门导读
第一级台阶
导读把整数”台阶地形”放宽成了实数”斜坡地形”。半数学地说：对象是格点区域每个顶点上取实数的高度，唯一的硬规矩是相邻顶点高度之差的绝对值不超过一；随机性来自在所有满足规矩与边界钉值的高度中按体积均匀取样。把高度在三角形上平滑延拓后，”海拔为零”的地点连成一条连接两个边界标记点的曲线——要证的正是这片曲面与这条曲线放大后的形状。
第二级台阶
三个概念精确化。均匀实值 Lipschitz 曲面：约束多面体（一个有界凸集）上的规范化勒贝格测度。调和测度：从区域内一点出发的布朗运动首次击中边界、落在某段指定弧上的概率，它给出边界值的”最公平”内插。弦 SLE₄：由标准布朗运动经洛厄纳方程驱动的随机曲线，κ=4 这一参数恰是高斯自由场等高线的普适极限；曲线收敛取重参数化下的一致距离，场收敛取随机分布意义。
第三级台阶
定理的语境是光滑单连通区域、两标记点分出的开弧分别钉在 ±λ。假设”硬势——势函数在 [−1,1] 上常数、在外无穷”挡住的麻烦是：既有围线普适性定理全部要求光滑一致凸势，用光滑势逼近硬势本身不构成证明；λ 不超过 1/2 则保证边界不等式相容、多面体有内点。结论分两支：中心化的高度场除以常数 σ 后收敛到 Dirichlet 高斯自由场，均值由调和测度差给出；而当边界幅值取到唯一一个”调准”值时，零等高线在一致曲线距离下收敛到弦 SLE₄。所有常数由一个隐式的切向通量系数 A 统辖：σ² = 1/(vA)，调准幅值满足 λ² = π/(8vA)，A 无初等闭式。这补齐了 Schramm 问题 2.3 的场与界面两半。
证明了三角格点上均匀实值 Lipschitz 曲面的高度场收敛到 Dirichlet 高斯自由场的倍数，且在一个调准的两弧边界幅值处零高等界收敛到 chordal SLE@@M@@_4@@，解决 Schramm 问题 2.3；场方差与边界高度经一个隐式切向通量系数相联系。
Schramm 问题 2.3 考虑实值最近邻 Lipschitz 约束下的随机曲面：自由顶点高度服从约束多面体上的规范化 Lebesgue 测度，问高度场与零界面的标度极限。Schramm–Sheffield 曾对离散 GFF 建立等值线与 SLE@@M@@_4@@ 的对应，Miller 把围线普适性推广到光滑、对称、一致凸的梯度势；但本模型的”硬势”在 @@M@@[-1,1]@@ 上取常数、在外为无穷，不满足凸性假设，因此用光滑势逼近本身并不构成解。另一方面，梯度场同质化传统（Naddaf–Spencer、Giacomin–Olla–Spohn）与硬核离域化结果（Miłoś–Peled、Cohen-Alloro–Peled 的受控梯度估计）都只给出无穷体积或去局域化信息，不产出有界域的场极限或围线极限，问题长期悬置。
模型：区域 @@M@@D@@ 光滑单连通，标记边界点 @@M@@a,b@@ 分出开弧 @@M@@A_\pm@@，边界高度在两弧上分别为 @@M@@\pm\lambda@@（@@M@@0<\lambda\le1/2@@），自由顶点高度满足 @@M@@|h(x)-h(y)|\le1@@；高度在三角形上仿射延拓，几乎必然每个三角形至多含一条零高度线段，这些线段组成回路与一条连接标记点的弦界面 @@M@@\gamma_\delta@@。主定理：存在与 @@M@@D,a,b@@ 无关的常数 @@M@@A>0@@、@@M@@\sigma>0@@ 与调准幅值 @@M@@\lambda\in(0,1/2]@@，使得 @@M@@\gamma_\delta\Rightarrow\mathrm{SLE}_4(D;a,b)@@（在一致曲线距离下）且 @@M@@\frac{h_\delta-\E h_\delta}{\sigma}\Rightarrow\mathrm{GFF}_D@@（在随机分布意义下）。具体地，@@M@@v=2/\sqrt3@@ 为格点顶点密度，@@M@@\sigma^2=(vA)^{-1}@@，调准幅值满足 @@M@@\lambda^2=\pi/(8vA)@@，极限均值为 @@M@@m_D(z)=\lambda[\omega_D(z,A_+)-\omega_D(z,A_-)]@@，其中 @@M@@\omega_D@@ 是调和测度（harmonic measure）。@@M@@A@@ 是元胞构造中定义的切向通量系数（tangent-flux coefficient），有效刚度 @@M@@vA@@ 无初等闭式；界面结论恰在一个调准幅值处成立，该幅值等于高度间隙 @@M@@\sigma\sqrt{\pi/8}@@。高度场极限不需要对数重标度。
证明分四部分。先打体积基础：利用 Prékopa 对数凹性得到局部体积曲率，配合稀疏缺陷估计与三角暴露、平均锚定等有限体积论证，推出宏观平均的无标度矩；Cohen-Alloro–Peled 的受控梯度估计提供零钉扎起点，并被推广到有界数据与符号观测——这步不可省，因为界面探索会不断改变所条件的高度多面体。第二步构造同步反射耦合（synchronous reflected coupling）：给自由坐标驱动相同的 Brown 噪声，公共噪声相消，只剩强制相对漂移与凸多面体边界接触的平均作用；借助 Słomiński 的固定域 Skorokhod 逼近、Bass–Hsu 的反射 Brown 运动半鞅结构与 Lyons–Zheng 前向—反向鞅分解，把接触事件按发生次序保留到平稳体极限，再用相对高度的平均输运识别宏观方程。第三步解平稳元胞问题（cell problem）：体采样下的梯度过程连同其驱动 Brown 增量有唯一的局部极限，它平稳且空间遍历；切向更新识别出一个标量通量律，其正系数即 @@M@@A@@，而对小平滑指数倾斜（tilt）的线性响应给出高斯场极限与 @@M@@\sigma^2=(vA)^{-1}@@；随后在变化的观测集合上建立解析迹估计，得到条件 Dirichlet 协方差。第四步做界面：可行移动（feasible shift）以受控的体积代价把交叉估计转化为障碍；障碍与条件场估计联合给出采样界面的分离性、高度间隙与在停止时刻一致的调和观测量；在对偶符号链滤流下 @@M@@M_T(f)=\E[X(f)\mid\mathcal F_T]@@ 是精确鞅，格点游走的调和测度落点可与相应区域的 Brownian 出口耦合，前向与反向驱动函数收敛经 Sheffield–Sun 强路径判据升格为一致曲线收敛，即 @@M@@\mathrm{SLE}_4@@；装配论证最后把每个提取的高度间隙识别为 @@M@@\sigma\sqrt{\pi/8}@@，反推出调准的 @@M@@\lambda@@ 并去除子列依赖。
本结果暂无形式化证明；按 OpenAI 官方声明”未经形式化的结果可能有问题”，请以社区核验为准。族内三篇共同支撑 Schramm 的实场/界面纲领：两篇整数模型姊妹篇分别解决两弧边界与加权零边界的 GFF 极限，本篇补上实值模型的场与界面，但其技术路线（凸几何加反射 Brown 运动，而非谱方法）相对独立。切向通量系数 @@M@@A@@ 只以构造方式定义，其数值刻画与闭式是自然的后续课题。
针对《Uniform real Lipschitz surfaces on the triangular lattice》，基于论文原文（定理 1.1、§1.1 历史与范围、§1.2 证明计划、§10 装配证明）
问 1：证明中最关键、最脆弱的一步是什么？
（答：元胞问题中切向通量系数 A 的识别（§1.2 第三部分：平稳切向更新给出标量通量律，对小平滑指数倾斜的线性响应给出高斯场极限与 σ²=(vA)^{-1}）。A 是全文的常数之源：σ、调准幅值 λ、装配论证里”每个提取的高度间隙都等于 σ√(π/8)”（命题 h:normalization）全部挂在它上面。若平稳元胞极限的唯一性或线性响应系数有误，三个常数同时失效，SLE₄ 结论随之崩塌。）
问 2：为什么不能用光滑势逼近硬势、套用 Miller 的围线普适性？
（答：论文在 §1.1 明说：本模型的势在 [−1,1] 上是常数、在外为无穷，不满足光滑对称一致凸假设；逼近序列在势”变平”处的行为没有任何控制，极限与交换极限次序都无依据。同化传统（Naddaf–Spencer 等）与硬核离域化（Miłos–Peled、Cohen-Alloro–Peled）只给无穷体积信息，不出有界域的场极限或围线极限；Buchholz–Cotar–Schweiger 的非凸普适性仍要求光滑弯曲的混合分量，盖不住”平 + 无穷”势。）
问 3：λ ≤ 1/2 这个假设挡住什么？
（答：相容性。边界两弧固定值之差为 2λ，相邻边界顶点间的约束要求 2λ ≤ 1，否则多面体为空；论文同时指出全取零的自由坐标给出非空内点。这不是技术方便而是模型良定义的边界。）
问 4：”调准幅值”为什么只能有一个？
（答：高度间隙必须与边界抬升匹配：装配阶段把每个提取的间隙识别为 σ√(π/8)，反推 λ² = π/(8vA)。这正与 Schramm–Sheffield 连续 GFF 等高线理论中”水平差 σ√(π/8) 产生 SLE₄”的常数吻合——匹配不是巧合而是定理内容。但论文未讨论非调准幅值下界面收敛到什么（若收敛的话），这是留白。）
问 5：AI 生成证明最可能在哪里出错？
（答：一致性的强度。论文强调”要求的一致性是断言的一部分而非可选强化”：一切估计须对测试驱动函数的停止规则一致、随机观测只能用其精确条件 Gibbs 核、且”不对任意冻结值做一致 quenched 断言”（§1.2 末与 §2）。这类”annealed/quenched 界线”与”变多面体上的反射 Brown 运动”（Słomiński 逼近 + Bass–Hsu 半鞅结构 + Lyons–Zheng 分解的局部推广）是隐性缝隙的高发区——一处常数依赖错方向的”一致”，整条界面论证就会断裂。）
问 6：同步反射耦合的技巧妙在哪里？
（答：给两个系统的自由坐标喂同一份 Brown 噪声，公共噪声相消，只剩强制相对漂移与凸多面体边界的接触项，把”比较两个不同边界条件的均匀场”化为”一个反射过程的差过程”——这正是绕开光滑势耦合论证（Miller 的调和差方法）的替代通道，也是硬势下唯一可用的比较机制。）
问 7：谁会用到它？
（答：Schramm 问题清单的追随者拿到 2.3 的完整解答；GFF/SLE₄ 耦合社区获得一个自然的新实例（均匀实值曲面）；后续的天然课题是 A 的数值与闭式、非调准幅值的界面极限、以及与两篇整数姊妹篇常数之间的关系——论文对这些均未置评。）
总评
同时拿下场极限与界面极限、补齐 Schramm 2.3，是这三部曲里野心最大的一篇；最大风险是 A 只以构造方式定义、且全文堆叠的”对停止规则一致”的估计链条冗长，任何一环的常数依赖方向出错都足以推翻 SLE₄ 部分。