# Don’t Marry Your Arbitrary

This fall, I’m TAing a course on General Relativity. I haven’t taught in a while, so it’s been a good opportunity to reconnect with how students think.

This week, one problem left several students confused. The problem involved Christoffel symbols, the bane of many a physics grad student, but the trick that they had to use was in the end quite simple. It’s an example of a broader trick, a way of thinking about problems that comes up all across physics.

To see a simplified version of the problem, imagine you start with this sum:

$g(j)=\Sigma_{i=0}^n ( f(i,j)-f(j,i) )$

Now, imagine you want to sum the function $g(j)$ over $j$. You can write:

$\Sigma_{j=0}^n g(j) = \Sigma_{j=0}^n \Sigma_{i=0}^n ( f(i,j)-f(j,i) )$

Let’s break this up into two terms, for later convenience:

$\Sigma_{j=0}^n g(j) = \Sigma_{j=0}^n \Sigma_{i=0}^n f(i,j) - \Sigma_{j=0}^n \Sigma_{i=0}^n f(j,i)$

Without telling you anything about $f(i,j)$, what do you know about this sum?

Well, one thing you know is that $i$ and $j$ are arbitrary.

$i$ and $j$ are letters you happened to use. You could have used different letters, $x$ and $y$, or $\alpha$ and $\beta$. You could even use different letters in each term, if you wanted to. You could even just pick one term, and swap $i$ and $j$.

$\Sigma_{j=0}^n g(j) = \Sigma_{j=0}^n \Sigma_{i=0}^n f(i,j) - \Sigma_{i=0}^n \Sigma_{j=0}^n f(i,j) = 0$

And now, without knowing anything about $f(i,j)$, you know that $\Sigma_{j=0}^n g(j)$ is zero.

In physics, it’s extremely important to keep track of what could be really physical, and what is merely your arbitrary choice. In general relativity, your choice of polar versus spherical coordinates shouldn’t affect your calculation. In quantum field theory, your choice of gauge shouldn’t matter, and neither should your scheme for regularizing divergences.

Ideally, you’d do your calculation without making any of those arbitrary choices: no coordinates, no choice of gauge, no regularization scheme. In practice, sometimes you can do this, sometimes you can’t. When you can’t, you need to keep that arbitrariness in the back of your mind, and not get stuck assuming your choice was the only one. If you’re careful with arbitrariness, it can be one of the most powerful tools in physics. If you’re not, you can stare at a mess of Christoffel symbols for hours, and nobody wants that.

# Current Themes 2018

I’m at Current Themes in High Energy Physics and Cosmology this week, the yearly conference of the Niels Bohr International Academy. (I talked about their trademark eclectic mix of topics last year.)

This year, the “current theme” was broadly gravitational (though with plenty of exceptions!).

For example, almost getting kicked out of the Botanical Garden

There were talks on phenomena we observe gravitationally, like dark matter. There were talks on calculating amplitudes in gravity theories, both classical and quantum. There were talks about black holes, and the overall shape of the universe. Subir Sarkar talked about his suspicion that the expansion of the universe isn’t actually accelerating, and while I still think the news coverage of it was overblown I sympathize a bit more with his point. He’s got a fairly specific worry, that we’re in a region that’s moving unusually with respect to the surrounding universe, that hasn’t really been investigated in much detail before. I don’t think he’s found anything definitive yet, but it will be interesting as more data accumulates to see what happens.

Of course, current themes can’t stick to just one theme, so there were non-gravitational talks as well. Nima Arkani-Hamed’s talk covered some results he’s talked about in the past, a geometric picture for constraining various theories, but with an interesting new development: while most of the constraints he found restrict things to be positive, one type of constraint he investigated allowed for a very small negative region, around thirty orders of magnitude smaller than the positive part. The extremely small size of the negative region was the most surprising part of the story, as it’s quite hard to get that kind of extremely small scale out of the math we typically invoke in physics (a similar sense of surprise motivates the idea of “naturalness” in particle physics).

There were other interesting talks, which I might talk about later. They should have slides up online soon in case any of you want to have a look.

# Bubbles of Nothing

I recently learned about a very cool concept, called a bubble of nothing.

Read about physics long enough, and you’ll hear all sorts of cosmic disaster scenarios. If the Higgs vacuum decays, and the Higgs field switches to a different value, then the masses of most fundamental particles would change. It would be the end of physics, and life, as we know it.

