The Joy of Why - Untangling Why Knots Are Important

Episode Date: April 6, 2022

Everyone knows what a knot is. But they have special significance in math and science because their properties can help unlock hidden secrets like the biochemistry of DNA or the geometry of three-dimensional spaces. In this episode, Steven Strogatz explores the mysteries of knots with the mathematicians Colin Adams and Lisa Piccirillo.

Hello, I'm Brian Cox. I'm Robin Ince, and this is the Infinite Monkey Cage trailer for our brand new series. We've got mummies, we've got magic, we've got asteroids. Mummies, magic and asteroids. What's the link? That it was an asteroid that magically went over the world that led to Imhotep the mummy coming back to life? That's correct. I thought it would be weird, scientific as ever. But the most important thing to know is that we are going to deal with the biggest scientific question we finally ask.

What is better, cats or dogs? Listen wherever you get your podcasts. I'm Steve Strogatz, and this is The Joy of Why. A podcast from Quantum Magazine that takes you into some of the biggest unanswered questions in science and math today. In this episode, we're going to be talking about knots. We all know what knots are, right? They're like the kind of knots that you tie in your shoelaces or the kind that you use to secure your luggage to the top of your car.

If you take a string, which has two free ends, and tie a knot in it, that kind of a knot can come undone. Sometimes the free ends will slip loose and the knot will just unravel. But if you fuse the ends together, sort of glue them together, then the knot will be locked in there, trapped in the loop. Then the question becomes, can you somehow remove that knot in the loop without cutting the string by just cleverly manipulating the loop somehow or wiggling it, well, if you can, that's not much of a knot at all.

That's just a circle, something equivalent to a simple loop, or what mathematicians dismiss as the trivial knot. But if you can't undo it, well, then that raises all sorts of questions, like how far can you simplify a tangled loop? How do mathematicians distinguish different types of knots? How many different kinds of knots are there? And why do mathematicians and scientists care about knots anyway? Turns out there's lots of real-world applications for this branch of math, now called knot theory. It started out with the mystery of the chemical elements

about 150 years ago, which were at the time thought to be different kinds of knots tied in the ether. Nowadays, knot theory is helping us understand how enzymes can disentangle strands of linked DNA. And also, knot theory has potential in basic research to create new kinds of medicines, including some chemotherapy drugs. But in math itself, knot theory is helping mathematicians work out the riddles of higher-dimensional spaces. Joining me now to help unravel some of the mysteries around knots is Colin Adams. He's the Thomas T. Reid Professor of Mathematics at Williams College and one of the managing

editors of the Journal of Knot Theory and its Ramifications. Adams also wrote the comic book, Why Knot? Later on, we'll be speaking with Lisa Piccirillo. She's an assistant professor of math at MIT, and she recently solved a longstanding math puzzle about a knot called the Conway Knot, actually when she was a graduate student. Colin Adams, thank you so much for joining us today. Oh, it's really fun to be here. Thanks very much for inviting me. Well, it's a real treat for me, Colin. I mean, I'm a big fan of your work. I love your

books about knots. I've learned so much from them. So, you know, okay, so I tried to give a quick introduction to knots and knot theory, but I'd love to hear how you would explain them to someone who's never heard of them or thought of them outside of tying their shoelaces? Yeah, I mean, it's one of the great advantages of being in this field in mathematics is, you know, usually if you sit next to somebody on a plane and they say, what do you do? And you're a mathematician, you're going to have a very hard time explaining to them what you do. But I have this huge advantage that I can take my shoelace and I can take it off my

shoe and I can pull it up and I can say, OK, I can tie a knot in this shoe lace and then glue the two loose ends together and then I can try to study that object and decide, is it really knotted as you were describing, Steve? Is it really knotted or is it not? Could you disentangle it without cutting it open? And it turns out this is a very hard problem. I mean, you can imagine you have somebody gives you a tangled up mess of string with the two loose ends glued together and they ask you the question, can you disentangle it? And you spend the next six years trying to disentangle it.

And after six years, you have not succeeded, but you still don't know that five more minutes of work might do the trick, right? So you'd really love to have some techniques, some mathematical techniques that will allow you to determine whether or not you're going to ever succeed. So knots are all around us. Can you give us some other examples where they pop up in the real world? Yeah. So, I mean, knots have been around for a very long time. In terms of actually usefulness, in terms of science, the one example that you gave, which is a really good example, is the example of DNA, where DNA is inside the nucleus of a cell, and it's all packed in there. People have described it as putting 100 kilometers of fishing line in a basketball.

