习题 36.1 - 解答

---

习题分析与物理背景

在 $e^+e^-$ 湮灭到强子的过程中，推力（Thrust）$T$ 及其相关变量 $\tau = 1 - T$ 是描述事件形状（Event Shapes）的核心观测量。在双喷注（dijet）区域，末态粒子高度准直地沿着推力轴分布，此时 $\tau \to 0$。 题目中的 $\tau_1$ 定义为两个半球的不变质量平方之和归一化到质心能量平方：$\tau_1 = \frac{M_1^2 + M_2^2}{Q^2}$。 本题要求证明在双喷注极限下 $\tau \approx \tau_1$，并进一步证明对于任意粒子数，$\frac{d\sigma}{d\tau}$ 与 $\frac{d\sigma}{d\tau_1}$ 的奇异项（即形如 $\frac{1}{\tau}\ln^n\tau$ 的发散项）是完全相同的。

---

第一步：证明推力轴的横动量性质

推力 $T$ 的定义为： $T = \max_{\vec{n}} \frac{\sum_i |\vec{p}_i \cdot \vec{n}|}{Q}$ 其中 $Q = \sum_i E_i$ 为总能量。使得上式取最大值的单位矢量 $\vec{n}$ 即为推力轴。 将整个空间垂直于 $\vec{n}$ 分为两个半球 $H_1$（$\vec{p}_i \cdot \vec{n} > 0$）和 $H_2$（$\vec{p}_i \cdot \vec{n} < 0$）。 由于 $\vec{n}$ 是极大值点，对于任意垂直于 $\vec{n}$ 的微小变分 $\delta \vec{n}$，推力的一阶变分为零： $\delta T = \frac{1}{Q} \sum_i \text{sgn}(\vec{p}_i \cdot \vec{n}) \vec{p}_i \cdot \delta \vec{n} = \frac{1}{Q} \left( \sum_{i \in H_1} \vec{p}_i - \sum_{i \in H_2} \vec{p}_i \right) \cdot \delta \vec{n} = 0$ 因为 $\delta \vec{n}$ 在横向平面内是任意的，这要求两个半球的横动量之差为零： $\vec{P}_{1\perp} - \vec{P}_{2\perp} = 0$ 同时，由总动量守恒知 $\vec{P}_{1\perp} + \vec{P}_{2\perp} = 0$。因此我们得到一个对任意粒子数都成立的精确结论： $\vec{P}_{1\perp} = \vec{P}_{2\perp} = 0$ 即每个半球相对于推力轴的总横动量严格为零。

---

第二步：推导 $\tau$ 与 $\tau_1$ 的精确运动学关系

利用上述性质，两个半球的不变质量平方可以写为： $M_1^2 = E_1^2 - (P_1^z)^2 - \vec{P}_{1\perp}^2 = E_1^2 - (P_1^z)^2$ $M_2^2 = E_2^2 - (P_2^z)^2 - \vec{P}_{2\perp}^2 = E_2^2 - (P_2^z)^2$ 其中 $E_1 + E_2 = Q$，且纵向动量守恒要求 $P_1^z + P_2^z = 0 \implies P_2^z = -P_1^z$。 变量 $\tau$ 可以写为： $\tau = 1 - T = \frac{1}{Q} \sum_i (E_i - |\vec{p}_i \cdot \vec{n}|) = \frac{1}{Q} [ (E_1 - P_1^z) + (E_2 + P_2^z) ]$ 引入光锥变量： $x = E_1 - P_1^z, \quad y = E_2 + P_2^z = E_2 - P_1^z$ $u = E_1 + P_1^z, \quad v = E_2 - P_2^z = E_2 + P_1^z$ 根据定义，我们有以下方程组：

1. $x + y = Q\tau$
2. $u + v = E_1 + E_2 + 2P_1^z = Q + 2P_1^z$
3. $(x+y) + (u+v) = 2(E_1 + E_2) = 2Q \implies u + v = Q(2-\tau)$
4. $u - v = E_1 - E_2$ 且 $x - y = E_1 - E_2 \implies u - v = x - y \equiv \Delta$
5. $u x = M_1^2$ 且 $v y = M_2^2$

