第四十七章 费曼、施温格与朝永：相互作用怎样成为可计算的物理
一、小小的偏差为何能要求巨大的重组
狄拉克方程给出了电子自旋磁矩的最低阶结构，但电子并不是一个与电磁场永不相遇的孤立系统。若它能发射和吸收辐射，同一相互作用也应参与质量、磁矩和能级的规定。问题随即变得尖锐：计算这些修正时出现的无穷大，究竟表明电子不存在，理论没有意义，还是我们把输入参数与可测量混在了一起？
施温格一九四八年的短文明确把质量、电荷的重整化与有限的磁矩修正联系起来；朝永一九四六年的论文处理场论的相对论不变表述；费曼一九四九年的论文发展时空方法。[1][2][3]这些路线不是三位天才分别给同一公式换了名字，而是在相互作用怎样组织、相对论条件怎样保持、哪些量需要重新规定的问题上形成不同的工作入口。
戴森一九四九年的论文把这些路线联系起来，同时在摘要中说明，高阶过程的讨论没有给出一般的收敛证明。[4]这个限定值得保留：一个可以系统计算并得到极佳结果的微扰理论，不因此自动成为每种极限下都已严格完成的数学对象。其力量正应在明确适用条件内评价。
本章不把量子电动力学的建立缩成“消去无穷大”的奇术。我们将依次区分振幅与概率、内部线与探测轨迹、裸参数与测量参数、紫外困难与低能软辐射困难。这些区分接在一起，才形成从形式展开到实验数字的工作系统。
二、微扰展开不是把电子切成很多份
设哈密顿量由可解的H₀与相互作用V组成。在相互作用绘景中，演化算符满足iℏdU/dt＝V_I(t)U。把这个积分方程反复代回自身，第一阶是一次时间积分，第二阶是对两个按次序排列的时刻积分，依次出现更高阶。每一阶表示运算中相互作用因子的次数，并不是宣称电子在自然中被切成若干按阶数命名的碎片。
若相互作用带一个小参数λ，某个跃迁振幅可写成A＝λA₁＋λ²A₂＋更高阶项。概率并不是各阶概率的简单相加。展开模平方得到|A|²＝λ²|A₁|²＋2λ³Re(A₁* A₂)＋λ⁴|A₂|²，再加上同阶其他贡献。第二项是干涉，可以为正也可以为负。
取一个完全透明的数值例子，令λ＝0.1，A₁＝1，A₂＝−2。只保留两阶振幅，得到A＝0.08，概率为0.0064。若错误地把两阶分别平方再相加，得到0.0104；若只保留概率到三阶，得到0.006。两者的差别说明，近似阶数必须在整个计算链上保持一致，不能把“我算了两个图”自动理解成“我完成了某阶精度”。
这个例子不是量子电动力学的具体截面，只是展示展开纪律。真实计算中的阶数还要按电荷耦合、圈数、外态与过程分类。某一过程若最低阶振幅恰好为零，其首个非零概率阶数也会改变。因此，所谓修正很小必须相对于实际主导项判断，不能只看公式前面有一个小常数。
此外，小耦合并不保证任何情况下有限阶都够用。如果每阶同时伴随很大的对数，真正控制展开的可能是λln(Q/q₀)；当尺度比特别大，这个组合不再小。研究者需要重新求和某些重复贡献，不能用“耦合仍小”忽略大对数。有效计算取决于全部无量纲组合。
三、图是一种运算语法，不是一段被偷拍的电影
费曼图把相互作用展开中的连接关系画出来，使复杂表达的生成与核对变得高效。外线关联所制备或探测的粒子状态，内部线关联传播函数，顶点关联相互作用规则。图的直观性来自它保存了连接与组合结构，不在于它已经拍下每个粒子的实际路线。
考虑两种不同带电费米子的弹性散射。在最低阶，电子流与另一粒子流通过光子传播函数连接，振幅的结构可以简写为电荷平方乘以两侧电流，再除以转移动量平方。这里转移动量q等于入射与出射四动量之差。内部光子通常不满足自由实光子的q²＝0条件，因此不能把它当作某个探测器漏拍的普通光子。
这也不是说内部粒子“暂时违反能量守恒”。在动量空间规则中，每个顶点都有能量动量守恒；内部四动量可以不满足实粒子的质量壳关系，是另一件事。把两者混为一谈，再用能量时间不确定性解释“借来能量后马上归还”，会用一个形象说法遮盖真正的计算条件。
内部线也不是单独可观测的零件。改变规范选择，若干图或某些传播项的外观可以改变，而完整的物理振幅必须保持相应不变性。若把某一张图中的一条线当作独立发生的事件，就可能把随计算约定改变的对象误认为实验实在。图的有效性来自全部规则共同产生可检验结果。
可以用一个代数检查显示这种约束。电磁传播项中的规范依赖部分通常带有q_μq_ν。它与守恒电流连接后产生(q·j₁)(q·j₂)，在合法外态与完整处理下为零。对于自由旋量电流，q_μ乘以电流可用入出态的狄拉克方程化为两个相同质量项之差。某项消失依靠状态条件，不是因为我们觉得它“不物理”便任意擦除。
这个检查具有实践意义。若计算结果依赖本应任意的规范参数，可能漏了某类图、反项或条件。形式冗余由此成为诊断错误的工具。物理世界没有多出一个可测的规范旋钮，理论却多出了一种检查计算是否完整的能力。
四、一个对数模型怎样区分输入与预言
为看清重整化的逻辑，先研究一个不冒充完整QED的简化模型。某个无量纲响应在截断Λ下写为R(Q)＝g₀＋b g₀² ln(Λ/Q)＋O(g₀³)，其中Q表示探测尺度，g₀是表达式中原有参数，b为已知系数。若固定g₀后让Λ无限增大，第二项发散。
实验并不直接测g₀。选一个参考尺度Q₀，把实测响应定义为g_R＝R(Q₀)。在同一阶数反解，g₀＝g_R−b g_R² ln(Λ/Q₀)＋O(g_R³)。将它代回另一个尺度的响应，截断对数相消，得到R(Q)＝g_R＋b g_R² ln(Q₀/Q)＋O(g_R³)。
这一步没有从无穷大减去无穷大后任意宣布答案。它在有限截断下使用一次测量替代不可直接观测的参数，并按相同近似阶数消去截断依赖。最后剩下的尺度差别不能再任意调整：g_R由参考测量固定以后，另一尺度的响应成为预言。若预言失败，不能再为每个Q独立重设g_R而仍声称同一理论成功。
同样重要的是，这个例子只显示单个对数结构如何处理。真实量子电动力学必须证明需要吸收的发散具有相容形式，质量、场归一化和电荷重定义之间满足约束，并把不同过程接成一套共同方案。一个玩具式子可以澄清逻辑，却不能替代完整理论的证明。
把重整化说成“用实验数据填掉所有错误”因此不准确。它确实需要实验输入，但预测能力取决于输入数量有限、同一输入约束大量结果，以及在改变截断或方案时保留相同物理关系。任何经验模型都可以逐点拟合；重整化理论的要求远比逐点拟合严格。
五、为什么换方案不能改变实验结果
同一个模型还允许观察重整化方案的作用。假设另一套记号把耦合定义为g′＝g_R＋a g_R²。若把g_R反解并代入响应，常数项会重新分配，某些二阶系数随之改变。但若坚持把同一个测量条件转换过去，最终R(Q)到所保留阶数不变。参数数字的变化本身不是自然相互作用突然改变。
可以把它类比为采用不同坐标描述一条曲线，但不能把这个类比用得过宽。重整化方案改变还与有限阶截断结合，因而实际近似结果可能保留更高阶大小的残余方案依赖。这个残余可以帮助估计尚未计算部分的影响，却不是严格的概率置信区间，也不能保证覆盖所有遗漏机制。
若某一结果对合理的方案或尺度选择异常敏感，应检查展开是否稳定、是否缺少大对数重求和，以及是否已接近强耦合区域。它不是自动发现了新粒子，也不是自动推翻了理论。先定位计算适用域，是把异常转成物理证据前不可省略的一步。
更根本的问题是，允许哪些反项。如果每提高一点精度都需要无穷多个同等重要的新输入，模型的预测能力会受限；但在有效场论中，按照低能与高能尺度的比值排列算符，给定精度往往只需有限项。传统的可重整化与现代有效理论视角由此既有区别，也有接续。下一章以后还会看到，不能把“可重整化”当作一切物理存在的入场证。
六、磁矩为何成为理论的精密接口
上一章得到最低阶g＝2。定义反常磁矩aₑ＝(g−2)/2，施温格的首阶结果为aₑ＝α/(2π)，其中α是精细结构常数。[1]这一结果的重要性不是数字看上去小，而是原先由最低阶结构确定的磁耦合，被同一电磁相互作用系统地修正；磁矩成为连接理论展开与测量的精密接口。
取α约为一百三十七分之一，只作量级估算，得到aₑ约为0.00116，因而g约为2.00232。此处不使用这些舍入数字作现代精密实验比较。若要在极高精度下检验，必须包括高阶项、其他相互作用贡献、输入常数的不确定度和实验系统误差。首阶成功不能被扩写成只凭一个简式就达到全部精度。
磁矩测量也不必直接把一只微小磁针摆在桌上称量。理想非相对论条件下，带电粒子在磁场中的回旋频率大小为ω_c＝|q|B/m，自旋进动频率为ω_s＝g|q|B/(2m)。相减得到ω_a＝aₑω_c，因此频率比ω_a/ω_c可以给出aₑ。共同磁场因素在理想比值中消去，这说明测量设计如何减少某些标定依赖。
实际装置包含束缚、电场、相对论效应与场不均匀等条件，不能直接套这个最简关系便宣称全部误差消失。本章用它说明一个方法上的要点：精密物理不是单纯把仪器刻度画得更细，而是寻找能使不需要的变量相消、需要的参数留下的观测组合。
还有一个循环论证风险。如果用磁矩测量反推出α，再把同一个α代回磁矩公式，不能把必然得到的一致当作独立检验。独立比较需要来自其他测量的α，或明确说明正在进行的是参数提取。相同公式可以承担测量常数或检验理论两种任务，区别由输入输出关系决定。
七、能级位移不是给电子轨道抹上一层油
辐射修正不仅影响自由电子磁矩，也影响原子能级。为了理解不同状态何以响应不同，考虑一个极短程有效扰动δV＝Cδ³(r)。一阶能量修正为δW＝C|ψ(0)|²。这个模型不等于完整的兰姆位移计算，却把“局部相互作用如何选择状态”这件事变得透明。
氢样原子的低角动量状态在原点可以有非零振幅，而带非零轨道角动量的规则解通常在原点消失。因此，两个在某个较粗近似里简并的状态，可能受到不同修正。新的能级差并不是电子在经典轨道上受到一层无法说明的摩擦，而是波函数结构与新有效作用之间的矩阵元不同。
这里C是何物必须说清。若把它从一个能级差拟合出来，另一个能级差只有在同一有效作用和适用条件下才是预测；若不同状态需要任意不同的C，原来的短程模型便失去了共同解释能力。一个最小模型的价值，在于把“同一种机制”转成跨状态的比例约束。
例如，两种具有相同局部作用、但原点密度比为八的理想状态，其一阶位移也应为八比一。若测量明显违反这一比例，应检查有限作用范围、其他辐射项、核尺寸或近似失效，而不是立即把每个状态独立命名为一种异常。简化模型使偏离有了方向，也使修订负担能够具体分配。
这说明精密偏差能够创造新的研究对象。原先被能级简并遮住的区别，经更细的测量与相互作用计算取得稳定位置。世界的扩大不总表现为发现一种新粒子，也可以表现为原先被视作相同的状态现在具有可重复、可计算的差别。
八、低能光子的困难为什么不能用紫外药方处理
还有一种发散来自极低能光子，与高动量积分的紫外困难不同。真实探测器有有限能量分辨率，不能把“完全没有发出任何光子”与“发出一个能量极小、未被分辨的光子”任意精细地区分。如果理论只计算前一种理想化末态，其红外行为可能不适合直接与实验比对。
在相关条件下，应把无法分辨的软辐射末态与虚修正合在一起，形成与实验分类一致的包容量。用一个示意式说明，虚修正含−A ln(1/λ)，实软辐射含A ln(Δ/λ)，二者相加后，人工的红外调节量λ消去，留下与分辨阈值Δ有关的有限项。具体量纲比值应由过程中的能标补足，此处只展示相同调节量的抵消结构。
Δ依赖不该被一并删掉。改变探测阈值，实际上改变了哪些末态被算入同一事件类别，因此可测截面本来就可能变化。正确目标是消除非物理调节量依赖，保留真实定义依赖。若把二者都称作“仪器干扰”，就无法理解理论为什么必须知道实验怎样分类事件。
这个例子与紫外重整化承担不同工作。紫外处理组织参数与短距离贡献，红外包容处理组织不可分辨的末态；两者有时同时出现在一项计算中，却不能用同一套口头解释带过。无穷大的来源不同，要求重新规定的环节也不同。
九、逐阶有限与无穷级数收敛不是一回事
一个简单积分可以帮助辨认这两个命题。令f(λ)＝∫₀∞ exp(−x)/(1＋λx) dx，其中λ为正。这个积分本身有限。如果在分母处形式展开成几何级数，再逐项积分，会得到1−λ＋2!λ²−3!λ³＋后续项。每一项都是有限数，但阶乘最终比任何固定λ的幂衰减更快地增长，所以该幂级数对非零λ并不收敛。
不收敛不意味着前几项没有用。当λ很小时，初始若干项先变小，在适当位置停止，仍可逼近原积分；一直加到极高阶反而变差。这里可以由有限几何展开的余项直接估计截断误差，不需要把发散说成神秘现象。积分提供的是一项独立数学反例，证明“各阶有限”不足以推出“无限求和成立”。
这个反例不证明QED的所有非微扰性质，也不能给它指定最佳截断阶。它要求我们在使用微扰成功时保持命题准确：逐阶重整化、有限阶实验吻合与无穷级数的数学完成，是三个不同判断。理论可以在前两方面非常有力，同时仍留下后一方面的问题。承认这种差别不会削弱精密计算，反而防止把已证成的成果扩写成尚未建立的结论。
十、多路线会合如何变成相互纠错
朝永与施温格的协变场论方法、费曼的时空展开，使研究者能够从不同位置处理同一相互作用任务。若只说它们最终等价，就会漏掉会合的实践成果：复杂项如何归组、哪些贡献容易漏算、相对论和规范约束如何被保存，以及怎样把共同结果交给下一位研究者复核。
可以设想两组计算对某个散射修正给出不同答案。一组使用算符推演，另一组使用图规则。如果差别只是中间参数定义，两边换到同一测量条件后应消失；如果差别来自缺少一类末态，统一参数仍无济于事；如果差别来自展开阶数混用，则需要统一截断。会合只有能够区分这些失败原因，才超过形式上的互相致敬。
这也是解释竞争的边界。若两种方法在同一状态、同一测量定义及相同精度下保留全部振幅，它们是计算表示的不同组织，不能通过一次散射决定哪种图像才是粒子偷偷采用的路线。若某种候选理论真的修改电磁顶点或加入新相互作用，则会改变特定过程中的系数和能量依赖，应以这些差别接受检验。
因此，新的物理规定必须先说清自己改变了什么。仅把内部线重新命名为某种本体，不会自动增加预测；给出可测的偏离，却又在失败后退回“只是解释”，同样不成立。QED的精密性要求解释承诺与可检验内容之间保持诚实的接口。
十一、把一次精密偏差走成完整研究路径
取一项磁矩或能级差作为显露S，取改变场强、测量频率组合和独立标定作为差异运行D，取粒子状态、相互作用项、参数定义与末态分类之间的共同制约作为特征纠缠E。沿S—D—E再创路径，研究不能从偏差直接跳到新粒子，而应先改变可控制条件，看偏差是否跟随仪器、截断精度或某种物理尺度。
S＝F(D,E)在这里要求理论预测与实验事件定义相容；D＝G(S,E)要求下一轮控制试验根据异常形状与候选机制选择；E＝H(S,D)要求能够通过控制试验保留下来的差别进入新模型。三式共同防止两种捷径：一是让任意小偏差自动证明新物理，二是让理论声望自动取消偏差。
若不同D稳定产生相同残差S，二者张力推动E检查缺少的相互作用，再用新过程回检。若既有E预测某种尺度依赖，而现有D无法分辨，二者张力推动建立新的S，例如频率比而非单一频率；新显露应减少实际歧义。若S与E不相容，则推动D改变输入常数的独立来源、观测阈值或测量次序，并检查冲突是否仍在。第三维的改变只有返回原问题才有解释价值。
这种联合分析没有把量子辐射变成一般方法论的例证材料。相反，质量与电荷如何由测量条件固定、哪些不可分辨末态须共同计算、有限阶结果怎样判断稳定，构成了方法论本身需要学习的具体纪律。特征纠缠在这里是这些关系的共同规定，不能被缩成“当时的社会背景”或“科学家之间的合作”。
量子电动力学让带电粒子不再只是先定义完毕、然后偶尔交换光子的孤立对象。它的可测质量、磁性和散射响应必须在相互作用体系中被共同规定。与此同时，这种关系性没有取消精确数字，反而要求更严格地说明哪些数字是输入、哪些是输出、哪些差异属于实验，哪些只是表达方案。下一章将从电磁的单一相位自由进一步走向不交换的内部变换，看看相互作用结构怎样继续扩大。届时，计算的纪律仍然保留：先界定变量与观测的关系，再判断新的形式究竟增加了什么物理内容。
参考文献与核验入口
[1] J. Schwinger, On Quantum-Electrodynamics and the Magnetic Moment of the Electron, Physical Review 73 (1948), 416–417. DOI:10.1103/PhysRev.73.416。原文：https://physics.umd.edu/grt/taj/624c/Schwinger_AnomalousMoment.pdf 。参见质量、电荷重整化及磁矩修正段。 [2] S. Tomonaga, On a Relativistically Invariant Formulation of the Quantum Theory of Wave Fields, Progress of Theoretical Physics 1 (1946), 27–42. DOI:10.1143/PTP.1.27。原刊记录：https://www.jstage.jst.go.jp/article/ptp1946/1/2/1_2_27/_article 。 [3] R. P. Feynman, Space-Time Approach to Quantum Electrodynamics, Physical Review 76 (1949), 769–789. DOI:10.1103/PhysRev.76.769。原文：https://faculty.washington.edu/seattle/physics541/%202010-reading/spacetime-approach-qed.pdf 。 [4] F. J. Dyson, The Radiation Theories of Tomonaga, Schwinger, and Feynman, Physical Review 75 (1949), 486–502. DOI:10.1103/PhysRev.75.486。摘要：https://journals.aps.org/pr/abstract/10.1103/PhysRev.75.486 。