结果族 215：Canonical
@@M@@O(3)@@continuum limit and exact@@M@@O(4)@@mass asymptotics · 学科：Probability and statistical mechanics · 验证状态：暂无形式化证明，请以社区核验为准
温度极低时，磁针间的关联衰减得极其缓慢——关联长度（质量的倒数）随降温指数式爆炸。物理学家早就借可积理论算出了公式，但要从一个具体指定的格点模型严格证明”连最后那个常数都正确”，一直无人做到。本文对二维 O(4) 模型完成了这件事。
关键词卡片
看个具体例子
数字版定理：@@M@@m_{\mathrm{lat}}(\beta)\sim 32\,e^{\pi/4-1/2}\sqrt{\beta}\,e^{-\pi\beta}@@，其中常数因子 @@M@@32e^{\pi/4-1/2}\approx 42.6@@。代入 @@M@@\beta=10@@：@@M@@m\approx 42.6\times 3.16\times e^{-31.4}\approx 3\times10^{-12}@@，关联长度约三千亿个格距——难怪低温模拟”看起来永远相关”。对比之下，此前严格已知的只有同族工作给出的上下界 @@M@@c\sqrt\beta e^{-\pi\beta}\le m\le C\sqrt\beta e^{-\pi\beta}@@，常数不明。
为什么值得关心
这是首次对指定格点模型完整证明含常数前因子的质量渐近，让格点定义与可积连续统的预言精确接轨；前因子对微观归一化约定极其敏感，正是这一步的难点所在。证明绕道配分函数：先控制每个局部观测扇区，再引入一个布朗调节器模型做谱计算，最后用响应比较固定归一化，三步缺一不可。
暂无形式化证明（AI 结果待核验）
第一级台阶
导读说”温度极低时磁针关联衰减极慢，关联长度随降温指数爆炸，物理学家早有公式，但没人从具体格点模型严格证到连最后那个常数都对”。翻译过来：对象是自旋取值于四维球面的方格模型（”4”是内部分量数，时空仍是二维）；操作是把”质量”定义为时间平移算子的谱间隙——它是关联长度的倒数；要问的是 @@M@@\beta\to\infty@@ 时质量衰减的完整渐近：指数、@@M@@\sqrt\beta@@ 因子、常数前因子一个不漏。
第二级台阶
用本科术语精确化。周期 Gibbs 测度 @@M@@\mathrm{d}\mu_{\beta}\propto\exp(\beta\sum_{\langle xy\rangle}\sigma_x\cdot\sigma_y)\prod_x\mathrm{d}\omega_3@@；由反射正性得 Osterwalder–Schrader 希尔伯特空间 @@M@@\mathcal H_\beta@@，一步时间平移诱导正自伴压缩算子 @@M@@T_\beta@@，质量定义为 @@M@@m_{\mathrm{lat}}(\beta)=-\log\|T_\beta|_{\Omega_\beta^\perp}\|@@——含一切旋转不变局部观测扇区的完整转移隙，单位是一个原始格点时间步。记号 @@M@@f\sim g@@ 指 @@M@@f/g\to1@@。
第三级台阶
定理陈述为 @@M@@\lim_{\beta\to\infty}\frac{e^{\pi\beta}}{\sqrt\beta}m_{\mathrm{lat}}(\beta)=32e^{\pi/4-1/2}@@。语境：同族尖锐阶定理已给 @@M@@c\sqrt\beta e^{-\pi\beta}\le m_{\mathrm{lat}}\le C\sqrt\beta e^{-\pi\beta}@@，本文在夹逼中定出极限。假设”最近邻方格、周期测度”挡住的是归一化约定——前因子对微观相互作用归一化极其敏感，换格点或换作用量常数即变；”完整转移隙”保证旋转不变扇区也在探测范围内，结论因此是最强形式。结论一句话：格点定义与可积连续统的预言精确接轨，常数前因子首次严格定死。
证明方格上近邻 @@M@@O(4)@@ 模型的完整 OS 转移算子质量隙满足精确低温渐近 @@M@@m_{\mathrm{lat}}(\beta)\sim32e^{\pi/4-1/2}\sqrt\beta\,e^{-\pi\beta}@@，首次对指定格点模型把指数、@@M@@\sqrt\beta@@ 因子与常数前因子一并严格确定。
二维 @@M@@O(n)@@（@@M@@n>2@@）@@M@@\sigma@@ 模型是”局域相互作用产生指数大关联长度”的基本例子：Polyakov 与 Brézin–Zinn-Justin 的重整化群分析说明质量标度由渐近自由决定。Hasenfratz–Maggiore–Niedermayer（@@M@@O(3)@@、@@M@@O(4)@@）与 Hasenfratz–Niedermayer（一般 @@M@@n\ge3@@）用 Bethe ansatz 匹配微扰论，得到连续统理论中质量与 @@M@@\overline{\mathrm{MS}}@@ 重整化标度之比，对 @@M@@O(4)@@ 为 @@M@@m/\Lambda_{\overline{\mathrm{MS}}}=\sqrt{32/(\pi e)}@@。但这是可积连续统描述内部的比值；要对一个指定格点模型完整证明含常数前因子的质量渐近，还得控制两件事：把格点调节器与理论中的场归一化对上，以及确认探测到隙的可观测扇区。此前的严格结果只有同族工作给出的尖锐阶（sharp order）@@M@@c\sqrt\beta e^{-\pi\beta}\le m_{\mathrm{lat}}(\beta)\le C\sqrt\beta e^{-\pi\beta}@@——指数与 @@M@@\sqrt\beta@@ 幂对，常数未知。
模型为 @@M@@S^3\subset\mathbb R^4@@ 上的自旋与周期 Gibbs 测度 @@M@@\dd\mu_{\beta,L}\propto\exp(\beta\sum_{\langle xy\rangle}\sigma_x\cdot\sigma_y)\prod_x\dd\omega_3@@。由反射正性（reflection positivity）构造 Osterwalder–Schrader 希尔伯特空间 @@M@@\mathcal H_\beta@@，一步时间平移诱导正自伴压缩算子 @@M@@T_\beta@@，质量定义为 @@M@@m_{\mathrm{lat}}(\beta)=-\log\|T_\beta|_{\Omega_\beta^\perp}\|@@——这是包括旋转不变局部可观测在内、一切扇区的完整转移隙（transfer gap），单位取一个原始格点时间步。定理 1.1：@@M@@\lim_{\beta\to\infty}\frac{e^{\pi\beta}}{\sqrt\beta}m_{\mathrm{lat}}(\beta)=32e^{\pi/4-1/2}@@，即 @@M@@m_{\mathrm{lat}}(\beta)\sim32e^{\pi/4-1/2}\sqrt\beta\,e^{-\pi\beta}@@。
证明绕道配分函数，因为配分函数能同时容纳完整转移算子与辅助模型；共三个要素。其一，可观测扇区比较：在任何有限铁磁图上，两个偶自旋单项式的协方差不超过其支撑间最大自旋相关的平方（奇单项式则为一次幂），常数只依赖次数；结合转移谱测度的正性与多项式稠密性，这控制了每个局部可观测扇区，有限柱上的有界奇探测器又提供柱本征值与平面隙之间的反向比较——于是 @@M@@m_{\mathrm{lat}}@@ 可表为增长矩形上”奇迹与偶迹之比”的衰减率。其二，引入布朗调节器（Brownian regulator）：自旋取值 @@M@@U(2)=(U(1)\times SU(2))/\{\pm1\}@@ 中的环路，空间是周长 @@M@@W@@ 的圆、时间离散；展开时间相互作用得到按粒子数 @@M@@n_p\ge0@@ 指标的正转移算子 @@M@@T_{n_p}@@，负中心时间扭使 @@M@@n_p@@ 扇区乘 @@M@@(-1)^{n_p}@@，令 @@M@@\tau_\ell@@ 为相应宇称的最大范数。谱计算给出 @@M@@\log\tau_0-\log\tau_1\sim32\sqrt2\sqrt b\,e^{-\pi b}@@（@@M@@b@@ 为辅助耦合），前提是最大化粒子数密度 @@M@@n_p/W=b^2+O(b)@@，后者由附近的逸度估计验证；为此要构造有限圆上的本征态、把它们识别为接触哈密顿量（contact Hamiltonian）的正基态，并控制其余转子绕数项。其三，调节器匹配：把布朗调节器与”增广 Wilson 模型”（由实高斯提升与两个绕数之和构造的圆场）对上，绕数宇称给 Wilson 自旋施加相应符号扭。匹配输出两样东西：一是在增长矩形上，去掉体标量因子后配分函数的绝对差被控制，精度足以分辨指数小的奇迹——用周期时间边界与跨时间缝变号边界的半和、半差分离两个宇称，再比较时间长度 @@M@@t@@ 与 @@M@@2t@@，即从布朗迹转到范数 @@M@@\tau_0,\tau_1@@；二是在固定体积展开中匹配有限阶响应系数，对小旋转边界扭（螺度，helicity）的响应定出有限移位 @@M@@\beta-b=\frac14-\frac{1+\log2}{2\pi}+o(1)@@。两式结合即得定理：移位代入后 @@M@@\sqrt2\cdot e^{-(\log2)/2}=1@@ 恰好把系数 @@M@@32\sqrt2@@ 修成 @@M@@32@@、指数修成 @@M@@\pi/4-\frac12@@。配分比较搬运质量，响应比较固定归一化，二者缺一不可。
本篇以同族 @@M@@O(4)@@ 尖锐阶定理（提供容许重整化轨迹与有限体积估计）为构造起点，并改编两篇姊妹篇的工具：@@M@@O(3)@@ 极点论文第 4 节的宇称比较（移植到 @@M@@S^3@@，增加圆坐标、复权重与增长长宽比矩形）与 @@M@@O(3)@@ 连续统论文第 7 节的积分比较；常数链条我已手工核算，@@M@@32\sqrt2\,e^{\pi/4-(1+\log2)/2}@@ 确实化简为 @@M@@32e^{\pi/4-1/2}@@。注意该前因子敏感于微观相互作用的归一化约定，与 @@M@@\overline{\mathrm{MS}}@@ 方案下的比值不可直接对照——这正是需要显式调节器匹配的原因。本篇暂无 Lean 形式化证明；OpenAI 官方声明未经形式化的结果可能有问题，请以社区核验为准。
问 1：证明里最关键、最脆弱的一步是哪里？
答：调节器匹配的两个输出。配分比较负责搬运质量：增长矩形上（去掉体标量因子后）配分函数绝对差要小到能分辨指数小的奇迹，用周期边界与跨时间缝变号边界的半和半差分离两个宇称，再比较时间长度 @@M@@t@@ 与 @@M@@2t@@ 从布朗迹转到 @@M@@\tau_0,\tau_1@@。响应比较负责固定归一化：对小旋转边界扭（螺度）的响应定出有限移位 @@M@@\beta-b=\frac14-\frac{1+\log2}{2\pi}+o(1)@@。最脆弱处是布朗谱公式 @@M@@\log\tau_0-\log\tau_1\sim32\sqrt2\sqrt b\,e^{-\pi b}@@ 的前提——最大化粒子数密度须为 @@M@@n_p/W=b^2+O(b)@@，它由附近的逸度估计验证，且需在有限圆上构造本征态并识别为接触哈密顿量正基态。
问 2：为什么前因子对”最近邻、周期 Gibbs”这样的约定如此敏感，假设改一点就失效？
答：前因子记录的是微观相互作用与连续统归一化之间的调节器差异；引言明说它敏感于微观相互作用的归一化，与 @@M@@\overline{\mathrm{MS}}@@ 方案的比值不可直接对照。换作用量（如加高阶项）常数就变，所以定理必须钉死最近邻方格模型。
问 3：与已有工作相比真正的新意是什么？
答：物理一方，Hasenfratz–Maggiore–Niedermayer 的 @@M@@m/\Lambda_{\overline{\mathrm{MS}}}=\sqrt{32/(\pi e)}@@ 只是可积连续统内部的比值；严格一方只有同族的尖锐阶 @@M@@c,C@@ 夹逼与 Kupiainen 的大分量（不同于固定 @@M@@O(4)@@）质量隙。本文首次对指定格点模型完整证明含常数前因子的质量渐近。
问 4：这类 AI 生成证明最可能在哪里出错？
答：常数链的算术与精度声明。比如声称 @@M@@\sqrt2\cdot e^{-(\log 2)/2}=1@@ 把 @@M@@32\sqrt2@@ 与指数修成 @@M@@32e^{\pi/4-1/2}@@——这一步代数成立，但它前面的每个常数（接触哈密顿量基态能量、绕数项控制、高斯因子在宇称比中相消、绕数修正对奇迹精度可忽略）都必须在声称的精度下成立；布朗密度可为复值，靠对正的增广 Wilson 测度积分救回正性，这类”复中间量、正终值”的论证是隐蔽错误高发区。本文未形式化，需逐项复核。
问 5：为什么证明要绕道配分函数？
答：因为配分函数能同时容纳完整转移算子与辅助布朗模型；奇迹本身指数小，直接谱分析分辨率不够，而增长矩形上的配分比较配合时间方向加倍恰好把范数比 @@M@@\tau_0,\tau_1@@ 提取出来。
问 6：谁会用到它？
答：格点规范理论社区得到一个可精确对照的基准（关联长度在 @@M@@\beta=10@@ 时已达约三千亿格距，低温模拟可直接检验）；可积场论与格点的接轨从此有严格锚点；方法上，宇称比较与积分比较已在族内三篇论文间复用。
总评
这是”最后一个常数也证出来”的罕见成果，把渐近自由预言钉死在指定格点模型上；最大风险在多模型匹配链的精度与常数簿记，且无形式化核验，宜以独立核算为准。