arxiv:hep-th/ v1 2 Jul 1998

Transcription

1 α-representation for QCD Richard Hong Tuan arxiv:hep-th/ v1 2 Jul 1998 Laboratoire de Physique Théorique et Hautes Energies 1 Université de Paris XI, Bâtiment 210, F Orsay Cedex, France Abstract An α-parameter representation is derived for gauge field theories. It involves, relative to a scalar field theory, only constants and derivatives with respect to the α-parameters. Simple rules are given to obtain the α-representation for a Feynman graph with an arbitrary number of loops in gauge theories in the Feynman gauge. LPTHE Orsay July Laboratoire associé au Centre National de la Recherche Scientifique - URA D0063

2 An α-parameter representation may be useful for a variety of purposes. It was essential in deriving [1] string motivated one-loop rules for connecting φ 3 amplitudes to QCD amplitudes. Starting from a φ 3 α-parameter representation one gets a QCD α-parameter representation by multiplying the φ 3 expression by a reduced factor which is calculated by methods of stringtheory. However, going to more than one-loop level appears difficult. Here, we propose an α-representation for gauge theories which can be easily realized by simple rules involving derivatives with respect to the α-parameters and for any number of loops. Such a representation may also be useful to compute Regge trajectories for QCD as we have done [2] for φ 3. Let us start with the amplitude for a Feynman graph G of a scalar field theory with I internal lines and V vertices [3]. We define the incidence matrix ε vl with indices running over vertices v and propagators l as ε vl = 1 if v is the starting point of l if v is the endpoint of l (1) 0 if l is not incident with l. Let us denote by P v = p kv the sum of incoming external momenta at the vertex v. Then, in a theory without derivative couplings, i.e. a scalar field theory, we get for the Feynman amplitude F G of G (in d = 4 dimension) 2

