# Ultraviolet Behavior of $\mathcal{N}=8$ Supergravity at Four Loops

An often-expressed sentiment is that pointlike quantum field theories based on Einstein’s theory of general relativity, including supersymmetric extensions thereof, are quantum mechanically inconsistent, due to either a proliferation of divergences associated with the dimensionful nature of Newton’s constant, or absence of unitarity. A series of recent computations has challenged this widely held belief. In particular, the three-loop four-graviton amplitude [1,2] in $\mathcal{N}=8$ supergravity [3] exposes cancellations beyond those needed for ultraviolet (UV) finiteness at that order. Novel cancellations occur already in this theory [4,5] at one loop, related [6,7] to the remarkably good behavior of gravity tree amplitudes under large complex deformations of external momenta [7,8], and to the unordered nature of gravity amplitudes [5]. The modern unitarity method [9] implies that extensive UV cancellations occur to *all* loop orders [10], for a class of terms obtained by isolating one-loop subamplitudes via generalized unitarity [11], leading to the proposal [6] that the multiloop UV cancellations trace back to the tree-level behavior. These surprising cancellations point to the possible perturbative UV finiteness of the theory.

Interestingly, $M$ theory and string theory have also been used to argue both in favor of the finiteness of $\mathcal{N}=8$ supergravity [12], and that divergences are delayed through nine loops [13,14]; issues involving the decoupling of certain massive states [15] remain in either case. The noncompact ${E}_{7(7)}$ duality symmetry of $\mathcal{N}=8$ supergravity [3,16] may also play a role [7,17], though this remains to be demonstrated. A mechanism rendering a pointlike theory of quantum gravity ultraviolet finite would be novel and should have a profound impact on our understanding of gravity.

Indeed, all studies to date conclude that supersymmetry and gauge invariance alone cannot prevent the onset of UV divergences to all loop orders in four dimensions. In fact, it had been a longstanding expectation that, in generic supergravity theories, four-graviton amplitudes diverge at three loops in four dimensions [18]. Such a divergence would be associated with a counterterm composed of four appropriately contracted Riemann tensors (the square of the Bel-Robinson tensor), denoted by ${R}^{4}$. A recent study [19] explains the known lack of this counterterm [1,2], both in terms of non-renormalization theorems and an algebraic formalism for constraining counterterms. However, it does predict divergences at $L=5$ loops in dimension $D=4$ and at $L=4$ loops in $D=5$ [20], unless additional cancellation mechanisms beyond supersymmetry and gauge invariance are present.

In contrast, explicit computations of the four-graviton amplitude at successive loop orders have consistently revealed unexpected UV cancellations. Results at two loops strongly suggested [21], and at three loops proved [1,2] that the ${R}^{4}$ divergence is absent in $\mathcal{N}=8$ supergravity. In addition, UV divergences are absent at three loops in $D<6$. The theory first diverges in $D=6$, and the counterterm has the schematic form ${\mathcal{D}}^{6}{R}^{4}$, where $\mathcal{D}$ is a space-time derivative acting on the Riemann tensors [2]. The computation described in this Letter reveals no UV divergences at four loops in both $D=4$ and $D=5$, specifically ruling out a counterterm of the form ${\mathcal{D}}^{6}{R}^{4}$ in $D=5$. The origin of the observed UV properties is, however, not yet properly understood.

It is worth noting that more speculative field-theoretic studies have suggested further delays to the onset of divergences. For example, if off-shell superspaces with manifest $\mathcal{N}=6$, 7, or 8 supersymmetries were to exist, $D=4$ divergences would be delayed to at least $L=5$, 6, or 7 loops, respectively [22,23]. Locality of counterterms in $\mathcal{N}=8$ light-cone superspace has also been used to argue [17] for an $L=7$ bound. With the additional speculation that all fields respect an 11-dimensional gauge symmetry, one can even delay the first potential divergence to nine loops [19]. Interestingly, this bound coincides with the one suggested [14] from a string theory non-renormalization theorem [13].

In this Letter, we describe the four-loop four-particle amplitude of $\mathcal{N}=8$ supergravity, denoted by ${M}_{4}^{4\mathrm{\text{-}}\mathrm{loop}}$, which we represent as a sum of 50 four-loop integrals ${I}_{i}$,

