量子场论

8.1 从粒子到场:为什么需要量子场论

量子力学成功描述原子,狭义相对论成功描述高速运动,但两者结合后,固定粒子数的框架显露局限。高能过程允许粒子产生与湮灭,单粒子量子力学无法完整处理。量子场论(QFT) 以场为基本对象,把粒子视为场的量子激发。本节说明为何需要场、如何量子化简单场、粒子如何出现,以及局域性与对称性所施加的约束。

8.1.1 单粒子量子力学的局限

  • 相对论能量。 的波动方程出现 的正负分支,维持一致的单粒子概率解释变得困难。
  • 粒子产生与湮灭。 高能光子在满足动量守恒的环境中可产生 ,激发原子可发射光子;固定 的希尔伯特空间无法描述这些通道。
  • 局域性与因果性。 类空分离处的测量不能用于相互传递影响,仅靠固定粒子数波函数难以自然实现这一要求。

QFT将场提升为算符。自由场及散射的粒子态可组织在允许粒子数变化的福克空间中,微观因果性则通过场的对易关系表达。

8.1.2 场是无穷多个振子

将自由经典玻色场按动量 作傅里叶展开,每个简正模式都相当于谐振子。量子化就是把第7章的方法应用到每个 ,即量子化全部简正模式。

场为每个空间点指定一个振幅。傅里叶模式为场的量子化提供谐振子坐标。

8.1.3 经典准备:克莱因—戈尔登场

对于实标量场 ,采用 ,洛伦兹不变作用量为

欧拉—拉格朗日方程给出 克莱因—戈尔登(KG)方程:

平面波解满足相对论色散关系 。

8.1.4 正则量子化:等时对易关系

将 及其共轭动量

提升为算符,并要求等时对易关系:

这是场论中对应于 的关系。

8.1.5 模式展开与产生、湮灭算符

先取体积 的大盒子,最后令 ,展开为

其中

选择归一化,使

这就是第7.3节的谐振子代数,只是每个动量模式都有一组。

8.1.6 福克空间与粒子

以 定义真空。单粒子态 为

继续作用产生算符即可构造多粒子态。模式 的数算符为 ,自由场哈密顿量为

每个模式的 项累加形成真空能。在不涉及引力的自由场问题中,通常通过 正规序 减去这一常数。

8.1.7 正规序与真空能

对玻色算符,正规序 将全部 移至 左侧。于是

并且

这相当于把真空能定义为零。涉及弯曲时空与引力时,真空能的引力效应和重整化必须认真处理;平直时空的许多粒子问题只涉及能量差,可采用上述约定。

8.1.8 局域性与微观因果性

QFT的核心要求之一是 微观因果性:

即这里的标量场在类空分离处对易。自由KG场的对易子是普通数函数,在光锥外为零,使不可超光速传递影响落实到算符层面。

8.1.9 格林函数与传播子

关联函数编码场的物理信息。时间序二点函数,即费曼传播子,为

它是KG算符的格林函数:

在动量空间中,

质量壳上的极点与 处方规定如何绕过奇点,实现时间序边界条件。它与因果响应的关系还需结合相应格林函数区分。

8.1.10 诺特流与能量—动量张量

作用量的连续对称性给出守恒流。时空平移对应 能量—动量张量 ,一种对称形式为

满足 。守恒荷为四维动量:

它生成场的时空平移。

若 为复场,具有整体 对称性 ,还会得到守恒 诺特流 与荷;在自由复标量场中,该荷计数粒子数与反粒子数之差。

8.1.11 玻色子、费米子与自旋—统计关系

整数自旋场使用对易关系量子化,对应玻色子;半整数自旋场使用反对易关系,对应费米子。对旋量 ,等时关系为

这不是任意选择。在相应局域性、洛伦兹不变性和正定性条件下,自旋—统计定理 给出这一联系。

8.1.12 相互作用如何引入

可在拉格朗日量中加入相互作用项,例如标量场的

也可耦合不同场,例如汤川项 ,或通过协变导数引入规范耦合。微扰论把关联函数展开为 费曼图:传播子是线,耦合是顶点。重整化用于处理发散并定义物理参数。

8.1.13 简短例题

(a)单粒子归一化。 利用 代数证明 。

(b)真空二点函数。 把模式展开代入 ,推导 及其动量空间形式。

(c)微观因果性检验。 计算自由场的 ,用适当积分方法证明 时为零。

(d)单量子态的能量。 将 作用于 ,验证 。

8.1.14 基本解题工具

  • 从 推导共轭动量 ,并建立能恢复模式代数的等时对易关系。
  • 量子化复标量场,找出守恒 荷,证明其计数粒子减去反粒子。
  • 计算推迟格林函数 ,比较它与 的支撑区域。
  • 对平直时空中的自由标量场,将 与 都正规序,检验其真空期望值为零。区分这一真空减除与相互作用或弯曲时空中的迹反常。
  • 对周期边界盒中的标量场,在 极限把求和换为积分,恢复连续δ函数。

8.2 狄拉克场:旋量、反对易关系与相对论费米子

要同时符合量子力学和狭义相对论地描述电子等自旋 粒子,需要具有 旋量 自由度、按 等时反对易关系 量子化的场。狄拉克方程预言反粒子,并在最低阶给出磁矩的 。本节建立代数、解、量子化、守恒流和非相对论极限。

单位约定:除非另有说明,使用 自然单位 。可通过量纲分析恢复 和 。

8.2.1 动机概览

KG方程符合相对论,却描述自旋零;若强作单粒子概率解释,其时间分量不正定。狄拉克希望得到时间一阶、具有正定单粒子密度且与 相容的方程,方法是用满足新代数的矩阵线性化相对论色散。

8.2.2 伽马矩阵与克利福德代数

引入 矩阵 ,满足

度规为 。两种常用表示是:

  • 狄拉克基: ,。
  • 手征,即外尔基: ,。

定义

以及 西格玛矩阵

8.2.3 狄拉克方程、伴随与拉格朗日量

旋量场 的 狄拉克方程 为

定义伴随 ,洛伦兹不变拉格朗日量为

对 变分得到狄拉克方程,对 变分得到伴随方程 。

整体 相位对称性通过诺特定理给出 守恒流:

在单粒子旋量解释中, 为非负密度;量子场论中则需结合粒子、反粒子与荷算符解释该流。

8.2.4 平面波旋量与完备性

寻找平面波 和 ,其中 在壳,满足

这里 , 标记自旋。QFT中方便的归一化为

自旋求和,即完备性关系,为

这些恒等式是截面与传播子计算的基本工具。

8.2.5 最小耦合与泡利项预览

电磁场通过 协变导数 引入。狄拉克方程成为 ,拉格朗日量为 。非相对论极限给出磁相互作用,其磁矩为

QED辐射修正使 ,其中 很小。

8.2.6 正则量子化与反对易关系

将 提升为算符场,要求等时反对易关系:

作模式展开,先用盒归一化,最后令 :

其中 ,并有

其他反对易子均为零。 产生粒子, 产生反粒子。

正规序哈密顿量为

8.2.7 传播子与费曼规则

时间序二点函数,即狄拉克传播子,为

在动量空间中,

