习题 9.1 - 解答

在 $\phi^3$ 理论中，费曼图的对称因子 $S$ 定义为该图的自同构群的阶数，即在保持外部源（外部线）固定的情况下，内部线和内部顶点可以进行拓扑等价排列的置换数。

计算对称因子 $S$ 的通用公式为： $S = 2^t \cdot \left( \prod_{i<j} n_{ij}! \right) \cdot P$ 其中：

1. $t$ 是**蝌蚪图（Tadpole）**的数量（即连接同一个顶点的内部线）。交换蝌蚪线的两端会贡献因子 $2$。
2. $n_{ij}$ 是直接连接顶点 $i$ 和顶点 $j$ 的内部线数量。交换这 $n_{ij}$ 条等价的内部线会贡献因子 $n_{ij}!$。
3. $P$ 是在不改变外部连接的情况下，可以相互置换的等价内部顶点或对称子图的排列数。

根据题意，图 9.13 是对本章前面出现过的标准 1-loop 和 2-loop 费曼图的汇总。以下逐一分析这些图的拓扑结构并严格推导其对称因子：

1. 单圈图 (1-Loop Diagrams)

(a) 1-Loop Tadpole (对应 Fig. 9.3)

• 拓扑结构：一条外部线连接到顶点 $x$，顶点 $x$ 通过一个内部线环（蝌蚪）连接回自身。
• 分析：存在 1 个蝌蚪环 ($t=1$)。交换这条内部线的两端，图的拓扑保持不变。
• 计算：$\boxed{S = 2}$

(b) 1-Loop Self-Energy (对应 Fig. 9.4)

• 拓扑结构：两条外部线分别连接到顶点 $x$ 和 $y$，顶点 $x$ 和 $y$ 之间由两条内部线相连。
• 分析：顶点 $x$ 和 $y$ 之间有 2 条等价的内部线 ($n_{xy}=2$)。交换这两条内部线，图保持不变。
• 计算：$\boxed{S = 2! = 2}$

(c) 1-Loop Vertex Correction (对应 Fig. 9.5)

• 拓扑结构：三条外部线分别连接到三个顶点，这三个顶点由三条内部线连接成一个三角形。
• 分析：每对顶点之间只有 1 条内部线 ($n_{ij}=1$)。由于外部线是固定且可区分的，三个顶点被外部线完全固定，无法相互置换。
• 计算：$\boxed{S = 1}$

2. 两圈真空图 (2-Loop Vacuum Diagrams)

注：真空图没有外部线，因此所有内部顶点在拓扑允许的情况下均可参与置换。

(d) 2-Loop Dumbbell (对应 Fig. 9.6)

• 拓扑结构：两个顶点 $x$ 和 $y$ 由一条内部线相连，且 $x$ 和 $y$ 各带有一个蝌蚪环（哑铃状）。
• 分析：
  1. 顶点 $x$ 处的蝌蚪环贡献因子 $2$。
  2. 顶点 $y$ 处的蝌蚪环贡献因子 $2$。
  3. 由于没有外部线固定顶点，且 $x$ 和 $y$ 的拓扑地位完全等价，交换顶点 $x$ 和 $y$ 贡献置换因子 $P = 2! = 2$。
• 计算：$S = 2 \times 2 \times 2$ $\boxed{S = 8}$

(e) 2-Loop Sunset (对应 Fig. 9.7)

• 拓扑结构：两个顶点 $x$ 和 $y$ 之间由三条内部线相连（日落图）。
• 分析：
  1. 顶点 $x$ 和 $y$ 之间有 3 条等价的内部线 ($n_{xy}=3$)，交换它们贡献因子 $3! = 6$。
  2. 没有外部线，顶点 $x$ 和 $y$ 完全等价，交换这两个顶点贡献因子 $P = 2! = 2$。
• 计算：$S = 3! \times 2!$ $\boxed{S = 12}$

3. 两圈自能图 (2-Loop Self-Energy Diagrams)

注：自能图有两条外部线（如入射和出射），外部线是可区分的，因此连接到外部线的顶点被固定，不能相互置换。

