arxiv: v1 [hep-th] 12 Aug 2014

Transcription

1 Color kinematic symmetric BCJ numerators in a light-like gauge Diana Vaman *, York-Peng Yao arxiv: v [hep-th] 2 Aug 204 * Department of Physics, The University of Virginia Charlottesville, VA 22904, USA Department of Physics, The University of Michigan Ann Arbor, MI 4809, USA Abstract Color-ordered tree level scattering amplitudes in Yang-Mills theories can be written as a sum over terms which display the various propagator poles of Feynman diagrams. The numerators in these expressions which are obtained by straightforward application of Feynman rules are not satisfying any particular relations, typically. However, by reshuffling terms, it is known that one can arrive at a set of numerators which satisfy the same Jacobi identity as the corresponding color factors. By extending previous work by us we show how this can be systematically accomplished within a Lagrangian framework. We construct an effective Lagrangian which yields tree-level color-kinematic symmetric numerators in Yang-Mills theories in a light-like gauge at five-points. The five-point effective Lagrangian is non-local and it is zero by Jacobi identity. The numerators obtained from it respect the original pole structure of the color-ordered amplitude. We discuss how this procedure can be systematically extended to higher order. addresses: dv3h@virginia.edu, yyao@umich.edu

2 Introduction In field theory, a very intriguing result is the Kawai-Lewellen-Tye KLT relation [], which connects gauge theories with gravity. A particular version of the KLT relations was given by Bern, Dennen, Huang and Kiermaier in [2]. Following [2], let us give a brief summary about it in the language of Lagrangian field theory. We symbolically write the tree color-dressed n gluon amplitude as A n = c i n i, Πs i j i wherec i are color factors,n i are numerators made of momenta and polarization vectors, andπs j are appropriate products of inverse propagators, all constructed according to a well defined set of Feynman rules once a gauge choice is made. Bern, Carrasco and Johansson [3] stated that for channels which satisfy the Jacobi identity c i +c j +c k = 0, 2 one can reshuffle terms and obtain a new set of numerators so that they seem to have been constructed completely through some effective three point vertices and thus also satisfy n i + n j + n k = 0. 3 The relations 2 and 3 have been called color-kinematics duality and the numerators which have this property have been called BCJ or color-kinematic symmetric. Together with the antisymmetry of the effective three vertices, 2 leads to a reduction in the number of independent color coefficients ton 2!, and via 3 to the same number of independent numerators. Thus, naively one may also conclude that there aren 2! independent color-ordered amplitudes. Any of such a set is called a Kleiss-Kuijf basis [4]. We can form a column vector for a set of the independent numerators N and another column vector for the set of color-ordered amplitudes in the chosen Kleiss-Kuijf basis A. They are related by A = M N, 4 where the elements of the propagator matrix M are made of sums of products of propagators. An appropriate set of independent color coefficients will form a row vector C, which will yield the color-dressed n particle amplitude A n = C M N. 5 In [5] we pointed out that in fact there aren 3n 3! degrees of arbitrariness in changing the elements in N, which will yield the same A. This freedom in writing up the BCJ numerators was called the generalized gauge transformations in [5] 2. The underlying reason for this is that there are n 3n 3! eigenvectors with zero eigenvalue for M 3 and therefore one can add to 2 In [2] the authors exploited this freedom in their proof of the relationship between gravity and gauge theory amplitudes. 3 Recent work by Cachazo et al. expressed the entries of what we called the propagator matrix M in [5] as partial amplitudes of a double-copy scalar theory with cubic interactions and wrote them in terms solutions to the so-called scattering equations [6].

3 N this number of arbitrary functions, each multiplied to one of the zero eigenvectors. Clearly, it has no effect on A. Seen through this, the true number of independent elements in A is in fact onlyn 3!. It is important that we should be in our possession a set of dual symmetric numerators, because the KLT relation, as expressed by Bern et al in [2], in the present context is a statement that up to coupling constants, the tree levelngraviton amplitude is given by A n gr = Ñ M N, 6 in which ñ i can be numerators due to a different gauge theory or not, which satisfy the colorkinematic duality relations c i + c j + c k = 0, 7 and ñ i +ñ j +ñ k = 0. 8 There are various proposals to construct concretely these color-kinematic symmetric numerators 4. However, in our view they are not straightforwardly implementable via a set of conventional Feynman rules 5. We will demonstrate that in fact a general approach can be so prescribed. We have chosen in what follows to work in a light-like gauge of which space-cone gauge [2] is an example. The reason is our hidden desire to ultimately understand the connection of the gauge Lagrangian to the gravity Lagrangian in some way. The light-like gauges seem to be the most promising, because explicitly there are only two independent fields in each theory in four spacetime dimensions. Indeed, in [8], by working in a light-like gauge, the authors were able to expose the squaring relation between the gravity and gauge theory four-point tree-level amplitudes, at the level of the Lagrangian. However, as we will see, our procedure does not rely on any particular gauge choice, in the sense of a specific choice of the light-like vector which can dramatically reduce the number of Feynman diagrams as in [2] 6, if all we care is to obtain color-kinematic symmetric numerators. We have described how to relate the Kleiss-Kuijf set of amplitudes to numerators which are color-kinematic symmetric. When the numerators are not initially color-kinematic symmetric, as it 4 See for example [7, 8, 9, 0]. 5 The exception is [] who set out to derive BCJ numerators using a covariant Feynman gauge. In doing so they extended the particular effective five-point Lagrangian obtained by Bern et al in [2]. However their approach is somewhat less transparent than the steps we undertake in this paper and we were unable to see a direct translation of their algorithm into ours. 6 Another benefit of the space-cone gauge is that it allows a straightforward proof of the BCFW on-shell recursion relations [3], at the level of Feynman diagrams [4]. By choosing the null space-cone gauge fixing vector such that it is expressed in terms of the two external gluon momenta which are analytically continued in the BCFW recursion, the only z-dependence in the analytically continued Feynman diagrams comes from the propagators. Then BCFW factorization is simply a statement about partial fractioning of the propagators in the Feynman diagrams followed by a regrouping into products of lower n-point amplitudes. In another application, the MHV Lagrangian was shown by Mansfield [5] to be derived from a unitary transformation acting on the fields of the light-cone gauge fixed Lagrangian. Light-like gauges are useful beyond tree-level as well. We recall that Mandelstam used light-cone gauge for his proof of the UV finiteness of maximally supersymmetric Yang-Mills theories in four space-time dimensions [6]. On-shell recursion at one loop is also somewhat subtle, but space-cone gauge makes it for an easier approach [7]. 2