And so it's this huge mess in there. And yet it has to be able to do transcription, recombination. It has to be able to create copies of itself that can then be separated off of itself. And it turns out that that requires these enzymes, as you mentioned, these enzymes inside the nucleus of the cell that will allow the enzyme to take two strands of DNA, pull one up right next to the other, cut the one open, push the other one through, and then close it up again to make what's called a knot theory of crossing change. And this is going on inside us all the time, that these enzymes are actually doing that to the DNA. And if you stop the enzymes from doing that, that will prevent the DNA from recreating itself, which is in fact

the reason why this is now in use in chemotherapy, that there are these chemotherapy drugs that prevent the enzymes from acting on the DNA and changing the knotting and unknotting. So that's an example of how knots appear in DNA. Another example that I think is a very interesting one is for synthetic chemistry. So in synthetic chemistry you're trying to synthesize new molecules. And imagine you have a molecule made up of a set of atoms all bonded together and it forms a cycle. And so that would be an example of a trivial knot that is actually on the molecular level. Now imagine taking that trivial knot, cutting it open, tying a knot on the molecular level. Now imagine taking that trivial knot, cutting

it open, tying a knot on the molecular level, and then gluing the two loose ends together. And once you've done that, you have the same constituent atoms bonded in exactly the same order, only now you have a new substance, a knotted substance, whereas the previous substance was unknotted. So for each kind of knot that you can have, of which there are an unlimited number, but even for small crossing number, millions and millions, each one of those knots can now become a new substance. So the synthetic chemists are just salivating over this idea, and they're working very hard to try to come up with ways to knot on the molecular level.

It sort of reminds me of being in undergraduate. I was taking an organic chemistry course during a time when my parents had put the heat on me to be a pre-med. And so I was taking Orgo like every other pre-med. And I remember being really fascinated, as someone who likes math, that our professor talked about just what you described. But at that time, it was only hypothetical. They didn't know how to knot or link molecules synthetically at the time. But he said it was interesting hypothetical. They didn't know how to knot or link molecules synthetically at the time, but he said it was interesting to think about. You could take exactly, as you say, you know, combinations of, could be a polymer with hydrogens and carbons, and they could keep exactly the same atoms in the same arrangements, each with the same neighbors as before,

but you could make an isomer that was a topological isomer because it had a knot tied in it. But, you know, like, would that have different chemical properties or not? Yeah. And the expectation is, in general, the answer is yes, that it should have different properties. And, you know, you could have one that's acting like an oil and the other one is acting completely differently. And so it's interesting. The Navy actually funded a lot of research on this, and it really came about because they were very interested in coming up with new substances that they could coat their submarines with so as to avoid radar. So it's kind of interesting that that's where a lot of the money came from. No kidding.

In order to study this, yeah. As like a kind of stealth technology. Wow, topology in the service of stealth. I hadn't heard about that. That's cool. We're starting to see why people in fields like chemistry or the military or doctors working with chemotherapy drugs would care about these kinds of issues of knots. But why are they so interesting mathematically? topology. Topology being this area of mathematics where you treat objects as if they're made of rubber. So for instance, you can have a sphere, which you consider equivalent to a cube because you could just pull the six corners out and transform a sphere into a cube without cutting or pasting. And you consider a donut, the surface of a donut, a torus equivalent, the famous example is equivalent to a coffee cup, because you could deform the surface of a coffee cup, kind of push up from the bottom, and deform it until it looked like the surface of a donut.

So those are considered the same. So topology is this very broad area of mathematics. Knot theory is actually a subfield of that, because again, we're treating these knots as sitting in space, but they're treated as if they are actually rubber knots and you're allowed to deform them. And so in understanding questions about knot theory, you're actually asking questions that are particular questions that also can be generalized to questions about topology. So this is a really interesting distinction, an important one, that you're making this idea of the knots that mathematicians like to think about are of this kind of idealized rubbery nature where they can be twisted and bent and deformed and stretched as much as we want. And actually, you know, like in the real world when people think about knots, say the knot in your shoelaces, there's other aspects that mathematicians tend to

ignore, like real knots often rely on friction. So maybe you should tell us everything that you're going to leave out in thinking about knots as a mathematician. Yeah, no, that's a great question. Yeah, knots are funny when you're thinking about them as a mathematician. So for instance, one of the things you're thinking about is you're thinking that your knot is infinitely thin. You're thinking of it as a circle that has been cut open and tied in a knot, but that circle has a thickness of one point. So it's a very skinny, thin thing that you're actually considering when you consider knot theory. And then, as we said before, you're going to cut it open, tie a knot in it, and glue the ends together. And then you're allowed to deform it any way you want, but you're not allowed to have it pass through itself at any time. That's one of the rules that we're using. We have some other

