Gauge Field Notes
19.1

Problem 19.1

schwarzChapter 19

习题 19.1

来源: 第19章, PDF第354页

19.1 Evaluate the four counterterms in scalar QED at 1-loop in the on-shell scheme.

习题 19.1 - 解答

在标量 QED 中，我们需要计算单圈（1-loop）级别的四个基本反事实项（Counterterms）：光子场重整化 δ3\delta_3、标量场重整化 δ2\delta_2、质量重整化 δm\delta_m 以及顶点重整化 δ1\delta_1。

我们采用维数正规化（d=4−ϵd = 4 - \epsilon），并在 Feynman 规范（ξ=1\xi = 1）下进行计算。在壳方案（On-shell scheme）的重整化条件为：

  1. 光子真空极化在 q2=0q^2 = 0 处为零：Π(0)=0\Pi(0) = 0
  2. 标量自能在极点处为零：ΣR(m2)=0\Sigma_R(m^2) = 0
  3. 标量传播子在极点处的留数为 1：ΣR′(m2)=0\Sigma_R'(m^2) = 0
  4. 顶点函数在在壳极限下恢复树图形式：ΓRμ(p,p)=−ie(2pμ)\Gamma_R^\mu(p, p) = -ie(2p^\mu)

下面逐一计算这四个反事实项。

1. 光子场重整化 δ3\delta_3

光子的真空极化 Πμν(q)\Pi^{\mu\nu}(q) 由两个单圈图贡献：标量粒子环图（包含两个 Aϕϕ†A\phi\phi^\dagger 顶点）和海鸥图（Seagull diagram，包含一个 A2ϕϕ†A^2\phi\phi^\dagger 顶点）。 总的真空极化张量满足 Ward 恒等式，具有横向结构： iΠμν(q)=i(q2ημν−qμqν)Π(q2)i\Pi^{\mu\nu}(q) = i(q^2 \eta^{\mu\nu} - q^\mu q^\nu) \Pi(q^2) 在维数正规化下，海鸥图的贡献与环图的二次发散部分精确抵消。标准的标量 QED 真空极化标量函数 Π(q2)\Pi(q^2) 结果为： Π(q2)=e2(4π)2∫01dx (1−2x)2(2ϵ−γE+ln⁡4πμ2m2−x(1−x)q2)\Pi(q^2) = \frac{e^2}{(4\pi)^2} \int_0^1 dx \, (1-2x)^2 \left( \frac{2}{\epsilon} - \gamma_E + \ln\frac{4\pi\mu^2}{m^2 - x(1-x)q^2} \right) 在壳方案要求 ΠR(q2)=Π(q2)−δ3\Pi_R(q^2) = \Pi(q^2) - \delta_3，且 ΠR(0)=0\Pi_R(0) = 0。因此： δ3=Π(0)=e2(4π)2∫01dx (1−2x)2(2ϵ−γE+ln⁡4πμ2m2)\delta_3 = \Pi(0) = \frac{e^2}{(4\pi)^2} \int_0^1 dx \, (1-2x)^2 \left( \frac{2}{\epsilon} - \gamma_E + \ln\frac{4\pi\mu^2}{m^2} \right) 计算积分 ∫01(1−2x)2dx=∫01(1−4x+4x2)dx=1−2+43=13\int_0^1 (1-2x)^2 dx = \int_0^1 (1 - 4x + 4x^2) dx = 1 - 2 + \frac{4}{3} = \frac{1}{3}，得到： δ3=e248π2(2ϵ−γE+ln⁡4πμ2m2)\boxed{ \delta_3 = \frac{e^2}{48\pi^2} \left( \frac{2}{\epsilon} - \gamma_E + \ln\frac{4\pi\mu^2}{m^2} \right) }

2. 标量场重整化 δ2\delta_2 与质量重整化 δm\delta_m

