Monthly Archives: May 2015

Calculus Is About Pokemon

Occasionally, people tell me that calculus was when they really gave up on math. It’s a pity, because for me calculus was the first time math really started to become fun. After all, it’s when math introduces the Pokemon.

What Pokemon? Why, the special functions of course.

By special functions I mean things like \sin x, \cos x, e^x, and \ln x. Like Pokemon, these guys come in a bewildering variety. And in calculus, you learn that they, like Pokemon, can evolve.

x integrates into \frac{1}{2}x^2!

\frac{1}{x} integrates into \ln x!

\sin x integrates into -\cos x, and \cos x integrates into…\sin x.

Ok, the analogy isn’t perfect. Pokemon don’t evolve back into themselves. But the same things that make Pokemon so appealing are precisely why calculus was such a breath of fresh air. Suddenly, there was a grand diversity of new things, and those new things were related.

College gave me new Pokemon, in the form of the Bessel functions. Nowadays, I work with a group of functions called Polylogarithms, and they’re even more like Pokemon. Logarithms are like the baby Pokemon of the Polylogarithms, integrating into Dilogarithms. Dilogarithms integrate into Trilogarithms, and so on.

062poliwrath

Polylogarithms, in turn, evolve into Poliwrath

To this day, the talks I enjoy the most are those that show me new special functions, or new relations between old ones. If a talk shows me a new use of multiple zeta values, or new types of Polylogarithm, it’s not just teaching me new physics or mathematics: it’s expanding my Pokemon collection.

Got Branes on the Brain?

You’ve probably heard it said that string theory contains two types of strings: open, and closed. Closed strings are closed loops, like rubber bands. They give rise to gravity, and in superstring theories to supergravity. Open strings have loose ends, like a rubber band cut in half. They give us Yang-Mills forces, and super Yang-Mills for superstrings.

String theory has more than just strings, though. It also has branes.

Branes, short for membranes, are objects like strings but in other dimensions. The simplest to imagine is a two-dimensional membrane, like a sheet of paper. A three-dimensional membrane would fill all of 3D space, like an infinite cube of jello. Higher dimensional membranes also exist, up to string theory’s limit of nine spatial dimensions.

But you can keep imagining them as sheets of paper if you’d like.

So where did these branes come from? Why doesn’t string theory just have strings?

You might think we’re just trying to be as general as possible, including every possible dimension of object. Strangely enough, this isn’t actually what’s going on! As it turns out, branes can be in lower dimensions too: there are zero-dimensional branes that behave like particles, and one-dimensional branes that are similar to, but crucially not the same thing as, the strings we started out with! If we were just trying to get an object for every dimension we wouldn’t need one-dimensional branes, we’d already have strings!

(By the way, there are also “-1” dimensional branes, but that’s a somewhat more advanced topic.)

Instead, branes come from some strange properties of open strings.

I told you that the ends of open strings are “loose”, but that’s just loose language on my part. Mathematically, there are two options: the ends can be free to wander, or they can be fixed in place. If they’re free, they can move wherever they like with no resistance. If they’re fixed, any attempt to move them will just set them vibrating.

The thing is, you choose between these two options not just once, but once per dimension. You could have the end of the string free to move in two dimensions, but fixed in another, like a magnet was sticking it to some sort of 2D surface…like a brane.

Brane-worlds are dangerous places to live.

In mathematics, the fixed dimensions of end of the string are said to have Dirichlet boundary conditions, which is why this type of branes are called Dirichlet branes, or D-branes. In general, D-branes are things strings can end on. That’s why you can have D1-branes, that despite their string-like shape are different from actual strings: rather, they’re things strings can end on.

You might wonder whether we really need these things. Sure, they’re allowed mathematically, but is that really a good enough reason?

As it turns out, D-branes are not merely allowed in string theory, they are required, due to something called T-duality. I’ve talked about dualities before: they’re relationships between different theories that secretly compute the same thing. T-duality was one of the first-discovered dualities in string theory, and it involves relationships between strings wrapped around circular dimensions.

If a dimension is circular, then closed strings can either move around the circle, or wrap around it instead. As it turns out, a string moving around a small circle has the same energy as a string wrapped around a big circle, where here “small” and “big” are comparisons to the length of the string. It’s not just the energy, though: for every physical quantity, the two descriptions (big circle with strings traveling along it, small circle with strings wrapped around it) give the same answer: the two theories are dual.

If it works with closed strings, what about open strings?

Here something weird happens: if you perform the T-duality operation (switch between the small circle and the big one), then the ends of open strings switch from being free to being fixed! This means that even if we start out with no D-branes at all, our theory was equivalent to one with D-branes all along! No matter what we do, we can’t write down a theory that doesn’t have D-branes!

As it turns out, we could have seen this coming even without string theory, just by looking at (super)gravity.

Long before people saw astrophysical evidence for black holes, before they even figured out that stars could collapse, they worked out the black hole solution in general relativity. Without knowing anything about the sort of matter that could form a black hole, they could nevertheless calculate what space-time would look like around one.

In ten dimensional supergravity, you can do these same sorts of calculations. Instead of getting black holes, though, you get black branes. Rather than showing what space-time looks like around a high-mass point, they showed what it would look like around a higher dimensional, membrane-shaped object. And miraculously, they corresponded exactly to the D-branes that are supposed to be part of string theory!