rules that are less obvious, like you can't tie a knot in it and then tighten it up so it becomes smaller and smaller and smaller until it just becomes as you can on your shoelace. Get a little knot on your shoelace. You're not allowed to do that in knot theory, and one of the ways you avoid that is you talk about it being what's called piecewise linear. So you can imagine all of your knots are actually made from a bunch of little sticks that are glued end to end to make your knot. And you're not allowed to increase the number of sticks without bound. You have to keep the number of sticks to a finite number at all times. And that avoids this issue of having smaller and smaller knots within your knotted circle.

So those are a couple of the conditions that we have to put on knots in order to talk about them mathematically. Like what kinds of things in math are being learned by studying knot theory? So what I'm looking for here is what is it telling us about spaces or about algebra? What are the connections within math that one gets by thinking about knot theory? The most basic question somebody might ask you in knot theory is they hand you a tangled up mess with the ends glued together and they say, can this be disentangled without cutting it open? Is this the trivial knot? So you'd like to be able to tell whether or not a knot is the trivial knot. More generally, somebody hands you two knots, and you'd like to be able to tell, are they the same knot? Are they the same knot, or are they different knots? And so this is, again, another one of the

fundamental questions. One of the problems that people have been working on since the 1880s is the tabulation of all of the knots, where you try to make a table of all the knots up to some level of complexity. In tabulating knots, we tabulate them by keeping track of the number of crossings and trying to determine how many knots have a certain number of crossings. And by crossings, I mean that if you take a picture of your knot and you look at that picture,

there are going to be places where the knot crosses over itself or under itself. And those are our places that we call crossings. And so we can figure out how many knots there are going to be places where the knot crosses over itself or under itself, and those are our places that we call crossings. And so we can figure out how many knots there are that have three crossings, and there's only one called the trefoil knot. The trivial knot is the only knot with zero crossings. And then you can have, there's one four-crossing knot, there are two five-crossing knots, there's three six-crossing knots,

seven seven-crossing knots, and you can go up from there. And up to now, so far, we've tabulated all the possible knots up to 19 crossings, and there's over 300 million of those knots up to 19 crossings. And so this is one of the things that people do, is they try to figure out what are the possibilities, and in particular, given two of those, how do you decide if they're the same or not? Now, in order to do that, you create these quantities called invariants. And invariants are just quantities that you can associate to a picture of a knot, and if two different pictures represent the same knot, they should have the same quantity associated with them.

That quantity can be a number, it can be a group if you're in algebra, it could be some other kind of an object from mathematics. But it's a way of distinguishing between knots. And so, for instance, one of the areas that I've worked on since I got my PhD was on hyperbolic volume of knots, which turns out to be a very powerful way to distinguish knots. And the reason I mention that one is because, Steve, as you were asking before, how does knot theory tie into other areas of mathematics? And the hyperbolic volume of a knot actually comes out of hyperbolic geometry. So this is a geometric invariant. And even though knots themselves are objects that can be deformed, and I think of them as being made of rubber.

I use the term topological because they're rubber. They're deformed easily. of rubber. I use the term topological because they're rubber, they're deformed easily. But it turns out that when you try to figure out the hyperbolic volume, it is a unique number that is associated to a knot that's hyperbolic. So for instance, the knot that has four crossings has a hyperbolic volume of 2.0298 dot dot dot out to arbitrarily many decimal places. And you can use that number to distinguish between the knots. But in order to understand that area of knot theory, you need to understand geometry.

You need to understand algebra because the group that's associated to a knot, which is called the fundamental group, actually is realized as a set of isometries of hyperbolic space, isometries being maps that preserve distances. And so you need to understand algebra, you need to understand some analysis, you need to understand some geometry. So it brings together a whole lot of different fields of mathematics, all with the purpose of understanding knots. So invariant might not be the most common word in ordinary English, but

we could think of it almost like a signature or a fingerprint or something. And there's a very famous example, actually, which is kind of an interesting story. Back in the 1890s, there was a mathematician at what was then called Nebraska State University named C.N. Little, and he was trying to tabulate all the knots of 10 crossings. And he made this list, and he made a list of 166 knots of 10 crossings. And he made this list, and he made a list of 166 knots of 10 crossings. And then that list existed until 1975, I think it was. And in 1975, there was an amateur mathematician from New York, a lawyer from New York named Ken Perko, and he was looking down the table of knots, and many of the knots had been distinguished using an invariant called the Alexander polynomial. And he noticed two of the knots had the same Alexander polynomial. So he made the one knot out of string, he rearranged it, and it turned out to be the

same as the other knot. And so it turned out that table had been wrong for 75 years. And then in fact, those two knots were the same knot. And that pair of knots is still known as the Perco pair, even though it's actually only one knot, but in the tables they're called the Perco pair. I love that example of the Perco pair. I mean, that exactly summarizes what is so delicate and fascinating about the mathematical aspect of this subject.

