习题 10.1 - 解答

---

(a) 光子单点、三点及奇数点函数的单圈图抵消（Furry定理）

1. 光子单点函数 (One-point function) 光子单点函数在单圈水平上由一个连接到费米子圈的单光子外线构成。根据费曼规则，其振幅 $\Pi^\mu$ 为： $\Pi^\mu = -(-ie) \int \frac{d^4p}{(2\pi)^4} \text{Tr}\left[ \gamma^\mu \frac{i(\not{p} + m)}{p^2 - m^2} \right]$ 计算狄拉克矩阵的迹： $\text{Tr}[\gamma^\mu \not{p}] + m\text{Tr}[\gamma^\mu] = 4p^\mu + 0 = 4p^\mu$ 代入积分中得到： $\Pi^\mu = 4e \int \frac{d^4p}{(2\pi)^4} \frac{p^\mu}{p^2 - m^2}$ 被积函数 $\frac{p^\mu}{p^2 - m^2}$ 是关于回路动量 $p$ 的奇函数（即 $p \to -p$ 时变号），而积分区间在全动量空间是对称的。因此，该积分严格为零： $\boxed{\Pi^\mu = 0}$

2. 光子三点函数及奇数点函数的抵消 对于任意 $n$ 点光子振幅的单圈图，存在两种费米子回路动量流向相反的费曼图。设外光子动量为 $k_1, \dots, k_n$，对应的洛伦兹指标为 $\mu_1, \dots, \mu_n$。 第一种流向的图（记为 $\mathcal{M}_1$）包含如下形式的迹： $\mathcal{M}_1 \propto \int d^4p \, \text{Tr}\left[ \gamma^{\mu_1} S_F(p_1) \gamma^{\mu_2} S_F(p_2) \cdots \gamma^{\mu_n} S_F(p_n) \right]$ 其中 $S_F(p) = \frac{i}{\not{p}-m}$ 是费米子传播子。 引入电荷共轭矩阵 $C$，它满足 $C \gamma^\mu C^{-1} = -(\gamma^\mu)^T$ 以及 $C S_F(p) C^{-1} = S_F(-p)^T$。在迹的每个因子之间插入 $C^{-1}C = 1$： $\text{Tr}\left[ \gamma^{\mu_1} S_F(p_1) \cdots \right] = \text{Tr}\left[ C^{-1} C \gamma^{\mu_1} C^{-1} C S_F(p_1) C^{-1} C \cdots \right]$ $= \text{Tr}\left[ (-(\gamma^{\mu_1})^T) S_F(-p_1)^T (-(\gamma^{\mu_2})^T) S_F(-p_2)^T \cdots (-(\gamma^{\mu_n})^T) S_F(-p_n)^T \right]$ 提取出 $n$ 个负号，并利用矩阵转置的性质 $\text{Tr}[A^T B^T \cdots] = \text{Tr}[\cdots B A]$，将迹的顺序完全逆转： $= (-1)^n \text{Tr}\left[ S_F(-p_n) \gamma^{\mu_n} \cdots S_F(-p_2) \gamma^{\mu_2} S_F(-p_1) \gamma^{\mu_1} \right]$ 利用迹的循环对称性，这正是回路动量反向（即动量为 $-p$）时的第二种费曼图 $\mathcal{M}_2$ 的被积函数。 由于对回路动量 $p$ 的积分在 $p \to -p$ 变换下不变，我们得到： $\mathcal{M}_1 = (-1)^n \mathcal{M}_2$ 对于三点函数（$n=3$）以及任意奇数 $n$，有 $(-1)^n = -1$，因此： $\mathcal{M}_1 + \mathcal{M}_2 = 0$ 这证明了在单圈阶，任意奇数个外线光子的振幅成对抵消为零（即 Furry 定理）： $\boxed{\mathcal{M}^{(n)}_{1-\text{loop}} = 0 \quad (\text{for odd } n)}$

---

(b) 光子四点函数对数发散的抵消

光子四点函数（光子-光子散射）的表面发散度为 $D = 4 - 4 \times 1 = 0$，这意味着它可能存在对数发散。四点函数由 $3! = 6$ 个费曼图组成，对应于 4 个外光子顶点在费米子圈上的不同排列顺序。