So if we want string theory, or even supergravity, we’re stuck with D-branes. It’s a good thing we are, too, because D-branes are very useful. In the past, I’ve talked about how most of the fundamental forces of nature have multiple types of charge. One way for string theory to reproduce these multiple types of charge is with D-branes. If each open string is connected to two D-branes, it can behave like gluons, carrying a pair of charges. Since each end of the string is stuck to its respective brane, the charge corresponding to each brane must be conserved, just like charges in the real world.

D-branes aren’t one of the original assumptions of string theory, but they’re a large part of what makes string theory tick. M theory, string theory’s big brother, doesn’t have strings at all: just two- and five-dimensional branes. So be grateful for branes: they make the world a much more interesting place.

Science Never Forgets

I’ll just be doing a short post this week, I’ve been busy at a workshop on Flux Tubes here at Perimeter.

If you’ve ever heard someone tell the history of string theory, you’ve probably heard that it was first proposed not as a quantum theory of gravity, but as a way to describe the strong nuclear force. Colliders of the time had discovered particles, called mesons, that seemed to have a key role in the strong nuclear force that held protons and neutrons together. These mesons had an unusual property: the faster they spun, the higher their mass, following a very simple and regular pattern known as a Regge trajectory. Researchers found that they could predict this kind of behavior if, rather than particles, these mesons were short lengths of “string”, and with this discovery they invented string theory.

As it turned out, these early researchers were wrong. Mesons are not lengths of string, rather, they are pairs of quarks. The discovery of quarks explained how the strong force acted on protons and neutrons, each made of three quarks, and it also explained why mesons acted a bit like strings: in each meson, the two quarks are linked by a flux tube, a roughly cylindrical area filled with the gluons that carry the strong nuclear force. So rather than strings, mesons turned out to be more like bolas.

Leonin sold separately.

If you’ve heard this story before, you probably think it’s ancient history. We know about quarks and gluons now, and string theory has moved on to bigger and better things. You might be surprised to hear that at this week’s workshop, several presenters have been talking about modeling flux tubes between quarks in terms of string theory!

The thing is, science never forgets a good idea. String theory was superseded by quarks in describing the strong force, but it was only proposed in the first place because it matched the data fairly well. Now, with string theory-inspired techniques, people are calculating the first corrections to the string-like behavior of these flux tubes, comparing them with simulations of quarks and gluons, and finding surprisingly good agreement!

Science isn’t a linear story, where the past falls away to the shiny new theories of the future. It’s a marketplace. Some ideas are traded more widely, some less…but if a product works, even only sometimes, chances are someone out there will have a reason to buy it.

No-One Can Tell You What They Don’t Understand

On Wednesday, Amanda Peet gave a Public Lecture at Perimeter on string theory and black holes, while I and other Perimeter-folk manned the online chat. If you missed it, it’s recorded online here.

We get a lot of questions in the online chat. Some are quite insightful, some are basic, and some…well, some are kind of strange. Like the person who asked us how holography could be compatible with irrational numbers.

In physics, holography is the idea that you can encode the physics of a wider space using only information on its boundary. If you remember the 90’s or read Buzzfeed a lot, you might remember holograms: weird rainbow-colored images that looked 3d when you turned your head.

On a computer screen, they instead just look awkward.

Holograms in physics are a lot like that, but rather than a 2d image looking like a 3d object, they can be other combinations of dimensions as well. The most famous, AdS/CFT, relates a ten-dimensional space full of strings to a four-dimensional space on its boundary, where the four-dimensional space contains everybody’s favorite theory, N=4 super Yang-Mills.

So from this explanation, it’s probably not obvious what holography has to do with irrational numbers. That’s because there is no connection: holography has nothing to do with irrational numbers.

Naturally, we were all a bit confused, so one of us asked this person what they meant. They responded by asking if we knew what holograms and irrational numbers were. After all, the problem should be obvious then, right?

In this sort of situation, it’s tempting to assume you’re being trolled. In reality, though, the problem was one of the most common in science communication: people can’t tell you what they don’t understand, because they don’t understand it.

When a teacher asks “any questions?”, they’re assuming students will know what they’re missing. But a deep enough misunderstanding doesn’t show itself that way. Misunderstand things enough, and you won’t know you’re missing anything. That’s why it takes real insight to communicate science: you have to anticipate ways that people might misunderstand you.

In this situation, I thought about what associations people have with holograms. While some might remember the rainbow holograms of old, there are other famous holograms that might catch peoples’ attention.

Please state the nature of the medical emergency.

In science fiction, holograms are 3d projections, ways that computers can create objects out of thin air. The connection to a 2d image isn’t immediately apparent, but the idea that holograms are digital images is central.

Digital images are the key, here. A computer has to express everything in a finite number of bits. It can’t express an irrational number, a number with a decimal expansion that goes on to infinity, at least not without tricks. So if you think that holography is about reality being digital, rather than lower-dimensional, then the question makes perfect sense: how could a digital reality contain irrational numbers?

This is the sort of thing we have to keep in mind when communicating science. It’s easy to misunderstand, to take some aspect of what someone said and read it through a different lens. We have to think about how others will read our words, we have to be willing to poke and prod until we root out the source of the confusion. Because nobody is just going to tell us what they don’t get.