[论文解读] New Developments in FormCalc 8.4

Cj Gross, Thomas Hahn+4 more|arXiv (Cornell University)|Jul 1, 2014

Distributed and Parallel Computing Systems参考文献 5被引用 4

一句话总结

本文介绍了 FeynArts 3.9 和 FormCalc 8.4 的重大改进，包括适用于复数 MSSM 的完整一阶圈修正 MSSMCT 模型文件、运行时可切换的重整化方案、对 LoopTools 和 Cuba 的向量化与并行化支持，以及与 Ninja 张量约化库的新接口。主要贡献在于实现了在 MSSM 中更精确、更稳定且更高效的单圈计算，显著提升了参数空间中的数值性能与鲁棒性。

ABSTRACT

We present new developments in FeynArts 3.9 and FormCalc 8.4, in particular the MSSMCT model file including the complete one-loop renormalization, vectorization/parallelization issues, and the interface to the Ninja library for tensor reduction.

研究动机与目标

• 实现复数最小超对称标准模型（MSSM）中的精确单圈计算，包含完整的单圈重整化。
• 通过允许在壳方案（如 CCN 和 CNN）之间运行时切换，解决重整化方案重叠区域的数值不稳定性问题。
• 通过在 Cuba 和 GPU 感知采样中实现向量化与并行化，提升张量积分的计算效率。
• 集成 Ninja 库，通过洛朗展开实现数值稳定的张量约化，减少所需采样点数。

提出的方法

• MSSMCT 模型文件通过分别指定传播子的质量，实现了包含树幅混合角与圈修正质量的完整一阶圈重整化。
• FormCalc 扩展以支持通过联合 if-else 语句处理条件性重整化常数，避免参数定义中的循环依赖。
• 集成 Cuba 4.0 支持批量采样与 CPU/GPU 执行的加速器感知负载均衡，显著提升异构系统上的性能。
• 新增接口可为 Ninja 所需的多个分子展开（t、x、μ²）生成独立子程序，实现高效的基于洛朗展开的张量约化。
• LoopTools 中的缓存管理通过 mark/restore/clear 功能得到增强，确保在参数扫描过程中保持性能与内存效率。
• 系统支持缓存与非缓存评估模式，并支持序列化，以提升在并行与分布式计算中的鲁棒性。

实验结果

研究问题

• RQ1 如何在避免重叠在壳方案中出现数值不稳定性的情况下，一致地实现复数 MSSM 中的一阶圈重整化？
• RQ2 在运行时切换重整化方案时，如何在 Fortran 代码中合理组织条件性重整化常数，以防止参数间的循环依赖？
• RQ3 如何在不牺牲负载均衡或可移植性的前提下，有效将向量化与 GPU 加速集成到多维数值积分中？
• RQ4 能否高效地将 Ninja 张量约化库与 FormCalc 接口化，以减少采样点数并提升数值稳定性？
• RQ5 在高能物理计算的参数扫描过程中，哪种缓存管理策略最能有效维持性能？

主要发现

• MSSMCT 模型文件为复数 MSSM 提供了完整的单圈重整化框架，对 Higgs 混合与质量参数的处理具有一致性。
• 通过重构条件语句实现的运行时重整化方案切换，成功解决了参数间循环依赖问题。
• Cuba 4.0 中的向量化与 GPU 感知采样显著改善了负载均衡与性能，尤其在被积函数评估时间变化较大的区域表现突出。
• Ninja 接口通过利用 t、x 和 μ² 变量的洛朗展开，实现了更少采样点下的稳定张量约化。
• clearcache、markcache 和 restorecache 等缓存管理函数在参数扫描过程中对维持性能至关重要。
• 新接口使 FormCalc 能够生成优化的、自包含的 Fortran 代码，全面支持高级张量约化与数值稳定性。