Here ${S}_{4}$ is the set of 24 permutations of the massless external legs $\{1,2,3,4\}$ with momenta ${k}_{i}$, the ${c}_{i}$ are combinatorial factors depending on the symmetries of the integrals, $\kappa $ is the gravitational coupling, and ${M}_{4}^{\mathrm{tree}}$ is the corresponding four-point tree amplitude. (All ${256}^{4}$ four-point amplitudes of $\mathcal{N}=8$ supergravity are related to each other by supersymmetry, which enforces the proportionality of ${M}_{4}^{4\mathrm{\text{-}}\mathrm{loop}}$ to its tree-level counterpart ${M}_{4}^{\mathrm{tree}}$.) The Mandelstam invariants are $s=({k}_{1}+{k}_{2}{)}^{2}$, $t=({k}_{2}+{k}_{3}{)}^{2}$, $u=({k}_{1}+{k}_{3}{)}^{2}$. Each integral ${I}_{i}$ corresponds to a four-loop graph with 13 propagators and 10 cubic vertices. The 50 graphs may be obtained by attaching four external legs to the edges of the five vacuum graphs in Fig. 1. Not all possibilities contribute, however; diagrams containing nontrivial two- or three-point subgraphs, such as all those obtained from Fig. 1(a), do not appear in the amplitude. Every integral takes the form

where the propagator momenta ${l}_{n}$ are linear combinations of four independent loop momenta ${l}_{{n}_{p}}$ and the external momenta ${k}_{j}$. The numerator polynomial ${N}_{i}({l}_{j},{k}_{j})$ is of degree 12 in the momenta, by dimensional analysis. Generically, we denote loop momenta by $l$ and external momenta by $k$.

The full amplitude is too lengthy to present in this Letter. Rather, we outline its construction and demonstrate some of the relevant UV cancellations. Explicit expressions for the numerators, symmetry factors and propagators may be found in the supplementary material [24]. As examples, the graphs for four integrals, labeled ${I}_{1}$, ${I}_{25}$, ${I}_{32}$, and ${I}_{50}$ in the supplementary material [24], are shown in Fig. 2.

To determine the amplitude, we first construct an ansatz with numerator polynomials ${\tilde{N}}_{i}({l}_{j},{k}_{j})$ that contain undetermined coefficients. Then we consider generalized unitarity cuts decomposing the four-loop amplitude into a product of tree amplitudes ${M}_{(i)}^{\mathrm{tree}}$, as shown in Fig. 3. Equating the cuts of the ansatz to the corresponding cuts of the amplitude,

constrains the undetermined coefficients in the ansatz.

As only tree amplitudes enter Eq. (3), we follow the strategy [21] of reexpressing the $\mathcal{N}=8$ supergravity cuts in terms of sums of products of related cuts of the four-loop four-gluon amplitude in $\mathcal{N}=4$ super-Yang-Mills (sYM) theory [25,26]. The strategy relies on the Kawai-Lewellen-Tye (KLT) relations between gravity and gauge theory tree amplitudes [27], facilitated by their recent reorganization in terms of diagrams [28]. While we suspect that a representation of the $\mathcal{N}=8$ amplitude exists in which each ${N}_{i}$ is at most of degree four in the loop momenta, it is natural, given the squaring nature of the KLT relations, to first solve the cut constraints with this condition relaxed. We present a solution in which each ${N}_{i}$ is at most of degree eight [24]. This representation is sufficient for our purpose of demonstrating UV finiteness in $D=4$, 5.

The KLT relations are valid in arbitrary dimensions. Thus, if the $\mathcal{N}=4$ amplitudes are valid in $D$ dimensions, then so are the $\mathcal{N}=8$ amplitudes derived from them. While we do not yet have a complete proof of the ( $D>4$)-dimensional validity of the nonplanar contributions to the four-loop $\mathcal{N}=4$ amplitudes, we have carried out extensive checks. In particular, ordinary two-particle cuts and cuts isolating four-point subamplitudes extend easily to $D$ dimensions [25,26,28]. The full $\mathcal{N}=4$ sYM amplitude, the details of its calculation, and nontrivial consistency checks will be presented elsewhere [26].

