结果族 237：The three-quarter exponent for honeycomb self-avoiding walk · 学科：Probability and statistical mechanics · 验证状态：暂无形式化证明，请以社区核验为准
一条 @@M@@N@@ 层高的”走廊”摆在面前：从底边门口出发、翻到顶边的所有自避路径，每条按临界费率标价，总价随走廊高度怎样变化？直觉是越高越便宜，物理学家早就预言了精确的折扣率 @@M@@N^{-1/4}@@，但四十多年里数学家连把它夹在哪个数量级都做不到。这篇论文首次用两个固定常数，把这个幂律上下卡死。
关键词卡片
@@M@@\rho=1/\sqrt{2+\sqrt2}@@，使长路径既不暴涨也不速亡的平衡费率。@@M@@a_N\asymp N^{3/4}@@ 表示比值被夹在两个与 @@M@@N@@ 无关的正常数之间，远强于只定出指数。看个具体例子
走廊高 @@M@@N=10^4@@ 时，穿越总价约为 @@M@@N^{-1/4}=0.1@@（差个固定常数倍）；高度翻 16 倍，总价只缩到一半。返回拱的水平位移一阶矩约为 @@M@@N^{3/4}=10^3@@。妙在两者被增量关系 @@M@@m_{N+1}-m_N\asymp\mathcal B_N@@ 锁死：先精确算出拱的位移矩，再反推出桥的折扣率。
为什么值得关心
这是”先算辅助量、再反推目标量”的漂亮示范：悬置四十余年的精确幂次，被正定积分与随机矩阵（广义 Bures 系综）工具一举锁定，也是整个 @@M@@3/4@@ 指数证明程序的第一块基石。
暂无形式化证明（AI 结果待核验）
第一级台阶
导读里的”走廊标价”比喻说到底是：把从底边翻到顶边的所有不自交路径按临界费率逐条计价再求和，问这笔总价随走廊高度如何衰减。本文的妙处在于不直接攻总价，而是先精确算出一个辅助量——出发后折返回底边的路径平均横向漂了多远——再由两者之间的增量关系反推总价。
第二级台阶
精确化：蜂窝点阵上，从条带底边港口出发、终点落在顶边港口且内部严格居于条带内的自避路径称为桥，折返回底边的称为拱；桥的总临界权重记 @@M@@\mathcal B_N@@，拱的水平位移一阶矩记 @@M@@m_N@@。临界权重取 @@M@@\rho=1/\sqrt{2+\sqrt2}@@。结论写成 @@M@@a_N\asymp N^p@@ 的形式，意即比值被两个与 @@M@@N@@ 无关的正常数夹住——这是”有界因子”幂律，比只定出指数强得多。
第三级台阶
定理对一切 @@M@@N\ge1@@ 陈述，无需取极限，这是它比前人强的地方。三条主线咬合：边界恒等式 @@M@@c\mathcal A_N+\mathcal B_N=1@@（@@M@@c=\cos(3\pi/8)@@）说明桥与拱分食总质量、但本身定不出幂；增量关系 @@M@@m_{N+1}-m_N\asymp\mathcal B_N@@ 把辅助量与目标量锁死；正定积分算出 @@M@@m_N\asymp N^{3/4}@@ 后反推 @@M@@\mathcal B_N\asymp N^{-1/4}@@。临界权重假设挡住的是指数爆炸与速亡两种失衡——只有它使幂律成为可能；@@M@@\mathcal B_N@@ 还被证单调不增。@@M@@-1/4@@ 正是 Lawler–Schramm–Werner 边界指数 @@M@@5/8@@ 沿对边求和的预言值。
在蜂巢格点临界权重下，证明高 @@M@@N@@ 条带的自避行走穿越质量 @@M@@\mathcal B_N\asymp N^{-1/4}@@、返回拱的水平位移一阶矩 @@M@@m_N\asymp N^{3/4}@@：首次以固定常数上下界锁定悬置四十余年的预言幂次 @@M@@-1/4@@。
临界权重下的自避行走（self-avoiding walk）做长距离穿越不必付出指数代价，但路径越长权重越小，两者的平衡决定”穿越质量”如何随条带高度衰减。Lawler–Schramm–Werner 的共形不变标度图景给出边界指数 @@M@@5/8@@，预言边界两点质量幂为 @@M@@-5/4@@，沿对边求和即预言穿越幂为 @@M@@-1/4@@（这一推导也明确写在 Duminil-Copin–Smirnov 的文中）。但严格结果长期远落后：DCS 的条带论证只把穿越质量夹在 @@M@@1/N@@ 与 @@M@@1@@ 之间，定不出幂；Beaton 等人证明它趋于零；Glazman–Manolescu 得到子序列上的对数界；Krachun–Panagiotis 2026 年也只得到指数 @@M@@10^{-10}@@ 的多项式上界。预言的精确幂始终未证。本篇另辟蹊径：不直接攻穿越质量，而是先精确计算一个辅助可观测量——返回路径的位移矩——再由增量关系反推。
模型取蜂巢格点（三角密铺的对偶），路径端点在边界边中点（港口，port），每访问一个对偶顶点付权重 @@M@@\rho@@，@@M@@\rho=1/\sqrt{2+\sqrt2}@@ 为 Duminil-Copin–Smirnov 定出的临界值。在 @@M@@N@@ 个三角带高的无限条带 @@M@@\mathcal S_N@@ 中，从底部固定港口出发、终点在顶部任一港口且其余部分严格居于条带内部的路径称为桥（bridge），返回底边的称为拱（arch）；@@M@@\mathcal B_N@@ 为桥的总权重，@@M@@m_N=\sum_{k\ge1}kK_N(k)@@ 为拱的水平位移一阶矩。定理（临界条带质量）对一切 @@M@@N\ge1@@：@@M@@c\mathcal A_N+\mathcal B_N=1@@（@@M@@c=\cos(3\pi/8)@@，边界恒等式）；@@M@@m_{N+1}-m_N\asymp\mathcal B_N@@；@@M@@m_N\asymp N^{3/4}@@；@@M@@\mathcal B_N\asymp N^{-1/4}@@；且 @@M@@\mathcal B_N@@ 关于 @@M@@N@@ 单调不增。这里 @@M@@\asymp@@ 表示比值被夹在两个与 @@M@@N@@ 无关的正常数之间，即”有界因子”（bounded-factor）幂律，远强于对数精度或仅幂指数的结论。注意 @@M@@m_N@@ 是对所有长度求和的非归一化矩，以条带高度为尺度。
总体路线是”先算 @@M@@m_N@@，再用增量恢复 @@M@@\mathcal B_N@@“，因为边界恒等式本身定不出幂。先建立条带传递框架：闭游程相消给出边界恒等式并控制有限高度的传递矩阵（transfer matrix）；引入每行一个谱参数的菱形权重（属于稀疏回路模型 dilute loop 的可积结构，承 Ikhlef–Cardy 与 Glazman 的工作），切口状态记录空位与路径碎片造成的配对，由此定义平稳真空向量与带源向量。再用一个标量 Pfaffian @@M@@p_N@@ 把平稳真空变成有界度数的多项式向量——度数界是关键，它把后续插值变成恒等式论证。接着证明拱公式：在两个端点之间的每一列处切割右向拱，一条位移为 @@M@@k@@ 的拱恰好被计数 @@M@@k@@ 次，从而把 @@M@@m_N@@ 化为源态的配对、再化为首一多项式 @@M@@g_X=p_{N+1}/p_N@@ 的系数 @@M@@m(X)=\sum_i a_i-\eta[z^{N-1}]g_X(z)@@；并由阶梯边界上的通量恒等式证得 @@M@@m_{N+1}-m_N\asymp\mathcal B_N@@（下界来自从侧港立即下拐接一条桥，上界来自路径对界面访问的有序配对与几何级数）。然后把合并参数的极限问题转化为 @@M@@0<y_1<\cdots<y_N<1@@ 上的正定积分：密度为 @@M@@\prod_i\omega(y_i)\prod_{i<j}\frac{(y_j-y_i)^2}{y_i+y_j}@@，其中 @@M@@\omega(x)=\frac12\sqrt{\sqrt{\frac{1+x}{2x}}-1}@@；解的唯一性由 Cauchy 双矩行列式严格为正（Cauchy 行列式乘两个正 Vandermonde）保证，于是合并极限非奇异，@@M@@m_N@@ 等于含 @@M@@\prod_i\frac{y_i-x}{y_i+x}@@ 期望的一个显式积分——该成对相互作用恰是广义 Bures 系综（generalized Bures ensemble）的核。最后做硬边界（hard edge）比较：用 Schur 的 Pfaffian 恒等式与 de Bruijn 积分公式求出 Bures–Laguerre 参考律的显式归一常数，用正结合性（positive association，MTP@@M@@_2@@）得到随机序比较；最小坐标的逆矩估计一边给上界一边给下界，得到 @@M@@m_N\asymp N^{3/4}@@。再由单调性与增量恒等式收尾：@@M@@(N-1)\mathcal B_N\lesssim m_N@@ 给出 @@M@@\mathcal B_N\lesssim N^{-1/4}@@，取固定倍数高度差作比较给出反向不等式，完成 @@M@@\mathcal B_N\asymp N^{-1/4}@@。
本篇暂无形式化证明。同一个条带幂 @@M@@h^{-1/4}@@ 在姊妹篇《Uniform marked-polygon estimates and sharp finite bridge moments》中由有限传递计算加缝合论证独立得出，两路线互相印证；本篇的 @@M@@m_N\asymp N^{3/4}@@ 正是 @@M@@3/4@@ 指数在非归一化矩层面的体现。按 OpenAI 官方声明，未经形式化的结果可能有问题，请以社区核验为准。
问 1：既然有边界恒等式 @@M@@c\mathcal A_N+\mathcal B_N=1@@，为什么它定不出幂，还要绕道拱的矩？
（答：恒等式只说桥与拱分食总质量 @@M@@1@@，两端可以任意此消彼长，信息不足以分离 @@M@@\mathcal B_N@@ 的衰减速度。绕道的枢纽是增量关系 @@M@@m_{N+1}-m_N\asymp\mathcal B_N@@：下界来自从侧港立即下拐接上一条桥的构造，上界来自路径对界面访问的有序配对与几何级数。有了它，算准 @@M@@m_N@@ 即算准 @@M@@\mathcal B_N@@。）
问 2：证明中最脆弱的一步是什么？
（答：合并参数极限化为正定积分的一步。密度形如 @@M@@\prod_i\omega(y_i)\prod_{i<j}(y_j-y_i)^2/(y_i+y_j)@@，解的唯一性完全依赖 Cauchy 双矩行列式严格为正（Cauchy 行列式乘两个正 Vandermonde）；若合并极限奇异，@@M@@m_N@@ 的显式积分表示就失效。其次是与广义 Bures 参考律的硬边界比较——正结合性（MTP@@M@@_2@@）给随机序、最小坐标逆矩给两端界——常数因子就在这些比较中产生。）
问 3：把一条位移为 @@M@@k@@ 的拱在两端口之间的每一列切割、恰计数 @@M@@k@@ 次——这个组合恒等式为何值得审稿人盯紧？
（答：它是把几何量 @@M@@m_N@@ 化为代数量（首一多项式 @@M@@g_X=p_{N+1}/p_N@@ 的系数）的唯一桥梁，是多一计或漏一计就系统性出错的典型双射；而 Pfaffian @@M@@p_N@@ 给出的度数界又是后续插值变成恒等式论证的前提，两环相扣。）
问 4：与 Krachun–Panagiotis、Glazman–Manolescu 等前人相比，真正的新意是什么？
（答：此前结果只到”趋于零”（Beaton 等）、子序列对数界（Glazman–Manolescu）或指数 @@M@@10^{-10}@@ 的多项式上界（Krachun–Panagiotis）；本文首次以固定常数上下界锁定精确幂 @@M@@-1/4@@，且对一切 @@M@@N\ge1@@ 无需取极限。方法上的新意是路线反转：不攻目标量，先算辅助矩再反推。）
问 5：临界权重假设能松动吗？
（答：论文未讨论非临界情形。@@M@@-1/4@@ 的幂律本质上是临界点的性质：亚临界指数衰减、超临界穿越质量不再塌缩，偏离临界点后”有界因子幂律”的形式本身预计就不成立。）
问 6：这类 AI 生成证明最可能的出错模式？
（答：随机矩阵比较层的恒等式套用——Schur Pfaffian 恒等式与 de Bruijn 公式的显式归一常数是长程代数计算，符号推导错一处即全局错；正结合性（MTP@@M@@_2@@）的适用条件验证也是容易被”顺手引用”而实际不满足的地方。）
问 7：下游谁会用它？
（答：这是整个 @@M@@3/4@@ 指数程序的第一块基石：@@M@@\mathcal B_N\asymp N^{-1/4}@@ 正是更新结构证明中”级数收敛且求和发散”天平的输入；姊妹篇《Uniform marked-polygon estimates》以独立路线得出同一幂，两相印证后供《Renewal and changes of law》使用。）
总评
以固定常数夹住悬置四十余年的 @@M@@-1/4@@，是本家族最坚实的地基之一，且与姊妹篇路线独立、互为印证；最大风险在正定积分表示的唯一性论证与硬边界比较的常数控制，这类长程代数推导正是机器证明最易无声出错之处。