费曼图中的自由狄拉克线携带此因子,相互作用插入顶点,例如QED中的 。

8.2.8 双线性量、流与戈登恒等式

常用 双线性量 按变换性质分类为:

  • 标量:。
  • 赝标量:。
  • 矢量:。
  • 轴矢量:。
  • 张量:。

整体相位对称性使矢量流守恒。戈登恒等式 将矢量流分解为轨道与自旋相关部分:

它是低能展开中泡利磁项的代数来源。

8.2.9 手征性、螺旋度与无质量极限

定义手征投影算符:

当 时,左右分量 解耦。螺旋度 是自旋沿动量方向的投影;对无质量粒子,手征性与螺旋度有确定对应,反粒子的对应需注意约定。标准模型的带电弱流耦合轻子的 ,而不耦合 ,说明手征性具有直接物理意义。

马约拉纳与狄拉克。 马约拉纳场满足 ,即等于其荷共轭,不具有独立的反粒子场。电子等狄拉克场则可以携带守恒 荷。

8.2.10 离散对称性 、 与 概览

具体实现依赖表示和相位约定:

  • 宇称 : 。
  • 荷共轭 : ,其中 。
  • 时间反演 : 为反幺正变换,在狄拉克基中可用 的形式表示。

由双线性量构造的局域洛伦兹不变相互作用,可按 、、 的变换性质分类。

8.2.11 非相对论极限与泡利方程

引入最小耦合 ,在狄拉克基中分出“大”“小”分量。消去小分量并保留到 阶,得到 泡利哈密顿量:

其中 。 项在树级给出 ,更高阶包含自旋—轨道与达尔文项,对应氢精细结构。

8.2.12 简短例题

(a)流守恒。 用狄拉克方程及其伴随证明 。

(b)传播子的逆。 检验 。

(c)自旋求和。 用平面波解的完备性证明 。

(d)泡利约化。 从 出发,采用 ,消去小分量至 阶,恢复 。

(e) 时的螺旋度守恒。 对自由无质量狄拉克哈密顿量证明 ,从而得到螺旋度守恒。

8.2.13 基本解题工具

  • 对显式狄拉克基或手征基伽马矩阵验证克利福德代数,并计算 。
  • 将 投影到 、,求模式展开系数,恢复 与 的代数。
  • 用戈登恒等式取电磁流的非相对论极限,识别自旋磁矩项。
  • 按 、、 的变换性质分类双线性量 。
  • 显式证明质量项 混合左右手征,而 不混合。
  • 在手征基中写出马约拉纳实条件,比较其在壳自由度与狄拉克场。

8.2A 外尔与马约拉纳旋量:双分量、质量项与自由度

许多计算使用 双分量 语言更简洁。在手征基中,狄拉克旋量分为 ,包含左、右外尔旋量 和 。

8.2A.1 外尔方程与螺旋度

无质量费米子的左右分量解耦:

其中 、。单个外尔场有两个在壳态,分别对应粒子与反粒子;场具有固定手征性。在 极限,粒子与反粒子的螺旋度分别与该手征表示建立确定对应。

8.2A.2 狄拉克质量如何混合手征

双分量形式的狄拉克质量项为

它保留整体 费米子数,并耦合 与 ,把两个外尔场组合为一个狄拉克费米子。

8.2A.3 马约拉纳质量与实条件

荷共轭作用为 。马约拉纳 费米子满足

在双分量形式中,可以为单个合适的外尔场写出马约拉纳质量,例如左手征场:

它 破坏 相应的 数对称性,粒子 反粒子为同一种对象。狄拉克质量与马约拉纳质量结合还可形成跷跷板机制。

8.2A.4 自由度计数

  • 狄拉克: 4个在壳态,等于2个自旋态 粒子与反粒子。
  • 马约拉纳: 2个在壳自旋态,粒子是自身反粒子。
  • 无质量外尔: 一个手征场对应2个在壳态,即具有相应固定螺旋度的粒子与反粒子。

8.2A.5 双分量实用恒等式

旋量缩并使用 ,其中 。常用关系为

对于动量 和 ,

这些关系使双分量与四分量旋量代数能够互相转换。

8.2A.6 练习工具

  • 证明单场马约拉纳质量与该场守恒的整体 数不相容。
  • 从双分量表达推导狄拉克质量项 。
  • 在 时,对平面波解推导螺旋度与手征性的对应,并区分粒子和反粒子。
  • 显式构造单粒子态,比较狄拉克与马约拉纳的物理自由度。

小结: 外尔旋量是基本手征组成单元;狄拉克质量连接左右手征,马约拉纳质量连接场与自身荷共轭并破坏相应 数。双分量语言常使自由度和对称性更加清晰。

8.2B 离散对称性速查:旋量与双线性量的 、、

离散对称性帮助判断允许的相互作用。下面采用一组常见的狄拉克基相位约定; 是 反幺正 的。场变换的整体相位可随约定改变,但物理分类保持一致。

8.2B.1 对场的作用:一种标准约定

  • 宇称 : ,。
  • 荷共轭 : ,,其中 。
  • 时间反演 : ,为反幺正变换。

8.2B.2 双线性量及变换符号

定义双线性量:

  • 标量:。
  • 赝标量:。
  • 矢量:。
  • 轴矢量:。
  • 张量:,其中 。

在荷共轭 下:

  • :偶。
  • :偶。
  • :奇。
  • :偶。
  • :奇。

在宇称 下:

  • :偶。
  • :奇。
  • :偶;:奇。
  • :奇;:偶。
  • :奇;:偶。

在时间反演 下,采用反幺正的标准约定:

  • :偶。
  • :奇。
  • :偶;:奇。
  • :偶;:奇。
  • :偶;:奇。

检验: 使赝标量 变号,这用于轴子和 项的分类;在局域性、洛伦兹不变性及标准量子场论条件下, 保持理论不变。

8.2B.3 快速应用

  • 构造模型时,应检验包含所有伴随场的完整缩并算符在 下的变换;仅凭出现 、、 或 ,不能判定整个算符的奇偶性。
  • 光谱学中,可用双线性插值算符按 分类态与跃迁。
  • 电偶极矩检验:电子电偶极矩算符 在 与 下为奇,结合 可探测 破坏。

8.2B.4 练习工具

  • 使用 推导 的 宇称。
  • 显式作空间反演,证明 与 的 符号不同。
  • 利用 的反幺正性,即包含复共轭,追踪赝标量的额外符号。
  • 分类 的 、、 性质,并与对偶张量 联系。

小结: 固定约定后,、 和 对五类基本双线性量的作用可以系统列出,用于判断算符保持或破坏哪些离散对称性。

8.2C QED顶点与沃德恒等式:规范不变性

最小耦合给出QED的相互作用,而 沃德恒等式 则用代数表达规范对称性如何消除非物理偏振的贡献。

两条带方向的费米子线在 QED 顶点处与一条光子线相交。这代表散射振幅中的一个图形项,而不是粒子的实际轨迹。

8.2C.1 从最小耦合到费曼规则

从

得到相互作用项

因此,一个光子与两条费米子线相交的 顶点因子 为

外线费米子携带旋量 或 ,内线提供相应传播子。

