结果族 237：The three-quarter exponent for honeycomb self-avoiding walk · 学科：Probability and statistical mechanics · 验证状态：暂无形式化证明，请以社区核验为准
想象一只蚂蚁住在六边形地砖铺成的高楼里，要从地板爬到 @@M@@h@@ 层高的天花板上，规矩是不许踩任何重复的地砖，而且每走一步都要按”临界费率”付费。这篇论文把这笔账算得干干净净：所有合格爬法的总”钱包”有多薄、按钱包加权的典型路程有多长，答案都是干净的幂律。
关键词卡片
@@M@@x_*=(2+\sqrt2)^{-1/2}@@，恰好卡在”路径数量增长”与”费用惩罚”的平衡点。看个具体例子
取 @@M@@h=1000@@ 层的蜂窝条：桥的总质量约为 @@M@@1000^{-1/4}\approx0.18@@，而典型桥长约为 @@M@@1000^{4/3}=10^4@@ 步——走廊只有一千层高，典型路径却要走上万步，因为它必须不停绕弯避免自交。
姊妹结论：在边长 @@M@@R@@ 的正六边形里，宏观自由边界弦访问中心区域某顶点的概率约为 @@M@@R^{-2/3}@@，平均长度同样是 @@M@@R^{4/3}@@ 量级。
为什么值得关心
@@M@@4/3@@ 正是著名空间指数 @@M@@3/4@@ 的倒数；这些估计是拼出”二维自避行走直径 @@M@@n^{3/4+o(1)}@@“主定理的必要组件，也让 Nienhuis 四十多年前的预言一步步兑现为定理。
暂无形式化证明（AI 结果待核验）
第一级台阶
导读里那只蚂蚁爬楼的比喻，剥掉故事外壳后是这样一件事：对象是六边形地砖上一条从地板爬到天花板、途中不经过任何重复格点的路径；操作是给每条路径按其步数打折之后全部加总，得到一笔”总账”，再按账目份额加权，问典型路径走多少步。直觉是：走廊越高，总账越薄，而典型路径相对走廊却越来越长。
第二级台阶
换成精确语言：蜂窝点阵上不重复访问顶点的路径称为自避行走；一条路径被赋予权重 @@M@@x_*^{|\gamma|}@@，其中 @@M@@|\gamma|@@ 是路径访问的顶点数，@@M@@x_*=(2+\sqrt2)^{-1/2}@@ 是临界单步权重。起点固定在条带底边、终点在顶边自由求和的穿越路径称为桥；所有桥的权重之和 @@M@@b_h@@ 叫桥质量，除以 @@M@@b_h@@ 便归一化成概率测度，在该测度下才谈得上”平均长度”。
第三级台阶
定理的语境是”全长度”临界测度：不固定路径长度，把一切长度按 @@M@@x_*^{|\gamma|}@@ 加权后归一。临界性这一假设同时挡住两种麻烦——权重衰减过快则总账为零、增长过快则总账发散；终点自由求和则回避了对单个端口的苛刻指定。结论是：当层数 @@M@@h\to\infty@@，@@M@@b_h=h^{-1/4+o(1)}@@，平均长度为 @@M@@h^{4/3+o(1)}@@，指数精确到次幂误差。@@M@@4/3@@ 恰是空间指数 @@M@@3/4@@ 的倒数，这不是巧合而是同一套共形场论数据的两面；同一证明还给出正六边形中宏观自由边界弦访问中心顶点的概率 @@M@@R^{-2/3+o(1)}@@。
在全长度临界测度下，穿越 @@M@@h@@ 层蜂窝条、起点固定而终点口自由求和的桥 (bridge)，其质量为 @@M@@h^{-1/4+o(1)}@@、平均长度为 @@M@@h^{4/3+o(1)}@@；同一证明给出正六边形中宏观自由边界弦的中心访问概率 @@M@@R^{-2/3+o(1)}@@。核心工具是”多项式真空”表示。
Nienhuis 1982 年的稀稀释 @@M@@O(n)@@ 分析预言蜂窝点阵自回避行走的临界点与指数；Duminil-Copin–Smirnov 证明连接常数为 @@M@@\sqrt{2+\sqrt2}@@，并在文中把穿越质量的更尖锐幂次 @@M@@h^{-1/4}@@ 记为猜想。此后 Beaton 等、Glazman–Manolescu、Krachun–Panagiotis 逐步逼近桥质量的量级，但这些估计都只约束总穿越质量，不触及长度插入 (length insertion)：把所有长度按临界权 @@M@@x_*=(2+\sqrt2)^{-1/2}@@ 加起来的测度下，行走可以一边穿越一边反复折返，总质量无法决定平均长度。与 Lawler–Schramm–Werner @@M@@\mathrm{SLE}_{8/3}@@ 纲领中固定长度测度的位移指数 @@M@@\nu=3/4@@ 不同，本文问的是全长度测度下的均值——这是直径形式 @@M@@n^{3/4+o(1)}@@ 定理的必要组件。
定理（条质量与桥长度）：当层数 @@M@@h\to\infty@@，
@@M@@Db_h=h^{-1/4+o(1)},\qquad \ell_h=h^{13/12+o(1)},\qquad \mathbb{E}_h|\gamma|=h^{4/3+o(1)},@@
其中 @@M@@b_h@@ 是条内桥的总临界质量（终点口求和），@@M@@\ell_h@@ 是一阶长度质量；把路径再限制在距初始端口水平距离 @@M@@h\log^2h@@ 内，三个指数都不变。定理（六边形访问）：在边长 @@M@@R@@ 的正格六边形中，对直径至少 @@M@@R/10@@ 的自由边界弦按有序端口对求和归一化，归一化质量为 @@M@@R^{3/4+o(1)}@@；在同心边长 @@M@@R/3@@ 六边形的所有顶点上一致地 @@M@@\mathbb{P}_R(v\in\gamma)=R^{-2/3+o(1)}@@，且 @@M@@\mathbb{E}_R|\gamma|=R^{4/3+o(1)}@@。定理（归一化分离配对）：对分离两标记面心的多边形系配分函数 @@M@@F_n(\eta)@@（每圈权重 @@M@@\eta\,x_*^{|P|}@@），在 @@M@@|\Im s|<\pi@@ 的紧集上 @@M@@|F_n(2\cosh s)|\le C_K n^{1/6+2\Re(s^2)/(3\pi^2)}@@；@@M@@\eta=0@@ 附近存在与 @@M@@n@@ 无关的无零点圆盘，@@M@@\log F_n@@ 在零点的 @@M@@k@@ 阶泰勒系数为 @@M@@O_k(1+\log n)@@；特别地 @@M@@F_n(2)=n^{1/6+o(1)}@@。
长度插入被换成”经过某标记顶点的路径质量”，其代数对应物是多边形观测量 @@M@@F_n(\eta)@@：在周长 @@M@@2n@@ 的圆柱上标记同一横割线上相距 @@M@@n@@ 的两个面心，@@M@@F_n@@ 对两两顶点不相交、每个都分离两标记的简单多边形系统求和。核心构造是多项式真空 (polynomial vacuum)：在柱上 @@M@@2n@@ 条边各记录空位或两种取向路径的三态张量，加一行格子是线性映射；借多项式交换方程与特殊快性 (rapidity) 处的退化（思想承自 Di Francesco–Zinn-Justin 的稠密 @@M@@O(1)@@ 求和规则与 Garbali–Nienhuis 的稀稀释 @@M@@O(1)@@ 递推），构造特征值 @@M@@1@@ 的公共特征向量，其分量是谱参数的多项式；除以空分量即归一化真空，在物理参数下其分量恰是半圆柱路径系统的振幅。两个真空配对、在标记面之间插入扭转：非分离圈相消（循环权 @@M@@k^2+k^{-2}=0@@ 型机制），每个分离圈得权 @@M@@\eta=2\cosh s@@。关键是归一化 @@M@@F_n(0)=1@@：分子的有限色公式与 Pfaffian 分母各自带 @@M@@n^2@@ 级指数增长，多项式幂次只有在同一归一化下相消后才存活；复 @@M@@s@@ 上的一致估计又经无零点圆盘控制圆柱摊平成平面时的圈不相容效应。渐近分析把有限色和化为围道积分，辅以对数误差有界的 Pfaffian 下界、辅助谱方向的周期化、圆行列式展开与正 Fourier 分解，完成 @@M@@F_n@@ 的估计。边界质量 @@M@@b_h=h^{-1/4+o(1)}@@ 由在零圈逸度处求导传递行一行独立得出，与体配对渐近无关。随后用无零点圆盘与六次格旋转把多边形定位到单个面周围：半径 @@M@@R@@ 球内的平面嵌套 (nesting) 配分函数指数为 @@M@@1/12@@；一个有限探索恒等式把嵌套质量转成顶点访问质量，对 @@M@@h@@ 层求和并用水平平移，得混合出口（拱与桥合计）的一阶长度质量 @@M@@h^{1+1/12+o(1)}=h^{13/12+o(1)}@@；六边形中除以归一化质量 @@M@@R^{3/4+o(1)}@@ 得访问概率 @@M@@R^{-2/3+o(1)}@@ 与均值 @@M@@R^{4/3+o(1)}@@。最后一步从混合质量转移到桥：返回起点的拱 (arch) 可能承载全部质量，文章用标记三脚架 (tripod) 比较相交的桥–拱对与桥–桥对，平移论证保证每个深入上方的拱被足够多的桥击中，从而桥保持同一一阶长度指数；除以 @@M@@b_h@@ 得 @@M@@\mathbb{E}_h|\gamma|=h^{13/12+1/4+o(1)}=h^{4/3+o(1)}@@。
本文暂无形式化证明，请以社区核验为准。姊妹篇《Disk transfer representations》用独立的圆盘传递构造证得同一桥均值指数，并把走廊收紧为固定宽度 @@M@@Ch@@；两文拥有相同的标量多项式与齐次分离配分函数，本文的证明不依赖姊妹篇的均值定理。家族 237 的三篇互相拼合成直径 @@M@@n^{3/4+o(1)}@@ 主定理的组件。按 OpenAI 官方声明，未经形式化的结果可能有问题，读者应以社区核验为准。
问 1：整个证明中最关键也最脆弱的一步是什么？
（答：定理 1.4（normalized separator pairing）里 @@M@@F_n(0)=1@@ 的归一化。引言明言：有限色公式的分子与 Pfaffian 分母都带 @@M@@n^2@@ 级的指数增长，多项式幂次 @@M@@n^{1/6}@@ 只有在同一归一化下让两个指数因子相消后才存活。归一化稍错，目标幂次就被指数量级淹没，下游的嵌套指数 @@M@@1/12@@、长度质量 @@M@@h^{13/12}@@ 乃至平均长度 @@M@@h^{4/3}@@ 全部失效。）
问 2：为什么必须在全长度临界测度下工作？固定长度不行吗？
（答：不行，至少是另一个问题。固定长度测度的位移指数 @@M@@\nu=3/4@@ 属于 LSW/@@M@@\mathrm{SLE}_{8/3}@@ 纲领；而全长度测度允许路径一边穿越一边反复折返，引言第一句即指出总穿越质量不能决定平均长度。直径形式 @@M@@n^{3/4+o(1)}@@ 主定理需要的恰是后者的均值输入。）
问 3：终点口”自由求和”这一假设能否收紧为固定端口？
（答：论文未展开。引言结尾明确说”固定长度或同时指定两个端口问的是另一个问题”。姊妹篇 Disk transfer 把走廊收紧为固定宽度 @@M@@Ch@@ 并证得相同均值指数，但端口设定不变。）
问 4：与 Krachun–Panagiotis 等已有工作相比，真正的新意在哪里？
（答：此前从 Duminil-Copin–Smirnov 的猜想记录到 Beaton 等、Glazman–Manolescu、Krachun–Panagiotis，都只约束总穿越质量的量级；本文首次控制一阶长度插入 @@M@@\ell_h=h^{13/12+o(1)}@@，并给出 @@M@@F_n@@ 在复谱参数紧集上的一致估计与 @@M@@n@@ 无关的无零点圆盘——后者是圆柱摊平成平面时控制圈不相容的关键，工具（多项式真空表示）本身也是新的。）
问 5：这类结果最可能以什么模式出错？
（答：两处高危。其一是一致性声明：@@M@@o(1)@@ 精度依赖对 @@M@@|\Im s|<\pi@@ 紧集的一致控制，复分析中极限交换次序极易藏错；其二是从混合出口转移到桥的论证——拱（返回出发墙的路径）可能承载全部长度质量，文章用标记三脚架比较桥–拱对与桥–桥对，”每个深入上方的拱被足够多的桥击中”是组合几何断言，边界情形最易翻车。）
问 6：谁会用到这个结果？
（答：家族 237 的直径定理 @@M@@n^{3/4+o(1)}@@ 直接以本文为组件；更远处，Nienhuis 1982 年的指数预言走向定理、以及自避行走向 @@M@@\mathrm{SLE}_{8/3}@@ 收敛的纲领，都需要这种全长度测度下的均值输入。）
总评
这项工作把四十余年前的 @@M@@h^{-1/4}@@ 穿越质量预言推进到长度插入与均值层面，且与姊妹篇互为独立验证，分量实在；最大风险集中在复一致估计与指数相消这类”对就是对、错则全错”的刚性步骤，未经形式化前宜保持审慎。