4 is generally the case if we just apply Feynman rules as we normally would to calculate amplitudes, then we must give a recipe how to modify them to make them so. The important criterion to observe is that the color-ordered amplitudes should be the same under such modifications. To be more specific, if we start out with we shall make changes such that which is equivalent to having the changes to absorb the violation Now, we demand that from n i +n j +n k = ijk 0, 9 n l n l = n l +δn l 0 n i + n j + n k = 0, δn i +δn j +δn k = ijk. 2 i c i δn i Πs j i = 0. 3 It is easy to see that there are onlyn 2! independentδn l and upon expressing the others in terms of them and s, we find that we end up with an equation D = M δn, 4 in which δn is a column vector with the independentδn s as entries, D is made of the s, and M is the same matrix as in 4. Just as before, because of the existence of eigenvectors with null eigenvalue in M, we cannot invert the equation forδn l uniquely; there are onlyn 3! linear combinations of them which are active. We must make some ansatz for the functional forms of theseδn s and solve for them, which also points to the fact that there is in principle a whole host of choices one can make to render the numerators dual symmetric. What we would like to reiterate is that the s are constructed through Feynman rules. They are uniquely given, once a gauge is picked. On the other hand, there are n 3n 3! degrees of freedom in choosing δn s and hence dual symmetric n s, which agree with the number of generalized gauge transformations one can make. By the same token, there are n 2! entries ind, and we can use any n 3! of them for the inversion of 4. We will fix, in part, this freedom by requiring that the numerator shifts δn do not introduce spurious poles. In other words, we require that the original pole structure expressed in writing the color-ordered amplitudes as in, where n i are obtained via Feynman rules, is preserved. This will result in a tighter set of constraints imposed on the numerator shifts. For the five-points, the freedom in the numerator shifts reduces then to two arbitrary constants. As a consequence, we obtain color-symmetric numerators n i in 4 which will also preserve the original pole structure. In the next few sections we will explicitly follow the program just outlined for n = 4, 5, to obtain a set of shifts which render the numerators color-kinematic symmetric. We will write an effective Lagrangian for them. The parametrization of the other dual symmetric shifts will be 3

