# The Amplitudes Long View

Occasionally, other physicists ask me what the goal of amplitudes research is. What’s it all about?

I want to give my usual answer: we’re calculating scattering amplitudes! We’re trying to compute them more efficiently, taking advantage of simplifications and using a big toolbox of different approaches, and…

Usually by this point in the conversation, it’s clear that this isn’t what they were asking.

When physicists ask me about the goal of amplitudes research, they’ve got a longer view in mind. Maybe they’ve seen a talk by Nima Arkani-Hamed, declaring that spacetime is doomed. Maybe they’ve seen papers arguing that everything we know about quantum field theory can be derived from a few simple rules. Maybe they’ve heard slogans, like “on-shell good, off-shell bad”. Maybe they’ve heard about the conjecture that N=8 supergravity is finite, or maybe they’ve just heard someone praise the field as “demoting the sacred cows like fields, Lagrangians, and gauge symmetry”.

Often, they’ve heard a little bit of all of these. Sometimes they’re excited, sometimes they’re skeptical, but either way, they’re usually more than a little confused. They’re asking how all of these statements fit into a larger story.

The glib answer is that they don’t. Amplitudes has always been a grab-bag of methods: different people with different backgrounds, united by their interest in a particular kind of calculation.

With that said, I think there is a shared philosophy, even if each of us approaches it a little differently. There is an overall principle that unites the amplituhedron and color-kinematics duality, the CHY string and bootstrap methods, BCFW and generalized unitarity.

If I had to describe that principle in one word, I’d call it minimality. Quantum field theory involves hugely complicated mathematical machinery: Lagrangians and path integrals, Feynman diagrams and gauge fixing. At the end of the day, if you want to answer a concrete question, you’re computing a few specific kinds of things: mostly, scattering amplitudes and correlation functions. Amplitudes tries to start from the other end, and ask what outputs of this process are allowed. The idea is to search for something minimal: a few principles that, when applied to a final answer in a particular form, specify it uniquely. The form in question varies: it can be a geometric picture like the amplituhedron, or a string-like worldsheet, or a constructive approach built up from three-particle amplitudes. The goal, in each case, is the same: to skip the usual machinery, and understand the allowed form for the answer.

From this principle, where do the slogans come from? How could minimality replace spacetime, or solve quantum gravity?

It can’t…if we stick to only matching quantum field theory. As long as each calculation matches one someone else could do with known theories, even if we’re more efficient, these minimal descriptions won’t really solve these kinds of big-picture mysteries.

The hope (and for the most part, it’s a long-term hope) is that we can go beyond that. By exploring minimal descriptions, the hope is that we will find not only known theories, but unknown ones as well, theories that weren’t expected in the old understanding of quantum field theory. The amplituhedron doesn’t need space-time, it might lead the way to a theory that doesn’t have space-time. If N=8 supergravity is finite, it could suggest new theories that are finite. The story repeats, with variations, whenever amplitudeologists explore the outlook of our field. If we know the minimal requirements for an amplitude, we could find amplitudes that nobody expected.

I’m not claiming we’re the only field like this: I feel like the conformal bootstrap could tell a similar story. And I’m not saying everyone thinks about our field this way: there’s a lot of deep mathematics in just calculating amplitudes, and it fascinated people long before the field caught on with the Princeton set.

But if you’re asking what the story is for amplitudes, the weird buzz you catch bits and pieces of and can’t quite put together…well, if there’s any unifying story, I think it’s this one.

# The State of Four Gravitons

This blog is named for a question: does the four-graviton amplitude in N=8 supergravity diverge?

Over the years, Zvi Bern and a growing cast of collaborators have been trying to answer that question. They worked their way up, loop by loop, until they stalled at five loops. Last year, they finally broke the stall, and last week, they published the result of the five-loop calculation. They find that N=8 supergravity does not diverge at five loops in four dimensions, but does diverge in 24/5 dimensions. I thought I’d write a brief FAQ about the status so far.

Q: Wait a minute, 24/5 dimensions? What does that mean? Are you talking about fractals, or…

