

%%%  useful macros for econf proceedings articles:

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%  basic formatting macros:
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

%%  single-line equations:

\def\beq{\begin{equation}}
\def\eeq#1{\label{#1}\end{equation}}
\def\eeqn{\end{equation}}

%%  multiple-line equations  (use \CR as the carriage return):

\newenvironment{Eqnarray}%
   {\arraycolsep 0.14em\begin{eqnarray}}{\end{eqnarray}}
\def\beqa{\begin{Eqnarray}}
\def\eeqa#1{\label{#1}\end{Eqnarray}}
\def\eeqan{\end{Eqnarray}}
\def\CR{\nonumber \\ }

%%  reference to an equation number:

\def\leqn#1{(\ref{#1})}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

%%  bibliographic entries   (use this or the SPIRES LaTeX output)

%%   Journal or bibliographic formatting macros are obsolete!
%%   The SLAC/SPIRES database supplies properly formatted citations;
%%      click on  LaTeX(US) or LaTeX(EU)   

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

%%  sizing and bars

\def\st{\scriptstyle}
\def\sst{\scriptscriptstyle}

\def\overbar#1{\overline{#1}}
\let\littlebar=\bar
\let\bar=\overbar

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

%%  text-mode macros:

\def\etal{{\it et al.}}
\def\ie{{\it i.e.}}
\def\eg{{\it e.g.}}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

%%  expectation values:

\def\VEV#1{\left\langle{ #1} \right\rangle}
\def\bra#1{\left\langle{ #1} \right|}
\def\ket#1{\left| {#1} \right\rangle}
\def\vev#1{\langle #1 \rangle}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

%%  caligraphic letters (for matrix elements, luminosity, etc.)

\def\D{{\cal D}}
\def\L{{\cal L}}
\def\M{{\cal M}}
\def\O{{\cal O}}
\def\W{{\cal W}}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

%%  matrix operations and fractions:

\def\One{{\bf 1}}
\def\hc{{\mbox{\rm h.c.}}}
\def\tr{{\mbox{\rm tr}}}
\def\half{\frac{1}{2}}
\def\thalf{\frac{3}{2}}
\def\third{\frac{1}{3}}
\def\tthird{\frac{2}{3}}

\def\Dslash{\not{\hbox{\kern-4pt $D$}}}
\def\dslash{\not{\hbox{\kern-2pt $\del$}}}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

%%  high-energy physics terminology:

\def\Pl{{\mbox{\scriptsize Pl}}}
\def\eff{{\mbox{\scriptsize eff}}}
\def\CM{{\mbox{\scriptsize CM}}}
\def\BR{\mbox{\rm BR}}
\def\ee{e^+e^-}
\def\sstw{\sin^2\theta_w}
\def\cstw{\cos^2\theta_w}
\def\mz{m_Z}
\def\gz{\Gamma_Z}
\def\mw{m_W}
\def\mt{m_t}
\def\gt{\Gamma_t}
\def\mh{m_h}
\def\gmu{G_\mu}
\def\GF{G_F}
\def\alphas{\alpha_s}
\def\msb{{\bar{\ssstyle M \kern -1pt S}}}
\def\lmsb{\Lambda_{\msb}}
\def\ELER{e^-_Le^+_R}
\def\EREL{e^-_Re^+_L}
\def\ELEL{e^-_Le^+_L}
\def\ERER{e^-_Re^+_R}
\def\eps{\epsilon}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

%%  supersymmetry:

\def\ch#1{\widetilde\chi^+_{#1}}
\def\chm#1{\widetilde\chi^-_{#1}}
\def\neu#1{\widetilde\chi^0_{#1}}
\def\s#1{\widetilde{#1}}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%5

%% miscellaneous

\def\lsim{\mathrel{\raise.3ex\hbox{$<$\kern-.75em\lower1ex\hbox{$\sim$}}}}
\def\gsim{\mathrel{\raise.3ex\hbox{$>$\kern-.75em\lower1ex\hbox{$\sim$}}}}
%  sample eprint article in LaTeX           --- M. Peskin, 9/7/00
%  enhancements added by H.E. Haber, 11/16/00

\documentclass[12pt]{article}
\usepackage{epsfig}

\hfuzz 50pt
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% basic data for the eprint:
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

\textwidth=6.0in  \textheight=8.25in

%%  Adjust these for your printer:
\leftmargin=-0.3in   \topmargin=-0.20in
\hoffset=-.25in
%% preprint number data:
%% Change the preprint number below to your institutional preprint number
\newcommand\pubnumber{UCLA/01/TEP/5}
\newcommand\pubdate{February 2000}
%% If you will submit to hep-ex, change hep-ph to hep-ex below
%% Do not change 0102186; this will be automatically converted
%% to the Los Alamos hep number during the submission process
\newcommand\hepnumber{hep-th/0102186}

%%  address and funding acknowledgment data:
\def\csumb{Department of Radiative Physics\\
California State University Monterey Bay, Seaside, CA 93955 USA}
\def\support{\footnote{Work supported by the
Carmel Mission and the Banana Slug Preservation Society.}} 

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%   document style macros
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\def\Title#1{\begin{center} {\Large\bf #1 } \end{center}}
\def\Author#1{\begin{center}{ \sc #1} \end{center}}
\def\Address#1{\begin{center}{ \it #1} \end{center}}
\def\andauth{\begin{center}{and} \end{center}}
\def\submit#1{\begin{center}Submitted to {\sl #1} \end{center}}
\newcommand\pubblock{\rightline{\begin{tabular}{l} \pubnumber\\
         \pubdate\\ \hepnumber \end{tabular}}}
\newenvironment{Abstract}{\begin{quotation}  }{\end{quotation}}
\newenvironment{Presented}{\begin{quotation} \begin{center} 
             Presented at the\end{center}
      \begin{center}\begin{large}}{\end{large}\end{center} \end{quotation}}
\def\Acknowledgments{\bigskip  \bigskip \begin{center}
          \large\bf Acknowledgments\end{center}}

\makeatletter
\def\section{\@startsection{section}{0}{\z@}{5.5ex plus .5ex minus
 1.5ex}{2.3ex plus .2ex}{\large\bf}}
\def\subsection{\@startsection{subsection}{1}{\z@}{3.5ex plus .5ex minus
 1.5ex}{1.3ex plus .2ex}{\normalsize\bf}}