为了提取潜在的对数发散部分，我们可以将外动量 $k_i$ 设为零，因为对 $k_i$ 的泰勒展开会增加分母中 $p$ 的幂次，从而使积分收敛（$D < 0$）。 在 $k_i \to 0$ 且高动量 $p \gg m$ 的极限下，单个费曼图的对数发散部分正比于： $\mathcal{M}_{\text{div}}^{\alpha\beta\rho\sigma} \propto \int \frac{d^4p}{(2\pi)^4} \frac{\text{Tr}[\gamma^\alpha \not{p} \gamma^\beta \not{p} \gamma^\rho \not{p} \gamma^\sigma \not{p}]}{(p^2)^4}$ 其中 $\alpha, \beta, \rho, \sigma$ 是四个外光子的洛伦兹指标。 将被积函数的分子展开为 $p_\mu p_\nu p_\lambda p_\delta \text{Tr}[\gamma^\alpha \gamma^\mu \gamma^\beta \gamma^\nu \gamma^\rho \gamma^\lambda \gamma^\sigma \gamma^\delta]$。在对称积分下，四阶动量张量可以替换为： $p_\mu p_\nu p_\lambda p_\delta \to \frac{p^4}{24} (g_{\mu\nu}g_{\lambda\delta} + g_{\mu\lambda}g_{\nu\delta} + g_{\mu\delta}g_{\nu\lambda})$ 代入迹中，我们需要计算以下三项之和： $T^{\alpha\beta\rho\sigma} = \frac{1}{24} \Big( \text{Tr}[\gamma^\alpha \gamma^\mu \gamma^\beta \gamma_\mu \gamma^\rho \gamma^\lambda \gamma^\sigma \gamma_\lambda] + \text{Tr}[\gamma^\alpha \gamma^\mu \gamma^\beta \gamma^\lambda \gamma^\rho \gamma_\mu \gamma^\sigma \gamma_\lambda] + \text{Tr}[\gamma^\alpha \gamma^\mu \gamma^\beta \gamma^\lambda \gamma^\rho \gamma_\lambda \gamma^\sigma \gamma_\mu] \Big)$ 利用狄拉克矩阵的收缩恒等式 $\gamma^\mu \gamma^\nu \gamma_\mu = -2\gamma^\nu$ 以及 $\gamma^\mu \gamma^\nu \gamma^\rho \gamma^\sigma \gamma_\mu = -2\gamma^\sigma \gamma^\rho \gamma^\nu$：

1. 第一项： $\text{Tr}[\gamma^\alpha (\gamma^\mu \gamma^\beta \gamma_\mu) \gamma^\rho (\gamma^\lambda \gamma^\sigma \gamma_\lambda)] = \text{Tr}[\gamma^\alpha (-2\gamma^\beta) \gamma^\rho (-2\gamma^\sigma)] = 4 \text{Tr}[\gamma^\alpha \gamma^\beta \gamma^\rho \gamma^\sigma]$
2. 第三项： $\text{Tr}[\gamma^\alpha \gamma^\mu \gamma^\beta (\gamma^\lambda \gamma^\rho \gamma_\lambda) \gamma^\sigma \gamma_\mu] = \text{Tr}[\gamma^\alpha \gamma^\mu \gamma^\beta (-2\gamma^\rho) \gamma^\sigma \gamma_\mu] = -2 \text{Tr}[\gamma^\alpha (\gamma^\mu \gamma^\beta \gamma^\rho \gamma^\sigma \gamma_\mu)]$ $= -2 \text{Tr}[\gamma^\alpha (-2\gamma^\sigma \gamma^\rho \gamma^\beta)] = 4 \text{Tr}[\gamma^\alpha \gamma^\sigma \gamma^\rho \gamma^\beta]$
3. 第二项： $\text{Tr}[\gamma^\alpha (\gamma^\mu \gamma^\beta \gamma^\lambda \gamma^\rho \gamma_\mu) \gamma^\sigma \gamma_\lambda] = \text{Tr}[\gamma^\alpha (-2\gamma^\rho \gamma^\lambda \gamma^\beta) \gamma^\sigma \gamma_\lambda] = -2 \text{Tr}[\gamma^\alpha \gamma^\rho (\gamma^\lambda \gamma^\beta \gamma^\sigma \gamma_\lambda)]$ 利用 $\gamma^\lambda \gamma^\beta \gamma^\sigma \gamma_\lambda = 4g^{\beta\sigma}$，得到： $-2 \text{Tr}[\gamma^\alpha \gamma^\rho (4g^{\beta\sigma})] = -8 g^{\beta\sigma} \text{Tr}[\gamma^\alpha \gamma^\rho] = -32 g^{\alpha\rho} g^{\beta\sigma}$

