DESY 09-101 \phantom{.} BI-TP 2009/15 \phantom{.} HEPTOOLS 09-020 \phantom{.} SFB/CPP-09-63 \phantom{.} A recursive reduction of tensor Feynman integrals

Desy 09-101
Bi-Tp 2009/15
Heptools 09-020
Sfb/cpp-09-63
A recursive reduction of tensor Feynman integrals

Th. Diakonidis Theodoros.Diakonidis@desy.de J. Fleischer Fleischer@physik.uni-bielefeld.de T. Riemann Tord.Riemann@desy.de J. B. Tausk Bas.Tausk@desy.de Deutsches Elektronen-Synchrotron, DESY, Platanenallee 6, 15738 Zeuthen, Germany Fakultät für Physik, Universität Bielefeld, Universitätsstr. 25, 33615 Bielefeld, Germany
Abstract

We perform a new, recursive reduction of one-loop -point rank tensor Feynman integrals [in short: -integrals] for with by representing -integrals in terms of - and -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, a recursive reduction for the tensors is found. The procedure represents a compact, sequential algorithm for numerical evaluations of tensor Feynman integrals appearing in next-to-leading order contributions to massless and massive three- and four- particle production at LHC and ILC, as well as at meson factories.

keywords:
NLO Computations, QCD, QED, Feynman Integrals

1 Introduction

For the evaluation of next-to-leading order contributions to processes at high energy colliders like LHC and ILC, but also at meson factories, one needs an efficient and reliable treatment of -integrals, i.e. -point Feynman integrals with tensor rank . Typically and may be needed for final states with massive particles. For the Passarino-Veltman reduction (Passarino:1978jh, ) may be applied. For there are a variety of reduction schemes; for an overview, see e.g. (Weinzierl:2007vk, ; Bern:2008ef, ; Binoth:2009fk, ). In a recent article (Diakonidis:2008ij, ), we derived such a tensor reduction scheme for pentagons and hexagons using the Davydychev-Tarasov approach (Davydychev:1991va, ; Tarasov:1996br, ) for tensors of rank . Recurrence relations to reduce dimensions and indices have been applied with systematic use of signed minors (Melrose:1965kb, ) as described in (Fleischer:1999hq, ). Simplifications were derived in (Diakonidis:2008ij, ) for and . A corresponding numerical Mathematica package hexagon.m is publicly available at http://prac.us.edu.pl/gluza/hexagon/ (Diakonidis:2008dt, ).

In this article, we present a new, recursive tensor reduction which extends the reduction up to - and -integrals. In this reduction tensor integrals with occur which can also be dealt with in a recursive manner. This will be sufficient to evaluate the one-loop amplitudes of four-particle production at LHC and ILC. The new reductions rest on a new master formula, equation (16) for five-point functions and corresponding ones for simpler functions. In principle, the tensor integrals with might be treated following (Passarino:1978jh, ), e.g. with the Fortran package LoopTools/FF (Hahn:1998yk2, ; vanOldenborgh:1990yc, ). LoopTools treats loops with massive propagators for ,111We observed problems in certain configurations with light-like external particles. and Golem (Binoth:2008uq, ) with massless propagators for . Unfortunately, there is no publicly available numerical Fortran package with a stable treatment of both massive and massless particles in the loop. In this situation, it appears natural to work out the complete reduction scheme for the whole chain of tensors in a systematic way.

The tensor reductions given for in (Passarino:1978jh, ) express the tensors in terms of scalar 1- to 4-point functions. For tensor 5-point functions, reductions to tensor 4-point functions with rank less by one have been presented in (Binoth:2005ff, ) and (Denner:2002ii, ; Denner:2005nn, ), and also in (delAguila:2004nf, ; vanHameren:2009vq, ) tensor recursions are discussed. A representation of scalar -point functions (including integrals with powers of the loop momentum in the numerator) in terms of -point functions in integer dimensions was derived in (vanNeerven:1983vr, ). For , such a representation was derived already in (Melrose:1965kb, ). The general case of tensor integrals using dimensional regularization was treated in a series of papers (Bern:1992em, ; Bern:1993kr, ; Binoth:1999sp, ; Duplancic:2003tv, ), thereby allowing also for massless particles.