由 1, 3, 4 可解得： $x = \frac{Q\tau + \Delta}{2}, \quad y = \frac{Q\tau - \Delta}{2}$ $u = \frac{Q(2-\tau) + \Delta}{2}, \quad v = \frac{Q(2-\tau) - \Delta}{2}$ 代入 5 中作差与求和： $M_1^2 - M_2^2 = u x - v y = \frac{1}{4} [ 2\Delta Q\tau + 2\Delta Q(2-\tau) ] = \Delta Q \implies \Delta = \frac{M_1^2 - M_2^2}{Q}$ $M_1^2 + M_2^2 = u x + v y = \frac{1}{2} [ Q^2\tau(2-\tau) + \Delta^2 ] = \frac{1}{2} \left[ Q^2\tau(2-\tau) + \frac{(M_1^2 - M_2^2)^2}{Q^2} \right]$ 两边同除以 $Q^2$，并记 $\rho_1 = \frac{M_1^2}{Q^2}, \rho_2 = \frac{M_2^2}{Q^2}$，得到 $\tau$ 与 $\tau_1$ 的精确关系： $\tau_1 = \frac{1}{2}\tau(2-\tau) + \frac{1}{2}(\rho_1 - \rho_2)^2$

解此二次方程求 $\tau$（取 $\tau \to 0$ 的物理根）： $\tau = 1 - \sqrt{1 - 2\tau_1 + (\rho_1 - \rho_2)^2}$ 在双喷注区域，$\tau_1 \ll 1$ 且 $\rho_i \ll 1$，将平方根展开： $\tau = 1 - \left[ 1 - \tau_1 + \frac{1}{2}(\rho_1 - \rho_2)^2 - \frac{1}{2}\tau_1^2 + \mathcal{O}(\tau_1^3) \right]$ $\tau = \tau_1 + \frac{1}{2} [ (\rho_1 + \rho_2)^2 - (\rho_1 - \rho_2)^2 ] + \mathcal{O}(\tau_1^3) = \tau_1 + 2\rho_1 \rho_2 + \mathcal{O}(\tau_1^3)$ 因为 $\rho_1, \rho_2 \sim \mathcal{O}(\tau_1)$，所以 $\tau - \tau_1 \sim \mathcal{O}(\tau_1^2)$。 这证明了在双喷注区域： $\boxed{\tau \approx \tau_1}$

---

第三步：证明奇异项相同

微观截面的奇异项是指在 $\tau \to 0$ 时表现为 $\frac{1}{\tau}\ln^n\tau$ 或 $\delta(\tau)$ 的项。 我们可以将 $\tau$ 的微分截面写为对半球质量的积分： $\frac{d\sigma}{d\tau} = \int d\rho_1 d\rho_2 \frac{d^2\sigma}{d\rho_1 d\rho_2} \delta(\tau - \tau(\rho_1, \rho_2))$ 代入展开式 $\tau(\rho_1, \rho_2) \approx \tau_1 + 2\rho_1 \rho_2$（其中 $\tau_1 = \rho_1 + \rho_2$），并对 $\delta$ 函数进行泰勒展开： $\delta(\tau - \tau_1 - 2\rho_1 \rho_2) = \delta(\tau - \tau_1) - 2\rho_1 \rho_2 \delta'(\tau - \tau_1) + \dots$ 因此截面可以分为两部分： $\frac{d\sigma}{d\tau} = \frac{d\sigma}{d\tau_1}\bigg|_{\tau_1=\tau} - \int d\rho_1 d\rho_2 \frac{d^2\sigma}{d\rho_1 d\rho_2} 2\rho_1 \rho_2 \delta'(\tau - \rho_1 - \rho_2) + \dots$ 在微扰 QCD 中，双微分截面的领头奇异行为是 $\frac{d^2\sigma}{d\rho_1 d\rho_2} \sim \frac{\ln^n \rho_1}{\rho_1} \frac{\ln^m \rho_2}{\rho_2}$。 我们来评估修正项（第二项）的奇异性： $\Delta \frac{d\sigma}{d\tau} \sim - \int d\rho_1 d\rho_2 \frac{\ln^n \rho_1}{\rho_1} \frac{\ln^m \rho_2}{\rho_2} (2\rho_1 \rho_2) \delta'(\tau - \rho_1 - \rho_2)$ $= -2 \frac{d}{d\tau} \int_0^\tau d\rho_1 \ln^n \rho_1 \ln^m (\tau - \rho_1)$ 作变量代换 $\rho_1 = \tau x$，积分变为： $\int_0^\tau d\rho_1 \ln^n \rho_1 \ln^m (\tau - \rho_1) = \tau \int_0^1 dx (\ln \tau + \ln x)^n (\ln \tau + \ln(1-x))^m$ 该积分的结果具有 $\tau \ln^{n+m} \tau$ 的形式。 当对其求导 $\frac{d}{d\tau}$ 时，得到的结果正比于 $\ln^{n+m} \tau$。 显然，$\mathcal{O}(\ln^k \tau)$ 是可积的，不包含 $\frac{1}{\tau}$ 这样的极点奇异性。

