6.3 重整化群：随尺度跑动的耦合常数
6.3 重整化群：随尺度跑动的耦合常数
本节摘要：重整化群方程描述物理参数对标度 μ 的依赖：μ dα/dμ = βα，β 函数由圈图决定。QED 的 β 为正，电荷随能量测量缓涨——1/α 从零能的 137.036 跑到 Z 质量处约 132.7（仅计轻子真空极化），完整标准模型给约 129。本节算出跑动的数值表，解释"有效电荷"的操作含义，并引出尺度不变性破坏的普遍观念。
承接 6.2 的账房制度：重整化标度 μ 原是记账用的辅助参数，本节发现它携带物理；通往 6.4 的 QCD——同一个方程的负号解，渐近自由的全部来源。
β 函数：参数的速度表
重整化条件要在某标度 μ 处钉住参数（6.2），但 μ 的选取本应任意——物理不能依赖记账标度。要求"物理量对 μ 不变"，参数必须随 μ 补偿性地演化，补偿方程就是重整化群方程：
μ dα/dμ = β(α) = (2/3π)·α²·Σ_f Q_f² + 更高阶 （QED 单圈，f 遍历电荷 Q_f 的轻费米子） 解读：β > 0 —— 能量越高，"看到的"电荷越大 物理图像：真空极化屏蔽。电子周围裹着虚 e+e- 对，远处看到的电荷被屏蔽； 探测能量越高、距离越近，穿透屏蔽层，看到更"裸"的电荷。
屏蔽图像值得咀嚼：它是 3.4 真空极化圈的直接后果——光子传播途中短暂拆成虚正负电子对，形成介电屏蔽。化学家熟悉的介质屏蔽（德拜长度）是它的低温低速亲戚。跑动公式与数值表：
# 演算 1：QED 精细结构常数的跑动（轻子真空极化，单圈） import math alpha0 = 1/137.035999084 c = alpha0/(3*math.pi) def alpha_at(Q): d = 0.0 for ml in (0.00051099895, 0.1056583745, 1.77686): if Q > ml: # 只有能打开的粒子才参与屏蔽 d += math.log(Q*Q/(ml*ml)) - 5/3 return alpha0/(1 - c*d) print("零能参考：1/alpha = %.3f" % (1/alpha0)) for Q in (1.0, 10.0, 91.1876): a = alpha_at(Q) print("Q = %8.3f GeV -> 1/alpha(Q) = %.3f" % (Q, 1/a)) print("完整标准模型（含强子真空极化）：1/alpha(M_Z) ≈ 128.95") # 输出: # 零能参考：1/alpha = 137.036 # Q = 1.000 GeV -> 1/alpha(Q) = 135.304 # Q = 10.000 GeV -> 1/alpha(Q) = 134.137 # Q = 91.188 GeV -> 1/alpha(Q) = 132.730 # 完整标准模型（含强子真空极化）：1/alpha(Q) ≈ 128.95
跑动的幅度并不戏剧化（137 到 132.7，约 3%），但它是必须计入的账：LEP 时代的电弱精密测量若不修正跑动 α，拟合会系统偏移。强子圈（夸克对的屏蔽）贡献另一半跑动（到 128.95），其中低能强子部分要用实验数据（e⁺e⁻→强子的截面）替代微扰计算——微扰与非微扰在这里握手。
尺度作为物理变量
重整化群把一个此前隐形的物理量推上台前：观测尺度本身。几条推论值得列出：
1. "常数"是账本读数：alpha(0)、alpha(M_Z) 是同一电荷在两个窗口的读数， 问"真实的 alpha 是多少"如同问"真实的利率是多少"——必须先报期限。 2. 跑动是可观测量：轻子真空极化的跑动在电子反常磁矩（5.4）与 e+e- 散射中被直接检验；强子部分的跑动是 LEP 精密拟合的输入项。 3. 朗道极点的远期隐忧：QED 的 beta>0 外推到约 10^286 GeV 会让 alpha 发散 （朗道极点）。这不是现实问题（远早于此新物理接管），但提醒： QED 作为独立理论在数学上不自足，是更大理论的有效低能段。 4. 阈值结构：每越过一个粒子质量（mu 子、tau 子、夸克……）， 屏蔽名单加一行，beta 函数跳一格——跑动曲线是分段的折线族。
# 演算 2：屏蔽名单的阈值效应（mu 子阈值前后的跑动差） import math alpha0 = 1/137.035999084 c = alpha0/(3*math.pi) def Delta(Q, masses): d = 0.0 for ml in masses: if Q > ml: d += math.log(Q*Q/(ml*ml)) - 5/3 return d me, mmu = 0.00051099895, 0.1056583745 Q = 1.0 d_e_only = c*Delta(Q, [me]) d_e_mu = c*Delta(Q, [me, mmu]) print("Q=1 GeV：仅电子屏蔽 Δα = %.5f；加入 mu 子后 = %.5f" % (d_e_only, d_e_mu)) print("贡献差 = %.5f（正是演算 1 中 10 GeV 与 1 GeV 差值的主力）" % (d_e_mu-d_e_only)) # 输出: # Q=1 GeV：仅电子屏蔽 Δα = 0.01045；加入 mu 子后 = 0.01264 # 贡献差 = 0.00219（正是演算 1 中 10 GeV 与 1 GeV 差值的主力）
阈值逻辑直白：探测能量过了 μ 子质量的两倍，虚 μ 子对就能参与屏蔽，账本自动加行。
⚠️ 易错点：跑动的"快慢"由 β 函数符号与大小决定，但跑动的"起点"必须由一次实验测量钉死（零能的 α = 137.036 来自原子物理）。重整化群不预测常数本身，只预测它随标度的斜率——忘记这一点会把好理论用成坏外推器。
💡 关键直觉：把耦合常数想成"显微镜倍率下的读数"。调高倍率（能量），看到的电荷、质量都在变；物理定律不变，变的是读数。威尔逊把这个图像推到极致——理论本身就是"随标度流动的参数流"——这是当代物理（含凝聚态临界现象）最富成果的观念之一。
本节要点回顾
- 群方程：μ dα/dμ = β(α)，记账标度 μ 携带物理，参数必须补偿跑动
- 屏蔽图像：真空极化是介电屏蔽，能量越高穿透越深、电荷读数越大
- 数值表：1/α 从 137.036 跑到 135.3（1 GeV）、134.1（10 GeV）、132.7（M_Z）
- 阈值结构：每过一个粒子质量，屏蔽名单加行，跑动曲线分段
- 朗道隐忧：β>0 外推至荒诞能标发散；QED 是有效理论的自觉
跑动的机制已经清楚，下一节看它反向奔跑的版本：非阿贝尔规范理论的 β 带负号，高能处耦合趋零——夸克在近距离表现得像自由粒子，而低能的强子世界拒绝一切微扰。