结果族 215：Canonical
@@M@@O(3)@@continuum limit and exact@@M@@O(4)@@mass asymptotics · 学科：Probability and statistical mechanics · 验证状态：暂无形式化证明，请以社区核验为准
收音机的频谱可以从某个频率起连成一片杂音，也可以在最低处先立着一个清晰的电台。”有质量隙”只保证谱从正数开始，并不保证最低处有”电台”。本文证明：姊妹篇构造出的 O(3) 极限场，其谱在最低质量处确实有一个孤立原子——也就是说，这个理论里真的有一颗”单粒子”。
关键词卡片
看个具体例子
定理写成公式：@@M@@\rho=Z\,\delta_{m_1^2}+\rho_{\mathrm{rest}}@@，其中原子权重 @@M@@Z>0@@，其余谱的支撑整体落在 @@M@@(m_1+\delta)^2@@ 之后。图里那根红色竖线就是质量为 @@M@@m_1@@ 的单粒子，它与灰色连续谱之间隔着一段正的”无人区”@@M@@\delta@@。注意”正原子”与”正间隙”两件事都不能由指数衰减免费推出，必须分别证明。
为什么值得关心
它把严格构造的场论从”有隙”推进到”有粒子”，是继 Glimm–Jaffe–Spencer 之后罕见的构造性粒子存在定理。本篇完全站在姊妹篇构造的肩上做谱分析：构造若有问题，本篇随之失效；反过来它把那份构造从”有隙”推进到”有粒子”。
暂无形式化证明（AI 结果待核验）
第一级台阶
导读用”频谱最低处有没有清晰电台”打比方。翻译过来：对象是姊妹篇从二维 @@M@@O(3)@@ 格点模型构造出的那个连续统自旋场；操作是把它的两点函数按”质量”拆开成一份谱清单；要问的是：清单最底下那一档，是一个离散的”电台”（原子），还是从某个阈值起就连成一片的杂音。
第二级台阶
用本科术语精确化。内部 @@M@@O(3)@@ 对称加 Källén–Lehmann 表示给出 @@M@@W_2^{ij}(x)=\delta_{ij}\int_{[0,\infty)}\Delta_+(x;\mu^2)\,\rho(\mathrm{d}\mu^2)@@：两点函数是各种质量的自由粒子两点分布 @@M@@\Delta_+@@ 按 正测度 @@M@@\rho@@ 的叠加，@@M@@\rho@@ 就是谱测度，记录场能耦合哪些质量。原子指 @@M@@\rho@@ 在单点 @@M@@m_1^2@@ 处的一块离散质量 @@M@@Z\delta_{m_1^2}@@。分析在柱面上做：空间周长 @@M@@w@@、格点截断 @@M@@N@@，记最小正转移能量为 @@M@@e_N(w)@@、不超过 @@M@@u@@ 的转移能量个数为 @@M@@\mathcal{N}_{N,w}(u)@@。
第三级台阶
定理陈述为：存在 @@M@@m_1,Z,\delta>0@@ 与正测度 @@M@@\rho_{\mathrm{rest}}@@，使 @@M@@\rho=Z\delta_{m_1^2}+\rho_{\mathrm{rest}}@@ 且 @@M@@\operatorname{supp}\rho_{\mathrm{rest}}\subset[(m_1+\delta)^2,\infty)@@。语境假设是：场来自姊妹篇定理 1.2 的固定处方，其均匀有限体积估计（配分函数缺陷指数小、归一化局部自旋和的阶乘矩界）是决定性输入——格距趋零时归一化恰好保住电路与簇携带的场权重。结论要害在于：权重 @@M@@Z>0@@ 与间隙 @@M@@\delta>0@@ 是两个独立命题，都不能由指数衰减免费推出；合起来说，这个理论里真的有一颗孤立的单粒子。
在姊妹篇构造的二维 @@M@@O(3)@@ 模型连续统自旋场上，证明向量二点谱测度在最低质量处有一个正原子，且与其余谱支撑隔开正距离——最低质量是孤立的单粒子极点（isolated particle pole），而非连续谱的起点。
“有质量隙”与”有孤立粒子质量”是两个不同的谱命题：正谱测度完全可以从某个严格正的阈值连续展开而不含任何原子，此时指数衰减成立、却没有粒子态。物理一方，二维 @@M@@O(3)@@ @@M@@\sigma@@ 模型的可积理论早已预言单粒子：Zamolodchikov 因子化散射给出粒子图像，Hasenfratz–Maggiore–Niedermayer 与 Hasenfratz–Niedermayer 用 Bethe ansatz 匹配微扰论得到精确质量公式，Balog–Niedermaier 计算了自旋场形式因子与谱密度。但这些结论都活在可积连续统描述内部；要从指定的最近邻格点极限出发、在严格构造出的场上证明原子存在，是构造场论的问题。经典先例是 Glimm–Jaffe–Spencer 对弱耦合 @@M@@P(\phi)_2@@ 用粒子团簇展开证出孤立粒子质量；本篇出发点不同——姊妹篇 @@M@@O(3)@@ 连续统构造附带的均匀有限体积控制。
设 @@M@@\phi=(\phi^1,\phi^2,\phi^3)@@ 为姊妹篇（其定理 1.2 的固定格距与场归一化处方）构造的厄米向量场。内部 @@M@@O(3)@@ 对称与 Källén–Lehmann 表示（Källén–Lehmann representation）给出 @@M@@W_2^{ij}(x)=\delta_{ij}\int_{[0,\infty)}\Delta_+(x;\mu^2)\,\rho(\dd\mu^2)@@，其中 @@M@@\Delta_+@@ 是正频自由标量两点分布，正测度 @@M@@\rho@@ 记录场所耦合的全部质量。定理 1.1：存在 @@M@@m_1,Z,\delta>0@@ 与正测度 @@M@@\rho_{\mathrm{rest}}@@ 使 @@M@@\rho=Z\delta_{m_1^2}+\rho_{\mathrm{rest}}@@，@@M@@\operatorname{supp}\rho_{\mathrm{rest}}\subset[(m_1+\delta)^2,\infty)@@。换言之，最低质量 @@M@@m_1@@ 是 @@M@@\rho@@ 支撑的最小点，以权重 @@M@@Z>0@@ 的原子（atom）出现，并与其余全部质量支撑隔着间隙 @@M@@\delta@@。权重为正与间隙为正都必须证明，二者都不能由指数衰减直接推出。
记 @@M@@m_*@@ 为 @@M@@\rho@@ 支撑的下确界；姊妹篇的真空隙与非零单场态给出 @@M@@0<m_*<\infty@@。在格点截断 @@M@@N@@、空间周长 @@M@@w@@ 的柱面上，记 @@M@@e_N(w)@@ 为最小正转移能量（transfer energy），@@M@@\mathcal N_{N,w}(u)@@ 为不超过 @@M@@u@@ 的转移能量个数（计重数、含真空）。证明是五步流水线。先做转移与迹估计：由姊妹篇”物理方框加倍时配分函数缺陷指数小、且对截断一致”的输入，导出矩形迹界与柱面—平面比较，并得到 @@M@@e_N(w)@@ 关于 @@M@@N@@ 与一切充分大 @@M@@w@@ 一致的正下界。再做宇称（parity）分离：在任意有限铁磁图上，偶自旋多项式的协方差被两点相关的平方控制，于是在对联合自旋反演不变的行函数扇区，一切非真空转移能量至少 @@M@@2e_N(w)@@——最低激发必是奇的，且带有可被自旋簇检验符号的定量重叠；工具箱里有 Griffiths–Ginibre 正性理论、FKG 正关联、Edwards–Sokal 耦合（把自旋关联化为嵌入 Ising 符号的连通事件）与 Köhler–Schindler–Tassion 穿约定理供给的局部电路。第三步”可见性”：用这些簇与电路证 @@M@@\liminf_w\liminf_N e_N(w)\ge m_*@@，在不选取任何极限本征向量的前提下锁定计数所需的质量标度。第四步计数：交换环面的两个方向，把周长 @@M@@2w@@ 的热迹与周长 @@M@@w@@ 迹的平方比较，配合能量截断的正多项式逼近，证明低于双激发阈值时周长加倍至多使计数加倍，得 @@M@@\limsup_N\mathcal N_{N,w}(3m_*/2)\le Cw@@。最后从计数到原子：对每个格点动量 @@M@@p@@ 构造有限正测度 @@M@@\nu_{N,w,p}@@（由动量投影后的转移能量谱定义），证明其各阶矩收敛到连续统两点函数的傅里叶变换；若 @@M@@[m_*,5m_*/4]@@ 内有 @@M@@J@@ 个不同质量，它们在一整段动量区间内各需一份低能态，共需至少 @@M@@cJw@@ 个，与计数界 @@M@@Cw@@ 冲突，故 @@M@@J@@ 有界——该区间内只有有限个质量，最小点孤立；正的局部有限测度必给孤立支撑点严格正的有限质量，@@M@@Z=\rho(\{m_*^2\})\in(0,\infty)@@，定理得证。
本篇是站在姊妹篇肩上的谱分析：连续统场、OS 重构、真空上的隙、非零单场范数、均匀配分函数缺陷与阶乘矩界全部取自族内 @@M@@O(3)@@ 连续统构造论文，构造若有误则本篇随之失效；反过来它把该构造从”有隙”推进到”有粒子”。另一姊妹篇”@@M@@O(4)@@ 精确质量渐近”又改编了本篇第 4 节的宇称比较作为有限图模板。本篇暂无 Lean 形式化证明；OpenAI 官方声明未经形式化的结果可能有问题，请以社区核验为准。
问 1：证明里最关键、最脆弱的一步是哪里？
答：从计数到原子的收尾。用动量投影构造有限正测度 @@M@@\nu_{N,w,p}@@、证明其各阶矩收敛到连续统两点函数的傅里叶变换后，若 @@M@@[m_*,5m_*/4]@@ 内有 @@M@@J@@ 个不同质量，一整段动量区间各需一份低能态、共至少 @@M@@cJw@@ 个，与计数界 @@M@@\limsup_N\mathcal N_{N,w}(3m_*/2)\le Cw@@ 冲突，故 @@M@@J@@ 有限、最小点孤立。脆弱点在”可见性”一步：@@M@@\liminf_w\liminf_N e_N(w)\ge m_*@@ 必须在不选取任何极限本征向量的前提下成立，量词次序（先固定物理周长取截断极限）错一次就全盘皆输。
问 2：为什么”正原子”和”正间隙”都不能由指数衰减推出？
答：指数衰减只保证谱支撑有严格正的下确界 @@M@@m_*@@；正测度完全可以从 @@M@@m_*@@ 起连续展开而不含任何原子——此时有隙而无粒子。故 @@M@@Z>0@@ 与 @@M@@\delta>0@@ 是两个独立命题，本文分别用计数约束与局部有限测度的性质证出。
问 3：与已有工作相比真正的新意是什么？
答：可积场论（Zamolodchikov 散射、Balog–Niedermaier 形式因子）预言粒子但活在可积连续统描述内部；构造性先例 Glimm–Jaffe–Spencer 用粒子团簇展开处理弱耦合 @@M@@P(\phi)_2@@。本文首次从指定的最近邻格点极限出发、在严格构造的场上直接证出孤立质量，且明确不假设有限周长的本征值在无限体积极限中存活。
问 4：这类 AI 生成证明最可能出错的模式？
答：工具缝合与一致性。宇称分离要把 Griffiths–Ginibre 正性、FKG、Edwards–Sokal 耦合、Köhler–Schindler–Tassion 穿约定理拼在一起，并给出三分量旋转子的完整专用论证；电路附着到连接上的自旋场权重必须随格距趋零保持归一化。任何一处常数未对截断 @@M@@N@@ 与周长 @@M@@w@@ 一致，热迹的环面方向交换比较就会留出漏洞。本文暂无形式化核验。
问 5：对姊妹篇构造的依赖有多深？
答：完全站在其肩上：连续统场、OS 重构、真空上的隙、非零单场范数，以及两条定量输入（物理方框加倍时配分函数缺陷指数小且对截断一致、归一化局部自旋和的一致阶乘矩界）。构造若有误，本篇随之失效；反之本篇把构造从”有隙”推进到”有粒子”。
问 6：谁会用到它？
答：另一姊妹篇”O(4) 精确质量渐近”改编了本篇第 4 节的宇称比较作为有限图模板；对构造性场论，这是继 Glimm–Jaffe–Spencer 之后罕见的严格粒子存在定理，也为数值检验形式因子与谱密度提供了严格锚点。
总评
把严格构造的 @@M@@O(3)@@ 场论从”有隙”推到”有粒子”，命题干净、位置关键；但它是纯下游结果，风险与其地基（姊妹篇构造）绑定，且自身未形式化，核验时两篇须同审。