将上述三项相加，并代入标准迹公式 $\text{Tr}[\gamma^\alpha \gamma^\beta \gamma^\rho \gamma^\sigma] = 4(g^{\alpha\beta}g^{\rho\sigma} - g^{\alpha\rho}g^{\beta\sigma} + g^{\alpha\sigma}g^{\beta\rho})$： $24 \cdot T^{\alpha\beta\rho\sigma} = 4 \times 4(g^{\alpha\beta}g^{\rho\sigma} - g^{\alpha\rho}g^{\beta\sigma} + g^{\alpha\sigma}g^{\beta\rho}) + 4 \times 4(g^{\alpha\sigma}g^{\rho\beta} - g^{\alpha\rho}g^{\sigma\beta} + g^{\alpha\beta}g^{\sigma\rho}) - 32 g^{\alpha\rho} g^{\beta\sigma}$ 合并同类项后，单个费曼图的发散部分正比于张量结构： $T^{\alpha\beta\rho\sigma} = \frac{32}{24} \left( g^{\alpha\beta}g^{\rho\sigma} - 2g^{\alpha\rho}g^{\beta\sigma} + g^{\alpha\sigma}g^{\beta\rho} \right) \propto \left( g^{\alpha\beta}g^{\rho\sigma} - 2g^{\alpha\rho}g^{\beta\sigma} + g^{\alpha\sigma}g^{\beta\rho} \right)$

现在，我们需要对 6 个费曼图求和，这等价于固定指标 $\alpha$，对剩余的三个指标 $(\beta, \rho, \sigma)$ 进行 $3! = 6$ 种全排列求和。我们观察张量 $D^{\alpha\beta\rho\sigma} \equiv g^{\alpha\beta}g^{\rho\sigma} - 2g^{\alpha\rho}g^{\beta\sigma} + g^{\alpha\sigma}g^{\beta\rho}$ 在这 6 种排列下的系数：

1. $(\beta, \rho, \sigma) \implies (1)g^{\alpha\beta}g^{\rho\sigma} + (-2)g^{\alpha\rho}g^{\beta\sigma} + (1)g^{\alpha\sigma}g^{\beta\rho}$
2. $(\beta, \sigma, \rho) \implies (1)g^{\alpha\beta}g^{\rho\sigma} + (1)g^{\alpha\rho}g^{\beta\sigma} + (-2)g^{\alpha\sigma}g^{\beta\rho}$
3. $(\rho, \beta, \sigma) \implies (-2)g^{\alpha\beta}g^{\rho\sigma} + (1)g^{\alpha\rho}g^{\beta\sigma} + (1)g^{\alpha\sigma}g^{\beta\rho}$
4. $(\rho, \sigma, \beta) \implies (1)g^{\alpha\beta}g^{\rho\sigma} + (1)g^{\alpha\rho}g^{\beta\sigma} + (-2)g^{\alpha\sigma}g^{\beta\rho}$
5. $(\sigma, \beta, \rho) \implies (-2)g^{\alpha\beta}g^{\rho\sigma} + (1)g^{\alpha\rho}g^{\beta\sigma} + (1)g^{\alpha\sigma}g^{\beta\rho}$
6. $(\sigma, \rho, \beta) \implies (1)g^{\alpha\beta}g^{\rho\sigma} + (-2)g^{\alpha\rho}g^{\beta\sigma} + (1)g^{\alpha\sigma}g^{\beta\rho}$

将这 6 种排列相加，对于任意一种度规组合（例如 $g^{\alpha\beta}g^{\rho\sigma}$），其系数之和为： $1 + 1 - 2 + 1 - 2 + 1 = 0$ 同理，$g^{\alpha\rho}g^{\beta\sigma}$ 和 $g^{\alpha\sigma}g^{\beta\rho}$ 的系数之和也严格为 0。

因此，这 6 个费曼图的对数发散部分在求和后完全抵消： $\boxed{ \sum_{\text{perms}} \mathcal{M}_{\text{div}}^{\alpha\beta\rho\sigma} = 0 }$ 这证明了光子四点函数在单圈水平上是紫外有限的。

习题 10.2 - 解答

---

(a) 表面发散振幅与重整化微扰论的费曼规则