That, as you say, this example could have been hit, just sort of lurking there in the table 70 years. Who knows how many eyes had looked at these and thought, yeah, that knot looks different from that knot. They both have 10 crossings but I can't see any way to make them the same. So nobody thought about it. When you mentioned earlier that knot theory is related to all kinds of deep questions in geometry and topology, I think it's probably a good time for us to now start talking about the space that surrounds the knot, right? I mean, knot theory is not just about the loop, but it's a loop sitting in three-dimensional space. Or in some cases, knot theorists find it helpful to think about things that are knotted in four-dimensional space.

So let's talk about some of that. Yeah, no, so it's kind of a fundamental question. Initially in knot theory, everybody was thinking about knots living in three-dimensional space because that's the natural space that we all live in. But you can also think about knotted spheres in four-space, knotted three-dimensional spheres in five-space, knotted four-dimensional spheres in six space. And so you can go up dimension, dimension, dimension. You can also think about knotted circles in four space. And that's a really interesting category. So for knotted circles in four space, it turns out that every knotted circle in four space can be unknotted. And so every knot is a trivial knot

once you go up to four space. I'll take a knotted two sphere in four space rather than unknotted. And so every knot is a trivial knot once you go up to four space. I'll take a knotted two sphere in four space rather than a knotted circle in four space, because all of knot theory kind of disintegrates when you go up to four dimensions because of the fact that every knot can be disentangled in four space. This idea that knots can untie themselves in four dimensions, I think it's so fascinating. And if we could give people some intuition about it, I think that they'll find it very memorable and use it as like a little cocktail party trick. So first of all, maybe you should say, we know how to think about three dimensions of space, but how are you going to think, because we can't really picture a fourth spatial dimension. What is your fourth dimension going to be in this intuitive argument?

Yeah. So a model that I really like for describing four-dimensional space is I use what's called a color model. And so if you think about the color spectrum, you know, red, orange, yellow, green, blue, indigo, I can imagine making four-space out of a collection of three-dimensional slices of four space, each of which has a different color. And it's going to be a continuum of colors. So it's going to go red will be one slice, and then a little more reddish orange,

and then a little more reddish orange, going over to orange, and I'll have this continuum of slices, each slice having a unique color. And this is an advantageous way to think about four space, because you're not using time as your fourth dimension. So you can actually move around in this space. Imagine what it would be like to live in this space.

So it's a really nice model for four space. Now, I want to ask the question, can I show that a knot can actually be unknotted in four space? And so I can imagine taking my knot in the green slice of four space. And so this is a three-dimensional green slice of four space. And I've got my knot sitting there. And then what I'm going to do is I'm going to push just a little bit of my knot into the neighboring yellow color. So it's going to become kind of a greenish yellow. But in my three-dimensional green space, I won't see that part anymore. It doesn't exist in the green three space. That little part only exists in the neighboring colors that are nearby.

And so in my green space, I now see a knot that's been cut open, and I can disentangle it. And so I can disentangle it there, and then I now have my knot in four-space, and it's completely disentangled. So in that sense, there are no non-trivial knots in four-space. All right. There's no knotted loops in two-space because there's not enough room in the plane.

And there are no knots in four-dimensional space because there's too much room. They can just trivially untie themselves by blushing when they need to cross through themselves by changing their color at that crossing point. So it's this fantastic thing where if you go up by two dimensions, like a loop is a one-dimensional thing, like a one-dimensional thread, you could say where you are on the thread by just giving one number how far you are along the thread as you go around in like one lap around. So you've got this one-dimensional thing sitting in three-dimensional space, and that's where knotting happens. But we can jack the whole thing up by one in both. We could now go up to a two-dimensional object like the surface of a sphere,

but let it live in four dimensions. So again, something two dimensions higher. And you're telling me that I can take a sphere and tie a knot in it if it lives in a four-dimensional space. Yeah, and so as an example, let's see if I can explain, give an example of how you might do that. Let's go back to the color model. And so in the color model, remember we had these three-dimensional slices, each a different

color. And I'm going to try to create a knotted sphere, okay? And here's how I'm going to do it. I'm going to take a trefoil knot, which is just that knot with three crossings. I'm going to make a red one, and then I'm going to, right next to it, I'm going to have a reddish-orange one

and an orange one, and in all the continuum, I'm going to have all of these trefoil knots, okay? So in each three-dimensional slice of four space, I'm going to have one of these trefoil knots, but I'm going to make the ones as I get out towards the left end of the spectrum, the red end of the spectrum, I'm going to make them get a little bit smaller and smaller and smaller. And when I go out the other end towards the indigo end, I'm going to make them get smaller and smaller and smaller until when I get

