结果族 211：The geometric phase diagram, diffusion, and spectra of random planar maps · 学科：Probability and statistical mechanics · 验证状态：暂无形式化证明，请以社区核验为准
敲鼓听音：一面鼓的形状决定它的固有频率（特征值），频率清单就是鼓的”声纹”。这篇论文研究一族越来越大的随机”粒子鼓”——临界 FK–Ising 地图，证明把振动按”时间 @@M@@\times n@@“加速后，整张声纹连同鼓的形状一起收敛；极限声纹属于 @@M@@\sqrt3@@-量子球上的刘维尔布朗运动。
关键词卡片
@@M@@0=\lambda_0\le\lambda_1\le\cdots@@。@@M@@\Tr e^{tL}@@，所有频率贡献之和，即鼓面降温的总能量曲线。@@M@@\tfrac12\int|\nabla f|^2@@ 刻画扩散的通用语言。看个具体例子
公式卡（数字版定理）：对每条频率编号 @@M@@j@@，
@@M@@Dn\,\lambda_{n,j}\;\longrightarrow\;\Lambda_j(h)\quad(\text{含重数，逐个编号})，\qquad H_n(t)=\Tr e^{ntL_n}\to H_h(t).@@
也就是说第一个非零频率约为 @@M@@\Lambda_1/n@@：边数翻倍，所有音高整齐降一半，缩放后的声纹稳定逼近量子球的声纹；热迹（升温时间表）也逐点对齐。时钟与电导率两个常数都精确为 1。
为什么值得关心
首次在有限 FK–Ising 球面上把”形状＋全部频率＋热迹”三者联合收敛一锤定音，并为姊妹篇的游走路径收敛提供全部电学输入，三篇在同一极限球面上闭环。论证链条长、常数多，其中原始网络与对偶网络的比较、能量紧性估计两处最险，也是社区核验的重点。
暂无形式化证明（AI 结果待核验）
第一级台阶
导读用”敲鼓听音”作比：鼓形决定音高序列，频率清单是鼓的声纹。换成半数学语言：对象是一族越来越大的随机离散曲面，每张曲面自带一套振动频率——粒子在其上做随机游走时生成子的固有频率；操作有两件，空间整体缩放到固定大小、时间加速回放。问题问：鼓的形状、整张频率清单、以及降温能量曲线（热迹）三者是否一齐稳定下来。
第二级台阶
精确化。游走以均值一的指数时钟等待、等概率选关联半边，其生成子 @@M@@L_n@@ 在 @@M@@L^2(\mu_n)@@ 上自伴，@@M@@\mu_n@@ 是正比于顶点度数的角测度；把 @@M@@-L_n@@ 的特征值排成 @@M@@0=\lambda_{n,0}\le\lambda_{n,1}\le\cdots@@，”热迹”是 @@M@@H_n(t)=\Tr e^{ntL_n}@@——所有频率贡献的指数和。连续侧取 @@M@@\gamma=\sqrt3@@ 的单位面积量子球：狄利克雷型 @@M@@\E_h(f,g)=\frac12\int\langle\nabla f,\nabla g\rangle@@ 在 @@M@@L^2(\mu_h)@@ 上的闭包即刘维尔布朗运动，其算子 @@M@@A_h@@ 给出极限频率 @@M@@\Lambda_j(h)@@ 与热迹 @@M@@H_h@@。空间收敛用 Gromov–Hausdorff–Prokhorov 拓扑比较”带测度的度量空间”。
第三级台阶
定理的语境：曲面的极限由 mating-of-trees 理论已知，但整条谱的紧致描述此前只在环面设置得到；离散侧 Berestycki–Gwynne 的时钟常数未识别。定理先证连续型可闭且有紧预解式（这本身是结论的一部分），再断言三坐标联合收敛：@@M@@(V_n,a_nd_n,\mu_n)@@、加速后的全部有序特征值 @@M@@(n\lambda_{n,j})_j@@（含重数与 @@M@@+\infty@@ 填充）、热迹 @@M@@H_n@@ 分别按 GHP、乘积拓扑与正时刻局部一致拓扑收敛到同一量子球 @@M@@h@@ 构造的 @@M@@(\mathbb S^2,D_h,\mu_h)@@、@@M@@(\Lambda_j(h))_j@@、@@M@@H_h@@。临界 FK 权重（@@M@@q=2@@ 对应 @@M@@\gamma=\sqrt3@@）挡住的是自对偶性——它是”电导标量恰为 @@M@@1@@“的来源；空间尺度 @@M@@a_n@@ 只需一个中位数型确定性归一化，无需幂律假设。结论即：时钟与电导率两个常数都精确等于 @@M@@1@@，边数翻倍则所有音高整齐降一半。
证明了临界球面 FK–Ising 地图的度量-测度空间、加速游走的全部有序特征值与热迹三者联合收敛到 @@M@@\sqrt3@@-量子球上刘维尔布朗运动的谱数据，时钟与电导率常数都精确等于 1。
随机平面地图结合 Fortuin–Kasteleyn（FK）随机簇模型（Ising 模型对应权 @@M@@q=2@@），经 Sheffield 存货累积编码与 mating-of-trees 理论被识别为 @@M@@\gamma=\sqrt3@@ 的刘维尔量子引力（LQG）曲面；其面积由高斯乘法混沌（GMC）给出，内蕴度量由 LQG 度量理论建立。连续对象上，刘维尔布朗运动（Liouville Brownian motion）由 Berestycki 与 Garban–Rhodes–Vargas 构造，其热核与格林算子理论亦已发展，但谱的紧致描述此前只在环面设置中得到。离散侧，Berestycki–Gwynne 证明了 mated-CRT 地图上游走收敛到刘维尔布朗运动，其确定性时间归一化 @@M@@m_\varepsilon@@ 只知 @@M@@m_\varepsilon\asymp\varepsilon^{-1}@@，@@M@@\varepsilon m_\varepsilon@@ 的收敛是其 Remark 1.3 遗留的未解问题。要把有限图的整条谱（特征值、热迹）送到极限，还须控制空间扩散、时间归一化以及质量集中于小区域的函数在正时刻贡献的谱质量——本文在有限 FK–Ising 球面上首次完成这一切。
离散侧：游走以总尝试速率 1 等概率选取关联半边（含环与重边），平稳律为角测度（corner measure）@@M@@\mu_n=\frac1{2n}\sum_v\deg(v)\delta_v@@；生成子 @@M@@L_n@@ 的特征值 @@M@@0=\lambda_{n,0}\le\lambda_{n,1}\le\cdots@@（超出维数填充 @@M@@+\infty@@），热迹 @@M@@H_n(t)=\Tr e^{ntL_n}@@。连续侧：单位面积 @@M@@\sqrt3@@-量子球上取狄利克雷型（Dirichlet form）@@M@@\mathcal E_h(f,g)=\frac12\int\ip{\nabla f}{\nabla g}\dd\mathrm{vol}_{\mathrm{round}}@@ 在 @@M@@L^2(\mu_h)@@ 上的闭包（即刘维尔布朗运动），其算子 @@M@@A_h@@ 的特征值为 @@M@@\Lambda_j(h)@@、热迹 @@M@@H_h@@。主定理：三者联合收敛——@@M@@(V_n,a_nd_n,\mu_n)@@ 在 Gromov–Hausdorff–Prokhorov 拓扑下收敛到 @@M@@(\mathbb S^2,D_h,\mu_h)@@；对每个 @@M@@j@@ 有 @@M@@n\lambda_{n,j}\to\Lambda_j(h)@@（乘积拓扑，含重数与填充）；@@M@@H_n\to H_h@@ 在 @@M@@(0,\infty)@@ 上局部一致。三个极限坐标由同一量子球 @@M@@h@@ 构造，时间加速恰为 @@M@@n@@，无需对空间尺度 @@M@@a_n@@ 作幂律假设。
证明分两大问题：识别图的宏观电行为；控制能量有界但变化集中于极小质量区域的函数。对第一问，先从两篇姊妹篇（保角篇与度量-测度篇）的受保护关联记录与局部条件律出发，说明它们同样保留有限图的数值电学量；再用改编的对齐环域（aligned-annulus）论证排除原始边极值长度（extremal length）坍缩——关键新步骤是在共同的旗面（flag surface）里比较原始与对偶网络：假若坍缩，两个网络几乎处处、几乎一切方向都有廉价穿越，而横穿的原始与对偶穿越必须共用一对边，这与边流量（edge traffic）期望的 Cauchy–Schwarz 不等式矛盾。随后把离散能量在局部一致收敛下松弛，得到以局部”芽”为矩阵密度的二次积分；条件独立性与场芽（field germ）论证把密度化为确定性标量，精确的 FK 对偶性使原始与对偶标量相等，最后用方格内互补混合边界电导乘积为 1 这一经典 Dykhne 自对偶思想定出标量恰为 1。局部极小化再把宏观两点间的单位电流电压识别为球面格林电压（四点定理）。对第二问，用姊妹篇的地址估计控制探索返回关系图的秩，结合保护电路流与逐层伸缩的方块比较，在角时间表示 @@M@@L^2([0,1])@@ 中构造秩至多 @@M@@C2^j@@ 的有限秩逼近 @@M@@Q_{n,j}@@，满足 @@M@@\norm{f-Q_{n,j}f}^2\le C2^{-pj}\mathcal E_n^0(f)@@，@@M@@p=7/10@@；它同时给出有界能量族的强紧性与高阶特征值下界 @@M@@\nu_{n,i}\ge c_*i^p@@。最后组装：四点电压极限识别中心化逆核的二重差分；一个与 Kuwae–Shioya 谱紧致性理论同型的抽象判据，把”能量紧性 + 多项式谱下界（@@M@@p>1/2@@ 保证逆谱平方可和）+ 四点核识别”升级为中心化逆算子的 Hilbert–Schmidt 收敛；变分公式 @@M@@\abs{\kappa_i(T)-\kappa_i(S)}\le\norm{T-S}_{\mathrm{op}}@@ 给出逐特征值收敛，热迹由一致尾估计得到，距离图与对应（correspondence）粘合给出 GHP 耦合。此最后的抽象推进不依赖 FK 编码的具体细节。
主结果暂无形式化证明；依 OpenAI 官方声明，未经形式化的结果可能有问题，请以社区核验为准。本文是本族的谱枢纽：几何前提取自保角与度量-测度姊妹篇，而其单位电导率定理与逆算子收敛又被姊妹篇 Random Walks on Critical FK–Ising Maps 引用，以完成游走路径收敛，三者在同一极限球面上闭环。论证链条长、常数多，社区核验时宜重点关注原始–对偶网络比较与紧性估计两处。
问 1：证明里最险的两处在哪里？
（答：其一，原始–对偶网络比较。排除原始边极值长度坍缩的关键新步骤是：在共同旗面中，假想坍缩会让原始与对偶网络几乎处处、几乎一切方向都有廉价穿越，而横穿的原始与对偶穿越必须共用一对边，这与边流量期望的 Cauchy–Schwarz 不等式矛盾。其二，能量紧性：在角时间表示中构造秩至多 @@M@@C2^j@@ 的逼近 @@M@@Q_{n,j}@@ 满足 @@M@@\|f-Q_{n,j}f\|^2\le C2^{-pj}\E_n^0(f)@@，@@M@@p=7/10@@——@@M@@p>1/2@@ 恰是逆谱平方可和的门槛，@@M@@7/10@@ 的来历与伸缩比较的损失最值得复核。）
问 2：电导标量为什么恰好是 @@M@@1@@，假设能松动吗？
（答：链条是：松弛后的宏观能量是带局部”芽”密度的二次积分，条件独立性与场芽论证把密度压成确定性标量；精确的 FK 对偶性使原始与对偶标量相等；方格内互补混合边界电导乘积为 @@M@@1@@（Dykhne 自对偶思想）把标量钉死为 @@M@@1@@。若模型不自对偶，标量就成了无法识别的常数，时钟只能写成 @@M@@c\cdot n@@——临界性不是装饰而是常数的来源。）
问 3：与既有工作相比真正的新意是什么？
（答：三点。首次在有限 FK–Ising 球面上同时收敛”形状＋全部有序特征值（含重数与填充）＋热迹”，此前谱的紧致描述只在环面设置（Maillard–Rhodes–Vargas–Zeitouni）；把 Berestycki–Gwynne 遗留的时钟常数（其 Remark 1.3）识别为 @@M@@1@@；并先证连续型在球面上的可闭性与紧预解式——极限对象的存在性本身是定理的一半。最后的抽象谱收敛判据不依赖 FK 编码细节，可移用。）
问 4：这类 AI 生成证明最可能的出错模式是什么？
（答：跨篇传导与常数簿记。本文的几何输入全部来自保角篇与度量-测度篇（后者还指定 2026 年 10 月 3 日修订版），且要”说明姊妹篇的局部条件律论证同样保留数值电学量”——引用定理是否真的交付所需数值，是典型的静默缝隙。常数侧：型中的 @@M@@1/2@@、总尝试速率 @@M@@1@@、角测度的 @@M@@2n@@ 归一、电导 @@M@@1@@ 之间任何错位，都会把”恰好 @@M@@n@@“静默变成常数不明。）
问 5：游走用全部边而只用开边，为什么这样选？
（答：生成子与图距离都用每条原始边（含环与重边），与对偶网络比较所需的对称结构一致；环在角测度中贡献度数二、被选中时原地不动，保证 @@M@@\mu_n@@ 平稳。开边子集 @@M@@A_n@@ 只进入地图的概率律，不进入电网络——模型与电学的分工是刻意的。）
问 6：结果谁会用？
（答：姊妹篇 Random Walks on Critical FK–Ising Maps 直接引用本文的单位电导率定理与中心化逆算子收敛完成路径收敛，三篇闭环；热迹收敛支撑配分函数型渐近、为刘维尔布朗运动热核理论提供球面谱数据；多项式谱下界 @@M@@\nu_{n,i}\ge c_*i^p@@ 可独立用于别的图序列。论文未讨论 @@M@@q\ne2@@ 的 FK 模型，谱维数视角的精确指数亦未展开。）
总评
这是三篇中的谱枢纽：把”形状、频率、热迹”一锤定音地联合收敛，并供出姊妹篇的全部电学输入；但论证链条最长、对姊妹篇依赖最重，原始–对偶比较与 @@M@@p=7/10@@ 紧性两处是核验的生死穴。