Nothing so exotic. The number 24/5 comes from a regularization trick. When we’re calculating an amplitude that might be divergent, one way to deal with it is to treat the dimension like a free variable. You can then see what happens as you vary the dimension, and see when the amplitude starts diverging. If the dimension is an integer, then this ends up matching a more physics-based picture, where you start with a theory in eleven dimensions and curl up the extra ones until you get to the dimension you’re looking for. For fractional dimensions, it’s not clear that there’s any physical picture like this: it’s just a way to talk about how close something is to diverging.

Q: I’m really confused. What’s a graviton? What is supergravity? What’s a divergence?

I don’t have enough space to explain these things here, but that’s why I write handbooks. Here are explanations of gravitons, supersymmetry, and (N=8) supergravity, loops, and divergences. Please let me know if anything in those explanations is unclear, or if you have any more questions.

Q: Why do people think that N=8 supergravity will diverge at seven loops?

There’s a useful rule of thumb in quantum field theory: anything that can happen, will happen. In this case, that means if there’s a way for a theory to diverge that’s consistent with the symmetries of the theory, then it almost always does diverge. In the past, that meant that people expected N=8 supergravity to diverge at five loops. However, researchers found a previously unknown symmetry that looked like it would forbid the five-loop divergence, and only allow a divergence at seven loops (in four dimensions). Zvi and co.’s calculation confirms that the five-loop divergence doesn’t show up.

More generally, string theory not only avoids divergences but clears up other phenomena, like black holes. These two things seem tied together: string theory cleans up problems in quantum gravity in a consistent, unified way. There isn’t a clear way for N=8 supergravity on its own to clean up these kinds of problems, which makes some people skeptical that it can match string theory’s advantages. Either way N=8 supergravity, unlike string theory, isn’t a candidate theory of nature by itself: it would need to be modified in order to describe our world, and no-one has suggested a way to do that.

Q: Why do people think that N=8 supergravity won’t diverge at seven loops?

There’s a useful rule of thumb in amplitudes: amplitudes are weird. In studying amplitudes we often notice unexpected simplifications, patterns that uncover new principles that weren’t obvious before.

Gravity in general seems to have a lot of these kinds of simplifications. Even without any loops, its behavior is surprisingly tame: it’s a theory that we can build up piece by piece from the three-particle interaction, even though naively we shouldn’t be able to (for the experts: I’m talking about large-z behavior in BCFW). This behavior seems to have an effect on one-loop amplitudes as well. There are other ways in which gravity seems better-behaved than expected, overall this suggests that we still have a fair ways to go before we understand all of the symmetries of gravity theories.

Supersymmetric gravity in particular also seems unusually well-behaved. N=5 supergravity was expected to diverge at four loops, but doesn’t. N=4 supergravity does diverge at four loops, but that seems to be due to an effect that is specific to that case (for the experts: an anomaly).

For N=8 specifically, a suggestive hint came from varying the dimension. If you checked the dimension in which the theory diverged at each loop, you’d find it matched the divergences of another theory, N=4 super Yang-Mills. At $l$ loops, N=4 super Yang-Mills diverges in dimension $4+6/l$. From that formula, you can see that no matter how much you increase $l$, you’ll never get to four dimensions: in four dimensions, N=4 super Yang-Mills doesn’t diverge.

At five loops, N=4 super Yang-Mills diverges in 26/5 dimensions. Zvi Bern made a bet with supergravity expert Kelly Stelle that the dimension would be the same for N=8 supergravity: a bottle of California wine from Bern versus English wine from Stelle. Now that they’ve found a divergence in 24/5 dimensions instead, Stelle will likely be getting his wine soon.

Q: It sounds like the calculation was pretty tough. Can they still make it to seven loops?

I think so, yes. Doing the five-loop calculation they noticed simplifications, clever tricks uncovered by even more clever grad students. The end result is that if they just want to find out whether the theory diverges then they don’t have to do the “whole calculation”, just part of it. This simplifies things a lot. They’ll probably have to find a few more simplifications to make seven loops viable, but I’m optimistic that they’ll find them, and in the meantime the new tricks should have some applications in other theories.

Q: What do you think? Will the theory diverge?

