Forcer, a FORM program for the parametric reduction of four-loop massless propagator diagrams - INSPIRE

DataBETA

Forcer, a FORM program for the parametric reduction of four-loop massless propagator diagrams

B. Ruijl
(
- Leiden U. and
- NIKHEF, Amsterdam
)
,
T. Ueda
(
- NIKHEF, Amsterdam
)
,
J.A.M. Vermaseren
(
- NIKHEF, Amsterdam
)

Apr 21, 2017

44 pages

Published in:

Comput.Phys.Commun. 253 (2020) 107198

Published: Aug, 2020

e-Print:

1704.06650 [hep-ph]

DOI:

10.1016/j.cpc.2020.107198

Report number:

NIKHEF-2017-019

View in:

reference search127 citations

Citations per year

Abstract: (Elsevier)

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 .

Note:

43 pages, 6 figures, source code available from https://github.com/benruijl/forcer

Quantum chromodynamics
Feynman integrals
propagator: massless
parametric
topology
symmetry
master integral
performance
higher-order: 3
higher-order: 2

References(56)

Figures(6)

[1]

Higgs Boson Gluon-Fusion Production in QCD at Three Loops

Charalampos Anastasiou
(
- Zurich, ETH
)
,
Claude Duhr
(
- CERN and
- Louvain U., CP3
)
,
Falko Dulat
(
- Zurich, ETH
)
,
Franz Herzog
(
- NIKHEF, Amsterdam
)
,
Bernhard Mistlberger
(
- Zurich, ETH
)

- Phys.Rev.Lett. 114 (2015) 212001
•
e-Print:
- 1503.06056
•
DOI:
- 10.1103/PhysRevLett.114.212001

[2]

High precision determination of the gluon fusion Higgs boson cross-section at the LHC

Charalampos Anastasiou
(
- Zurich, ETH
)
,
Claude Duhr
(
- CERN and
- Louvain U., CP3
)
,
Falko Dulat
(
- Zurich, ETH
)
,
Elisabetta Furlan
(
- Zurich, ETH
)
,
Thomas Gehrmann
(
- Zurich U.
)

et al.

- JHEP 05 (2016) 058
•
e-Print:
- 1602.00695
•
DOI:
- 10.1007/JHEP05(2016)058

[3]

The O (alpha-s**3) QCD correction to the lowest moment of the longitudinal structure function in deep inelastic electron - nucleon scattering

S.A. Larin
(
- NIKHEF, Amsterdam
)
,
F.V. Tkachov
(
- Fermilab
)
,
J.A.M. Vermaseren
(
- NIKHEF, Amsterdam
)

- Phys.Lett.B 272 (1991) 121-126
•
DOI:
- 10.1016/0370-2693(91)91023-O

[4]

The Next next-to-leading QCD approximation for nonsinglet moments of deep inelastic structure functions

S.A. Larin
(
- NIKHEF, Amsterdam
)
,
T. van Ritbergen
(
- NIKHEF, Amsterdam
)
,
J.A.M. Vermaseren
(
- NIKHEF, Amsterdam
)

- Nucl.Phys.B 427 (1994) 41-52
•
DOI:
- 10.1016/0550-3213(94)90268-2

[5]

The Three loop QCD calculation of the moments of deep inelastic structure functions

S.A. Larin
(
- NIKHEF, Amsterdam and
- Moscow, INR
)
,
Paulo Nogueira
(
- Lisbon, IST
)
,
T. van Ritbergen
(
- NIKHEF, Amsterdam
)
,
J.A.M. Vermaseren
(
- NIKHEF, Amsterdam
)

- Nucl.Phys.B 492 (1997) 338-378
•
e-Print:
- hep-ph/9605317
•
DOI:
- 10.1016/S0550-3213(97)80038-7

[6]

Some higher moments of deep inelastic structure functions at next-to-next-to-leading order of perturbative QCD

A. Retey
(
- Karlsruhe U., TTP
)
,
J.A.M. Vermaseren
(
- NIKHEF, Amsterdam
)

- Nucl.Phys.B 604 (2001) 281-311
•
e-Print:
- hep-ph/0007294
•
DOI:
- 10.1016/S0550-3213(01)00149-3

[7]

The 16th moment of the non-singlet structure functions F(2)(x,Q2) and F(L)(x,Q2) to O(alpha**3(S))

J. Blumlein
(
- DESY, Zeuthen
)
,
J.A.M. Vermaseren
(
- NIKHEF, Amsterdam
)

- Phys.Lett.B 606 (2005) 130-138
•
e-Print:
- hep-ph/0411111
•
DOI:
- 10.1016/j.physletb.2004.11.059

[8]

Mincer: Program for Multiloop Calculations in Quantum Field Theory for the Schoonschip System

- Comput.Phys.Commun. 55 (1989) 381-408
•
DOI:
- 10.1016/0010-4655(89)90134-3

[9]

The FORM version of MINCER, preprint NIKHEF-H-91-18

S. Larin
,
F. Tkachov
,
J. Vermaseren

[10]

Integration by parts: The algorithm to calculate $\beta$ -functions in 4 loops

K.G. Chetyrkin
(
- Moscow, INR
)
,
F.V. Tkachov
(
- Moscow, INR
)