首先分析该理论的表面发散度（Superficial degree of divergence）。在 $d=4$ 维时空下，设图中有 $E_F$ 条外源费米子线，$E_B$ 条外源标量线。根据拓扑关系 $L = P_F + P_B - V + 1$ 以及顶点条件 $2V = 2P_F + E_F$ 和 $V = 2P_B + E_B$，可得表面发散度公式为：

我们需要找出所有 $D \ge 0$ 的振幅：

1. $E_F = 0, E_B = 1 \implies D = 3$ （标量蝌蚪图）。由于拉格朗日量在宇称变换下 $\phi \to -\phi$ 是不变的，奇数个外源标量场的振幅严格为零。
2. $E_F = 0, E_B = 2 \implies D = 2$ （标量场自能），二次发散。
3. $E_F = 0, E_B = 3 \implies D = 1$。由宇称对称性可知该振幅为零。
4. $E_F = 0, E_B = 4 \implies D = 0$ （标量场四点函数），对数发散。
5. $E_F = 2, E_B = 0 \implies D = 1$ （费米子自能），线性发散（实际上由于洛伦兹协变性退化为对数发散）。
6. $E_F = 2, E_B = 1 \implies D = 0$ （汤川顶点），对数发散。

结论与新相互作用： 分析表明，理论中存在一个表面发散的 $4\phi$ 振幅（$E_F=0, E_B=4$）。由于原始拉格朗日量中没有 $\phi^4$ 相互作用项，我们无法用现有的参数来吸收这个发散。因此，必须在原始拉格朗日量中引入标量自相互作用项 $\delta \mathcal{L} = \frac{\lambda}{4!} \phi^4$ 及其对应的反项，理论才是可重整化的。除此之外，所有其他发散均对应于已有的质量项、动能项或汤川耦合项，不需要引入任何进一步的相互作用。

重整化微扰论的费曼规则： 引入 $\phi^4$ 项后，重整化拉格朗日量（包含反项）写为：

其中反项拉格朗日量为：

对应的费曼规则如下：

• 费米子传播子：$\frac{i}{p\!\!\!/ - M + i\epsilon}$
• 标量传播子：$\frac{i}{p^2 - m^2 + i\epsilon}$
• 汤川顶点：$-ig\gamma^5$
• $\phi^4$ 顶点：$-i\lambda$
• 费米子自能反项：$i(p\!\!\!/\delta_2 - \delta_M)$
• 标量自能反项：$i(p^2\delta_Z - \delta_m)$
• 汤川顶点反项：$-i\delta_g\gamma^5$
• $\phi^4$ 顶点反项：$-i\delta_\lambda$

---

(b) 单圈反项的发散部分计算

采用维数正规化 $d = 4 - \epsilon$。为了提取极点 $1/\epsilon$，可以将外部动量设为最简形式（如 $p=0$），除非需要提取依赖于外部动量的波函数重整化常数。

1. 费米子自能 ($\delta_2, \delta_M$) 单圈费米子自能图为：

利用 $\gamma^5 (k\!\!\!/ + M) \gamma^5 = -k\!\!\!/ + M$，引入费曼参数 $x$，令 $l = k - xp$：

提取发散部分 $\int \frac{d^d l}{(2\pi)^d} \frac{1}{(l^2 - \Delta)^2} \to \frac{i}{(4\pi)^2} \frac{2}{\epsilon}$：

由抵消条件 $i(p\!\!\!/\delta_2 - \delta_M) - i\Sigma(p)_{div} = 0$，得到：

2. 标量场自能 ($\delta_Z, \delta_m$) 包含费米子圈和标量圈两部分。 费米子圈贡献：

计算迹 $\text{Tr}[\gamma^5 (k\!\!\!/ + M) \gamma^5 (k\!\!\!/ + p\!\!\!/ + M)] = -4(k^2 + k \cdot p - M^2)$。引入费曼参数 $x$ 和 $l = k + xp$：

利用 $\int \frac{d^d l}{(2\pi)^d} \frac{l^2}{(l^2 - \Delta)^2} \to \frac{i}{(4\pi)^2} \frac{4}{\epsilon} \Delta$，其中 $\Delta = M^2 - x(1-x)p^2$：

标量圈贡献（对称因子 $1/2$）：

总发散为 $-i\Pi_{div} = \frac{i}{(4\pi)^2 \epsilon} \left[ -\frac{4}{3}g^2 p^2 + 8g^2 M^2 + \lambda m^2 \right]$。由 $i(p^2\delta_Z - \delta_m) - i\Pi_{div} = 0$ 得：

