习题 80.1 - 解答

---

习题分析与物理背景

在 $U(N)$ 规范理论中，场可以写成矩阵形式 $B = B^a T^a$，其中 $T^a$ 是 $U(N)$ 群的生成元，满足归一化条件 $\text{Tr}(T^a T^b) = \delta^{ab}$。 当 $N=1$ 时，规范群退化为 $U(1)$。此时只有一个生成元 $T^1$，为了满足归一化条件 $\text{Tr}(T^1 T^1) = 1$，生成元必须为 $T^1 = 1$（即 $1\times 1$ 的单位矩阵）。因此，伴随表示的场 $B^a$ 退化为单一的实标量场 $B$，且所有包含生成元的迹 $\text{Tr}(T^{a_1} \dots T^{a_n})$ 均等于 $1$。

我们需要分别使用“分量场费曼规则”和“色序费曼规则”计算 $N=1$ 时的传播子和顶点，并证明两者完全一致。

---

1. 分量场费曼规则 (Component Field Rules)

根据公式 (80.6) 及其后的说明，分量场 $B^a$ 的费曼规则由拉格朗日量直接给出。对于 $n$ 点顶点，规则是将相互作用项乘以 $i$，并对所有外部线的 $n!$ 种全排列求和。

• 传播子： 分量场的传播子为 $\frac{i \delta^{ab}}{p^2}$。当 $N=1$ 时，只有一个分量 $a=b=1$，传播子退化为： $\Delta(p) = \frac{i}{p^2}$

• 3-点顶点： 拉格朗日量中的 3-点相互作用项为 $\frac{1}{3} g \, \text{Tr}(T^a T^b T^c) B^a B^b B^c$。对外部线的 $3!$ 种排列求和，得到完整的 3-点顶点： $V_3 = i g \sum_{\sigma \in S_3} \frac{1}{3} \text{Tr}(T^{a_{\sigma(1)}} T^{a_{\sigma(2)}} T^{a_{\sigma(3)}})$ 代入 $N=1$ 时的 $T^1 = 1$，迹恒为 $1$。排列群 $S_3$ 共有 $3! = 6$ 项： $V_3 = i g \left( \frac{1}{3} \right) \times 3! = 2 i g$

• 4-点顶点： 拉格朗日量中的 4-点相互作用项为 $-\frac{1}{4} \lambda \, \text{Tr}(T^a T^b T^c T^d) B^a B^b B^c B^d$。对外部线的 $4!$ 种排列求和： $V_4 = -i \lambda \sum_{\sigma \in S_4} \frac{1}{4} \text{Tr}(T^{a_{\sigma(1)}} T^{a_{\sigma(2)}} T^{a_{\sigma(3)}} T^{a_{\sigma(4)}})$ 代入 $N=1$ 时的 $T^1 = 1$，迹恒为 $1$。排列群 $S_4$ 共有 $4! = 24$ 项： $V_4 = -i \lambda \left( \frac{1}{4} \right) \times 4! = -6 i \lambda$

---

2. 色序费曼规则 (Color-Ordered Feynman Rules)

色序费曼规则通过提取拉格朗日量中 $\text{Tr}(B^n)$ 的系数，乘以 $i$ 以及保持迹不变的循环排列数 $n$ 来得到色序振幅 $A_n$。完整的物理振幅 $\mathcal{A}_n$ 则通过色分解 (Color Decomposition) 公式，对 $(n-1)!$ 种非循环排列求和得到。

• 传播子： 色序传播子剥离了色因子，直接为： $\Delta(p) = \frac{i}{p^2}$

• 3-点顶点： 色序 3-点顶点为 $A_3(1,2,3) = i g (\frac{1}{3}) \times 3 = i g$。 完整的 3-点顶点通过色分解公式重构： $\mathcal{A}_3 = \sum_{\sigma \in S_2} \text{Tr}(T^{a_1} T^{a_{\sigma(2)}} T^{a_{\sigma(3)}}) A_3(1, \sigma(2), \sigma(3))$ 对于 $N=1$，迹恒为 $1$，且 $A_3$ 对所有排列均等于 $i g$。排列群 $S_2$ 共有 $2! = 2$ 项： $\mathcal{A}_3 = \sum_{\sigma \in S_2} i g = 2 \times i g = 2 i g$

