习题 62.1 - 解答

---

1. 光子传播子的推导

在量子场论中，自由电磁场的拉格朗日密度由麦克斯韦项和规范固定项（Gauge fixing term）组成：

其中电磁张量 $F_{\mu\nu} = \partial_\mu A_\nu - \partial_\nu A_\mu$。

为了求出传播子，我们需要提取作用量 $S = \int d^4x \mathcal{L}$ 中关于 $A_\mu$ 的二次项。将 $F_{\mu\nu}$ 代入并展开：

在作用量积分中，假设场在无穷远处趋于零，通过分部积分（丢弃表面项），可以将导数转移：

同理，对规范固定项进行分部积分：

将上述结果合并，总作用量可以写为：

通过傅里叶变换转换到动量空间，导数算符替换为 $\partial_\mu \to i k_\mu$，$\partial^2 \to -k^2$。动量空间中的二次型算符 $M^{\mu\nu}(k)$ 为：

为了求逆矩阵以获得传播子，我们引入正交投影算符。定义横向投影算符 $P^{\mu\nu}(k)$ 和纵向投影算符 $L^{\mu\nu}(k)$：

它们满足完备性关系 $P^{\mu\nu} + L^{\mu\nu} = \eta^{\mu\nu}$ 以及正交性 $P^{\mu\rho}P_\rho^\nu = P^{\mu\nu}$， $L^{\mu\rho}L_\rho^\nu = L^{\mu\nu}$， $P^{\mu\rho}L_\rho^\nu = 0$。

利用投影算符，将 $M^{\mu\nu}(k)$ 重新表述为：

动量空间中的传播子 $\tilde{\Delta}_{\mu\nu}(k)$ 是算符 $M^{\mu\nu}(k)$ 的负逆矩阵（即满足 $M^{\mu\rho}\tilde{\Delta}_{\rho\nu} = -\delta^\mu_\nu$）。由于投影算符的正交性，求逆只需将各个投影算符的系数取倒数：

代入 $L_{\mu\nu}$ 的定义，并根据微观因果性引入 Feynman 极点处方（将 $k^2$ 替换为 $k^2 - i\epsilon$ 以避开实轴上的极点），我们得到最终的光子传播子：

这正是公式 (62.9)。

---

2. $\xi = 0$ 对应 Lorenz 规范的物理分析

在路径积分量子场论的框架下，生成泛函 $Z$ 包含了对所有场位形的积分，其权重因子为 $e^{iS}$。规范固定项对路径积分测度的贡献为：

考虑极限 $\xi \to 0$。在数学上，高斯函数在方差趋于零时会趋近于狄拉克 $\delta$ 函数（Dirac delta functional），即：

物理意义： 当 $\xi \to 0$ 时，路径积分的权重因子变成了一个严格的泛函 $\delta$ 函数。这意味着在对规范场 $A_\mu$ 进行泛函积分时，所有不满足 $\partial^\mu A_\mu = 0$ 的场位形其统计权重严格为零。 因此，系统的量子涨落被完全限制在满足 $\partial^\mu A_\mu = 0$ 的超曲面上。由于 $\partial^\mu A_\mu = 0$ 正是 Lorenz 规范条件，所以 $\xi = 0$ 的极限（通常称为 Landau 规范）在物理上等价于严格施加了 Lorenz 规范。

习题 62.2 - 解答

---

在 $R_\xi$ 规范下，量子电动力学（QED）的拉格朗日量包含规范固定项 $-\frac{1}{2\xi}(\partial_\mu A^\mu)^2$。在 $d = 4 - \varepsilon$ 维时空和 mostly plus 度规 $\eta_{\mu\nu} = (-,+,+,+)$ 下，光子传播子、费米子传播子和顶点分别为： $\Delta_{\mu\nu}(k) = \frac{-i}{k^2} \left[ \eta_{\mu\nu} - (1-\xi)\frac{k_\mu k_\nu}{k^2} \right], \quad S(p) = \frac{-i(\not p - m)}{p^2 + m^2}, \quad V^\mu = i e \gamma^\mu$ 我们需要计算单圈图的发散部分，以确定重整化常数 $Z_1, Z_2, Z_3, Z_m$ 中 $e^2/\varepsilon$ 的系数。

1. 电子自能与 $Z_2, Z_m$

电子的单圈自能 $-i\Sigma(p)$ 为： $-i\Sigma(p) = \int \frac{d^d k}{(2\pi)^d} (ie\gamma^\mu) \frac{-i(\not p - \not k - m)}{(p-k)^2 + m^2} (ie\gamma^\nu) \frac{-i}{k^2} \left[ \eta_{\mu\nu} - (1-\xi)\frac{k_\mu k_\nu}{k^2} \right]$ 将其分为 Feynman 规范部分（$\xi=1$）和 $\xi$ 依赖部分： $\Sigma(p) = \Sigma_F(p) + \Sigma_\xi(p)$