(f) Chain of Bubbles (对应 Fig. 9.8)

• 拓扑结构：两个 1-loop 自能泡串联。
• 分析：
  1. 第一个泡包含 2 条等价内部线，贡献因子 $2! = 2$。
  2. 第二个泡包含 2 条等价内部线，贡献因子 $2! = 2$。
  3. 由于两端连接着不同的外部线，这两个泡不能整体交换。
• 计算：$S = 2! \times 2!$ $\boxed{S = 4}$

(g) Bubble inside Bubble (对应 Fig. 9.9)

• 拓扑结构：在一个 1-loop 自能图的其中一条内部线上，插入另一个 1-loop 自能泡。
• 分析：只有内部插入的那个自能泡包含 2 条等价的内部线，贡献因子 $2! = 2$。外层泡的对称性因内层泡的插入而被破坏（两条路径不再等价）。
• 计算：$\boxed{S = 2}$

(h) Two Tadpoles on a Line (对应 Fig. 9.10)

• 拓扑结构：主干线上有两个顶点，每个顶点各带有一个蝌蚪环。
• 分析：
  1. 第一个蝌蚪环贡献因子 $2$。
  2. 第二个蝌蚪环贡献因子 $2$。
  3. 带有蝌蚪的两个顶点分别靠近不同的外部线，因此不能相互置换。
• 计算：$S = 2 \times 2$ $\boxed{S = 4}$

(i) Tadpole and Bubble in Series (对应 Fig. 9.11)

• 拓扑结构：主干线上串联着一个 1-loop 自能泡和一个蝌蚪环。
• 分析：
  1. 自能泡中的 2 条等价内部线贡献因子 $2! = 2$。
  2. 蝌蚪环贡献因子 $2$。
• 计算：$S = 2! \times 2$ $\boxed{S = 4}$

(j) Tadpole on a Vertex Correction (对应 Fig. 9.12)

• 拓扑结构：主干线上插入一个三角形顶点修正子图，三角形的第三个顶点上连接着一个蝌蚪环。
• 分析：三角形的各边均为单线 ($n_{ij}=1$)，唯一具有对称性的是那个蝌蚪环，交换其两端贡献因子 $2$。
• 计算：$\boxed{S = 2}$

习题 9.2 - 解答

a) 顶点类型与顶点因子分析

在动量空间的费曼规则中，相互作用拉格朗日量 $\mathcal{L}_{int}$ 决定了顶点的结构。本理论中的相互作用项为： $\mathcal{L}_{int} = -\frac{1}{24} Z_\lambda \lambda \varphi^4$ 因为该项包含四个场算符 $\varphi$ 的乘积，这意味着在费曼图中，每个相互作用顶点会连接 4 条线段（即 4 腿顶点）。

顶点因子的计算方法是将相互作用项乘以 $i$，并乘以场算符全收缩的对称因子（对于 $\varphi^n$ 理论，该因子为 $n!$）。在本题中 $n=4$，因此收缩方式有 $4! = 24$ 种： $\text{Vertex Factor} = i \times 4! \times \left( -\frac{1}{24} Z_\lambda \lambda \right) = -i Z_\lambda \lambda$

$\boxed{\text{The vertex joins 4 line segments. The vertex factor is } -i Z_\lambda \lambda.}$

b) 连通图及其对称因子 (Connected diagrams and symmetry factors)

题目要求画出 $1 \le E \le 4$（外线数）且 $0 \le V \le 2$（顶点数）的所有连通图，并忽略反项。 首先，由于拉格朗日量只包含 $\varphi$ 的偶数次幂，理论具有 $\mathbb{Z}_2$ 对称性（$\varphi \to -\varphi$）。因此，任何具有奇数条外线的图都严格为零。 对于 $E=1$ 和 $E=3$，不存在任何图。

对称因子 $S$ 的计算规则为：$S = 2^L \times \prod (n_i!) \times P$，其中 $L$ 是自环（loop）的数量，$n_i$ 是连接某两个相同顶点之间的内部线数量，$P$ 是在固定外线的情况下交换等价顶点的排列数。