由于修正项在 $\tau \to 0$ 时是非奇异的，所有的奇异极点完全由第一项 $\delta(\tau - \tau_1)$ 贡献。且由于第一步中推力轴导致 $\vec{P}_{1\perp} = 0$ 的性质对任意多粒子末态均严格成立，上述运动学关系和展开对任意粒子数都有效。

综上所述，我们证明了： $\boxed{ \text{对于任意粒子数，} \frac{d\sigma}{d\tau} \text{ 与 } \frac{d\sigma}{d\tau_1} \text{ 具有完全相同的奇异项。} }$

习题 36.2 - 解答

---

习题分析与物理背景

本题要求证明在标量量子电动力学（Scalar QED）和量子色动力学（QCD）中，多重共线发射（multiple collinear emissions）的矩阵元在领头幂（leading power）近似下具有因子化性质。

这一结论是软共线有效理论（Soft-Collinear Effective Theory, SCET）的核心结果。在处理高能散射过程时，末态粒子往往集中在几个不同的共线方向（如喷注）。定义共线动量标度为 $p^\mu = (p^+, p^-, p_\perp) \sim Q(\lambda^2, 1, \lambda)$，其中 $\lambda \ll 1$。 在领头幂近似下，不同共线方向（如 $n_i$ 和 $n_j$）的粒子之间的不变质量很大 $(p_i+p_j)^2 \sim Q^2$，它们之间交换共线规范玻色子会导致传播子高度离壳（off-shell），从而被积出（integrated out）进入硬散射系数。因此，不同共线扇区（collinear sectors）之间的长程动力学相互作用被压低，有效拉格朗日量在不同共线扇区之间完全退耦（decouple）： $\mathcal{L}_{\text{SCET}} = \sum_{i} \mathcal{L}_{n_i} + \mathcal{L}_{\text{soft}}$ 通过 BPS 场重定义（BPS field redefinition），软相互作用也可以从共线扇区中退耦。这意味着希尔伯特空间可以写成不同共线扇区状态的直积： $\mathcal{H} \cong \bigotimes_i \mathcal{H}_{n_i}$ 为了保证每个独立共线扇区的规范不变性，必须引入共线威尔逊线（Collinear Wilson lines）$W_{n_i}$ 来吸收来自硬源的任意次共线发射。

下面分别对标量 QED 和 QCD 进行推导。

---

(a) 标量 QED 中的共线因子化 (Eq. 36.51)

推导过程：

1. 算符匹配与规范不变性 在全理论中，产生 $n$ 个不同方向标量粒子的硬算符为 $\mathcal{O} = \phi_1^* \cdots \phi_n$。 匹配到 SCET 时，为了使每个共线方向 $n_i$ 的场在各自的共线规范变换下保持不变，必须将标量场 $\phi_{n_i}$ 替换为规范不变的组合 $\Phi_{n_i} = W_{n_i}^\dagger \phi_{n_i}$。其中 $W_{n_i}$ 是沿 $\bar{n}_i$ 方向的共线威尔逊线： $W_{n_i}(x) = \mathcal{P} \exp \left( i e \int_{-\infty}^0 ds \, \bar{n}_i \cdot A_{n_i}(x + s \bar{n}_i) \right)$ 对于反粒子场（或共轭场），对应的规范不变组合为 $\Phi_{n_1}^* = \phi_{n_1}^* W_{n_1}$。 因此，有效理论中的算符变为： $\mathcal{O}_{\text{SCET}} = (\phi_{n_1}^* W_{n_1}) \cdots (W_{n_n}^\dagger \phi_{n_n})$

2. 态的因子化 由于在领头幂下，不同共线扇区之间没有动力学相互作用，包含多重共线光子发射的渐近态可以分解为各个独立扇区态的直积： $| p_1 \cdots p_n; q_{a_1} \cdots q_{b_n} \rangle \cong \bigotimes_{i=1}^n | p_i; q_{a_i} \cdots q_{b_i} \rangle$ 其中 $p_i$ 是第 $i$ 个扇区的硬标量粒子动量，$q_{a_i} \cdots q_{b_i}$ 是伴随该方向的共线光子动量。

3. 矩阵元的计算 将因子化的算符作用于因子化的态上。由于第 $i$ 个扇区的算符只作用于第 $i$ 个扇区的希尔伯特空间，矩阵元直接分解为各个扇区矩阵元的乘积：

   $$\begin{aligned} \langle p_1 \cdots p_n; q_{a_1} \cdots q_{b_n} | \phi_1^* \cdots \phi_n | \Omega \rangle &\cong \langle p_1 \cdots p_n; q_{a_1} \cdots q_{b_n} | (\phi_{n_1}^* W_{n_1}) \cdots (W_{n_n}^\dagger \phi_{n_n}) | \Omega \rangle \\ &= \prod_{i=1}^n \langle p_i; q_{a_i} \cdots q_{b_i} | \mathcal{O}_i | \Omega \rangle \end{aligned}$$

   其中 $\mathcal{O}_1 = \phi_1^* W_1$，其余 $\mathcal{O}_i = W_i^\dagger \phi_i$。展开乘积即得：

