AutoEFT: Automated operator construction for effective field theories

The program AutoEFT is described. It allows one to generate Effective Field Theories (EFTs) from a given set of fields and symmetries. Allowed fields include scalars, spinors, gauge bosons, and gravitons. The symmetries can be local or global Lie groups based on U(1) and SU(N). The mass dimension of the EFT is limited only by the available computing resources. The operators are stored in a compact, human and machine-readable format. Aside from the program itself, we provide input files for EFTs based on the Standard Model and a number of its extensions. These include additional particles and symmetries, EFTs with minimal flavor violation, and gravitons.本文将介绍AutoEFT程序，该程序可基于给定的场与对称性集合生成有效场论（Effective Field Theories, EFT）。其支持的场包括标量场、旋量场、规范玻色子与引力子，所采用的对称性可为基于U(1)和SU(N)的局域李群与整体李群。有效场论的质量维度仅受可用计算资源约束。程序中的算子以紧凑且兼具人机可读性的格式存储。除该程序本体外，我们还提供基于标准模型（Standard Model）及其若干扩展版本的有效场论输入文件，这些扩展涵盖额外粒子与对称性、具有最小味破坏的有效场论，以及含引力子的有效场论。