统一约定:先让每一项量纲一致
全章采用
ημν=diag(+1,−1,−1,−1),ℏ=c=1.
四动量 pμ=(E,p),内积
p⋅x=Et−p⋅x,质量壳为
p2=E2−∣p∣2=m2,E>0
对外部正能粒子。自然单位下质量、能量、动量、衰变宽度都用 eV、MeV 或 GeV;长度、时间用能量倒数;截面用能量负二次方。恢复 SI 时寿命为
τ=ℏ/Γ,截面需乘 (ℏc)2。若一个公式同时保留 c 又令 p2=m2,必须检查是否混用了单位制。
四维作用量 S=∫d4xL 无量纲,所以
[L]=E4。实标量场量纲 E,Dirac 场 E3/2,矢量规范场 E。这个账本可在计算前判断耦合量纲、可允许算符和结果应是宽度还是截面,但量纲正确并不保证系数、对称性或动力学正确。
从作用量到场方程和守恒流
对场 ϕa 的作用量变分,在边界变分消失时得到
∂ϕa∂L−∂μ∂(∂μϕa)∂L=0.
边界条件是推导的一部分;若存在物理边界、拓扑项或不衰减场,分部积分表面项不能无条件丢弃。时空平移给能动量守恒,内部连续对称性给相应 Noether 流。经典守恒式通常只在使用场方程后成立,称 on shell。
以复标量为例:
L=∂μϕ∗∂μϕ−m2ϕ∗ϕ.
全局 ϕ→e−iαϕ 给
jμ=i(ϕ∗∂μϕ−phi∂μϕ∗),∂μjμ=0.
归一化可把荷因子乘入 jμ。局域规范冗余需要约束与规范场,不能直接当成无穷多个独立 Noether 荷。量子化后还要检查测度和正则化是否保持经典对称性;反常可能使某些经典流不再守恒。
例 1:直接验证复标量 Noether 流
计算散度:
∂μjμ=i[ϕ∗□ϕ−ϕ□ϕ∗]. 场方程为 (□+m2)ϕ=0 及其共轭,代入得
∂μjμ=i[−m2ϕ∗ϕ+m2ϕϕ∗]=0. 这项抵消依赖两场质量和相互作用保持 U(1)。若加入 ϕ2+ϕ∗2 项,该全局相位对称性被显式破坏,原流不再守恒。
Klein–Gordon 与 Dirac:同一质量壳,不同表示
实标量自由场满足
(□+m2)ϕ=0,□=∂t2−∇2.
平面波 e−ip⋅x 给 p2=m2。Klein–Gordon 的单粒子密度型流不处处正定,因此在场论中把它解释为荷流而非普通概率密度;正负频模式在量子化后对应粒子和反粒子产生湮灭结构。
Dirac 方程
(iγμ∂μ−m)ψ=0,{γμ,γν}=2ημν
在线性一阶导数中实现同一质量壳。左乘 (iγμ∂μ+m) 可用 Clifford 代数得到
(□+m2)ψ=0。Dirac 流
jμ=ψˉγμψ 有 j0=ψ†ψ,但量子场中的守恒荷同时计算粒子与反粒子贡献,不能只保留负频解作“负概率”。
例 2:固定号型下的相对论能量
取测试粒子质量 m=1.00GeV、三动量大小
∣p∣=3.00GeV。由 p2=m2:
E=∣p∣2+m2=10GeV=3.16GeV. 于是 E2−∣p∣2=1.00GeV2。若采用另一号型,质量壳整体符号会变;不能只改度规矩阵而保留原来的 p2=m2 文字。
自由场量子化与传播子
自由场 Fourier 分解把每个动量模变成谐振子。玻色场施加等时对易关系,得到
[a(p),a†(q)];fermion 场使用反对易关系,保证 Pauli 占据并使 Hamiltonian 有合理下界。产生算符作用于真空建立 Fock 态,粒子数只在存在稳定自由或渐近模的背景下清楚。
时间有序二点函数
ΔF(x−y)=⟨0∣Tϕ(x)ϕ(y)∣0⟩
是自由 Klein–Gordon 算子的带边界处方逆。动量空间分母
i/(p2−m2+iϵ) 的极点编码质量壳,iϵ 规定时间排序与积分轮廓。内部线动量一般 off shell,不满足 p2=m2;把内部传播子画成“暂时违反能量守恒的真实粒子”是误导,顶角四动量仍严格守恒。
自由场量子化还要求处理规范约束、真空能和正规序。正规序可移除特定平直时空自由 Hamiltonian 的形式零点常数,却不说明所有真空能差都不可观测。边界、曲率或引力耦合问题必须重新定义可比较量。
Dyson 展开、Wick 收缩与图的含义
相互作用表象的散射算符为
S=Texp[−i∫−∞∞dtHI(t)].
展开指数得到按耦合幂次排列的 Dyson 级数。Wick 定理把自由场的时间有序乘积写成正规序项与所有收缩之和,每条收缩对应自由传播子。Feynman 图是这些代数项的组织工具:外线关联初末态,内部线是传播子,顶角来自 Lint,对称因子防止等价收缩重复计数。
树图是最低非零阶,并不自动等于“经典”;圈图积分包含量子修正和可能的紫外发散。正则化先定义发散表达式,重整化把参数与场重新联系到规定条件。可观测结果在给定阶数仍有重整化能标和方案残差,应作为缺失高阶不确定度的一部分。
考虑两个不同实标量 ϕ,χ,相互作用
Lint=−λϕ2χ2/4。四点顶角给树级
ϕχ→ϕχ 振幅 M=−λ(略去整体 i 约定)。四维中 λ 无量纲,所以振幅无量纲,截面必由运动学提供 E−2。
例 3:接触相互作用的截面量纲
在质量可忽略的质心系,两个不同标量的各向同性树级微分截面为
dΩdσ=64π2s∣M∣2=64π2sλ2. 积分立体角得到 σ=λ2/(16πs)。取
λ=0.20、s=10.0GeV:
σ=7.96×10−6GeV−2. 这是假想模型的树级值。若末态粒子相同,要加入相同粒子相空间因子;若质量不可忽略,还需乘末初动量比。
从振幅到散射与衰变可观测量
采用相对论归一时,散射矩阵元写成
⟨f∣S∣i⟩=⟨f∣i⟩+i(2π)4δ(4)(Pf−Pi)Mfi.
delta 函数表达总四动量守恒。截面还需除入射通量并积分 Lorentz 不变末态相空间
dΠn=(2π)4δ(4)Pi−f∑pff∏(2π)32Efd3pf.
衰变宽度
dΓ=(2M)−1∣M∣2dΠn,量纲为能量;寿命为宽度倒数。自旋、颜色要按实验制备的初态平均、按未分辨末态求和。漏掉这些因子可保持量纲正确却差整数倍。
幺正性 S†S=1 还把振幅虚部与所有可达中间态联系起来。写 S=1+iT 可得
−i(T−T†)=T†T.
取同一初态的对角矩阵元得到光学定理结构:前向弹性振幅的虚部等于对所有允许末态概率的相空间求和。它提供跨图与跨过程的一致性检查,也说明圈图出现虚部并非任意数学产物。有限阶微扰只逐阶满足幺正关系;若树级振幅随能量增长到破坏部分波幺正界,表示微扰或有效理论在该能标前需要新贡献,不能继续外推截面公式。
例 4:二体衰变宽度与寿命
设重实标量 Φ 通过
Lint=−gΦχ1χ2 衰变为两个不同、质量可忽略的标量,树级 ∣M∣=g。则
Γ=16πMg2. 取假想参数 M=2.00GeV、g=0.100GeV,得
Γ=9.95×10−5GeV。恢复秒:
τ=Γ6.582×10−25GeVs=6.62×10−21s. 若两个末态相同,还要除以 2!;若宽度不远小于质量,简单稳定外态和窄宽近似需复核。
规范对称性把非物理部分从振幅中消去
规范场传播子依规范固定参数,单张图也常依规范;所有同阶必需图、外态和反项组合后的物理 S 矩阵才应规范无关。QED 中 Ward 恒等式要求外部光子振幅在把极化矢量
ϵμ 替换为光子动量 kμ 后为零。这既是规范不变性的结果,也是实际计算的强力检查。
非 Abel 理论的协变量子化还引入 Faddeev–Popov ghost。ghost 只在内部圈图中补偿非物理规范自由度,不是可作为探测器外态的反对易标量粒子。若树级外态求和把时间样和纵向非物理极化无条件加入,会得到规范依赖或负概率结果。
标准模型用 SU(3)c×SU(2)L×U(1)Y 表示决定允许顶角,Higgs 背景重组电弱规范场和 fermion 质量项。表示允许某过程不等于过程在实验中显著:振幅还受耦合、手征投影、质量、相空间、混合和干涉控制。实验守恒量应对应未破缺或近似对称性,而不能从一张图的视觉连线猜测。
C、P、T 与守恒反应的检查层级
宇称 P 反转空间坐标和三动量,时间反演 T 反转时间、动量与角动量且在量子理论中为反幺正,电荷共轭 C 交换粒子和反粒子并反转相应内部荷。一个 Lagrange 项是否保持这些离散变换,要连同场的变换矩阵、复共轭和耦合相位逐项判断,不能只观察坐标。
在局域、Lorentz 不变、具有适当谱与幺正性的量子场论条件下,CPT 组合具有一般定理保障;这不意味着 C、P、T 各自都守恒。弱相互作用具有手征结构,某些离散对称性可以破坏。实验检验比较的是角分布、偏振、粒子—反粒子过程和时间相关率,并需控制探测不对称。
反应是否允许可先核对总四动量、电荷和严格内部量子数,再检查角动量、统计交换、离散对称性与动力学振幅。守恒条件通过只说明“未被这一规则禁止”;振幅可能因图间相消为零,或被高能标压低到不可观测。
有效场论:明确不知道的高能细节
若过程特征能量 E 远小于新重粒子尺度 Λ,可把高能自由度积分掉,写成
LEFT=Llow+d>4∑Λd−4ci(d)Oi(d).
算符按低能对称性组织,ci 为无量纲 Wilson 系数。维数越高通常被更多 E/Λ 幂次压低。有效理论不是“近似得不严谨”,而是在给定截断阶数和能标范围内系统地参数化高能影响;当 E 接近 Λ,展开失去控制并需恢复新自由度。
例 5:重媒介传播子的低能展开
重媒介质量 M,交换振幅含
q2−M2g1g2=−M2g1g2(1+M2q2+⋯),∣q2∣≪M2. 首项对应系数 g1g2/M2 的局域四场算符。若特征
∣q∣=50GeV、M=500GeV,忽略下一项的相对尺度约
q2/M2=1%。这只是幂次估计;若首项因对称性或干涉消失,下一项可能成为主导。
EFT 误差报告应给采用的最大算符维数、能标定义、系数先验或拟合、重整化能标和省略项估计。用超出截断的事件拟合系数,可能得到数值很精确却无受控物理意义的结果。
从理论推导到实验结论
理论给 parton 或稳定外态层面的截面、宽度和分布;实验记录有限接受度、分辨率和触发下的重建对象。连接二者需束流谱、强子化或介质模型、探测器响应、背景估计与统计推断。所谓“测得耦合”通常是在指定理论、阶数、参数化和系统误差下从数据反演,并非直接读取 Lagrange 密度。
可信结论应同时报告:初末态定义和运动学区间;截面是总量还是微分量及其单位;微扰阶数、重整化与因子化方案;统计和系统不确定度及相关;选择效率与展开方法;替代理论或高阶修正的敏感性。理论图线与数据点吻合是证据的一部分,不能单独证明内部线“真实存在”。
这条链的边界清楚:作用量定义模型;对称性给守恒与恒等式;自由场定义渐近粒子;微扰展开给振幅;相空间与通量给可观测率;实验模型把率映射到记录;EFT 截断限定能标。任何一步的假设改变,都要重新评估后续结论。
练习
练习 1:自然单位量纲
- 所属知识
- 量纲
- 难度
- 2/5
求四维标量、Dirac 场和四次耦合的量纲。
查看提示
作用量无量纲且
d4x 的量纲为
E−4。
查看解答
Lagrange 密度为
E4;由
(∂ϕ)2 得
[ϕ]=E,由
ψˉ∂ψ 得
[ψ]=E3/2,四维无导数
ϕ4 耦合无量纲。
练习 2:号型与质量壳
- 所属知识
- 相对论场
- 难度
- 3/5
写出本章约定下的正能质量壳。
查看提示
使用
η=diag(+1,−1,−1,−1)。
查看解答
p2=E2−∣p∣2=m2,故
E=∣p∣2+m2;改用相反号型时
p2=−m2。
练习 3:图不是轨迹
- 所属知识
- Feynman 图
- 难度
- 3/5
解释为何内部线不是探测器中短暂存在的粒子轨迹。
查看提示
区分内部传播子积分与外部 on-shell 态。
查看解答
内部线表示微扰积分中的传播子,动量通常 off shell;顶角仍守恒四动量。只有稳定渐近外线对应可制备粒子态。
练习 4:宽度与寿命
- 所属知识
- 衰变
- 难度
- 3/5
说明衰变宽度的单位及其与寿命关系。
查看提示
自然单位
τ=1/Γ,恢复 SI 乘
ℏ。
查看解答
Γ 用能量,
τSI=ℏ/Γ;宽度越小寿命越长。比较数值前需统一 eV、GeV 与秒。
练习 5:Ward 检查
- 所属知识
- 规范对称性
- 难度
- 4/5
给出 QED 振幅的规范一致性检查。
查看提示
把外部光子极化矢量替换为其动量。
查看解答
完整同阶物理振幅应在
ϵμ→kμ 后为零;若不为零,常提示漏图、符号、外态或规范处理错误。
练习 6:EFT 截断
- 所属知识
- 有效理论
- 难度
- 4/5
制定有效理论结果的能标验收条件。
查看提示
比较
E/Λ,并检查最低项是否被对称性禁止。
查看解答
若首个省略修正按
(E/Λ)n,先以该幂估计;若低阶系数消失或很小,需重新识别主导项。E 接近
Λ 时展开不可控。
关系与资源
课程 · 2023Relativistic Quantum Field Theory I
Hong Liu
用于核对 P12 的场作用量、相对论场方程、自由场量子化、相互作用展开、散射规则和规范不变性。
打开官方来源
课程 · 2020Introduction to Nuclear and Particle Physics
Markus Klute
用于核对 P12 标准模型概述、散射可观测量、量子数与守恒律,并保持理论陈述与实验建立范围一致。
打开官方来源
MIT OpenCourseWare 8.323 用于核对场论推导、传播子和微扰约定,8.701 用于核对散射、衰变、粒子量子数与实验解释边界。示例中的质量和耦合均为教学用假想参数,不是具体粒子数据。