[论文解读] UFO 2.0 - The Universal Feynman Output format

Luc Darmé, Céline Degrande+17 more|arXiv (Cornell University)|Jan 1, 2023

Particle physics theoretical and experimental studies被引用 3

一句话总结

本文介绍了 UFO 2.0，一种用于在自动化矩阵元生成器中表示高能物理模型的更新版、模块化且可扩展的格式。它在原始 UFO 格式的基础上，新增了宽度衰变、自定义传播子、形式因子、跑动重正化群以及高阶量子修正的支持，从而实现了标准模型和新物理理论中精确计算的全面自动化。

ABSTRACT

We present an update of the Universal FeynRules Output model format, commonly known as the UFO format, that is used by several automated matrix-element generators and high-energy physics software. We detail different features that have been proposed as extensions of the initial format during the last ten years, and collect them in the current second version of the model format that we coin the Universal Feynman Output format. Following the initial philosophy of the UFO, they consist of flexible and modular additions to address particle decays, custom propagators, form factors, the renormalisation group running of parameters and masses, and higher-order quantum corrections.

研究动机与目标

• 解决以往高能物理软件工具之间缺乏互操作性的问题，这些工具曾需要为每个框架单独定制模型格式。
• 扩展原始 UFO 格式，以支持粒子衰变、自定义传播子和跑动重正化群等高级理论特性。
• 提供一种标准化、模块化且可追溯的框架，用于表示复杂的量子场论模型，包括适用于精确计算的模型。
• 首次在单一出版物中对过去十年间 UFO 生态系统中开发的所有可选和高级功能进行系统化整理与统一。
• 通过正式包含反项和对数修正，实现高阶微扰计算（特别是萨达科夫近似下的电弱修正）的完全自动化。

提出的方法

• UFO 2.0 格式通过一组基于 Python 的模型文件实现，以通用且抽象的形式编码粒子、参数、顶点和相互作用结构。
• 该格式采用模块化设计，包含必需文件（如 model.py、parameters.py）和可选组件（如 decay_widths、propagators、form_factors），以扩展功能。
• 形式因子通过 EWOperator 类中的矩阵元进行编码，其中非零矩阵元被映射为 Parameter 对象，以实现自动计算。
• 电弱修正的反项通过 CTParameter 和 CTVertex 对象实现，支持在矩阵元计算中自动包含对数增强修正。
• 通过允许参数和质量作为能量标度的函数进行定义，并显式提供跑动方程，该格式支持跑动重正化群。
• 该设计确保与主要 HEP 工具（如 FeynRules、CalcHEP、MadGraph5_aMC@NLO 等）的兼容性，支持在不同软件流水线中复用模型。

实验结果

研究问题

• RQ1 如何设计一种通用且可扩展的模型格式，以支持高能物理软件不断演进的需求，包括高阶修正和非标准相互作用？
• RQ2 在不破坏与现有矩阵元生成器兼容性的前提下，将形式因子和自定义传播子正式嵌入模型描述的最有效方式是什么？
• RQ3 如何系统性地在模型格式中编码参数和质量的跑动重正化群，以支持精确计算？
• RQ4 为实现在通用模型格式下使用萨达科夫近似自动计算电弱修正，需要哪些核心组件？
• RQ5 如何通过标准化的机器可读元数据和可选配置文件，提升模型的可追溯性和可重现性？

主要发现

• UFO 2.0 引入了对原始 UFO 格式的完全向后兼容的模块化扩展，现将宽度衰变、形式因子和自定义传播子作为一等公民原生支持。
• 通过 EWOperator 类中的矩阵元正式化了形式因子的表达，实现了以机器可读方式描述非平凡的味和手征性依赖耦合。
• 该格式现在原生支持通过标度相关定义实现的参数和质量跑动重正化群，支持在不同能量标度下的精确研究。
• 电弱修正的反项通过 CTParameter 和 CTVertex 对象正式编码，支持在矩阵元计算中自动包含对数修正。
• 该格式通过标准化接口暴露了萨达科夫近似中高阶计算所必需的要素（如波函数和参数反项），实现了该近似下高阶计算的完全自动化。
• 本工作首次提供了 UFO 2.0 所有特性的全面、官方文档，将过去十年的发展成果整合为一个权威、统一的参考文献，供高能物理社区使用。