结果族 211：The geometric phase diagram, diffusion, and spectra of random planar maps · 学科：Probability and statistical mechanics · 验证状态：暂无形式化证明，请以社区核验为准
水温逼近 100°C 时行为会突变；随机曲面的世界也有一条临界线——FK 参数 @@M@@q@@ 爬到 4。论文先在临界线上”造出”极限对象：一个带对数修正的临界量子球（@@M@@\gamma=2@@），再证明 @@M@@q=4@@ 的随机地图拍标准照后恰好收敛到它，圈纹是独立的 @@M@@\mathrm{CLE}_4@@。
关键词卡片
@@M@@\gamma=2@@ 端点的量子引力曲面；面积测度要用带 @@M@@2\log\varepsilon^{-1}-h_\varepsilon@@ 的导数型（Seneta–Heyde）归一化。@@M@@\log n@@ 因子。@@M@@\kappa=4@@ 的嵌套共形环系，@@M@@q=4@@ 界面的极限。看个具体例子
公式卡（临界处的对数修正）：界面周长以
@@M@@DB_n=\frac{2}{\pi}\sqrt n\,\log n@@
为计数单位——比次临界的 @@M@@\sqrt n@@ 多出一个 @@M@@\log n@@。对应关系精确钉死：@@M@@q=4\iff\gamma=2\iff\kappa=4@@。定理断言：@@M@@q=4@@ 地图的面积测度、缩放后的全部顶点距离、所有嵌套界面（含重数与层级）联合收敛到临界量子球＋@@M@@\mathrm{CLE}_4@@。
为什么值得关心
一方面新构造了此前不存在的临界量子球（场、面积律、内蕴度量三件套齐备，面积测度无原子、满支撑、总质量为一），另一方面补全了族 211 相图的 @@M@@q=4@@ 端点。特别值得一提：定理一的构造完全不依赖任何 FK 收敛定理，是纯粹的连续数学；离散与连续两条线直到定理二才会合。
暂无形式化证明（AI 结果待核验）
第一级台阶
导读用”水温逼近 100°C 会突变”比喻临界线 @@M@@q=4@@。换成半数学语言：这里有两条线。连续的一条，是在临界线上先把极限对象造出来——一个面积分布极端不均匀、还带对数修正的随机球面；离散的一条，是把 @@M@@q=4@@ 的随机地图拍成标准护照照片。问题问：后者是否恰好收敛到前者，圈纹是否是与之独立的嵌套环系。
第二级台阶
精确化。LQG 量子球的面积测度 ordinarily 由”指数化随机场”（高斯乘性混沌）给出，但在 @@M@@\gamma=2@@ 的临界端点它退化，须换成导数型（Seneta–Heyde）归一化 @@M@@\mu_h^{\rm crit}=\lim_{\varepsilon\to0}(2\log\varepsilon^{-1}-h_\varepsilon)\,\varepsilon^2e^{2h_\varepsilon}\dd^2z@@。”对数修正”指临界处一切尺度在幂律之外多出的 @@M@@\log@@ 因子，如界面周长以 @@M@@B_n=\frac2\pi\sqrt n\log n@@ 计数。次临界量子球面由柱面表示经对数 Bessel 游程描述（Pitman–Yor 最大值分解），内蕴度量取 Ding–Gwynne 临界局部度量的完备化。”CLE@@M@@_4@@“是 @@M@@\kappa=4@@ 的嵌套共形环系；”旗帜嵌入”把地图的等边三角旗粘成球面再单值化取坐标。
第三级台阶
论文含两条定理。定理一（纯连续）：把做了平移 @@M@@c_\gamma=\gamma^{-1}\log(2(2-\gamma))@@ 的次临界单位面积 @@M@@\gamma@@-量子球面的场与面积测度，在 @@M@@\gamma\uparrow2@@ 时于 @@M@@H^{-1}@@ 范数与弱测度拓扑中收敛到唯一非退化律；其面积测度即上述临界混沌——无原子、满支撑、总质量为一；挖去三标记点后完备化的度量恰好补回三点，得有限连续度量 @@M@@D_h@@。平移假设挡住的是质量向柱面两端逃逸、极限退化。定理二（离散会合）：对权 @@M@@2^{\ell(M,A)}@@ 的 @@M@@q=4@@ 有限律，存在确定性 @@M@@a_n\to0@@，使推前面积测度、嵌入距离图与全部嵌套界面联合收敛到临界球面＋独立的 Möbius 不变 @@M@@\mathrm{CLE}_4@@，一切层级与重数保留。值得强调：定理一不依赖任何 FK 收敛定理，离散与连续两条线直到定理二才相遇，避免循环。
本文先构造临界（@@M@@\gamma=2@@）单位面积 LQG 量子球面的场、面积律与临界内蕴度量，再证明 @@M@@q=4@@ 的球面 FK 平面图在旗帜嵌入下联合收敛到该球面加独立的 @@M@@\mathrm{CLE}_4@@：面积测度、完整嵌入距离函数与全部宏观界面一并收敛。
@@M@@q=4@@ 是 FK–LQG 对应的端点，以临界量子引力与离散编码中的对数修正为特征。Sheffield 的 inventory 模型识别了 @@M@@q=4@@ 处的转变；Duplantier–Miller–Sheffield 用树交配构造了次临界量子曲面；Aru–Holden–Powell–Sun 建立了临界量子盘的布朗半平面游耦合并证明近临界场与量子测度的收敛，但极限布朗数据本身并不决定装饰的临界曲面。Da Silva–Hu–Powell–Wong 证明了临界无穷体积 FK 编码极限及其对数差异归一化。临界高斯乘性混沌方面，导数混沌与 Seneta–Heyde 归一化已有固定场的结果（如 Aru–Powell–Sepúlveda 的 @@M@@(2-\gamma)^{-1}\mu^\gamma\to2\mu'@@），但变化的、面积归一化的球面律此前未被构造，其临界度量与有限图的几何极限更是全新问题。
论文含两个定理。定理一（临界面积标记球面）：将做了平移 @@M@@c_\gamma=\gamma^{-1}\log(2(2-\gamma))@@ 的普通次临界单位面积 @@M@@\gamma@@-量子球面的场与面积测度，在 @@M@@\gamma\uparrow2@@ 时于 @@M@@H^{-1}@@ 范数与弱测度拓扑中收敛到唯一非退化律 @@M@@\mathsf P_{\rm crit}@@；其面积测度正是导数（Seneta–Heyde）归一化的临界混沌
@@M@@D\mu_h^{\rm crit}(\mathrm{d}z)=\lim_{\varepsilon\downarrow0}\bigl(2\log\varepsilon^{-1}-h_\varepsilon(z)\bigr)\varepsilon^2e^{2h_\varepsilon(z)}\,\mathrm{d}^2z,@@
无原子、满支撑、总质量为一，并服从电荷 @@M@@2@@ 的坐标规则；由 Ding–Gwynne 临界局部度量出发的内蕴长度度量在挖去三标记点的球面上完备化，恰好补回这三个点，得到有限连续度量 @@M@@D_h@@。定理二（临界联合普适性）：对权为 @@M@@2^{\ell(M,A)}@@ 的 @@M@@q=4@@ 有限律，存在确定性 @@M@@a_n\to0@@ 使
@@M@@D\bigl((\phi_n)_*m_n,\;K_n(a_n),\;\Gamma_n\bigr)\Rightarrow\bigl(\mu_h^{\rm crit},\;\{(z,w,D_h(z,w))\},\;\Gamma\bigr),@@
@@M@@\Gamma@@ 为 Möbius 不变的整体嵌套 @@M@@\mathrm{CLE}_4@@，一切嵌套层级与重数保留；同时最大旗帜直径依概率趋零，并给出度数比例顶点测度下的 Gromov–Hausdorff–Prokhorov 推论。周长计数单位为 @@M@@B_n=(2/\pi)\sqrt n\log n@@，体现对数修正。
先做与离散图无关的连续构造。采用最大值居中的柱面表示：DMS 球面的平均过程是对数 Bessel 游程，用 Pitman–Yor 的游程最大值分解把两侧升段反读成带漂移的径向布朗模过程，显式密度计算完成识别；单位面积分解只产生幂次倾斜 @@M@@L_\gamma^{2a/\gamma}@@，减去对数面积即归一。再证一致正分数矩与径向尾估计，排除面积向柱面两端逃逸，得到紧柱面上无端点质量的弱极限且倾斜密度 @@M@@L^1@@ 收敛于一；分离面积采样点带来的联合绝对连续性，把固定坐标下的导数测度结论转移到由自身样本决定的随机坐标。度量部分先经模常数绝对连续性转移并粘贴 Ding–Gwynne 临界局部度量，再用 Gwynne–Miller 式的成功环（successful annuli）比较：逐点多半径的环状独立性加 Borel–Cantelli，使每点都有小成功环；沿测地线用环绕短路的链式拼接得 Lipschitz 界，在可微时刻取出紧界，证得电荷 @@M@@2@@ 的共形协变性；最后以新采样的三标记点坐标把原三标记点补全进度量，完成球面度量。离散侧分三阶段。先用严格次临界的边界代理控制小量子弧与子代，接触规则精确指定哪些边界出现代表同一点，连同离散关联估计给出比较整个旗帜球面、环回路与面积的同胚；环计数 Palm 恒等式与未检体积储库把条件有限尺寸律对准普通单位面积球面。再建立局部观测的条件律：辅助 GFF 水平线控制外部变化时的局部探索顺序，整数粘合约束（含剩余类）描述可组装的原始块，独立参考实验只被依赖宏观参数的密度改变，从而缓冲观测有乘积条件律，使后续可以在改换观测片外部场之后再比较局部候选。最后，共形一支用极值长度的横流论证防止塌缩并给出拟共形极限，局部决定性与坐标旋转下的行为使其畸变张量为标量，场重构把比较放回目标场的律；度量一支直接比较原始图通道费用与临界参考度量，若最优上下比较因子不同，固定局部场扰动会制造严格捷径而与近优路径矛盾，由此因子相等；剩余的逐顶点附着问题化为平衡剥离段中坏网格时数的界，地址计数结合存活估计给出一致端点模量，从而识别整个紧距离图；有界单调校准最后去掉每个子列上的确定性标量，完成全序列断言。
本文主结果暂无 Lean 形式化证明。定理一的构造不依赖任何 FK 收敛定理，为族 211 相图的 @@M@@q=4@@ 端点提供了连续对象；与族内 @@M@@0<q<4@@ 的共形极限篇和度量篇互补，三篇共同确立临界 FK 球面图在 @@M@@0<q\le4@@ 收敛到 LQG 球面（@@M@@q>4@@ 的树相由族内其他结果处理）。按 OpenAI 官方声明，未经形式化的结果可能有问题，请以社区核验为准。
问 1：证明里最关键也最脆弱的一步是什么？
（答：定理一中”极限不退化”的一环。平移 @@M@@c_\gamma=\gamma^{-1}\log(2(2-\gamma))@@ 后，须证一致正分数矩与径向尾估计，排除面积质量向柱面两端逃逸，再用分离面积采样点的联合绝对连续性，把固定坐标下的导数测度结论转移到随机坐标。任何一步失效，”唯一非退化律”就塌成平凡测度，定理二失去极限对象。离散侧最险的是度量支的”因子相等”论证：若最优上下比较因子不同，固定局部场扰动会制造严格捷径而与近优路径矛盾——这类反证最怕扰动构造不严格。）
问 2：为什么 @@M@@q=4@@ 必须单独处理，不能并入 @@M@@0<q<4@@ 的框架？
（答：@@M@@q=4\iff\gamma=2\iff\kappa=4@@ 正撞端点：指数化混沌 @@M@@e^{\gamma h}@@ 在 @@M@@\gamma=2@@ 退化，面积测度必须换成导数型归一化，一切尺度多出对数修正（周长单位 @@M@@B_n=\frac2\pi\sqrt n\log n@@ 而非 @@M@@\sqrt n@@）；次临界证明里的密度转移与参数连续性在端点集体失效。亚临界共形极限篇明确不主张端点，本文用独立的机制补全。）
问 3：与既有工作相比，真正的新意是什么？
（答：三件此前不存在的东西。变化的、面积归一化的临界球面律——Aru–Holden–Powell–Sun 的临界量子盘布朗游耦合与 Aru–Powell–Sepúlveda 的固定场导数混沌都给不出它；其临界内蕴度量；以及 @@M@@q=4@@ 有限图的几何极限。方法论上，定理一完全不依赖 FK 收敛定理，离散与连续到定理二才会合，结构上杜绝了循环论证。）
问 4：这类 AI 生成证明最可能的出错模式是什么？
（答：对数修正处的常数簿记。@@M@@c_\gamma@@ 平移里的 @@M@@2(2-\gamma)@@、导数归一里的 @@M@@2\log\varepsilon^{-1}@@、周长单位里的 @@M@@\frac2\pi@@、面积倾斜的幂次——任何一处系数错位，极限律或对应关系就会静默地错。其次是两线会合处：离散侧”边界代理＋接触规则”拼出的比较同胚是否真的保住全部原始关联，缓冲观测的乘积条件律是否如核定理所断言，都是装配式风险的典型位置。）
问 5：临界面积测度的性质为什么要单独列出来？
（答：无原子、满支撑、总质量为一不是装饰：无原子保证随机采样点几乎必然互异、三标记点定标合法；满支撑保证测度与拓扑相容、距离图的 Hausdorff 收敛有意义；总质量一使单位面积分解自洽。导数型归一化的测度带负值密度因子 @@M@@(2\log\varepsilon^{-1}-h_\varepsilon)@@，这些性质在极限中能保住本身就是定理一的内容。）
问 6：结果谁会用、图景还缺哪块？
（答：临界 LQG 与 @@M@@\gamma=2@@ 社区获得首个可用的面积归一化临界球面三件套（场、面积律、度量）；@@M@@\kappa=4@@ 与 GFF 水平线的经典联系让 CLE@@M@@_4@@ 侧的耦合结论有直接消费者；族 211 的相图由此在 @@M@@0<q\le4@@ 一侧闭合，@@M@@q>4@@ 的树相由族内其他结果处理。论文未做谱与游走——临界端的扩散问题仍是空白。）
总评
先造对象、再证收敛的两段式结构干净且杜绝循环，@@M@@q=4@@ 端点由此补全；最大风险在对数修正的常数簿记与两线会合处的装配，定理一的非退化性论证应最先核验。