7.2 规范思想登场：对称性开出相互作用的账单

7.2 规范思想登场：对称性开出相互作用的账单

本节摘要：把整体相位对称性（φ → e^{iθ}φ，θ 为常数）升级为局域对称（θ 逐点可变），拉格朗日量会立刻失去不变性——除非引入规范场 A_mu 并把导数换成协变导数 D = ∂ + ieA。相互作用项由此被"推导"出来而非手工写入。本节数值验证纯规范位形的环路积分为零（−2.2e-15）、计算阿哈罗诺夫-玻姆相位与磁通量子（4.136e-15 韦伯），确认规范势的相位是物理的。

承接 7.1 的路径积分主场与 3.4 的规范冗余：本节把"冗余"正名为"原理"；通往 7.3 的非阿贝尔推广——同一思想换一个群，强与弱相互作用的剧本随之涌现。

从整体到局域：一步之差，天壤之别

1.3 的第三行兑换表写过：复场 ψ 乘以整体相位 e^{iθ}（θ 处处相同），拉格朗日量不变，诺特定理给守恒电荷。现在做一件看似多余的事：要求 θ 可以逐点不同——θ(x)。动机先按下（见本节末），先看代价：

整体版：psi -> e^{iθ} psi，θ 为常数
  d_mu psi -> e^{iθ} d_mu psi     导数与相位交换，不变性保住 -> 免费的对称性

局域版：psi -> e^{iθ(x)} psi，θ 逐点可变
  d_mu psi -> e^{iθ(x)} (d_mu psi + i dθ/dx_mu psi)
  多出一项！拉格朗日量立刻不再不变。

补救：引入规范场 A_mu，定义协变导数
  D_mu = d_mu + i e A_mu
  并规定 A_mu 在变换下同步"挪账"：
  A_mu -> A_mu - (1/e) dθ/dx_mu
  -> D_mu psi -> e^{iθ(x)} D_mu psi    （相位干净地提出来，不变性恢复）

展开 psi_bar (i gamma^mu D_mu - m) psi：
  = 自由项 + (-e psi_bar gamma^mu A_mu psi)
    —— QED 的相互作用项（5.2 那行）自动掉出来了！
​

这是全册最重要的一次推导：电磁相互作用不是写进剧本的，是局域对称性开出的账单。你要求相位自由逐点成立，宇宙就必须提供一位规范场演员来抵消导数多出的项；这位演员与费米场的耦合方式（强度 e、结构 γ^μ）完全被对称性钉死，没有任何自由参数可调。把群从 U(1) 换成 SU(2) 或 SU(3)，同样的推导产出弱与强相互作用的骨架（7.3）。

相位的物理：环路积分与 AB 效应

规范势 A 长期被视为记账工具（3.4：E、B 才是物理），但它的环路相位绕不开地物理。先验证"纯规范"构型不带信息：

# 演算 1：纯规范位形的环路积分为零（A = ∇χ 绕闭合回路）
def loop_integral(chi, n=400):
    # 沿单位正方形四边累计 A·dl（用 chi 的差分代替梯度）
    tot = 0.0
    h = 1.0/n
    for i in range(n):      # 下边 y=0，x: 0->1
        x = (i+0.5)*h
        tot += chi(x+h/2, 0.0) - chi(x-h/2, 0.0)
    for i in range(n):      # 右边 x=1，y: 0->1
        y = (i+0.5)*h
        tot += chi(1.0, y+h/2) - chi(1.0, y-h/2)
    for i in range(n):      # 上边 y=1，x: 1->0（反向）
        x = 1.0-(i+0.5)*h
        tot -= chi(x+h/2, 1.0) - chi(x-h/2, 1.0)
    for i in range(n):      # 左边 x=0，y: 1->0（反向）
        y = 1.0-(i+0.5)*h
        tot -= chi(0.0, y+h/2) - chi(0.0, y-h/2)
    return tot