8.2C.2 树级在壳沃德恒等式

动量为 的外光子连接费米子线时,振幅中包含 。与 缩并:

代入 与 ,得到

因此,将光子偏振 替换为 不改变振幅,体现规范不变性。

8.2C.3 完整格林函数的沃德—高桥恒等式

超越树级后,完整顶点 与精确费米子传播子 满足

它表达电荷守恒,联系重整化常数,例如QED中的 ,并保证光子非物理纵向部分不进入物理 矩阵元。

8.2C.4 偏振求和与规范选择

协变规范中的光子传播子

含有规范参数 。沃德恒等式保证可观测量中所有依赖 的非物理部分抵消。外部实光子的物理振幅满足 ,因此偏振求和可等效使用 。

8.2C.5 简短例题

(a)电子被经典流散射。 对矩阵元 ,按上述方法验证 。

(b)树级 。 利用两条费米子线上的流守恒,证明光子传播子的纵向部分不贡献振幅。

(c)由沃德—高桥恒等式得到 。 说明 如何使QED的顶点与波函数重整化常数相等。

8.2C.6 练习工具

  • 从 的规范不变性出发,为树级完整振幅中的外光子推导 。
  • 从时间序乘积中的流守恒,或路径积分的源变换,推导沃德—高桥恒等式。
  • 用协变形式计算康普顿散射,显式检验 项的抵消。
  • 证明每个外光子偏振加上与 成正比的项,都不改变完整QED树级振幅。

8.3 场的路径积分:生成泛函、费曼图与欧氏方法

路径积分提供另一种QFT视角:对 所有场构型 按相位权重求和。关联函数来自生成泛函的导数,微扰论成为级数展开,对称性成为格林函数之间的恒等式。本节建立标量场路径积分、费曼规则、连通与1PI泛函,并介绍计算和格点理论所需的欧氏化。

全节采用自然单位 。

8.3.1 从粒子路径到场构型

非相对论粒子的跃迁振幅按权重 对路径求和。QFT把路径 推广为遍布时空的场构型 ,使用泛函积分。主要对象是场的 关联函数,计算工具是 生成泛函。

8.3.2 自由标量场的

实KG场的作用量为

引入源 ,定义

利用满足下式的格林函数 配方:

高斯积分给出

对 求泛函导数即可得到全部自由场关联函数。

8.3.3 关联函数、连通部分与威克定理

时间序 点函数为

定义

则 连通 关联函数由 生成:

自由高斯理论的威克定理指出, 点函数是二点函数 乘积对所有配对的求和,正对应二次型指数的导数结构。

8.3.4 引入相互作用: 与图展开

加入四次相互作用:

相互作用生成泛函为

将相互作用视为作用于自由 的微分算符:

展开指数得到费曼图,规则为:

  • 传播子,即内线: ,或动量空间形式 。
  • 顶点: 四条线相接,因子为 。
  • 外腿: 对源求导,再令 得到关联函数;连通提取与截肢还需各自相应操作。
  • 对称因子: 每个图按其自同构计数带有 。

这些规则把微扰展开转化为有组织的图形计算。

说明。 在费曼图中:

  • 带箭头的直线 表示费米子,例如电子和正电子。
    • 常用定向图示中,沿时间方向的箭头对应电子。
    • 反向箭头可表示正电子,是图示与计算约定。
  • 波浪线 在QED中表示光子,其他规范理论也使用类似线型。
  • 顶点 是各条线相交的相互作用位置。
    • QED每个顶点对应因子 ,表示电子—光子耦合。
四条无方向的标量线在一个φ⁴顶点相交。

实标量φ⁴理论的树级2 → 2散射:p₁和p₂为入射四动量,p₃和p₄为出射四动量。相互作用−λφ⁴/4!对应的顶点因子为−iλ。图中没有内部传播子或圈。无方向的线表示标量粒子,不表示费米子流;该图并非时空轨迹。

8.3.5 有效作用量与1PI

定义经典场,也称平均场:

作勒让德变换,定义 有效作用量:

源 选择为产生给定 的源,于是

令 ,得到量子运动方程 。 的泛函导数生成 单粒子不可约(1PI) 顶点;按圈数展开 就是系统的半经典展开。

8.3.6 施温格—戴森方程:场空间中的分部积分

在适当边界条件下,积分中的全泛函导数为零:

对标量理论选择 ,得到

更一般地,它形成联系 点函数与更高点函数的方程层级,具体阶数由相互作用决定;在动量空间中成为完整传播子和顶点的精确积分方程。

8.3.7 威克转动与欧氏时间

实时积分高度振荡,不利于数值处理。在适当解析条件下转到欧氏时间 :

权重成为 ,并有

此时 类似统计配分函数,通向 格点场论、蒙特卡洛采样,以及QFT与临界现象的联系。解析延拓可在适用条件下恢复闵可夫斯基结果。

8.3.8 规范场路径积分:规范固定与鬼场

对规范场 ,直接写

会重复计数物理等价构型。需插入规范固定δ函数和 法捷耶夫—波波夫行列式:

在协变规范中,

行列式可用鬼场作用量表示。BRST对称性 组织规范固定后的结构,导出沃德或斯拉夫诺夫—泰勒恒等式,使量子化与规范不变的物理结果相容。

8.3.9 路径积分中的正规化与重整化

圈积分可能发散,先用截断、维数正规化或泡利—维拉斯等方法处理,再向 加入反项并 重整化,使物理 点函数与给定测量条件相符。路径积分清楚显示:

  • 反项是作用量中的额外局域项。
  • 重整化群描述 有效作用量 随尺度的变化。
  • 手征反常等可表现为变换下 积分测度不保持不变,即藤川方法。

8.3.10 图的含义:来自 的规则

  • 非连通与连通: 生成全部图, 提取连通部分。
  • 截肢与1PI: 对 求导再移除外传播子得到散射核;对 求导直接得到1PI顶点。
  • 对称因子: 来自重复泛函求导的组合计数,即图前的 。

8.3.11 简短例题

(a)自由高斯检验。 直接从 证明

其中 。

(b)零维 玩具模型。 将 替换为 ,考虑

按 展开并与费曼图级数比较:没有时空变量,只剩组合计数。

(c) 中的单圈蝌蚪图。 由算符展开 , 的 修正包含

在 中出现紫外发散,需要质量重整化。

(d)驻相法与经典极限。 令作用量按 缩放,并取 ; 的主要贡献来自满足 的场,附近涨落产生圈展开。这说明圈修正如何对应量子效应。

(e)由变量变换得到沃德恒等式。 对于整体对称性 ,若测度与作用量不变,则

这是关联函数内部流守恒的泛函表达。

8.3.12 基本解题工具

  • 通过配方推导 ,用 固定归一化。
  • 从 理论的 出发,导出动量空间费曼规则,确定四点函数单圈鱼图的对称因子。
  • 用 计算连通二点函数,验证 移除了非连通部分。
  • 对 仔细作威克转动,说明 、,并追踪传播子的变化。
  • 写出 理论中完整传播子 的施温格—戴森方程,用图表示。
  • 对 规范理论,概述法捷耶夫—波波夫程序如何在协变规范中产生鬼场,并写出BRST变换。