to indigo, it's just a point. And when I get to red, it's just a point. Okay. And that object, believe it or not, is actually a sphere because you can cut up a sphere by starting at one end at a point and then slice it and you get a small circle and then a bigger circle and a bigger circle until you get to the middle point, which is the biggest circle, and then the circles shrink down to a point. Only now, this time, all of those circles are knotted. Oh my God, you're my hero.

I have lived a long time thinking about knots, and I never understood how you could have a knotted sphere in four dimensions. But let me try to say what you just said. I think I got it. This is cool. So you're going to take a trefoil knot. That's our little knot with three crossings. It looks like a clover leaf, kind of, except it's a three-leaf clover, but ignore that. So I got this trefoil knot, and you imagine a rainbow collection of clover leaves going from red at one end to indigo at the other end. I've got this whole spectrum or whole rainbow of trefoils sitting next to each other. And then you say at either end, shrink them down so that at the very ends, the red one

is just really kind of almost a point and the indigo one is a point. And now I have something that you say reminds you of if you looked at the globe, an ordinary sphere, and started doing slices from the North Pole all the way to the South Pole, taking slices along lines of latitude, that I would start by just clipping off the north pole, that's a point. Then as I go down, I get bigger and bigger latitudinal circles. Then I reach the equator, I get a big circle. Then my circles start getting smaller again, and then they shrink to a point.

So a sphere is made up of these, a point followed by increasing circles, followed by shrinking circles, followed by a point. And you just did that with the trefoil knot, except that it happens that it's got knots in it. But you're saying somehow we don't see that. It's still a sphere worth of trefoils. Whoa. I love what you've just explained about thinking about knotted spheres in four dimensions. thinking about knotted spheres in four dimensions, because one of the things I want to talk about with my next guest, with Lisa Piccirillo, is work that she did on whether a certain kind of knot

with 11 crossings called the Conway knot is slice, which was a very famous long-standing problem in knot theory. I mean, how should I think about slice? Yeah, so slice comes back to this fact that I mentioned, which is every knot in four space is trivial. And in other words, every knot in four space can be deformed to the trivial knot. And once you deform it to the trivial knot, you could actually deform it into a plane, a two-dimensional plane in four space. And that two-dimensional plane bounds a disc. Okay, so that knot bounds a disc and when you first look at the knot before you've deformed it to look like

just the trivial knot sitting in a plane, it could be really messy, ugly thing sitting in space and you can't even tell that it actually is trivial, but we know it is. And therefore there is this disc that is just bent way out of shape and it looks really ugly and it's really awful, but it's there. So every single knot has to bound a disc in four-dimensional space.

And the question is, how nice is the disc? And this is really what comes about when you talk about sliceness. So in particular, you might ask the question, for a given knot, is it smoothly smoothly sliced and what that means is does it bound a smooth disc and a smooth disc means that it's just really nice no kinks in it anywhere it's very smooth it has all of the derivatives exist which is the way you formally say that there aren't any kinks in it so that's a question that people have asked about various knots over time. And in particular, there is this knot called the Conway knot

that was due to John Conway when he was tabulating the knots. And I guess I didn't say this before, but John Conway, when he was in high school, he started tabulating the knots. And at that time, all they knew was the 10 crossing knots. And he figured out how to tabulate the 11 crossing knots and so he was looking at the 11 crossing knots and he stumbled across this one knot that was really difficult to decide whether or not it was smoothly sliced or not and so he had this very difficult knot to deal with and what made it difficult was that it was what's called a mutant of another knot called the

Kinoshita-Terasaka knot, a very well-known knot. And he needed to figure out whether or not this particular knot, this new knot that was a mutant of the other knot, was smoothly sliced. And the Kinoshita-Terasaka knot is smoothly sliced. And interestingly enough, those two knots actually appear on the north gate and the south gate of the Mathematics Institute in Cambridge because they were such famous knots. People were so intrigued by these two knots. And so he put out this problem and he asked this question.

And when he asked this question, this would have been in 1970 or so, 74 maybe. And so it was a good 50 years ago that he asked this question. Is this knot smoothly sliced? Does this not bound a disc in forespace that is this beautiful, smooth, smooth surface? And that question remained open for 50 years. Wow. So Colin, this has been absolutely wonderful. Thank you so much for spending time with us. I really feel like you taught us a lot. Oh, thanks, Steve. It was really a lot of fun to talk to you. Want to know what's happening at the frontiers of math, physics, computer science, and biology? Get entangled with Quantum Magazine, an editorially independent publication supported by the Simons Foundation.

