结果族 211：The geometric phase diagram, diffusion, and spectra of random planar maps · 学科：Probability and statistical mechanics · 验证状态：暂无形式化证明，请以社区核验为准
在一块随机生成的”皱地图”（随机平面地图）上放一个醉汉，每步等概率挑一条出边走。地图越来越大、又被整体缩到固定大小，醉汉的脚印越来越碎。问：把他的行走录像快进多少倍，画面才会收敛成一部稳定的”极限电影”？答案干净得出奇——恰好快进 @@M@@n@@ 倍（@@M@@n@@ 是边数），极限电影是量子球上的刘维尔布朗运动。
关键词卡片
@@M@@\gamma=\sqrt3@@。看个具体例子
设地图有 @@M@@n=10^6@@ 条边，快进倍数就取 @@M@@10^6@@，一个不多一个不少。此前在别的模型上只知存在渐近线性的快进倍数、常数无法识别；本文把常数钉死为 1，且极限对”给定地图再走路”的淬火意义成立。
为什么值得关心
首次在有限 FK–Ising 球面模型上得到常数恰为 1 的精确线性时钟，补上”从算子收敛到整条运动路径”的最后一环。
暂无形式化证明（AI 结果待核验）
第一级台阶
导读的画面是”随机皱地图上的醉汉、快进后的极限电影”。换成半数学语言：对象有两层——一张随机生成的离散曲面，以及曲面上按等概率规则一步步走的粒子；操作是”加速回放”，即把行走的时钟整体乘一个倍数。问题问：地图越来越大、又被缩放到固定尺寸时，快进多少倍，粒子轨迹连同曲面本身才收敛成一部稳定的连续电影。
第二级台阶
精确化。”随机平面地图”是把 @@M@@n@@ 条边的多边形按保定向方式随机粘合得到的多重图；”临界 FK–Ising 加权”给每个装饰 @@M@@(M,A)@@ 以正比于 @@M@@2^{\ell(M,A)/2}@@ 的概率。游走在每个顶点等概率选一条关联半边走过去；这个可逆马氏链的平稳分布是”角测度” @@M@@\mu_n(v)=\deg(v)/2n@@。曲面侧的极限对象是 @@M@@\gamma=\sqrt3@@ 的单位面积刘维尔量子引力球 @@M@@(S,D_h,\mu_h)@@：随机共形场 @@M@@h@@ 决定面积测度 @@M@@\mu_h@@ 与内蕴度量 @@M@@D_h@@；其上的”刘维尔布朗运动”由狄利克雷型 @@M@@\E_h(f,f)=\frac12\int|\nabla_gf|^2@@ 的闭包生成。曲面收敛用 Gromov–Hausdorff–Prokhorov 拓扑：把两边的空间等距嵌入同一处，比 Hausdorff 距离与测度的 Prokhorov 距离。
第三级台阶
定理的语境：曲面收敛早已由 mating-of-trees 理论得到，但曲面的极限不自动决定曲面上运动的极限——带时间参数的游走还依赖电网络能量与顶点质量；此前 Berestycki–Gwynne 在 mated-CRT 地图上的时钟常数无法识别。定理假设存在确定性尺度 @@M@@a_n\to0@@ 使度量-测度空间 @@M@@(V_n,a_nd_n,\mu_n)@@ 收敛到 @@M@@(S,D_h,\mu_h)@@；平稳性假设（初始分布取角测度）挡住的是证明中可逆分解与极大不等式对非平稳起点失效的麻烦。结论：把时间恰好加速 @@M@@n@@ 倍后，@@M@@r@@ 条给定地图条件独立的平稳游走连同曲面，在曲线装饰的 GHP 拓扑中联合收敛到给定 @@M@@h@@ 的 @@M@@r@@ 条独立刘维尔布朗运动——快进常数被钉死为 @@M@@1@@，且保留的是淬火意义下的条件路径律。
证明了临界球面 FK–Ising 地图上的平稳简单随机游走，在时间恰好加速 @@M@@n@@（边数）倍后，连同随机曲面一起收敛到 @@M@@\sqrt3@@-量子球上的刘维尔布朗运动——首次在该模型得到常数恒为 1 的精确线性时钟。
随机平面地图（random planar map）是统计力学与二维量子引力的离散随机曲面。Sheffield 的存货累积编码（inventory accumulation）把临界 Fortuin–Kasteleyn（FK）装饰地图与相关布朗路径联系起来，Gwynne–Sun 证得其有限体积等值线编码的极限，mating-of-trees 理论（Duplantier–Miller–Sheffield 及 Miller–Sheffield 的有限球面形式）进一步把极限曲面识别为 @@M@@\gamma=\sqrt3@@ 的刘维尔量子引力（LQG）球面。但曲面的极限并不自动决定曲面上粒子的运动极限：带时间参数的游走还依赖图的电网络能量与顶点质量分布。此前 Berestycki–Gwynne 在 mated-CRT 地图上证明了游走收敛到刘维尔布朗运动（Liouville Brownian motion），但其时钟由中位出口时间归一化定义，渐近常数未被识别（其文 Remark 1.3 明确遗留此问题）。本文在普通有限 FK–Ising 球面上解决这一问题，并给出精确时钟。
模型为临界球面 FK–Ising 地图 @@M@@(M_n,A_n)@@：@@M@@n@@ 条边的有根平面多重图配上边子集 @@M@@A@@，概率正比于 @@M@@2^{\ell(M,A)/2}@@，其中 @@M@@\ell=k(A)+k(A^*)-1@@ 由 @@M@@A@@ 与对偶 @@M@@A^*@@ 的连通分支数定义。游走在每个顶点等概率选取一条关联半边（half-edge）并走到其对端，保留环与重边；其平稳分布恰为角测度（corner measure）@@M@@\mu_n(v)=\deg(v)/(2n)@@。主定理：设确定性尺度 @@M@@a_n\to0@@ 使度量-测度空间 @@M@@(V_n,a_nd_n,\mu_n)@@ 在 Gromov–Hausdorff–Prokhorov 意义下收敛到单位面积 @@M@@\sqrt3@@-量子球 @@M@@(S,D_h,\mu_h)@@，则把时间加速恰好 @@M@@n@@ 倍后，电缆实现（cable realization）上的插值游走与曲面联合收敛：给定地图出发的 @@M@@r@@ 条条件独立平稳游走，收敛到给定 @@M@@h@@ 的 @@M@@r@@ 条独立刘维尔布朗运动，极限扩散由狄利克雷型（Dirichlet form）@@M@@\E_h(f,f)=\frac12\int_S\abs{\nabla_g f}^2\dd\mathrm{vol}_g@@ 的闭包生成，收敛在曲线装饰的 Gromov–Hausdorff–Prokhorov 拓扑中成立，且保留条件路径律而非仅平均后的轨道分布。
文章把证明明确拆为”引进输入”与”本地新贡献”。先从谱姊妹篇引进四项输入：同一保角坐标下的几何收敛（把地图一致化到坐标球面后，顶点间距离无畸变、嵌入网格趋于零）；通过角巡回（corner tour）把 @@M@@L^2(\mu_n)@@ 与 @@M@@L^2(\mu_h)@@ 等距嵌入同一希尔伯特空间 @@M@@L^2([0,1])@@；中心化逆算子（centered inverse）的 Hilbert–Schmidt 收敛；以及单位电导率下的局部能量恢复——图上截断函数一致逼近光滑函数且能量无多余消耗。由逆算子收敛得正时间半群收敛，配以探索巡回的一致跟踪，在公共坐标中识别有限维分布。真正的新困难是保留时间参数的紧性（tightness）：特征值收敛乃至有限维分布收敛，都不能排除空间直径可观的快速远足。绕过办法是：先对光滑空间截断用局部能量恢复构造全图一致的图截断；再用预解式（resolvent）磨光，得到生成子一致有界、仍在整条路径上准确的逼近函数；关键一步是证明一个有限状态马尔可夫链版本的 Lyons–Zheng 前向–后向鞅极大不等式（本文直接对跳链证明），把两个逼近之间的形式范数误差转化为沿平稳轨迹一致的路径误差；最后对磨光截断做可选停止（optional sampling），得到停止时间增量估计，满足 Aldous 紧性判据。极限路径必连续（最大跳跃随嵌入网格消失）、有限维分布唯一，收敛由此得证；末节再转移到电缆路径、消除指数时钟，并组装出随机环境中的联合收敛。全程无需额外混合假设或热核估计，但平稳性在论证中必不可少——作者明言不主张任意起始顶点的收敛。
本文主结果暂无形式化证明；依 OpenAI 官方声明，未经形式化的结果可能有问题，请以社区核验为准。几何与电网络输入全部来自同族谱姊妹篇（Spectral convergence for critical FK–Ising planar maps）的命题 2.4、定理 5.2 等，两篇互为支撑：姊妹篇证单位电导率与逆算子收敛，本文补上”从算子到路径”的最后一环；姊妹篇另证得特征值与热迹收敛，与本文共享同一极限曲面，形成闭环。
问 1：证明里最关键也最脆弱的一步是什么？
（答：保留时间参数的紧性。谱姊妹篇的中心化逆算子收敛只能给出正时间半群收敛与有限维分布，排除不了”空间直径可观的快速远足”。本文的关键兵器是把 Lyons–Zheng 前向–后向鞅分解直接对有限状态跳链证明成极大不等式，把两类逼近函数（图截断与预解式磨光）之间的形式范数误差转化为沿平稳轨迹一致的路径误差，再配可选停止满足 Aldous 判据。这一步若有缝隙，整条路径收敛就只剩有限维分布。）
问 2：平稳性假设为什么不能去掉？
（答：作者明言”平稳性在论证中必不可少，不主张任意起始顶点的收敛”。前向–后向鞅分解与极大不等式都依赖可逆性沿整条轨迹成立；非平稳起点会让后向分解失去鞅性。主定理也以”存在确定性尺度给出度量-测度极限”为前提，是条件性输入而非本文所证。）
问 3：与 Berestycki–Gwynne 的 mated-CRT 结果相比，真正的新意是什么？
（答：三处。其一，时钟精确：他们用中位出口时间归一化，渐近常数未识别，本文把确定性加速钉死为边数 @@M@@n@@、常数恰为 @@M@@1@@。其二，舞台不同：这里是普通有限 FK–Ising 球面模型而非 mated-CRT 地图。其三，收敛与内蕴度量、面积测度联合，且保留随机环境中的条件路径律，而非平均后的单轨迹分布。）
问 4：这类 AI 生成证明最可能的出错模式是什么？
（答：对姊妹篇输入的传导与常数匹配。本文的几何收敛、单位电导率、局部能量恢复、中心化逆算子 Hilbert–Schmidt 收敛全部引自谱姊妹篇（其命题 2.4、定理 5.2），若任一输入有误则整体坍塌；其次，狄利克雷型的 @@M@@1/2@@ 因子、电导率取一、角测度 @@M@@2n@@ 归一化这些约定之间的常数一旦错位，”恰好 @@M@@n@@ 倍”就会静默变成”@@M@@c\cdot n@@ 倍”。本文自身的新论证（鞅不等式、紧性）是形式上可查的，常数簿记是最该复核的地方。）
问 5：为什么角测度是”正确”的离散化？
（答：两层原因。离散侧，等概率选半边的游走对正比于度数的测度可逆，@@M@@\mu_n(v)=\deg(v)/2n@@ 是其平稳分布——这是可逆马氏链的初等事实。连续侧，角巡回把 @@M@@L^2(\mu_n)@@ 等距嵌入 @@M@@L^2([0,1])@@ 并在极限中参数化量子面积，使 @@M@@\mu_n@@ 恰好逼近面积测度 @@M@@\mu_h@@。两端咬合，时钟常数才可能干净地为 @@M@@1@@。）
问 6：结果谁会用、边界在哪？
（答：LQG 扩散理论直接受益——精确时钟让出口时间、谱与热核相关的下游渐近可以定量陈述；与姊妹篇的特征值、热迹收敛共享同一极限曲面，形成”几何—电网络—算子—路径”闭环。边界也清楚：不覆盖任意起点，未做混合速率与热核估计（论证不需要也不提供），论文未讨论。）
总评
补上”从算子收敛到整条路径”的最后一环，把悬置的时钟常数钉死为 @@M@@1@@，分量实在；最大风险在于全部电网络输入押在未形式化的姊妹篇上，常数约定的错位是需优先复核的失效模式。