这证明了 Eq. (36.51)。

---

(b) QCD 中的共线因子化 (Eq. 36.43)

推导过程：

1. 算符匹配与规范不变性 在 QCD 中，考虑产生一对背对背夸克-反夸克（例如 $e^+e^- \to q\bar{q}$ 过程）的流算符 $J^\mu = \bar{\psi} \gamma^\mu \psi$。 设反夸克沿 $n_1$ 方向，夸克沿 $n_2$ 方向。在 SCET 中，全理论的狄拉克场 $\psi$ 被投影并匹配为共线夸克场 $\xi_{n_1}$ 和 $\xi_{n_2}$。 同样，为了保证每个共线扇区的局域 $SU(3)_C$ 规范不变性，必须引入 QCD 共线威尔逊线 $W_{n}$，定义规范不变的共线夸克场（Jet field）： $\chi_{n_2} = W_{n_2}^\dagger \xi_{n_2}, \quad \bar{\chi}_{n_1} = \bar{\xi}_{n_1} W_{n_1}$ 因此，领头幂下的有效流算符为： $J^\mu_{\text{SCET}} = \bar{\chi}_{n_1} \gamma^\mu \chi_{n_2} = \bar{\chi}_{n_1}^\alpha \gamma^\mu_{\alpha\beta} \chi_{n_2}^\beta$ 其中 $\alpha, \beta$ 是旋量（及隐含的色）指标。

2. 态的因子化 与标量 QED 类似，在领头幂下，QCD 中 $n_1$ 扇区和 $n_2$ 扇区的共线胶子之间没有相互作用。包含多重共线胶子发射的末态可以写成直积态： $| p_1 p_2; q_{a_1} \cdots q_{b_2} \rangle \cong | p_1; q_{a_1} \cdots q_{b_1} \rangle \otimes | p_2; q_{a_2} \cdots q_{b_2} \rangle$ 这里 $q_{a_1} \cdots q_{b_1}$ 是沿 $n_1$ 方向的共线胶子，$q_{a_2} \cdots q_{b_2}$ 是沿 $n_2$ 方向的共线胶子。

3. 矩阵元的计算 计算该流算符在真空到多重发射态之间的矩阵元。将算符和态代入，并利用不同扇区算符的对易性（或反对易性，此处双线性型算符整体对易）：

   $$\begin{aligned} \langle p_1 p_2; q_{a_1} \cdots q_{b_2} | \bar{\psi} \gamma^\mu \psi | \Omega \rangle &\cong \langle p_1 p_2; q_{a_1} \cdots q_{b_2} | \bar{\chi}_{n_1}^\alpha \gamma^\mu_{\alpha\beta} \chi_{n_2}^\beta | \Omega \rangle \\ &= \gamma^\mu_{\alpha\beta} \langle p_1 p_2; q_{a_1} \cdots q_{b_2} | \bar{\chi}_{n_1}^\alpha \chi_{n_2}^\beta | \Omega \rangle \end{aligned}$$

   由于 $\bar{\chi}_{n_1}^\alpha$ 仅包含 $n_1$ 扇区的产生/湮灭算符，$\chi_{n_2}^\beta$ 仅包含 $n_2$ 扇区的算符，且真空态 $|\Omega\rangle = |\Omega\rangle_{n_1} \otimes |\Omega\rangle_{n_2}$，矩阵元严格分解为：

   $$\langle p_1 p_2; q_{a_1} \cdots q_{b_2} | \bar{\chi}_{n_1}^\alpha \chi_{n_2}^\beta | \Omega \rangle = \langle p_1; q_{a_1} \cdots q_{b_1} | \bar{\chi}_{n_1}^\alpha | \Omega \rangle \langle p_2; q_{a_2} \cdots q_{b_2} | \chi_{n_2}^\beta | \Omega \rangle$$

   将其代回原式，即得：

这证明了 Eq. (36.43)。

习题 36.3 - 解答

---

先分析

在共线极限下，可以通过计算 $1 \to 2$ 劈裂过程的矩阵元来提取 Altarelli-Parisi 劈裂函数 $P_{gg}(z)$。根据 Section 36.4.2 的方法，我们在光锥规范下利用横向极化矢量计算 $g(P) \to g(p) + g(k)$ 的平方矩阵元，并对其进行方位角平均。

