[论文解读] Automatic application of successive asymptotic expansions of Feynman diagrams

T. Seidensticker|ArXiv.org|May 11, 1999

advanced mathematical theories被引用 70

一句话总结

该论文提出 EXP 程序，一种 C++ 程序，通过递归回溯算法自动实现多尺度费曼图的连续渐近展开，生成硬子图并确定共子图拓扑结构。该方法可系统地处理多个小参数的嵌套展开（例如，$M_H^2/M_t^2$，$M_b^2/M_H^2$），并通过计算希格斯玻色子衰变到 $b\bar{b}$ 的虚部进行了验证，将先前结果扩展至包含 $\mathcal{O}(M_t^{-4})$ 项。

ABSTRACT

We discuss the program EXP used to automate the successive application of asymptotic expansions to Feynman diagrams. We focus on the generation of the relevant subgraphs and the determination of the topologies for the remaining integrals. Both tasks can be solved by using backtracking-type recursive algorithms. In addition, an application of EXP is presented, where the integrals were calculated using the FORM packages MINCER and MATAD.

研究动机与目标

• 自动化生成多尺度费曼图中相关的硬子图和共子图拓扑结构。
• 实现多个小参数（例如质量比和动量比）的连续渐近展开，以获得高阶修正。
• 通过将复杂的多尺度积分简化为可管理的单尺度积分，支持高精度量子场论计算。
• 与现有的基于 FORM 的积分工具（如 MINCER 和 MATAD）无缝集成，用于最终振幅的评估。

提出的方法

• 使用递归回溯算法系统地生成图中所有线的子集，并测试其是否满足硬子图条件。
• 应用关于轻线的一粒子不可约性的图解规则，以识别有效的硬子图。
• 利用动量守恒和系数匹配，为子图分配环动量和外部动量，并确定其拓扑结构。
• 采用拓扑比较算法，通过与用户定义的标准拓扑结构对比动量和质量的整数系数分布，来识别子图拓扑。
• 自动生成与 FORM 兼容的输入文件和 makefile，以便与 MINCER 和 MATAD 进行下游集成。
• 通过递归应用展开，处理分层的质量和动量尺度，直至所有剩余积分均为单尺度。

实验结果

研究问题

• RQ1 如何为具有多个质量与动量层级的多尺度费曼图，自动化实现连续渐近展开的应用？
• RQ2 何种算法方法可确保在复杂图中正确识别所有相关的硬子图和共子图拓扑结构？
• RQ3 如何系统性地完成子图的拓扑分配，以实现与 MINCER 和 MATAD 等单尺度工具的集成？
• RQ4 在嵌套展开中包含更高阶项（如 $\mathcal{O}(M_t^{-4})$）对精度衰变率计算有何影响？
• RQ5 如何使自动化流程在面对更高圈阶和更复杂的尺度层级时仍具备鲁棒性与可扩展性？

主要发现

• 程序 EXP 通过递归回溯成功实现了硬子图和共子图拓扑结构的自动化生成，支持系统的连续展开。
• 该方法被应用于计算希格斯玻色子衰变到 $b\bar{b}$ 的虚部，结果以 $M_H^2/M_t^2$ 和 $M_b^2/M_H^2$ 的嵌套级数形式呈现。
• 计算结果将先前工作扩展至包含 $\mathcal{O}(M_t^{-4})$ 项，尽管数值上较小，但形式上具有重要意义。
• 最终结果与 QCD 规范参数无关，且无需重整化即为有限，证实其与场论预期一致。
• 该算法能正确识别并分离无法映射到标准拓扑结构的子图，从而支持进一步的递归展开。
• 通过 FORM 实现与 MINCER 和 MATAD 的完全自动化集成，包括主文件和 makefile 的生成，显著简化了计算工作流。