3 F G = [C(G)/S(G)] [ I l=1 d 4 k l 2π 4 ] i V kl 2 m2 l + iε (2π) 4 δ (P 4 v ) I ε vl k l l=1 where C(G) contains the vertices factors dependence and S(G) is the symmetry factor. The four-momentum k l is oriented as the line l is. Now, (2) i/ ( p 2 m 2 + iε ) = 0 dα exp [ iα(p 2 m 2 + iε) ] (3) ) I [ ( (2π) 4 δ (P 4 v ε vl k l = d 4 y v exp iy v P v )] ε vl k l. (4) l=1 l Inserting (3) and (4) in (2) and interchanging integrations order (regularization is needed for divergent integrals) we get for each d 4 k l integration = d 4 k l /(2π) 4 exp [iα l ( d 4 k l /(2π) 4 exp { iα l [ (kl +(2α l ) v k 2 l + α l )] y v ε vl k l i ) 2 y v ε vl (4α 2 l ) ( ) 2 ]} y v ε vl. v (5) The k l dependence is now concentrated in the first term of the exponential. This is crucial for what follows. Derivative couplings manifest themselves through k µ l factors. Uneven powers of k l cancel after making the variable substitution k l k l (2α l ) v y v ε vl, (6) 3

4 the exponential is then simplified and any kl 2 factor with transform, giving a k l -dependent integral d 4 k l /(2π) 4 exp ( ) [ iα l kl 2 k l (2α l ) ] 2 y v ε vl. (7) However, this is precisely the kind of factor QCD will exhibit. If, in Feynman gauge, L 0 = /4 ( µ A a ν ν Aµ) a ( µ A aν ν A aµ ) /2 ( µ Aµ) a 2 + ( µ χ a ) ( µ χ a ) + ψ (iγ µ µ m)ψ (8.a) v L 1 = g/2 f abc ( µ A a ν ν A a µ g 2 /4 f abc f cde A a µ A b ν A cµ A dν ) A bµ A cν g f abc ( µ χ a )χ b A c µ + g ψ T a γ µ ψ A a µ (8.b) are respectively the free and the interacting part of the QCD Lagrangian, one remembers that µ is contracted with A bµ, a field upon which µ does not act in (8.b). If there is another µ acting on the same propagator, but at the other end, a dot-product µ µ is made (contracting indices along propagators joining the ends of the first propagator on which the considered µ s act) and we get, Fourier transforming (putting aside coupling constants) ( ik µl ) (ik µ l ) = k2 l. (9) 4

5 Making the variable change we therefore get (7) or, eliminating odd powers of k l which give vanishing contributions, d 4 k l /(2π) 4 exp ( iα l k 2 l ) k 2 l + (2α l ) 2 ( v ) 2 y v ε vl. (10) Now, the crucial remark is that the bracket in (10) can be obtained by the derivation with respect to iα l of the integrand of (5). This is a very simple rule indeed to obtain the kinematical factor associated with a derivative coupling : excluding the factor exp( iα l m 2 l), we simply have to take the derivative of the integrand with respect to iα l. Of course, there can be other dot-products arising involving k µ s like (k µ ε µ )(k v ε v ), (k 1µ k 2)(k µ 2ν k1 ν ). However, because, in d dimensions, d d k l k µ l kν l f(k2 l ) = (gµν /d) d d k l k 2 l f(k2 l ) (11) all dot-products will give factors proportional to k 2 l and the rule given above will hold up to a d-dependent coefficient. For instance, for (k 1 k 2 )(k 2 k 1 ) this coefficient will be d/d 2 = d in factor of the operator / (iα 1 ) / (iα 2 ). If we perform the d d k l integrals (no derivation being done) we get, in d dimensions (in order to allow for dimensional regularization) V [ F G = [C(G)/S(G)] d d I y v dα l i (d 2)/2 (4πα l ) d/2 0 l=1 ( V ) 2 ( ) exp i α l m 2 l + y v ε vl /(4α l ) exp i y v P v. (12) 5

6 Making the change of variable z i = y i z v i = 1,, V 1 (13) z V = y V because V ε vl = 0 (l connects two and only two vertices), z V only appears in ( ) the last exponent of (12) and the integration over z V yields a factor δ d P v v implying energy-momentum conservation. There remains V 1 independent variables z v to be integrated over. Separating the z v dependent factors, the z v integral reads exp i l I H = [ V ( V (4α l ) d d z v ] H({j l }) z v ε vl ) 2 + V z v P v (14) where H({j l }) represents factors coming from the derivative couplings through j l s defined as j l = (2α l ) z v ε vl. (15) As previously quoted, to kl 2 is associated (k l j l ) 2 through the change of variable (6), giving kl 2 + j2 l, eliminating the term linear in k l. The jl 2 term is obtained by letting / (iα l ) act upon (14). However, we may have other sources of j l dependence occurring in H({j l }). Let us explain this. 6

7 If G were a tree, then G would have only V propagators and a variable change (with Jacobian equal to one) z v V z v ε vl (16) would be feasible while keeping j l s independent of each other as far z v dependence is concerned. Then, any factor j l j l, coming for instance from a factor (k l j l ) (k l j l ), with l l, would factorize into independent integrals, making the evaluation of (14) straightforward. But, as soon as G contains loops, because around a loop L l L ( ε l z v ε vl ) = 0, ε l = ±1 (17) if l and l belong to the same loop L, j l and j l are not independent and we have a more difficult integration to do. We now treat the general case where loops are present. We first eliminate the linear term in the exponential of (11) through a variable change which yields V 1 equations z v z v β v (18) (1/2) β v v =1 The V 1 by V 1 symmetric matrix d G defined as l ε v l α l ε vl + P v = 0. (19) 7

8 [d G (α)] v1 v 2 = l ε v1 l α l ε v2 l (20) is known to be non-singular and its determinant reads G (α) = T l T α l (21) where the sum runs over all spanning trees T of G ( a spanning tree is a tree incident with every vertex of G). We therefore get β v = 2 which means that a factor j l j l j l j l P v v =1 ( V j l j l + (4α l α l ) [d G (α)] v v (22) is transformed according to +terms linear in j l or j l. ) ( β v ε vl v =1 β v ε v l ) (23) We now make an orthogonal transformation in order to diagonalize d G (α). Then, performing the integration over the V z v vectors, the terms linear in j l and j l vanish and for H({j l }) = j l j l we get (two derivations of (14) with respect to ip v also do the job) I H = I 0 (4α l α l ) V 2id + β v1 ε v1 l v 1 =1 v 1,v 2 =1 v 2 =1 ε v1 l [d G (α)] v 1 v 2 ε v2 l β v2 ε v2 l (24) 8

9 with I 0 = i (V )(d 2)/2 (4π) (V )d/2 [ G (α)] d/2 V exp i v 1,v 2 =1 P v1 [d G (α)] v 1 v 2 P v2 (25) I 0 being I H for H({j l }) = 1. One remarks that, of course, if l and l belong to the same spanning tree, I H reduces to its second term in (24). Now, if l and l belong to the same loop L, we get according to (17), j l j l = (4α l α l ) z v1 ε v1 l ε l v 1 =1 l 1 l l 1 L ε l1 z v2 ε v2 l 1. (26) v 2 =1 Cutting L at l, we get that all l 1 l belonging to L are on a spanning tree of G. Then, the crossed terms in (26) with l 1 l will not contribute, leaving us only with ( V ε l ε l (4α l α l ) z v ε vl ) 2 (27) because all j l s on a spanning tree are independent. As (27) is proportional to j 2 l it can be obtained by a derivation and (24) will be written (using (14)) I H = ε l ε l (α l /α l ) / (iα l )I 0 (28) as can be easily checked against (24) by a direct evaluation where we remark that the first term in (24) comes from derivating [ G (α)] d/2 and the second 9

10 one from derivating the exponential. Now, instead of dot-products one may have tensor products for j l s coming for instance from the dot-products (k 1 j 1 ) (k 2 j 2 ) (k 2 j 2 ) (k 1 j 1 ). However, after the variable-shift (18) has been made the formula (11) can be applied to j l s as well as to k l s. We can now give the procedure for writing, in the Feynman gauge, the α-parameter expression for any QCD graph amplitude : i) Write the Feynman numerator which is a polynomial in dot-products and tensor-products of P v s, k l s and g µν s. ii) Replace each internal momentum k l by k l j l in the Feynman numerator. iii) Choose a spanning tree T on G, for which the j l s will be independent. iv) Replace each j l of a propagator not belonging to T by its expression as a function of j l s belonging to T (use relation (17) for that purpose). v) For each monomial of the Feynman numerator the product of j l s and k l s should be replaced by an operator product Ô according to the following rules (n is a positive integer) k l 0 (29.a) k l k l g µν /d / (iα l ) acting on [ I ] d/2 α l l=1 (29.b) (j l j l ) n [ g µν /d / (iα l ) + b µ l bν l (gµν /d)b 2 l] n acting on I0 (29.c) 10