1. 对于 $E=2$ 的连通图：

• $V=0$：
  • 自由传播子 (Free propagator)：一条直接连接两个外点的直线。
  • $\boxed{S = 1}$
• $V=1$：
  • 单环蝌蚪图 (Tadpole on a line)：一条连接两个外点的线，在中间有一个顶点，该顶点上带有一个自环。
  • 包含 1 个自环 ($L=1$)。
  • $\boxed{S = 2}$
• $V=2$：
  • 日落图 (Sunset diagram)：两个顶点之间由 3 条内部线连接，每个顶点各连 1 条外线。
  • 包含 3 条连接相同顶点的内部线 ($n_i=3$)。
  • $\boxed{S = 3! = 6}$
  • 哑铃图 / 双蝌蚪图 (Dumbbell diagram)：两个顶点由 1 条内部线连接，每个顶点各带有 1 个自环和 1 条外线。
  • 包含 2 个自环 ($L=2$)。
  • $\boxed{S = 2^2 = 4}$
  • 蜗牛图 (Snail diagram)：两个顶点由 2 条内部线连接。其中一个顶点连接 2 条外线，另一个顶点带有 1 个自环。
  • 包含 2 条连接相同顶点的内部线 ($n_i=2$)，以及 1 个自环 ($L=1$)。
  • $\boxed{S = 2! \times 2 = 4}$

2. 对于 $E=4$ 的连通图：

• $V=0$：
  • 4 个外点只能两两相连形成 2 条独立的传播子，这是非连通图 (Disconnected)。因此连通图数量为 0。
• $V=1$：
  • 四点树图 (4-point contact)：4 条外线汇聚于单一顶点（X型）。
  • $\boxed{S = 1}$
• $V=2$：
  • 气泡图 (Bubble diagram)：两个顶点由 2 条内部线连接，每个顶点各连接 2 条外线。（注：根据外线的分配方式，存在 $s, t, u$ 三个通道的图，但拓扑结构相同）。
  • 包含 2 条连接相同顶点的内部线 ($n_i=2$)。
  • $\boxed{S = 2! = 2}$
  • 外线蝌蚪图 (Tadpole on external leg)：两个顶点由 1 条内部线连接。一个顶点连接 3 条外线，另一个顶点连接 1 条外线并带有 1 个自环。（注：根据自环所在的外线不同，共有 4 种排列）。
  • 包含 1 个自环 ($L=1$)。
  • $\boxed{S = 2}$

c) 为什么不需要引入线性反项来消除蝌蚪图？

在量子场论中，如果理论会产生单外线 ($E=1$) 的蝌蚪图，这意味着真空期望值 (VEV) $\langle 0 | \varphi | 0 \rangle$ 发生了非零偏移，通常需要引入一个形如 $Y \varphi$ 的线性反项来抵消这种偏移，以维持 $\langle \varphi \rangle = 0$ 的重整化条件。

然而，在本题的理论中，拉格朗日量 $\mathcal{L}$ 仅包含场 $\varphi$ 的偶数次幂（即 $\partial^\mu \varphi \partial_\mu \varphi$, $\varphi^2$, $\varphi^4$）。这赋予了该理论一个精确的离散对称性： $\varphi \to -\varphi$ （即 $\mathbb{Z}_2$ 对称性）。只要质量平方项 $m^2 > 0$，该对称性就不会发生自发破缺。

由于真空态 $|0\rangle$ 保持了这种 $\mathbb{Z}_2$ 对称性，任何奇数个场算符的真空期望值都必须严格为零。因此，所有具有奇数条外线的费曼图（包括 $E=1$ 的蝌蚪图）在数学上都会精确相消或恒等于零。

$\boxed{\text{The theory possesses a exact } \mathbb{Z}_2 \text{ symmetry } (\varphi \to -\varphi). \text{ Consequently, all } E=1 \text{ tadpole diagrams vanish identically, making a linear counterterm unnecessary.}}$

习题 9.3 - 解答

题目分析与物理背景

