since its inception , it has been clear that general relativity has many striking similarities to gauge theories .
both are based on the idea of local symmetry and therefore share a number of formal properties .
nevertheless , their dynamical behavior can be quite different . while maxwell electrodynamics describes a long - range force similar to the situation with gravity , the non - abelian gauge theories used to describe the weak and strong nuclear forces have rather different behaviors .
quantum chromodynamics , which describes the strong nuclear forces , for example , exhibits confinement of particles carrying the non - abelian gauge charges .
certainly , there is no obvious corresponding property for gravity .
moreover , consistent quantum gauge theories have existed for a half century , but as yet no satisfactory quantum field theory of gravity has been constructed ; indeed , there are good arguments suggesting that it is not possible to do so .
the structures of the lagrangians are also rather different : the non - abelian yang - mills lagrangian contains only up to four - point interactions while the einstein - hilbert lagrangian contains infinitely many .    despite these differences ,
string theory teaches us that gravity and gauge theories can , in fact , be unified .
the maldacena conjecture  @xcite , for example , relates the weak coupling limit of a gravity theory on an anti - de sitter background to a strong coupling limit of a special supersymmetric gauge field theory .
there is also a long history of papers noting that gravity can be expressed as a gauging of lorentz symmetry  @xcite , as well as examples of non - trivial similarities between classical solutions of gravity and non - abelian gauge theories  @xcite . in this review
a different , but very general , relationship between the weak coupling limits of both gravity and gauge theories will be described .
this relationship allows gauge theories to be used directly as an aid for computations in perturbative quantum gravity .
the relationship discussed here may be understood most easily from string perturbation theory . at the semi - classical or `` tree level , '' kawai , lewellen and tye ( klt )
@xcite derived a precise set of formulas expressing closed string amplitudes in terms of sums of products of open string amplitudes . in the low - energy limit ( _ i.e. _ anywhere well below the string scale of @xmath1 gev ) where string theory effectively reduces to field theory
, the klt relations necessarily imply that similar relations must exist between amplitudes in gravity and gauge field theories : at tree - level in field theory , graviton scattering must be expressible as a sum of products of well defined pieces of non - abelian gauge theory scattering amplitudes .
moreover , using string based rules , four - graviton amplitudes with one quantum loop in einstein gravity were obtained in a form in which the integrands appearing in the expressions were given as products of integrands appearing in gauge theory  @xcite .
these results may be interpreted heuristically as @xmath2 this remarkable property suggests a much stronger relationship between gravity and gauge theories than one might have anticipated by inspecting the respective lagrangians .
the klt relations hold at the semi - classical level , _ i.e. _ with no quantum loops . in order to exploit the klt relations in quantum gravity
, one needs to completely reformulate the quantization process ; the standard methods starting either from a hamiltonian or a lagrangian provide no obvious means of exploiting the klt relations .
there is , however , an alternative approach based on obtaining the quantum loop contributions directly from the semi - classical tree - level amplitudes by using @xmath0-dimensional unitarity  @xcite .
these same methods have also been applied to non - trivial calculations in quantum chromodynamics ( see _ e.g. _ refs .
@xcite ) and in supersymmetric gauge theories ( see _ e.g. _ refs .
@xcite ) . in a sense
, they provide a means for obtaining collections of quantum loop - level feynman diagrams without direct reference to the underlying lagrangian or hamiltonian .
the only inputs with this method are the @xmath0-dimensional tree - level scattering amplitudes .
this makes the unitarity method ideally suited for exploiting the klt relations .
an interesting application of this method of perturbatively quantizing gravity is as a tool for investigating the ultra - violet behavior of gravity field theories .
ultraviolet properties are one of the central issues of perturbative quantum gravity .
the conventional wisdom that quantum field theories of gravity can not possibly be fundamental rests on the apparent non - renormalizability of these theories .
simple power counting arguments strongly suggest that einstein gravity is not renormalizable and therefore can be viewed only as a low energy effective field theory .
indeed , explicit calculations have established that non - supersymmetric theories of gravity with matter generically diverge at one loop  @xcite , and pure gravity diverges at two loops  @xcite .
supersymmetric theories are better behaved with the first potential divergence occurring at three loops  @xcite . however , no explicit calculations have as yet been performed to directly verify the existence of the three - loop supergravity divergences .
the method described here for quantizing gravity is well suited for addressing the issue of the ultraviolet properties of gravity because it relates overwhelmingly complicated calculations in quantum gravity to much simpler ( though still complicated ) ones in gauge theories .
the first application was for the case of maximally supersymmetric gravity , which is expected to have the best ultra - violet properties of any theory of gravity .
this analysis led to the surprising result that maximally supersymmetric gravity is less divergent  @xcite than previously believed based on power counting arguments  @xcite .
this lessening of the power counting degree of divergence may be interpreted as an additional symmetry unaccounted for in the original analysis  @xcite .
( the results are inconsistent , however , with an earlier suggestion @xcite based on the speculated existence of an unconstrained covariant off - shell superspace for @xmath3 supergravity , which in @xmath4 implies finiteness up to seven loops .
the non - existence of such a superspace was already noted a while ago  @xcite . )
the method also led to the explicit construction of the two - loop divergence in eleven - dimensional supergravity  @xcite .
more recently , it aided the study of divergences in type  i supergravity theories  @xcite where it was noted that they factorize into products of gauge theory factors .
other applications include the construction of infinite sequences of amplitudes in gravity theories . given the complexity of gravity perturbation theory , it is rather surprising that one can obtain compact expressions for an arbitrary number of external legs , even for restricted helicity or spin configurations of the particles .
the key for this construction is to make use of previously known sequences in quantum chromodynamics . at tree - level ,
infinite sequences of maximally helicity violating amplitudes have been obtained by directly using the klt relations  @xcite and analogous quantum chromodynamics sequences . at one loop , by combining the klt relations with the unitarity method , additional infinite sequences of gravity and super - gravity amplitudes have also been obtained  @xcite .
they are completely analogous to and rely on the previously obtained infinite sequences of one - loop gauge theory amplitudes  @xcite .
these amplitudes turn out to be also intimately connected to those of self - dual yang - mills  @xcite and gravity  @xcite .
the method has also been used to explicitly compute two - loop supergravity amplitudes  @xcite in dimension @xmath5 , that were then used to check m - theory dualities  @xcite .    although the klt relations have been exploited to obtain non - trivial results in quantum gravity theories , a derivation of these relations from the einstein - hilbert lagrangian is lacking . there has , however , been some progress in this regard .
it turns out that with an appropriate choice of field variables one can separate the space - time indices appearing in the lagrangian into ` left ' and ` right ' classes  @xcite , mimicking the similar separation that occurs in string theory .
moreover , with further field redefinitions and a non - linear gauge choice , it is possible to arrange the off - shell three - graviton vertex so that it is expressible in terms of a sum of squares of yang - mills three - gluon vertices  @xcite . it might be possible to extend this more generally starting from the formalism of siegel  @xcite , which contains a complete gravity lagrangian with the required factorization of space - time indices .
this review is organized as follows . in section  [ section : traditional_approach ]
the feynman diagram approach to perturbative quantum gravity is outlined .
the kawai , lewellen and tye relations between open and closed string tree amplitudes and their field theory limit are described in section  [ section : klt_relations ] .
applications to understanding and constructing tree - level gravity amplitudes are also described in this section . in section  [ section : einsteinhilbert ]
the implications for the einstein - hilbert lagrangian are presented . the procedure for obtaining quantum loop amplitudes from gravity tree amplitudes
is then given in section  [ section : trees_to_loops ] .
the application of this method to obtain quantum gravity loop amplitudes is described in section  [ section : gravity_loops ] . in section  [ section : divergence_properties ] the quantum divergence properties of maximally supersymmetric supergravity obtained from this method are described .
the conclusions are found in section  [ section : conclusions ] .
there are a number of excellent sources for various subtopics described in this review . for a recent review of the status of quantum gravity
the reader may consult the article by carlip  @xcite .
the conventional feynman diagram approach to quantum gravity can be found in the les houches lectures of veltman  @xcite .
a review article containing an early version of the method described here of using unitarity to construct complete loop amplitudes is ref .
excellent reviews containing the quantum chromodynamics amplitudes used to obtain corresponding gravity amplitudes are the ones by mangano and parke  @xcite and by lance dixon  @xcite .
these reviews also provide a good description of helicity techniques which are extremely useful for explicitly constructing scattering amplitude in gravity and gauge theories . broader textbooks describing quantum chromodynamics are refs .
chapter 7 of _ superstring theory _ by green , schwarz , and witten  @xcite contains an illuminating discussion of the relationship of closed and open string tree amplitudes , especially at the four - point level .
a somewhat more modern description of string theory may be found in the book by polchinski  @xcite .
applications of string methods to quantum field theory are described in a recent review by schubert  @xcite .
scattering of gravitons in flat space may be described using feynman diagrams  @xcite .
the feynman rules for constructing the diagrams are obtained from the einstein - hilbert lagrangian coupled to matter using standard procedures of quantum field theory .
( the reader may consult any of the textbooks on quantum field theory  @xcite for a derivation of the feynman rules starting from a given lagrangian . ) for a good source describing the feynman rules of gravity , the reader may consult the classic lectures of veltman  @xcite .    #
1#21.0#1    the momentum - space feynman rules are expressed in terms of vertices and propagators as depicted in fig .
[ figure : gravityfeynman ] . in the figure ,
space - time indices are denoted by @xmath6 and @xmath7 while the momenta are denoted by @xmath8 or @xmath9 .
in contrast to gauge theory , gravity has an infinite set of ever more complicated interaction vertices ; the three- and four - point ones are displayed in the figure .
the diagrams for describing scattering of gravitons from each other are built out of these propagators and vertices .
other particles can be included in this framework by adding new propagators and vertices associated with each particle type .
( for the case of fermions coupled to gravity the lagrangian needs to be expressed in terms of the vierbein instead of the metric before the feynman rules can be constructed . )
according to the feynman rules , each leg or vertex represents a specific algebraic expression depending on the choice of field variables and gauges .
for example , the graviton feynman propagator in the commonly used de  donder gauge is : @xmath10   { i\over k^2 + i\epsilon}\ , .
\label{gravitypropagator}\ ] ] the three - vertex is much more complicated and the expressions may be found in dewitt s articles  @xcite or in veltman s lectures  @xcite . for simplicity , only a few of the terms of the three - vertex are displayed : 0.14 em @xmath11 where the indices associated with each graviton are depicted in the three - vertex of fig.[figure : gravityfeynman ] , _ i.e. _ , the two indices of graviton @xmath12 are @xmath13 .    #
1#2.5#1    # 1#2.5#1    the loop expansion of feynman diagrams provide a systematic quantum mechanical expansion in planck s constant @xmath14 .
the tree - level diagrams such as those in fig .
[ figure : gravitytrees ] are interpreted as ( semi ) classical scattering processes while the diagrams with loops are the true quantum mechanical effects : each loop carries with it a power of @xmath14 . according to the feynman rules , each loop represents an integral over the momenta of the intermediate particles .
the behavior of these loop integrals is the key for understanding the divergences of quantum gravity
.      in general , the loop momentum integrals in a quantum field theory will diverge in the ultraviolet where the momenta in the loops become arbitrarily large . unless these divergences are of the right form
they indicate that a theory can not be interpreted as fundamental , but is instead valid only at low energies .
gauge theories such as quantum chromodynamics are renormalizable : divergences from high energy scales can be absorbed into redefinitions of the original parameters appearing in the theory . in quantum gravity , on the other hand , it is not possible to re - absorb divergences in the original lagrangian for a very simple reason : the gravity coupling @xmath15 , where @xmath16 is newton s constant , carries dimensions of length ( in units where @xmath17 ) . by dimensional analysis , any divergence must be proportional to terms with extra derivatives compared to the original lagrangian and are thus of a different form .
this may be contrasted to the gauge theory situation where the coupling constant is dimensionless , allowing for the theory to be renormalizable .
the problem of non - renormalizability of quantum gravity does not mean that quantum mechanics is incompatible with gravity , only that quantum gravity should be treated as an effective field theory  @xcite for energies well below the planck scale of @xmath1 gev ( which is , of course , many orders of magnitude beyond the reach of any conceivable experiment ) . in an effective field theory , as one computes higher loop orders new and usually unknown couplings need to be introduced to absorb the divergences . generally , these new couplings are suppressed at low energies by ratios of energy to the fundamental high energy scale , but at sufficiently high energies the theory loses its predictive power . in quantum gravity
this happens at the planck scale .
quantum gravity based on the feynman diagram expansion allows for a direct investigation of the non - renormalizability issue .
for a theory of pure gravity with no matter , amazingly , the one - loop divergences cancel , as demonstrated by t  hooft and veltman  @xcite .
unfortunately , this result is `` accidental , '' since it does not hold generically when matter is added to the theory or when the number of loops is increased .
explicit calculations have shown that non - supersymmetric theories of gravity with matter generically diverge at one loop  @xcite , and pure gravity diverges at two loops  @xcite .
the two - loop calculations were performed using various improvements to the feynman rules such as the background field method  @xcite .
supersymmetric theories of gravity are known to have less severe divergences . in particular , in any four - dimensional supergravity theory , supersymmetry ward identities  @xcite forbid all possible one - loop  @xcite and two - loop  @xcite divergences .
there is a candidate divergence at three loops for all supergravities including the maximally extended @xmath3 version  @xcite .
however , no explicit three - loop ( super ) gravity calculations have been performed to confirm the divergence . in principle
it is possible that the coefficient of a potential divergence obtained by power counting can vanish , especially if the full symmetry of the theory is taken into account .
as described in section  [ section : divergence_properties ] , this is precisely what does appear to happen  @xcite in the case of maximally supersymmetric supergravity .
the reason no direct calculation of the three - loop supergravity divergences has been performed is the overwhelming technical difficulties associated with multi - loop gravity feynman diagrams . in multi - loop calculations
the number of algebraic terms proliferates rapidly beyond the point where computations are practical . as a particularly striking example , consider the five - loop diagram in fig .
[ figure : multiloop ] , which , as noted in section  [ section : divergence_properties ] , is of interest for ultraviolet divergences in maximal @xmath3 supergravity in @xmath4 . in the standard de  donder gauge this diagram contains twelve vertices , each of the order of a hundred terms , and sixteen graviton propagators , each with three terms , for a total of roughly @xmath18 terms , even before having evaluated any integrals .
this is obviously well beyond what can be implemented on any computer .
the standard methods for simplifying diagrams , such as background - field gauges and superspace , are unfortunately insufficient to reduce the problem to anything close to manageable levels .
the alternative of using string- based methods that have proven to be useful at one loop and in certain two - loop calculations  @xcite also does not as yet provide a practical means for performing multi - loop scattering amplitude calculations  @xcite , especially in gravity theories .    #
1#20.3#1      the heuristic relation ( [ heuristicformula ] ) suggests a possible way to deal with multi - loop diagrams such as the one in fig .
[ figure : multiloop ] by somehow factorizing gravity amplitudes into products of gauge theory ones .
since gauge theory feynman rules are inherently much simpler than gravity feynman rules , it clearly would be advantageous to re - express gravity perturbative expansions in terms of gauge theory ones .
as a first step , one might , for example , attempt to express the three - graviton vertex as a product of two yang - mills vertices , as depicted in fig .
[ figure : threevertex ] : @xmath19 where the two indices of each graviton labeled by @xmath12 are @xmath13 , _
i.e. _ @xmath20 .    #
1#20.4#1    such relations , however , do not hold in any of the standard formulations of gravity .
for example , the three vertex in the standard de  donder gauge  ( [ threededonder ] ) contains traces over gravitons , _ i.e. _ a contraction of indices of a single graviton . for physical gravitons
the traces vanish , but for gravitons appearing inside feynman diagrams it is in general crucial to keep such terms .
a necessary condition for obtaining a factorizing three - graviton vertex  ( [ threefactorizing ] ) is that the `` left '' @xmath6 indices never contract with the `` right '' @xmath7 indices .
this is clearly violated by the three - vertex in eq .
( [ threededonder ] ) .
indeed , the standard formulations of quantum gravity generate a plethora of terms that violate the heuristic relation  ( [ heuristicformula ] ) .    in section  [ section :
einsteinhilbert ] the question of how one rearranges the einstein action to be compatible with string theory intuition is returned to .
however , in order to give a precise meaning to the heuristic formula  ( [ heuristicformula ] ) and to demonstrate that scattering amplitudes in gravity theories can indeed be obtained from standard gauge theory ones , a completely different approach from the standard lagrangian or hamiltonian ones is required .
this different approach is described in the next section .
our starting point for constructing perturbative quantum gravity is the kawai , lewellen , and tye ( klt ) relations  @xcite between closed and open string tree - level amplitudes . since closed string theories are theories of gravity and open string theories include gauge bosons , in the low energy limit , where string theory reduces to field theory , these relations then necessarily imply relations between gravity and gauge theories .
the realization that ordinary gauge and gravity field theories emerge from the low energy limit of string theories has been appreciated for nearly three decades .
( see , for example , refs .
@xcite ) .
the klt relations between open and closed string theory amplitudes can be motivated by the observation is that any closed string vertex operator for the emission of a closed string state ( such as a graviton ) is a product of open string vertex operators ( see _ e.g. _ ref .
@xcite ) , @xmath21 this product structure is then reflected in the amplitudes . indeed , the celebrated koba - nielsen form of string amplitudes  @xcite , which may be obtained by evaluating correlations of the vertex operators , factorize at the level of the integrands before world sheet integrations are performed .
amazingly , kawai , lewellen , and tye were able to demonstrate a much stronger factorization : complete closed string amplitudes factorize into products of open string amplitudes , even _
after _ integration over the world sheet variables .
( a description of string theory scattering amplitudes and the history of their construction may be found in standard books on string theory  @xcite . )    as a simple example of the factorization property of string theory amplitudes , the four - point partial amplitude of open superstring theory for scattering any of the massless modes is given by @xmath22 where @xmath23 is the open string regge slope proportional to the inverse string tension , @xmath24 is the gauge theory coupling , and @xmath25 is a gauge invariant kinematic coefficient depending on the momenta @xmath26 .
explicit forms of @xmath25 may be found in ref .
( the metric is taken here to have signature @xmath27 . ) in this and subsequent expressions , @xmath28 , @xmath29 and @xmath30 .
the indices can be either vector , spinor or group theory indices and the @xmath31 can be vector polarizations , spinors , or group theory matrices , depending on the particle type .
these amplitudes are the open string partial amplitudes before they are dressed with chan - paton  @xcite group theory factors and summed over non - cyclic permutations to form complete amplitudes .
( any group theory indices in eq .
( [ openstringfourpoint ] ) are associated with string world sheet charges arising from possible compactifications . ) for the case of a vector , @xmath31 is the usual polarization vector .
similarly , the four - point amplitudes corresponding to a heterotic closed superstring  @xcite are , 0.14 em @xmath32 where @xmath23 is the open string regge slope or equivalently twice the close string one . up to prefactors ,
the replacements @xmath33 and substituting @xmath34 , the closed string amplitude  ( [ closedstringfourpoint ] ) is a product of the open string partial amplitudes  ( [ openstringfourpoint ] ) . for the case of external gravitons
the @xmath35 are ordinary graviton polarization tensors . for further reading , chapter 7 of _
superstring theory _ by green , schwarz , and witten  @xcite provides an especially enlightening discussion of the four - point amplitudes in various string constructions .
as demonstrated by klt , the property that closed string tree amplitudes can be expressed in terms of products of open string tree amplitudes is completely general for any string states and for any number of external legs . in general
, it holds also for each of the huge number of possible string compactifications  @xcite .
an essential part of the factorization of the amplitudes is that any closed - string state is a direct product of two open - string states .
this property directly follows from the factorization of the closed - string vertex operators ( [ closedvertex ] ) into products of open- string vertex operators .
in general , for every closed - string state there is a fock space decomposition @xmath36 in the low energy limit this implies that states in a gravity field theory obey a similar factorization , @xmath37 for example , in four dimensions each of the two physical helicity states of the graviton are given by the direct product of two vector boson states of identical helicity .
the cases where the vectors have opposite helicity correspond to the antisymmetric tensor and dilaton .
similarly , a spin 3/2 gravitino state , for example , is a direct product of a spin 1 vector and spin 1/2 fermion .
note that decompositions of this type are not especially profound for free field theory and amount to little more than decomposing higher spin states as direct products of lower spin ones .
what is profound is that the factorization holds for the full non - linear theory of gravity .
the fact that the klt relations hold for the extensive variety of compactified string models  @xcite implies that they should also be generally true in field theories of gravity . for the cases of four- and five - particle scattering amplitudes , in the field theory limit the klt relations  @xcite reduce to :
@xmath38 0.14 em @xmath39 where the @xmath40 s are tree - level amplitudes in a gravity theory , the @xmath41 s are color - stripped tree - level amplitudes in a gauge theory and @xmath42 . in these equations
the polarization and momentum labels are suppressed , but the label `` @xmath43 '' is kept to distinguish the external legs .
the coupling constants have been removed from the amplitudes , but are reinserted below in eqs .
( [ fullgaugetheory ] ) and ( [ gravitycouplingamplitude ] ) .
an explicit generalization to @xmath44-point field theory gravity amplitudes may be found in appendix  a of ref .
the klt relations before the field theory limit is taken may , of course , be found in the original paper  @xcite .
the klt equations generically hold for any closed string states , using their fock space factorization into pairs of open string states . although not obvious , the gravity amplitudes  ( [ kltfourpoint ] ) and ( [ kltfivepoint ] ) have all the required symmetry under interchanges of identical particles .
( this is easiest to demonstrate in string theory by making use of an @xmath45 symmetry on the string world sheet . )    in the field theory limit the klt equations must hold in any dimension , because the gauge theory amplitudes appearing on the right - hand - side have no explicit dependence on the space - time dimension ; the only dependence is implicit in the number of components of momenta or polarizations .
moreover , if the equations hold in , say , ten dimensions , they must also hold in all lower dimensions since one can truncate the theory to a lower dimensional subspace .
the amplitudes on the left - hand side of eqs .
( [ kltfourpoint ] ) and ( [ kltfivepoint ] ) are exactly the scattering amplitudes that one obtains via standard gravity feynman rules  @xcite .
the gauge theory amplitudes on the right - hand - side may be computed via standard feynman rules available in any modern textbook on quantum field theory  @xcite .
after computing the full gauge theory amplitude , the color - stripped partial amplitudes @xmath41 appearing in the klt relations  ( [ kltfourpoint ] ) and  ( [ kltfivepoint ] ) , may then be obtained by expressing the full amplitudes in a color trace basis  @xcite : @xmath46 where the sum runs over the set of all permutations , but with cyclic rotations removed and @xmath24 as the gauge theory coupling constant .
the @xmath41 partial amplitudes that appear in the klt relations are defined as the coefficients of each of the independent color traces . in this formula ,
the @xmath47 are fundamental representation matrices for the yang - mills gauge group @xmath48 , normalized so that @xmath49 .
note that the @xmath41 are completely independent of the color and are the same for any value of @xmath50 .
( [ fullgaugetheory ] ) is quite similar to the way full open string amplitudes are expressed in terms of the string partial amplitudes by dressing them with chan - paton color factors  @xcite .    instead , it is somewhat more convenient to use color - ordered feynman rules  @xcite since they directly give the @xmath41 color - stripped gauge theory amplitudes appearing in the klt equations .
these feynman rules are depicted in fig .
[ figure : rules ] . when obtaining the partial amplitudes from these feynman rules it is essential to order the external legs following the order appearing in the corresponding color trace .
one may view the color - ordered gauge theory rules as a new set of feynman rules for gravity theories at tree level , since the klt relations allow one to convert the obtained diagrams to tree - level gravity amplitudes  @xcite as follows :    # 1#20.8#1    to obtain the full amplitudes from the klt relations in eqs .
( [ kltfourpoint ] ) , ( [ kltfivepoint ] ) and their @xmath44-point generalization , the couplings need to be reinserted .
in particular , when all states couple gravitationally , the full gravity amplitudes including the gravitational coupling constant are : @xmath51 where @xmath52 expresses the coupling @xmath53 in terms of newton s constant @xmath16 . in general ,
the precise combination of coupling constants depends on how many of the interactions are gauge or other interactions and how many are gravitational .    for the case of four space - time dimensions ,
it is very convenient to use helicity representation for the physical states  @xcite .
with helicity amplitudes the scattering amplitudes in either gauge or gravity theories are , in general , remarkably compact , when compared with expressions where formal polarization vectors or tensors are used . for each helicity ,
the graviton polarization tensors satisfy a simple relation to gluon polarization vectors : @xmath54 the @xmath55 are essentially ordinary circular polarization vectors associated with , for example , circularly polarized light .
the graviton polarization tensors defined in this way automatically are traceless , @xmath56 , because the gluon helicity polarization vectors satisfy @xmath57 .
they are also transverse , @xmath58 , because the gluon polarization vectors satisfy @xmath59 , where @xmath60 is the four momentum of either the graviton or gluon .
using a helicity representation  @xcite , berends , giele , and kuijf ( bgk )  @xcite were the first to exploit the klt relations to obtain amplitudes in einstein gravity . in quantum chromodynamics ( qcd ) an infinite set of helicity amplitudes known as the parke - taylor amplitudes  @xcite were already known .
these maximally helicity violating ( mhv ) amplitudes describe the tree - level scattering of @xmath44 gluons when all gluons but two have the same helicity , treating all particles as outgoing .
( the tree amplitudes in which all or all but one of the helicities are identical vanish . )
bgk used the klt relations to directly obtain graviton amplitudes in pure einstein gravity , using the known qcd results as input .
remarkably , they also were able to obtain a compact formula for @xmath44-graviton scattering with the special helicity configuration in which two legs are of opposite helicity from the remaining ones .
as a particularly simple example , the color - stripped four - gluon tree amplitude with two minus helicities and two positive helicities in qcd is given by @xmath61 @xmath62 where the @xmath24 subscripts signify that the legs are gluons and the @xmath63 superscripts signify the helicities . with the conventions used here , helicities are assigned by treating all particles as outgoing .
( this differs from another common choice which is to keep track of which particles are incoming and which are outgoing . ) in these amplitudes , for simplicity , overall phases have been removed . the gauge theory partial amplitude in eq .
( [ fourgluonamplitude ] ) may be computed using the color - ordered feynman diagrams depicted in fig .
[ figure : gluon ] .
the diagrams for the partial amplitude in eq .
( [ fourgluonamplitudeb ] ) are similar except that the labels for legs 3 and 4 are interchanged .
although qcd contains fermion quarks , they do not contribute to tree amplitudes with only external gluon legs because of fermion number conservation ; for these amplitudes qcd is entirely equivalent to pure yang - mills theory .
# 1#20.9#1    the corresponding four - graviton amplitude follows from the klt equation  ( [ kltfourpoint ] ) . after including the coupling from eq .
( [ gravitycouplingamplitude ] ) , the four - graviton amplitude is : @xmath64 where the subscript @xmath65 signifies that the particles are gravitons and , as with the gluon amplitudes , overall phases are removed . as for the case of gluons , the @xmath63 superscripts signify the helicity of the graviton .
this amplitude necessarily must be identical to the result for pure einstein gravity with no other fields present , because any other states , such as an anti - symmetric tensor , dilaton , or fermion , do not contribute to @xmath44-graviton tree amplitudes .
the reason is similar to the reason why the quarks do not contribute to pure glue tree amplitudes in qcd .
these other physical states contribute only when they appear as an external state , because they couple only in pairs to the graviton .
indeed , the amplitude ( [ gravityexample ] ) is in complete agreement with the result for this helicity amplitude obtained by direct diagrammatic calculation using the pure gravity einstein - hilbert action as the starting point  @xcite ( and taking into account the different conventions for helicity ) .    the klt relations are not limited to pure gravity amplitudes .
cases of gauge theory coupled to gravity have also been discussed in ref .
for example , by applying the feynman rules in fig .
[ figure : rules ] , one can obtain amplitudes for gluon amplitudes dressed with gravitons .
a sampling of these , to leading order in the graviton coupling , is : @xmath66 for the coefficients of the color traces @xmath67 $ ] following the ordering of the gluon legs .
again , for simplicity , overall phases are eliminated from the amplitudes .
( in ref .
@xcite mixed graviton matter amplitudes including the phases may be found . )
these formulae have been generalized to infinite sequences of maximally helicity - violating tree amplitudes for gluon amplitudes dressed by external gravitons .
the first of these were obtained by selivanov using a generating function technique  @xcite .
another set was obtained using the klt relations to find the pattern for an arbitrary number of legs  @xcite . in doing this ,
it is extremely helpful to make use of the analytic properties of amplitudes as the momenta of various external legs become soft ( _ i.e. _ @xmath68 ) or collinear ( _ i.e. _ @xmath9 parallel to @xmath69 ) , as discussed in the next subsection .
cases involving fermions have not been systematically studied , but at least for the case with a single fermion pair the klt equations can be directly applied using the feynman rules in fig .  [
figure : rules ] , without any modifications .
for example , in a supergravity theory , the scattering of a gravitino by a graviton is @xmath70 where the subscript @xmath71 signifies a spin 3/2 gravitino and @xmath72 signifies a spin 1/2 gluino . as a more subtle example , the scattering of fundamental representation quarks by gluons via graviton exchange also has a klt factorization : @xmath73 where @xmath74 and @xmath75 are distinct massless fermions . in this equation
, the gluons are factorized into products of fermions . on the right - hand side
the group theory indices @xmath76 are interpreted as global flavor indices but on the left - hand side they should be interpreted as color indices of local gauge symmetry . as a check , in ref .
@xcite , for both amplitudes ( [ gavitinoampl ] ) and ( [ qqggexchange ] ) , ordinary gravity feynman rules were used to explicitly verify that the expressions for the amplitudes are correct .
cases with multiple fermion pairs are more involved .
in particular , for the klt factorization to work in general , auxiliary rules for assigning global charges in the color - ordered amplitudes appear to be necessary .
this is presumably related to the intricacies associated with fermions in string theory  @xcite .
when an underlying string theory does exist , such as for the case of maximal supergravity discussed in section  [ section : divergence_properties ] , then the klt equations necessarily must hold for all amplitudes in the field theory limit .
the above examples , however , demonstrate that the klt factorization of amplitudes is not restricted only to the cases where an underlying string theory exists .
the analytic properties of gravity amplitudes as momenta become either soft @xmath77 or collinear ( @xmath69 parallel to @xmath69 ) are especially interesting because they supply a simple demonstration of the tight link between the two theories . moreover , these analytic properties are crucial for constructing and checking gravity amplitudes with an arbitrary number of external legs . the properties as gravitons become soft have been known for a long time  @xcite but the collinear properties were first obtained using the known collinear properties of gauge theories together with the klt relations .    helicity amplitudes in quantum chromodynamics have a well - known behavior as momenta of external legs become collinear or soft  @xcite . for the collinear case , at tree - level in quantum chromodynamics when two nearest neighboring legs in the color - stripped amplitudes become collinear , _ e.g. , _
@xmath78 , @xmath79 , and @xmath80 , the amplitude behaves as  @xcite : @xmath81 the function @xmath82 is a splitting amplitude , and @xmath83 is the helicity of the intermediate state @xmath84 .
( the other helicity labels are implicit . ) the contribution given in eq .
( [ ymcollinear ] ) is singular for @xmath85 parallel to @xmath86 ; other terms in the amplitude are suppressed by a power of @xmath87 , which vanishes in the collinear limit , compared to the ones in eq .
( [ ymcollinear ] ) .
for the pure glue case , one such splitting amplitude is @xmath88 where @xmath89   = -\sqrt{s_{ij}}\ ; e^{-i \phi_{jl}}\ , , \label{spinorsdefs}\ ] ] are spinor inner products , and @xmath90 is a momentum - dependent phase that may be found in , for example , ref .  @xcite . in general
, it is convenient to express splitting amplitudes in terms of these spinor inner products .
the ` @xmath91 ' and ` @xmath92 ' labels refer to the helicity of the outgoing gluons .
since the spinor inner products behave as @xmath93 , the splitting amplitudes develop square - root singularities in the collinear limits .
if the two collinear legs are not next to each other in the color ordering , then there is no singular contribution , _
e.g. _ no singularity develops in @xmath94 for @xmath85 collinear to @xmath95 .    from the structure of the klt relations it is clear that a universal collinear behavior similar to eq .
( [ ymcollinear ] ) must hold for gravity since gravity amplitudes can be obtained from gauge theory ones .
the klt relations give a simple way to determine the gravity splitting amplitudes , @xmath96 .
the value of the splitting amplitude may be obtained by taking the collinear limit of two of the legs in , for example , the five - point amplitude .
taking @xmath85 parallel to @xmath86 in the five - point relation ( [ kltfivepoint ] ) and using eq .
( [ gravitycouplingamplitude ] ) yields : @xmath97 where @xmath98 more explicitly , using eq .
( [ ymsplitexample ] ) then gives : @xmath99 \over \langle { 1}{2}\rangle } \ , .
\label{gravtreecollexample}\ ] ] using the klt relations at @xmath44-points , it is not difficult to verify that the splitting behavior is universal for an arbitrary number of external legs , _ i.e. _ : @xmath100 ( since the klt relations are not manifestly crossing - symmetric , it is simpler to check this formula for some legs being collinear rather than others ; at the end all possible combinations of legs must give the same results , though . ) the general structure holds for any particle content of the theory because of the general applicability of the klt relations .
in contrast to the gauge theory splitting amplitude ( [ ymsplitexample ] ) , the gravity splitting amplitude ( [ gravtreecollexample ] ) is not singular in the collinear limit .
the @xmath101 factor in eq .
( [ gravtreecoll ] ) has canceled the pole . however , a phase singularity remains from the form of the spinor inner products given in eq .
( [ spinorsdefs ] ) , which distinguishes terms with the splitting amplitude from any others . in eq .
( [ spinorsdefs ] ) , the phase factor @xmath102 rotates by @xmath103 as @xmath104 and @xmath105 rotate once around their sum @xmath106 as shown in fig .
[ figure : rotcol ] .
the ratio of spinors in eq .
( [ gravtreecollexample ] ) then undergoes a @xmath107 rotation accounting for the angular - momentum mismatch of 2@xmath14 between the graviton @xmath108 and the pair of gravitons @xmath109 and @xmath110 . in the gauge theory case ,
the terms proportional to the splitting amplitudes  ( [ ymcollinear ] ) dominate the collinear limit . in the gravitational formula  ( [ gravcollinear ] ) ,
there are other terms of the same magnitude as @xmath111/ \langle{1}{2}\rangle$ ] as @xmath112 .
however , these non - universal terms do not acquire any additional phase as the collinear vectors @xmath104 and @xmath105 are rotated around each other .
thus , they can be separated from the universal terms .
the collinear limit of any gravity tree amplitude must contain the universal terms given in eq .
( [ gravcollinear ] ) thereby putting a severe restriction on the analytic structure of the amplitudes .
# 1#20.6#1    even for the well - studied case of momenta becoming soft one may again use the klt relation to extract the behavior and to rewrite it in terms of the soft behavior of gauge theory amplitudes .
gravity tree amplitudes have the well known behavior  @xcite , @xmath113 as the momentum of graviton @xmath44 , becomes soft .
( [ gravtreesoft ] ) the soft graviton is taken to carry positive helicity ; parity can be used to obtain the other helicity case .    one can obtain the explicit form of the soft factors directly from the klt relations , but a more symmetric looking soft factor can be obtained by first expressing the three - graviton vertex in terms of a yang - mills three vertex  @xcite .
( see eq .
( [ berngrantvertex ] ) . )
this three - vertex can then be used to directly construct the soft factor .
the result is a simple formula expressing the universal function describing soft gravitons in terms of the universal functions describing soft gluons  @xcite : @xmath114 where @xmath115 is the eikonal factor for a positive helicity soft gluon in qcd labeled by @xmath44 , and @xmath116 and @xmath117 are labels for legs neighboring the soft gluon . in eq .
( [ finalsoftgrav ] ) the momenta @xmath118 and @xmath119 are arbitrary null `` reference '' momenta .
although not manifest , the soft factor ( [ finalsoftgrav ] ) is independent of the choices of these reference momenta . by choosing @xmath120 and
@xmath121 the form of the soft graviton factor for @xmath122 used in , for example , refs .
@xcite is recovered .
the important point is that in the form ( [ finalsoftgrav ] ) , the graviton soft factor is expressed directly in terms of the qcd gluon soft factor .
since the soft amplitudes for gravity are expressed in terms of gauge theory ones , the probability of emitting a soft graviton can also be expressed in terms of the probability of emitting a soft gluon .
one interesting feature of the gravitational soft and collinear functions is that , unlike the gauge theory case , they do not suffer any quantum corrections  @xcite .
this is due to the dimensionful nature of the gravity coupling @xmath53 , which causes any quantum corrections to be suppressed by powers of a vanishing kinematic invariant .
the dimensions of the coupling constant must be absorbed by additional powers of the kinematic invariants appearing in the problem , which all vanish in the collinear or soft limits .
this observation is helpful because it can be used to put severe constraints on the analytic structure of gravity amplitudes at any loop order .
consider the einstein - hilbert and yang - mills lagrangians , @xmath123 where @xmath124 is the usual scalar curvature and @xmath125 is the yang - mills field strength .
an inspection of these two lagrangians does not reveal any obvious factorization property that might explain the klt relations .
indeed , one might be tempted to conclude that the klt equations could not possibly hold in pure einstein gravity . however , although somewhat obscure , the einstein - hilbert lagrangian can in fact be rearranged into a form that is compatible with the klt relations ( as argued in this section ) .
of course , there should be such a rearrangement , given that in the low energy limit pure graviton tree amplitudes in string theory should match those of einstein gravity .
all other string states either decouple or can not enter as intermediate states in pure graviton amplitudes because of conservation laws . indeed , explicit calculations using ordinary gravity feynman rules confirm this to be true  @xcite .
( in loops , any state of the string that survives in the low energy limit will in fact contribute , but in this section only tree amplitudes are being considered . )
one of the key properties exhibited by the klt relations ( [ kltfourpoint ] ) and ( [ kltfivepoint ] ) is the separation of graviton space - time indices into ` left ' and ` right ' sets .
this is a direct consequence of the factorization properties of closed strings into open strings .
consider the graviton field , @xmath126 .
we define the @xmath127 index be a `` left '' index and the @xmath128 index to be a `` right '' one . in string theory
, the `` left '' space - time indices would arise from the world - sheet left - mover oscillator and the `` right '' ones from the right - mover oscillators .
of course , since @xmath126 is a symmetric tensor it does not matter which index is assigned to the left or to the right . in the klt relations each of the two indices of a graviton
are associated with two distinct gauge theories . for convenience ,
we similarly call one of the gauge theories the `` left '' one and the other the `` right '' one . since the indices from each gauge theory can never contract with the indices of the other gauge theory , it must be possible to separate all the indices appearing in a gravity amplitude into left and right classes such that the ones in the left class only contract with left ones and the ones in the right class , only with right ones .
this was first noted by siegel , who observed that it should be possible to construct a complete field theory formalism that naturally reflects the left - right string theory factorization of space - time indices . in a set of remarkable papers  @xcite
, he constructed exactly such a formalism . with appropriate gauge choices , indices
separate exactly into `` right '' and `` left '' categories , which do not contract with each other .
this does not provide a complete explanation of the klt relations , since one would still need to demonstrate that the gravity amplitudes can be expressed directly in terms of gauge theory ones .
nevertheless , this formalism is clearly a sensible starting point for trying to derive the klt relations directly from einstein gravity .
hopefully , this will be the subject of future studies , since it may lead to a deeper understanding of the relationship of gravity to gauge theory .
a lagrangian with the desired properties could , for example , lead to more general relations between gravity and gauge theory classical solutions .
here we outline a more straightforward order - by - order rearrangement of the einstein - hilbert lagrangian , making it compatible with the klt relations  @xcite .
a useful side - benefit is that this provides a direct verification of the klt relations up to five points starting from the einstein - hilbert lagrangian in its usual form .
this is a rather non - trivial direct verification of the klt relations , given the algebraic complexity of the gravity feynman rules .    in conventional gauges , the difficulty of factorizing the einstein - hilbert lagrangian into left and right parts
is already apparent in the kinetic terms . in de
donder gauge , for example , the quadratic part of the lagrangian is @xmath129 so that the propagator is the one given in eq .
( [ gravitypropagator ] ) .
although the first term is acceptable since left and right indices do not contract into each other , the appearance of the trace @xmath130 in eq .
( [ quadraticlagrang ] ) is problematic since it contracts a left graviton index with a right one .
( the indices are raised and lowered using the flat space metric @xmath131 and its inverse . )    in order for the kinematic term  ( [ quadraticlagrang ] ) to be consistent with the klt equations , all terms which contract a `` left '' space - time index with a `` right '' one need to be eliminated .
a useful trick for doing so is to introduce a `` dilaton '' scalar field that can be used to remove the graviton trace from the quadratic terms in the lagrangian .
the appearance of the dilaton as an auxiliary field to help rearrange the lagrangian is motivated by string theory , which requires the presence of such a field . following the discussion of refs .
@xcite , consider instead a lagrangian for gravity coupled to a scalar : @xmath132 since the auxiliary field @xmath133 is quadratic in the lagrangian , it does not appear in any tree diagrams involving only external gravitons  @xcite .
it therefore does not alter the tree @xmath134-matrix of purely external gravitons .
( for theories containing dilatons one can allow the dilaton to be an external physical state . ) in de  donder gauge , for example , taking @xmath135 , the quadratic part of the lagrangian including the dilaton is : @xmath136 the term involving @xmath130 can be eliminated with the field redefinitions , @xmath137 and @xmath138 yielding @xmath139 one might be concerned that the field redefinition might alter gravity scattering amplitudes . however , because this field redefinition does not alter the trace - free part of the graviton field it can not change the scattering amplitudes of traceless gravitons  @xcite .
of course , the rearrangement of the quadratic terms is only the first step . in order to make the einstein - hilbert lagrangian consistent with the klt factorization ,
a set of field variables should exist where all space - time indices can be separated into `` left '' and `` right '' classes .
to do so , all terms of the form @xmath140 need to be eliminated since they contract left indices with right ones . a field redefinition that accomplishes this is  @xcite : @xmath141 this field redefinition was explicitly checked in ref .
@xcite through @xmath142 , to eliminate all terms of the type in eq .
( [ badterms ] ) , before gauge fixing . however , currently there is no formal understanding of why this field variable choice eliminates terms that necessarily contract left and right indices .
it turns out that one can do better by performing further field redefinitions and choosing a particular non - linear gauge .
the explicit forms of these are a bit complicated and may be found in ref .  @xcite . with a particular gauge choice it is possible to express the off - shell three - graviton vertex in terms of yang - mills three vertices : @xmath143\ , ,   \label{berngrantvertex}\end{aligned}\ ] ] where @xmath144 is the color - ordered gervais - neveu  @xcite gauge yang - mills three- vertex , from which the color factor has been stripped .
this is not the only possible reorganization of the three - vertex that respects the klt factorization .
it just happens to be a particularly simple form of the vertex .
for example , another gauge that has a three - vertex that factorizes into products of color - stripped yang - mills three - vertices is the background - field  @xcite version of de  donder gauge for gravity and feynman gauge for qcd .
( however , background field gauges are meant for loop effective actions and not for tree - level @xmath134-matrix elements . )
interestingly , these gauge choices have a close connection to string theory  @xcite .
the above ideas represent some initial steps in reorganizing the einstein - hilbert lagrangian so that it respects the klt relations .
an important missing ingredient is a derivation of the klt equations starting from the einstein - hilbert lagrangian ( and also when matter fields are present ) .
in this section , the above discussion is extended to quantum loops through use of @xmath0-dimensional unitarity  @xcite .
the klt relations provide gravity amplitudes only at tree level ; @xmath0-dimensional unitarity then provides a means of obtaining quantum loop amplitudes . in perturbation theory
this is tantamount to quantizing the theory since the complete scattering matrix can , at least in principle , be systematically constructed this way .
amusingly , this bypasses the usual formal apparatus  @xcite associated with quantizing constrained systems .
more generally , the unitarity method provides a way to systematically obtain the complete set of quantum loop corrections order - by - order in the perturbative expansion whenever the full analytic behavior of tree amplitudes as a function of @xmath0 is known .
it always works when the particles in the theory are all massless .
the method is well tested in explicit calculations and has , for example , recently been applied to state - of - the - art perturbative qcd loop computations  @xcite .    in quantum field theory the @xmath134-matrix links initial and final states .
a basic physical property is that the @xmath134 matrix must be unitary  @xcite : @xmath145 . in perturbation
theory the feynman diagrams describe a transition matrix @xmath146 defined by @xmath147 , so that the unitarity condition reads @xmath148 where @xmath149 and @xmath150 are initial and final states , and the `` sum '' is over intermediate states @xmath151 ( and includes an integral over intermediate on - mass - shell momenta ) .
perturbative unitarity consists of expanding both sides of eq .
( [ basicunitarity ] ) in terms of coupling constants , @xmath24 for gauge theory and @xmath53 for gravity , and collecting terms of the same order .
for example , the imaginary ( or absorptive ) parts of one - loop four - point amplitudes , which is order @xmath152 in gravity , are given in terms of the product of two four - point tree amplitudes , each carrying a power of @xmath153 .
this is then summed over all two - particle states that can appear and integrated over the intermediate phase space .
( see fig .
[ figure : twoparticle ] . )
# 1#20.9#1    this provides a means of obtaining loop amplitudes from tree amplitudes .
however , if one were to directly apply eq .
( [ basicunitarity ] ) in integer dimensions one would encounter a difficulty with fully reconstructing the loop scattering amplitudes . since eq .
( [ basicunitarity ] ) gives only the imaginary part one then needs to reconstruct the real part .
this is traditionally done via dispersion relations , which are based on the analytic properties of the @xmath134 matrix  @xcite .
however , the dispersion integrals do not generally converge .
this leads to a set of subtraction ambiguities in the real part .
these ambiguities are related to the appearance of rational functions with vanishing imaginary parts , @xmath154 , where the @xmath155 are the kinematic variables for the amplitude .
a convenient way to deal with this problem  @xcite is to consider unitarity in the context of dimensional regularization  @xcite . by considering the amplitudes as an analytic function of dimension , at least for a massless theory , these ambiguities are not present , and the only remaining ambiguities are the usual ones associated with renormalization in quantum field theory .
the reason there can be no ambiguity relative to feynman diagrams follows from simple dimensional analysis for amplitudes in dimension @xmath156 . with dimensional regularization , amplitudes for massless particles necessarily acquire a factor of @xmath157 for each loop , from the measure @xmath158 . for small @xmath159 , @xmath160 , so every term has an imaginary part ( for some @xmath161 ) , though not necessarily in terms which survive as @xmath162 .
thus , the unitarity cuts evaluated to @xmath163 provide sufficient information for the complete reconstruction of an amplitude .
furthermore , by adjusting the specific rules for the analytic continuation of the tree amplitudes to @xmath0-dimensions one can obtain results in the different varieties of dimensional regularization , such as the conventional one  @xcite , the t  hooft - veltman scheme  @xcite , dimensional reduction  @xcite , and the four - dimensional helicity scheme  @xcite .
it is useful to view the unitarity - based technique as an alternate way of evaluating sets of ordinary feynman diagrams by collecting together gauge - invariant sets of terms containing residues of poles in the integrands corresponding to those of the propagators of the cut lines .
this gives a region of loop - momentum integration where the cut loop momenta go on shell and the corresponding internal lines become intermediate states in a unitarity relation .
from this point of view , even more restricted regions of loop momentum integration may be considered , where additional internal lines go on mass shell .
this amounts to imposing cut conditions on additional internal lines . in constructing the full amplitude from the cuts it is convenient to use unrestricted integrations over loop momenta , instead of phase space integrals , because in this way one can obtain simultaneously both the real and imaginary parts .
the generalized cuts then allow one to obtain multi - loop amplitudes directly from combinations of tree amplitudes .
as a first example , the generalized cut for a one - loop four - point amplitude in the channel carrying momentum @xmath164 , as shown in fig .
[ figure : twoparticle ] , is given by : @xmath165 where @xmath166 , and the sum runs over all physical states of the theory crossing the cut . in this generalized cut , the on - shell conditions @xmath167 are applied even though the loop momentum is unrestricted .
in addition , any physical state conditions on the intermediate particles should also be included .
the real and imaginary parts of the integral functions that do have cuts in this channel are reliably computed in this way .
however , the use of the on - shell conditions inside the unrestricted loop momentum integrals does introduce an arbitrariness in functions that do not have cuts in this channel .
such integral functions should instead be obtained from cuts in the other two channels .    #
1#20.9#1    a less trivial two - loop example of a generalized `` double '' two particle cut is illustrated in fig .
[ figure : doubledoubleampl](a ) .
the product of tree amplitudes appearing in this cut is : @xmath168 where the loop integrals and cut propagators have been suppressed for convenience . in this expression
the on - shell conditions @xmath169 are imposed on the @xmath170 , @xmath171 appearing on the right - hand side .
this double cut may seem a bit odd from the traditional viewpoint in which each cut can be interpreted as the imaginary part of the integral .
it should instead be understood as a means to obtain part of the information on the structure of the integrand of the two - loop amplitude .
namely , it contains the information on all integral functions where the cut propagators are not cancelled .
there are , of course , other generalized cuts at two loops .
for example , in fig .
[ figure : doubledoubleampl](b ) a different arrangement of the cut trees is shown .
complete amplitudes are found by combining the various cuts into a single function with the correct cuts in all channels .
this method works for any theory where the particles can be taken to be massless and where the tree amplitudes are known as an analytic function of dimension .
the restriction to massless amplitudes is irrelevant for the application of studying the ultra - violet divergences of gravity theories . in any case ,
gravitons and their associated superpartners in a supersymmetric theory are massless .
( for the case with masses present the extra technical complication has to do with the appearance of functions such as @xmath172 which have no cuts in any channel .
see ref .
@xcite for a description and partial solution of this problem . )
this method has been extensively applied to the case of one- and two - loop gauge theory amplitudes  @xcite and has been carefully cross - checked with feynman diagram calculations . here
, the method is used to obtain loop amplitudes directly from the gravity tree amplitudes given by the klt equations . in the next section an example of how the method works in practice for the case of gravity
is provided .
the unitarity method provides a natural means for applying the klt formula to obtain loop amplitudes in quantum gravity , since the only required inputs are tree - level amplitudes valid for @xmath0-dimensions ; this is precisely what the klt relations provide .
although einstein gravity is almost certainly not a fundamental theory , there is no difficulty in using it as an effective field theory  @xcite , in order to calculate quantum loop corrections .
the particular examples discussed in this section are completely finite and therefore do not depend on a cutoff or on unknown coefficients of higher curvature terms in the low energy effective action .
they are therefore a definite low energy prediction of _ any _ fundamental theory of gravity whose low energy limit is einstein gravity .
( although they are definite predictions , there is , of course , no practical means to experimentally verify them . )
the issue of divergences is deferred to section  [ section : divergence_properties ] .      as a simple example of how the unitarity method gives loop amplitudes ,
consider the one - loop amplitude with four identical helicity gravitons and a scalar in the loop  @xcite .
the product of tree amplitudes appearing in the @xmath101 channel unitarity cut depicted in fig .
[ figure : twoparticle ] is : @xmath173 where the superscript @xmath174 indicates that the cut lines are scalars .
the @xmath65 subscripts on legs @xmath175 indicate that these are gravitons , while the `` @xmath91 '' superscripts indicate that they are of plus helicity . from the klt expressions ( [ kltfourpoint ] )
the gravity tree amplitudes appearing in the cuts may be replaced with products of gauge theory amplitudes .
the required gauge theory tree amplitudes , with two external scalar legs and two gluons , may be obtained using color - ordered feynman diagrams and are : @xmath176 @xmath177 \,.\ ] ] the external gluon momenta are four dimensional , but the scalar momenta @xmath178 and @xmath179 are @xmath0 dimensional since they will form the loop momenta . in general
, loop momenta will have a non - vanishing @xmath180-dimensional component @xmath181 , with @xmath182 .
the factors of @xmath183 appearing in the numerators of these tree amplitudes causes them to vanish as the scalar momenta are taken to be four dimensional , though they are non - vanishing away from four dimensions . for simplicity ,
overall phases have been removed from the amplitudes . after inserting these gauge theory amplitudes in the klt relation ( [ kltfourpoint ] ) ,
one of the propagators cancels , leaving @xmath184 \,.\ ] ] for this cut , one then obtains a sum of box integrals that can be expressed as : @xmath185 \nonumber \\ & & \hskip 2 cm \times { i \over ( l_1 - k_1 - k_2)^2 }   \biggl[{i \over ( l_1 + k_3)^2 }   + { i \over ( l_1 + k_4)^2 }   \biggr ] \,.\end{aligned}\ ] ] by symmetry , since the helicities of all the external gravitons are identical , the other two cuts also give the same combinations of box integrals , but with the legs permuted .
the three cuts can then be combined into a single function that has the correct cuts in all channels yielding @xmath186(s_{12},s_{23 } ) +          { \cal i}_4^{\rm 1\ , loop}[\mu^8](s_{12},s_{13 } ) \nonumber \\ & & \null    + { \cal i}_4^{\rm 1\ , loop}[\mu^8](s_{23},s_{13 } ) \bigr)\ , ,   \label{fourgravallplus}\end{aligned}\ ] ] and where @xmath187(s_{12},s_{23 } ) =   \int { d^d l \over ( 2\pi)^d } \ , { { \cal p } \over l^2 ( l - k_1)^2         ( l - k_1 - k_2)^2          ( l + k_4)^2   } \ , , \label{oneloopintegral}\ ] ] is the box integral depicted in fig .
[ figure : oneloopintegral ] with the external legs arranged in the order 1234 . in eq .
( [ fourgravallplus ] ) @xmath188 is @xmath189 .
the two other integrals that appear correspond to the two other distinct orderings of the four external legs .
the overall factor of 2 in eq .
( [ fourgravallplus ] ) is a combinatoric factor due to taking the scalars to be complex with two physical states .
since the factor of @xmath189 is of @xmath163 , the only non - vanishing contributions come where the @xmath159 from the @xmath189 interferes with a divergence in the loop integral .
these divergent contributions are relatively simple to obtain . after extracting this contribution from the integral ,
the final @xmath4 result for a complex scalar loop , after reinserting the gravitational coupling , is @xmath190 in agreement with a calculation done by a different method relying directly on string theory  @xcite .
( as for the previous expressions , the overall phase has been suppressed . )
1#20.5#1    this result generalizes very simply to the case of any particles in the loop .
for any theory of gravity , with an arbitrary matter content one finds : @xmath191 where @xmath192 is the number of physical bosonic states circulating in the loop minus the number of fermionic states . the simplest way to demonstrate
this is by making use of supersymmetry ward identities  @xcite , which provide a set of simple linear relations between the various contributions showing that they must be proportional to each other .
surprisingly , the above four - point results can be extended to an arbitrary number of external legs . using the unitarity methods , the five- and six - point amplitudes with all identical helicity
have also been obtained by direct calculation  @xcite .
then by demanding that the amplitudes have the properties described in section  [ subsection : soft_collinear ] for momenta becoming either soft  @xcite or collinear  @xcite , an ansatz for the one - loop maximally helicity - violating amplitudes for an arbitrary number of external legs has also been obtained .
these amplitudes were constructed from a set of building blocks called `` half - soft - function , '' which have `` half '' of the proper behavior as gravitons become soft .
the details of this construction and the explicit forms of the amplitudes may be found in refs .
@xcite .
the all - plus helicity amplitudes turn out to be very closely related to the infinite sequence of one - loop maximally helicity - violating amplitudes in @xmath3 supergravity .
the two sequences are related by a curious `` dimension shifting formula . '' in ref .
@xcite , a known dimension shifting formula  @xcite between identical helicity qcd and @xmath193 super - yang - mills amplitudes was used to obtain the four- , five- , and six - point @xmath3 amplitudes from the identical helicity gravity amplitudes using the klt relations in the unitarity cuts .
armed with these explicit results , the soft and collinear properties were then used to obtain an ansatz valid for an arbitrary number of external legs  @xcite .
this provides a rather non - trivial illustration of how the klt relations can be used to identify properties of gravity amplitudes using known properties of gauge theory amplitudes .
interestingly , the all - plus helicity amplitudes are also connected to self - dual gravity  @xcite and self - dual yang - mills  @xcite , _ i.e. _ gravity and gauge theory restricted to self - dual configurations of the respective field strengths , @xmath194 and @xmath195 , with @xmath196 .
this connection is simple to see at the linearized ( free field theory ) level since a superposition of plane waves of identical helicity satisfies the self - duality condition .
the self - dual currents and amplitudes have been studied at tree and one - loop levels  @xcite . in particular ,
chalmers and siegel  @xcite have presented self - dual actions for gauge theory ( and gravity ) , which reproduce the all - plus helicity scattering amplitudes at both tree and one - loop levels .
the ability to obtain exact expressions for gravity loop amplitudes demonstrates the utility of this approach for investigating quantum properties of gravity theories .
the next section describes how this can be used to study high energy divergence properties in quantum gravity .
in general , the larger the number of supersymmetries , the tamer the ultraviolet divergences because of the tendency for these to cancel between bosons and fermions in a supersymmetric theory . in four - dimensions
maximal @xmath3 supergravity may therefore be expected to be the least divergent of all possible supergravity theories . moreover ,
the maximally supersymmetric gauge theory , @xmath193 super - yang - mills , is completely finite  @xcite , leading one to suspect that the superb ultraviolet properties of @xmath193 super - yang - mills would then feed into improved ultra - violet properties for @xmath3 supergravity via its relation to gauge theory .
this makes the ultraviolet properties of @xmath3 supergravity the ideal case to investigate first via the perturbative relationship to gauge theory .
the maximal @xmath3 supergravity amplitudes can be obtained by applying the klt equations to express them in terms of maximally supersymmetric @xmath193 gauge theory amplitudes . for @xmath3 supergravity ,
each of the states of the multiplet factorizes into a tensor product of @xmath193 super - yang - mills states , as illustrated in eq .
( [ statefactorization ] ) . applying the klt equation ( [ kltfourpoint ] ) to the product of tree amplitudes appearing in the @xmath101 channel two - particle cuts yields : @xmath197 where the sum on the left - hand side runs over all 256 states in the @xmath3 supergravity multiplet . on the right - hand side
the two sums run over the 16 states ( ignoring color degrees of freedom ) of the @xmath193 super - yang - mills multiplet : a gluon , four weyl fermions and six real scalars .
the @xmath193 super - yang - mills tree amplitudes turn out to have a particularly simple sewing formula  @xcite , @xmath198 which holds in _ any _ dimension ( though some care is required to maintain the total number of physical states at their four - dimensional values so as to preserve the supersymmetric cancellations ) .
the simplicity of this result is due to the high degree of supersymmetry .    using the gauge theory result  ( [ yangmillssewing ] ) , it is a simple matter to evaluate eq .
( [ gravitysewingstart ] ) .
this yields : @xmath199 \nonumber \\ & & \hskip 5.03 cm \times \biggl[{1\over ( l_3 - k_3)^2 } + { 1\over ( l_3 - k_4)^2 } \biggr]\ , .
\label{basicgravcutting}\end{aligned}\ ] ] the sewing equations for the @xmath200 and @xmath201 kinematic channels are similar to that of the @xmath101 channel .    applying eq .
( [ basicgravcutting ] ) at one loop to each of the three kinematic channels yields the one - loop four graviton amplitude of @xmath3 supergravity , @xmath202 in agreement with previous results  @xcite .
the gravitational coupling @xmath53 has been reinserted into this expression .
the scalar integrals are defined in eq .
( [ oneloopintegral ] ) , inserting @xmath203 .
this is a standard integral appearing in massless field theories ; the explicit value of this integral may be found in many articles , including refs .
this result actually holds for any of the states of @xmath3 supergravity , not just external gravitons .
it is also completely equivalent to the result one obtains with covariant feynman diagrams including fadeev - popov  @xcite ghosts and using regularization by dimensional reduction  @xcite .
the simplicity of this result is due to the high degree of supersymmetry .
a generic one - loop four - point gravity amplitude can have up to eight powers of loop momenta in the numerator of the integrand ; the supersymmetry cancellations have reduced it to no powers .      at two loops ,
the two - particle cuts are obtained easily by iterating the one - loop calculation , since eq .
( [ basicgravcutting ] ) returns a tree amplitude multiplied by some scalar factors .
the three - particle cuts are more difficult to obtain , but again one can `` recycle '' the corresponding cuts used to obtain the two - loop @xmath193 super - yang - mills amplitudes  @xcite .
it turns out that the three - particle cuts introduce no other functions than those already detected in the two - particle cuts .
after all the cuts are combined into a single function with the correct cuts in all channels , the @xmath3 supergravity two - loop amplitude  @xcite is : @xmath204 where `` @xmath91  cyclic '' instructs one to add the two cyclic permutations of legs ( 2,3,4 ) .
the scalar planar and non - planar loop momentum integrals , @xmath205 and @xmath206 , are depicted in fig .
[ figure : planarnonplanar ] . in this expression ,
all powers of loop momentum have cancelled from the numerator of each integrand in much the same way as at one loop , leaving behind only the feynman propagator denominators .
the explicit values of the two - loop scalar integrals in terms of polylogarithms may be found in refs .
@xcite .
# 1#20.5#1    the two - loop amplitude ( [ twoloopamplitude ] ) has been used by green , kwon , and vanhove  @xcite to provide an explicit demonstration of the non - trivial m - theory duality between @xmath5 supergravity and type ii string theory . in this case , the finite parts of the supergravity amplitudes are important , particularly the way they depend on the radii of compactified dimensions .
a remarkable feature of the two - particle cutting equation ( [ basicgravcutting ] ) is that it can be iterated to _ all _ loop orders because the tree amplitude ( times some scalar denominators ) reappears on the right - hand - side .
although this iteration is insufficient to determine the complete multi - loop four - point amplitudes , it does provide a wealth of information .
in particular , for planar integrals it leads to the simple insertion rule depicted in fig .
[ figure : insertline ] for obtaining the higher loop contributions from lower loop ones  @xcite .
this class includes the contribution in fig .
[ figure : multiloop ] , because it can be assembled entirely from two - particle cuts .
according to the insertion rule , the contribution corresponding to fig .
[ figure : multiloop ] is given by loop integrals containing the propagators corresponding to all the internal lines multiplied by a numerator factor containing 8 powers of loop momentum .
this is to be contrasted with the 24 powers of loop momentum in the numerator expected when there are no supersymmetric cancellations .
this reduction in powers of loop momenta leads to improved divergence properties described in the next subsection .    #
1#20.5#1      since the two - loop @xmath3 supergravity amplitude ( [ twoloopamplitude ] ) has been expressed in terms of scalar integrals , it is straightforward to extract the divergence properties .
the scalar integrals diverge only for dimension @xmath207 ; hence the two - loop @xmath3 amplitude is manifestly finite in @xmath208 and @xmath209 , contrary to earlier expectations based on superspace power counting  @xcite .
the discrepancy between the above explicit results and the earlier superspace power counting arguments may be understood in terms of an unaccounted higher dimensional gauge symmetry  @xcite . once this symmetry is accounted for
, superspace power counting gives the same degree of divergence as the explicit calculation .
the cutting methods provide much more than just an indication of divergence ; one can extract the explicit numerical coefficients of the divergences .
for example , near @xmath210 the divergence of the amplitude ( [ twoloopamplitude ] ) is : @xmath211 which clearly diverges when the dimensional regularization parameter @xmath212 .    in all cases
the linearized divergences take the form of derivatives acting on a particular contraction of riemann tensors , which in four dimensions is equivalent to the square of the bel - robinson tensor  @xcite .
this operator appears in the first set of corrections to the @xmath3 supergravity lagrangian , in the inverse string - tension expansion of the effective field theory for the type ii superstring  @xcite .
therefore , it has a completion into an @xmath3 supersymmetric multiplet of operators , even at the non - linear level
. it also appears in the m - theory one - loop and two - loop effective actions @xcite .
interestingly , the manifest @xmath0-independence of the cutting algebra allows the calculation to be extended to @xmath5 , even though there is no corresponding @xmath5 super - yang - mills theory . the result ( [ twoloopamplitude ] ) then explicitly demonstrates that @xmath213 @xmath5 supergravity diverges .
in dimensional regularization there are no one - loop divergences so the first potential divergence is at two loops .
( in a momentum cutoff scheme the divergences actually begin at one loop  @xcite . )
further work on the structure of the @xmath5 two - loop divergences in dimensional regularization has been carried out in ref .
the explicit form of the linearized @xmath213 , @xmath5 counterterm expressed as derivatives acting on riemann tensors along with a more general discussion of supergravity divergences may be found in ref .
@xcite .    using the insertion rule of fig  [ figure : insertline ] , and counting the powers of loop momenta in these contributions
leads to the simple finiteness condition : @xmath214 ( with @xmath215 ) , where @xmath216 is the number of loops .
this formula indicates that @xmath3 supergravity is finite in some other cases where the previous superspace bounds suggest divergences  @xcite , _
@xmath4 , @xmath217 : the first @xmath4 counterterm detected via the two - particle cuts of four - point amplitudes occurs at five , not three loops .
further evidence that the finiteness formula is correct stems from the maximally helicity violating contributions to @xmath218-particle cuts , in which the same supersymmetry cancellations occur as for the two - particle cuts  @xcite .
moreover , a recent improved superspace power count  @xcite , taking into account a higher dimensional gauge symmetry , is in agreement with the finiteness formula  ( [ finitenessformuala ] ) .
further work would be required to prove that other contributions do not alter the two - particle cut power counting .
a related open question is whether one can prove that the five - loop @xmath4 divergence encountered in the two - particle cuts does not somehow cancel against other contributions  @xcite because of some additional symmetry .
it would also be interesting to explicitly demonstrate the non - existence of divergences after including all contributions to the three - loop amplitude .
in any case , the explicit calculations using cutting methods do establish that at two loops maximally supersymmetric supergravity does not diverge in @xmath208  @xcite , contrary to earlier expectations from superspace power counting  @xcite .
this review described how the notion that gravity  @xmath219  ( gauge theory )  @xmath220  ( gauge theory ) can be exploited to develop a better understanding of perturbative quantum gravity .
the kawai - lewellen - tye ( klt ) string theory relations  @xcite gives this notion a precise meaning at the semi - classical or tree level .
quantum loop effects may then be obtained by using @xmath0-dimensional unitarity  @xcite . in a sense , this provides an alternative method for quantizing gravity , at least in the context of perturbative expansions around flat space . with this method ,
gauge theory tree amplitudes are converted into gravity tree amplitudes which are then used to obtain gravity loop amplitudes .
the ability to carry this out implies that gravity and gauge theory are much more closely related than one might have deduced by an inspection of the respective lagrangians .
some concrete applications were also described , including the computation of the two - loop four - point amplitude in maximally supersymmetric supergravity .
the result of this and related computations is that maximal supergravity is less divergent in the ultraviolet than had previously been deduced from superspace power counting arguments  @xcite . for the case of @xmath4 ,
maximal supergravity appears to diverge at five instead of three loops .
another example for which the relation is useful is for understanding the behavior of gravitons as their momenta become either soft or collinear with the momenta of other gravitons .
the soft behavior was known long ago  @xcite , but the collinear behavior is new .
the klt relations provide a means for expressing the graviton soft and collinear functions directly in terms of the corresponding ones for gluons in quantum chromodynamics . using the soft and collinear properties of gravitons , infinite sequences of maximally helicity violating gravity amplitudes with a single quantum loop
were obtained by bootstrapping  @xcite from the four- , five- , and six - point amplitudes obtained by direct calculation using the unitarity method together with the klt relations .
interestingly , for the case of identical helicity , the sequences of amplitudes turn out to be the same as one gets from self - dual gravity  @xcite .
there are a number of interesting open questions .
using the relationship of gravity to gauge theory one should be able to systematically re - examine the divergence structure of non - maximal theories .
some salient work in this direction may be found in ref .
@xcite , where the divergences of type i supergravity in @xmath221 were shown to split into products of gauge theory factors .
more generally , it should be possible to systematically re - examine finiteness conditions order - by - order in the loop expansion to more thoroughly understand the divergences and associated non - renormalizability of quantum gravity .
an important outstanding problem is the lack of a direct derivation of the klt relations between gravity and gauge theory tree amplitudes starting from their respective lagrangians .
as yet , there is only a partial understanding in terms of a `` left - right '' factorization of space - time indices  @xcite , which is a necessary condition for the klt relations to hold .
a more complete understanding may lead to a useful reformulation of gravity where properties of gauge theories can be used to systematically understand properties of gravity theories and vice versa .
connected with this is the question of whether the heuristic notion that gravity is a product of gauge theories can be given meaning outside of perturbation theory .
in summary , the perturbative relations between gravity and gauge theory provide a new tool for understanding non - trivial properties of quantum gravity .
however , further work will be required to unravel fully the intriguing relationship between the two theories .
the author thanks abilio de freitas , aaron grant , david dunbar , david kosower , maxim perelstein , joel rozowsky , henry wong , and especially lance dixon for collaboration on work described here and for sharing their insight into quantum gravity .
the author also thanks eduardo guendelman for a number of interesting discussions on the einstein - hilbert action and its relation to gauge theory .
this work was supported by the us department of energy under grant de - fg03 - 91er40662 .
f.  w.  hehl , j.  d.  mccrea , e.  w.  mielke and y.  neeman , `` metric affine gauge theory of gravity : field equations , noether identities , world spinors , and breaking of dilation invariance , '' _ phys .
_   * 258 * , 1 ( 1995 ) [ arxiv : gr - qc/9402012 ] .
z.  bern , l.  j.  dixon , d.  c.  dunbar , m.  perelstein and j.  s.  rozowsky , `` on the relationship between yang - mills theory and gravity and its implication for ultraviolet divergences , '' _ nucl .
_  b * 530 * , 401 ( 1998 ) [ hep - th/9802162 ] .
z.  bern , l.  j. dixon , d. dunbar , b. julia , m. perelstein , j. rozowsky , d.  seminara , and m.  trigiante `` counterterms in supergravity , '' in _ proceeedings of 4th annual european tmr conference on integrability , nonperturbative effects and symmetry in quantum field theory _ ,
paris , france , 7 - 13 sep 2000 [ hep - th/0012230 ] .
a.  n.  leznov , `` on equivalence of four - dimensional selfduality equations to continual analog of the main chiral field problem , '' _ theor .  math .
_   * 73 * ( 1988 ) 1233 [ _ teor .  mat .
fiz . _   * 73 * ( 1988 ) 302 ] .
m.  t.  grisaru , p.  van nieuwenhuizen and j.  a.  vermaseren , `` one loop renormalizability of pure supergravity and of maxwell - einstein theory in extended supergravity , '' _ phys .
lett . _   * 37 * , 1662 ( 1976 ) .                                                                                k.  s.  stelle , `` extended supercurrents and the ultraviolet finiteness of n=4 supersymmetric yang - mills theory , '' in _ c81 - 08 - 20.4 _ lptens 81/24 , in _ proc . of 1981 nuffield quantum gravity workshop _ , london , england , aug 20 , 1981