本节摘要:传播子是"在一点产生一份激发、另一点湮灭它"的真空关联函数,编码玻色子在时空中的因果传播;微扰展开把相互作用理论的传播子变成无穷级数,级数的每一项画出来就是费曼图。本节讲清这条推导链,给出散射截面的计算框架,并用自发对称破缺与戈德斯通定理收束第 4 章留下的理论伏笔。
用上一节的算符语言提问:在时空点 x 产生一份场激发,到点 y 再把它湮灭,真空的响应振幅是多少?数学上这是两点关联函数
D(x − y) = ⟨0| φ(x) φ(y) |0⟩
它叫费曼传播子。物理读法:y 处的场扰动在多大程度上"记得"x 处的扰动。对自由玻色子,它有精确解:类空间隔(x−y 超出光程)时严格为零——相对论因果性的自动满足;类时间隔时振荡衰减,包络由粒子质量决定,质量越大衰减越快。
两个直接收获:
相互作用(如电子场与光子场的耦合项)让理论不可严格求解。标准的 Dyson 级数思路:把相互作用项当微扰,对传播子做指数展开,级数第 n 阶是 n 个相互作用顶点的所有可能收缩方式之和。维克的定理证明:每种收缩方式一一对应一张费曼图——图形不是发明出来的,是从代数里"长"出来的。
以电子-缪子散射为例的数字感(对照 4.3 节图一):
树图阶(两顶点):振幅 ∝ e²/q²(q 为动量转移) 低能极限 q→0:恢复卢瑟福散射公式 —— 一张图退化为 中学物理的 1/r² 库仑定律,微扰论与经典物理无缝衔接 一圈阶(四顶点 + 一个圈):贡献 ∝ α², 含真空极化(光子内线里插一个 e+e- 圈) → 有效电荷随能量跑动(QED 中电荷随能标缓慢增大) 实验(如 LEP 对 eμ 散射的测量)逐年逼近 更高阶预言,四十年来逐阶验证无一失手
第 4 章说希格斯机制"把对称性藏进真空",现在有场论工具把这句话算清楚。
戈德斯通定理(1961):连续对称性自发破缺(真空不尊重拉格朗日量的对称性)时,必伴随出现无质量玻色子——直觉图像是"沿谷底的无成本滑动模式"(回忆墨西哥帽的环形谷)。对整体对称性,这条定理铁律般成立。
恩格勒特-布劳特-希格斯的转折(1964):当破缺的是局部规范对称性时,定理的结论被改写——戈德斯通模依然存在,但它不再表现为独立粒子:它被规范玻色子吸收为第三个极化分量,规范玻色子由此获得质量 m = g·v。"吃掉戈德斯通玻色子,长出纵向极化和质量"——这就是希格斯机制的场论完整表述,第 4 章的四步逻辑至此每步都有了出处。
对称性破缺的两副面孔: 整体对称性破缺(如超流液氦、磁体): → 无质量戈德斯通模真实存在(液氦中的第二声、 磁体中的自旋波——第 6 章的声子/磁振子正是这类) 局部规范对称性破缺(电弱理论): → 戈德斯通模被吃,换来有质量的 W/Z 同一个数学结构(墨西哥帽)在凝聚态和粒子物理 各上演一遍 —— 这是两大领域最深的一次"跨馆合作"
场论馆闭馆。带着这套"场与激发"的眼光,下一章回到能摸得着的材料世界:晶格振动、自旋波、库珀对——玻色子思想在凝聚态里的全阵容演出。
费曼传播子在类空距离指数衰减,衰减尺度由质量决定:虚粒子能"借用"的能量偏差 ΔE ~ mc² 对应存活时间 ħ/ΔE。这个量纲论证把"虚粒子走多远"变成可算的数字,也是第 4 章力程估算的场论版本。
| 传播子 | 动量空间形式 | 质量 | 衰减长度(数值) |
|---|---|---|---|
| 光子(费曼规范) | −g_μν/k² | 0 | 幂律 1/r,长程 |
| W 玻色子 | (g_μν−k_μk_ν/m²)/(k²−m²) | 80.4 GeV | 约 2.4×10^-18 m |
| 希格斯 | 1/(k²−m²) | 125 GeV | 约 1.6×10^-18 m |
把 W 传播子代入低能弱过程,k² 远小于 m_W² 时得到四费米子接触相互作用,有效耦合 G_F/√2 = g²/(8m_W²)。代入 m_W = 80.4 GeV 与 g ≈ 0.65,算出 G_F ≈ 1.16×10^-5 GeV^-2,与 μ 子寿命测量一致到千分位——散射理论最漂亮的自洽检验之一。虚粒子不是"真实存在的小球",而是传播子这个数学对象的形象说法;它的全部物理含量就是上表第二列的分式结构,极点位置给出质量,留数给出耦合,散射振幅的解析性由此而来。把传播子、截面、实验计数三步串起来的数值练习见节末习题,沿同一路径可复核 μ 子反常磁矩中真空极化图的贡献量级。
再强调一次极点与粒子的对应:传播子的极点 k² = m² 处的留数给出单粒子态与真空之间的跃迁振幅,这就是 LSZ 约约化公式的起点。散射理论的全部分层结构由此展开——自由传播子给出树图,传播子的圈修正给出自能与真空极化,重整化则回答"参数随能标跑动"的问题。对一个具体的数值流程而言,从拉氏量出发到可与实验对比的截面,中间每一站(振幅、相空间、初态部分子分布、探测器效率)都有独立的开源工具链,本节的目的是让读者在每个站点都能写出自己的最小实现,而不是只会调用黑箱。