8.4 LSZ约化与散射振幅

理论常计算格林函数,实验则测量 截面。连接两者的是 LSZ约化公式:移除时间序关联函数的外传播子,使外腿在壳,便得到 矩阵振幅 。本节介绍标量和费米子的LSZ公式、 因子、相空间、截面,以及由光学定理体现的幺正性。

8.4.1 从关联函数到振幅

  • 关联函数:。
  • 连通部分:。
  • 截肢: 移除外部传播子。
  • 在壳极限: ;费米子使用相应的 。
  • 波函数重整化: 单粒子极点留数定义 因子。

最终得到 ,截面中使用它的 。

8.4.2 极点、留数与 因子

实标量场的完整动量空间二点函数,在单粒子极点附近为

留数 与场作用于真空产生归一化单粒子态的重叠有关,具体数值依赖场归一化。LSZ中每条外腿因此带有 。

狄拉克场类似:

8.4.3 标量LSZ约化:入态到出态

考虑质量为 的中性标量的 过程,令 为完整时间序关联函数,则截肢在壳振幅为

完成微分后令外动量在壳,即 、。傅里叶变换后,整体 表达动量守恒。

8.4.4 费米子LSZ:旋量投影

费米子外腿需要旋量投影和狄拉克算符。一个入射动量 与一个出射动量 的示意形式为

作用全部外腿算符并取在壳极限,即恢复标准费曼规则振幅。外部反费米子需相应替换 、 投影。

8.4.5 为什么使用截肢连通格林函数

  • 连通: 去除非连通部分,分离无关的旁观过程。
  • 截肢: 除去外传播子,得到直接进入 的核。
  • 1PI与连通: 的1PI顶点通过完整传播子连接,可组成连通截肢函数。

这就是画图、加外腿并求值背后的代数结构。

8.4.6 平面波、波包与

严格散射构造使用 波包,以控制重叠积分和渐近极限;计算中常用平面波,并以 处方 规定时间序传播子的极点边界条件。

8.4.7 相空间、截面与衰变率

对 散射,定义洛伦兹不变的 体相空间:

质心系两体散射的流量因子为

微分截面为

对于质量 、总四动量 的粒子衰变,宽度为

按需要对 的初态自旋和偏振取平均,对末态求和。

8.4.8 幺正性与光学定理

由 和 得到

前向 振幅的虚部在相应归一化下与总截面相联系。Cutkosky割线规则在图形层面实现这一幺正性关系。

8.4.9 交叉对称性:解析延拓

振幅可视为解析函数的边界值。把粒子从初态移到末态,并相应变为反粒子,对应动量的 延拓。同一个解析 可描述 、、 道,它们处于不同物理运动学区域。

8.4.10 简短示例

(a) 理论中的树级

对相互作用 ,正确归一化外腿后,

树级不依赖动量;单圈加入 的对数依赖与反项。

(b)树级汤川交换

对 , 道标量交换给出

其中 。自旋求和可把双线性量转换为迹。

(c)QED外腿的流守恒

光子连接费米子线时,

在壳条件使相应纵向贡献消失,完整树级振幅满足沃德恒等式。

8.4.11 归一化与常用因子

  • 每条标量外腿带有 ;旋量外腿带有 及旋量波函数 或 。
  • 在精确或重求和表达中可使用 完整传播子;固定阶微扰计算则通常用自由传播子加上该阶所有修正,避免重复计数。
  • 对未极化初态自旋、偏振取平均,对未分辨末态求和。
  • 完整相空间中有 个相同末态粒子时,应计入 的除数,避免重复计数。

8.4.12 无质量量子与红外问题

存在无质量规范玻色子时,严格福克态的LSZ应用需要谨慎。软辐射 及适当条件下的 共线辐射 使排他概率出现红外发散,而满足KLN条件的包容性可观测量可得到有限结果。实际需将探测分辨率以下的实辐射与虚修正一起计算。

8.4.13 简短推导

(1)由极点结构推导标量LSZ。 从 的傅里叶变换分离单粒子极点,读出留数 ,证明作用 可截去一条外传播子。

(2)接触相互作用 的截面。 在相同质量 的质心系中,若 ,

其中 ,相同质量给出 。

(3) 单圈光学定理检验。 取 道泡图,其阈值以上的虚部与树级振幅平方的 相空间积分相对应。

(4)费米子LSZ投影。 在出射 线上插入 ,与 缩并,证明 时恢复通常外旋量因子。

8.4.14 基本解题工具

  • 从精确二点函数证明 截去一条标量外腿,并推广到 条。
  • 为 写出LSZ公式,用传播子与顶点恢复QED树级振幅。
  • 推导质心系两体相空间 ,对恒定 积分求 总截面。
  • 用Cutkosky规则求简单单圈图的 ,验证光学定理。
  • 对 的 振幅,显式说明外动量解析延拓如何联系 、 与 道。

8.5 重整化:发散、反项与耦合常数跑动

圈图可能在紫外发散。重整化用于定义物理参数并预测尺度依赖。本节以 维实标量 理论为例,建立反项、使用维数正规化、求 函数,并写出卡伦—西曼齐克方程。耦合常数会 跑动,场获得 反常维数;中间参数依赖重整化尺度 ,精确可观测量则不应依赖这一任意选择。

8.5.1 幂次计数与可重整化性

考虑实标量场

在 中,场的质量维数为 ,因此 、。含 个圈、 条内线、 个四次顶点的图,其表面紫外发散度 为

利用图的拓扑关系, 理论在 中除真空项外,只有 二点 与 四点 函数需要基本反项;更高 点函数表面收敛,但仍需处理发散子图。这就是幂次可重整化的结构。

8.5.2 反项拉格朗日量与重整化条件

将裸量写为重整化量与反项的组合:

这里采用维数正规化 ,引入尺度 以保持 无量纲。拉格朗日量成为

展开 ,得到 反项拉格朗日量:

重整化 条件 确定 。常用方案为:

  • 在壳方案(OS): 精确传播子的极点位于 ,留数为 ,并令指定运动学点的 点 等于 。
  • 最小减除(MS或 ): 反项只减去 极点, 还减去约定常数,方便重整化群计算。

8.5.3 单圈二点蝌蚪图与质量重整化

圈 点图是 蝌蚪图。维数正规化中,

计算得到

在 方案中减去极点及 ,定义 ,使 重整化自能 有限。注意 理论中单圈满足 ,波函数重整化从两圈开始。

8.5.4 单圈四点鱼图与耦合重整化

点 的 圈修正来自 道的 鱼图。在适当非例外运动学点,可分离紫外发散:

因此在 中,

因子 来自 三个道。有限部分依赖运动学和方案,但不改变此阶的 函数。

8.5.5 重整化群与 函数

裸参数不依赖 ,所以 。使用 、,定义

对 维实 理论,单圈结果为

因此 随紫外尺度 增大。求解 得到

分母可在有限 处为零,即 朗道极点。它说明微扰描述在高能失效,并提示 维纯 理论的紫外完备性问题。

8.5.6 卡伦—西曼齐克方程与标度

重整化 点格林函数 满足

它表达物理不应依赖任意尺度 。将耦合与质量跑动到相关尺度,可 重求和 大对数 。

