We perform a complete analytical reduction of general one-loop Feynman integrals with five and six external legs for tensors up to rank R=3 and 4, respectively. An elegant formalism with extensive use of signed minors is developed for the cancellation of inverse Gram determinants. The 6-point tensor functions of rank R are expressed in terms of 5-point tensor functions of rank R-1, and the latter are reduced to scalar four-, three-, and two-point functions. The resulting compact formulae allow both for a study of analytical properties and for efficient numerical programming. They are implemented in Fortran and Mathematica.
In a recent paper by the author (Chen in JHEP 02:115, 2020), the reduction of Feynman integrals in the parametric representation was considered. Tensor integrals were directly parametrized by using a generator method. The resulting parametric integrals were reduced by constructing and solving parametric integration-by-parts (IBP) identities. In this paper, we furthermore show that polynomial equations for the operators that generate tensor integrals can be derived. Based on these equations, two methods to reduce tensor integrals are developed. In the first method, by introducing some auxiliary…
We perform a recursive reduction of one-loop $n$-point rank $R$ tensor Feynman integrals [in short: $(n,R)$-integrals] for $n\leq 6$ with $R\leq n$ by representing $(n,R)$-integrals in terms of $(n,R-1)$- and $(n-1,R-1)$-integrals. We use the known representation of tensor integrals in terms of scalar integrals in higher dimension, which are then reduced by recurrence relations to integrals in generic dimension. With a systematic application of metric tensor representations in terms of chords, and by decomposing and recombining these representations, we find the recursive reduction for the ten…
We give a new method for the reduction of tensor integrals to finite integral representations and UV divergent analytic expressions. This includes a new method for the handling of the gamma-algebra. TYPO IN EQUATION (5) CORRECTED, MACROS REORDERED.
A new method for the reduction of one-loop tensor 5-point integrals to related 4-point integrals is proposed. In contrast to the usual Passarino-Veltman reduction and other methods used in the literature, this reduction avoids the occurrence of inverse Gram determinants, which potentially cause severe numerical instabilities in practical calculations. Explicit results for the 5-point tensor coefficients are presented up to rank 4. The expressions for the reduction of the relevant 1-, 2-, 3-, and 4-point tensor coefficients to scalar integrals are also included; apart from these standard integr…
In a previous paper a new approach has been introduced for computing, recursively and numerically, one-loop tensor integrals. Here we describe a few modifications of the original method that allow a more efficient numerical implementation of the algorithm.
A set of one-loop vertex and box tensor-integrals with massless internal particles has been obtained directly without any reduction method to scalar-integrals. The results with one or two massive external lines for the vertex integral and zero or one massive external lines for the box integral are shown in this report. Dimensional regularization is employed to treat any soft and collinear (IR) divergence. A series expansion of tensor-integrals with respect to an extra space-time dimension for the dimensional regularization is also given. The results are expressed by very short formulas in a su…
We report on the progress in constructing contracted one-loop tensors. Analytic results for rank R=4 tensors, cross-checked numerically, are presented for the first time.
We briefly discuss an algorithm for the tensor reduction of the two-loop massless crossed boxes, with light-like external legs, and the computation of the relative master integrals.
An efficient numerical algorithm to evaluate one-loop amplitudes using tensor integrals is presented. In particular, it is shown by explicit calculations that for ordered QCD amplitudes with a number of external legs up to 10, its performance is competitive with other methods.
A recently derived approach to the tensor reduction of 5-point one-loop Feynman integrals expresses the tensor coefficients by scalar 1-point to 4-point Feynman integrals completely algebraically. In this letter we derive extremely compact algebraic expressions for the contractions of the tensor integrals with external momenta. This is based on sums over signed minors weighted with scalar products of the external momenta. With these contractions one can construct the invariant amplitudes of the matrix elements under consideration, and the evaluation of one-loop contributions to massless and ma…
We present new methods for the evaluation of one-loop tensor integrals which have been used in the calculation of the complete electroweak one-loop corrections to e+ e- -> 4 fermions. The described methods for 3-point and 4-point integrals are, in particular, applicable in the case where the conventional Passarino-Veltman reduction breaks down owing to the appearance of Gram determinants in the denominator. One method consists of different variants for expanding tensor coefficients about limits of vanishing Gram determinants or other kinematical determinants, thereby reducing all tensor coeffi…
We describe a new, convenient, recursive tensor integral reduction scheme for one-loop $n$-point Feynman integrals. The reduction is based on the algebraic Davydychev-Tarasov formalism where the tensors are represented by scalars with shifted dimensions and indices, and then expressed by conventional scalars with generalized recurrence relations. The scheme is worked out explicitly for up to $n=6$ external legs and for tensor ranks $R\leq n$. The tensors are represented by scalar one- to four-point functions in $d$ dimensions. For the evaluation of them, the Fortran code for the tensor reducti…
A complete analytical reduction of general one-loop Feynman integrals with five legs for tensors up to rank R=3 and six legs for tensors up to rank 4 is reviewed. An elegant formalism with extensive use of signed minors was developed for the cancellation of leading inverse Gram determinants.The resulting compact formulae allow both for a study of analytical properties and for efficient numerical programming. Here some special numerical examples are presented.
We consider one-loop scalar and tensor integrals with an arbitrary number of external legs relevant for multi-parton processes in massless theories. We present a procedure to reduce N-point scalar functions with generic 4-dimensional external momenta to box integrals in (4-2ε) dimensions. We derive a formula valid for arbitrary N and give an explicit expression for N=6. Further a tensor reduction method for N-point tensor integrals is presented. We prove that generically higher dimensional integrals contribute only to order εfor N>=5. The tensor reduction can be solved iteratively such that an…
A comprehensive study is performed of general massive, tensor, two-loop Feynman diagrams with two and three external legs. Reduction to generalized scalar functions is discussed. Integral representations, supporting the same class of smoothness algorithms already employed for the numerical evaluation of ordinary scalar functions, are introduced for each family of diagrams.
A numerical approach to compute tensor integrals in one-loop calculations is presented. The algorithm is based on a recursion relation which allows to express high rank tensor integrals as a function of lower rank ones. At each level of iteration only inverse square roots of Gram determinants appear. For the phase-space regions where Gram determinants are so small that numerical problems are expected, we give general prescriptions on how to construct reliable approximations to the exact result without performing Taylor expansions. Working in 4+epsilon dimensions does not require an analytic se…
In this paper the C++ version of FIRE is presented - a powerful program performing Feynman integral reduction to master integrals. All previous versions used only Wolfram Mathematica, the current version mostly uses Wolfram Mathematica as a front-end. However, the most complicated part, the reduction itself can now be done by C++, which significantly improves the performance and allows one to reduce Feynman integrals in previously impossible situations.
TARCER is an implementation of the recurrence algorithm of O.V. Tarasov for the reduction of two-loop propagator integrals with arbitrary masses to a small set of basis integrals. The tensor integral reduction scheme is adapted to moment integrals emerging in operator matrix element calculations.
We briefly sketch the methods for a numerically stable evaluation of tensor one-loop integrals that have been used in the calculation of the complete electroweak one-loop corrections to $\Pep\Pem\to4 $fermions. In particular, the improvement of the new methods over the conventional Passarino--Veltman reduction is illustrated for some 4-point integrals in the delicate limits of small Gram (and other kinematical) determinants.
We study the scalar and tensor integrals associated with the pentabox topology: the class of two-loop box integrals with seven propagators - five in one loop and three in the other. We focus on the case where the external legs are light-like and use integration-by-parts identities to express the scalar integral in terms of two master-topology integrals and present an explicit analytic expression for the pentabox scalar integral as a series expansion in ep = (4-D)/2. We also give an algorithm based on integration by parts for relating the generic tensor integrals to the same two master integral…
For the investigation of higher order Feynman integrals, potentially with tensor structure, it is highly desirable to have numerical methods and automated tools for dedicated, but sufficiently 'simple' numerical approaches. We elaborate two algorithms for this purpose which may be applied in the Euclidean kinematical region and in d=4-2*epsilon dimensions. One method uses Mellin-Barnes representations for the Feynman parameter representation of multi-loop Feynman integrals with arbitrary tensor rank. Our Mathematica package AMBRE has been extended for that purpose, and together with the packag…
The reduction of Feynman integrals to master integrals is an algebraic problem that requires algorithmic approaches at the modern level of calculations. Straightforward applications of the classical Buchberger algorithm to construct Groebner bases seem to be inefficient. An essential modification designed especially for this problem has been worked out. It has been already applied in two- and three-loop calculations. We are also suggesting to combine our method with the Laporta's algorithm.
The recently developed algorithm FIRE performs the reduction of Feynman integrals to master integrals. It is based on a number of strategies, such as applying the Laporta algorithm, the s-bases algorithm, region-bases and integrating explicitly over loop momenta when possible. Currently it is being used in complicated three-loop calculations.
We suggest a mathematical definition of the notion of master integrals and present a brief review of algorithmic methods to solve reduction problems for Feynman integrals based on integration by parts relations. In particular, we discuss a recently suggested reduction algorithm which uses Groebner bases. New results obtained with its help for a family of three-loop Feynman integrals are outlined.
Mathematica package LiteRed is described. It performs the heuristic search of the symbolic IBP reduction rules for loop integrals. It implements also several convenient tools for the search of the symmetry relations, construction of the differential equations and dimensional recurrence relations.
In this paper, we develop an iterative sector-level reduction strategy for Feynman integrals, which bases on module intersection in the Baikov representation and auxiliary vector for tensor structure. Using this strategy we have studied the reduction of general one-loop integrals, i.e., integrals having arbitrary tensor structures and arbitrary power for propagators. Inspired by these studies, a uniform and compact formula that iteratively reduces all one-loop integrals has been written down, where messy polynomials in integration-by-parts (IBP) relations have organized themselves to Gram dete…
A general method for reducing tensor form factors, that appear in one-loop calculations in dimensional regularization, to scalar integrals is presented. The method is an extension of the reduction scheme introduced by Passarino and Veltman and is applicable in all regions of parameter space including those where kinematic Gram determinant vanishes. New relations between the the form factors that valid for vanishing Gram determinant play a key role in the extended scheme.
By further examining the symmetry of external momenta and masses in Feynman integrals, we fulfilled the method proposed by Battistel and Dallabona, and showed that recursion relations in this method can be applied to simplify Feynman integrals directly.
A Mathematica implementation of the program LERG-I is presented that performs the reduction of tensor integrals, encountered in one-loop Feynman diagram calculations, to scalar integrals. The program was originally coded in REDUCE and in that incarnation was applied to a number of problems of physical interest.
In planar two-loop integrals there is a dedicated sector such that when its index is zero, the two-loop integral decomposes into the product of two one-loop integrals. We show an alternative reduction strategy for these sectors when their index is negative using the Baikov representation. This reduction strategy is free from the Laporta algorithm. It follows a top-down approach and is much faster than approaches based on the brute-force, conventional integration by parts identities.
Phase space cuts are implemented by inserting Heaviside theta functions in the integrands of momentum-space Feynman integrals. By directly parametrizing theta functions and constructing integration-by-parts (IBP) identities in the parametric representation, we provide a systematic method to reduce integrals with cuts. Since the IBP method is available, it becomes possible to evaluate integrals with cuts by constructing and solving differential equations.
We present an algebraic approach to one-loop tensor integral reduction. The integrals are presented in terms of scalar one- to four-point functions. The reduction is worked out explicitly until five-point functions of rank five. The numerical C++ package PJFry evaluates tensor coefficients in terms of a basis of scalar integrals, which is provided by an external library, e.g. QCDLoop. We shortly describe installation and use of PJFry. Examples for numerical results are shown, including a special treatment for small or vanishing inverse four-point Gram determinants. An extremely efficient appli…
We set up a new, flexible approach for the tensor reduction of one-loop Feynman integrals. The 5-point tensor integrals up to rank R=5 are expressed by 4-point tensor integrals of rank R-1, such that the appearance of the inverse 5-point Gram determinant is avoided. The 4-point tensor coefficients are represented in terms of 4-point integrals, defined in $d$ dimensions, $4-2ε\le d \le 4-2ε+2(R-1)$, with higher powers of the propagators. They can be further reduced to expressions which stay free of the inverse 4-point Gram determinants but contain higher-dimensional 4-point integrals with only …
FIRE is a program performing reduction of Feynman integrals to master integrals. The C++ version of FIRE was presented in 2014. There have been multiple changes and upgrades since then including the possibility to use multiple computers for one reduction task and to perform reduction with modular arithmetic. The goal of this paper is to present the current version of FIRE.
Collisions at the LHC produce many-particle final states, and for precise predictions the one-loop $N$-point corrections are needed. We study here the tensor reduction for Feynman integrals with $N \ge 6$. A general, recursive solution by Binoth et al. expresses $N$-point Feynman integrals of rank $R$ in terms of $(N-1)$-point Feynman integrals of rank $(R-1)$ (for $N\ge 6$). We show that the coefficients can be obtained analytically from suitable representations of the metric tensor. Contractions of the tensor integrals with external momenta can be efficiently expressed as well. We consider o…
I give an efficient algorithm for the reduction of multi-leg one-loop integrals of rank one. The method combines the basic ideas of the spinor algebra approach with the dual vector approach and is applicable to box integrals or higher point integrals, if at least one external leg is massless. This method does not introduce Gram determinants in the denominator. It completes an algorithm recently given by R. Pittau.
We present a program for the reduction of large systems of integrals to master integrals. The algorithm was first proposed by Laporta; in this paper, we implement it in MAPLE. We also develop two new features which keep the size of intermediate expressions relatively small throughout the calculation. The program requires modest input information from the user and can be used for generic calculations in perturbation theory.
We perform analytical reductions of one-loop tensor integrals with 5 and 6 legs to scalar master integrals. They are based on the use of recurrence relations connecting integrals in different space-time dimensions. The reductions are expressed in a compact form in terms of signed minors, and have been implemented in a mathematica package called hexagon.m. We present several numerical examples.
We present a program for the numerical evaluation of form factors entering the calculation of one-loop amplitudes with up to six external legs. The program is written in Fortran95 and performs the reduction to a certain set of basis integrals numerically, using a formalism where inverse Gram determinants can be avoided. It can be used to calculate one-loop amplitudes with massless internal particles in a fast and numerically stable way.
A new approach for the reduction of tensor integrals is described. The standard decomposition à la Davydychev is applied. Integrals with higher indices are then expressed in terms of scalar higher-dimensional integrals with generic indices. The approach allows to perform contractions with external momenta in a particularly efficient manner. This is due to the possibility to perform analytically the resulting sums over the indices of products of signed minors and scalar products of chords. Advantages of this approach for the calculation of cross sections are described. We are preparing the nume…
The class of the two-loop massless crossed boxes, with light-like external legs, is the final unresolved issue in the program of computing the scattering amplitudes of 2 --> 2 massless particles at next-to-next-to-leading order. In this paper, we describe an algorithm for the tensor reduction of such diagrams. After connecting tensor integrals to scalar ones with arbitrary powers of propagators in higher dimensions, we derive recurrence relations from integration-by-parts and Lorentz-invariance identities, that allow us to write the scalar integrals as a combination of two master crossed boxes…
An algorithm for the reduction of massive Feynman integrals with any number of loops and external momenta to a minimal set of basic integrals is proposed. The method is based on the new algorithm for evaluating tensor integrals, representation of generalized recurrence relations for a given kind of integrals as a linear system of PDEs and the reduction of this system to a standard form using algorithms proposed by G. Reid. Basic integrals reveal as parametric derivatives of the system in the standard form and the number of basic integrals in the minimal set is determined by the dimension of th…
We present a new algorithm for the reduction of one-loop \emph{tensor} Feynman integrals with $n\leq 4$ external legs to \emph{scalar} Feynman integrals $I_n^D$ with $n=3,4$ legs in $D$ dimensions, where $D=d+2l$ with integer $l \geq 0$ and generic dimension $d=4-2ε$, thus avoiding the appearance of inverse Gram determinants $()_4$. As long as $()_4\neq 0$, the integrals $I_{3,4}^D$ with $D>d$ may be further expressed by the usual dimensionally regularized scalar functions $I_{2,3,4}^d$. The integrals $I_{4}^D$ are known at $()_4 \equiv 0$, so that we may extend the numerics to small, non-vani…
In this paper, the reduction of Feynman integrals in the parametric representation is considered. This method proves to be more efficient than the integration-by-part (IBP) method in the momentum space. Tensor integrals can directly be parametrized without performing tensor reductions. The integrands of parametric integrals are functions of Lorentz scalars, instead of four momenta. The complexity of a calculation is determined by the number of propagators that are present rather than the number of all the linearly independent propagators. Furthermore, the symmetries of Feynman integrals under …
The 5-point tensors have the property that after insertion of the metric tensor $g^{μν}$ in terms of external momenta, all $g^{μν}$-contributions in the tensor decomposition cancel. If furthermore the tensors are contracted with external momenta, the inverse 5-point Gram determinant $()_5$ cancels automatically. If the remaining 4-point sub-Gram determinant ${s\choose s}_5$ is not small then this approach appears to be particularly efficient in numerical calculations. We also indicate how to deal with small ${s\choose s}_5$. Explicit formulae for tensors of degree 2 and 3 are given for large a…
We report on some recent developments in algebraic tensor reduction of one-loop Feynman integrals. For 5-point functions, an efficient tensor reduction was worked out recently and is now available as numerical C++ package, PJFry, covering tensor ranks until five. It is free of inverse 5-point Gram determinants, and inverse small 4-point Gram determinants are treated by expansions in higher-dimensional 3-point functions. By exploiting sums over signed minors, weighted with scalar products of chords (or, equivalently, external momenta), extremely efficient expressions for tensor integrals contra…
We introduce a new method for the application of one-loop integrand reduction via the Laurent expansion algorithm, as implemented in the public C++ library Ninja. We show how the coefficients of the Laurent expansion can be computed by suitable contractions of the loop numerator tensor with cut-dependent projectors, making it possible to interface Ninja to any one-loop matrix element generator that can provide the components of this tensor. We implemented this technique in the Ninja library and interfaced it to MadLoop, which is part of the public MadGraph5_aMC@NLO framework. We performed a de…
A method for reducing Feynman integrals, depending on several kinematic variables and masses, to a combination of integrals with fewer variables is proposed. The method is based on iterative application of functional equations proposed by the author. The reduction of the one-loop scalar triangle and box integrals with massless internal propagators to simpler integrals is described in detail. The triangle integral depending on three variables is represented as a sum over three integrals depending on two variables. By solving the dimensional recurrence relations for these integrals, an analytic …
In order to calculate cross sections with a large number of particles/jets in the final state at next-to-leading order, one has to reduce the occurring scalar and tensor one-loop integrals to a small set of known integrals. In massless theories, this reduction procedure is complicated by the presence of infrared divergences. Working in n=4-2*epsilon dimensions, it will be outlined how to achieve such a reduction for diagrams with an arbitrary number of external legs. As a result, any integral with more than four propagators and generic 4-dimensional external momenta can be reduced to box integ…
In this paper, we focus on both analytical expressions of three and four point integrals for the case of small Gram determinant and numerical improvement of $n$-point integrals for $n\ge5$. Explicit expressions of three and four-point integrals in the small Gram determinant region are provided by the new method. Furthermore, $n$-point one-loop integral with $n\ge5$ is always reduced to five number of $(n-1)$-point integrals regardless of how many points are on a loop, which improves dramatically the CPU time consuming. Besides, the theoretical and numerical error riginating from computing high…
We present FaRe, a package for Mathematica that implements the decomposition of a generic tensor Feynman integral, with arbitrary loop number, into scalar integrals in higher dimension. In order for FaRe to work, the package FeynCalc is needed, so that the tensor structure of the different contributions is preserved and the obtained scalar integrals are grouped accordingly. FaRe can prove particularly useful when it is preferable to handle Feynman integrals with free Lorentz indices and tensor reduction of high-order integrals is needed. This can then be achieved with several powerful existing…
We show that off-shell perturbative amplitudes with arbitrary number of external lines and complex masses can be reduced to $I$-fold integrals of the generalized Schläfli functions, where $I$ is the number of lines in the corresponding vacuum diagram which is independent of the number of external lines. The Schläfli functions are obtained as analytic continuation of the volume of the spherical simplex as a function of the hyperplane parameters that define the simplex. These functions have nice and thoroughly studied analytic, geometric and number theoretic properties. They possess Gauss-Manin …
For loop integrals, the standard method is reduction. A well-known reduction method for one-loop integrals is the Passarino-Veltman reduction. Inspired by the recent paper [1] where the tadpole reduction coefficients have been solved, in this paper we show the same technique can be used to give a complete integral reduction for any one-loop integrals. The differential operator method is an improved version of the PV-reduction method. Using this method, analytic expressions of all reduction coefficients of the master integrals can be given by algebraic recurrence relation easily. We demonstrate…
