Amplitude of $H \to \gamma Z$ process via one $W$ loop in unitary gauge (I. Details of calculation with Dyson scheme)

技术摘要：通过幺正规范下单 $W$ 圈过程的 $H \to \gamma Z$ 振幅（第一部分）

问题陈述
本文旨在计算在幺正规范（unitary gauge）下，由单 $W$ 玻色子图介导的 $H \to \gamma Z$ 衰变振幅。该计算的动机源于关于幺正规范与 $R_\xi$ 规范在圈图计算中关于规范不变性与一致性的“悖论”，这一点在近期对 $H \to \gamma\gamma$ 衰变宽度的重新审查中被特别强调。幺正规范呈现出特定的困难：它与圈积分不交换，会导致高阶发散（二次和四次发散），这些发散必须相互抵消，才能产生有限的、满足电磁 $U(1)$ 规范不变性的结果。涉及发散阶数高于对数阶的积分时，标准技术中对动量变量的任意平移可能会引入歧义和表面项（surface terms），从而掩盖物理结果，特别是对于 $H \to \gamma Z$ 过程中特有的与 $M_Z^2$ 成正比的项（这与 $H \to \gamma\gamma$ 不同）。

方法论：Dyson 方案
作者采用了一种基于原始 Dyson 公式化（被称为“Dyson 方案”）的计算框架，该方案与标准的动量空间费曼规则应用在以下几个关键方面有所不同：

1. 保留 $\delta$ 函数： 计算并没有立即通过在每个顶点处积掉四维动量守恒的 $\delta$ 函数来定义独立的圈动量，而是在初始阶段保留了所有的传播子动量和顶点 $\delta$ 函数。这避免了在处理发散阶数高于对数阶的图时，设置独立圈动量所带来的歧义。
2. 不进行动量平移： 该方法明确拒绝在对高阶发散积分进行变量平移。作者认为，在这些积分中平移动量会产生额外的表面项，如果不极其谨慎地处理，将会改变结果。通过保留由 Dyson-Wick 微扰展开定义的原始积分变量，从而保留了“原始”表达式。
3. 表面项处理： 计算是在四维闵可夫斯基动量空间中进行的，不使用辅助正则化（如维度正则化）。通过正确处理发缩张量积分产生的表面项，实现有限性和规范不变性。作者认为，散射 $S$ 矩阵问题中自由费曼传播子的物理边界条件意味着这些表面项为零。
4. Ward 等式 (W.I.)： 计算高度依赖于 $WW\gamma$ 和 $WWZ$ 顶点的 Ward 等式，以降低不同图（$T_1, T_2, T_3$）之间之间抵消的复杂性。

核心贡献与计算细节
本文重点讨论了对该过程有贡献的三类非零费曼图（其中两类包含 $W$ 圈，一类为 $W$ 蝌蚪/泡状结构；另外两类之和为零）。计算过程通过分析基于发散阶数以及 $W$ 质量 ($M$) 和 $Z$ 质量 ($M_Z$) 幂次的项来进行：

• 高阶发散项 ($M^{-6}$ 与 $M^{-4}$)： 由于 Ward 等式的存在，$M^{-6}$ 项消失。包含与 $H \to \gamma\gamma$ 中不存在的 $M_Z^2/M^4$ 项相关的 $M^{-4}$ 项，在各图中显示出抵消关系。四次和三次发散的抵消使得仅剩下与 $M_Z^2$ 成正比的二次发散。
• 二次发散： 当处理二次张量积分的表面项为零时，剩余的二次发散被证明完全抵消。这种抵消是在不平移积分变量的情况下实现的，依赖于由 Dyson 方案导出的积分项的特定结构。
• 对数项与有限项： 计算分离出了与 $M_Z^2/M^2$ 和 $M_Z^2/M^4$ 成正比的有限项。一个关键结果是，出现了一个非零、有限且满足 $U(1)_{EM}$ 规范不变性的项，其形式为 $(k_1 \cdot k_2 g_{\mu\nu} - k_{2\mu}k_{1\nu})M_Z^2/M^4$。该项被认为是与其它规范（如 $R_\xi$）进行比较时必不可少的。
• 规范不变性： 最终组合的振幅被证明是有限的，并且在电磁 $U(1)$ 规范变换下是不变的。作者指出，该结果意味着在此单圈水平上，对 $Z\gamma$ 混合重整化常数没有贡献。

结果
论文给出了在执行最终费曼参数积分之前的振幅各分量（标记为 $R_1$ 至 $R_5$）的显式积分形式。主要发现如下：

1. 当对各图求和并正确处理表面项时，发散部分（四次、三次、二次和对数项）完全抵消。
2. 最终结果在四维空间内是有限的，且满足电磁规范不变性。
3. 计算证实，在幺正规范下，通过 $W$ 圈产生的 $H \to \gamma Z$ 振幅产生了一致的结果，且无需对 $Z\gamma$ 混合常数进行重整化，前提是根据自由传播子的物理边界条件对表面项进行处理。

意义与主张
本文声称，“Dyson 方案”提供了一个稳健的框架，用以解决幺正规范中与高阶发散相关的歧义。通过避免任意平移圈动量，并基于物理边界条件将表面项视为零，作者证明了标准模型在该规范下仍然是自洽的。

作者指出，对表面项的处理不仅是一个技术细节，更是对时空局部结构和拓扑结构的探测。论文推测，在不同的时空流形中（例如具有奇点或缺陷的早期宇宙情景），这些表面项可能不会消失，从而可能导致在当前闵可夫斯基真空中所不存在的异常（如电荷不守恒或 CP 破坏）。然而，本文明确限定了其研究范围，即仅限于在标准闵可夫斯基空间中的计算细节，并将与其他规范的比较及完整的物理阐释留待后续部分（第二部分）进行。这项工作被呈现为一个建立有限振幅的系统性框架，强调了表面项在确保幺正规范下标准模型一致性中的作用。