Our mission is to illuminate basic science and math research through public service journalism. Visit us at quantummagazine.org. So we've just heard a lot about knots and some of their uses from Colin Adams. Let's talk now with someone who solved a 50-year-old problem about something called the Conway knot. My next guest, Lisa Piccirillo, did this on her own time as a graduate student, and she cracked it in about a week of intense work. Lisa Piccirillo is now an assistant professor of mathematics at MIT, where she specializes in the study of three- and four-dimensional spaces.

Thank you so much for joining us today, Lisa. Thanks for having me. I'm really excited about this. This is a great treat. Your story got a lot of press over the years. It's a sensational discovery that you made and a really slick proof, beautiful argument. And I guess I'd love it if you could tell it as a story. Like my understanding is you were at somebody's – was it a birthday conference or something when you first became aware of the question? Yeah, that's right. I was at Bob Gomp's birthday conference at UT Austin.

And it was like the end of the day on Saturday. I'd been to quite a few talks. And somebody was giving a talk on something a bit adjacent to what I do. quite a few talks. And somebody was giving a talk on something a bit adjacent to what I do. But early on, you know, she was trying to convince people that her work is hard and there's lots of hard problems here. And she put up this slide and she said, for example, we still don't even know if this 11 crossing knot is slice. And I know a bit about the field, but I don't work in it too carefully. But, you know, there are tools. This is a mature field, I just thought, come on, like, what do you mean, we don't know that that 11 crossing 9 is, is not slice. And I guess I thought, well, it must not be that hard. It just

means that nobody cares. So, but I thought, there are some people in my department who are interested in this sort of thing and it was close to some work I was doing. So maybe I would try to use some tools I'd been developing to do this and I'll just show like the speaker maybe and she'll say, wow, that's nice. Good job. And that would be that. So who was the speaker that you're referring to? Oh, Shelly Harvey.

She's, um, she's faculty at Rice. Okay. And're referring to? Oh, Shelley Harvey. She's faculty at Rice. Okay. And she's a topologist, I assume. That's right. And she really studies not concordance as sort of her primary interest. Huh. So Shelley gives this talk. You're sitting there.

At that point, you're how far into grad school? I was in the end of my fifth year. So I had one more year left and I was going on the job market that fall. Okay. And you mentioned that it was a Saturday. Is that the end of the conference? No, there were a couple of talks early in the morning on Sunday because the World Cup was on and they were supposed to be at a normal time, but then people made them put the talks at like 7 a.m. so that they could go to the bar at like 10 to watch the World Cup. This is it.

The true secrets of mathematicians finally being revealed. Yeah, maybe I shouldn't say that. Okay, but so you're at this event. It's a Saturday. You hear the talk. Apparently, you didn't understand the magnitude of the question at the time. No, she just said it flippantly, kind of like, yeah, we're sort of bad at non-con concordance because we can't even do this.

Maybe this would be a good time for you to tell us a little what the problem was or why is Conway's knot interesting? Yeah. So John Conway is this really legendary mathematician. He studied many things, not theory like once or twice, but had big impact on the field in any case. And he built this knot, which is now called the Conway knot, in the late 70s. And he built it to be kind of a sneaky, pathological knot. And he was interested in some more three-dimensional properties of it. But it turned out he did a good job building a sneaky knot. So it's kind of hard to deal with the Conway knot in almost all settings.

Can you tell us what's sneaky about it? Yeah, what's sneaky about it is that it has like a friend. Its friend is called the Kinoshita Terasaka knot. There'll be a quiz about that at the end. And it looks a lot like its friend, but they're not actually the same knot. But it's hard to tell that they're not the same knot because they look so similar that the ways that we try to measure when knots are different, they can't tell they're different. That's very elegant. I love that. That's a great summary, that this is the big issue in knot theory.

I mean, Colin Adams mentioned that to us when we were speaking to him, that one of the main enterprises is to figure out ways of distinguishing two knots if they're truly different. And you said that in the case of the Conway knot, the Conway knot was sort of artfully contrived to be ultimately very sneaky, a very good imposter to look a lot like this Kinoshita, what was it? Terasaka? What was it? I'm failing the quiz. Did I get that right? That's exactly right. So that's the point, though.

It's like this artful imposter. That's right. There's a word for the type of imposter it is. It's called a mutant of the Keneshita-Terasaka knot. Okay. So anyway, I mean, one thing that I've heard said about the Conway knot is that in terms of Conway's contributions, one of the things he did was people had understood or classified the knots up to 10 crossings, but all the knots with 11 crossings had not been classified apparently or listed even,

