无质量粒子的规则锁定：温伯格软定理如何逼出电荷守恒与等效原理

核心路线：无质量粒子的规范冗余不是可有可无的记号游戏。当散射振幅必须把等价描述识别为同一物理状态时，自旋 1 被迫要求电荷守恒，自旋 2 被迫要求普遍引力耦合；两个 Python 数值实验把这种“自洽性筛选”直接变成可见的振幅漂移。

原推文：温伯格软定理的完整推导脉络

原始资料：Martin Bauer 于 2022 年 1 月 22 日发布的 The soft photon theorem 串文，共 19 个编号段落；其理论来源是 Steven Weinberg 1964 年的论文 Photons and Gravitons in S-Matrix Theory。以下内容按照原推文次序作中文结构化重构，并补足符号与适用边界，不是逐字转载。

1．问题不是“光子和引力子叫什么”，而是它们为什么只能这样作用

Bauer 开头提出两个问题：为什么无质量自旋 1 玻色子的相互作用必然与守恒荷相连？为什么无质量自旋 2 玻色子的相互作用必然表现得像引力？温伯格的漂亮之处，是不预先假定电荷守恒或等效原理，而是从洛伦兹不变性、S 矩阵的极点结构以及无质量粒子的物理自由度出发，查看哪些耦合能够保持自洽。

这条推导链可以先压缩成一张表：

无质量粒子的自旋 规范一致性要求 被迫出现的物理规则
1 ∑iηigi=0\sum_i\eta_i g_i=0 入射总电荷等于出射总电荷
2 ∑iηigipiμ=0\sum_i\eta_i g_i p_i^\mu=0 所有粒子具有相同的引力耦合
s≥3s\geq3 要求更高阶动量张量普遍守恒 一般散射中只能令长程耦合为零

2．第 2—5 段：无质量意味着偏振描述中存在冗余

在四维时空中，无质量自旋 1 粒子只有两个物理偏振。设其四动量为 kμk^\mu、偏振为 εμ\varepsilon^\mu，则

k2=0,k⋅ε=0. k^2=0, \qquad k\cdot\varepsilon=0.

由于 k2=0k^2=0，把偏振改写为

εμ→εμ+αkμ \varepsilon^\mu\longrightarrow\varepsilon^\mu+\alpha k^\mu

不会改变横向条件，也不应改变任何可观测结果。这不是把光子改造成了另一个粒子，而是用另一组数学坐标描述同一个物理偏振。

无质量自旋 2 粒子的偏振不再是向量，而是对称、无迹并与动量横向的张量 εμν\varepsilon_{\mu\nu}。它的冗余改写相应变为

εμν→εμν+kμξν+kνξμ. \varepsilon_{\mu\nu} \longrightarrow \varepsilon_{\mu\nu}+k_\mu\xi_\nu+k_\nu\xi_\mu.

后面的全部结论，都来自同一要求：如果两种写法代表同一个物理状态，散射振幅就必须把它们识别为同一个状态。

3．第 6—11 段：软粒子把复杂黑箱压缩成外线账本

考虑一个任意复杂的散射过程。若没有额外软粒子，其振幅记作 ℳn(p1,…,pn)\mathcal M_n(p_1,\ldots,p_n)。现在再发射一个动量 k→0k\to0 的无质量自旋 1 粒子，并把它与第 ii 条外线的耦合记为 gig_i。

“软”不是传播速度慢。无质量粒子仍以光速传播；软指能量和动量远小于主散射尺度，也就是波长非常长。

在 k→0k\to0 时，最大的贡献来自把软粒子接到各条入射或出射外线上。振幅必须是标量，所以偏振向量要与外线动量组成 pi⋅εp_i\cdot\varepsilon；传播子的极点则给出分母 pi⋅kp_i\cdot k。把所有可能的外线相加，得到领先软因子：

ℳn+1≃[∑iηigipi⋅εpi⋅k]ℳn. \mathcal M_{n+1} \simeq \left[ \sum_i\eta_i g_i \frac{p_i\cdot\varepsilon}{p_i\cdot k} \right]\mathcal M_n.