标量粒子的未重整化自能 −iΣ(p2)-i\Sigma(p^2) 同样来自两个图：光子交换图和光子海鸥图。在维数正规化下，无质量光子的海鸥图积分为零（∫ddk/k2=0\int d^dk / k^2 = 0），因此只需计算光子交换图： −iΣ(p)=∫ddk(2π)d(−ie)(2p−k)μ−iημνk2(−ie)(2p−k)νi(p−k)2−m2-i\Sigma(p) = \int \frac{d^dk}{(2\pi)^d} (-ie)(2p-k)^\mu \frac{-i\eta_{\mu\nu}}{k^2} (-ie)(2p-k)^\nu \frac{i}{(p-k)^2-m^2} Σ(p2)=−ie2∫ddk(2π)d(2p−k)2k2[(p−k)2−m2]\Sigma(p^2) = -ie^2 \int \frac{d^dk}{(2\pi)^d} \frac{(2p-k)^2}{k^2 [(p-k)^2-m^2]} 引入 Feynman 参数 xx，并平移动量 l=k−xpl = k - xp，分母变为 [l2−Δ]2[l^2 - \Delta]^2，其中 Δ=xm2−x(1−x)p2\Delta = x m^2 - x(1-x)p^2。分子在对称积分下变为 l2+(2−x)2p2l^2 + (2-x)^2 p^2。 Σ(p2)=−ie2∫01dx∫ddl(2π)dl2+(2−x)2p2[l2−Δ]2\Sigma(p^2) = -ie^2 \int_0^1 dx \int \frac{d^dl}{(2\pi)^d} \frac{l^2 + (2-x)^2 p^2}{[l^2 - \Delta]^2} 利用维数正规化标准积分公式： ∫ddl(2π)dl2[l2−Δ]2=i(4π)2Δ(4ϵ−2γE+2ln⁡4πμ2Δ+1)\int \frac{d^dl}{(2\pi)^d} \frac{l^2}{[l^2-\Delta]^2} = \frac{i}{(4\pi)^2} \Delta \left( \frac{4}{\epsilon} - 2\gamma_E + 2\ln\frac{4\pi\mu^2}{\Delta} + 1 \right) ∫ddl(2π)d1[l2−Δ]2=i(4π)2(2ϵ−γE+ln⁡4πμ2Δ)\int \frac{d^dl}{(2\pi)^d} \frac{1}{[l^2-\Delta]^2} = \frac{i}{(4\pi)^2} \left( \frac{2}{\epsilon} - \gamma_E + \ln\frac{4\pi\mu^2}{\Delta} \right) 代入并整理，得到： Σ(p2)=e2(4π)2∫01dx[(2Δ+(2−x)2p2)(2ϵ−γE+ln⁡4πμ2Δ)+Δ]\Sigma(p^2) = \frac{e^2}{(4\pi)^2} \int_0^1 dx \left[ \left( 2\Delta + (2-x)^2 p^2 \right) \left( \frac{2}{\epsilon} - \gamma_E + \ln\frac{4\pi\mu^2}{\Delta} \right) + \Delta \right]

重整化自能定义为 ΣR(p2)=Σ(p2)+δ2p2−δm\Sigma_R(p^2) = \Sigma(p^2) + \delta_2 p^2 - \delta_m。 在壳条件给出：

  1. ΣR′(m2)=0  ⟹  δ2=−Σ′(m2)\Sigma_R'(m^2) = 0 \implies \delta_2 = -\Sigma'(m^2)
  2. ΣR(m2)=0  ⟹  δm=Σ(m2)+δ2m2\Sigma_R(m^2) = 0 \implies \delta_m = \Sigma(m^2) + \delta_2 m^2

计算 Σ(m2)\Sigma(m^2)： 当 p2=m2p^2 = m^2 时，Δ=x2m2\Delta = x^2 m^2。令 f(x,p2)=2Δ+(2−x)2p2f(x, p^2) = 2\Delta + (2-x)^2 p^2，则 f(x,m2)=(3x2−4x+4)m2f(x, m^2) = (3x^2 - 4x + 4) m^2。 Σ(m2)=e2m2(4π)2∫01dx[(3x2−4x+4)(2ϵ−γE+ln⁡4πμ2x2m2)+x2]\Sigma(m^2) = \frac{e^2 m^2}{(4\pi)^2} \int_0^1 dx \left[ (3x^2 - 4x + 4) \left( \frac{2}{\epsilon} - \gamma_E + \ln\frac{4\pi\mu^2}{x^2 m^2} \right) + x^2 \right] 执行对 xx 的积分：∫01(3x2−4x+4)dx=3\int_0^1 (3x^2 - 4x + 4) dx = 3，∫01(3x2−4x+4)ln⁡(x2)dx=−203\int_0^1 (3x^2 - 4x + 4) \ln(x^2) dx = -\frac{20}{3}，∫01x2dx=13\int_0^1 x^2 dx = \frac{1}{3}。 Σ(m2)=e2m2(4π)2[3(2ϵ−γE+ln⁡4πμ2m2)−193]\Sigma(m^2) = \frac{e^2 m^2}{(4\pi)^2} \left[ 3 \left( \frac{2}{\epsilon} - \gamma_E + \ln\frac{4\pi\mu^2}{m^2} \right) - \frac{19}{3} \right]

