结果族 237：The three-quarter exponent for honeycomb self-avoiding walk · 学科：Probability and statistical mechanics · 验证状态：暂无形式化证明，请以社区核验为准
把一根很长的毛线扔到蜂巢网格上，绕成一个不压线、首尾相接的闭合圈：毛线越长，这个圈平均能摊多大？这篇论文给出精确答案——周长为 @@M@@n@@ 的圈，直径按 @@M@@n^{3/4}@@ 增长，介于”醉汉乱走”和”摊平的圆圈”之间。
关键词卡片
@@M@@x_*=(2+\sqrt2)^{-1/2}@@——恰好让无穷长路径处在”收敛与发散”的分界点上。@@M@@n@@ 与直径 @@M@@D@@ 之间的幂次关系；本文主角是 Nienhuis 预言的 @@M@@3/4@@。看个具体例子
代入数字：固定周长 @@M@@n=10^4@@ 步，允许自交的普通随机行走会折返堆叠，团块直径约 @@M@@10^2@@；自回避多边形因为”不许踩自己的脚印”被自我排斥撑开，直径约 @@M@@10^3@@；定理的一般形式是：条件于边数至少 @@M@@n@@，直径依概率为 @@M@@D=n^{3/4+o(1)}@@，例如 @@M@@n=10^8@@ 时 @@M@@D\approx10^6@@。
为什么值得关心
@@M@@3/4@@ 指数 1982 年由物理学家 Nienhuis 从直觉预言，此后四十多年一直停留在猜想层面；本文首次在多边形版本上给出严格证明，而且长度与直径如何相配的双侧估计也一并补齐。
暂无形式化证明（AI 结果待核验）
第一级台阶
入门导读把多边形比作”扔在蜂巢上的毛线圈”，并比较了三种走法的直径。翻译成半数学语言：对象是蜂巢网格上首尾相接、全程不自交的闭合圈，每个圈按”边数越多折扣越大”的临界规则计权；操作是把这些圈按直径分桶、把每桶的总权重加起来，看总质量随直径刻度的增长如何衰减。毛线的”长”与圈的”大”是两个独立的量，论文要回答的正是它们在临界计权下如何相配。
第二级台阶
用组合与概率的术语精确化：蜂窝格点上的多边形 @@M@@\gamma@@ 按平移等价类计数，@@M@@L(\gamma)@@ 是边数、@@M@@D(\gamma)@@ 是欧氏直径，临界权重 @@M@@w(\gamma)=x_*^{L(\gamma)}@@，其中 @@M@@x_*=(2+\sqrt2)^{-1/2}@@ 为 Duminil-Copin–Smirnov 所证的蜂窝连通常数之逆。三个核心量：直径尾质量 @@M@@A(r)=\sum_{D\ge r}w@@、长度加权尾 @@M@@P(r)=\sum_{D\ge r}L\,w@@、截断二阶矩 @@M@@M_2(r)=\sum_{D\le r}L^2w@@。
第三级台阶
定理 1.1 断言 @@M@@A(r)=r^{-2+o(1)}@@、@@M@@P(r)=r^{-2/3+o(1)}@@、@@M@@M_2(r)\le r^{2/3+o(1)}@@；二阶矩的职责是阻止过多质量被”直径小却极长”的圈携带。推论 1.2 把尾律换算成长度截断：条件于 @@M@@L\ge n@@，直径依概率为 @@M@@n^{3/4+o(1)}@@——Nienhuis 1982 年预言的尺寸指数首次在多边形版本严格成立。论证不借助任何标度极限假设：先把平面圈投影到周长 @@M@@N|h|@@ 的柱面，用缝捻 @@M@@\eta=\pm i@@ 的两个多项式固定向量把正的缠绕质量从恒等式 @@M@@E_N\tau_N=(2-\sqrt2)\tau^v_{N-1}@@ 中分离出来，再经角向展开、径向斜率惩罚与强制性不等式得到紧算子，由精确迹恒等式读出比值指数 @@M@@-2/3@@，最后转回平面直径尾。
在蜂窝格点上证明了临界自回避多边形（polygon）的两条直径尾律：无根质量为 @@M@@r^{-2+o(1)}@@、长度加权质量为 @@M@@r^{-2/3+o(1)}@@；由此长度至少 @@M@@n@@ 的多边形直径依概率为 @@M@@n^{3/4+o(1)}@@，严格确立了 Nienhuis 预言的 3/4 尺寸指数的多边形形式。
自回避多边形是自回避行走（self-avoiding walk）的闭合版本，按边数以临界权重 @@M@@w(\gamma)=x_*^{L(\gamma)}@@ 计数，其中 @@M@@x_*=(2+\sqrt2)^{-1/2}@@。Nienhuis 1982 年借稀释 @@M@@O(n)@@ 模型预言了这一临界活性与平面标度指数族，包括尺寸指数 @@M@@3/4@@；Duminil-Copin 与 Smirnov（2012）用仲费米观测（parafermionic observable）严格证明了 @@M@@x_*@@ 是蜂窝连通常数，但 @@M@@3/4@@ 本身始终停留在预言层面，Lawler–Schramm–Werner 只能从尚未证明的 @@M@@\mathrm{SLE}_{8/3}@@ 标度极限猜想把它恢复出来。多边形版本的难点尤为具体：一个大多边形可以远比其直径”长”，长度与直径这两个尺寸在临界权重下如何相配，此前没有任何匹配的双侧估计。本文正面解决了这个问题。
记 @@M@@\gamma@@ 为按平移等价类计数的多边形，@@M@@L(\gamma)@@ 为边数、@@M@@D(\gamma)@@ 为欧氏直径。定理 1.1 证明：直径尾质量
@@M@@DA(r)=\sum_{D(\gamma)\ge r}w(\gamma)=r^{-2+o(1)},\qquad P(r)=\sum_{D(\gamma)\ge r}L(\gamma)\,w(\gamma)=r^{-2/3+o(1)},@@
并附带截断二阶矩（truncated second moment） bound @@M@@M_2(r)=\sum_{D(\gamma)\le r}L(\gamma)^2w(\gamma)\le r^{2/3+o(1)}@@，它阻止过多临界质量被”直径小而极长”的多边形携带。推论 1.2 把尾律换成长度截断：@@M@@\sum_{L\ge n}w=n^{-3/2+o(1)}@@、@@M@@\sum_{L\ge n}Lw=n^{-1/2+o(1)}@@，从而在任一归一化下、条件于 @@M@@L(\gamma)\ge n@@，有 @@M@@D(\gamma)=n^{3/4+o(1)}@@ 依概率成立——这正是 Nienhuis 指数；反向条件于 @@M@@D\ge r@@ 的长度加权定律给出 @@M@@L=r^{4/3+o(1)}@@，无根定律的条件平均长度亦为 @@M@@R^{4/3+o(1)}@@。文中还导出：固定近距端点的半平面行走有同样的条件平均长度；半平面拱（arch）质量 @@M@@\asymp n^{-5/4}@@、带（strip）穿越质量 @@M@@\asymp H^{-1/4}@@ 且可限制在指定走廊内；以及收敛半径间隙 @@M@@0\le x_{\rm strip}(W)-x_*\le W^{-4/3+o(1)}@@。
先把平面多边形投影到周长 @@M@@N|h|@@ 的柱面（cylinder）上：投影后要么仍单射（可收缩柱面多边形），要么与自身平移像相撞。文章在取极限之前用有限转移矩阵（transfer matrix）比较两类质量。代数核心是两个缝捻（seam twist）@@M@@\eta=\pm i@@ 的多项式固定向量：其带标记收缩分别数出”缠绕加可收缩”与”缠绕减可收缩”，相加即分离出正的缠绕质量 @@M@@E_N@@，并满足精确恒等式 @@M@@E_N\tau_N=(2-\sqrt2)\tau^v_{N-1}@@；行列式计算证明 @@M@@\tau_N\ne0@@，于是正质量被表为两个本身未必为正的有限和之比。再估计该比值：先经格点顶点算子（vertex operator）式的角向展开（双线性型不定，故先逐系数处理），后转为径向（radial）级数——插入电荷置于实轴位置并携带分段常数斜率（slope），斜率平方沿径向产生指数代价，中央标记大电荷在对数宽度区域内压制多数插入类型。最大的障碍是变换后的表达式全为复数，既非概率也非正权，形式首指数可能因系数消失而失真；作者以强制性（coercivity）不等式 @@M@@\Re\sum_{x<y}t_xt_y\mathcal Q(x,y)\ge c\sum_I(\sum_{x\in I}t_x)^2-C\sum_x t_x^2@@ 保证绝对收敛并产生紧算子（compact operator），谱信息全部来自精确迹恒等式，而第 4 节的正缠绕界防止首系数消失，最终得单标记指数 @@M@@-2/3@@；双标记时三区贡献合成 @@M@@k^{-9/8}(N/k)^{5/24}N^{-5/24}=k^{-4/3}@@，给出二阶矩。最后转回平面：长度加权投影损失恰为 @@M@@E_N@@，无根损失 @@M@@\asymp N^{-2}@@；失败投影的直径必 @@M@@\ge|h|N@@ 给下界，反向取三对称定向、@@M@@N=\lfloor R^{1-\epsilon}\rfloor@@ 并用薄柱面横距估计排除高瘦投影，即得两条直径尾。
本文主结果暂无 Lean 形式化证明；按 OpenAI 官方声明，未经形式化的结果可能有问题，请以社区核验为准。它是结果族 237 的多边形支柱：姊妹篇《Critical honeycomb chords with prescribed boundary endpoints》证明边界弦的 @@M@@R^{4/3}@@ 长度定律、《Cylinder loop weights and planar nesting》确定环路嵌套指数，三篇从多边形尾、边界弦、嵌套配分三个侧面共同支撑族级主张”n 步行走直径为 @@M@@n^{3/4+o(1)}@@“（族说明附有 Lean 文档，但覆盖的是族级主张而非本文逐条定理）。
问 1：无根尾 @@M@@r^{-2}@@ 与长度加权尾 @@M@@r^{-2/3}@@ 相差近一个半数量级，这两个指数各自在说什么？
（答：@@M@@P(r)/A(r)@@ 恰是”条件于直径至少 @@M@@r@@“时无根临界法律的平均长度，指数 @@M@@-2/3-(-2)=4/3@@，即大直径的圈典型地极长。两个尾对应不同的归一化；引言特别提醒，无根条件的均值陈述与长度加权法律的典型长度陈述不可混用。）
问 2：证明中最关键、最脆弱的一步是什么？
（答：把正的缠绕质量写成两个未必为正的有限和之比：@@M@@E_N\tau_N=(2-\sqrt2)\tau^v_{N-1}@@，行列式计算保证 @@M@@\tau_N\ne0@@。随后的一切变换（角向展开、径向斜率惩罚、紧算子迹恒等式）都作用在复值表达式上——项既非概率也非正权，形式首指数的系数完全可能消失。论文靠第 4 节先证好的正缠绕界防止首系数归零；这一”正信息兜底”若与复值渐近分析衔接不严，指数便会静默失真。）
问 3：为什么要绕道柱面与两个缝捻？
（答：平面多边形投影到周长 @@M@@N|h|@@ 的柱面后，要么保持单射（可收缩），要么与自身平移像相撞（缠绕）。缝捻 @@M@@\eta=\pm i@@ 的两个固定向量的带标记收缩分别数出”缠绕+可收缩”与”缠绕−可收缩”，相加即分离出纯缠绕质量——这是在取极限之前用有限转移矩阵完成的正性比较，是全文的支点。）
问 4：截断二阶矩 @@M@@M_2(r)\le r^{2/3+o(1)}@@ 能否省掉？
（答：不能。两条尾只给平均值，”条件于 @@M@@L\ge n@@ 时 @@M@@D=n^{3/4+o(1)}@@ 依概率”这一典型值陈述需要 @@M@@M_2@@ 压制”直径小而极长”的多边形；没有它，质量可能堆在细长圈上使条件直径塌缩。推论 1.2 的推导明确”只用三个正的多边形估计”。）
问 5：相对 Duminil-Copin–Smirnov、Krachun–Panagiotis 等已有工作，真正新意在哪？
（答：DCS 只证了 @@M@@x_*@@ 这个临界点；LSW 的 3/4 要从未证明的 @@M@@\mathrm{SLE}_{8/3}@@ 联系里恢复；Beaton 等只证带穿越质量趋于零，Krachun–Panagiotis 给多项式上界与一致 @@M@@n@@ 步行走的 @@M@@O(n/\log n)@@ 半径界。本文首次给出匹配常数因子的桥指数 @@M@@-1/4@@、指定走廊内的质量滞留、以及双侧精确的长度–直径尾律，且不需要标度极限假设。）
问 6：作为 AI 生成证明，最可能出错的模式是什么？
（答：非正复值渐近分析是高危区——不定双线性型先逐系数处理再解析延拓、复核紧算子的谱信息全靠精确迹恒等式、双标记三区贡献合成 @@M@@k^{-9/8}(N/k)^{5/24}N^{-5/24}=k^{-4/3}@@ 的指数算术，任何一处相位丢失或系数相消被漏看，都会在无正性护栏的地段悄悄出错。强制性不等式 @@M@@\Re\sum_{x<y}t_xt_y\mathcal Q(x,y)\ge c\sum_I(\sum_{x\in I}t_x)^2-C\sum t_x^2@@ 的适用范围也是审稿重点。）
问 7：谁会用到这些指数？
（答：它是结果族 237 的多边形支柱，与边界弦篇、嵌套篇共同支撑”n 步行走直径 @@M@@n^{3/4+o(1)}@@“的族级主张；带收敛半径间隙 @@M@@x_{\rm strip}(W)-x_*\le W^{-4/3+o(1)}@@ 与拱质量 @@M@@\asymp n^{-5/4}@@、带穿越 @@M@@\asymp H^{-1/4}@@ 等副产品，是 SLE@@M@@_{8/3}@@ 猜想验证纲领与稀疏图上行走估计的直接输入。）
总评
四十年悬而未决的 Nienhuis 3/4 指数首次在多边形版本严格落地，径向转移机器是实打实的新工具；最大风险在于核心渐近全在复值无正性区，只有精确恒等式与前置正界在兜底，且尚无形式化核验。