结果族 237：The three-quarter exponent for honeycomb self-avoiding walk · 学科：Probability and statistical mechanics · 验证状态：暂无形式化证明，请以社区核验为准
一张边长 @@M@@R@@ 的等边三角形”台球桌”：从一条边上某点走到另一条边上某点，全程不许自交、也不许缩在角落里（直径至少 @@M@@R/100@@）的路径，按临界费率逐步计价。这篇论文算出总价约为 @@M@@R^{3/4}@@，典型路径长约 @@M@@R^{4/3}@@——注意 @@M@@4/3@@ 恰是 @@M@@3/4@@ 的倒数，这不是巧合，而是同一个指数的另一面。
关键词卡片
@@M@@x=(2+\sqrt2)^{-1/2}@@，路径条数的增长与权重惩罚在此打平。@@M@@r^{1/12+o(1)}@@。@@M@@N@@ 以 @@M@@N^{1/6+o(1)}@@ 增长。看个具体例子
取 @@M@@R=10^6@@：弦的总配分和约为 @@M@@R^{3/4}\approx 3.2\times10^4@@，而典型长度约为 @@M@@R^{4/3}=10^8@@ 步——边长一百万的桌子，典型路径要走一亿步，因为它被”不许自交”逼成了一团极度蓬松的毛线。
定理二还确定柱面振幅指数 @@M@@1/6@@ 恰为平面嵌套指数 @@M@@1/12@@ 的两倍：两个缝尖各扛一份嵌套质量。同样的平均长度指数 @@M@@R^{4/3+o(1)}@@ 对通常的中心到中心自避行走也成立。
为什么值得关心
@@M@@R^{3/4}@@ 配分和与 @@M@@r^{1/12}@@ 嵌套质量是结果族 237 攻克”直径 @@M@@n^{3/4+o(1)}@@“主定理的共享零件，几篇论文互相咬合、彼此校验。
暂无形式化证明（AI 结果待核验）
第一级台阶
导读里的”三角形台球桌”剥去比喻后是：在等边三角形区域内、从边界走到边界、全程不自交也不缩进角落的路径，按临界费率逐步计价后求总价，并问按总价加权的典型路径走多少步。另一条线索是柱面实验：在圆筒上放两个”真空帽”，看它们选出的边界系数随筒的周长怎样增长。
第二级台阶
精确化：两端都落在区域边界港口、直径不小于 @@M@@R/100@@ 的宏观自避路径称为弦；所有弦的权重总和是配分和，权重为 @@M@@x^{m(\gamma)}@@，临界逸度 @@M@@x=(2+\sqrt2)^{-1/2}@@，@@M@@m(\gamma)@@ 为访问中心数。柱面一侧，由分隔两个缝尖的绕柱多边形与围住单尖的可缩多边形组成的不交多边形气体，除去指数增长因子后的极限记为柱面振幅；平面上围住定点的层层嵌套圈另有嵌套配分函数。
第三级台阶
定理在临界权重与”直径至少 @@M@@R/100@@“两条假设下陈述：前者保证路径条数增长与权重惩罚打平、产生非平凡的平均长度；后者挡住缩在角落里的微观路径，使配分和不被局部小路径淹没。结论是：三角弦配分和 @@M@@\asymp R^{3/4}@@，归一化弦律下平均长度 @@M@@R^{4/3+o(1)}@@，且同一平均指数对中心到中心的自避行走成立；柱面振幅为 @@M@@N^{1/6+o(1)}@@，平面嵌套质量为 @@M@@r^{1/12+o(1)}@@——两指数恰差因子二，几何含义是两个缝尖各扛一份嵌套质量。@@M@@4/3@@ 与 @@M@@3/4@@ 互为倒数在文中是启发式尺度对比，定理本身独立陈述。
在临界逸度 @@M@@x=(2+\sqrt2)^{-1/2}@@ 下，证明边长 @@M@@R@@ 的等边格点三角形中宏观自回避弦的配分和 @@M@@\asymp R^{3/4}@@、平均长度为 @@M@@R^{4/3+o(1)}@@，并确定柱面双真空帽选择的振幅为 @@M@@N^{1/6+o(1)}@@、平面嵌套质量为 @@M@@r^{1/12+o(1)}@@，为四分之三指数纲领提供了关键输入。
自回避行走（self-avoiding walk）是统计物理最基本的模型之一：不允许重复访问顶点的格点路径。1982 年 Nienhuis 从稀释 @@M@@O(n)@@ 模型（dilute @@M@@O(n)@@ model）的精确解预言：六边形格点（honeycomb lattice）上 @@M@@n@@ 步自回避行走的典型尺度为 @@M@@n^{3/4+o(1)}@@，即尺寸指数 @@M@@\nu=3/4@@。Duminil-Copin 与 Smirnov 于 2012 年用顺磁观测量（parafermionic observable）证明了临界连通常数（connective constant）为 @@M@@\sqrt{2+\sqrt2}@@，但指数 @@M@@\nu@@ 本身长期缺少严格证明；已知的最好刚性估计（Krachun–Panagiotis）也只给出距起点最大距离的 @@M@@O(n/\log n)@@ 上界。本文研究同一临界权重下的有限域替代问题：在边长 @@M@@R@@ 的等边三角形内，对边界到边界、直径不小于 @@M@@R/100@@ 的自回避弦（chord）按每步临界逸度加权，总质量与平均长度服从什么幂律？此时长度不预先固定——多走一步被临界逸度惩罚，路径条数却在增长，二者平衡产生非平凡的平均长度，其指数恰为 @@M@@\nu@@ 的倒数（@@M@@4/3=1/\nu@@，论文强调这是启发式的尺度对比），是结果族 237 攻克四分之三指数链条的组成部分。
论文证明了两个定理。
定理一（宏观三角弦）：设 @@M@@\Delta_R@@ 为边长 @@M@@R@@ 的等边格点三角形，@@M@@\mathcal C_R@@ 为包含于其中、两端在边界 port 上（port 指铺砌三角形边的中点，路径依次穿过三角形中心且不自交）、欧氏直径（diameter）至少 @@M@@R/100@@ 的路径全体，权重 @@M@@w(\gamma)=x^{m(\gamma)}@@（@@M@@m@@ 为访问中心数）。则配分和 @@M@@Z_R^{\rm chord}\asymp R^{3/4}@@，且在归一化弦律 @@M@@\mathbb P_R@@ 下平均长度 @@M@@\mathbb E_R\,m=R^{4/3+o(1)}@@；同样的平均指数对通常的中心到中心自回避行走成立（两端点在内边界层、每边权 @@M@@x@@、直径限制相同）。
定理二（柱面振幅与平面嵌套）：在周长 @@M@@N@@ 的柱面上，由分隔两个缝尖（seam tip）的绕柱多边形与围住单个缝尖的可缩多边形组成的不交多边形气体 @@M@@\mathcal G_N(H)@@（每个多边形权 @@M@@2x^{|P|}@@），除去指数增长因子 @@M@@\lambda_N^H@@ 后极限 @@M@@\mathcal A_N@@ 存在且为正，@@M@@\mathcal A_N=N^{1/6+o(1)}@@；平面上围住定点 @@M@@v@@、限制在距离 @@M@@r@@ 内的两两不交嵌套多边形（nested polygons）配分函数 @@M@@\mathcal Z_v(r)=r^{1/12+o(1)}@@。两个指数恰差因子二，几何含义是两个缝尖各承载一份平面嵌套。论文还顺带独立证明 @@M@@x@@ 正是自回避行走计数级数的收敛半径。
证明的发动机是两套”正”的估计。第一套先把 Duminil-Copin–Smirnov 的顺磁观测量改写为有限探索形式：给路径乘相位 @@M@@e^{icW}@@（@@M@@c=3/8@@，@@M@@W@@ 为累计转角），局部恒等式 @@M@@2x\cos(c\pi/3)=1@@ 与 @@M@@2\cos(4\pi c/3)=0@@ 使内部停止项成对相消，入口通量恰等于边界输出之和。由此在周长 @@M@@N@@ 的柱面上建立两个关于 @@M@@N@@ 一致的量：边界亏缺 @@M@@D_N\asymp N^{-1/4}@@，以及最高行固定的单绕柱多边形质量 @@M@@P_N\asymp N^{-1}@@。其技术核心是稀释 @@M@@O(n)@@ 可积模型的融合恒等式（fusion identity）导出单绕柱导数 @@M@@J_N@@ 的函数方程 @@M@@J_N(t)+J_N(t+2l)-J_N(t+l)=O(t^N)@@（@@M@@l=\pi/8@@），把 @@M@@J_N@@ 表为次数至多 @@M@@N@@ 的多项式 @@M@@f_N(h)@@，满足 @@M@@f_N(1)=1@@、@@M@@f_N'(1)=ND_N@@；再在带形坐标下用贝格曼空间（Bergman space）表示与一个严格压缩的卷积算子解出系数递推，得到两侧估计 @@M@@G(iy)\asymp B(iy)^N@@，最后从两条不同的尾部渐近分别读出 @@M@@P_N@@（核尾 @@M@@\asymp N^{-1}@@）与 @@M@@f_N'(1)\asymp N^{3/4}@@。
第二套估计处理真正的分析障碍：矩阵元 @@M@@\Lambda T^H\Psi=c\lambda^H+\cdots@@ 的边界系数 @@M@@c@@ 依赖两侧真空帽（vacuum cap），无法由特征值得知。作者先构造归一化真空向量及其多项式分母，用标量残差公式（residue formula）表示两帽之间的行转移乘积；先在互异行参数下成立，解决根的碰撞（碰撞根贡献导数项）并经亚纯延拓推广到重复参数，从而能计算幂 @@M@@T^H@@。再由实计数系统在显式分位数盒中的唯一分支、多项式正交性识别真空端、有限环带转移的正性与帽估计，从诸项中选出”物理”项，其系数化为根乘积与雅可比行列式之比 @@M@@W/J@@。借助卷积恒等式 @@M@@g'*\rho=L_1'@@、体极限（bulk limit）与一致的调和平均，积分得 @@M@@\log|c_{\rm phys}(\theta)|/\log N=\frac16-\frac{2\theta^2}{3\pi^2}+o(1)@@，在物理绕柱逸度处（@@M@@\theta=0@@）即 @@M@@N^{1/6+o(1)}@@。
最后把柱面投影回平面：先用高阶扭曲导数建立任意固定阶的高度矩，据此控制绕柱对的不相容质量、缝尖处多边形的直径尾与隔墙代价，夹逼出 @@M@@e^{-C}\mathcal Z_v(a_0N)^2\le\mathcal A_N\le e^{C_\epsilon}\mathcal Z_v(N^{1+3\epsilon})^2@@，得 @@M@@\mathcal Z_v(r)=r^{1/12+o(1)}@@。三角弦的分母由亏缺与带形穿越界 @@M@@S(d)\le Cd^{-1/4}@@ 结合三角通量恒等式对 @@M@@O(R)@@ 个源求和而得 @@M@@Z_R\asymp R^{3/4}@@；长度分子则用边缝恒等式 @@M@@T_e=2Z_e+\sqrt2 L_e@@，把穿过内部边 @@M@@e@@ 的弦质量与该边两端点处的嵌套配分比较，逐点为 @@M@@R^{1/12+o(1)}@@，乘以 @@M@@O(R^2)@@ 条接触边得分子 @@M@@R^{25/12+o(1)}@@，除以分母即平均长度 @@M@@R^{4/3+o(1)}@@。
本篇是结果族 237（均匀 @@M@@n@@ 步六边形自回避行走直径 @@M@@n^{3/4+o(1)}@@）的姊妹篇之一：文中的 @@M@@R^{3/4}@@ 分母、@@M@@r^{1/12}@@ 嵌套质量与 @@M@@N^{1/6}@@ 柱面振幅是族内证明链的共享输入，各篇结果相互支撑。按任务标注，本文主结果尚无 Lean 形式化证明；依据 OpenAI 官方声明，未经形式化的结果可能存在问题，请以社区核验为准。
问 1：”直径至少 @@M@@R/100@@“这条假设能去掉吗？
（答：不能简单去掉。它挡住的是缩在角落或贴边短爬的微观路径：若不加限制，配分和会被大量局部小路径与边界两点质量主导，@@M@@R^{3/4}@@ 的宏观幂律会被淹没；@@M@@R/100@@ 只是任一固定比例常数，证明对它不敏感。）
问 2：证明中最关键也最脆弱的一步是什么？
（答：从留数公式的诸项中选出”物理”项。矩阵元的边界系数依赖两侧真空帽、无法由特征值读出；作者靠实计数系统在显式分位数盒中的唯一分支、多项式正交性识别真空端、环带转移的正性与帽估计，把物理项系数化为根乘积与雅可比行列式之比，再经卷积恒等式、体极限与一致调和平均积分出 @@M@@\log|c_{\rm phys}|/\log N=\frac16-\frac{2\theta^2}{3\pi^2}+o(1)@@。选中错项或根碰撞（导数项）处理有误，指数立变。）
问 3：柱面振幅 @@M@@N^{1/6}@@ 恰为平面嵌套 @@M@@r^{1/12}@@ 的两倍，这是巧合还是定理结构使然？
（答：结构使然：把柱面在两个缝尖处摊平，每个缝尖各承载一份平面嵌套质量，投影夹逼不等式 @@M@@e^{-C}\mathcal Z_v(a_0N)^2\le\mathcal A_N\le \mathcal Z_v(N^{1+3\epsilon})^2@@ 正是把”两份嵌套”变成振幅的平方，指数因此翻倍。）
问 4：与已有工作相比真正的新意是什么？
（答：此前最好的刚性结果是 Krachun–Panagiotis 的最大距离 @@M@@O(n/\log n)@@ 上界，离指数 @@M@@\nu@@ 很远；本文给出有限域弦配分和、平均长度与柱面振幅的完整幂律，方法上是稀释 @@M@@O(n)@@ 融合恒等式加贝格曼空间压缩算子的新组合，还顺带独立证明 @@M@@x@@ 是自避行走计数级数的收敛半径。）
问 5：这类 AI 生成证明最可能在哪里出错？
（答：两处高危。函数方程 @@M@@J_N(t)+J_N(t+2l)-J_N(t+l)=O(t^N)@@ 化为次数至多 @@M@@N@@ 的多项式后，两侧估计 @@M@@G(iy)\asymp B(iy)^N@@ 要从两条不同尾部渐近分别读出 @@M@@P_N\asymp N^{-1}@@ 与 @@M@@f_N'(1)\asymp N^{3/4}@@——读错尾部即张冠李戴；边缝恒等式 @@M@@T_e=2Z_e+\sqrt2 L_e@@ 逐点比较嵌套配分、乘 @@M@@O(R^2)@@ 条接触边得分子，计数的重漏是经典陷阱。）
问 6：@@M@@4/3@@ 与 @@M@@3/4@@ 互为倒数，这层关系在论文里是定理还是启发？
（答：是启发式尺度对比，论文明确如此强调；定理陈述的是弦律下平均长度 @@M@@R^{4/3+o(1)}@@ 这一独立事实，其与 @@M@@\nu=3/4@@ 的呼应要等家族 237 的直径主定理拼装完成后才成为严格闭环。）
问 7：下游谁在用这些结果？
（答：@@M@@R^{3/4}@@ 分母、@@M@@r^{1/12}@@ 嵌套质量与 @@M@@N^{1/6}@@ 柱面振幅是族 237 攻克”均匀 @@M@@n@@ 步行走直径 @@M@@n^{3/4+o(1)}@@“的共享零件，几篇姊妹文互相咬合、彼此校验。）
总评
本文把 Nienhuis 预言在有限域一侧推进到配分和与振幅的精确幂律，工具新、结构美，是 @@M@@3/4@@ 纲领的关键齿轮；最大风险在物理项挑选与根碰撞处理这类多分支的刚性论证，未经形式化前宜与姊妹篇交叉验证后引用。