I’m not sure.

To be honest, I’m a bit less optimistic than I used to be. The agreement of divergence dimensions between N=8 supergravity and N=4 super Yang-Mills wasn’t the strongest argument (there’s a reason why, though Stelle accepted the bet on five loops, string theorist Michael Green is waiting on seven loops for his bet). Fractional dimensions don’t obviously mean anything physically, and many of the simplifications in gravity seem specific to four dimensions. Still, it was suggestive, the kind of “motivation” that gets a conjecture started.

Without that motivation, none of the remaining arguments are specific to N=8. I still think unexpected simplifications are likely, that gravity overall behaves better than we yet appreciate. I still would bet on seven loops being finite. But I’m less confident about what it would mean for the theory overall. That’s going to take more serious analysis, digging in to the anomaly in N=4 supergravity and seeing what generalizes. It does at least seem like Zvi and co. are prepared to undertake that analysis.

Regardless, it’s still worth pushing for seven loops. Having that kind of heavy-duty calculation in our sub-field forces us to improve our mathematical technology, in the same way that space programs and particle colliders drive technology in the wider world. If you think your new amplitudes method is more efficient than the alternatives, the push to seven loops is the ideal stress test. Jacob Bourjaily likes to tell me how his prescriptive unitarity technique is better than what Zvi and co. are doing, this is our chance to find out!

Overall, I still stand by what I say in my blog’s sidebar. I’m interested in N=8 supergravity, I’d love to find out whether the four-graviton amplitude diverges…and now that the calculation is once again making progress, I expect that I will.

# Path Integrals and Loop Integrals: Different Things!

When talking science, we need to be careful with our words. It’s easy for people to see a familiar word and assume something totally different from what we intend. And if we use the same word twice, for two different things…

I’ve noticed this problem with the word “integral”. When physicists talk about particle physics, there are two kinds of integrals we mention: path integrals, and loop integrals. I’ve seen plenty of people get confused, and assume that these two are the same thing. They’re not, and it’s worth spending some time explaining the difference.

Let’s start with path integrals (also referred to as functional integrals, or Feynman integrals). Feynman promoted a picture of quantum mechanics in which a particle travels along many different paths, from point A to point B.

You’ve probably seen a picture like this. Classically, a particle would just take one path, the shortest path, from A to B. In quantum mechanics, you have to add up all possible paths. Most longer paths cancel, so on average the short, classical path is the most important one, but the others do contribute, and have observable, quantum effects. The sum over all paths is what we call a path integral.

It’s easy enough to draw this picture for a single particle. When we do particle physics, though, we aren’t usually interested in just one particle: we want to look at a bunch of different quantum fields, and figure out how they will interact.

We still use a path integral to do that, but it doesn’t look like a bunch of lines from point A to B, and there isn’t a convenient image I can steal from Wikipedia for it. The quantum field theory path integral adds up, not all the paths a particle can travel, but all the ways a set of quantum fields can interact.

How do we actually calculate that?

One way is with Feynman diagrams, and (often, but not always) loop integrals.

I’ve talked about Feynman diagrams before. Each one is a picture of one possible way that particles can travel, or that quantum fields can interact. In some (loose) sense, each one is a single path in the path integral.

Each diagram serves as instructions for a calculation. We take information about the particles, their momenta and energy, and end up with a number. To calculate a path integral exactly, we’d have to add up all the diagrams we could possibly draw, to get a sum over all possible paths.

(There are ways to avoid this in special cases, which I’m not going to go into here.)

Sometimes, getting a number out of a diagram is fairly simple. If the diagram has no closed loops in it (if it’s what we call a tree diagram) then knowing the properties of the in-coming and out-going particles is enough to know the rest. If there are loops, though, there’s uncertainty: you have to add up every possible momentum of the particles in the loops. You do that with a different integral, and that’s the one that we sometimes refer to as a loop integral. (Perhaps confusingly, these are also often called Feynman integrals: Feynman did a lot of stuff!)