8.5.7 方案依赖与可观测量

改变重整化 方案 会改变 的数值,但一致计算的 矩阵元 和可测率在精确理论中不变;有限阶结果的剩余差异属于更高阶。常见选择有:

  • 在壳方案: 物理解释直接,高圈计算较复杂。
  • 方案: 减去约定极点与常数,代数简洁,适合RG。

不同方案可通过有限重定义 转换。

8.5.8 反常维数与场强重整化

尽管 理论单圈有 ,一般场仍会获得 反常维数,使关联函数的幂律受到 修正。在固定点 的共形理论中,算符维数由经典维数加反常维数组成,是CFT数据的一部分。

8.5.9 紫外、红外、对数与幂次发散

维数正规化便于保持对称性,将相关发散编码为极点和质量依赖。紫外发散表现为 极点;无质量情形还可能出现独立的红外极点。计算时应注意:

  • 规范理论与RG计算常使用 维数正规化。
  • 存在红外问题时保留调节,并在构成适当包容性可观测量后消去。

8.5.10 简短例题

(a) 中的蝌蚪图

证明选择

可在 中消去 的紫外极点,并写出有限自能。

(b)由反项求单圈

从 与 出发,要求 ,推导 。

(c)跑动耦合与朗道极点

给定尺度 处的 ,求分母为零的尺度并讨论其物理意义。

(d)对称点重整化

通过 处的 、 点函数定义 ,证明改变 时, 由相同的单圈 控制。

(e) 的卡伦—西曼齐克方程

在动量空间写出 的方程,使用单圈 ,求RG改进传播子以求和领先对数。

8.5.11 基本解题工具

  • 用维数正规化计算单圈鱼图,提取极点。
  • 检查自能的动量依赖,证明单圈 。
  • 由反项 求单圈 ,验证上述结果。
  • 从卡伦—西曼齐克方程说明,大动量 点函数由硬尺度处的跑动耦合控制。
  • 比较单圈OS与 方案中的 ,推导有限转换。

8.6 非阿贝尔规范场与杨—米尔斯理论

电磁学是阿贝尔 规范理论,经典光子场没有直接的规范自耦合。标准模型还包含 非阿贝尔 规范对称性,规范玻色子自身带有规范荷并 自相互作用。本节建立杨—米尔斯理论,耦合物质,引入规范固定和鬼场,并介绍BRST、威尔逊线与渐近自由背后的单圈 函数。

8.6.1 规范群、生成元与协变导数

设 是紧李群,某表示中的生成元 满足

采用颜色代数归一化:

对基本表示中的 ,有 、、。

物质场 按 变换,其中 。协变导数 为

使 与 具有相同变换规律。非阿贝尔场强来自对易子:

其中

8.6.2 杨—米尔斯拉格朗日量与运动方程

含狄拉克物质场的杨—米尔斯作用量为

参数为 的无穷小规范变换为

杨—米尔斯运动方程为

并满足比安基恒等式 。

三胶子与四胶子相互作用。 展开 出现三次 和四次 自耦合,QED的经典规范场项中没有这些顶点。

8.6.3 规范固定、鬼场与传播子

直接对 作路径积分会重复计数规范等价构型。在协变规范中加入

以及法捷耶夫—波波夫鬼场 ,其作用量为

鬼场是反对易标量,不作为物理外态出现;在物理振幅的微扰计算中作为内线和圈贡献。动量空间胶子传播子为

鬼传播子为 。费曼规范取 ,朗道规范取 。

8.6.4 BRST对称性概览

规范固定后的作用量不再具有原来的显式局域规范不变性,但保留由幂零微分 生成的整体 BRST对称性:

对所有场满足 。规范固定作用量 是BRST不变的。物理态由 BRST上同调,即闭态模去恰当态,描述,使非物理偏振与鬼态从物理结果中解耦。

8.6.5 费曼规则与颜色因子

所有动量均取流入顶点,规则为:

  • 三胶子顶点 顶点因子 。

  • 四胶子顶点

  • 胶子—鬼—反鬼顶点 ,其中 按所用约定从鬼线流向反鬼线进入顶点。

  • 胶子—费米子—反费米子顶点

常用颜色代数为:

以及

振幅平方和颜色求和中经常使用这些关系。

8.6.6 威尔逊线、环与规范不变观测量

沿路径 的平行移动由 威尔逊线 给出:

闭合路径的迹 规范不变。在适当理论中,大矩形环的面积律或周长律可诊断禁闭;微扰论中的威尔逊线则用于重求和软胶子效应。

8.6.7 贝塔函数与渐近自由

若基本表示中有 个狄拉克费米子和 个复标量,单圈贝塔函数为

对于QCD(、、),

负的 表示满足 理论的条件 时,耦合在高能 减小,即渐近自由;红外则变强,提示非微扰禁闭问题。

8.6.8 拓扑项与

除 外,还可写洛伦兹与规范不变密度

它在经典局部表达中是全导数,却可通过非平凡拓扑影响量子物理。对阿贝尔与非阿贝尔规范场,缩并后的拓扑密度在 下为偶,在 、 和 下为奇。反常与拓扑将在第8.10节进一步讨论。

8.6.9 简短例题

(a)推导三胶子顶点。 展开 ,保留 的三次项,读出动量空间规则。

(b) 的颜色因子。 对初态颜色平均,求整体 因子及费米子线上的 迹。

(c)胶子自能中的鬼圈。 计算其符号与张量结构,验证全部相关胶子和鬼圈贡献之和的横向性 。

(d) 上的BRST幂零性。 用 、 及雅可比恒等式证明 。

(e)单圈 的符号。 整理胶子二点函数中的胶子圈 、费米子圈 、标量圈 及相关鬼贡献,组合得到结果。

8.6.10 基本解题工具

  • 从 推导 ,证明比安基恒等式 。
  • 在协变规范中量子化杨—米尔斯理论,写出含鬼场的完整费曼规则。
  • 说明斯拉夫诺夫—泰勒恒等式如何约束胶子自能的横向性,以及夸克—胶子耦合的重整化。
  • 将矩形威尔逊环计算到 阶,从其对数提取库仑势。
  • 使用保持背景规范不变性的背景场方法,推导单圈 函数。

8.7 QED实践:基本过程、单圈效应与 的跑动

QED是受到极精密检验的规范理论。本节把工具用于树级散射、红外安全性、单圈真空极化、顶点和电子自能,并解释电荷为何随尺度 跑动。

约定:自然单位 ,度规 ;电荷参数 ,因此电子电荷为 ,精细结构常数为 。

8.7.1 拉格朗日量、场与沃德恒等式回顾

QED拉格朗日量为

规范不变性 、 导出流守恒与 沃德—高桥恒等式:

它要求 ,即顶点和波函数重整化相等,并消除物理振幅中的非物理纵向光子贡献。

8.7.2 常用费曼规则

  • 费米子传播子: 。
  • 协变规范光子传播子:
  • 顶点: 。
  • 外线: 旋量 ;光子偏振 在物理条件下满足 。

8.7.3 典型树级过程:

一个 道光子给出

电子与正电子通过一个虚光子湮灭,产生一个 μ 子与反 μ 子;箭头表示费米子流。