enumerated until his work. And that he found this peculiar one with 11 crossings that could, as far as a certain invariant called the Alexander polynomial, or maybe even the Conway polynomial, that Conway's knot was this fantastic imposter for a perfect circle. The Alexander polynomial couldn't tell it apart. Yeah, that's right. Even worse, maybe the circle and the Kineshi-Tatera-Sakana and the Conway knot all have the same alexander polynomial all right so you you hear about this problem from shelly at the conference and you had this feeling i forget exactly how you put it but sort of like oh come on maybe i can solve this and and show her yeah so i knew right away how i would try to show it but there's this kind of technical thing you have to do.

So I went to the conference dinner and had fun and didn't do any more math. And then on Sunday, I think maybe I didn't go watch the World Cup. And instead, I went to a cafe and I started writing down the kind of technical thing I'd need to do if I was going to show this knotwoods and slice. I don't know, I worked for a few hours and then put it away because I had sort of things I actually needed to be doing. And I just kind of kept following up on the evenings for the rest of the week, building this other knot. Maybe by midweek, I had the other knot, and then I computed something for the other knot.

But I wasn't doing this every night or staying up really late or anything. All right. So maybe we should back up a little. And I mean, because you've sketched what your strategy was, that you needed to compute a certain technical thing and that would settle the question. And then you spent the rest of the week, I guess,

computing it and everything worked more or less, which does make it sound easy, except that nobody else had been able to do it for 50 years. Well, the technical thing was not in vogue for 50 years. It's probably still not in vogue, but it was what I was into. That's maybe kind of where I had something that other people didn't have was that I studied traces. But we don't yet know what a trace is. So maybe you could try to tell us a little, what is the trace of a knot? Sure. Something topologists do all the time is they use knots to build manifolds. A manifold is a space. In fact, for me, manifolds are the whole point of math and knots are just a thing you use to get manifolds. So that's what I do with knots. I build manifolds out of them. And there's a lot of ways to build a manifold out of a knot.

knot. If you think about a knot, maybe you're thinking about it as being kind of just floating in 3D space in front of you. And what you could do is you could look at its complement. So the space around the knot, but not the knot itself. That's this kind of interesting three-dimensional thing. So that's a three-dimensional manifold associated to the knot. A trace is a four-dimensional manifold associated to the knot. And how should I tell you to think about the trace? So let me do everything a dimension down first. If you had a knot embedded in two-dimensional space, so you have a circle, maybe it looks kind of boring, that's fine. You have a circle sitting on the tabletop. Then you have some 3D space that sits below the table, all the air under there.

And what you could do is you could take a bowl and put it upside down on top of the table so that the rim of the bowl sits on your knot. And what we would call the 3D trace of that knot, which is sitting in the tabletop, would be the space below the table plus the bowl. There's the tabletop. That's the 2D space that the knot lives in. There's the space below the table plus the bowl. You know, there's the tabletop. That's the 2D space that the knot lives in. There's the air below the table. That's 3D.

And then there's like this ceramic bowl, which is also 3D, sitting over the knot. So that would be the trace of a knot that was in 2D space. That's very illuminating to hear you trying to explain this. Admittedly, it's very tough, and I want to congratulate you for doing it. But I think it's revealing that you are using these analogies a dimension down where we can picture things. Is that actually how you do this when you're working? Do you kind of go by analogies since I assume you can't really picture these four-dimensional traces? That's right. We call these analogies schematics, and all I do all day is draw schematics

because, of course, I can't draw pictures of four-dimensional space. But I think that one of the things that drew me to topology and four-dimensional topology in particular is, okay, topology is a really visual field. I really like that. And in three dimensions, sometimes we prove things by just drawing the right picture of them. And in four dimensions, that gets harder, like that ability to just literally observe the space goes away. But you can still draw these representative pictures where you lose

some but not all information. And maybe if you draw many different pictures like that, if they each lose different types of information, then the set of pictures together like actually does still let you understand your space. Maybe here's something. Let me say what it means for a knot to be sliced and then try to give you a little bit of intuition about why not all knots are sliced. And I'll use a very low dimensional example to do it. A knot is sliced if it bounds a disc in four-dimensional space. So the disc gets to go kind of into that four-dimensional foam block, but the knot has to stay on its boundary in three-space. And you can't picture that, I can't picture that,

but that's what it means. So let's try to picture what we maybe could picture, which is if we took our one-dimensional knot in the tabletop again, you know, you could find a disc that it bounds in the foam block below the table because you could just sort of think about a bowl, you know, down there in the foam, and that would be a two-dimensional disc at the knot bound. Though actually, if I could just pause for a second there, I don't want you to lose your train of thought, but when you say disc, I think most people at this point are imagining a geometrical disc. So they would have thought of the flat part of the table underneath the bowl.