计算 Σ′(m2)\Sigma'(m^2) 与红外发散： 对 p2p^2 求导时，由于光子无质量，在 p2=m2,x→0p^2=m^2, x \to 0 处会产生红外发散。我们引入微小的光子质量 mγm_\gamma 作为红外正规化，此时 Δ=x2m2+(1−x)mγ2\Delta = x^2 m^2 + (1-x)m_\gamma^2。 Σ′(m2)=e2(4π)2∫01dx[(3x2−6x+4)(2ϵ−γE+ln⁡4πμ2x2m2)+(3x2−4x+4)(1−x)m2x2m2+(1−x)mγ2−x(1−x)]\Sigma'(m^2) = \frac{e^2}{(4\pi)^2} \int_0^1 dx \left[ (3x^2 - 6x + 4) \left( \frac{2}{\epsilon} - \gamma_E + \ln\frac{4\pi\mu^2}{x^2 m^2} \right) + \frac{(3x^2 - 4x + 4)(1-x)m^2}{x^2 m^2 + (1-x)m_\gamma^2} - x(1-x) \right] 其中红外发散项的积分为： ∫01dx(3x2−4x+4)(1−x)x2+mγ2/m2≈∫01dx(−3x2+7x−8+4xx2+mγ2/m2)=−112+4ln⁡mmγ\int_0^1 dx \frac{(3x^2 - 4x + 4)(1-x)}{x^2 + m_\gamma^2/m^2} \approx \int_0^1 dx \left( -3x^2 + 7x - 8 + \frac{4x}{x^2 + m_\gamma^2/m^2} \right) = -\frac{11}{2} + 4 \ln\frac{m}{m_\gamma} 结合其余有限项积分（∫(3x2−6x+4)=2\int (3x^2-6x+4) = 2，∫(3x2−6x+4)ln⁡x2=−173\int (3x^2-6x+4)\ln x^2 = -\frac{17}{3}，∫−x(1−x)=−16\int -x(1-x) = -\frac{1}{6}），得到： Σ′(m2)=e2(4π)2[2(2ϵ−γE+ln⁡4πμ2m2)−343+4ln⁡mmγ]\Sigma'(m^2) = \frac{e^2}{(4\pi)^2} \left[ 2 \left( \frac{2}{\epsilon} - \gamma_E + \ln\frac{4\pi\mu^2}{m^2} \right) - \frac{34}{3} + 4 \ln\frac{m}{m_\gamma} \right]

由此得到场重整化常数 δ2=−Σ′(m2)\delta_2 = -\Sigma'(m^2)： δ2=e2(4π)2[−2(2ϵ−γE+ln⁡4πμ2m2)+343−4ln⁡mmγ]\boxed{ \delta_2 = \frac{e^2}{(4\pi)^2} \left[ -2 \left( \frac{2}{\epsilon} - \gamma_E + \ln\frac{4\pi\mu^2}{m^2} \right) + \frac{34}{3} - 4 \ln\frac{m}{m_\gamma} \right] }

代入质量重整化公式 δm=Σ(m2)+δ2m2\delta_m = \Sigma(m^2) + \delta_2 m^2： δm=e2m2(4π)2[2ϵ−γE+ln⁡4πμ2m2+5−4ln⁡mmγ]\boxed{ \delta_m = \frac{e^2 m^2}{(4\pi)^2} \left[ \frac{2}{\epsilon} - \gamma_E + \ln\frac{4\pi\mu^2}{m^2} + 5 - 4 \ln\frac{m}{m_\gamma} \right] }

3. 顶点重整化 δ1\delta_1