定义光锥坐标 $v^\mu = (v^+, v^-, v_\perp)$，其中 $v^\pm = v^0 \pm v^3$。设初始胶子动量为 $P$，分裂后的两个胶子动量分别为 $p$ 和 $k$。在共线极限下，运动学变量可参数化为： $P^\mu = (P^+, 0, 0_\perp)$ $p^\mu = \left( zP^+, \frac{k_\perp^2}{zP^+}, k_\perp \right)$ $k^\mu = \left( (1-z)P^+, \frac{k_\perp^2}{(1-z)P^+}, -k_\perp \right)$ 其中 $z$ 是纵向动量分数。该系统的共线不变质量平方为： $P^2 = (p+k)^2 = \frac{k_\perp^2}{z(1-z)}$

下面计算

1. 极化矢量与顶点展开 选取光锥规范 $n \cdot A = 0$，其中 $n^\mu = (0, 1, 0_\perp)$。利用横截性条件 $\epsilon \cdot p = 0$ 和 $\epsilon^+ = 0$，可得各胶子的极化矢量： $\epsilon_P^\mu = (0, 0, \epsilon_{P\perp})$ $\epsilon_p^\mu = \left( 0, \frac{2 k_\perp \cdot \epsilon_{p\perp}}{z P^+}, \epsilon_{p\perp} \right)$ $\epsilon_k^\mu = \left( 0, \frac{-2 k_\perp \cdot \epsilon_{k\perp}}{(1-z) P^+}, \epsilon_{k\perp} \right)$

三胶子顶点的 Feynman 规则（设 $P$ 传入，$p, k$ 传出）为： $V^{\mu\nu\rho} = g_s f^{abc} \left[ g^{\mu\nu}(P+p)^\rho + g^{\nu\rho}(-p+k)^\mu + g^{\rho\mu}(-k-P)^\nu \right]$ 将极化矢量代入并收缩，利用 $\epsilon_1 \cdot \epsilon_2 = -\epsilon_{1\perp} \cdot \epsilon_{2\perp}$，计算各项的动量点乘： $\epsilon_k^* \cdot (P+p) = \frac{1}{2}\epsilon_k^{-*} (1+z)P^+ - \epsilon_{k\perp}^* \cdot k_\perp = -\frac{2}{1-z} \epsilon_{k\perp}^* \cdot k_\perp$ $\epsilon_P \cdot (-p+k) = 2 \epsilon_{P\perp} \cdot k_\perp$ $\epsilon_p^* \cdot (-k-P) = \frac{1}{2}\epsilon_p^{-*} (-(2-z)P^+) - \epsilon_{p\perp}^* \cdot k_\perp = -\frac{2}{z} \epsilon_{p\perp}^* \cdot k_\perp$

代入顶点公式，提取出矩阵元 $\mathcal{M}^{abc} = 2 g_s f^{abc} A$，其中横向部分 $A$ 为（为书写简便，省略下标 $\perp$ 和复共轭 $*$）： $A = \frac{1}{1-z} (\epsilon_P \cdot \epsilon_p) (\epsilon_k \cdot k_\perp) - (\epsilon_p \cdot \epsilon_k) (\epsilon_P \cdot k_\perp) + \frac{1}{z} (\epsilon_k \cdot \epsilon_P) (\epsilon_p \cdot k_\perp)$

