IHES/P/12/03
Algebras for Amplitudes
N. E. J. Bjerrum-Bohr,1, 2 Poul H. Damgaard,1 Ricardo Monteiro,1 and Donal O’Connell1
1Niels Bohr International Academy and Discovery Center, Niels Bohr Institute, University of Copenhagen, Blegdamsvej 17, DK-2100 Copenhagen, Denmark 2Institut des Hautes Etudes´ Scientifiques, 91440, Bures-sur-Yvette, France (Dated: June 14, 2012)
Abstract Tree-level amplitudes of gauge theories are expressed in a basis of auxiliary amplitudes with only cubic vertices. The vertices in this formalism are explicitly factorized in color and kinematics, clarifying the color-kinematics duality in gauge theory amplitudes. The basis is constructed making use of the KK and BCJ relations, thereby showing precisely how these relations underlie the color- kinematics duality. We express gravity amplitudes in terms of a related basis of color-dressed gauge theory amplitudes, with basis coefficients which are permutation symmetric. arXiv:1203.0944v2 [hep-th] 13 Jun 2012
1 I. INTRODUCTION
In recent years, our knowledge and understanding of scattering amplitudes in our most cherished theories has been revolutionised. Of course, the present interest in scattering amplitudes was spurred by our need to compute cross-sections at the LHC. But there has been much progress in areas of research which are not obviously related to the LHC. The topic of this article is one such area; namely, the correspondence between scattering amplitudes in gauge theory and in gravity. Indeed, one of the promises of our recent advances is that the fascinating connection be- tween gauge theory and gravity amplitudes may be illuminated. The intricate KLT relations between tree-level scattering amplitudes in Yang-Mills theory and gravity were outlined long ago [1]. Recently, progress in conveniently expressing gravity amplitudes as the square (or double-copy) of gauge theory amplitudes [2, 3], including at loop level [4], has allowed for remarkable studies of the ultraviolet properties of supergravity theories [5–11]. This new squaring relation between gravity and gauge theory relies on an unexpected property of gauge theory amplitudes: the existence of a duality between color and kinematics, when the amplitude is appropriately written in terms of diagrams with only cubic vertices. This dual- ity hints at a Lie algebra structure underlying the kinematic dependence of the amplitudes, akin to the Yang-Mills Lie algebra. Such a kinematic Lie algebra was indeed recently found for MHV amplitudes [12], where it was shown to be inherited from the symmetries of the self-dual sector. Generally, however, there should exist a structure independent of helicities or spacetime dimensions. In this article, we explore how to write gluon tree-level amplitudes in gauge theory using cubic vertices only, thus making manifest the intriguing duality between color and kinemat- ics. Through the squaring relation, we draw conclusions for gravity amplitudes. Although we consider gluon amplitudes for explicit checks, these results are valid also for supersymmetric extensions with fermions and scalars. We reverse the original reasoning of the color-kinematics duality [2]. In the latter work, it was found that scattering amplitudes can be written such that the color-kinematics duality is satisfied, and that this implies the existence of certain linear relations between color-ordered amplitudes, known as the BCJ relations. These relations hold in addition to the previously known KK relations [16]. The KK and BCJ relations have been proven as identities based
2 on monodromy in string theory amplitudes [13, 14], and also directly in field theory using the BCFW recursion method [15]. So the main question that we address here is how the KK and BCJ relations imply a Lie algebra structure for the kinematic dependence of the amplitudes. This paper is organized as follows. In Section II, we review the color-kinematics dual- ity. In Section III, we construct simple theories whose amplitudes satisfy this duality. In Section IV, we use these theories to construct a basis for gauge theory amplitudes, making manifest the color-kinematics duality. This is our main result. In Section V, we study a certain decomposition of gauge theory amplitudes suggested by the duality. In Section VI, we comment on implications for gravity amplitudes. Finally, in Section VII, we present our conclusions.
II. REVIEW
A tree-level gauge theory scattering amplitude A can be expanded as
X A = gn−2 Tr[T a1 T a2 ··· T an ] A(1, 2, . . . , n) , (1) σ
where the T a’s denote the fundamental representation matrices of the Lie gauge group, and the sum is over non-cyclic permutations of external legs1. The gauge invariant components A(1, 2, . . . , n) are referred to as color-ordered amplitudes. The existence of linear relations between the color-ordered amplitudes, however, means that we can do better than (1). The KK relations [16] allow us to express all color-ordered amplitudes in terms of a set of (n−2)! of them. The recently found BCJ relations [2] further reduce the number of independent color-ordered amplitudes to (n−3)!. Both the KK and the BCJ relations have been proven for any number of external legs [13–15]. A set of (n − 3)! independent color-ordered amplitudes can be chosen by considering permutations of all but three external legs. The BCJ relations were obtained in [2] as a result of a surprising property of gauge theory amplitudes: that they can always be written as a sum over diagrams with only cubic vertices,
1 In Eq. (1) we suppress the action of the permutation σ on the particle numbers 2, 3, . . . n for notational simplicity. We adopt this convention throughout the article.
3 the cubic structure being determined by the color factors appearing at each vertex:
X ni ci A = gn−2 , (2) D i i where ci are the colour factors, Di are the products of Feynman propagators, and ni are the numerators of those diagrams, which carry information about momenta and helicities. The contribution of a four-point vertex in a diagram can always be written in terms of two three-point vertices, by introducing a propagator and multiplying the numerator of the diagram by the corresponding factor. There is great freedom in choosing the kinematic numerators ni, since this procedure is not uniquely determined. A choice which has proven very insightful (and which does not fix this freedom completely) is to demand that these kinematic numerators satisfy identities analogous to the Jacobi identities satisfied by the color factors ci,
ci ± cj ± ck = 0 −→ ni ± nj ± nk = 0. (3)
There is then a duality between color and kinematics. The fact that this representation is possible for gauge theory amplitudes (and for amplitudes of the closely related theories to be discussed next) implies linear relations among color-ordered amplitudes, the BCJ relations. The color-kinematics duality has been discussed extensively in recent work, see [19–37]. A remarkable aspect of this representation is that it allows for a simple construction of gravity amplitudes as the “square” of gauge theory amplitudes [2, 3],
n−2 κ X ni n˜i M = i . (4) 2 D i i
Here, we allow for the fact that ni andn ˜i need not correspond to the same gauge theory, e.g. for amplitudes in N = 4 supergravity, one may take ni from N = 4 super-Yang-Mills, andn ˜i from pure Yang-Mills. Moreover, it is enough that only the numerators ni (orn ˜i) satisfy Jacobi-like identities [3]. One natural puzzle arises from the duality between color and kinematics. While the color abc factors ci follow straightforwardly from sewing together the structure constants f for each diagram with cubic vertices, the numerators ni are not easily given a vertex interpretation. One of the obstacles is the four-point interaction vertex, which traditionally appears in
4 formulations of gauge theory. Yet we know from BCFW recursion that all n-point scattering amplitudes can be computed recursively using only knowledge of three-point amplitudes. This already hints at a possible special role played by three-vertices. An underlying three- vertex structure for ni was found in [12] for MHV amplitudes. That structure is inherited from the self-dual sector of the gauge theory, which will be reviewed below. We will use these results as a guide to understand the general case.
III. THEORIES WITH CUBIC VERTICES
Let us begin by exploring simple theories which share some of the features of Yang-Mills amplitudes but which clearly have Feynman diagram expansions with only cubic vertices, and also have naturally defined numerators satisfying Jacobi identities.
A. Self-dual Yang-Mills
Restricting to the self-dual sector of Yang-Mills theory removes the quartic term in the Lagrangian. There is only one degree of freedom left in the gauge field, which may be computed from a Lie algebra-valued scalar field Φ. The equation of motion is [38]
2 ∂ Φ + ig[∂wΦ, ∂uΦ] = 0, (5) where we have chosen light-cone coordinates
u = t − z, w = x + iy. (6)
In momentum space, the cubic vertex in this theory is given by
1 @@ @ 4 (4) abc @ 3= g (2π) δ (p1 + p2 + p3)X(p1, p2)f , (7)
2
5 where X(p1, p2) is a linear function of p1 and p2 given by
X(p1, p2) = p1wp2u − p1up2w. (8)
As emphasized in [12], this three-point function is the product of the structure constants of two Lie algebras: obviously one of these factors is f abc, the structure constants of the gauge group of the theory, while the other factor is
p1p2p3 4 (4) F = (2π) δ (p1 + p2 + p3)X(p1, p2), (9)
the structure constants of an area-preserving diffeomorphism Lie algebra. The amplitudes in this theory, seen as a sector of Yang-Mills theory, correspond to helicity configurations − + ··· +, and therefore vanish on-shell. However, they satisfy the KK and BCJ relations off-shell in this formalism. In the following, we consider a generalization which is non-trivial on-shell.
B. A more general diffeomorphism algebra
The self-dual Yang-Mills amplitudes are built from cubic vertices which contain an area-
preserving diffeomorphism algebra. We may generalize the theory by replacing the X(p1, p2)
factor with a more general object Y (p1, p2). Indeed, to maintain the Lie algebra structure, we
only need to require that Y (p1, p2) be linear in p1 and p2 and antisymmetric under exchange
of p1 and p2. Therefore, Y is specified by a choice of two-form Ω:
µν µν νµ Y (p1, p2) = p1µ Ω p2ν, Ω = −Ω . (10)
In the case of the self-dual theory, the two-form happens to be self-dual. We choose to relax this property. In fact, we can consider the theory in arbitrary spacetime dimensions d. Thus, we consider a more general Lie algebra,
−ip·x µν [Lp1 ,Lp2 ] = Y (p1, p2) Lp1+p2 ,Lp = ie Ω pµ∂ν. (11)
6 The structure constants can be written as
p1p2p3 d (d) F = (2π) δ (p1 + p2 + p3)Y (p1, p2), (12) which is completely antisymmetric and cyclic in its indices, just as f abc. Following [12], we adopt an integral Einstein convention for the contraction of the indices,
Z p1p2q p3p4 d d (d) (d) F F q = (2π) d q δ (p1 + p2 + q) Y (p1, p2) δ (p3 + p4 − q) Y (p3, p4)
d (d) = (2π) δ (p1 + p2 + p3 + p4) Y (p1, p2)Y (p3, p4). (13)
pq d (d) The indices are lowered and raised using δ = δpq = (2π) δ (p + q). The Jacobi identity takes the form
p1p2q p3p4 p2p3q p1p4 p3p1q p2p4 F F q + F F q + F F q = 0. (14)
We define our theory by specifying this single cubic vertex. The resulting theory is not Lorentz invariant, but has non-trivial amplitudes which satisfy the KK and BCJ relations, since these relations follow from the Jacobi identities for the numerators.
C. General Lie algebras
It should now be clear that it is straightforward to build theories whose amplitudes satisfy the KK and BCJ relations, and which have only cubic vertices. We merely define the vertex to be the product of the structure constants of two Lie algebras,
1 @@ @ ˆ @ 3= faˆbcˆ f abc. (15)
2
As an example, consider the six-particle diagram in Figure 1. In such a theory, its contri-
7 2
4 1
5 3
6 FIG. 1: Example of a diagram contributing to the 6-point amplitude.
bution to the amplitude is
ni ci z ˆ ˆ}| ˆ ˆ ˆ ˆ{ z }| { faˆ1aˆ5b1 faˆ2aˆ4b2 faˆ3aˆ6b3 fb1b2b3 f a1a5b1 f a2a4b2 f a3a6b3 f b1b2b3 2 2 2 . (16) (p1 + p5) (p2 + p4) (p3 + p6) | {z } Di
In the case of the self-dual theory and the more general diffeomorphism theory, we chose ˆ an infinite-dimensional Lie algebra, faˆbcˆ → F p1p2p3 , using the particle’s momenta as labels in the structure constants. One can also choose to use this type of Lie algebra but allocating
fictitious momentum labelsp ˆa arbitrarily to the participating legs (momentum conservation must still hold). Consider again the six-particle diagram in Figure 1. Its contribution is
pˆ1pˆ5q1 pˆ2pˆ4q2 pˆ3pˆ6q3 a1a5b1 a2a4b2 a3a6b3 b1b2b3 F F F Fq1q2q3 f f f f 2 2 2 = (p1 + p5) (p2 + p4) (p3 + p6) a1a5b1 a2a4b2 a3a6b3 b1b2b3 Y (ˆp1, pˆ5)Y (ˆp2, pˆ4)Y (ˆp3, pˆ6)Y (ˆp1 +p ˆ5, pˆ2 +p ˆ4) f f f f = 2 2 2 × (p1 + p5) (p2 + p4) (p3 + p6) 6 ! d (d) X × (2π) δ pˆa , (17) a=1
where the physical momenta pa run in the propagators, but not in the numerators. Another natural choice is to consider for faˆˆbcˆ a finite dimensional algebra, such as SU(N), where N is unrelated to the rank of the gauge group2.
2 Indeed, the color-ordered amplitudes of these theories have recently been discussed in [31], where the KK and BCJ relations were explicitly shown to hold.
8 In this way one finds a large class of theories whose amplitudes satisfy the KK and BCJ relations. While these theories may have little intrinsic interest on their own, we will find a use for them below.
IV. CUBIC VERTICES FOR YANG-MILLS THEORY
In the previous section, we encountered a large family of theories which share the algebraic properties of Yang-Mills amplitudes. We will now use these theories to form a basis for the Yang-Mills amplitudes, using only the KK and BCJ relations. The starting point in our analysis is a subset of color-ordered amplitudes, e.g.
A(J) = A(σJ {1, . . . , n − 3}, n − 2, n − 1, n), (18)
where σJ denotes a permutation of n − 3 external legs, J = 1,..., (n − 3)!. Recall that all color-ordered amplitudes can be expressed in terms of this subset through the KK and BCJ relations. We now consider the following linear system,
(n−3)! X A(J) = αI θIJ . (19) I=1
Given a non-singular square matrix θIJ , we can solve for the coefficients αI . In the same manner that we can apply the KK and BCJ relations to the set A(J) to obtain all color- ordered Yang-Mills amplitudes (and therefore the color-dressed amplitude A) we can now apply those relations to the columns of θIJ , in order to obtain a color-dressed quantity ΘI ,
n−2 X a1 a2 an ΘI = g Tr[T T ··· T ] θI (1, 2, . . . , n), (20) σ
such that
θIJ = θI(J) = θI (σJ {1, . . . , n − 3}, n − 2, n − 1, n). (21)
The full Yang-Mills amplitude is then given by
(n−3)! X A = αI ΘI . (22) I=1
9 Note that this implies that the αI are symmetric under permutations of the particles; this
important property follows since the amplitudes A and ΘI are permutation symmetric by
Bose symmetry. The ΘI ’s form a basis for the Yang-Mills amplitude, and indeed for any amplitude satisfying the KK and BCJ relations. There are only two requirements in this
construction: that the elements of the basis ΘI satisfy the KK and BCJ relations themselves, and that they are linearly independent. The latter condition corresponds to having a matrix
θIJ which is non-singular, i.e. with rank (n − 3)!. We now know how to obtain a representation for a Yang-Mills amplitude with manifest color-kinematics duality. Suppose that the basis elements ΘI are naturally written in a representation X nI,i ci Θ = , (23) I D i i
where the sum runs over diagrams with cubic vertices, and the numerators nI,i satisfy the
same Jacobi identities as the color factors ci. Then it is clear from (22) that we can write
the numerators ni of a Yang-Mills amplitude in the following way,
(n−3)! X ni = αI nI,i. (24) I=1
By linearity, the Yang-Mills numerators ni also satisfy the Jacobi identities. We can construct a basis for Yang-Mills amplitudes with manifest color-kinematics duality
by using the theories discussed in the last section. Then the ΘI ’s are amplitudes in their own right. We considered theories with a cubic vertex, which contains the structure constants of both the Yang-Mills Lie algebra, and an additional Lie algebra. In particular, we presented two natural examples for the additional Lie algebra: area-preserving diffeomorphisms and SU(N). It is also possible to use combinations of different Lie algebras. Let us discuss first the application of diffeomorphism algebras. When fictitious momenta
are used in the structure constants, F pˆ1pˆ2pˆ3 , as in the example (17), it is straightforward to construct the basis of auxiliary amplitudes. The matrix θIJ , whose columns are independent color-ordered amplitudes of ΘI , has rank (n − 3)! when we make a random choice of the fictitious momenta and/or Ωµν for each element of the basis. We have checked this explicitly up to 10-points in four dimensions, and up to 9-points in five and six dimensions, and we have checked (22) using gluon amplitudes obtained from [39].
10 Let us also comment on the use of physical momentum in the auxiliary structure con- stants, F p1p2p3 . In this case, there can be non-trivial combinations of momentum dependence in the numerators and denominators of the various diagrams. Combinations of this type, which are not obvious when the numerators are written down, lead to the vanishing of am- plitudes in the self-dual Yang-Mills theory. In the case of the more general diffeomorphism algebra, such combinations lead to a singular matrix θIJ for n ≥ 8 in four dimensions, if we µν make a random choice Ω for each element of the basis ΘI . However, this choice of auxiliary algebra allows for a special treatment of MHV amplitudes, different from the procedure in [12]. Consider the case where the structure constant is
¯ Yλ(p1, p2) = λX(p1, p2) + (1 − λ)X(p1, p2), 0 < λ < 1, (25) where we use light-cone coordinates (u = t − z, w = x + iy, w¯ = x − iy) to define
¯ X(p1, p2) = p1wp2u − p1up2w, X(p1, p2) = p1w ¯p2u − p1up2w ¯. (26)
X corresponds to the self-dual theory, and X¯ to the anti-self-dual theory. We find (up to
10-points) that the rank of θIJ , using a random value of λ for each I, is only n − 3; that is,
θIJ is singular for n > 5. However, a solution to the system (19) still exists,
n−3 X AMHV = αI ΘλI . (27) I=1
So the MHV amplitude is part of a certain (n − 3)-dimensional subspace of the full (n − 3)! dimensional vector space. In [12], an explicit color-kinematics dual representation of MHV amplitudes was found in light-cone gauge by using one of the negative helicity particles to define the light-cone direction. In the expression above, we treat all the external particles democratically. For NMHV amplitudes, we find that we can solve the system (19) with smaller rank in n = 8, but we have not explored the general case. This should require an extension of the area-preserving diffeomorphism algebra. It would be interesting to understand this structure. The other natural choice for the auxiliary structure constants discussed in the previous section is the Lie algebra of SU(N), f aˆˆbcˆ, or other simple Lie groups. In order to form a
11 basis, the only restriction is that N must be high enough so that we can find non-vanishing basis amplitudes for (n − 3)! different choices of auxiliary indicesa ˆ. We have checked that even SU(2) comes short only at 8-points, for which SU(3) is sufficient. Surprisingly, the use of SU(N) Lie algebras transforms the color-kinematics duality into a color-color duality (with unrelated groups).
Notice that the numerators nI,i are constants, independent of the kinematics, for the auxiliary Lie algebras of both SU(N) and the diffeomorphism algebras with fictitious mo- menta. Then the kinematic dependence of the Yang-Mills amplitude is entirely given in the propagators and in the (n − 3)! Lorentz invariant coefficients αI . This may prove useful for applications of our construction (loops, shifts, etc.). In Appendix A, we illustrate the method described above with an example at five-points.
V. AMPLITUDE DUALS
The standard color decomposition of an amplitude in gauge theory is
X A = gn−2 Tr[T a1 T a2 ··· T an ] A(1, 2, . . . , n). (28) σ
Given the color-kinematics duality, a natural analogue of this expression was proposed in [29],
n−2 X dual A = g τ(1,2,...,n) A (1, 2, . . . , n). (29) σ
dual The kinematic prefactors τ(1,2,...,n) are the analogues of color traces, and A is a dual amplitude constructed from the color-ordered gauge theory amplitude A by replacing all
kinematic numerators with color factors, i.e. ni → ci. It was shown in [29] how to write
prefactors τ(1,2,...,n) in terms of the numerators ni. However, the resulting expressions are a bit complicated and perhaps not very illuminating.
We can now use our cubic vertex formalism to write kinematic prefactors τ(1,2,...,n). Con- sider the basis elements ΘI , X nI,i ci Θ = , (30) I D i i
with the numerators nI,i satisfying the same Jacobi identities as the color factors ci. Suppose
12 that the auxiliary Lie algebra used to construct the numerators is the Lie algebra of SU(N), as discussed in previous sections. In this case, the numerators nI,i are also color factors, with particle labelsa ˆ, while the Yang-Mills color factors ci have particle labels a. Therefore, we can take the standard decomposition,
X a1 a2 an ΘI = Tr[T T ··· T ] θI (1, 2, . . . , n), (31) σ and invert the roles of the two Lie algebras,
X aˆ1 aˆ2 aˆn dual ΘI = Tr[T T ··· T ] A (1, 2, . . . , n). (32) σ
The indices in the color matrices are now the auxiliary color indices, which differ for each value of I. Our result, (n−3)! X A = αI ΘI , (33) I=1 and the expression (28) lead to
(n−3)! X aˆ1 aˆ2 aˆn τ(1,2,...,n) = αI Tr[T T ··· T ]. (34) I=1
The cyclic properties of τ(1,2,...,n) are inherited from the color traces, and from the fact that the coefficients αI are invariant under permutations of the external particles.
VI. GRAVITY AMPLITUDES
Gravity amplitudes can be obtained as the “square” of gauge theory amplitudes at the level of numerators [2, 3], as detailed in eq. (4). The fact that we can write a gauge theory amplitude in the dual form (29) then implies that [29]
κn−2 X M = i τ A(1, 2, . . . , n), (35) 2 (1,2,...,n) σ
13 where A denotes a color-ordered gauge theory amplitude.3 Comparing with the expression
(28), we can see that the kinematic prefactors τ(1,2,...,n) play the same role for gravity am- plitudes as the color traces play for gauge theory amplitudes. It is remarkable that SU(N) color traces can play a role in gravity amplitudes, through our expression (34). We can also rearrange the sums and write a basis for gravity amplitudes analogous to our result (33),
(n−3)! X 0 M = αI AI . (36) I=1
The basis elements are now color-dressed gauge theory amplitudes with specific choices of labelsa ˆ,
X aˆ1 aˆ2 aˆn AI = Tr[T T ··· T ] A(1, 2, . . . , n), (37) σ
0 n−2 and we have defined αI = i (κ/2) αI . This suggests the following physical interpretation for the color-kinematics duality. It is an old idea to try to view gravity as a gauge theory of an infinite-dimensional group, the group of diffeomorphisms. However, in a given scattering process there is only a finite number of particles with definite momenta. Let us recall the use of area-preserving diffeomorphisms, reviewed in Section III. These were seen in [12] to directly underlie the color-kinematics duality for some four-dimensional amplitudes. A set of generators Lpa of the Lie algebra, each associated with the momentum of a particle, leads to a finite-dimensional sub-algebra P when the momentum is conserved, a pa = 0. The dimension of the sub-algebra, which corresponds to all distinct momenta that can run through propagators and external legs in a Feynman diagram expansion, grows with the number of particles n. Considering the Dynkin classification of infinite families of finite-dimensional simple Lie algebras, it is perhaps not surprising that the role of the general kinematic algebra can be played by the Lie algebra of SU(N), where N should just be sufficiently large (the minimum required to construct a basis of auxiliary amplitudes ΘI ). For the set of all amplitudes, with arbitrary number of legs, an infinite-dimensional group, perhaps along the lines of the Bondi-van der Burg-Metzner-Sachs group [40], is required.
3 We could have considered A˜, to denote that there were two distinct gauge theories, as in (4).
14 VII. CONCLUSIONS
We have presented a systematic way to express tree-level gauge theory amplitudes in a manifest color-kinematics dual representation. The KK and BCJ relations play crucial roles in this construction, allowing us to write the gauge theory amplitude using a basis of auxiliary amplitudes with convenient properties. The freedom in choosing the kinematic numerators is translated into the freedom in choosing this basis. The duality between color and kinematics is made manifest by using auxiliary amplitudes whose cubic vertices are dressed with the structure constants of both the gauge theory Lie algebra, f abc, and an additional “kinematic” Lie algebra, faˆˆbcˆ, a procedure inspired by [12]. In all of this lies an inspiration coming from the MHV-sector of the theory. The intriguing connection between MHV amplitudes and matrix theory [41] may also lead to insight here. For gravity amplitudes, we have determined objects which play roles analogous to color traces in gauge theory amplitudes, expressing them in terms of a basis of actual color traces. We believe this surprising result has the potential to further our understanding of gravity amplitudes, and to simplify their calculations.
Acknowledgments
We thank Simon Badger, Zvi Bern, Henrik Johannson and Thomas Søndergaard for useful discussions. NEJBB is grateful for hospitality at the IHES while this work was being finished.
Appendix A: Example at five-points
In this appendix, we illustrate our method to construct kinematic numerators satisfying Jacobi-like identities with an explicit example. For simplicity, we consider 5-point amplitudes and use auxiliary structure constants from the Lie algebra of SU(2). Recalling (15), we have now faˆˆbcˆ → aˆˆbcˆ, where aˆˆbcˆ is the Levi-Civita symbol. The linear system (19) is two- dimensional, and we can choose the following color-ordered amplitudes as the independent
15 set:
A(1, 2, 3, 4, 5) = α1 θ1(1, 2, 3, 4, 5) + α2 θ2(1, 2, 3, 4, 5),
A(2, 1, 3, 4, 5) = α1 θ1(2, 1, 3, 4, 5) + α2 θ2(2, 1, 3, 4, 5). (A1)
For concreteness, we choose the auxiliary color indices to be
{aˆ1, aˆ2, aˆ3, aˆ4, aˆ5} = {1, 2, 3, 3, 3} → θ1,
{aˆ1, aˆ2, aˆ3, aˆ4, aˆ5} = {1, 1, 1, 2, 3} → θ2. (A2)
The system is then quite simple:
α α A(1, 2, 3, 4, 5) = − 1 − 2 , s15 s23 s15 s34 α α A(2, 1, 3, 4, 5) = − 1 − 2 . (A3) s13 s25 s25 s34
This can be inverted as
s13 s23 α1 = (−s15A(1, 2, 3, 4, 5) + s25A(2, 1, 3, 4, 5)), s13 + s23 s34 α2 = (s15 s23A(1, 2, 3, 4, 5) + s13 s25A(2, 1, 3, 4, 5)). (A4) s13 + s23
Using the expressions (22) and (24), we can write the amplitude in the BCJ representation (2):
α α α α A = g3 − 2 c(24, 1, 35) + 2 c(25, 1, 34) + 2 c(15, 2, 34) − 2 c(14, 2, 35) s24 s35 s25 s34 s15 s34 s14 s35 α + α α − α α α − 1 2 c(14, 3, 25) − 1 2 c(15, 3, 24) − 1 c(15, 4, 23) − 1 c(13, 4, 25) s14 s25 s15 s24 s15 s23 s13 s25 ! α α − 1 c(13, 5, 24) − 1 c(14, 5, 23) , (A5) s13 s24 s14 s23 where we denote the color factors as, for instance, c(24, 1, 35) = f a2a4b1 f b1a1b2 f b2a3a5 . By construction, the kinematic numerators satisfy the same Jacobi identities as the color
16 factors, e.g.
c(14, 2, 35) − c(14, 3, 25) + c(14, 5, 23) = 0 −→ −α2 + (α1 + α2) − α1 = 0. (A6)
The gravity amplitude obtained through the squaring relation (4) is
κ3 α2 α2 α2 α2 (α + α )2 (α − α )2 M = i 2 + 2 + 2 + 2 + 1 2 + 1 2 8 s24 s35 s25 s34 s15 s34 s14 s35 s14 s25 s15 s24 ! α2 α2 α2 α2 + 1 + 1 + 1 + 1 . (A7) s15 s23 s13 s25 s13 s24 s14 s23
[1] H. Kawai, D. C. Lewellen, S. H. H. Tye, Nucl. Phys. B269, 1 (1986). [2] Z. Bern, J. J. M. Carrasco, H. Johansson, Phys. Rev. D78 (2008) 085011. [arXiv:0805.3993 [hep-ph]]. [3] Z. Bern, T. Dennen, Y. -t. Huang, M. Kiermaier, Phys. Rev. D82, 065003 (2010). [arXiv:1004.0693 [hep-th]]. [4] Z. Bern, J. J. M. Carrasco, H. Johansson, Phys. Rev. Lett. 105, 061602 (2010). [arXiv:1004.0476 [hep-th]]. [5] Z. Bern, J. J. M. Carrasco, L. J. Dixon, H. Johansson and R. Roiban, Phys. Rev. D 82 (2010) 125040 [arXiv:1008.3327 [hep-th]]. [6] J. J. Carrasco and H. Johansson, Phys. Rev. D 85 (2012) 025006 [arXiv:1106.4711 [hep-th]]. [7] Z. Bern, C. Boucher-Veronneau and H. Johansson, Phys. Rev. D 84 (2011) 105035 [arXiv:1107.1935 [hep-th]]. [8] S. G. Naculich and H. J. Schnitzer, JHEP 1111 (2011) 001 [arXiv:1108.6326 [hep-th]]. [9] C. Boucher-Veronneau and L. J. Dixon, JHEP 1112 (2011) 046 [arXiv:1110.1132 [hep-th]]. [10] Z. Bern, J. J. M. Carrasco, L. J. Dixon, H. Johansson and R. Roiban, arXiv:1201.5366 [hep-th]. [11] Z. Bern, S. Davies, T. Dennen and Y. -t. Huang, arXiv:1202.3423 [hep-th]. [12] R. Monteiro and D. O’Connell, JHEP 1107 (2011) 007 [arXiv:1105.2565 [hep-th]]. [13] N. E. J. Bjerrum-Bohr, P. H. Damgaard, P. Vanhove, Phys. Rev. Lett. 103, 161602 (2009). [arXiv:0907.1425 [hep-th]].
17 [14] S. Stieberger, [arXiv:0907.2211 [hep-th]]. [15] B. Feng, R. Huang, Y. Jia, Phys. Lett. B695 (2011) 350-353. [arXiv:1004.3417 [hep-th]]. [16] R. Kleiss and H. Kuijf, Nucl. Phys. B 312, 616 (1989). [17] M. Kiermaier, Prog. Theor. Phys. Suppl. 188 (2011) 177-186. [18] N. E. J. Bjerrum-Bohr, P. H. Damgaard, T. Sondergaard and P. Vanhove, JHEP 1101, 001 (2011) [arXiv:1010.3933 [hep-th]]. [19] C. R. Mafra, O. Schlotterer and S. Stieberger, JHEP 1107 (2011) 092 [arXiv:1104.5224 [hep- th]]. [20] T. Sondergaard, Nucl. Phys. B821, 417-430 (2009). [arXiv:0903.5453 [hep-th]]. [21] N. E. J. Bjerrum-Bohr, P. H. Damgaard, T. Sondergaard and P. Vanhove, JHEP 1006, 003 (2010) [arXiv:1003.2403 [hep-th]]. [22] S. H. Henry Tye, Y. Zhang, JHEP 1006, 071 (2010). [arXiv:1003.1732 [hep-th]]. [23] Y. Jia, R. Huang and C. Y. Liu, Phys. Rev. D 82, 065001 (2010) [arXiv:1005.1821 [hep-th]]. [24] N. E. J. Bjerrum-Bohr, P. H. Damgaard, B. Feng and T. Sondergaard, Phys. Rev. D 82, 107702 (2010) [arXiv:1005.4367 [hep-th]]. [25] H. Tye, Y. Zhang, [arXiv:1007.0597 [hep-th]]. [26] D. Vaman and Y. P. Yao, JHEP 1011, 028 (2010) [arXiv:1007.3475 [hep-th]]. [27] Y. X. Chen, Y. J. Du and B. Feng, JHEP 1101, 081 (2011) [arXiv:1011.1953 [hep-th]]. [28] N. E. J. Bjerrum-Bohr, P. H. Damgaard, B. Feng, T. Sondergaard, [arXiv:1101.5555 [hep-ph]]. [29] Z. Bern, T. Dennen, [arXiv:1103.0312 [hep-th]]. [30] N. E. J. Bjerrum-Bohr, P. H. Damgaard, H. Johansson and T. Sondergaard, JHEP 1105 (2011) 039 [arXiv:1103.6190 [hep-th]]. [31] Y. -J. Du, B. Feng and C. -H. Fu, JHEP 1108 (2011) 129 [arXiv:1105.3503 [hep-th]]. [32] T. Sondergaard, arXiv:1106.0033 [hep-th]. [33] J. Broedel and J. J. M. Carrasco, Phys. Rev. D 84 (2011) 085009 [arXiv:1107.4802 [hep-th]]. [34] Q. Ma, Y. -J. Du and Y. -X. Chen, arXiv:1109.0685 [hep-th]. [35] R. H. Boels and R. S. Isermann, Phys. Rev. D 85 (2012) 021701 [arXiv:1109.5888 [hep-th]]; JHEP 1203 (2012) 051 [arXiv:1110.4462 [hep-th]]. [36] S. G. Naculich, H. Nastase and H. J. Schnitzer, JHEP 1201 (2012) 041 [arXiv:1111.1675 [hep-th]]. [37] Q. Jin and R. Roiban, arXiv:1201.5012 [hep-th].
18 [38] A. N. Leznov and M. A. Mukhtarov, J. Math. Phys. 28 (1987) 2574; A. Parkes, Phys. Lett. B 286 (1992) 265 [hep-th/9203074]; D. Cangemi, Nucl. Phys. B484 (1997) 521-537. [hep- th/9605208]; W. A. Bardeen, Prog. Theor. Phys. Suppl. 123 (1996) 1. [39] J. L. Bourjaily, arXiv:1011.2447 [hep-ph]. [40] H. Bondi, M. G. J. van der Burg and A. W. K. Metzner, Proc. Roy. Soc. Lond. A 269 (1962) 21; R. K. Sachs, Proc. Roy. Soc. Lond. A 270 (1962) 103; R. Sachs, Phys. Rev. 128 (1962) 2851. [41] J. J. Heckman and H. Verlinde, arXiv:1112.5209 [hep-th].
19