本题考察的是具有 $U(1)$ 对称性的复标量场理论（Complex Scalar Field Theory）的费曼规则与微扰展开。拉格朗日量中的相互作用项为 $\mathcal{L}_{\text{int}} = -\frac{1}{4} Z_\lambda \lambda (\varphi^\dagger \varphi)^2$。 复标量场 $\varphi$ 和 $\varphi^\dagger$ 分别对应于带相反 $U(1)$ 荷的粒子（如粒子与反粒子）。在费曼图中，为了区分这两种场的传播，我们引入箭头约定：

• 源 $J^\dagger$ 耦合于 $\varphi$，产生一个向外流动的电荷，箭头指向远离 $J^\dagger$ 的方向（即指向源 $J^\dagger$ 的反方向？注意题目约定：“points towards the source if it is a $J^\dagger$, and away from the source if it is a $J$”）。
• 这意味着传播子上的箭头代表 $U(1)$ 荷的流向，箭头始终从 $\varphi^\dagger$ 指向 $\varphi$。

(a) 顶点的类型与顶点因子

分析与推导： 相互作用项可以写为 $\mathcal{L}_{\text{int}} = -\frac{1}{4} Z_\lambda \lambda \varphi^\dagger \varphi \varphi^\dagger \varphi$。 在每一个相互作用顶点处，包含两个 $\varphi$ 场和两个 $\varphi^\dagger$ 场。根据题目给定的箭头规则（箭头从 $\varphi^\dagger$ 指向 $\varphi$），每一个 $\varphi$ 对应一个指向顶点的箭头（流入），每一个 $\varphi^\dagger$ 对应一个背离顶点的箭头（流出）。 因此，该理论中只存在一种顶点：四线顶点（4-point vertex），且必须有两条线带有指向顶点的箭头（流入），另外两条线带有背离顶点的箭头（流出）。这体现了顶点处的 $U(1)$ 荷守恒。

为了计算顶点因子，我们需要考虑场算符的缩并对称性。在微扰展开中，顶点来源于作用量 $i \int d^4x \mathcal{L}_{\text{int}}$。 对于项 $-i \frac{1}{4} Z_\lambda \lambda (\varphi^\dagger \varphi)^2$，在与外部线或其他内部线进行 Wick 缩并时：

• 选择哪一个 $\varphi$ 与流入线缩并共有 $2! = 2$ 种方式。
• 选择哪一个 $\varphi^\dagger$ 与流出线缩并共有 $2! = 2$ 种方式。 组合因子为 $2! \times 2! = 4$。 将这个组合因子乘到拉格朗日量中的系数上，得到顶点因子： $4 \times \left( -i \frac{1}{4} Z_\lambda \lambda \right) = -i Z_\lambda \lambda$

解答： 顶点类型为四线顶点，包含两个流入箭头和两个流出箭头（代表电荷守恒）。 相关的顶点因子为： $\boxed{-i Z_\lambda \lambda}$

(b) 连通图及其对称因子

分析与推导： 题目要求画出（描述出）忽略反项（counterterms）时，满足外部线数 $1 \le E \le 4$ 且顶点数 $0 \le V \le 2$ 的所有连通图，并求其对称因子 $S$。 由于 $U(1)$ 对称性，任何非零的格林函数必须包含相等数量的 $\varphi$ 和 $\varphi^\dagger$ 外部线，因此总外部线数 $E$ 必须为偶数。故 $E$ 只能取 $2$ 或 $4$。 对称因子 $S$ 可以通过标准公式 $S = \frac{\text{分母阶乘}}{\text{Wick 缩并数}}$ 严格计算。

1. 外部线数 $E = 2$

• $V = 0$

  • 图描述：一条带有箭头的直线，连接两个外部源（自由传播子）。
  • 对称因子：没有内部顶点，缩并方式唯一。
  • $\boxed{S = 1}$

• $V = 1$

  • 图描述：单环图（Tadpole-like loop on a line）。一条外部线流入顶点，一条外部线流出顶点。顶点上有一条内部线自己连接自己形成一个环，环上带有箭头。
  • 对称因子计算：分母为 $1! \times 4 = 4$。外部流入线与顶点的 $\varphi^\dagger$ 缩并（2种），外部流出线与顶点的 $\varphi$ 缩并（2种）。顶点剩余的1个 $\varphi$ 和1个 $\varphi^\dagger$ 自身缩并形成环（1种）。总缩并数 $= 2 \times 2 \times 1 = 4$。$S = 4 / 4 = 1$。
  • $\boxed{S = 1}$

