结果族 237：The three-quarter exponent for honeycomb self-avoiding walk · 学科：Probability and statistical mechanics · 验证状态：暂无形式化证明，请以社区核验为准
把一条长长的自避行走想成一列火车：在它只穿过一次的水平线处逐节切开，就得到一节节”不可约车厢”，彼此独立、可以随机拼接。这篇论文证明：无论按哪种方式发车——固定总长度、给长度打折扣、还是无限接龙——车头前进的距离都服从同一个幂律 @@M@@n^{3/4}@@，系统兑现了 Nienhuis 1982 年的预言。
关键词卡片
@@M@@3/4@@（spatial exponent）：@@M@@n@@ 步行走的端距与直径约为 @@M@@n^{3/4}@@。@@M@@(\rho e^{-1/N})^L@@ 加权的采样方式，相当于给路径长度打折扣再抽签。@@M@@s@@ 下典型伸长付出的能量，本文证得 @@M@@f_e(s)=s^{4/3+o(1)}@@。看个具体例子
走 @@M@@n=10^8@@ 步的临界桥，端距约为 @@M@@(10^8)^{3/4}=10^6@@；反过来说，想从起点扩散到高度 @@M@@h=10^3@@ 处，典型需要 @@M@@h^{4/3}=10^4@@ 步——走得多、前进得慢，正是”不许自交”把路径撑得蓬松的体现。
为什么值得关心
从”各长度总质量”推进到”固定单个长度”的局部估计，是这个问题四十年来真正的卡点；本文用更新过程的局部下界一次打通三种采样律，让 @@M@@3/4@@ 从物理直觉变成定理。
暂无形式化证明（AI 结果待核验）
第一级台阶
导读把长自避行走比作一列火车：在每条只被穿过一次的水平线处切一刀，长路被分成一节节”不可约车厢”，各节互不干扰、可随机拼接。剩下要问的只有一件事：无论怎么发车——按固定总长度发、给长度打折扣发、还是无限接龙——车头前进的距离与所耗步数之间是什么关系。
第二级台阶
换成精确语言：只严格穿越某条水平线一次的自避行走段称为不可约桥；把独立随机段不断累加，正是经典的更新过程。在临界权重 @@M@@\rho=(2+\sqrt2)^{-1/2}@@ 下，所有不可约桥的权重总和恰为 @@M@@1@@，天然构成概率律。热律指按 @@M@@(\rho e^{-1/N})^L@@ 给长度打折的采样方式；空间指数则刻画 @@M@@n@@ 步行走的端距与直径随 @@M@@n@@ 的增长速度。
第三级台阶
定理在三种测度的公共语境下陈述。临界性假设一方面保证更新律可归一化，另一方面挡住路径质量爆炸或湮灭两种麻烦；蜂窝格点的结构带来长度奇偶约束，故结论只对足够大的相容偶数长度陈述。结论是：无穷不可约桥律的第 @@M@@n@@ 个顶点几乎必然距起点 @@M@@n^{3/4+o(1)}@@；每个相容大偶数长度下均匀桥的端距与直径依概率同为 @@M@@n^{3/4+o(1)}@@；热律在一切正矩意义下兑现同一指数；微小拉力下的自由能为 @@M@@s^{4/3+o(1)}@@，与 Pincus 力–伸长关系在 @@M@@\nu=3/4@@ 时精确吻合。对无限制均匀行走，下界只能在自然密度为一的长度集上成立。
对蜂巢格点临界自避行走，本文证明无穷不可约桥律、每个大偶数长度的均匀桥与热权重行走三种采样律的空间指数均为 @@M@@3/4@@：端距与直径 @@M@@n^{3/4+o(1)}@@，固定高度桥长 @@M@@h^{4/3+o(1)}@@，并确定微小力自由能指数，系统兑现 Nienhuis 预言。
自避行走（self-avoiding walk，SAW）是统计物理最经典的聚合物模型。1982 年 Nienhuis 借稀疏 @@M@@O(n)@@ 模型（@@M@@n\to0@@ 聚合物极限）的 Coulomb 气分析预言其二维空间指数 @@M@@\nu=3/4@@。蜂巢格点格外特殊：Duminil-Copin 与 Smirnov 用仿费米观测（parafermionic observable）证明了临界权重 @@M@@\rho=(2+\sqrt2)^{-1/2}@@，即连接常数（connective constant）。但精确临界点并不自动给出空间尺度。同一临界权重下至少有三种采样律：固定长度 @@M@@n@@ 的均匀律、按 @@M@@\rho^L e^{-L/N}@@ 加权的热律（thermal law）、把不可约桥无限拼接而成的无穷律——它们在空间上是否都以 @@M@@n^{3/4}@@ 扩散，此前几乎未知，最好的严格结果（Krachun–Panagiotis）只是极弱的多项式上界。卡点在于：从各长度的总质量估计推进到”固定单个长度”的局部估计，需要更新过程（renewal process）的局部下界，而经典无穷均值更新定理（Garsia–Lamperti、Caravenna–Doney）要求正则变化尾，本文可用的只有带常数因子的幂估计。
把严格桥（strict bridge）在所有恰好单次穿越的水平线处切开，得到不可约桥（irreducible bridge）；其临界权重总和为 @@M@@1@@，故构成概率律 @@M@@p@@。主要定理如下。
@@M@@n@@ 个顶点距起点几乎必然为 @@M@@n^{3/4+o(1)}@@，半径 @@M@@R@@ 球内顶点数几乎必然为 @@M@@R^{4/3+o(1)}@@；固定长度与热权重的有限半平面律都沿每个固定初始前缀收敛到此律。@@M@@n@@，均匀 @@M@@n@@ 顶点桥的端距与直径依概率均为 @@M@@n^{3/4+o(1)}@@；固定高度 @@M@@h@@ 的临界桥长度为 @@M@@h^{4/3+o(1)}@@、直径 @@M@@h^{1+o(1)}@@。@@M@@(\rho e^{-1/N})^L@@ 下 @@M@@L=N^{1+o(1)}@@、@@M@@A,D=N^{3/4+o(1)}@@，且对一切 @@M@@p>0@@ 有 @@M@@\E L^p=N^{p+o(1)}@@、@@M@@\E A^p=\E D^p=N^{3p/4+o(1)}@@。@@M@@1@@ 的公共长度集上为 @@M@@n^{3/4+o(1)}@@；其上界对一切足够大长度、以任意高多项式精度成立。@@M@@s@@ 下自由能 @@M@@f_e(s)=s^{4/3+o(1)}@@，两个单侧导数为 @@M@@s^{1/3+o(1)}@@，与 Pincus 力–伸长标度关系 @@M@@1/\nu-1@@ 在 @@M@@\nu=3/4@@ 时吻合；还可条件化到指定终点顶点而尺度不变。全文是”一条骨架、多种归一化”。先建立更新结构：相邻不可约桥占据互不相交的板层，可直接拼接且权重相乘；由姊妹篇的条带估计 @@M@@B_h\asymp h^{-1/4}@@：上界保证级数有限、下界求和发散，两边夹逼出权重总和恰为 @@M@@1@@，得到概率律 @@M@@p@@。再由有限输入推出单块的联合增量估计：@@M@@1-\E_p e^{-sH}\asymp s^{3/4}@@（@@M@@\beta=3/4@@）、@@M@@1-\E_p e^{-uL}\asymp u^{9/16}@@（@@M@@\alpha=9/16@@）、直径尾 @@M@@\le Cr^{-3/4}@@；两指数之比 @@M@@\alpha/\beta=3/4@@ 正是空间指数的来源——@@M@@k@@ 块的典型高度 @@M@@k^{4/3}@@ 与典型长度 @@M@@k^{16/9}@@ 相除即得 @@M@@n^{3/4}@@。接着攻克最硬的”固定单个长度”步骤：需要更新局部质量下界 @@M@@u_n\ge cn^{\alpha-1}@@，经典定理用不上，文中改用指数倾斜（exponential tilting）加 Fourier 反演直接证明——倾斜后落在均值附近窗口的约 @@M@@m^\alpha@@ 个块数上，局部中心极限定理给出 @@M@@\Prob(S_k=m)\ge c/m@@，且去倾斜因子有界；异常总高度或总直径再用”把块列分半、由独立的另一半支付精确长度”的傅里叶集中不等式排除。然后处理热律换测度：半平面行走分解为完整不可约桥列表加无更新余项，几何级数求和得 @@M@@H_N=U_N/q_N@@，余项质量在指定前缀概率中精确相消；全平面分母用”非空桥夹在两个外侧无更新端之间”的可恢复（单射）构造下界 @@M@@Z_N\ge U_N^2/(2q_N)@@；小端距路径在其最低顶点处切开成两个半平面端，由两端估计压住；结合 @@M@@q_N=N^{-9/16+o(1)}@@ 即得热律的全部尺度与正矩。无限制均匀行走没有逐长度的精确相消，改对相邻长度质量的对数做平均，内部项叠加相消、只剩边界误差——这正是下界只在高密度长度集上成立的原因。最后由阈值界与凸性导出自由能指数与 Pincus 关系。
本篇暂无形式化证明。其关键有限输入——@@M@@B_h\asymp h^{-1/4}@@、一阶矩 @@M@@M_h\le Ch^{13/12}@@、长桥正质量——正是姊妹篇《Uniform marked-polygon estimates and sharp finite bridge moments》的定理 1.1（两文表述逐条对应），而条带幂 @@M@@h^{-1/4}@@ 又被《Critical strip-crossing mass on the honeycomb lattice》以正定积分路线独立证明，两条路线互相印证。按 OpenAI 官方声明，未经形式化的结果可能有问题，请以社区核验为准。
问 1：证明中最关键也最脆弱的一步是什么？
（答：从”各长度总质量”推进到”固定单个长度”的更新局部下界 @@M@@u_n\ge c\,n^{\alpha-1}@@。经典无穷均值更新定理（Garsia–Lamperti、Caravenna–Doney）要求正则变化尾，而本文可用的只有带常数因子的幂估计，只得改走指数倾斜加 Fourier 反演：倾斜后局部中心极限定理给出概率下界，去倾斜因子须有界，异常总高度或总直径再靠”块列分半、由独立的另一半支付精确长度”的集中不等式排除。这一步失守，固定长度律与热律全部塌方。）
问 2：为什么固定长度只对”足够大的相容偶数长度”成立？无限制行走为何只得密度为一的集合？
（答：蜂窝点阵有内在的奇偶相容性约束，桥长只能取相容偶数值，这是格点结构而非技术回避。无限制均匀行走缺少逐长度的精确相消，文章改为对相邻长度质量的对数做平均，内部项叠加相消、只剩边界误差，故下界只在高密度长度集上成立；上界则以任意高多项式精度对一切大长度成立。）
问 3：与已有工作相比真正的新意是什么？
（答：此前最好的严格结果（Krachun–Panagiotis）只是很弱的多项式上界；本文首次把无穷律、固定长度、热律三种采样统一到空间指数 @@M@@3/4@@，并确定近临界指数相关尺度与小力自由能指数 @@M@@4/3@@，系统兑现 Nienhuis 1982 年的预言。）
问 4：哪个假设最难去掉？
（答：对姊妹篇有限输入的依赖：@@M@@B_h\asymp h^{-1/4}@@、一阶矩 @@M@@M_h\le Ch^{13/12}@@、长桥正质量来自《Uniform marked-polygon estimates》定理 1.1，两文逐条对应。@@M@@h^{-1/4}@@ 阶恰是更新级数收敛与发散的临界天平，输入失效则整个更新骨架不复存在。）
问 5：这类结果最可能以什么模式出错？
（答：两处高危。指数倾斜与去倾斜中的常数控制、热律换测度时”余项质量在指定前缀概率中精确相消”的代数恒等式，都是差一个常数就全盘皆错的刚性步骤；全平面配分函数下界依赖”非空桥夹在两个外侧无更新端之间”的单射构造，计数重漏是典型陷阱。）
问 6：下游推论是什么，谁会用到它？
（答：家族 237 的直径主定理 @@M@@n^{3/4+o(1)}@@ 以本篇为枢纽；聚合物力–伸长（Pincus）标度关系首次在此格点上严格化；条件化到指定终点顶点而尺度不变的局部下界，为后续收敛性研究提供了工具。）
总评
这是把 @@M@@3/4@@ 从物理直觉变成定理的关键一环，以自证的更新局部下界绕开经典定理的盲区，分量很重；最大风险集中在刚性常数控制和对姊妹篇有限输入的单点依赖，未经形式化前应审慎引用。