$\frac{i^{a+l(1-d/2)}\pi^{ld/2}}{\prod_i \Gamma(a_i)}\int_0^\infty...\int_0^\infty \prod_i\alpha_i^{a_i-1}U^{-d/2}e^{iF/U-i\sum m_i^2\alpha_i}d\alpha_1...d\alpha_n$

Loop integrals can be pretty complicated, but at heart they’re the same sort of thing you might have seen in a calculus class. Mathematicians are pretty comfortable with them, and they give rise to numbers that mathematicians find very interesting.

Path integrals are very different. In some sense, they’re an “integral over integrals”, adding up every loop integral you could write down. Mathematicians can define path integrals in special cases, but it’s still not clear that the general case, the overall path integral picture we use, actually makes rigorous mathematical sense.

So if you see physicists talking about integrals, it’s worth taking a moment to figure out which one we mean. Path integrals and loop integrals are both important, but they’re very, very different things.

# The Rippling Pond Universe

[Background: Someone told me they couldn’t imagine popularizing Quantum Field Theory in the same flashy way people popularize String Theory. Naturally I took this as a challenge. Please don’t take any statements about what “really exists” here too seriously, this isn’t intended as metaphysics, just metaphor.]

You probably learned about atoms in school.

Your teacher would have explained that these aren’t the same atoms the ancient Greeks imagined. Democritus thought of atoms as indivisible, unchanging spheres, the fundamental constituents of matter. We know, though, that atoms aren’t indivisible. They’re clouds of electrons, buzzing in their orbits around a nucleus of protons and neutrons. Chemists can divide the electrons from the rest, nuclear physicists can break the nucleus. The atom is not indivisible.

And perhaps your teacher remarked on how amazing it is, that the nucleus is such a tiny part of the atom, that the atom, and thus all solid matter, is mostly empty space.

You might have learned that protons and neutrons, too, are not indivisible. That each proton, and each neutron, is composed of three particles called quarks, particles which can be briefly freed by powerful particle colliders.

And you might have wondered, then, even if you didn’t think to ask: are quarks atoms? The real atoms, the Greek atoms, solid indestructible balls of fundamental matter?

They aren’t, by the way.

You might have gotten an inkling of this, learning about beta decay. In beta decay, a neutron transforms, becoming a proton, an electron, and a neutrino. Look for an electron inside a neutron, and you won’t find one. Even if you look at the quarks, you see the same transformation: a down quark becomes an up quark, plus an electron, plus a neutrino. If quarks were atoms, indivisible and unchanging, this couldn’t happen. There’s nowhere for the electron to hide.

In fact, there are no atoms, not the way the Greeks imagined. Just ripples.

Picture the universe as a pond. This isn’t a still pond: something has disturbed it, setting ripples and whirlpools in motion. These ripples and whirlpools skim along the surface of the pond, eddying together and scattering apart.

Our universe is not a simple pond, and so these are not simple ripples. They shine and shimmer, each with their own bright hue, colors beyond our ordinary experience that mix in unfamiliar ways. The different-colored ripples interact, merge and split, and the pond glows with their light.

Stand back far enough, and you notice patterns. See that red ripple, that stays together and keeps its shape, that meets other ripples and interacts in predictable ways. You might imagine the red ripple is an atom, truly indivisible…until it splits, transforms, into ripples of new colors. The quark has changed, down to up, an electron and a neutrino rippling away.

All of our world is encoded in the colors of these ripples, each kind of charge its own kind of hue. With a wink (like your teacher’s, telling you of empty atoms), I can tell you that distance itself is just a kind of ripple, one that links other ripples together. The pond’s very nature as a place is defined by the ripples on it.

This is Quantum Field Theory, the universe of ripples. Democritus said that in truth there are only atoms and the void, but he was wrong. There are no atoms. There is only the void. It ripples and shimmers, and each of us lives as a collection of whirlpools, skimming the surface, seeming concrete and real and vital…until the ripples dissolve, and a new pattern comes.

# At the GGI Lectures on the Theory of Fundamental Interactions

I’m at the Galileo Galilei Institute for Theoretical Physics in Florence at their winter school, the GGI Lectures on the Theory of Fundamental Interactions. Next week I’ll be helping Lance Dixon teach Amplitudeology, this week, I’m catching the tail end of Ira Rothstein’s lectures.