Feynman 规范部分 $\Sigma_F(p)$： $-i\Sigma_F(p) = -e^2 \int \frac{d^d k}{(2\pi)^d} \frac{\gamma^\mu (\not p - \not k + m) \gamma_\mu}{k^2 ((p-k)^2 + m^2)}$ 利用 Dirac 矩阵代数 $\gamma^\mu \gamma_\mu = -d$ 和 $\gamma^\mu \not q \gamma_\mu = (d-2)\not q$，分子化简为 $(d-2)(\not p - \not k) - dm$。引入 Feynman 参数 $x$ 并平移动量 $k \to k + xp$，提取紫外发散部分（取 $d \to 4$）： $-i\Sigma_F(p)_{div} = -e^2 \frac{i}{16\pi^2}\frac{2}{\varepsilon} \int_0^1 dx \left[ 2(1-x)\not p - 4m \right] = -i\frac{e^2}{8\pi^2\varepsilon} (\not p - 4m)$

$\xi$ 依赖部分 $\Sigma_\xi(p)$： $-i\Sigma_\xi(p) = e^2(1-\xi) \int \frac{d^d k}{(2\pi)^d} \frac{\not k (\not p - \not k + m) \not k}{k^4 ((p-k)^2 + m^2)}$ 分子展开为 $\not k \not p \not k + k^2 \not k - m k^2$。使用 Feynman 参数 $y$ 组合分母 $\frac{1}{A B^2} = \int_0^1 dy \frac{2(1-y)}{[yA + (1-y)B]^3}$，平移 $k \to k + yp$。保留对发散有贡献的 $O(k^2)$ 项，并在 $d=4$ 下进行对称积分 $k^\mu k^\nu \to \frac{1}{4}k^2 \eta^{\mu\nu}$，分子变为 $k^2 \left[ (\frac{1}{2} + \frac{3}{2}y)\not p - m \right]$。积分得到： $-i\Sigma_\xi(p)_{div} = e^2(1-\xi) \frac{i}{16\pi^2}\frac{2}{\varepsilon} \int_0^1 dy \, 2(1-y) \left[ \left(\frac{1}{2} + \frac{3}{2}y\right)\not p - m \right] = i\frac{e^2}{8\pi^2\varepsilon} (1-\xi)(\not p - m)$

总自能与重整化常数： $\Sigma(p)_{div} = \frac{e^2}{8\pi^2\varepsilon} \left[ (\not p - 4m) - (1-\xi)(\not p - m) \right] = \frac{e^2}{8\pi^2\varepsilon} \left[ \xi \not p - (3+\xi)m \right]$ 抵消项顶点为 $-i(Z_2 - 1)\not p - i(Z_m - 1)m$。要求 $\Sigma(p)_{div} + (Z_2 - 1)\not p + (Z_m - 1)m = 0$，可得： $Z_2 = 1 - \frac{\xi}{8\pi^2} \frac{e^2}{\varepsilon}, \quad Z_m = 1 + \frac{3+\xi}{8\pi^2} \frac{e^2}{\varepsilon}$

2. 顶点修正与 $Z_1$

单圈顶点修正的发散部分可通过设外动量为零提取： $ie\mathbf{V}^\mu_{div} = e^3 \int \frac{d^d k}{(2\pi)^d} \frac{\gamma^\rho (-\not k) \gamma^\mu (-\not k) \gamma^\sigma}{k^6} \left[ \eta_{\rho\sigma} - (1-\xi)\frac{k_\rho k_\sigma}{k^2} \right]$ Feynman 规范部分： $e^3 \int \frac{d^d k}{(2\pi)^d} \frac{\gamma^\rho \not k \gamma^\mu \not k \gamma_\rho}{k^6} \to e^3 \int \frac{d^d k}{(2\pi)^d} \frac{k^2 \gamma^\mu}{k^6} = ie\gamma^\mu \frac{e^2}{8\pi^2\varepsilon}$ $\xi$ 依赖部分： 利用 $\not k \not k = -k^2$，分子变为 $(-k^2)\gamma^\mu(-k^2) = k^4 \gamma^\mu$： $-e^3(1-\xi) \int \frac{d^d k}{(2\pi)^d} \frac{k^4 \gamma^\mu}{k^8} = -ie\gamma^\mu \frac{e^2}{8\pi^2\varepsilon}(1-\xi)$ 总顶点发散为 $ie\mathbf{V}^\mu_{div} = ie\gamma^\mu \frac{e^2}{8\pi^2\varepsilon} \xi$。由抵消项 $ie(Z_1 - 1)\gamma^\mu + ie\mathbf{V}^\mu_{div} = 0$ 得到： $Z_1 = 1 - \frac{\xi}{8\pi^2} \frac{e^2}{\varepsilon}$

3. 真空极化与 $Z_3$

光子自能由费米子圈给出，与规范参数 $\xi$ 无关： $i\Pi^{\mu\nu}(q) = -e^2 \int \frac{d^d k}{(2\pi)^d} \frac{\text{Tr}[\gamma^\mu (\not k + m) \gamma^\nu (\not k + \not q + m)]}{(k^2 + m^2)((k+q)^2 + m^2)}$ 引入 Feynman 参数 $x$ 并平移 $k \to k - xq$，提取 $O(k^2)$ 发散项并利用维数正规化积分： $i\Pi^{\mu\nu}(q)_{div} = -e^2 \frac{i}{16\pi^2}\frac{2}{\varepsilon} \int_0^1 dx \, 8x(1-x)(q^2 \eta^{\mu\nu} - q^\mu q^\nu) = -i(q^2 \eta^{\mu\nu} - q^\mu q^\nu) \frac{e^2}{6\pi^2\varepsilon}$ 由抵消项 $-i(Z_3 - 1)(q^2 \eta^{\mu\nu} - q^\mu q^\nu) + i\Pi^{\mu\nu}_{div} = 0$ 得到： $Z_3 = 1 - \frac{1}{6\pi^2} \frac{e^2}{\varepsilon}$

4. 结论与 Lorenz 规范下的性质

综上所述，各重整化常数中 $e^2/\varepsilon$ 的系数分别为： $\boxed{ Z_1: -\frac{\xi}{8\pi^2}, \quad Z_2: -\frac{\xi}{8\pi^2}, \quad Z_3: -\frac{1}{6\pi^2}, \quad Z_m: \frac{3+\xi}{8\pi^2} }$

Lorenz 规范下的证明： Lorenz 规范条件 $\partial_\mu A^\mu = 0$ 在 $R_\xi$ 规范中对应于严格取极限 $\xi \to 0$（即 Landau 规范）。 将 $\xi = 0$ 代入上述 $Z_1$ 和 $Z_2$ 的表达式中，单圈 $O(e^2)$ 的修正项系数直接消没： $Z_1 = 1 - 0 \cdot \frac{e^2}{8\pi^2\varepsilon} = 1$ $Z_2 = 1 - 0 \cdot \frac{e^2}{8\pi^2\varepsilon} = 1$ 因此，在 Lorenz 规范（$\xi=0$）下，单圈级别的波函数与顶点重整化常数没有发散修正，即： $\boxed{ Z_1 = Z_2 = 1 + O(e^4) }$

习题 62.3 - 解答

---

物理背景与单圈图的表面发散度分析

本题探讨的是量子电动力学（QED）中的光子-光子散射（Light-by-Light scattering）过程。在最低阶（单圈）近似下，该过程由包含四个外部光子线和内部费米子圈的费曼图描述。由于外部有四个光子，根据玻色对称性，外部光子顶点在费米子圈上的排列共有 $4!/4 = 6$ 种非循环排列，对应 6 个不同的单圈费曼图。

设环路动量为 $p$，外部光子动量分别为 $k_1, k_2, k_3, k_4$，对应的极化指标为 $\mu_1, \mu_2, \mu_3, \mu_4$。任意一个单独的费曼图的振幅积分结构如下： $\mathcal{M}_{\mu_1\mu_2\mu_3\mu_4}^{(1)} \propto \int \frac{d^4p}{(2\pi)^4} \text{Tr} \left[ \gamma_{\mu_1} \frac{i}{\not{p}-m} \gamma_{\mu_2} \frac{i}{\not{p}+\not{k}_1-m} \gamma_{\mu_3} \frac{i}{\not{p}+\not{k}_1+\not{k}_2-m} \gamma_{\mu_4} \frac{i}{\not{p}-\not{k}_4-m} \right]$

我们可以计算该积分的表面发散度（Superficial Degree of Divergence, $D$）。对于四维时空中的 QED 单圈图： $D = 4d - P_f - 2P_b$ 其中 $d=1$ 为圈数，$P_f=4$ 为费米子传播子数量，$P_b=0$ 为内部光子传播子数量。代入得： $D = 4(1) - 4 - 0 = 0$ 表面发散度 $D=0$ 意味着在紫外极限（$p \to \infty$）下，每一个单独的费曼图都具有对数发散（Logarithmic divergence）。