A bubble of nothing is even more extreme. In a bubble of nothing, space itself ceases to exist.

The idea was first explored by Witten in 1982. Witten started with a simple model, a world with our four familiar dimensions of space and time, plus one curled-up extra dimension. What he found was that this simple world is unstable: quantum mechanics (and, as was later found, thermodynamics) lets it “tunnel” to another world, one that contains a small “bubble”, a sphere in which nothing at all exists.

Except perhaps the Nowhere Man

A bubble of nothing might sound like a black hole, but it’s quite different. Throw a particle into a black hole and it will fall in, never to return. Throw it into a bubble of nothing, though, and something more interesting happens. As you get closer, the extra dimension of space gets smaller and smaller. Eventually, it stops, smoothly closing off. The particle you threw in will just bounce back, smoothly, off the outside of the bubble. Essentially, it reached the edge of the universe.

The bubble starts out small, comparable to the size of the curled-up dimension. But it doesn’t stay that way. In Witten’s setup, the bubble grows, faster and faster, until it’s moving at the speed of light, erasing the rest of the universe from existence.

You probably shouldn’t worry about this happening to us. As far as I’m aware, nobody has written down a realistic model that can transform into a bubble of nothing.

Still, it’s an evocative concept, and one I’m surprised isn’t used more often in science fiction. I could see writers using a bubble of nothing as a risk from an experimental FTL drive, or using a stable (or slowly growing) bubble as the relic of some catastrophic alien war. The idea of a bubble of literal nothing is haunting enough that it ought to be put to good use.

# We Didn’t Deserve Hawking

I don’t usually do obituaries. I didn’t do one when Joseph Polchinksi died, though his textbook is sitting an arm’s reach from me right now. I never collaborated with Polchinski, I never met him, and others were much better at telling his story.

I never met Stephen Hawking, either. When I was at Perimeter, I’d often get asked if I had. Visitors would see his name on the Perimeter website, and I’d have to disappoint them by explaining that he hadn’t visited the institute in quite some time. His health, while exceptional for a septuagenarian with ALS, wasn’t up to the travel.

Was his work especially relevant to mine? Only because of its relevance to everyone who does gravitational physics. The universality of singularities in general relativity, black hole thermodynamics and Hawking radiation, these sharpened the questions around quantum gravity. Without his work, string theory wouldn’t have tried to answer the questions Hawking posed, and it wouldn’t have become the field it is today.

Hawking was unique, though, not necessarily because of his work, but because of his recognizability. Those visitors to Perimeter were a cross-section of the Canadian public. Some of them didn’t know the name of the speaker for the lecture they came to see. Some, arriving after reading Lee Smolin’s book, could only refer to him as “that older fellow who thinks about quantum gravity”. But Hawking? They knew Hawking. Without exception, they knew Hawking.

Who was the last physicist the public knew, like that? Feynman, at the height of his popularity, might have been close. You’d have to go back to Einstein to find someone who was really solidly known like that, who you could mention in homes across the world and expect recognition. And who else has that kind of status? Bohr might have it in Denmark. Go further back, and you’ll find people know Newton, they know Gaileo.

Einstein changed our picture of space and time irrevocably. Newton invented physics as we know it. Galileo and Copernicus pointed up to the sky and shouted that the Earth moves!

Hawking asked questions. He told us what did and didn’t make sense, he showed what we had to take into account. He laid the rules of engagement, and the rest of quantum gravity came and asked alongside him.

We live in an age of questions now. We’re starting to glimpse the answers, we have candidates and frameworks and tools, and if we’re feeling very optimistic we might already be sitting on a theory of everything. But we haven’t turned that corner yet, from asking questions to changing the world.

These ages don’t usually get a household name. Normally, you need an Einstein, a Newton, a Galileo, you need to shake the foundations of the world.

Somehow, Hawking gave us one anyway. Somehow, in our age of questions, we put a face in everyone’s mind, a figure huddled in a wheelchair with a snarky, computer-generated voice. Somehow Hawking reached out and reminded the world that there were people out there asking, that there was a big beautiful puzzle that our field was trying to solve.

Deep down, I’m not sure we deserved that. I hope we deserve it soon.

# 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.