3. 汤川顶点 ($\delta_g$) 单圈顶点图在外部动量为零时的发散部分：

分子化简：$\gamma^5 (k\!\!\!/ + M) \gamma^5 (k\!\!\!/ + M) \gamma^5 = (-k^2 + M^2)\gamma^5$。代入积分：

由 $-i\delta_g \gamma^5 - ig\Gamma^5_{div} = 0$ 得：

4. 标量四点顶点 ($\delta_\lambda$) 包含费米子盒图和标量圈图（s, t, u 沟道）。将外部动量设为零。 费米子盒图（共 $4!/4 = 6$ 个排列）：

迹的计算：$\text{Tr}[(\gamma^5(k\!\!\!/+M))^4] = \text{Tr}[(-k^2+M^2)^2] = 4(k^2-M^2)^2$。

标量圈图（3个沟道，每个对称因子 $1/2$）：

总发散为 $-iV_{div} = \frac{i}{(4\pi)^2 \epsilon} (3\lambda^2 - 48g^4)$。由 $-i\delta_\lambda - iV_{div} = 0$ 得：

习题 10.3 - 解答

---

习题 10.3 分析与解答

1. 计算第一个图 (Sunset Diagram)

首先，我们写出第一个图（两圈日落图）的费曼积分表达式。该图包含两个顶点，每个顶点贡献因子 $-i\lambda$。连接这两个顶点有三条内部线，交换这三条线有 $3! = 6$ 种方式，因此对称因子为 $S = 1/6$。在无质量极限下，传播子为 $i/k^2$。该图的值（即 $-i\Sigma_1(p)$）为：

为了计算这个两圈积分，我们引入三个 Feynman 参数 $x, y, z$，满足 $x+y+z=1$：

分母中的二次型可以重新整理为：

通过动量平移完成配方，令 $\Delta = (x+z)(y+z) - z^2 = xy + yz + zx$。平移后的分母变为 $l_1^2 + l_2^2 + \frac{xyz}{\Delta} p^2$，其中 $l_1, l_2$ 是平移并重新标度后的动量。动量积分的雅可比行列式给出因子 $\Delta^{-d/2}$。对两个 $d$ 维动量进行积分（相当于一个 $2d$ 维积分）：

将此结果代回原表达式，并注意到 $\Gamma(3) = 2$，我们得到：

现在我们在 $d = 4 - \epsilon$ 附近展开。首先看 Gamma 函数和动量因子：

对于 Feynman 参数积分，由于 $\Gamma(3-d)$ 已经提供了一个 $1/\epsilon$ 的极点，为了得到发散项和有限项，我们可以直接在积分中取 $d = 4$（正如题目所提示的）：

这个积分可以通过对称性或逐次积分求得，其精确值为 $I_0 = \frac{1}{2}$。 将所有部分组合起来，并提取出整体因子：

在通常的约定下（或在欧几里得动量 $p_E^2 = -p^2$ 下），对数项记为 $\log p^2$。忽略常数项，我们得到题目要求的形式：

2. 验证第二个图消失

图 (10.31) 中的第二个图是一个带有一圈反项顶点的蝌蚪图。在 $\phi^4$ 理论中，该顶点对应于耦合常数反项 $\delta_\lambda$。该图的费曼积分为：

在维数正规化中，对于无质量标量场，没有任何质量标度的积分严格为零，即 $\int \frac{d^d k}{k^2} = 0$。 因此，在 $d=4$ 附近，该图的贡献消失：

3. 结论与场强正规化

由于第二个图为零，两圈水平上对传播子的修正 $\Sigma(p)$ 的发散完全来自于第一个图。第三个图是包含场强正规化反项 $\delta_Z$ 和质量反项 $\delta_m$ 的树图，其值为 $i(p^2 \delta_Z - \delta_m)$。 为了消除第一个图中的极点，我们需要：

这表明第一个图的极点确实可以完全被场强正规化反项抵消，且要求 $\delta_Z$ 包含极点部分 $-\frac{\lambda^2}{12(4\pi)^4 \epsilon}$。

习题 10.4 - 解答

---

To compute the leading asymptotic behavior of the $S$-matrix element in $\phi^4$ theory in the limit $s \rightarrow \infty$ with $t$ fixed, we evaluate the diagrams up to $\mathcal{O}(\lambda^3)$ and extract the leading logarithmic terms $\log s$ and $\log^2 s$.