2. 矩阵元平方与极化求和 固定初始极化 $\epsilon_P$，对末态极化 $\epsilon_p, \epsilon_k$ 求和。利用二维横向空间的完备性关系 $\sum \epsilon^i \epsilon^j = \delta^{ij}$，计算 $|A|^2$ 的各项： $\sum_{\epsilon_p, \epsilon_k} \left[ \frac{1}{1-z} (\epsilon_P \cdot \epsilon_p) (\epsilon_k \cdot k_\perp) \right]^2 = \frac{k_\perp^2}{(1-z)^2}$ $\sum_{\epsilon_p, \epsilon_k} \left[ (\epsilon_p \cdot \epsilon_k) (\epsilon_P \cdot k_\perp) \right]^2 = 2(\epsilon_P \cdot k_\perp)^2$ $\sum_{\epsilon_p, \epsilon_k} \left[ \frac{1}{z} (\epsilon_k \cdot \epsilon_P) (\epsilon_p \cdot k_\perp) \right]^2 = \frac{k_\perp^2}{z^2}$ 交叉项求和结果为： $-2 \sum T_1 T_2 = -\frac{2}{1-z}(\epsilon_P \cdot k_\perp)^2, \quad -2 \sum T_2 T_3 = -\frac{2}{z}(\epsilon_P \cdot k_\perp)^2, \quad 2 \sum T_1 T_3 = \frac{2}{z(1-z)}(\epsilon_P \cdot k_\perp)^2$ 将所有项相加，合并含有 $(\epsilon_P \cdot k_\perp)^2$ 的系数： $\sum_{\epsilon_p, \epsilon_k} |A|^2 = k_\perp^2 \left[ \frac{1}{(1-z)^2} + \frac{1}{z^2} \right] + 2(\epsilon_P \cdot k_\perp)^2 \left[ 1 - \frac{1}{1-z} - \frac{1}{z} + \frac{1}{z(1-z)} \right]$ 注意到第二个方括号内的代数恒等式： $1 - \frac{z + (1-z)}{z(1-z)} + \frac{1}{z(1-z)} = 1 - \frac{1}{z(1-z)} + \frac{1}{z(1-z)} = 1$ 因此极化求和简化为： $\sum_{\epsilon_p, \epsilon_k} |A|^2 = k_\perp^2 \left[ \frac{1}{(1-z)^2} + \frac{1}{z^2} \right] + 2(\epsilon_P \cdot k_\perp)^2$

3. 方位角平均与提取劈裂函数 根据题目要求，对横向动量 $\vec{k}_\perp$ 的方位角进行平均。在二维横向空间中，方位角平均给出 $\langle (\epsilon_P \cdot k_\perp)^2 \rangle = \frac{1}{2} \epsilon_P^2 k_\perp^2 = \frac{1}{2} k_\perp^2$。代入上式得： $\langle \sum |A|^2 \rangle = k_\perp^2 \left[ \frac{1}{(1-z)^2} + \frac{1}{z^2} + 1 \right]$ 包含颜色因子 $\frac{1}{N_c^2-1} \sum f^{abc} f^{abc} = C_A$ 后，平均平方矩阵元为： $\overline{|\mathcal{M}|^2} = 4 g_s^2 C_A \langle \sum |A|^2 \rangle = 4 g_s^2 C_A k_\perp^2 \left[ \frac{1}{(1-z)^2} + \frac{1}{z^2} + 1 \right]$ 利用运动学关系 $k_\perp^2 = P^2 z(1-z)$ 将其改写为： $\overline{|\mathcal{M}|^2} = 4 g_s^2 C_A P^2 z(1-z) \left[ \frac{1}{(1-z)^2} + \frac{1}{z^2} + 1 \right] = 4 g_s^2 C_A P^2 \left[ \frac{z}{1-z} + \frac{1-z}{z} + z(1-z) \right]$

在共线分解定理中，劈裂函数 $P_{gg}(z)$ 与 $1 \to 2$ 矩阵元的关系为： $\overline{|\mathcal{M}_{1 \to 2}|^2} = 2 g_s^2 P^2 P_{gg}(z)$ 对比两式，直接提取出 $P_{gg}(z)$： $2 g_s^2 P^2 P_{gg}(z) = 4 g_s^2 C_A P^2 \left[ \frac{z}{1-z} + \frac{1-z}{z} + z(1-z) \right]$

最终得到未正则化的胶子到胶子劈裂函数： $\boxed{ P_{gg}(z) = 2C_A \left[ \frac{z}{1-z} + \frac{1-z}{z} + z(1-z) \right] }$

习题 36.4 - 解答

---

下面是对标量 QED 中双发射（一个软光子，一个共线光子）领头幂（Leading Power）软-共线因子化定理的分析与证明。

1. 运动学与领头幂（Leading Power）分析

设标量粒子的动量为 $p_1$ 和 $p_2$（均为硬动量，处于大能标 $Q$）。 设光子 $q$ 与 $p_1$ 共线（Collinear），光子 $k$ 为软光子（Soft）。 引入缩放参数 $\lambda \ll 1$，在光锥坐标系下，各动量的标度（Scaling）如下：

• 硬动量：$p_1 \sim Q(1, \lambda^2, \lambda)$
• 共线动量：$q \sim Q(1, \lambda^2, \lambda)$
• 软动量：$k \sim Q(\lambda^2, \lambda^2, \lambda^2)$

定义中间共线动量 $P = p_1 + q$。由于 $q \parallel p_1$，有 $P \sim Q(1, \lambda^2, \lambda)$，且 $P^2 = (p_1+q)^2 \sim \lambda^2 Q^2$。 同时，软光子与共线动量的点乘 $P \cdot k \sim \lambda^2 Q^2$。 因此，在传播子分母中，$P^2$ 与 $P \cdot k$ 处于同一量级 $\mathcal{O}(\lambda^2)$，不能相互忽略。