• 4-点顶点： 色序 4-点顶点为 $A_4(1,2,3,4) = -i \lambda (\frac{1}{4}) \times 4 = -i \lambda$。 完整的 4-点顶点通过色分解公式重构： $\mathcal{A}_4 = \sum_{\sigma \in S_3} \text{Tr}(T^{a_1} T^{a_{\sigma(2)}} T^{a_{\sigma(3)}} T^{a_{\sigma(4)}}) A_4(1, \sigma(2), \sigma(3), \sigma(4))$ 对于 $N=1$，迹恒为 $1$，且 $A_4$ 对所有排列均等于 $-i \lambda$。排列群 $S_3$ 共有 $3! = 6$ 项： $\mathcal{A}_4 = \sum_{\sigma \in S_3} (-i \lambda) = 6 \times (-i \lambda) = -6 i \lambda$

---

结论

对比两种方法在 $N=1$ 时的计算结果：

两种方法给出的所有费曼规则和完整顶点完全一致。

习题 80.2 - 解答

---

为了验证 eq. (80.12) 之后引述的关于生成元迹的对称性结果，我们首先定义 $n$ 个生成元的迹为： $T_{a_1 a_2 \dots a_n} \equiv \text{Tr}(T^{a_1} T^{a_2} \dots T^{a_n})$ 根据迹的循环对称性（Cyclic property），我们有： $T_{a_1 a_2 \dots a_n} = T_{a_2 \dots a_n a_1}$ 根据题目中的 eq. (80.12)，迹的复共轭等价于指标的完全逆序（Reversal property）： $T_{a_1 a_2 \dots a_n}^* = T_{a_n \dots a_2 a_1}$ 我们可以将 $T_{a_1 \dots a_n}$ 分解为实部 $R_{a_1 \dots a_n}$ 和虚部 $I_{a_1 \dots a_n}$，即 $T = R + iI$。利用复共轭性质，实部和虚部可以表示为： $R_{a_1 \dots a_n} = \frac{1}{2} (T_{a_1 \dots a_n} + T_{a_n \dots a_1})$ $I_{a_1 \dots a_n} = \frac{1}{2i} (T_{a_1 \dots a_n} - T_{a_n \dots a_1})$ 由于 $T_{a_1 \dots a_n}$ 具有循环对称性，其实部 $R$ 和虚部 $I$ 也必然具有循环对称性。下面我们分别对 $n=2, 3, 4$ 的情况进行验证。

---

1. 对于 $n=2$ 的情况

根据实部和虚部的定义： $R_{ab} = \frac{1}{2} (T_{ab} + T_{ba})$ $I_{ab} = \frac{1}{2i} (T_{ab} - T_{ba})$ 由迹的循环对称性可知 $T_{ab} = T_{ba}$。代入上式可得： $I_{ab} = 0, \quad R_{ab} = T_{ab} = T_{ba}$ 这表明虚部为零，且实部在指标交换下是对称的。 结论： $\boxed{ \text{Tr}(T^a T^b) \text{ 是纯实数且是对称张量。} }$

---

2. 对于 $n=3$ 的情况

对于实部 $R_{abc}$： $R_{abc} = \frac{1}{2} (T_{abc} + T_{cba})$ 利用循环对称性 $T_{cba} = T_{bac}$，我们可以将其写为： $R_{abc} = \frac{1}{2} (T_{abc} + T_{bac})$ 这表明 $R_{abc}$ 在交换前两个指标 $a \leftrightarrow b$ 时是对称的（即 $R_{abc} = R_{bac}$）。由于 $R_{abc}$ 同时也具有循环对称性（$R_{abc} = R_{bca} = R_{cab}$），一个既具有循环对称性又在相邻指标交换下对称的三阶张量，必然在任意两个指标交换下都是对称的。因此，$R_{abc}$ 是完全对称的。

对于虚部 $I_{abc}$： $I_{abc} = \frac{1}{2i} (T_{abc} - T_{cba}) = \frac{1}{2i} (T_{abc} - T_{bac})$ 这表明 $I_{abc}$ 在交换 $a \leftrightarrow b$ 时是反对称的（即 $I_{abc} = -I_{bac}$）。结合其循环对称性（$I_{abc} = I_{bca} = I_{cab}$），一个具有循环对称性且在相邻指标交换下反对称的三阶张量，必然是完全反对称的。 结论： $\boxed{ \text{Tr}(T^a T^b T^c) \text{ 可以写成一个完全对称的实部与一个完全反对称的虚部之和。} }$

