结果族 237：The three-quarter exponent for honeycomb self-avoiding walk · 学科：Probability and statistical mechanics · 验证状态：暂无形式化证明，请以社区核验为准
一只蚂蚁站在六边形房间的墙边，要从墙上的 A 门走到对面的 B 门，规矩是不许踩自己的脚印。直线距离是 @@M@@R@@，但蚂蚁被迫绕来绕去：它典型要走多远？这篇论文证明：路程按 @@M@@R^{4/3}@@ 增长——距离 1000 格，路要走上约 10000 步。
关键词卡片
@@M@@\kappa=(2+\sqrt2)^{-1/2}@@，使长短路径的奖惩恰好平衡。@@M@@R@@ 与典型路径长 @@M@@L@@ 之间的幂次关系，本文确证 Nienhuis 预言的 @@M@@4/3@@。看个具体例子
代入数字：六边形边长 @@M@@R=1000@@ 格时，@@M@@R^{4/3}=10^4@@，即连接两个对侧指定端口的弦长依概率落在 @@M@@10^{4\pm3\varepsilon}@@ 的窗口里；同样的 4/3 律在半平面、平行带与楔形四类几何下逐一成立。
为什么值得关心
“终点被点名”远比”终点随便落在哪里”难——此前所有结果都只对终点求和成立；本文补上这个缺口，使 Nienhuis 的 4/3 长度定律在四类几何下完整落地，也树立了处理指定端点的通用范式。
暂无形式化证明（AI 结果待核验）
第一级台阶
入门导读里”蚂蚁从 A 门走到 B 门”，翻译成半数学语言：对象是一间边界上开了两扇指定门的房间，以及屋内所有”不许踩自己脚印”的走法；每条走法按固定折扣计权，走越长折扣越狠，且恰好处在长短平衡的临界点。操作是把从 A 门到 B 门的所有走法加权求和，在此归一之下问：典型路程与两门的直线距离成几次幂？此前的技术只会回答”B 门落在整段墙内任意位置”的版本——对整段墙求和，会把单个门口的坏行为平均掉。
第二级台阶
用本科组合与概率术语精确化：蜂窝格点实现为边长 1 的正三角贴砖中心图，端口（port）是区域边界边的中点；路径在端口处垂直进出、内部中心不重复，权重 @@M@@w(\gamma)=\kappa^{L(\gamma)}@@，@@M@@\kappa=(2+\sqrt2)^{-1/2}@@ 为 Duminil-Copin–Smirnov 常数。两点核 @@M@@K_D(a,b)=\sum_{\gamma:a\to b}w(\gamma)@@ 除以自身定义临界弦法律；定理考虑缩放后趋于正六边形、带宏观分离指定端口 @@M@@a_R,b_R@@ 的凸纯格区域。
第三级台阶
定理 1.1 断言：临界弦法律下 @@M@@L(\gamma)@@ 落在 @@M@@R^{4/3\pm\varepsilon}@@ 的概率趋于 1，六边形、半平面、平行带与 @@M@@\pi/3@@、@@M@@2\pi/3@@ 楔形四类几何皆成立，且每个指定端口对的归一质量至少 @@M@@cR^{-5/4}@@，常数在缩放几何紧集上一致——Nienhuis 的 4/3 长度–距离幂次由此在指定端点下完整落地。证明按端点机制分治：同线端口用共同更新高度（指数 @@M@@1/2@@）与侧向窗口 @@M@@O(m^{-2})@@；平行切割须同时匹配高度与横向位移，靠带质量的固定阶差分一致有界这一”局部光滑性”付账；非平行切割用小法向前缀加人工弧的边界恒等式压例外质量；公共引擎是 Cauchy–Schwarz 二矩法与”平移输入弦再加桥”的长度传递。
证明了蜂窝格点上连接两个宏观分离、位置完全指定的边界端口（port）的临界自回避弦，其长度依概率为 @@M@@R^{4/3+o(1)}@@，覆盖六边形、半平面、平行带与楔形四类几何，且半平面平均长度同为此指数，验证了 Nienhuis 的 4/3 长度—距离幂次。
给边界到边界的自回避行走赋临界权重 @@M@@\kappa^{L(\gamma)}@@（@@M@@\kappa=(2+\sqrt2)^{-1/2}@@）而不固定长度时，两端点的间距 @@M@@R@@ 提供唯一空间尺度，问题化为长度与 @@M@@R@@ 之间的幂次关系。Nienhuis 1982 年预言该幂次为 @@M@@4/3@@；Duminil-Copin–Smirnov 证明蜂窝连通常数时采用的边中点约定即本文的”端口”约定。此前系列工作已证得”固定起点、终点在宏观区间上求和”的概率定律（归一质量 @@M@@\asymp R^{-1/4}@@），但真正指定终点与在约 @@M@@R@@ 个端口上求和有本质差别：对区间总例外质量的界无法给出单个指定端口的例外质量。Kennedy 的启发式——带质量 @@M@@h^{-1/4}@@ 对应不可约高度尾 @@M@@h^{-3/4}@@ 与更新高度 @@M@@n^{4/3}@@——自 Kesten 的不可约桥（irreducible bridge）构造以来就存在，严格的”指定终点”版本正是本文补上的缺口。
定理 2.1：设 @@M@@D_R@@ 为缩放后趋于正六边形的凸纯格六边形区域，@@M@@a_R,b_R@@ 为边界端口，其缩像为两侧内部的不同点，则在临界弦定律（critical chord law）下对任意 @@M@@\varepsilon>0@@ 有
@@M@@D\mathbb P\{R^{4/3-\varepsilon}\le L(\gamma)\le R^{4/3+\varepsilon}\}\to 1,@@
且归一质量至少 @@M@@cR^{-5/4}@@。同样的结论对以下几何成立：半平面中距离 @@M@@R@@ 的两个指定边界端口；高度 @@M@@\asymp R@@ 的带中两条对侧切割上各一个指定端口（相互距离 @@M@@O(R)@@）；以及由两条不平行的纯切割构成、张角为 @@M@@\pi/3@@ 或 @@M@@2\pi/3@@ 的楔形，两侧射线上各一个指定端口。中间量的窗口定律（定理 3.1）：固定起点、终点在某宏观区间上求和时，归一质量 @@M@@\asymp R^{-1/4}@@，长度仍为 @@M@@R^{4/3+o(1)}@@。均值层面：半平面拱（arch）的期望长度 @@M@@\mathbb E L=R^{4/3+o(1)}@@（仅有依概率收敛不够，需额外上尾控制）；带的均值定律则在自然密度为一的高度集合上、以及在 @@M@@[H,2H]@@ 内全部偶高度的临界对齐混合中得到。
证明按三种端点机制分治。第一种，两端口在同一直线上：从两个端口各自独立向上生长桥列（独立更新增量），停在其共同更新高度处；共同高度变换的指数为 @@M@@1/2@@，另有侧向窗口估计给出 @@M@@m@@ 个公共块后高度差原子的 @@M@@O(m^{-2})@@ 衰减，两者合起来既保证拱核（arch kernel）的正则性，又控制住最后那条长连接拱。第二种，平行切割：必须同时匹配高度与横向位移，单靠高度尾付不起”指定一个高度”的代价；作者从有限投影表示出发，证明带质量的所有固定阶差分有界（局部光滑性），导出单块高度原子界，再配合二维集中不等式与逐高度最大原子求和，付清平行端点限制。第三种，非平行切割：小的法向前缀起初只能耗尽”终点求和”的版本，随后局部访问估计与一条人工弧的边界恒等式把例外质量压到指定终点端口上。支撑三者的公共机器是 Cauchy–Schwarz 二矩法：对随机接合切割列表取平均，指示量 @@M@@F_R@@ 的一阶矩 @@M@@\ge cR^{-k/4-5/4}@@、二阶矩 @@M@@\le CR^{-2k/4-5/4}@@，直接给出连接子质量 @@M@@\ge cR^{-5/4}@@；长度传递则靠”平移输入弦再加桥”的附件构造，重数 @@M@@N_s@@ 满足 @@M@@\int N_s\ge cs^{1/2}E@@、@@M@@\int N_s^2\le CsR^{-1/4}@@。对短长度事件，在 @@M@@(1-\epsilon/3,1)@@ 中取任意多个不同指数 @@M@@s_j=R^{\gamma_j}@@ 得 @@M@@Mc p_0^2\le C@@，先 @@M@@R\to\infty@@ 再 @@M@@M\to\infty@@ 迫使例外比例 @@M@@p_0\to0@@；对长长度事件，让两侧外落点全自由，输出质量 @@M@@\ge cp_0^2R^{3/4}@@，而区域内的上界 @@M@@R^{-4/3-\epsilon}R^{25/12}@@ 是 @@M@@o(R^{3/4})@@，同样迫使 @@M@@p_0\to0@@。所有常数在缩放几何的紧集上一致。
本文主结果暂无 Lean 形式化证明；按 OpenAI 官方声明，未经形式化的结果可能有问题，请以社区核验为准。定量输入取自同族的配套论文（文中以 [UniformMarked]、[Renewal]、[Calibrated]、[PolynomialVacuum] 引用），包括带质量的有限投影表示与更新估计；与姊妹篇《Radial transfer estimates…》的多边形直径尾、《Cylinder loop weights…》的嵌套估计相互印证，共同支撑族 237 的核心主张——临界蜂窝行走的 @@M@@n^{3/4+o(1)}@@ 直径定律。
问 1：”指定终点”与”终点在区间上求和”的差别真有那么本质吗？
（答：有。引言开宗明义：宏观终点区间含约 @@M@@R@@ 个端口，对区间总例外质量的界给不出单个指定端口的例外质量界。归一质量也不同——终点求和版 @@M@@\asymp R^{-1/4}@@（定理 3.1 一侧），指定端口版只有下界 @@M@@cR^{-5/4}@@，两者差整整一个指数。）
问 2：证明中最关键、最脆弱的一步在哪？
（答：平行切割机制。此时必须同时匹配高度与横向位移，而”高度尾界单独付不起指定一个高度的代价”（引言明言）。论文靠从有限投影表示出发证明带质量的一切固定阶差分有界（局部光滑性），导出单块高度原子界，再配二维集中不等式与逐高度最大原子求和才付清端点限制。这一链路依赖配套论文 [UniformMarked] 的尖锐有限估计，是全文最细的钢丝。）
问 3：半平面已有依概率 @@M@@R^{4/3}@@，为何还要专门证均值？
（答：依概率收敛不控制加权上尾，期望长度需要额外的长度加权控制；论文用 [Calibrated] 的两端带标记臂估计使长度加权贡献对拱高度可和，才得 @@M@@\E L=R^{4/3+o(1)}@@。论文对”概率收敛≠均值收敛”的区分是诚实的。）
问 4：带（strip）的均值定律为何只对”密度一高度集”和”对齐临界混合”成立，而非逐高度？
（答：带的均值走的是另一条路：[PolynomialVacuum] 的有限带矩喂入更新–报酬恒等式，再用双桥边界比较控制平均后端口间的变化。引言明确说结论是密度一集合与全偶高度对齐混合，而非逐点一切高度——这是一个自曝的局限，审稿时应核对实验上是否够用。）
问 5：与已有工作相比真正新意是什么？
（答：终点自由的概率定律已在 [Renewal] 命题 5.7–5.8；本文给出指定端点法律在四类几何下的完整证明（对半平面拱还给了一条经共同层成对更新与拱核正则性的新证明），并把 Kennedy 启发式——带质量 @@M@@h^{-1/4}@@ 对应不可约高度尾 @@M@@h^{-3/4}@@ 与更新高度 @@M@@n^{4/3}@@——升级为指定端点下的严格定理。）
问 6：作为 AI 生成证明，最可能出错的模式是什么？
（答：外部输入依赖与极限次序。定量起点是 [UniformMarked]、[Renewal]、[Calibrated]、[PolynomialVacuum] 四篇配套结果的精确常数与适用范围，转录口径一错便整体漂移；短/长长度事件的例外比例论证要在 @@M@@(1-\epsilon/3,1)@@ 中取 @@M@@M@@ 个不同指数 @@M@@s_j@@，先 @@M@@R\to\infty@@ 后 @@M@@M\to\infty@@ 的次序交换若有疏漏，@@M@@p_0\to0@@ 就推不出来。）
问 7：谁需要指定端点版本？
（答：族 237 的关键零件：把”直径 @@M@@n^{3/4}@@“从长度求和法律推进到固定长度法律，需要单端口级别的局部控制；它也是 SLE@@M@@_{8/3}@@ 标度极限纲领中边界两点函数幂次的离散印证，半平面拱核正则性另可服务更新理论。）
总评
把四十年前的 4/3 幂次从”终点随便落”补强到”点名终点”，分治三种端点机制的框架干净有力；最大风险是关键步骤全部架在未经形式化的姊妹篇尖锐估计上，一处输入失准即连锁失守。