2. 目标矩阵元拆解

我们需要证明全振幅 $\mathcal{M} = \langle \Omega | \phi_1^* \phi_2 | p_1 p_2; q; k \rangle$ 在领头幂下可以分解为以下三个矩阵元的乘积：

1. 硬部分与共线部分 ($p_1$)： $\langle \Omega | \phi_1^* W_1 | p_1; q \rangle = \Gamma_0 \left( e \frac{(2p_1+q)\cdot \epsilon_q}{(p_1+q)^2} \right)$ 其中 $\Gamma_0$ 为硬产生顶点的振幅，$W_1$ 为共线 Wilson 线。
2. 共线部分 ($p_2$)： $\langle \Omega | W_2^\dagger \phi_2 | p_2 \rangle = 1$ （因为没有光子与 $p_2$ 共线，领头幂下无共线辐射）。
3. 软部分： $\langle \Omega | Y_1 Y_2^\dagger | k \rangle = e \left( \frac{p_1 \cdot \epsilon_k}{p_1 \cdot k} - \frac{p_2 \cdot \epsilon_k}{p_2 \cdot k} \right)$ 其中 $Y_1, Y_2$ 为沿 $p_1, p_2$ 方向的软 Wilson 线，$Y_2^\dagger$ 贡献了相对负号（对应相反的电荷流向）。

目标即证明全振幅在领头幂下满足： $\mathcal{M} \approx \Gamma_0 \left[ e \frac{(2p_1+q)\cdot \epsilon_q}{(p_1+q)^2} \right] \left[ e \frac{p_1 \cdot \epsilon_k}{p_1 \cdot k} - e \frac{p_2 \cdot \epsilon_k}{p_2 \cdot k} \right]$

3. 费曼图计算与因子化推导

在标量 QED 中，产生两个光子 $q$ 和 $k$ 的领头幂费曼图包含以下几种情况（共线光子 $q$ 必须从 $p_1$ 腿发射，否则传播子变硬导致幂次压低）：

图 A：软光子 $k$ 从 $p_2$ 发射，共线光子 $q$ 从 $p_1$ 发射

此时两个发射相互独立，直接得到： $\mathcal{M}_A = \Gamma_0 \left( -e \frac{2p_2 \cdot \epsilon_k}{(p_2+k)^2} \right) \left( e \frac{(2p_1+q)\cdot \epsilon_q}{(p_1+q)^2} \right) \approx \Gamma_0 \left( -e \frac{p_2 \cdot \epsilon_k}{p_2 \cdot k} \right) \left( e \frac{(2p_1+q)\cdot \epsilon_q}{(p_1+q)^2} \right)$ 这完美匹配了目标公式中软 Wilson 线 $Y_2^\dagger$ 的贡献。

图 B：软光子 $k$ 从 $p_1$ 发射（在 $q$ 之后，即更靠外）

$\mathcal{M}_B = \Gamma_0 \frac{e(2p_1+q)\cdot \epsilon_q}{(p_1+q)^2 + 2(p_1+q)\cdot k} \frac{e(2p_1+k)\cdot \epsilon_k}{(p_1+k)^2}$ 利用软光子近似 $k \ll p_1$，外侧顶点和传播子化简为 $\frac{p_1 \cdot \epsilon_k}{p_1 \cdot k}$。记 $P = p_1+q$，则： $\mathcal{M}_B \approx \Gamma_0 \frac{e^2 (2p_1+q)\cdot \epsilon_q}{P^2 + 2P\cdot k} \frac{p_1 \cdot \epsilon_k}{p_1 \cdot k}$

图 C：共线光子 $q$ 从 $p_1$ 发射（在 $k$ 之后，即更靠外）

$\mathcal{M}_C = \Gamma_0 \frac{e(2p_1+2q+k)\cdot \epsilon_k}{(p_1+q+k)^2} \frac{e(2p_1+q)\cdot \epsilon_q}{(p_1+q)^2}$ 由于 $k$ 是软的，内侧顶点 $2p_1+2q+k \approx 2(p_1+q) = 2P$。传播子分母为 $P^2 + 2P\cdot k$。 $\mathcal{M}_C \approx \Gamma_0 \frac{2e^2 P \cdot \epsilon_k}{P^2 + 2P\cdot k} \frac{(2p_1+q)\cdot \epsilon_q}{P^2}$

图 D：海鸥顶点（Seagull Vertex）同时发射 $k$ 和 $q$

