We present a new and fully general algorithm for the automated construction of the integrands of two-loop scattering amplitudes. This is achieved through a generalisation of the open-loops method to two loops. The core of the algorithm consists of a numerical recursion, where the various building blocks of two-loop diagrams are connected to each other through process-independent operations that depend only on the Feynman rules of the model at hand. This recursion is implemented in terms of tensor coefficients that encode the polynomial dependence of loop numerators on the two independent loop momenta. The resulting coefficients are ready to be combined with corresponding tensor integrals to form scattering probability densities at two loops. To optimise CPU efficiency we have compared several algorithmic options identifying one that outperforms naive solutions by two orders of magnitude. This new algorithm is implemented in the OpenLoops framework in a fully automated way for two-loop QED and QCD corrections to any Standard Model process. The technical performance is discussed in detail for several $2\to2$ and $2\to 3$ processes with up to order $10^5$ two-loop diagrams. We find that the CPU cost scales linearly with the number of two-loop diagrams and is comparable to the cost of corresponding real-virtual ingredients in a NNLO calculation. This new algorithm constitutes a key building block for the construction of an automated generator of scattering amplitudes at two loops.
NLO scattering amplitudes are provided by fully automated numerical tools, such as OpenLoops, for a very wide range of processes. In order to match the numerical precision of current and future collider experiments, the higher precision of NNLO calculations is essential, and their automation in a similar tool a highly desirable goal. In our approach, D-dimensional two-loop amplitudes are decomposed into Feynman integrals with four-dimensional numerators and (D-4)-dimensional remainders. The latter are reconstructed through process-independent rational counterterm insertions into lower-loop dia…
Numerical tools, such as OpenLoops, provide NLO scattering amplitudes for a very wide range of hard scattering amplitudes in a fully automated way. In order to match the numerical precision of current and future experiments, however, the higher precision of NNLO calculations is essential, and their automation in a similar tool highly desirable. In our approach, D-dimensional amplitudes are decomposed into loop-momentum tensor integrals with coefficients constructed in four dimensions and rational terms. We present a fully generic algorithm for the efficient numerical construction of the tensor…
We describe a new method for the automated construction of one-loop amplitudes based on the open-loop algorithm, where various operations are performed on-the-fly while constructing the integrand. In particular, an on-the-fly reduction interleaved with the construction steps of the amplitude keeps the maximum tensor rank in the loop momentum at two throughout the algorithm, thus drastically reducing the complexity of the calculation. The full reduction to scalar integrals is unified with the amplitude construction in a single recursion within the OpenLoops framework. This approach strongly exp…
We describe new developments in the OpenLoops framework based on the recently introduced on-the-fly method. The on-the-fly approach exploits the factorisation of one-loop diagrams into segments in order to perform various operations, such as helicity summation, diagram merging and the reduction of Feynman integrands in between the recursion steps for the amplitude construction. This method significantly reduces the complexity of scattering amplitude calculations for multi-particle processes, leading to a major increase in CPU efficiency and numerical stability. The unification of the reduction…
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…
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…
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…
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.
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 implement…
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 …
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…
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…
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…
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…
Building on the open-loop algorithm we introduce a new method for the automated construction of one-loop amplitudes and their reduction to scalar integrals. The key idea is that the factorisation of one-loop integrands in a product of loop segments makes it possible to perform various operations on-the-fly while constructing the integrand. Reducing the integrand on-the-fly, after each segment multiplication, the construction of loop diagrams and their reduction are unified in a single numerical recursion. In this way we entirely avoid objects with high tensor rank, thereby reducing the complex…
Starting from the general definition of a one-loop tensor N-point function, we use its Feynman parametrization to calculate the UV-divergent part of an arbitrary tensor coefficient in the framework of dimensional regularization. In contrast to existing recursion schemes, we are able to present a general analytic result in closed form that enables direct determination of the UV-divergent part of any one-loop tensor N-point coefficient independent from UV-divergent parts of other one-loop tensor N-point coefficients. Simplified formulas and explicit expressions are presented for A-, B-, C-, D-, …
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 new algorithm for the reduction of one-loop tensor Feynman integrals within the framework of the XLOOPS project, covering both mathematical and programming aspects. The new algorithm supplies a clean way to reduce the one-loop one-, two- and three-point Feynman integrals with arbitrary tensor rank and powers of the propagators to a basis of simple integrals. We also present a new method of coding XLOOPS in C++ using the GiNaC library.
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…
We present the library Collier for the numerical evaluation of one-loop scalar and tensor integrals in perturbative relativistic quantum field theories. The code provides numerical results for arbitrary tensor and scalar integrals for scattering processes in general quantum field theories. For tensor integrals either the coefficients in a covariant decomposition or the tensor components themselves are provided. Collier supports complex masses, which are needed in calculations involving unstable particles. Ultraviolet and infrared singularities are treated in dimensional regularization. For sof…
We present a new method for the numerical evaluation of arbitrary loop integrals in dimensional regularization. We first derive Mellin-Barnes integral representations and apply an algorithmic technique, based on the Cauchy theorem, to extract the divergent parts in the epsilon->0 limit. We then perform an epsilon-expansion and evaluate the integral coefficients of the expansion numerically. The method yields stable results in physical kinematic regions avoiding intricate analytic continuations. It can also be applied to evaluate both scalar and tensor integrals without employing reduction meth…
We present an extension of the program golem95C for the numerical evaluation of scalar integrals and tensor form factors entering the calculation of one-loop amplitudes, which supports tensor ranks exceeding the number of propagators. This extension allows various applications in Beyond the Standard Model physics and effective theories, for example higher ranks due to propagators of spin two particles, or due to effective vertices. Complex masses are also supported. The program is not restricted to the Feynman diagrammatic approach, as it also contains routines to interface to unitarity-inspir…
In this paper, I present a technique to simplify the tensorial reduction of one-loop integrals with arbitrary internal masses, but at least two massless external legs. By applying the method to rank l tensor integrals, one ends up with at most rank 1 tensor functions with the initial number of denominators, plus tensor integrals with less denominators and rank < l. To illustrate the algorithm, I explicitly compute diagrams contributing to processes of physical interest and show how the usual numerical instabilities due to the appearance of Gram determinants can be controlled.
Using the parallel/orthogonal space method, we calculate the planar two-loop three-point diagram and two rotated reduced planar two-loop three-point diagrams. Together with the crossed topology, these diagrams are the most complicated ones in the two-loop corrections necessary, for instance, for the decay of the Z^0 boson. Instead of calculating particular decay processes, we present the new algorithm which allows one to calculate arbitrary NNLO calculations for massive planar two-loop vertex functions in the general mass case. All integration steps up to the last two ones are performed analyt…
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 …
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 introduce the fortran-library COLLIER for the numerical evaluation of one-loop scalar and tensor integrals in perturbative relativistic quantum field theories. Important features are the implementation of dedicated methods to achieve numerical stability for 3- and 4-point tensor integrals, the support of complex masses for internal particles, and the possibility to choose between dimensional and mass regularization for infrared singularities. COLLIER supports one-loop N-point functions up to currently N=6 and has been tested in various NLO QCD and EW calculations.
We report on the three Mathematica packages hexagon, CSectors, AMBRE. They are useful for the evaluation of one- and two-loop Feynman integrals with a dependence on several kinematical scales. These integrals are typically needed for LHC and ILC applications, but also for higher order corrections at meson factories. hexagon is a new package for the tensor reduction of one-loop 5-point and 6-point functions with rank R=3 and R=4, respectively; AMBRE is a tool for derivations of Mellin-Barnes representations; CSectors is an interface for the package sector_decomposition and allows a convenient, …
An algorithm for the reduction of one-loop n-point tensor integrals to basic integrals is proposed. We transform tensor integrals to scalar integrals with shifted dimension and reduce these by recurrence relations to integrals in generic dimension. Also the integration-by-parts method is used to reduce indices (powers of scalar propagators) of the scalar diagrams. The obtained recurrence relations for one-loop integrals are explicitly evaluated for 5- and 6-point functions. In the latter case the corresponding Gram determinant vanishes identically for d=4, which greatly simplifies the applicat…
We show how to evaluate tensor one-loop integrals in momentum space avoiding the usual plague of Gram determinants. We do this by constructing combinations of $n$- and $(n-1)$-point scalar integrals that are finite in the limit of vanishing Gram determinant. These non-trivial combinations of dilogarithms, logarithms and constants are systematically obtained by either differentiating with respect to the external parameters - essentially yielding scalar integrals with Feynman parameters in the numerator - or by developing the scalar integral in $D=6-2\e$ or higher dimensions. As an explicit exam…
A unified formulation of one-loop tensor integrals is proposed for systematical calculations of finite volume corrections. It is shown that decomposition of the one-loop tensor integrals into a series of tensors accompanied by tensor coefficients is feasible, if a unit space-like four vector $n^μ$, originating from the discretization effects at finite volume, is introduced. A generic formula has been derived for numerical computations of all the involved tensor coefficients. For the vanishing external three-momenta, we also investigate the feasibility of the conventional Passarino-Veltmann red…