对于 Aμϕϕ†A_\mu \phi \phi^\dagger 的顶点修正 Γμ(p′,p)\Gamma^\mu(p', p)，我们可以直接利用规范对称性带来的 Ward-Takahashi 恒等式，而无需显式计算复杂的三角形图和顶点海鸥图。

Ward 恒等式在任意动量下将顶点函数与标量自能联系起来： qμΓμ(p+q,p)=Σ(p+q)−Σ(p)q_\mu \Gamma^\mu(p+q, p) = \Sigma(p+q) - \Sigma(p) 对 qμq_\mu 求导并取 q→0q \to 0 的极限，得到： Γμ(p,p)=∂∂pμΣ(p)\Gamma^\mu(p, p) = \frac{\partial}{\partial p_\mu} \Sigma(p) 在壳方案中，重整化顶点要求在 p2=m2p^2 = m^2 且 q=0q=0 时恢复树图形式 −ie(2pμ)-ie(2p^\mu)。重整化顶点函数为： ΓRμ(p,p)=Γμ(p,p)+δ1(2pμ)\Gamma_R^\mu(p, p) = \Gamma^\mu(p, p) + \delta_1 (2p^\mu) 结合自能的导数关系 ∂∂pμΣ(p)=2pμΣ′(p2)\frac{\partial}{\partial p_\mu} \Sigma(p) = 2p^\mu \Sigma'(p^2)，我们有： ΓRμ(p,p)=2pμΣ′(m2)+δ1(2pμ)=2pμ(−δ2+δ1)\Gamma_R^\mu(p, p) = 2p^\mu \Sigma'(m^2) + \delta_1 (2p^\mu) = 2p^\mu (-\delta_2 + \delta_1) 为了满足在壳条件（即单圈修正部分严格为零），必须有 −δ2+δ1=0-\delta_2 + \delta_1 = 0。因此，Ward 恒等式保证了 δ1\delta_1 严格等于 δ2\delta_2： δ1=e2(4π)2[−2(2ϵ−γE+ln⁡4πμ2m2)+343−4ln⁡mmγ]\boxed{ \delta_1 = \frac{e^2}{(4\pi)^2} \left[ -2 \left( \frac{2}{\epsilon} - \gamma_E + \ln\frac{4\pi\mu^2}{m^2} \right) + \frac{34}{3} - 4 \ln\frac{m}{m_\gamma} \right] }

19.2

Problem 19.2

schwarzChapter 19

习题 19.2

来源: 第19章, PDF第354页

19.2 Prove that Z1=Z2Z_1 = Z_2 in scalar QED.

习题 19.2 - 解答

在标量量子电动力学（Scalar QED）中，证明 Z1=Z2Z_1 = Z_2 的核心在于利用由 U(1)U(1) 规范对称性导出的 Ward-Takahashi 恒等式。以下是严谨的推导过程：

1. 裸拉格朗日量与重整化常数的定义 标量 QED 的裸拉格朗日量（bare Lagrangian）为： L=−14F0μνF0μν+(D0μϕ0)†(D0μϕ0)−m02ϕ0†ϕ0\mathcal{L} = -\frac{1}{4} F_{0\mu\nu} F_0^{\mu\nu} + (D_{0\mu} \phi_0)^\dagger (D_0^\mu \phi_0) - m_0^2 \phi_0^\dagger \phi_0 其中协变导数为 D0μ=∂μ+ie0A0μD_{0\mu} = \partial_\mu + i e_0 A_{0\mu}。展开相互作用项，我们有三线和四线相互作用： Lint=−ie0A0μ(ϕ0†∂μϕ0−∂μϕ0†ϕ0)+e02A0μA0μϕ0†ϕ0\mathcal{L}_{\text{int}} = -i e_0 A_{0\mu} (\phi_0^\dagger \partial^\mu \phi_0 - \partial^\mu \phi_0^\dagger \phi_0) + e_0^2 A_{0\mu} A_0^\mu \phi_0^\dagger \phi_0 引入重整化场和物理参数： ϕ0=Z2ϕ,A0μ=Z3Aμ,e0=Zee\phi_0 = \sqrt{Z_2} \phi, \quad A_{0\mu} = \sqrt{Z_3} A_\mu, \quad e_0 = Z_e e 将三线相互作用项用重整化场表示： −ie0Z2Z3Aμ(ϕ†∂μϕ−∂μϕ†ϕ)-i e_0 Z_2 \sqrt{Z_3} A_\mu (\phi^\dagger \partial^\mu \phi - \partial^\mu \phi^\dagger \phi) 我们定义顶点重整化常数 Z1Z_1，使得该项的系数为 −ieZ1-i e Z_1，因此有关系式： Z1=ZeZ2Z3Z_1 = Z_e Z_2 \sqrt{Z_3}

2. Ward-Takahashi 恒等式 由 U(1)U(1) 规范流守恒（∂μJμ=0\partial_\mu J^\mu = 0）可以导出联系精确传播子与精确顶点的 Ward-Takahashi 恒等式。对于裸量（未重整化的精确格林函数），该恒等式严格成立： kμΓ0μ(p+k,p)=iΔ0−1(p+k)−iΔ0−1(p)k_\mu \Gamma_0^\mu(p+k, p) = i \Delta_0^{-1}(p+k) - i \Delta_0^{-1}(p) 其中：

  • Δ0(p)\Delta_0(p) 是标量场的精确裸传播子。
  • Γ0μ(p+k,p)\Gamma_0^\mu(p+k, p) 是精确的裸三线顶点函数（已提取出耦合常数因子 −ie0-i e_0）。
  • kk 是光子的动量，pp 和 p+kp+k 分别是入射和出射标量粒子的动量。

3. 转换为重整化量 重整化传播子 ΔR(p)\Delta_R(p) 和重整化顶点 ΓRμ(p′,p)\Gamma_R^\mu(p', p) 与裸量的关系为： ΔR(p)=Z2−1Δ0(p)  ⟹  Δ0−1(p)=Z2−1ΔR−1(p)\Delta_R(p) = Z_2^{-1} \Delta_0(p) \implies \Delta_0^{-1}(p) = Z_2^{-1} \Delta_R^{-1}(p) ΓRμ(p′,p)=Z1Γ0μ(p′,p)  ⟹  Γ0μ(p′,p)=Z1−1ΓRμ(p′,p)\Gamma_R^\mu(p', p) = Z_1 \Gamma_0^\mu(p', p) \implies \Gamma_0^\mu(p', p) = Z_1^{-1} \Gamma_R^\mu(p', p) 将上述关系代入裸 Ward-Takahashi 恒等式中： kμZ1−1ΓRμ(p+k,p)=iZ2−1ΔR−1(p+k)−iZ2−1ΔR−1(p)k_\mu Z_1^{-1} \Gamma_R^\mu(p+k, p) = i Z_2^{-1} \Delta_R^{-1}(p+k) - i Z_2^{-1} \Delta_R^{-1}(p) 两边同乘 Z1Z_1，得到重整化后的 Ward-Takahashi 恒等式： kμΓRμ(p+k,p)=Z1Z2(iΔR−1(p+k)−iΔR−1(p))k_\mu \Gamma_R^\mu(p+k, p) = \frac{Z_1}{Z_2} \left( i \Delta_R^{-1}(p+k) - i \Delta_R^{-1}(p) \right)

4. 应用在壳重整化条件 为了确定 Z1/Z2Z_1/Z_2 的比值，我们需要使用物理的在壳（on-shell）重整化条件： (1) 传播子条件：重整化标量传播子在物理质量 p2=m2p^2 = m^2 处具有留数为 ii 的单极点： ΔR(p)→p2→m2ip2−m2\Delta_R(p) \xrightarrow{p^2 \to m^2} \frac{i}{p^2 - m^2} 这意味着在其极点附近，逆传播子的行为是： ΔR−1(p)≈−i(p2−m2)\Delta_R^{-1}(p) \approx -i(p^2 - m^2) 对其求动量导数可得： ∂∂pμΔR−1(p)∣p2=m2=−2ipμ\frac{\partial}{\partial p_\mu} \Delta_R^{-1}(p) \bigg|_{p^2 = m^2} = -2i p^\mu

(2) 顶点条件：物理电荷 ee 定义为低能汤姆孙散射极限下的耦合，即在零动量转移（k→0k \to 0）且标量粒子在壳（p2=m2p^2 = m^2）时，重整化顶点函数等于其树图级别的形式。树图顶点为 (2p+k)μ(2p + k)^\mu，当 k→0k \to 0 时为 2pμ2p^\mu： ΓRμ(p,p)=2pμ(对于 p2=m2)\Gamma_R^\mu(p, p) = 2p^\mu \quad (\text{对于 } p^2 = m^2)

5. 证明结论 在重整化的 Ward-Takahashi 恒等式中，取光子动量 k→0k \to 0 的极限。将等式右侧对 kk 进行一阶泰勒展开： iΔR−1(p+k)−iΔR−1(p)≈ikμ∂∂pμΔR−1(p)i \Delta_R^{-1}(p+k) - i \Delta_R^{-1}(p) \approx i k_\mu \frac{\partial}{\partial p_\mu} \Delta_R^{-1}(p) 代入恒等式并消去两侧任意微小的 kμk_\mu，得到微分形式的 Ward 恒等式： ΓRμ(p,p)=Z1Z2i∂∂pμΔR−1(p)\Gamma_R^\mu(p, p) = \frac{Z_1}{Z_2} i \frac{\partial}{\partial p_\mu} \Delta_R^{-1}(p) 将此式在物理质量壳 p2=m2p^2 = m^2 处求值，并代入前面得到的两个重整化条件： 2pμ=Z1Z2i(−2ipμ)2p^\mu = \frac{Z_1}{Z_2} i (-2i p^\mu) 化简右侧： 2pμ=Z1Z2(2pμ)2p^\mu = \frac{Z_1}{Z_2} (2p^\mu) 由于该等式对任意在壳动量 pμp^\mu 均成立，我们必然得出： Z1Z2=1\frac{Z_1}{Z_2} = 1 即： Z1=Z2\boxed{Z_1 = Z_2}

物理意义简述： 在标量 QED 中，Z1=Z2Z_1 = Z_2 保证了电荷的普适性。由于 Z1=ZeZ2Z3Z_1 = Z_e Z_2 \sqrt{Z_3}，该结论直接导致 Ze=Z3−1/2Z_e = Z_3^{-1/2}，即裸电荷与物理电荷之间的重整化关系 e0=Z3−1/2ee_0 = Z_3^{-1/2} e 仅由光子的真空极化（Z3Z_3）决定，而与标量粒子的内部结构或自能无关。这与旋量 QED 中的结论完全一致，是规范对称性保护的必然结果。

19.3

Problem 19.3

schwarzChapter 19

习题 19.3

来源: 第19章, PDF第354页

19.3 Prove Yang's theorem: a massive vector boson can never decay into two photons. For the proof, you only need to consider the most general possible form the amplitude could have, not any particular Lagrangian or Feynman rules.

习题 19.3 - 解答

习题分析与物理背景

杨氏定理（Yang's Theorem）指出，一个具有质量的矢量玻色子（自旋 J=1J=1）不能衰变为两个光子。证明该定理不需要依赖任何特定的拉格朗日量或费曼规则，只需利用量子场论中的基本对称性原理：

  1. 洛伦兹不变性（Lorentz Invariance）：衰变振幅必须是一个洛伦兹标量。
  2. 横向性条件（Transversality / On-shell conditions）：外部粒子的极化矢量与其动量正交。
  3. 玻色对称性（Bose Symmetry）：末态是两个全同的无质量玻色子（光子），振幅在交换这两个光子时必须是对称的。
  4. 规范不变性（Gauge Invariance / Ward Identity）：将任意一个光子的极化矢量替换为其四维动量时，衰变振幅必须严格为零。

解题过程

设初态大质量矢量玻色子 VV 的动量为 pp，极化矢量为 ϵμ(p)\epsilon^\mu(p)，质量为 MM（p2=M2>0p^2 = M^2 > 0）。 设末态两个光子的动量分别为 k1k_1 和 k2k_2，极化矢量分别为 ϵ1α(k1)\epsilon_1^\alpha(k_1) 和 ϵ2β(k2)\epsilon_2^\beta(k_2)。光子是无质量的，因此 k12=k22=0k_1^2 = k_2^2 = 0。 由动量守恒定律有： p=k1+k2p = k_1 + k_2 由此可得光子动量的内积为： p2=(k1+k2)2=2k1⋅k2=M2  ⟹  k1⋅k2=M22≠0p^2 = (k_1 + k_2)^2 = 2k_1 \cdot k_2 = M^2 \implies k_1 \cdot k_2 = \frac{M^2}{2} \neq 0

外部粒子的横向性条件（在壳条件）给出： p⋅ϵ(p)=0,k1⋅ϵ1(k1)=0,k2⋅ϵ2(k2)=0p \cdot \epsilon(p) = 0, \quad k_1 \cdot \epsilon_1(k_1) = 0, \quad k_2 \cdot \epsilon_2(k_2) = 0 由于 p=k1+k2p = k_1 + k_2，初态极化矢量的横向性可以改写为： (k1+k2)⋅ϵ(p)=0  ⟹  k2⋅ϵ(p)=−k1⋅ϵ(p)(k_1 + k_2) \cdot \epsilon(p) = 0 \implies k_2 \cdot \epsilon(p) = -k_1 \cdot \epsilon(p)

最一般的衰变振幅 M\mathcal{M} 可以写为极化矢量与一个三阶张量 Mμαβ\mathcal{M}^{\mu\alpha\beta} 的缩并： M=ϵμ(p)ϵ1α∗(k1)ϵ2β∗(k2)Mμαβ(k1,k2)\mathcal{M} = \epsilon_\mu(p) \epsilon_{1\alpha}^*(k_1) \epsilon_{2\beta}^*(k_2) \mathcal{M}^{\mu\alpha\beta}(k_1, k_2) 我们将 Mμαβ\mathcal{M}^{\mu\alpha\beta} 分为宇称守恒（CP-even）和宇称破坏（CP-odd）两部分进行讨论。

1. 宇称守恒部分 (CP-even)

该部分的张量只能由度规张量 gμνg^{\mu\nu} 和动量 k1,k2k_1, k_2 构成。考虑到横向性条件，任何含有 k1αk_1^\alpha 或 k2βk_2^\beta 的项在与极化矢量缩并后都会消失。同时，由于 k2μϵμ=−k1μϵμk_2^\mu \epsilon_\mu = -k_1^\mu \epsilon_\mu，指标 μ\mu 上只需保留 k1μk_1^\mu。因此，最一般的有效张量形式为： Mevenμαβ=A1k1μgαβ+A2k2αgμβ+A3k1βgμα+A4k1μk2αk1β\mathcal{M}^{\mu\alpha\beta}_{\text{even}} = A_1 k_1^\mu g^{\alpha\beta} + A_2 k_2^\alpha g^{\mu\beta} + A_3 k_1^\beta g^{\mu\alpha} + A_4 k_1^\mu k_2^\alpha k_1^\beta 其中 AiA_i 是标量系数（由于唯一的非零标量 k1⋅k2=M2/2k_1 \cdot k_2 = M^2/2 是常数，这些系数均为常数）。

应用玻色对称性： 交换两个光子 (k1,α)↔(k2,β)(k_1, \alpha) \leftrightarrow (k_2, \beta)，振幅必须保持不变： Mevenμβα(k2,k1)=A1k2μgβα+A2k1βgμα+A3k2αgμβ+A4k2μk1βk2α\mathcal{M}^{\mu\beta\alpha}_{\text{even}}(k_2, k_1) = A_1 k_2^\mu g^{\beta\alpha} + A_2 k_1^\beta g^{\mu\alpha} + A_3 k_2^\alpha g^{\mu\beta} + A_4 k_2^\mu k_1^\beta k_2^\alpha 在与 ϵμ\epsilon_\mu 缩并的意义下，将 k2μk_2^\mu 替换为 −k1μ-k_1^\mu： Mevenμβα(k2,k1)≐−A1k1μgαβ+A2k1βgμα+A3k2αgμβ−A4k1μk2αk1β\mathcal{M}^{\mu\beta\alpha}_{\text{even}}(k_2, k_1) \doteq -A_1 k_1^\mu g^{\alpha\beta} + A_2 k_1^\beta g^{\mu\alpha} + A_3 k_2^\alpha g^{\mu\beta} - A_4 k_1^\mu k_2^\alpha k_1^\beta 令其与原张量 Mevenμαβ(k1,k2)\mathcal{M}^{\mu\alpha\beta}_{\text{even}}(k_1, k_2) 相等，比较系数可得： A1=−A1  ⟹  A1=0A_1 = -A_1 \implies A_1 = 0 A2=A3A_2 = A_3 A4=−A4  ⟹  A4=0A_4 = -A_4 \implies A_4 = 0 因此，满足玻色对称性的张量简化为： Mevenμαβ=A2(k2αgμβ+k1βgμα)\mathcal{M}^{\mu\alpha\beta}_{\text{even}} = A_2 (k_2^\alpha g^{\mu\beta} + k_1^\beta g^{\mu\alpha})

应用规范不变性 (Ward Identity)： 将光子 1 的极化矢量替换为其动量，即令 ϵ1α∗→k1α\epsilon_{1\alpha}^* \to k_{1\alpha}，振幅必须为零： k1αMevenμαβ=A2[(k1⋅k2)gμβ+k1βk1μ]k_{1\alpha} \mathcal{M}^{\mu\alpha\beta}_{\text{even}} = A_2 \left[ (k_1 \cdot k_2) g^{\mu\beta} + k_1^\beta k_1^\mu \right] 将其与剩余的极化矢量 ϵμϵ2β∗\epsilon_\mu \epsilon_{2\beta}^* 缩并： M(ϵ1→k1)=A2[(k1⋅k2)(ϵ⋅ϵ2∗)+(k1⋅ϵ2∗)(k1⋅ϵ)]=0\mathcal{M}(\epsilon_1 \to k_1) = A_2 \left[ (k_1 \cdot k_2) (\epsilon \cdot \epsilon_2^*) + (k_1 \cdot \epsilon_2^*) (k_1 \cdot \epsilon) \right] = 0 由于 ϵ\epsilon 和 ϵ2∗\epsilon_2^* 是任意的横向极化矢量，方括号内的运动学结构一般不为零（特别是 k1⋅k2=M2/2≠0k_1 \cdot k_2 = M^2/2 \neq 0）。要使该式恒成立，必须有： A2=0A_2 = 0 至此证明了宇称守恒部分的振幅严格为零。

2. 宇称破坏部分 (CP-odd)

该部分的张量必须包含完全反对称的列维-奇维塔张量 ϵμνρσ\epsilon^{\mu\nu\rho\sigma}。最一般的秩为 3 的张量形式为： Moddμαβ=B1ϵμαβρk1ρ+B2ϵμαβρk2ρ\mathcal{M}^{\mu\alpha\beta}_{\text{odd}} = B_1 \epsilon^{\mu\alpha\beta\rho} k_{1\rho} + B_2 \epsilon^{\mu\alpha\beta\rho} k_{2\rho}

应用玻色对称性： 交换 (k1,α)↔(k2,β)(k_1, \alpha) \leftrightarrow (k_2, \beta)： Moddμβα(k2,k1)=B1ϵμβαρk2ρ+B2ϵμβαρk1ρ\mathcal{M}^{\mu\beta\alpha}_{\text{odd}}(k_2, k_1) = B_1 \epsilon^{\mu\beta\alpha\rho} k_{2\rho} + B_2 \epsilon^{\mu\beta\alpha\rho} k_{1\rho} 利用反对称张量的性质 ϵμβαρ=−ϵμαβρ\epsilon^{\mu\beta\alpha\rho} = -\epsilon^{\mu\alpha\beta\rho}： Moddμβα(k2,k1)=−B1ϵμαβρk2ρ−B2ϵμαβρk1ρ\mathcal{M}^{\mu\beta\alpha}_{\text{odd}}(k_2, k_1) = -B_1 \epsilon^{\mu\alpha\beta\rho} k_{2\rho} - B_2 \epsilon^{\mu\alpha\beta\rho} k_{1\rho} 令其与原张量相等，比较系数得： B1=−B2B_1 = -B_2 因此，满足玻色对称性的张量为： Moddμαβ=B1ϵμαβρ(k1ρ−k2ρ)\mathcal{M}^{\mu\alpha\beta}_{\text{odd}} = B_1 \epsilon^{\mu\alpha\beta\rho} (k_{1\rho} - k_{2\rho})

应用规范不变性 (Ward Identity)： 令 ϵ1α∗→k1α\epsilon_{1\alpha}^* \to k_{1\alpha}，振幅必须为零： k1αModdμαβ=B1ϵμαβρk1α(k1ρ−k2ρ)k_{1\alpha} \mathcal{M}^{\mu\alpha\beta}_{\text{odd}} = B_1 \epsilon^{\mu\alpha\beta\rho} k_{1\alpha} (k_{1\rho} - k_{2\rho}) 由于 ϵμαβρ\epsilon^{\mu\alpha\beta\rho} 对 α,ρ\alpha, \rho 反对称，而 k1αk1ρk_{1\alpha} k_{1\rho} 是对称的，第一项缩并为零。剩下： k1αModdμαβ=−B1ϵμαβρk1αk2ρk_{1\alpha} \mathcal{M}^{\mu\alpha\beta}_{\text{odd}} = -B_1 \epsilon^{\mu\alpha\beta\rho} k_{1\alpha} k_{2\rho} 将其与 ϵμϵ2β∗\epsilon_\mu \epsilon_{2\beta}^* 缩并： M(ϵ1→k1)=−B1ϵμαβρϵμk1αϵ2β∗k2ρ=0\mathcal{M}(\epsilon_1 \to k_1) = -B_1 \epsilon^{\mu\alpha\beta\rho} \epsilon_\mu k_{1\alpha} \epsilon_{2\beta}^* k_{2\rho} = 0 对于任意的线性无关的四维矢量 ϵ,k1,ϵ2∗,k2\epsilon, k_1, \epsilon_2^*, k_2，上述缩并结果不恒为零。因此，要使规范不变性成立，必须有： B1=0B_1 = 0 这证明了宇称破坏部分的振幅也严格为零。

结论

综合上述分析，无论是宇称守恒还是宇称破坏的相互作用，在同时满足洛伦兹不变性、玻色对称性和规范不变性的前提下，大质量矢量玻色子衰变为双光子的最一般振幅均恒等于零。

M(V→γγ)≡0\boxed{\mathcal{M}(V \to \gamma\gamma) \equiv 0}