Following the method of maximal cuts [2,29], we first fix those coefficients of the ${\tilde{N}}_{i}({l}_{j},{k}_{j})$ that contribute when the number of cut propagators is maximal—13 in this case. We then consider cuts with 12 cut lines, fixing the coefficients that appear in terms proportional to single inverse propagators ${l}_{n}^{2}$ (i.e., contact terms). We continue this procedure down to nine cut lines, considering, in total, 2906 distinct cuts. At this point, the resulting expression is complete, which we demonstrate using a set of 26 cuts, sufficient to completely determine any four-loop four-point amplitude in any massless theory. The 11 cuts that cannot be straightforwardly verified using lower-loop four-point amplitudes in two-particle cuts are shown in Fig. 3.

The UV properties of the amplitude are determined by the numerator polynomials ${N}_{i}$. We decompose them into expressions ${N}_{i}^{(m)}$ containing all terms with $m$ powers of loop momenta (and $12-m$ powers in the external momenta),

There is some freedom in this decomposition, including that induced by the choice of independent ${l}_{{n}_{p}}$ in the loop integral (2). The overall scaling behavior of Eq. (2) implies that an integral with ${N}_{i}^{(m)}$ in the numerator is finite when $4D-26+m<0$. For $m$ odd, by Lorentz invariance, the leading divergence trivially vanishes under integration, effectively reducing $m$ by one. Our representation has $m\le 8$ for all terms; hence the four-loop amplitude is manifestly UV finite in $D=4$.

Demonstrating UV finiteness in $D=5$ is more subtle. It requires the cancellation of divergences for $m=6$, 7, 8. We employ a systematic procedure for extracting divergences from multiloop integrals by expanding in small external momenta [30].

We find that the numerator terms with $m=8$ can all be expressed solely in terms of inverse propagators ${l}_{n}^{2}$; those with $m=7$ have six powers of loop momenta carried by inverse propagators; and those with $m=6$ have four powers; schematically,

where each ${s}_{a}$ denotes $s$, $t$, or $u$. After expanding in small external momenta, potential UV divergences enter through vacuum integrals, just as at three loops [1]. Vacuum integrals also exhibit infrared singularities, which we regularize by injecting two fictitious off-shell external momenta at appropriate locations in the graph.

Only 12 of the 50 integrals have a nonvanishing ${N}_{i}^{(8)}$; all of them are associated with vacuum diagrams (d) and (e) of Fig. 1. For example, the ${k}^{4}{l}^{8}$ terms in the numerators of the integrals ${I}_{25}$ and ${I}_{32}$ in Fig. 2 are

All of the ${l}_{n}^{2}$ factors in Eq. (6) cancel propagators in the integrals. Thus, to leading order in the expansion in small external momenta, the ${k}^{4}{l}^{8}$ terms in ${I}_{25}$ and ${I}_{32}$ reduce to the vacuum diagram ${V}^{(d)}$ of Fig. 1(d),

Here we have summed over the ${S}_{4}$ permutations of external legs in Eq. (1). Because their combinatorial factors ${c}_{25}$ and ${c}_{32}$ are equal [24], the ${I}_{25}$ and ${I}_{32}$ contributions cancel at leading order. Similarly, all ${k}^{4}{l}^{8}$ contributions in the remaining diagrams cancel, independent of $D$.

As the ${k}^{5}{l}^{7}$ terms cannot generate a leading divergence, we need only inspect the ${k}^{6}{l}^{6}$ term to determine the UV properties of the amplitude in $D=5$. It is necessary to expand all integrands down to ${k}^{6}{l}^{6}$. For the 12 integrals starting at $O({k}^{4}{l}^{8})$, two derivatives are required with respect to the external momenta ${k}_{i}$, acting on propagators of the form $1/({l}_{j}+{K}_{n}{)}^{2}$ (where ${K}_{n}$ denotes a sum of external momenta). The numerators obtained by expanding the integrals to this order have the schematic form,

