结果族 237：The three-quarter exponent for honeycomb self-avoiding walk · 学科：Probability and statistical mechanics · 验证状态：暂无形式化证明，请以社区核验为准
还是那条宽 @@M@@R@@ 的河、还是不许踩脚印的”桥”，但这次换个问法：不固定桥长，把所有长度的桥按临界权重一起加总——过河的”总通行权”有多少？平均要走多远？答案分别是 @@M@@R^{-1/4}@@ 与 @@M@@R^{4/3}@@；而且即使强制桥待在一条不宽的走廊里不许乱漂，这两个数纹丝不动。
关键词卡片
@@M@@L@@ 的路径权重为 @@M@@x^L@@，@@M@@x=(2+\sqrt2)^{-1/2}@@。@@M@@B(R)@@：所有过河桥的权重总和，本文证明 @@M@@\asymp R^{-1/4}@@。@@M@@M(R)@@：在权重上再乘一次长度的总和，为 @@M@@R^{13/12+o(1)}@@。@@M@@h(m)@@：从边界出发又回到边界、两端相距 @@M@@m@@ 的路径质量，@@M@@\asymp m^{-5/4}@@。看个具体例子
数字版定理：归一化平均长度 @@M@@=\dfrac{M(R)}{B(R)}=\dfrac{R^{13/12}}{R^{-1/4}}=R^{13/12+3/12}=R^{4/3}@@——河宽 @@M@@R=10^3@@ 时，典型桥约走 @@M@@10^4@@ 步；把横向漂移限制在 @@M@@|\xi|\le CR@@ 的固定走廊里，两个指数都不变。换句话说，只要走廊宽度是河宽的固定倍数，桥既不会变多，也不会变短。
为什么值得关心
@@M@@B(R)\asymp R^{-1/4}@@ 长期只是 Duminil-Copin–Smirnov 论文里记录的猜想；本文证明它，并首次在全长度临界测度下确立桥的平均长度 @@M@@R^{4/3}@@，连同拱核 @@M@@m^{-5/4}@@、三角形访问概率等一揽子估计，为 Nienhuis 3/4 指数补上”路径一侧”的支柱。
暂无形式化证明（AI 结果待核验）
第一级台阶
入门导读还是那条”宽 @@M@@R@@ 的河”，但问法变了：不固定桥长，把一切长度的桥按临界折扣一起加总，问过河的”总通行权”（穿越质量）有多少、平均要走多远；并追加一个苛刻条件——把横向游走锁进宽度仅为河宽固定倍数的走廊，看这两个数动不动。直觉的答案是”不动”，本文把它变成定理。
第二级台阶
用组合与概率术语精确化：桥从南岸固定端口出发、终点在北岸求和、途中严格不越界，长度 @@M@@L@@ 的权为 @@M@@x^L@@，@@M@@x=(2+\sqrt2)^{-1/2}@@；@@M@@B(R)=\sum_{\text{桥}}x^L@@ 为穿越质量，@@M@@M(R)=\sum L\cdot x^L@@ 为长度加权质量，@@M@@B_C,M_C@@ 是横向位移限制在 @@M@@|\xi|\le CR@@ 内的版本；另一关键量是半平面拱核 @@M@@h(m)@@——从边界出发又回到边界、两端相距 @@M@@m@@ 的路径质量。
第三级台阶
定理给出 @@M@@B_C(R)\asymp B(R)\asymp R^{-1/4}@@、@@M@@M_C(R)=M(R)=R^{13/12+o(1)}@@，故归一临界桥律的平均长为 @@M@@R^{13/12+1/4}=R^{4/3+o(1)}@@，走廊不改变指数。配套结论：@@M@@h(m)\asymp m^{-5/4}@@ 且单调不增；高度或直径超 @@M@@R@@ 的尾质量 @@M@@\asymp R^{-1/4}@@；边长 @@M@@R@@ 正三角形内顶点被宏观弦访问的概率一致为 @@M@@R^{-2/3+o(1)}@@；柱面亏量 @@M@@1-2\cos(3\pi/8)\sum_mh_N(m)\asymp N^{-1/4}@@，柱上分离多边形配分为 @@M@@n^{1/6+o(1)}@@、平面嵌套和 @@M@@R^{1/12+o(1)}@@。论证从 Duminil-Copin–Smirnov 抛物费米相消的非回溯探索改写出发，得有限恒等式 @@M@@\sum_be^{\mathrm{i}sW_{ab}}h_D(a,b)=1@@（@@M@@s=3/8@@，重复顶点的两条历史以相位比 @@M@@-1@@ 成对相消）；柱面上经辫–幺半 Yang–Baxter 恒等式把快性汇合处的传递配对化为正测度下的多项式范数渐近，再以圆盘传递向量与标量气体表示，用最大值原理从零圈逸度处配分恰为 @@M@@1@@ 的锚点推到逸度 @@M@@2@@。
证明了临界蜂窝桥 (bridge)——固定起点、终点在对岸求和、全部长度按临界权求和——的穿越质量 @@M@@\asymp R^{-1/4}@@、平均长度 @@M@@R^{4/3+o(1)}@@，且把横向游走限制在固定宽度 @@M@@CR@@ 的走廊后指数不变；同时得到半平面拱核 @@M@@h(m)\asymp m^{-5/4}@@ 与三角形内访问概率 @@M@@R^{-2/3+o(1)}@@。
Nienhuis 的稀稀释 @@M@@O(n)@@ 分析预言了平面聚合物的临界指数，Lawler–Schramm–Werner 的 @@M@@\mathrm{SLE}_{8/3}@@ 纲领给出位移指数 @@M@@\nu=3/4@@，但那是固定长度测度下的结论。本文处理的是另一类问题：在把所有有限长度按临界权 @@M@@x=(2+\sqrt2)^{-1/2}@@ 加起来的全长度测度下，穿越宽度 @@M@@R@@ 的条的桥平均有多长？Duminil-Copin–Smirnov 的条论证只给出 @@M@@c/R\le B(R)\le 1@@ 并把 @@M@@R^{-1/4}@@ 记为猜想；Beaton 等人证明 @@M@@B(R)\to0@@；Glazman–Manolescu 与 Krachun–Panagiotis 分别给出对数子列界与多项式上界。这些穿越质量估计都无法控制长度插入 (length insertion)：行走可以反复回到小区域，总穿越权不决定平均长。
定理（固定走廊中的桥质量）：存在 @@M@@C_0<\infty@@，对每个固定 @@M@@C\ge C_0@@，
@@M@@DB_C(R)\asymp B(R)\asymp R^{-1/4},\qquad M_C(R)=M(R)=R^{13/12+o(1)},@@
其中 @@M@@B(R)@@ 是桥的总质量、@@M@@M(R)@@ 是带长度加权的总质量、@@M@@B_C,M_C@@ 把横向位移限制在 @@M@@|\xi|\le CR@@ 内；故归一化临界桥律下访问顶点数的均值为 @@M@@R^{4/3+o(1)}@@，无论是否限制走廊。定理（边界质量）：半平面拱 (arch) 核 @@M@@h(m)\asymp m^{-5/4}@@ 且单调不增；高度或直径超过 @@M@@R@@ 的尾部质量 @@M@@\asymp R^{-1/4}@@；在直径落在 @@M@@[R,CR]@@（或高度 @@M@@\ge R@@ 且直径 @@M@@\le CR@@）上归一化后，平均长 @@M@@R^{4/3+o(1)}@@。对边长 @@M@@R@@ 的正三角形区域，内部顶点被宏观弦访问的概率一致为 @@M@@R^{-2/3+o(1)}@@，期望访问顶点数 @@M@@R^{4/3+o(1)}@@。技术核心还包括柱面亏量 @@M@@1-2\cos(3\pi/8)\sum_m h_N(m)\asymp N^{-1/4}@@，以及柱上分离多边形系配分函数 (partition function) 的精确指数 @@M@@n^{1/6+o(1)}@@ 与平面嵌套 (nesting) 和 @@M@@Z_R(f)=R^{1/12+o(1)}@@。
证明分四段推进。先做边界：把 Duminil-Copin–Smirnov 的抛物费米相消改写成非回溯探索，得到有限恒等式 @@M@@\sum_b e^{\mathrm{i}sW_{ab}}h_D(a,b)=1@@（@@M@@s=3/8@@；重复顶点的两条历史因相位比 @@M@@e^{\mathrm{i}s\cdot 8\pi/3}=-1@@ 成对相消），不预设指数即得正上界。再在柱面上用稀稀释循环权 (dilute loop) 传递行与辫–幺半代数 (braid–monoid) 的 Yang–Baxter 恒等式：先把传递权按互异快性 (rapidity) 形变，端点方程在有限置换轨道上解成矩阵逆配对；快性汇合时该配对可比为多项式赋值关于正测度的平方范数，其渐近给出亏量 @@M@@N^{-1/4}@@，经边界探索恒等式转化为拱核 @@M@@m^{-5/4}@@ 与高度、直径尾部 @@M@@R^{-1/4}@@。其次做体多边形：柱上分离两个对面心标记的互不相交多边形系，其配分函数由多项式插值归一化的圆盘传递向量表示为两个圆盘向量的配对；把每圈权 @@M@@2@@ 换成 @@M@@2\cos\theta@@ 后有标量气体 (scalar gas) 表示，周期化取振子迹并反射流：振荡源换成衰减源，代价是相互作用矩阵取逆，需要新证其强制性 (coercivity)；由此得上指数关于 @@M@@\theta@@ 调和的上界，而零圈逸度 (fugacity) 时配分函数恰为 @@M@@1@@，最大值原理配合正和的单调性把尖锐指数推到逸度 @@M@@2@@，得 @@M@@n^{1/6+o(1)}@@。经平移类与缠绕圈的界定位到平面，得围绕单个面心、半径 @@M@@R@@ 球内的嵌套和 @@M@@R^{1/12+o(1)}@@。最后做空间转化：一个有限探索恒等式把嵌套质量换成”边界路径访问某体顶点”的权，给出三角形访问律 @@M@@R^{-2/3+o(1)}@@（指数为 @@M@@1/12+1/4-1@@）；拱均值由缝上一条外臂并加权二阶矩控制表示重数（Cauchy–Schwarz 加两套割集的恢复论证）。桥需要两条外臂：三腿标记恒等式保证足够多体访问质量的弦端点分离；直管、渐宽管与至多两个弯的路线供给两条不交外臂；对 @@M@@\sim R^2@@ 个体顶点与 @@M@@\sim R@@ 个起点求和得原始一阶矩指数 @@M@@1+1/12=13/12@@；再除以桥质量 @@M@@R^{-1/4}@@，得平均长 @@M@@13/12+1/4=4/3@@，且产出的桥全程留在固定走廊内。
本文暂无形式化证明，请以社区核验为准。姊妹篇《Polynomial vacuum representations》独立证明了同一桥均值指数（走廊放宽为 @@M@@h\log^2h@@），两者拥有相同的标量多项式与齐次分离配分函数，互相印证而非互为前提。本家族三篇共同支撑 Nienhuis 3/4 指数的直径形式。按 OpenAI 官方声明，未经形式化的结果可能有问题，读者应以社区核验为准。
问 1：知道总穿越权 @@M@@B(R)@@ 之后，平均长度为什么仍是独立难题？
（答：长度插入问题。行走可以反复折返小区域，总穿越权对”平均走多远”零控制——@@M@@M(R)@@ 必须单独估计，而它需要”某内部顶点被访问”的概率律（正三角形内一致的 @@M@@R^{-2/3+o(1)}@@）。两者相除 @@M@@13/12+1/4=4/3@@ 才是平均长，两个指数缺一不可。）
问 2：证明中最关键、最脆弱的一步是什么？
（答：柱面亏量 @@M@@1-2\cos(3\pi/8)\sum_mh_N(m)\asymp N^{-1/4}@@。传递权先按互异快性形变、端点方程在有限置换轨道上解成矩阵逆配对，快性汇合时该配对要可与”多项式赋值关于正测度的平方范数”比较，其渐近才给出 @@M@@N^{-1/4}@@，再经边界探索恒等式转成拱核 @@M@@m^{-5/4}@@。这一段把代数（辫–幺半 Yang–Baxter 恒等式）与正性（范数表示）焊在一起，焊点最易开裂。）
问 3：走廊限制为何不改指数？
（答：下界方向，产出 @@M@@13/12@@ 一阶矩的桥按构造就待在 @@M@@|\xi|\le CR@@ 内——路线由直管、渐宽管与至多两个弯拼成；上界方向天然有 @@M@@B_C\le B@@。所以”限制后平均仍 @@M@@R^{4/3}@@“是构造自带的赠品，也是后续弦定理走廊滞留结论的原型。）
问 4：反射流里”相互作用矩阵取逆”是什么险棋？
（答：把每圈权 @@M@@2@@ 换成 @@M@@2\cos\theta@@ 后有标量气体表示，周期化取振子迹并反射流：振荡源换成衰减源的代价是相互作用矩阵取逆，论文须新证其强制性。逆矩阵的符号结构若证错，上指数关于 @@M@@\theta@@ 的调和性就塌了——最大值原理从零逸度锚点（配分恰为 @@M@@1@@）到逸度 @@M@@2@@ 的推进依赖它。）
问 5：相对 DCS、Beaton 等、Krachun–Panagiotis 的真正增量？
（答：DCS 的带论证只给 @@M@@c/R\le B(R)\le1@@ 并把 @@M@@R^{-1/4}@@ 记为猜想；Beaton 等证趋零、Glazman–Manolescu 给对数子列界、KP 给多项式上界——全都不碰长度插入与拱核尖锐渐近。本文证出 @@M@@B(R)\asymp R^{-1/4}@@、首个全长度临界测度下的均值 @@M@@R^{4/3}@@、单调不增的 @@M@@m^{-5/4}@@ 拱核，以及嵌套 @@M@@R^{1/12}@@。）
问 6：作为 AI 生成证明，最可能出错的模式是什么？
（答：复权与正和之间的往返。上界在 @@M@@|\theta|@@ 内调和、锚点在零逸度、结论要落在正实逸度 @@M@@2@@——传递机制是”正和的单调性”，若在复参数区间上误用单调性即全盘皆输。其次是重数记账：对 @@M@@\sim R^2@@ 个体顶点与 @@M@@\sim R@@ 个起点求和拼一阶矩 @@M@@1+1/12=13/12@@，配合 Cauchy–Schwarz 与两套割集的恢复论证，任何一处重数多算一次指数就漂移。）
问 7：这些结论在族 237 里归谁用？
（答：@@M@@B(R)\asymp R^{-1/4}@@、一阶矩 @@M@@13/12@@ 与走廊滞留正是几何主干篇与弦定理篇点名的输入；拱核 @@M@@m^{-5/4}@@ 的正则性服务指定端点弦；嵌套 @@M@@R^{1/12}@@ 与《Cylinder loop weights…》互相印证；均值 @@M@@4/3@@ 是族级”直径 @@M@@n^{3/4}@@“主张在路径一侧的支柱。）
总评
把 DCS 记录了十四年的 @@M@@R^{-1/4}@@ 猜想连同全长度均值 @@M@@4/3@@、走廊稳定性一并证下，是族 237 路径一侧的承重梁；最大风险是全文最长的代数—正性焊接链，且无形式化核验。