其中 ηi=−1\eta_i=-1 表示入射腿，ηi=+1\eta_i=+1 表示出射腿。最重要的一点是：括号内部只知道外线的动量、耦合与进出方向，并不知道黑箱内部发生了什么。复杂微观过程在软极限中被压缩成了一张边界账本。

4．第 12—13 段：自旋 1 的规范冗余强迫电荷守恒

现在进行规范改写 ε→ε+αk\varepsilon\to\varepsilon+\alpha k。软因子的变化为

ΔS(1)=∑iηigipi⋅(αk)pi⋅k=α∑iηigi. \Delta S^{(1)} = \sum_i\eta_i g_i \frac{p_i\cdot(\alpha k)}{p_i\cdot k} = \alpha\sum_i\eta_i g_i.

若规范改写不改变物理，任意 α\alpha 下都必须有 ΔS(1)=0\Delta S^{(1)}=0，因此

∑iηigi=0. \boxed{\sum_i\eta_i g_i=0.}

当 gig_i 是粒子的电荷，这正是电荷守恒：进入反应的总电荷等于离开反应的总电荷。因此，不是先宣布电荷守恒，再允许光子存在；而是一个能够自洽相互作用的无质量自旋 1 粒子，必然要求它所耦合的荷在散射中守恒。

5．第 14—16 段：自旋 2 把动量守恒升级成普遍耦合

对自旋 2，偏振有两个指标，所以领先软因子的分子需要两个外线动量：

S(2)=∑iηigipiμpiνεμνpi⋅k. S^{(2)} = \sum_i\eta_i g_i \frac{p_i^\mu p_i^\nu\varepsilon_{\mu\nu}} {p_i\cdot k}.

代入张量偏振的规范改写后，额外部分可整理为

ΔS(2)=2ξμ∑iηigipiμ. \Delta S^{(2)} = 2\xi_\mu \sum_i\eta_i g_i p_i^\mu.

要让任意 ξμ\xi_\mu 都不改变物理，必须满足

∑iηigipiμ=0. \boxed{\sum_i\eta_i g_i p_i^\mu=0.}

普通四动量守恒已经告诉我们

∑iηipiμ=0. \sum_i\eta_i p_i^\mu=0.

但若不同粒子的 gig_i 各不相同，便不能从普通动量守恒推出加权动量守恒。为了让任意粒子组成的任意散射过程都成立，唯一普遍的选择是所有 gig_i 相同。无质量自旋 2 粒子必须以同一强度耦合到所有物质的能量—动量，这就是等效原理在软散射语言中的核心。

6．第 17—19 段：自旋越高，一致性要求越难满足

推文最后把结论概括为：无质量自旋 1 的低能耦合必须正比于守恒荷；无质量自旋 2 的低能耦合必须是普遍耦合。继续把同样的推导推广到自旋 ss，规范一致性会要求

∑iηigipiμ1⋯piμs−1=0. \sum_i\eta_i g_i p_i^{\mu_1}\cdots p_i^{\mu_{s-1}}=0.

当 s=1s=1 时，这是标量荷守恒；当 s=2s=2 时，普通动量守恒可以承担这个任务；当 s≥3s\geq3 时，则需要不存在于一般散射中的高阶动量张量守恒。于是在平直时空、局域 S 矩阵和通常极点结构等前提下，普遍可行的答案是相应长程耦合为零。这解释的是为什么我们没有看到自旋 3 以上粒子产生类似电磁力、引力的宏观长程场，而不是断言任何数学背景中的高自旋理论都绝对不存在。

7．和“大宇之形”既有路线的连接

这条论证与站内关于“无质量自旋 2 自举”的文章正好互补。软定理从散射振幅的低能边界出发，直接锁定引力耦合的普遍性；它本身还没有单独推导出完整的爱因斯坦方程。继续要求引力子自身也携带能量、也必须与引力耦合，并不断恢复非线性一致性，才会进一步走向广义相对论。

用观察者与规则学的语言说，规范变换是在同一个物理等价类中更换描述。只有那些不依赖描述代表元的量，才有资格成为观察者可共同确认的事实。电荷守恒与普遍引力耦合，正是在删除描述冗余之后仍然留下的不变量。

一句话结论：光子像是“电荷守恒获得了传播形式”，引力子像是“能量—动量的普遍性获得了几何形式”；自然规律的美，有时不在于它允许多少可能，而在于自洽性让它几乎没有别的选择。