# Epistemology, Not Metaphysics, Justifies Experiments

While I was visiting the IAS a few weeks back, they had a workshop on Quantum Information and Black Holes. I didn’t see many of the talks, but I did get to see Leonard Susskind talk about his new slogan, GR=QM.

For some time now, researchers have been uncovering deep connections between gravity and quantum mechanics. Juan Maldacena jump-started the field with the discovery of AdS/CFT, showing that theories that describe gravity in a particular curved space (Anti-de Sitter, or AdS) are equivalent to non-gravity quantum theories describing the boundary of that space (specifically, Conformal Field Theories, or CFTs). The two theories contain the same information and, with the right “dictionary”, describe the same physics: in our field’s vernacular, they’re dual. Since then, physicists have found broader similarities, situations where properties of quantum mechanics, like entanglement, are closely linked to properties of gravity theories. Maldacena’s ER=EPR may be the most publicized of these, a conjectured equivalence between Einstein-Rosen bridges (colloquially known as wormholes) and entangled pairs of particles (famously characterized by Einstein, Podolsky, and Rosen).

GR=QM is clearly a riff on ER=EPR, but Susskind is making a more radical claim. Based on these developments, including his own work on quantum complexity, Susskind is arguing that the right kind of quantum mechanical system automatically gives rise to quantum gravity. What’s more, he claims that these systems will be available, using quantum computers, within roughly a decade. Within ten years or so, we’ll be able to do quantum gravity experiments.

That sounds ridiculous, until you realize he’s talking about dual theories. What he’s imagining is not an experiment at the absurdly high energies necessary to test quantum gravity, but rather a low-energy quantum mechanics experiment that is equivalent, by something like AdS/CFT, to a quantum gravity experiment.

Most people would think of that as a simulation, not an actual test of quantum gravity. Susskind, though, spends quite a bit of time defending the claim that it really is gravity, that literally GR=QM. His description of clever experiments and overarching physical principles is aimed at piling on evidence for that particular claim.

What do I think? I don’t think it matters much.

The claim Susskind is making is one of metaphysics: the philosophy of which things do and do not “really” exist. Unlike many physicists, I think metaphysics is worth discussing, that there are philosophers who make real progress with it.

But ultimately, Susskind is proposing a set of experiments. And what justifies experiments isn’t metaphysics, it’s epistemology: not what’s “really there”, but what we can learn.

What can we learn from the sorts of experiments Susskind is proposing?

Let’s get this out of the way first: we can’t learn which theory describes quantum gravity in our own world.

That’s because every one of these experiments relies on setting up a quantum system with particular properties. Every time, you’re choosing the “boundary theory”, the quantum mechanical side of GR=QM. Either you choose a theory with a known gravity partner, and you know how the inside should behave, or you choose a theory with an unknown partner. Either way, you have no reason to expect the gravity side to resemble the world we live in.

Plenty of people would get suspicious of Susskind here, and accuse him of trying to mislead people. They’re imagining headlines, “Experiment Proves String Theory”, based on a system intentionally set up to have a string theory dual, a system that can’t actually tell us whether string theory describes the real world.

That’s not where I’m going with this.

The experiments that Susskind is describing can’t prove string theory. But we could still learn something from them.

For one, we could learn whether these pairs of theories really are equivalent. AdS/CFT, ER=EPR, these are conjectures. In some cases, they’re conjectures with very good evidence. But they haven’t been proven, so it’s still possible there’s a problem people overlooked. One of the nice things about experiments and simulations is that they’re very good at exposing problems that were overlooked.

For another, we could get a better idea of how gravity behaves in general. By simulating a wide range of theories, we could look for overarching traits, properties that are common to most gravitational theories. We wouldn’t be sure that those properties hold in our world…but with enough examples, we could get pretty confident. Hopefully, we’d stumble on things that gravity has to do, in order to be gravity.

Susskind is quite capable of making these kinds of arguments, vastly more so than I. So it frustrates me that every time I’ve seen him talk or write about this, he hasn’t. Instead, he keeps framing things in terms of metaphysics, whether quantum mechanics “really is” gravity, whether the experiment “really” explores a wormhole. If he wants to usher in a new age of quantum gravity experiments, not just as a buzzword but as real, useful research, then eventually he’s going to have to stop harping on metaphysics and start talking epistemology. I look forward to when that happens.