6.2 正规化与重整化：账房的记账手续
6.2 正规化与重整化：账房的记账手续
本节摘要：正规化把发散积分记成截断或维数的显函数，重整化把这份依赖吸收进物理参数的重定义。本节走完 QED 的账目流程：裸量与 Z 因子、抵消项图、重整化条件；用电子自能的对数缓涨（δm/m 从 Λ=1 GeV 的 2.9% 到 Λ=10¹⁶ GeV 的 15.7%）展示"无穷大其实涨得很慢"，并以可重整化性的判定收束——它是有效理论观的起点而非理论的勋章。
承接 6.1 的验伤单：本节把它转化为会计制度；通往 6.3 的重整化群——账本立好后，尺度依赖本身成为可算的对象。
两道手续的分工
正规化（记账）：把发散积分变成截断参数的有限函数 方案一：动量截断 —— 积分上限到 Λ（物理直观，破坏规范对称） 方案二：维数正规化 —— 把时空维数从 4 改成 4-2ε，发散变成 1/ε 极点 （保持规范与洛伦兹对称，现代标准方案） 重整化（换账）：把拉格朗日量改写成"物理参数 + 抵消项" 裸量 -> 重整化量： psi_0 = Z2^0.5 psi, A_0 = Z3^0.5 A, e_0 = Z_e e, m_0 = m + δm 抵消项图： 与发散图同拓扑、反号，逐阶对消 Λ 依赖 重整化条件： 在指定标度 μ 处钉住物理值（如 e(μ) 取宏观测量值）
维数正规化值得多两句：'t Hooft 与维尔特曼 1972 年把它系统化，发散变成 1/ε 的极点，抵消手续变成"减除极点"的代数操作；它最大的美德是不破坏任何对称性（规范对称、平移不变照常工作），这让终幕非阿贝尔理论的可重整化证明成为可能。1/ε 极点与 ln Λ 扮演同一个角色：标记"向高能赊的账"。
电子自能：一笔账的全程
以电子自能（6.1 的第一个账户）为例走完全流程。裸电子被虚光子云包裹，质量的账目移动为：
# 演算 1：δm/m 的对数缓涨（单圈近似，截断 Λ 扫描） import math alpha = 1/137.035999084 me = 0.00051099895 # GeV coef = 3*alpha/(4*math.pi) for Lam in (1.0, 100.0, 1e4, 1e16): x = math.log(Lam*Lam/(me*me)) + 1.5 print("Λ = %8.0e GeV -> δm/m = %.4f" % (Lam, coef*x)) # 输出: # Λ = 1e+00 GeV -> δm/m = 0.0290 # Λ = 1e+02 GeV -> δm/m = 0.0451 # Λ = 1e+04 GeV -> δm/m = 0.0611 # Λ = 1e+16 GeV -> δm/m = 0.1574
这串数字是整幕剧最值得反复咀嚼的表。截断从"刚够看见电子结构"（1 GeV）推到"大统一甚至普朗克附近"（10¹⁶ GeV），质量的账目移动也只有 2.9% 到 15.7%——对数缓涨让"无穷大"在数值上温和得近乎无害。所谓 m₀ = m + δm(Λ) 的重整化，就是把这条缓涨曲线里随 Λ 变化的部分折进裸参数，物理质量 m 是探测器读到的定值。理论的真正预言（如 5.4 的反常磁矩）藏在扣除账目移动后的有限残差里。
# 演算 2：抵消项的工作方式（示意性数值：总账与 Λ 无关） import math def bare(Lam): # 发散部分的模型：ln(Λ²/m²) + 常数（系数取演算 1 同款） me = 0.00051099895 return 0.0290*math.log(Lam*Lam/(me*me))/math.log(1.0/(me*me)) # 以 Λ=1 GeV 归一 def counter(Lam, mu=1.0): # 抵消项：在标度 μ 处钉住，与裸量同型反号 return -bare(Lam) + bare(mu) for Lam in (1.0, 10.0, 100.0, 1e4): print("Λ = %8.0e GeV：裸账 %+.4f + 抵消 %+.4f = 总账 %+.4f（不变）" % (Lam, bare(Lam), counter(Lam), bare(Lam)+counter(Lam))) # 输出: # Λ = 1e+00 GeV：裸账 +0.0290 + 抵消 +0.0000 = 总账 +0.0290（不变） # Λ = 1e+01 GeV：裸账 +0.0378 + 抵消 -0.0088 = 总账 +0.0290（不变） # Λ = 1e+02 GeV：裸账 +0.0466 + 抵消 -0.0176 = 总账 +0.0290（不变） # Λ = 1e+04 GeV：裸账 +0.0642 + 抵消 -0.0352 = 总账 +0.0290（不变）
（演算 2 把发散系数做了归一化示意：重点在第三列——无论理论的天花板推到多高，"裸账 + 抵消"的总和钉在重整化标度处的物理值上。）这就是抵消项的全部魔法：它与发散图同拓扑、反符号，逐阶把 Λ 依赖扫进 Z 因子。剩下的问题是哲学味道最浓的一个：裸参数不可测量，"减去无穷大"减掉的从来不是测量值。探测器读到的是电子质量 0.511 MeV 与电荷 137 分之一，账本上它们从来有限。
图 重整化账房的流程
可重整化性：不是勋章，是量纲
1970 年代之前，"可重整化"被当作理论选拔赛的金标准；有效场论观（温伯格、威尔逊）之后，它的正确读法是：可重整化理论是"在给定能标下最一般的长程近似"，不可重整项并非禁止存在，只是被高能标压低（系数带 1/M 幂次）。费米的四费米子理论不可重整，却在低能精确描述弱衰变——它作为有效理论的合法性由 E_费米 以上尺度的物理（终幕的电弱理论）接管。这个视角反转是 7.6 格点与有效场论一节的伏笔。
⚠️ 易错点："重整化就是加减无穷大凑答案"是流传最广的误读。抵消项的系数由重整化条件（指定标度处的物理测量值）唯一钉死，不容自由调节；一旦钉住，全部其他过程（如 5.4 的 g-2）的预言就再无自由参数。QED 的九位吻合正是在"零可调参数"状态下取得的。
💡 关键直觉：裸参数是"书架参数"——写在拉格朗日量里但永不被测量；物理参数是"柜台参数"——探测器直接读到。重整化只是把账从书架搬到柜台，无穷大从未进入任何柜台交易。
本节要点回顾
- 两道手续：正规化记显函数（截断或 1/ε 极点），重整化换账户（裸量到物理量）
- 抵消项语法：同拓扑、反符号，与发散图逐阶对消；Z1=Z2 由瓦德恒等式钉死
- 对数缓涨：δm/m 从 2.9%（1 GeV）到 15.7%（10¹⁶ GeV），无穷大在数值上温和
- 零自由参数：重整化条件钉住参数后，其余预言无任何可调空间
- 可重整化重读：不是理论勋章，是"长程近似"的量纲陈述；有效场论观的起点
账房立好，下一节翻开滚动的账本：重整化群追踪参数随标度的演化，QED 的电荷将随能量缓缓变强——而 QCD 将朝相反方向奔跑。