Forcer, a Form program for the parametric reduction of four-loop massless propagator diagrams
Forcer, a Form program for the parametric reduction of four-loop massless propagator diagrams
复制标题
Forcer，一个用于四环无质量传播图参数简化的 Form 程序
DOI：
10.1016/j.cpc.2020.107198
复制
发表时间：
2017
期刊：
影响因子：
--
通讯作者：
J. Vermaseren
中科院分区：
文献类型：
--
作者：
B. Ruijl;Takahiro Ueda;J. Vermaseren
我们解释建设的力量，一个形式的程序减少四圈无质量传播型积分主积分。由此产生的程序进行参数IBP减少类似于三个循环Mincerprogram。我们展示了如何可以解决许多系统的IBP身份参数在计算机辅助的方式。接下来，我们讨论Forcer程序的结构，其中涉及识别每个拓扑的约简动作、应用对称性以及在删除边后在拓扑之间进行转换。这部分是完全预先计算和自动生成的。我们给出的例子最近的应用ofForcer，并研究该计划的性能。最后，我们演示了如何使用Forcer软件包，并概述了如何准备物理图，以供Forcer评估。程序摘要程序标题：Forcer。程序文件doi：http://dx.doi.org/10.17632/d4jy7mfjxf.1Licensing规定：GNU通用公共许可证，版本3。编程语言：FORM。问题性质：微扰量子场论中的一些物理量需要求维数正则化的无质量传播子型费曼积分。这可以通过将问题中的积分简化为一组主积分，然后替换它们的值来实现。在四个环路级别，这样的减少变得非常重要并且非常耗时。求解方法：该程序递归地应用预先导出的参数化约化规则求解四圈无质量传播子型费曼积分。许多规则是从拓扑子结构中派生出来的，并由Python代码自动生成。一些特殊的情况下，仔细优化在计算机辅助的方式。限制：限制来自这样一个事实，即减少太复杂的积分需要太多的CPU时间和存储空间。如果有理系数变得太大而无法在FORM中处理，则需要考虑使用截断展开。
We explain the construction ofForcer, aFormprogram for the reduction of four-loop massless propagator-type integrals to master integrals. The resulting program performs parametric IBP reductions similar to the three-loopMincerprogram. We show how one can solve many systems of IBP identities parametrically in a computer-assisted manner. Next, we discuss the structure of theForcerprogram, 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 ofForcer, and study the performance of the program. Finally we demonstrate how to use theForcerpackage and sketch how to prepare physical diagrams for evaluation byForcer.Program summaryProgram title:Forcer.Program files doi:http://dx.doi.org/10.17632/d4jy7mfjxf.1Licensing 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.
登录
查看更多内容
影响因子：
5.4
作者：
J. Henn;R. Lee;A. Smirnov;V. Smirnov;M. Steinhauser
通讯作者：
J. Henn;R. Lee;A. Smirnov;V. Smirnov;M. Steinhauser
DOI：
10.1016/j.nuclphysb.2004.03.030
发表时间：
2004-03
期刊：
--
影响因子：
--
作者：
S. Moch;J. Vermaseren;A. Vogt
通讯作者：
S. Moch;J. Vermaseren;A. Vogt
DOI：
10.1016/j.nuclphysb.2005.01.012
发表时间：
2004-11
期刊：
Nuclear Physics
影响因子：
--
作者：
M. Czakon
通讯作者：
M. Czakon
FORM 的多线程版本
DOI：
10.1016/j.cpc.2010.04.009
发表时间：
2010
期刊：
Comput. Phys. Commun.
影响因子：
--
作者：
M. Tentyukov;J. A. M. Vermaseren
通讯作者：
J. A. M. Vermaseren
影响因子：
5.4
作者：
Smirnov, A. V.
通讯作者：
Smirnov, A. V.