结果族 211：The geometric phase diagram, diffusion, and spectra of random planar maps · 学科：Probability and statistical mechanics · 验证状态：暂无形式化证明，请以社区核验为准
换一种随机世界：地图不再按 Ising 规则加权，而是按”能长出多少棵生成树”计票——树越多的地图越常见。在这样抽出的地图上让醉汉走路，问老问题：录像要快进几倍才收敛？答案依旧干脆：恰好 @@M@@n@@ 倍，极限是 @@M@@\sqrt2@@-量子球上的刘维尔布朗运动。两种材质不同的随机世界，调到同一个”@@M@@\times n@@“频道都很清晰。
关键词卡片
看个具体例子
时钟由一条精确恒等式直接读出（数字版定理）：
@@M@@D-\langle f,\,nL_nf\rangle_{L^2(\mu_n)}=\tfrac12\,\mathcal E_n(f)\quad\Longrightarrow\quad\text{时间加速常数}=1.@@
即 @@M@@n@@ 条边就加速恰 @@M@@n@@ 倍。证明中最”手艺活”的是格林估计：把中心化逆拉普拉斯算子拆成树割之和，等值线双射把割的大小化成对偶树距离，再用 Dyck 游走估计控制——纯组合的有限图论证。
为什么值得关心
验证了族内方法可跨模型迁移；其中的格林估计可独立于能量识别单独复用，是可带走的技术输出。
暂无形式化证明（AI 结果待核验）
第一级台阶
导读换了”材质”：地图不再按 Ising 规则加权，而是按”能长出多少棵生成树”计票——树越多的地图越常被抽中。对象仍是一张随机离散曲面加一个等概率走半边的粒子；操作仍是把行走的录像快进。老问题在新世界重问：快进几倍，画面才收敛？答案与 FK–Ising 世界同频：恰好 @@M@@n@@ 倍。
第二级台阶
精确化。”生成树”是连通全部顶点又不含圈的边集，是地图的最小骨架；从”带一棵均匀生成树的 @@M@@n@@ 边有根平面多重图对” @@M@@(M_n,T_n)@@ 出发，地图的边缘分布权重便正比于其生成树个数（Mullin–Bernardi 情形）。游走由速率一的泊松时钟驱动、等概率选关联半边，对度测度 @@M@@\mu_n=\sum_v\frac{\deg(v)}{2n}\delta_v@@ 平稳可逆。连续极限是 @@M@@\gamma=\sqrt2@@ 的单位面积刘维尔量子球 @@M@@(S,D_h,\mu_h)@@，其上的刘维尔布朗运动由狄利克雷型 @@M@@\cE_h(f,g)=\frac12\int\langle\nabla f,\nabla g\rangle@@ 的闭包生成。”淬火收敛”指把给定环境的条件路径律也当作状态的一部分一并收敛。
第三级台阶
定理的语境：随机曲面的度量与面积极限不自动决定其上的粒子运动——逼近图的电导可以改变极限扩散，时间归一化是否收敛到单一确定性线性时钟更是独立的难题。定理假设姊妹篇给出的几何前提：在确定性直径归一化 @@M@@a_n@@ 下 @@M@@(V_n,a_nd_n,\mu_n)@@ 收敛到 @@M@@(S,D_h,\mu_h)@@；平稳性假设挡住的是可逆论证对非平稳起点的失效。结论：四元组 @@M@@(V_n,a_nd_n,\mu_n,Q_n^T)@@——其中 @@M@@Q_n^T@@ 是给定地图时加速路径 @@M@@(X^n_{nt})_{0\le t\le T}@@ 的条件律——收敛到 @@M@@(S,D_h,\mu_h,Q_h^T)@@，时间加速常数精确为 @@M@@c=1@@；同一论证还给出任意固定条条件独立游走的联合收敛，完整保留共享环境的信息。时钟由离散恒等式 @@M@@-\langle f,nL_nf\rangle_{L^2(\mu_n)}=\frac12\en_n(f)@@ 结合能量系数 @@M@@\lambda=1@@ 直接读出。
证明了按生成树数目加权的平面地图上的平稳随机游走，在时间加速恰好 @@M@@n@@（边数）倍后，其条件路径律连同度量-测度空间收敛到 @@M@@\sqrt2@@-量子球上的刘维尔布朗运动，时钟乘子精确为 1。
随机曲面的度量与面积极限并不自动决定曲面上的粒子运动：逼近图的电导（conductance）可以改变极限扩散，而时间归一化是否收敛到单一确定性线性时钟，是独立的难题。本文处理按生成树数目加权的平面地图——即地图带均匀生成树装饰的 Mullin–Bernardi 情形，本族概述将其与 FK–Ising 并列为已证明扩散收敛的两个模型。其几何前提（等值线重构理论与度量-测度极限）已由姊妹篇给出，本文补上电网络能量识别与速度测度（speed measure）控制两块拼图，证明这种分离式策略恰好可行，因为两部分都不能单独由度量-测度收敛推出。
@@M@@(M_n,T_n)@@ 均匀取自 @@M@@n@@ 条边、带一棵生成树的有根平面多重图对，故地图边缘分布权重正比于其生成树个数。游走在速率 1 的泊松时钟驱动下等概率选取关联半边（half-edge）并移动到另一端点，环不产生位移；其平稳可逆分布为度测度 @@M@@\mu_n=\sum_{v\in V_n}\frac{\deg(v)}{2n}\delta_v@@。连续极限是单位面积 @@M@@\sqrt2@@-刘维尔量子引力（LQG）球 @@M@@(S,D_h,\mu_h)@@，其上扩散为狄利克雷型（Dirichlet form）@@M@@\cE_h(f,g)=\frac12\int\langle\nabla f,\nabla g\rangle\dd\vol@@ 在 @@M@@L^2(\mu_h)@@ 上闭包所对应的刘维尔布朗运动（Liouville Brownian motion）。主定理：在确定性直径归一化 @@M@@a_n@@ 下，四元组 @@M@@(V_n,a_nd_n,\mu_n,Q_n^T)@@ 收敛到 @@M@@(S,D_h,\mu_h,Q_h^T)@@，其中 @@M@@Q_n^T@@ 是给定地图时加速路径 @@M@@(X^n_{nt})_{0\le t\le T}@@ 的条件律，@@M@@Q_h^T@@ 是给定场 @@M@@h@@ 时 @@M@@B^h@@ 的条件律——即在曲线装饰的 Gromov–Hausdorff–Prokhorov 型拓扑下保留随机环境信息的淬火（quenched）联合收敛，时间加速常数 @@M@@c=1@@。同一论证还给出任意固定条条件独立平稳游走的联合收敛，完整保留共享环境的信息。
证明刻意把”能量识别”与”速度测度”分开。能量方面，先证非退化性：若环域极值长度（extremal length）可以坍缩到零，低能流会留下非零的平均长度测度极限；局部性与场芽（field germ）平凡性使典型点处同时出现横穿的原始与对偶穿越流，而任何这样一对都要经过一条边及其对偶边，与流量范数趋于零矛盾；由此得到有界能量的截断函数与调和函数族的紧性。再识别能量：每个局部变分极限都形如 @@M@@\lambda\int\abs{\nabla u}^2@@，且原始与对偶网络共享同一确定性正标量 @@M@@\lambda@@；为定出 @@M@@\lambda@@，把环域上的电容器与其旋转电流的周期相比较，一个方向给出 @@M@@\lambda\le1@@，另一个方向借助角上同调（angular cochain）的恢复与原始–对偶带符号配对给出 @@M@@\lambda\ge1@@，故 @@M@@\lambda=1@@；继而通过内部游离密度把结果转移到固定面积球面，被略去的单个等值线端点因零索伯列夫容量（Sobolev capacity）而无影响。速度测度方面，关键是关于中心化逆图拉普拉斯的一致估计 @@M@@\|G_nf\|_\infty\le A_n\,\mu_n(\abs f)^\rho@@（@@M@@0<\rho<1/2@@，@@M@@\sup_n\EE A_n<\infty@@），其证明完全是有限地图上的组合论证：生成森林恒等式把中心化逆表示为树割之和，等值线双射把每个割的大小表示为 1 加一个对偶树距离，再由 Dyck 游走（Dyck excursion）估计控制区间和。最后的动力学部分：上述格林界与能量收敛、调和紧性共同满足一个确定性收敛判据；预解式（resolvent）一致收敛配合 @@M@@\alpha R_\alpha f\to f@@ 的一致 Feller 型逼近，给出对一切起始顶点一致的出口时间估计，Aldous 判据给出紧性；平稳有限维分布经乘积拉普拉斯变换识别为极限扩散的对应量。时钟则由精确恒等式 @@M@@-\langle f,nL_nf\rangle_{L^2(\mu_n)}=\frac12\en_n(f)@@ 结合 @@M@@\lambda=1@@ 直接读出。
主结果暂无形式化证明；依 OpenAI 官方声明，未经形式化的结果可能有问题，请以社区核验为准。本文与两篇 FK–Ising 姊妹篇结构平行（姊妹篇几何极限 + 本文能量与格林估计 + 路径收敛），验证了族 211 的方法跨模型可迁移；其格林估计可独立于能量识别单独使用，是可复用的技术输出。核验时应重点关注 @@M@@\lambda=1@@ 的双向比较论证与格林估计的组合部分。
问 1：证明里最关键也最脆弱的一步是什么？
（答：两处手艺活。其一是能量系数 @@M@@\lambda=1@@ 的双向夹逼：环域电容器与其旋转电流周期的比较给 @@M@@\lambda\le1@@，角上同调（angular cochain）的恢复加原始–对偶带符号配对给 @@M@@\lambda\ge1@@。其二是格林估计 @@M@@\|G_nf\|_\infty\le A_n\mu_n(|f|)^\rho@@（@@M@@0<\rho<1/2@@，@@M@@\sup_n\E A_n<\infty@@）的纯组合证明：生成森林恒等式把中心化逆拉普拉斯拆成树割之和、等值线双射把割的大小化成”一加对偶树距离”、Dyck 游走估计控制区间和。前者错一点时钟常数就不是 @@M@@1@@，后者垮掉则动力学部分整体失据。）
问 2：为什么必须把”能量识别”与”速度测度”分开处理？
（答：论文明言两者都不能由度量-测度收敛单独推出：逼近图的电导可以改变极限扩散，速度测度的局部流速也需要单独控制。分开之后，能量部分走变分极限与共形论证，速度部分走有限图的组合格林估计——两条腿各自立住，拼起来才走得通。）
问 3：与既有工作相比，真正的新意是什么？
（答：对 Mullin–Bernardi 树加权地图这一模型首次给出精确线性时钟（常数 @@M@@1@@）；此前 mated-CRT 地图上的结果要么模时间参数化、要么时钟常数未识别。方法学上是族 211 的跨模型迁移验证：FK–Ising 世界的”几何姊妹篇＋能量＋格林＋路径”架构在 @@M@@\sqrt2@@ 世界原样复跑。格林估计被明确标为可独立复用的技术输出。）
问 4：这类 AI 生成证明最可能的出错模式是什么？
（答：跨篇扩展声明。本文需要”姊妹篇的局部重构与条件核计算同样适用于极值长度与受限能量极小”，并强调”精确的边关联至关重要——仅逼近图距离无法识别能量”。这类把引用结果的数值输出搬进新语境的步骤，最容易出现引用定理实际不交付所需数值的静默缝隙。常数簿记（型中 @@M@@1/2@@、泊松速率 @@M@@1@@、度测度 @@M@@2n@@）是第二风险点。）
问 5：淬火收敛比通常的收敛强在哪，谁受益？
（答：条件路径律 @@M@@Q_n^T@@ 本身作为随机测度参与收敛，环境信息不被平均掉；由此免费得到同图上任意固定条条件独立游走的联合收敛，共享环境完整保留。研究极限扩散与环境的联合统计（局部时、交点行为一类问题）的人直接受益；配分函数式渐近与出口时间估计也可由此定量陈述。）
问 6：为什么极限是 @@M@@\sqrt2@@-量子球，与 FK–Ising 篇的 @@M@@\sqrt3@@ 不同？
（答：@@M@@\gamma@@ 由系综决定：生成树装饰地图经等值线编码对应 @@M@@\gamma=\sqrt2@@ 的 LQG 球，而临界 FK（@@M@@q=2@@）对应 @@M@@\gamma=\sqrt3@@——这是姊妹篇几何定理的输入，本文只取不给。值得注意的是两个不同 @@M@@\gamma@@ 的世界调到同一个”@@M@@\times n@@“频道，说明时钟常数 @@M@@1@@ 并非某个 @@M@@\gamma@@ 的巧合。）
总评
干净地验证了族内方法可跨模型迁移，格林估计是能带走的技术资产；最大风险在 @@M@@\lambda=1@@ 的双向比较与组合格林估计两处，以及把姊妹篇数值结论搬进电学语境的扩展声明，需独立核验。