结果族 211：The geometric phase diagram, diffusion, and spectra of random planar maps · 学科：Probability and statistical mechanics · 验证状态：暂无形式化证明，请以社区核验为准
给随机地图拍一张”标准护照照片”：把粘满等边小三角旗的随机曲面摊平到黎曼球面上，三个随机采样点分别定住 @@M@@0,1,\infty@@。论文证明：摊平后的面积分布、按统一比例缩放的顶点间距表、以及地图上 FK 界面画出的整套嵌套圈，三者联合收敛——照片的”材质”是 LQG 量子球，圈纹是与之独立的共形环系 CLE。
关键词卡片
@@M@@q=2+2\cos(\pi\gamma^2/2)@@、@@M@@\kappa=16/\gamma^2@@；@@M@@0<q<4@@ 对应 @@M@@\gamma\in(\sqrt2,2)@@。@@M@@\widehat\mathbb{C}@@ 的标准操作。@@M@@h@@ 经 @@M@@e^{\gamma h}@@ 定义的随机球面，面积极不均匀。看个具体例子
取 Ising 值 @@M@@q=2@@：换算得 @@M@@\gamma=\sqrt3@@、@@M@@\kappa=16/3@@。定理说 @@M@@q=2@@ 的旗帜嵌入地图收敛到 @@M@@\sqrt3@@-量子球＋独立的 @@M@@\mathrm{CLE}_{16/3}@@；距离经同一个确定性 @@M@@a_n@@ 缩放后，任何两个顶点间的图距离都给出极限距离 @@M@@D_h@@。
为什么值得关心
“在指定共形坐标下识别极限”的普适性猜想此前在有限球面 FK 模型上悬而未决，本文首次完整解决整个 @@M@@0<q<4@@ 区间；距离断言覆盖一切顶点对（包括度数反常的顶点），但论文不主张 @@M@@q=4@@ 端点、收敛速率或 @@M@@a_n@@ 的显式公式。
暂无形式化证明（AI 结果待核验）
第一级台阶
导读的”标准护照照片”换成半数学语言：对象是一张由等边小三角旗粘成的随机曲面，上面还画着 FK 界面留下的一整套嵌套圈纹；操作是”摊平＋定标”——把曲面共形地摊到标准球面上，再用三个按面积随机采样的点把 @@M@@0,1,\infty@@ 三个位置钉死。问题问：摊平后的面积分布、统一比例缩放后的顶点间距表、以及全部圈纹，三者是否一齐收敛成一张稳定照片。
第二级台阶
精确化。@@M@@n@@ 边有根地图对 @@M@@(M_n,A_n)@@ 按权 @@M@@q^{\ell(M,A)/2}@@ 采样，@@M@@\ell=k(A)+k(A^*)-1@@ 数的是 FK 界面条数；参数对照 @@M@@q=2+2\cos(\pi\gamma^2/2)@@、@@M@@\kappa=16/\gamma^2@@ 把每个 @@M@@0<q<4@@ 对应到 @@M@@\gamma\in(\sqrt2,2)@@、@@M@@\kappa\in(4,8)@@。”单值化”是把曲面共形等价地送到黎曼球 @@M@@\widehat\mathbb{C}@@ 的操作；极限”材质”是单位面积 LQG 量子球：随机场 @@M@@h@@ 经高斯乘性混沌给出面积测度 @@M@@\mu_h@@，配内蕴度量 @@M@@D_h@@。”CLE@@M@@_\kappa@@“是共形不变的嵌套随机环系——圈纹的普适极限。”极值长度”是共形不变的电阻式度量，用来防止摊平时曲面被压塌。
第三级台阶
定理的语境：极限曲面的识别早有树编码路线，但”在指定共形坐标下识别极限”的普适性猜想（HS 综述 Conjecture 3.5）在有限球面 FK 模型上悬而未决——编码收敛不比较嵌入几何，度量空间收敛也不说明顶点落在坐标何处。定理断言：对每个固定 @@M@@0<q<4@@，存在确定性序列 @@M@@a_n\to0@@，使推前的面积测度 @@M@@(\phi_n)_*m_n@@、嵌入距离图 @@M@@K_n(a_n)=\{(\phi_n(u),\phi_n(v),a_nd_n(u,v))\}@@ 与全部嵌套界面 @@M@@\Gamma_n@@ 联合收敛到 @@M@@\mu_h@@、全体点对距离 @@M@@\{(z,w,D_h(z,w))\}@@ 与一个 Möbius 不变的整体嵌套 @@M@@\mathrm{CLE}_\kappa@@，且圈纹与嵌入曲面条件独立；最大旗帜直径依概率趋于零。@@M@@q<4@@ 的范围假设挡住的是临界端点——@@M@@q=4@@ 由族内另一篇单独处理；距离断言覆盖包括度数反常顶点在内的一切顶点对；论文不主张收敛速率或 @@M@@a_n@@ 的显式公式。
对每个固定的 @@M@@0<q<4@@，本文证明：球面 FK 随机平面图按其“旗帜三角形”共形嵌入后，联合收敛到单位面积 LQG 量子球面并伴随独立的共形环系装饰；面积测度、经确定性重标的全体顶点图距离以及全部嵌套界面同时收敛。
随机平面图（random planar map）是随机二维几何的离散模型，核心问题是在指定的共形坐标下识别其尺度极限，并同时保留面积、内蕴距离与统计力学装饰。Liouville 量子引力（LQG）的面积测度由高斯乘性混沌（Gaussian multiplicative chaos）理论构造。直觉预言：临界 Fortuin–Kasteleyn（FK）随机团簇模型装饰的地图，其界面收敛到共形环系（CLE），且在共形坐标下与 LQG 曲面独立。此前 Gwynne–Mao–Sun、Gwynne–Sun 等经树编码（mating of trees）识别了极限曲面；Gwynne–Miller–Sheffield 证明了 mated-CRT 图 Tutte 嵌入的收敛，Holden–Sun 证明了 @@M@@\gamma=\sqrt{8/3}@@ 多边形的 Cardy 嵌入收敛，但都针对别的模型律或嵌入输入。共形嵌入普适性猜想（HS 综述 Conjecture 3.5）在有限球面 FK 模型上悬而未决，难点有二：编码收敛不给出嵌入几何的比较，内蕴度量空间的极限本身也不说明离散顶点落在该坐标的何处。
固定 @@M@@q\in(0,4)@@，参数 @@M@@\gamma\in(\sqrt2,2)@@、@@M@@\kappa\in(4,8)@@ 由 @@M@@q=2+2\cos(\pi\gamma^2/2)@@、@@M@@\kappa=16/\gamma^2@@ 确定。@@M@@n@@ 边根地图对 @@M@@(M_n,A_n)@@ 按权 @@M@@q^{\ell(M,A)/2}@@ 采样，其中 @@M@@\ell=k(A)+k(A^*)-1@@ 计 FK 界面数；其 @@M@@4n@@ 个等边旗帜三角形粘成共形球面 @@M@@X_n@@，由三个独立面积采样点定出保向单值化（uniformization）@@M@@\phi_n:X_n\to\widehat{\mathbb C}@@（依次送到 @@M@@0,1,\infty@@），@@M@@d_n@@ 为用全部原始边的图距离。主定理：存在确定性序列 @@M@@a_n\to0@@，使
@@M@@D\big((\phi_n)_*m_n,\;K_n(a_n),\;\Gamma_n\big)\Longrightarrow\big(\mu_h,\;\{(z,w,D_h(z,w)):z,w\in\widehat{\mathbb C}\},\;\Gamma\big),@@
其中 @@M@@K_n(a)=\{(\phi_n(u),\phi_n(v),a\,d_n(u,v))\}@@ 是嵌入距离图；三种拓扑分别是面积测度弱收敛、距离图的 Hausdorff 收敛、以及保序保重数的环匹配收敛，极限 @@M@@\Gamma@@ 为 Möbius 不变的整体嵌套 @@M@@\mathrm{CLE}_\kappa@@，与嵌入曲面条件独立。同时最大旗帜直径依概率趋于零。距离图断言覆盖一切收敛顶点对（包括度数反常的顶点）；论文不主张 @@M@@q=4@@ 端点、收敛速率或 @@M@@a_n@@ 的显式公式。
先统一舞台：由轮廓极限与连续缝合得到从旗帜曲面到参考 LQG 球面的同胚 @@M@@H_n@@，使每个旗帜的像都足够小；这些同胚保持分离与相交关系，但尚不比较共形模与长度。为此构造“受保护的局部数据”：保留探索过程对每个紧圆盘的全部访问、周围缓冲区及原始与对偶顶点的关联，得到有限记录，从中能读出小端点集间的最小图费用或四边形极值长度（extremal length）。核心是核定理（local kernels）：给定整个连续曲面与探索，局部读出的条件律只依赖保留的局部输入，不相交保护区有乘积条件律；证明靠一个精确的字重采样恒等式——从双边无穷词换成有限条件词只改变连续输入的密度（阶梯块分解与 Doney 双变量稳定局部极限定理控制格点磨光），故同一核可转移到普通高斯场以及实际面积归一化高度的球面律上。再由逐点多半径的成功环（annuli）论证统一供给概率输入。共形一支：反证排除旗帜曲面极值长度的退化——过小的交叉模会产生低交通能量的路径流，其极限为非常值的可求长曲线；旋转协变性进一步在同一点给出两个横截方向的便宜交叉，与四边形互反性矛盾。由此得 @@M@@\phi_n\circ H_n^{-1}@@ 的拟共形（quasiconformal）极限，场芽的平凡性加上旋转协变性使它的无穷小共形结构为圆形，三个面积标记最终固定共形映射，面积与网格结论随之。界面一支：柔性顺序匹配在探索时间圆上形成不交叉的弦系统，其面恰好编码有限 FK 环及循环遍历顺序；@@M@@\mathrm{CLE}@@ 探索识别各环的初始段，双侧缠绕测试排除被略去的移动段，于是每条宏观环连同重数与嵌套层级都被匹配。度量一支：小端点集之间的图通道先与参考 LQG 度量比较，反复的环上机会与局部有限能量场改变把参考测地线带到捷径附近，加权测度变换迫使最优上下比较常数相等（改造 Gwynne–Miller 最优常数法）；通道端点是自由选取的小集合，要到达指定格点顶点则需补全——此处引用姊妹篇的 Gromov–Hausdorff 输入定标，小环绕电路与球面拓扑排除非平凡空间纤维，两个分离的正逃逸费用测试排除整体塌缩，最终全顶点度量为 @@M@@D_h@@ 的确定性倍数，倍数由内蕴直径律确定。
本文主结果暂无 Lean 形式化证明。其度量环节直接引用同日姊妹篇《Metric-measure limits of subcritical FK and spanning-tree planar maps》（同族）定理 1.1 的 GH 推论作为内蕴输入，@@M@@q=4@@ 端点由族内另一姊妹篇独立处理；三篇合起来支撑族 211 的“曲面对树”几何相图在 @@M@@0<q\le4@@ 一侧的结论。按 OpenAI 官方声明，未经形式化的结果可能有问题，请以社区核验为准。
问 1：证明里最关键也最脆弱的一步是什么？
（答：核定理（local kernels）。整条管线——共形退化排除、界面匹配、度量补全——都靠它供血：给定整个连续曲面与探索，局部读出的条件律只依赖保留的局部输入，不相交保护区有乘积条件律。其证明靠一个精确的字重采样恒等式：从双边无穷词换成有限条件词只改变连续输入的密度，格点磨光由 Doney 双变量稳定局部极限定理控制，再把同一核转移到普通高斯场与面积归一化的球面律上。这一步若有缝隙，”局部信息足够”的整座大厦倾覆。）
问 2：为什么严格限制 @@M@@q<4@@，端点不能并入吗？
（答：论文明确不主张 @@M@@q=4@@ 端点，它由族内姊妹篇用独立的机制处理。@@M@@q\to4@@ 对应 @@M@@\gamma\to2@@、@@M@@\kappa\to4@@，参数撞上 LQG 与 CLE 理论的边界奇异处（@@M@@\gamma=2@@ 是对数相关场的临界标度），亚临界论证中用到的密度转移与界面对偶结构在端点失效。同样，三个面积采样点定标是为钉死 Möbius 自由度，去掉它极限只在模 Möbius 变换下唯一。）
问 3：与既有工作相比，真正的新意是什么？
（答：首次对有限球面 FK 模型、在整个 @@M@@0<q<4@@ 区间完整解决共形嵌入普适性猜想（HS 综述 Conjecture 3.5）。此前 Gwynne–Miller–Sheffield 只做 mated-CRT 图的 Tutte 嵌入、Holden–Sun 只做 @@M@@\gamma=\sqrt{8/3}@@ 多边形的 Cardy 嵌入——模型律或嵌入输入都不同。距离断言覆盖一切顶点对（含度数反常顶点），且圈纹 @@M@@\mathrm{CLE}_\kappa@@ 与曲面的条件独立被一并证明，而非分别收敛。）
问 4：这类 AI 生成证明最可能的出错模式是什么？
（答：管线组装错位。证明横跨编码、拓扑、局部数据、核、环域、共形、界面、度量、补全、联合十个环节，典型风险是某个中间引理在最终装配处的使用条件比它被证明时略强——尤其”柔性顺序匹配”的弦系统是否真的恰好编码有限 FK 环及循环遍历顺序、双侧缠绕测试是否排除所有被略段。度量支定标补全引用姊妹篇的 Gromov–Hausdorff 推论，版本一致性需核对。）
问 5：圈纹与曲面条件独立，为什么重要？
（答：这正是”LQG 曲面 × 独立 CLE”这一二维量子引力基本图景的严格版：面积、距离、圈纹三类信息不是各自收敛，而是联合收敛且极限中装饰独立。它把离散 FK 地图与 @@M@@(h,\Gamma)@@ 耦合的对应钉死在指定共形坐标里，谱姊妹篇正借用本文的公共保角坐标把谱极限耦合到同一球面上。）
问 6：结果谁会用、还差什么？
（答：做 Cardy 公式类共形可观测量、CLE 与 LQG 耦合研究的人直接获得离散逼近序列；族 211 的”曲面对树”几何相图在 @@M@@0<q\le4@@ 一侧由本文与姊妹篇合围完成。缺口也明确：无收敛速率、无 @@M@@a_n@@ 显式公式、@@M@@q=4@@ 端点不在本文，论文均如实声明。）
总评
一役拿下整个 @@M@@0<q<4@@ 区间的普适性猜想并顺带证明装饰独立，分量可观；但管线之长、外部输入之多（姊妹篇 GH 定标、Doney 定理、场论正则性）使它也是族内最依赖”每环都无裂缝”的一篇，核定理与度量补全两处应优先核验。