---

3. 对于 $n=4$ 的情况

对于实部 $R_{abcd}$，它满足循环对称性 $R_{abcd} = R_{bcda}$ 和逆序对称性 $R_{abcd} = R_{dcba}$。我们可以将其分解为一个完全对称的部分 $S_{abcd}$ 和剩余部分 $E_{abcd}$： $R_{abcd} = S_{abcd} + E_{abcd}$ 其中完全对称部分可以通过对 $R_{abcd}$ 在置换群 $S_4$ 下的陪集求和得到： $S_{abcd} = \frac{1}{3} (R_{abcd} + R_{acbd} + R_{abdc})$ 剩余部分 $E_{abcd}$ 则为： $E_{abcd} = R_{abcd} - S_{abcd} = \frac{1}{3} (2 R_{abcd} - R_{acbd} - R_{abdc})$ 我们可以验证 $E_{abcd}$ 满足以下对称性：

1. 配对交换对称性：利用循环和逆序对称性，可证 $R_{cdab} = R_{abcd}$，从而 $E_{abcd} = E_{cdab}$。
2. Bianchi 恒等式：将指标进行循环轮换并求和： $E_{abcd} + E_{acbd} + E_{abdc} = \frac{1}{3} [ (2-1-1)R_{abcd} + (-1+2-1)R_{acbd} + (-1-1+2)R_{abdc} ] = 0$ 满足配对交换对称性且满足 Bianchi 恒等式的张量，在群论上属于置换群 $S_4$ 的 $(2,2)$ 不可约表示（即杨图为两行两列的表示）。这正是黎曼曲率张量 (Riemann tensor) 所具有的代数对称性特征。

对于虚部 $I_{abcd}$，它满足循环对称性 $I_{abcd} = I_{bcda}$ 和逆序反对称性 $I_{abcd} = -I_{dcba}$。 考察交换第1和第3个指标 $a \leftrightarrow c$： $I_{cbad} = \frac{1}{2i} (T_{cbad} - T_{dabc})$ 利用循环对称性 $T_{cbad} = T_{dcba}$ 和 $T_{dabc} = T_{abcd}$，得到： $I_{cbad} = \frac{1}{2i} (T_{dcba} - T_{abcd}) = -I_{abcd}$ 同理，考察交换第2和第4个指标 $b \leftrightarrow d$： $I_{adcb} = \frac{1}{2i} (T_{adcb} - T_{bcda}) = \frac{1}{2i} (T_{dcba} - T_{abcd}) = -I_{abcd}$ 这表明虚部 $I_{abcd}$ 在 $a \leftrightarrow c$ 以及 $b \leftrightarrow d$ 下是反对称的。

结论： $\boxed{ \text{Tr}(T^a T^b T^c T^d) \text{ 的实部可分解为一个完全对称张量与一个具有黎曼张量对称性的张量，其虚部在不相邻指标交换下反对称。} }$

习题 80.3 - 解答

---

为了计算该求和，我们首先明确 $SU(N)$ 群的基础表示生成元 $T^a$ 的性质。由于生成元是无迹的（traceless）且为厄米矩阵（Hermitian, $(T^a)^\dagger = T^a$），我们有： $\left( \text{Tr}(T^{a_1} T^{a_2} T^{a_3} T^{a_4}) \right)^* = \text{Tr}(T^{a_4} T^{a_3} T^{a_2} T^{a_1})$ 因此，所求的求和可以写为： $S = \sum_{a,b,c,d} |\text{Tr}(T^a T^b T^c T^d)|^2 = \sum_{a,b,c,d} \text{Tr}(T^a T^b T^c T^d) \text{Tr}(T^d T^c T^b T^a)$

在标准归一化 $\text{Tr}(T^a T^b) = \frac{1}{2}\delta^{ab}$ 下，$SU(N)$ 生成元满足完备性关系（Fierz 恒等式）： $\sum_a (T^a)_i^j (T^a)_k^l = \frac{1}{2} \left( \delta_i^l \delta_k^j - \frac{1}{N} \delta_i^j \delta_k^l \right)$ 利用该恒等式，对于任意两个矩阵 $A$ 和 $B$，我们可以推导出如下迹的求和引理： $\sum_a \text{Tr}(T^a A) \text{Tr}(T^a B) = \sum_a (T^a)_{ij} A_{ji} (T^a)_{kl} B_{lk} = \frac{1}{2} \text{Tr}(AB) - \frac{1}{2N} \text{Tr}(A)\text{Tr}(B)$

