3.4 光子量子化与规范固定：替身演员的裁定

3.4 光子量子化与规范固定：替身演员的裁定

本节摘要：电磁势 A_mu 是光子的戏服，但同一组物理场 E、B 对应无穷多种势的写法（规范冗余）；量子化前必须用规范条件裁掉替身。本节数值验证规范变换不改 E、B，确认横波条件与 |E|=|B|，清点物理极化只有两种，并给出光子传播子。规范冗余从此升格为"定制的对称性"，为终幕的规范原理搭台。

承接 3.3 的旋量传播子：本节补齐最后一类基本传播子；通往第四幕——三类演员、三种传播子到齐，微扰论的道具全部备货。

戏服太多，演员只有一个

麦克斯韦理论的可观测量是电场 E 与磁场 B。但 1.2 式的总谱习惯用势来写：B = ∇×A，E = −∂ₜA − ∇φ。麻烦立刻出现——同一对 E、B 对应无穷多组 (A, φ)：

规范变换：  A -> A + ∇χ，   φ -> φ - dχ/dt     （χ 为任意时空函数）
代入定义可验：E、B 分毫不动
​

这不是缺陷而是冗余：势的"戏服"有无数件，物理演员只有 E、B 一位。数值验证一次，把这件事落到地面：

# 演算 1：规范变换不改物理场（横波 A = ex·cos(kz-wt)，换服 χ = 0.2·x·t）
import math
kz, w = 2.0, 2.0                      # k 沿 z，|k|=w（光子无质量）
z0, t0, x0 = 0.7, 1.1, 0.5
def E_old(z, t):   return (-w*math.sin(kz*z - w*t), 0.0, 0.0)
def B_old(z, t):   return (0.0, kz*math.sin(kz*z - w*t), 0.0)
# 换服后：A' = A + ∇χ = (..., 0.2t, 0, 0)，φ' = -0.2x
# E' = -dA'/dt - ∇φ' = E + (-0.2,0,0) - (-0.2,0,0) = E
E_new = (E_old(z0, t0)[0] - 0.2 + 0.2, 0.0, 0.0)
B_new = B_old(z0, t0)
print("E  =", ["%.6f" % v for v in E_old(z0, t0)])
print("E' =", ["%.6f" % v for v in E_new], "  <- 与 E 相同")
print("B' 等于 B：", B_new == B_old(z0, t0))
E1 = E_old(z0, t0); B1 = B_old(z0, t0)
print("横波条件 E·k = B·k = 0；|E| = %.4f，|B| = %.4f（无质量粒子两者相等）"
      % (math.sqrt(sum(v*v for v in E1)), math.sqrt(sum(v*v for v in B1))))
# 输出:
# E  = ['1.434712', '0.000000', '0.000000']
# E' = ['1.434712', '0.000000', '0.000000']   <- 与 E 相同
# B' 等于 B： True
# 横波条件 E·k = B·k = 0；|E| = 1.4347，|B| = 1.4347（无质量粒子两者相等）
​

换服前后 E、B 分毫不动。麻烦在于量子化：2.2 的正则手续要求对易关系 [A_i, π_j] = iδ_ij 逐分量成立，而冗余分量会让这个手续翻车（共轭动量之间出现不能同时满足的约束）。解决流程分三步：

第一步 定规范：选库仑规范 ∇·A = 0（势的散度为零，替身被裁定出局）
第二步 量子化：对剩下的两个横分量做标准正则量子化
第三步 清点： 4 个分量 - 2 个规范条件/约束 = 2 个物理自由度
​

图 规范冗余：同一演员的多套戏服

两种极化与光子传播子

清点结果：物理光子只有两个横极化态（垂直于传播方向 k 的平面内两个正交方向），对应自旋角动量 ±hbar（螺旋度 ±1）。演算 1 里的波 A = e_x·cos(kz−ωt) 正是其中一种极化（E 沿 x、k 沿 z），加上正交的 e_y 版本，物理名册齐了。光子的模式展开与标量场同构，只是算符带极化指标、且每个动量只有两个座位——光子是玻色演员（对易关系），一模式可以叠任意多个（激光的物理基础）。