11 (j l ) 2n+1 where b l = (2α l ) n p=0 C 2(n p) 2n+1 ( b l ) 2(n p)+1 (j l j l ) p acting on I 0 (29.d) V gives the following expression for F QCD G β v ε vl. In (29.d) (j l ) 2n+1 is a tensor product. This in d dimensions F QCD G [ I ] = [C(G)/S(G)]i L (4πi) Ld/2 dα l exp(iα l m 2 l ) 0 l=1 [ I ] d/2 { Ô α l [ G (α)] d/2 exp i {Ô} l=1 V v 1,v 2 P v1 [d G (α)] v 1 v 2 P v2 } (30) where m l is infinitesimal for vector particles, i.e. gluons and {Ô} is the ensemble of monomials in the Feynman numerator. In (29.c) and (29.d) n is at most equal to two because at most three loops can share the same propagator. We have used [4] the representation (30) in the calculations of the oneloop gluon self-energy and obtained the same result as in the conventional approach. 11

12 References [1] Z. Bern and D. C. Dunbar, Nucl. Phys. B379 (1992) 562. [2] R. Hong Tuan, Phys. Lett. B393 (1997) 84 ; preprint LPTHE 97/38, Orsay (1997), hep-ph [3] C. Itzykson and J. B. Zuber, Quantum Field Theory, McGraw-Hill, p [4] R. Hong Tuan, to be published. 12