\def\subsubsection{\@startsection{subsubsection}{2}{\z@}{-3.5ex plus
-1ex minus  -.2ex}{2.3ex plus .2ex}{\normalsize\sl}}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% small size table and figure captions %
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\renewcommand{\@makecaption}[2]{%
   \vskip 10pt
   \setbox\@tempboxa\hbox{\small #1: #2}
   \ifdim \wd\@tempboxa >\hsize     % IF longer than one line:
       \small #1: #2\par          %   THEN set as ordinary paragraph.
     \else                        %   ELSE  center.
       \hbox to\hsize{\hfil\box\@tempboxa\hfil}
   \fi}

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% macros to collapse citation numbers to ranges %
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% \citenum emits the plain citation number without ornament
% \citea puts it's argument into the ornamentation for citations
 \def\citenum#1{{\def\@cite##1##2{##1}\cite{#1}}}
%\def\citea#1{\@cite{#1}{}}
 
% Collapse citation numbers to ranges.  Non-numeric and undefined labels
% are handled.  No sorting is done.  E.g., 1,3,2,3,4,5,foo,1,2,3,?,4,5
% gives 1,3,2-5,foo,1-3,?,4,5
\newcount\@tempcntc
\def\@citex[#1]#2{\if@filesw\immediate\write\@auxout{\string\citation{#2}}\fi
  \@tempcnta\z@\@tempcntb\m@ne\def\@citea{}\@cite{\@for\@citeb:=#2\do
    {\@ifundefined
       {b@\@citeb}{\@citeo\@tempcntb\m@ne\@citea\def\@citea{,}{\bf ?}\@warning
       {Citation `\@citeb' on page \thepage \space undefined}}%
    {\setbox\z@\hbox{\global\@tempcntc0\csname b@\@citeb\endcsname\relax}%
     \ifnum\@tempcntc=\z@ \@citeo\@tempcntb\m@ne
       \@citea\def\@citea{,}\hbox{\csname b@\@citeb\endcsname}%
     \else
      \advance\@tempcntb\@ne
      \ifnum\@tempcntb=\@tempcntc
      \else\advance\@tempcntb\m@ne\@citeo
      \@tempcnta\@tempcntc\@tempcntb\@tempcntc\fi\fi}}\@citeo}{#1}}
\def\@citeo{\ifnum\@tempcnta>\@tempcntb\else\@citea\def\@citea{,}%
  \ifnum\@tempcnta=\@tempcntb\the\@tempcnta\else
  {\advance\@tempcnta\@ne\ifnum\@tempcnta=\@tempcntb \else\def\@citea{--}\fi
    \advance\@tempcnta\m@ne\the\@tempcnta\@citea\the\@tempcntb}\fi\fi}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\makeatother


% add words to TeX's hyphenation exception list
\hyphenation{author an-other created paper re-commend-ed diff-erent
             fields con-text di-vergent all eq two states facts still
             runs re-spects still fact dynamics re-la-tions start-ing
             formalism ref identi-cal equa-tions}

\def\I{{\cal I}}
\def\eps{\epsilon}
\def\e{\epsilon}
\def\Ord{{\cal O}}
\def\M{{\cal M}}
\def\tr{\mathop{\rm tr}\nolimits}
\def\Tr{\mathop{\rm Tr}\nolimits}
\def\P{{\rm P}}
\def\NP{{\rm NP}}
\def\pol{\varepsilon}
\def\Ksl{\s{K}}
\def\ksl{\s{k}}
\def\Perm{{\cal P}}
\newbox\charbox
\newbox\slabox
\def\s#1{{      % Feynman slash
        \setbox\charbox=\hbox{$#1$}
        \setbox\slabox=\hbox{$/$}
        \dimen\charbox=\ht\slabox
        \advance\dimen\charbox by -\dp\slabox
        \advance\dimen\charbox by -\ht\charbox
        \advance\dimen\charbox by \dp\charbox
        \divide\dimen\charbox by 2
        \raise-\dimen\charbox\hbox to \wd\charbox{\hss/\hss}
        \llap{$#1$}
}}

\def\spa#1.#2{\left\langle#1\,#2\right\rangle}
\def\spb#1.#2{\left[#1\,#2\right]}
\def\spab#1.#2.#3{\langle\mskip-1mu{#1}^- 
                  | #2 | {#3}^-\mskip-1mu\rangle}
\def\spba#1.#2.#3{\langle\mskip-1mu{#1}^+ 
                  | #2 | {#3}^+\mskip-1mu\rangle}
\def\spbb#1.#2.#3{\langle\mskip-1mu{#1}^+ 
                  | #2 | {#3}^-\mskip-1mu\rangle}
\def\lor#1.#2{\left(#1\,#2\right)}

\def\tree{{\rm tree}}
\def\oneloop{{1 \mbox{-} \rm loop}}
\def\twoloop{{2 \mbox{-} \rm loop}}

\def\draftnote#1{{\it #1}}
\def\eqn#1{eq.~(\ref{#1})}
\def\Eqn#1{Eq.~(\ref{#1})}
\def\eqns#1#2{eqs.~(\ref{#1}) and~(\ref{#2})}
\def\Eqns#1#2{Eqs.~(\ref{#1}) and~(\ref{#2})}
\def\fig#1{fig.~{\ref{#1}}}
\def\figs#1#2{figs.~{\ref{#1}} and {\ref{#2}}}
\def\Figs#1#2{Figs.~{\ref{#1}} and {\ref{#2}}}
\def\sec#1{section~{\ref{#1}}}
\def\Sec#1{Section~{\ref{#1}}}
\def\secs#1#2{sections~{\ref{#1}} and {\ref{#2}}}
\def\app#1{appendix~\ref{#1}}
\def\App#1{Appendix~\ref{#1}}
\def\apps#1#2{appendices~{\ref{#1}} and {\ref{#2}}}
\def\Apps#1#2{Appendices~{\ref{#1}} and {\ref{#2}}}
\def\tab#1{table~\ref{#1}}
\def\Tab#1{Table~\ref{#1}}
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%       the stuff below defines \eqalign and \eqalignno in such a
%       way that they will run on Latex
\newskip\humongous \humongous=0pt plus 1000pt minus 1000pt
\def\caja{\mathsurround=0pt}
\def\eqalign#1{\,\vcenter{\openup1\jot \caja
        \ialign{\strut \hfil$\displaystyle{##}$&$
        \displaystyle{{}##}$\hfil\crcr#1\crcr}}\,}
\newif\ifdtup
\def\panorama{\global\dtuptrue \openup1\jot \caja
        \everycr{\noalign{\ifdtup \global\dtupfalse
        \vskip-\lineskiplimit \vskip\normallineskiplimit
        \else \penalty\interdisplaylinepenalty \fi}}}
\def\eqalignno#1{\panorama \tabskip=\humongous
        \halign to\displaywidth{\hfil$\displaystyle{##}$
        \tabskip=0pt&$\displaystyle{{}##}$\hfil
        \tabskip=\humongous&\llap{$##$}\tabskip=0pt
        \crcr#1\crcr}}

%%%%%%%%%%%%%%%%%%%%%%%%%
% Equation labeling defined to make numbering by \equn
% and labeling works with \label{TheLabel} as per normal LaTeX
%
%\newcounter{eqnumber}[section]
%\renewcommand{\theeqnumber}{\thesection.\arabic{eqnumber}}
\newcounter{eqnumber}
\renewcommand{\theeqnumber}{\arabic{eqnumber}}
\def\equn{
\refstepcounter{eqnumber}
\eqno({\rm \theeqnumber})
}



%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
% corrects bad spacing in LaTeX multiple line equations
% replace eqnarray with Eanarray (or use abbreviations
% in econfmacros2.tex
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%\newenvironment{Eqnarray}%
%   {\arraycolsep 0.14em\begin{eqnarray}}{\end{eqnarray}}
%
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%  personal abbreviations and macros
%    the following package contains macros used in this document:
\input econfmacros2.tex
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

\begin{document}
\begin{titlepage}
\pubblock

\vfill
\def\thefootnote{\fnsymbol{footnote}}
\Title{Perturbative Quantization of Gravity Theories}
\vfill
\Author{Zvi Bern\footnote{Work supported by the
US Department of Energy  under grant DE-FG03-91ER40662.}} 

\Address{Department of Physics \\
         UCLA, Los Angeles, CA 90095 USA}
\vfill
\begin{Abstract}
We discuss relations between gravity and gauge theory tree amplitudes
that follow from string theory.  Together with $D$-dimensional
unitarity, these relations can be used to perturbatively quantize
gravity theories, i.e. they contain the necessary information for
calculating complete gravity $S$-matrices to any loop orders.  This
leads to a practical method for computing non-trivial gravity
$S$-matrix elements by relating them to much simpler gauge theory
ones. We also describe arguments that $N=8$ $D=4$ supergravity is less
divergent in the ultraviolet than previously thought.
\end{Abstract}
\vfill

\begin{Presented}
5th International Symposium on Radiative Corrections \\ 
(RADCOR--2000) \\[4pt]
Carmel CA, USA, 11--15 September, 2000
\end{Presented}
\vfill
\end{titlepage}
\def\thefootnote{\arabic{footnote}}
\setcounter{footnote}{0}
%


%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
%%BEGINNING OF TEXT                           
%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%


%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\section{Introduction}

In this talk we review 
work~\cite{BDDPR,AllPlusGrav,MHVGrav,Aaron,Square} that exploits
perturbative relations between gravity and gauge theories.  Although
both theories have a local symmetry, their dynamical behaviors
are quite different.  Nevertheless, in the context of
perturbation theory, it turns out that tree-level gravity amplitudes
can, roughly speaking, be expressed as a sum of products of gauge
theory amplitudes.  These tree-level relations between gravity and
gauge theory S-matrices are rather remarkable from a conventional
Lagrangian or Hamiltonian point of view but can be most
easily understood from the Kawai, Lewellen and Tye (KLT)~\cite{KLT}
relations between open and closed string tree amplitudes.  When
combined with the $D$-dimensional unitarity methods described in
refs.~\cite{SusyFour,Review}, it provides a new tool for investigating
the ultra-violet behavior of quantum gravity.  (The unitarity
methods have also been applied to QCD loop computations of
phenomenological interest and to supersymmetric gauge theory
computations~\cite{SusyFour,BRY,AllPlus2}.)

Ultraviolet properties are a central issue for perturbative gravity.
Although gravity is non-renormalizable by power counting, no
divergence has, in fact, been established by a direct calculation for
any four-dimensional supersymmetric theory of gravity.  Explicit
calculations have established that non-supersymmetric theories of
gravity with matter generically diverge at one
loop~\cite{tHooftVeltmanAnnPoin,tHooftGrav,DeserEtal}, and pure
gravity diverges at two loops~\cite{PureGravityInfinityGSV}.  However,
in any supergravity theory in $D=4$, supersymmetry Ward
identities~\cite{SWI} forbid all possible one-loop~\cite{OneLoopSUGRA}
and two-loop~\cite{Grisaru} counterterms.  Thus, at least a three-loop
calculation is required to directly address the question of
divergences in four-dimensional supergravity.  There is a candidate
counterterm at three loops for all supergravities including the
maximally extended version ($N=8$)~\cite{KalloshNeight,HoweStelle}.
However, no explicit three loop (super) gravity calculations have
appeared.  It is in principle possible that the coefficient of a
potential counterterm can vanish, especially if the full symmetry of
the theory is taken into account.  Based on explicit calculation, we
shall argue that this is indeed the case for the potential 
three-loop counterterm of $N=8$ supergravity.

With traditional perturbative approaches~\cite{DeWitt} to performing
explicit calculations, as the number of loops increases the number of
algebraic terms proliferates rapidly beyond the point where
computations are practical. We will take a different approach, relying
instead on a new formalism for perturbatively quantizing gravity.


%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\section{Method for Investigating Perturbative Gravity}

Our reformulation of quantum gravity is based on two ingredients:
\begin{enumerate}
\item  The Kawai, Lewellen and Tye relations between closed
and open string tree-level S-matrices~\cite{KLT}. 
\item  The observation that the $D$-dimensional tree amplitudes contain
all information necessary for building the complete perturbative
$S$-matrix to any loop order~\cite{SusyFour,Review}.
\end{enumerate}

\subsection{The KLT tree-level relations.}

In the field theory limit ($\alpha' \to 0$) the KLT relations for the four-
and five-point amplitudes are~\cite{KLT,BGK}
$$
\eqalign{
& M_4^{\rm tree}  (1,2,3,4) = 
 - i s_{12} A_4^{\rm tree} (1,2,3,4) \, A_4^{\rm tree}(1,2,4,3)\,, \cr
%
& M_5^{\rm tree}(1,2,3,4,5) = 
i s_{12} s_{34}  A_5^{\rm tree}(1,2,3,4,5)
                                     A_5^{\rm tree}(2,1,4,3,5) \cr
& \hskip 3 cm 
 + i s_{13}s_{24} A_5^{\rm tree}(1,3,2,4,5) \, A_5^{\rm tree}(3,1,4,2,5)\,,\cr}
\equn\label{KLTExamples}
$$
where the $M_n$'s are the amplitudes in a gravity theory stripped of
couplings, the $A_n$'s are the color-ordered gauge theory 
sub-amplitudes also stripped of couplings 
and $s_{ij}\equiv (k_i+k_j)^2$.  We suppress all $\pol_j$
polarizations and $k_j$ momenta, but keep the `$j$' labels to
distinguish the external legs. Full gauge theory amplitudes 
are given in terms of the partial amplitudes $A_n$, via
$$
\eqalign{
{\cal A}_n^{\rm tree}& (1,2,\ldots n) = 
 g^{(n-2)} \sum_{\sigma \in S_n/Z_n}
{\rm Tr}\left( T^{a_{\sigma(1)}} 
\cdots  T^{a_{\sigma(n)}} \right)
 A_n^{\rm tree}(\sigma(1), \ldots, \sigma(n)) \,, \cr} \hskip .6 cm 
$$
where $S_n/Z_n$ is the set of all permutations, but with cyclic
rotations removed, and $g$ is the gauge theory coupling constant.
The $T^{a_i}$ are fundamental representation
matrices for the Yang-Mills gauge group $SU(N_c)$, normalized so that
$\Tr(T^aT^b) = \delta^{ab}$.  
For states coupling with the strength of gravity, 
the full amplitudes including the gravitational coupling constant are, 
$$
{\cal M}_n^{\rm tree} (1,\ldots n) = 
\left({  \kappa \over 2} \right)^{(n-2)} 
M_n^{\rm tree}(1,\ldots n)\,, \hskip 1 cm 
$$
where $\kappa^2 = 32\pi G_N$.
The KLT equations generically hold for any closed string states, using
their Fock space factorization into pairs of open string states. 


Berends, Giele and Kuijf~\cite{BGK} exploited the KLT
relations~(\ref{KLTExamples}) and their $n$-point generalizations to
obtain an infinite set of maximally helicity violating (MHV) graviton
tree amplitudes, using the known MHV Yang-Mills
amplitudes~\cite{ParkeTaylor}.  Cases of gauge theory coupled to
gravity have recently been discussed in ref.~\cite{Square}.
Interestingly, the color charges associated with any gauge fields
appearing in gravity theories are represented through the KLT
equations as flavor charges carried either by scalars or fermions.
For example, by applying the KLT equations the three-gluon
one-graviton amplitude may be expressed as
$$
\eqalign{
 {\cal M}_4^\tree  (1^-_g, 2^-_g, 3^+_g, 4^+_h)
 & =-i g {\kappa \over 2} 
s_{12} A_4^\tree(1^-_g, 2^-_g, 3^+_g, 4^+_g) \times
       A_4^\tree(1_s, 2_s, 4^+_g, 3_s) \hskip 2 cm \cr
& 
= g  {\kappa \over 2}  {\spa1.2^4 \over \spa1.2\spa2.3\spa3.4\spa4.1} 
\times \sqrt{2} f^{a_1 a_2a_3} \, {\spb4.3\spa3.2 \over \spa2.4} \,,\cr}
$$
where the $\pm$ superscripts denote the helicities and the subscripts
$h$, $g$ and $s$ denote whether a given leg is a graviton, gluon or
scalar.  On the right-hand side of the equation, the group theory
indices are flavor indices for the scalars.  On the left-hand side
they are reinterpreted as color indices for gluons. For simplicity,
the amplitudes have been expressed in terms of $D=4$ spinor inner
products (see e.g. ref.~\cite{ManganoReview}), although the
factorization of the amplitude into purely gauge theory amplitudes
holds in any dimension.  The spinor inner products are denoted by
$\spa{i}.j = \langle i^- | j^+\rangle$ and $\spb{i}.j = \langle i^+|
j^-\rangle$, where $|i^{\pm}\rangle$ are massless Weyl spinors of
momentum $k_i$, labeled with the sign of the helicity.  They are
antisymmetric, with norm $|\spa{i}.j| = |\spb{i}.j| = \sqrt{s_{ij}}$.



%%%%%%%%%%%%%%%%%%%%%

\subsection{Cut Construction of Loop Amplitudes}

We now outline the use of the KLT relations for computing multi-loop
gravity amplitudes, starting from gauge theory amplitudes. Although the KLT
equations hold only at the classical tree-level,
$D$-dimensional unitarity considerations can be used to extend them to
the quantum level.  The application of $D$-dimensional unitarity has
been extensively discussed for the case of gauge theory amplitudes
~\cite{SusyFour,Review}, so here we describe it only briefly.

The unitarity cuts of a loop amplitude can be expressed in terms of
amplitudes containing fewer loops.  For example, the two-particle 
cut of a one-loop
four-point amplitude in the channel carrying momentum $k_1 + k_2$, as
shown in \fig{fig:TwoParticle}, can be expressed as the cut of,
$$
\eqalign{
 \sum_{\rm states} & \int {d^D L_1 \over (4 \pi)^D} \, 
  {i\over L_1^2} \,
{\cal M}_{4}^\tree(-L_1,1,2,L_3)
\,{i \over L_3^2}\,
{\cal M}_{4}^\tree (-L_3,3,4,L_1) \Bigr|_{\rm cut} \,, 
\cr}
\equn\label{BasicCutEquation}
$$
where $L_3 = L_1 - k_1 - k_2$, and the sum runs over all states
crossing the cut. We label $D$-dimensional momenta with capital
letters and four-dimensional ones with lower case.  We apply the
on-shell conditions $L_1^2 = L_3^2 = 0$ to the amplitudes appearing in
the cut even though the loop momentum is unrestricted; only functions
with a cut in the given channel under consideration are reliably
computed in this way.

%%%%%%%%%%%%%%%%%%
% FIGURE
\begin{figure}[b!]
\begin{center}
\epsfig{file=TwoParticleB.eps,height=1.1in}
\caption[0]{The two-particle cut at one loop in the channel carrying 
momentum $k_1+k_2$.} 
\label{fig:TwoParticle}
\end{center}
\end{figure}
%%%%%%%%%%%%%%%%%%


Complete amplitudes are found by combining all cuts into a single
function with the correct cuts in all channels.  If one works with an
arbitrary dimension $D$ in \eqn{BasicCutEquation}, and takes care to
keep the full analytic behavior as a function of $D$, then the results
will be free of subtraction ambiguities that are commonly present in
cutting methods~\cite{ExactUnitarity,SusyFour,Review}. (The
regularization scheme dependence remains, of course.)  An advantage of
the cutting approach is that the gauge-invariant amplitudes on either
side of the cut may be simplified before attempting to evaluate the
cut integral~\cite{Review}.


%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\section{Recycling Gauge Theory Into Gravity Loop amplitudes}

As a relatively simple example, consider the one-loop amplitude with 
four identical helicity external gravitons and a scalar 
in the loop~\cite{AllPlusGrav,MHVGrav}. The cut in the $s_{12}$ channel is
$$
\eqalign{
\int {d^D L_1 \over (2\pi)^D} \; & {i \over L_1^2} 
 M_4^\tree(-L_1^s, 1_h^+, 2_h^+, L_3^s) \, {i \over L_3^2}
M_4^\tree(-L_3^s, 3_h^+, 4_h^+, L_1^s)\Bigr|_{\rm cut} \,, } \hskip 1 cm 
\equn\label{sChannelCut}
$$
where the superscript $s$ indicates that the cut lines are scalars
and the subscript $h$ indicates that the external particles are gravitons.
Using the KLT expressions (\ref{KLTExamples}) we may replace the
gravity tree amplitudes appearing in the cuts with products of gauge
theory amplitudes.  The required gauge theory tree amplitudes, with
two external scalar legs and two gluons, are relatively simple to
obtain using Feynman diagrams and are,
$$
\eqalign{
& A_4^\tree(-L_1^s,1_g^+,2_g^+,L_3^s) =  i
{\mu^2\spb1.2\over\spa1.2 [( \ell_1 -k_1)^2 -\mu^2] }\,, \cr
%
& A_4^\tree(-L_1^s, 1_g^+, L_3^s, 2_g^+) 
 = - i {\mu^2\spb1.2\over\spa1.2} 
 \biggl[{1\over (\ell_1 -k_1)^2 -\mu^2}
 + {1\over (\ell_1 -k_2)^2 -\mu^2}\biggr] \,, \cr}
$$
where $L_1 = \ell_1 + \mu$, where the subscript $g$ means the
lines are gluons.
The gluon momenta are four-dimensional, but the scalar momenta
are allowed to have a $(-2\e)$-dimensional component $\vec{\mu}$, with
$\vec{\mu}\cdot\vec{\mu} = \mu^2 > 0$.  The overall factor of $\mu^2$
appearing in these tree amplitudes means that they vanish in the
four-dimensional limit, in accord with a supersymmetry Ward
identity~\cite{SWI}.  In the KLT relation (\ref{KLTExamples}), one of
the propagators cancels, leaving
$$
\eqalign{
& M_4^\tree(-L_1^s, 1_h^+, 2_h^+, L_3^s) = 
- i \biggl({\mu^2\spb1.2\over\spa1.2}\biggr)^2 
 \biggl[{1\over (\ell_1 -k_1)^2-\mu^2}
 + {1\over (\ell_1 -k_2)^2-\mu^2}\biggr] \,. }
$$
By symmetry, the tree amplitudes appearing in any of the other cuts
are the same up to relabelings.  We then inserting these trees, with
appropriate leg labels, into the cut (\ref{sChannelCut}).

After combining all three cuts into a single function that has the correct
cuts in all channels one obtains the one-loop graviton amplitude with a
scalar in the loop,
$$
\eqalign{
M_4^\oneloop(1_h^+, 2_h^+, 3_h^+, 4_h^+)  &= 
    2 {\spb1.2^2\spb3.4^2\over\spa1.2^2\spa3.4^2} 
\Bigl(\I_4^\oneloop[\mu^8](s,t) + 
      \I_4^\oneloop[\mu^8](s,u) \cr
& \hskip 3 cm 
   + \I_4^\oneloop[\mu^8](t,u) \Bigr)\,, \cr } \hskip 2. cm 
\equn\label{FourGravAllPlus}
$$
where $s = s_{12}, \; t = s_{14}, \; u= s_{13}$ are the usual Mandelstam 
variables and
$$
\eqalign{
& \I_4^\oneloop[{\cal P}](s,t) = 
\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  } \cr}
\equn\label{OneLoopIntegral} 
$$
is the scalar box integral depicted in \fig{OneLoopIntegralFigure}
with the external legs arranged in the order 1234. In
\eqn{FourGravAllPlus} the numerator $\cal P$ is $\mu^8$.  The two
other scalar integrals that appear correspond to the two other
distinct orderings of the four external legs.  The spinor factor
$\spb1.2^2\spb3.4^2/(\spa1.2^2\spa3.4^2)$ in \eqn{FourGravAllPlus} is
actually completely symmetric, although not manifestly so.  By
rewriting this factor and extracting the leading $\Ord(\eps^0)$
contribution from the integral, the final one-loop $D=4$ result after
reinserting the gravitational coupling is
$$
\eqalign{
{\cal M}_4^\oneloop &(1_h^+, 2_h^+, 3_h^+, 4_h^+)  = - \, {i \over (4 \pi)^2} 
\Bigl({\kappa\over 2} \Bigr)^4\,
\biggl( {st \over \spa1.2 \spa2.3 \spa3.4 \spa4.1} \biggr)^2 
{s^2 + t^2 + u^2 \over 120} \,, \cr}
\equn\label{FourGravPlus}
$$
in agreement with a previous calculation~\cite{DN}.


%%%%%%%%%%%%%%%%%%
% FIGURE
\begin{figure}[b!]
\begin{center}
\epsfig{file=OneLoop.eps,height=1in}
\caption[0]{The one loop box integral.}  
\label{OneLoopIntegralFigure}
\end{center}
\end{figure}
%%%%%%%%%%%%%%%%%%


%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\section{Maximal Supergravity}


Maximal $N=8$ supergravity can be expected to be the least divergent of the
four-dimensional supergravity theories due to its high degree of
symmetry.  Moreover, from a technical viewpoint maximally
supersymmetric $N=8$ amplitudes are by far the easiest to deal with in
our formalism because of spectacular supersymmetric cancellations.
For these reasons it is logical to re-investigate the divergence
properties of this theory first~\cite{BDDPR}.  It
should be possible to apply similar methods to theories with less
supersymmetry.

\subsection{Cut Construction}

Again we obtain supergravity amplitudes by recycling gauge theory
calculations.  For the $N=8$ case, we factorize each of the 256 states
of the multiplet into a tensor product of $N=4$ super-Yang-Mills
states.  The key equation for obtaining the two-particle cuts is,
$$
\eqalign{
 \sum_{N=8 \atop \rm\ states}  
M_4^\tree(-L_1, & 1, 2, L_3) \times
  M_4^\tree(-L_3, 3, 4, L_1) \cr
&  =
s^2  \!\sum_{N=4 \atop \rm\ states} \!
  A_4^\tree(-L_1,  1, 2, L_3) \times
     A_4^\tree(-L_3,  3,4 , L_1)
     \cr
\null & \hskip .4 truecm
\times
\!\sum_{N=4 \atop \rm\ states} \!
 A_4^\tree(L_3, 1, 2 , -L_1) \times
                A_4^\tree(L_1, 3, 4, -L_3) \,,\cr}
\equn\label{GravitySewingStart}
$$
where we have suppressed the particle labels.  The external labels are
those for any particles in the supermultiplet, while the sum on the
left-hand side runs over all states in the $N=8$ super-multiplet.  On
the right-hand side the two sums run over the states of the $N=4$
super-Yang-Mills multiplet: a gluon, four Weyl fermions and six real
scalars.  Given the corresponding $N=4$ Yang-Mills two-particle sewing
equation~\cite{BRY},
$$
\eqalign{
 \sum_{N=4\atop \rm  states}
 A_4^\tree(-L_1, 1, & 2, L_3) \times
  A_4^\tree(-L_3, 3, 4, L_1)  \cr
%
&\hskip .3 cm 
 =  - i s t \, A_4^\tree(1, 2, 3, 4) \, 
   {1\over (L_1 - k_1)^2 } \, 
   {1\over (L_3 - k_3)^2 } \,, 
\cr} \hskip 2. cm 
$$
it is a simple matter to evaluate \eqn{GravitySewingStart}, yielding
$$
\eqalign{
 \sum_{N=8 \atop \rm\ states}  M_4^\tree(-L_1, 1, & 2, L_3) \times
  M_4^\tree(-L_3, 3, 4, L_1) \cr \
& \hskip .2 cm
= i stu M_4^\tree(1, 2, 3, 4)
 \biggl[{1\over (L_1 - k_1)^2 } + {1\over (L_1 - k_2)^2} \biggr] \cr
& \hskip 3.7 cm \times
\biggl[{1\over (L_3 - k_3)^2 } + {1\over (L_3 - k_4)^2} \biggr]\,. \cr}
\equn\label{BasicGravCutting}
$$
The sewing equations for the $t$ and $u$ channels are similar.

A remarkable feature of the cutting equation (\ref{BasicGravCutting})
is that the external-state dependence of the right-hand side is
entirely contained in the tree amplitude $M_4^{\rm \tree}$.  This fact
allows us to iterate the two-particle cut algebra to {\it all} loop
orders!  Although this is not sufficient to determine the
complete multi-loop four-point amplitudes, it does provide a wealth of
information.

Applying \eqn{BasicGravCutting} at one loop to each of the three
channels yields the one-loop four graviton amplitude of $N=8$
supergravity,
$$
\eqalign{
 {\cal M}_4^{\oneloop}(1, 2, 3, 4)
& =  -i \Bigl( {\kappa \over 2}\Bigr)^4 
s t u  M_4^\tree(1,2,3,4)  \cr
& \hskip .2 cm \times
 \Bigl(  \I_4^{\oneloop}(s,t) 
           + \I_4^{\oneloop}(s,u)  
           + \I_4^{\oneloop}(t,u)  \Bigr) \,, \cr} 
$$
in agreement with previous results~\cite{GSB}.  We have reinserted the
gravitational coupling $\kappa$ in this expression.  The scalar
integrals are defined in \eqn{OneLoopIntegral} with ${\cal P} = 1$.

At two loops, the two-particle cuts are given by a simple iteration of
the one-loop calculation. The three-particle cuts can be obtained by
recycling the corresponding cuts for the case of $N=4$
super-Yang-Mills.  It turns out that the three-particle cuts introduce
no other functions than those already detected in the two-particle cuts.
Combining all the cuts into a single function yields the $N=8$
supergravity two-loop amplitude~\cite{BDDPR},
$$
\hskip -.15 cm 
\eqalign{ 
 {\cal M}_4^{\twoloop}(1,2,3,4) & = 
  \Bigl({\kappa \over 2} \Bigr)^6 \!\! stu  M_4^\tree(1,2,3,4) \cr
& \times
\Bigl(s^2 \, \I_4^{\twoloop,\P}(s,t) 
+ s^2 \, \I_4^{\twoloop,\P}(s,u)  \cr
& \hskip  .4 cm  
+ s^2 \, \I_4^{\twoloop,\NP}(s,t)
+ s^2 \, \I_4^{\twoloop,\NP}(s,u) 
+\;  \hbox{cyclic} \Bigr) \,, \cr}
\equn\label{TwoLoopAmplitude}
$$
where `$+$~cyclic' instructs one to add the two cyclic permutations of
legs (2,3,4), and $\I_4^{\twoloop,\P/\NP}$ are depicted
in \fig{fig:PlanarNonPlanar}.



%%%%%%%%%%%%%%%%%%
% FIGURE
\begin{figure}[b!]
\begin{center}
\epsfig{file=Integrals.eps,height=1.2in}
\caption[0]{The planar (a) and non-planar (b) scalar integrals, 
$\I_4^{\twoloop,\P}(s,t)$ and $ \I_4^{\twoloop,\NP}(s,t)$, appearing in
the two-loop $N=8$ amplitudes.  Each internal line
represents a scalar propagator.}  
\label{fig:PlanarNonPlanar}
\end{center}
\end{figure}
%%%%%%%%%%%%%%%%%%


We comment that using the two-loop amplitude (\ref{TwoLoopAmplitude}),
Green, Kwon and Vanhove~\cite{GreenTwoLoop} provided an explicit
demonstration of the non-trivial M theory duality between $D=11$
supergravity and type II string theory.  

%%%%%%%%%%%%%

\subsection{Divergence Properties of $N=8$ Supergravity}

Though a momentum cutoff scheme leads to a one-loop divergence for
$N=1$, $D=11$ supergravity, in dimensional regularization there are no
one-loop divergences in $D=11$, so the first potential divergence in
this theory is at two loops.  Dimensional regularization is a rather
convenient way to extract divergence properties as an analytic
function of dimension, allowing us to directly relate properties of
the $N=1$, $D=11$ supergravity to $N=8$ $D=4$ supergravity. (Some
care is needed, however, to preserve
supersymmetry~\cite{DimensionalReduction}.)

Since the two-loop $N=8$ supergravity amplitude
(\ref{TwoLoopAmplitude}) has been expressed in terms of scalar
$\phi^3$ loop momentum integrals, it is straightforward to extract the
divergence properties.  The scalar integrals diverge only for $D\ge
7$; hence the two-loop $N=8$ amplitude is manifestly finite in $D=5$
and $6$, contrary to earlier expectations based on superspace
power-counting arguments~\cite{HoweStelle}.  The discrepancy between
the above explicit results and the earlier superspace power counting
arguments is due to a previously unaccounted higher dimensional gauge
symmetry. Once this symmetry is accounted for, superspace power
counting gives the same degree of divergence as the explicit
calculation~\cite{StellePrivate}. 

The manifest $D$-independence of the cutting algebra allowed us to
extend the calculation to $D=11$, though there is no corresponding
$D=11$ super-Yang-Mills theory. The result (\ref{TwoLoopAmplitude})
then explicitly demonstrates that $N=1$ $D=11$ supergravity diverges
even when using dimensional regularization.  The $D=11$ two-loop
divergence may be extracted from the amplitude in
\eqn{TwoLoopAmplitude} yielding~\cite{BDDPR} a non-vanishing
counterterm.  Further work on the structure of the $D=11$ counterterm
has been carried out in refs.~\cite{DeserSeminara}.

Since the two-particle cut sewing equation iterates to all loop
orders, one can compute all contributions which can be assembled
solely from two-particle cuts~\cite{BDDPR}. Counting powers of loop
momenta in these contributions suggests the simple finiteness formula,
$$
L < {10\over (D-2)}\,,  \hskip 1 cm  \hbox{(with $L>1$),}
\equn\label{FinitenessBound}
$$
where $L$ is the number of loops.  This formula indicates that $N=8$
supergravity is finite in some other cases where the previous
superspace bounds suggest divergences~\cite{HoweStelle}, e.g. $D=4$,
$L=3$.  The first $D=4$ 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 $m$-particle cuts, in
which the same supersymmetry cancellations occur as for the
two-particle cuts~\cite{BDDPR}. Moreover, a recent superspace power
counting analysis taking the appropriate symmetries into account
confirms the finiteness bound~\cite{StellePrivate}.  Further work
would, however, be required to prove that there are no additional
hidden cancellations which could improve the finiteness condition
beyond \eqn{FinitenessBound}.  Interestingly, there has been a
suggestion by Chalmers that dualities might accomplish
this~\cite{ChalmersFinitenesss}. 

\section{Concluding Comments}

There are also a number of other interesting open questions. For example, the
methods described here have been used to investigate only maximal
supergravity. It would be interesting to systematically re-examine the
divergence structure of non-maximal theories.  (Some interesting recent work
on this may be found in ref.~\cite{DunbarJulia}.)  Using the 
methods described in this talk it might, for example, be possible to
systematically determine finiteness conditions order-by-order in the
loop expansion.  A direct derivation of the Kawai-Lewellen-Tye
decomposition of gravity amplitudes in terms of gauge theory ones
starting from the Einstein-Hilbert Lagrangian perhaps might lead to a
useful reformulation of gravity. Some initial steps to gain
an understanding of the Kawai-Lewellen-Tye relations, starting
from the Lagrangian was presented in ref.~\cite{Aaron}. (See also
ref.~\cite{Siegel}.)  Connected with this is the question
of whether the heuristic notion that gravity is the square of gauge
theory can be given meaning outside of perturbation theory.  In particular,
an intriguing question is whether it is possible to relate more
general solutions of the classical equations of motion for gravity to
those for gauge theory.

%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%

\Acknowledgments 
The research reported on here was supported by the
US Department of Energy under grants DE-FG03-91ER40662,
DE-AC03-76SF00515 and DE-FG02-97ER41029.  The work was
performed in collaborations with L. Dixon, D. Dunbar, A.K. Grant,
M. Perelstein, and J. Rozowsky.  An expanded version of this talk
appears in the proceedings of the Third Meeting on Constrained
Dynamics and Quantum Gravity, Villasimius (Sardinia, Italy) September
13-17, 1999.


%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
\begin{thebibliography}{99}

%+% 5 refs
\bibitem{BDDPR}
Z.~Bern, L.~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.\ Phys.\ B {\bf 530}, 401 (1998)
[hep-th/9802162].
%%CITATION = HEP-TH 9802162;%%

%+% 2 refs
\bibitem{AllPlusGrav}
Z.~Bern, L.~Dixon, M.~Perelstein and J.~S.~Rozowsky,
%``One-loop n-point helicity amplitudes in (self-dual) gravity,''
Phys.\ Lett.\ B {\bf 444}, 273 (1998)
[hep-th/9809160].
%%CITATION = HEP-TH 9809160;%%

%+% 2 refs
\bibitem{MHVGrav}
Z.~Bern, L.~Dixon, M.~Perelstein and J.~S.~Rozowsky,
%``Multi-leg one-loop gravity amplitudes from gauge theory,''
Nucl.\ Phys.\ B {\bf 546}, 423 (1999)
[hep-th/9811140].
%%CITATION = HEP-TH 9811140;%%

%+% 2 refs
\bibitem{Aaron}
Z.~Bern and A.~K.~Grant,
%``Perturbative gravity from {QCD} amplitudes,''
Phys.\ Lett.\ B {\bf 457}, 23 (1999)
[hep-th/9904026].
%%CITATION = HEP-TH 9904026;%%

%+% 2 refs
\bibitem{Square}
Z.~Bern, A.~De Freitas and H.~L.~Wong,
%``On the coupling of gravitons to matter,''
Phys.\ Rev.\ Lett.\ {\bf 84}, 3531 (2000)
[hep-th/9912033].
%%CITATION = HEP-TH 9912033;%%

%+% 2 refs
\bibitem{KLT}
H.~Kawai, D.~C.~Lewellen and S.~H.~Tye,
%``A Relation Between Tree Amplitudes Of Closed And Open Strings,''
Nucl.\ Phys.\ B {\bf 269}, 1 (1986).
%%CITATION = NUPHA,B269,1;%%

%+% 5 refs
\bibitem{SusyFour}
Z.~Bern, L.~Dixon, D.~C.~Dunbar and D.~A.~Kosower,
%``One loop n point gauge theory amplitudes, unitarity and collinear limits,''
Nucl.\ Phys.\ B {\bf 425}, 217 (1994)
[hep-ph/9403226];
%%CITATION = HEP-PH 9403226;%%
%
%
Z.~Bern, L.~Dixon, D.~C.~Dunbar and D.~A.~Kosower,
%``Fusing gauge theory tree amplitudes into loop amplitudes,''
Nucl.\ Phys.\ B {\bf 435}, 59 (1995)
[hep-ph/9409265];
%%CITATION = HEP-PH 9409265;%%
%
%
Z.~Bern and A.~G.~Morgan,
%``Massive Loop Amplitudes from Unitarity,''
Nucl.\ Phys.\ B {\bf 467}, 479 (1996)
[hep-ph/9511336];
%%CITATION = HEP-PH 9511336;%%
%
%
Z.~Bern, L.~Dixon, D.~A.~Kosower and S.~Weinzierl,
%``One-loop amplitudes for e+ e- --> anti-q q anti-Q Q,''
Nucl.\ Phys.\ B {\bf 489}, 3 (1997)
[hep-ph/9610370];
%%CITATION = HEP-PH 9610370;%%
%
%
Z.~Bern, L.~Dixon and D.~A.~Kosower,
%``One-loop amplitudes for e+ e- to four partons,''
Nucl.\ Phys.\ B {\bf 513}, 3 (1998)
[hep-ph/9708239];
%%CITATION = HEP-PH 9708239;%%
%
%
J.~S.~Rozowsky,
%``Feynman diagrams and cutting rules,''
hep-ph/9709423.
%%CITATION = HEP-PH 9709423;%%

%+% 5 refs
\bibitem{Review}
Z.~Bern, L.~Dixon and D.~A.~Kosower,
%``Progress in one-loop QCD computations,''
Ann.\ Rev.\ Nucl.\ Part.\ Sci.\ {\bf 46}, 109 (1996)
[hep-ph/9602280].
%%CITATION = HEP-PH 9602280;%%

%+% 2 refs
\bibitem{BRY}
Z.~Bern, J.~S.~Rozowsky and B.~Yan,
%``Two-loop four-gluon amplitudes in N = 4 super-Yang-Mills,''
Phys.\ Lett.\ B {\bf 401}, 273 (1997)
[hep-ph/9702424];
%%CITATION = HEP-PH 9702424;%%
%
%
in Proceedings of the 5th International Workshop on Deep Inelastic Scattering 
and QCD (DIS 97), Chicago, IL, 14-18 Apr 1997, [hep-ph/9706392]
%%CITATION = HEP-PH 9706392;%%

%+% 1 ref
\bibitem{AllPlus2}
Z.~Bern, L.~Dixon and D.~A.~Kosower,
%``A two-loop four-gluon helicity amplitude in QCD,''
JHEP{\bf 0001}, 027 (2000)
[hep-ph/0001001].
%%CITATION = HEP-PH 0001001;%%

%+% 1 ref
\bibitem{tHooftVeltmanAnnPoin}
G.~'t Hooft and M.~Veltman,
%``One Loop Divergencies In The Theory Of Gravitation,''
Annales Poincare Phys.\ Theor.\ A {\bf 20}, 69 (1974).
%%CITATION = AHPAA,A20,69;%%

%+% 1 ref
\bibitem{tHooftGrav}
G.~'t Hooft,
%``An Algorithm For The Poles At Dimension Four In The Dimensional Regularization Procedure,''
Nucl.\ Phys.\ B {\bf 62}, 444 (1973).
%%CITATION = NUPHA,B62,444;%%

%+% 1 ref
\bibitem{DeserEtal}
S.~Deser and P.~van Nieuwenhuizen,
%``One Loop Divergences Of Quantized Einstein-Maxwell Fields,''
Phys.\ Rev.\ D {\bf 10}, 401 (1974).
%%CITATION = PHRVA,D10,401;%%
%%
%
%``Nonrenormalizability Of The Quantized Dirac - Einstein System,''
Phys.\ Rev.\ D {\bf 10}, 411 (1974).
%%CITATION = PHRVA,D10,411;%%
%
S.~Deser, H.~Tsao and P.~van Nieuwenhuizen,
%``One Loop Divergences Of The Einstein Yang-Mills System,''
Phys.\ Rev.\ D {\bf 10}, 3337 (1974).
%%CITATION = PHRVA,D10,3337;%%

%+% 1 ref
\bibitem{PureGravityInfinityGSV}
M.~H.~Goroff and A.~Sagnotti,
%``Quantum Gravity At Two Loops,''
Phys.\ Lett.\ B {\bf 160}, 81 (1985);
%%CITATION = PHLTA,B160,81;%%
%
%``The Ultraviolet Behavior Of Einstein Gravity,''
Nucl.\ Phys.\ B {\bf 266}, 709 (1986);
%%CITATION = NUPHA,B266,709;%%
%
A.~E.~van de Ven,
%``Two loop quantum gravity,''
Nucl.\ Phys.\ B {\bf 378}, 309 (1992).
%%CITATION = NUPHA,B378,309;%%

%+% 2 refs
\bibitem{SWI}
M.~T.~Grisaru, H.~N.~Pendleton and P.~van Nieuwenhuizen,
%``Supergravity And The S Matrix,''
Phys.\ Rev.\ D {\bf 15}, 996 (1977);
%%CITATION = PHRVA,D15,996;%%
%
%
M.~T.~Grisaru and H.~N.~Pendleton,
%``Some Properties Of Scattering Amplitudes In Supersymmetric Theories,''
Nucl.\ Phys.\ B {\bf 124}, 81 (1977);
%%CITATION = NUPHA,B124,81;%%
%
%
S.~J.~Parke and T.~R.~Taylor,
%``Perturbative QCD Utilizing Extended Supersymmetry,''
Phys.\ Lett.\ B {\bf 157}, 81 (1985).
%%CITATION = PHLTA,B157,81;%%

%+% 1 ref
\bibitem{OneLoopSUGRA}
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.\ Rev.\ Lett.\ {\bf 37}, 1662 (1976).
%%CITATION = PRLTA,37,1662;%%

%+% 1 ref
\bibitem{Grisaru}
M.~T.~Grisaru,
%``Two Loop Renormalizability Of Supergravity,''
Phys.\ Lett.\ B {\bf 66}, 75 (1977).
%%CITATION = PHLTA,B66,75;%%
%
%
E.~Tomboulis,
%``On The Two Loop Divergences Of Supersymmetric Gravitation,''
Phys.\ Lett.\ B {\bf 67}, 417 (1977).
%%CITATION = PHLTA,B67,417;%%

%+% 1 ref
\bibitem{KalloshNeight}
R.~E.~Kallosh,
%``Counterterms In Extended Supergravities,''
Phys.\ Lett.\ B {\bf 99}, 122 (1981).
%%CITATION = PHLTA,B99,122;%%

%+% 3 refs
\bibitem{HoweStelle}
S.~Deser, J.~H.~Kay and K.~S.~Stelle,
%``Renormalizability Properties Of Supergravity,''
Phys.\ Rev.\ Lett.\ {\bf 38}, 527 (1977).
%%CITATION = PRLTA,38,527;%%
%
%
P.~S.~Howe, K.~S.~Stelle and P.~K.~Townsend,
%``Superactions,''
Nucl.\ Phys.\ B {\bf 191}, 445 (1981).
%%CITATION = NUPHA,B191,445;%%
%
P.~S.~Howe and K.~S.~Stelle,
%``Ultraviolet Divergences In Higher Dimensional Supersymmetric Yang-Mills Theories,''
Phys.\ Lett.\ B {\bf 137}, 175 (1984);
%%CITATION = PHLTA,B137,175;%%
%
%
%``The Ultraviolet Properties Of Supersymmetric Field Theories,''
Int.\ J.\ Mod.\ Phys.\ A {\bf 4}, 1871 (1989).
%%CITATION = IMPAE,A4,1871;%%

%+% 1 ref
\bibitem{DeWitt}
B.S.\ DeWitt, Phys. Rev. {\bf 162} 1239 (1967);  
M. Veltman, in Les Houches 1975, Proceedings, Methods In Field Theory
(Amsterdam 1976).

%+% 2 refs
\bibitem{BGK}
F.~A.~Berends, W.~T.~Giele and H.~Kuijf,
%``On Relations Between Multi - Gluon And Multigraviton Scattering,''
Phys.\ Lett.\ B {\bf 211}, 91 (1988).
%%CITATION = PHLTA,B211,91;%%

%+% 1 ref
\bibitem{ParkeTaylor}
S.~J.~Parke and T.~R.~Taylor,
%``An Amplitude For N Gluon Scattering,''
Phys.\ Rev.\ Lett.\ {\bf 56}, 2459 (1986).
%%CITATION = PRLTA,56,2459;%%

%+% 1 ref
\bibitem{ManganoReview}
M.~L.~Mangano and S.~J.~Parke,
%``Multiparton amplitudes in gauge theories,''
Phys.\ Rept.\ {\bf 200}, 301 (1991).
%%CITATION = PRPLC,200,301;%%
%
L. Dixon, in Proceedings of Theoretical Advanced Study Institute
in Elementary Particle Physics (TASI 95), ed.\ D.E.\ Soper,
%``Calculating scattering amplitudes efficiently,''
hep-ph/9601359.
%%CITATION = HEP-PH 9601359;%%

%+% 1 ref
\bibitem{ExactUnitarity}
W.~L.~van Neerven,
%``Dimensional Regularization Of Mass And Infrared Singularities In Two Loop On Shell Vertex Functions,''
Nucl.\ Phys.\ B {\bf 268}, 453 (1986).
%%CITATION = NUPHA,B268,453;%%

%+% 1 ref
\bibitem{DN}
D.~C.~Dunbar and P.~S.~Norridge,
%``Calculation of graviton scattering amplitudes using string based methods,''
Nucl.\ Phys.\ B {\bf 433}, 181 (1995)
[hep-th/9408014];
%%CITATION = HEP-TH 9408014;%%
%
%
D.~C.~Dunbar and P.~S.~Norridge,
%``Infinities within graviton scattering amplitudes,''
Class.\ Quant.\ Grav.\ {\bf 14}, 351 (1997)
[hep-th/9512084].
%%CITATION = HEP-TH 9512084;%%

%+% 1 ref
\bibitem{GSB}
M.~B.~Green, J.~H.~Schwarz and L.~Brink,
%``N=4 Yang-Mills And N=8 Supergravity As Limits Of String Theories,''
Nucl.\ Phys.\ B {\bf 198}, 474 (1982).
%%CITATION = NUPHA,B198,474;%%

%+% 1 ref
\bibitem{GreenTwoLoop}
M.~B.~Green, H.~Kwon and P.~Vanhove,
%``Two loops in eleven dimensions,''
Phys.\ Rev.\ D {\bf 61}, 104010 (2000)
[hep-th/9910055].
%%CITATION = HEP-TH 9910055;%%

%+% 1 ref
\bibitem{DimensionalReduction}
W.~Siegel,
%``Supersymmetric Dimensional Regularization Via Dimensional Reduction,''
Phys.\ Lett.\ B {\bf 84}, 193 (1979);
%%CITATION = PHLTA,B84,193;%%
%
%
D.~M.~Capper, D.~R.~Jones and P.~van Nieuwenhuizen,
%``Regularization By Dimensional Reduction Of Supersymmetric And Nonsupersymmetric Gauge Theories,''
Nucl.\ Phys.\ B {\bf 167}, 479 (1980).
%%CITATION = NUPHA,B167,479;%%

%+% 2 refs
\bibitem{StellePrivate}
K.S. Stelle, private communication.

%+% 1 ref
\bibitem{DeserSeminara}
S.~Deser and D.~Seminara,
%``Counterterms/M-theory corrections to D = 11 supergravity,''
Phys.\ Rev.\ Lett.\ {\bf 82}, 2435 (1999)
[hep-th/9812136].
%%CITATION = HEP-TH 9812136;%%
%
%
%``Tree amplitudes and two-loop counterterms in D = 11 supergravity,''
Phys.\ Rev.\ D {\bf 62}, 084010 (2000)
[hep-th/0002241];
%%CITATION = HEP-TH 0002241;%%
%
%
Z.~Bern {\it et al.},
%``Counterterms in supergravity,''
hep-th/0012230.
%%CITATION = HEP-TH 0012230;%%

%+% 1 ref
\bibitem{ChalmersFinitenesss}
G.~Chalmers,
%``On the finiteness of N = 8 quantum supergravity,''
hep-th/0008162.
%%CITATION = HEP-TH 0008162;%%

%+% 1 ref
\bibitem{DunbarJulia}
D.~C.~Dunbar, B.~Julia, D.~Seminara and M.~Trigiante,
%``Counterterms in type I supergravities,''
JHEP{\bf 0001}, 046 (2000)
[hep-th/9911158].
%%CITATION = HEP-TH 9911158;%%

%+% 1 ref
\bibitem{Siegel}
W.~Siegel,
%``Two vierbein formalism for string inspired axionic gravity,''
Phys.\ Rev.\ D {\bf 47}, 5453 (1993)
[hep-th/9302036];
%%CITATION = HEP-TH 9302036;%%
%
%
W.~Siegel,
%``Superspace duality in low-energy superstrings,''
Phys.\ Rev.\ D {\bf 48}, 2826 (1993)
[hep-th/9305073].
%%CITATION = HEP-TH 9305073;%%
%
%
W.~Siegel,
%``Manifest duality in low-energy superstrings,''
in Proceedings of Strings 1993, eds. M.B.\ Halpern, A. Sevrin and G. Rivlis
(World Scientific, Singapore, 1994), [hep-th/9308133].
%%CITATION = HEP-TH 9308133;%%

\end{thebibliography}

\end{document}