这幅仅含光子交换的 QED 树图表示散射振幅的一项贡献,并非测得的粒子轨迹。线上的箭头表示费米子流;反粒子的动量方向与箭头相反。图中忽略 Z 玻色子交换。 采用自然单位 。

  • 左侧为入射四动量:电子 p₁、正电子 p₂。
  • 右侧为出射四动量:μ 子 k₁、反 μ 子 k₂。
  • 内部波浪线为离壳光子:,。

打开原尺寸图像

在满足 的质心系中,

微分截面为

总截面为

这是 R比值 的参照过程。将 替换为 并计入颜色因子,可研究夸克产生阈值。

8.7.4 巴巴与莫勒散射:相同粒子与 道

  • 巴巴散射(): 道 道发生干涉;小角度时 道占优,呈 行为,可用于亮度监测。
  • 莫勒散射():包含 与 道,费米统计带来相对负号,同样具有前向峰。

两者都适合练习旋量迹和干涉,需正确处理自旋平均、求和,以及适用时的相同粒子因子 。

8.7.5 康普顿散射:

包含s道与u道两张图,自旋求和后得到克莱因—仁科公式。在电子静止系中,入射光子能量为 、散射角为 :

其中经典电子半径为 ,并有

低能极限 恢复汤姆孙散射 。

8.7.6 莫特散射:电子被库仑场散射

电子通过单光子交换被外电荷 散射,得到 莫特截面:

与卢瑟福结果相比, 因子体现相对论自旋效应。

8.7.7 红外物理:软光子与KLN

含光子的虚单圈图会产生 红外发散,实发射中能量为 的 软光子 也产生相应奇异项。布洛赫—诺德西克与KLN机制说明,按固定探测分辨率适当组合 虚修正与实发射,可得到有限结果。对 QED过程,其结构为:

  • 虚软修正包含 或 , 为红外调节量。
  • 实软发射 含相应对数,其中 。
  • 相加后调节量抵消,留下与探测定义有关的物理对数 。

计算次领先阶时,必须包括与测量定义相容的实辐射区域,并正确处理软、共线效应。

8.7.8 单圈自能与重整化概览

电子自能 修正质量和波函数。在 中,单圈有

真空极化,即光子自能,具有张量结构

规范不变性要求横向性 。质量为 的费米子单圈贡献为

顶点修正 产生 反常磁矩 。

施温格的单圈结果为

更高圈提供更精细修正,与高精度实验比较是QED的重要检验。

8.7.9 电磁耦合的跑动

真空极化修饰光子传播,使有效电荷依赖尺度。定义

对电荷 、质量 的费米子,领先阶为

计入相关尺度以下的带电粒子后, 缓慢增大:从 附近的 ,变化到 极点附近约 。这些数值用于说明量级,精确结果依赖强子真空极化等输入。

8.7.10 偏振求和、规范选择与检验

  • 协变规范中的内光子需保留相应传播子结构,沃德恒等式保证 从可观测量中消失。
  • 对外部实光子,可以使用

前提是已证明对应完整振幅或守恒流满足 。

  • 自旋求和常用以下迹关系:

8.7.11 简短例题

(a) 的迹计算 用 矩阵的迹求 ,验证 。

(b)软光子因子化 证明软极限中, 振幅因子化为

其中出射与入射电荷分别采用 。

(c)单圈 概述 在 处将顶点投影到 结构,积分费曼参数得到 。

(d)真空极化与 在 极限计算 ,推导 跑动的领先对数。

(e)康普顿低能极限 在 下展开树级振幅,恢复汤姆孙截面。

8.7.12 基本解题工具

  • 推导无质量近似的树级巴巴微分截面,识别 关系与小角行为。
  • 从两张图计算克莱因—仁科公式,并取汤姆孙极限。
  • 对 的次领先阶,展示虚修正和实软发射的红外调节量如何抵消,留下 。
  • 用沃德—高桥恒等式,在维数正规化下证明单圈 。
  • 从重整化光子传播子提取汤姆孙极限与重费米子阈值附近的有效电荷,讨论解耦和匹配。

8.8 自发对称性破缺:戈德斯通与希格斯机制

当方程具有某种对称性,而基态不保持它时,就出现 自发对称性破缺。相应整体连续对称性破缺产生无质量 戈德斯通玻色子;在规范理论的希格斯机制中,相关自由度转为有质量规范玻色子的纵向模式。本节讨论整体 、阿贝尔希格斯模型、非阿贝尔推广、电弱理论,以及有效势和拓扑缺陷。

8.8.1 “自发”的含义

拉格朗日量具有连续对称性,真空 却选择一组对称相关最低点中的一个。沿真空流形平坦方向的激发是戈德斯通模,垂直方向的曲率通常对应有质量模。

序参量 是在对称变换下不保持不变的场或复合算符的真空期望值,记为 。

8.8.2 复标量的整体 :墨西哥帽势

考虑复标量 ,具有整体 对称性 ,以及

复标量势的极小值在场空间中构成一个圆。径向扰动与角向扰动不同;对于全局对称性,角向方向是平坦的。

最低点满足 ,其中

选定真空并展开:

代入并保留二次项:

其中

所以 是有质量径向模, 是破缺 产生的无质量 戈德斯通玻色子。

8.8.3 戈德斯通定理概览

对具有守恒流 和荷 的连续 整体 对称性,若某局域算符 的真空期望值不变性被破坏,即 ,则在标准相对论条件下存在无质量自旋零模。李群 破缺到 时,戈德斯通数目为

洛伦兹不变真空中的相对论理论,戈德斯通模在低动量具有线性色散。

8.8.4 阿贝尔希格斯机制:纵向自由度的来源

以耦合 将 规范化,替换 :

在同一真空附近展开。采用 幺正规范 消去相位,写为

二次拉格朗日量包含

质量为

自由度核对:

  • 破缺描述之前:复标量有 个实自由度,无质量规范场有 个横向偏振,总计 。
  • 之后:实标量 有 个自由度,有质量矢量 有 个偏振,总计 。

戈德斯通模 并未消失,而是成为有质量规范玻色子的纵向极化。

8.8.5 规范、被吸收的戈德斯通模与 BRST

幺正规范使可重整化性不再显然。在协变的 规范中加入

原本的戈德斯通模 以如下质量传播:

法捷耶夫–波波夫鬼场也获得依赖 的质量。物理可观测量与 无关;BRST 对称性保证非物理贡献之间正确抵消。

8.8.6 非阿贝尔希格斯机制:

令 按非阿贝尔群 的某个表示变换,并选取使 破缺为子群 的势能。写出协变导数 。在真空期望值 附近展开,可得规范玻色子的质量矩阵:

与破缺生成元对应的规范玻色子获得质量,并吸收相应的戈德斯通模;与未破缺生成元对应的规范玻色子保持无质量,构成剩余规范群 。

8.8.7 电弱理论初探:

取超荷为 的复标量二重态 ,势能为 。令

则规范玻色子的质量为

物理标量 的质量满足

汤川耦合 给出费米子质量:

因此,与 的耦合强度正比于质量;粒子越重,与希格斯场的耦合通常越强。