两个 Python 数值实验：把一致性条件变成可见的漂移

下面两个实验使用同一组精确满足四动量守恒的 2→22\to2 无质量粒子散射数据。它们不模拟某一种具体材料，而是检验软定理最关键的代数问题：改变无质量粒子的规范描述以后，散射软因子是否仍代表同一个物理过程。GIF 已作为 Base64 数据直接嵌入本页，不依赖站外图片。

实验一：自旋 1——规范不变性逼出电荷守恒

自旋 1：规范不变性逼出电荷守恒

这个 GIF 怎么看

先看顶部公式：ΔS(1)(α)=αQnet\Delta S^{(1)}(\alpha)=\alpha Q_{\mathrm{net}}。这里的 α\alpha 不是给系统施加的新外力，而是把同一光子偏振写成 ε→ε+αk\varepsilon\to\varepsilon+\alpha k；如果规范冗余真的只是“换一种写法”，物理软因子就不应移动。右上角是电荷账本，ηi\eta_i 把入射腿记为负号、出射腿记为正号。青色样本四项之和为零；粉色样本故意把第四条腿的电荷从 −1-1 改成 −0.4-0.4，留下 Qnet=0.6Q_{\mathrm{net}}=0.6。再看左侧主图：黄色竖线带着当前 α\alpha 往返扫描。青色圆点始终钉在零线上，说明不论怎样改写偏振，计算结果都不变；粉色圆点则沿斜率 0.60.6 的直线漂移，且漂移正好等于 0.6α0.6\alpha。右下角把漂移取绝对值后做成仪表，能直观看到守恒样本始终为零，而失衡样本随 |α||\alpha| 张开。实验直接代入四条具体四动量和软动量 ω=0.08\omega=0.08 计算，不是只画解析直线；直接计算与公式的最大差异约为 10−1410^{-14}。因此这张图最重要的信息是：电荷守恒并非外加口号，而是保证“描述变化不变成物理变化”的一致性条件。

实验二：自旋 2——普遍耦合逼出等效原理

自旋 2：普遍耦合逼出等效原理

这个 GIF 怎么看

先抓住顶部的加权动量残差 Rgμ=∑iηigipiμR_g^\mu=\sum_i\eta_i g_i p_i^\mu。普通四动量 ∑iηipiμ\sum_i\eta_i p_i^\mu 在每一帧都严格等于零；动画只改变两个出射粒子的引力耦合，令 g3=1+δg_3=1+\delta、g4=1−δg_4=1-\delta。左侧热图把所有 (g3,g4)(g_3,g_4) 组合都算了一遍：颜色越亮，∥Rg∥2\|R_g\|_2 越大，规范一致性越差；绿色星号 (1,1)(1,1) 是普遍耦合点，也是残差真正归零的位置。白色圆点沿虚线离开星号再返回，表示逐渐打破、再恢复等效原理。右上角把四项 ηigipi\eta_i g_i p_i 首尾相接：δ=0\delta=0 时箭头闭合；耦合一分裂，末端便出现红色缺口，这个缺口就是加权动量残差。右下角进一步区分三件事：绿色普通动量残差始终为零，红色加权残差按 ∥Rg∥2=10δ\|R_g\|_2=10\delta 增长，黄色规范漂移按 |ΔS(2)|=3.2δ|\Delta S^{(2)}|=3.2\delta 增长；直接计算也满足 ΔS(2)=2ξμRgμ\Delta S^{(2)}=2\xi_\mu R_g^\mu。所以问题不是散射破坏了动量守恒，而是不同粒子若以不同强度“感受引力”，动量守恒便无法替规范冗余消项。要让任意过程都自洽，所有 gig_i 必须相同，这正是软极限中的等效原理；它锁定了普遍耦合，但尚不等于单独推导出完整的非线性广义相对论。

数值实验复现

python3 generate_soft_theorem_gifs.py

依赖：Python 3、NumPy、Matplotlib、Pillow，以及 Noto Sans CJK 字体。

原始资料与适用边界

软定理锁定的是平直时空散射框架中的领先低能耦合。自旋 2 的普遍耦合是等效原理的核心，但仅凭这一条还没有单独得到完整的非线性爱因斯坦方程。