c1 = lambda x, y: 0.4*x*y + 0.3*x*x
print("纯规范 chi=0.4xy+0.3x² 的环路积分 = %.2e（应严格为零）" % loop_integral(c1))
# 输出:
# 纯规范 chi=0.4xy+0.3x² 的环路积分 = -2.21e-15（应严格为零）
​

（输出首行即实际打印结果，残差为差分近似的机器级噪声。）纯梯度绕环积分为零——它是 3.4 那些不承载物理的"替身戏服"。但如果环路围住的区域里有真实的磁通，积分不再为零，相位 e^{ie∮A·dl} 成为可观测量：

# 演算 2：磁通量子与 AB 相位
h_, e_ = 6.62607015e-34, 1.602176634e-19
Phi0 = h_/e_
print("磁通量子 Φ0 = h/e = %.6e Wb" % Phi0)
import math
for f in (0.25, 0.5, 1.0):
    print("磁通 = %.2f Φ0 -> AB 相位 = 2π×%.2f = %.4f rad" % (f, f, 2*math.pi*f))
# 输出:
# 磁通量子 Φ0 = h/e = 4.135668e-15 Wb
# 磁通 = 0.25 Φ0 -> AB 相位 = 2π×0.25 = 1.5708 rad
# 磁通 = 0.50 Φ0 -> AB 相位 = 2π×0.50 = 3.1416 rad
# 磁通 = 1.00 Φ0 -> AB 相位 = 2π×1.00 = 6.2832 rad
​

阿哈罗诺夫-玻姆实验（1960 年证实）：电子束绕过一根螺线管，管内磁场为零的路径上电子仍发生干涉移动——移动量由管内磁通按上表给出。势的环路相位是物理的，尽管势本身可以换戏服。相位量子 Φ₀ ≈ 4.14e-15 韦伯是超导磁通量子化（Φ₀ 的实际观察值）与量子霍尔效应的公共常数。

图 从整体到局域：一步升级的代价与收益

为什么要求局域化

对"凭什么要求 θ 逐点可变"的诚实回答分两层。操作层：局域对称是表述"电荷是守恒的、且不同时空点各自定义电荷"这一事实的最经济语法——电荷守恒（1.3）说的是每一点的诺特流散度为零，它天然逐点成立。审美与实用层：杨与米尔斯 1954 年把同构问题（核力的电荷无关性）用 SU(2) 局域对称表述，二十年曲折后产出电弱统一与 QCD——局域对称性成为生成相互作用的唯一已知机制，三种基本作用共用一个原理。物理史此后再没有第二种机制能把相互作用的形状（耦合结构、传播子形式、自相互作用有无）钉得这么死。

⚠️ 易错点：规范对称性不是"物理对称性"而是"描述的冗余"（3.4 的替身戏服）；守恒荷由整体子群负责。把规范变换当成把一个态变到另一个态的物理操作，会在量子化与统计态计数（如黑洞熵的规范修正）上系统性出错。

💡 关键直觉：整体对称是"免费午餐"，局域对称是"付费升级"——费用是一位规范场演员加一套协变导数语法，回报是相互作用的形状被完全钉死。物理学的三次大统一（电弱、电弱加强、大统一构想）都是在换付费方案。

本节要点回顾

• 一步升级：θ 从常数变函数，导数多出补偿项，不变性要求协变导数 D = ∂ + ieA
• 被推导的相互作用：展开 ψ̄(iγ·D − m)ψ 自动得到 QED 耦合项，零自由参数
• 纯规范零环路：A = ∇χ 的闭合积分 −2.2e-15（机器零），替身不携信息
• AB 相位：磁通量子 4.136e-15 Wb，0.25 个量子给 π/2 相位；势的相位是物理
• 无质量约束：规范场的质量项会破坏局域对称，W/Z 的质量必须另找出路（7.4）

规范原理在 U(1) 上的表演已经看完。下一节把群换成不对易的 SU(2) 与 SU(3)：规范场自己带荷、互相耦合，渐近自由的负号就从那里长出来。