结果族 211：The geometric phase diagram, diffusion, and spectra of random planar maps · 学科：Probability and statistical mechanics · 验证状态：暂无形式化证明，请以社区核验为准
像素照片越来越高清，最终显影出一张连续的地形图。随机地图上的”图距离”（数几条边能从 A 走到 B）就是像素粒度：论文证明 FK 加权图与生成树图的距离经统一缩放后，连同按度数分配的质量，收敛成一张连续的”量子地形图”——LQG 量子球及其内蕴度量。
关键词卡片
@@M@@D_h@@，分形般崎岖。@@M@@\mu_n(v)=\deg(v)/(2n)@@，即均匀撒一个”角”落在各顶点的概率。@@M@@q=2+2\cos(\pi\gamma^2/2)@@，把 FK 温度计换算成曲面的粗糙度 @@M@@\gamma@@。看个具体例子
公式卡（数字版定理＋换算表）：
@@M@@D(V(M_n),\,a_n d_n,\,\mu_n)\;\Longrightarrow\;(S,\,D_h,\,\mu_h),\qquad q=1\Rightarrow\gamma=\sqrt{8/3},\ \ q=2\Rightarrow\gamma=\sqrt3,\ \ \text{生成树}\Rightarrow\gamma=\sqrt2.@@
例如 @@M@@q=2@@（Ising）时，缩放后任两顶点的步数距离稳定趋近 @@M@@\sqrt3@@-量子球上的 @@M@@D_h@@；@@M@@q=1@@ 时地图退化为均匀地图，极限与经典的 Brownian map 理论吻合——新定理把旧结果作为特例收入囊中。收敛对每个正整数边数 @@M@@n@@ 都成立，不必沿子列取极限；距离用每条原始边（含环与重边）计算。证明骨架三步走：识别局部距离、控制每一个顶点、保留测度。
为什么值得关心
解决了 Gwynne–Miller 图度量猜想的有限球面情形（@@M@@q\in(0,4)@@ 与生成树两个家族），并充当族内另外两篇论文的度量支柱；定理不主张对 @@M@@q@@ 的一致性、端点值或 @@M@@a_n@@ 的幂律。
暂无形式化证明（AI 结果待核验）
第一级台阶
导读的”像素照片显影成连续地形图”换成半数学语言：对象是两种按不同规则抽出的随机离散曲面——FK 加权图与按生成树数目加权的图；每张曲面带两件装备，数边数的最短路边距，以及按度数撒在顶点上的质量。操作是距离的统一确定性缩放。问题问：像素粒度越来越细时，带质量的地形是否收敛成一张连续的”量子地形图”。
第二级台阶
精确化。”图距离” @@M@@d_n@@ 把每条原始边（含环与重边）计为长一；”顶点测度” @@M@@\mu_n(v)=\deg(v)/(2n)@@（环计两次）恰是均匀撒一个角落在各顶点的概率。收敛模式是 Gromov–Hausdorff–Prokhorov：把两个带测度的紧度量空间等距嵌入同一处，同时比集合的 Hausdorff 距离与测度的 Prokhorov 距离。参数对照 @@M@@q=2+2\cos(\pi\gamma^2/2)@@ 把 FK 温度换算成曲面粗糙度：@@M@@q=1@@ 给 @@M@@\gamma=\sqrt{8/3}@@（均匀地图），@@M@@q=2@@ 给 @@M@@\sqrt3@@，生成树家族取 @@M@@\gamma=\sqrt2@@。极限是单位面积 @@M@@\gamma@@-LQG 量子球 @@M@@(S,D_h,\mu_h)@@，内蕴度量 @@M@@D_h@@ 由 LFPP 紧性与唯一性理论提供。
第三级台阶
定理的语境：图度量问题问”重标后的最短路距离是否收敛到 LQG 内蕴度量”——轮廓编码只识别曲面，控制不了局部通道与典型采样可能漏掉的顶点；Gwynne–Miller 的 Conjecture 1.7 明确把这两个家族列入猜想。定理断言：对每个固定 @@M@@q\in(0,4)@@ 的临界 FK 球面图与一致生成树装饰图，存在确定性 @@M@@a_n\to0@@，使 @@M@@(V(M_n),a_nd_n,\mu_n)@@ 在 GHP 拓扑中依律收敛到 @@M@@(S,D_h,\mu_h)@@。固定 @@M@@q@@ 的假设挡住的是对 @@M@@q@@ 的一致性与端点——定理不主张；结论对一切正整数边数成立、不取子列。@@M@@q=1@@ 时地图边缘分布均匀，极限与 Le Gall–Miermont 的 Brownian map 理论吻合——旧经典被作为特例收入新定理。
对每个固定 @@M@@q\in(0,4)@@ 的临界 FK 球面图以及一致生成树装饰图，本文证明了 Gwynne–Miller 图度量猜想的有限球面情形：图距离经确定性重标后，连同度数比例的顶点测度，在 Gromov–Hausdorff–Prokhorov 意义下收敛到对应的单位面积 LQG 球面。
随机平面图的“图度量问题”问：图上最短路距离经重标后是否收敛到所对应 LQG 曲面的内蕴度量。轮廓编码与树交配已识别出曲面极限，但图度量还需要控制局部通道以及典型采样可能漏掉的顶点。次临界 LQG 度量理论建立在 Ding–Dubédat–Dunlap–Falconet 的 LFPP 紧性与 Gwynne–Miller 的唯一性定理之上，其 Conjecture 1.7 明确把 FK 权重（@@M@@\gamma\in(\sqrt2,2)@@，即 @@M@@q\in(0,4)@@）与生成树权重（@@M@@\gamma=\sqrt2@@）列入猜想范围。@@M@@q=1@@ 时地图边缘分布均匀，极限由 Brownian map 理论（Le Gall、Miermont）及其与 @@M@@\sqrt{8/3}@@-LQG 的等同已知；@@M@@q=2@@ 对应 FK–Ising；生成树端点的编码没有 FK 式的柔性顺序，需要独立证明。
主定理：对固定 @@M@@q\in(0,4)@@ 的 FK 集合与一致生成树集合（@@M@@(M_n,T_n)@@ 均匀采样，等价于按生成树数加权），设 @@M@@\gamma@@ 由 @@M@@q=2+2\cos(\pi\gamma^2/2)@@ 确定（生成树取 @@M@@\gamma=\sqrt2@@），存在确定性正数 @@M@@a_n\to0@@，使
@@M@@D(V(M_n),\;a_n\,d_n,\;\mu_n)\xrightarrow{\ \mathrm{law}\ }(S,\;D_h,\;\mu_h)@@
在紧度量概率空间模保测度等距的 Gromov–Hausdorff–Prokhorov（GHP）拓扑中成立。这里 @@M@@d_n@@ 是用每条原始边、边长为一的图距离；@@M@@\mu_n(v)=\deg_{M_n}(v)/(2n)@@（环计两次），恰是均匀采样一个角所得顶点的分布；极限为普通单位面积 @@M@@\gamma@@-量子球面及其内蕴 LQG 度度量的固定归一化。收敛对一切正整数 @@M@@n@@ 成立；定理不主张对 @@M@@q@@ 的一致性、端点值、@@M@@a_n@@ 的幂律或收敛速率，顶点均匀测度的版本需另行论证。
两条编码线共用“识别局部距离—控制每个顶点—保留测度”的骨架。第一步从词（word）编码提取局部信息：带缓冲的紧区域有含保留词区间、精确边界高度与粘合指令的有限图表描述，可恢复一切受限通道及其有限标记子路径；FK 词的柔性顺序可依赖区间之外的更早字母，故须保留有限的供应者比较指令与相关遍历的顺序，并在精确格点上磨光相对高度后再取极限，从而得到局部通道观测——包括不连续的最短路费用——的条件律；生成树线由独立游走增量自带重建与条件律。第二步是共用的比较与刚性定理：在规定量子尺度的环上把这些条件律与 @@M@@D_h@@ 比较；若最优的下、上比较常数不相等，则实场的一个固定局部扰动会在饱和测地线段旁制造足够多的严格捷径，对可能输出通道的加权计数导出矛盾；Weyl 标度规则控制 @@M@@D_h@@，精确局部条件律负责搬运图通道观测，最终在整个极限律的层面锁死一个确定性乘子。FK 集合与生成树集合分别以环绕电路和内部矩界验证所需的局部核、非塌缩与连接假设。第三步一致控制端点：FK 情形布朗双壁指数 @@M@@2/\gamma^2>1/2@@ 的严格余量，恰好支付有限接触图中位置选取的熵；熵估计加受保护的平面缝合产生小环绕电路，递归覆盖论证进而控制任意离散端点。生成树情形用记录尺度上的内部矩界与 @@M@@\mathrm{SLE}_8@@ 区间拓扑给出端点模量，再用首失效论证把界扩展到一切尺度。最后处理有限球面与测度：FK 的局部律转移到带实际场归一化的普通球面图；同一地图的两个条件独立的一致角根，加上一列共同角样本，排除逃逸所有有限样本网的顶点（双根补全论证）。生成树用显式游程密度控制轮廓两端，把度量拉回轮廓时间得一致收敛；编码把离散角测度等同于均匀时间的推前，而连续曲线按量子面积参数化，于是测度收敛落到量子面积测度上。收尾用一条初等归一化引理，借对数直径的无条件律去掉子列上的确定性乘子，得到全序列收敛。
本文主结果暂无 Lean 形式化证明。它是族 211 中另外两篇的度量支柱：@@M@@0<q<4@@ 的共形极限篇明确只引用本文定理的 GH 推论作内蕴输入，@@M@@q=4@@ 篇则自证其度量部分；三篇合起来确立临界 FK 球面图在 @@M@@0<q\le4@@ 收敛到 LQG 球面，是族内“曲面对树”相图曲面侧的关键一环。按 OpenAI 官方声明，未经形式化的结果可能有问题，请以社区核验为准。
问 1：证明里最关键也最脆弱的一步是什么？
（答：比较与刚性定理。在规定量子尺度的环上把图通道观测的条件律与 @@M@@D_h@@ 比较，若最优下、上比较常数不相等，实场的一个固定局部扰动会在饱和测地线段旁制造足够多的严格捷径，对可能输出通道的加权计数导出矛盾，最终在整个极限律层面锁死一个确定性乘子。这是全部证明的心脏；FK 与生成树两个家族各自验证的局部核、非塌缩与连接假设中任何一条有缺口，刚性论证就落空。双根补全论证（条件独立角根加共同角样本排除漏网顶点）是第二处险地。）
问 2：为什么度数测度而不是均匀顶点测度？假设能换吗？
（答：@@M@@\mu_n(v)=\deg(v)/(2n)@@ 恰是均匀采样一个角的落点分布，与编码（角遍历按量子面积参数化）天然咬合，测度收敛才能落到量子面积测度上；论文明言顶点均匀测度的版本需另行论证。同理，距离必须用每条原始边（环计两次）：编码与电路论证都依赖完整的边关联结构，抽掉环或重边会破坏对偶与角计数。）
问 3：与既有工作相比，真正的新意是什么？
（答：解决了 Gwynne–Miller 图度量猜想（其 Conjecture 1.7）的有限球面情形——@@M@@q\in(0,4)@@ 全区间加生成树家族，此前只有 @@M@@q=1@@（经 Brownian map 理论，Le Gall–Miermont）与 @@M@@\gamma=\sqrt{8/3}@@ 等价性是已知的；本定理把旧经典作为 @@M@@q=1@@ 特例收入。它还是族内度量支柱：@@M@@0<q<4@@ 共形极限篇明确只引用本文的 GH 推论作内蕴输入。）
问 4：为什么生成树家族必须独立证明，不能搭 FK 的便车？
（答：生成树编码没有 FK 词那样的柔性顺序——FK 词中区间外的更早字母可依赖，须保留供应者比较指令并在格点上磨光；生成树线则由独立游走增量自带重建与条件律，端点模量用内部矩界与 @@M@@\mathrm{SLE}_8@@ 区间拓扑、再以首失效论证扩展。两条线共用骨架但局部实现完全不同，混用会把不成立的条件偷偷带进来。）
问 5：这类 AI 生成证明最可能的出错模式是什么？
（答：熵与矩的余量估计。FK 端点控制依赖布朗双壁指数 @@M@@2/\gamma^2>1/2@@ 的严格余量”恰好支付”有限接触图中位置选取的熵——余量算错一点，递归覆盖即失效；这类”严格大于”的量最怕被无声地当成”大于等于”。其次是两家族共用骨架时的条件核对：某条假设在 FK 侧验证过、在生成树侧被默认继承，是典型的静默缝隙。）
问 6：结果谁会用、还差什么？
（答：族 211 的相图曲面侧由此闭合（@@M@@0<q\le4@@，与 @@M@@q=4@@ 篇合力）；扩散与谱的姊妹篇把它当度量-测度前提。缺口如论文自陈：无对 @@M@@q@@ 的一致性、无端点值、无 @@M@@a_n@@ 幂律或速率，顶点均匀测度版本未做，论文均如实声明。）
总评
一篇文章扛下两个家族的图度量猜想并把 Brownian map 收编为特例，又是族内两篇的度量地基，分量最重；对应的风险也最集中——刚性论证与双家族条件核对，是整族相图可信度的第一道闸门。