8.8.8 有效势与辐射诱导的对称性破缺

量子修正把势能变成有效势 ,其极小值决定真空:

在 方案中,单圈结果可示意写为

其中 是依赖背景场的质量, 计数自由度,并为费米子带入负号。有时,即使树级满足 ,辐射效应也能诱导自发对称性破缺,即科尔曼–温伯格机制。

8.8.9 拓扑结构:当真空流形具有非平凡拓扑

真空流形 可以具有非平凡拓扑。可能出现的缺陷取决于它的同伦群:

  • → 离散对称性破缺产生的畴壁。
  • → 弦;整体 产生整体弦,规范 则产生阿布里科索夫–尼尔森–奥勒森涡旋。
  • → 适当的非阿贝尔对称性破缺产生的单极子。

这些结构可出现在凝聚态系统或宇宙学中,并留下可观测的信号。

8.8.10 简短例题

(a) 阿贝尔希格斯模型的质量谱

从 出发,取 。展开动能项,证明 获得 ,且 混合项被 规范固定消去,留下 和 。

(b) 的戈德斯通模计数

对实 维矢量 ,势能 给出 。破缺生成元对应 个戈德斯通模,另有一个满足 的有质量径向模。

(c) 真空期望值产生的汤川质量

给定复标量的相互作用 ,其中 ,证明费米子质量为 ,汤川参数为 ,而物理希格斯耦合的系数为 。

(d) 非阿贝尔质量矩阵

对表示 中的 ,推导 ,并在一个简单的 例子中将其对角化,得到三个质量简并的规范玻色子。

(e) 单圈 的驻点条件

对整体 模型,取简化的质量谱 、。写出驻点条件 ,并讨论如何选择 ,利用跑动耦合改进结果。

8.8.11 基础习题

  • 对具有洛伦兹不变真空的相对论性理论,证明戈德斯通模计数公式 。
  • 在 规范中推导阿贝尔希格斯模型的质量谱,并验证极点质量与 无关。
  • 对具有单个希格斯二重态的 理论,推导 、 以及弱混合角关系 。
  • 计算高能下的散射振幅 ,说明希格斯交换如何抑制其随 的增长。
  • 在整体 模型中构造诺特流,证明戈德斯通模以导数形式耦合,从而使低能振幅受到抑制。

8.9 量子色动力学(QCD):色、部分子与禁闭

QCD 是描述夸克和胶子的非阿贝尔 规范理论。它在短距离下弱耦合,表现为渐近自由;在长距离下强耦合,表现为禁闭。对撞机硬散射涉及的自由度是部分子,探测器最终记录的是强子。连接两者的关键是因子化、耦合的跑动以及对称性。

8.9.1 拉格朗日量、场与色代数

取 种味的夸克 ,它们属于 的基本表示;胶子 属于伴随表示。QCD 拉格朗日量为

其中协变导数与场强为

对于 ,色因子为

这些常数控制散射振幅、劈裂函数以及 函数中的色结构。

8.9.2 渐近自由与跑动耦合

在单圈阶,QCD 的 函数为

对 ,它变成 ,在物理的 取值下为负。改用 表示,有

耦合在较高的 下减小,体现紫外渐近自由;在接近 时增大,进入强耦合区域。跨越重夸克阈值时,需要对 进行匹配。

8.9.3 禁闭、通量管与强子化

非微扰 QCD 的证据支持色禁闭:没有观测到孤立的夸克或胶子。可以作如下直观理解:

  • 非阿贝尔场线相互作用并聚集为通量管。较长的通量管需要能量 ,最终可通过产生夸克–反夸克对而断裂。
  • 格点计算中的静态夸克势,在适用的距离范围内近似为 Cornell 势:

它在短距离下具有库仑形式,在较长距离下线性上升。高能事件中,部分子经辐射与强子化形成喷注:强子沿近似共同的方向成束射出,保留母部分子的部分运动学信息。

8.9.4 手征对称性及其破缺

对于轻夸克 ,在 的近似下,经典拉格朗日量具有近似整体对称性

夸克凝聚 使其自发破缺。产生的戈德斯通玻色子是轻的赝标量粒子;显式夸克质量使它们成为赝戈德斯通玻色子。盖尔曼–奥克斯–伦纳关系为

轴矢 对称性受到反常破坏:

这使 的质量显著高于 π 介子的质量。

8.9.5 深度非弹性散射与部分子

轻子通过大的动量转移 探测强子。在部分子模型的领头阶近似下,电子看到近似自由的自旋 部分子,出现比约肯标度。结构函数 和 依赖比约肯变量 。对于自旋 部分子,领头阶满足 Callan–Gross 关系:

QCD 辐射造成标度破坏,由 DGLAP 演化描述:

其中 是部分子分布函数(PDF), 是含有 等色因子的劈裂核。

8.9.6 因子化:从强子到部分子

尺度为 的硬过程可因子化为普适的长距离部分与可微扰计算的短距离核:

末态强子用碎裂函数 描述,它们同样服从 DGLAP 演化。在给定微扰阶数下,物理预言对非物理尺度 的剩余依赖属于更高阶效应。

8.9.7 喷注物理与软、共线结构

夸克和胶子更容易辐射软的或共线的量子,产生 Sudakov 对数。红外与共线安全性保证可观测量具有良好的微扰定义。实际计算中:

  • 使用红外与共线安全的喷注算法,例如 、反 算法。
  • 利用动量空间中的重整化群方法或有效场论,对大对数进行重求和,并运用软–共线因子化。
  • 色因子控制辐射分布:胶子喷注通常比夸克喷注更宽,其辐射强度的差别与 有关。

8.9.8 重夸克与重夸克偶素

当 时,短距离产生过程可以微扰处理,而束缚动力学涉及非微扰效应,且适合非相对论描述。上面的 Cornell 势是一个颇为有效的近似模型。重夸克有效理论(HQET)和非相对论 QCD(NRQCD)按 或夸克速度展开,以分离不同尺度。

8.9.9 格点 QCD:欧几里得路径积分

转到欧几里得时间,以格距 离散化时空,并计算

规范场定义在链变量 上,费米子的离散化则需谨慎处理。最终需外推到 、足够大的体积以及物理夸克质量。计算结果包括强子谱、矩阵元和静态势。

8.9.10 反常、拓扑与

非平凡的规范丛允许引入 CP 奇的真空角:

瞬子等拓扑构型连接由绕数标记的不同真空,并与轴矢反常相关。强相互作用中的 破坏为何如此微弱,是尚待解释的问题,也是轴子模型的动机;上述 QCD 核心动力学并不依赖轴子的存在。

8.9.11 简短例题

(a) 的单圈跑动。 求解 ,得到对数的倒数形式,并指出在 附近出现的类似朗道极点的红外增长。

(b) 由部分子模型推导 Callan–Gross 关系。 假设散射对象是自由的自旋 部分子,推导 ,并讨论胶子辐射如何通过 DGLAP 演化破坏精确标度。

(c) 中的色因子。 计算 道胶子交换的色代数,证明对末态颜色求和并对初态颜色平均后,该道在 中的色因子为 ;相同味还需加入另一道及其干涉。