The additional denominators can lead to doubled or even tripled propagators for the graphs in Fig. 1. Vacuum integrals with ${l}_{i}^{\mu}{l}_{j}^{\nu}$ in the numerator can be reduced using Lorentz invariance, ${l}_{i}^{\mu}{l}_{j}^{\nu}\to {\eta}^{\mu \nu}{l}_{i}\xb7{l}_{j}/D$, with $D=5$. After this reduction, the potential UV divergence is described by 30 vacuum integrals. Of these, 23 possess no loop momenta in the numerator, while seven have an $({l}_{i}+{l}_{j}{)}^{2}$ numerator factor that cannot be reduced to inverse propagators using momentum conservation. There are many ways to expand the original 50 integrals ${I}_{i}$. Shifting the loop momenta in Eq. (2) by ${d}^{D}{l}_{{n}_{p}}\to {d}^{D}({l}_{{n}_{p}}+{k}_{j})$ leads to different representations of the terms proportional to ${N}_{i}^{(7)}$ and ${N}_{i}^{(8)}$ in Eq. (8), and hence to different forms of the UV divergences in terms of the 30 vacuum integrals. Requiring that the different forms are equal generates identities between vacuum integral divergences. These identities suffice to demonstrate cancellation of the ${k}^{6}{l}^{6}$ divergence in ${M}_{4}^{4\mathrm{\text{-}}\mathrm{loop}}$.

Independently, we verified the identities by evaluating all 30 vacuum integrals analytically in $D=5-2\u03f5$. To do this we injected external off-shell momenta and factorized the resulting four-loop propagator integrals into the product of one-loop and three-loop propagator integrals, much as we did at three loops [2]. Integration by parts [31] was used to reduce the three-loop propagator integrals to master integrals.

Both the vacuum integral identities and the direct integral evaluation lead to the exact cancellation of the potential $D=5$ UV divergence. It is striking that this cancellation can be demonstrated using only the consistency of the small momentum expansion. Figure 4 displays two of the 16 vacuum integral identities needed to demonstrate finiteness in $D=5$.

The ${k}^{6}{l}^{6}$ cancellation rules out a ${\mathcal{D}}^{6}{R}^{4}$ counterterm in $D=5$. It implies that the first potential divergence is proportional to ${k}^{8}$ (since a divergence must have an even power of $k$), corresponding to $D=11/2$. As the four-loop four-point $\mathcal{N}=4$ sYM amplitude diverges in $D=11/2$ [25,26], the corresponding $\mathcal{N}=8$ supergravity amplitude behaves no worse.

In summary, the results presented here demonstrate that the four-loop four-particle amplitude of $\mathcal{N}=8$ supergravity is UV finite in $D<11/2$. Finiteness in $5\le D<11/2$ is a consequence of nontrivial cancellations, beyond those already found at three loops [1,2]. From a traditional vantage point of supersymmetry [18,19,23], our results are surprising and lend additional support to the possibility that $\mathcal{N}=8$ supergravity is a perturbatively consistent quantum theory of gravity.

## References

