CERN-TH/98-133 ETH-TH/98-12 DFPD 98/TH 19 The light–cone gauge and the calculation of the two–loop splitting functions A. Bassetto a , G. Heinrich b , Z. Kunszt b , W. Vogelsang c a Dipartimento di Fisica “G. Galilei”, via Marzolo 8, I–35131 Padova, Italy, INFN, Sezione di Padova b Institute of Theoretical Physics, ETH Z¨ urich, Switzerland c Theoretical Physics Division, CERN, CH-1211 Geneva 23, Switzerland Abstract We present calculations of next–to–leading order QCD splitting functions, employing the light–cone gauge method of Curci, Furmanski, and Petronzio (CFP). In contrast to the ‘principal–value’ prescription used in the original CFP paper for dealing with the poles of the light–cone gauge gluon propagator, we adopt the Mandelstam–Leibbrandt prescription which is known to have a solid field–theoretical foundation. We find that indeed the calculation using this prescription is conceptionally clear and avoids the somewhat dubious manipulations of the spurious poles required when the principal–value method is applied. We reproduce the well–known results for the flavour non–singlet splitting function and the N 2 C part of the gluon–to–gluon singlet splitting function, which are the most complicated ones, and which provide an exhaustive test of the ML prescription. We also discuss in some detail the x = 1 endpoint contributions to the splitting functions.
41
Embed
The light–cone gauge and the calculation of the two–loop ...
This document is posted to help you gain knowledge. Please leave a comment to let me know what you think about it! Share it to your friends and learn new things together.
Transcript
CERN-TH/98-133
ETH-TH/98-12
DFPD 98/TH 19
The light–cone gauge and the calculation
of the two–loop splitting functions
A. Bassettoa, G. Heinrichb, Z. Kunsztb, W. Vogelsangc
aDipartimento di Fisica “G. Galilei”, via Marzolo 8, I–35131 Padova, Italy,INFN, Sezione di Padova
bInstitute of Theoretical Physics, ETH Zurich, Switzerland
We present calculations of next–to–leading order QCD splitting functions, employing thelight–cone gauge method of Curci, Furmanski, and Petronzio (CFP). In contrast to the‘principal–value’ prescription used in the original CFP paper for dealing with the poles ofthe light–cone gauge gluon propagator, we adopt the Mandelstam–Leibbrandt prescriptionwhich is known to have a solid field–theoretical foundation. We find that indeed thecalculation using this prescription is conceptionally clear and avoids the somewhat dubiousmanipulations of the spurious poles required when the principal–value method is applied.We reproduce the well–known results for the flavour non–singlet splitting function and theN2C part of the gluon–to–gluon singlet splitting function, which are the most complicated
ones, and which provide an exhaustive test of the ML prescription. We also discuss insome detail the x = 1 endpoint contributions to the splitting functions.
1 Introduction
The advantages of working in axial gauges when performing perturbative QCD calcula-
tions are known since a long time [1]. Those gauges enable us to retain, in higher order
calculations, a natural ‘partonic’ interpretation for the vector field, typical to leading log
approximation.
Among axial gauges, the one which enjoys a privileged status is the light–cone axial
gauge (LCA), characterized by the condition nµAµ = 0, nµ being a light–like vector
(n2 = 0). At variance with temporal (n2 > 0) and spacelike (n2 < 0) axial gauges,
which do have problems already at the free level [2], and with the spacelike ‘planar’
gauge [1] in which the behaviour of the theory in higher loop orders is still unsettled [2],
LCA can be canonically quantized [3] and renormalized [4] at all orders in the loop
expansion following a well–established procedure. To reach this goal it is crucial to treat
the ‘spurious’ singularity occurring in the tensorial part of the vector propagator
Dµν(l) =i
l2 + iε
(− gµν +
nµlν + nν lµ
nl
)(1)
according to a prescription independently suggested by Mandelstam [5] and Leibbrandt [6]
(ML) and derived in Ref. [3] in the context of equal–time canonical quantization:
1
(nl)→
1
[nl]≡
1
nl + iεsign(n∗l)=
n∗l
n∗lnl + iε, (2)
the two expressions being equal in the sense of the theory of distributions. The vector n∗
is light-like and such that n∗n = 1. Denoting by l⊥ the transverse part of the vector lµ,
orthogonal to both nµ and n∗µ, one has
2(nl)(n∗l) = l2 + l2⊥ . (3)
The key feature of the ML prescription is that the spurious poles in the complex l0
plane are placed in the second and fourth quadrants, i.e., with the same pattern as one
encounters for usual covariant denominators like 1/(l2 + iε). One can therefore perform
a proper Wick rotation to Euclidean momenta, and a suitable power counting criterion
in the Euclidean integrals will give information on the ultraviolet (UV) divergencies of
1
the corresponding Minkowskian integrals. This is in contrast to the Cauchy principal
value (PV) prescription, which, under a Wick rotation, entails further contributions and
therefrom a violation of power counting.
A crucial property of the ML distribution is the occurrence of two contributions with
opposite signs in the absorptive part of the vector propagator [7],
disc[Dµν(l)] = 2π δ(l2)Θ(l0)
(−gµν +
2n∗l
n∗n·nµlν + nνlµ
l2⊥
)(4)
−2π δ(l2 + l2⊥)Θ(l0)2n∗l
n∗n
nµlν + nνlµl2⊥
.
Here the second, ghost–like, contribution (which is not present in the PV prescription) is
responsible for the milder infrared (IR) behaviour of the ML propagator. The presence of
this axial ghost was stressed in [8]; its properties are exhaustively discussed in [2]. Clearly,
if one has a cut diagram with, say, m final–state gluons, there is a discontinuity like (4)
for each of the gluons, i.e., the phase space will split up into 2m pieces.
One of the most interesting and non–trivial applications of the LCA is the computa-
tion of the (spin independent) splitting functions for the two–loop Altarelli–Parisi (AP)
evolution of parton densities, following a method proposed and used by Curci, Furmanski
and Petronzio (CFP) in Refs. [9, 10]. This method is based on the observation [11] that in
axial gauges the two–particle irreducible kernels of the ladder diagrams are finite, so that
the collinear singularities that give rise to parton evolution, only originate from the lines
connecting the kernels. Therefrom, using renormalization group techniques, the splitting
functions are obtained by some suitable projection of the ladder diagrams, exploiting the
factorization theorem of mass singularities [11]. We refrain from giving further details of
the CFP method, since these can be found in [9, 12]. We just mention at this point that
one projects on the quantity Γij , given by
Γij
(x, αs,
1
ε
)= Zj
[δ(1− x)δij + x PP
∫ddk
(2π)dδ
(x−
nk
pn
)UiK
1
1− PKLj
], (5)
where 2ε = (4− d) and K is a 2PI kernel, which is finite in the light–cone gauge [11, 9].
The labels i, j run over quarks and gluons; in the flavour non–singlet case one has just
{ij} = {qq}. Furthermore, in (5) PP denotes the pole part, and the projectors Ui,Li are
2
given by
Uq =1
4nk6n , Lq = 6p ,
Ug = −gµν , Lg =1
d− 2
[− gµν +
nµpν + nνpµ
pn
]. (6)
The splitting functions Pij to the desired order can be read off from the 1/ε pole of Γij:
Γij
(x, αs,
1
ε
)= δ(1− x)δij −
1
ε
(αs
2πP
(0)ij (x) +
1
2
(αs2π
)2
P(1)ij (x) + . . .
)+O
(1
ε2
). (7)
For future reference, we write down a similar expression [9] for the residue Zj (j = q, g)
of the pole of the full quark (or gluon) propagator:
Zj = 1−1
ε
(αs
2πξ
(0)j (x) +
1
2
(αs2π
)2
ξ(1)j (x) + . . .
)+O
(1
ε2
). (8)
Inspecting Eqs. (5),(7),(8), we see that Zq and Zg contribute to the endpoint (∼ δ(1−x))
parts of the splitting functions Pqq and Pgg, respectively.
In the above references [9, 10], the ‘spurious’ singularity 1/nl of the gluon propa-
gator was handled according to the PV prescription. The method of [9, 10] has been
very successful in providing the first correct result for the next–to–leading order (NLO)
gluon–to–gluon splitting function. The result previously obtained in the operator product
expansion (OPE) method [14] was not correct due to a subtle conceptual problem which
was recently clarified [15, 16]. The new Feynman gauge OPE calculations confirmed
the old CFP result. Despite of this success, the LCA calculation with PV prescription
is considered dubious because of the difficulties with power counting and Wick rotation
mentioned above. In particular it is not clear whether its ‘calculational rules’ remain valid
in higher orders. We note that the precise description of some of the new high precision
collider data call for the extension of the NLO QCD analysis to next–to–next–to–leading
order (NNLO). Therefore a deeper understanding of the formal field–theoretical basis of
the CFP method is strongly motivated. The use of PV is by no means mandatory in
the CFP method, it can also be applied when handling the 1/ln singularities with the
theoretically more sound ML prescription.
A first attempt using the ML prescription in connection with the CFP method has
been performed in Ref. [7], where the one-loop AP splitting functions [13] have been
3
correctly reproduced, both for the flavour non–singlet and for the flavour singlet case. A
new characteristic feature of this calculation is that ‘real’ and ‘virtual’ contributions are
separately well–defined in the limit x → 1, x being the longitudinal momentum fraction,
at variance with the corresponding PV result. This occurs thanks to the presence of the
‘axial’ ghost, which, standing by the usual gluon term, protects its singular behaviour
with respect to the transverse momentum. There is no need of any IR cutoff to regularize
intermediate results.
Beyond one loop, the calculation of the splitting functions according to the CFP
method in LCA with the ML prescription, has already been tackled in a recent paper [17].
We believe, however, that improvements to the calculation [17] can and should be made.
First of all, only the C2F part of the flavour non–singlet splitting function is studied
in [17]. In this paper we will also calculate the CFTf part and, in particular, the far more
complicated piece ∼ CFNC of this function, as well as the N2C part of the gluon–to–gluon
splitting function contributing to the flavour singlet sector. As we will show, this set of
functions we consider comprises all possible one–loop structures of QCD and thus enables
an exhaustive test of the ML prescription in this application. The ML calculation of the
other singlet splitting functions, like the non–diagonal quark–to–gluon (and vice versa)
one, is therefore not really required in this context: they will certainly come out correctly
if the prescription works for the far more complicated cases we study.
Secondly, the power and virtues of the ML prescription were not fully exploited in [17],
where some contributions resulting from the axial ghosts of the ML prescription were ne-
glected. These contributions are ∼ δ(1 − x) and thus only affect the endpoints of the
diagonal splitting functions. Nevertheless, their inclusion is required for a complete anal-
ysis, since only then the crucial question of the finiteness of the two–particle–irreducible
(2PI) kernels in the light–cone gauge can be fully answered. We also remind the reader in
this context that in the original CFP papers [9, 10], the endpoint contributions to the di-
agonal splitting functions were never determined by explicit calculation, but were derived
in an indirect way from fermion number and energy–momentum conservation. The fact
that we pay more attention to the point x = 1 will enable us to improve this situation
4
to a certain extent: for the first time within the CFP method, we will determine the full
part ∼ CFTfδ(1− x) of PV,(1)qq by explicit calculation.
Finally, in [17] a principal value regularization was still used at some intermediate
steps of the calculation. Even though this was only done at places where it seemed a safe
and well–defined procedure, it is more in the spirit of the ML prescription to abandon the
PV completely and to stick to one single regularization, the dimensional one. This view is
corroborated by the observation that the PV regularization as used in [17] actually turns
out to become technically too complicated when one studies the CFNC part of the flavour
non–singlet splitting function, or the N2C part of P
(1)gg .
The remainder of this paper is organized as follows: to set the framework, we will
present a brief rederivation of the leading order (LO) quark–to–quark splitting function
P(0)qq in sec. 2. Section 3 will contain the calculation of the flavour non–singlet splitting
function at two loops. More specifically, we will discuss in detail the treatment of the
various virtual–cut and real–cut contributions in subsections 3.1 and 3.2, respectively,
while sec. 3.3 presents the final results of the calculation. In 3.4, we discuss the endpoint
contributions and provide a sample calculation of a two–loop contribution to the quark
self–energy in the LCA with ML prescription. Section 4 deals with the calculation of the
N2C part of P
(1)gg . Finally, we summarize our work in sec. 5.
2 Recalculation of the LO splitting function
As a first example, we will rederive the LO result for the flavour non–singlet splitting
function, using the ML prescription. This is a rather trivial calculation that nevertheless
displays the main improvements provided by the use of ML. Furthermore, the virtual
graphs in the NLO calculation have the LO kinematics, so this section also serves to
prepare the NLO calculation. We noted before that the LO example has already been
worked out in [7] where collinear poles were regularized by taking the initial quark off–
shell, p2 < 0, rather than by using dimensional regularization. This is perfectly fine at
the LO level, but beyond LO it seems a forbidding task to keep p2 6= 0, and in fact the
5
underlying method of [9, 10] that we are employing has been set up in such a way that
it relies on the use of dimensional regularization, yielding final results that correspond to
the MS scheme. It therefore seems a useful exercise to sketch the calculation of P(0)qq in
the ML prescription if dimensional regularization is used.
The Feynman diagrams contributing to Γqq at LO are shown in Fig. 1. For the gluon
polarization tensor in diagram (a) we need to insert the two parts of the ML discontinuity
in (4) with their two different δ–functions. The first part of the phase space, resulting
from δ(l2), can be written as
x
∫ddk
∫ddl δ
(x−
kn
pn
)δ(p− k − l)δ(l2) =
π1−ε
2Γ(1− ε)
∫ Q2
0
d|k2|(k2⊥)−ε , (9)
where
k2⊥ = l2⊥ = |k2|(1− x) . (10)
The δ(l2) contribution of graph (a) to Γqq is then given by
Γ(a),δ(l2)qq (x) =
αs2π
PP
∫ Q2
0
d|k2||k2|−1−ε CF (1− x)−ε1 + x2
1− x. (11)
Using the identity
(1− x)−1−ε ≡ −1
εδ(1− x) +
1
(1− x)+− ε
(ln(1− x)
1− x
)+
+O(ε2) , (12)
where the ‘plus’–prescription is defined in the usual way, one readily obtains
(a) (b)
p
kl
Figure 1: Diagrams contributing to Γqq at LO.
6
Γ(a),δ(l2)qq (x) =
αs2π
PP
∫ Q2
0
d|k2||k2|−1−ε CF
[−
2
εδ(1− x) +
1 + x2
(1− x)+
]. (13)
For the ghost–like part we introduce the variable κ as
k2⊥ = l2⊥ = −l2 = |k2|κ . (14)
The phase space is then given by∫ddk
∫ddl δ
(x−
kn
pn
)δ(p− k − l)δ(l2 + l2⊥)
=π1−ε
2Γ(1− ε)
∫ Q2
0
d|k2|
∫ 1
0
dκ(k2⊥
)−εδ ((1− x)(1− κ))
=π1−ε
2Γ(1− ε)δ(1− x)
∫ Q2
0
d|k2|
∫ 1
0
dκ
1− κ
(k2⊥
)−ε, (15)
where the last line follows since the root of the delta function for κ = 1 never contributes
when we insert the second term in (4) for the gluon polarization tensor into graph (a),
thanks to the factor 2n∗l/l2⊥ ∼ (1− κ)/κ accompanying the δ(l2 + l2⊥) in (4). Thus, the
ghost part contributes only at x = 1. The contribution ∼ 1/κ of 2n∗l/l2⊥ gives rise to a
1/ε–pole in the final answer:
Γ(a),δ(l2+l2⊥)qq (x) =
αs2πδ(1− x)PP
∫ Q2
0
d|k2||k2|−1−ε CF
[2
ε
]. (16)
Adding Eqs. (13) and (16), we get the full contribution of graph (a) to Γqq:
Γ(a)qq (x) =
αs2π
PP
∫ Q2
0
d|k2||k2|−1−ε CF1 + x2
(1− x)+
. (17)
An important feature of this result should be emphasized, as it will also be encountered at
NLO: the integrand in (17) is completely finite, in a distributional sense. In other words,
using the ML prescription, we have verified the finiteness of the LO 2PI kernel q → qg
in the light–cone gauge. We point out, however, that the finite 2PI kernel arises as the
sum of the two singular pieces in Eqs. (13),(16). This is again a finding that will recur
at NLO: the full discontinuity (4) of the gluon propagator in the ML prescription has a
much milder behaviour than the individual contributions to it.
It is instructive to contrast the result in (17) with the one obtained for the PV pre-
scription [9]:
Γ(a),PVqq (x) =
αs2π
PP
∫ Q2
0
d|k2||k2|−1−ε CF
[1 + x2
(1− x)++ 2I0δ(1− x)
], (18)
7
where
I0 ≡
∫ 1
0
u
u2 + δ2du ≈ − ln δ . (19)
Thus, the 2PI kernel for the PV prescription has a divergent coefficient of δ(1 − x),
resulting from the gauge denominator 1/nl and being regularized by the parameter δ.
The calculation of the LO splitting function is completed by determining the endpoint
contributions at x = 1, corresponding to Zq in (5) and given by the graphs in Fig. 1(b).
They can be straightforwardly obtained1 using the UV–singular structure of the one–loop
quark self–energy, determined for the ML prescription in [18]. One finds [7]:
Zq = 1−αs2π
1
εCF
3
2, that is, ξ(0)
q =3
2CF . (20)
Putting everything together, one eventually obtains
P (0)qq (x) = CF
[1 + x2
(1− x)+
+3
2δ(1− x)
], (21)
in agreement with [13]. We finally note that of course the same final answer is obtained
within the PV prescription: the singular integral I0 in (18) is cancelled by the contribution
from Zq, since we have [9]
ZPVq = 1−
αs2π
1
εCF
[3
2− 2I0
]. (22)
Thus, to summarize, the advantage of the ML prescription at the LO level mainly amounts
to producing truly finite results for the 2PI kernels, as required for the method of [11, 9, 10].
Furthermore, there is no need for introducing renormalization constants depending on
additional singular quantities like I0 that represent a mix–up in the treatment of UV and
IR singularities.
1Alternatively one can obtain the contributions from the requirement∫ 1
0P
(0)qq (x)dx = 0 [13, 9].
8
3 The calculation of the flavour non–singlet splitting
function at NLO
At NLO, there are two different non–singlet evolution kernels, P−,(1) and P+,(1), governing
the evolutions of the quark density combinations q − q and q + q − (q′ + q′), respectively.
The two kernels are given in terms of the (flavour–diagonal) quark–to–quark and quark–
to–antiquark splitting functions by (see, for instance, Ref. [12])
P±,(1) ≡ P V,(1)qq ± P V,(1)
qq , (23)
where the last splitting function originates from a tree graph that does not comprise
any real–gluon emission and is therefore free of any problems related to the use of the
light–cone gauge. Thus, we do not need to recalculate PV,(1)qq . The Feynman diagrams
contributing to PV,(1)qq are collected in Fig. 2. We have labelled the graphs according to
the notation of [9, 12]. We also show the graphs contributing to Zq at two loops. We will
not calculate all of these, since this is not really required. Their role will be discussed in
subsection 3.4.
3.1 Virtual–cut diagrams and renormalization
Many of the diagrams in Fig. 2 have real and virtual cuts, as has been indicated by the
dashed lines. Let us start by discussing the contributions from the virtual cuts in graphs
(c),(d),(e),(f),(g). It is clear that these essentially have the LO topology in the sense
that there is always one outgoing gluon (momentum l), to be treated according to the
ML prescription as discussed in the previous section. We recall that this means that
there are two contributions for this gluon, one at l2 = 0, and the other with l2 + l2⊥ = 0,
corresponding to the gluon acting as an axial ghost2. This immediately implies that we
will have to calculate the loop integrals for these two situations. In addition, it is clear
that the ML prescription also has to be used in the calculation of the loop itself, not just
2In the next subsection we will see that for diagrams (d),(f) there are also other contributions atl2 + l2⊥ = 0, not just the one from the axial ghost going into the loop. However, the integration of thosecontributions proceeds in exactly the same way as outlined here. We postpone the discussion of all thecontributions at l2 + l2⊥ = 0 for graphs (d),(f) to the next subsection.
9
C2F
p
k
l1
l2
(h�i) (c) (b) (e)
(c) (b) (d) (f)
(g)
12CFNC
CFTf
�(1)q
Figure 2: Diagrams contributing to Γqq at NLO.
for the treatment of the external gluon. For instance, the gauge denominator 1/(r · n),
where r is the loop momentum, is subject to the prescription (1). In short, we will need
several two–point and three–point functions with and without gauge denominators like
1/(n · r), and for both l2 = 0 and l2 + l2⊥ = 0.
We point out that important qualitative differences with respect to the PV prescription
arise here: in the PV calculation one always has l2 = 0 for the outgoing gluon in the
10
virtual–cut graphs, and there is no explicit dependence on l2⊥. For instance, the way to
deal with the self–energies in graphs (f),(g) in the PV prescription is identical to their
treatment in covariant gauges: one calculates them for off–shell l2, renormalizes them, and
eventually takes the limit l2 → 0. In this way, almost all contributions of the diagrams
will vanish since all loop integrals have to be proportional to (l2)−ε (ε < 0) on dimensional
grounds. Only the contribution from the MS counterterm remains [19, 9] because this is
the only quantity not proportional to (l2)−ε. In contrast to this, in the ML prescription l2⊥
sets an extra mass scale. For graph (f), one therefore encounters terms ∼ (l2)−ε, but also
terms of the form ∼ (a l2 + b l2⊥)−ε. The latter terms yield non–vanishing contributions to
the virtual–cut result even at l2 = 0. This is still not the case for graph (g) since here the
pure quark loop of course does not contain any light–cone gauge denominator and thus
does not depend on l2⊥. Nevertheless, one gets a contribution from the quark loop in (g)
for l2 + l2⊥ = 0, i.e., when the gluon running into the loop is an axial ghost, corresponding
to the second part of the ML discontinuity in (4).
As expected, in the actual derivation of the loop integrals the property of the ML
prescription to allow a Wick rotation is of great help. Nevertheless, some of the integrals
are quite involved, since the ML prescription introduces explicit dependence of the loop
integrands on the transverse components r2⊥ due to the identity 2(nr)(n∗r) = r2 + r2
⊥.
Furthermore, since we are interested in calculating also the contributions at x = 1, we
need to calculate the loop integrals up to O(ε) rather than O(1). The reason for this
is that very often the final answer for a loop calculation with l2 = 0 will contain terms
of the form (1 − x)−1−aε (a = 1, 2), to be expanded according to Eq. (12). As a result,
a further pole factor 1/ε is introduced into the calculation, yielding finite contributions
when multiplied by the O(ε) terms in the loop integrals. A similar thing happens in the
loop part with l2 + l2⊥ = 0. Here, an extra factor 1/ε can be introduced when integrating
this part over the phase space in (15). The higher pole terms created in these ways will
cancel out eventually, but not the finite parts they have generated in intermediate steps
of the calculation. The detailed expressions for the loop integrals in the ML prescription
are given in Appendix A.
11
For the renormalization of the loop diagrams, one needs to subtract their UV poles,
which is achieved in the easiest way by inserting the UV–divergent one–loop structures as
calculated for the light–cone gauge in the ML prescription in [6, 18, 20, 21]. All structures
have also been compiled in [2]. The ones we need for the non–singlet calculation are
displayed in Fig. 3. One notices that, as expected, the structures are gauge–dependent
and Lorentz non–covariant. Even more, the expressions for the non–Abelian quantities
Πgµν and Γgµ in Fig. 3 are non–polynomial in the external momenta, owing to terms ∼
1/[nl]. It is an important feature of the ML prescription that these non–local terms exist,
but decouple from physical Green’s functions [4] thanks to the orthogonality of the free
propagator with respect to the gauge vector, nµDµν(l) = 0 (this has actually been an
important ingredient for the proof [4] of the renormalizability of QCD in the ML light–
cone gauge). Thus, the non–local pole parts never appear in our calculation. This is in
contrast to the PV prescription, where one has [9] contributions from the renormalization
constants to the calculation that explicitly depend on the external momentum fractions
x, 1− x.
3.2 Real–cut graphs
Let us now deal with the real cuts. One way of evaluating these is to integrate over
the phase space of the two outgoing particles with momenta l1,l2 (for the notation of
the momenta, see Fig. 2), in addition to the integration over the ‘observed’ parton with
momentum k. This is the strategy we have adopted for all diagrams contributing to the
C2F and the CFTf parts of the splitting function, i.e., graphs (b),(c),(g),(h). For graphs
(d),(f), we found it simpler to use a different method, as will be pointed out below.
If the two outgoing partons are gluons, their phase space in the ML prescription splits
up into four pieces, as we discussed in Sec. 1. It is possible to write down a phase space
that deals with all four parts. We leave the details for Appendix B.
Upon integration of the squared real–cut matrix element for a diagram, each of the four
parts of phase space gives highly divergent results, but their sum is usually less singular.
12
k�(k) = � i�s
4�CF
��ij
"6k + 2 f6n(n�k)� 6n�(nk)g
#
l�q
��(l) =i�s3�
Tf��ab
"l2g�� � l�l�
#
l
�g��(l) = � i�s
4�NC
��ab
"113
nl2g�� � l�l�
o� 2 l2
nn�n
�
� + n��n�
o #
n� � n� �nll2l� ; n�� � n�� �
n�l[nl]
n�
p k
l = p� k
�q�(l) = � ig�s
4�CF�NC=2
�T aij
" � + 2
n6nn�� � 6n
�n�
o #
p k
l = p� k
�g�(l) = � ig�s
4�NC
2�T aij
" � � 2
�6nn�� + 6n
�n� � 2 6nn�l[nl]
n�
� #
Figure 3: UV–divergent one–loop structures as obtained in the light–cone gauge, using theML prescription. The indices i, j (a, b) denote quark (gluon) colours; T a are the generatorsof SU(3).
This is similar to the pattern we found at LO. For instance, the phase space integration of
graph (b) of Fig. 2 (before performing the final integration over |k2|) is expected to give
a finite result, since the graph is 2PI and possesses no virtual cut. This indeed turns out
to be the case, but the individual contributions to (b) by the four parts of phase space all
have poles ∼ 1/ε2 and ∼ 1/ε which cancel out when combined. A similar cancellation of
higher pole terms happens for graph (h) (which of course is not finite by itself, but has
a left–over 1/ε singularity, to be cancelled by the contribution from diagram (i)). Here
13
even poles ∼ 1/ε3 occur at intermediate stages of the calculation. For those graphs that
also have virtual cuts, the situation is in general even more complicated, as cancellations
will occur only in the sum of the real and virtual cuts. An example for this case will be
given in sec. 3.3.
For graphs (d),(f), the phase space integrals become extremely complicated. This is
due to the extra denominator 1/(l1 + l2)2 present in these graphs, which causes great
complications in the axial–ghost parts of the phase space. For (f), we found it still
possible to get the correct result via the ‘phase space method’, but for (d) this seemed a
forbidding task. It turned out to be more convenient to determine the result in a different
way: if one calculates, for instance, the gluon loop in graph (f) for an arbitrary off–shell
momentum l going into the loop, the imaginary part of the loop will correspond to the
real–cut contribution we are looking for. To be more precise, the strategy goes as follows:
we calculate the loop graph for off–shell l and insert the result into the appropriate LO
phase space. The latter can be derived as in (9), omitting, however, the δ(l2) there. One
finds
x
∫ddk
∫ddl δ
(x−
kn
pn
)δ(p− k − l) =
π1−ε
2Γ(1− ε)
∫ Q2
0
d|k2|
∫ 1/(1−x)
0
dτ (k2⊥)−ε , (24)
where now
k2⊥ = l2⊥ = |k2|(1− x)τ , l2 =
|k2|(1− x)
x(1− τ) . (25)
The limits for the τ integration in (24) span the largest possible range for τ , given by the
conditions l2⊥ > 0, l2 + l2⊥ > 0. The full imaginary part arising when performing the loop
and the τ integrations has to correspond to the sum over all cuts in the diagram. One
encounters discontinuities from the following sources:
(A) from the loop integrations. Here imaginary parts arise, for instance, if for certain
values of τ and of the Feynman parameters t1, . . . , tk, one finds terms of the form(f(t1, . . . , tk, τ)
)−ε, (26)
where f is negative. Details for integrals with such properties are given in Ap-
pendix C. The imaginary part originating in this way essentially corresponds to the
cut through the loop itself, i.e., to the real–cut contribution we are looking for.
14
(B) from the propagator 1/(l2 + iε) via the identity
1
l2 + iε= PV
(1
l2
)− iπδ(l2) , (27)
where PV denotes the principal value. The imaginary part ∼ δ(l2) obviously repre-
sents the loop contribution at l2 = 0 which we have determined in the last subsection.
Therefore, we do not need to reconsider this part of the discontinuity.
(C) from terms ∼ 1/[nl], for which a relation similar to (27) holds,
1
[nl]≡
1
nl + iεsign(n∗l)= PV
(1
nl
)− iπsign(n∗l)δ(nl) . (28)
At first sight, one might think that the discontinuity ∼ δ(nl) simply corresponds
to the calculation of the gluon loop for the case when the gluon entering the loop
is an axial ghost with l2 = −l2⊥. However, the situation is more subtle: The terms
∼ 1/[nl] do not only originate from the propagators of the external gluons, but also
from splitting formulas like [2]
1
[nr][n(l − r)]=
1
[nl]
(1
[nr]+
1
[n(l − r)]
)(29)
(where r is the loop momentum), as well as from the loop integrals themselves, like
in the case of ∫ddr
(2π)d1
(r2 + iε)((l − r)2 + iε)[nr]. (30)
All these terms ∼ 1/[nl] have to be treated according to the ML prescription, i.e.,
give rise to discontinuities ∼ δ(nl) ∼ δ(1−x) via (28). The sum of all discontinuities
arising in this way actually has to correspond to the ‘pure–axial–ghost’ part of the
graph, given by (a) the virtual–cut contribution when the gluon going into the loop
is an axial ghost, plus (b) the real–cut contribution when both final–state gluons act
as axial ghosts. These two parts cannot easily be separated from each other, which
is the reason why we postponed the whole treatment of graphs (d),(f) at l2 = −l2⊥ to
this section. The integrals needed to obtain this part of the discontinuity are those
already mentioned in the last subsection and collected in the right–hand column of
Tab. 4 of Appendix A.
15
It is also worth mentioning that despite the fact that graph (f) has a squared gluon propa-
gator, there are cancellations coming from the algebra in the numerator; as a consequence,
one never encounters expressions like 1/[nl]2 or 1/(l2+iε)2 before taking the discontinuity,
and (28),(27) are all we need.
Clearly, when finally collecting all the imaginary parts from (A) and (C), the PV–parts
in (B) and (C) play a role in the calculation. While 1/nl ∼ 1/(1−x) in (28) only diverges
at the endpoint at x = 1 where it is always regularized by factors like (1 − x)−ε, the
propagator 1/l2 in (27) in general has its singularity inside the region of the τ integration:
from (25) one finds that l2 > 0 for τ < 1, but l2 < 0 for τ > 1. The principal value
prescription3 in (27) takes care of the pole at τ = 1 and leads to a cancellation of the
positive spike for τ → 1− and the negative one for τ → 1+, resulting in a perfectly
well–defined finite result.
The vertex graph (d) can be treated in a similar fashion as (f). Here one calculates
the full vertex for p2 = 0, k2 < 0, but arbitrary l2, and determines the imaginary parts
arising with respect to l2. This corresponds again to point (A) above, and calculational
details are also given in Appendix C. The imaginary part from (B) is again related to the
virtual–cut contribution at l2 = 0 that we already calculated in the last subsection. The
discontinuity from (C) needs to be taken into account, and as before it corresponds to the
full ‘pure–ghost’ contribution (virtual–cut and real–cut), residing at x = 1.
A final comment concerns graph (i). Its contribution to Γqq is essentially given by a
convolution of two LO expressions, each corresponding to Fig. 1(a), keeping however also
all finite terms in the upper part of the diagram, including the factor (1−x)−ε from phase
space (see (11),(12)):
(i) ∼1
ε
[1 + z2
(1− z)+− ε(1 + z2)
(ln(1− z)
1− z
)+
− ε(1− z)
]⊗
1
ε
[1 + z2
(1− z)+
], (31)
where (f ⊗ g
)(x) ≡
∫ 1
x
dz
zf(xz
)g(z) . (32)
3To avoid confusion, we emphasize at this point that the principal value for 1/l2 in (27) is well–defined here and not related to the principal value prescription for the light–cone denominator 1/nl thatwe heavily criticised in the introduction.
16
Note that this is in contrast to the PV prescription where the contribution from (i) does
not correspond to a genuine convolution in the mathematical sense. Since both of the
convoluted functions in (31) contain distributions, the convolution itself will also be a
distribution. The evaluation of (31) is most conveniently performed in Mellin–moment
space where convolutions become simple products. Some details of the calculation and a
few non–standard moment expressions are given in Appendix D.
3.3 Final results
We now combine the results of the previous subsections. The first observation is that
for the ML prescription all 2PI graphs, and also the difference (h−i), turn out to give
truly finite contributions to Γqq, before the final integration over |k2| is performed. This
expectation for the light–cone gauge [11] was not really fulfilled by the PV prescription,
where the results for the diagrams depended on integrals like I0 in (19) that diverge if
the regularization δ of the PV prescription is sent to zero [9, 12]. The finiteness of the
kernels in the ML prescription comes about via delicate cancellations of terms sometimes
as singular as 1/ε2 or even 1/ε3 when the various real–cut (gluon and axial–ghost) and
virtual–cut contributions are added. To give just one example beyond those already
discussed in the previous subsection, let us discuss the contributions of graph (g) to Γqq.
From the real–cut diagram, one has up to trivial factors
Γ(g),rqq ∼
(αs2π
)2
PP
∫ Q2
0
d|k2||k2|−1−2ε
Γ(1− 2ε)
[δ(1− x)
(2
3ε2+
10
9ε−
2
3ζ(2) +
56
27
)(33)
+1 + x2
(1− x)+
(−
2
3ε−
10
9
)+
4
3(1 + x2)
(ln(1− x)
1− x
)+
−2
3
1 + x2
1− xlnx
].
The virtual–cut graph for l2 = −l2⊥ (corresponding to the gluon being an axial ghost)
contributes before renormalization:
Γ(g),vqq ∼
(αs2π
)2
δ(1− x) PP
∫ Q2
0
d|k2||k2|−1−2ε
Γ(1− 2ε)
(−
2
3ε2−
10
9ε−
2
3ζ(2)−
56
27
). (34)
The loop with l2 = 0 only contributes via its renormalization counterterm as explained
earlier. This contribution exists also for the loop with l2 = −l2⊥ and reads on aggregate
17
for both loop parts:
Γ(g),‘ren′
qq ∼(αs
2π
)2
PP
∫ Q2
0
d|k2||k2|−1−ε
Γ(1− 2ε)
2
3
[1
ε
1 + x2
(1− x)+− (1 + x2)
(ln(1− x)
1− x
)+
− 1 + x
].
(35)
When adding the integrands of Eqs. (33)–(35), all poles cancel, and as promised the
contribution to Γqq is finite before integration over |k2|.
Next, we determine the contributions of the various graphs to PV,(1)qq , making use of
Eq. (7). The results are displayed in Tables 1 and 2. We see that all entries in the tables
are completely well–defined, even at x = 1, in terms of distributions, which is a property
that we already encountered at LO.
The sums of the various graph–by–graph contributions are also presented in Tables 1,2.
One realizes that many more complicated structures, like the dilogarithm Li2(x), cancel
in the sums. Considering only x < 1 for the moment, it is the most important finding of
this work that the entries in the columns ‘Sum’ in Tables 1,2 exactly reproduce the results
found in the PV calculations [9, 12] for x < 1. Since the latter are in agreement with
those obtained in the covariant–gauge OPE calculations [22], we conclude that the ML
prescription has led to the correct final result. To a certain extent, this is a check on the
prescription itself in the framework of a highly non–trivial application. Since – in contrast
to the PV recipe – the ML prescription possesses a solid field–theoretical foundation [3, 4],
our calculation has finally provided a ‘clean’ derivation of the NLO flavour non–singlet
splitting function within the CFP method, highlighting the viability of that method.
The next subsection will address the endpoint (δ(1 − x)) contributions to the NLO
Figure 5: UV–divergent structures of the non–Abelian part of the three–gluon vertex asobtained in the light–cone gauge, using the ML prescription. p1,p2,p3 denote the momentaof the external gluons, a1,a2,a3 are the associated colour indices (fa1a2a3 being the structureconstants of SU(3)), and µ1,µ2,µ3 are Lorentz indices. The dots indicate structures (some ofthem non–local) which do not contribute to our calculation thanks to the orthogonality of thefree propagator to the gauge vector n.
24
of the imaginary parts of the associated virtual graphs.
We have verified that again for the ML prescription all 2PI graphs give truly finite
contributions to Γgg, before the final integration over |k2| is performed. This also applies
to the endpoint x = 1, where the result for each graph is again always well–defined in
terms of distributions and, as before, also has a coefficient of δ(1 − x) that contains no
1/ε poles. Table 3 presents the contributions of the various diagrams to P(1)gg . Here we
have defined the functions
pgg(x) ≡(1− x+ x2)
2
x(1− x)+,
lgg(x) ≡(1− x+ x2)
2
x
(ln(1− x)
1− x
)+
, (48)
S2(x) ≡
∫ 11+x
x1+x
dz
zln(1− z
z
)= −2Li2(−x)− 2 lnx ln(1 + x) +
1
2ln2 x− ζ(2) .
We mention in passing that graph (j) and the ‘swordfish’ diagram (s1) give vanishing
contributions to P(1)gg if the PV prescription is used, but are non–vanishing for the ML
prescription, where finite contributions arise from their ghost parts.
As for the case of PV,(1)qq , the full result for the N2
C part of P(1)gg , given by the column
‘Sum’, is (at x < 1) in agreement with the PV result of [10], which in turn coincides
with the OPE4 one [15]. Thus, the CFP method with ML prescription has also led to
the correct final answer in this case, which clearly constitutes a further non–trivial and
complementary check. As can be seen from Tab. 3, we have not determined the finite
amounts of contributions ∼ δ(1−x) for the graphs since, like in the case of the CFNC part
of PV,(1)qq , these are quite hard to extract in some cases. The endpoint contributions to
P(1)gg can then only be derived from the energy–momentum conservation condition [23, 12].
We emphasize however that, just as for PV,(1)qq , there is no principal problem concerning
the calculation of the endpoint contributions: had we calculated the full δ(1− x)–terms
in Tab. 3 and the two–loop quantity ξ(1)g , all endpoint contributions would be at our dis-
posal, and it would no longer be necessary to invoke the energy–momentum conservation
condition; in fact, this could serve as a further check of the calculation.
4See also our discussion in the introduction concerning the OPE calculations [15, 14] of P(1)gg .
25
N2 C
Terms
(b)
(d)
(s1+s2)
(e)
(f)
(h�
i)
(j)
(k)
Sum
pgg(x)
�
98 9
+6�(2)
1349
�
8�(2)
31 9
67 9
�
2�(2)
l gg(x)
4
�
10 3
22 3
�
8
pgg(x)lnxln(1�
x)
�
2
6
�
8
�
4
pgg(x)ln
2
x
�
1
2
1
pgg(x)lnx
�
3 2
11 6
�
3 2
�
1
�
1 3
1
3 2
pgg(x)(Li 2(x)�
�(2))
�
2
2
�
8
4
4
pgg(�x)S2(x)
2
2
(1+x)ln
2
x
4
4
x2
lnx
�
31 6
11 6
�
3 2
�
2
�
3
�
19 3
3 2
�
44 3
xlnx
�
8
�
52 3
3
4
6
16
11 3
lnx
�
17 2
26 3
�
3
�
5
�
5
3
3 2
�
25 3
1 xlnx
�
25 6
�
67 6
3 2
1
4
31 3
�
3 2
x2
ln(1�
x)
�
4
1
3
xln(1�
x)
13
�
3
�
4
�
6
ln(1�
x)
�
25 2
3 2
6
5
1 xln(1�
x)
8
�
4
�
4
x2
1369
13 3
9
1
�
20 3
�
46 3
67 9
x
�
1058
�
16 3
�
9
�
6
139
12
19 2
�
9 8
�
27 2
1
1058
59 6
�
9 2
12
�
103
12
�
19 2
9 8
27 2
1 x
�
1369
�
22 3
�
8
23 3
46 3
�
67 9
Table 3: Final results for the N2C part of P
(1)gg on a graph–by–graph basis. The table does not
include the coefficients of δ(1 − x), which we have not determined. However, as mentionedin the main text, we have proven that each graph contributes a finite amount of δ(1− x) toΓgg (before the final integration over |k2| is performed).
26
5 Conclusions
We have performed a new evaluation of the NLO flavour non–singlet splitting function
and of the N2C part of the NLO gluon–to–gluon splitting function within the light–cone
gauge method of [11, 9]. The new feature of our calculation is the use of the Mandelstam–
Leibbrandt prescription for dealing with the spurious poles generated by the gauge denom-
inator in the gluon propagator. In contrast to the principal value prescription employed
in previous calculations [9, 10, 12], the ML prescription has a solid field–theoretical foun-
dation and will therefore provide a ‘cleaner’ derivation of the result. As expected, the
final results come out correctly, i.e., are in agreement with the ones in [9, 10, 12, 22].
This finding is both a corroboration of the usefulness of the general method of [11, 9] to
calculate splitting functions, and a useful check on the ML prescription itself in a highly
non–trivial application.
We have also discussed the δ(1 − x) contributions to the NLO flavour non–singlet
splitting function, performing an explicit sample calculation of a two–loop contribution
to the renormalization constant Zq in the ML light–cone gauge. It turns out that one
indeed obtains the right amount of contributions at x = 1 as required by fermion number
conservation.
We conclude by conceding that the ML prescription is in general much more compli-
cated to handle than the simpler, but less well–founded, PV prescription. With regard to
future applications at, for instance, three–loop order, this creates a certain dilemma: the
ML prescription might be too complicated to be used in that case, while on the other hand
the ill–understood success of the PV prescription at the two–loop level is not a warranty
that it will also produce correct results beyond.
Acknowledgement
This work was supported in part by the EU Fourth Framework Programme ‘Training and
Mobility of Researchers’, Network ‘Quantum Chromodynamics and the Deep Structure
of Elementary Particles’, contract FMRX-CT98-0194 (DG 12-MIHT).
27
Appendix A: Virtual integrals
Here we list some loop integrals needed for the calculation. We do not need to recall any of
the covariant integrals, which are standard, but will only present those with a light–cone
gauge denominator, to be treated according to the ML prescription (1).
We begin by performing a sample calculation of the integral
I(n, q) ≡
∫ddr
(2π)d1
(r2 + iε)((q − r)2 + iε)[nr]
=
∫ddr
(2π)dn∗r
(r2 + iε)((q − r)2 + iε)(nr n∗r + iε). (A.1)
We recall the definitions [9]
n =pn
2P(1, 0, . . . , 0,−1) , n∗ =
P
pn(1, 0, . . . , 0, 1) ≡
1
pnp , (A.2)
where p = P (1, 0, . . . , 0, 1) is the momentum of the incoming quark, see Fig. 2. Introducing
Feynman parameters, one has
I(n, q) =4P
pn
∫ 1
0
dt
∫ 1−t
0
ds
∫ddr
(2π)dr0 − rz[
r2 + sr2⊥ − 2(q · r)t+ q2t+ iε
]3 . (A.3)
After performing a Wick rotation and straightforward integrations over r one arrives at
I(n, q) =iΓ(1 + ε)
16π2
2n∗q
q2 + iε
( 4π
−q2
)ε ∫ 1
0
dt t−ε(1−t)−1−ε
∫ 1
0
ds
(1+st
q2 + q2⊥ + iε
(q2 + iε)(1− t)
)−1−ε
.
(A.4)
For example, for the case q = k one finds
I(n, k) =iΓ(1 + ε)
16π2
( 4π
|k2|
)ε 1
[nk]
[ζ(2)− Li2
(k2⊥
|k2|
)+ 2εζ(3)
], (A.5)
where we have kept those terms that contribute to the final answer. In (A.5), ζ(n) is
Riemann’s ζ–function and Li2(x) denotes the dilogarithm, defined by [28]
Li2(z) ≡ −
∫ 1
0
ln(1− zy)
ydy . (A.6)
The result in (A.5) coincides with the one in [2] for ε = 0. Note that the ML prescription
arising for 1/[nk] is actually immaterial here since nk = x pn never vanishes.
28
Setting, on the other hand, q = l one gets for l2 = 0
I(n, l) =iΓ(1 + ε)
16π2
( 4π
−|k2|(1− x)
)ε 1
nl
1
2ε2, (A.7)
and for l2 = −l2⊥
I(n, l) =iΓ(1 + ε)
16π2
( 4π
−l2
)ε 2n∗l
l2B(−ε, 1− ε) . (A.8)
Note that the real part of (A.7) has to be taken5. Table 4 contains all the required
integrals with an ML light–cone gauge denominator. The integrals in the first column are
for l2 = 0; they depend on
x =nk
pnand x =
nl
pn= 1− x . (A.9)
Recall that terms ∼ (1 − x)−1−aε will lead to further poles, as was shown by (12). The
integrals in the second column of Tab. 4 are for the axial ghost case, l2 = −l2⊥, and
eventually need to be integrated further over the variable κ defined in Eqs. (15),(14). The
κ integration produces further poles. We have
κ =k2⊥
|k2|and κ = 1− κ . (A.10)
We note that the last integral was much easier obtained by performing the κ integration
before the ones over the Feynman parameters. Therefore we only present the final, κ–
integrated, result in this case. As can be seen, the integral was accompanied by two
different powers of κ.
5Here one obviously has to discard the overall factor i.
29
∫ddr/(2π)d l2 = 0 l2 + l2⊥ = 0
pnr2(k−r)2[nr]
1x
[ζ(2)− Li2 (x) + 2εζ(3)
]ζ(2)− Li2 (κ) + 2εζ(3)
(r2−2nk n∗r) pnr2(k−r)2[nr]
k2[
1ε
+ 2(1− lnx) + 1xLi2(x) k2κ
[1ε
+ 2(1− ln κ) + 1κLi2(κ)
− 1xζ(2) + ε (4 + ζ(2)− 2ζ(3))
]− 1κζ(2) + ε (4 + ζ(2)− 2ζ(3))
]pn
r2(l−r)2[nr]1
2ε2x−1−ε(1− ε2ζ(2) + 2ε3ζ(3)) −κ−ε 1
ε
(1− 1
κ
)(1 + ε2ζ(2))
(r2−2nl n∗r) pnr2(l−r)2[nr]
−2k2x−ε[
1ε
+ 2 + ε(4− ζ(2))]
0
pn(p−r)2(k−r)2[nr]
1x
[lnxε− 1
2ln2 x− Li2(x)
(1ε
+ 2 + 4ε+ εζ(2))
(κ−ε − 1)
−εx+ 2εζ(2) lnx]
+(1− 1
κ
)ln κ+ ε(3− ζ(2))
pn(p−r)2(l−r)2[nr]
does not occur 1ε2
(1 + ε2ζ(2)) (κ−ε − 1)
pn(k+r)2(l−r)2[nr]
(x−ε − x−ε)(
1ε2− ζ(2) + 2εζ(3)
)−κ−ε
[1ε2
+ 2ζ(2) + 2εζ(3)]
−3ζ(2)x−ε
pnr2(p−r)2(k−r)2[nr]
1k2
[1ε2
+ lnxε− 2Li2(x) 1
k2
[1ε2
(1− κ−ε)
−12
ln2 x− 2εζ(3)]
−κ−ε (Li2(κ) + ζ(2))
−2 (Li2(κ)− ζ(2) + εζ(3))]
pnr2(k+r)2(l−r)2[nr]
x−1−ε
k2
[3
2ε2+ lnx
ε− Li2(x) 1
k2κ
[1ε
ln κ+ Li2(κ)− 12
ln2 κ
−12
ln2 x− 52ζ(2)− ε (x+ 5ζ(3)) −κ−ε
(1ε2
+ 3ζ(2) + 6εζ(3)) ]
−12ε ln x(ln2 x− 2Li2(x)− lnx ln x)
]pn
r2(p−r)2(l−r)2[nr]does not occur 1
k2
[1
2ε3− ζ(2)
2ε− 3ζ(3)
](after integration
∫ 1
0dκκ−ε)
2k2
[1ε
+ 3 + ζ(2)]
(after integration∫ 1
0dκκ1−ε)
Table 4: Two– and three–point integrals with a light–cone gauge denominator forthe ML prescription, calculated up to O(ε). We have dropped the ubiquitous factori/16π2 (4π/|k2|)
εΓ(1 − ε)/Γ(1 − 2ε). x and κ have been defined in Eqs. (A.9) and (A.10),
respectively.
30
Appendix B: Three–particle phase space
As we discussed in Sec. 1, the phase space for two gluons (plus one ‘observed’ parton)
will split up into four pieces for the ML prescription:
PS1 = x
∫ddl1d
dl2 δ
(1− x−
nl1 + nl2pn
)δ(l21)δ(l22) ,
PS2 = x
∫ddl1d
dl2 δ
(1− x−
nl1 + nl2
pn
)δ(l21 + l21,⊥)δ(l22) ,
PS3 = x
∫ddl1d
dl2 δ
(1− x−
nl1 + nl2
pn
)δ(l21)δ(l22 + l22,⊥) ,
PS4 = x
∫ddl1d
dl2 δ
(1− x−
nl1 + nl2pn
)δ(l21 + l21,⊥)δ(l22 + l22,⊥) , (B.1)
where l1,l2 are the gluon momenta. The δ functions in (B.1) determine whether one (or
both) of the gluons acts as an axial ghost.
As we know from the discontinuity in (4), the tensorial structures of the non–ghost
part and the ghost part are different. However, we can rewrite (4) as
disc [Dµν(l)] = 2πΘ(l0)2n∗l
l2⊥
(δ(l2)− δ(l2 + l2⊥)
)[− gµν(nl) + nµlν + nνlµ
]. (B.2)
This is possible because of 2n∗l/l2⊥ = 1/nl for l2 = 0 and (nl)(n∗l) = 0 for l2 + l2⊥ = 0.
In this way, it is always possible to calculate just one combined matrix element, using
the tensorial structure in square brackets, and integrate it over a phase space subject to
simply the difference δ(l2)− δ(l2 + l2⊥). For our two–gluon case, this means that we have
to consider only the combination
PS1 − PS2 − PS3 + PS4 . (B.3)
We now introduce the Sudakov parametrizations
lµ1 = (1− z)pµ +l1p
pnnµ + lµ1,⊥ ,
lµ2 = z(1− y)pµ +l2p
pnnµ + lµ2,⊥ , (B.4)
where (lµi,⊥)2 = −l2i,⊥. The first δ functions in (B.1) imply y = x/z. If one wants to
integrate over an arbitrary function f of scalar products of the momenta, one writes the
To see how to extract the imaginary part of a loop integral, let us go back to our example
in (A.4) for the case q = l there. The integration over the Feynman parameter s in (A.4) is
trivial and can be done immediately. Rather than performing straightaway the integration
over t to get the general result of the integral for arbitrary l2, it is more convenient to
include the τ integration of (24) in the calculation and carry it out first:∫dττ−εI(n, l) =
−iΓ(1 + ε)
16π2ε
1
[nl]
( 4π
|k2|
)ε(1− x)−εxε
∫ 1
0
dt t−1−ε
∫ τmax
τmin
dττ−ε
×
[(τ(1− tx)− 1)−ε − (1− t)−ε(τ − 1)−ε
], (C.1)
where we have used the definitions in (25). To result in an imaginary part6, the limits
for the τ integration have to be chosen in such a way that those terms in (C.1), that are
raised to the power −ε, become negative, i.e., 0 < τ < 1/(1 − tx) for the first term in
square brackets in (C.1) and 0 < τ < 1 for the second. The τ integrations become trivial
then and lead to simple beta–functions. Afterwards, the t integration can be performed;
the result is given in Tab. 5 where we also list other integrals that we encountered. As
can be seen from Tab. 5, we also needed some integrals with an extra factor τ or (1− τ)
in the numerator. We do not consider the covariant integrals in Tab. 5 since in their case
the extraction of the imaginary part is rather straightforward.
As we discussed in Sec. 2.2 (see Eq. (27)), we have terms ∼ 1/l2 ∼ 1/(1 − τ) in the
calculation, resulting from the propagator of the gluon running into the loop, and to be
treated according to the principal value prescription. Therefore, we will also need integrals
like (C.1) with an extra factor 1/(1 − τ) in the integrand. Such integrals are in general
much more difficult to calculate. A typical integral needed is
PV
[ ∫ 1/(1−tx)
0
dτ
1− τ
]= ln
(1− tx
tx
). (C.2)
The integrals with an extra denominator 1− τ are also collected in Tab. 5.
We finally emphasize that Table 5 does not contain all terms ∼ ε, but is in general
correct only to O(1). The only O(ε) terms that are fully accounted for in Tab. 5 are
6We obviously do not take into account the overall factor i here.
34
those ∼ ζ(2). We have not consistently determined the other contributions ∼ ε, because
this is a very hard task. Therefore, since terms like (1 − x)−1−ε will lead to further pole
factors ∼ δ(1 − x)/ε via Eq. (12), we will not be able to calculate the finite amount of
δ(1 − x) in the final result for the CFNC part of the two–loop splitting function, except
for the contributions ∼ ζ(2)δ(1− x). However, the expressions in Tab. 5 are sufficient for
checking graph by graph the cancellation of all pole terms proportional to δ(1 − x), i.e.,
for proving the finiteness of the 2PI kernels at x = 1 in the ML prescription.
35
−IP[
1iπ
∫ddr/(2π)d
] ∫dττ−ετα(1− τ)β
∫dτ τ
−ε
1−τ
pnr2(l−r)2[nr]
1x
[(1 + 2ε)1−x−ε
ε+ εζ(2)
]1
2ε2x−1−ε(1− ε2ζ(2))
(α = 0, β = 0) + 1x(Li2(x)− ζ(2))
(r2−2nl n∗r) pnr2(l−r)2[nr]
does not occur k2[− 1
ε− 1− 1
x+ lnx
− ln x(1− 1x)− 2x−ε
]pn
(p−r)2(k−r)2[nr]−x−1−ε lnx x−1−ε
[lnxε
+ 12
ln2 x
(α = 0, β = 0) −2Li2(x) + εxζ(2)]
pn(p−r)2(l−r)2[nr]
− 1x
(α = 0, β = 0) does not occur
pn(k+r)2(l−r)2[nr]
1x
[1ε
+ 2 + lnx]
(1− x−ε)( 1ε2− ζ(2))− lnx
ε
(α = 0, β = 0) +ζ(2)− 2Li2(x)− 12
ln2 x
pnr2(p−r)2(k−r)2[nr]
1k2 x−ε[− 1
ε+ 2x
xlnx+ εζ(2)
]1k2 x−ε[
1ε2
+ 2 lnxε
(α = 0, β = 0) −4Li2(1− x)− ζ(2)]
pnr2(k+r)2(l−r)2[nr]
1k2x
[− (1− x−ε)( 1
ε2− ζ(2)) 1
k2x
[32x−ε( 1
ε2− ζ(2))
−Li2(x)− lnx ln x]
+2(Li2(x)− ζ(2))]
(α = 0, β = 0)
xk2x2
[1ε
+ 2− 2 ln x(1− 1x) + lnx
](α = 1, β = 0)
pnr2(p−r)2(l−r)2[nr]
xk2x
[− (1− x−ε)( 1
ε2− ζ(2)) + lnx
εdoes not occur
+2Li2(x) + 12
ln2 x− 3ζ(2)]
(α = 0, β = 0)
xk2x2
[− x
ε− 2 + 3x+ 2x ln x
−(1− 3x) lnx]
(α = 0, β = 1)
Table 5: Imaginary parts ‘IP ’ of loop integrals for the ML prescription, after integrationover the variable τ of the LO phase space (24). As before we have defined x = 1 − x. Theintegrals are in general only correct to O(1); see text. Note that terms ∼ (1 − x)−ε mustnot be expanded in ε, as further pole terms can arise via Eq. (12). We have dropped theubiquitous factor 1/16π2 (4π/|k2|)ε Γ(1− ε)/Γ(1− 2ε).
36
Appendix D: Mellin moments
The Mellin–moments of a function f(x) are defined by
fn ≡
∫ 1
0
dxxn−1 f(x) . (D.1)
As a result, the moments of a convolution f ⊗ g (see Eq. (32)) become the product of the
moments of f and g:
(f ⊗ g)n = fn gn . (D.2)
The moments of (31) are easily obtained using the formulae in the appendix of [30]. To
invert the moments of the product fngn back to x–space, one needs some further moment
expressions. Everything can be derived from the relations in [30], and from∫ 1
0
dx xn−1 ln2(1− x) =1
n
(S2
1(n) + S2(n)),∫ 1
0
dx xn−1
[ln2(1− x)
1− x
]+
=1
n
(S2
1(n) + S2(n))−
1
3S3
1(n)− S1(n)S2(n)−2
3S3(n) ,∫ 1
0
dx xn−1Li2(x) =1
nζ(2)−
1
n2S1(n) ,∫ 1
0
dx xn−1 lnx ln(1− x) =1
n
(S2(n)− ζ(2)
)+
1
n2S1(n) , (D.3)∫ 1
0
dx xn−1 lnx ln(1− x)
1− x=
(S2(n)− ζ(2)
)(1
n− S1(n)
)+
1
n2S1(n)− S3(n) + ζ(3) ,
where
Sk(n) ≡n∑j=1
1
jk. (D.4)
37
Appendix E: Two–loop integrals
For the calculation of the CFTf part of the two–loop quark self–energy we need some
integrals with an extra non–integer power of −r2 in the integrand, where r is the loop
momentum. Making use of the identities
1
aαb= α
∫ 1
0
dxxα−1
[ax+ b(1− x)]α+1 ,
1
aαbc= α(α+ 1)
∫ 1
0
dx
∫ 1−x
0
dyxα−1
[ax+ by + c(1− x− y)]α+2 , (E.1)
one obtains rather easily:∫ddr
(2π)d(−r2)
−ε
(p− r)2=
i
16π2(4π)ε
(−p2
)1−2ε εΓ(2ε)
Γ(1 + ε)
Γ(1− ε)Γ(1− 2ε)
Γ(3− 3ε), (E.2)∫
ddr
(2π)d(−r2)
−ε
r2(p− r)2=
i
16π2(4π)ε
(−p2
)−2ε Γ(2ε)
Γ(1 + ε)
Γ(1− ε)Γ(1− 2ε)
Γ(2− 3ε), (E.3)∫
ddr
(2π)d(−r2)
−ε
r2(p− r)2[nr]=
(−p2
)−ε (1 + ε2ζ(2)
) ∫ ddr
(2π)d1
r2(p− r)2[nr], (E.4)
where the integral on the right–hand–side of (E.4) was determined in App. A and is
actually finite. For the ML prescription we therefore do not need the integral on the
left–hand–side of (E.4); however, we will see below that the integral is divergent for the
PV prescription. Also note that the integral in (E.2) vanishes if the factor (−r2)−ε
is not
present.
Finally, for the PV prescription one obtains for the integral in (E.4):∫ddr
(2π)d(−r2)
−ε
r2(p− r)2[nr]=
i
16π2(4π)ε
(−p2
)−2ε 1
2εpn[I0 + εζ(2)− 2εI1] +O(ε) , (E.5)
while∫ddr
(2π)d1
r2(p− r)2[nr]=
i
16π2(4π)ε
(−p2
)−ε 1
εpn[I0 + εζ(2)− εI1] +O(ε) . (E.6)
Here
I1 ≡
∫ 1
0
u lnu
u2 + δ2du . (E.7)
38
References
[1] See e.g. Yu.L. Dokshitzer, D.I. Dyakonov and S.I. Troyan, Phys. Rep. 58, 270 (1980).
[2] A. Bassetto, G. Nardelli, and R. Soldati, Yang–Mills Theories in Algebraic Non–
covariant Gauges, World Scientific, Singapore, 1991.
[3] A. Bassetto, M. Dalbosco, I. Lazzizzera, and R. Soldati, Phys. Rev. D31, 2012 (1985).
[4] A. Bassetto, M. Dalbosco, and R. Soldati, Phys. Rev. D36, 3138 (1987).
[5] S. Mandelstam, Nucl. Phys. B213, 149 (1983).
[6] G. Leibbrandt, Phys. Rev. D29, 1699 (1984).
[7] A. Bassetto in QCD and High Energy Hadronic Interaction, ed. J. Tran Than Van,
Frontieres 1993; Nucl. Phys. Proc. Suppl. 51C, 281 (1996).
[8] A. Bassetto in Proceedings of the VIII Warsaw Symposium on Elementary Particle
Physics, ed. Z. Ajduk, Warszawa 1985.
[9] G. Curci, W. Furmanski, and R. Petronzio, Nucl. Phys. B175, 27 (1980).
[10] W. Furmanski and R. Petronzio, Phys. Lett. 97B, 437 (1980).
[11] R.K. Ellis, H. Georgi, M. Machacek, H.D. Politzer, and G.G. Ross, Phys. Lett. 78B,
281 (1978); Nucl. Phys. B152, 285 (1979).
[12] R.K. Ellis and W. Vogelsang, CERN–TH/96–50, RAL-TR-96-012, hep-ph/9602356.
[13] G. Altarelli and G. Parisi, Nucl. Phys. B126, 298 (1977).
[14] E.G. Floratos, D.A. Ross, and C.T. Sachrajda, Nucl. Phys. B152, 493 (1979);
see also: A. Gonzales-Arroyo and C. Lopez, Nucl. Phys. B166, 429 (1980).
[15] R. Hamberg, W.L. van Neerven, Nucl. Phys. B379, 143 (1992);
see also: Y. Matiounine, J. Smith, and W.L. van Neerven, hep-ph/9801224, to