$\mathcal{M}_D = \Gamma_0 \frac{-2e^2 \epsilon_q \cdot \epsilon_k}{(p_1+q+k)^2} \approx \Gamma_0 \frac{-2e^2 \epsilon_q \cdot \epsilon_k}{P^2 + 2P\cdot k}$ 幂次压低分析： 对于共线光子，其极化矢量满足 $p_1 \cdot \epsilon_q \sim \mathcal{O}(\lambda)$。 图 C 的分子包含 $P \cdot \epsilon_k (2p_1+q)\cdot \epsilon_q \sim 1 \times \lambda = \mathcal{O}(\lambda)$。 图 D 的分子包含 $P^2 \epsilon_q \cdot \epsilon_k \sim \lambda^2 \times 1 = \mathcal{O}(\lambda^2)$。 因此，海鸥图 $\mathcal{M}_D$ 相比 $\mathcal{M}_C$ 被 $\lambda$ 压低了一个幂次，在领头幂（Leading Power）下可以忽略：$\mathcal{M}_D \approx 0$。

4. 软-共线重叠的代数相消

现在我们将 $p_1$ 腿上的领头幂贡献相加（图 B + 图 C）： $\mathcal{M}_{p_1} = \mathcal{M}_B + \mathcal{M}_C = \frac{\Gamma_0 e^2}{P^2 + 2P\cdot k} \left[ (2p_1+q)\cdot \epsilon_q \frac{p_1 \cdot \epsilon_k}{p_1 \cdot k} + \frac{2P \cdot \epsilon_k (2p_1+q)\cdot \epsilon_q}{P^2} \right]$ 提取公因子 $(2p_1+q)\cdot \epsilon_q$： $\mathcal{M}_{p_1} = \frac{\Gamma_0 e^2 (2p_1+q)\cdot \epsilon_q}{P^2 + 2P\cdot k} \left[ \frac{p_1 \cdot \epsilon_k}{p_1 \cdot k} + \frac{2P \cdot \epsilon_k}{P^2} \right]$ 由于 $q$ 与 $p_1$ 共线，动量 $P = p_1+q$ 的方向与 $p_1$ 几乎相同，即 $P^\mu \approx z^{-1} p_1^\mu$。因此对于软光子 $k$，存在程函近似（Eikonal Identity）关系： $\frac{P \cdot \epsilon_k}{P \cdot k} \approx \frac{p_1 \cdot \epsilon_k}{p_1 \cdot k} \implies P \cdot \epsilon_k \approx \frac{P \cdot k}{p_1 \cdot k} p_1 \cdot \epsilon_k$ 将此关系代入方括号中的第二项： $\frac{p_1 \cdot \epsilon_k}{p_1 \cdot k} + \frac{2}{P^2} \left( \frac{P \cdot k}{p_1 \cdot k} p_1 \cdot \epsilon_k \right) = \frac{p_1 \cdot \epsilon_k}{p_1 \cdot k} \left[ 1 + \frac{2P \cdot k}{P^2} \right] = \frac{p_1 \cdot \epsilon_k}{p_1 \cdot k} \left[ \frac{P^2 + 2P \cdot k}{P^2} \right]$ 将化简后的方括号代回 $\mathcal{M}_{p_1}$，分子中的 $(P^2 + 2P \cdot k)$ 与整体前缀的分母完美相消： $\mathcal{M}_{p_1} = \frac{\Gamma_0 e^2 (2p_1+q)\cdot \epsilon_q}{P^2 + 2P\cdot k} \times \frac{p_1 \cdot \epsilon_k}{p_1 \cdot k} \frac{P^2 + 2P \cdot k}{P^2} = \Gamma_0 \left( e \frac{(2p_1+q)\cdot \epsilon_q}{P^2} \right) \left( e \frac{p_1 \cdot \epsilon_k}{p_1 \cdot k} \right)$ 由于 $P^2 = (p_1+q)^2$，这正是 $p_1$ 腿上独立的共线发射与软发射的乘积！

5. 结论

综合 $p_1$ 腿的贡献 $\mathcal{M}_{p_1}$ 与 $p_2$ 腿的贡献 $\mathcal{M}_A$，全振幅在领头幂下严格等于： $\mathcal{M} \approx \Gamma_0 \left[ e \frac{(2p_1+q)\cdot \epsilon_q}{(p_1+q)^2} \right] \left[ e \frac{p_1 \cdot \epsilon_k}{p_1 \cdot k} - e \frac{p_2 \cdot \epsilon_k}{p_2 \cdot k} \right]$ 对照第 2 节中定义的算符矩阵元，上式右侧恰好对应于硬、共线和软矩阵元的直积。因此，我们证明了标量 QED 在领头幂下的软-共线因子化：