• $V = 2$

  • 图 2.1：日落图（Sunset diagram）
    • 图描述：两个顶点 $x, y$ 之间由 3 条内部线连接。外部线一进一出（例如从 $x$ 进，从 $y$ 出）。为了电荷守恒，3 条内部线中有 2 条箭头方向相同（如 $x \to y$），1 条方向相反（$y \to x$）。
    • 对称因子计算：分母为 $2! \times 4 \times 4 = 32$。外部线缩并有 $2 \times 2 = 4$ 种。连接 $x, y$ 时，2个同向传播子产生 $2! = 2$ 种缩并，1个反向传播子产生 1 种缩并。交换 $x, y$ 顶点标签乘以 2。总缩并数 $= 4 \times 2 \times 1 \times 2 = 16$。$S = 32 / 16 = 2$。
    • $\boxed{S = 2}$
  • 图 2.2：单环-单环相连图（Figure-eight / Snail with a loop）
    • 图描述：外部线均连接在顶点 $x$（一进一出）。顶点 $y$ 上有一个自连环。顶点 $x$ 和 $y$ 之间由 2 条内部线连接（一条 $x \to y$，一条 $y \to x$）。
    • 对称因子计算：分母为 32。外部线连 $x$ 有 4 种。$y$ 上的环有 4 种缩并方式（从2个 $\varphi$ 和2个 $\varphi^\dagger$ 中各选1个）。$x$ 和 $y$ 之间的2条线只有 1 种合法缩并。交换 $x, y$ 标签乘以 2。总缩并数 $= 4 \times 4 \times 1 \times 2 = 32$。$S = 32 / 32 = 1$。
    • $\boxed{S = 1}$
  • 图 2.3：双环图（Cactus diagram）
    • 图描述：外部线分别连接在 $x$（进）和 $y$（出）。顶点 $x$ 和 $y$ 上各有一个自连环。$x$ 和 $y$ 之间由 1 条内部线连接（$x \to y$）。
    • 对称因子计算：分母为 32。外部线缩并有 4 种。$x$ 环缩并有 2 种（剩余2个 $\varphi$ 和1个 $\varphi^\dagger$，必须选1个 $\varphi$ 与 $\varphi^\dagger$ 缩并）。$y$ 环缩并有 2 种。$x \to y$ 连线有 1 种。交换 $x, y$ 标签乘以 2。总缩并数 $= 4 \times 2 \times 2 \times 1 \times 2 = 32$。$S = 32 / 32 = 1$。
    • $\boxed{S = 1}$

2. 外部线数 $E = 4$

• $V = 0$

  • 无连通图（仅存在两个断开的自由传播子）。

• $V = 1$

  • 图描述：基本四线顶点（Tree-level 4-point scattering）。2 条外部线流入，2 条外部线流出，交于一个顶点。
  • 对称因子计算：分母为 4。2条流入线与2个 $\varphi^\dagger$ 缩并（$2!$），2条流出线与2个 $\varphi$ 缩并（$2!$）。总缩并数 $= 2 \times 2 = 4$。$S = 4 / 4 = 1$。
  • $\boxed{S = 1}$

