结果族 237：The three-quarter exponent for honeycomb self-avoiding walk · 学科：Probability and statistical mechanics · 验证状态：暂无形式化证明，请以社区核验为准
要盖”@@M@@3/4@@ 指数”这座大厦，得先有合格的钢筋水泥。这篇论文就是材料供应商：它自己不宣布大楼封顶，而是交付三批误差被常数卡死的建材——桥的总质量、长度矩、长桥份额——让姊妹篇拿去就能放心施工。此前最好的结果只有指数 @@M@@10^{-10}@@ 的多项式上界，与”精确到常数”之间隔着天壤之别。
关键词卡片
@@M@@h@@ 条带中所有穿越路径按临界权重 @@M@@\kappa@@ 计的总价，本文证得 @@M@@B_h\asymp h^{-1/4}@@。@@M@@Ch^{13/12}@@。@@M@@ch^{4/3}@@ 的桥，其质量份额仍不低于 @@M@@ch^{-1/4}@@。@@M@@N/d@@ 显式幂的一致界。@@M@@\asymp R^{1/12}@@。看个具体例子
取 @@M@@h=10^6@@ 层：@@M@@B_h@@ 约为 @@M@@10^{-3/2}\approx 1/32@@（差常数倍）；条件平均长度至多 @@M@@C\times h^{4/3}=C\times10^8@@ 步；而长度超过 @@M@@c\times10^8@@ 步的长桥，至少还占 @@M@@c\times10^{-3/2}@@ 的质量——三条合起来说明：典型桥真的是”长桥”，不是靠一堆短路径凑数。
为什么值得关心
用更新方法证明 @@M@@3/4@@ 指数时，这三条输入缺一不可；这批”有界因子”精度的估计正是整个证明链条的解析基石，被姊妹篇逐条引用。标记多边形的一致界还对周长与间距之比保留显式幂，保证后续求和收敛。
暂无形式化证明（AI 结果待核验）
第一级台阶
导读把这篇论文比作”材料供应商”：它不宣布大楼封顶，只交付三批误差被常数卡死的建材——穿越走廊的路径总价、按总价加权的路径长度账单、以及”足够长的路径至少占多少份额”的保底条款。另加一批特殊零件：缠绕柱面、同时勾住两条指定边的闭合圈，其质量在任何尺度搭配下都有统一标价。
第二级台阶
精确化：权重 @@M@@w(\gamma)=\kappa^{\ell(\gamma)}@@，@@M@@\kappa=(2\cos(\pi/8))^{-1}@@ 为临界值；@@M@@B_h@@ 是从固定港口穿越高 @@M@@h@@ 条带的桥的总质量，长度一阶矩是 @@M@@\sum\ell(\gamma)w(\gamma)@@，长桥指长度至少 @@M@@ch^{4/3}@@ 的桥。标记多边形指柱面上同时穿过两条相距 @@M@@P@@ 的标记边的简单闭合圈，其质量界须对周期 @@M@@N@@ 与间距 @@M@@d@@ 之比保留显式幂。嵌套指一层层围住定点的互不相交多边形系统。
第三级台阶
定理的语境：更新方法证明 @@M@@3/4@@ 指数需要”有界因子”精度的输入，临界权重假设保证质量既不爆炸也不湮灭，而一致性假设（对周期倍数、标记位置、高度统一）保证后续求和收敛——这是为什么多边形界必须保留 @@M@@(N/d)^{15/8}@@ 的显式幂。结论分三块：@@M@@ch^{-1/4}\le B_h\le Ch^{-1/4}@@、一阶矩至多 @@M@@Ch^{13/12}@@、长桥份额至少 @@M@@ch^{-1/4}@@；标记多边形质量至多 @@M@@CN^{-4/3}(N/d)^{15/8}@@；嵌套配分函数 @@M@@\asymp R^{1/12}@@，六边形中弦总质量 @@M@@\asymp R^{3/4}@@、平均长度 @@M@@\asymp R^{4/3}@@。三者合起来说明典型桥真的是”长桥”，不是短路径凑数。
证明蜂巢格点临界桥质量的精确阶 @@M@@B_h\asymp h^{-1/4}@@、长度一阶矩至多 @@M@@Ch^{13/12}@@、长桥（长度 @@M@@\ge ch^{4/3}@@）份额至少 @@M@@ch^{-1/4}@@，并给出柱面上双标记多边形的一致界——这是整个 @@M@@3/4@@ 指数程序的解析基石。
用更新（renewal）方法证明自避行走的空间指数 @@M@@3/4@@，需要”有界因子”精度的条带估计作输入：不仅要知道桥质量（bridge mass）按 @@M@@h^{-1/4}@@ 衰减，还要在同一测度下同时控制长度一阶矩 @@M@@O(h^{13/12})@@，并保证固定比例的长桥（长度 @@M@@\gtrsim h^{4/3}@@）带正质量——缺了任何一条，概率归一化与矩控制都会失效。此类精确估计此前完全缺失：已知结果只有穿越质量趋于零（Beaton 等）、子序列对数界（Glazman–Manolescu）与指数 @@M@@10^{-10}@@ 的多项式上界（Krachun–Panagiotis）。多边形一侧的问题更微妙：柱面上同时穿过两条指定边（标记，marks）的简单多边形（simple polygon）的质量，当标记间距 @@M@@d@@ 远小于柱面周期 @@M@@N@@ 时需要一致界，且界中必须保留 @@M@@N/d@@ 的显式幂，否则后续对标记对的求和会发散。
路径权重为 @@M@@w(\gamma)=\kappa^{\ell(\gamma)}@@，@@M@@\kappa=(2\cos(\pi/8))^{-1}@@ 即临界值；@@M@@B_h@@ 为从固定港口出发、严格穿过高 @@M@@h@@ 条带的桥的总质量。三大定理：
@@M@@c,C@@，对一切足够大的 @@M@@h@@：@@M@@ch^{-1/4}\le B_h\le Ch^{-1/4}@@；长度一阶矩 @@M@@\sum_{\gamma}\ell(\gamma)w(\gamma)\le Ch^{13/12}@@（从而条件平均长度至多 @@M@@Ch^{4/3}@@）；长桥质量 @@M@@B_h\{\ell\ge ch^{4/3}\}\ge ch^{-1/4}@@，且对高度一致；此外直径尾 @@M@@B_h\{\diam\gamma>x\}\le C(1+x)^{-1/4}@@ 对一切 @@M@@h\ge1@@ 一致成立。@@M@@kP@@、@@M@@N=kd@@（@@M@@d@@ 偶）的柱面上，同时穿过两条相距 @@M@@P@@ 的轴向标记边的简单多边形的临界质量 @@M@@\le CN^{-4/3}(N/d)^{15/8}@@，常数一致于 @@M@@P_1,P_2,k@@ 与轴向选取。@@M@@H(y;R)@@ 内围绕中心 @@M@@y@@ 的互不相交多边形系统（每条多边形权重 @@M@@\kappa^\ell\times2@@）的配分函数 @@M@@Z_2(y;R)\asymp R^{1/12}@@；自由边界港口之间、直径 @@M@@\ge R/2@@ 的路径总质量 @@M@@\asymp R^{3/4}@@，平均长度 @@M@@\asymp R^{4/3}@@。证明分解析与几何两腿。先看解析腿：用 Yang–Baxter 交换关系与融合（fusion）规则构造周期真空向量 @@M@@\Psi_N=f_Nw^i@@——它是三角多项式，每个谱变量次数至多 @@M@@N-1@@，度数由 wheel 零点确定——并证明其物理配对公式：柱面上分离两角点的互不相交多边形系统（每条带因子 @@M@@y+y^{-1}@@）的配分函数等于有限 Laurent 多项式 @@M@@G@@ 除以 @@M@@2f_N^2@@。再把 @@M@@G@@ 重组为流展开（current expansion）：基于 Frenkel–Kac 一级玻色子（顶点算子）构造的粒子展开，经留数粒子化、周期化与轮廓变形，得到 @@M@@m\to\infty@@ 时的上界 @@M@@\log|P_m(e^r)|\le m^2I+\left(\frac38+\frac{2}{3\pi^2}\Re r^2\right)\log m+o(\log m)@@。分母可能很小、且两个标记区间不等时会得到开算子乘积而非周期迹：作者为零分离环权重时物理配分恰为 @@M@@1@@ 这一特殊值（饱和点）单独论证，换来有界因子的归一化；又为有序粒子展开构造紧算子、给出定量态界，用严格谱界控制两个长区间——这是允许 @@M@@N/d@@ 任意大的关键。再看几何腿：由仿费米通量恒等式（相因子 @@M@@\cos(\beta W)@@，@@M@@\beta=3/8@@，凸域内总转角 @@M@@|W|\le\pi@@）出发，得边界逃逸估计与半平面边界两点质量 @@M@@K_l\asymp l^{-5/4}@@（三次”深出口”三角穿越构造，配切口平均与二阶矩、Cauchy–Schwarz 论证得下界）；再用随机化内部切口与二阶矩估计把桥约束进宽度 @@M@@O(H/M)@@ 的窄走廊。最后的缝合（sewing）步骤在柱面外部闭合并延伸弦、对标记对求和：定理 2 的比率幂 @@M@@15/8@@ 严格小于维数 @@M@@2@@，使标记对的二进分解求和收敛，配合转角处的额外增益得到所需尺度的弦长二阶矩，拼回定理 1 的长桥质量与一阶矩；条带质量 @@M@@B_h\asymp h^{-1/4}@@ 则另由有限双行插值公式独立证出。
本篇暂无形式化证明。定理 1 正是姊妹篇《Renewal and changes of law for critical honeycomb walks》中以”有限桥估计”名义引用的输入（两文表述逐条对应），条带幂又与《Critical strip-crossing mass on the honeycomb lattice》的正定积分路线独立吻合，构成族内相互支撑。按 OpenAI 官方声明，未经形式化的结果可能有问题，请以社区核验为准。
问 1：证明中最关键也最脆弱的一步是什么？
（答：饱和点的归一化论证。物理配对公式把多边形配分函数写成有限 Laurent 多项式 @@M@@G@@ 除以 @@M@@2f_N^2@@，但分母可能很小，且两个标记区间不等时出现的是开算子乘积而非周期迹。作者利用”零分离环权重时物理配分恰为 @@M@@1@@“这一特殊值单独论证，换来有界因子的归一化——这是所有常数精度结论的锚点，此步一错全局皆错。）
问 2：标记多边形的界为什么必须保留 @@M@@(N/d)^{15/8}@@ 这个显式幂？
（答：后续缝合步骤要对标记对做二进分解求和，若界中不含间距与周期之比的幂，该求和发散。@@M@@15/8@@ 严格小于维数 @@M@@2@@，恰好让求和收敛并留下转角处的额外增益。一致性范围覆盖周期倍数 @@M@@k@@ 与轴向选取，缺一不可。）
问 3：为什么 @@M@@B_h\asymp h^{-1/4}@@ 不从主解析腿推出，而另用有限双行插值独立证出？
（答：论文如此安排：条带质量由有限双行插值公式直接得出，独立于流展开与物理配对渐近，等价于给主路线保留一条逃生通道；同时该幂与《Critical strip-crossing mass》的正定积分路线独立吻合，族内互证。）
问 4：与 Krachun–Panagiotis 等前人相比，真正的新意是什么？
（答：前人只有穿越质量趋于零（Beaton 等）、子序列对数界（Glazman–Manolescu）和指数 @@M@@10^{-10}@@ 的多项式上界；本文首次同时给出有界因子精度的质量、一阶矩与长桥份额，且方法全新——基于 Yang–Baxter 交换与融合构造周期多项式真空、Frenkel–Kac 顶点算子的流（粒子）展开、以及仿费米通量的几何腿。）
问 5：哪类步骤最容易藏 AI 生成证明的错？
（答：两处。流展开的渐近上界 @@M@@\log|P_m(e^r)|\le m^2I+(\frac38+\frac{2}{3\pi^2}\Re r^2)\log m+o(\log m)@@ 中系数是硬算的，留数粒子化与轮廓变形错一步指数即偏；缝合步骤把柱外闭合并对标记对求和，几何构造的重漏计数是经典陷阱。）
问 6：直径尾 @@M@@B_h\{\diam\gamma>x\}\le C(1+x)^{-1/4}@@ 为何要对一切 @@M@@h\ge1@@ 一致？
（答：更新证明需要把不同高度的条带估计叠加使用，非一致的尾界会让跨尺度求和失控；这也是”材料”合格与否的隐性指标。）
问 7：下游谁在用这批结果？
（答：《Renewal and changes of law》以定理 1 为”有限桥估计”逐条引用——@@M@@h^{-1/4}@@ 天平、@@M@@h^{13/12}@@ 矩、长桥正质量缺一不可；嵌套指数 @@M@@1/12@@ 与六边形弦估计则供家族 237 的直径主定理与访问概率使用。）
总评
这是整个 @@M@@3/4@@ 程序的解析地基，精度从”指数 @@M@@10^{-10}@@ 的上界”一步跨到常数因子，分量极重；最大风险在饱和点归一化与流展开系数这类”无中间态”的刚性计算，且全家族对其单点依赖使误差传播面很宽。