We evaluate three typical four-loop non-planar massless propagator diagrams in a Taylor expansion in dimensional regularization parameter $epsilon=(4-d)/2$ up to transcendentality weight twelve, using a recently developed method of one of the present coauthors (R.L.). We observe only multiple zeta values in our results.
We review the hypergeometric function approach to Feynman diagrams. Special consideration is given to the construction of the Laurent expansion. As an illustration, we describe a collection of physically important one-loop vertex diagrams for which this approach is useful.
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.
We evaluate analytically higher terms of the epsilon-expansion of the three-loop master integrals corresponding to three-loop quark and gluon form factors and to the three-loop master integrals contributing to the electron g-2 in QED up to the transcendentality weight typical to four-loop calculations, i.e. eight and seven, respectively. The calculation is based on a combination of a method recently suggested by one of the authors (R.L.) with other techniques: sector decomposition implemented in FIESTA, the method of Mellin--Barnes representation, and the PSLQ algorithm.
We evaluate a Laurent expansion in dimensional regularization parameter $epsilon=(4-d)/2$ of all the master integrals for four-loop massless propagators up to transcendentality weight twelve, using a recently developed method of one of the present coauthors (R.L.) and extending thereby results by Baikov and Chetyrkin obtained at transcendentality weight seven. We observe only multiple zeta values in our results. Therefore, we conclude that all the four-loop massless propagator integrals, with any integer powers of numerators and propagators, have only multiple zeta values in their epsilon expansions up to transcendentality weight twelve.
Two criteria for planarity of a Feynman diagram upon its propagators (momentum flows) are presented. Instructive Mathematica programs that solve the problem and examples are provided. A simple geometric argument is used to show that while one can planarize non-planar graphs by embedding them on higher-genus surfaces (in the example it is a torus), there is still a problem with defining appropriate dual variables since the corresponding faces of the graph are absorbed by torus generators.