当前位置: X-MOL 学术Comput. Phys. Commun. › 论文详情
Forcer, a Form program for the parametric reduction of four-loop massless propagator diagrams
Computer Physics Communications ( IF 3.309 ) Pub Date : 2020-02-05 , DOI: 10.1016/j.cpc.2020.107198
B. Ruijl; T. Ueda; J.A.M. Vermaseren

We explain the construction of Forcer, a Form program for the reduction of four-loop massless propagator-type integrals to master integrals. The resulting program performs parametric IBP reductions similar to the three-loop Mincer program. We show how one can solve many systems of IBP identities parametrically in a computer-assisted manner. Next, we discuss the structure of the Forcer program, which involves recognizing reduction actions for each topology, applying symmetries, and transitioning between topologies after edges have been removed. This part is entirely precomputed and automatically generated. We give examples of recent applications of Forcer, and study the performance of the program. Finally we demonstrate how to use the Forcer package and sketch how to prepare physical diagrams for evaluation by Forcer. Program summary Program title: Forcer. Program files doi: http://dx.doi.org/10.17632/d4jy7mfjxf.1 Licensing provisions: GNU General Public License, version 3. Programming language: FORM. The generating scripts are written in Python. Nature of problem: Some physical quantities in perturbative quantum field theories require the evaluation of dimensionally regularized massless propagator-type Feynman integrals. This can be achieved by reducing the integrals in the problem to a set of master integrals and then substituting their values. At the four-loop level, such a reduction becomes highly non-trivial and very time-consuming. One needs an efficient program for the reduction. Solution method: The program recursively applies pre-derived parametric reduction rules for four-loop massless propagator-type Feynman integrals. Many rules were derived from topology substructures and were automatically generated by Python code. Some special cases were carefully optimized in a computer-assisted manner. Restrictions: Limitations come from the fact that reducing too complicated integrals requires too much CPU time and storage space. If rational coefficients become too large to be handled in FORM, then one needs to consider using truncated expansions.
更新日期:2020-02-05

 

全部期刊列表>>
智控未来
聚焦商业经济政治法律
跟Nature、Science文章学绘图
控制与机器人
招募海内外科研人才,上自然官网
中洪博元
隐藏1h前已浏览文章
课题组网站
新版X-MOL期刊搜索和高级搜索功能介绍
ACS材料视界
x-mol收录
南开大学
朱守非
廖良生
南方科技大学
西湖大学
伊利诺伊大学香槟分校
徐明华
中山大学化学工程与技术学院
试剂库存
天合科研
down
wechat
bug