结果族 237：The three-quarter exponent for honeycomb self-avoiding walk · 学科：Probability and statistical mechanics · 验证状态：暂无形式化证明，请以社区核验为准
把一根 @@M@@n@@ 节的链条随手扔在格子上，规矩是不许踩自己的脚印：它摊多开？局部多挤？要用几块小圆毯才能盖住？这篇论文对每一个足够大的长度 @@M@@n@@ 同时回答这三个问题，全部答案只靠两个数：@@M@@3/4@@ 和 @@M@@4/3@@。
关键词卡片
@@M@@n@@ 的所有自避路径一视同仁、等可能抽取。@@M@@s@@ 的球内路径访问了多少个顶点，衡量”局部有多挤”。@@M@@s@@ 的球。看个具体例子
代入 @@M@@n=10^{12}@@ 步：直径约 @@M@@n^{3/4}=10^9@@；任何半径 @@M@@s=10^6@@ 的球内访问点数约 @@M@@s^{4/3}=10^8@@；盖住全程约需 @@M@@n/s^{4/3}=10^4@@ 个球。定理更强：这些关系对每个整数长度同时成立，失败概率可压到任意多项式小——@@M@@\mathbb P(n^{3/4-\delta}\le D\le n^{3/4+\delta})\ge1-Cn^{-k}@@。
为什么值得关心
Nienhuis 的 3/4 预言此前只在加权总体层面部分成立；本文首次让它在每个整数长度、上下双向、多尺度同时严格的概率意义下成立，给出了这根”理想聚合物链条”从整体到局部的完整几何画像，也为同族其它定理铺好了地基。
暂无形式化证明（AI 结果待核验）
第一级台阶
入门导读的”扔链条、盖圆毯”翻译过来：对象是一根固定 @@M@@n@@ 节、不许踩自己脚印的链条；操作量有三个——最远两端拉开的直线距离（整体摊多开）、任一小圆毯上压着多少节（局部多挤）、盖住整根链条最少要几块毯（覆盖数）。要害在于：此前所有严格结果都只在”按长度加权的总体”层面说话，本文把同样的话搬到”每根链条等可能”的均匀抽取上，且对每个长度 @@M@@n@@ 同时成立。
第二级台阶
用概率论术语精确化：@@M@@\mathcal W_n@@ 为从原点出发的 @@M@@n@@ 步自避行走集合，@@M@@\Prob_n@@ 为其均匀分布；@@M@@D(\gamma)@@ 是所访顶点集的直径，@@M@@M_\gamma(z,s)@@ 是闭球 @@M@@\overline B(z,s)@@ 内访问顶点数，@@M@@\mathcal N_\gamma(s)@@ 是覆盖所访顶点所需半径 @@M@@s@@ 球的最少个数。蜂窝格点临界活性 @@M@@\rho=(2+\sqrt2)^{-1/2}@@，未归一”质量”指 @@M@@\sum\rho^{|\gamma|}@@ 型权重和。
第三级台阶
主定理：对任意 @@M@@\delta>0@@ 与 @@M@@k>0@@，存在 @@M@@C_{\delta,k}@@、@@M@@n_0@@，使每个整数 @@M@@n\ge n_0@@ 以 @@M@@\Prob_n@@-概率至少 @@M@@1-C_{\delta,k}n^{-k}@@ 同时有 @@M@@D=n^{3/4\pm\delta}@@、@@M@@M_\gamma(z,s)=n^{\pm\delta}\min\{n,s^{4/3}\}@@、@@M@@\mathcal N_\gamma(s)=n^{\pm\delta}(1+ns^{-4/3})@@，后两条对所有中心 @@M@@z@@ 与所有 @@M@@s\in[1,n]@@ 一致。输入假设是同族姊妹篇的可观测量（带质量 @@M@@B_h\asymp h^{-1/4}@@、嵌套质量 @@M@@r^{1/12}@@、一阶长度质量 @@M@@h^{13/12}@@ 等）；结论被刻意划界——不含连续统收敛、不含换格点普适性、直径下界不蕴含端点分离。路线是先在临界权重下证”全盒估计”：一切子路径的长度、直径与球内点数互相牵制，违反者的总质量 @@M@@\le C_{\tau,A}H^{-A}@@，绝对到对所有子路径求和后仍幸存；再用次可乘性与带条多项式下界证 @@M@@Z_n\ge1@@，把质量语言翻译成每个固定长度上的概率语言。
本文证明：蜂窝格点上每个足够大的固定长度 @@M@@n@@ 的均匀自避行走，以任意高多项式概率同时满足直径为 @@M@@n^{3/4+o(1)}@@、局部质量与覆盖数均呈 @@M@@4/3@@ 指数。Nienhuis 的 @@M@@3/4@@ 指数预言首次在”每个整数长度、上下双向、多尺度同时”的意义下成立。
自避行走（self-avoiding walk）是从某格点出发、永不重复访问顶点的最近邻路径，是二维聚合物的标准模型：长度 @@M@@n@@ 固定，空间延展却是随机的。Nienhuis（1982）由稀薄 @@M@@O(n)@@ 模型与库仑气分析预言二维空间指数 @@M@@\nu=3/4@@，即 @@M@@n@@ 步行走的典型直径约为 @@M@@n^{3/4}@@。Duminil-Copin 与 Smirnov（2012）用仲费米观测量（parafermionic observable）证得蜂窝格点连结常数为 @@M@@\sqrt{2+\sqrt2}@@，但桥质量的 @@M@@-1/4@@ 衰减指数当时仅作为预测记录；Beaton 等（2014）证得带条穿越质量趋于零，Glazman–Manolescu 随后给出更短证明与对数子列界，Krachun–Panagiotis（2026）证得多项式上界与定量次弹道性。然而这些结果都停留在加权总体质量层面；对固定长度的均匀测度、在每个整数长度上、同时给出直径上下界、局部质量与覆盖数的估计，此前并不存在。
记 @@M@@\mathcal W_n@@ 为从固定原点出发的 @@M@@n@@ 步自避行走集合，@@M@@\Prob_n@@ 为其均匀分布；@@M@@D(\gamma)@@ 为所访顶点集的直径，@@M@@M_\gamma(z,s)@@ 为球 @@M@@\overline B(z,s)@@ 内所访顶点数，@@M@@\mathcal N_\gamma(s)@@ 为覆盖全部所访顶点所需半径 @@M@@s@@ 的球的最少个数。主定理：对任意 @@M@@\delta>0@@ 与 @@M@@k>0@@，存在常数 @@M@@C_{\delta,k}@@ 与 @@M@@n_0(\delta,k)@@，使对每个整数 @@M@@n\ge n_0@@，在 @@M@@\Prob_n@@-概率至少 @@M@@1-C_{\delta,k}n^{-k}@@ 的事件上同时有
@@M@@Dn^{3/4-\delta}\le D(\gamma)\le n^{3/4+\delta},@@
@@M@@Dn^{-\delta}\min\{n,s^{4/3}\}\le M_\gamma(z,s)\le n^{\delta}\min\{n,s^{4/3}\},@@
@@M@@Dn^{-\delta}(1+ns^{-4/3})\le \mathcal N_\gamma(s)\le n^{\delta}(1+ns^{-4/3}),@@
后两条对所有顶点 @@M@@z@@ 与所有 @@M@@s\in[1,n]@@ 同时成立。推论包括：行走沿三个格点法向的每个方向投影的张量（span）至少 @@M@@n^{3/4-\delta}@@；覆盖维数比 @@M@@\log\mathcal N_\gamma(s)/\log(D(\gamma)/s)@@ 依概率收敛于 @@M@@4/3@@；回转半径（radius of gyration）@@M@@R_g=n^{3/4+o(1)}@@，且对一切 @@M@@p>0@@ 有 @@M@@\E_n[D^p]=n^{3p/4+o(1)}@@。作者明确说明：结论不含连续统收敛、不含换格点的普适性，直径下界也不蕴含两端点分离。
证明先在临界活度 @@M@@\rho=(2+\sqrt2)^{-1/2}@@ 下进行，”质量”指未归一化权重和。解析输入由同族姊妹预印本提供：仲费米边界通量恒等式 @@M@@\sum\rho^{|\gamma|}e^{3iW(\gamma)/8}=1@@、带条恒等式 @@M@@cA_h+B_h=1@@（@@M@@c=\cos(3\pi/8)@@）以及 @@M@@B_h\asymp h^{-1/4}@@、@@M@@m_h\asymp h^{3/4}@@、嵌套质量 @@M@@r^{1/12+o(1)}@@、带条一阶长度质量上界 @@M@@h^{13/12+o(1)}@@、多边形长度平方质量 @@M@@H^{2/3+o(1)}@@、圆柱单弧一致界与多项式族尾界。几何论证要闯三关。第一，用于替换路径段的桥必须装进避开其余片段的走廊，总质量界不给这种保证：作者把较小的桥缝合成新路径并”回收缝线”，控制该操作的倍数，得到局部化的一、二阶长度矩，Cauchy–Schwarz 给出”看见长桥”的次幂概率，独立更新（renewal）试验将其放大，精确条件恒等式再把估计转移到指定高度。第二，单个桥估计要管住任意行走的一切子路径：对相邻更新路径做”有序测试”，同时压制过快行进与局部过长；两个测试碰上同一不可约桥时其权重恰计入一次，这在转弯数随尺度增长时必不可少。第三，同一球内的反复访问需要”多条不交穿越”的专门估计。合起来得到全盒估计：直径不超过 @@M@@KH@@ 的根行走，其每个子路径 @@M@@\sigma@@ 同时满足 @@M@@|\sigma|\le H^\tau(1+\diam\sigma)^{4/3}@@、@@M@@\diam\sigma\le H^\tau(1+|\sigma|)^{3/4}@@、球内点数 @@M@@\le H^\tau s^{4/3}@@，且违反任何一条者的总质量 @@M@@\le C_{\tau,A}H^{-A}@@——绝对到足以在对所有子路径求和后幸存。最后由次可乘性与带条多项式下界证 @@M@@Z_n=c_n\rho^n\ge1@@（否则 @@M@@B_h@@ 将指数衰减，与 @@M@@h^{-1/4}@@ 矛盾），于是除以 @@M@@Z_n@@ 后任意多项式衰减在每个固定长度保留。直径、局部质量与覆盖数再由好事件上的确定性推理导出：取 @@M@@q@@ 条边的连续时间块，模不等式保证其直径 @@M@@\le s@@ 而整块落入球内，即得质量下界；覆盖上界用时间块剖分，下界把覆盖球重新中心化到所访顶点并用局部质量上界。
本文主结果暂无 Lean 形式化证明。它是结果族 237 的几何主干：同族姊妹预印本（含本批”标记多边形”“圆柱幅”两篇）提供它所引用的精确可观测量——多边形平方质量、嵌套指数、@@M@@B_H\asymp H^{-1/4}@@、@@M@@13/12@@ 一阶长度质量等——本文再把这些输入加工成任意固定长度上的概率定理，各篇结论互相印证。按 OpenAI 官方声明，未经形式化的结果可能有问题，请以社区核验为准。
问 1：”每个整数长度”比”加权总体层面”到底强在哪，怎么跨过去的？
（答：带质量、桥质量这类临界权重估计是总量式陈述，除以总质量后只能在加权法律下用。本文靠证 @@M@@Z_n=c_n\rho^n\ge1@@ 完成转换：若不然带条质量 @@M@@B_h@@ 将指数衰减，与姊妹篇的 @@M@@B_h\asymp h^{-1/4}@@ 多项式衰减矛盾；次可乘性给出该结论。有了 @@M@@Z_n\ge1@@，质量级的小量除法后即成逐长度的概率小量。）
问 2：证明中最关键、最脆弱的一步是什么？
（答：”缝补与回收”的局部化。替换路径段的桥必须装进避开其余片段的走廊，而总质量界不给这种避让保证；作者把小桥缝成新路径并回收缝线、控制操作倍数，得局部化的一、二阶长度矩，Cauchy–Schwarz 给”看见长桥”的次幂概率，独立更新试验放大，精确条件恒等式再转移到指定高度。相邻更新路径上的”有序测试”须保证两个测试碰上同一不可约桥时权重恰计一次——转弯数随尺度增长时这是不可省的组合唯一性，最易藏错。）
问 3：失败概率凭什么能压到任意多项式小？
（答：全盒估计的违约质量界是 @@M@@\le C_{\tau,A}H^{-A}@@，其中 @@M@@A@@ 任意大；子路径总数只有多项式级，求和后仍任意小。这是”绝对到足以幸存求和”的设计，不是事后凑出来的。）
问 4：哪些边界条件去不掉？
（答：蜂窝格点专属性——仲费米边界通量恒等式 @@M@@\sum\rho^{|\gamma|}e^{3iW(\gamma)/8}=1@@ 与三个格点法向都依赖此格点，论文明言不含换格点普适性；直径下界用的是所访顶点集，明确不蕴含两端点分离（链条可能对折）；也不主张连续统收敛。）
问 5：相对 Krachun–Panagiotis 等前作的真正增量？
（答：KP 证的是带穿越质量多项式上界与均匀行走的定量次弹道性（单侧、全局）；Beaton 等只证带质量趋零。本文首次同时给出直径双侧 @@M@@3/4@@、多尺度局部质量与覆盖数 @@M@@4/3@@、覆盖维数比 @@M@@\log\mathcal N_\gamma(s)/\log(D/s)\to4/3@@，以及一切矩 @@M@@\E[D^p]=n^{3p/4+o(1)}@@——从全局到局部的完整画像。）
问 6：作为 AI 生成证明，最可能出错的模式是什么？
（答：流水线依赖与指数算术。解析输入全来自同族未形式化预印本（@@M@@B_h\asymp h^{-1/4}@@、嵌套 @@M@@r^{1/12}@@、长度质量 @@M@@h^{13/12}@@、多边形平方质量 @@M@@H^{2/3}@@），常数或适用范围转录一错全盘漂移；缝补倍数、更新放大、条件恒等式之间的幂次接力环环相扣，任何一环多付或少付一个 @@M@@n^{\delta}@@ 就悄悄破坏”任意 @@M@@\delta@@ 松弛”。对一切 @@M@@z@@ 与 @@M@@s\in[1,n]@@ 的联合一致性也靠每步均匀常数支撑。）
问 7：谁会用到这幅画像？
（答：族 237 的几何主干——直径 @@M@@3/4@@ 的族级主张由它落到每个固定长度；局部质量 @@M@@s^{4/3}@@ 与覆盖维数 @@M@@4/3@@ 是 SLE@@M@@_{8/3}@@/CLE 型标度极限纲领的离散前奏；回转半径与矩公式直接服务二维聚合物物理的标度分析。）
总评
首次给二维自避行走装上”逐长度、上下双向、多尺度同时”的严格几何仪表，是族 237 从质量到概率的关键一跳；最大风险是它作为组装型证明，成色完全取决于一串未经形式化的姊妹输入与细密的缝补–更新记账。