结果族 237：The three-quarter exponent for honeycomb self-avoiding walk · 学科：Probability and statistical mechanics · 验证状态：暂无形式化证明，请以社区核验为准
一条宽 @@M@@h@@ 的河，从南岸渡口出发走到北岸，不许越出河岸、也不许踩自己的脚印——这样的路径叫”桥”，典型要走约 @@M@@h^{4/3}@@ 步。但”平均走这么多”可能只是被少数马拉松选手拉高的假象：大多数桥到底走多远？这篇论文首次证明，桥的数量真的集中在 @@M@@h^{4/3}@@ 附近的一个窗口里。
关键词卡片
@@M@@X^{长度}@@，@@M@@X=(2+\sqrt2)^{-1/2}@@。@@M@@[h^{4/3}(\log h)^{-1/8},\ 2h^{4/3}(\log h)^{1/2}]@@。@@M@@\log h@@ 缓慢因子，刻画窗口的松紧。看个具体例子
代入 @@M@@h=10^6@@：@@M@@h^{4/3}=10^8@@，@@M@@\log h\approx14@@，窗口约为 @@M@@[7\times10^7,\ 7\times10^8]@@。定理保证：把高度不超过 @@M@@2h(\log h)^{1/64}@@ 的桥全部加起来，长度落在窗口内的那些总质量至少 @@M@@c\,h^{3/4}(\log h)^{-C}@@——质量确确实实待在窗口里，而不是躲在别处。
为什么值得关心
“平均对、且真的集中”是从启发式走向定理的关键一步：它排除了”少数超长路径独撑平均”的可能，让 4/3 长度定律第一次落到了实处，也为后续概率定理提供了落脚点。
暂无形式化证明（AI 结果待核验）
第一级台阶
入门导读的”渡河”翻译过来：对象是一条宽 @@M@@h@@ 的河（带条），以及从固定南岸渡口走到北岸某处、全程不出河界、不踩自己脚印的路径（桥）；操作是给每条桥按临界折扣打分再求和（质量），问这些分数集中在哪段长度上。一阶矩只能”暗示”典型长度约为 @@M@@h^{4/3}@@——分数也可能被少数马拉松路径扛走；本文要证的是质量真的住在 @@M@@h^{4/3}@@ 附近的一个窗口里。
第二级台阶
用组合与概率术语精确化：桥 @@M@@\omega@@ 从固定端口出发、终止于高度 @@M@@H@@ 的线、途中严格介于两界之间，权重 @@M@@\mu(\omega)=X^{|\omega|}@@，@@M@@X=(2+\sqrt2)^{-1/2}@@；@@M@@B_H@@ 为高度 @@M@@H@@ 的桥质量。窗口定理的对象：高度求和至 @@M@@2R_h@@（@@M@@R_h=h(\log h)^{1/64}@@）、长度介于 @@M@@\ell_-(h)=h^{4/3}(\log h)^{-1/8}@@ 与 @@M@@2h^{4/3}(\log h)^{1/2}@@ 之间的桥。
第三级台阶
主定理断言这些桥的总质量 @@M@@\ge c\,h^{3/4}(\log h)^{-C}@@，与该高度范围桥质量的自然量级相称——质量确在窗口内集中，对数因子刻画窗口松紧。配套的一组有限估计供给原料：@@M@@B_H\asymp H^{-1/4}@@、半平面拱两点质量 @@M@@A_g\asymp g^{-5/4}@@、横向受限桥质量 @@M@@\ge c_TH^{-1/4}@@ 且长度加权 @@M@@\le C_TH^{13/12}@@、直径尾 @@M@@\le CH^{-1/4}e^{-cr/H}@@、模平移多边形二阶矩 @@M@@\le CR^{2/3}(1+\log\log R)@@、缠绕多边形质量 @@M@@J_n\sim\sqrt3/(6n)@@。各假设挡住的麻烦：临界活性防发散；”首系数非零”的精确归一化防”形式指数对、系数恰为零”的假阳性；组合论证里幸存路径要么已是桥、要么外接两条不交连结器，双割数界控制回收倍数——高度求和与不指定横向端点也是有意保留的宽容。
本文证明临界蜂窝桥的长度有一个对数窗口：高度不超过 @@M@@2h(\log h)^{1/64}@@、长度介于 @@M@@h^{4/3}(\log h)^{-1/8}@@ 与 @@M@@2h^{4/3}(\log h)^{1/2}@@ 之间的桥，其总质量至少 @@M@@c\,h^{3/4}(\log h)^{-C}@@——首次把”桥长应约 @@M@@h^{4/3}@@“从一阶矩的暗示落实为真实的质量集中。
高度 @@M@@h@@ 的带条上，临界自避行走（critical self-avoiding walk）的预期长度约为 @@M@@h^{4/3}@@，对应指数 @@M@@1/\nu=4/3@@。但总质量与一阶长度矩的比较只能”暗示”这个尺度：极少几条超长路径就可能背负整个一阶矩，质量究竟集中在哪段长度上，此前无从知晓。理论坐标早已有：Nienhuis（1982）预言 @@M@@\nu=3/4@@；Lawler–Schramm–Werner 提出 @@M@@\mathrm{SLE}_{8/3}@@ 纲领并预言边界幂 @@M@@5/8@@；Duminil-Copin–Smirnov（2012）在讨论共形不变性时记录了 @@M@@B_H\asymp H^{-1/4}@@ 与拱两点函数 @@M@@g^{-5/4}@@ 的预测。后续工作（Beaton 等、Glazman–Manolescu、Krachun–Panagiotis）逐步逼近桥质量衰减，但都没有触及长度窗口。本文的拦路虎是”精确归一化”：形式渐近指数不够用，首项系数可能恰好为零。
桥（bridge）从一条格点线上的固定端口出发、终止于高度 @@M@@H@@ 的线上、途中严格介于两线之间；@@M@@\mu(\omega)=X^{|\omega|}@@，@@M@@X=(2+\sqrt2)^{-1/2}@@。主定理（对数桥长窗口）：记 @@M@@R_h=h(\log h)^{1/64}@@，@@M@@\ell_-(h)=h^{4/3}(\log h)^{-1/8}@@，@@M@@\ell_+(h)=h^{4/3}(\log h)^{1/2}@@，则对一切充分大的 @@M@@h@@，
@@M@@D\sum_{1\le H\le 2R_h}\ \sum_{\substack{\omega\in\mathcal B_H\\ \ell_-(h)\le|\omega|\le 2\ell_+(h)}}\mu(\omega)\ \ge\ c\,h^{3/4}(\log h)^{-C}.@@
高度求和是结论的一部分；定理不指定具体高度、横向端点或精确长度。若干有限估计有独立价值，构成第二定理：带条桥质量 @@M@@B_H\asymp H^{-1/4}@@；半平面同界拱（arch）两点质量 @@M@@A_g\asymp g^{-5/4}@@；横向位移限制在 @@M@@TH@@ 内的桥质量至少 @@M@@c_TH^{-1/4}@@、长度加权质量至多 @@M@@C_TH^{13/12}@@；直径超过 @@M@@r\ge CH@@ 的路径质量尾部 @@M@@\le CH^{-1/4}e^{-cr/H}@@；模平移、直径落在 @@M@@[R,2R)@@ 的多边形满足 @@M@@\sum\mu(P)|P|^2\le CR^{2/3}(1+\log\log R)@@；以及 @@M@@n@@ 列正圆柱上缠绕多边形质量 @@M@@J_n\sim\sqrt3/(6n)@@。
分析部分从有限周长圆柱上的圈图出发：水平切口处的配对态给出有限转移矩阵，图示滑动通过多项式插值确定真空向量；两个标量多项式——Pfaffian 型的 @@M@@Q@@ 与行列式型的 @@M@@R@@——编码全部归一化。为排除首系数为零，作者把振子迹（oscillator trace）在两个高斯通道中求值，短程交互的强制性（coercivity）保证换展开合法；长圆论证给出可控余项；正的 Fourier 测度把合流 @@M@@Q,R@@ 表为多项式范数，迫使首系数非零，由此得到 @@M@@J_n\sim\sqrt3/(6n)@@ 并进一步强化为长方向的指数尾；@@M@@B_H@@ 则由独立的开带（open strip）几何单独计算。随后是向平面路径的转移：圈逸度 @@M@@2@@ 的包围圈气体经局部通量反转为”访问给定顶点的边界弦”的质量；双端口恒等式数同一条多边形上的两点，其斜渐近在两标记区间尺度悬殊时仍一致，这一致性允许在较小物理尺度校准，得到多边形二阶矩估计。最后的正质量组合论证：带条穿越质量提供受限路径与指定间隙处的帽；包围气体给出一阶长度矩下界；多边形二阶矩控制剪去长路径的损耗；圆柱压强尾排除纵横比过大的路径；幸存者要么已是桥，要么是可外接两条不交连结器（connector）的拱，双割数界控制”回收”倍数；对所述高度范围求和即得窗口定理。
本文主结果暂无 Lean 形式化证明。它是结果族 237 的另一解析支柱：其 @@M@@B_H\asymp H^{-1/4}@@、受限桥的 @@M@@13/12@@ 长度加权质量、多边形二阶矩与圆柱压强尾，正是几何主干篇引用的那类精确输入；其边界与多边形估计又与”标记多边形”篇互相印证。按 OpenAI 官方声明，未经形式化的结果可能有问题，请以社区核验为准。
问 1：一阶矩早就”暗示”桥长约 @@M@@h^{4/3}@@，窗口定理到底多给了什么？
（答：一阶矩可能被极少数超长路径独撑——总量与长度加权之比只是平均，不是集中。窗口定理给出真实的质量下落：高度求和至 @@M@@2R_h@@、长度在 @@M@@[h^{4/3}(\log h)^{-1/8},\,2h^{4/3}(\log h)^{1/2}]@@ 的桥总质量 @@M@@\ge c\,h^{3/4}(\log h)^{-C}@@，量级与该范围桥质量相称，马拉松式离群质量被排除在主导地位之外。）
问 2：证明中最关键、最脆弱的一步是什么？
（答：排除首系数为零的精确归一化。两个标量多项式——Pfaffian 型 @@M@@Q@@ 与行列式型 @@M@@R@@——编码全部归一化；振子迹在两个高斯通道中求值，短程交互的强制性保证换展开合法，正的 Fourier 测度把合流 @@M@@Q,R@@ 表为多项式范数，才迫使首系数非零、得到 @@M@@J_n\sim\sqrt3/(6n)@@。若首系数悄然为零，一切形式指数都是空头支票——这正是带符号方法的经典假阳性。）
问 3：窗口两端的对数幂 @@M@@-1/8@@ 与 @@M@@1/2@@ 是最优的吗？
（答：论文未主张最优。这些幂来自方法本身的损耗：包围气体给一阶长度矩下界、多边形二阶矩控制剪长损耗、圆柱压强尾排除纵横比过大者，各环节只容忍多项式对数损失；@@M@@1/64@@、@@M@@-C@@ 同为工艺常数。定理的卖点是把 @@M@@4/3@@ 落到真实集中，而非对数窗的松紧。）
问 4：为什么对高度求和而不固定高度？
（答：固定精确高度需要单高度级别的局部控制（那是《Critical honeycomb chords…》处理指定端点时才付清的代价）；窗口定理刻意把高度放宽到 @@M@@[1,2h(\log h)^{1/64}]@@，以”高度求和是结论的一部分”换取可用性，同时不指定横向端点与精确长度——引言层面即声明的取舍。）
问 5：相对已有工作真正新意是什么？
（答：@@M@@B_H\asymp H^{-1/4}@@ 与拱两点 @@M@@g^{-5/4}@@ 在 DCS 2012 只作为预测记录；Beaton 等、Glazman–Manolescu、Krachun–Panagiotis 逐步逼近穿越质量衰减但未触及长度窗口。本文首次证出桥长的质量集中，并给出带显式常数 @@M@@\sqrt3/(6n)@@ 的缠绕质量渐近与 @@M@@CR^{2/3}(1+\log\log R)@@ 型多边形二阶矩。）
问 6：作为 AI 生成证明，最可能出错的模式是什么？
（答：最后一公里的正质量组合是多种原料的组装——带条穿越质量供指定间隙处的帽、包围气体供一阶矩、二阶矩剪损耗、压强尾筛形状、双割数界控制回收倍数——每个原料各有自己的常数与适用范围，口径对不齐是组装型证明的典型死法。另外双端口恒等式的斜渐近在两标记区间尺度悬殊时的一致性，是容易”看起来显然”的高危引理。）
问 7：窗口定理谁会接着用？
（答：@@M@@B_H\asymp H^{-1/4}@@、@@M@@13/12@@ 长度加权质量、多边形二阶矩与压强尾正是几何主干篇点名的输入；质量集中在长度窗口是把质量语言翻译成概率语言（依概率长度定律）前的必要落脚点，直接服务族 237 的固定长度几何定理。）
总评
把 4/3 桥长定律从一阶矩的暗示推进为带对数窗口的真实质量集中，兼产一批精确归一化估计；最大风险在首系数非零的论证与多原料组装的口径对齐，均未经形式化核验。