Renormalization of the SMEFT to Dimension Eight: Fermionic Interactions II

技术摘要：八维 SMEFT 的重整化：费米子相互作用 II

问题陈述
标准模型有效场论（SMEFT）作为一个模型无关的框架，用于描述 TeV 能标及以上尺度的超越标准模型（BSM）物理。为了充分利用 SMEFT 进行全局拟合和精密唯象学研究，特别是针对八维算符（即 $O(v^4/\Lambda^4)$），需要对重整化群方程（RGEs）有完整的理解。虽然六维算符的一圈图 RGEs 早已建立，但八维程序的进展却是循序渐进的。以往的工作 [1–4] 计算了玻色子算符与四费米子算符向各种扇区的混合，以及六维算符对向八维算符的混合。然而，仍存在一个关键空白：即计算八维算符（具体涉及玻色子与两费米子相互作用的算符）向两费米子算符的一圈图混合。本文旨在解决这一特定的缺失环节。

方法论
作者在 $D = 4 - 2\epsilon$ 维下使用维度正则化进行了离壳重整化计算。该方法包含以下步骤：

1. 框架： 计算利用了由六维和八维算符扩展的 SM 拉格朗日量。作者采用了用于六维算符的 Warsaw 基底以及用于八维算符的改进版 Murphy 基底。
2. 图论计算： 使用包括 FeynRules、FeynArts、FormCalc、FeynCalc 和 Package-X 在内的自动化工具，计算了一圈图一粒子不可约（1PI）费曼图的单圈发散项。
3. 格林基底投影： 将离壳局部发散投影到 SMEFT 算符的“格林基底”（Green's basis）上。该基底是前人工作 [3] 的扩展，明确包含了冗余算符结构，如 $\psi^2 D^5$、$\psi^2 \phi D^4$、$\psi^2 X D^3$、$\psi^2 X \phi D^2$、$\psi^2 X^2 D$ 以及 $\psi^2 X^2 \phi$。
4. 冗余缩减： 减少这些冗余算符到物理基底的过程是一个主要的计算挑战。作者通过结合自动化工具 mosca [81] 和更新版的 ABC4EFT [武器化/版本更新] [82–84]，克服了这些复杂关系的复杂性（例如，将 $\psi^2 X D^3$ 与具有多腿结构的算符如 $\psi^2 \phi^5$ 联系起来）。
5. 交叉验证： 结果通过基于振幅的非重整化定理、源自 S 矩阵幺正性和解析性的正定性限制，以及与文献 [80] 的重叠结果进行了验证。

主要贡献与结果
本工作的核心贡献是计算了控制八维玻色子与两费米子算符向两费米子算符混合的异常维度矩阵元（$\gamma$）。

• 混合模式： 本文提供了格林基底（表 1）和物理基底（表 4）中的完整混合结构。它详细说明了各类算符（例如 $\phi^6 D^2$、$X \phi^4 D^2$、$\psi^2 \phi^5$）如何贡献于两费米子算符的演化。
• 显式计算： 作者通过计算 $\phi^6 D^2$ 算符向 $l e \phi^5$ 算符混合的具体过程展示了其方法。他们表明，虽然某些 1PI 图消失了，但通过运动方程（EOM）对冗余算符的重整化产生了对物理在壳异常维度的非零贡献。该特定通道的最终结果（式 13）显示出与文献 [80] 完全一致。
• 验证： 结果满足非重整化定理（例如，在壳情况下 $\psi^2 \phi^5$ 不会混合到 $\psi^2 \phi^4 D$）和正定性约束。作者明确验证了正定性基底中的异常维度是负定的，这与之前的理论预期 [77] 一致。
• 数据可用性： 全套 RGEs 以及冗余算符与物理算符之间的关系已通过公开的 GitHub 仓库提供。

意义与范围
本文声称该计算“几乎完成了”八维 SMEFT 的一圈图重整化程序。通过确定八维玻色子与两费米子项向两费米子算符的混合，作者解决了除四费米子八维算符向两费米子算符混合之外的所有混合通道。

作者对研究范围保持了谦逊的态度：

• 他们明确指出，四费米子八维算符的贡献以及八维两费米子算符对低维算符演化的影响被留作未来的工作。
• 他们承认文献 [80] 包含重叠的结果，但指出文献 [80] 仅限于涉及六腿和七腿算符的圈图，这些算符在一圈图中无法混合到具有四条或更少腿的算符中，因此其范围相比于目前的全面分析受到了限制。
• 本文强调了计算的技术复杂性，并邀请独立审查与复现其结果。

总而言之，这项工作为演化八维两费米子算符的 Wilson 系数提供了必要的理论机制，完成了 SMEFT 重整化程序中对于下一代精密唯象学研究至关重要的重要部分。