Our reductions express -integrals recursively in terms of - and -integrals for . Although all approaches have identical basis elements and thus have to have equivalent tensor coefficients when compared after complete reduction, we would like to stress that they allow for quite different algorithmic realizations.

The article is organized as follows. Basic formulae are introduced in Section 2. Section 3 contains the main result, the recursive tensor reduction, based on master representations for the -integrals. As a demonstration, we derive the -integrals in more detail in Section 4. Section 5 is a short comment on the -integral reductions. In Section 6 we state some properties of the auxiliary vectors used in the recursions, which also allow for an alternative and simple derivation of our master formula. We finish with a short Summary.

2 Basic formulae

We study Feynman tensor integrals in the generic dimension with external legs:

(1)

where the denominators have indices and chords :

(2)

We will assume in the following, but a generalization of the results to arbitrary indices is straightforward.

The iteration of reduction steps will be performed until the level of -integrals with is reached. In this chain, the following well-known scalar reductions (Fleischer:1999hq, ) are needed:

(3)

The simplest, but typical tensor is the vector integral:

(4)

The integrals are scalar -point integrals, obtained from by raising the index of line by one unit ( then) and replacing the generic dimension by dimension .222Analogously, has indices and and is defined in dimensions, etc. In a next step, we apply the recursion relations derived in (Tarasov:1996br, ; Fleischer:1999hq, ) in order to eliminate the shifts of dimension and indices. The details of the derivations, which are relatively easy for lower rank tensors, get complicated, due to many cancellations, for tensors of higher ranks.

The recursion relation for the vector coefficients in (4) reads for :

(5)

For the second term in (5) vanishes and for the denominator in (5) is . The case is of practical importance and will be discussed below. is the scalar integral, and the integral where line has been scratched.333Analogously, in lines and have been scratched, etc. The objects like are signed minors, and is the modified Cayley determinant. For explicit definitions, see (Melrose:1965kb, ) or Appendix A of (Diakonidis:2008ij, ).444The Gram determinant is , and for we have . Thus, we can write for the vector -point function [i.e. the -integral] (4) for :

(6)

In (6) we introduced the auxiliary vectors :

(7)

Vectors (7) are universal and will appear in more involved reductions again. Indeed, (6) is what we want to obtain further on, i.e. we will look for analogous relations for higher rank tensors in the following.

Equation (6) is essentially due to recursion relation (30) of (Fleischer:1999hq, ), which reduces simultaneously dimension and index (let us call it type I recursion). For -integrals with rank , a complication arises due to the appearence of the -tensor in the reduction to scalar functions, as may be seen from the simplest case of an -integral:

(8)

with . In dimensions, one may eliminate by expressing it in terms of the different chords of the integral:

(9)
(10)
(11)
(12)

For , see (Fleischer:1999hq, ). For , we have to introduce extra terms (vanOldenborgh:1989wn, ), defined with the aid of:

(13)
(14)

where

(15)

In (15), the are short for the two 4-vectors in (14), . We just mention that in our conventions and . Further, . It is also interesting to note that the contractions of the sums appearing in (11) and (12) with their corresponding extra terms vanish, i.e. these terms are orthogonal.

Now, we are ready to derive a systematic recursion algorithm.

3 The -integrals

The scalar -integral is given in (3), and the vector -integrals in (6). Applying recursion relations, one may derive the following master formula for the -integrals:

(16)

The formula is a generalization of (6). Equation (16) is given implicitly in (Diakonidis:2008ij, ), for : by equation (3.7) for and by equation (3.19) for , both in combination with equations (2.1) and (2.2) (these both for ). For see also section 4 and, alternatively, see also section 6.

As a consequence, (16) has a completely new tensor structure compared to what one is used to. The explicit evaluation of (16) will be discussed below for . The -integrals follow immediately from (16) since the vector integrals and on the r.h.s. are known from (6).

3.1 The -integral recursion family

The master formula (16) for -integrals has on the r.h.s - and -integrals:

(17)

The -integrals have already been discussed and may be expressed by - and -integrals according to (16) and (6). For the -integrals, we need now a reduction analogous to the master formula (16) and may use as a starting point (8). The dimensional shifts in (8) may be treated with a reduction of type I:

(18)

and another one, needed for the reduction of the dimension only (not of an index), let us call it reduction of type II. Equation (31) of (Fleischer:1999hq, ) yields:

(19)

After eliminating the in (8) with the aid of (11), we obtain:

(20)

The notations and mean that from the five chords of the -point function the chord is excluded, such that these vectors are constructed from four chords - as given in (11). In fact, (20) together with (19) is the reduction of the -integrals, when it is combined with (6) and:

(21)

where the upper indices in the -vectors are again introduced for the scratched lines. Observe that for and there are no contributions so that indeed the indices are running only over three values and objects like can indeed be read as . In this way (21) is consistent with (6). If one is interested in -point functions from the very beginning one avoids of course this clumsy notation - but for the present purpose of reducing -point tensors to scalars it appears adequate to demonstrate this at least once.

This completes the -, -, and -integral recursions.

3.2 The -integral recursion family

For the higher tensors of the -point function we need correspondingly higher tensors of the -point functions, and the corresponding extra terms related to the elimination of the have to be derived.

Thus, as a next step we seek a representation for the -integrals which is needed for the -integral recursion:

(22)

but is also of interest in its own. In the following, for the ease of notation, we will drop the scratches of line .

A systematic application of recursions of type I results in:

(23)

with (see also (11)):

(24)

and

(25)

In , besides (known from (19)), also enters. It may be reduced by a recursion of type II quite similar to (19):

(26)

Finally, our representation (23) of contains the integrals and we have to reduce them also. Application of recursion relations yields the analogue of (20) for :

(27)

We made use of the definition (7), which becomes here:

(28)

and of the representation (12) in order to express:

(29)

This completes the -, -, and -integral recursions.

3.3 The -integral recursion family

For the tensor of rank of the -point function we need further the tensor of rank of the -point function.

(30)

Again, the systematic application of the recursion relations results in

with

(32)

where and are given in (24) and (25), respectively, and

(33)

The is known from (26), the from (19), and for completeness we specify also the other recursions of type II:

(34)
(35)

In (3.3) enters also the , which we evaluate to be:

(36)

where is given in (29) and in (33).

It remains to evaluate the tensor , for which we get:

(37)

The auxiliary vector , defined analogously to (28), vanishes when or . The sum over in (37) therefore consists of two terms, , where and . With we have for the vector basis in (37):

(38)
(39)
(40)

Finally, in (37) appear the integrals:

and

The last equality in (3.3) follows from:

(43)

This completes the -, -, -, - and -integral recursions.

4 Derivation of the master formula for -integrals

As mentioned before, (16) is implicitly contained in (Diakonidis:2008ij, ), but only up to . We will make use of it, however, up to at least. To demonstrate the general approach of how to obtain this relation, we give details of its analytic proof for . In particular we observe huge cancellations of higher dimensional integrals in (2.4) of (Diakonidis:2008ij, ). To start with, as usual we write this relation as:

(44)

where (10) has to be used. The highest dimensional integral occuring now is , with etc., for which we need the recursion relation:

(45)

In the sum of the last three terms of (45), to be abbreviated as , it is understood that there occur no equal indices among (otherwise it would be contained as a 4-point function in the second term on the right-hand side of (45)). With the remaining factor of the integral we can rewrite:

(46)

and as a result we have:

(47)

where (46) has already completely cancelled against the last three terms of the second sum of (2.4) in (Diakonidis:2008ij, ). With the further recursion:

(48)

one observes that the term cancels against the last row of (47) and the remaining integrals combine to according to (3.18) of (Diakonidis:2008ij, ) with the result:

(49)

This proves our statement: The first term corresponds to the (5,3)-integral as claimed in (16). The rest, according to (2.3) of (Diakonidis:2008ij, ), corresponds to the (4,3)-integral, again corresponding to (16). A similar proof for , equation (30), is a bit more lengthy, but see also the derivation in section 6. We would like to mention that a pedagogical introduction to the techniques applied may be found in (Fleischer-calc:2009, ).

5 The -integrals

Representing the -tensor by (9), one has the analogue of (16) for the -integrals:

(50)

where the auxiliary vectors read:

(51)

Since , the analogue of the first term in (