5 given. It will become obvious that the same procedure should work for any number of particles and in any light-like gauge. The plan of this article is as follows. In Section 2 we give a quick overview of Yang-Mills theories in non-covariant, light-like gauges. We also introduce here our notation. In Section 3 we discuss four-point amplitudes as derived from the gauge-fixed Lagrangian. We notice that similar to results derived in covariant gauges, the numerators are already BCJ symmetric. The next two sections, 4 and 5, are dedicated to the five-point amplitudes and the corresponding numerators. The numerators obtained via Feynman rules are not BCJ symmetric. However, we show that there is an effective null five-point Lagrangian which induces shifts of the numerators such that the end result is BCJ symmetric. We relegate technical details and intermediate results to four of the appendices. We make some final remarks in Section 6 and comment on extending our procedure to six-point functions in Appendix E. 2 Notation, conventions, and a quick overview of light-like gauges: Throughout this paper we work in four space-time dimensions. The Lorentz metric we use is defined via the scalar product where we have introduced the notation P µ Q µ = P 0 Q 0 + P Q = p q + pq p + q p q +, 5 p ± 2 P 0 ±P 3, p 2 P +ip 2, p 2 P ip 2. 6 We reserve capital letter notation for vectors carrying Greek indices: P µ = P 0, P. Following [2], we introduce the reference commuting spinors ± and ±], normalized to + = [ +] = 7 but otherwise arbitrary. Then the set of null vectors{ + [+, [+, + [, [ } forms a basis and the four-vector components introduced earlier in 6 are obtained from the decomposition P = p + + [+ + p [ + p + [ + p [+. 8 IfP µ is a null four-vector, i.e. there exist spinors such thatp = p [p, then p = p+ [p ], p = p [p+], p + = p [ p], p = p+ [+p]. 9 Starting with the Yang-Mills Lagrangian L = 4 F µνaf µν a 20 whereais an adjoint color index and the field strengthf µν a is given as F µνa = µ A νa ν A µa +gf abc A µb A νc, 2 4

6 one can reach the non-covariant gauge [2] a b = This is analogous to the more familiar light-cone gauge fixing condition a + b = 0. Both gauges are light-like, in the sense that one sets to zero a component of the gauge field along a given null vector. In components, the Yang-Mills Lagrangian is L = [ 2 + a a a + a +gf abc a + b 4 a c a + a + a a +gf ade a d a+ e 4 + a a a + a +gf abca + b a c ā a a a +gf adea dāe 4 + ā a a + a +gf abca + b āc a a a a +gf adea d a e ] +2 ā a a a +gf abc a b ā c a a ā a +gf ade ā d a e 23 where all derivatives are understood to be µ. For example, + =, = etc. In momentum x x space these derivatives convert simply to factors of the corresponding momentum components: + becomesip +, becomes ip etc. After using the gauge fixing conditiona b = 0,ā b is independent of the time -derivative and so it can be eliminated from its equation of motion, ā b = [ ] + a b + a + b gf bcd a c a+ d + a+ c a d 24 The gauge fixed Lagrangian becomes L = a a µ µ a + a +2gf abc + a a a b a+ c +2gf abc a+ a a+ b a c +2g 2 f abc a b a+ c 2f adea + d a e. 25 This Lagrangian contains now only the two physical degrees of freedom of a gauge field in four space-time dimensions: positive and negative helicities corresponding respectively to the a + and a components. 7 This yields the following Feynman rules: 7 Note that in [9], the gauge-fixed Lagrangian given in 4 has a sign typo in the kinetic term. For another comparison, [2] have their Lagrangian being normalized as L = 8g TrF 2 µν F µν with F µν F µν a T a = µ A ν a ν A µa T a + A µb A ν c [T b,t c ]. After rescaling the gauge fields A µa ga µa, and using that in the adjoint representation the gauge group generators equal T a bc = if abc where f abc are the structure constants [T a,t b ] = if abc T c, their Lagrangian becomes our 25 up to an overall factor 2 times a normalization factor N obtained from the evaluation of the traces TrT a T b = Nδ ab. Taking N = 2 results in agreement between the Lagrangian in [2] and 25 up to an overall sign. 5

7 Propagator: = iδ ab P b + 3 Three-point vertices: a c = 2gf abc p p p 2 p2 2 b + 3 a c = 2gf abc p+ p p+ 2 p2 Four-point vertices 8 : b c 2 b + 3 c + a 2 b = µ µ + µ µ + a 4 d + a 4 d 4 d + 3 c = 2g 2 if abe f cde p p 4 +p 2 p +p 2 2 s 2 s 2 + 2g 2 if dae f bce p p 2 + p 4 p +p 4 2 s 4 s 4. These Feynman rules need to be supplemented by the insertion of external line factors. These originate in the polarization vectors and their components corresponding to the positive or negative helicity of a given external line. More concretely, ǫp + = [ p] +p, ǫp = +p [ p], 26 need to be inserted for each external line with momentum P and positive or negative helicity respectively. Chalmers and Siegel noted the advantage which comes from choosing the reference spinors in such a way that + [+ is the momentum of an external negative helicity gluon and [ is the 8 We choose to interpret the quartic term in the Lagrangian 2g 2 f abc a b a+ c f 2 ade a + d a e as 2g 2 µ f abc a b a+ c µ f 2 ade a + d a e. The manifest propagator in the denominator makes it clear how we choose to assign the contribution of the four-point vertex to the numerators. We note that a similar choice was made by []. 6

8 momentum of an external positive helicity gluon up to a normalization factor. This choice leads to the least number of Feynman diagrams for a given process far less then in other more covariant gauges, and they referred to it as space-cone gauge [2]. However, here we work in full generality, and keep the reference spinors arbitrary. To emphasize this distinction we will refer to the gauge condition in 22 as a light-like gauge condition. It should be pointed out that in a light-like gauge, where we separate out particles of two different helicities, the symmetries among like helicity particles are explicit, while those between unlikes must be imposed by hand. In the usual fashion, we will convert the structure constant factors into traces over the group generators, and compute color ordered amplitudes.the tree level n-gluon scattering amplitude is then equal to the sum over the color-ordered partial amplitudes A n = ig n 2 σ Tr[T aσ T aσ2...t aσn T aσn ]Aσ,σ2,...σn, 27 whereσ is a non-cyclic permutation of the external gluons. To identify a given numerator by the labelling of the indices, we follow the convention we developed in [5]. Thus, forngluons, we have a set of color ordered numerators. As a consequence of clockwise vs. counterclockwise tracing, the numerators satisfy ni n i = n ni i n, 28 The indices can be further refined: if two adjacent indices, say j and j +, share the same structure constant f aj a j+ a k, we shall separate them from the other indices by two sets of semicolonsni i j ;i j i j+ ;i j+2 i n. Clearly they are antisymmetric ni i j ;i j i j+ ;i j+2 i n = ni i j ;i j+ i j ;i j+2 i n, 29 because of the form taken by the cubic and quartic vertices. i It is also clear that for each pair of such indices, a propagator 2s j j+ will go with them in an amplitude, where s j j+ = P 2 j + P j+ 2. For example in writing ni i 2 ;i 3 ;...;i n i n, the pole structure associated with it is s i i 2 = P 2 i + P i2 2, s i i 2 i 3 = P 2 i + P i2 + P i3 2,... s i i 2 i 3...i n 2 = P 2 i n +P in 2. 3 Duality for Four Particles: In this section we carry out the program outlined in the Introduction for the simplest case when n = 4. As it is well-known, the configurations ± ± ±± and ± ± ± are trivial, because the amplitudes vanish. The Jacobi permutation of the numeratorsn i +n j +n k vanishes even off-shell. For the maximal helicity violation case and other helicity assignments, we show that when the particles are all on shell the numerators are automatically dual symmetric, if we just apply the Feynman rules to obtain them in any light-like gauge, and particularly in the space-cone gauge. We then extend this to obtain a result for the relevant Jacobi cyclic permutation when the 7

9 particles are off-shell, which will be used in the next section as an insertion. We find here that each term is proportional to the invariant mass of one of the four particles, which is an affirmation that the numerators are BCJ symmetric on-shell, as said already mentioned. Upon using 28 and 29, we see that it is sufficient to deal with the numeratorsn2;34, n3;24, and n23;4. Let us focus on cyclically permuting the first three indices, or n2;34+n23;4+n3; , 30 n23;4 = n2;34 n3; The last equation means that n2;34 and n3;24 can be taken as the independent numerators, while n23; 4 being given by them and the amount of duality violation Similarly, if we Jacobi permute the last three indices we see that using 28 and 29, we are yielded n2;34+n3;42+n4;23 234, = 234, 33 For the color-ordered amplitudes in the Kleiss-Kuijf basis, chosen for concreteness to be composed ofa234 and A324, we have and A234 = n2;34 s 2 + n23;4 s 4 = n2;34 s 2 + s 4 +n3;24 s s 4, 34 A324 = n3;24 s 3 n23;4 s 4 = n2;34 s 4 +n3;24 s 3 + s s The next step is to modify the numerators derived from the use of Feynman rules by adding δn terms such that the resulting n = n + δn numerators obey Jacobi identity, and such that the amplitudes are unchanged. More concretely, n2;34 = n2;34+δn2;34, n3;42 = n3;42+δn3;42, n4;23 = n4;23+δn4;23, 36 are defined so that or n2;34+ n3;42+ n4;23 = 0, 37 δn2;34+δn3;42+δn4;23 = 23/4, 38 8

10 such that the values of the color-ordered amplitudes are not changed. Please note that by definition we are referring to on-shell quantities here. When we extend the amplitudes to amputated Green s functions, we cannot make such a demand. From the requirement that the change made to the numerators does not change the amplitudes, which in terms of the color-kinematic symmetric numerators n are written as A234 n2;34 = M 4, 39 A324 n3; 24 we are led to the following constraint on the numerator shifts in the chosen Kleiss-Kuijf basis: 23 4 δn2;34 = M 4, 40 δn3; 24 s s 4 withm 4 the four-point propagator matrix introduced in [5] M 4 = s 2 + s 4 s 4 s 4 s 3 + s 4. 4 An important observation made in [5] is thatm 4 has an eigenvector with zero eigenvalue λ 0 = s 2, s Then one has the freedom to change the numerators by adding these zero eigenvectors. In doing so, the defining equation 4 remains the same. This freedom was called generalized gauge transformation in [5]. 9 For the four point amplitudes, the implication is that there is only one effective n and one effectiveδn. For the latter, we make the following generalized gauge transformation where δn2;34 δn3; 24 This results in a reduced equation δn2;34 δn3; 24 δn3;24 s 3 λ 0 = δn 0 43 δn δn2;34+ s 2 s 3 δn3; s s 4 = M δn, 45 0 which demands 23 4 = We would like to emphasize that the shiftsδn cannot be obtained in general by making generalized gauge transformations. The four-point case is somewhat special since we will argue that the numerators satisfy the color-kinematic duality without any need to make these shifts. However, this does not extend to the higher n-point numerators. 9

11 We will verify this explicitly in a direct calculation below. In the mean time, it tells us that the numerators calculated through Feynman rules for the on shell n = 4 amplitudes are dual symmetric without any need for modification. We should point out that up to this point, we need not refer to any specific choice of gauge, light-like or covariant, to come to this conclusion. Let us turn to the off-shell situation, by which we mean of course that the invariant mass of each individual particle is non-zero. Also, we do not let the numerator matrix elements act on the polarization tensors. Since we have n2;34+n3;24+n23;4 = n2;34+n4;23+n3;42 47 there is only one Jacobi permutation. Also, for a given number of+and, the specific assignment to each individual particle can be arbitrary, because we cycle them through the permutations above, which will cover all the cases if we relabel the particle number. For ± ± ±±, the case is trivial, because the vertices cannot be matched to make the scattering go. For ± ± ±, we need only three-point vertices of the same type++. In the case we are considering the numerators are n ;3 + 4 = p p p 2 p 2 p +p 2 p +p 2 p +p 2 p 3 p 4, n + 4 ; = p 2 p 2 p 3 p 2 + p 2 +p 3 p 2 + p p p 4, n ;4 2 + = p 3 p p +p p 3 +p +p p 2 p 2 p When we add them, we find that all terms in the sum cancel completely. The ± ± case is the non-trivial one. For one thing, four-vertices make their appearance. In view of the somewhat tedious algebra to bring the expressions to the final form, we are relegating the details to Appendix A. The results are and n 2 + ;3 + 4 = s 23 + p 2 p 2 p 3 p+ 4 p 4 p+ p p +p 2 p 4 + p p +p 2 P2 4 2p 4 + P2 2 2p 2 + p 2p 4 p +p 2 P P2 2p, 49 n3 + ;2 + 4 = s 23 + p 2 p 2 p 3 p+ 4 p 4 p+ p p p 2 + p 4 + p 4 p 2 +p 4 P2 2 2p 2 + P2 2p + p p 2 p 2 +p 4 P2 4 2p 4 + P2 3 2, 50 n ; 4 = p 2 p 2 p 3 p+ 4 p 4 p+ p p +p 4 p 2 +, 5 where we have omitted a product of the four polarization vectors because we are extending the 0

12 result to off-shellp 2 i = P 2 i P 0 i 2 0. We now add them and find n2 + ; n ;4 +n2 + 4 ; 3 + = 2 P2 p p +p 2 p +p P2 2 p 3 3 p +p 2 p 2 +p P2 3 p p 4 p +p P2 4 p p 4 p 2 +p 4 When we go on-shell, by setting Pi 2 0, we have 0, which, as advertised, means that duality holds by the on-shell numerators as calculated through regular Feynman rules, without any need for additional adjustment. We will find the off-shell useful as an insertion in the next section when we look into the five particle case. The fact that it is non-vanishing is an indication that it is non-trivial in enforcing dual symmetry for higher point numerators. As a reminder, the off-shell parts of Pi 2 can be associated with an operator insertion f bac f b a c[ a b a+ a a + b a a a b a+ a a + b a a ] Tr [a, a + ][ a, a+ ], 53 which generates the off-shell and others with = µ µ. 0 For completeness, let us use these numerators to calculate and check one of the color ordered amplitudes. It helps to note that when on-shell and Then some simple algebra gives s ij = p i p j p+ i p i p+ j p j p i p i p j p j, 54 p + a p a p+ b p b = ab + +a +b, p a p a p b p b = [ab][ +] [ a][ b], 55 A = n 2 + ;3 + 4 s 2 n2+ 3 +, 4 s 4 = p p 2 p 4 p 2 p 3 2 p+ 4 p+ 2 ǫ s 2 s 4 p 2 p 4 p ǫ + 2ǫ + 3ǫ = a well-known result. 0 We note in passing that the operator insertion 53 which insures that the off-shell four-point enjoys the colorkinematic duality can be obtained via the following field redefinitiona b a b f bcd f deg a c a e a + g, and its parity conjugate counterpart.

13 We did not make any choice of the reference vectors + [+ or [ up to this point in order to show generality. However, if the intention is to shorten a calculation, then some particular choices can be expeditious. For example, if we take [ + [+ and 2 [2 [, we have ǫ, ǫ + 2, p, p 2 0. However ǫ p +, ǫ + p 2 2, 57 p p 2 and many terms can be dropped to give immediately A = ǫ + 3ǫ 4 p 4 s 4 = Duality for Five Particles: For the five particle amplitudes following [5] we choose the Kleiss-Kuijf basis to be composed of A2345, A4325, A3425, A2435, A4235, A3245. Each of these amplitudes has simple poles in the various kinematic invariants. There are fifteen numerators associated with these poles, owing to symmetries such as 28 and 29. Keeping the same notation as in [5] we denote six of them as follows : n = n2;3;45, n 2 = n2;4;35, n 5 = n3;2;45, n 9 = n3;4;25, n 4 = n4;2;35, n 6 = n4;3; Then we incorporate Jacobi permutations of the last three indices to express n2;5;34 = n +n , n3;5;24 = n 5 +n , n4;5;23 = n 4 +n , n5;2;34 = n +n 2 +n 9 n , n5;3;42 = n 2 +n 5 n 9 +n , n5;4;23 = n n 5 n 4 +n , n23;;45 = n +n , n24;;35 = n 2 +n , n25;;34 = n 9 n We will later give concrete expressions for the s for the configuration Actually there is one extra equation which over-determines the quantities in 60. Thus, for consistency, one If we use color-kinematics duality, these six numerators would be the independent set in terms of which all others are expressed. However, here we are concerned with a Lagrangian-based approach, and as we will see the numerators obtained via Feynman diagrams in a generic light-like gauge do not obey color-kinematics duality. We denote the violation of color-kinematic duality by and we compute the specific s. Only after modifying the numerators by δn shifts will the resulting numerators obey color-kinematic duality. Of course the shifts are required to leave the amplitudes unchanged, as we did in the previous section. 2

14 has to have = , 6 which will be checked. Then color-kinematic duality statement is that there is a set of numerators n s, obeying Jacobi identity under cyclic permutation of three indices. The algebraic relation between the amplitudes and the BCJ numerators is A2345 n2; 3; 45 A4325 n4; 3; 25 A3425 A2435 = M 5 n3; 4; 25 n2; 4; 35 = M 5 A4235 n4; 2; 35 A3245 n3; 2; 45 n n 6 n 9 n 2 n 4 n 5, 62 where the propagator matrixm 5 is given by the following: s 2 s 45 + s 5 s 34 s 5 s 34 + s 23 s 5 s 5 s 34 s 5 s 34 s 2 s 34 s 23 s 5 s 23 s 45 + s 23 s 5 + s 2 s 34 + s 23 s 45 s 5 s 34 + s 5 s 23 s 4 s 25 + s 4 s 23 s 5 s 34 s 34 s 25 s 5 s 34 s 4 s 23 s 5 s 23 s 5 s 23 + s 5 s 23 + s 5 s 34 + s 34 s 25 s 5 s 34 s 5 s 34 s 34 s 25 s 3 s 25 + s 3 s 24 s 5 s 24 + s 5 s 34 s 5 s 24 s 3 s 24 + s 5 s 24 + s 5 s 34 + s 34 s 25 s 2 s 34 s 5 s 34 s 5 s 34 s 5 s 34 + s 5 s 24 s 2 s 35 + s 2 s 34 s 5 s 24 s 24 s 35 s 5 s 24 + s 5 s 34 + s 5 s 24 + s 24 s 35 s 5 s 23 s 4 s 23 s 5 s 23 s 5 s 24 s 5 s 24 s 24 s 35 s 4 s 35 + s 4 s 23 s 5 s 23 + s 5 s 24 + s 5 s 23 + s 5 s 24 + s 24 s 35 s 23 s 45 s 23 s 5 s 5 s 23 s 3 s 24 s 5 s 24 s 5 s 24 s 5 s 23 + s 5 s 24 s 3 s 45 + s 3 s 24 + s 5 s s 23 s 45 s 23 s 5 s 5 s 24 s 5 s

15 As in the four particle case, we achieve color-kinematic symmetry by adding δn to the Feynman rule determined numeratorsn n i = n i +δn i, 64 such that n s have the required symmetry. The net result is that we have the same set of equation as in 60 with n i s replaced by δn i and with each term with a gaining a minus sign. We now impose the requirement that the Feynman numerator shifts by δn i must leave the color ordered amplitudes untouched. For example, we have which yields A2345 = n2;3;45 s 2 s 45 n23;;45 s 23 s 45 n2;5;34 s 2 s 34 + n23;4;5 s 23 s 5 n34;2;5 s 34 s 5, 65 δn + δn δn δn +δn s 2 s 45 s 2 s 34 s 23 s 45 + δn δn 5 δn 4 +δn s 23 s 5 δn +δn 2 +δn 9 δn = 0, 66 s 34 s 5 or, collecting all Jacobi-violating s into a single quantity where δn s 2 s 45 s 2 s 34 s 23 s 5 s 23 s 45 s 34 s 5 δn 2 + +δn 5 s 2 s 34 s 34 s 5 s 23 s 5 s 23 s 45 δn 9 +δn 4 δn 6 = D2345, 67 s 34 s 5 s 23 s 5 s 23 s 5 s 34 s 5 D s 2 s 34 s 34 s 5 s 23 s 5 s 23 s s 23 s 5 s 23 s s 34 s s 34 s In a similar fashion we obtain all the other D s corresponding to the amplitudes in our chosen Kleiss-Kuijf basis, and we list them in Appendix C. Succinctly, starting from the defining relation 62, A = M 5 N, 69 4

16 where A denotes the set of Kleiss-Kuijf amplitudes and N the set of BCJ numerators, we replace n s by n + δn s. On the other hand, the Feynman numerators N = n,n 6,n 9,n 2,n 4,n 5 satisfy A D = M 5 N, 70 where we collected the Jacobi-violating terms into a six-component vector D. Then, the requirement for the shiftsδn is that they should satisfy or, more explicitly, D = M 5 δn, 7 D2345 δn D4325 δn 6 D3425 D2435 = M 5 δn 9 δn D4235 δn 4 D3245 δn 5 The solution for δn i is not unique, because M 5 has four eigenvectors with zero eigenvalue. We gave a rather thorough discussion on this in [5] with regard to the origin of generalized gauge transformations. The effects are that we can determine only two linear combinations ofδn i, which are δn s 2 s 45 s 45 s 2 +s 24 = δn δn 9 +δn 2 s 3 s 24 s 24 s 35 s 2 s 45 s 2 s 24 +s 45 δn 4 +δn 5 s 24 s 35 s 3 s 24 = s 2 s 25 D3425 s 5 +s 25 D2435, 73 and δn s 4 s 24 +s 25 s 4 s 25 = δn 6 +δn 9 δn 2 s 3 s 24 s 24 s 35 s 25 s 4 +s 24 s 4 s 25 +δn 4 δn 5 s 24 s 35 s 3 s 24 = s 25 s 2 +s 5 D3425+s 2 D Another noteworthy remark is that they imply that there should be only two independent D i s, which requires checking for consistency. UsingD s and s in Appendix C and Appendix B, respectively, we find that δn = s 2 s 45 s 24 X, δn = s 25 s 4 s 24 X, 75 where X = p p p 52 p 54 + p 5 p 5 p 2 p 4 p 3 p 2 p 4 +p 52 p 54, 76 5

17 and p 2 = p p 2 p +p 4, p 4 = p p 4 p +p 2, 2 = p 2 +p 4, 4 = p 4 +p 2, p 52 = p 5p 2 p 5 +p 4, p 54 = p 5p 4 p 5 +p We should attach a product of the five polarization tensors to X, which will be understood, because we are dealing with on-shell amplitudes at this point. At this point it seems that the numerator shifts are bound to contain a large degree of ambiguity, since we are only placing a constraint onδn 73 and on δn 74. However, this is not the case if we impose the additional condition that the numerator shifts should not introduce spurious poles. For example, this would require that δn = s 2 s 45 a, δn 6 = s 4 s 25 a 6, δn 9 = s 3 s 25 a 9, δn 2 = s 2 s 35 a 2, δn 4 = s 4 s 35 a 4, δn 5 = s 3 s 45 a 5, 78 where a should have at most simple poles in s 2 and s 45, a 6 should have at most simple poles in s 4 ors 25 etc. We take note thatx is symmetric under 5, but antisymmetric under2 4. Then 75 can be written as and s 24 a s 25 a 9 +s 2 +s 24 a 2 s 4 a 4 +s 24 +s 45 a 5 = X, 79 s 24 a 6 +s 24 +s 25 a 9 s 2 a 2 +s 4 +s 24 a 4 s 45 a 5 = X. 80 Actually 79 and 80 follow from each other, because under and under When we add 79 80, we further obtain 5 : a a 6, a 2 a 9, a 5 a 4, : a a 6, a 5 a 9, a 2 a a +a 6 +a 9 +a 2 +a 4 +a 5 = To solve forδn i, or equivalently for thea i separately, instead of just the combinationsδn andδn, we are guided by symmetry and by the requirement that a s must have at most simple poles in the allowed channels: e.g. a can have at most simple poles in s 2 and ins 45 etc. a = p p x x x 52 p 52 +x 54 p 54 + p 3 y 2 p 2 +y 4 p 4 +y 52 p 52 +y 54 p 54 + p 5 p 5 z 2 p 2 +z 4 p 4 +z z 34 4, 84 6

18 a 5 = p x 32 p 5 2 +x x 52 5p 52 +x 54 5p 54 + p 3 y 2 5 p p 2 +y5 4 p 4 +y5 52 p 52 +y5 54 p p 5 p 5 z 2 5 p 2 +z 4 5 p 4 +z z , 85 where the x s, y s, and z s are functions of s ij. By inspection, from 75 and 76 we infer that they are of the order/s. We obtain the othera s through After some straightforward but tedious algebra, recorded in Appendix D, we obtain x 32 = + α, x 34 = β, x 52 = + β, x 54 = α, s 2 s 45 s 45 s 2 s 45 s 45 y 2 = α, y 4 s 2 s = β, y s 2 s = β, y s 2 s = α, 45 s 2 s 45 z 2 = α, z 4 = β, z 32 = β, z 34 = α, 86 s 2 s 45 s 45 s 2 s 45 s 2 x 32 5 = s 3 α s 45, x 34 5 = s 3 β s 45, x 52 5 = β s 45, x 54 5 = α s 45, y 2 5 = s 3 + α s 45, y 4 5 = s 3 + β s 45, y 52 5 = β s 45, y 54 5 = α s 45, z 2 5 = β α s 3, z 4 5 = s 45 + α β s 3, z 32 5 = α β s 3, z 34 5 = β α s 3 + s Please be reminded that δn = s 2 s 45 a and δn 5 = s 3 s 45 a 5. Thus, there is no spurious singularity in the forms of s 2, s 3 or s 45 in δn or δn 5, nor is there any in other δn s. The numerator shifts are not uniquely determined, there is still some arbitrariness as parametrized by the constantsαandβ. This is due to the fact that we have the freedom of shifting the numerators using the zero-modes of the propagator matrix. This freedom was further restricted here by requiring that the shifts preserve the original pole structure of the Feynman-rules amplitude decomposition, leaving only the undeterminedαand β. Also, we would like to point out that if we choose + [+ P 2 or + [+ P 4, which makes ǫ 2 = 0 or ǫ 4 = 0, respectively, then the shifts δn i = 0, or the numerators are already BCJ symmetric to begin with 2. 2 For MHV amplitudes, space-cone gauge with + [+ P i, where i denotes an on-shell negative helicity gluon, yields BCJ numerators. The other external legs can be kept off-shell. The choice made such that one of negative helicity gluons is reference and the space-cone gauge is defined relative to it means that the vertices used to generate the MHV diagrams will be of type + + and only one +, where one of the negative helicity gluons participating in the only vertex+ is our reference gluon. The quartic vertex++ is zero provided that we make this choice. With this structure one can easily check that the numerators generated by Feynman rules are color-kinematic symmetric. See also [20]. 7

19 5 Effective Lagrangian: Using the results of 86-87, we can derive all the aij;k;lm δnij;k;lm s ij s lm, 88 which appear naturally in the scattering amplitudes, with an effective Lagrangian [ L 5 = f c c 2 d f dc3 ef ec4 c s 5 +f dc5 ef ec3 c 4 +f dc4 ef ec5 c 3 c c 2 f c c 5 d s c c 5 f dc2 ef c3 c 4 e +f dc3 ef c4 c 2 e +f dc4 ef c2 c 3 e α+β f c 2 c 4 d f dc ef c3 c s 5 e +f dc3 ef c5 c e +f dc5 ef c c 3 e c2 c 4 fc5 c +α 2 d f dc ef ec4 c s 3 +f dc4 ef ec3 c +f dc3 ef ec c 4 + f c 3 c 4 d f dc ef ec2 c c2 c 5 s 5 +f dc2 ef ec5 c +f dc5 ef ec c 2 c3 c 4 fc5 c +β 4 d f dc ef ec2 c s 3 +f dc2 ef ec3 c +f dc3 ef ec c 2 + f c 3 c 2 d f dc ef ec4 c c4 c 5 s 5 +f dc4 ef ec5 c +f dc5 ef ec c 4 c3 c 2 +β α f ] c 5 c 3 d f dc2 ef ec4 c s +f dc4 ef ec c 2 +f dc ef ec2 c 4 c3 c 5 a+ c a c 2 a+ c 5 a c 4 a + c 3 +h.c. 89 whereαandβ are arbitrary constants. We should note that in view of the Jacobi identity obeyed by the structure constantsf abc this effective Lagranigan is null, which is of course a succinct statement that the shifts we performed in the numerators have no effects on the physical amplitudes. It is easy to check that this effective Lagrangian implements the desired shifts: [ a = a + 2 ;3 + ;4 5 + = p 2 p 52 + ] α2 +p 54 +β4 +p 52 p s 2 s 45 [ + p 3 αp 2 +p 54 +βp 4 +p 52 ] αp 2 +p 54 +βp 4 +p 52 s 2 s 45 [ + p 5 αp βp ] p p 5 s 2 s 45 and [ a 5 = a ;2 ;4 5 + = p 2 4 ] α2 +p 54 +β4 +p 52 p s 3 s 45 [ + p 3 p 4 p 2 + ] αp 2 +p 54 +βp 4 +p 52 s 3 s 45 [ + p 5 β α p 2 p ] 4 p 4 9 p 5 s 3 s 45 8

20 We will not write out all the aij; k; lm explicitly, as their particular form is not especially illuminating. Suffices it to say that they fall into three groups, according to their helicity arrangements: which consists of A ± ;+;±, 92 a2;5;34, a2;3;45, a4;5;23, a4;3;52, a23;;45, a25;; The α = β = 0 contribution to the set of numerators A comes from the piece of L 5 which is proportional to f dec3 f c4 c 5 e +f dec5 f c3 c 4 ef c2 c d 94 s c c 2 which consists of B ± ; ;++, ++; ;±, 95 a2;4;53, a3;2;45, a3;4;52, a4;2;35, a5;2;34, a5;4; Theα = β = 0 contribution to this set of numerators comes from terms proportional to which consists of f dec4 f c5 c 3 ef c2 c d +f dec2 f c3 c s 4 e +f dec4 f c2 c 3 ef c5 c d 97 c c 2 s c c 5 C ++;+;, ;+;++, 98 a3;5;24, a5;3;42, a24;; Lastly, the α = β = 0 contribution to the numerators of type C comes from terms proportional to f dec3 f c4 c 2 ef c5 c d +f dec f c3 c s 5 e +f dec3 f c5 c e +f dec5 f c c 3 ef c4 c 2 d. 00 c c 5 s c2 c 4 6 Concluding Remarks We would like to digress at this point and to explain how BCFW on-shell recursion [3] is performed in the space-cone gauge. We note that the Lagrangian in 25 has no dependence in its interaction terms. Thus, analytical continuation is done by making shifts in some p direction with a complex number z and if necessary by also choosing some appropriate reference vector ± so that Az 0 as z. Because the numerators have no p dependence, the continuation does not affect them and the poles of the amplitude are due to the vanishing of some inverse propagators. This polology makes it very transparent the meaning of cuts of the amplitudes in evaluating the integral dzaz. In other words, the cutting of the amplitude into two halves gives an easy z organization to yield BCFW recurrence [4]. A question which can be asked is whether one can circumvent the Lagrangian approach and write down BCJ numerators from amplitudes. In particular, as noticed in [7], there is a set of BCJ 9

21 numerators which can be obtained from knowledge of the amplitudes provided that we use the zero modes of the propagator matrixm fully to set to zeron 3n 3! components of the BCJ numerators N. Then the relation A = M N can be inverted. However, the numerators obtained in such fashion will generally contain spurious poles. In [0], with the same starting point, it was noticed that one can obtain virtuous numerators by applying a certain symmetrization procedure. While these expression carry certain virtues [8], there are also issues which demand attention. Consider the virtuous four-point numerator given by [8, 0] When we use and 56, we express it as ˆn 2 + ;3 + 4 = 3 s 2A s 4 A A = A = A ˆn 2 + ;3 + 4 = p 2 3 p p 2 p 2 4 p 3 p p+ + ǫ ǫ2 + ǫ3 + ǫ4. p 2 p 4 p s 4 s We see that the numerators obtained in this way contain spurious poles ats 4 ands 24. This defeats to some extent the purpose of decomposing the amplitude in the form, with the propagator poles manifestly written. Color-kinematics duality allows for a particular version of the KLT relations, expressing the gravity amplitudes in terms of gauge theory amplitudes, with the key ingredient being the colorkinematic symmetric BCJ gauge theory numerators. However, the BCJ symmetry is not automatic, if one is to compute the numerators from a gauge Lagrangian. To summarize our results, what we have shown is that the violation of this symmetry can be systematically computed and absorbed into shifts of the Feynman numerators. These shifts do not change the color-ordered amplitudes. We specifically work in a light-like gauge, because it is physical and therefore makes the on-shell limit transparent. We have set up a set of equations for four and five particle cases, which are used to solve for the shifts in terms of the violations. In the four particle case, there is no need to make any shift on-shell. For the five particle case, we have obtained the general solution for shifts which are consistent with the acceptable pole structure. We have also constructed the null five-point Lagrangian which augments the light-like gauge fixed Lagrangian and which yields color-kinematic symmetric numerators. It is clear that this program should work for any number of particles and with an arbitrary choice of the light-like gauge fixing vector. Acknowledgments This work was supported, in part, by the U.S. Department of Energy under Grant No. de-sc

22 A Four-point off-shell numerators In this appendix, we calculate the Jacobi-permutation of three indices of four particle numerators. It is useful to notice that for a tree-level amplitude, the net factor of 2 from the propagators i/2s ij and from the vertices given in Section 2 will cancel against the normalization factor of the group generators. [See footnote 6.] In what follows we decompose the amplitude as in and 27. The factors ofg n 2 and i which accompany a tree-leveln-point amplitude are implicit. We will omit them in writing out the numerators of a color-ordered amplitude. With this observation, we have the following ingredients for the color-ordered amplitudes: the propagator is/p 2, the colorordered three-point vertex is 3ptvertex 2 + k 2 + k = p 2 k+ k p+ p, 3ptvertex 2 + k k + = p p 2 p 2 k k, A- and color-ordered four-point vertex is 4ptvertex 2 + ;3 + 4 = p 2p 4 +p p +p 2 2 4ptvertex4 ; = 0 4ptvertex2 + ;3 + 4 = 4ptvertex 2 + ;4 3 + = 4ptvertex 2 + ;3 + 4 = 4ptvertex2 + ; A-2 Of course, the color-ordered4ptvertex234 is the sum of4ptvertex2;34 and4ptvertex4;23. The split we make is relevant only in assigning each contribution to a certain numerator: 4 pt vertex2; 34 times the inverse propagator s 2 contributes ton2;34 and4ptvertex4;23 times the inverse propagator s 4 contributes ton4;23. Schematically, we write n2; 34 = 2kk34 +2; 34, A-3 where 2;34 4ptvertex2;34 s 2 A-4 now includes the inverse propagator. 3 Thus, with the understanding that a product of the four 3 To avoid cluttering the notation further we write 2kk34 for the cubic vertex contribution even though we mean that in each vertex all momenta are incoming, and so this should really be written as 2k k34, with P k = P P 2 = P 3 +P 4. We hope that this is an obvious omission and will refrain from writing the sign of the momentum in the other cubic vertex. 2

23 polarization tensors is omitted and that the particles can then be off-shell, we have n 2 + ;3 + 4 = p 2 p 2 p +p 2 p +p 2 p p+ 4 p 4 p+ +p+ 2 p +p 2 + p+ +p+ 2 p +p 2 p+ p p 2 p +p 2 p +p 2 p 3 p 4 + p 2p 4 +p p +p P +P 2 2, A-5 where the last term is2;34, and as explained before it includes the 2 P +P 2 2 factor. We pick out one term each from the three lines above to form p 2 p 4 +p p +p 2 2 [p+ +p+ 2 p +p P +P 2 2 ] = p 2p 4 +p p +p 2 2 p +p 2 p + p 2. A-6 Now we write p + p 2 = p 4 = p+ 3 p P2 3 p+ 4 p 4 p P2 4 p 4. A-7 Putting A-5,A-6 into A-7, we have p n 2 + ;3 + 4 = p p p 2 p p 2 p + 3 +p+ 4 p +p 2 p 4 p 2 p 4 p 2 p +p 2 p +p 2 p + 3 p 3 p +p 2 2 P2 3 p +p 2 p + +p 2 p 4 p p+ p 3 + p+ p 3 +p 4 p +p 2 p p p +p 2 p +p 2 p + 4p 4 p 4 p +p 2 2 P2 3 p +p 2 2 P2 4 p 4 2 P2 4. A-8 p 4 It is useful to add and subtract p +p 2 p 4 p 2 p2 p + 4 p4 p 2 p2 p + p p 3 p3 p + 4 p4 + p 3 p3 p + p to the expression above. Then we use p 3 p + 4 p + p 3 p + 4 p 3 +p 2 p 4 + p 3 p + 4 = p 3 p +p 2 p 4 p 4 p +p 2 p p+ 4, 4 p + 4 A-9 and p p 2 p 2 p + 3 +p+ 4 p +p 2 + p 2 p 2 p + p +p 2 p 4 p p p 3 +p 4 p +p 2 + p 2 p 2 p + p = p p +p 2 p + 2p 2 p 2 p 2p 4 p +p 2 p + 3p 3 p + p 2, A-0 22

24 to obtain n 2 + ;3 + 4 = p +p 2 p 4 P2 3 + P2 4 p +p 2 2 2p 4 +p p+ 2 p 2 p 2 + p+ 3 p 3 +p 2 p 4 p+ p p + p+ 4 p 4 p 4 +p +p 2 p 4 p 2 p 2 p + 4 p 4 p 2 p 2 p + p p 3 p + 4 p 4 p 3 p + p = s 23 + p 2 p 2 p 3 p+ 4 p 4 p+ p p +p 2 p 4 + p 2p +p 2 P2 4 + P2 2 p 2 p 4 + p 4 p 2 2p +p 2 P2 3 + P2. p A- In a similar way, we obtainn3 + ;2 + 4 and n ; 4 given in B Five-point s In this appendix we calculate the s for We put all the external particles on-shell. To shorten the expression of various terms we continue to omit the common factor of the product of the polarizations i.e. the external line factors. Let us take one specific case and the others will be treated similarly. For , there are two sets of contributions. The first set is due to a four-vertex multiplied by a three vertex for each graph. The second set is due to a three vertex +,2, +2 + multiplied by the off-shell For the first set, we have = + 2 ; ; ; s 2 [ = p3 p p +p p p 4 +p 5 p 5 p 4 +p 5 p 4 p 5 p 4 +p 5 +p 5 p 2 +p +p 4 p 3 +p 4 +p 4 p 3 p 4 +p 2 +p 5 +p p 4 p 5 p 5 p 3 +p 5 ], B-2 which after some algebra is simplified to = s 2 [ p 5 p 2 +p p 4 + p 3 p p 4 +p 2 p 5 p +p 2 p 5 + p 3 +p 4 +p 4 p 2 p 4 +p 5 p 4 +p 5 p 2 p 5 ]. B-3 23

25 The contribution of the other set is = +,2, / = s 2 p +p 2 p p 2 p 4. p +p 2 p p 4 +p 5 +p 4 The sum of these two contributions gives Please note that [p = s 2 p 2 p 4 + p p 4 +p 5 +p 4 + p 3 p p 4 p +p 2 p 2p 5 p 4 +p 5 + p 5 p 5 p 2 +p 4 p p 4 p +p 2 ]. ij klm = klm ij = ji klm = ij lkm = mlk ji, and therefore, we have B-4 B-5 B = = ,2 4 = s 45 [p p p 4 p 2 + p 2p 5 p 4 +p 5 In a similar fashion, we obtain + p 3 p 2p 5 p p 4 p 4 +p 5 p +p 2 + p 5 p 2 p 4 + ]. p 5 p +p 2 p 2 + B = , 5 = s 23 [p p p 2p 5 p 4 +p 5 p 4 p p 5 p 4 p p 2 p 5 p 2 + p +p 4 + p 3 p 2 p 4 + ], p +p 4 p 4 +p 5 B = = s 34 [p p p 4p 5 p 2 +p 5 p 2 +p 4 + p 5 p 2 p p 4 p 5 +p 4 p +p 2 + p 3 p 2 p 4 + ], p +p 2 p 2 +p 5 B-9 24

26 = , 3 = s 2 [p 3 p 2p 5 p 4 +p 5 p p 4 p +p 2 + p 5 p p 4 p 2 p 5 p +p 2 +p 4 + p p 2 p 4 + ], p +p 4 p 4 +p 5 B = = s 25 [p 3 p p 2 p +p 4 p 4p 5 p 2 +p 5 + p p 4p 5 p 2 p p 2 +p 5 +p 4 + p 5 p 2 p 4 + ], p 5 +p 4 p +p 4 B = = s 4 [p 3 p 4p 5 p 2 +p 5 p p 2 p +p 4 + p 5 p p 2 p 4 p 5 p +p 4 p p p 2 p 4 + ], p p 2 + p 2 +p 5 [ = s 35 p +p 5 p 3 p 5 p 5 p +p 4 p +p 2 ], B-22 B = [ = s 5 p3 p +p 5 p 5 p p 5 p p 2 + +p 4 ], B-24 and = / [ = s 3 p5 p + p 3 p p p 4 +p 5 p 2 +p 5 ], B = 0. B-26 When we add all the equations from B-7 to B-26, we find that 64 holds. This serves as a check on the algebra. 25

27 C Five-point D s Following the procedure from 64 to 68, we arrive at the otherd s: D4325 = s 4 s 23 s 23 s 5 s 34 s s 34 s 5 s 25 s 34 s 34 s , s 23 s 5 s 23 s 5 D3425 = s 3 s 24 s 24 s 5 s 34 s s 34 s 5 s 25 s 34 s 34 s /35, s 24 s 5 s 24 s 5 D2435 = s 2 s 34 s 34 s 5 s 24 s s 24 s 5 s 24 s 35 s 24 s , s 34 s 5 s 34 s 5 D4235 = s 4 s 23 s 23 s s 24 s s 24 s 5 s 24 s s 24 s s 23 s s 23 s 5, D3245 = s 3 s 24 s 24 s s 23 s s 23 s 5 s 23 s s 23 s s 24 s s 24 s 5. C-27 C-28 C-29 C-30 C-3 D Solving for the five-point numerator shifts In this appendix we give the details of the steps taken to arrive at the solution given in the main text for the numerator shifts. First we notice that because of a 6 = a 2 4 = a 5, D-32 26

28 we have z 2 5 = x ,z 4 5 = x , z 32 5 = x34 2 4,z34 5 = x32 2 4, 5 = y542 4,y4 5 = y52 y 2 Instead of using 79 or 80 to normalize thex, y,z s we use instead equivalently D-33 δn δn 3 δn 2 = 2 345, where δn 3 = δn2;5;43 = δn 3 5. We now use 83 to obtain four independent equations: D-34 D-35 x 32 +x x32 5 +x z ; 5 z = 0, D-36 x 52 +x54 y 2 +y4 2 4+x y2 5 +x y z y ; 5 z2 5 5 = 0,D ; 5 y52 5 = 0, D-38 y 52 +y y y y ; 5 y = 0. D-39 By equating coefficients multiplied to different p i p i p jk from D-34, we obtain a set of twelve equations: s 34 x s 45 x 32 +s 35 z ; 5 =,, D-40 s 34 x s 45 x 34 +s 35 z ; 5 = 0, D-4 s 34 x s 45x 52 +s 35z ; 5 =, D-42 s 34 x s 45x 54 +s 35z ; 5 = 0; D-43 s 34 x ; 3 5 +s 45 y 2 +s 35 y ; 5 = 0, D-44 s 34 x ; 3 5 +s 45y 4 35y ; 5 =, D-45 s 34 x ; 3 5 +s 45y 52 35y ; 5 =, D-46 s 34 x ; 3 5 +s 45 y 54 +s 35 y52 2 4; 5 = 0; D-47 s 34 y s 45 z 2 +s 35 x ; 5 = 0, D-48 s 34 y 4 45z 4 35x ; 5 =, D-49 s 34 y 52 45z 32 35x ; 5 =, D-50 s 34 y s 45 z 34 +s 35 x ; 5 = 0. D-5 When we make3 5 to D-42, we obtain s 45 x 32 +s 34 x 52 +s 35 z ; 3 5 =, D-52 4 We are using here notation introduced earlier in eqn. 3. in [5]. 5 27

29 which is added to D-40 to give z 32 5 In a similar fashion, we obtain from D-4 and D-43 z z = 0.. D-53 5+z = 0.. D-54 If we use the results above, then we should of course keep only one of D-40 and D-42 and one of D-4 and D-43. Usingz 2 = x ; 5 and making3 5, we write D-48 as s 45 y 2 s 34x ; 3 5 +s 35x ; 3 5 = 0. D-55 When we combine this with D-44. we have The same operations will lead to x y 54 5 = 0. D-56 x y52 5 = 0. D-57 x y5 4 = 0. D-58 x y32 5 = 0. D-59 We should then keep either the set D-44 to D-47 or the set D-48-D-5. Therefore we have only six of equations D-40 to D-5 and the four of equations D-36 to D-39, which add up to ten. Taking into account D-33 and D-53 to D-59, we have twelve independent equations for x s, y s and z s. We noted earlier that these coefficients have dimension /s. We will be solving for them with the requirement that they are of the form of a sum of terms each being a simple pole in the allowed kinematic invariant such that the numerator shifts do not introduce spurious poles. This leads to the solution given in 86 and 87. E Beyond five-point In this appendix we discuss how one can extend recursively the current results beyond five-points. Consider the six-point case. We begin by choosing a Kleiss-Kuijf basis as in [5]: Ai 2 i 3 i 4 i 5 6 withi 2,i 3,i 4,i 5 equal to a permutation of indices 2,3,4,5. We use the shorthand notation 5 n2;3;4;56 = n, n3;2;4;56 = n 2, n3;4;2;56 = n 3, n3;4;5;26 = n 4 n2;4;3;56 = n 5, n4;2;3;56 = n 6, n4;3;2;56 = n 7, n4;3;5;26 = n 8 n2;5;4;36 = n 9, n5;2;4;36 = n 0, n5;4;2;36 = n, n5;4;3;26 = n 2 n2;3;5;46 = n 3, n3;2;5;46 = n 4, n3;5;2;46 = n 5, n3;5;4;26 = n 6 n2;4;5;36 = n 7, n4;2;5;36 = n 8, n4;5;2;36 = n 9, n4;5;3;26 = n 20 n2;5;3;46 = n 2, n5;2;3;46 = n 22, n5;3;2;46 = n 23, n5;3;4;26 = n This type of numerators has been later called half-ladder in [8]. The reason is that the external legs are all arranged along an internal line with two external legs joined together only at the two ends of that internal line. 28 E-60