• $V = 2$

  • 图 4.1：s-通道图（s-channel bubble）
    • 图描述：2 条外部线流入顶点 $x$，2 条外部线从顶点 $y$ 流出。$x$ 和 $y$ 之间由 2 条内部线连接（箭头均从 $x \to y$）。
    • 对称因子计算：分母为 32。外部线连 $x$ 有 2 种，连 $y$ 有 2 种。内部线 $x \to y$ 有 $2! = 2$ 种。交换 $x, y$ 标签乘以 2。总缩并数 $= 2 \times 2 \times 2 \times 2 = 16$。$S = 32 / 16 = 2$。
    • $\boxed{S = 2}$
  • 图 4.2：t/u-通道图（t/u-channel bubble）
    • 图描述：顶点 $x$ 和 $y$ 各连接 1 条流入和 1 条流出的外部线。$x$ 和 $y$ 之间由 2 条内部线连接（一条 $x \to y$，一条 $y \to x$）。
    • 对称因子计算：分母为 32。外部线连 $x$ 有 4 种，连 $y$ 有 4 种。内部线只有 1 种合法缩并。交换 $x, y$ 标签乘以 2。总缩并数 $= 4 \times 4 \times 1 \times 2 = 32$。$S = 32 / 32 = 1$。
    • $\boxed{S = 1}$
  • 图 4.3：外腿带环图（Loop on an external leg）
    • 图描述：3 条外部线连接在顶点 $x$（例如 2 进 1 出），1 条外部线连接在顶点 $y$（1 出）。$y$ 上有一个自连环。$x$ 和 $y$ 之间由 1 条内部线连接（$x \to y$）。（注：包含其所有外部线分配的镜像等价图）。
    • 对称因子计算：分母为 32。外部线连 $x$ 有 4 种，连 $y$ 有 2 种。内部线 $x \to y$ 有 2 种（$y$ 处有2个 $\varphi^\dagger$ 可供选择）。$y$ 上的环有 1 种缩并。交换 $x, y$ 标签乘以 2。总缩并数 $= 4 \times 2 \times 2 \times 1 \times 2 = 32$。$S = 32 / 32 = 1$。
    • $\boxed{S = 1}$

习题 9.4 - 解答

a) 证明 $C_{V,E} = \sum_I \frac{1}{S_I}$

积分式 (9.27) 定义了一个零维的量子场论（即普通的积分），其配分函数为： $Z(g, J) = \exp W(g, J) = \frac{1}{\sqrt{2\pi}} \int_{-\infty}^{+\infty} dx \exp \left[ -\frac{1}{2} x^2 + \frac{1}{6} g x^3 + J x \right]$ 这可以看作是自由理论 $\exp(-x^2/2)$ 在相互作用 $\frac{1}{6}gx^3$ 和源项 $Jx$ 下的微扰展开。根据 Wick 定理，传播子为 $\langle x^2 \rangle_0 = 1$，三线顶点的规则为 $g$，外源的规则为 $J$。

在微扰展开中，$Z(g, J)$ 生成所有可能的费曼图。根据连通图定理（Linked Cluster Theorem），$W(g, J) = \ln Z(g, J)$ 是所有连通费曼图的生成泛函。 将 $W(g, J)$ 按 $g$ 和 $J$ 的幂次展开： $W(g, J) = \sum_{V=0}^{\infty} \sum_{E=0}^{\infty} C_{V,E} g^V J^E$ 其中 $g^V$ 对应包含 $V$ 个三线顶点的图，$J^E$ 对应包含 $E$ 个外源的图。 对于任意一个特定的连通拓扑图 $I$，其在微扰展开中的权重由费曼规则给出。由于传播子为 1，顶点因子中包含了 $3!$ 的对称性因子，泰勒展开中包含了 $V!$ 和 $E!$，标准的费曼图组合分析表明，该图的最终数值贡献恰好为其对称因子 $S_I$ 的倒数。 因此，系数 $C_{V,E}$ 就是所有具有 $V$ 个顶点和 $E$ 个外源的连通图的对称因子倒数之和： $\boxed{C_{V,E} = \sum_I \frac{1}{S_I}}$

b) 计算 $C_{V,E}$ 并验证求和规则

