[论文解读] Matchmakereft: Automated tree-level and one-loop matching

Adrián Carmona, Achilleas Lazopoulos+2 more|arXiv (Cornell University)|Dec 20, 2021

Particle physics theoretical and experimental studies被引用 4

一句话总结

Matchmakereft 是一个完全自动化的工具，用于使用图解方法和背景场方法（BFM）实现量子场论模型与有效场论（EFT）之间的树图和一环匹配，以保持规范不变性。它通过显式规范不变性进行非壳上匹配，并提供广泛的交叉检查，结果以物理基、Green基和规范归一化后形式输出，支持一环重整化、基变换和算符独立性检查等应用。

ABSTRACT

We introduce matchmakereft, a fully automated tool to compute the tree-level and one-loop matching of arbitrary models onto arbitrary effective theories. Matchmakereft performs an off-shell matching, using diagrammatic methods and the background field method when gauge theories are involved. The large redundancy inherent to the off-shell matching together with explicit gauge invariance offers a significant number of non-trivial checks of the results provided. These results are given in the physical basis but several intermediate results, including the matching in the Green basis before and after canonical normalization, are given for flexibility and the possibility of further cross-checks. As a non-trivial example we provide the complete matching in the Warsaw basis up to one loop of an extension of the Standard Model with a charge -1 vector-like lepton singlet. Matchmakereft has been built with generality, flexibility and efficiency in mind. These ingredients allow matchmakereft to have many applications beyond the matching between models and effective theories. Some of these applications include the one-loop renormalization of arbitrary theories (including the calculation of the one-loop renormalization group equations for arbitrary theories); the translation between different Green bases for a fixed effective theory or the check of (off-shell) linear independence of the operators in an effective theory. All these applications are performed in a fully automated way by matchmakereft.

研究动机与目标

• 自动化计算紫外（UV）模型与 EFT 在树图和一环层次的威尔逊系数匹配。
• 通过非壳上匹配和显式规范不变性检查，确保计算的鲁棒性和一致性。
• 以多种基（物理基、Green基、规范归一化后）提供结果，支持交叉验证和灵活性。
• 将适用范围从匹配扩展至一环重整化、基变换和 EFT 中的算符独立性测试。
• 通过支持系统化、可重复且高效的 EFT 计算，助力高能理论物理中的模型构建。

提出的方法

• 使用图解方法计算一环振幅，对规范理论采用背景场方法（BFM）以保持显式规范不变性。
• 通过比较 UV 模型与 EFT 模型中所有外部粒子非壳上时的振幅，实现非壳上匹配，增强一致性检查。
• 引入一种灵活的模型定义框架，使用 YAML 和基于 Python 的配置文件指定场、规范结构和相互作用。
• 通过维数正则化和投影技术，系统处理 γ5 和蒸发算符，以在 't Hooft-Veltman 方案中保持一致性。
• 自动计算 Green 基及规范归一化前后的匹配结果，支持直接比较和错误检查。
• 提供命令行接口和 Python 模块，便于集成到更大的计算工作流和自动化流水线中。

实验结果

研究问题

• RQ1 如何系统且自动地计算 UV 模型与 EFT 之间的一环匹配，同时保持规范不变性？
• RQ2 非壳上匹配和显式规范不变性在验证和交叉检查威尔逊系数计算中起到什么作用？
• RQ3 一个统一框架能否不仅实现匹配，还能自动化实现一环重整化、基变换和算符独立性检查？
• RQ4 在维数正则化中，如何一致处理蒸发算符和 γ5 问题？
• RQ5 模型特异性特征（如矢量型单重态轻子）对一环层次下 EFT 结构有何影响？

主要发现

• Matchmakereft 成功计算了标准模型扩展（包含一个电荷为 −1 的矢量型单重态轻子）到 SMEFT 的 Warsaw 基的完整一环匹配。
• 该工具明确给出了 SMEFT 中所有规范玻色子、双费米子和四费米子算符在至一环层次的算符结果，包括其威尔逊系数。
• 对蒸发算符的处理和 γ5 在维数正则化中的正确处理保持一致，并对算符混合进行了专门检查。
• 该工具可通过相同的匹配机制，自动实现任意理论的一环重整化，包括一环 RGE 的计算。
• 在不同 Green 基之间（例如从 Green 基到物理基）的基变换被自动执行，并通过一致性检查进行验证。
• 通过非壳上匹配，框架能够检测算符之间的线性相关性，提供系统化方法以识别 EFT 中的冗余算符。