基于规范不变性的抵消机制与有限性证明

尽管单个图是对数发散的，但这 6 个图的求和必须是有限的。这一深刻的结论完全由**规范不变性（Gauge Invariance）**决定。

在路径积分表述中，积分掉费米子场后，纯光子场的单圈有效作用量（Effective Action）$\Gamma[A]$ 可表示为： $\Gamma[A] = -i \text{Tr} \ln (i\not{\partial} - e\not{A} - m)$ 根据 QED 的规范不变性，有效作用量 $\Gamma[A]$ 必须在规范变换 $A_\mu \to A_\mu + \partial_\mu \Lambda$ 下保持不变。这意味着 $\Gamma[A]$ 只能由规范不变的张量——电磁场强张量 $F_{\mu\nu} = \partial_\mu A_\nu - \partial_\nu A_\mu$ 及其协变导数构成。

我们当前考虑的是包含四个外部光子的散射振幅，这对应于有效作用量中包含四个 $A_\mu$ 场的项。能够构造出的最低阶规范不变算符必须包含四个 $F_{\mu\nu}$，例如： $\mathcal{L}_{\text{eff}}^{(4)} \propto c_1 (F_{\mu\nu}F^{\mu\nu})^2 + c_2 F_{\mu\nu}F^{\nu\rho}F_{\rho\sigma}F^{\sigma\mu}$ 关键在于，每一个 $F_{\mu\nu}$ 都包含一个导数 $\partial_\mu$。因此，任何包含四个光子场的规范不变算符，至少包含四个导数。

在动量空间中，每一个时空导数 $\partial_\mu$ 都对应一个外部动量因子 $k_\mu$。因此，规范不变性（等价于 Ward-Takahashi 恒等式）强制要求，总散射振幅 $\mathcal{M}_{\mu_1\mu_2\mu_3\mu_4}^{\text{total}}$ 必须能够提取出四个外部动量的因子： $\mathcal{M}_{\mu_1\mu_2\mu_3\mu_4}^{\text{total}} \propto \mathcal{T}_{\mu_1\mu_2\mu_3\mu_4\alpha\beta\rho\sigma} k_1^\alpha k_2^\beta k_3^\rho k_4^\sigma$

现在，我们将这 6 个图的总振幅在外部动量 $k_i = 0$ 处进行泰勒展开： $\mathcal{M}^{\text{total}}(k) = \mathcal{M}^{\text{total}}(0) + \left. \frac{\partial \mathcal{M}^{\text{total}}}{\partial k} \right|_{k=0} k + \frac{1}{2} \left. \frac{\partial^2 \mathcal{M}^{\text{total}}}{\partial k^2} \right|_{k=0} k^2 + \frac{1}{3!} \left. \frac{\partial^3 \mathcal{M}^{\text{total}}}{\partial k^3} \right|_{k=0} k^3 + \mathcal{O}(k^4)$

1. 零阶项 $\mathcal{M}^{\text{total}}(0)$ 对应于算符 $A^4$，表面发散度 $D=0$。
2. 一阶项对应于算符 $A^3 \partial A$，表面发散度 $D=-1$。
3. 二阶项对应于算符 $A^2 (\partial A)^2$，表面发散度 $D=-2$。
4. 三阶项对应于算符 $A (\partial A)^3$，表面发散度 $D=-3$。

由于上述所有低于四阶导数的算符（$A^4, A^3 \partial A, A^2 (\partial A)^2, A (\partial A)^3$）都破坏规范不变性，物理的有效作用量中不能包含这些项。因此，当我们将 6 个满足玻色对称性的费曼图求和时，规范不变性保证了这些低阶项的系数必须精确相加为零。

总振幅中第一个非零的项是 $\mathcal{O}(k^4)$ 项。从环路积分中提取出四个外部动量因子 $k_1 k_2 k_3 k_4$ 后，剩余的环路动量积分的被积函数在分母上会增加四个 $p$ 的幂次。因此，剩余积分的真实发散度（True Degree of Divergence）变为： $D_{\text{true}} = D_{\text{superficial}} - 4 = 0 - 4 = -4$

由于 $D_{\text{true}} = -4 < 0$，该积分在紫外区域表现为 $\int d^4p / p^8$，是绝对收敛的。

$\boxed{\text{虽然单个图具有 } D=0 \text{ 的对数发散，但规范不变性要求总振幅必须正比于 } k_1 k_2 k_3 k_4 \text{，提取四个外部动量后，剩余积分的发散度降为 } D=-4 \text{，因此 6 个图的求和必然是有限的。}}$