现在我们将此引理应用于求和 $S$ 中对 $d$ 的求和。令 $A = T^a T^b T^c$ 且 $B = T^c T^b T^a$，我们得到： $S = \frac{1}{2} \sum_{a,b,c} \text{Tr}(T^a T^b T^c T^c T^b T^a) - \frac{1}{2N} \sum_{a,b,c} \text{Tr}(T^a T^b T^c) \text{Tr}(T^c T^b T^a)$ 我们将上式分为两项 $S = T_1 + T_2$ 分别计算。

第一项 $T_1$ 的计算： 利用二次卡西米尔算子（Quadratic Casimir）的性质 $\sum_c T^c T^c = C_F I = \frac{N^2-1}{2N} I$，我们可以从内向外逐层求和： $\sum_c \text{Tr}(T^a T^b T^c T^c T^b T^a) = C_F \text{Tr}(T^a T^b T^b T^a)$ 继续对 $b$ 和 $a$ 求和： $\sum_{a,b} C_F \text{Tr}(T^a T^b T^b T^a) = C_F^2 \sum_a \text{Tr}(T^a T^a) = C_F^3 \text{Tr}(I) = C_F^3 N$ 代入 $C_F = \frac{N^2-1}{2N}$，得到： $T_1 = \frac{1}{2} C_F^3 N = \frac{1}{2} \left( \frac{N^2-1}{2N} \right)^3 N = \frac{(N^2-1)^3}{16 N^2}$

第二项 $T_2$ 的计算： 对于 $T_2$ 中的求和，我们再次对 $c$ 使用迹的求和引理，此时令 $A = T^a T^b$ 且 $B = T^b T^a$： $\sum_c \text{Tr}(T^c T^a T^b) \text{Tr}(T^c T^b T^a) = \frac{1}{2} \text{Tr}(T^a T^b T^b T^a) - \frac{1}{2N} \text{Tr}(T^a T^b) \text{Tr}(T^b T^a)$ 分别对这两部分求 $a, b$ 的和。前半部分为： $\frac{1}{2} \sum_{a,b} \text{Tr}(T^a T^b T^b T^a) = \frac{1}{2} C_F \sum_a \text{Tr}(T^a T^a) = \frac{1}{2} C_F^2 N = \frac{(N^2-1)^2}{8N}$ 后半部分利用 $\text{Tr}(T^a T^b) = \frac{1}{2}\delta^{ab}$： $- \frac{1}{2N} \sum_{a,b} \text{Tr}(T^a T^b) \text{Tr}(T^b T^a) = - \frac{1}{2N} \sum_{a,b} \frac{1}{4} \delta^{ab} \delta^{ab} = - \frac{1}{8N} \sum_a \delta^{aa} = - \frac{N^2-1}{8N}$ 将这两部分相加，并乘上 $T_2$ 最外层的系数 $-\frac{1}{2N}$： $T_2 = -\frac{1}{2N} \left[ \frac{(N^2-1)^2}{8N} - \frac{N^2-1}{8N} \right] = -\frac{1}{2N} \frac{(N^2-1)(N^2-2)}{8N} = - \frac{(N^2-1)(N^2-2)}{16 N^2}$

合并结果： 将 $T_1$ 和 $T_2$ 相加，提取公因子 $\frac{N^2-1}{16 N^2}$： $S = T_1 + T_2 = \frac{(N^2-1)^3}{16 N^2} - \frac{(N^2-1)(N^2-2)}{16 N^2}$ $S = \frac{N^2-1}{16 N^2} \left[ (N^2-1)^2 - (N^2-2) \right]$ 展开方括号内的多项式： $(N^4 - 2N^2 + 1) - N^2 + 2 = N^4 - 3N^2 + 3$

最终结果为： $\boxed{ \frac{(N^2-1)(N^4 - 3N^2 + 3)}{16 N^2} }$

习题 80.4 - 解答

---

在非阿贝尔规范理论（如 $SU(N)$ 或 $U(N)$ 理论）的大 $N$ 展开（'t Hooft 展开）中，利用双线表示法（double-line notation）可以将费曼图映射为二维曲面。以下是逐题分析与推导：

(a) 确定费曼图对 $g$ 和 $N$ 的依赖关系