(d) 软与共线劈裂。 从夸克 夸克加胶子的劈裂概率出发,得到领头阶核

并说明“加号”处方如何实现红外安全的减除。

(e) GMOR 标度关系。 利用手征微扰论的幂次计数,说明 在领头阶正比于轻夸克平均质量。

8.9.12 基础习题

  • 推导单圈 QCD 的 函数,解释其符号为何与 QED 相反。
  • 从因子化出发,利用 PDF 和部分子层面的 核,计算 Drell–Yan 产生的领头阶强子截面。
  • 用 核使简化的 PDF 沿 演化一步,并讨论小 与大 区域的行为。
  • 说明领头阶色因子比 如何使胶子辐射强于夸克辐射、喷注通常更宽,并联系粒子多重数的标度行为。
  • 利用 Cornell 势估算重夸克偶素基态的玻尔半径,讨论库仑近似在何种条件下自洽。

8.10 反常与拓扑:当量子力学破坏经典对称性

有些对称性在量子化后保留下来,有些则不然。经典拉格朗日量的某种对称性在量子理论中失效,通常表现为原本守恒的流具有非零散度,这称为反常。反常并非计算错误,而是对理论的深刻约束。规范反常必须抵消,否则理论不自洽;整体对称性的反常可以具有物理意义,既能预言 等真实过程,也能通过 ’t Hooft 反常匹配约束红外动力学。、瞬子与陈–西蒙斯形式等拓扑结构,是这些结果的核心。

8.10.1 什么是反常

经典诺特流 满足 。在量子理论中,这一关系可能失效:

其中 是由紫外信息和对称性决定的局域算符。若 耦合到规范场, 会破坏规范不变性与幺正性;若 对应整体对称性,则可以允许 ,且其效应常可测量。

8.10.2 QED 中的轴矢反常(ABJ):三角图

对 QED 中的无质量狄拉克费米子,经典轴矢流 守恒,但单圈三角图给出

其中对偶场强为

对于有质量费米子,还需在右侧加入经典项 。通过夸克轴矢流,反常可以解释测得的 衰变率。

8.10.3 藤川方法:路径积分测度中的反常

考虑手征旋转 、。相应的作用量变分给出经典流关系,而泛函积分测度还会获得雅可比因子:

这里对 作了正则化。这一结果再现 ABJ 反常,并可推广到非阿贝尔理论。

8.10.4 非阿贝尔手征反常与相容性

对于规范群表示 中的一个无质量狄拉克场 ,单态轴流反常为

这里 ,因此系数通过 依赖于 二次指标。相比之下,手征规范反常涉及 三次迹 ,对手征费米子带符号求和后的贡献必须为零。Wess–Zumino 相容性条件约束不同规范流反常之间的相容性。

8.10.5 规范反常的抵消:标准模型为何自洽

在四维中,需要消除以下微扰反常:

  • 纯非阿贝尔反常 。
  • 混合反常 。
  • 阿贝尔反常 。
  • 规范–引力混合反常 。

在标准模型的一代费米子中,超荷满足 ;计入夸克的色重数后, 与 反常消失,而二重态的局域微扰 反常自动为零。因此,这些规范反常相互抵消,满足理论自洽性所需的条件。

8.10.6 ’t Hooft 反常匹配:紫外信息在重整化群流下保留

若某个整体对称性在紫外具有非零反常,红外描述也必须再现同一反常。理论不能简单地流向平凡、对称且有能隙的状态;若用有能隙的相来匹配反常,就需要合适的拓扑自由度。这限制了可能的禁闭与对称性破缺模式,也是检验某些对偶关系的重要依据。

8.10.7 瞬子、拓扑与 项

在欧几里得 规范理论中,有限作用量构型可由一个整数标记:

瞬子满足 ,连接具有不同陈–西蒙斯数的真空。CP 奇的项

不改变局域经典运动方程,却会影响真空并破坏 。强相互作用中 破坏为何如此微弱,就是 问题,也是引入轴子的动机。

阿蒂亚–辛格指标定理把拓扑与狄拉克算符的零模联系起来:

它揭示了轴矢反常的非微扰根源,并与 问题以及破坏手征性的过程所满足的选择定则相关。

8.10.8 鞍点子与反常引起的 破坏

在有限温度电弱理论中,借助 鞍点子(sphaleron) 越过势垒的跃迁会改变陈–西蒙斯数,破坏重子数和轻子数,但保持 守恒。每单位拓扑跃迁引起的净变化为

其中 是费米子的世代数,这里取陈–西蒙斯数正向改变一个单位。每代有三个颜色的夸克,各自的重子数为三分之一,以及一个轻子,其轻子数为一。因此三代时重子数与轻子数各改变三;反向跃迁使两者的符号同时反转。这把反常与早期宇宙中的重子生成情景联系起来。

8.10.9 陈–西蒙斯形式、反常流入与宇称反常

用微分形式语言可写为

其中

将边界与体内的陈–西蒙斯项耦合,可产生反常流入:边界的反常变分由体内贡献抵消,从而保证整体规范不变性。在奇数维中,积分掉费米子可诱导陈–西蒙斯项,其能级量子化与大规范变换下的不变性密切相关。保持规范不变性与保持宇称之间可能出现不可兼得的冲突,这就是宇称反常的核心。

8.10.10 Wess–Zumino–Witten 项与

紫外反常在红外体现为特定算符。在手征拉格朗日量中,Wess–Zumino–Witten(WZW)项由反常确定,其整数系数正比于 。由此得到 振幅:

进而得到衰变宽度

这一结果与实验符合良好,展示了反常如何给出可检验的定量预言。

8.10.11 规范–引力混合反常与纯引力反常

手征物质可以产生混合反常:

在某些偶数维度中,一些理论还存在纯引力反常,它们必须抵消,理论才能自洽。在弦论紧致化中,这些条件筛选允许的粒子谱;在凝聚态边界理论中,则可由高维体内的反常流入实现抵消。

8.10.12 简短例题

(a) ABJ 三角图与圈动量的选取 对存在歧义的线性发散积分进行正则化,证明保持矢量流的 Ward 恒等式会固定轴矢反常系数 。

(b) 藤川迹的计算 按 展开,计算 的领头贡献,并提取 。

(c) 由无穷远处的纯规范场求瞬子数 证明有限作用量的场在无穷远处满足 ,且 测量映射 的绕数。

(d) 标准模型反常检验 对一代费米子,计入夸克的色重数,验证 、,以及 和 反常的消失。

(e) 从 WZW 项得到 从 WZW 项出发,推导 耦合,并得到上面的衰变宽度。

8.10.13 基础习题

  • 推导表示 中狄拉克费米子的单态轴流反常系数,用 表示其群论因子,并将它与手征规范反常区分开来
  • 对具有 种味的简化 规范理论,利用手征整体对称性的 ’t Hooft 反常匹配约束其红外行为。
  • 证明电弱理论中 流的散度正比于 ,并计算 的选择定则。
  • 对体内的 作变分,与边界流的不守恒相匹配,展示反常流入。
  • 在 维中,积分掉与 耦合的重狄拉克费米子,证明诱导的陈–西蒙斯能级为 ,并解释大规范不变性为何要求总能级量子化。