- Nucl.Phys.B 192 (1981) 159-204,
- Nucl. Phys. B192 ( 1981) 159-204
•
DOI:
- 10.1016/0550-3213(81)90199-1

[11]

The Three-Loop Splitting Functions in QCD: The Helicity-Dependent Case

- Nucl.Phys.B 889 (2014) 351-400
•
e-Print:
- 1409.5131
•
DOI:
- 10.1016/j.nuclphysb.2014.10.016

[12]

Explicit solutions of the three loop vacuum integral recurrence relations

P.A. Baikov
(
- Moscow State U.
)

- Phys.Lett.B 385 (1996) 404-410
•
e-Print:
- hep-ph/9603267
•
DOI:
- 10.1016/0370-2693(96)00835-0

[13]

Explicit solutions of the multiloop integral recurrence relations and its application

P.A. Baikov
(
- Moscow State U.
)

- Nucl.Instrum.Meth.A 389 (1997) 347-349
•
e-Print:
- hep-ph/9611449
•
DOI:
- 10.1016/S0168-9002(97)00126-5

[14]

A Practical criterion of irreducibility of multi-loop Feynman integrals

P.A. Baikov
(
- Moscow State U.
)

- Phys.Lett.B 634 (2006) 325-329
•
e-Print:
- hep-ph/0507053
•
DOI:
- 10.1016/j.physletb.2006.01.052

[15]

Five-Loop Running of the QCD coupling constant

P.A. Baikov
(
- SINP, Moscow
)
,
K.G. Chetyrkin
(
- KIT, Karlsruhe, TTP
)
,
J.H. Kühn
(
- KIT, Karlsruhe, TTP
)

- Phys.Rev.Lett. 118 (2017) 8, 082002
•
e-Print:
- 1606.08659
•
DOI:
- 10.1103/PhysRevLett.118.082002

[16]

High-precision calculation of multiloop Feynman integrals by difference equations

S. Laporta
(
- Bologna U.
)

- Int.J.Mod.Phys.A 15 (2000) 5087-5159
•
e-Print:
- hep-ph/0102033
•
DOI:
- 10.1142/S0217751X00002159

[17]

Automatic integral reduction for higher order perturbative calculations

- JHEP 07 (2004) 046
•
e-Print:
- hep-ph/0404258
•
DOI:
- 10.1088/1126-6708/2004/07/046

[18]

Algorithm FIRE -- Feynman Integral REduction

A.V. Smirnov
(
- Moscow State U. and
- Karlsruhe U., TTP
)

- JHEP 10 (2008) 107
•
e-Print:
- 0807.3243
•
DOI:
- 10.1088/1126-6708/2008/10/107

[19]

FIRE5: A C++ implementation of Feynman Integral REduction

Alexander V. Smirnov
(
- Moscow State U.
)

- Comput.Phys.Commun. 189 (2015) 182-191
•
e-Print:
- 1408.2372
•
DOI:
- 10.1016/j.cpc.2014.11.024

[20]

Reduze – Feynman integral reduction in C++

C. Studerus
(
- Zurich U.
)

- Comput.Phys.Commun. 181 (2010) 1293-1300
•
e-Print:
- 0912.2546
•
DOI:
- 10.1016/j.cpc.2010.03.012

[21]

Reduze 2 - Distributed Feynman Integral Reduction

A. von Manteuffel
(
- Zurich U. and
- Mainz U., Inst. Phys.
)
,
C. Studerus
(
- Bielefeld U.
)

e-Print:
- 1201.4330

[22]

AN ALGORITHM FOR CALCULATING MULTILOOP INTEGRALS

F.V. Tkachov
(
- Moscow, INR
)

- Theor.Math.Phys. 56 (1983) 866-870,
- Teor.Mat.Fiz. 56 (1983) 350-356,
- Teor. Mat. Fiz. 56 ( 1983) 350-356
•
DOI:
- 10.1007/BF01086253

[23]

The Three loop splitting functions in QCD: The Nonsinglet case

S. Moch
(
- DESY, Zeuthen
)
,
J.A.M. Vermaseren
(
- NIKHEF, Amsterdam
)
,
A. Vogt
(
- NIKHEF, Amsterdam
)

- Nucl.Phys.B 688 (2004) 101-134
•
e-Print:
- hep-ph/0403192
•
DOI:
- 10.1016/j.nuclphysb.2004.03.030

[24]

The Three-loop splitting functions in QCD: The Singlet case

A. Vogt
(
- NIKHEF, Amsterdam
)
,
S. Moch
(
- DESY, Zeuthen
)
,
J.A.M. Vermaseren
(
- NIKHEF, Amsterdam
)

- Nucl.Phys.B 691 (2004) 129-181
•
e-Print:
- hep-ph/0404111
•
DOI:
- 10.1016/j.nuclphysb.2004.04.024

[25]

The Third-order QCD corrections to deep-inelastic scattering by photon exchange

J.A.M. Vermaseren
(
- NIKHEF, Amsterdam
)
,
A. Vogt
(
- Durham U., IPPP
)
,
S. Moch
(
- DESY, Zeuthen
)

- Nucl.Phys.B 724 (2005) 3-182
•
e-Print:
- hep-ph/0504242
•
DOI:
- 10.1016/j.nuclphysb.2005.06.020

1-25 of 56
1
2
3
25 / page