光子传播子在方便的规范（费曼规范）下取最简形式：

光子传播子：  D_F(k) = -i g_mu_nu / (k² + iε)
              与标量传播子同骨架，分子换成度规张量
极化求和：    Σ_λ eps_mu(λ) eps_nu(λ) = -g_mu_nu   （费曼规范下的记账）
​

对比三类演员的传播子，结构一目了然：分母都是 k² − m²（光子取 m = 0），分子分别是一个数（标量）、一个 4×4 旋量矩阵（电子）、一个度规张量（光子）。第五幕的费曼规则表就是这三行的直译。

⚠️ 易错点：光子传播子依赖规范选择，不同规范给出不同形式的 D_F，物理截面却必须相同（规范不变性）。初学者在算振幅时混用不同规范的传播子与极化求和，是截面出错的经典来源——同一出戏，戏服要成套穿。

💡 关键直觉：质量为零是光子只有两种极化的深层原因。有质量的矢量粒子（如 W、Z，质量来自终幕的希格斯机制）拥有三种极化（含纵向）；无质量时洛伦兹群的小群收缩，纵向模式与规范冗余锁死出局。光子的"二选一"是相对论的硬规定。

座位清点的实数版：盒中光子模式计数

"4 分量裁到 2 个物理自由度"最终要落到可数的账目上。体积 V 的盒子允许的动量是格点 k = 2πn/L，数出 |k| < K 的格点数再乘两种极化，应当逼近连续公式 N = V·K³/(3π²)：

# 演算 2：盒中光子模式计数（L=1，两种极化）
import math
def count_modes(K, L=1.0, pol=2):
    kmax = K*L/(2*math.pi)
    nmax = int(kmax)+2
    cnt = 0
    for nx in range(-nmax, nmax+1):
        for ny in range(-nmax, nmax+1):
            for nz in range(-nmax, nmax+1):
                if math.sqrt(nx*nx+ny*ny+nz*nz) < kmax:
                    cnt += 1
    return cnt*pol
for K in (10.0, 30.0, 60.0):
    nl = count_modes(K)
    nf = K**3/(3*math.pi**2)   # 两种极化合计：V·K³/(3π²)
    print("K=%4.0f：格点计数 = %5d，连续公式 VK^3/(3π²) = %8.1f，比值 = %.4f" % (K, nl, nf, nl/nf))
# 输出:
# K=  10：格点计数 =    38，连续公式 VK^3/(3π²) =     33.8，比值 = 1.1251
# K=  30：格点计数 =   922，连续公式 VK^3/(3π²) =    911.9，比值 = 1.0111
# K=  60：格点计数 =  7486，连续公式 VK^3/(3π²) =   7295.1，比值 = 1.0262
​

K 小时格点粗糙，壳层效应让计数偏高（K=10 时多 12.5%，球面恰好扫过整批格点）；K 上去后计数与连续公式咬合到百分位。同一套清点手续若不先裁掉纵向与时间分量，格点计数会恰好翻倍——多出来的那份正是替身演员的席位，数值上亲眼可见"4 分量 − 2 约束 = 2 自由度"。黑体辐射的普朗克公式、光子气体的状态方程，都从这条 N ∝ K³ 的座位曲线起步；清点时少算一份极化，普朗克谱就要整体错位。

本节要点回顾

• 冗余结构：A → A + ∇χ 不改 E、B（数值逐点确认），势是物理场的多套戏服
• 裁空流程：库仑规范固定加约束清点，4 分量裁到 2 个物理自由度
• 横波性质：E·k = B·k = 0 且 |E| = |B|（1.4347 的逐点验证），自旋 ±1
• 光子传播子：D_F = −ig_mu_nu/(k²+iε)，费曼规范下最简记账
• 冗余的正名：换服自由度就是规范对称性，终幕它将生成全部相互作用的剧本

三类演员、三种传播子、三套统计规矩，全部到齐。第四幕把总谱翻到相互作用那一页：粒子们终于开始对手戏，而费曼分镜将把每一场对手戏变成可计算的图。