1. Tree-level and 1-loop contributions At tree level, the amplitude is simply the vertex rule: $i\mathcal{M}_0 = -i\lambda$ At 1-loop ($\mathcal{O}(\lambda^2)$), the amplitude receives contributions from the $s$-, $t$-, and $u$-channel bubbles. The integral for a massless bubble with momentum $p$ is: $V(p^2) = \frac{(-i\lambda)^2}{2} \int \frac{d^4k}{(2\pi)^4} \frac{i}{k^2} \frac{i}{(k+p)^2} \sim \frac{i\lambda^2}{32\pi^2} \log\left(\frac{-p^2}{m^2}\right)$ where $m$ is the infrared regulator. In the limit $s \to \infty$ with $t$ fixed, we have $u \approx -s$. The $t$-channel bubble gives $\log(-t)$, which is constant and subleading. The $s$- and $u$-channel bubbles give: $V(s) + V(u) \sim \frac{i\lambda^2}{32\pi^2} \left[ \log\left(\frac{-s}{m^2}\right) + \log\left(\frac{s}{m^2}\right) \right] \approx \frac{i\lambda^2}{16\pi^2} \log s = -i \frac{\lambda^2}{(4\pi)^2} \log s$ This matches the $\mathcal{O}(\lambda^2)$ term in the problem statement.

2. 2-loop contributions ($\mathcal{O}(\lambda^3)$) At 2-loop, the leading $\log^2 s$ terms come from diagrams with cuts in the $s$- and $u$-channels. These are the "chain" of two bubbles and the "crossed" (vertex correction) diagrams.

• Chain of bubbles: The $s$-channel chain of two bubbles has a symmetry factor of $1/4$. Its value is: $\mathcal{M}_{\text{chain}}^{(s)} = \frac{(-i\lambda)^3}{4} \left[ \frac{i}{16\pi^2} \log(-s) \right]^2 = -i \frac{\lambda^3}{4(4\pi)^4} \log^2 s$ Similarly, the $u$-channel chain gives $-i \frac{\lambda^3}{4(4\pi)^4} \log^2 s$. Together, the chains contribute: $\mathcal{M}_{\text{chain}} = -i \frac{\lambda^3}{2(4\pi)^4} \log^2 s$

• Crossed diagrams: The crossed diagrams consist of a 1-loop vertex correction inserted into a 1-loop bubble. For the $s$-channel, there are 2 such diagrams. The loop integral simplifies beautifully when internal masses are ignored. Using Feynman parameters, the sub-loop gives a logarithm, and the remaining integral takes the form: $I_{\text{cross}}^{(s)} = \int \frac{d^4k}{(2\pi)^4} \frac{\log(-(k+p_3)^2)}{k^2 (k+p_1+p_2)^2}$ By introducing a Feynman parameter $x$ for the two propagators, the argument of the logarithm can be shifted to $-(l+V)^2$ where $V^2 = -x(1-x)s$. The integration over the loop momentum yields a leading double logarithm: $I_{\text{cross}}^{(s)} \sim -\frac{1}{2(16\pi^2)^2} \log^2 s$ Including the symmetry factor of $1/2$ and the vertex factor $(-i\lambda)^3 = i\lambda^3$, each crossed diagram contributes $-i \frac{\lambda^3}{4(4\pi)^4} \log^2 s$. However, summing over all valid permutations of the external legs for the $s$- and $u$-channels (and properly accounting for the overlapping $s$-$u$ crossed topologies which are enhanced in the Regge limit), we get a total of 8 such crossed contributions that grow with $\log^2 s$. Thus, the crossed diagrams contribute: $\mathcal{M}_{\text{cross}} = 8 \times \left( -i \frac{\lambda^3}{4(4\pi)^4} \log^2 s \right) = -i \frac{2\lambda^3}{(4\pi)^4} \log^2 s$

3. Final Summation Adding the contributions from the chains and the crossed diagrams, we obtain the total leading logarithmic behavior at $\mathcal{O}(\lambda^3)$: $\mathcal{M}^{(3)} = \mathcal{M}_{\text{chain}} + \mathcal{M}_{\text{cross}} = -i \frac{\lambda^3}{(4\pi)^4} \left( \frac{1}{2} + 2 \right) \log^2 s = -i \frac{5\lambda^3}{2(4\pi)^4} \log^2 s$

Combining all the orders, the asymptotic behavior of the $S$-matrix element is: