DEFT：一个用于有效场论中算符处理的程序

我们描述了一个基于 Python 的计算机程序 DEFT，用于操作有效场论（EFTs）中的算符。在当前版本中，DEFT 可应用于具有规范群 $SU(3)\times SU(2) \times U(1)$ 的 4 维、庞加莱不变理论，例如标准模型（SM），但多种扩展（例如降至低维或任意酉规范群之积）在概念上是直接的。除其他特性外，该程序能够：（i）在考虑冗余（如 Fierz-Pauli 恒等式、分部积分和运动方程）后，检查给定的拉格朗日算符列表（EFT 展开中给定维度）是否构成对 S 矩阵元有贡献的算符空间的一组基；（ii）从输入算法生成这样一组基（在可能时）；（iii）进行基变换。我们描述了其在 SM（我们进行了若干非平凡交叉检验）及其扩展中的应用，并概述该程序如何可用于 SM 的精确检验以及 LHC 等地正在进行的新物理搜寻。代码与说明可从 http://web.physics.ucsb.edu/~dwsuth/DEFT/ 下载。