我们可以利用微分算子方法计算 $Z(g, J)$ 的微扰展开： $Z(g, J) = \exp\left( \frac{g}{6} \frac{\partial^3}{\partial J^3} \right) \exp\left( \frac{1}{2} J^2 \right)$ 逐级展开 $\exp\left( \frac{g}{6} \partial_J^3 \right)$，得到 $Z(g, J) = Z_0 + Z_1 + Z_2 + Z_3 + Z_4 + \dots$，其中： $Z_0 = e^{J^2/2}$ $Z_1 = \frac{g}{6} \partial_J^3 e^{J^2/2} = \frac{g}{6} (J^3 + 3J) e^{J^2/2}$ $Z_2 = \frac{1}{2!} \left(\frac{g}{6}\right)^2 \partial_J^6 e^{J^2/2} = \frac{g^2}{72} (J^6 + 15J^4 + 45J^2 + 15) e^{J^2/2}$ $Z_3 = \frac{1}{3!} \left(\frac{g}{6}\right)^3 \partial_J^9 e^{J^2/2} = \frac{g^3}{1296} (J^9 + 36J^7 + 378J^5 + 1260J^3 + 945J) e^{J^2/2}$ $Z_4 = \frac{1}{4!} \left(\frac{g}{6}\right)^4 \partial_J^{12} e^{J^2/2} = \frac{g^4}{31104} (J^{12} + 66J^{10} + 1485J^8 + 13860J^6 + 51975J^4 + 62370J^2 + 10395) e^{J^2/2}$ 利用 $W = \ln Z = \frac{J^2}{2} + \ln(1 + \frac{Z_1}{Z_0} + \frac{Z_2}{Z_0} + \dots)$ 进行泰勒展开并收集 $g^V J^E$ 的系数，得到：

• $V=0$: $W_0 = \frac{1}{2}J^2 \implies \boxed{C_{0,2} = \frac{1}{2}}$
• $V=1$: $W_1 = \frac{1}{6}J^3 + \frac{1}{2}J \implies \boxed{C_{1,3} = \frac{1}{6}, C_{1,1} = \frac{1}{2}}$
• $V=2$: $W_2 = \frac{Z_2}{Z_0} - \frac{1}{2}\left(\frac{Z_1}{Z_0}\right)^2 = \frac{1}{8}J^4 + \frac{1}{2}J^2 + \frac{5}{24} \implies \boxed{C_{2,4} = \frac{1}{8}, C_{2,2} = \frac{1}{2}, C_{2,0} = \frac{5}{24}}$
• $V=3$: $W_3 = \frac{Z_3}{Z_0} - \frac{Z_1 Z_2}{Z_0^2} + \frac{1}{3}\left(\frac{Z_1}{Z_0}\right)^3 = \frac{1}{8}J^5 + \frac{2}{3}J^3 + \frac{5}{8}J \implies \boxed{C_{3,5} = \frac{1}{8}, C_{3,3} = \frac{2}{3}, C_{3,1} = \frac{5}{8}}$
• $V=4$: $W_4 = \frac{Z_4}{Z_0} - \frac{Z_1 Z_3}{Z_0^2} - \frac{1}{2}\left(\frac{Z_2}{Z_0}\right)^2 + \frac{Z_1^2 Z_2}{Z_0^3} - \frac{1}{4}\left(\frac{Z_1}{Z_0}\right)^4 = J^4 + \frac{25}{16}J^2 + \frac{5}{16} \implies \boxed{C_{4,4} = 1, C_{4,2} = \frac{25}{16}, C_{4,0} = \frac{5}{16}}$

验证求和规则 (以图 9.1 和 9.2 为例):

• 图 9.1 ($V=2, E=0$): 包含哑铃图 ($S=2^3=8$) 和日落图 ($S=2 \times 3!=12$)。$\sum \frac{1}{S_I} = \frac{1}{8} + \frac{1}{12} = \frac{5}{24} = C_{2,0}$。
• 图 9.2 ($V=4, E=0$): 包含五个图，对称因子分别为 $16, 8, 16, 48, 24$。$\sum \frac{1}{S_I} = \frac{1}{16} + \frac{1}{8} + \frac{1}{16} + \frac{1}{48} + \frac{1}{24} = \frac{5}{16} = C_{4,0}$。

c) 证明 $\tilde{C}_{V,E}$ 对应无蝌蚪图的求和