The Galileo Galilei Institute, at the end of a long, winding road filled with small, speedy cars and motorcycles, in classic Italian fashion

Rothstein has been heavily involved in doing gravitational wave calculations using tools from quantum field theory, something that has recently captured a lot of interest from amplitudes people. Specifically, he uses Effective Field Theory, theories that are “effectively” true at some scale but hide away higher-energy physics. In the case of gravitational waves, these theories are a powerful way to calculate the waves that LIGO and VIRGO can observe without using the full machinery of general relativity.

After seeing Rothstein’s lectures, I’m reminded of something he pointed out at the QCD Meets Gravity conference in December. He emphasized then that even if amplitudes people get very good at drawing diagrams for classical general relativity, that won’t be the whole story: there’s a series of corrections needed to “match” between the quantities LIGO is able to see and the ones we’re able to calculate. Different methods incorporate these corrections in different ways, and the most intuitive approach for us amplitudes folks may still end up cumbersome once all the corrections are included. In typical amplitudes fashion, this just makes me wonder if there’s a shortcut: some way to compute, not just a piece that gets plugged in to an Effective Field Theory story, but the waves LIGO sees in one fell swoop (or at least, the part where gravity is weak enough that our methods are still useful). That’s probably a bit naive of me, though.

# 4gravitons Meets QCD Meets Gravity

I’m at UCLA this week, for the workshop QCD Meets Gravity. I haven’t worked on QCD or gravity yet, so I’m mostly here as an interested observer, and as an excuse to enjoy Los Angeles in December.

QCD Meets Gravity is a conference centered around the various ways that “gravity is Yang-Mills squared”. There are a number of tricks that let you “square” calculations in Yang-Mills theories (a type of theory that includes QCD) to get calculations in gravity, and this conference showcased most of them.

At Amplitudes this summer, I was disappointed there were so few surprises. QCD Meets Gravity was different, with several talks on new or preliminary results, including one by Julio Parra-Martinez where the paper went up in the last few minutes of the talk! Yu-tin Huang talked about his (still-unpublished) work with Nima Arkani-Hamed on “UV/IR Polytopes”. The story there is a bit like the conformal bootstrap, with constraints (in this case based on positivity) marking off a space of “allowed” theories. String theory, interestingly, is quite close to the boundary of what is allowed. Enrico Herrmann is working on a way to figure out which gravity integrands are going to diverge without actually integrating them, while Simon Caron-Huot, in his characteristic out-of-the-box style, is wondering whether supersymmetric black holes precess. We also heard a bit more about a few recent papers. Oliver Schlotterer’s talk cleared up one thing: apparently the GEF functions he defines in his paper on one-loop “Z theory” are pronounced “Jeff”. I kept waiting for him to announce “Jeff theory”, but unfortunately no such luck. Sebastian Mizera’s talk was a very clear explanation of intersection theory, the subject of his recent paper. As it turns out, intersection theory is the study of mathematical objects like the Beta function (which shows up extensively in string theory), taking them apart in a way very reminiscent of the “squaring” story of Yang-Mills and gravity.

The heart of the workshop this year was gravitational waves. Since LIGO started running, amplitudes researchers (including, briefly, me) have been looking for ways to get involved. This conference’s goal was to bring together amplitudes people and the gravitational wave community, to get a clearer idea of what we can contribute. Between talks and discussions, I feel like we all understand the problem better. Some things that the amplitudes community thought were required, like breaking the symmetries of special relativity, turn out to be accidents of how the gravitational wave community calculates things: approximations that made things easier for them, but make things harder for us. There are areas in which we can make progress quite soon, even areas in which amplitudes people have already made progress. The detectors for which the new predictions matter might still be in the future (LIGO can measure two or three “loops”, LISA will see up to four), but they will eventually be measured. Amplitudes and gravitational wave physics could turn out to be a very fruitful partnership.

# Interesting Work at the IAS

I’m visiting the Institute for Advanced Study this week, on the outskirts of Princeton’s impressively Gothic campus.