结果族 237：The three-quarter exponent for honeycomb self-avoiding walk · 学科：Probability and statistical mechanics · 验证状态：暂无形式化证明，请以社区核验为准
往池塘里扔两块石头，水面荡起一圈圈涟漪。现在做一道奇怪的算术题：把两块石头隔开的”套圈”有多少种层层相套的摆法？每种摆法按圈的个数与周长打分后全部加起来，这个总分随池塘尺寸涨多快？这篇论文给出精确公式，证实了物理学家二十年前的预言。
关键词卡片
@@M@@\chi@@：每多放一个圈的”奖励系数”，@@M@@\chi@@ 越大圈越愿意出现。看个具体例子
数字版定理（取 @@M@@\chi=2@@）：柱面周长为 @@M@@N@@ 时总分 @@M@@Z_N=N^{1/6+o(1)}@@；回到平面，围绕一个标记、直径不超过 @@M@@r@@ 的嵌套族总质量 @@M@@P_2(r)=r^{1/12+o(1)}@@——直径涨到 @@M@@10^{12}@@ 格，总分也只涨约 10 倍。一般公式为 @@M@@\tau(\chi)=\tfrac16-\tfrac{2}{3\pi^2}(\arccos(\chi/2))^2@@（@@M@@0<\chi\le2@@），@@M@@\chi>2@@ 时把 @@M@@\arccos@@ 换成 @@M@@\operatorname{arcosh}@@。
为什么值得关心
Gamsa–Cardy 2006 年靠未证明的标度极限图像算出的库仑气嵌套指数，本文首次严格证明；嵌套结构正是理解临界自避行走多尺度涨落的钥匙。
暂无形式化证明（AI 结果待核验）
第一级台阶
入门导读的”池塘涟漪套圈算术题”翻译过来：对象是两枚标记点，以及把它们隔在两侧的一族族互不相碰的闭合圈；每层圈按”个数奖励乘以临界长度折扣”打分，把洋葱式层层相套的所有摆法全部加总，就是配分函数。要问的是：把池塘卷成周长 @@M@@N@@ 的圆筒后，这个总分随 @@M@@N@@ 按几次幂增长——以及奖励系数（环路逸度）如何改动这个幂。
第二级台阶
用组合术语精确化：蜂窝格点取为边长 1 的正三角贴砖的对偶图，多边形权重 @@M@@\rho^{|P|}@@，@@M@@\rho=(2+\sqrt2)^{-1/2}@@ 为临界活性。平面按周期 @@M@@iN\sqrt3/2@@（@@M@@N=2m@@）作商得平衡柱面，标记 @@M@@0@@ 与 @@M@@me^{2\pi i/3}@@；多边形”分隔标记”指柱面紧化成球面后两标记落于其余集的不同分支。配分函数 @@M@@Z_N(\chi)=\sum_{\mathcal P}\prod_{P\in\mathcal P}\chi\rho^{|P|}@@ 对不交分隔多边形族求和；每个分隔多边形必交两标记间的割弧，故 @@M@@Z_N@@ 是非负系数多项式，@@M@@Z_N(0)=1@@。
第三级台阶
定理给出 @@M@@Z_N(\chi)=N^{\tau(\chi)+o(1)}@@，@@M@@\tau(\chi)=\frac16-\frac{2}{3\pi^2}(\arccos(\chi/2))^2@@（@@M@@0<\chi\le2@@，更大时换 arcosh）——Gamsa–Cardy 库仑气”电指数”预言首次严格成立。平面侧经有界因子比较 @@M@@P_\chi(c_0N)^2\le Z_N\le C P_\chi(c_0N)^2@@ 得嵌套质量 @@M@@P_\chi(r)=r^{\tau(\chi)/2+o(1)}@@，平方来自几何：剥去本质环与大可收缩环只花有界代价，剩下两个独立小嵌套；@@M@@\chi=2@@ 时柱面 @@M@@1/6@@、平面 @@M@@1/12@@。论证先用多项式开带态收缩出柱面真空，写 @@M@@\chi=2\cos\eta@@ 经围道变形得带相位 @@M@@e^{i\eta M}@@ 的粒子积分，@@M@@\log N@@ 系数按 @@M@@7/8-1/2-5/24=1/6@@ 逐项记账，再用下调和性从精确锚点 @@M@@\eta=\pi/2@@（@@M@@Z_N(0)=1@@）传播出匹配下界。
对任意固定环路逸度（loop fugacity）@@M@@\chi>0@@，确定了临界蜂窝柱面上”分隔两个标记点的不交多边形族”配分函数的增长指数 @@M@@\tau(\chi)@@；@@M@@\chi=2@@ 时为 @@M@@1/6@@，对应平面嵌套指数 @@M@@1/12@@，严格证明了 Gamsa–Cardy 的库仑气预言。
临界活性 @@M@@\rho=(2+\sqrt2)^{-1/2}@@ 固定了每个蜂窝多边形的权重，但围绕一点的不交多边形嵌套族（nest）的配分函数需要对所有空间尺度同时求和，其增长长久以来只是预言。Gamsa 与 Cardy 2006 年在高斯场标度描述的假设下，从库仑气（Coulomb gas）方法导出电 exponent：@@M@@\chi=2\cos\eta@@（@@M@@0<\chi\le2@@）时标度维数 @@M@@x=\eta^2/(3\pi^2)-1/12@@，两点幂 @@M@@-2x@@ 即本文的 @@M@@\tau(\chi)@@；Cardy 的环带计算给出类似的径向幂。这些论证依赖未经证明的标度极限图像，且缺少有限格点的归一化。本文在平衡柱面（balanced cylinder）几何上严格完成这一纲领：把平面按周期 @@M@@iN\sqrt3/2@@（@@M@@N=2m@@）作商，标记 @@M@@0@@ 与 @@M@@me^{2\pi i/3}@@ 两点，紧化柱面两端得球面，称多边形”分隔标记”若两标记落在其余集的两个不同分支。
对分隔多边形族（含空族）赋权 @@M@@\prod_P \chi\rho^{|P|}@@，定理 2.1 证明：沿偶数 @@M@@N@@，
@@M@@DZ_N(\chi)=N^{\tau(\chi)+o(1)},\qquad \tau(\chi)=\begin{cases}\frac16-\frac{2}{3\pi^2}\bigl(\arccos(\chi/2)\bigr)^2,&0<\chi\le2,\\[4pt] \frac16+\frac{2}{3\pi^2}\bigl(\operatorname{arcosh}(\chi/2)\bigr)^2,&\chi\ge2.\end{cases}@@
平面版本：围绕一个固定面心、直径 @@M@@\le r@@ 的嵌套质量 @@M@@P_\chi(r)@@ 满足双侧比较 @@M@@P_\chi(c_0N)^2\le Z_N(\chi)\le C\,P_\chi(c_0N)^2@@，故 @@M@@P_\chi(r)=r^{\tau(\chi)/2+o(1)}@@——平方来自几何：剥去本质（缠绕）多边形与大可收缩多边形只花有界因子，剩下的分解为靠近两个标记的独立小嵌套。特别地 @@M@@Z_N(2)=N^{1/6+o(1)}@@、@@M@@P_2(r)=r^{1/12+o(1)}@@，带中央面心的嵌套质量 @@M@@S_k=k^{1/12+o(1)}@@。另有均匀计数界 @@M@@w_N(a)\le\exp(C\log N-ca^2/\log N)@@（@@M@@w_N(a)@@ 为恰含 @@M@@a@@ 个分隔多边形的非归一质量），以及带内路径长度：原始一阶矩 @@M@@\sum\rho^{n}n\le h^{13/12+o(1)}@@，条件于到达底部 @@M@@h/4@@ 带的顶部的期望长度为 @@M@@h^{4/3+o(1)}@@——两指数之差恰源于条件事件本身 @@M@@\asymp h^{-1/4}@@ 的质量。
路线分两段：先走代数与分析得到柱面指数，再用独立的压力估计回到平面。代数侧：由配套论文的多项式开带态构造柱面真空（vacuum，记录割一侧路径对端口的配对），两半柱面态按分隔规则收缩恰得 @@M@@Z_N@@；写 @@M@@\chi=2\cos\eta@@，有限围道变形把分子表为带相位 @@M@@e^{i\eta M}@@ 的粒子积分，不平衡整数 @@M@@M@@ 固定两组基本粒子数 @@M@@m\mp M@@。分析侧：把主粒子群中心化到平均密度 @@M@@m\varrho(u)@@，在距离 @@M@@O(\log N)@@ 处设墙，涨落的实二次能量控制失衡与远粒子；以 Legendre 正交多项式系综为正参照律，减去其对数交互以消除对角奇性。@@M@@\log N@@ 的系数逐项记账：形变行列式贡献 @@M@@7/8@@、两个参照配分质量贡献 @@M@@-1/2@@、标量真空分母贡献 @@M@@-5/24@@，合计恰为 @@M@@1/6@@；要得到 @@M@@\eta@@ 的二次项，必须在积分中保留相位 @@M@@e^{i\eta M}@@——通过真实移动粒子并计算雅可比、再对整数维积分作全纯插值，把相位转化为实作用上的二次贡献，最终得上界包络 @@M@@\log|Z_N(2\cos\eta)|/\log N\le\frac16-\frac{2}{3\pi^2}\operatorname{Re}(\eta^2)+o(1)@@。匹配下界不走逐扇区估计：锚点 @@M@@\eta=\pi/2@@ 处 @@M@@Z_N(0)=1@@ 精确成立，上界使 @@M@@v_N=\mathcal H+\epsilon_N-u_N@@ 为非负上调和函数，经圆盘链的平均值不等式把近饱和性从锚点传播到任意圆盘，再用系数非负性 @@M@@Z_N(2)\ge|Z_N(2\cos\eta_N)|@@ 把复点近等式转化为正实逸度处的下界。平面侧用两条压力估计：环形转移中本质环权的第一、二阶压力导数控制其总质量与横向跨度矩；开带中全部环权的一阶导数在 @@M@@N@@ 上仿射（误差 @@M@@O(N^{-1})@@），推出大多边形直径尾 @@M@@\sum_{\diam P>r}\rho^{|P|}\le C(1+r)^{-2}@@，两条合起来完成 @@M@@Z_N\asymp P_\chi^2@@ 的比较与长度—嵌套恒等式。
本文主结果暂无 Lean 形式化证明；按 OpenAI 官方声明，未经形式化的结果可能有问题，请以社区核验为准。开带多项式态等关键输入来自同族配套论文（文中引作 [StripCompanion]，含临界带穿越定理），与姊妹篇《Radial transfer estimates…》的多边形直径尾 @@M@@-2@@（本文亦独立证得同阶估计）及《Critical honeycomb chords…》的 @@M@@4/3@@ 长度定律互相衔接，是族 237 中负责”嵌套与环权”一侧的支柱。
问 1：平面嵌套指数恰为柱面指数一半，这是某种解析技巧吗？
（答：不是，是几何。定理给出有界因子比较 @@M@@P_\chi(c_0N)^2\le Z_N(\chi)\le C P_\chi(c_0N)^2@@：剥去本质（缠绕）多边形与大可收缩多边形只花有界代价——这靠两条压力估计撑起——剩下的分解为分别贴着两个标记的两个独立小嵌套，各贡献一次 @@M@@P_\chi@@。）
问 2：证明中最脆弱的一步在哪里？
（答：把相位 @@M@@e^{i\eta M}@@ 转化为实作用上的二次贡献。做法是真实移动粒子并计算雅可比、再对整数维积分作全纯插值，然后才移动失衡求和；同时 @@M@@\log N@@ 的系数必须跨形变行列式（@@M@@7/8@@）、参照配分质量（@@M@@-1/2@@）、标量真空分母（@@M@@-5/24@@）逐项守恒。任何一处常数漏记，得到的仍是”一个”指数但不再是 Gamsa–Cardy 的那个，且错误只会在与物理预言对照时才暴露。）
问 3：匹配下界为什么不逐扇区估计？
（答：论文走了一条优雅得多的路：上界包络 @@M@@\log|Z_N(2\cos\eta)|/\log N\le\frac16-\frac{2}{3\pi^2}\mathrm{Re}(\eta^2)+o(1)@@ 使 @@M@@v_N@@ 为非负下调和函数，锚点 @@M@@\eta=\pi/2@@ 处 @@M@@Z_N(0)=1@@ 精确成立，圆盘链的平均值不等式把近饱和性传播开，再用系数非负性 @@M@@Z_N(2)\ge|Z_N(2\cos\eta)|@@ 把复点信息转成正实逸度的下界。完全避免了对单个复扇区的下界估计。）
问 4：@@M@@\chi>2@@ 的分支和均匀计数界为何要另起炉灶？
（答：定理是逐参数固定 @@M@@\chi@@ 的；控制随 @@M@@N@@ 增长的圈数需要 @@M@@v\ge0@@ 一致的界 @@M@@Z_N(2\cosh v)\le\exp(C\log N(1+v^2))@@，进而 @@M@@w_N(a)\le\exp(C\log N-ca^2/\log N)@@。引言明言这要用截断前的粗实扇区估计——固定参数渐近本身给不出。@@M@@\chi>2@@ 分支是 Gamsa–Cardy 未覆盖的增量。）
问 5：相对 Gamsa–Cardy、Zhou–Batchelor、Garbali–Nienhuis 的真正新意是什么？
（答：GC 假设高斯场标度描述且无有限格点归一化；ZB 是周期转移矩阵的谱计算；GN 给稀释 @@M@@O(1)@@ 开带的行列式和规则。本文的观测是含两个指定标记的收缩，还要计入只围住单个标记的可收缩多边形，须在此几何中辨认有限收缩与非零标量归一化——这是标度预言到严格定理之间缺的那块。）
问 6：作为 AI 生成证明，最可能出错的模式是什么？
（答：多阶段自由能记账的均匀性。参照律（Legendre 正交多项式系综）要在”增长的物理测试”下保持一致的源界；整数维积分的全纯插值若只在固定维数一致，失衡求和的移动就非法；开带一阶压力导数在 @@M@@N@@ 上仿射、误差 @@M@@O(N^{-1})@@ 的口径决定大多边形尾 @@M@@r^{-2}@@。这些量化均匀条件是 AI 证明最易”看起来对”而实际漏界的地方。另需注意关键输入开带多项式态来自配套论文 [StripCompanion]。）
问 7：嵌套质量谁会用？
（答：直接消费者是带内路径长度：原始一阶矩 @@M@@\le h^{13/12+o(1)}@@，条件于穿越底部 @@M@@h/4@@ 带的期望长度 @@M@@h^{4/3+o(1)}@@，两指数之差恰为条件事件 @@M@@\asymp h^{-1/4}@@ 的质量；χ=2 对应包围多边形两种取向的边界环绕恒等式；嵌套与环权估计是族 237”多尺度涨落”一侧的支柱，也是 CLE 型标度极限纲领的离散输入。）
总评
把 Gamsa–Cardy 二十年前基于未证标度图像的库仑气嵌套指数连同有限归一化一起严格化，方法自足；最大风险在跨阶段 @@M@@\log N@@ 记账与全纯插值的均匀性，均无形式化核验。