引入平移 $J \to J+Y$，使得满足“无蝌蚪”条件： $\left. \frac{\partial}{\partial J} W(g, J+Y) \right|_{J=0} = 0$ 在生成泛函 $W(g, J)$ 中，对 $J$ 求导并令 $J=0$ 对应于提取所有恰好有一个外源（即 $E=1$）的连通图，这些图被称为蝌蚪图（Tadpoles）。 上述条件意味着在新的展开 $W(g, J+Y) = \sum \tilde{C}_{V,E} g^V J^E$ 中，系数 $\tilde{C}_{V,1} = 0$。 物理上，平移量 $Y$ 对应于场的真空期望值。将源平移 $Y$ 等价于在费曼规则中引入一个抵消项，该抵消项精确地消除了所有包含蝌蚪子图的贡献。因此，新的系数 $\tilde{C}_{V,E}$ 仅包含那些没有任何蝌蚪子图的连通图的贡献。 $\boxed{\tilde{C}_{V,E} = \sum_{I \text{ (no tadpoles)}} \frac{1}{S_I}}$

d) 确定 $Y$ 并计算 $\tilde{C}_{V,E}$

将 $W(g, J)$ 的表达式代入无蝌蚪条件： $\left. \frac{\partial}{\partial J} \sum_{V,E} C_{V,E} g^V (J+Y)^E \right|_{J=0} = \sum_{V=0}^{\infty} \sum_{E=1}^{\infty} E \cdot C_{V,E} g^V Y^{E-1} = 0$ 展开至 $O(g^3)$： $Y + g\left(\frac{1}{2} + \frac{1}{2}Y^2\right) + g^2\left(Y + \frac{1}{2}Y^3\right) + g^3\left(\frac{5}{8} + 2Y^2 + \frac{5}{8}Y^4\right) + \dots = 0$ 代入假设形式 $Y = a_1 g + a_3 g^3 + \dots$（由奇偶性可知偶数阶系数为0）：

• $O(g^1)$: $a_1 + \frac{1}{2} = 0 \implies \boxed{a_1 = -\frac{1}{2}}$
• $O(g^3)$: $a_3 + \frac{1}{2}a_1^2 + a_1 + \frac{5}{8} = 0 \implies a_3 + \frac{1}{8} - \frac{1}{2} + \frac{5}{8} = 0 \implies \boxed{a_3 = -\frac{1}{4}}$

因此 $Y = -\frac{1}{2}g - \frac{1}{4}g^3 + O(g^5)$。 将 $Y$ 代回 $W(g, J+Y)$ 并重新按 $g^V J^E$ 收集系数，计算 $\tilde{C}_{V,E}$： $\tilde{W}(g, J) = \frac{1}{2}(J+Y)^2 + g\left[\frac{1}{6}(J+Y)^3 + \frac{1}{2}(J+Y)\right] + g^2\left[\frac{1}{8}(J+Y)^4 + \frac{1}{2}(J+Y)^2 + \frac{5}{24}\right] + \dots$ 展开并保留至 $V \le 4, E \le 4$ 的项，得到：

• $V=0$: $\boxed{\tilde{C}_{0,2} = \frac{1}{2}}$
• $V=1$: $\boxed{\tilde{C}_{1,3} = \frac{1}{6}, \tilde{C}_{1,1} = 0}$ (蝌蚪被消除)
• $V=2$: $\boxed{\tilde{C}_{2,4} = \frac{1}{8}, \tilde{C}_{2,2} = \frac{1}{4}, \tilde{C}_{2,0} = \frac{1}{12}}$
• $V=3$: $\boxed{\tilde{C}_{3,3} = \frac{5}{12}, \tilde{C}_{3,1} = 0}$
• $V=4$: $\boxed{\tilde{C}_{4,4} = 1, \tilde{C}_{4,2} = \frac{3}{4}, \tilde{C}_{4,0} = \frac{5}{48}}$

验证 (以 $V=2, E=0$ 为例): 在 $V=2, E=0$ 的图中，只有日落图（Sunset diagram）没有蝌蚪子图。其对称因子为 $S = 2 \times 3! = 12$。因此 $\sum \frac{1}{S_I} = \frac{1}{12}$，这与计算得到的 $\tilde{C}_{2,0} = \frac{1}{12}$ 完全一致。