结果族 237：The three-quarter exponent for honeycomb self-avoiding walk · 学科：Probability and statistical mechanics · 验证状态：暂无形式化证明，请以社区核验为准
数橡皮筋也有陷阱：一根蜷在小盒子里的橡皮筋可以绕极多圈，单看”根数”根本压不住它。所以想证明”长链条终会摊开”，得先回答：直径不超过 @@M@@H@@ 的橡皮筋，按”长度的平方”打分，总分最多多大？这篇论文给出天花板：@@M@@H^{2/3}@@。
关键词卡片
@@M@@\rho_{\rm v}@@：每个顶点乘以 @@M@@(2+\sqrt2)^{-1/2}@@，恰好处于收敛与发散的分界点。@@M@@|P|^2@@：在圈上同时标两个”检查点”，每个圈恰被数 @@M@@|P|^2@@ 次——用两点相关恢复出长度平方。看个具体例子
数字版定理：@@M@@\sum_{\operatorname{diam}P\le H}\rho_{\rm v}^{|P|}\,|P|^2\le C_\eta H^{2/3+\eta}@@。代入比较：直径从 @@M@@10^3@@ 放大到 @@M@@10^6@@（1000 倍），上界只放大 @@M@@1000^{2/3}=100@@ 倍——无论圈怎么蜷，其平方长度加权的总质量都被压在很低的增长速度下。
为什么值得关心
它是 3/4 直径定理的守门员：没有这道天花板，”行走极长却缩成一团”的怪物构型就无法排除，Nienhuis 指数的严格化就会卡壳。
暂无形式化证明（AI 结果待核验）
第一级台阶
入门导读的”数橡皮筋的陷阱”翻译过来：对象是蜂窝网格上首尾相接、全程不自交的闭合圈；陷阱在于一根蜷在小盒里的橡皮筋可以有极多节，按根数计数压不住它。于是操作改成”按长度平方打分”——在圈上同时放两个检查点，每个圈恰好被数 @@M@@|P|^2@@ 次——再问：直径不超过 @@M@@H@@ 的所有圈按此打分的总分最多涨多快？入门导读给出的天花板是 @@M@@H^{2/3}@@。
第二级台阶
用组合术语精确化：多边形 @@M@@P@@ 是简单无向圈，@@M@@|P|@@ 为顶点数，权重 @@M@@\rho_{\rm v}^{|P|}@@，@@M@@\rho_{\rm v}=(2+\sqrt2)^{-1/2}@@ 为临界顶点活性（Duminil-Copin–Smirnov 连结常数之逆）；按三角格平移类计数，直径取固定嵌入下的欧氏直径。中间观测量是圆柱上的双标记相关 @@M@@\mathcal C(p,p')@@：沿一行端口切出循环序 @@M@@[p,X,p',Y]@@（@@M@@|X|=s@@，@@M@@|Y|=b@@），对同时访问两个标记端口 @@M@@p,p'@@ 的圆柱多边形求质量。
第三级台阶
主定理：@@M@@\sum_{\operatorname{diam}P\le H}\rho_{\rm v}^{|P|}|P|^2\le C_\eta H^{2/3+\eta}@@。中间定理给出对数形式的双标记估计 @@M@@\log\mathcal C(p,p')\le-\frac43\log s+\frac{617}{1200}\log(b/s)+o(\log b)@@，一致成立于 @@M@@c_1L_Y\le L_X\le L_Y@@（@@M@@L_X=\gamma^{-1}\log s@@，@@M@@\gamma=4/3@@）、上位位点占比 @@M@@t\in[1/2,1]@@ 且下位少数带指数余量的范围；平面上每个足够长的多边形有固定比例的有序标记对落进该适用域，对其求和即得主定理——刻意不求对每一对标记一致。单弧界 @@M@@A(p,p')\le b^C@@ 精度更粗，却在两墙周期任意悬殊（@@M@@L_X/L_Y\to0@@）时仍成立。证明的关键承诺是：原始多边形和为正，而围道积分可以是复的，故归一化必须全程精确保持——闭圈权 @@M@@k^2+k^{-2}=0@@ 使未标记圈成对相消，转向数论证 @@M@@W=-2\pi F_X@@ 保证标记圈相位为一。
在蜂窝点阵 (honeycomb lattice) 临界顶点活性下，直径不超过 @@M@@H@@ 的简单多边形 (simple polygon) 按平移类计数、以长度平方加权，总质量至多 @@M@@H^{2/3+o(1)}@@；配套的双标记圆柱估计与单弧多项式界，是证明自回避行走直径指数 @@M@@3/4@@ 时控制”大质量多边形”的关键输入。
Nienhuis 1982 年借稀稀释 @@M@@O(n)@@ 模型 (dilute @@M@@O(n)@@ model) 预言了蜂窝点阵自回避行走 (self-avoiding walk) 的临界点与临界指数；Duminil-Copin 与 Smirnov 随后用局部抛物费米恒等式 (parafermionic identity) 证明了连接常数 (connective constant) 的精确值。但要严格确立”@@M@@n@@ 步行走直径为 @@M@@n^{3/4+o(1)}@@“，必须排除行走很长却蜷缩在小区域内的情形。只数多边形个数并不够：一个多边形可以有极多顶点而直径很小。正确的观测量是同时记录多边形上的两个被访问端口 (port)，对它们的相关 (correlation) 求和，每个多边形恰被计数 @@M@@|P|^2@@ 次，从而恢复平方长度。本文的任务就是把这个带平方长度权重的多边形总质量在直径 @@M@@H@@ 内压到 @@M@@H^{2/3+o(1)}@@。
主定理（平方长度多边形质量）：对每个 @@M@@\eta>0@@ 存在 @@M@@C_\eta<\infty@@，使得
@@M@@D\sum_{[P]\,:\,\operatorname{diam}P\le H}\rho_{\rm v}^{|P|}\,|P|^2\le C_\eta\,H^{2/3+\eta},@@
求和遍历简单无向多边形的平移类 (translation class)，@@M@@\rho_{\rm v}=(2+\sqrt2)^{-1/2}@@ 为临界顶点活性，@@M@@|P|@@ 是顶点数，直径取固定嵌入下的欧氏直径。中间结果是蜂窝圆柱上的双标记估计：沿一行端口切出循环顺序 @@M@@[p,X,p',Y]@@（@@M@@s=|X|@@，@@M@@b=|Y|@@），同时访问两标记端口 @@M@@p,p'@@ 的圆柱多边形质量 @@M@@\mathcal C(p,p')@@ 满足
@@M@@D\log\mathcal C(p,p')\le-\tfrac43\log s+\tfrac{617}{1200}\log(b/s)+o(\log b),@@
在对数墙长 @@M@@c_1L_Y\le L_X\le L_Y@@（@@M@@L_X=\gamma^{-1}\log s@@，@@M@@\gamma=4/3@@）、上位位点占比 @@M@@t\in[1/2,1]@@ 且指数小的下位少数带余量的范围内一致成立。第三项输出是多项式单弧界 (one-arc bound)：从 @@M@@p@@ 的西半边出发、到 @@M@@p'@@ 的东半边终止、其余标记半边空置的简单弧 (arc) 质量 @@M@@A(p,p')\le b^C@@，只要 @@M@@L_Y\ge L_X\ge L_*@@ 且 @@M@@X@@ 组上位占比至少 @@M@@1/2-\delta_1@@；不要求 @@M@@L_X/L_Y@@ 有正下界，即两墙周期可任意悬殊。
第一步是精确表示：把 @@M@@\mathcal C(p,p')@@ 写成半圆柱真空 (vacuum) 态的双线性自旋收缩 (spin contraction)，闭圈权 @@M@@k^2+k^{-2}=0@@ 使所有未标记圈成对相消，而一段比较切向转向数与东西穿越数的拓扑论证（@@M@@W=-2\pi F_X@@）保证标记圈相位为一，于是正的物理量被无遗漏编码。再用一族完备的对偶余向量 (dual covectors)——依赖 Yang–Baxter 辫恒等式与幺正性——把收缩解析成保持精确归一化的有限围道积分 (contour integral) 恒等式。第二步处理分母：真空多项式归一化的下界须对两种位点高度占比任意悬殊的情形一致成立；证明把一个 Pfaffian 比写成关于正概率测度的期望（de Bruijn 行列式–Pfaffian 积分恒等式，加上 Rolle 定理归纳给出的实指数全正性），用 Jensen 不等式放缩，再对参考谱测度做形变并以 Cauchy 插值公式计算首阶对数变分，系数 @@M@@5/24@@ 恰来自一个显式对数积分 @@M@@\int_{\mathbb{R}}S=\frac{5\pi^2}{72\beta}@@。第三步构造”磁性”围道：把主围道弯成虚部原函数的水平集曲线，使中心化测度 @@M@@\nu_X@@ 实且正；一列 Fourier 符号计算给出平均恒等式，使普通位点点对因子与 @@M@@\prod H_*(a_i-a_j)^2@@ 精确对消。实能量 @@M@@B(\xi)=\tfrac12(\xi,\Re H\,\xi)@@ 的强制性 (coercivity) 先在水平边界线上对七个粒子种类验证：把符号按 @@M@@\cosh(\beta k/8)-1@@ 展开为多项式，低次系数用有理消元逐主元验证正定，高次系数用加权严格对角占优；随后经调和扫除 (balayage) 与 Dirichlet 原理下非负的 Green 能量把估计转到曲围道，常数在曲线贴边时仍一致。第四步用试验场把粒子推离自然区间：虚位移场在公共区间增益 @@M@@2L_X@@，@@M@@L_X@@ 与 @@M@@L_Y@@ 之间的两肩用另一种平方配凑控制，且活动度求和与归一化都保留而非吸收进尺寸常数；结合非等墙行列式、参考测度归一化与有限秩粒子输运，合成尖锐的双标记估计。最后，平面上每个足够长的多边形有固定比例的有序标记对落入该估计的适用域，据此求和即得主定理——无需对每一对标记都一致。单弧结论精度要求更低：探针留数给出粒子束缚，两个半质量使涨落场中性化，粗糙的实参考比较即可，故论证在两墙任意悬殊的更大参数域上仍然成立。
本文暂无形式化证明，请以社区核验为准。它是结果族 237 的组件：姊妹篇证明桥 (bridge) 平均长 @@M@@R^{4/3+o(1)}@@ 与分离多边形配分函数估计，处理”路径一侧”；本文的平方长度矩界处理”圈一侧”，共同支撑直径 @@M@@n^{3/4+o(1)}@@ 主定理；文中源估计与粒子输运还直接改编自圆柱权重伴生文 [Electric] 并逐条验证其正则性假设。按 OpenAI 官方声明，未经形式化的结果可能有问题，读者应以社区核验为准。
问 1：数多边形的个数为什么不够，非要平方长度权重？
（答：一个多边形可以顶点极多而直径很小——”小而肥”的蜷缩圈在个数层面只有一族，平方权重下却携带 @@M@@|P|^2@@ 的质量。不把这个总质量压到 @@M@@H^{2/3+\eta}@@，”行走极长却缩成一团”的怪物构型就无法排除，3/4 直径定理的局部质量论证就会卡壳。双端口相关求和使每个多边形恰被计 @@M@@|P|^2@@ 次，是恢复平方长度的正确观测。）
问 2：证明中最脆弱的一步是什么？
（答：分母——真空多项式归一化的下界要对两种位点高度占比任意悬殊的情形一致成立。论文把一个 Pfaffian 比写成关于正概率测度的期望（de Bruijn 积分恒等式加 Rolle 定理归纳的实指数全正性），Jensen 放缩后以 Cauchy 插值算首阶对数变分，系数 @@M@@5/24@@ 恰来自显式积分 @@M@@\int_{\mathbb R}S=\frac{5\pi^2}{72\beta}@@。悬殊占比处的一致性一旦失效，整条尖锐估计随之倒塌。）
问 3：拓扑论证 @@M@@W=-2\pi F_X@@ 在干什么？
（答：它比较切向转向数与东西穿越数，保证标记圈的相位为一；配合闭圈权 @@M@@k^2+k^{-2}=0@@ 使全部未标记圈成对相消。这样正的物理量才被复值积分无遗漏、无多算地编码——这是”复工具估计正对象”合法性的第一道闸门。）
问 4：@@M@@\frac{617}{1200}@@ 这个怪系数从哪来，要紧吗？
（答：它是双标记估计中 @@M@@\log(b/s)@@ 项的可证系数，来自控制 @@M@@L_X@@ 与 @@M@@L_Y@@ 之间两肩的平方配凑，论文未主张其最优。主定理只要求固定比例的有序标记对满足估计，系数的具体值只要落在可求和范围内即可，丑陋无妨。）
问 5：”@@M@@t\in[1/2,1]@@ 且下位少数指数小”这一假设能去掉吗？
（答：尖锐双标记论证需要下位位点指数级稀少（@@M@@s(1-t)\ge e^{c_4L_Y}@@），因为重标中心坐标只处理趋于一的混合，任意混合会破坏鞍点结构；单弧界刻意降低精度，只要上位占比 @@M@@\ge1/2-\delta_1@@、且允许 @@M@@L_X/L_Y\to0@@，就绕开了少数位点余量与尖锐涨落渐近——论文用”粗但域宽”的第二输出部分补偿了”细但域窄”的第一输出。）
问 6：作为 AI 生成证明，最可能出错的模式是什么？
（答：两段式验证的静默退化。实能量 @@M@@B(\xi)=\frac12(\xi,\Re H\,\xi)@@ 的强制性先在水平边界线上对七个粒子种类作有限符号计算（按 @@M@@\cosh(\beta k/8)-1@@ 展开、低次有理消元、高次加权对角占优），再经 balayage 与 Green 能量转到曲围道——转移常数若在曲线贴边时退化，一致性就名存实亡。另外尖锐源估计与粒子输运改编自伴生文 [Electric] 定理 4.3 与引理 5.2，”在磁性坐标下验证其正则性假设”这一步是全链条最容易被敷衍的地方。）
问 7：这个守门员界谁在等它？
（答：族 237 的几何主干篇点名需要 @@M@@H^{2/3}@@ 平方质量界来压制”长而蜷”的多边形；双标记估计是多边形二阶矩的直接来源；单弧界服务”圆柱一方向周期增长而标记间距固定”的场景，与路径一侧的姊妹篇（桥平均长 @@M@@R^{4/3}@@、分离配分估计）互补拼成直径 @@M@@n^{3/4}@@ 主定理的两半。）
总评
做的是 3/4 定理里不显山露水却绕不开的”圈一侧”苦活，机器沉重而目标明确；最大风险是正对象由复围道估计、归一化精确性成为唯一护栏，两段式强制性验证与伴生文改编均无形式化核验。