- Z. Bern, J. J. M. Carrasco, L. J. Dixon, H. Johansson, D. A. Kosower, and R. Roiban, Phys. Rev. Lett.
**98**, 161303 (2007). - Z. Bern, J. J. M. Carrasco, L. J. Dixon, H. Johansson, and R. Roiban, Phys. Rev. D
**78**, 105019 (2008). - E. Cremmer and B. Julia, Phys. Lett. B
**80**, 48 (1978); ; Nucl. Phys.**B159**, 141 (1979). - Z. Bern, L. J. Dixon, M. Perelstein, and J. S. Rozowsky, Nucl. Phys.
**B546**, 423 (1999); ; Z. Bern, N. E. J. Bjerrum-Bohr, and D. C. Dunbar, J. High Energy Phys. 05 (**2005**) 056; ; N. E. J. Bjerrum-Bohr, D. C. Dunbar, H. Ita, W. B. Perkins, and K. Risager, 12 (**2006**) 072. - N. E. J. Bjerrum-Bohr and P. Vanhove, J. High Energy Phys. 10 (
**2008**) 006; ; Fortschr. Phys.**56**, 824 (2008); ; S. Badger, N. E. J. Bjerrum-Bohr, and P. Vanhove, J. High Energy Phys. 02 (**2009**) 038. - Z. Bern, J. J. M. Carrasco, D. Forde, H. Ita, and H. Johansson, Phys. Rev. D
**77**, 025010 (2008). - N. Arkani-Hamed, F. Cachazo, and J. Kaplan, arXiv:0808.1446.
- P. Benincasa, C. Boucher-Veronneau, and F. Cachazo, J. High Energy Phys. 11 (
**2007**) 057; ; N. Arkani-Hamed and J. Kaplan, 04 (**2008**) 076; ; A. Hall, Phys. Rev. D**77**, 124004 (2008). - Z. Bern, L. J. Dixon, D. C. Dunbar, and D. A. Kosower, Nucl. Phys.
**B425**, 217 (1994); ;**B435**, 59 (1995). - Z. Bern, L. J. Dixon, and R. Roiban, Phys. Lett. B
**644**, 265 (2007). - Z. Bern, L. J. Dixon, and D. A. Kosower, Nucl. Phys.
**B513**, 3 (1998); ; J. High Energy Phys. 08 (**2004**) 012; ; R. Britto, F. Cachazo, and B. Feng, Nucl. Phys.**B725**, 275 (2005). - G. Chalmers, arXiv:hep-th/0008162; M. B. Green, J. G. Russo, and P. Vanhove, J. High Energy Phys. 02 (
**2007**) 099. - N. Berkovits, Phys. Rev. Lett.
**98**, 211601 (2007). - M. B. Green, J. G. Russo, and P. Vanhove, Phys. Rev. Lett.
**98**, 131602 (2007). - M. B. Green, H. Ooguri, and J. H. Schwarz, Phys. Rev. Lett.
**99**, 041601 (2007). - L. Brink, S. S. Kim, and P. Ramond, J. High Energy Phys. 06 (
**2008**) 034; ; R. Kallosh and M. Soroush, Nucl. Phys.**B801**, 25 (2008). - R. Kallosh, arXiv:0903.4630.
- M. T. Grisaru, Phys. Lett. B
**66**, 75 (1977); ; E. T. Tomboulis,**67**, 417 (1977); ; S. Deser, J. H. Kay, and K. S. Stelle, Phys. Rev. Lett.**38**, 527 (1977); ; S. Ferrara and B. Zumino, Nucl. Phys.**B134**, 301 (1978); ; P. S. Howe and K. S. Stelle, Int. J. Mod. Phys. A**4**, 1871 (1989); ; N. Marcus and A. Sagnotti, Nucl. Phys.**B256**, 77 (1985). - G. Bossard, P. S. Howe, and K. S. Stelle, Gen. Relativ. Gravit.
**41**, 919 (2009). -
Higher-dimensional maximal supergravities may be understood as dimensional reductions of $\mathcal{N}=1$ supergravity in $D=11$.

- Z. Bern, L. J. Dixon, D. C. Dunbar, M. Perelstein, and J. S. Rozowsky, Nucl. Phys.
**B530**, 401 (1998). - M. T. Grisaru and W. Siegel, Nucl. Phys.
**B201**, 292 (1982); ;**B206**, 496(E) (1982). - P. S. Howe and K. S. Stelle, Phys. Lett. B
**554**, 190 (2003). - See EPAPS Document No. for supplementary information. For more information on EPAPS, see http://www.aip.org/pubservs/epaps.html.
- Z. Bern, M. Czakon, L. J. Dixon, D. A. Kosower, and V. A. Smirnov, Phys. Rev. D
**75**, 085010 (2007). - Z. Bern, J. J. M. Carrasco, L. Dixon, H. Johansson, and R. Roiban (to be published).
- H. Kawai, D. C. Lewellen, and S.-H. H. Tye, Nucl. Phys.
**B269**, 1 (1986). - Z. Bern, J. J. M. Carrasco, and H. Johansson, Phys. Rev. D
**78**, 085011 (2008). - Z. Bern, J. J. M. Carrasco, H. Johansson, and D. A. Kosower, Phys. Rev. D
**76**, 125020 (2007). - A. A. Vladimirov, Teor. Mat. Fiz.
**43**, 210 (1980) ; [Theor. Math. Phys.**43**, 417 (1980)]; ; N. Marcus and A. Sagnotti, Nuovo Cimento Soc. Ital. Fis. A**87**, 1 (1985). - F. V. Tkachov, Phys. Lett. B
**100**, 65 (1981); ; K. G. Chetyrkin and F. V. Tkachov, Nucl. Phys.**B192**, 159 (1981).