在标准的规范场论中，若采用正则归一化的场，拉格朗日量中的相互作用项由协变导数 $D_\mu = \partial_\mu - igA_\mu$ 给出。

• 传播子（Edge, $E$）不包含耦合常数 $g$。
• 三线顶点（3-point vertex, $V_3$）正比于耦合常数 $g$。
• 四线顶点（4-point vertex, $V_4$）正比于耦合常数 $g^2$。
• 在双线表示法中，每一个闭合的单线环（Face, $F$）代表一个自由的规范群指标求和。对于 $U(N)$ 或大 $N$ 极限下的 $SU(N)$，每个指标环贡献一个因子 $N$。

因此，对于一个具有 $V_3$ 个三线顶点、$V_4$ 个四线顶点、$E$ 个传播子和 $F$ 个指标环的特定费曼图，其对 $g$ 和 $N$ 的依赖关系为：

(b) 将真空图的 $E$ 用 $V_3$ 和 $V_4$ 表示

对于一个没有外线的真空图（Vacuum diagram），可以通过计算“半线”（half-edges）的数量来建立顶点数与传播子数之间的拓扑关系。

• 每个三线顶点连接 3 条半线，总共贡献 $3V_3$ 条半线。
• 每个四线顶点连接 4 条半线，总共贡献 $4V_4$ 条半线。
• 每条传播子（Edge）由恰好 2 条半线连接而成。

根据图论中的握手定理（Handshaking lemma），半线的总数等于传播子数量的 2 倍：

由此可得 $E$ 的表达式：

(c) 欧拉示性数 $\chi$ 的公式

在代数拓扑中，对于任意一个可以嵌入到二维闭曲面上的多面体（或图），其顶点数 $V$、边数 $E$ 和面数 $F$ 满足欧拉公式。这里总顶点数为 $V = V_3 + V_4$。欧拉示性数 $\chi$ 定义为：

该拓扑不变量与曲面的亏格（Genus, $\mathcal{G}$）直接相关，关系式为 $\chi = 2 - 2\mathcal{G}$。亏格 $\mathcal{G}$ 直观上代表曲面的“洞”或“手柄”的数量（例如球面 $\mathcal{G}=0$，环面 $\mathcal{G}=1$）。

(d) 证明 $W(\bar{\lambda}, N)$ 的拓扑展开

我们需要将 (a) 中得到的费曼图权重 $g^{V_3 + 2V_4} N^F$ 用 't Hooft 耦合常数 $\bar{\lambda} = g^2 N$ 和 $N$ 来重新表达。

首先，利用 (b) 中的关系式 $2E = 3V_3 + 4V_4$，我们可以重写 $g$ 的指数：

因此，单个费曼图的权重可以写为：

引入 't Hooft 耦合常数 $\bar{\lambda} = g^2 N$，即 $g^2 = \frac{\bar{\lambda}}{N}$，代入上式：

根据 (c) 中的欧拉公式，指数 $F - E + V$ 正好是欧拉示性数 $\chi$：

因此，任意一个连通真空图的贡献可以分解为：

由于生成泛函 $W(g, N)$ 是所有连通真空图的总和，我们可以按照图所嵌入曲面的亏格 $\mathcal{G}$ 对这些图进行分类求和。对于给定的亏格 $\mathcal{G}$，所有图的 $N$ 依赖性完全相同，均为 $N^{2 - 2\mathcal{G}}$。将所有具有相同 $\mathcal{G}$ 的图的 $\bar{\lambda}$ 依赖部分（包括对称性因子等）吸收进函数 $W_{\mathcal{G}}(\bar{\lambda})$ 中，即可得到大 $N$ 极限下的拓扑展开（Topological expansion）：

物理意义说明： 在 $N \rightarrow \infty$ 且 $\bar{\lambda}$ 固定的极限下，级数由 $\mathcal{G}=0$ 的项主导，即 $W \sim N^2 W_0(\bar{\lambda})$。这些 $\mathcal{G}=0$ 的图可以画在球面上而不发生线的交叉，被称为平面图（Planar diagrams）。非平面图（$\mathcal{G} \ge 1$）受到 $1/N^2$ 的拓扑压低，这构成了规范/引力对偶（如 AdS/CFT 对应）中弦微扰展开的基础，其中 $1/N$ 扮演了弦耦合常数 $g_s$ 的角色。