结果族 237：The three-quarter exponent for honeycomb self-avoiding walk · 学科：Probability and statistical mechanics · 验证状态：暂无形式化证明，请以社区核验为准
统计物理里有一种”会消账”的计数法：给图形记上正负两种权，大量项成对抵消，账本上只剩你真正想数的那类图形。麻烦在于：抵消之后的余额还准不准？这篇论文证明，在蜂窝格点的圆柱上，这种带符号的记账能精确到每一位指数，还顺势推出一串平面结论。
关键词卡片
@@M@@G_m@@：无限圆柱上把两个标记点隔开的不相交圈族的总权。@@M@@g@@：每多放一个圈的乘数，本文取临界值 @@M@@g=2@@。看个具体例子
数字版定理：圆柱参数 @@M@@m=10^6@@ 时，分离双标记的圈族总权 @@M@@G_m(2)=m^{1/6}\approx10@@；平面嵌套配分 @@M@@\mathcal Z(R)=R^{1/12}@@，@@M@@R=10^{12}@@ 时也约 @@M@@10@@；边长 @@M@@R@@ 的六边形内首发弦配分为 @@M@@R^{3/4}@@、归一化平均长度 @@M@@R^{4/3}@@——@@M@@R=10^3@@ 时平均走 @@M@@10^4@@ 步。
为什么值得关心
“正负抵消后余额仍可读出精确幂律”是精确可积方法的命门；本文把它做成，为整个家族的 3/4 尺寸指数主张提供了关键解析输入。
暂无形式化证明（AI 结果待核验）
第一级台阶
入门导读的”会消账的计数法”翻译过来：对象是卷成圆筒的蜂巢网格上、把两枚对径标记隔开的层层圈族；操作是给每张辅助图形记上可正可负的权，让不想数的图形两两抵消，账本余额恰是目标圈族的总权。要问的是：抵消过后，余额随圆筒粗度按几次幂增长？”带符号记账”的命门正在于余额的幂律是否仍能逐位读出。
第二级台阶
用组合术语精确化：水平坐标模 @@M@@M=2m@@ 成柱，对径切口上标记 @@M@@O@@ 与 @@M@@O'@@，各分 @@M@@m@@ 个位点；配分 @@M@@G_m(g)=\sum\prod_\lambda g\,x^{|\lambda|}@@，@@M@@x=(2+\sqrt2)^{-1/2}@@ 为临界活性，对所有两两不交且每个都分离标记的简单多边形族求和，@@M@@g@@ 为圈逸度。平面侧对象是边长 @@M@@R@@ 的正六边形内围绕中心面的嵌套配分 @@M@@\mathcal Z(R)@@（每圈权 @@M@@2x^{|\lambda|}@@）。
第三级台阶
定理一给出 @@M@@G_m(2)=m^{1/6+o(1)}@@，且在 @@M@@|\Re\Theta|<\pi@@ 内一致地 @@M@@|G_m(2\cos\Theta)|\le m^{\Re(1/6-2\Theta^2/3\pi^2)+o(1)}@@；另证不相容（共享顶点）有序对总权 @@M@@-\frac{d^2}{dg^2}\log G_m|_{g=0}=O(\log m)@@。各假设挡的麻烦：临界活性保证级数收敛，@@M@@g=2@@ 对应包围圈两种取向的边界环绕恒等式，平衡几何保证两标记各占 @@M@@m@@ 位点。定理二把柱面指数转成平面结论：六边形内直径 @@M@@\ge R/10@@、端口求和的有序首发弦配分 @@M@@R^{3/4+o(1)}@@、归一化平均长度 @@M@@R^{4/3+o(1)}@@、体内访问概率 @@M@@R^{-2/3+o(1)}@@；模平移、直径 @@M@@\le H@@ 的多边形有 @@M@@\sum x^{|\lambda|}|\lambda|^2\le H^{2/3+o(1)}@@。机制是给占边定向、在转弯与缝线处配相位使闭回路双向抵消，仅分离标记的回路存活；长柱堆叠成紧块传播子，内外极限算子传播速率之差产生 @@M@@m@@ 的幂，再经 @@M@@O(\log m)@@ 不相容对界做局部化比较落到平面。
在临界活度与圈逸度（loop fugacity）@@M@@2@@ 处，本文证明平衡无限圆柱上分离双标记的不交蜂窝多边形配分函数为 @@M@@m^{1/6+o(1)}@@，并由此推出平面嵌套指数 @@M@@1/12@@、六边形弦配分 @@M@@R^{3/4+o(1)}@@、归一化平均长度 @@M@@R^{4/3+o(1)}@@ 与多边形长度平方质量界 @@M@@H^{2/3+o(1)}@@。
临界蜂窝行走与多边形的几何权重全为正，但其配分函数的精确转移表示却常带符号辅助权重，如何控制这类表示内部的相消、并从残存部分读出幂律，是精确可积方法处理自避行走的核心难点。Nienhuis（1982）预言了二维自避行走指数 @@M@@\nu=3/4@@，其倒数 @@M@@4/3@@ 支配长度；Duminil-Copin–Smirnov（2012）的仲费米局部抵消给出连结常数与凸边界配分的正界，但要得到定量的有限尺度幂律——例如围绕一点的嵌套多边形配分如何随尺度增长、六边形内宏观数量级出口弦的配分与平均长度——需要全新的机制。本文证明：带符号的圆柱传播可以被控制到足以逐项确定指数的程度。
把水平坐标对模 @@M@@M=2m@@（@@M@@m@@ 为偶数）成圆柱，在对径切口上标记 @@M@@O@@ 与 @@M@@O'@@，两标记各分得 @@M@@m@@ 个位点。设 @@M@@G_m(g)@@ 为互不相交且每个都分离 @@M@@O,O'@@ 的简单柱上多边形族之权和，权为 @@M@@\prod_\lambda g\,x^{|\lambda|}@@，其中 @@M@@x=(2+\sqrt2)^{-1/2}@@。定理一（圆柱压强与平面嵌套）：@@M@@G_m(2)=m^{1/6+o(1)}@@；不相容（共享顶点）有序对的总权 @@M@@-\frac{d^2}{dg^2}\log G_m\big|_{g=0}=O(\log m)@@；且在 @@M@@|\Re\Theta|<\pi@@ 内一致地 @@M@@|G_m(2\cos\Theta)|\le m^{\Re(1/6-2\Theta^2/(3\pi^2))+o(1)}@@。平面方面，边长 @@M@@R@@ 的正六边形内围绕中心面的不交多边形嵌套配分（每圈权 @@M@@2x^{|\lambda|}@@）@@M@@\mathcal Z(R)=R^{1/12+o(1)}@@。定理二（有限弦与标记多边形）：对六边形内直径至少 @@M@@R/10@@、起点与首出口端口均自由求和的有序首发弦（first-exit chord），其配分 @@M@@Z_R^{\rm chord}=R^{3/4+o(1)}@@，归一化平均长度 @@M@@\E_R^{\rm chord}N=R^{4/3+o(1)}@@，距中心不超过 @@M@@R/10@@ 的体内顶点被访问概率为 @@M@@R^{-2/3+o(1)}@@；且平面上模平移、直径不超过 @@M@@H@@ 的多边形满足 @@M@@\sum x^{|\lambda|}|\lambda|^2\le H^{2/3+o(1)}@@。
核心思想是给占边定向（空、前向、后向三态），并在转弯、缝线穿越与 @@M@@A@@ 组位点穿越处配置相位，使任一闭回路的两个定向互相抵消，唯有分离双标记的回路存活并贡献因子 @@M@@g@@；长柱堆叠收敛为切口自旋态指标化的向量，其与切口插入的配对给出配分。先由局部交换关系、融合（fusion）、谱投影与多项式插值，得到三值位点自旋上的精确有限和。个别项在谱变量重合处有极点，而整体表达式正则：于是用围道残差分离重合位点，把收缩（contraction）表示为角向费米迹，并在振子坐标下求值，得到辅助长度 @@M@@T@@ 的圆上两物种带电粒子气体，记录随粒子跨越而变的累计电荷。稳定性估计给出每块粒子数与块边界累计电荷的二次代价，据此构造带收缩辅助坐标的紧块传播子（compact block propagator）。中心长度正比于 @@M@@\log m@@ 的区间上位点因子压制部分粒子类型：内部极限算子删去这些类型，外部算子保留全部，两者传播速率之差产生 @@M@@m@@ 的幂。外部算子仍带符号且模最大的特征值可能有 Jordan 块；迹提取引理将其 @@M@@n@@ 次幂展开为模 @@M@@1@@ 因子 @@M@@\zeta^n@@ 乘 @@M@@n@@ 的多项式并比较多项式系数，从而不除以可能相消的迹而界定物理值；结合 Pfaffian 标量、@@M@@G_m(0)=1@@ 与 @@M@@G_m@@ 系数的正性，得出 @@M@@1/6@@ 指数。弦的平均长度还需自身配分：新增行展开把单行增量导数等同于周长乘以半平面拱嵌入圆柱后留下的亏缺，融合给出泛函关系，与正交多项式可解的系综比较定出导数指数 @@M@@3/4@@，楔形比较补上匹配的半径上界，得 @@M@@W_R=R^{-1/4+o(1)}@@，再经边界比较转移到六边形宏观出口并对自由起点求和。局部化论证用 @@M@@O(\log M)@@ 的不相容对界剔除远离标记的圈（逃逸圈总权 @@M@@\le(5\sqrt2+2)\sqrt{I_M}@@），把 @@M@@G_m(2)@@ 与两个标记附近的平面嵌套配分上下比较得 @@M@@1/12@@；访问比较随即给出平均长度与体内访问指数。长度平方质量则由斜切圆柱上”两条指定键”的正质量估计经最终计数得到。
本文主结果暂无 Lean 形式化证明。它是结果族 237 的解析支柱之一：其平面嵌套指数、不相容对界与多边形平方质量界正是几何主干篇（固定长度质量与覆盖指数）所需的那类输入，与”圆柱幅”篇的 @@M@@B_H\asymp H^{-1/4}@@ 等估计在家族内互相衔接。按 OpenAI 官方声明，未经形式化的结果可能有问题，请以社区核验为准。
问 1：带符号传播的危险到底在哪，论文拿什么管住它？
（答：外部传播算子仍带符号，模最大的特征值还可能有 Jordan 块。论文的迹提取引理把算子 @@M@@n@@ 次幂展开为模 @@M@@1@@ 因子 @@M@@\zeta^n@@ 乘 @@M@@n@@ 的多项式，通过比较多项式系数来界定物理值——刻意不去除以可能相消的迹；再结合 Pfaffian 标量、@@M@@G_m(0)=1@@ 与 @@M@@G_m@@ 系数的正性，才把 @@M@@1/6@@ 钉死。）
问 2：证明中最脆弱的一步是什么？
（答：内外极限算子传播速率之差产生 @@M@@m@@ 的幂这一环节。前面整条链路——局部交换关系、融合、谱投影、多项式插值得精确有限和，围道残差分离谱变量重合的位点，角向费米迹在振子坐标下求值成两物种带电粒子气体，稳定性估计给二次代价——任何一处相位约定或电荷记账出错，速率差就会移位，指数随之错一个有理数。）
问 3：不相容对界 @@M@@O(\log m)@@ 为何要单独证，它在哪派上用场？
（答：它是局部化的钥匙：逃逸圈总权 @@M@@\le(5\sqrt2+2)\sqrt{I_M}@@，把远离标记的圈剔掉后，@@M@@G_m(2)@@ 与两个标记附近的平面嵌套配分可做上下比较，柱面 @@M@@1/6@@ 才转成平面 @@M@@1/12@@。固定 @@M@@g@@ 的渐近本身给不出这条界，与逐参数定理是两种口径。）
问 4：圈逸度为什么偏偏取 @@M@@g=2@@？
（答：@@M@@g=2@@ 出现在边界环绕恒等式里：一个包围圈有顺逆两种取向，各贡献一份权，故包围结构自然带因子 @@M@@2@@。这也是嵌套配分每圈记权 @@M@@2x^{|\lambda|}@@ 的来源；论文未展开其它 @@M@@g@@ 值的完整平面推论。）
问 5：与 Duminil-Copin–Smirnov、Gamsa–Cardy 相比真正新意是什么？
（答：DCS 的仲费米抵消给出连结常数与凸边界正界，但不含有限尺度幂律；GC 的嵌套指数依赖未证标度图像。本文首次把带符号圆柱传播控制到逐项定指数，并给出此前不存在的首发弦配分 @@M@@R^{3/4}@@、归一平均长度 @@M@@R^{4/3}@@、体内访问概率 @@M@@R^{-2/3}@@ 与长度平方质量 @@M@@H^{2/3}@@。）
问 6：作为 AI 生成证明，最可能出错的模式是什么？
（答：符号组合学是 AI 证明的重灾区——”应当相消”的项实际不相消、方向约定在三态占边上不一致、振子坐标气体与原始格点和的对应漏了一个符号，任何一处都会静默翻转某个系数。Jordan 块的迹展开与”多项式系数比较”的合法性、以及斜切圆柱两条指定键正质量估计到最终计数的收口，都应逐行核对。）
问 7：这些指数谁消费？
（答：族 237 的解析支柱：长度平方质量 @@M@@H^{2/3}@@、嵌套 @@M@@1/12@@ 与不相容对界正是几何主干篇《Mass and covering exponents…》点名的输入；弦配分 @@M@@R^{3/4}@@ 与平均长度 @@M@@4/3@@ 支撑族级”直径 @@M@@n^{3/4}@@“主张；体内访问概率 @@M@@R^{-2/3}@@ 服务局部质量论证。）
总评
把”正负抵消后余额仍精确可读”做成了定理，为全家族提供最锋利的一根解析支柱；最大风险是整栋建筑都是带符号代数，一个漏看的相位就足以翻盘，且无形式化核验。