But in topology, we don't care about flatness. So you would say any bowl that has that circle as its boundary, including the disc that I'm picturing. But it could be a floppy thing that's in the foam. Yeah, yeah, that's right. I forgot to even make the distinction. All of my objects are made of rubber. All right, but sorry, I interrupted you. So, and we were going to talk about zero-dimensional knots in one-dimensional space. So, a zero-dimensional knot is two points, and it lives in a line if we're letting it live in one-dimensional space. If a knot like that

were going to be sliced, what we would be asking for is a one-dimensional disk, so like an interval to have its boundary that knot. I can't build you a zero-dimensional knot that's not slice, but I can build you a zero-dimensional link that's not slice. So you're going to think about your 1D space as being like the real numbers. And let's take our first knot to be the points minus one and one, and our second knot to be the points zero and two. So our knots are kind of intertwined. Oh, that's cool. So this is already the idea of what it means to be a link in one dimension, is those two points, these pairs of points are interdigitated, where one of them is between the other two. Interdigitated is a really good

word, yes. Okay. So that one-dimensional space, we're thinking of that as being, you know, the top of some piece of paper. And what we want to find is two intervals in our piece of paper that don't intersect each other and whose boundaries are two knots. Well, you can visualize trying to do that, and I think what you're visualizing is it not going very well, right? Those two intervals would have to hit each other if you want them to. I'm picturing two chin straps. Exactly. Right?

So there's two points on a line, and each of the pairs of points has a chin strap hanging down that goes from one point to the other point, and then when I interdigitate the other chin strap, the chin straps cross each other. And that's bad. That's no good. That's bad. Yeah, that you're not allowed to have that. So I would call that link not slice because the chin straps are touching. Oh, God, this is great. Thank you. This was really helpful.

Yeah, it's sort of stunning that down there in dimension zero, you can learn something. But there we go. Sounds like we need to talk more about the Rasmussen invariant, which you didn't mention yet, and that kind of stuff. Sure. So the approach was, it was kind of in two parts. There's this, and it started with this fact that I knew, because everybody who studies traces knows this fact, which is if you have a pair of knots that have the same trace,

then they're either both slice or they're both knot slice. So the thing that was immediate in the room, because I knew this fact, was that apparently the Conway knot is weird. So I don't want to try to prove whether the Conway knot is slice or knot. What I'm going to do is build another knot that has the same trace as the Conway knot.

And I'm going to study that other knot and hopefully it won't be so weird and hard to deal with. So the thing I'm going to do is build another knot that has the same trace as the Conway knot, and I'm going to study that other knot, and hopefully it won't be so weird and hard to deal with. So the thing I went home to do was build the other knot, and that's what took, I don't know, until Thursday or something. But then on Thursday night, I have this other knot in my hands, and now I just have to show that this other knot isn't slice. And for that, well, I just used, as you mentioned, an invariant, one of these tools we use to detect properties of knots. There's a kind of common invariant for obstructing sliceness called the S invariant, which was defined by Jake Rasmussen. And that's what I used. Then it worked.

And was it the first, like you got lucky on the first try or did you try a few other invariants and they didn't work? Well, both. I knew that a lot of other invariants and they didn't work? Well, both. I knew that a lot of other invariants couldn't work. And there's many invariants which, if the knots have the same trace, then the invariants match. So since the Conway knot, in fact, I didn't check, but since Shelley seemed to believe it was hard to show the Conway knot wasn't sliced, I assumed that she had checked the invariants for the Conway knot. So I shouldn't use any that would sort of be preserved by the trace. And I had recently shown in some earlier work that the Rasmussen invariant didn't have this property of being preserved by traces.

So it was a good choice. Well, Lisa, thank you. This has been super fun and mind-blowing, honestly. And all I can say is thank you very much for sharing. Really enjoyed talking with you. Thanks. It was a pleasure to be here. Explore more science mysteries in the Quanta book Alice and Bob Meet the Wall of Fire, published by the MIT Press. Available now at amazon.comcom, BarnesandNoble.com, or your local bookstore. Also, make sure to tell your friends about the Joy of Why podcast and give us a positive review or follow where you listen. It helps people find this podcast. The Joy of Why is a podcast from Quantum Magazine, an editorially independent publication supported by the Simons Foundation.

Funding decisions by the Simons Foundation have no influence on the selection of topics, guests, or other editorial decisions in this podcast or in Quantum Magazine. The Joy of Why is produced by Susan Vallett and Polly Stryker. Our editors are John Rennie and Thomas Lin. Our theme music was composed by Richie Johnson, and I'm your host, Steve Strogatz. If you have any questions or comments for us, please email us at quanta at simonsfoundation.org. Thanks for listening. From PRX.