Sean Carroll's Mindscape: Science, Society, Philosophy, Culture, Arts, and Ideas - 214 | Antonio Padilla on Large Numbers and the Scope of the Universe

Episode Date: October 17, 2022

It's a big universe we live in, so it comes as no surprise that big numbers are needed to describe it. There are roughly 10^22 stars in the observable universe, and about 10^88 particles altogether.... But these numbers are nothing compared to some of the truly ginormous quantities that mathematicians have found to talk about, with inscrutable names like Graham's Number and TREE(3). Could such immense numbers have any meaningful relationship with the physical world? In his recent book Fantastic Numbers and Where to Find Them, theoretical physicist Antonio Padilla explores both our actual universe and the abstract world of immense numbers, and finds surprising connections between them. Support Mindscape on Patreon. Antonio (Tony) Padilla received his Ph.D. in physics from the University of Durham. He is currently a Royal Society Research Fellow in the School of Physics and Astronomy at the University of Nottingham. He is a frequent contributor to the YouTube series Sixty Symbols and Numberphile. Web page Nottingham staff page Google Scholar publications Amazon author page Twitter

Transcript
Discussion (0)
Starting point is 00:00:00 Hello, everyone. Welcome to the Mindscape Podcast. I'm your host, Sean Carroll. Sometimes when talking about cosmology, I will remind people that our universe, which is about 14 billion years old, or roughly, order of magnitude, 10 to 10 years old, right, which sounds pretty old, is nevertheless pretty young, in some sense. Our universe is just a baby compared to how old it will be. Of course, we don't know exactly how old the universe will get, but according to the leading cosmological models that we have right now, the universe will get infinitely old. There's no reason for it to ever end. And anyway, it will use up its fuel in some finite amount of time. The sun's shining, the stars are shining, galaxies are shining, but the shining won't go on forever. Stars are going to burn up their fuel in about 10 to the 15 years. So that's 100,000 times the current age of the universe. And then the last black hole will evaporate away, we think, roughly speaking,
Starting point is 00:01:00 about 10 to the 100 years from now. In other words, about a Google years from now in the original notion of the word Google before the search engine took it over. The idea of a number, 10 to the 100, was actually invented sort of almost as a joke, just as to stand in for a really big number you would never actually think to use.
Starting point is 00:01:22 Today's guest, Antonio Padilla, Tony Padilla, as he's known, thinks otherwise. And he's written a wonderful new book called Fantastic Numbers and Where to Find Them, a cosmic quest from zero to infinity, where he talks about these big numbers, Google, and of course its cousin the Google Plex, which is 10 to the power of a Google,
Starting point is 00:01:44 but then even way bigger numbers than that. Number theorists, mathematicians, theoretical computer scientists, have devised clever ways to represent these ginormously big numbers, much bigger than you can really wrap your head around in a very real sense. as Tony will point out as we talk. But what I really like about it is that Tony's day job is as a cosmologist.
Starting point is 00:02:05 He's a theoretical cosmologist. He writes similar papers to papers that I've written. He thinks about the cosmological constant and the cosmic microwave background and dark matter and dark energy and things like that. And so he finds ways to relate these ginormously big numbers
Starting point is 00:02:20 to the physical world. You might think that some of these numbers are just so big, they have no possible physical relevance. And then as soon as you say that, someone is going to find out a way to bring them down into physical relevance. And so, which raises, by the way, some interesting philosophical questions. Are these numbers even real? If you could find a number that is so big that it is impossible to contemplate any physical relevance of it,
Starting point is 00:02:46 then is that even a potentially real thing? Is that something we should include in our set of numbers? That gets too philosophical. We're not going to talk about that stuff that much. But the point is the very existence of big numbers. is not only useful to physicists, but stretches our brains in thinking about them in fun ways. And so this is going to be a fun conversation about exactly that. Let's go. Tony Padilla, welcome to the Mindscape Podcast.
Starting point is 00:03:27 Hi, Sean. How are you doing? I'm doing all right. Now, you've written a wonderful book, and we'll be talking about stuff in the book, and it's about big numbers. But you're a physicist. You're not a mathematician. You and I are very similar in the papers we've written over the years, right? There's a lot of overlap there. We've cited each other. But you use the big numbers of math as a way of talking about the universe, which I think is great. And so to get there, let's start with like some numbers that the person on the street might think are big, but the professional mathematician or cosmologist would scoff at.
Starting point is 00:04:03 Like 10 to the 10, right? That's a pretty big number. What does that mean? How do we think about exponentials and other ways of making bigger numbers? Yeah, so I mean, when you think of something like 10 to 10, obviously that's 10 multiplied by itself 10 times. So it's a one followed by 10 zero. So you see that and it clearly looks like a huge number. But that's kind of quite this idea of sort of repeated multiplication giving you exponentiation.
Starting point is 00:04:32 It's just a first in a whole chain of ideas that you can build in mathematics. And yeah, it's just one of, it's really just the seed for something that can grow much larger. and therefore can grow much bigger numbers. Well, the famous one, of course, is the Google and then the Googleplex, and there's fun stories about how that came to be. Yeah, so of course, at Google, which obviously most people will associate with the search engine, it's spelled differently when we talk about a number. It's G-O-O-G-O-L, right, of course.
Starting point is 00:05:02 So what is the Google? It goes back to Edward Kassner, who I think those of us who work in Cosmology will know from, he has a space time named after him, right? which people have used to think about the early universe and that sort of stuff. But what Kasnan was actually doing was, Kazan was thinking about, he was writing a popular science book, which we've both done.
Starting point is 00:05:21 And he was trying to really convey the ideas about infinity and really how any finite number, no matter how big it might seem to us in our sort of day-to-day lives, is actually negligible, essentially zero compared to the infinite. So he just sort of, he came up with a big number. Well, what's a big number? A one followed by, never mind, 10 zeros that you talked about, but 100 zeros, right? So one followed by 100 zeros.
Starting point is 00:05:46 Now, no one's going to deny that's a big number, right, by any earthly measure that we use. And yet, and he wanted a name for this number. So he consulted his nephew, who was nine years old at the time. His name was Milton Sorota. And he said, well, can you come with a name for this big number? And Milton said, well, at Google, so it came from his nephew. But then the story didn't stop there, because, of course, Cassner wanted to go bigger and still talk about how even bigger numbers were sort of small compared to the infinite.
Starting point is 00:06:16 And so he came up with a new number, which was a Googleplex, which was supposed to be loads bigger than a Google, right? Right. And so again, he asked his nephew, Milton, you know, what would be a good definition for this? So Milton said, well, it should be a one followed by zeros until you get tired. which I think for somebody like Casner and any mathematician, that's a little imprecise. So he didn't go with that definition. Yeah, yeah.
Starting point is 00:06:47 So he went with a more rigorous one. So whereas a Google is a one followed by 100 zeros, a Google Plex is a one followed by a Google zero. So it's a whole new level of size that you're talking about. And this sort of develops an idea of recursion in maths, which is really powerful. So from a Googleplex, you can go to, well, what some people call a Google duplex, which is a one followed by a Googleplex zeros. And then you can go to a Google triplex, which is a one followed by a Google duplex series.
Starting point is 00:07:19 And you can see every time you do this, you'll go bigger and bigger and bigger and bigger. And that's the power of math. Yeah. No, I mean, that recursion is like basically the secret, right? Like you make a big number by some process, and then you do the process again, and the number becomes way, way bigger than you started. Yeah, recursion, repetition. That's what really gives you the calculational power to grow numbers really, really quickly. And, yeah, it's the beauty of it.
Starting point is 00:07:47 And maybe it's useful to ground us in the real world a little bit. I mean, we live in a world that is pretty big. Like, you know, there's 8 billion people on Earth almost, right? But the professional cosmologist deals with even bigger numbers, the number of galaxies or stars in the universe. but none of them are that big compared to Google. Why don't you give us some of like the size and scale of the universe and compare it to these big numbers?
Starting point is 00:08:15 Yeah, I mean, I suppose if you think about the universe, I mean, various numbers you can pluck out as things like, you know, how big is the universe? How is it size to sort of the cosmological horizon? It's just as far as we can see. Well, that's about 10 to the 26 meters. So that's, you know, one followed by 26 zeros. So that's the distance of meters to the cosmological.
Starting point is 00:08:36 homological horizon, which is what we normally think of as our universe. Other numbers, big numbers that you can think about in the context of the universe, well, it probably doesn't really get any bigger than the number of particles that exist in the universe, right? And that's 10 to the 80, which is, you know, one followed by 80 zeros. And that's already way smaller than a Google, right? So Google's one followed by 100 zeros. And so 10 to the 80s, you know, it's 20 orders of magnitude smaller.
Starting point is 00:09:05 So one of the things I talk about in the book is what could you do if you were a Google Air, if you had a Google Pound, right? You can literally buy every particle in the universe, you know, at a really inflated rate and still have plenty of money left over. Now, I might actually be misremembering this, but I thought there was 10 to the 88th particles if we're counting photons and neutrinos and so forth. Yeah, okay. That's right.
Starting point is 00:09:29 I mean, the typical estimate you're just going on varionic particles. Barionic particles. Yeah, so like 10 to the 80 protons and neutrons and stuff like that. Yeah, perfectly fair, but you know, I know I have listeners. They're going to write in. So this is good. Don't worry. I know the feeling.
Starting point is 00:09:43 And so what that makes you think, oh, let's also get on the table, Avagadro's number or like some number dealing with biology somehow just to make sure that the biologists don't have bigger numbers than the cosmologists do. Oh, well, now you're testing, Sean, because I stopped doing biology when it was about when it was about 13, so I'm not going to know. Do Avrogadroes? Is that the one that's tens of 23? It is. You got it right. And believe me, I live in fear of people asking me that too, but I had to
Starting point is 00:10:09 recently look it up. So yeah, six times ten and twenty three. Right. Yeah, exactly. And that's the number, what's that? The number of particles in a mole of gas or something like that. Yeah. Yeah. Oh, see, this is really me digging back my high school education. British education. It's pretty enough. Yeah, there's not like I've been working with in my day job, to be honest. But yeah, of course, a number of particles in a mole of gas, which is a huge number. right? But what I think that number really shows, you know, demonstrates to us is, is there is actually huge numbers lurking right beneath our nose. And it's basically because of the, you know, the hierarchy of scales that we see in nature, right? So it's on the one hand, we've got like
Starting point is 00:10:49 the scale that we, you know, of us, you know, roughly a typical human who's around, you know, between a meter and two meters tall. And that's a typical scale of our size. But then you compare it to the sort of subatomic world and all that. And even all molecules and particles and all that, that's such a much smaller scale. And that's why you can get big numbers like Avrogadjo's constant. Just coming out of quite mundane things, it's really the difference between particles and the world that we live in.
Starting point is 00:11:20 And if the universe around us only has 10 of the 88th particles in it, and so typical macroscopic human scale things have Avagos number of particles in them, isn't there like the naive guess would be you never need a number as big as a Google and 10 to the 100 is bigger than all of those numbers well yeah I mean I guess that's an interesting way of looking at it but like I said depends what you define to be our universe right I mean so on the one I mean this is the one thing I always wanted to do with with these numbers so these numbers they are in some sense beyond our universe right and so what I try to do in the book is drag them into our universe to try to get some sort of physical personality from them,
Starting point is 00:12:05 which is it's not easily done because you're absolutely right. They don't have a natural place in there. But when you try to bring them in, then you can really reveal some quite remarkable physics and remarkable ideas of physics. That's the idea. I mean, it's always been the case for me that numbers, I mean, I started studying maths at university.
Starting point is 00:12:24 And, you know, for me, there is a beauty in numbers and there's an elegance in numbers. but I've always needed a little bit more. And what I've needed is that little bit of personality. And that personality, I think, comes from physics. I'm bringing the physics into the game. So you're absolutely right. How do you drag a number like a Google or even a Googleplex into the physical world?
Starting point is 00:12:44 Well, you have to go a little bit beyond our universe or what we normally talk about our universe. And you have to start to think about maybe the universe beyond the cosmological horizon, imagine the universe that maybe is much larger. And then you can start to really start to play games with these truly gargantuanian numbers. The difference between mathematics and physics as occupations or pastimes is a fascinating one, because I do think that people who are neither one of those might think that they blur together, right? I mean, you're pushing around equations and you're trying to solve them.
Starting point is 00:13:14 But the motivations are really quite different, right? The things that get a mathematician really, really excited are very often not the things that get the physicists excited. I think that's entirely true. I think sometimes we can get sort of fed up with the pedantry. of our mathematician colleagues, right? It's like, you know, this is this, you know, like, why are you worrying about this detail? It doesn't matter.
Starting point is 00:13:35 It's not going to change the physics, right? Because, you know, we have this idea of decoupling in physics that we don't worry about little tiny, you know, microscopic details. They're not going to affect what's happening on macroscopic scales. And so we don't need to worry about your little pedantry. It's not important in the broader game scheme of things. And I think that's probably where the mathematicians and physicists differ in their approach. And it was always, I mean, I'll give you an example of what, what really was that triggered my change in my attitude to this was, was I was doing, um, it was shortly after I first went to union, I said, I did a master degree and I had this proof to do. And I wrote out the proof and I had all the arguments correct and there was no issue with it, but I got zero. I got zero for this proof and it was really frustrating. I was like, why have you given me zero? And I thought, you know, what's going on here? And it, and the, the, the, the, the, the, the, the, the, the, the, the, the, the, the, the, the, the, the, the, the, the, the, the, the, the, the. The, the, the, the. The, the, the. The, the. The, the. The. The. The. The. The. The. The. The. The
Starting point is 00:14:28 acknowledge that the proof is correct. But he didn't like where I'd put the implication signs in the layout of the proof, right? They were all on one side of the paper. And he goes, well, there's nothing on the other side of the paper. And I was like, well, this is ridiculous, right? This is a level of pedantry, which it's too much for me. And I need more from my numbers. And that's where that's where I started to look towards physics. I get from reading about it in the book that this incident really scarred you for life. You remember? Yeah, it really did. I mean, I kind of got it. I mean, well, looking back, I kind of got it, because, you know, you know, when you mark exam scripts and if things aren't laid out, well, it can be really frustrating me. But, wow, this, this I thought was a pedantry too far.
Starting point is 00:15:08 But, yeah. I mean, the way that I think about it is if you have a billion examples of some mathematical construction, and there's some property that is true for all but one of them, the mathematicians really, really care about the one where it's not true, and the physicists only care about the others where it really is true. Yeah, that's true. Although at the same time, we do focus on the things about our universe. When we think about the properties of our universe, it's the things that don't make sense that we care about. It's the things that don't add up that we care about. All the wonderful things that are just, yeah, that's how it should be. We're not going to worry about those details.
Starting point is 00:15:39 But we're drawn towards the puzzles, as is everybody, I guess. So one of the things that the mathematicians do with this attitude of being interested in the math for its own sake, rather than to describe physics, is they find ways either because that's what they want to do or because they stumble upon them in the process of their regular math, find ways to generate way bigger numbers than a Google or a Googleplex or a Google duplex, etc. So why don't you tell us just some of your favorite gigantic numbers? Because there's a lot of sort of philosophical aspects of what these numbers mean when you get
Starting point is 00:16:14 right down to it. Yeah. So do you want me to tell you a little bit about how you generate these really big numbers? Okay, cool. So there's a really, so when you really talk about big, big, big, numbers, like the kind of number like Graham's number, which was the largest number ever to appear in a mathematical proof for a long time, when you're talking about numbers like that, you can't just use our conventional mathematical language that people learn in school to describe them.
Starting point is 00:16:39 They're just too big. They're just too big. So you need to develop new ideas, right? So one of the things you can do is you can develop this sort of, there's a Donald Knuth, who believes in Stanford, is a computer scientist over there. He developed a new notation. to sort of build very, very big numbers. And it kind of uses, again,
Starting point is 00:16:59 this idea of recursion and repetition. So very simply, so if you think about, really go back to sort of fundamental level and you think about, well, what is, you know, what is multiplication? Well, when I save multiplication,
Starting point is 00:17:12 I'm really doing repeated addition. So three times four is three added to itself four times, right? That's what it is. And so, okay, so you've gone from sort of, of addition to multiplication using this idea of repetition and recursion. Now you can go one step up again. You can say, well, what is repeated multiplication? Well, we're still in the high school realm now.
Starting point is 00:17:35 We're talking about exponentiation. So, you know, when you say what is three to the four, well, that's three to the power of four, that's three times times by itself four times, right? So exponentiation is repeated multiplication. Now, at high school level, you stop at that point, right? That's enough. But the politicians don't, right? They don't.
Starting point is 00:17:56 So they carry on. And so instead of saying that three to the power of four is, instead of saying it like that, they say three arrow four. Okay, that's the notation they would use. And then they go a step further. Sorry, just to be, because we can't see in the audio podcast, this is like a little upward going arrow in this notation, right? Yeah, yeah, exactly. So you have a little outward arrow. So instead of saying three to the power of four, you say three upward arrow four.
Starting point is 00:18:20 Good. Okay. And so that just been. the same thing. Now you can go a step further. You've got repeated addition gives multiplication, repeated multiplication gives exponentiation. Well, what's repeated exponentiation? Okay, well, that's called tetration, right? And you can denote that with two arrows. So you have now three, two arrows, four, that would mean three exponentiallyated four times. So three to the three to the three to three, like that. And you can build like this. And of course, once you've got double arrows, you can
Starting point is 00:18:52 have triple arrows, which are repetitions of double arrows, and you can have quadruple arrows, which are repetitions of triple arrows, and you very quickly get very, very big numbers. So, for example, let me give an example. So three to the power of three is 27. So three arrow three is 27. What's three double arrow three? Well, that's three to the power of 27, which I think is about 7.6 billion. So already you get very big. And now you do more and these repetitions and you get really, really huge numbers. And this technique allows you to grow to very large numbers as large as Graham's number. And the rules of the game, I guess, are that we have a finite number of symbols to work with, right?
Starting point is 00:19:36 So we're trying to figure out ways to denote big numbers without just listing all the digits or whatever. That's impractical. There are not enough atoms in the universe, but we can compactly represent some of these giant. numbers and then we can ask how big we can get. So in the example we talked about, you know, that each new arrow in this notation allows you to sort of grow things much more quickly. But what you can then do is you can then start to sort of almost label the arrows themselves, the number of arrows themselves and grow the number of arrows in this hugely powerful way. And then you can keep doing that and keep doing these tricks. And again,
Starting point is 00:20:15 it's like you say, it's compactifying the notation. And, that can allow you to sort of grow very quickly. And then you always put a little label on it. And then that label then there's some idea of what you do at the next step. What do you do when you do the repetition? And then you can grow the labels. You can grow everything. Matheticians love having games with symbols and labels.
Starting point is 00:20:35 And in some sense, getting the right notation is really what gives you the mathematical power. And so what is Graham's number? So Graham's number is this extremely large number that was, that was, it came about, from the mathematician Ron Graham. He used it in a mathematical proof. He was trying to solve a problem in a branch of mathematics known as Ramsey theory.
Starting point is 00:20:59 Now, Ramsey theory very loosely, it's the idea of finding sort of order from chaos. So you have some sort of random assembly of things and you're trying to find sort of structure and cliques and some sort of order within that chaos. So, for example, if you think about the houses of parliament in the UK and you've got a whole sort of
Starting point is 00:21:17 you know, gossiping bunches, shouting, and it seems very chaotic. And everybody seems to be disagreeing. And it's just, it's chaos. But you might ask, is there some order within that chaos? And you say, well, maybe there is. Maybe there's a bunch of trade unionists, that there's a clique of trade unionists there. Within that sort of seeming chaos, there is agreement and order. And kind of intuitively, Ramsey theory is the study of that intuitively.
Starting point is 00:21:44 Now, what Ron Graham was doing, he was looking at a problem involving hypercubes, which are sort of generalizations of cubes to higher dimensions, you know, five, six, seven, eight, nine, whatever number dimensions you might be interested in. And he was looking for a particular property of these cubes, and he wanted to know how many dimensions did you have to have to guarantee that this particular mathematical property would exist, would always be guaranteed to hold. And what he showed was, was that it's, the number had to be, I think, bigger than six dimensions, but it had, it needn't, the sort of upper limit was this Graham's number, which is this truly gargantuan number that you can't write in any conventional way. You need this fancy mathematical tricks and notation to
Starting point is 00:22:32 write it. Now, for me, as a physicist, I did my usual thing where I like to think about, well, okay, this is all fine, and it's all nice thinking about hypercubes and thinking about, you know, this number and there's some wonderful maths in there and it's great and it's lovely, but can I bring it into the physical world? I said, well, most people, when they think about a number, they don't think of can't of saros or some fancy mathematical recursion tricks. They don't think about that. They just think of it written out, right, using the standard way that we write out numbers
Starting point is 00:23:03 in our decimal expansions that we use, right? That's what people do. So I said, well, I suppose somebody thinks about Graham's number. What would happen then if they tried to picture it in their head? and I quickly realized that if you do that, then you have a bit of a problem because Graham's number is so large and what you must remember is that each digit in Graham's number
Starting point is 00:23:25 contains a little bit of information. Sure. Okay, there's information stored in each one of those digits. And so if you're going to picture Graham's number in your head, you're storing a hell of a lot of information in your head. And information weighs. And if information weighs, then every time you picture one of Graham's number,
Starting point is 00:23:43 Graham's numbers digits, you're going to store some information in your head. You're going to add some mass to your head. Might only be a very microscopic amount, but it will be a little bit. And when you've got the whole of Graham's number in there, well, you're basically trying to cram too much into your head, and the inevitable outcome would be that your head would collapse into a black. Has this ever happened? I'm not aware of it ever happening.
Starting point is 00:24:08 Maybe it's one of those things we have to worry about, like, you know, them created a black hole at the LHC, you know, right? Somebody's thinking about Graham's number. So just to get this right, if someone just asked you, you know, how many digits in Graham's number? Like there's no known answer to that, right? It's not just to say the number of digits would be some incredibly large number. Yeah, it'd be a huge number. So, yeah, no, I don't think you could, is there a way to calculate it?
Starting point is 00:24:36 It's probably of order Graham's number. This is ironically the answer. It's probably the logger. It's probably the logger. It's probably the logger. It's probably the longer. It doesn't help very much. It's still enormously long. Yeah, it'll be the logarithm of grand number. But already, but you also, what you can calculate, the thing that you can calculate is,
Starting point is 00:24:56 is how much information you can contain inside a space the size of a human head. That's something you can calculate. And the reason you know what the maximum amount of information you can contain in space the size of a human head, is because you know the thing that contains information the best. And the thing that stores information the best in the universe is a black hole. Nothing stores information better than black holes. They're brilliant information stores.
Starting point is 00:25:22 And so you just ask yourself the question, how much information can I store in a black hole the size of a human head? And it's way less than Graham's number. Yeah. So I have some deep philosophical questions about the existence of these numbers, but I just want to get one more number on the table. first, which is tree three. I love this number. You talk a little bit about it, but I don't think I'd ever heard. I'd heard of Graham's number before, but not of tree three. Yeah, so tree three is,
Starting point is 00:25:51 so the way I talk about it in the book is I link it to this idea of a game of trees. So this is, so very intuitively, you have a game where you have seeds and you have branches and you build trees, right? And there are various rules to the games, like, you know, you start off with a single seed, and then you can start adding, and then somebody writes down a picture of a tree with a single seed, and then the next person writes down another tree with maybe branches and different seeds and so on. And each time you start drawing these trees. Now, there's sort of, there's various rules, but one of the rules is that if somebody writes down a tree, which contains a sort of, a bit of a tree that's gone before, then the game's over.
Starting point is 00:26:38 So what do I mean by that? So let's suppose we're playing, Sean, and, you know, you draw one particular tree and then five goes later, I draw a different tree and sort of set within my tree is a bit of, is something that looks a lot like your tree. Yeah, okay. Then I would lose the game. You lose. Okay.
Starting point is 00:26:55 So the question you can ask is, is how long can this game last, right? So how long could you keep going, drawing trees without any previous tree being in it? Yeah, yeah. Is the game guaranteed to end, for example? Is it guaranteed to end? And if so, how long can it go on for? These are the kind of questions you can ask. Now, it turns out the game is always guaranteed to end, no matter how many different types of seed you use. So one of the things you can ask is, well, how many, suppose I have one type of seeds. So let's say a black seed, right?
Starting point is 00:27:28 Then that's all I've got. Then I play the game and see how far I can go. Now it turns out that game can only last one move Because as soon as I draw the black seed You've got to draw another tree and it's got to contain my black seed and game over There you go yeah So that means that tree of one equals one Yeah exactly exactly
Starting point is 00:27:50 So now you play the game with two seats I was going to ask Two types of seeds so maybe a black and a white seed Right And okay Now you can play the same game again and You start writing down the things that you're allowed to do.
Starting point is 00:28:04 And it turns out the game cannot last beyond three moves. Okay, that's the maximum. There's no way the game is lasting beyond three moves. Okay, so tree of two is three. Equals three. Okay. So our sequence so far is one comma three, comma three of three. Exactly.
Starting point is 00:28:23 So now you play the game with three different types of seeds. So let's say you've got a black seed, a white seed, and a red seed. And you can make trees that are combinations of these seeds that have got branches and all sorts of fun and games, right? And again, there are various rules about what you can lay down initially, but you'd agree to those rules. So we're playing this game now, Sean. And again, you can ask how long can it go on for?
Starting point is 00:28:47 And you might think, well, okay, well, for one seed, it only lasted one go. For two seeds, it lasted three goes. So maybe it's going to be like 10 goes for three seats or 15 goes or something like that. And it's not, it goes bang. It just literally goes off on one. It's the most crazy sort of jump in a secret you could ever imagine. It goes to this number, tree three, which, I mean, we just talked about Graham's number,
Starting point is 00:29:13 which is too big to fit in your head. Well, I think tree three is too big to fit in the universe. It's just a number which is, it's beyond anything. I mean, it dwarfs these already gargantuan numbers. It's an absolute monster. And yeah, it comes from this thinking about this game. and and there's lots of, one of the things it's used for, actually,
Starting point is 00:29:36 one of the things it's useful for is, is proof theory and understanding what you can prove, what you can't prove within mathematics. And these kind of tree games are a good vehicle for that. But it's interesting because tree three, you can state what it is. It is, you know, the largest number of games. What is exactly the definition,
Starting point is 00:29:56 the largest number of moves that you could do? It's the kind of maximum length of the game of trees with three different seeds. Gotcha. And I can say those words out loud, but I can't, in a down-to-earth sense, calculate the number. It doesn't fit into the universe, right? No.
Starting point is 00:30:13 And I really can't fit into the universe. And this is the kind of thing that this is a game where he tried to bring physics into the game, right? And start to say, well, okay, let's think about actually playing this game. So, you know, me and you, Sean, we start playing this game, right? And we're going to play with three Cs. And this is going to, we're really good at this game. So we make sure we don't get knocked out. Right.
Starting point is 00:30:35 And so we play this game. We play as fast as we can. Well, how fast can we play it? We certainly can't play a single go faster than a plank time, right? Because if we, which is 10 to minus 43 seconds. If we do it fast than the plank time, we break space time. So we're not going to do that. So that's as fast as we go.
Starting point is 00:30:52 We're going as fast as space time will allow us. Right. well, you know, we'd be old men long before this game was over. Okay, so maybe we, you know, okay, so we pass away and we replace ourselves with some fancy AI device, which carries on playing the game, like beyond our, beyond our sort of mortal lives. This game's playing, so there's AI Sean and there's AI Tony playing this game of trees and playing and playing and playing and playing. And they would carry on playing beyond the age of the solar system, would die.
Starting point is 00:31:33 So who knows what's powering these AI devices, but suppose they carried on, maybe they're getting their energy off the cosmic microwave background, I don't know. So they carry on playing this game, they carry on playing, and they would go far beyond this sort of,
Starting point is 00:31:47 you know, the heat death of the universe. And they would go even beyond that. And eventually the game would go on and on and on and on and on. And then you'd say, well, but surely it's going to end at some point, right? And the problem is it never can,
Starting point is 00:31:59 because one of the things we know about the universe is that we think it's a finite system. And in any finite system, you get something called a Poincere recurrence, which is where everything comes back to where it began. So, for example, if you think about a pack of cards, right? So if you think about a pack of cards, when you open a pack of cards, you know, you normally, they're all laid out in the order of suits and it's really nice. And then somebody starts shuffling it and they get messed up and so on. And you play lots of games of cards and they get regularly messed up.
Starting point is 00:32:29 But if you keep randomly shuffling the cards, eventually, and it'll take a very long time, but eventually you'll get back to all the cards lined up as they wear when you bought them. It will happen. And it happens after this point-carey recurrence time. And this is something that's true of any finite system. And so if our universe is a finite system, which we believe it is, then that means that the universe will undergo a pancreatic recurrence. And the time it would take for that point-career recurrence is not. enough time for you to finish the game of trees.
Starting point is 00:33:02 So the universe was reset itself. I'll put on the table that I'm not sure that the universe is a finite system. I think it's an excellent question that we don't quite know the answer to, but at least is absolutely plausible that it is. So I'll go that. Yeah, I mean, I guess I'm basing out on the idea that we're sort of, you know, we're dominated by dark energy, which in vacuum energy is going to dominate the universe for a long period.
Starting point is 00:33:22 And then, yes, I guess I'm based on my idea is that the, you know, things like thinking about the Dissiter universe and the amount of degrees of freedom associated in. Right. I do want to talk about that. I just want to point out that we don't know, which is a perfectly safe thing to say. Fair enough. But so I guess the question about these numbers like Graham's number in tree three is we can define them. But do we really know what they are if we can't calculate them? What does it mean to know what a number is? What does it mean? Oh, right. Yeah. I mean, what does it mean for it to sort of be meaningful in our, I mean, I guess it's different to be what it is to be meaningful and what
Starting point is 00:34:03 it is for us to know whether it exists or not. I guess this comes back to the sort of the idea of whether any number exists, right, in some sense. Well, there's that, yes. Which is a whole new philosophical debate. And there's, you know, there's these ideas that numbers only exist that they kind of exist outside the physical world and, and, or they're only there to describe the things that are in it. So there's no such thing in some sense as an emancipated number. There's only just the number that can describe the number. number of cups of tea I've got or the number of magic beans I have or whatever, right? But there's all these different ways about thinking about whether a number exists.
Starting point is 00:34:39 And I don't think there's any consensus within philosophers about that. And I think that probably also applies to big numbers as well. I mean, one of the things you can ask is, I did a video about this quite recently. It's a bit of a controversial video, but it was about what's the biggest number anybody will ever think of? So you can ask yourself a question. If I think, sorry, I didn't say that right. You could say, what is the number, how big a number do I have to get to find a number that nobody will ever think of?
Starting point is 00:35:12 So how big do I have to go? And the estimate I came up with is that if you think of a random assortment of a 73-digit number or so, random assortments of digits, then chances are nobody in the history of humanity will ever think of that number. It's just some kind of silly trick. with, you know, sort of numerology a little bit and try to think about how many numbers an individual person would think of
Starting point is 00:35:38 and you think about Benford's law and the distribution of numbers and that sort of thing. But, you know, I think it's true that certain numbers that are sort of, maybe not Graham's number, because we've thought about Graham's number, it's been conceived of. But if you think of the numbers
Starting point is 00:35:52 that are just in and around Graham's number, that are maybe just, I don't know, just somewhere around, it doesn't matter, right? Yeah. No one's ever going to think of that number. No one's ever going to have anything ever to do with that number. Not even any person, but probably no alien or anybody. The universe will definitely, something terrible is going to happen to the universe before that number is ever conceived.
Starting point is 00:36:13 Yeah, no, and that's what, it's a little bit humbling to think about this. If you invent the rules of the game being that you have a finite alphabet of symbols to write things down with and a finite number of such symbols that you can put in your piece of paper or book or whatever, and these symbols are supposed to represent numbers, as you get out there to bigger and bigger numbers, a smaller and smaller fraction of all the numbers are representable, even in principle, right? Like, it's literally impossible to even,
Starting point is 00:36:43 even if you just stick to the integers, it's literally impossible to denote all of these different numbers. And I'd say the flip side, though, there is a flip side to this as well, it's kind of the unreasonable effectiveness of mathematics in our universe, right? So you're talking about mathematics which seemingly isn't in our universe, right?
Starting point is 00:37:05 And one of the things I've tried to do in the book is bring it into our universe and you get all this extreme physics as a result. But at the same time, there's the question of, we have our universe, and yet maths has this uncanny ability to describe it. And there's no reason why that should be true, right? It's kind of, maths is a man-made thing, right?
Starting point is 00:37:24 Maths is, well, maybe that's something we could debate, but it feels like it's a, it's a, it's a, it's a, it's a, it's a, it's a amazing job about, um, of describing the universe. Like, I think that Vigna, the, you know, the great physicist Vigna has this, this lovely idea where he thinks about, um, you know, so you think about a distribution of bread amongst people and, and, and how this will contain the number pie when you think, you know, the, you know, in the distribution of bread in, in a random community. it'll contain a number pi
Starting point is 00:37:55 and at the same time somebody can say well yeah that and what's that number pie oh yeah that's something to do with the radius of a circle that it's a difference to the circumference of the radius of a circle and you're like well what's that got to do with the distribution of a random distribution of bread it's not got anything to do with it and yet the same number appears and I think this is what
Starting point is 00:38:15 and it's amazing that the universe is so mathematical and one can ask would it always be is it guaranteed to always be mathematical or is it mathematical to a point I mean, it's done, math has done an amazing job of describing our universe, but is that something we can rely on forever? I don't know. And one of the fun things you do in the book is you, just to connect our previous discussion of cosmic numbers that are pretty darn big to these wild math numbers that are just hilariously big. Let's make that the technical term, hilariously big numbers.
Starting point is 00:38:47 Yeah. But it turns out that even though there's only 10 to the 88th particles in the universe, you can still formulate sensible-sounding physics questions that require us to think about numbers much bigger than that. And the question that you dwell on a little bit is the doppelganger question. So why don't you set that up for the audience? Yes. So one of the things I wanted to think about was, you know,
Starting point is 00:39:14 well, I was really trying to sort of do this thing where I tried to make a big number. Like in this case, a Googleplex, try to think about it in a physical setting. Yeah. And so, you know, we talked about how the universe reaches to 10 to the 26 meters, to the cosmological horizon. Now, it's not that you get to that cosmological horizon and there's a big wall and you can't pass it, right? That's not how it goes, right? You can, who knows what's beyond the wall, right?
Starting point is 00:39:41 I mean, maybe wildlings beyond the wall. Who knows, right? So the universe could in principle be much, much larger, right? It's entirely possible. And so I wanted to imagine, well, what if it was a Googleplex? across in meters, say. It doesn't really matter whether you use meters, inches, fare longs, whatever. It's not going to make much difference.
Starting point is 00:40:00 So you imagine a really big universe, which is this big, a Googleplex across in, say, meters. And I thought, well, what would be the consequences of such a universe? And the kind of remarkable thing is that you realize that doppelgangers would be kind of an inevitability in such a universe. And why is that? Well, so very crudely, you can think about as a sort of a huge, human being. So let's take, let's take you, Sean. And let's, let's think about, you know,
Starting point is 00:40:27 the volume of space that you occupy. And you can think about the number of ways in which you can arrange, sort of the, if we speak quite cruelly about it, we can imagine atoms, arranging the atoms in that volume. But if we're more sophisticated about it, we'd say the number of quantum states that describe that volume of space. How many are there? And there, these are, we expect that this is finite. This is one of the things that we expect. And so if that's finite, if there's any finite number of ways of arranging that volume of space,
Starting point is 00:40:57 so one of them would correspond to you, one would correspond to a cow, one would correspond to Donald Trump, I'm sorry to say, there's all these different possibilities that you could imagine, right? Empty space would be another one, but there's finite number.
Starting point is 00:41:12 So assuming the laws of physics don't change if you go across the universe, which is no reason to believe that they do, then, you know, You can imagine sampling this, the volume of space next to you and we say, right, do we have another Sean here? No, we don't. Okay.
Starting point is 00:41:28 Let's go to the next volume of space. Another Sean. No, we don't find another Sean there. And we keep going. And we traverse across this magnificently large universe, which is a Google Plex meters across. And then we find out, because the number of possibilities that could have described that original Sean size volume of space is finite and less than a Google. plex, in fact, a lot less than a Googleplex, you realize that if you go Googleplex across
Starting point is 00:41:56 in the meters across in the universe, then eventually you have to start seeing repetitions. Now, you might say that someone like you, Sean, it's quite, you know, it's quite rare. Very special. Yeah. You're very special, yeah. You're very special, right? You're very special. Obviously, you're quite an unusual stage.
Starting point is 00:42:11 Obviously, I would imagine empty space is by far the most common thing that you're going to find. Right. But, so the probability of finding a Sean is very low, but actually, you're going to Actually, the difference between the number of possibilities and a Googleplex is so large that your chances of overwhelming those probabilities become, it almost becomes implausible to think that you couldn't encounter the doppelgank. Yeah, and this is, I mean, maybe even a little bit more specifically, we look around our observable universe, and we've, in the observable universe, conditions are pretty similar, right, from place to place. And so if that just extends infinitely far out or even super duper far out, then there's only a number of things that can happen.
Starting point is 00:42:53 Everything's going to happen over and over again. That's basically what it comes down to. I think that's basically it, yeah. And so what I was doing was putting a number on that really. And so you estimate the typical distance to your doppelganger. And I think the number I have is 10 to the 10 to the 68 meters is roughly the distance you might estimate. Would it be weird for me to say that doesn't seem that far? I would have guessed it was larger.
Starting point is 00:43:16 I mean, it's very far, Sean. I don't think you're going to be going there on your holidays. But the implication is also that every copy of, there's also every copy of me with every possible small variation, right? Yes, yes, exactly. So this is one of the things to talk about. One can ask the question, well, what is a copy of you? Am I talking about something that's just something that looks like you? or I'm being much more precise than that?
Starting point is 00:43:45 Can I talk about something that looks like you and has the same thoughts? Yeah. And, you know, all the atoms are arranged the same way. All, you know, all the neurons are firing in exactly the same way in your brain. And I can really start to go right down to the quantum state. And I can demand that it has exactly the same quantum state. Now, of course, to actually show that I find, you know, to actually measure your quantum state exactly,
Starting point is 00:44:10 well, that wouldn't be very good for you, Sean. I would have to probably that would be not good at all. That would destroy you, right? You're going to tend to plasma if I do that because I'd have to measure the state of every single one of your atoms and that's not going to be, that's not going to end well. But at least in principle, you can ask the question.
Starting point is 00:44:27 You know, you have some particular quantum state which I don't know precisely and I would have to kill you to know it precisely, but it's presumably there and there are only finite number of possibilities until I find another one. Well, I think this is actually something that is worth getting into the weeds a little bit about, because the subtleties matter here. I mean, if it weren't for quantum mechanics, if it were classical mechanics, right?
Starting point is 00:44:54 And I thought that I was made up of a set of electrons and protons and neutrons described by the laws of classical mechanics, then this kind of statement would be harder to make, right? because each particle is located somewhere in space. And for just one particle, in principle, I need an infinite precision to locate where it is. But quantum mechanics says something a little bit different, right? I think it allows you to just discretize in some sense. It's kind of what quantum mechanics give you, gives you a fundamental unit,
Starting point is 00:45:27 which is measured in units of plant constants, of course, in some sense. And I think that's what quantum mechanics does give you that you can really break up face. space into it into sort of discrete building blocks in a way that you can't do with classical physics. Yeah. And just for just for the to be cosmologically correct, we we don't actually know the universe is as big as 10 to the 10 to the 68 meters across. It may be, it might be. We don't know. No, we don't. But you can ask you you can ask by what process might have get so big. And I guess one way it would do that would be, you know, this idea of eternal inflation, for example, in which you can
Starting point is 00:46:03 have a universe. So we have this, one of the things we think about our own universe is that very early times, it grew very big, very quickly. Well, there's no dispute that our universe has got quite big, right? And so how did it do that? And there's this process called inflation, where there's this field which pushes the universe apart very fast, and it's known as the inflatom field. Now, one of the questions that we have is, is how did that process start? And that's a bit of a puzzle. So one of the solutions to it is that you have this this inflatom field. And what it does is it jumps about quantum mechanically from value to value. And then at some point it hits this sweet spot where it has just the right value that it causes the universe to go crazy and push it pushes this
Starting point is 00:46:48 around, you know, pushes the universe part very quickly. So if that's the setup that you have, then there's absolutely no reason that in distant parts of the universe, this inflaton field isn't doing its little quantum jumps and hopping around, and then occasionally hitting a sweet spot and making that little pocket of the universe it found itself in suddenly gargantuan. And this can keep happening. You just get this inflotone doing its little dance and then creating gargantium universes every so often. And if that keeps going and keeps going and keeps going, you could.
Starting point is 00:47:18 And it's almost like a recursion within the universe, right? Because you create a big universe and then you have jumps within that universe, which create new big universes, and then jumps within those universes, which create those, new big universes and the universe is doing its own recursion. And so that's how it can get to quite very big numbers. And so that would be the scenario in which you could imagine a universe this large, I think. But yeah, we don't know that the universe is that big, but we don't know that it isn't either. And just because there's lots of different variations on this theme, and I want to be clear about what the possibilities are, we don't, to make these statements about my or your doppelgangers
Starting point is 00:47:53 appearing very far away, none of this involves the multiverse, as we usually think, about it or the string theory landscape or anything like that. It's just saying the universe is big. And you just sketched a reason why that might be true. But even without that reason, it could just be the universe is big. I think it's two things. I think it's the universe is big. And it's the thing you alluded to earlier.
Starting point is 00:48:14 It's quantum mechanics at the end of the day. I think that makes those counting that, you know, how we count stuff finite in some sense, it discreetizes the world in which we live. And there is the third thing, which is actually one of my favorite things to think about. So I'll highlight it, which is the existence of gravity and black holes, right? Because if it weren't for gravity, then even in a finite region of space,
Starting point is 00:48:37 we could do an infinite number of different things. In quantum field theory, we can do an infinite number of different things. But gravity comes along and changes the game. And I think this is going to matter for your calculations. Yeah, so certainly gravity sort of provides this cutoff on the number of things that you can put in any finite space. because eventually it comes back to, you know, if I want to sort of, one of the things you can do is if you think about a volume of space,
Starting point is 00:49:01 you can count how many different sort of bits of information can I hide in there? How many different possibilities are there? And then again, we talked again by how information weighs and you realize that if you put too much information, do you allow for too many sort of hidden possibilities, then the only option is to form a black hole. And black holes are the best hider
Starting point is 00:49:20 of all the hidden possibilities that there is. And gravity just kicks in and make sure that that happens and there's nothing you can do to avoid it. And yeah, that's the, that's, that's, that's, that's, that's, that's the, that's, that's, if gravity goes to, if, if, if you don't have gravity, is the is the gravitational coupling goes to zero. These sort of limits that I'm putting on the, on the, on how much you can fit into one, but the volume of space, they go, they go infinite. It is absolutely true that the, that the, that the, um, the, um, the, the, the gravity plays a hugely important role in this.
Starting point is 00:49:53 And gravity, also pushes us in the direction that you really put a lot of emphasis on in the book, which is the holographic idea, the idea that it's the way that we get these countings of how many things can happen in a region is not by separately adding up what can happen at each location, right? There's some global constraints there that make the world in some sense have less possibilities than you might have guessed. It's really amazing when you think about it. So the very naive, even though, Even with gravity, you might naively say, how do I count the number of ways I can build a shorn-sized
Starting point is 00:50:30 volume of space? How many different possibilities are there? I'd say, well, maybe I break up that space into the smallest volumes that I can imagine, which are, in the case of gravitational physics, they are plank volumes, so 10 to the minus 35 meters across. And I could say, well, maybe each of those different volumes has a certain number of possibilities it can state it can be in, and then I just add them all up, right? But if you did that, you would get a massive overcounting. And that's because what gravity actually does is it forbids loads of possibilities, loads of possible combinations. It just does. And actually, that would be the wrong calculation. You do what it doesn't store its information in the interior of the space, it seems,
Starting point is 00:51:16 in the way that I've just described there, where you break the space up, it's a lot of tiny little bits, it seems to store it on the edge of the space. That seems to be where the counting is done. And so when you look at a short-sized volume of space, you should really, you want to make out how many possibilities there are. You need to break up the surface that surround you into the tiny building blocks and calculate how many possibilities there are there. But this is the, I mean, I think the holographic principle is, I mean, it started to
Starting point is 00:51:41 develop around the time I was doing my PhD. And I think it's mind-blowing and fascinating and so profound in so many ways. But yes, indeed, indeed, it's using the holographic ideas that give you the sort of the better estimates for how many different possibilities there are. I think that lurking in the back of my mind and your mind here is the idea of entropy. But maybe we haven't connected that explicitly if you want to do that. Yes, yes. So, yes, I am talking about entropy, right? I'm sort of saying information, but really in some sense what I really mean is entropy.
Starting point is 00:52:14 Well, entropy and information are kind of one of the same thing. So, yeah, so when I say that, that, um, black, black holes are the best stores of information. What I'm really saying there is that the best stories of entropy. So, you know, what is entropy? Entropy is in some sense the number of different ways you can sort of have a, you know, and so there's a number of different ways you can get the same macroscopic sort of object, macroscopic observables, you know, from different possibilities. So I take an egg. So take a typical egg and I look at an egg, It looks like an egg and it's got a given temperature. It's got a given size, it's got a given pressure.
Starting point is 00:52:54 It's the egg that I see, right? Now, what I don't know is where all its precise atoms and molecules are located. It's not information I need. It's not information I need to know. It's temperature. It's not information I need to know. It's an egg. It's fine, right?
Starting point is 00:53:07 So all those little bits of information, which are hidden in some sense, they all contribute to the entropy because different possibilities could give the same egg. And the number of possibilities you count, in other words, a number of bits of hidden information are what give you the entropy. And when we talk about black holes as being in the best stories of information, what we're really saying is, is they're the objects which have the most entropy for their size. Okay. And that's the thing that's really, really, we're really using here.
Starting point is 00:53:38 And it goes as the area of the boundary and that's, that was the beginning of holography. Absolutely. Yes. Absolutely. So one of the most remarkable things. about black holes, perhaps the most surprising thing from back in the day is that when you calculate the entropy of a black hole, indeed, it goes like the surface area of the event horizon. So, you know, that's how it grows.
Starting point is 00:54:05 If I want to double the amount of information stored in a black hole, if I want to double its entropy, I don't double the volume of the black hole, I have to double its surface area. And that's quite different to how you normally think of how you might grow information. If I were to take a dinosaur, which is not a very gravitational object, okay? If I take a dinosaur, if I want to double how much information stored inside it, I would think about doubling the volume. That's probably what you would do. But a dinosaur is not a very gravitational object.
Starting point is 00:54:38 It's not a deep. A black hole is. And so with black holes, the game is different. It behaves differently. And indeed, you have to double the surface area to double the amount of information it can contain. And that insight is what really led to this idea of holography, that actually in some sense, the gravity, when gravity is sometimes, when you think about gravity in three dimensions of space, it's in some sense connected to Ethereum two dimensions, which maybe lives on the boundary of that space. But we, I like how vague you were in that pronunciation right there because we don't actually know how to do that, right? We don't know how to describe the real world in terms of a complete theory one dimension lower.
Starting point is 00:55:27 That might be something we're aspiring to. I think so. So what we do have is we have, so maybe we should describe what a holographic principle really is, right? So these ideas about black holes and how they store information, they've led to this, this conjecture that on the one hand you can have a theory of gravity and let's say for example in three dimensions of space but you don't have to restrict yourself to three dimensions but just to be concrete let's say we have a theory of gravity in three dimensions of space and that's one description of the physics but what the holographic conjecture would say is
Starting point is 00:56:07 is there is an entirely equivalent description of the same physics which has no gravity, there's no gravitational sort of, you're not doing Einstein's equations or anything like that. You're just describing a theory without gravity, but in one dimension less. And, but you describe exactly the same physics, exactly the same physical phenomenon can be described in both languages. So in some sense, it's like, you know, it's like when I just talk about a plate of meatballs, I talk about a plate of meatballs. I say, if I'm in English, I'll say it's a plate of meatballs. If I'm Spanish, I'll say it's Albondgas.
Starting point is 00:56:45 Right? We're both describing the same thing, just using different language. Yeah. Okay? So I think this is what the holographic principle really is. It's just saying you've got physical phenomena, which you're going to use mathematics to describe.
Starting point is 00:56:58 Well, which mathematics are you going to use? Okay, I can use gravity with three dimensions of space, or I can use just not bother with gravity, and I just use this quantum field theory in one dimension less. and I can find a way to describe the physics using either language, and I can get the same results, and as long as I can have a dictionary that tells me how to go between the two, and I can do this.
Starting point is 00:57:19 Now, you're absolutely right, Sean, in saying that does this apply to our universe? Well, we don't know. What we do know is that there are examples of sort of, if you like, toy universes, where this conjecture, the evidence for it is absolutely compelling. So in particular, you know, this goes back to Hommel de Sene. There are examples of universes that are kind of, five-dimensional, they're warped, the city-desyter spaces. And there, you can think about gravity or maybe more precisely string theory in these universes, and you can describe physical phenomena
Starting point is 00:57:53 that might occur in those settings. And then you can also show that there's an equivalent theory which describes the same physical phenomena, which is given by what's called N-Equels for Super Young Mills that lives in one dimension less on the boundary of that space. And so we have, And we have these examples where we can really show that you don't always need gravity. You can always just do away with it and live on one dimension less. And so the conjecture is that true of our universe. And it seems this idea that gravity is somehow wants to push you towards one less dimension. I think it's really something deep that may well be true of quantum gravity,
Starting point is 00:58:32 that when we really understand it better in the long run. Right. But having said all that, and the very nice version of the sales pitch for the holographic principle. Like you said, that's not the universe that we live in, the one where Maltesana, an anti-Dissiter space, as we say, imagined a world with a negative cosmological constant, negative energy density and empty space. But our world, as you know as well as anyone, has a positive energy density and empty space,
Starting point is 00:59:01 a positive cosmological constant. And that's both a fact that we need to face up to and also a little bit of a little bit a puzzle or maybe a clue, depending on how you look at it? Yeah, I mean, people have tried to think about these holographic ideas, even in such a setting. I absolutely agree. Then the ideas are not as robust and as clean as they are in anti-de-sitter space. And anti-de-sitter space seems to lend itself very naturally to a holographic prescription in a way that the sitter doesn't.
Starting point is 00:59:33 But work is ongoing, I think it's fair to say. And people, I mean, there's, I don't want to go into too much. it's technical detail, but I know Ava Silverstein, for example, a few years back was looking at these sort of lower dimensional examples and trying to push them into, from ADS into the sitter with a certain defamation of the theory and coming up because this is this TT bar stuff that they, that they were playing with. So there's some nice stuff there that's been done, but I agree. It's absolutely, it's not something I'm in any way experts on and it's, but I know there's people thinking about it. But I mean, maybe we can talk about what you are expert on, which is the fact that our energy density in our universe does seem like a small positive number.
Starting point is 01:00:14 And this is confusing to us. And we would like to try to figure this out. It kept into the small numbers rather than the large numbers that we were talking about before. Yeah. So what you talk about in the book is that small numbers, so there's a whole section on small numbers. And the idea there is that small numbers kind of betray the unexpected. They signify a puzzle. when a small number appears and tells you that something's probably not making sense.
Starting point is 01:00:38 And the big, small, whatever you were looking at it, the big example of this is the cosmological constant. So one of the things we see our universe, right? So we see that it's very, very large scales, it's accelerating. The universe seems to be pushing galaxies apart at ever increasing rate. And one of the thing you can ask is, well, what can cause this acceleration? I mean, gravity, you normally think if it's an attractive force, but so why would it, why would it cause the universe to accelerate?
Starting point is 01:01:12 It would surely slow down the expansion of the universe. But actually, something can push the universe apart at an ever-increasing rate. And that's the energy of empty space itself, the vacuum energy. And you might say, well, how does the universe, how does the vacuum have an energy? It's just empty space. How could it possibly have energy? Well, this is where quantum mechanics comes in. And quantum mechanics tells you that the actual of the vacuums are really exciting place.
Starting point is 01:01:39 It's not as boring as you think. You know, it really is this bubbling broth of virtual particles that there's not real particles, but virtual particles that sort of pop in and out of existence. And they can essentially endow the vacuum with an energy. Now, the problem arises when you try to calculate how much energy they give the universe. And then you compare that to how much energy you think there needs to be to get the acceleration we see. And what you find is, is that the observed vacuum energy is a factor of 10 to the minus 120 of the theoretical expectation, the amount that you calculate. So it's a huge mismatch
Starting point is 01:02:19 between what your calculation saying you should get and what we actually see. The value that we see is far, far smaller, more than a Google time smaller than what our theoretical estimates are. And the truth is, if the universe really did have the huge vacuum energy that are theoretical calculations based on quantum field theory, tellers it should have, well, then it would have been crushed out of existence within, you know, a moment of creation. It would have, the amount of vacuum energy would have just torn and twisted the universe into oblivion. Do you know about Shannon's number? Have you ever heard of that one? That's not what I know about gone. Shannon's number. Yeah, well, I actually discovered it while sort of puttering around doing research for this podcast.
Starting point is 01:03:04 Claude Shannon of Shannon Information Theory fame asked, you know, how many different games of chess there would be. Ah, okay. Plausibly. And I forget whether it was like total games or total strategies or something like that. But he was not able to calculate it, of course. It's a very hard number to calculate. But he gave a lower limit, and it turns out to be 10 to the 120. Okay.
Starting point is 01:03:27 Wow. Which is coincidentally, the cosmontical. constant in plank unit. So I think that can't be a coincidence, right? Maybe chess is revealing the secrets of the universe somehow. Yeah, now I'm starting to pitch the universe as a chess board. That's the end of the thing that does all that mean, right? Yeah, that's cool. Each one's a little plank, uh, each little boards like plank size across or something like that, right? I don't know. So anyway, it's a puzzle, right? Yeah, that is, and that is probably had nothing to do with chess. Just, just so everyone knows that we're just kidding around here. But it's, so the
Starting point is 01:03:59 puzzle is that we have a guess as to how big the energy of the vacuum could be, then we go observe it. It's much, much, much smaller. Do you personally have a favorite explanation for that? Yeah, I mean, so it's something I've thought about a lot over the years. I mean, of course, I'm not going to say it's my favorite explanation, but probably the standard explanation is the anthropic one, which says that, you know, the universe is, you know, if it, if the vacuum engine had been, hadn't been tiny, then, you know, we never would have had galaxies forming. Now, the universe would have expanded too quickly early on for galaxies to form or it would have crunched into oblivion early on before galaxies form. And if galaxies don't form and planets
Starting point is 01:04:42 don't form, then complex life doesn't evolve to sort of ask questions and record podcasts, asking about, you know, how big the vacuum energy of the universe actually is. So that's the standard anthropic story. Whilst that's fine, I think, you know, it still behooves us to think about other ideas to try to understand where the cosmological constant is so small. I think for me, and I noticed something you've worked on as well, Sean, is this idea that there's something very special about the cosmological constant, which makes it different to every other sort of source of energy and momentum in the universe. And that's that it's constant. It does what it says on the tin. Everything else, either you think about a planet or a human being,
Starting point is 01:05:31 it's a localized source of energy momentum. It drops off, you know, maybe both in time and space, potentially. And that's not true of vacuum energy. At least it's a constant, right? It's sort of at least a baseline guy. It's constant. And so that's what sets it apart, I think. And so when we think about what we might do to address this strange question about why we don't see this huge vacuum energy, maybe we need to look at gravity on the scale that it's reacting to these constant sources.
Starting point is 01:06:06 Okay. So we need to look. So we think about this. What this means is that we need to look at gravity, not on the local scale, but on a global scale, where we're really most sensitive to that constant source. And so one of the things that I've worked on, and I know you have too, is try to think about global modifications of Einstein's theory.
Starting point is 01:06:26 So what that means is that you're only changing the theory on the scale of the whole universe. So it's only the, supposed to the longest wavelength modes of the theory, when the theory reaches out to the very, very far distances, that you start to see changes, right? They're really, literally the furthest distances you can imagine.
Starting point is 01:06:45 Any local physics, like what happens in the solar, system, well, that's got nothing to do with vacuum energy anyway. That's just the physics of the solar system. That obeys the rules of, the idea would be that abase the rules of general relativity and does all the wonderful things general relativity does. But what you could think about is modifying the theory on the global scale. So really just for, so it reacts to constant sources slightly differently. And then what you can say is, well, it's fine. Let's say the vacuum energy is large. It's large. It just is large. But my theory of gravity reacts. to constant sources slightly differently
Starting point is 01:07:19 to how it does in general relativity. And so I can somehow screen away this large vacuum energy and just get the amount of acceleration that I see. Now it's a tricky game. You've got to come up with a consistent theory that does this. It's consistent with quantum mechanics, consistent with relativity and all of that. But that's something that we've been trying to develop
Starting point is 01:07:37 in recent years through this sequestering proposal. Yeah, and I think this, I mean, it's a great little insight for the people out there who don't do science for a living about how theoretical physics gets done. You know, you have some puzzle. You're trying to understand. Then so you, in words or pictures, conjecture an idea, but then the hard work is turning that into equations, right? And I guess just so people know, correct me if I'm wrong here about how you think about this, ordinary general relativity or other theories of gravity we would write down, what they care about is the amount of energy at each
Starting point is 01:08:11 point. And that's what matters. But you're imagining changing it so that what matters is not just how much energy there is at each point, but how it's distributed, like if it's constant versus if it's lumpy. And then that's kind of a radical imagination of how to change gravity. Yeah, yeah, kind of, in a way, that's one way of thinking about it. I think what I'm saying is, is that in some sense, you've got like a filter. So you've got this sources of energy momentum, and there's a filter, but how that filter works is sensitive to the properties of the source. So if this source is a planet, the filter doesn't filter it at all. It just lets it through. It's a high pass filter.
Starting point is 01:08:48 Yeah, exactly, like a high pass filter, exactly. But if the source is constant, the filter shuts it down. That's the idea. So there's something in the theory which sort of, you know, is acting like, you know, this cut off like this filter is saying, well, you may pass, you may not pass. But doing that in a consistent way that's consistent with the sort of underlying principles of general relativity, and it's consistent with quantum mechanics, it's not easy. You know, one of the things that I found about, you know, a career,
Starting point is 01:09:16 thinking about gravity and trying to mess around with Einstein's theory is that you mess with Einstein's theory at your peril. It's really difficult to mess with Einstein's theory and not unleash all manner of beasts and horrible creatures and cause all sorts of problems. Instabilities, you know, new particles appearing that we don't see in nature, there's all sorts of problems that you can arise. But one of the things you can do, but by focusing on those changes only on the global scale, so only on space time as a whole, then you can actually. sort of evade a lot of these problems. Well, you know, since we've reached the hour-long moment at the podcast, we're allowed to
Starting point is 01:09:54 let our hair down a little bit and get a little even crazier than we've been getting. So I wanted to take it back to this finite versus infinite question because secretly there's a relationship to the cosmological constant. You know, you talked about holography and the information in a black hole, and we talked about there's a cosmological constant that is accelerating the universe apart. But that's why implicitly, you said at the beginning of the podcast that there's reason to believe the universe has a finite set of information in it, right? Because there's a horizon around us with a finite entropy. And maybe you could explain what I just said in more easily digestible terms.
Starting point is 01:10:35 Yes. So, of course, we have this. So let's say, there's some theory somewhere which solves the puzzle of why the vacuum energy isn't. So it's just some small number. So the vacuum, the energy density of the universe is very low, but it's positive, and it's causing the universe to accelerate very gently. Now, what that means is that we live in what's called a decitur universe. And we're surrounded by this horizon, this cosmological horizon, this desider horizon, in that case, it would be. And when you start trying to think about how many different ways there are to arrange sort of, sort of,
Starting point is 01:11:15 of that universe, the quantum states of that universe, if you think about the entropy of that universe, it's again, this weird property of gravity that always projects everything onto the surface area that surrounds. And in this case, it's this desicter horizon. And that de sit a horizon that surround, this shroud that surrounds our universe, the surrounds each and every one of us individually, has a finite area if the vacuum energy of the universe is small and positive. And yeah, so that's where I came back to these ideas about, you know, the universe having a primary recurrence.
Starting point is 01:11:53 Such a universe would have a primary recurrence because you would think of it as a finite system. And I think one of the things, this is not even a question. I'm just going to set that out there because I think people are not thinking about it enough is that a universe that has a finite number of states, a finite number of degrees of freedom in this theoretical description. That's a universe that is not described by quantum field theory, right, which is what we always use to describe things. Quantum field theory has an infinite number of things going on. And I don't think we've adapted. I don't think we've digested that shift quite as much as we should have. I mean, I think that's because you have to bring
Starting point is 01:12:31 an interplay between, between, you have to bring gravity into the game. And of course, then, then we're talking about quantum gravity. We don't really know what quantum gravity is yet. I think that's the fundamental optical. Of course, as you know, as you remove gravity, as you decouple gravity, all these entropies that we're counting, so if I count what the entropy of the city space would be, as I decouple gravity, it goes infinite. If I calculate the entropy of a black hole, as I decouple gravity, it goes in, all these numbers go infinite, because basically the entropy is the area divided by Newton's constant.
Starting point is 01:13:03 And as Newton's constant goes to zero, all these entropies go diverge. So I'll give you a chance to ask a very simple question to end the podcast, but you can decide how, at what length you want to answer it. Is the universe, is reality infinite or finite? I think it's finite. Wow. I just, I just, I just, it's complete prejudice. I have no experiment for knowing this. part of me feels that there's there's no room for infinity in nature.
Starting point is 01:13:40 I don't know. That's a complete, I mean, there's probably loads of examples. Everyone's going to get really upset. I'll be saying this now, but in truth, I just feel like the idea of a universe which is compact and, you know, it's basically compact. It seems much more elegant to me than having to meddle with the infinite world. That's not to say that the infinite world isn't mathematically in itself. wonderfully interesting and something you can think about and and and but do we really need
Starting point is 01:14:10 cantors sort of you know infinite heavens to describe our universe i don't know maybe we do yeah my pure prejudice is that that we probably don't i mean i ask because i myself don't really know i i don't even have a prejudice there you know on the one hand i feel the worries about infinity Like the mathematics of infinity gets tricky and maybe it's just because there isn't any real infinity in the physical description of reality. But on the other hand, you know, infinity is a nice number in a way that 10 to the 120 isn't, right?
Starting point is 01:14:48 You know, if the universe is finite, then there's some specific size that it has. And who ordered that? I'm not really sure. Well, no, I think, but then you can straight back at you with which infinity is it, Sean? And that's the next question you have to ask, Right. It is.
Starting point is 01:15:02 Is it out of zero? Is it alif one? That is, you know, there's a, the story doesn't end with infinity. You've still got those same questions. So if we keep ourselves in the finite realm, then things feel a little bit, I just feel a bit cozier. All right. Let's feel cozy. I think that's a good way to wrap up, feeling like we're cozy in a finite little universe that we live in.
Starting point is 01:15:22 So Donnie Padilla, thanks so much for being on the Minescape podcast. Thanks, Sean.

There aren't comments yet for this episode. Click on any sentence in the transcript to leave a comment.