Audio Player
Starting at:
Scott Aaronson Λ Jacob Barandes: Harvard Scientist Rewrites the Rules of Quantum Mechanics
March 4, 2025
•
2:37:14
•
undefined
Audio:
Download MP3
ℹ️ Timestamps visible: Timestamps may be inaccurate if the MP3 has dynamically injected ads. Hide timestamps.
Transcript
Enhanced with Timestamps
389 sentences
25,398 words
Method: api-polled
Transcription time: 152m 8s
The Economist covers math, physics, philosophy, and AI in a manner that shows how different countries perceive developments and how they impact markets. They recently published a piece on China's new neutrino detector. They cover extending life via mitochondrial transplants, creating an entirely new field of medicine. But it's also not just science they analyze.
Culture, they analyze finance, economics, business, international affairs across every region. I'm particularly liking their new insider feature. It was just launched this month. It gives you, it gives me, a front row access to The Economist's internal editorial debates.
Where senior editors argue through the news with world leaders and policy makers in twice weekly long format shows. Basically an extremely high quality podcast. Whether it's scientific innovation or shifting global politics, The Economist provides comprehensive coverage beyond headlines. As a total listener, you get a special discount. Head over to economist.com slash TOE to subscribe. That's economist.com slash TOE for your discount.
It is not every day that I see a claim for a new formulation of quantum mechanics. That's exciting.
For almost 100 years, quantum mechanics has splintered physics into competing interpretations, each with a different consequence for reality. In this theolocution, Harvard's Jacob Barandes, co-director of the graduate studies department, has developed a revolutionary framework called indivisible stochastic processes that suggest there is no fundamental wave function.
He's joined with Scott Aronson as they dispute other interpretations like Many Worlds and Bolem, as well as discussing do quantum computers get their power from other universes? If so, why don't quantum computers provide speed ups for all problems instead of just a specialized subclass?
In Jacob's view, what actually gives quantum computers their power over classical computers is indivisibility, and that's because the class of indivisible processes is simply larger than the class of all the kinds of processes used by classical computers. My name's Kurt J. Mungle, and I use my background in mathematical physics to analyze various theories of everything.
Can we finally understand quantum mechanics without invoking mysterious wave functions or are we forever bound to a world of mathematical abstractions divorced from physical intuition? The audience is in for a huge treat. I've had a preview of the questions you have for one another and I'm excited to be hosting you both. Thank you. Welcome Scott Aronson and Jacob Barndes. Great to be here. It's lovely to be here. Thanks for the invitation. Nice to see you, Scott. Yeah, good to see you too, Jacob.
Does the benefit of quantum computing provide evidence for many worlds? Scott. Um, I would say that there is a philosophical argument, uh, that, for example, David Deutsch has made, right? That says that, uh, and this was a very closely related to why he invented the idea of quantum computing in the first place in the early 1980s, right?
That says, well, look, suppose that you use a quantum computer to factor a 2000-digit number. And Deutsch said this very explicitly in the 90s. Suppose you run Shor's factoring algorithm and it factors the number.
Vastly
I think that that does get at why quantum computing is so interesting to many of us in the first place, right? That it seems like this really, really hard to fake test that, yes, there is some kind of reality to these abstractions that we're talking about that do involve these vectors and this exponentially large space.
Right. But now I would say the philosophical part, the part where people can reasonably disagree with each other is should you describe that in terms of parallel universes or not? You know, is that the right language to use for talking about this vast thing? Right. The problem is that, you know, what do we mean by something being a different universe? Right. Usually, you know, we mean that it is evolving independently from us. Right. It is, you know, its own separate thing.
I mean, in the TV shows, in the movies, there's always some portal or some wormhole by which you can visit the other universe. Because if there weren't, then what would be the plot?
But somehow it is separated from our universe. But the trouble is if it's separated, then for that very reason, we don't see the evidence of it. Like if we do a quantum computation, then at the point when two branches are really separated, then we don't see the interference between them. We only see our branch. And to the extent that you do see the interference,
As you do insures factoring algorithm for example you know other algorithms for quantum computers then you could say the very fact that these things could interfere means that they never really established separate identities as parallel universes at all they were all just part of one giant interfering quantum mechanical blob.
I think that's a philosophical objection, but I do agree that quantum computation would be dramatic evidence that the state of the universe is this vastly bigger thing.
in some sense than what classical physics posits for it right and that that is a huge deal now you know i get annoyed when you know people will take the latest quantum computing experiment like what google did you know with its willow chip this past december and they'll say oh you know this is new you know evidence for the reality of parallel universes like no you know no it's not there's just evidence that quantum computing works like the theory said and you know if you agreed
With the philosophical argument that that can only be explained by many worlds, then you should have believed that way before this experiment. And if you didn't believe it, then you still shouldn't believe it. So it's not like these experiments are changing things that much, but there is this philosophical argument that I think is at the heart of why we care about quantum computing, why Deutsch invented it in the first place.
Briefly before you respond, Jacob, I want to know what would David Deutsch say to your response about that the universe must be independent, so how would it manifest in this universe? Oh, what would he say? I mean, Deutsch would say that you don't even need quantum computing to see the obvious truth of the many worlds interpretation. He would say that even the two slit experiment
You know from more than a hundred years ago, you know where you see interference between two paths that a photon can take even that clinches the case
and can only be explained by the many worlds interpretation and everyone else is just in denial about it. And then he would say, okay, but for those who are too dense to see that, building a quantum computer may help them psychologically, right? It may make it even more undeniable, but he thinks you don't even need it.
There's some very interesting history here, and Scott, I'm sure you're aware of this, but many people who are watching may not know, but Deutsch's development of quantum computing is really a fantastic example of how thinking philosophically and foundationally about physics in general and quantum mechanics in particular has borne tremendous fruit. I agree. My understanding is the story is that Wheeler had him sit down at a dinner with Hugh Everett when he ever sort of came back out of retirement in the 70s.
Yeah, I can almost see the building where that happened. Right. Yeah, yeah, yeah. And they sat next to each other. And at the beginning, apparently, Deutsch was skeptical or whatever, but by the end of the dinner, he was quite convinced. And just like Scott said, I mean, it's in the papers. It's kind of amazing, right? There's this foundational paper in quantum computing from 1985.
It's quantum theory, the Church-Turing principle, and the universal quantum computer. And Deutsch is not shy about citing the Everett interpretation. It's like in the abstract and throughout the paper he's like, and this only makes sense under the Everett picture. And he says very clearly that one of his motivations for developing quantum computing is to make just completely clear that the Everett approach has to be correct.
What's interesting, and Scott, you mentioned this, this is exactly on point, the sort of modern ideology that is dominant among people who think about and work on the Everett approach, and this is typified by books like David Wallace's 2012 book, The Emergent Multiverse, is that you really need decoherence, meaning the gradual disappearance of interference effects between the branches,
in order for macro world branches and distinct universes to emerge. And that precisely doesn't happen in the middle of a good quantum computation. Yes, that's what I'm going to say. Right, exactly. So but my point is just that like this is what Scott's saying is really that the standard way that most Everettians think about it. So the Everett approach doesn't really help you so much with quantum computing because those other universes
They don't exist precisely in the case when they're being used, so to speak, for a good quantum computation. I'll just say a couple of things about this. One is there are a lot of situations in quantum mechanics where if you take seriously a particular philosophical perspective, at first
glance, it may seem a little bit, you know, helpful revealing, oh, quantum computers in some circumstances can do things more efficiently than we believe is possible with classical computers. And the actual existence of multiple universes seems like maybe this is what gives these systems their advantage. But then on further reflection, it gets kind of strange because if these universes are just really there,
In some sense, whether in the microscopic case where, again, there's not agreement that we should be even thinking that way, or in the macroscopic case, you might think that you can get speed ups in far more circumstances, that speed ups would be far more generic. As Scott has at the top of his blog, his tagline, if you take one thing away from his blog, it's that quantum computers don't get speed ups because they're trying out all the possibilities at once.
And that's very confusing because if you think those universes are there, you might just think you can get speed ups all the time. It's actually kind of amazing that you only seem to be able to get speed ups in very special circumstances. And for me, this is almost evidence that we shouldn't be thinking that way. Scott, you put this really beautifully. I forget when you said this, but you had this lovely quotation where you're like, these other universes are
Are are are not quite as real as actual universes and not quite as they live in some sort of you know intermediate regime between being real and being not real.
But yeah, I mean, I've been banging my head against the pedagogical problem of how to explain quantum speed up for 25 years, right? And I like to say that quantum computing is a weirder resource than any science fiction writer would have had the imagination to invent, right? It's not just classical exponential parallelism, right?
You know, in order to explain it to people, usually we say like, yes, you can create this superposition over exponentially many possible answers, but then you get only this tiny portal for observing something about it, right? You have to make a measurement. Measurement is a destructive thing in quantum mechanics. It collapses the state. And then your only hope of getting a speed up is to exploit the way that
amplitudes in quantum mechanics being complex numbers work differently from the probabilities that we're used to in particular that they can interfere with each other so with every quantum algorithm you are trying to choreograph a pattern of interference where the contributions to the amplitude of each wrong answer are canceling each other out they're interfering destructively whereas the contributions to the amplitude of the right answer are all adding up
Constructively interfering.
Right, right. Well, let me say a couple of things about this. One is the use of branching tree-like graphical structures is not unique to quantum computing. That's right. If you're teaching a course in probability theory, we draw outcome trees, probability trees, decision trees, all the time to explain things. So I completely grant that drawing trees of branches is a pedagogically useful exercise.
So I wanna then jump on the point that you made, which is that the key to quantum computing is the ability to exploit the fact that these amplitudes are complex and that the different possibilities interfere and you can use them to sort of cancel each other out. Interference is this very important property in getting quantum computing to work. And actually I think that's kind of key because if you think it's all about parallel universes, you might think you get speed ups all the time when you realize that it actually requires this very delicate use of interference
You realize the class of problems you're going to be able to get speed ups for is actually not going to be totally obvious and will require a lot of careful thought. We've been working on it for 30 years. What exactly is that class? I kind of like the analogy between the Everett interpretation and just Darwinian evolution where you have
You know these these populations of species that can interfere with each other you know namely reproduce actually right but you know that's only when the population remains relatively close to each other and it's dna sequence right once you have two isolated subpopulations that get far enough apart from each other then they're never again going to merge right then they really have branched off into two separate branches.
what biologists would call two different species and what in quantum mechanics we would just call separate Everett branches.
is interference and how do you explain interference to students if you're not you know and and and if these aren't really worlds if they're not really macro worlds yet because if they were well-defined macroscopic realities they would have decohered then we can't do quantum computation with them so like what are these things we're dealing with and there's a kind of quietism that one practices let's just not talk about what they mean let's just draw them on paper and work with them and I think we can do better I mean we don't have to do better if the goal
for somebody is just to build better and more efficient quantum algorithms to build quantum algorithms that can do more things. I think this is probably fine, but of course we all come into thinking about quantum theory, quantum foundations and philosophy of physics for a variety of reasons. And I think there are definitely a lot of people who would like a more physical picture that underlies this. And this is where my approach
sort of comes in and I'm happy to say a little bit for those who may be unfamiliar with with my work and how it connects with this this power of quantum computing but let me totally agree with wanting to understand the world yeah not just predict the outcomes of experiments so yeah yeah yeah and then we can talk about how to do that so Jacob before you go on explaining your
Your new formulation, I want to hear Scott Aronson's rendition of it. Yes. But first, before Scott Aronson, before you speak about Jacob's theory in order for Jacob to say yes or no to you, I want you to tell the audience then where do you think this efficiency comes from in quantum computing or where does the interference occur? If it's not these many worlds, if you're not a believer in many worlds, then where do you personally, Scott, think the efficiencies come from?
I mean, a quantum speed up, you know, really, if you think about it, just means classical slowdown, right? It means that our quantum computer can do something that cannot be done efficiently by any classical algorithm, right? And so what it really means is just that of all of the different ways that you might have imagined that a classical computer could efficiently simulate this quantum computation, none of them work.
Right.
Classical approaches work and so I think that the exponential size of quantum states when we write them down in the usual way is part of the story. The entanglement of the qubits is part of the story. If there were an entanglement then there would be a fast classical simulation because I could just keep track of the state.
of each particle separately in my classical computer. The interference is a huge part of the story, because if it weren't for interference, then I could just use a classical computer with a random number generator, and that would do the simulation. So it's really the combination of all of these elements, the exponentially large Hilbert space, as we call it, the
The entanglement, the interference that is ruling out all of the different ways that you could simulate this thing efficiently with a classical computer. Actually, you even need more than that. There are examples of quantum computations, for example, what we call stabilizer quantum computations that have all of those elements.
and yet still they can be efficiently simulated by a classical computer for another reason. If you combine all of those elements, exponentially large Hilbert space, entanglement, interference, then at least there's a chance that you're going to evade any way of simulating what you're doing efficiently using a classical computer. I think that's really what's going on.
Okay now let's hear your recapitulation of Jacob's theory and just for a background for the audience Jacob has a theory on or a formulation of quantum theory a reformulation of quantum theory that gives an ontological account as to what's occurring and it's been covered on theories of everything this channel at least three times and I'll put each part on screen right now and the links will be in the description.
Hi everyone, hope you're enjoying today's episode. If you're hungry for deeper dives into physics, AI, consciousness, philosophy, along with my personal reflections, you'll find it all on my sub stack. Subscribers get first access to new episodes, new posts as well, behind the scenes insights, and the chance to be a part of a thriving community of like-minded pilgrimers.
By joining you'll directly be supporting my work and helping keep these conversations at the cutting edge so click the link on screen here hit subscribe and let's keep pushing the boundaries of knowledge together thank you and enjoy the show just so you know if you're listening it's see you are t j i m u n g a l dot org kurt jaimangal dot org. Yes so it is not every day that i see a claim for a new formulation or interpretation of quantum mechanics.
So, you know, that's exciting. I mean, I tend to think that the basic options on the table, you know, like Copenhagen or, you know, many worlds interpretation, Bohmian mechanics, you know, have pretty much been around since the 1950s with, you know, minor rebrandings, combinations, elaborations since then. And
Jacob is saying he has something different. Actually, when I talked to physicists about this, they said, oh yeah, Jacob Berandes, isn't he the guy who has something that's kind of like Bohmian mechanics? But I think I understand better than I did a month ago what is going on and that it's not quite that. So basically, just to back up a little bit, I would say,
What Jacob wants is to give a new account that reproduces all of the empirical predictions of quantum mechanics so he's not going to change
the experimental predictions. That's what it means for something to be an interpretation or formulation instead of a new physical theory. But he wants to do it with using something that looks more like classical mechanics where you have particles or some objects that will have just definite
Classical configurations, you know, such as just the positions of particles in three dimensional space. Okay. Uh, and you know, and that puts him in a long tradition and people who have tried that, including Bohmian mechanics. Okay. But the difference is, uh, in Bohmian mechanics, you main, you, you retain the wave function, the quantum wave function in your ontology. So you still have this.
You know, gigantic wave of of amplitudes, you know, just like many worlds does. Hey, but then you use that wave to guide the particles along trajectories. All right. So you have let's say particles that have some actual positions in three dimensional space. And then those particles are guided.
There they're nudged around by the wave function in a way that's been precisely constructed to reproduce the predictions of standard quantum mechanics for what would you see when you measure those particles, right? Okay. So that's, that's Bohmian mechanics. Now, Jacob, a contrast is going to get rid of the wave function to not have the wave function in his ontology. And he's not going to have the trajectories for the particles either.
Not in general, anyway. What he's going to have is just, like in Bohmian mechanics, you pick a basis. You have what we call a preferred basis, which could mean positions of particles in three-dimensional space or something like that.
And then at any given time, he wants to say the particles have a real position. The system has a real configuration, a real state in that basis, even if you don't look. But now what he's going to give up on is trajectories for these configurations. So in general, we're not going to be allowed to ask, given that the particles were in this configuration at time t.
What is the probability that they will be in this other configuration at time t plus one? We're only going to be allowed to ask that question in the cases where it would normally make sense. In quantum mechanics, we would say that it's in superposition,
Jacob would just say, well, you're allowed to ask at any individual time, what is the probability that the particles are here or that they're there, but you're not allowed to ask given that they're here now, what is the probability that they are there then? And so this is what he means in talking about indivisible stochastic dynamics. So he wants to reformulate
say you know this what in the standard picture would be the schrodinger equation you know that governs the evolution of the of the wave function as a differential equation that is governing the stochastic evolution
of these what we might call a hidden variable except it's not really hidden, the classical positions of these particles. So he's going to give you an evolution equation for that, but it's not divisible. In the cases where in the standard account we would say that quantum interference is happening, you're not allowed to ask for
Transition probabilities you're not allowed to ask for the the the the whole path that is followed by these particles or like You know given that they're here now, then what's the chance that they're there then it's just all one? indivisible stochastic evolution, so That's my understanding of it and now Jacob can tell me what I got wrong Thanks, yeah, so let me just say a couple of things about this the first is
There is a kind of a paradigm that we all work under. It's a paradigm that I grew up learning about when I took my university courses in quantum mechanics.
You know, I ended up doing a PhD in theoretical physics and we used quantum theory all the time. I used a tremendous amount of quantum theory applied to fields. And so we learned quantum field theory. And so there's a certain way of thinking about quantum mechanics and thinking about how it's supposed to work, starting from the textbook axioms, the so-called Dirac for Paul Dirac von Neumann from John von Neumann axioms that you get from respectively 1930 and 1932.
I'm
When the system is evolving through time in a way where it's not mutually exchanging interactions or information with any other systems evolves according to a rule called smooth unitary time evolution, which can usually be for some systems expressed as differential equation. That's the Schrodinger equation. And then you have all these measurement axioms, all these axioms about what are the mathematical objects that represent the things that we can observe about the system.
How do we get probabilities out of the theory for those measurement outcomes that's called the Born Rule and then we're supposed to collapse the quantum state to reflect the result of the measurement and give robust reliable predictions for subsequent measurements. That's the standard picture and this picture is built around the idea of the quantum state. There's this paradigm I call the wave function paradigm that quantum theory begins by talking about wave functions or some suitable generalization of wave functions that live in Hilbert spaces
And then we're supposed to sort of figure out what we're supposed to do from there. When you start from this picture, it sounds very complicated to construct a different picture, because you start with all these Hilbert space ingredients. You're like, well, we've got a Hilbert space. Hilbert space is a kind of vector space. Vector spaces can be described using what are called different orthonormal bases. So what you have to do is you have to pick an orthonormal basis for some reason. And then from that orthonormal basis, you have to do this and do this, and you have interference, and you have the Hilbert space.
You know, and you have the Schrodinger equation, which has to be translated back. I mean, when you start from this paradigm, it makes everything sound very complicated. And you see this all the time when you're talking about, you know, different paradigms for a theory that from maybe a newer paradigm, you know, a new paradigm can look very complicated when one attempts to express it in terms of an older one, or even very difficult to understand. And there's this whole theory, this whole story in the history of philosophy of science about the incommensurability of different paradigms. So let me just
We just start from the beginning, okay? I don't believe that paradigms really are incommensurable, but you know, that's a separate discussion. That's fine. I won't take a stand on this. I'm not ideological about this. I'm only saying that there is in the history and philosophy of science this idea that paradigms can be incommensurable. I won't take a stand on it. Yeah. What I would say, Jacob, is that, you know, if you say that this is, you know, a new paradigm for quantum mechanics and that
you know, we shouldn't try to express it in terms of the old paradigm, then the task for you, the next task would be to explain, you know, take all the successes of quantum mechanics, you know, all the phenomena that we know about, you know, including, you know, Shor's algorithm, Grover's algorithm, you know, quantum teleportation and show how they have simpler explanations in terms of indivisible stochastic dynamics, right? And what you won't be allowed to do
When you do that, just translate it back into the usual ket notation, the usual Hilbert space picture.
Invoke this theorem that says that it has an equivalent representation in my picture because you know if that's you're going to be your answer then you know you're telling me that in practice I should just continue using the standard picture right and and I should continue to think in terms of it right if you want me to switch to thinking in in terms of a different picture then you have to show me how all the the specific successes of quantum mechanics that I care about
actually are simpler to explain, present in terms of that new picture. So let me say a couple of things about that first and then I'll get to it. Yeah. So one of the things I'm going to do is explain what this approach is on its own terms. But of course, one of the important things about this approach is that it leads to an ability to reconstruct the standard axioms and the Hilbert space picture in its regime of validity and say a little bit about why it has this sort of limited regime of validity and how one might extend that.
But I'm not saying, to be super clear, right, I'm not saying that we should stop using the Hilbert space picture any more than, you know, if you want to, you know, study a problem in classical physics using the action angles formulation, or you want to do Hamiltonian Jacobi theory, or you want to help yourself to canonical transformations or canonical perturbation theory, or one of a million other things that you might want to do, visualize trajectories in phase space, you're going to use the Hamiltonian phase space reformulation of classical physics.
So if someone comes along and says, oh, you know about Hamiltonian, the Hamiltonian phase-based formulation, you've got Q's representing positions or some generalization of positions and P's representing some generalized notion of momenta, the so-called canonical momenta. And you have this phase-based picture. You've got the dynamics, the equations that describe how things evolve according to Hamilton's equations of motion. And you have these beautiful symmetries. You have this ability to do changes of canonical variables, these so-called canonical transformations that can scramble what the whole picture looks like.
You know it's long and says actually think that there's a physical picture here the thing you're describing is an object moving around you know it's stuck to a spring or a pendulum.
you know and the person says well okay that's a useful picture that's helpful but will it help me do canonical perturbation theory will it help me do action angle variables i would say well no we have this beautiful hamiltonian framework for doing that you should use that still or another example is we have general relativity so general activity this is teaching jealousy for 10 years but when we do orbital calculations in like you know sending spacecraft
Or even can only be treated using your formulation.
Right, right. So, let me start with that. I want to get to explaining what it is, but let me just quickly jump to that, okay? Okay. So, if what you're doing is, again, developing algorithms for quantum computing, I don't think there's no obvious sense in which this gives you the ability to do anything differently from what you would do in the old paradigm. The tools that we have are extremely good for these situations. You're studying tabletop kinds of systems where the Dirac Von Neumann axioms work really great.
But those are not the only kinds of systems that physicists are interested in. So physicists are interested in applying quantum mechanics in astrophysical situations to early universe cosmology. And people are trying to apply quantum mechanics in the context of quantum gravity. They're trying to do quantum mechanics applied to black holes. They're trying to do quantum mechanics. And now you're in situations where the Dirac-Vitamin axioms are very ambiguous about what you're supposed to be able to say.
I was often very confused.
about, you know, when we were legitimated in using the textbook version of quantum theory. And again, I wasn't the only one. I mean, we would routinely run into situations in which people would say, well, can we do this particular thing? Does this make sense? We have this sort of nonlinear dependence on this or that and what's going on with black holes. And people were genuinely confused about how to apply quantum theory to these situations. But these are situations that are different from what you'd find in tabletop experiments. It'd be like saying, why do I need general relativity on Earth?
Newtonian gravity works fantastically. Well, there are systems that are beyond Earth where we may need a better theory because things get more extreme. Let's agree that if you could say something new about quantum gravity, that would be great. Right? No argument there. Now, if we think of you as, you know, you are sort of hawking a new product at the foundations of quantum mechanics bizarre, right? Well, OK, the quantum gravity theorists are potential customers.
I am also a potential customer. I am in the market for even just a reformulation of existing quantum mechanics that would help in coming up with new quantum algorithms or understanding for which problems quantum computers will give a speed up and for which they won't. If someone can give me that, that's great. I'll buy it. There's a lot of things that one might want to do with reformulating quantum theory.
you know the existing approaches that we have the existing if you want formulations interpretations i honestly i i know that the terms don't exactly mean the same thing and there are some people who really like to to be very precise about what they mean but but i'm happy to call this a formulation interpretation that doesn't that doesn't bother me um okay but but that that that at some at some point that that might actually be the crux like are you making a new ontological claim or are you just giving a new mathematical reformulation
But both are very clear for everybody it's both there's both an ontological statement about what is actually out there and also sort of a new mathematical formulation to be clear like when paul dirac introduced the path integral in this paper in nineteen thirty two lagrangians and quantum mechanics.
He was just curious how Lagrangians show up in quantum mechanics, this classic idea of Lagrangians, because the theory at that point had been developed only in the Hamiltonian formulation. And it took 10 years before Richard Feynman came along and incorporated this idea into his PhD thesis.
Then six more years in 1948 in reviews of modern physics and when he spelled out the idea for a broader physics audience and even then he said in the paper, there's nothing you can do here that you can't do using ordinary methods. It took decades for people to realize that there are situations in which you would never want to do things in the canonical Hamiltonian formulation. In particular, things like Yang-Mills theories, right? And the standard model is formulated in the Lagrangian path integral formulation for very good reasons.
Sometimes ideas do take a while to come to fruition. And another good example is David Bohm's work. So decoherence goes back to David Bohm's work in 1951. He was trying to understand foundational questions of the measurement process in his textbook, Quantum Theory from 1951. And in chapter 22, he studies the measurement process. And famously in section 22.8, destruction of interference in the process of measurement, he introduces this idea of how decoherence works.
You know, and it takes decades for that eventually to become a major part of how we think about quantum computing, right? I mean, decoherence timescales are now a thing that people just talk about constantly. Things do take time, but you have to begin with a new idea. And I think it's just interesting when you have a new idea that isn't obviously wrong or inconsistent. So the first thing I'll just say is, like, certainly if there are any inconsistencies or problems with this new formulation, that's a fair game. But if the only thing is to say, well, I don't know what to use it for yet.
I think that's actually pretty good. We don't always know what to use things for initially. In that case, let's delve into the idea. So I still want to know did I get anything importantly wrong in my summary of what you are asserting?
So, okay. One, you made a comment earlier, does this thing make any new predictions? Yes. I'm going to come to that point. Okay. Another, you talked about whether this thing has any trajectories in it. I'm going to come to that point again. All right. But broadly speaking, I think that if you're starting from the Hilbert space picture and trying to explain
like backward had to go from the Hilbert space paradigm if you want to this paradigm I think broadly speaking your pictures right but I think it for people who are hearing this the first for the first time it sounds very complicated let me just explain I mean I'm just thinking of someone who already knows quantum mechanics and what the quickest route to get them to understand but you were asserting right right right but again it'd be like starting with a Hamiltonian phase-space formulation and saying we're gonna pick a canonical frame I mean what choice do we have we have to be people where they are
Right, absolutely. Well, the choice is, you know, to, you know, for new people coming to quantum theory, right, who are, you know, yeah, but okay, so let me let me just start from the beginning. We listed all the direct phenomenon axioms, they involve all these exotic ingredients, we're not going to do that. Here are the starting assumptions. Here are the axioms. The first is
that a physical system has a configuration and that configuration comes from some menu of configurations that we like to call if it's a nice continuous set of possible configurations, a configuration space, not a physical space.
uh... and this is a this is we call this the kinematical part of the theory and it's very similar to what you do in a classical theory classical theory you begin by picking up an appropriate set of or space of configurations that you want to use to model the system in question if you want to study particles you would pick arrangements of particles in space if you want to do fields you would you know consider uh... you know configurations of field intensities localized to places in space or in a you know a discrete system like in a computer you would pick you know arrangements or patterns of on and off switches and memory registers
or whatever so that's that's model dependent you pick what you need for the model you want to do and that's the first axiom we just pick a set of configurations the second is the dynamics the dynamics means the dynamical laws the mathematical laws that describe how configurations are supposed to change
And, you know, in, you know, physical theories up till now, you know, under this sort of Laplacian paradigm, the idea is we have some kind of differential equation that takes our present configuration and then tells us later configurations in some smooth way, usually in the language of some giant difference equation, we don't do that.
The new dynamical postulate is there's just this family of conditional probabilities. This collection of conditional probabilities of the form, given that the system is in such and such configuration at this conditioning time, this is the conditional probability the system will be in such and such configuration at a particular target time. Conditioning time has to be a special time.
We'll talk about, yeah, that's what we'll talk about. So this is a sparse set of potential probabilities. They're not, they're not completely comprehensive. They're not, you know, they don't exist for all conceivable, you know, things you might pick for target and conditioning times. In particular, the conditioning times are a little bit special.
That's what makes these a sparse set of conditional probabilities and because they're special these processes are called indivisible processes. And indivisibility just means that there's like a failure of iterativeness. You can't just take some process over some amount of time and just act repeatedly with some map or rule that then gives you for each successive time because that would assume that every single time is a time at which you can restart and condition on.
If you give up that assumption, you have a simpler collection of conditional probabilities. These processes entered the research literature in 2020 in a preprint by Simon Mills and Kevin Modi in just sort of a throwaway comment in Figure 6 in their paper, which was a beautiful review article on classical and quantum stochastic processes that I highly recommend. It's on PRX quantum. It's available for everyone.
You can also get the archive version of you or whatever. But, you know, and then ultimately it was published, like I said, in PRX Quantum, that was that was next year. So 2021, this is like a relatively new idea, hasn't been explored by people who work in statistics and in the theory of stochastic processes. These processes are not Markovian. So Markov processes are processes that have this nice iterative behavior. Broadly speaking, I mean, it's a little more subtle than that.
But but but even you know when people have considered traditional non Markovian processes like in the textbooks.
When people think about non-Markovian processes, they imagine these very, very intricate structures with these towers of higher and higher-order conditional probabilities that are all different from each other. They get very, very complicated. They're very difficult to formulate and specify, and that's why people, when they can, typically try to write down Markov processes. These indivisible processes are even simpler than Markov processes. They fail to be Markovian, not because they're more complicated than Markov processes, but because they're actually simpler than them.
There's new mathematics to be done. There's new ways to think about things.
Remarkably, you know, so you might have just thought, well, if there's this new kind of process that's simpler and more general than the processes we've been dealing with, can it do anything? Does it have any applications? And it turns out it appears to be exactly right to give you that quantum theory. So again, the two assumptions are configurations and configuration spaces and the dynamical laws are these sparse conditional probabilities that generically will fail to be indivisible. Sorry, will generally fail to be divisible. They're called indivisible processes. And then there's the mathematical correspondence, a map.
That's very analogous to the map between a classical Newtonian system and the Hamiltonian phase space formulation, which is this very mathematically abstract formulation with all these symmetries and all these calculational tools. And that correspondence is called the stochastic quantum correspondence, and it lets you go between the two pictures. So, you know, once you avail yourself of this map, you can just systematically reconstruct all the axioms.
But now you know where they sort of come from, and you get these very beautiful ways to understand where some of the weirdnesses of quantum theory come from. So let me take, for example, the complex numbers. When you want to use this to cast a quantum correspondence, what you find generically is that it only works when the complex numbers are introduced at this step. Or some algebraic structure that is algebraically equivalent or isomorphic to what we call the complex numbers.
I'm
Ordinary old-fashioned probability theory, right? There's no Hilbert spaces. It's just systems moving around, and the probabilities are old-fashioned probabilities. They have all the usual rules of old-fashioned probabilities. And when you want to write it in this Hilbert space picture, what you find is that in most cases, the complex numbers are necessary to write down that description. So this gives a very satisfying explanation of why we need the complex numbers in quantum theory. I do think there's something nice that is going on there.
axiomatic reconstruction of quantum mechanics, which is another thing that people have, you know, Lucy and Hardy and many others have, you know, Julio Chiribella have tried for many years, you know, which I would think of as a somewhat different game from interpretation of quantum mechanics. Yes, yes. I should say that those approaches, for example, Hardy's approach, right? He has this and I recommend this to everybody who's listening because it's a beautiful paper. It's quantum mechanics from five reasonable axioms.
But these approaches are explicitly instrumentalist. They're part of this larger idea called generalized probability theories, the other GPT, the original GPT, which is just to treat quantum theory as kind of an instrumentalist device in which agents or observers do measurements on things. So these are not intended to be physical interpretations. So to be super clear, this is a very different kind of a picture. But let me go farther, right?
One question people have is like, why interference? Why linear? Where do these features come from? And interference is this very bizarre, as we were talking about earlier in this conversation, it's something about if you take kind of a many worlds-ish kind of attitude, we've got different realities, but they're not really different realities yet, because they're not macroscopic and they haven't decohered yet.
you know and and somehow their complex numbers and they can cancel each other out right but like what is going on physically there's kind of no like clear physical picture here in it but because you have this correspondence now between Hilbert space this Hilbert space story and this stochastic story you can translate back and forth to get a physical picture and if you translate interference back to this picture what you find is that literally just the indivisibility if you take a process
uh... and you start from some conditioning time and go to some target time you'll get some a statement about the conditional probabilities the system will end up where it does if you by hand just demands that we can slice this process up and write down the kind of nearest approximate divisible counterparts of this process you just divided by fiat at this intermediate time and then try to treat it as a as a process with a division in the middle you'll get the wrong answer
What's fascinating is that when you compare the correct answer with indivisible dynamics to the wrong answer, you just subtract the two, subtract the predictions of the one from the other. The formula that pops out is exactly the formula for interference. So interference now has an interpretation. It's just if you want to go to a formalism,
Not an indivisible formalism with laws that are sort of hard to apply, but you want to go to this nice, beautiful, clean, smooth, Hilbert space formalism in which you can do time evolution in steps. You use unitary time evolution. It's nice and divisible. It looks Markovian. Then the cost you pay, the indivisibility doesn't go away. It manifests as this very abstract, very confusing kind of interference. But now the interference has like a physical meaning that it didn't have before. I mean,
I have two points to make first that may change your view on this.
The first thing before, let me just say,
Because you're reconstructing the axioms of quantum theory, you don't have to go through one at a time and check that every single thing comes out. You can, and some papers do that. So you've got a couple of things. One is this question about there are no trajectories. I want to be a little more precise about this. The statement here is that there are, it's not that we're saying that there's no trajectories. What we're saying is the theory doesn't supply you with a precise description about what trajectories are taken. So, you know, the system at any given moment, there is a probability distribution for the configuration of the system.
And these probabilities these distributions are where the system is changing in some circumstances you can make conditional probabilistic statements about where the system will be in other cases you can't. But this isn't to say that the trajectories aren't there just that we don't have the tools from the theory to tell us what they're doing now you could say this meets them on observable and we can run into a discussion about should a theory on observables and let me pass this over to Scott.
Stanis, are you committed to the existence of trajectories even if you can't calculate their probabilities? Yes. You are. Yes. Okay, so you say that there really are trajectories. Yeah, the system is really doing things. It's just that your theory doesn't tell you their distribution. Correct.
Okay. That is different from what I thought. Excellent. I thought that you were denying the existence of the trajectories. No, no, no, no. There are trajectories. The system is following some path. We just don't know what it is. If you had a God's eye view and could see the entire universe unfolding, you'd see all these zany trajectories. You wouldn't need probabilities. You wouldn't need quantum theory, but we are epistemic limited beings. Okay, but it's not just that your theory doesn't tell us the trajectories. It's that within the
in the
As you know, on Theories of Everything, we delve into some of the most reality-spiraling concepts from theoretical physics and consciousness to AI and emerging technologies. To stay informed, in an ever-evolving landscape, I see The Economist as a wellspring of insightful analysis and in-depth reporting on the various topics we explore here and beyond.
The economist's commitment to rigorous journalism means you get a clear picture of the world's most significant developments, whether it's in scientific innovation or the shifting tectonic plates of global politics. The economist provides comprehensive coverage that goes beyond the headlines. What sets the economist apart is their ability to make complex issues accessible and engaging, much like we strive to do in this podcast.
If you're passionate about expanding your knowledge and gaining a deeper understanding of the forces that shape our world, then I highly recommend subscribing to The Economist. It's an investment into intellectual growth, one that you won't regret. As a listener of Toe, you get a special 20% off discount. Now you can enjoy The Economist and all it has to offer for less.
Head over to their website, www.economist.com slash totoe to get started. Thanks for tuning in. And now back to our explorations of the mysteries of the universe. Nature says that. Why don't we just believe nature? Okay. Okay. So then that is, that is a very key difference from Bohmian mechanics, let's say, right? Where Bohmian mechanics will just say, you know, among all the math, you know, the choices that we could possibly make,
for
Central objections that I have always had to Bohmian mechanics is well choice Why not a thousand other equations that I could have also written down would have been? Empirically indistinguishable from that one right agreed and and so you know you're saying okay? Well there is some you know distribution over trajectories right there is some you know you know as there would be Completely agnostic about which
Right. So to be clear, we're not providing a probability distribution over trajectories. That's kind of the thing. You're not. You're not. I understand. Excellent. Yeah. Okay. Yeah, but this isn't, I mean, so one objection one can always raise if you're not supplying individual trajectories. And I did a lot of early work in the modal interpretations. Okay. In modal interpretations, the failure to provide trajectory information can lead to ontological instabilities that are very severe.
where like macroscopic systems can fluctuate between like cat alive, cat dead, cat alive again in ways that are sort of uncontrollable. So what you don't want is for the inability to specify trajectories to bleed into macroscopic systems. But what you can show is precisely because as systems get bigger and bigger, they have more and more and more of these division events that just arise from the interactions of the environment.
That for macroscopic systems you get a really nice clean evolution when you work in terms of collective variables and appropriately coarse grained degrees of freedom you find a macroscopic systems they do move in very predictable ways even though way down deep.
their individual elementary particles or elementary constituents, whatever they are, are behaving in ways that can't be assigned within the theory specific trajectories. So it's very important that we close the gap between kind of the unpredictability of the trajectories for microscopic things and the emergence of nicer trajectories for big things. And this is something I'm very sensitive to, again, because of my early work with modal interpretation. So I just wanted to say something quickly about the trajectories. I'm glad we touched on that. The other thing I wanted to say was this question about does this make different predictions? So
The Dirac phenomenon axioms are ambiguous about what should happen when you've got very large systems that you want to treat quantum mechanically, right? This is, this is the heart of... Systems include us. They include us, but short of your cat, Vigner's friend experiment, right? And so there's just an ambiguity and a particular... I mean, in some sense, as long as the cat or the friend or whatever is external to you, right? As long as you are willing to treat it as just a collection of atoms.
you know, even an enormous one, you know, of evolving by Schrödinger evolution, then it's, it is unambiguous what to do. But if you yourself are part of the system, I mean, I think, I think that is when the empirical problem arises. I mean, you know, I think a way to put it, and I have this, this flow chart that maybe, maybe Kurt can, can, can, can attach, but I call it the vigorous friend flow chart. And it just basically like,
In the Victor's Friend Thought experiment, which again if people haven't heard about, the super quick summary is there's now two observers, very important there's now two, Hugh Everett who first introduced it in the literature in his long-form thesis in 1956, he phrased it as two observers,
In the simplest case, one observer, Wigner, is outside of a box that is sufficiently sealed for the duration of the experiment that we can pretend that nothing leaks out of the box or goes in. And then Wigner's friend is a second observer inside this perfectly sealed box, along with some quantum system and some kind of superposition that this Wigner's friend is going to measure or do a measurement process on. And the question is, now that we have two observers, there's this ambiguity.
Do we activate the collapse or the measurement axioms? Do we not activate them? Do we activate them for everybody or for nobody? And you can just construct a detailed, when I have this conversation with Vigner's friend, people tend to dodge and weave, right? I'll say one thing and then they'll go one way. I'll say, but if you just draw a whole flow chart and just say, here's the flow chart, here are all of your options, you have to pick one. Yes or no to this, yes or no to that, yes or no to this, yes or no to that. And all of them end at some kind of either problem or they end at some kind of interpretive stance.
If you believe that Vigner's friend on the inside in fact really does collapse the quantum state by this measurement, then you run into the measurement problem, right? To head on into what counts as measurements, what doesn't count as measurements. If you believe that collapse happened but it wasn't because of the measurement, then you're talking about a dynamical collapse or some other theory about why collapses happen. If you don't believe that the overall wave function is collapsed, then either Vigner's friend did in fact have a result
There was in fact a result despite the fact that it's not reflected in the overall wave function, and that is by definition a hidden variables approach. And a lot of physicists implicitly take this approach if they don't want to be meta-worlders. They're like, well, we just have to be perspectival. They're different perspectives. Vigner on the outside assigns one wave function, Vigner's friend on the inside has a definite result, but this is literally a hidden variables approach. Or you deny that there was in fact a definite outcome, and you're either embracing that more than one outcome has happened, and that's kind of a many-worlds type ontology, or that
Where did nothing happens that without you that that because from inside somehow didn't yield anything at all and then you're embracing some kind of anti realism which is going to be radically self undermining and those are your options you have to pick something and you i know that you know it you can sort of try to not but it just of staring you right there i am explicitly embracing the option that the overall
Well, on the Hilbert space that we would say the overall wave function in the stochastic side, we would just say that there's just ongoing indivisible stochastic process happening isn't broken. That's what's going on for the overall system. And at the same time, Vigner's friend did have a definite results. So you can think of this if you want as a hidden variables approach. Although, as Scott pointed out, these variables are not hidden to Vigner's friend and they're not extra or additional variables because the wave function is not a physical object. These variables are the only things there are.
So I'm explicitly embracing that part of the flowchart and that makes a prediction different from the Dirac Phenomenaxioms, which just either run into the measurement problem or ambiguous about what's supposed to come out. For the benefit of listeners, I think we should say that the trouble with using the Wigner's friend thought experiment to get predictions
Is that at the end of the experiment, you don't, you know, that Vigners friend doesn't actually have a memory of what happened, which we could use to test this prediction. Right. So like, like by the time it comes to, you know, we asked the friend at the end, you know, what, what, what did you experience? Right. And then we, we write it down and we publish it in a journal, right. Then we all know how to do the calculation.
For what the friend is going to say you're going to follow the usual born rule of quantum mechanics you know unless you know there's some dynamical collapse thing going on or something of that kind right but otherwise you know you're just gonna say the same you know quantum mechanics that we've known for a hundred years right if there's any empirical difference it can only be in what vigorous friend is experiencing while the experiment is under way.
Just for the benefits of the viewer, I'm going to place the image that Jacob was referencing on screen. And then I also want to bring up that I asked you, Jacob, the last time, hey, what's the difference between Wigner's friend's experiment or thought experiment and the Schrodinger's cat, except the cat is now a friend?
Yeah, they're basically the same thing. It's just a question of like, is this, are we worried about just a large system being placed in superposition? Are we worried about the fact that it's alive? Or are we worried about the fact that it's conscious? And that like in some sense, we could be it. It sounds like it's just that cats can't usually report experimental findings. Right. You can just sort of heighten the dramatic stakes by going from like just a really large object
to a cat
Well, that's clearly wrong. Yeah, I don't think we can agree on that. I don't think so. Or that cats never treat humans as their friends, something like that. Well, I mean, that's how we know. I mean, cats can be friendly, but on their own terms. That's the difference from dogs. Right. Let me just quickly say about this comment about we all know what would happen. Actually, we don't know what would happen. And the reason I say that is, according to the drag phenomenon axioms, if you read the axioms one way,
Then there in fact is overall unitary evolution. The whole apparatus evolves. As far as Wigner on the outside is concerned, there's no loss of coherence, and we can do in principle interference experiments or even do it reverse unitary and reverse the system to where it started. But the Dirac-Vindemann axioms, they say that when a measurement is done, then things collapse. And if you take that seriously, then you can't do those operations. You can't do interference experiments on Wigner's, on the box. You can't undo the procedure unitarily.
And so this is the ambiguity. And I think what you're basically saying is, which is what most physicists do, is we're going to resolve that ambiguity in favor of maintaining unitary evolution. But that, strictly speaking, goes outside the direct von Nexium. So when a physicist says this to me, they're like, we don't need all this philosophy. We don't need quantum foundations, you know. But in the Wigner's friend thought experiment, we're going to take this this prong of the fork.
there are
Well, then you're on my playing field. Now we just have to give an account that's consistent of when we're allowed to do this and when we're not supposed to do this or justify it. If the draft line of axioms are not available anymore, if we've gone beyond them, then we need new axioms, right? Because if you're outside of your axiomatic framework, you're just flying around in the void. You need somewhere else to stand. And all I'm saying is that we should have another set of axioms
that you just made.
The audience is here and has been watching since the beginning and knows Scott is in the market. Scott is a working quantum mechanic who actually wants to buy from you, Jacob. He just wants to make sure that you have something that's worth buying, but he wants it. So now Scott probably has some objections like I would buy from you, Jacob, but A, B and C. So what is it? Yeah. So at some point in this podcast, I did want to say, you know, why I am, I think I am not
Currently buying this product you know i i might revisit it in the future if it you know and i'm very happy for jacob to hook this product to other people but i can explain why i why why you have not close the sale with me today okay and the reason is you know if you are telling me that you know the you know there are you know particles that you know have real positions in space
And now you're also telling me that those particles have trajectories, right? But the trajectories are unknowable by us, right? You know, you can only from quantum theory, you can only get this indivisible stochastic dynamics, right? That just sort of tells you, you know, we're not allowed to ask, right? So for example, if I am Wigner's friend in the experiment, I cannot use this to predict
Given that I am having this one experience at one time, then what is the probability that I will have a different experience two seconds from now? I can't actually use it for that. It is unknowable by me. Well, guess what? That's what standard quantum mechanics told me. It told me it is unknowable by us. I feel like at that point,
I might as well just say that what is knowable, what is within the ambit of physics to talk about is the wave function, which is what most views of quantum mechanics have been saying for a hundred years. I haven't sufficiently improved over that.
You know, for me, you know, to say for let's say in the double slit experiment to say that, you know, we can improve over, you know, the just having a wave function where there's some amplitude for the photon to go through the first slide and some amplitude to go through the second slit, you know, it means saying something like,
Okay, well really the photon goes through one slit or the other slit and I can tell you the path that the photon will take, which is exactly what the Bohmians claim to do. If you're not going to say that, if you're just going to tell me, well these indivisible stochastic dynamics give you the probability distribution over where you'll find the photon if you were to measure it at any intermediate time,
But if you don't measure it at the intermediate times, then it could be jumping around in some way that's only known to God. Well, I feel like that's what standard quantum mechanics already told me. It already told me how to calculate the probabilities if I measure the photon at any specific time. And it told me that if I don't make the measurement, then I don't get transition probabilities. So just sort of metaphysically asserting
that you know there is this basis in which transition probabilities exist and i can't know what those transition probabilities are you know i can't know what the distribution over trajectories is it just it just feels like an ontological commitment that is not paying rent for me
You know, it is not sufficiently improving. You know, I, I, I have a very strong belief. Like I do want to know what is really out there in the world. You know, I am not an instrumentalist, right? But I want to fit my ontology as tightly as possible to what is actually observable or what is at least in principle observable, right? Cause I think the history of physics has given us so many examples where people confuse themselves.
by, you know, let's say, you know, reifying, you know, things like, like the, you know, the in general relativity, the coordinates, right, or, or the choice of gauge, you know, and get right the things that don't actually make a physical difference, you know, the global phase of the wave function, right. And, you know, and again, and again, the right answer has been try to just cut out from your ontology, things that are not observable, even in principle, right, have an ontology that is as
you know, tightly fit as possible to the set of all things that could in principle be observed. And, you know, whatever my reservations about the many worlds interpretation, and I do have reservations about it, but at least it tries very hard to do that, right? It tries to say, look, you know, the wave function is the encoding of everything in principle that's observable. So that's what we're going to take as our ontology full stop.
It tells a very specific story.
Of course, one can then object, well, why that story, as opposed to a hundred other stories, but at least it is a story. At least there's a clear story that we can stare at and poke at and see if we like it. Now I feel like we are adding additional ontology without adding a story that goes with it, in Jacob's view. That is a thing that you can do.
But I don't see that I'm going to get something from that that is worth the price of admission, at least not for me, not right now. But I would say go in peace. If this helps for quantum gravity, that would be awesome. And that would certainly be one reason to take another look. If this gives new insight into
Think Verizon, the best 5G network is expensive? Think again. Bring in your AT&T or T-Mobile bill to a Verizon store
Jokes aside, Verizon has the most ways to save on phones and plans where everyone in the family can choose their own plan and save. So bring in your bill to your local Miami Verizon store today and we'll give you a better deal.
I'm
You're the hope the the measurement that the biggest friend does generates division event in the division event is a is a place which you can then make conditional problems predictions from that moment. The scenario that i had in mind is that let's say that there's friend is in a superposition of two mental states and then we do i had a mart operation on that you know so we do some interfering operation or in your terms of indivisible operation that maps us from one superposition to a different one.
And then the issue is that, you know, in normal quantum mechanics, we would not get transition probabilities. That's the scenario that I would... That's fine. Right. Exactly. Yeah. But for, you know, Wigner or you or anyone doing measurements like regular life, you're going to be able to make those predictions and those comport with what we see. OK, so... I understand that. I mean, let me get to a couple... Because real life is pretty decoherent. Exactly. But let me now get to a couple of the items you brought up. Yeah. And let me just say, first of all, before we even get started,
Not everybody has to agree that this is the way to go. I'm not selling this to you personally, Scott, although it would be lovely if you liked it. We're all looking for different things, right, like I said. And, you know, when you're teaching quantum mechanics and we just sort of snow over students, we stupefy them by saying here are the axioms and the students look on gawking and they're just like Hilbert spaces, linear algebra, density matrices, self-adjoint linear operators, you know, POVMs and, you know,
You render them in a state where they can't even like even be able to ask questions about why I only introduced those things as needed. But, you know, I mean, so, of course, I'm also in the market for better pedagogical ways of teaching quantum information to students. I would love that. But it sounds like even if I believed in your, you know, philosophical commitments,
Sounds to me like I would still have to teach the students about unitary transformations and all those things because how else are they going to, you know, do the calculations? Agreed, but there's a difference between saying I've got forces in Newtonian mechanics that push on things and then through like a sequence of mathematical transformations I can turn that into the Hamilton equations of motion or the principle of least action.
And then, by contrast, showing up the first day and just saying, Hamilton's equations of motion are a principle of least action with Hamiltonians and Lagrange. I mean, there's a total pedagogical difference there, but let me put all that aside.
at one other point is important. You know, this old joke, right, that these two campers and they hear a bear. Yeah. And one of them starts running and the other one starts putting the shoes on. And the first one, what are you doing? You can't outrun a bear. The person's like, I just have to outrun you. I'm not proposing here that this interpretation or formulation is going to satisfy everybody.
And I'm not saying that it's necessarily the final word, but we don't even know if quantum theory is the final word, right? I mean, if we're trying to develop a theory of quantum gravity, it's possible that quantum theory will have to be modified in some even more profound way than is that is specified by this approach. But the question is, is this at least an improvement over the other interpretive or formulations that we have?
And I have a clear set of reasons why I think that is the case. So if someone is coming to me and saying, we've got enough interpretations already, why do we need another one? I'm just going to sit back and sit on many worlds, or I'm going to recline on Bohmian mechanics, or I'm going to recline on Copenhagen or whatever. What I'm telling you is that those are not true safe harbors, right? They're giving us a false sense of security.
Here is a list of criteria that I would argue are required of any good theoretical framework in physics or formulation, and certainly for quantum mechanics, even apart from any aesthetic judgments or preferences. One is the thing has to be empirically adequate, right? It has to make predictions. The predictions have to agree with what we're seeing. That's just the first item for, you know, all the kinds of systems that we're interested in quantum mechanics. So empirical adequacy is the first. The second is it shouldn't be vague.
You know, if someone asks you a question and they just sort of dodge and weave and they're vague and, you know, I don't know what we could say, but kind of know when we see it, we'll use our expert intuition like that's that's vagueness. The third is. It shouldn't make it shouldn't be unambiguous in making predictions for certain kinds of systems that while may be practically difficult to study in principle, one could study. And this is, again, like macroscopic type systems like the biggest friends set up.
There should be at least a schematic in principle story to be told about how the classical world is supposed to emerge. It doesn't have to, I mean, obviously getting all the precise details is going to be very difficult. It's very difficult to, you know, do all the details and explain how even classically, you know, classical deterministic kinds of dynamics emerge from classical system mechanics. But there's at least like a schematic story about how that's supposed to work. And the final thing is it shouldn't depend on a long list of
what i call sm h's speculative metaphysical hypotheses or ad hoc extra empirical axioms in order to get off the ground a long list of epicycles but those are the things that i think we should reasonably require and my view is that none of the interpretive approaches we have meet those minimal requirements
And I can explain in detail why each of them doesn't. Bohmian mechanics has proved very, very hard to generalize beyond systems of fixed numbers of fundamentally many non-relativistic particles, so it's proved very difficult to use it to understand how quantum field theories are supposed to work. In the standard model, our best theory of the fundamental reactions is written in terms of quantum field theory. In particular, Bohmian mechanics has a great deal of difficulty handling what are called fermionic quantum field theories, which don't have traditional configuration spaces of the kind that Bohmian mechanics would want to help itself to.
But mechanics up a new evolution role even if it's a stochastic one
You may have to pick a preferred reference frame or things like that. That's what people do. Here's maybe the core of my objection. I feel like Bohmian mechanics has all these problems because it tries to make a concrete commitment. You're avoiding that just by not making a commitment to what are the trajectories. As soon as you made that commitment, then you would have the same problems as Bohmian mechanics.
Yeah, which but but so and you're right bowling mechanics attempts to write down like very carefully written down complicated Some would argue gerrymandered Stochastic dynamics in these sorts of situations. This is the work of people like Shelby Goldstein and so forth who've tried to generalize this When they need preferred reference, right? It turns out to be super duper duper complicated and it looks very sort of
That is not the product for me either. But I mean, look, Jacob, once you have told me now that you are committed to the existence of trajectories, even if we can't know their distribution in principle, now actually your view sounds more similar to Bohmian mechanics than I thought.
Going into this conversation, but it feels to me like boom minus minus, you know, it is, you know, it is boom, except you're taking away the specific commitment about the guiding equation and you're saying, you know, who knows which, you know, yes, you can do that, but you know, you know, like, like I even would have, you know, would have known before that that was an interpretive option that was on the table, even though I wouldn't have phrased it in terms of indivisible stochastic dynamics.
Yeah, so let me just say earlier on when you mentioned a bohemian mechanics, you talked about the physicality of the pilot wave. I should just note that when Bohm introduced bohemian mechanics in 1952, he did take the pilot wave to be a physical object. He's very clear about that in his papers. But and there are still bohemians who take that view. But I mentioned Shelley Goldstein, but Goldstein, Durer, Zanghi, you know,
They've embraced since the nineties a view of Bome mechanics in which the wave function is not a physical object, but it's an expression of what's called nomology. It's a law like expression, which actually brings quantum mechanics in some ways back to its roots when Schrodinger introduced his undulatory or wave mechanics picture.
He built his way function out of hamilton's principle functions which are an expression of a certain kind of law like thing basically took hamilton jacobi function stuck it into the phase of a functioning call that is wave function and so in a way that sort of bring it full circle there is a sense in which what i'm doing.
Like the nearest, the least squares approximation that I'm doing from existing interpretive frameworks is that it's most similar in some ways to this nomological view of Bohmian mechanics, but without the preferred foliation of space-time, without a particularly gerrymandered set of laws, the laws are simpler. Without the guiding equation, with a specific commitment of what are the inventories.
Which to me was the sort of distinctive feature of boemian mechanics that you know you make this commitment you're just taking that out and saying there are some trajectories it is unknowable what they are okay okay what this what gives you a simpler laws and also greater generalizability cuz now you can apply this to basically any kind of a system.
So the ability to generalize it is useful, but let me actually say something else here. So you have this paper from 2004. Is quantum theory an island in theory space? But in this paper, you're like, could we have modified any of the features of quantum theory to look for a different theory? Could we have, for example, written down a quantum theory that didn't use the complex numbers? Could we do a quantum theory where we modify this feature or that feature or this feature?
I'm and what i love about that paper is you know you're. You're not taking for granted that nature has bequeathed under us this particular you're imagining maybe there could be a different kind of a theory out there and it's worth.
trying to see where we can generalize quantum theory in anticipation of the possibility that maybe we'll have an experimental result that will require generalization of quantum theory. There are only so many things you can do when you begin from the Hilbert space formulation. If you do too much or you do something that's it because the problem is the Hilbert space formulation has this very delicate connection
to empirical measurement probabilities. You have to go through a sequence of steps and through the Born rule and you get probabilities out. And if you just say, I'm just going to take a hatchet to the axioms, the Hilbert space, the Dirac-Vondelmann axioms, just play around with them, you get almost immediately nonsense, right? You get probabilities that don't add up to one or negative, stuff that doesn't make any sense because you're risking damaging this very delicate bridge or link to probability theory. If you start from a different axiomatic place,
There's no longer a link you need to get to probability theory, and you can imagine generalizing the theory in ways that would have been difficult to imagine starting from the Hilbert space formulation.
You know, I agree very much with the spirit of what you were doing in that paper. I believe in it. One advantage to reformulating a theory in terms of different axioms, especially axioms that are less abstract and fewer in number and a little less delicate with less delicate connections to things like probability theory, is that we have greater flexibility to consider varying them and constructing more general theories. And I think that's an interesting thing to do. If you're a student watching this and wondering
I'm maybe I'll work on some interesting project. What can I do? Here's an interesting thing to do How can we generalize starting from this new starting place? I was I was about to ask you I mean, can you make good on that on that idea? I mean, yes, I can imagine it but can you starting from stochastic dynamics? Give me any example of something that looks like quantum mechanics, but is not quantum mechanics
Yes. Yes. Okay. Here's one example. I'll give you a couple. Tell me. Yeah. One example is these sparse conditional probabilities are only conditioned on one time, right? They're conditioned on one time, one of these division times. One generalization would be, is there a theory in which we can condition on two times?
Is there a theory mission condition on three or more times these are now describing theories that where the it's not clear the stochastic quantum correspondence works the same way you necessarily get the standard Hilbert space picture now arguably you can do tricks there's all these like tricks where you can take a non Markovian model with conditioning on multiple times and write it in some bigger way
So it's possible that there's some way to write this still in the usual Hilbert space formulation, but you might not. So you're just putting this out as an open question? Yeah, open question. This is the thing people work at. And there are a lot of these open questions, right? I wouldn't even know how to ask this question in the Hilbert space point of view, right? So that's one example. I want to make a couple of quick other notes from what you said.
So one is this question about, should the theory be phrased in terms of things that are more objective? Should we have ingredients that we can't know what they are? There's this long-running question about the role and place of unobservables in a physical theory. Should a physical theory contain unobservable things? And I know you don't subscribe to crass operationalism.
here, which is the statement that, you know, the only things that are physically meaningful, right, are the things that we can have some procedure or operation to go and implement or measure or work with. All of our physical theories at some place or other contain unobservables that play some important role. I would like to believe that the moon is there even when I'm right. Yeah, I would also and it would be nice to have a justification for believing that even even if
You know, because again, from Drak von Neumann, there's no, it's ambiguous, but the moon is there, which is like a problem. On the other hand, you know, the global phase of the wave function of the universe, you know, if I have an account where it's not there, then I'm not sorry to see it go, right? Yeah, but Scott, it's worse. Even in principle. But Scott, it's worse. It's worse than that. So
Now, I know that if I were to ask you this, you'd probably not commit to this, but there are a lot of people who are committed to the idea that the objects in the Hilbert space picture, wave functions, maybe apart from global phase, and these sorts of ingredients are like physical things in some sense that we should ascribe some notion of physicality or ontology to them.
But the problem is there's actually this larger set of gauge transformations in quantum mechanics that actually, as far as I can tell, only goes back to 1999 in a philosophy paper by Harvey Brown. He's at the University of Oxford. And it's called Aspects of Objectivity in Quantum Mechanics. And Kurt, you can link to it because he does this on the very first page. He's a philosopher.
and he identifies on the first page a large set of gauge transformations that hold for all quantum systems. You can think of these gauge transformations as a generalization of a change, a unitary change of basis. These are gauge transformations in which you're changing the basis differently at different times. So in the differential geometric language, which maybe not everybody watching this will be familiar with, but those of you, some of you may know,
You can think of a quantum mechanism evolving in time as a bunch of Hilbert spaces strung together, like when you're stringing together popcorn on a string or something like that. Each Hilbert space is a fiber stuck to the string, and this string is time. We call it a zero plus one dimensional manifold, it's just time. And there's a Hilbert space stuck to all the strings. And we can imagine doing an independent unitary rotation on each of the different Hilbert spaces.
This corresponds in somewhat more conventional language to doing what's called the time-dependent unitary transformation. We act with a completely arbitrary time-dependent unitary transformation on the quantum system. And you might go, well, but that doesn't keep things invariant quantum mechanics. What are you talking about? But it actually turns out that it does. So you can look at the beginning of this paper. As long as all of your self-adjoint operators that represent observables transform in a particular way, just a so-called similarity transformation under the unitary,
And the Hamiltonian transforms as what's called a flat gauge connection. And again, this is all actually written out in Harvey's paper, although he doesn't use all this terminology, but that's what it is. Anyone who works on non-abelian gauge theories would immediately see that the Hamiltonian transforms in this very characteristic way. The theory is exactly invariant. Now, what's weird about this, and I know this is getting very technical, but this is a technical objection to try to take Hilbert space object seriously, is that it means that state vectors can be infinitely remapped
however you want, and any trajectory in a Hilbert space that you thought was encoding some kind of invariant information about the system can be mapped to literally any other trajectory by these time-dependent unitaries. Well, it's clear that we can't reify the actual numbers, you know, in some particular representation, which is tied to our choice of basis and so forth, but I don't take any many welder, for example, or anyone who believes in the reality of the wave function to be saying anything quite that naive.
Right. Well, but it's it's tricky then because then you have to get into the details of exactly what's being proposed. So when I talk to some of the Kurt, I'm sorry, Kurt, you wanted to. Yeah. Let me make this simpler for everyone. Yeah. So, Jacob, you're in the showroom. You came here with some some clunker car that you you want to trade in. OK. And you're looking at the options and someone's coming up to his name is Jacob. And is this also Jacob? Yeah. Got a sexy gentleman with this great shirt. And you're like, I'm not just going to be
Wood by your smile Jacob so okay let me hear about the benefits and then Jacob's trying to sell you and I also want the audience to not take anything away from if Scott you you don't end up buying from Jacob by the end of this podcast I mean that that'd be foolish most people have to look at a car or whatever seven times before they make a purchase.
Yeah, I mean I've already decided I'm not buying at this point. I'm happy I'm happy to chitchat some more but okay The point is that there are two ways to go about selling one is to talk about your own benefits So Jacob of your car the other is to talk about the detriments of the opponents. So Scott you've come in with a car. You've also said you're not an instrumentalist You're not just caring about going from point A to B. You want to know what's going on under the hood. Yes, Jacob is
Is saying that, okay, whichever car, all the other cars here will give you some accounts as to what's going on under the hood. Some actually won't, but the ones that you're interested will give an account. They're giving a false account or an account that when you look actually under the hood, it disappears into dust. So firstly, Scott, what is the car that you're going to drive away from here? What is it that you're committed to so that Jacob can then say, okay, well, let me compare my approach to that directly.
I should actually say I stopped driving years ago. I didn't like it. I walk or I take Ubers.
My wife is a good driver. It's different cars on different days and it's similar in quantum mechanics. I know how to think like a many-worlder and if you wanted me to have an ontology that would just
You know that was a simple as possible then i would say you know it's gonna look like a wave function that is evolving by unitary transformation and you know the hard part of course is how do i get out of that you know my subjective experience right which is related to how do i get probabilities.
You know,
Long before quantum mechanics even came on the picture, right? These, uh, you know, uh, Democritus, you know, asked about these things in 400 BC. That's why I called my book quantum computing since Democritus, right? Uh, and so, so I feel like, you know, if you take consciousness out of the picture, you know, if you took our own observer hood out of it and just, you know, you just wanted a picture of, uh, laws of physics evolving,
You know, in which, you know, you would have things that looked like observers arising, not necessarily us, but, you know, you would have stars, planets, life forms, you know, organisms that would argue about these things and, you know, publish papers about them, right? Then you can get all of that, you know, as far as I know, just from the Schrodinger equation, from unitary evolution.
Right. But then if you further want to account for sort of our own experience, as you know, being inside the system, then I would say, you know, that was a great mystery even before quantum mechanics, you know, the the mind body problem or, you know, the things like that, you know, quantum mechanics sort of adds a new twist.
to that problem, adds a new dimension to it without quite resolving it. If you wanted to be an instrumentalist, if you wanted to just say, or rather not deny the reality of anything else, but just say what is knowable is just what we can observe in principle and everything else is speculation.
Then you go all the way back to you know what borin heisenberg were saying in the nineteen twenties right to the to the copenhagen a point of view or a well i like to say you from the copenhagen is basically just shut up and calculate except without the shutting up part.
It's just endless philosophizing about why you shouldn't ask these other questions. Of course, that's unsatisfactory to not be able to ask these questions, but we've seen in this conversation that even in Jacob's view, even in this new view, when I asked what are the trajectories of the particles, I am not able to ask that of his theory and get an answer to that.
There always seems to be that this sort of thing that I'm either not allowed to ask or maybe I'm allowed to ask but I don't get an answer from the theory. So I guess that's what I'm driving home in. A couple things about this. The first is people who are watching this should read this just
Fabulous
Call himself officially a philosopher, but is one of the most interesting philosophical things that you've ever read. You should read this, Scott. Thank you. We used to run a philosophy of science club at Harvard and we invited Scott to come and talk and it was just fantastic. I mean, it's so full of interesting ideas and like everyone should, it's great. I think you wrote that like post tenure, right? Wasn't that you're like... Yeah, it was like immediately post tenure. Right. It was great.
So, like, to be clear, people should know Scott takes this stuff really seriously. He's not, like, one of these people whose, like, philosophy is a waste of time. I don't care about the mind-body problem. Like, I'm really glad to be having this conversation with Scott about all this. Okay, so let me now say a couple of quick things. One is, I really like at the end how you, like, corrected yourself. You said, well, there are things I'm not allowed to ask. But actually, maybe in your approach you're allowed to ask it, but the theory just doesn't supply you with it. I think that's a substantive difference.
So in Copenhagen, you're explicitly not supposed to ask certain things and when you go into a physics seminar, you have to learn pretty early on. There's certain questions you're just not supposed to ask. If you ask them, people will groan and roll their eyes. That's not a very intellectually like vital attitude to have in an academic environment.
If you want to ask about the trajectories, you're welcome to. If you want to think, are there trajectories? I'll say, yeah. If you're like, well, is there some way that I can infer or deduce exactly what the trajectories are without doing measurements in the system? I would say, well, the theory doesn't supply you the ability to do that. But of course, you know, there are unobservable features in every formulation of quantum mechanics. I mean, one of the weirdest things about many worlds is that there are all these parallel universes that are filled with people, billions and billions of people in them.
And not only have we never been able to do an experiment that directly confirms their existence, but their own interpretation says we can't because they exist only when they fully decohered from our branches. And then there's no way ever to be able to test them. There's this grand conspiracy where the vast, vast majority of the ontology in the universe is completely and forever out of our ability. I wouldn't call it a conspiracy because the theory itself explains why we can't communicate. Sure, sure, sure. I mean, yes, linearity, of course.
One of
Sometimes engaging trajectories that we can't specify as our thing that we can't know unless we do a measurement on them rather than an infinitude of parallel universes containing each one billions or trillions of sentient beings that we have like you know like Maybe you'd maybe you prefer the many worlds ontology although there are some problems with that But I would certainly say this is certainly no worse than that. Okay now Let me now get to the the the the most substantive of the points that that Scott mentioned. So Scott you said
Well, look, I can get all these things out of the Schrodinger equation, out of the wave function in the Schrodinger equation. So now I'm going to turn this back to you. What are you saying that we can get just out of the wave function in the Schrodinger equation?
I'm saying that if I program my computer to simulate a bunch of quantum fields interacting according to the standard model or something like that, first of all I couldn't actually do this because I would run out of time on my
On my computer you know this is this is why so many people want to build quantum computers you know this is this is one reason why but but in principle i could do this right run a a a a simulation that would uh maintain this gigantic evolving wave function you know i'm saying that you know one could then go inside of that wave function and one could find branches in it uh that one could interpret
as containing things, you know, containing excitations that look a lot like observers. That's conjectural, to be clear. That's conjectural. There's no proof that you get a unique set of decoherent branches out of many worlds, right? That's one of the outstanding questions. But I would say it is only conjectural in the same sense that it's conjectural that, you know, if you ran the equations of classical physics, you know, from the beginning of time, then eventually you could get
Planets and life and all these things and you know I mean we believe that and in some sense because you know we have the example of our universe where it seems to have happened right we can't actually run a computer simulation where we see all of this happen from from that from the very beginning but you know this is this this comes down to you know does one believe at all in you know scientific materialism writer does one believe that there is you know
There had to be some external intelligent designer to guide things along and cause the life and intelligence to happen. If one doesn't believe that, then one believes that yes, those kinds of things can arise from just mindlessly iterating these equations over and over. And I see no basic change if the equations are quantum mechanical.
Then they're just saying that what's going to be evolving is this giant superposition, but within that superposition I can again find things that look like planets with primordial soup out of which life will evolve.
So I would say, this is why I say that if we're willing to leave ourselves out of it, which maybe we shouldn't be, but if we don't care about accounting for our own experience, then I think Everett actually gives you a very nice picture of what's going on, of how
You can just start with this very simple wave function, let it evolve according to the Schrodinger equation, and then you get what looks like the thing that you need. So let me come back to this, because I think this is kind of a central point, right? Yeah. So let me put aside the question over whether you get a unique basis in which decoherence singles things out. That, again, is not known at this point. Certainly not for a theory as complicated as a standard model. But I'll tell you is this. If I propose a theory,
in which, let's forget quantum mechanics, forget all this stuff. Let's suppose I propose... That decoherence doesn't happen, then I would say that that is not only a problem for many worlds. Sure, sure, sure, sure. That is a problem for any no-collapse view of quantum mechanics. Not necessarily. For example, you know, if we lived in a universe in which Bohm, just as throwing this out, a universe in which Bohm mechanics works, you don't have to worry about whether there are different bases in which decoherence works. Bohm mechanics just picks out one particular picture. Okay, but we'll put that aside. Here's what I'll ask.
Forget about quantum mechanics, forget about all of our physical theories. Let's do a library of babble version of the universe. So maybe people are familiar with this fictional idea of the library of babble. This is not the exact version of the story, it's going to be the version that I'm going to use. There's a vast library and you enter the library and what you see is all the books
right that that that begin with with with what was it you see a bunch of doors i'm sorry a bunch of doors labeled by different letters you go through the letter uh t the door labeled t and the inside is every single book that could possibly exist that begins with letter t and then what you do is you go through the door labeled h and if you go to that door there's every single book that begins with letters th and this way you can just sort of find your way you can
write or find every book that could ever be written by just going through a sequence of doors this library contains all of them and someone says. This gives it an account of the universe and after all we just look at the entire library and somewhere in there is gonna be universal like ours but you look at that and go that's completely vacuous doesn't any interesting information.
Right. What we want is a theory that in some way makes, you know, has some constraints about what kinds of universes are going to happen and which aren't. And one of the problems, the two of the problems of the many worlds approach is that it contains so many different kinds of universes that are so radically different. And one of the, when you read about people who write about the many worlds interpretation, I mean, in the last podcast I did with you, Kurt, I had this long explanation of the problems of the many worlds approach. But
But one problem that I didn't mention in that conversation but that comes up in the literature is people don't take it seriously enough.
So when Bryce DeWitt in 1970 published his article in physics today, this is 13 years after Everett's PhD thesis in 57, announcing and broadcasting what Bryce DeWitt called the many worlds interpretation to the wider physics community. I believe the article was called quantum mechanics and reality was in physics today. He talks about how there are branches that are sort of reasonable looking in some sense.
And there are also these branches that are kind of at the edges of the tails of the probability distribution that are weird and weird things happen in them. I don't remember if in that article he introduces the term maverick branches for those, but eventually these became known as maverick branches. But when you read the literature in many worlds, people who, and I'm going to get kind of technical people to use what's called Dutch book reasoning to argue how you can get probabilities out, they still stay within these sort of narrow confines of
ordinary looking branches and maybe maverick branches. But if you take the many worlds picture seriously, you have to consider branches that are even more bizarre than the branches that conform to whatever game is being played. I call these super maverick branches, you know, they're just maverick branches, but they're like, they're, they're branches in which whatever rules you're trying to set up for the game you want to play, and use the branches to explain their branches in which the rules don't apply because something totally zany happens.
And once you include all the supermaverick branches, you're basically in the library of Babel situation where you're explaining everything and you're not putting constraints on which kinds of worlds we expect to see. And there aren't the resources in the many worlds of interpretation to like narrow down to worlds that at least look somewhat like the ones we see among all the possibilities. That's a major problem.
Certainly I agree that if a theory doesn't rule anything out, if it doesn't tell us that anything is impossible or at least vanishingly unlikely, then it's vacuous, then it's not doing anything for us. This is part of why I have never been a hardcore many-worlder.
I will use it pedagogically when it is useful for me. One example of where I found it indispensable is when I am teaching quantum computing. I need to explain how it is possible to take a qubit, do what we call a CNOT gate, a controlled NOT gate, write the result of the qubit somewhere else,
and i can sort of copy its state to a different cubit and now the effect on the first cubit is exactly as if someone had measured it
It is decohered from the perspective of someone who now looks only at the first qubit. Students get incredibly confused about that. They're like, why is that? They feel like it's still a superposition. The one explanation that I can give them that seems to click, that seems to work is to say, look, you might as well say if you wanted that the qubit was measured and just that it was measured by the other qubit.
You know, the other qubit did the measurement and you might as well say that when you measure, right? What does that mean when you measure? It's just that there's a giant CNOT gate that is happening from that qubit to you, to the possible states of your brain, of your measuring device, of your environment, right? You know, to me, that is the core of what, you know, uh, of readianism is saying, you know, it is sort of the best way to explain that. Right. And,
uh... it is true
You know, I am ultimately not satisfied by a theory that doesn't account for my experience of the world, right? Because, you know, as Democritus said in that famous dialogue, you know, in 400 BC, like how can you, you know, ignore the senses when it's from the senses that you get your evidence, right? You know, how can we ignore our own experience when our experience is the only reason why we believe quantum mechanics in the first place?
Right. So I would say that like with some, you know, uh, I think, you know, fairly, you know, reasonable sounding additional assumptions about, you know, uh, uh, uh, you know, what observers are, how, you know, observers connect to the physical world. Like, yeah, I can get something like that looks like the standard quantum mechanical predictions, you know, out of, uh, the Everettian picture, but it is not automatic.
You know, I agree that it's not a lot of, you know, I don't believe any of the, you know, so-called derivations of, uh, of the born rule, you know, of the probabilities from, uh, uh, from many worlds, you know, neither Everett's original derivation, nor any of the later ones. If, you know, they all sneak in some additional assumption, but I would also say that that's not just a problem for many worlds. I would say that, uh,
In any account of quantum mechanics, at some point you're going to have this problem. Where did the Born rule come from? Where did probabilities come from? If you didn't want to have probabilities in your fundamental picture.
of course jake in your account you do have problems you do right on the mental picture right yeah but you know if you have an initially deterministic picture then you're always going to have that problem so um so so that's a good reason not to have a deterministic picture i mean it's like i i agree that you know there are
There are pluses and minuses to all the different major interpretations. There are other ones where I only see minuses. We don't have to talk about those maybe, but that's why I don't own a car.
Take Ubers, if you like. I just drive different cars as the need arises. I could imagine some future circumstance when I would want to use Jacob's car. I could imagine if it helps with quantum gravity. Scott, you can borrow my car whenever you would. Thank you. Thank you. That's so kind of you. Look, if it helps with understanding a quantum algorithm,
I am ready to take a ride in whichever car will get me to where I'm going. Right now I don't see where this car is going to get me, where I couldn't already get. But I like to keep an open mind. Let me say a couple of quick things just to follow up about that. This is one of the annoying places where I'm going to be the annoying philosopher, I'm sorry.
You know, one of the things that philosophers like to do is take a claim, an idea, and really drill down on it and make sure that it really works when you follow it to all of its sort of logical conclusions. When you said, well, if I just have the Schrodinger equation and it's just evolving at some wave function and that's going to be good enough, you'll notice that
Quickly we ran into problems as I was probing that because I asked you how to exactly do this and you're like well kind of like this and I pointed out this problem with all these weird branches and we're saying too much and then you're like well we add a few more assumptions and so forth. One of the selling points of the many worlds approach is that it is so simple. I mean just take the Schrodinger equation and unitary evolution and maybe one or two more things. I have a book on my desk. It's you can you can sort of see it is sitting there right in front of my Einstein doll. It's called Stone Soup.
And I think this gives a fantastic metaphor for what happens in an approach like the Many Worlds interpretation. So those of you who don't know the stone soup folktale, these soldiers arrive at a very skeptical town and claim that they can make a delicious, hearty soup out of just water and stones.
the townspeople are amazed by this and they give them a pot and they start boiling the water and as they're making the boiling the water they're like you know this is already great but you know it'd be even better if we have a little bit of seasoning and so the townspeople come they add some seasoning they're like oh this is already almost perfect but you know it'd be even better with a little bit of vegetables and then the townspeople vegetables and then by the end they have this you know obviously they've added vegetables and seasoning and meat and broth and all kinds of things and then
I'm very
Clear upfront, right? I'm telling you exactly the ingredients are we're not going through and we're, you know, and I say this in the, in the, in the podcast with Kurt Wright to get many worlds off the ground, at least attempt to get it off the ground. You have to add more and more of these postulates. And I think, I mean, I don't know, Scott, how much of the literature you've read in many worlds, but like the number of additional assumptions you need to add is quite large. And a lot of them are very esoteric, metaphysical, very difficult to imagine how we would ever verify that they in fact work.
I call this the stone soup problem and I think it's actually a pretty serious problem with many worlds approach but and but fundamentally I don't believe it can work and Scott you noted this you said that the derivations of the born rule out of the many worlds approach you don't believe any of them and I agree with you and I laid out my reasons for skepticism in the podcast I did interview with with Kurt recently but but actually it's worse than that.
Because you might say as well, maybe we can't derive probability or derive the Born rule. So let's just let's just agree that it's going to be an extra axiom that we add, right? Because this is this is one route that I know some people take. They're just like, well, you know, if I can't derive probability, have initio without probabilistic assumptions, let's just do many worlds and and then we'll see all these universes and we'll somehow attach probabilities to them, say that some are likely, some are unlikely.
There are extremely strong arguments that if you are going to assign probabilities to the branches at all, then any rule for doing that other than the Bourne rule is going to lead you into nonsense. Yeah, and these arguments, by the way, show up in Everett's original dissertation, right? Even in the shorter version of the dissertation, the one that was... Yeah, well, I mean, there are many different arguments that all lead to that same conclusion. There are many different arguments. Yeah. But here's the problem.
Okay, so if your view was that the branches were fundamental things, that is, they're like the branches themselves are part of the are considered fundamental ingredients, then it is completely fine in an axiomatic theory to assign them
in the axioms things like probabilities and and this is for example what happens in stochastic versions of bohmian mechanics or what happens in stochastic collapse theories or whatever right i mean if you're taking certain things to be part of your fundamental ingredients you're allowed to assign them features in your fundamental ingredients the problem is that in order to get around this
The idea is that we rely on this dynamical decoherence process for macro worlds to sort of pick out these approximate macroscopic worlds. The problem is that if your branches are only showing up in an approximate way in later stages of the development of the theory, you can't assign them axiomatic features like probabilities in the axioms.
It would be like taking a theory of chemistry saying I've got an axiomatic theory of chemistry.
in which in some situations you end up with tables and chairs, and I'm going to assign properties to the tables and chairs in my axioms of chemistry. You can't do that. The axioms have to apply to the fundamental ingredients. What people like Deutsch and Wallace try to do then is they say, well, look, we have observers within the many worlds context. They should act as if the probabilities are the born probabilities. This is what rational decision theory means in that context, and this is then what we mean by probabilities in that context.
Right so i agree that you have to give that doesn't work the probability well it doesn't it doesn't work i mean and i talked in my podcast with her i don't want to rehash all those arguments yeah but but those arguments are all logically circular right because you can't you just say well i mean cuz you use the word should you should be a rational observer i don't know what should means in the many worlds universe there just zillions of
All of these arguments have to have some starting point. I agree that none of them can get something out of nothing. But you can't derive probability from them. None of them can get soup from purely a stone. Exactly. To be fair, there is enormous precedent in the history of physics
for you know making the fundamental ingredients of your theory you know as simple as possible you know even you know like impossibly simple you know just atoms in the void right agreed yeah a bunch of particles undergoing so you know and then you know and then someone might say okay but this doesn't work because you don't have tables and chairs and trees in your fundamental ontology and you say like no but that that that that that's a misunderstanding you know we don't actually need that at all all of that is derivable you know all of that
Is is to be explained from these very simple building blocks where i mean that is you know i think i think that's the goal now i know i agree that that you know to explain the experience of an observer it seems like you know something is missing there some.
I think one place where you and I strongly agree is saying that you can ask this question and I can't give you an answer.
No answer is presently knowable. That is an improvement over saying you're not allowed to ask.
Good. Yes. Let me quickly just go back because I think there may have been a... I'm not sure it was a misunderstanding or if it was just you're going a different way, but you said the theory doesn't have to specify chairs as fundamental ingredients. I agree. Yeah. I also agree that think that the axioms should be simple. I completely agree with that. Yeah. So the Everettians would say you don't have to specify branches as a fundamental ingredient. They would say that branches are like tables and chairs. Right. But here's the problem, right? You have this fork. That's a serious problem for the manuals approach. If the branches are fundamental,
Then we can assign probabilities to them in the axioms. But then you run into all these secondary problems about the preferred basis and so forth. If you make the branches not fundamental, then you can't put axiomatic probabilities in for them because they're not fundamental objects. I'm not saying that the branches can't be emergent. Of course, the chairs and tables can be emergent. But then you can't specify the features of the probabilities of those non-fundamental things in the fundamental axioms.
You kind of stuck between, you either give them axiomatic probabilities, but then they have to be fundamental to be things you can specify the axioms, or they're emergent approximations, and then the axioms can't touch them, can't assign them probabilities. And that's why people, I mean, people aren't making all these decision theoretic rationality arguments for probabilities just for fun. They're doing it because they no longer have the ability to put the probabilities in the axioms anymore. So they have to get them somewhere else, but you just can't.
and for all the reasons that you and I agree on. So I don't see this as just an annoying property of the many worlds approach. I'm actually arguing the stone soup problem is the best possibility. Like, I don't think it even survives a stone soup. I think that once they try to add all these ingredients, they show the townspeople and the townspeople go, that's not soup. It didn't work, right? So I actually think it's actually a pretty serious problem and it means the many worlds approach, I've not seen any viable version of the many worlds approach that gets around these problems.
And that's why if it's off the table if we drill down and find that it doesn't work so if you're coming into this car dealership and you're like you know i'm here for the car dealership because my friend kurt brought me but i walk. You know but i don't really i don't really i don't really drive car. Well then i don't know that the car dealership is really gonna ever work we really have to bring in someone who actually wants car.
The switch metaphors I mean like I can listen to someone you know explain all the severe you know enormous crippling problems with democracy.
and you know agree with that person right and it still doesn't mean that i am sold on you know monarchism or or or communism or some other system right uh you know it's still that that that is not enough to make the sale for me right there's this thing of you know like this this system is the worst apart from all the others right and um you know i i feel like uh uh uh you know um um
We actually know very well how to use quantum mechanics in situations where decoherence is strong. So you could say once there are lots of records of something all over the place, once the information about whether this qubit is a zero or a one has spread into the environment, into the air, into the radiation that is
lying away from us at the speed of light then you know uh uh you know
Most of us can agree that there is something real there, right? I think even in selection quantum draw, a lot of the people who call themselves Copenhagenists or instrumentalists would agree at that point that like, this is real. Like this is, this is now really, you know, this is, this is a real element of reality, even if no one is thinking about it or no one knows about it, you know, it is, it is really there, right? You know, the whole difficulty is, uh, what about when you're not in that?
What is real right you are sort of starting.
that there is a basis in which something real is happening, but then you can't really tell me what in the sense of giving me trajectories. I'm not sure that that's a sufficient improvement over what I could have said before I learned this, which is yes, something real is presumably happening there and I can't tell you what other than to just write down these equations, write down the wave function by which I could calculate the probabilities for the different things that I'll see when I look.
Scott, why is supplying trajectories to you so important? You should know Jacob has been on the podcast four times going into technical depth in his theory as well as dispelling quantum myths. Scott has also been on dispelling quantum myths as well, but also talking about consciousness and AI three times here once with David Chalmers and twice solo links in the description.
Well, because in order to improve over the standard quantum mechanics perspective, if I just want to say that there's this wave function that gives me probabilities, I already knew how to do that. I didn't need Jacob's picture for that. If I want to make a stronger ontological claim that there are
The photon really goes through one slit or it really goes through the other slit, even when I'm not looking. Well then okay, now I want to know more. I want to know, you know, you ought to be able to give me an equation for this photon then, right? At least tell me, given that the photon was going through this slit at this time, then what is the probability that it's, you know,
So let me say a couple of things about all this. The first is this set of statements about, well,
When records, which are kind of hard to define, are in the environments far enough, and there are enough of them, and they're far enough away, and they're traveling at this speed, then we all agree. All I'm saying is that in a good physical theory, like I said, I teach general relativity, I teach Jackson electromagnetism, right? I mean, these are theories in which I can be more precise.
And when we say that, oh, and stuff just gets far enough out of enough records or something like that, I mentioned Zurich's quantum Darwinism approach on selection, that sort of thing, that at some point, somewhere we wave our hand and then it's like, I'm just trying to make us honest and precise about this, right? I think that precision is possible. If the precision is not possible, if it's not possible to make quantum mechanics more precise about this, if it's not possible to eliminate this very severe vagueness, that's interesting.
It would be interesting if it were really not possible. If it is possible to reduce it in some axiomatic formulation or interpretation or what have you, that's also interesting, right? And I think that's worth investigating, even if not everybody feels it's necessary. Now, let me say additional things. So far be it for me, who did my PhD in, you know, topics that were in or very close to adjacent to string theory, to make an only game in town argument that this is the only game in town.
But what I would just say is I gave a list of criteria for what I thought a reasonable, viable, interpretive framework should be. Paragladiquacy, lack of vagueness, unambiguous predictions, at least a schematic picture of the classical limit, not an endless list of speculative metaphysical hypotheses. Like these are just bare minimum requirements we would put on a theory. I didn't even add Occam's razor, but you could add that too. All these things you could further add. My argument is that none of our approaches meet that minimum set of requirements.
If they did, I would have... I mean, I did spend various points of my career here working in various other interpretive frameworks. Like I said, it's been a long time in modal interpretations, which Scott will remember when I said lots of strange things of modal interpretations many years ago. I arrived here because this met those requirements and the others didn't. Now, it doesn't do everything you might like. There are aesthetic criteria you might further want. You might want
I think the whole reason why there's an interpretation debate is that for every interpretation, you can state an obvious sounding condition that that interpretation fails to satisfy. In the case of yours, that condition would be
that you have to give an equation that says how that element evolves in time if it's really fundamental.
All of our other physical theories contain things where we don't have an ability to describe them, we don't know what equations to apply to them. If you take general relativity as a great example of this, we have access, if you think of space-time as a four-dimensional manifold, we have access to an incredibly thin sliver of that entire space-time manifold. Most of space-time is and will forever be completely inaccessible to us.
And you can quickly run into situations in which unobservable ingredients of our various physical theories, we can't describe what's going on with them. I don't really agree with the analogy. I would say in GR, you can posit a space like slice. Once you've posited it, then you have this field equation that tells you how it's
How to evolve it forward, except when you run into singularities. Or you run into Cauchy horizons. That's right. But in many conditions you can just extend that equation forward. If you believe in standard quantum mechanics, once you tell me what is the wave function, you tell me what is the Hamiltonian, then I can just
Take that Psi and map it to e to the minus iHT Psi. I can propagate that equation forward. In your case, you are telling me that something is real, namely the positions of these particles in space, or which slit the photon goes through, and you're not giving me an evolution equation for that thing that you have posited as real. Which, okay, like I said, every interpretation
has
a more serious problem when the entire empirical content of quantum mechanics, which consists of measurement probabilities, can't be obtained from your... I mean, it's one thing to say that certain unobservable features of a theory, that we don't have equations for them, right?
It's nothing to say that the observable features of the theory, the empirical content we can't get, right? I mean, that'd be like saying, not that we can't make predictions, but what's outside of, you know, our accessible light cones in general relativity, but we can't make predictions about what's inside of our accessible light cones in general relativity. I mean, we could say every interpretation of quantum mechanics has the property that to actually use that interpretation to make, you know, to actually connect it to the experiments that we can do,
We need some auxiliary
Suppose you go back, you run the clock back to 1923, 1924, which is right around the time when people like Pauli and Bohr and Heisenberg were beginning to doubt that there could be a physical picture of stuff happening because back then people still thought there were particles going around atoms and stuff, right? There were fields interacting with particles. These were all happening in some kind of there was an actual ontological picture and people began openly to doubt whether there could be any picture because no one could come up with any laws
That when combined with any such clear picture could yield the correct empirical predictions of quantum mechanics and then heisenberg begins his matrix mechanics paper nine twenty five the spring of twenty five with a bold statement that we should give up these pictures all together and we should just do everything in a cross instrumentalist way. You know so people thought that there were just were no laws that would work that was just no laws you could find. You could tell an alternative history.
in which the theory of stochastic processes was discovered way earlier than in fact it was.
Kolmogorov didn't publish his axiomatization of probability theory in 1933, a year after von Neumann's book on quantum mechanics. He published it in 1833. There's some retrocausal loop and he goes back and he publishes his axiomatic account of probability theory. Markov doesn't first introduce the Markov matrix in 1906 in an obscure journal, but this all happens in the 1800s. People develop a robust probabilistic theory of stochastic processes starting in the 1800s.
and then when and then people begin exploring non Markovian processes and someone mentions what about indivisibility and that 1923 1924 comes along
And they go, well, I mean, we have these indivisible processes. Let's try those laws. They try them and they get all the correct empirical results. They're able to derive this beautiful mathematical correspondence, the way that we took Newtonian mechanics and derived the Hamiltonian formulation, right? You could do things much more beautifully, more elegantly in this Hamiltonian formulation. I think a lot of the interpretive questions we would have today wouldn't exist, right? The measurement problem wouldn't have happened. If I imagine myself in that alternative history that you have sketched,
I'm still asking myself, well then, what the hell are these indivisible stochastic dynamics? How is that even dynamics at all? What are the transition probabilities? What are the trajectories that these particles are following? And then in your alternative history, if a Schrodinger comes along and says, look, you can think of it in terms of this wave of amplitudes, as Schrodinger came along in our history,
Then, you know, in that history, just like in this one, I say, oh, that's nice. That helps me. Right. As a helpful picture, just like the Hamill and Jacobi picture is a very helpful picture. Yeah. But but but it would immediately come along with all of these bizarre mysteries like superposition and the measurement problem. But people would just people would always say they would say, OK, well, this is a really useful mathematical picture. It gives some visualization. But at the end of the day, if we ever have some question about what happens when you do a measurement, we have this more mechanical picture, just like in a Hamiltonian formulation.
If you're living in phase space land for a while, you get confused. This is always the problem with sort of going back to history, right? The many-worlders will also constantly say this. They will say, well, look, it's not fair that Copenhagen came first, right? If only, you know, people had just accepted many worlds in the 1920s.
Then Copenhagen would have been this bizarre instrumentalist deviation from it that would have had to win acceptance on its own steam and so forth. In this branch of the wave function, history happens a certain way.
And then, you know, if you want to win converts to a new view, then you have to meet them, you know, having learned whatever they've learned from the previous views and show them why the new view is an improvement over what they could already do. Interestingly, Schrodinger did, if you read his fourth lecture wave mechanics, what section 15, the interpretation of the generalized function,
He presents an embryonic many-worlds picture. So it's not that people didn't think about these things. If you read some of the early papers at this time, in the 20s, some of them were imagining this, but they didn't embrace it because it doesn't work. And what happened, it's not that people, that Everett came along and found a way to make it work. Everett found a story he could tell that some people found very compelling, but it still doesn't work. The people who gave us quantum mechanics, they were very smart.
They didn't have everything. They didn't know that you could write laws in certain ways, but they certainly thought about some of these ideas at the time and rejected them. But Jacob, the people who added more and more epicycles to the Ptolemaic model, they were also very smart, right?
You know they're also you know trying to get things to work and you know that and and they would have said okay you know okay yeah maybe you know you could imagine you know the the earth going around the sun but you know that just doesn't work because we don't feel ourselves spinning.
Yeah, which we don't. It actually requires a lot of physics to explain why pendulums can feel that sort of thing. That's right. No, and the Redians have a whole story in which, you know, Everett is like Copernicus, right? He's just giving this reinterpretation, like, yeah, we don't feel ourselves being in all these different branches, but you wouldn't, you know, if that were what was going on, right?
That's what he said, actually, in a response to Bryce DeWitt, because when Bryce DeWitt, the theoretical physicist who eventually talked to Everett in this letter and said, I don't branch, Everett said, well, what would it feel like if you did? And he actually made this Copernican analogy. The problem, of course, is that the Copernican story says that all humans on Earth
If Earth is in fact turning and going around the Sun, then all humans on Earth will see the Sun apparently move through this. It predicts what all humans will see. The problem with the Everett approach is that it predicts everything. There will be observer copies who see absolutely everything, and then you either run into a circularity of saying, well, the reason we see the world we see is because we're going to condition on us being the ones who see the world. It's a totally circular argument. Or you say something like, well, what would the typical
Copy of the observancy but then typicality is a question of what's the most probable it typicality is a probability statement and then you run into the circularity of how do you get probability out of the ever approach like all of this stuff just doesn't work and and i think that the early quantum mechanic the early people that one mechanics. You don't realize that that at some level that this is just not a thing that that ultimately can't can't can work without slogans but look.
history ended up turning out a particular way it's hard to know exactly what would have happened if it come in a different way i would argue that if they had a physical picture. A simple physical picture simpler than the hillbillies based on all the exotic that you get from those.
They would have viewed the Hilbert space picture just as we view the Hamiltonian phase space picture today as a very powerful mathematical apparatus that we can use to do all kinds of amazing calculations and simplify things and specify particular kinds of interactions but that at the end of the day when you run into any conceptual confusion you can retreat back to a physical picture in the Newtonian case to bodies moving in space interacting with fields and in this picture to objects with configurations with laws that are just more general. Now I want to ask one more quick thing. You said
They would probably say something like, well, what are these laws? What are these conditional probabilities? What are these laws? The question of what laws are is, as Scott, I'm sure you know, a pretty hot topic in metaphysics today in the metaphysics and philosophy of science. What kinds of things say what?
I have no greater understanding about what
What is newtons like what what what does it mean to say that there's this law that takes the present configuration of the system and the configuration infinitesimally earlier in time or equivalently the present configuration the velocity and then like What how is it doing this and if you talk to people who are humans about laws? This is a term that was introduced by David Lewis to refer to a certain view on the metaphysics of laws that in some sense is connected with David Hume the philosophers ideas about about nature and
You know, then what you say is that you don't believe in laws at all. Because the idea of a law is just so weird and strange, laws are not primal things. They're just tools that humans use to summarize phenomena. But the upside of all this is that, yeah, indivisible laws are weird because they're different from the kind of differential and time Markov-style laws that we've been using for the past few hundred years.
But that's just a historical contingency they're no weirder than a mark of law or newton second law. I mean they're all weird all laws are strange they're just stranger because we're newer to the idea. Okay what what what what what i'm saying is not that the was weird i'm saying in a place where i might have expected there to be a wall in your picture.
Namely, for the transition probabilities, there is actually no law at all. Yes. In some cases, there's no law. In your Ghost in the Quantum Turing Machine paper, you introduce a lovely term for unpredictability that is not even probabilistic. You point to this book from the 1920s by this economist Frank Knight.
You call it knighting uncertainty, right? Circumstances in which we can't even put probabilities on certain things. And interestingly, this is definitely not unique to quantum mechanics. So here I can put my general relativistic hat on. One of the conjectures about general relativity is just that all reasonable spacetimes have to, it's called global hyperbolicity. They've been globally hyperbolic, which just means that you don't have Cauchy horizons. The equations apply to everything and we get
But this is just a guess, right? There are like solutions to the Einstein field equation where you get Cauchy horizons. These are places where general relativity simply fails to make further predictions about what's going to happen next. And you can't put probabilities on these things. They're not all black hole singularities. There are other situations when you get Cauchy horizons. So like the idea that you could have situations in which we just can't, the theory doesn't render a prediction about what comes next.
That's not a new
yeah alright that's fine although i will tell you that even in like standard quantum mechanics are we are unable to assign probability distributions to a variety of things
You can't assign joint probability distributions to incompatible observables. I feel like this all sort of boils down to the same issue of just multi-time or transition probabilities. It all boils down to the basic fact that we're epistemically limited beings. We're trying to do the best we can in a universe that we're a part of, that we're physically embodied in, and we're very fortunate that we have a theory that lets us make as many predictions as we'd like to make, but we can't make
all the predictions we would like to make and yes that is a bullet I'm definitely gonna bite I'm gonna bite that bullet but I will say that anytime someone comes along with a new picture of reality it opens up new possible connections to new fields interdisciplinary connections new ways of thinking about old problems and possible new generalizations maybe new pedagogical teaching techniques and even arguably opens us up to rethinking certain things that we took for granted I mean sometimes
John Bell was very clear that sometimes having a physical model can really tell you a lot about things that you thought were true. There was this prevailing idea from John von Neumann that hidden variables were just ruled out completely. And although Bell wasn't the first to notice this, Greta Herman noticed it almost immediately in the 1930s,
uh... bell independently rediscovered this and he rediscovered it this flaw in the von neumann proof because he had a model bohmian mechanics that made clear that there was a problem here and of course bohmian mechanics also helped develop that lead to the development of decoherence which i mean having physical pictures can lead to rethinking things including even things like the classic theorems like bell's theorem and its related theorems so i think that's also a useful thing and you know in my podcast interview with kurt we talk about possible connections to rethinking how causation is supposed to work
There's a lot of stuff you can do with this and it's not for everybody, but unless we identify some actual inconsistency, some real problem, if either one could say that there is just an inconsistency, something that just doesn't work, or one can say that this is trivial or uninteresting or isn't useful to me or doesn't do better than the things I already like.
And if we're basically arriving at either of those two positions, if we're not arriving at the inconsistency position, but we're arriving at the position that, well, maybe this doesn't work for me, or I like these other things, or it's trivial, or I don't could have said that, or whatever. I'm actually satisfied with that, because some people will find that satisfying, others won't, and that's the way the world is. Right now, I feel about your account the same way that I feel about category theory, let's say.
Calculus, right? I have friends who just swear by these things, right? This is the way to understand everything and they will happily like take something that I know how to prove in like one paragraph like normally and they will give a proof using category theory. That's 20 pages. And then we say like lots of diagrams, all these diagrams with all these diagrams. Can't you see that this is so much better that this is more insightful? And I'm like, okay, I guess for you it is, I guess so. Right.
I'm open to the possibility that maybe it will.
I'm still waiting for john bias to tell me what daggers symmetric minoidal categories have to say that that is different than just translating something from quantum mechanics and then translating it back because usually the insight comes from translating to different field and then doing something in this other language that you couldn't in the former than translating back but.
As far as I can see, you just translate and then translate back without anything new being generated. So I'm in a similar boat as Scott and I think you and I have talked about this off air, Jacob. Yeah, but let me just put that right. There are people who don't know quantum mechanics.
who, and I feel so sad for those people, they don't know what they're missing. Everyone should learn quantum mechanics, it's such a beautiful theory. But there are people who work in statistics who don't do quantum mechanics and they've developed all kinds of incredibly interesting and sophisticated ways of thinking about statistics. And there's a barrier between them and people who work in quantum mechanics because quantum mechanics is phrased in this very different language. If you hand them a version of quantum mechanics that's phrased in the language of ordinary probability theory, suddenly certain things that
Might have been difficult to apply from statistics or something applicable and this is I mean this is just so new.
If you want to show that this is actually a better way to introduce quantum mechanics to people who have never seen it before, then you need to show that by showing all the phenomena of quantum mechanics that you can explain them better in this way. I don't see that you've done that.
But you know that is a thing that if you did that then yeah that would that would make me wanna you know come back to look at this car again.
You know, it's rare in science or in philosophy to find oneself with a blank canvas page to be filled in. I view that as super exciting, especially the theory is old and battle tested as quantum mechanics. So I relish that opportunity. I feel like we've already made a lot of progress and I'm very excited about the things that hopefully we'll be able to explore going forward. Well, usually quantum mechanics courses start with either the double slit or the Stern-Gerlach experiment and then trying to explain that. So, Jacob, I welcome a lecture of
An account of the double slit and or stern Gerlach, but just without referencing the the ordinary Hilbert space picture just your picture That'd be great. Well, so I sent you a document Kurt. Yes Yes, you already have that in paper form and so I'll put that on screen and Scott It was wonderful to speak with you again. Jacob. Thank you so much. This has been so much fun This was delightful and Scott. It's always a pleasure to chat. Well, hopefully we'll find more opportunities
Okay, good to see you. Yeah, good to see you. I've received several messages, emails and comments from professors saying that they recommend theories of everything to their students. And that's fantastic. If you're a professor or lecturer and there's a particular standout episode that your students can benefit from, please do share. And as always, feel free to contact me.
So my question was, you gave an example earlier about the CNOT gate, and then you used many worlds to explain that. You said that some people find that easier. Do you have any other examples of situations where students are confused and then you use a different interpretation to explain it? Not really. I'm not usually using interpretations to explain conceptual points, right?
Let me say, I mean, I certainly talk about Bohmian mechanics, like when we talk about, you know, the Bell inequality and the CHSH game, right? But that's partly just for reasons of history to explain, you know, why did, why did Bell care about this in the first place? I haven't yet seen a situation where Bohmian mechanics helps me to explain something that I couldn't have explained without it. I see.
Because earlier you were saying like, look, you're willing to use an Uber, which is any car to get from point A to B. But it sounds like you'll use an Uber as long as it's a Hummer, as long as it's the same car. Yeah. I mean, I mean, I mean, usually, you know, when we're trying to solve a concrete problem, like what does this quantum algorithm do when the whole point like, you know, we don't need it. And, you know, we don't need interpretation for that. Right. We know, we know how to, you know, what that calculation looks like. Right.
new update started a sub stack writings on there are currently about language and ill-defined concepts as well as some other mathematical details
Several people ask me, hey Kurt, you've spoken to so many people in the fields of theoretical physics, philosophy, and consciousness. What are your thoughts? While I remain impartial in interviews, this substack is a way to peer into my present deliberations on these topics.
Also, thank you to our partner, The Economist. Firstly, thank you for watching. Thank you for listening. If you haven't subscribed or clicked that like button, now is the time to do so. Why? Because each subscribe, each like helps YouTube push this content to more people like yourself. Plus, it helps out Kurt directly, aka me. I also found out last year that external links count plenty toward the algorithm.
Which means that whenever you share on Twitter, say on Facebook or even on Reddit, et cetera, it shows YouTube, hey, people are talking about this content outside of YouTube.
which in turn greatly aids the distribution on YouTube. Thirdly, you should know this podcast is on iTunes, it's on Spotify, it's on all of the audio platforms. All you have to do is type in theories of everything and you'll find it. Personally, I gained from re-watching lectures and podcasts. I also read in the comments that, hey, toll listeners also gain from replaying. So how about instead you re-listen on those platforms like iTunes, Spotify, Google Podcast,
I'm
You also get early access to ad free episodes, whether it's audio or video. It's audio in the case of Patreon video in the case of YouTube. For instance, this episode that you're listening to right now was released a few days earlier. Every dollar helps far more than you think. Either way, your viewership is generosity enough. Thank you so much.
▶ View Full JSON Data (Word-Level Timestamps)
{
"source": "transcribe.metaboat.io",
"workspace_id": "AXs1igz",
"job_seq": 3146,
"audio_duration_seconds": 9128.05,
"completed_at": "2025-11-30T21:50:04Z",
"segments": [
{
"end_time": 20.896,
"index": 0,
"start_time": 0.009,
"text": " The Economist covers math, physics, philosophy, and AI in a manner that shows how different countries perceive developments and how they impact markets. They recently published a piece on China's new neutrino detector. They cover extending life via mitochondrial transplants, creating an entirely new field of medicine. But it's also not just science they analyze."
},
{
"end_time": 36.067,
"index": 1,
"start_time": 20.896,
"text": " Culture, they analyze finance, economics, business, international affairs across every region. I'm particularly liking their new insider feature. It was just launched this month. It gives you, it gives me, a front row access to The Economist's internal editorial debates."
},
{
"end_time": 64.514,
"index": 2,
"start_time": 36.34,
"text": " Where senior editors argue through the news with world leaders and policy makers in twice weekly long format shows. Basically an extremely high quality podcast. Whether it's scientific innovation or shifting global politics, The Economist provides comprehensive coverage beyond headlines. As a total listener, you get a special discount. Head over to economist.com slash TOE to subscribe. That's economist.com slash TOE for your discount."
},
{
"end_time": 72.927,
"index": 3,
"start_time": 66.169,
"text": " It is not every day that I see a claim for a new formulation of quantum mechanics. That's exciting."
},
{
"end_time": 96.493,
"index": 4,
"start_time": 74.889,
"text": " For almost 100 years, quantum mechanics has splintered physics into competing interpretations, each with a different consequence for reality. In this theolocution, Harvard's Jacob Barandes, co-director of the graduate studies department, has developed a revolutionary framework called indivisible stochastic processes that suggest there is no fundamental wave function."
},
{
"end_time": 113.148,
"index": 5,
"start_time": 96.493,
"text": " He's joined with Scott Aronson as they dispute other interpretations like Many Worlds and Bolem, as well as discussing do quantum computers get their power from other universes? If so, why don't quantum computers provide speed ups for all problems instead of just a specialized subclass?"
},
{
"end_time": 132.961,
"index": 6,
"start_time": 113.148,
"text": " In Jacob's view, what actually gives quantum computers their power over classical computers is indivisibility, and that's because the class of indivisible processes is simply larger than the class of all the kinds of processes used by classical computers. My name's Kurt J. Mungle, and I use my background in mathematical physics to analyze various theories of everything."
},
{
"end_time": 161.578,
"index": 7,
"start_time": 133.353,
"text": " Can we finally understand quantum mechanics without invoking mysterious wave functions or are we forever bound to a world of mathematical abstractions divorced from physical intuition? The audience is in for a huge treat. I've had a preview of the questions you have for one another and I'm excited to be hosting you both. Thank you. Welcome Scott Aronson and Jacob Barndes. Great to be here. It's lovely to be here. Thanks for the invitation. Nice to see you, Scott. Yeah, good to see you too, Jacob."
},
{
"end_time": 188.643,
"index": 8,
"start_time": 162.5,
"text": " Does the benefit of quantum computing provide evidence for many worlds? Scott. Um, I would say that there is a philosophical argument, uh, that, for example, David Deutsch has made, right? That says that, uh, and this was a very closely related to why he invented the idea of quantum computing in the first place in the early 1980s, right?"
},
{
"end_time": 207.602,
"index": 9,
"start_time": 188.951,
"text": " That says, well, look, suppose that you use a quantum computer to factor a 2000-digit number. And Deutsch said this very explicitly in the 90s. Suppose you run Shor's factoring algorithm and it factors the number."
},
{
"end_time": 228.831,
"index": 10,
"start_time": 207.91,
"text": " Vastly"
},
{
"end_time": 251.203,
"index": 11,
"start_time": 229.394,
"text": " I think that that does get at why quantum computing is so interesting to many of us in the first place, right? That it seems like this really, really hard to fake test that, yes, there is some kind of reality to these abstractions that we're talking about that do involve these vectors and this exponentially large space."
},
{
"end_time": 280.981,
"index": 12,
"start_time": 251.613,
"text": " Right. But now I would say the philosophical part, the part where people can reasonably disagree with each other is should you describe that in terms of parallel universes or not? You know, is that the right language to use for talking about this vast thing? Right. The problem is that, you know, what do we mean by something being a different universe? Right. Usually, you know, we mean that it is evolving independently from us. Right. It is, you know, its own separate thing."
},
{
"end_time": 291.186,
"index": 13,
"start_time": 281.101,
"text": " I mean, in the TV shows, in the movies, there's always some portal or some wormhole by which you can visit the other universe. Because if there weren't, then what would be the plot?"
},
{
"end_time": 320.759,
"index": 14,
"start_time": 291.357,
"text": " But somehow it is separated from our universe. But the trouble is if it's separated, then for that very reason, we don't see the evidence of it. Like if we do a quantum computation, then at the point when two branches are really separated, then we don't see the interference between them. We only see our branch. And to the extent that you do see the interference,"
},
{
"end_time": 342.79,
"index": 15,
"start_time": 320.998,
"text": " As you do insures factoring algorithm for example you know other algorithms for quantum computers then you could say the very fact that these things could interfere means that they never really established separate identities as parallel universes at all they were all just part of one giant interfering quantum mechanical blob."
},
{
"end_time": 360.794,
"index": 16,
"start_time": 343.2,
"text": " I think that's a philosophical objection, but I do agree that quantum computation would be dramatic evidence that the state of the universe is this vastly bigger thing."
},
{
"end_time": 390.009,
"index": 17,
"start_time": 361.084,
"text": " in some sense than what classical physics posits for it right and that that is a huge deal now you know i get annoyed when you know people will take the latest quantum computing experiment like what google did you know with its willow chip this past december and they'll say oh you know this is new you know evidence for the reality of parallel universes like no you know no it's not there's just evidence that quantum computing works like the theory said and you know if you agreed"
},
{
"end_time": 415.93,
"index": 18,
"start_time": 390.265,
"text": " With the philosophical argument that that can only be explained by many worlds, then you should have believed that way before this experiment. And if you didn't believe it, then you still shouldn't believe it. So it's not like these experiments are changing things that much, but there is this philosophical argument that I think is at the heart of why we care about quantum computing, why Deutsch invented it in the first place."
},
{
"end_time": 444.121,
"index": 19,
"start_time": 417.517,
"text": " Briefly before you respond, Jacob, I want to know what would David Deutsch say to your response about that the universe must be independent, so how would it manifest in this universe? Oh, what would he say? I mean, Deutsch would say that you don't even need quantum computing to see the obvious truth of the many worlds interpretation. He would say that even the two slit experiment"
},
{
"end_time": 453.916,
"index": 20,
"start_time": 444.326,
"text": " You know from more than a hundred years ago, you know where you see interference between two paths that a photon can take even that clinches the case"
},
{
"end_time": 475.879,
"index": 21,
"start_time": 454.206,
"text": " and can only be explained by the many worlds interpretation and everyone else is just in denial about it. And then he would say, okay, but for those who are too dense to see that, building a quantum computer may help them psychologically, right? It may make it even more undeniable, but he thinks you don't even need it."
},
{
"end_time": 506.203,
"index": 22,
"start_time": 476.578,
"text": " There's some very interesting history here, and Scott, I'm sure you're aware of this, but many people who are watching may not know, but Deutsch's development of quantum computing is really a fantastic example of how thinking philosophically and foundationally about physics in general and quantum mechanics in particular has borne tremendous fruit. I agree. My understanding is the story is that Wheeler had him sit down at a dinner with Hugh Everett when he ever sort of came back out of retirement in the 70s."
},
{
"end_time": 530.179,
"index": 23,
"start_time": 506.34,
"text": " Yeah, I can almost see the building where that happened. Right. Yeah, yeah, yeah. And they sat next to each other. And at the beginning, apparently, Deutsch was skeptical or whatever, but by the end of the dinner, he was quite convinced. And just like Scott said, I mean, it's in the papers. It's kind of amazing, right? There's this foundational paper in quantum computing from 1985."
},
{
"end_time": 557.841,
"index": 24,
"start_time": 530.52,
"text": " It's quantum theory, the Church-Turing principle, and the universal quantum computer. And Deutsch is not shy about citing the Everett interpretation. It's like in the abstract and throughout the paper he's like, and this only makes sense under the Everett picture. And he says very clearly that one of his motivations for developing quantum computing is to make just completely clear that the Everett approach has to be correct."
},
{
"end_time": 585.862,
"index": 25,
"start_time": 558.131,
"text": " What's interesting, and Scott, you mentioned this, this is exactly on point, the sort of modern ideology that is dominant among people who think about and work on the Everett approach, and this is typified by books like David Wallace's 2012 book, The Emergent Multiverse, is that you really need decoherence, meaning the gradual disappearance of interference effects between the branches,"
},
{
"end_time": 612.363,
"index": 26,
"start_time": 586.254,
"text": " in order for macro world branches and distinct universes to emerge. And that precisely doesn't happen in the middle of a good quantum computation. Yes, that's what I'm going to say. Right, exactly. So but my point is just that like this is what Scott's saying is really that the standard way that most Everettians think about it. So the Everett approach doesn't really help you so much with quantum computing because those other universes"
},
{
"end_time": 633.097,
"index": 27,
"start_time": 612.892,
"text": " They don't exist precisely in the case when they're being used, so to speak, for a good quantum computation. I'll just say a couple of things about this. One is there are a lot of situations in quantum mechanics where if you take seriously a particular philosophical perspective, at first"
},
{
"end_time": 659.343,
"index": 28,
"start_time": 633.353,
"text": " glance, it may seem a little bit, you know, helpful revealing, oh, quantum computers in some circumstances can do things more efficiently than we believe is possible with classical computers. And the actual existence of multiple universes seems like maybe this is what gives these systems their advantage. But then on further reflection, it gets kind of strange because if these universes are just really there,"
},
{
"end_time": 683.251,
"index": 29,
"start_time": 659.804,
"text": " In some sense, whether in the microscopic case where, again, there's not agreement that we should be even thinking that way, or in the macroscopic case, you might think that you can get speed ups in far more circumstances, that speed ups would be far more generic. As Scott has at the top of his blog, his tagline, if you take one thing away from his blog, it's that quantum computers don't get speed ups because they're trying out all the possibilities at once."
},
{
"end_time": 703.865,
"index": 30,
"start_time": 683.541,
"text": " And that's very confusing because if you think those universes are there, you might just think you can get speed ups all the time. It's actually kind of amazing that you only seem to be able to get speed ups in very special circumstances. And for me, this is almost evidence that we shouldn't be thinking that way. Scott, you put this really beautifully. I forget when you said this, but you had this lovely quotation where you're like, these other universes are"
},
{
"end_time": 716.254,
"index": 31,
"start_time": 704.343,
"text": " Are are are not quite as real as actual universes and not quite as they live in some sort of you know intermediate regime between being real and being not real."
},
{
"end_time": 742.927,
"index": 32,
"start_time": 716.681,
"text": " But yeah, I mean, I've been banging my head against the pedagogical problem of how to explain quantum speed up for 25 years, right? And I like to say that quantum computing is a weirder resource than any science fiction writer would have had the imagination to invent, right? It's not just classical exponential parallelism, right?"
},
{
"end_time": 769.053,
"index": 33,
"start_time": 743.217,
"text": " You know, in order to explain it to people, usually we say like, yes, you can create this superposition over exponentially many possible answers, but then you get only this tiny portal for observing something about it, right? You have to make a measurement. Measurement is a destructive thing in quantum mechanics. It collapses the state. And then your only hope of getting a speed up is to exploit the way that"
},
{
"end_time": 799.258,
"index": 34,
"start_time": 769.343,
"text": " amplitudes in quantum mechanics being complex numbers work differently from the probabilities that we're used to in particular that they can interfere with each other so with every quantum algorithm you are trying to choreograph a pattern of interference where the contributions to the amplitude of each wrong answer are canceling each other out they're interfering destructively whereas the contributions to the amplitude of the right answer are all adding up"
},
{
"end_time": 812.978,
"index": 35,
"start_time": 799.531,
"text": " Constructively interfering."
},
{
"end_time": 837.619,
"index": 36,
"start_time": 813.712,
"text": " Right, right. Well, let me say a couple of things about this. One is the use of branching tree-like graphical structures is not unique to quantum computing. That's right. If you're teaching a course in probability theory, we draw outcome trees, probability trees, decision trees, all the time to explain things. So I completely grant that drawing trees of branches is a pedagogically useful exercise."
},
{
"end_time": 865.162,
"index": 37,
"start_time": 837.619,
"text": " So I wanna then jump on the point that you made, which is that the key to quantum computing is the ability to exploit the fact that these amplitudes are complex and that the different possibilities interfere and you can use them to sort of cancel each other out. Interference is this very important property in getting quantum computing to work. And actually I think that's kind of key because if you think it's all about parallel universes, you might think you get speed ups all the time when you realize that it actually requires this very delicate use of interference"
},
{
"end_time": 886.561,
"index": 38,
"start_time": 865.555,
"text": " You realize the class of problems you're going to be able to get speed ups for is actually not going to be totally obvious and will require a lot of careful thought. We've been working on it for 30 years. What exactly is that class? I kind of like the analogy between the Everett interpretation and just Darwinian evolution where you have"
},
{
"end_time": 913.814,
"index": 39,
"start_time": 886.561,
"text": " You know these these populations of species that can interfere with each other you know namely reproduce actually right but you know that's only when the population remains relatively close to each other and it's dna sequence right once you have two isolated subpopulations that get far enough apart from each other then they're never again going to merge right then they really have branched off into two separate branches."
},
{
"end_time": 927.415,
"index": 40,
"start_time": 914.087,
"text": " what biologists would call two different species and what in quantum mechanics we would just call separate Everett branches."
},
{
"end_time": 955.299,
"index": 41,
"start_time": 928.063,
"text": " is interference and how do you explain interference to students if you're not you know and and and if these aren't really worlds if they're not really macro worlds yet because if they were well-defined macroscopic realities they would have decohered then we can't do quantum computation with them so like what are these things we're dealing with and there's a kind of quietism that one practices let's just not talk about what they mean let's just draw them on paper and work with them and I think we can do better I mean we don't have to do better if the goal"
},
{
"end_time": 980.316,
"index": 42,
"start_time": 955.981,
"text": " for somebody is just to build better and more efficient quantum algorithms to build quantum algorithms that can do more things. I think this is probably fine, but of course we all come into thinking about quantum theory, quantum foundations and philosophy of physics for a variety of reasons. And I think there are definitely a lot of people who would like a more physical picture that underlies this. And this is where my approach"
},
{
"end_time": 1002.585,
"index": 43,
"start_time": 980.52,
"text": " sort of comes in and I'm happy to say a little bit for those who may be unfamiliar with with my work and how it connects with this this power of quantum computing but let me totally agree with wanting to understand the world yeah not just predict the outcomes of experiments so yeah yeah yeah and then we can talk about how to do that so Jacob before you go on explaining your"
},
{
"end_time": 1030.452,
"index": 44,
"start_time": 1003.114,
"text": " Your new formulation, I want to hear Scott Aronson's rendition of it. Yes. But first, before Scott Aronson, before you speak about Jacob's theory in order for Jacob to say yes or no to you, I want you to tell the audience then where do you think this efficiency comes from in quantum computing or where does the interference occur? If it's not these many worlds, if you're not a believer in many worlds, then where do you personally, Scott, think the efficiencies come from?"
},
{
"end_time": 1057.773,
"index": 45,
"start_time": 1030.998,
"text": " I mean, a quantum speed up, you know, really, if you think about it, just means classical slowdown, right? It means that our quantum computer can do something that cannot be done efficiently by any classical algorithm, right? And so what it really means is just that of all of the different ways that you might have imagined that a classical computer could efficiently simulate this quantum computation, none of them work."
},
{
"end_time": 1074.428,
"index": 46,
"start_time": 1058.404,
"text": " Right."
},
{
"end_time": 1095.23,
"index": 47,
"start_time": 1074.548,
"text": " Classical approaches work and so I think that the exponential size of quantum states when we write them down in the usual way is part of the story. The entanglement of the qubits is part of the story. If there were an entanglement then there would be a fast classical simulation because I could just keep track of the state."
},
{
"end_time": 1120.418,
"index": 48,
"start_time": 1095.418,
"text": " of each particle separately in my classical computer. The interference is a huge part of the story, because if it weren't for interference, then I could just use a classical computer with a random number generator, and that would do the simulation. So it's really the combination of all of these elements, the exponentially large Hilbert space, as we call it, the"
},
{
"end_time": 1139.65,
"index": 49,
"start_time": 1121.22,
"text": " The entanglement, the interference that is ruling out all of the different ways that you could simulate this thing efficiently with a classical computer. Actually, you even need more than that. There are examples of quantum computations, for example, what we call stabilizer quantum computations that have all of those elements."
},
{
"end_time": 1165.725,
"index": 50,
"start_time": 1139.906,
"text": " and yet still they can be efficiently simulated by a classical computer for another reason. If you combine all of those elements, exponentially large Hilbert space, entanglement, interference, then at least there's a chance that you're going to evade any way of simulating what you're doing efficiently using a classical computer. I think that's really what's going on."
},
{
"end_time": 1189.121,
"index": 51,
"start_time": 1167.654,
"text": " Okay now let's hear your recapitulation of Jacob's theory and just for a background for the audience Jacob has a theory on or a formulation of quantum theory a reformulation of quantum theory that gives an ontological account as to what's occurring and it's been covered on theories of everything this channel at least three times and I'll put each part on screen right now and the links will be in the description."
},
{
"end_time": 1210.913,
"index": 52,
"start_time": 1190.06,
"text": " Hi everyone, hope you're enjoying today's episode. If you're hungry for deeper dives into physics, AI, consciousness, philosophy, along with my personal reflections, you'll find it all on my sub stack. Subscribers get first access to new episodes, new posts as well, behind the scenes insights, and the chance to be a part of a thriving community of like-minded pilgrimers."
},
{
"end_time": 1240.316,
"index": 53,
"start_time": 1210.913,
"text": " By joining you'll directly be supporting my work and helping keep these conversations at the cutting edge so click the link on screen here hit subscribe and let's keep pushing the boundaries of knowledge together thank you and enjoy the show just so you know if you're listening it's see you are t j i m u n g a l dot org kurt jaimangal dot org. Yes so it is not every day that i see a claim for a new formulation or interpretation of quantum mechanics."
},
{
"end_time": 1267.159,
"index": 54,
"start_time": 1240.52,
"text": " So, you know, that's exciting. I mean, I tend to think that the basic options on the table, you know, like Copenhagen or, you know, many worlds interpretation, Bohmian mechanics, you know, have pretty much been around since the 1950s with, you know, minor rebrandings, combinations, elaborations since then. And"
},
{
"end_time": 1297.466,
"index": 55,
"start_time": 1267.824,
"text": " Jacob is saying he has something different. Actually, when I talked to physicists about this, they said, oh yeah, Jacob Berandes, isn't he the guy who has something that's kind of like Bohmian mechanics? But I think I understand better than I did a month ago what is going on and that it's not quite that. So basically, just to back up a little bit, I would say,"
},
{
"end_time": 1310.418,
"index": 56,
"start_time": 1297.722,
"text": " What Jacob wants is to give a new account that reproduces all of the empirical predictions of quantum mechanics so he's not going to change"
},
{
"end_time": 1336.51,
"index": 57,
"start_time": 1310.657,
"text": " the experimental predictions. That's what it means for something to be an interpretation or formulation instead of a new physical theory. But he wants to do it with using something that looks more like classical mechanics where you have particles or some objects that will have just definite"
},
{
"end_time": 1361.817,
"index": 58,
"start_time": 1336.766,
"text": " Classical configurations, you know, such as just the positions of particles in three dimensional space. Okay. Uh, and you know, and that puts him in a long tradition and people who have tried that, including Bohmian mechanics. Okay. But the difference is, uh, in Bohmian mechanics, you main, you, you retain the wave function, the quantum wave function in your ontology. So you still have this."
},
{
"end_time": 1384.872,
"index": 59,
"start_time": 1362.039,
"text": " You know, gigantic wave of of amplitudes, you know, just like many worlds does. Hey, but then you use that wave to guide the particles along trajectories. All right. So you have let's say particles that have some actual positions in three dimensional space. And then those particles are guided."
},
{
"end_time": 1412.125,
"index": 60,
"start_time": 1385.162,
"text": " There they're nudged around by the wave function in a way that's been precisely constructed to reproduce the predictions of standard quantum mechanics for what would you see when you measure those particles, right? Okay. So that's, that's Bohmian mechanics. Now, Jacob, a contrast is going to get rid of the wave function to not have the wave function in his ontology. And he's not going to have the trajectories for the particles either."
},
{
"end_time": 1434.411,
"index": 61,
"start_time": 1412.432,
"text": " Not in general, anyway. What he's going to have is just, like in Bohmian mechanics, you pick a basis. You have what we call a preferred basis, which could mean positions of particles in three-dimensional space or something like that."
},
{
"end_time": 1463.882,
"index": 62,
"start_time": 1434.65,
"text": " And then at any given time, he wants to say the particles have a real position. The system has a real configuration, a real state in that basis, even if you don't look. But now what he's going to give up on is trajectories for these configurations. So in general, we're not going to be allowed to ask, given that the particles were in this configuration at time t."
},
{
"end_time": 1485.145,
"index": 63,
"start_time": 1464.155,
"text": " What is the probability that they will be in this other configuration at time t plus one? We're only going to be allowed to ask that question in the cases where it would normally make sense. In quantum mechanics, we would say that it's in superposition,"
},
{
"end_time": 1511.834,
"index": 64,
"start_time": 1485.452,
"text": " Jacob would just say, well, you're allowed to ask at any individual time, what is the probability that the particles are here or that they're there, but you're not allowed to ask given that they're here now, what is the probability that they are there then? And so this is what he means in talking about indivisible stochastic dynamics. So he wants to reformulate"
},
{
"end_time": 1527.705,
"index": 65,
"start_time": 1512.056,
"text": " say you know this what in the standard picture would be the schrodinger equation you know that governs the evolution of the of the wave function as a differential equation that is governing the stochastic evolution"
},
{
"end_time": 1551.527,
"index": 66,
"start_time": 1527.858,
"text": " of these what we might call a hidden variable except it's not really hidden, the classical positions of these particles. So he's going to give you an evolution equation for that, but it's not divisible. In the cases where in the standard account we would say that quantum interference is happening, you're not allowed to ask for"
},
{
"end_time": 1580.759,
"index": 67,
"start_time": 1551.715,
"text": " Transition probabilities you're not allowed to ask for the the the the whole path that is followed by these particles or like You know given that they're here now, then what's the chance that they're there then it's just all one? indivisible stochastic evolution, so That's my understanding of it and now Jacob can tell me what I got wrong Thanks, yeah, so let me just say a couple of things about this the first is"
},
{
"end_time": 1593.456,
"index": 68,
"start_time": 1581.681,
"text": " There is a kind of a paradigm that we all work under. It's a paradigm that I grew up learning about when I took my university courses in quantum mechanics."
},
{
"end_time": 1622.602,
"index": 69,
"start_time": 1593.865,
"text": " You know, I ended up doing a PhD in theoretical physics and we used quantum theory all the time. I used a tremendous amount of quantum theory applied to fields. And so we learned quantum field theory. And so there's a certain way of thinking about quantum mechanics and thinking about how it's supposed to work, starting from the textbook axioms, the so-called Dirac for Paul Dirac von Neumann from John von Neumann axioms that you get from respectively 1930 and 1932."
},
{
"end_time": 1641.63,
"index": 70,
"start_time": 1623.166,
"text": " I'm"
},
{
"end_time": 1665.026,
"index": 71,
"start_time": 1642.005,
"text": " When the system is evolving through time in a way where it's not mutually exchanging interactions or information with any other systems evolves according to a rule called smooth unitary time evolution, which can usually be for some systems expressed as differential equation. That's the Schrodinger equation. And then you have all these measurement axioms, all these axioms about what are the mathematical objects that represent the things that we can observe about the system."
},
{
"end_time": 1691.783,
"index": 72,
"start_time": 1665.265,
"text": " How do we get probabilities out of the theory for those measurement outcomes that's called the Born Rule and then we're supposed to collapse the quantum state to reflect the result of the measurement and give robust reliable predictions for subsequent measurements. That's the standard picture and this picture is built around the idea of the quantum state. There's this paradigm I call the wave function paradigm that quantum theory begins by talking about wave functions or some suitable generalization of wave functions that live in Hilbert spaces"
},
{
"end_time": 1720.196,
"index": 73,
"start_time": 1692.142,
"text": " And then we're supposed to sort of figure out what we're supposed to do from there. When you start from this picture, it sounds very complicated to construct a different picture, because you start with all these Hilbert space ingredients. You're like, well, we've got a Hilbert space. Hilbert space is a kind of vector space. Vector spaces can be described using what are called different orthonormal bases. So what you have to do is you have to pick an orthonormal basis for some reason. And then from that orthonormal basis, you have to do this and do this, and you have interference, and you have the Hilbert space."
},
{
"end_time": 1747.978,
"index": 74,
"start_time": 1720.572,
"text": " You know, and you have the Schrodinger equation, which has to be translated back. I mean, when you start from this paradigm, it makes everything sound very complicated. And you see this all the time when you're talking about, you know, different paradigms for a theory that from maybe a newer paradigm, you know, a new paradigm can look very complicated when one attempts to express it in terms of an older one, or even very difficult to understand. And there's this whole theory, this whole story in the history of philosophy of science about the incommensurability of different paradigms. So let me just"
},
{
"end_time": 1774.787,
"index": 75,
"start_time": 1748.387,
"text": " We just start from the beginning, okay? I don't believe that paradigms really are incommensurable, but you know, that's a separate discussion. That's fine. I won't take a stand on this. I'm not ideological about this. I'm only saying that there is in the history and philosophy of science this idea that paradigms can be incommensurable. I won't take a stand on it. Yeah. What I would say, Jacob, is that, you know, if you say that this is, you know, a new paradigm for quantum mechanics and that"
},
{
"end_time": 1804.514,
"index": 76,
"start_time": 1775.06,
"text": " you know, we shouldn't try to express it in terms of the old paradigm, then the task for you, the next task would be to explain, you know, take all the successes of quantum mechanics, you know, all the phenomena that we know about, you know, including, you know, Shor's algorithm, Grover's algorithm, you know, quantum teleportation and show how they have simpler explanations in terms of indivisible stochastic dynamics, right? And what you won't be allowed to do"
},
{
"end_time": 1814.241,
"index": 77,
"start_time": 1804.753,
"text": " When you do that, just translate it back into the usual ket notation, the usual Hilbert space picture."
},
{
"end_time": 1840.811,
"index": 78,
"start_time": 1814.548,
"text": " Invoke this theorem that says that it has an equivalent representation in my picture because you know if that's you're going to be your answer then you know you're telling me that in practice I should just continue using the standard picture right and and I should continue to think in terms of it right if you want me to switch to thinking in in terms of a different picture then you have to show me how all the the specific successes of quantum mechanics that I care about"
},
{
"end_time": 1868.217,
"index": 79,
"start_time": 1841.067,
"text": " actually are simpler to explain, present in terms of that new picture. So let me say a couple of things about that first and then I'll get to it. Yeah. So one of the things I'm going to do is explain what this approach is on its own terms. But of course, one of the important things about this approach is that it leads to an ability to reconstruct the standard axioms and the Hilbert space picture in its regime of validity and say a little bit about why it has this sort of limited regime of validity and how one might extend that."
},
{
"end_time": 1897.449,
"index": 80,
"start_time": 1868.217,
"text": " But I'm not saying, to be super clear, right, I'm not saying that we should stop using the Hilbert space picture any more than, you know, if you want to, you know, study a problem in classical physics using the action angles formulation, or you want to do Hamiltonian Jacobi theory, or you want to help yourself to canonical transformations or canonical perturbation theory, or one of a million other things that you might want to do, visualize trajectories in phase space, you're going to use the Hamiltonian phase space reformulation of classical physics."
},
{
"end_time": 1926.254,
"index": 81,
"start_time": 1897.875,
"text": " So if someone comes along and says, oh, you know about Hamiltonian, the Hamiltonian phase-based formulation, you've got Q's representing positions or some generalization of positions and P's representing some generalized notion of momenta, the so-called canonical momenta. And you have this phase-based picture. You've got the dynamics, the equations that describe how things evolve according to Hamilton's equations of motion. And you have these beautiful symmetries. You have this ability to do changes of canonical variables, these so-called canonical transformations that can scramble what the whole picture looks like."
},
{
"end_time": 1936.442,
"index": 82,
"start_time": 1926.817,
"text": " You know it's long and says actually think that there's a physical picture here the thing you're describing is an object moving around you know it's stuck to a spring or a pendulum."
},
{
"end_time": 1959.138,
"index": 83,
"start_time": 1936.783,
"text": " you know and the person says well okay that's a useful picture that's helpful but will it help me do canonical perturbation theory will it help me do action angle variables i would say well no we have this beautiful hamiltonian framework for doing that you should use that still or another example is we have general relativity so general activity this is teaching jealousy for 10 years but when we do orbital calculations in like you know sending spacecraft"
},
{
"end_time": 1987.415,
"index": 84,
"start_time": 1959.138,
"text": " Or even can only be treated using your formulation."
},
{
"end_time": 2013.268,
"index": 85,
"start_time": 1988.285,
"text": " Right, right. So, let me start with that. I want to get to explaining what it is, but let me just quickly jump to that, okay? Okay. So, if what you're doing is, again, developing algorithms for quantum computing, I don't think there's no obvious sense in which this gives you the ability to do anything differently from what you would do in the old paradigm. The tools that we have are extremely good for these situations. You're studying tabletop kinds of systems where the Dirac Von Neumann axioms work really great."
},
{
"end_time": 2038.848,
"index": 86,
"start_time": 2013.268,
"text": " But those are not the only kinds of systems that physicists are interested in. So physicists are interested in applying quantum mechanics in astrophysical situations to early universe cosmology. And people are trying to apply quantum mechanics in the context of quantum gravity. They're trying to do quantum mechanics applied to black holes. They're trying to do quantum mechanics. And now you're in situations where the Dirac-Vitamin axioms are very ambiguous about what you're supposed to be able to say."
},
{
"end_time": 2048.575,
"index": 87,
"start_time": 2039.582,
"text": " I was often very confused."
},
{
"end_time": 2076.237,
"index": 88,
"start_time": 2048.985,
"text": " about, you know, when we were legitimated in using the textbook version of quantum theory. And again, I wasn't the only one. I mean, we would routinely run into situations in which people would say, well, can we do this particular thing? Does this make sense? We have this sort of nonlinear dependence on this or that and what's going on with black holes. And people were genuinely confused about how to apply quantum theory to these situations. But these are situations that are different from what you'd find in tabletop experiments. It'd be like saying, why do I need general relativity on Earth?"
},
{
"end_time": 2104.428,
"index": 89,
"start_time": 2076.237,
"text": " Newtonian gravity works fantastically. Well, there are systems that are beyond Earth where we may need a better theory because things get more extreme. Let's agree that if you could say something new about quantum gravity, that would be great. Right? No argument there. Now, if we think of you as, you know, you are sort of hawking a new product at the foundations of quantum mechanics bizarre, right? Well, OK, the quantum gravity theorists are potential customers."
},
{
"end_time": 2132.09,
"index": 90,
"start_time": 2104.65,
"text": " I am also a potential customer. I am in the market for even just a reformulation of existing quantum mechanics that would help in coming up with new quantum algorithms or understanding for which problems quantum computers will give a speed up and for which they won't. If someone can give me that, that's great. I'll buy it. There's a lot of things that one might want to do with reformulating quantum theory."
},
{
"end_time": 2161.015,
"index": 91,
"start_time": 2132.329,
"text": " you know the existing approaches that we have the existing if you want formulations interpretations i honestly i i know that the terms don't exactly mean the same thing and there are some people who really like to to be very precise about what they mean but but i'm happy to call this a formulation interpretation that doesn't that doesn't bother me um okay but but that that that at some at some point that that might actually be the crux like are you making a new ontological claim or are you just giving a new mathematical reformulation"
},
{
"end_time": 2178.131,
"index": 92,
"start_time": 2161.015,
"text": " But both are very clear for everybody it's both there's both an ontological statement about what is actually out there and also sort of a new mathematical formulation to be clear like when paul dirac introduced the path integral in this paper in nineteen thirty two lagrangians and quantum mechanics."
},
{
"end_time": 2193.985,
"index": 93,
"start_time": 2178.985,
"text": " He was just curious how Lagrangians show up in quantum mechanics, this classic idea of Lagrangians, because the theory at that point had been developed only in the Hamiltonian formulation. And it took 10 years before Richard Feynman came along and incorporated this idea into his PhD thesis."
},
{
"end_time": 2219.514,
"index": 94,
"start_time": 2193.985,
"text": " Then six more years in 1948 in reviews of modern physics and when he spelled out the idea for a broader physics audience and even then he said in the paper, there's nothing you can do here that you can't do using ordinary methods. It took decades for people to realize that there are situations in which you would never want to do things in the canonical Hamiltonian formulation. In particular, things like Yang-Mills theories, right? And the standard model is formulated in the Lagrangian path integral formulation for very good reasons."
},
{
"end_time": 2243.814,
"index": 95,
"start_time": 2219.65,
"text": " Sometimes ideas do take a while to come to fruition. And another good example is David Bohm's work. So decoherence goes back to David Bohm's work in 1951. He was trying to understand foundational questions of the measurement process in his textbook, Quantum Theory from 1951. And in chapter 22, he studies the measurement process. And famously in section 22.8, destruction of interference in the process of measurement, he introduces this idea of how decoherence works."
},
{
"end_time": 2272.534,
"index": 96,
"start_time": 2244.189,
"text": " You know, and it takes decades for that eventually to become a major part of how we think about quantum computing, right? I mean, decoherence timescales are now a thing that people just talk about constantly. Things do take time, but you have to begin with a new idea. And I think it's just interesting when you have a new idea that isn't obviously wrong or inconsistent. So the first thing I'll just say is, like, certainly if there are any inconsistencies or problems with this new formulation, that's a fair game. But if the only thing is to say, well, I don't know what to use it for yet."
},
{
"end_time": 2287.329,
"index": 97,
"start_time": 2273.063,
"text": " I think that's actually pretty good. We don't always know what to use things for initially. In that case, let's delve into the idea. So I still want to know did I get anything importantly wrong in my summary of what you are asserting?"
},
{
"end_time": 2307.415,
"index": 98,
"start_time": 2287.807,
"text": " So, okay. One, you made a comment earlier, does this thing make any new predictions? Yes. I'm going to come to that point. Okay. Another, you talked about whether this thing has any trajectories in it. I'm going to come to that point again. All right. But broadly speaking, I think that if you're starting from the Hilbert space picture and trying to explain"
},
{
"end_time": 2336.049,
"index": 99,
"start_time": 2307.927,
"text": " like backward had to go from the Hilbert space paradigm if you want to this paradigm I think broadly speaking your pictures right but I think it for people who are hearing this the first for the first time it sounds very complicated let me just explain I mean I'm just thinking of someone who already knows quantum mechanics and what the quickest route to get them to understand but you were asserting right right right but again it'd be like starting with a Hamiltonian phase-space formulation and saying we're gonna pick a canonical frame I mean what choice do we have we have to be people where they are"
},
{
"end_time": 2355.862,
"index": 100,
"start_time": 2336.152,
"text": " Right, absolutely. Well, the choice is, you know, to, you know, for new people coming to quantum theory, right, who are, you know, yeah, but okay, so let me let me just start from the beginning. We listed all the direct phenomenon axioms, they involve all these exotic ingredients, we're not going to do that. Here are the starting assumptions. Here are the axioms. The first is"
},
{
"end_time": 2368.865,
"index": 101,
"start_time": 2356.852,
"text": " that a physical system has a configuration and that configuration comes from some menu of configurations that we like to call if it's a nice continuous set of possible configurations, a configuration space, not a physical space."
},
{
"end_time": 2398.951,
"index": 102,
"start_time": 2369.206,
"text": " uh... and this is a this is we call this the kinematical part of the theory and it's very similar to what you do in a classical theory classical theory you begin by picking up an appropriate set of or space of configurations that you want to use to model the system in question if you want to study particles you would pick arrangements of particles in space if you want to do fields you would you know consider uh... you know configurations of field intensities localized to places in space or in a you know a discrete system like in a computer you would pick you know arrangements or patterns of on and off switches and memory registers"
},
{
"end_time": 2415.316,
"index": 103,
"start_time": 2398.951,
"text": " or whatever so that's that's model dependent you pick what you need for the model you want to do and that's the first axiom we just pick a set of configurations the second is the dynamics the dynamics means the dynamical laws the mathematical laws that describe how configurations are supposed to change"
},
{
"end_time": 2432.961,
"index": 104,
"start_time": 2415.93,
"text": " And, you know, in, you know, physical theories up till now, you know, under this sort of Laplacian paradigm, the idea is we have some kind of differential equation that takes our present configuration and then tells us later configurations in some smooth way, usually in the language of some giant difference equation, we don't do that."
},
{
"end_time": 2457.637,
"index": 105,
"start_time": 2433.422,
"text": " The new dynamical postulate is there's just this family of conditional probabilities. This collection of conditional probabilities of the form, given that the system is in such and such configuration at this conditioning time, this is the conditional probability the system will be in such and such configuration at a particular target time. Conditioning time has to be a special time."
},
{
"end_time": 2476.152,
"index": 106,
"start_time": 2458.131,
"text": " We'll talk about, yeah, that's what we'll talk about. So this is a sparse set of potential probabilities. They're not, they're not completely comprehensive. They're not, you know, they don't exist for all conceivable, you know, things you might pick for target and conditioning times. In particular, the conditioning times are a little bit special."
},
{
"end_time": 2503.2,
"index": 107,
"start_time": 2476.937,
"text": " That's what makes these a sparse set of conditional probabilities and because they're special these processes are called indivisible processes. And indivisibility just means that there's like a failure of iterativeness. You can't just take some process over some amount of time and just act repeatedly with some map or rule that then gives you for each successive time because that would assume that every single time is a time at which you can restart and condition on."
},
{
"end_time": 2532.841,
"index": 108,
"start_time": 2503.404,
"text": " If you give up that assumption, you have a simpler collection of conditional probabilities. These processes entered the research literature in 2020 in a preprint by Simon Mills and Kevin Modi in just sort of a throwaway comment in Figure 6 in their paper, which was a beautiful review article on classical and quantum stochastic processes that I highly recommend. It's on PRX quantum. It's available for everyone."
},
{
"end_time": 2557.739,
"index": 109,
"start_time": 2533.268,
"text": " You can also get the archive version of you or whatever. But, you know, and then ultimately it was published, like I said, in PRX Quantum, that was that was next year. So 2021, this is like a relatively new idea, hasn't been explored by people who work in statistics and in the theory of stochastic processes. These processes are not Markovian. So Markov processes are processes that have this nice iterative behavior. Broadly speaking, I mean, it's a little more subtle than that."
},
{
"end_time": 2565.998,
"index": 110,
"start_time": 2558.251,
"text": " But but but even you know when people have considered traditional non Markovian processes like in the textbooks."
},
{
"end_time": 2591.988,
"index": 111,
"start_time": 2566.288,
"text": " When people think about non-Markovian processes, they imagine these very, very intricate structures with these towers of higher and higher-order conditional probabilities that are all different from each other. They get very, very complicated. They're very difficult to formulate and specify, and that's why people, when they can, typically try to write down Markov processes. These indivisible processes are even simpler than Markov processes. They fail to be Markovian, not because they're more complicated than Markov processes, but because they're actually simpler than them."
},
{
"end_time": 2614.497,
"index": 112,
"start_time": 2592.363,
"text": " There's new mathematics to be done. There's new ways to think about things."
},
{
"end_time": 2642.961,
"index": 113,
"start_time": 2614.77,
"text": " Remarkably, you know, so you might have just thought, well, if there's this new kind of process that's simpler and more general than the processes we've been dealing with, can it do anything? Does it have any applications? And it turns out it appears to be exactly right to give you that quantum theory. So again, the two assumptions are configurations and configuration spaces and the dynamical laws are these sparse conditional probabilities that generically will fail to be indivisible. Sorry, will generally fail to be divisible. They're called indivisible processes. And then there's the mathematical correspondence, a map."
},
{
"end_time": 2672.363,
"index": 114,
"start_time": 2643.712,
"text": " That's very analogous to the map between a classical Newtonian system and the Hamiltonian phase space formulation, which is this very mathematically abstract formulation with all these symmetries and all these calculational tools. And that correspondence is called the stochastic quantum correspondence, and it lets you go between the two pictures. So, you know, once you avail yourself of this map, you can just systematically reconstruct all the axioms."
},
{
"end_time": 2702.398,
"index": 115,
"start_time": 2672.875,
"text": " But now you know where they sort of come from, and you get these very beautiful ways to understand where some of the weirdnesses of quantum theory come from. So let me take, for example, the complex numbers. When you want to use this to cast a quantum correspondence, what you find generically is that it only works when the complex numbers are introduced at this step. Or some algebraic structure that is algebraically equivalent or isomorphic to what we call the complex numbers."
},
{
"end_time": 2722.585,
"index": 116,
"start_time": 2702.671,
"text": " I'm"
},
{
"end_time": 2752.381,
"index": 117,
"start_time": 2722.585,
"text": " Ordinary old-fashioned probability theory, right? There's no Hilbert spaces. It's just systems moving around, and the probabilities are old-fashioned probabilities. They have all the usual rules of old-fashioned probabilities. And when you want to write it in this Hilbert space picture, what you find is that in most cases, the complex numbers are necessary to write down that description. So this gives a very satisfying explanation of why we need the complex numbers in quantum theory. I do think there's something nice that is going on there."
},
{
"end_time": 2781.63,
"index": 118,
"start_time": 2752.671,
"text": " axiomatic reconstruction of quantum mechanics, which is another thing that people have, you know, Lucy and Hardy and many others have, you know, Julio Chiribella have tried for many years, you know, which I would think of as a somewhat different game from interpretation of quantum mechanics. Yes, yes. I should say that those approaches, for example, Hardy's approach, right? He has this and I recommend this to everybody who's listening because it's a beautiful paper. It's quantum mechanics from five reasonable axioms."
},
{
"end_time": 2807.073,
"index": 119,
"start_time": 2781.988,
"text": " But these approaches are explicitly instrumentalist. They're part of this larger idea called generalized probability theories, the other GPT, the original GPT, which is just to treat quantum theory as kind of an instrumentalist device in which agents or observers do measurements on things. So these are not intended to be physical interpretations. So to be super clear, this is a very different kind of a picture. But let me go farther, right?"
},
{
"end_time": 2827.705,
"index": 120,
"start_time": 2807.381,
"text": " One question people have is like, why interference? Why linear? Where do these features come from? And interference is this very bizarre, as we were talking about earlier in this conversation, it's something about if you take kind of a many worlds-ish kind of attitude, we've got different realities, but they're not really different realities yet, because they're not macroscopic and they haven't decohered yet."
},
{
"end_time": 2852.688,
"index": 121,
"start_time": 2828.097,
"text": " you know and and somehow their complex numbers and they can cancel each other out right but like what is going on physically there's kind of no like clear physical picture here in it but because you have this correspondence now between Hilbert space this Hilbert space story and this stochastic story you can translate back and forth to get a physical picture and if you translate interference back to this picture what you find is that literally just the indivisibility if you take a process"
},
{
"end_time": 2882.602,
"index": 122,
"start_time": 2853.268,
"text": " uh... and you start from some conditioning time and go to some target time you'll get some a statement about the conditional probabilities the system will end up where it does if you by hand just demands that we can slice this process up and write down the kind of nearest approximate divisible counterparts of this process you just divided by fiat at this intermediate time and then try to treat it as a as a process with a division in the middle you'll get the wrong answer"
},
{
"end_time": 2901.903,
"index": 123,
"start_time": 2883.422,
"text": " What's fascinating is that when you compare the correct answer with indivisible dynamics to the wrong answer, you just subtract the two, subtract the predictions of the one from the other. The formula that pops out is exactly the formula for interference. So interference now has an interpretation. It's just if you want to go to a formalism,"
},
{
"end_time": 2929.94,
"index": 124,
"start_time": 2902.5,
"text": " Not an indivisible formalism with laws that are sort of hard to apply, but you want to go to this nice, beautiful, clean, smooth, Hilbert space formalism in which you can do time evolution in steps. You use unitary time evolution. It's nice and divisible. It looks Markovian. Then the cost you pay, the indivisibility doesn't go away. It manifests as this very abstract, very confusing kind of interference. But now the interference has like a physical meaning that it didn't have before. I mean,"
},
{
"end_time": 2959.804,
"index": 125,
"start_time": 2930.691,
"text": " I have two points to make first that may change your view on this."
},
{
"end_time": 2963.609,
"index": 126,
"start_time": 2960.111,
"text": " The first thing before, let me just say,"
},
{
"end_time": 2994.121,
"index": 127,
"start_time": 2964.206,
"text": " Because you're reconstructing the axioms of quantum theory, you don't have to go through one at a time and check that every single thing comes out. You can, and some papers do that. So you've got a couple of things. One is this question about there are no trajectories. I want to be a little more precise about this. The statement here is that there are, it's not that we're saying that there's no trajectories. What we're saying is the theory doesn't supply you with a precise description about what trajectories are taken. So, you know, the system at any given moment, there is a probability distribution for the configuration of the system."
},
{
"end_time": 3018.37,
"index": 128,
"start_time": 2994.121,
"text": " And these probabilities these distributions are where the system is changing in some circumstances you can make conditional probabilistic statements about where the system will be in other cases you can't. But this isn't to say that the trajectories aren't there just that we don't have the tools from the theory to tell us what they're doing now you could say this meets them on observable and we can run into a discussion about should a theory on observables and let me pass this over to Scott."
},
{
"end_time": 3035.299,
"index": 129,
"start_time": 3019.053,
"text": " Stanis, are you committed to the existence of trajectories even if you can't calculate their probabilities? Yes. You are. Yes. Okay, so you say that there really are trajectories. Yeah, the system is really doing things. It's just that your theory doesn't tell you their distribution. Correct."
},
{
"end_time": 3065.094,
"index": 130,
"start_time": 3035.828,
"text": " Okay. That is different from what I thought. Excellent. I thought that you were denying the existence of the trajectories. No, no, no, no. There are trajectories. The system is following some path. We just don't know what it is. If you had a God's eye view and could see the entire universe unfolding, you'd see all these zany trajectories. You wouldn't need probabilities. You wouldn't need quantum theory, but we are epistemic limited beings. Okay, but it's not just that your theory doesn't tell us the trajectories. It's that within the"
},
{
"end_time": 3087.841,
"index": 131,
"start_time": 3065.316,
"text": " in the"
},
{
"end_time": 3112.039,
"index": 132,
"start_time": 3088.712,
"text": " As you know, on Theories of Everything, we delve into some of the most reality-spiraling concepts from theoretical physics and consciousness to AI and emerging technologies. To stay informed, in an ever-evolving landscape, I see The Economist as a wellspring of insightful analysis and in-depth reporting on the various topics we explore here and beyond."
},
{
"end_time": 3136.698,
"index": 133,
"start_time": 3112.5,
"text": " The economist's commitment to rigorous journalism means you get a clear picture of the world's most significant developments, whether it's in scientific innovation or the shifting tectonic plates of global politics. The economist provides comprehensive coverage that goes beyond the headlines. What sets the economist apart is their ability to make complex issues accessible and engaging, much like we strive to do in this podcast."
},
{
"end_time": 3158.404,
"index": 134,
"start_time": 3136.698,
"text": " If you're passionate about expanding your knowledge and gaining a deeper understanding of the forces that shape our world, then I highly recommend subscribing to The Economist. It's an investment into intellectual growth, one that you won't regret. As a listener of Toe, you get a special 20% off discount. Now you can enjoy The Economist and all it has to offer for less."
},
{
"end_time": 3186.169,
"index": 135,
"start_time": 3158.404,
"text": " Head over to their website, www.economist.com slash totoe to get started. Thanks for tuning in. And now back to our explorations of the mysteries of the universe. Nature says that. Why don't we just believe nature? Okay. Okay. So then that is, that is a very key difference from Bohmian mechanics, let's say, right? Where Bohmian mechanics will just say, you know, among all the math, you know, the choices that we could possibly make,"
},
{
"end_time": 3199.838,
"index": 136,
"start_time": 3186.459,
"text": " for"
},
{
"end_time": 3225.623,
"index": 137,
"start_time": 3200.52,
"text": " Central objections that I have always had to Bohmian mechanics is well choice Why not a thousand other equations that I could have also written down would have been? Empirically indistinguishable from that one right agreed and and so you know you're saying okay? Well there is some you know distribution over trajectories right there is some you know you know as there would be Completely agnostic about which"
},
{
"end_time": 3250.469,
"index": 138,
"start_time": 3225.691,
"text": " Right. So to be clear, we're not providing a probability distribution over trajectories. That's kind of the thing. You're not. You're not. I understand. Excellent. Yeah. Okay. Yeah, but this isn't, I mean, so one objection one can always raise if you're not supplying individual trajectories. And I did a lot of early work in the modal interpretations. Okay. In modal interpretations, the failure to provide trajectory information can lead to ontological instabilities that are very severe."
},
{
"end_time": 3274.548,
"index": 139,
"start_time": 3250.811,
"text": " where like macroscopic systems can fluctuate between like cat alive, cat dead, cat alive again in ways that are sort of uncontrollable. So what you don't want is for the inability to specify trajectories to bleed into macroscopic systems. But what you can show is precisely because as systems get bigger and bigger, they have more and more and more of these division events that just arise from the interactions of the environment."
},
{
"end_time": 3292.21,
"index": 140,
"start_time": 3274.548,
"text": " That for macroscopic systems you get a really nice clean evolution when you work in terms of collective variables and appropriately coarse grained degrees of freedom you find a macroscopic systems they do move in very predictable ways even though way down deep."
},
{
"end_time": 3319.94,
"index": 141,
"start_time": 3292.21,
"text": " their individual elementary particles or elementary constituents, whatever they are, are behaving in ways that can't be assigned within the theory specific trajectories. So it's very important that we close the gap between kind of the unpredictability of the trajectories for microscopic things and the emergence of nicer trajectories for big things. And this is something I'm very sensitive to, again, because of my early work with modal interpretation. So I just wanted to say something quickly about the trajectories. I'm glad we touched on that. The other thing I wanted to say was this question about does this make different predictions? So"
},
{
"end_time": 3347.637,
"index": 142,
"start_time": 3319.94,
"text": " The Dirac phenomenon axioms are ambiguous about what should happen when you've got very large systems that you want to treat quantum mechanically, right? This is, this is the heart of... Systems include us. They include us, but short of your cat, Vigner's friend experiment, right? And so there's just an ambiguity and a particular... I mean, in some sense, as long as the cat or the friend or whatever is external to you, right? As long as you are willing to treat it as just a collection of atoms."
},
{
"end_time": 3371.817,
"index": 143,
"start_time": 3347.858,
"text": " you know, even an enormous one, you know, of evolving by Schrödinger evolution, then it's, it is unambiguous what to do. But if you yourself are part of the system, I mean, I think, I think that is when the empirical problem arises. I mean, you know, I think a way to put it, and I have this, this flow chart that maybe, maybe Kurt can, can, can, can attach, but I call it the vigorous friend flow chart. And it just basically like,"
},
{
"end_time": 3386.288,
"index": 144,
"start_time": 3372.466,
"text": " In the Victor's Friend Thought experiment, which again if people haven't heard about, the super quick summary is there's now two observers, very important there's now two, Hugh Everett who first introduced it in the literature in his long-form thesis in 1956, he phrased it as two observers,"
},
{
"end_time": 3409.923,
"index": 145,
"start_time": 3386.442,
"text": " In the simplest case, one observer, Wigner, is outside of a box that is sufficiently sealed for the duration of the experiment that we can pretend that nothing leaks out of the box or goes in. And then Wigner's friend is a second observer inside this perfectly sealed box, along with some quantum system and some kind of superposition that this Wigner's friend is going to measure or do a measurement process on. And the question is, now that we have two observers, there's this ambiguity."
},
{
"end_time": 3437.995,
"index": 146,
"start_time": 3409.923,
"text": " Do we activate the collapse or the measurement axioms? Do we not activate them? Do we activate them for everybody or for nobody? And you can just construct a detailed, when I have this conversation with Vigner's friend, people tend to dodge and weave, right? I'll say one thing and then they'll go one way. I'll say, but if you just draw a whole flow chart and just say, here's the flow chart, here are all of your options, you have to pick one. Yes or no to this, yes or no to that, yes or no to this, yes or no to that. And all of them end at some kind of either problem or they end at some kind of interpretive stance."
},
{
"end_time": 3468.046,
"index": 147,
"start_time": 3438.422,
"text": " If you believe that Vigner's friend on the inside in fact really does collapse the quantum state by this measurement, then you run into the measurement problem, right? To head on into what counts as measurements, what doesn't count as measurements. If you believe that collapse happened but it wasn't because of the measurement, then you're talking about a dynamical collapse or some other theory about why collapses happen. If you don't believe that the overall wave function is collapsed, then either Vigner's friend did in fact have a result"
},
{
"end_time": 3496.817,
"index": 148,
"start_time": 3468.404,
"text": " There was in fact a result despite the fact that it's not reflected in the overall wave function, and that is by definition a hidden variables approach. And a lot of physicists implicitly take this approach if they don't want to be meta-worlders. They're like, well, we just have to be perspectival. They're different perspectives. Vigner on the outside assigns one wave function, Vigner's friend on the inside has a definite result, but this is literally a hidden variables approach. Or you deny that there was in fact a definite outcome, and you're either embracing that more than one outcome has happened, and that's kind of a many-worlds type ontology, or that"
},
{
"end_time": 3520.845,
"index": 149,
"start_time": 3497.398,
"text": " Where did nothing happens that without you that that because from inside somehow didn't yield anything at all and then you're embracing some kind of anti realism which is going to be radically self undermining and those are your options you have to pick something and you i know that you know it you can sort of try to not but it just of staring you right there i am explicitly embracing the option that the overall"
},
{
"end_time": 3546.971,
"index": 150,
"start_time": 3521.408,
"text": " Well, on the Hilbert space that we would say the overall wave function in the stochastic side, we would just say that there's just ongoing indivisible stochastic process happening isn't broken. That's what's going on for the overall system. And at the same time, Vigner's friend did have a definite results. So you can think of this if you want as a hidden variables approach. Although, as Scott pointed out, these variables are not hidden to Vigner's friend and they're not extra or additional variables because the wave function is not a physical object. These variables are the only things there are."
},
{
"end_time": 3571.408,
"index": 151,
"start_time": 3547.295,
"text": " So I'm explicitly embracing that part of the flowchart and that makes a prediction different from the Dirac Phenomenaxioms, which just either run into the measurement problem or ambiguous about what's supposed to come out. For the benefit of listeners, I think we should say that the trouble with using the Wigner's friend thought experiment to get predictions"
},
{
"end_time": 3595.009,
"index": 152,
"start_time": 3571.732,
"text": " Is that at the end of the experiment, you don't, you know, that Vigners friend doesn't actually have a memory of what happened, which we could use to test this prediction. Right. So like, like by the time it comes to, you know, we asked the friend at the end, you know, what, what, what did you experience? Right. And then we, we write it down and we publish it in a journal, right. Then we all know how to do the calculation."
},
{
"end_time": 3621.869,
"index": 153,
"start_time": 3595.009,
"text": " For what the friend is going to say you're going to follow the usual born rule of quantum mechanics you know unless you know there's some dynamical collapse thing going on or something of that kind right but otherwise you know you're just gonna say the same you know quantum mechanics that we've known for a hundred years right if there's any empirical difference it can only be in what vigorous friend is experiencing while the experiment is under way."
},
{
"end_time": 3641.664,
"index": 154,
"start_time": 3622.227,
"text": " Just for the benefits of the viewer, I'm going to place the image that Jacob was referencing on screen. And then I also want to bring up that I asked you, Jacob, the last time, hey, what's the difference between Wigner's friend's experiment or thought experiment and the Schrodinger's cat, except the cat is now a friend?"
},
{
"end_time": 3669.411,
"index": 155,
"start_time": 3642.039,
"text": " Yeah, they're basically the same thing. It's just a question of like, is this, are we worried about just a large system being placed in superposition? Are we worried about the fact that it's alive? Or are we worried about the fact that it's conscious? And that like in some sense, we could be it. It sounds like it's just that cats can't usually report experimental findings. Right. You can just sort of heighten the dramatic stakes by going from like just a really large object"
},
{
"end_time": 3684.633,
"index": 156,
"start_time": 3669.718,
"text": " to a cat"
},
{
"end_time": 3713.985,
"index": 157,
"start_time": 3685.862,
"text": " Well, that's clearly wrong. Yeah, I don't think we can agree on that. I don't think so. Or that cats never treat humans as their friends, something like that. Well, I mean, that's how we know. I mean, cats can be friendly, but on their own terms. That's the difference from dogs. Right. Let me just quickly say about this comment about we all know what would happen. Actually, we don't know what would happen. And the reason I say that is, according to the drag phenomenon axioms, if you read the axioms one way,"
},
{
"end_time": 3743.353,
"index": 158,
"start_time": 3714.514,
"text": " Then there in fact is overall unitary evolution. The whole apparatus evolves. As far as Wigner on the outside is concerned, there's no loss of coherence, and we can do in principle interference experiments or even do it reverse unitary and reverse the system to where it started. But the Dirac-Vindemann axioms, they say that when a measurement is done, then things collapse. And if you take that seriously, then you can't do those operations. You can't do interference experiments on Wigner's, on the box. You can't undo the procedure unitarily."
},
{
"end_time": 3768.08,
"index": 159,
"start_time": 3743.729,
"text": " And so this is the ambiguity. And I think what you're basically saying is, which is what most physicists do, is we're going to resolve that ambiguity in favor of maintaining unitary evolution. But that, strictly speaking, goes outside the direct von Nexium. So when a physicist says this to me, they're like, we don't need all this philosophy. We don't need quantum foundations, you know. But in the Wigner's friend thought experiment, we're going to take this this prong of the fork."
},
{
"end_time": 3786.476,
"index": 160,
"start_time": 3768.677,
"text": " there are"
},
{
"end_time": 3815.93,
"index": 161,
"start_time": 3786.63,
"text": " Well, then you're on my playing field. Now we just have to give an account that's consistent of when we're allowed to do this and when we're not supposed to do this or justify it. If the draft line of axioms are not available anymore, if we've gone beyond them, then we need new axioms, right? Because if you're outside of your axiomatic framework, you're just flying around in the void. You need somewhere else to stand. And all I'm saying is that we should have another set of axioms"
},
{
"end_time": 3823.746,
"index": 162,
"start_time": 3816.152,
"text": " that you just made."
},
{
"end_time": 3851.647,
"index": 163,
"start_time": 3824.172,
"text": " The audience is here and has been watching since the beginning and knows Scott is in the market. Scott is a working quantum mechanic who actually wants to buy from you, Jacob. He just wants to make sure that you have something that's worth buying, but he wants it. So now Scott probably has some objections like I would buy from you, Jacob, but A, B and C. So what is it? Yeah. So at some point in this podcast, I did want to say, you know, why I am, I think I am not"
},
{
"end_time": 3881.391,
"index": 164,
"start_time": 3851.647,
"text": " Currently buying this product you know i i might revisit it in the future if it you know and i'm very happy for jacob to hook this product to other people but i can explain why i why why you have not close the sale with me today okay and the reason is you know if you are telling me that you know the you know there are you know particles that you know have real positions in space"
},
{
"end_time": 3907.892,
"index": 165,
"start_time": 3881.698,
"text": " And now you're also telling me that those particles have trajectories, right? But the trajectories are unknowable by us, right? You know, you can only from quantum theory, you can only get this indivisible stochastic dynamics, right? That just sort of tells you, you know, we're not allowed to ask, right? So for example, if I am Wigner's friend in the experiment, I cannot use this to predict"
},
{
"end_time": 3937.176,
"index": 166,
"start_time": 3908.353,
"text": " Given that I am having this one experience at one time, then what is the probability that I will have a different experience two seconds from now? I can't actually use it for that. It is unknowable by me. Well, guess what? That's what standard quantum mechanics told me. It told me it is unknowable by us. I feel like at that point,"
},
{
"end_time": 3958.439,
"index": 167,
"start_time": 3937.381,
"text": " I might as well just say that what is knowable, what is within the ambit of physics to talk about is the wave function, which is what most views of quantum mechanics have been saying for a hundred years. I haven't sufficiently improved over that."
},
{
"end_time": 3979.036,
"index": 168,
"start_time": 3958.712,
"text": " You know, for me, you know, to say for let's say in the double slit experiment to say that, you know, we can improve over, you know, the just having a wave function where there's some amplitude for the photon to go through the first slide and some amplitude to go through the second slit, you know, it means saying something like,"
},
{
"end_time": 4006.408,
"index": 169,
"start_time": 3979.326,
"text": " Okay, well really the photon goes through one slit or the other slit and I can tell you the path that the photon will take, which is exactly what the Bohmians claim to do. If you're not going to say that, if you're just going to tell me, well these indivisible stochastic dynamics give you the probability distribution over where you'll find the photon if you were to measure it at any intermediate time,"
},
{
"end_time": 4033.575,
"index": 170,
"start_time": 4006.732,
"text": " But if you don't measure it at the intermediate times, then it could be jumping around in some way that's only known to God. Well, I feel like that's what standard quantum mechanics already told me. It already told me how to calculate the probabilities if I measure the photon at any specific time. And it told me that if I don't make the measurement, then I don't get transition probabilities. So just sort of metaphysically asserting"
},
{
"end_time": 4050.964,
"index": 171,
"start_time": 4033.575,
"text": " that you know there is this basis in which transition probabilities exist and i can't know what those transition probabilities are you know i can't know what the distribution over trajectories is it just it just feels like an ontological commitment that is not paying rent for me"
},
{
"end_time": 4078.968,
"index": 172,
"start_time": 4051.357,
"text": " You know, it is not sufficiently improving. You know, I, I, I have a very strong belief. Like I do want to know what is really out there in the world. You know, I am not an instrumentalist, right? But I want to fit my ontology as tightly as possible to what is actually observable or what is at least in principle observable, right? Cause I think the history of physics has given us so many examples where people confuse themselves."
},
{
"end_time": 4108.251,
"index": 173,
"start_time": 4079.224,
"text": " by, you know, let's say, you know, reifying, you know, things like, like the, you know, the in general relativity, the coordinates, right, or, or the choice of gauge, you know, and get right the things that don't actually make a physical difference, you know, the global phase of the wave function, right. And, you know, and again, and again, the right answer has been try to just cut out from your ontology, things that are not observable, even in principle, right, have an ontology that is as"
},
{
"end_time": 4135.862,
"index": 174,
"start_time": 4108.609,
"text": " you know, tightly fit as possible to the set of all things that could in principle be observed. And, you know, whatever my reservations about the many worlds interpretation, and I do have reservations about it, but at least it tries very hard to do that, right? It tries to say, look, you know, the wave function is the encoding of everything in principle that's observable. So that's what we're going to take as our ontology full stop."
},
{
"end_time": 4151.323,
"index": 175,
"start_time": 4136.237,
"text": " It tells a very specific story."
},
{
"end_time": 4177.329,
"index": 176,
"start_time": 4151.544,
"text": " Of course, one can then object, well, why that story, as opposed to a hundred other stories, but at least it is a story. At least there's a clear story that we can stare at and poke at and see if we like it. Now I feel like we are adding additional ontology without adding a story that goes with it, in Jacob's view. That is a thing that you can do."
},
{
"end_time": 4204.718,
"index": 177,
"start_time": 4177.568,
"text": " But I don't see that I'm going to get something from that that is worth the price of admission, at least not for me, not right now. But I would say go in peace. If this helps for quantum gravity, that would be awesome. And that would certainly be one reason to take another look. If this gives new insight into"
},
{
"end_time": 4225.794,
"index": 178,
"start_time": 4205.06,
"text": " Think Verizon, the best 5G network is expensive? Think again. Bring in your AT&T or T-Mobile bill to a Verizon store"
},
{
"end_time": 4250.06,
"index": 179,
"start_time": 4230.162,
"text": " Jokes aside, Verizon has the most ways to save on phones and plans where everyone in the family can choose their own plan and save. So bring in your bill to your local Miami Verizon store today and we'll give you a better deal."
},
{
"end_time": 4268.251,
"index": 180,
"start_time": 4250.759,
"text": " I'm"
},
{
"end_time": 4297.637,
"index": 181,
"start_time": 4268.251,
"text": " You're the hope the the measurement that the biggest friend does generates division event in the division event is a is a place which you can then make conditional problems predictions from that moment. The scenario that i had in mind is that let's say that there's friend is in a superposition of two mental states and then we do i had a mart operation on that you know so we do some interfering operation or in your terms of indivisible operation that maps us from one superposition to a different one."
},
{
"end_time": 4326.92,
"index": 182,
"start_time": 4297.91,
"text": " And then the issue is that, you know, in normal quantum mechanics, we would not get transition probabilities. That's the scenario that I would... That's fine. Right. Exactly. Yeah. But for, you know, Wigner or you or anyone doing measurements like regular life, you're going to be able to make those predictions and those comport with what we see. OK, so... I understand that. I mean, let me get to a couple... Because real life is pretty decoherent. Exactly. But let me now get to a couple of the items you brought up. Yeah. And let me just say, first of all, before we even get started,"
},
{
"end_time": 4356.084,
"index": 183,
"start_time": 4326.92,
"text": " Not everybody has to agree that this is the way to go. I'm not selling this to you personally, Scott, although it would be lovely if you liked it. We're all looking for different things, right, like I said. And, you know, when you're teaching quantum mechanics and we just sort of snow over students, we stupefy them by saying here are the axioms and the students look on gawking and they're just like Hilbert spaces, linear algebra, density matrices, self-adjoint linear operators, you know, POVMs and, you know,"
},
{
"end_time": 4379.684,
"index": 184,
"start_time": 4356.442,
"text": " You render them in a state where they can't even like even be able to ask questions about why I only introduced those things as needed. But, you know, I mean, so, of course, I'm also in the market for better pedagogical ways of teaching quantum information to students. I would love that. But it sounds like even if I believed in your, you know, philosophical commitments,"
},
{
"end_time": 4402.346,
"index": 185,
"start_time": 4379.684,
"text": " Sounds to me like I would still have to teach the students about unitary transformations and all those things because how else are they going to, you know, do the calculations? Agreed, but there's a difference between saying I've got forces in Newtonian mechanics that push on things and then through like a sequence of mathematical transformations I can turn that into the Hamilton equations of motion or the principle of least action."
},
{
"end_time": 4417.688,
"index": 186,
"start_time": 4402.346,
"text": " And then, by contrast, showing up the first day and just saying, Hamilton's equations of motion are a principle of least action with Hamiltonians and Lagrange. I mean, there's a total pedagogical difference there, but let me put all that aside."
},
{
"end_time": 4443.507,
"index": 187,
"start_time": 4418.422,
"text": " at one other point is important. You know, this old joke, right, that these two campers and they hear a bear. Yeah. And one of them starts running and the other one starts putting the shoes on. And the first one, what are you doing? You can't outrun a bear. The person's like, I just have to outrun you. I'm not proposing here that this interpretation or formulation is going to satisfy everybody."
},
{
"end_time": 4464.343,
"index": 188,
"start_time": 4444.292,
"text": " And I'm not saying that it's necessarily the final word, but we don't even know if quantum theory is the final word, right? I mean, if we're trying to develop a theory of quantum gravity, it's possible that quantum theory will have to be modified in some even more profound way than is that is specified by this approach. But the question is, is this at least an improvement over the other interpretive or formulations that we have?"
},
{
"end_time": 4486.357,
"index": 189,
"start_time": 4464.838,
"text": " And I have a clear set of reasons why I think that is the case. So if someone is coming to me and saying, we've got enough interpretations already, why do we need another one? I'm just going to sit back and sit on many worlds, or I'm going to recline on Bohmian mechanics, or I'm going to recline on Copenhagen or whatever. What I'm telling you is that those are not true safe harbors, right? They're giving us a false sense of security."
},
{
"end_time": 4515.691,
"index": 190,
"start_time": 4486.681,
"text": " Here is a list of criteria that I would argue are required of any good theoretical framework in physics or formulation, and certainly for quantum mechanics, even apart from any aesthetic judgments or preferences. One is the thing has to be empirically adequate, right? It has to make predictions. The predictions have to agree with what we're seeing. That's just the first item for, you know, all the kinds of systems that we're interested in quantum mechanics. So empirical adequacy is the first. The second is it shouldn't be vague."
},
{
"end_time": 4544.394,
"index": 191,
"start_time": 4516.357,
"text": " You know, if someone asks you a question and they just sort of dodge and weave and they're vague and, you know, I don't know what we could say, but kind of know when we see it, we'll use our expert intuition like that's that's vagueness. The third is. It shouldn't make it shouldn't be unambiguous in making predictions for certain kinds of systems that while may be practically difficult to study in principle, one could study. And this is, again, like macroscopic type systems like the biggest friends set up."
},
{
"end_time": 4571.613,
"index": 192,
"start_time": 4544.565,
"text": " There should be at least a schematic in principle story to be told about how the classical world is supposed to emerge. It doesn't have to, I mean, obviously getting all the precise details is going to be very difficult. It's very difficult to, you know, do all the details and explain how even classically, you know, classical deterministic kinds of dynamics emerge from classical system mechanics. But there's at least like a schematic story about how that's supposed to work. And the final thing is it shouldn't depend on a long list of"
},
{
"end_time": 4588.507,
"index": 193,
"start_time": 4572.022,
"text": " what i call sm h's speculative metaphysical hypotheses or ad hoc extra empirical axioms in order to get off the ground a long list of epicycles but those are the things that i think we should reasonably require and my view is that none of the interpretive approaches we have meet those minimal requirements"
},
{
"end_time": 4617.756,
"index": 194,
"start_time": 4588.865,
"text": " And I can explain in detail why each of them doesn't. Bohmian mechanics has proved very, very hard to generalize beyond systems of fixed numbers of fundamentally many non-relativistic particles, so it's proved very difficult to use it to understand how quantum field theories are supposed to work. In the standard model, our best theory of the fundamental reactions is written in terms of quantum field theory. In particular, Bohmian mechanics has a great deal of difficulty handling what are called fermionic quantum field theories, which don't have traditional configuration spaces of the kind that Bohmian mechanics would want to help itself to."
},
{
"end_time": 4621.971,
"index": 195,
"start_time": 4617.756,
"text": " But mechanics up a new evolution role even if it's a stochastic one"
},
{
"end_time": 4649.548,
"index": 196,
"start_time": 4622.346,
"text": " You may have to pick a preferred reference frame or things like that. That's what people do. Here's maybe the core of my objection. I feel like Bohmian mechanics has all these problems because it tries to make a concrete commitment. You're avoiding that just by not making a commitment to what are the trajectories. As soon as you made that commitment, then you would have the same problems as Bohmian mechanics."
},
{
"end_time": 4671.34,
"index": 197,
"start_time": 4649.548,
"text": " Yeah, which but but so and you're right bowling mechanics attempts to write down like very carefully written down complicated Some would argue gerrymandered Stochastic dynamics in these sorts of situations. This is the work of people like Shelby Goldstein and so forth who've tried to generalize this When they need preferred reference, right? It turns out to be super duper duper complicated and it looks very sort of"
},
{
"end_time": 4697.108,
"index": 198,
"start_time": 4671.92,
"text": " That is not the product for me either. But I mean, look, Jacob, once you have told me now that you are committed to the existence of trajectories, even if we can't know their distribution in principle, now actually your view sounds more similar to Bohmian mechanics than I thought."
},
{
"end_time": 4725.265,
"index": 199,
"start_time": 4697.108,
"text": " Going into this conversation, but it feels to me like boom minus minus, you know, it is, you know, it is boom, except you're taking away the specific commitment about the guiding equation and you're saying, you know, who knows which, you know, yes, you can do that, but you know, you know, like, like I even would have, you know, would have known before that that was an interpretive option that was on the table, even though I wouldn't have phrased it in terms of indivisible stochastic dynamics."
},
{
"end_time": 4748.08,
"index": 200,
"start_time": 4726.254,
"text": " Yeah, so let me just say earlier on when you mentioned a bohemian mechanics, you talked about the physicality of the pilot wave. I should just note that when Bohm introduced bohemian mechanics in 1952, he did take the pilot wave to be a physical object. He's very clear about that in his papers. But and there are still bohemians who take that view. But I mentioned Shelley Goldstein, but Goldstein, Durer, Zanghi, you know,"
},
{
"end_time": 4767.637,
"index": 201,
"start_time": 4748.626,
"text": " They've embraced since the nineties a view of Bome mechanics in which the wave function is not a physical object, but it's an expression of what's called nomology. It's a law like expression, which actually brings quantum mechanics in some ways back to its roots when Schrodinger introduced his undulatory or wave mechanics picture."
},
{
"end_time": 4785.23,
"index": 202,
"start_time": 4767.637,
"text": " He built his way function out of hamilton's principle functions which are an expression of a certain kind of law like thing basically took hamilton jacobi function stuck it into the phase of a functioning call that is wave function and so in a way that sort of bring it full circle there is a sense in which what i'm doing."
},
{
"end_time": 4809.889,
"index": 203,
"start_time": 4785.23,
"text": " Like the nearest, the least squares approximation that I'm doing from existing interpretive frameworks is that it's most similar in some ways to this nomological view of Bohmian mechanics, but without the preferred foliation of space-time, without a particularly gerrymandered set of laws, the laws are simpler. Without the guiding equation, with a specific commitment of what are the inventories."
},
{
"end_time": 4827.978,
"index": 204,
"start_time": 4809.889,
"text": " Which to me was the sort of distinctive feature of boemian mechanics that you know you make this commitment you're just taking that out and saying there are some trajectories it is unknowable what they are okay okay what this what gives you a simpler laws and also greater generalizability cuz now you can apply this to basically any kind of a system."
},
{
"end_time": 4853.507,
"index": 205,
"start_time": 4828.353,
"text": " So the ability to generalize it is useful, but let me actually say something else here. So you have this paper from 2004. Is quantum theory an island in theory space? But in this paper, you're like, could we have modified any of the features of quantum theory to look for a different theory? Could we have, for example, written down a quantum theory that didn't use the complex numbers? Could we do a quantum theory where we modify this feature or that feature or this feature?"
},
{
"end_time": 4869.77,
"index": 206,
"start_time": 4854.036,
"text": " I'm and what i love about that paper is you know you're. You're not taking for granted that nature has bequeathed under us this particular you're imagining maybe there could be a different kind of a theory out there and it's worth."
},
{
"end_time": 4895.708,
"index": 207,
"start_time": 4870.657,
"text": " trying to see where we can generalize quantum theory in anticipation of the possibility that maybe we'll have an experimental result that will require generalization of quantum theory. There are only so many things you can do when you begin from the Hilbert space formulation. If you do too much or you do something that's it because the problem is the Hilbert space formulation has this very delicate connection"
},
{
"end_time": 4925.794,
"index": 208,
"start_time": 4896.135,
"text": " to empirical measurement probabilities. You have to go through a sequence of steps and through the Born rule and you get probabilities out. And if you just say, I'm just going to take a hatchet to the axioms, the Hilbert space, the Dirac-Vondelmann axioms, just play around with them, you get almost immediately nonsense, right? You get probabilities that don't add up to one or negative, stuff that doesn't make any sense because you're risking damaging this very delicate bridge or link to probability theory. If you start from a different axiomatic place,"
},
{
"end_time": 4942.91,
"index": 209,
"start_time": 4926.323,
"text": " There's no longer a link you need to get to probability theory, and you can imagine generalizing the theory in ways that would have been difficult to imagine starting from the Hilbert space formulation."
},
{
"end_time": 4970.23,
"index": 210,
"start_time": 4943.643,
"text": " You know, I agree very much with the spirit of what you were doing in that paper. I believe in it. One advantage to reformulating a theory in terms of different axioms, especially axioms that are less abstract and fewer in number and a little less delicate with less delicate connections to things like probability theory, is that we have greater flexibility to consider varying them and constructing more general theories. And I think that's an interesting thing to do. If you're a student watching this and wondering"
},
{
"end_time": 4991.101,
"index": 211,
"start_time": 4971.084,
"text": " I'm maybe I'll work on some interesting project. What can I do? Here's an interesting thing to do How can we generalize starting from this new starting place? I was I was about to ask you I mean, can you make good on that on that idea? I mean, yes, I can imagine it but can you starting from stochastic dynamics? Give me any example of something that looks like quantum mechanics, but is not quantum mechanics"
},
{
"end_time": 5012.09,
"index": 212,
"start_time": 4991.391,
"text": " Yes. Yes. Okay. Here's one example. I'll give you a couple. Tell me. Yeah. One example is these sparse conditional probabilities are only conditioned on one time, right? They're conditioned on one time, one of these division times. One generalization would be, is there a theory in which we can condition on two times?"
},
{
"end_time": 5032.773,
"index": 213,
"start_time": 5012.602,
"text": " Is there a theory mission condition on three or more times these are now describing theories that where the it's not clear the stochastic quantum correspondence works the same way you necessarily get the standard Hilbert space picture now arguably you can do tricks there's all these like tricks where you can take a non Markovian model with conditioning on multiple times and write it in some bigger way"
},
{
"end_time": 5055.896,
"index": 214,
"start_time": 5032.773,
"text": " So it's possible that there's some way to write this still in the usual Hilbert space formulation, but you might not. So you're just putting this out as an open question? Yeah, open question. This is the thing people work at. And there are a lot of these open questions, right? I wouldn't even know how to ask this question in the Hilbert space point of view, right? So that's one example. I want to make a couple of quick other notes from what you said."
},
{
"end_time": 5081.067,
"index": 215,
"start_time": 5056.834,
"text": " So one is this question about, should the theory be phrased in terms of things that are more objective? Should we have ingredients that we can't know what they are? There's this long-running question about the role and place of unobservables in a physical theory. Should a physical theory contain unobservable things? And I know you don't subscribe to crass operationalism."
},
{
"end_time": 5105.896,
"index": 216,
"start_time": 5081.476,
"text": " here, which is the statement that, you know, the only things that are physically meaningful, right, are the things that we can have some procedure or operation to go and implement or measure or work with. All of our physical theories at some place or other contain unobservables that play some important role. I would like to believe that the moon is there even when I'm right. Yeah, I would also and it would be nice to have a justification for believing that even even if"
},
{
"end_time": 5128.729,
"index": 217,
"start_time": 5106.476,
"text": " You know, because again, from Drak von Neumann, there's no, it's ambiguous, but the moon is there, which is like a problem. On the other hand, you know, the global phase of the wave function of the universe, you know, if I have an account where it's not there, then I'm not sorry to see it go, right? Yeah, but Scott, it's worse. Even in principle. But Scott, it's worse. It's worse than that. So"
},
{
"end_time": 5155.606,
"index": 218,
"start_time": 5129.138,
"text": " Now, I know that if I were to ask you this, you'd probably not commit to this, but there are a lot of people who are committed to the idea that the objects in the Hilbert space picture, wave functions, maybe apart from global phase, and these sorts of ingredients are like physical things in some sense that we should ascribe some notion of physicality or ontology to them."
},
{
"end_time": 5181.032,
"index": 219,
"start_time": 5156.118,
"text": " But the problem is there's actually this larger set of gauge transformations in quantum mechanics that actually, as far as I can tell, only goes back to 1999 in a philosophy paper by Harvey Brown. He's at the University of Oxford. And it's called Aspects of Objectivity in Quantum Mechanics. And Kurt, you can link to it because he does this on the very first page. He's a philosopher."
},
{
"end_time": 5206.357,
"index": 220,
"start_time": 5181.664,
"text": " and he identifies on the first page a large set of gauge transformations that hold for all quantum systems. You can think of these gauge transformations as a generalization of a change, a unitary change of basis. These are gauge transformations in which you're changing the basis differently at different times. So in the differential geometric language, which maybe not everybody watching this will be familiar with, but those of you, some of you may know,"
},
{
"end_time": 5234.326,
"index": 221,
"start_time": 5206.971,
"text": " You can think of a quantum mechanism evolving in time as a bunch of Hilbert spaces strung together, like when you're stringing together popcorn on a string or something like that. Each Hilbert space is a fiber stuck to the string, and this string is time. We call it a zero plus one dimensional manifold, it's just time. And there's a Hilbert space stuck to all the strings. And we can imagine doing an independent unitary rotation on each of the different Hilbert spaces."
},
{
"end_time": 5264.753,
"index": 222,
"start_time": 5234.991,
"text": " This corresponds in somewhat more conventional language to doing what's called the time-dependent unitary transformation. We act with a completely arbitrary time-dependent unitary transformation on the quantum system. And you might go, well, but that doesn't keep things invariant quantum mechanics. What are you talking about? But it actually turns out that it does. So you can look at the beginning of this paper. As long as all of your self-adjoint operators that represent observables transform in a particular way, just a so-called similarity transformation under the unitary,"
},
{
"end_time": 5294.701,
"index": 223,
"start_time": 5265.247,
"text": " And the Hamiltonian transforms as what's called a flat gauge connection. And again, this is all actually written out in Harvey's paper, although he doesn't use all this terminology, but that's what it is. Anyone who works on non-abelian gauge theories would immediately see that the Hamiltonian transforms in this very characteristic way. The theory is exactly invariant. Now, what's weird about this, and I know this is getting very technical, but this is a technical objection to try to take Hilbert space object seriously, is that it means that state vectors can be infinitely remapped"
},
{
"end_time": 5324.531,
"index": 224,
"start_time": 5295.282,
"text": " however you want, and any trajectory in a Hilbert space that you thought was encoding some kind of invariant information about the system can be mapped to literally any other trajectory by these time-dependent unitaries. Well, it's clear that we can't reify the actual numbers, you know, in some particular representation, which is tied to our choice of basis and so forth, but I don't take any many welder, for example, or anyone who believes in the reality of the wave function to be saying anything quite that naive."
},
{
"end_time": 5353.166,
"index": 225,
"start_time": 5325.503,
"text": " Right. Well, but it's it's tricky then because then you have to get into the details of exactly what's being proposed. So when I talk to some of the Kurt, I'm sorry, Kurt, you wanted to. Yeah. Let me make this simpler for everyone. Yeah. So, Jacob, you're in the showroom. You came here with some some clunker car that you you want to trade in. OK. And you're looking at the options and someone's coming up to his name is Jacob. And is this also Jacob? Yeah. Got a sexy gentleman with this great shirt. And you're like, I'm not just going to be"
},
{
"end_time": 5372.875,
"index": 226,
"start_time": 5353.456,
"text": " Wood by your smile Jacob so okay let me hear about the benefits and then Jacob's trying to sell you and I also want the audience to not take anything away from if Scott you you don't end up buying from Jacob by the end of this podcast I mean that that'd be foolish most people have to look at a car or whatever seven times before they make a purchase."
},
{
"end_time": 5399.735,
"index": 227,
"start_time": 5372.875,
"text": " Yeah, I mean I've already decided I'm not buying at this point. I'm happy I'm happy to chitchat some more but okay The point is that there are two ways to go about selling one is to talk about your own benefits So Jacob of your car the other is to talk about the detriments of the opponents. So Scott you've come in with a car. You've also said you're not an instrumentalist You're not just caring about going from point A to B. You want to know what's going on under the hood. Yes, Jacob is"
},
{
"end_time": 5426.971,
"index": 228,
"start_time": 5400.23,
"text": " Is saying that, okay, whichever car, all the other cars here will give you some accounts as to what's going on under the hood. Some actually won't, but the ones that you're interested will give an account. They're giving a false account or an account that when you look actually under the hood, it disappears into dust. So firstly, Scott, what is the car that you're going to drive away from here? What is it that you're committed to so that Jacob can then say, okay, well, let me compare my approach to that directly."
},
{
"end_time": 5435.486,
"index": 229,
"start_time": 5427.756,
"text": " I should actually say I stopped driving years ago. I didn't like it. I walk or I take Ubers."
},
{
"end_time": 5461.681,
"index": 230,
"start_time": 5435.725,
"text": " My wife is a good driver. It's different cars on different days and it's similar in quantum mechanics. I know how to think like a many-worlder and if you wanted me to have an ontology that would just"
},
{
"end_time": 5486.596,
"index": 231,
"start_time": 5461.681,
"text": " You know that was a simple as possible then i would say you know it's gonna look like a wave function that is evolving by unitary transformation and you know the hard part of course is how do i get out of that you know my subjective experience right which is related to how do i get probabilities."
},
{
"end_time": 5508.404,
"index": 232,
"start_time": 5486.732,
"text": " You know,"
},
{
"end_time": 5536.271,
"index": 233,
"start_time": 5508.66,
"text": " Long before quantum mechanics even came on the picture, right? These, uh, you know, uh, Democritus, you know, asked about these things in 400 BC. That's why I called my book quantum computing since Democritus, right? Uh, and so, so I feel like, you know, if you take consciousness out of the picture, you know, if you took our own observer hood out of it and just, you know, you just wanted a picture of, uh, laws of physics evolving,"
},
{
"end_time": 5564.292,
"index": 234,
"start_time": 5536.476,
"text": " You know, in which, you know, you would have things that looked like observers arising, not necessarily us, but, you know, you would have stars, planets, life forms, you know, organisms that would argue about these things and, you know, publish papers about them, right? Then you can get all of that, you know, as far as I know, just from the Schrodinger equation, from unitary evolution."
},
{
"end_time": 5587.927,
"index": 235,
"start_time": 5564.548,
"text": " Right. But then if you further want to account for sort of our own experience, as you know, being inside the system, then I would say, you know, that was a great mystery even before quantum mechanics, you know, the the mind body problem or, you know, the things like that, you know, quantum mechanics sort of adds a new twist."
},
{
"end_time": 5612.722,
"index": 236,
"start_time": 5588.114,
"text": " to that problem, adds a new dimension to it without quite resolving it. If you wanted to be an instrumentalist, if you wanted to just say, or rather not deny the reality of anything else, but just say what is knowable is just what we can observe in principle and everything else is speculation."
},
{
"end_time": 5630.162,
"index": 237,
"start_time": 5612.722,
"text": " Then you go all the way back to you know what borin heisenberg were saying in the nineteen twenties right to the to the copenhagen a point of view or a well i like to say you from the copenhagen is basically just shut up and calculate except without the shutting up part."
},
{
"end_time": 5657.858,
"index": 238,
"start_time": 5630.555,
"text": " It's just endless philosophizing about why you shouldn't ask these other questions. Of course, that's unsatisfactory to not be able to ask these questions, but we've seen in this conversation that even in Jacob's view, even in this new view, when I asked what are the trajectories of the particles, I am not able to ask that of his theory and get an answer to that."
},
{
"end_time": 5681.937,
"index": 239,
"start_time": 5658.08,
"text": " There always seems to be that this sort of thing that I'm either not allowed to ask or maybe I'm allowed to ask but I don't get an answer from the theory. So I guess that's what I'm driving home in. A couple things about this. The first is people who are watching this should read this just"
},
{
"end_time": 5692.329,
"index": 240,
"start_time": 5682.432,
"text": " Fabulous"
},
{
"end_time": 5718.439,
"index": 241,
"start_time": 5692.756,
"text": " Call himself officially a philosopher, but is one of the most interesting philosophical things that you've ever read. You should read this, Scott. Thank you. We used to run a philosophy of science club at Harvard and we invited Scott to come and talk and it was just fantastic. I mean, it's so full of interesting ideas and like everyone should, it's great. I think you wrote that like post tenure, right? Wasn't that you're like... Yeah, it was like immediately post tenure. Right. It was great."
},
{
"end_time": 5746.237,
"index": 242,
"start_time": 5718.865,
"text": " So, like, to be clear, people should know Scott takes this stuff really seriously. He's not, like, one of these people whose, like, philosophy is a waste of time. I don't care about the mind-body problem. Like, I'm really glad to be having this conversation with Scott about all this. Okay, so let me now say a couple of quick things. One is, I really like at the end how you, like, corrected yourself. You said, well, there are things I'm not allowed to ask. But actually, maybe in your approach you're allowed to ask it, but the theory just doesn't supply you with it. I think that's a substantive difference."
},
{
"end_time": 5765.043,
"index": 243,
"start_time": 5746.647,
"text": " So in Copenhagen, you're explicitly not supposed to ask certain things and when you go into a physics seminar, you have to learn pretty early on. There's certain questions you're just not supposed to ask. If you ask them, people will groan and roll their eyes. That's not a very intellectually like vital attitude to have in an academic environment."
},
{
"end_time": 5792.585,
"index": 244,
"start_time": 5765.367,
"text": " If you want to ask about the trajectories, you're welcome to. If you want to think, are there trajectories? I'll say, yeah. If you're like, well, is there some way that I can infer or deduce exactly what the trajectories are without doing measurements in the system? I would say, well, the theory doesn't supply you the ability to do that. But of course, you know, there are unobservable features in every formulation of quantum mechanics. I mean, one of the weirdest things about many worlds is that there are all these parallel universes that are filled with people, billions and billions of people in them."
},
{
"end_time": 5820.52,
"index": 245,
"start_time": 5793.012,
"text": " And not only have we never been able to do an experiment that directly confirms their existence, but their own interpretation says we can't because they exist only when they fully decohered from our branches. And then there's no way ever to be able to test them. There's this grand conspiracy where the vast, vast majority of the ontology in the universe is completely and forever out of our ability. I wouldn't call it a conspiracy because the theory itself explains why we can't communicate. Sure, sure, sure. I mean, yes, linearity, of course."
},
{
"end_time": 5842.142,
"index": 246,
"start_time": 5820.52,
"text": " One of"
},
{
"end_time": 5871.391,
"index": 247,
"start_time": 5842.142,
"text": " Sometimes engaging trajectories that we can't specify as our thing that we can't know unless we do a measurement on them rather than an infinitude of parallel universes containing each one billions or trillions of sentient beings that we have like you know like Maybe you'd maybe you prefer the many worlds ontology although there are some problems with that But I would certainly say this is certainly no worse than that. Okay now Let me now get to the the the the most substantive of the points that that Scott mentioned. So Scott you said"
},
{
"end_time": 5885.418,
"index": 248,
"start_time": 5872.108,
"text": " Well, look, I can get all these things out of the Schrodinger equation, out of the wave function in the Schrodinger equation. So now I'm going to turn this back to you. What are you saying that we can get just out of the wave function in the Schrodinger equation?"
},
{
"end_time": 5907.278,
"index": 249,
"start_time": 5886.288,
"text": " I'm saying that if I program my computer to simulate a bunch of quantum fields interacting according to the standard model or something like that, first of all I couldn't actually do this because I would run out of time on my"
},
{
"end_time": 5935.623,
"index": 250,
"start_time": 5907.278,
"text": " On my computer you know this is this is why so many people want to build quantum computers you know this is this is one reason why but but in principle i could do this right run a a a a simulation that would uh maintain this gigantic evolving wave function you know i'm saying that you know one could then go inside of that wave function and one could find branches in it uh that one could interpret"
},
{
"end_time": 5962.551,
"index": 251,
"start_time": 5935.845,
"text": " as containing things, you know, containing excitations that look a lot like observers. That's conjectural, to be clear. That's conjectural. There's no proof that you get a unique set of decoherent branches out of many worlds, right? That's one of the outstanding questions. But I would say it is only conjectural in the same sense that it's conjectural that, you know, if you ran the equations of classical physics, you know, from the beginning of time, then eventually you could get"
},
{
"end_time": 5989.923,
"index": 252,
"start_time": 5962.551,
"text": " Planets and life and all these things and you know I mean we believe that and in some sense because you know we have the example of our universe where it seems to have happened right we can't actually run a computer simulation where we see all of this happen from from that from the very beginning but you know this is this this comes down to you know does one believe at all in you know scientific materialism writer does one believe that there is you know"
},
{
"end_time": 6018.148,
"index": 253,
"start_time": 5989.923,
"text": " There had to be some external intelligent designer to guide things along and cause the life and intelligence to happen. If one doesn't believe that, then one believes that yes, those kinds of things can arise from just mindlessly iterating these equations over and over. And I see no basic change if the equations are quantum mechanical."
},
{
"end_time": 6037.449,
"index": 254,
"start_time": 6018.404,
"text": " Then they're just saying that what's going to be evolving is this giant superposition, but within that superposition I can again find things that look like planets with primordial soup out of which life will evolve."
},
{
"end_time": 6061.408,
"index": 255,
"start_time": 6037.619,
"text": " So I would say, this is why I say that if we're willing to leave ourselves out of it, which maybe we shouldn't be, but if we don't care about accounting for our own experience, then I think Everett actually gives you a very nice picture of what's going on, of how"
},
{
"end_time": 6090.913,
"index": 256,
"start_time": 6061.664,
"text": " You can just start with this very simple wave function, let it evolve according to the Schrodinger equation, and then you get what looks like the thing that you need. So let me come back to this, because I think this is kind of a central point, right? Yeah. So let me put aside the question over whether you get a unique basis in which decoherence singles things out. That, again, is not known at this point. Certainly not for a theory as complicated as a standard model. But I'll tell you is this. If I propose a theory,"
},
{
"end_time": 6121.22,
"index": 257,
"start_time": 6091.613,
"text": " in which, let's forget quantum mechanics, forget all this stuff. Let's suppose I propose... That decoherence doesn't happen, then I would say that that is not only a problem for many worlds. Sure, sure, sure, sure. That is a problem for any no-collapse view of quantum mechanics. Not necessarily. For example, you know, if we lived in a universe in which Bohm, just as throwing this out, a universe in which Bohm mechanics works, you don't have to worry about whether there are different bases in which decoherence works. Bohm mechanics just picks out one particular picture. Okay, but we'll put that aside. Here's what I'll ask."
},
{
"end_time": 6146.698,
"index": 258,
"start_time": 6121.22,
"text": " Forget about quantum mechanics, forget about all of our physical theories. Let's do a library of babble version of the universe. So maybe people are familiar with this fictional idea of the library of babble. This is not the exact version of the story, it's going to be the version that I'm going to use. There's a vast library and you enter the library and what you see is all the books"
},
{
"end_time": 6171.442,
"index": 259,
"start_time": 6147.193,
"text": " right that that that begin with with with what was it you see a bunch of doors i'm sorry a bunch of doors labeled by different letters you go through the letter uh t the door labeled t and the inside is every single book that could possibly exist that begins with letter t and then what you do is you go through the door labeled h and if you go to that door there's every single book that begins with letters th and this way you can just sort of find your way you can"
},
{
"end_time": 6189.974,
"index": 260,
"start_time": 6172.005,
"text": " write or find every book that could ever be written by just going through a sequence of doors this library contains all of them and someone says. This gives it an account of the universe and after all we just look at the entire library and somewhere in there is gonna be universal like ours but you look at that and go that's completely vacuous doesn't any interesting information."
},
{
"end_time": 6217.944,
"index": 261,
"start_time": 6190.469,
"text": " Right. What we want is a theory that in some way makes, you know, has some constraints about what kinds of universes are going to happen and which aren't. And one of the problems, the two of the problems of the many worlds approach is that it contains so many different kinds of universes that are so radically different. And one of the, when you read about people who write about the many worlds interpretation, I mean, in the last podcast I did with you, Kurt, I had this long explanation of the problems of the many worlds approach. But"
},
{
"end_time": 6231.374,
"index": 262,
"start_time": 6218.951,
"text": " But one problem that I didn't mention in that conversation but that comes up in the literature is people don't take it seriously enough."
},
{
"end_time": 6259.428,
"index": 263,
"start_time": 6232.244,
"text": " So when Bryce DeWitt in 1970 published his article in physics today, this is 13 years after Everett's PhD thesis in 57, announcing and broadcasting what Bryce DeWitt called the many worlds interpretation to the wider physics community. I believe the article was called quantum mechanics and reality was in physics today. He talks about how there are branches that are sort of reasonable looking in some sense."
},
{
"end_time": 6289.155,
"index": 264,
"start_time": 6260.128,
"text": " And there are also these branches that are kind of at the edges of the tails of the probability distribution that are weird and weird things happen in them. I don't remember if in that article he introduces the term maverick branches for those, but eventually these became known as maverick branches. But when you read the literature in many worlds, people who, and I'm going to get kind of technical people to use what's called Dutch book reasoning to argue how you can get probabilities out, they still stay within these sort of narrow confines of"
},
{
"end_time": 6316.937,
"index": 265,
"start_time": 6289.701,
"text": " ordinary looking branches and maybe maverick branches. But if you take the many worlds picture seriously, you have to consider branches that are even more bizarre than the branches that conform to whatever game is being played. I call these super maverick branches, you know, they're just maverick branches, but they're like, they're, they're branches in which whatever rules you're trying to set up for the game you want to play, and use the branches to explain their branches in which the rules don't apply because something totally zany happens."
},
{
"end_time": 6335.913,
"index": 266,
"start_time": 6317.329,
"text": " And once you include all the supermaverick branches, you're basically in the library of Babel situation where you're explaining everything and you're not putting constraints on which kinds of worlds we expect to see. And there aren't the resources in the many worlds of interpretation to like narrow down to worlds that at least look somewhat like the ones we see among all the possibilities. That's a major problem."
},
{
"end_time": 6360.316,
"index": 267,
"start_time": 6337.108,
"text": " Certainly I agree that if a theory doesn't rule anything out, if it doesn't tell us that anything is impossible or at least vanishingly unlikely, then it's vacuous, then it's not doing anything for us. This is part of why I have never been a hardcore many-worlder."
},
{
"end_time": 6388.063,
"index": 268,
"start_time": 6360.486,
"text": " I will use it pedagogically when it is useful for me. One example of where I found it indispensable is when I am teaching quantum computing. I need to explain how it is possible to take a qubit, do what we call a CNOT gate, a controlled NOT gate, write the result of the qubit somewhere else,"
},
{
"end_time": 6396.937,
"index": 269,
"start_time": 6388.422,
"text": " and i can sort of copy its state to a different cubit and now the effect on the first cubit is exactly as if someone had measured it"
},
{
"end_time": 6426.391,
"index": 270,
"start_time": 6397.346,
"text": " It is decohered from the perspective of someone who now looks only at the first qubit. Students get incredibly confused about that. They're like, why is that? They feel like it's still a superposition. The one explanation that I can give them that seems to click, that seems to work is to say, look, you might as well say if you wanted that the qubit was measured and just that it was measured by the other qubit."
},
{
"end_time": 6455.367,
"index": 271,
"start_time": 6427.142,
"text": " You know, the other qubit did the measurement and you might as well say that when you measure, right? What does that mean when you measure? It's just that there's a giant CNOT gate that is happening from that qubit to you, to the possible states of your brain, of your measuring device, of your environment, right? You know, to me, that is the core of what, you know, uh, of readianism is saying, you know, it is sort of the best way to explain that. Right. And,"
},
{
"end_time": 6458.882,
"index": 272,
"start_time": 6455.691,
"text": " uh... it is true"
},
{
"end_time": 6486.63,
"index": 273,
"start_time": 6459.787,
"text": " You know, I am ultimately not satisfied by a theory that doesn't account for my experience of the world, right? Because, you know, as Democritus said in that famous dialogue, you know, in 400 BC, like how can you, you know, ignore the senses when it's from the senses that you get your evidence, right? You know, how can we ignore our own experience when our experience is the only reason why we believe quantum mechanics in the first place?"
},
{
"end_time": 6513.302,
"index": 274,
"start_time": 6486.971,
"text": " Right. So I would say that like with some, you know, uh, I think, you know, fairly, you know, reasonable sounding additional assumptions about, you know, uh, uh, uh, you know, what observers are, how, you know, observers connect to the physical world. Like, yeah, I can get something like that looks like the standard quantum mechanical predictions, you know, out of, uh, the Everettian picture, but it is not automatic."
},
{
"end_time": 6539.872,
"index": 275,
"start_time": 6513.677,
"text": " You know, I agree that it's not a lot of, you know, I don't believe any of the, you know, so-called derivations of, uh, of the born rule, you know, of the probabilities from, uh, uh, from many worlds, you know, neither Everett's original derivation, nor any of the later ones. If, you know, they all sneak in some additional assumption, but I would also say that that's not just a problem for many worlds. I would say that, uh,"
},
{
"end_time": 6553.285,
"index": 276,
"start_time": 6540.111,
"text": " In any account of quantum mechanics, at some point you're going to have this problem. Where did the Born rule come from? Where did probabilities come from? If you didn't want to have probabilities in your fundamental picture."
},
{
"end_time": 6570.486,
"index": 277,
"start_time": 6553.558,
"text": " of course jake in your account you do have problems you do right on the mental picture right yeah but you know if you have an initially deterministic picture then you're always going to have that problem so um so so that's a good reason not to have a deterministic picture i mean it's like i i agree that you know there are"
},
{
"end_time": 6587.892,
"index": 278,
"start_time": 6570.486,
"text": " There are pluses and minuses to all the different major interpretations. There are other ones where I only see minuses. We don't have to talk about those maybe, but that's why I don't own a car."
},
{
"end_time": 6613.114,
"index": 279,
"start_time": 6588.046,
"text": " Take Ubers, if you like. I just drive different cars as the need arises. I could imagine some future circumstance when I would want to use Jacob's car. I could imagine if it helps with quantum gravity. Scott, you can borrow my car whenever you would. Thank you. Thank you. That's so kind of you. Look, if it helps with understanding a quantum algorithm,"
},
{
"end_time": 6642.381,
"index": 280,
"start_time": 6613.114,
"text": " I am ready to take a ride in whichever car will get me to where I'm going. Right now I don't see where this car is going to get me, where I couldn't already get. But I like to keep an open mind. Let me say a couple of quick things just to follow up about that. This is one of the annoying places where I'm going to be the annoying philosopher, I'm sorry."
},
{
"end_time": 6664.497,
"index": 281,
"start_time": 6643.2,
"text": " You know, one of the things that philosophers like to do is take a claim, an idea, and really drill down on it and make sure that it really works when you follow it to all of its sort of logical conclusions. When you said, well, if I just have the Schrodinger equation and it's just evolving at some wave function and that's going to be good enough, you'll notice that"
},
{
"end_time": 6692.346,
"index": 282,
"start_time": 6665.179,
"text": " Quickly we ran into problems as I was probing that because I asked you how to exactly do this and you're like well kind of like this and I pointed out this problem with all these weird branches and we're saying too much and then you're like well we add a few more assumptions and so forth. One of the selling points of the many worlds approach is that it is so simple. I mean just take the Schrodinger equation and unitary evolution and maybe one or two more things. I have a book on my desk. It's you can you can sort of see it is sitting there right in front of my Einstein doll. It's called Stone Soup."
},
{
"end_time": 6707.705,
"index": 283,
"start_time": 6693.319,
"text": " And I think this gives a fantastic metaphor for what happens in an approach like the Many Worlds interpretation. So those of you who don't know the stone soup folktale, these soldiers arrive at a very skeptical town and claim that they can make a delicious, hearty soup out of just water and stones."
},
{
"end_time": 6732.039,
"index": 284,
"start_time": 6707.978,
"text": " the townspeople are amazed by this and they give them a pot and they start boiling the water and as they're making the boiling the water they're like you know this is already great but you know it'd be even better if we have a little bit of seasoning and so the townspeople come they add some seasoning they're like oh this is already almost perfect but you know it'd be even better with a little bit of vegetables and then the townspeople vegetables and then by the end they have this you know obviously they've added vegetables and seasoning and meat and broth and all kinds of things and then"
},
{
"end_time": 6752.671,
"index": 285,
"start_time": 6732.039,
"text": " I'm very"
},
{
"end_time": 6782.483,
"index": 286,
"start_time": 6753.029,
"text": " Clear upfront, right? I'm telling you exactly the ingredients are we're not going through and we're, you know, and I say this in the, in the, in the podcast with Kurt Wright to get many worlds off the ground, at least attempt to get it off the ground. You have to add more and more of these postulates. And I think, I mean, I don't know, Scott, how much of the literature you've read in many worlds, but like the number of additional assumptions you need to add is quite large. And a lot of them are very esoteric, metaphysical, very difficult to imagine how we would ever verify that they in fact work."
},
{
"end_time": 6804.343,
"index": 287,
"start_time": 6783.046,
"text": " I call this the stone soup problem and I think it's actually a pretty serious problem with many worlds approach but and but fundamentally I don't believe it can work and Scott you noted this you said that the derivations of the born rule out of the many worlds approach you don't believe any of them and I agree with you and I laid out my reasons for skepticism in the podcast I did interview with with Kurt recently but but actually it's worse than that."
},
{
"end_time": 6829.872,
"index": 288,
"start_time": 6804.855,
"text": " Because you might say as well, maybe we can't derive probability or derive the Born rule. So let's just let's just agree that it's going to be an extra axiom that we add, right? Because this is this is one route that I know some people take. They're just like, well, you know, if I can't derive probability, have initio without probabilistic assumptions, let's just do many worlds and and then we'll see all these universes and we'll somehow attach probabilities to them, say that some are likely, some are unlikely."
},
{
"end_time": 6858.012,
"index": 289,
"start_time": 6830.418,
"text": " There are extremely strong arguments that if you are going to assign probabilities to the branches at all, then any rule for doing that other than the Bourne rule is going to lead you into nonsense. Yeah, and these arguments, by the way, show up in Everett's original dissertation, right? Even in the shorter version of the dissertation, the one that was... Yeah, well, I mean, there are many different arguments that all lead to that same conclusion. There are many different arguments. Yeah. But here's the problem."
},
{
"end_time": 6875.52,
"index": 290,
"start_time": 6858.729,
"text": " Okay, so if your view was that the branches were fundamental things, that is, they're like the branches themselves are part of the are considered fundamental ingredients, then it is completely fine in an axiomatic theory to assign them"
},
{
"end_time": 6893.353,
"index": 291,
"start_time": 6876.032,
"text": " in the axioms things like probabilities and and this is for example what happens in stochastic versions of bohmian mechanics or what happens in stochastic collapse theories or whatever right i mean if you're taking certain things to be part of your fundamental ingredients you're allowed to assign them features in your fundamental ingredients the problem is that in order to get around this"
},
{
"end_time": 6918.712,
"index": 292,
"start_time": 6893.609,
"text": " The idea is that we rely on this dynamical decoherence process for macro worlds to sort of pick out these approximate macroscopic worlds. The problem is that if your branches are only showing up in an approximate way in later stages of the development of the theory, you can't assign them axiomatic features like probabilities in the axioms."
},
{
"end_time": 6924.121,
"index": 293,
"start_time": 6919.343,
"text": " It would be like taking a theory of chemistry saying I've got an axiomatic theory of chemistry."
},
{
"end_time": 6953.609,
"index": 294,
"start_time": 6924.514,
"text": " in which in some situations you end up with tables and chairs, and I'm going to assign properties to the tables and chairs in my axioms of chemistry. You can't do that. The axioms have to apply to the fundamental ingredients. What people like Deutsch and Wallace try to do then is they say, well, look, we have observers within the many worlds context. They should act as if the probabilities are the born probabilities. This is what rational decision theory means in that context, and this is then what we mean by probabilities in that context."
},
{
"end_time": 6974.65,
"index": 295,
"start_time": 6953.609,
"text": " Right so i agree that you have to give that doesn't work the probability well it doesn't it doesn't work i mean and i talked in my podcast with her i don't want to rehash all those arguments yeah but but those arguments are all logically circular right because you can't you just say well i mean cuz you use the word should you should be a rational observer i don't know what should means in the many worlds universe there just zillions of"
},
{
"end_time": 7002.329,
"index": 296,
"start_time": 6974.65,
"text": " All of these arguments have to have some starting point. I agree that none of them can get something out of nothing. But you can't derive probability from them. None of them can get soup from purely a stone. Exactly. To be fair, there is enormous precedent in the history of physics"
},
{
"end_time": 7032.551,
"index": 297,
"start_time": 7002.551,
"text": " for you know making the fundamental ingredients of your theory you know as simple as possible you know even you know like impossibly simple you know just atoms in the void right agreed yeah a bunch of particles undergoing so you know and then you know and then someone might say okay but this doesn't work because you don't have tables and chairs and trees in your fundamental ontology and you say like no but that that that that that's a misunderstanding you know we don't actually need that at all all of that is derivable you know all of that"
},
{
"end_time": 7050.299,
"index": 298,
"start_time": 7032.551,
"text": " Is is to be explained from these very simple building blocks where i mean that is you know i think i think that's the goal now i know i agree that that you know to explain the experience of an observer it seems like you know something is missing there some."
},
{
"end_time": 7074.957,
"index": 299,
"start_time": 7050.606,
"text": " I think one place where you and I strongly agree is saying that you can ask this question and I can't give you an answer."
},
{
"end_time": 7080.776,
"index": 300,
"start_time": 7075.23,
"text": " No answer is presently knowable. That is an improvement over saying you're not allowed to ask."
},
{
"end_time": 7109.974,
"index": 301,
"start_time": 7081.357,
"text": " Good. Yes. Let me quickly just go back because I think there may have been a... I'm not sure it was a misunderstanding or if it was just you're going a different way, but you said the theory doesn't have to specify chairs as fundamental ingredients. I agree. Yeah. I also agree that think that the axioms should be simple. I completely agree with that. Yeah. So the Everettians would say you don't have to specify branches as a fundamental ingredient. They would say that branches are like tables and chairs. Right. But here's the problem, right? You have this fork. That's a serious problem for the manuals approach. If the branches are fundamental,"
},
{
"end_time": 7135.64,
"index": 302,
"start_time": 7109.974,
"text": " Then we can assign probabilities to them in the axioms. But then you run into all these secondary problems about the preferred basis and so forth. If you make the branches not fundamental, then you can't put axiomatic probabilities in for them because they're not fundamental objects. I'm not saying that the branches can't be emergent. Of course, the chairs and tables can be emergent. But then you can't specify the features of the probabilities of those non-fundamental things in the fundamental axioms."
},
{
"end_time": 7161.613,
"index": 303,
"start_time": 7136.015,
"text": " You kind of stuck between, you either give them axiomatic probabilities, but then they have to be fundamental to be things you can specify the axioms, or they're emergent approximations, and then the axioms can't touch them, can't assign them probabilities. And that's why people, I mean, people aren't making all these decision theoretic rationality arguments for probabilities just for fun. They're doing it because they no longer have the ability to put the probabilities in the axioms anymore. So they have to get them somewhere else, but you just can't."
},
{
"end_time": 7187.927,
"index": 304,
"start_time": 7161.613,
"text": " and for all the reasons that you and I agree on. So I don't see this as just an annoying property of the many worlds approach. I'm actually arguing the stone soup problem is the best possibility. Like, I don't think it even survives a stone soup. I think that once they try to add all these ingredients, they show the townspeople and the townspeople go, that's not soup. It didn't work, right? So I actually think it's actually a pretty serious problem and it means the many worlds approach, I've not seen any viable version of the many worlds approach that gets around these problems."
},
{
"end_time": 7212.21,
"index": 305,
"start_time": 7188.166,
"text": " And that's why if it's off the table if we drill down and find that it doesn't work so if you're coming into this car dealership and you're like you know i'm here for the car dealership because my friend kurt brought me but i walk. You know but i don't really i don't really i don't really drive car. Well then i don't know that the car dealership is really gonna ever work we really have to bring in someone who actually wants car."
},
{
"end_time": 7233.2,
"index": 306,
"start_time": 7212.637,
"text": " The switch metaphors I mean like I can listen to someone you know explain all the severe you know enormous crippling problems with democracy."
},
{
"end_time": 7260.606,
"index": 307,
"start_time": 7233.49,
"text": " and you know agree with that person right and it still doesn't mean that i am sold on you know monarchism or or or communism or some other system right uh you know it's still that that that is not enough to make the sale for me right there's this thing of you know like this this system is the worst apart from all the others right and um you know i i feel like uh uh uh you know um um"
},
{
"end_time": 7289.309,
"index": 308,
"start_time": 7261.374,
"text": " We actually know very well how to use quantum mechanics in situations where decoherence is strong. So you could say once there are lots of records of something all over the place, once the information about whether this qubit is a zero or a one has spread into the environment, into the air, into the radiation that is"
},
{
"end_time": 7294.855,
"index": 309,
"start_time": 7289.582,
"text": " lying away from us at the speed of light then you know uh uh you know"
},
{
"end_time": 7323.609,
"index": 310,
"start_time": 7295.35,
"text": " Most of us can agree that there is something real there, right? I think even in selection quantum draw, a lot of the people who call themselves Copenhagenists or instrumentalists would agree at that point that like, this is real. Like this is, this is now really, you know, this is, this is a real element of reality, even if no one is thinking about it or no one knows about it, you know, it is, it is really there, right? You know, the whole difficulty is, uh, what about when you're not in that?"
},
{
"end_time": 7342.91,
"index": 311,
"start_time": 7323.609,
"text": " What is real right you are sort of starting."
},
{
"end_time": 7372.568,
"index": 312,
"start_time": 7343.08,
"text": " that there is a basis in which something real is happening, but then you can't really tell me what in the sense of giving me trajectories. I'm not sure that that's a sufficient improvement over what I could have said before I learned this, which is yes, something real is presumably happening there and I can't tell you what other than to just write down these equations, write down the wave function by which I could calculate the probabilities for the different things that I'll see when I look."
},
{
"end_time": 7393.063,
"index": 313,
"start_time": 7373.251,
"text": " Scott, why is supplying trajectories to you so important? You should know Jacob has been on the podcast four times going into technical depth in his theory as well as dispelling quantum myths. Scott has also been on dispelling quantum myths as well, but also talking about consciousness and AI three times here once with David Chalmers and twice solo links in the description."
},
{
"end_time": 7421.305,
"index": 314,
"start_time": 7394.241,
"text": " Well, because in order to improve over the standard quantum mechanics perspective, if I just want to say that there's this wave function that gives me probabilities, I already knew how to do that. I didn't need Jacob's picture for that. If I want to make a stronger ontological claim that there are"
},
{
"end_time": 7444.002,
"index": 315,
"start_time": 7421.596,
"text": " The photon really goes through one slit or it really goes through the other slit, even when I'm not looking. Well then okay, now I want to know more. I want to know, you know, you ought to be able to give me an equation for this photon then, right? At least tell me, given that the photon was going through this slit at this time, then what is the probability that it's, you know,"
},
{
"end_time": 7468.302,
"index": 316,
"start_time": 7444.292,
"text": " So let me say a couple of things about all this. The first is this set of statements about, well,"
},
{
"end_time": 7492.278,
"index": 317,
"start_time": 7468.746,
"text": " When records, which are kind of hard to define, are in the environments far enough, and there are enough of them, and they're far enough away, and they're traveling at this speed, then we all agree. All I'm saying is that in a good physical theory, like I said, I teach general relativity, I teach Jackson electromagnetism, right? I mean, these are theories in which I can be more precise."
},
{
"end_time": 7522.21,
"index": 318,
"start_time": 7493.217,
"text": " And when we say that, oh, and stuff just gets far enough out of enough records or something like that, I mentioned Zurich's quantum Darwinism approach on selection, that sort of thing, that at some point, somewhere we wave our hand and then it's like, I'm just trying to make us honest and precise about this, right? I think that precision is possible. If the precision is not possible, if it's not possible to make quantum mechanics more precise about this, if it's not possible to eliminate this very severe vagueness, that's interesting."
},
{
"end_time": 7550.077,
"index": 319,
"start_time": 7522.671,
"text": " It would be interesting if it were really not possible. If it is possible to reduce it in some axiomatic formulation or interpretation or what have you, that's also interesting, right? And I think that's worth investigating, even if not everybody feels it's necessary. Now, let me say additional things. So far be it for me, who did my PhD in, you know, topics that were in or very close to adjacent to string theory, to make an only game in town argument that this is the only game in town."
},
{
"end_time": 7579.155,
"index": 320,
"start_time": 7551.084,
"text": " But what I would just say is I gave a list of criteria for what I thought a reasonable, viable, interpretive framework should be. Paragladiquacy, lack of vagueness, unambiguous predictions, at least a schematic picture of the classical limit, not an endless list of speculative metaphysical hypotheses. Like these are just bare minimum requirements we would put on a theory. I didn't even add Occam's razor, but you could add that too. All these things you could further add. My argument is that none of our approaches meet that minimum set of requirements."
},
{
"end_time": 7605.862,
"index": 321,
"start_time": 7579.565,
"text": " If they did, I would have... I mean, I did spend various points of my career here working in various other interpretive frameworks. Like I said, it's been a long time in modal interpretations, which Scott will remember when I said lots of strange things of modal interpretations many years ago. I arrived here because this met those requirements and the others didn't. Now, it doesn't do everything you might like. There are aesthetic criteria you might further want. You might want"
},
{
"end_time": 7626.834,
"index": 322,
"start_time": 7606.323,
"text": " I think the whole reason why there's an interpretation debate is that for every interpretation, you can state an obvious sounding condition that that interpretation fails to satisfy. In the case of yours, that condition would be"
},
{
"end_time": 7643.729,
"index": 323,
"start_time": 7627.073,
"text": " that you have to give an equation that says how that element evolves in time if it's really fundamental."
},
{
"end_time": 7670.691,
"index": 324,
"start_time": 7644.189,
"text": " All of our other physical theories contain things where we don't have an ability to describe them, we don't know what equations to apply to them. If you take general relativity as a great example of this, we have access, if you think of space-time as a four-dimensional manifold, we have access to an incredibly thin sliver of that entire space-time manifold. Most of space-time is and will forever be completely inaccessible to us."
},
{
"end_time": 7693.336,
"index": 325,
"start_time": 7671.305,
"text": " And you can quickly run into situations in which unobservable ingredients of our various physical theories, we can't describe what's going on with them. I don't really agree with the analogy. I would say in GR, you can posit a space like slice. Once you've posited it, then you have this field equation that tells you how it's"
},
{
"end_time": 7716.834,
"index": 326,
"start_time": 7693.575,
"text": " How to evolve it forward, except when you run into singularities. Or you run into Cauchy horizons. That's right. But in many conditions you can just extend that equation forward. If you believe in standard quantum mechanics, once you tell me what is the wave function, you tell me what is the Hamiltonian, then I can just"
},
{
"end_time": 7742.807,
"index": 327,
"start_time": 7717.176,
"text": " Take that Psi and map it to e to the minus iHT Psi. I can propagate that equation forward. In your case, you are telling me that something is real, namely the positions of these particles in space, or which slit the photon goes through, and you're not giving me an evolution equation for that thing that you have posited as real. Which, okay, like I said, every interpretation"
},
{
"end_time": 7760.06,
"index": 328,
"start_time": 7743.029,
"text": " has"
},
{
"end_time": 7773.985,
"index": 329,
"start_time": 7760.691,
"text": " a more serious problem when the entire empirical content of quantum mechanics, which consists of measurement probabilities, can't be obtained from your... I mean, it's one thing to say that certain unobservable features of a theory, that we don't have equations for them, right?"
},
{
"end_time": 7800.776,
"index": 330,
"start_time": 7774.275,
"text": " It's nothing to say that the observable features of the theory, the empirical content we can't get, right? I mean, that'd be like saying, not that we can't make predictions, but what's outside of, you know, our accessible light cones in general relativity, but we can't make predictions about what's inside of our accessible light cones in general relativity. I mean, we could say every interpretation of quantum mechanics has the property that to actually use that interpretation to make, you know, to actually connect it to the experiments that we can do,"
},
{
"end_time": 7830.794,
"index": 331,
"start_time": 7800.947,
"text": " We need some auxiliary"
},
{
"end_time": 7858.012,
"index": 332,
"start_time": 7831.288,
"text": " Suppose you go back, you run the clock back to 1923, 1924, which is right around the time when people like Pauli and Bohr and Heisenberg were beginning to doubt that there could be a physical picture of stuff happening because back then people still thought there were particles going around atoms and stuff, right? There were fields interacting with particles. These were all happening in some kind of there was an actual ontological picture and people began openly to doubt whether there could be any picture because no one could come up with any laws"
},
{
"end_time": 7885.555,
"index": 333,
"start_time": 7858.012,
"text": " That when combined with any such clear picture could yield the correct empirical predictions of quantum mechanics and then heisenberg begins his matrix mechanics paper nine twenty five the spring of twenty five with a bold statement that we should give up these pictures all together and we should just do everything in a cross instrumentalist way. You know so people thought that there were just were no laws that would work that was just no laws you could find. You could tell an alternative history."
},
{
"end_time": 7892.449,
"index": 334,
"start_time": 7886.305,
"text": " in which the theory of stochastic processes was discovered way earlier than in fact it was."
},
{
"end_time": 7919.957,
"index": 335,
"start_time": 7892.739,
"text": " Kolmogorov didn't publish his axiomatization of probability theory in 1933, a year after von Neumann's book on quantum mechanics. He published it in 1833. There's some retrocausal loop and he goes back and he publishes his axiomatic account of probability theory. Markov doesn't first introduce the Markov matrix in 1906 in an obscure journal, but this all happens in the 1800s. People develop a robust probabilistic theory of stochastic processes starting in the 1800s."
},
{
"end_time": 7927.654,
"index": 336,
"start_time": 7920.299,
"text": " and then when and then people begin exploring non Markovian processes and someone mentions what about indivisibility and that 1923 1924 comes along"
},
{
"end_time": 7957.415,
"index": 337,
"start_time": 7928.131,
"text": " And they go, well, I mean, we have these indivisible processes. Let's try those laws. They try them and they get all the correct empirical results. They're able to derive this beautiful mathematical correspondence, the way that we took Newtonian mechanics and derived the Hamiltonian formulation, right? You could do things much more beautifully, more elegantly in this Hamiltonian formulation. I think a lot of the interpretive questions we would have today wouldn't exist, right? The measurement problem wouldn't have happened. If I imagine myself in that alternative history that you have sketched,"
},
{
"end_time": 7985.794,
"index": 338,
"start_time": 7957.756,
"text": " I'm still asking myself, well then, what the hell are these indivisible stochastic dynamics? How is that even dynamics at all? What are the transition probabilities? What are the trajectories that these particles are following? And then in your alternative history, if a Schrodinger comes along and says, look, you can think of it in terms of this wave of amplitudes, as Schrodinger came along in our history,"
},
{
"end_time": 8015.572,
"index": 339,
"start_time": 7986.015,
"text": " Then, you know, in that history, just like in this one, I say, oh, that's nice. That helps me. Right. As a helpful picture, just like the Hamill and Jacobi picture is a very helpful picture. Yeah. But but but it would immediately come along with all of these bizarre mysteries like superposition and the measurement problem. But people would just people would always say they would say, OK, well, this is a really useful mathematical picture. It gives some visualization. But at the end of the day, if we ever have some question about what happens when you do a measurement, we have this more mechanical picture, just like in a Hamiltonian formulation."
},
{
"end_time": 8035.862,
"index": 340,
"start_time": 8016.067,
"text": " If you're living in phase space land for a while, you get confused. This is always the problem with sort of going back to history, right? The many-worlders will also constantly say this. They will say, well, look, it's not fair that Copenhagen came first, right? If only, you know, people had just accepted many worlds in the 1920s."
},
{
"end_time": 8058.746,
"index": 341,
"start_time": 8036.101,
"text": " Then Copenhagen would have been this bizarre instrumentalist deviation from it that would have had to win acceptance on its own steam and so forth. In this branch of the wave function, history happens a certain way."
},
{
"end_time": 8080.93,
"index": 342,
"start_time": 8059.07,
"text": " And then, you know, if you want to win converts to a new view, then you have to meet them, you know, having learned whatever they've learned from the previous views and show them why the new view is an improvement over what they could already do. Interestingly, Schrodinger did, if you read his fourth lecture wave mechanics, what section 15, the interpretation of the generalized function,"
},
{
"end_time": 8109.224,
"index": 343,
"start_time": 8081.493,
"text": " He presents an embryonic many-worlds picture. So it's not that people didn't think about these things. If you read some of the early papers at this time, in the 20s, some of them were imagining this, but they didn't embrace it because it doesn't work. And what happened, it's not that people, that Everett came along and found a way to make it work. Everett found a story he could tell that some people found very compelling, but it still doesn't work. The people who gave us quantum mechanics, they were very smart."
},
{
"end_time": 8125.691,
"index": 344,
"start_time": 8109.94,
"text": " They didn't have everything. They didn't know that you could write laws in certain ways, but they certainly thought about some of these ideas at the time and rejected them. But Jacob, the people who added more and more epicycles to the Ptolemaic model, they were also very smart, right?"
},
{
"end_time": 8140.247,
"index": 345,
"start_time": 8126.015,
"text": " You know they're also you know trying to get things to work and you know that and and they would have said okay you know okay yeah maybe you know you could imagine you know the the earth going around the sun but you know that just doesn't work because we don't feel ourselves spinning."
},
{
"end_time": 8165.282,
"index": 346,
"start_time": 8140.64,
"text": " Yeah, which we don't. It actually requires a lot of physics to explain why pendulums can feel that sort of thing. That's right. No, and the Redians have a whole story in which, you know, Everett is like Copernicus, right? He's just giving this reinterpretation, like, yeah, we don't feel ourselves being in all these different branches, but you wouldn't, you know, if that were what was going on, right?"
},
{
"end_time": 8184.582,
"index": 347,
"start_time": 8165.674,
"text": " That's what he said, actually, in a response to Bryce DeWitt, because when Bryce DeWitt, the theoretical physicist who eventually talked to Everett in this letter and said, I don't branch, Everett said, well, what would it feel like if you did? And he actually made this Copernican analogy. The problem, of course, is that the Copernican story says that all humans on Earth"
},
{
"end_time": 8213.183,
"index": 348,
"start_time": 8185.23,
"text": " If Earth is in fact turning and going around the Sun, then all humans on Earth will see the Sun apparently move through this. It predicts what all humans will see. The problem with the Everett approach is that it predicts everything. There will be observer copies who see absolutely everything, and then you either run into a circularity of saying, well, the reason we see the world we see is because we're going to condition on us being the ones who see the world. It's a totally circular argument. Or you say something like, well, what would the typical"
},
{
"end_time": 8236.732,
"index": 349,
"start_time": 8213.558,
"text": " Copy of the observancy but then typicality is a question of what's the most probable it typicality is a probability statement and then you run into the circularity of how do you get probability out of the ever approach like all of this stuff just doesn't work and and i think that the early quantum mechanic the early people that one mechanics. You don't realize that that at some level that this is just not a thing that that ultimately can't can't can work without slogans but look."
},
{
"end_time": 8252.381,
"index": 350,
"start_time": 8237.244,
"text": " history ended up turning out a particular way it's hard to know exactly what would have happened if it come in a different way i would argue that if they had a physical picture. A simple physical picture simpler than the hillbillies based on all the exotic that you get from those."
},
{
"end_time": 8282.483,
"index": 351,
"start_time": 8252.875,
"text": " They would have viewed the Hilbert space picture just as we view the Hamiltonian phase space picture today as a very powerful mathematical apparatus that we can use to do all kinds of amazing calculations and simplify things and specify particular kinds of interactions but that at the end of the day when you run into any conceptual confusion you can retreat back to a physical picture in the Newtonian case to bodies moving in space interacting with fields and in this picture to objects with configurations with laws that are just more general. Now I want to ask one more quick thing. You said"
},
{
"end_time": 8300.913,
"index": 352,
"start_time": 8282.841,
"text": " They would probably say something like, well, what are these laws? What are these conditional probabilities? What are these laws? The question of what laws are is, as Scott, I'm sure you know, a pretty hot topic in metaphysics today in the metaphysics and philosophy of science. What kinds of things say what?"
},
{
"end_time": 8318.353,
"index": 353,
"start_time": 8301.254,
"text": " I have no greater understanding about what"
},
{
"end_time": 8348.848,
"index": 354,
"start_time": 8318.865,
"text": " What is newtons like what what what does it mean to say that there's this law that takes the present configuration of the system and the configuration infinitesimally earlier in time or equivalently the present configuration the velocity and then like What how is it doing this and if you talk to people who are humans about laws? This is a term that was introduced by David Lewis to refer to a certain view on the metaphysics of laws that in some sense is connected with David Hume the philosophers ideas about about nature and"
},
{
"end_time": 8375.896,
"index": 355,
"start_time": 8349.411,
"text": " You know, then what you say is that you don't believe in laws at all. Because the idea of a law is just so weird and strange, laws are not primal things. They're just tools that humans use to summarize phenomena. But the upside of all this is that, yeah, indivisible laws are weird because they're different from the kind of differential and time Markov-style laws that we've been using for the past few hundred years."
},
{
"end_time": 8398.916,
"index": 356,
"start_time": 8376.664,
"text": " But that's just a historical contingency they're no weirder than a mark of law or newton second law. I mean they're all weird all laws are strange they're just stranger because we're newer to the idea. Okay what what what what what i'm saying is not that the was weird i'm saying in a place where i might have expected there to be a wall in your picture."
},
{
"end_time": 8420.282,
"index": 357,
"start_time": 8399.087,
"text": " Namely, for the transition probabilities, there is actually no law at all. Yes. In some cases, there's no law. In your Ghost in the Quantum Turing Machine paper, you introduce a lovely term for unpredictability that is not even probabilistic. You point to this book from the 1920s by this economist Frank Knight."
},
{
"end_time": 8449.77,
"index": 358,
"start_time": 8420.708,
"text": " You call it knighting uncertainty, right? Circumstances in which we can't even put probabilities on certain things. And interestingly, this is definitely not unique to quantum mechanics. So here I can put my general relativistic hat on. One of the conjectures about general relativity is just that all reasonable spacetimes have to, it's called global hyperbolicity. They've been globally hyperbolic, which just means that you don't have Cauchy horizons. The equations apply to everything and we get"
},
{
"end_time": 8479.753,
"index": 359,
"start_time": 8450.35,
"text": " But this is just a guess, right? There are like solutions to the Einstein field equation where you get Cauchy horizons. These are places where general relativity simply fails to make further predictions about what's going to happen next. And you can't put probabilities on these things. They're not all black hole singularities. There are other situations when you get Cauchy horizons. So like the idea that you could have situations in which we just can't, the theory doesn't render a prediction about what comes next."
},
{
"end_time": 8509.582,
"index": 360,
"start_time": 8480.503,
"text": " That's not a new"
},
{
"end_time": 8519.07,
"index": 361,
"start_time": 8510.128,
"text": " yeah alright that's fine although i will tell you that even in like standard quantum mechanics are we are unable to assign probability distributions to a variety of things"
},
{
"end_time": 8548.848,
"index": 362,
"start_time": 8519.428,
"text": " You can't assign joint probability distributions to incompatible observables. I feel like this all sort of boils down to the same issue of just multi-time or transition probabilities. It all boils down to the basic fact that we're epistemically limited beings. We're trying to do the best we can in a universe that we're a part of, that we're physically embodied in, and we're very fortunate that we have a theory that lets us make as many predictions as we'd like to make, but we can't make"
},
{
"end_time": 8577.995,
"index": 363,
"start_time": 8549.189,
"text": " all the predictions we would like to make and yes that is a bullet I'm definitely gonna bite I'm gonna bite that bullet but I will say that anytime someone comes along with a new picture of reality it opens up new possible connections to new fields interdisciplinary connections new ways of thinking about old problems and possible new generalizations maybe new pedagogical teaching techniques and even arguably opens us up to rethinking certain things that we took for granted I mean sometimes"
},
{
"end_time": 8603.029,
"index": 364,
"start_time": 8578.353,
"text": " John Bell was very clear that sometimes having a physical model can really tell you a lot about things that you thought were true. There was this prevailing idea from John von Neumann that hidden variables were just ruled out completely. And although Bell wasn't the first to notice this, Greta Herman noticed it almost immediately in the 1930s,"
},
{
"end_time": 8633.353,
"index": 365,
"start_time": 8603.558,
"text": " uh... bell independently rediscovered this and he rediscovered it this flaw in the von neumann proof because he had a model bohmian mechanics that made clear that there was a problem here and of course bohmian mechanics also helped develop that lead to the development of decoherence which i mean having physical pictures can lead to rethinking things including even things like the classic theorems like bell's theorem and its related theorems so i think that's also a useful thing and you know in my podcast interview with kurt we talk about possible connections to rethinking how causation is supposed to work"
},
{
"end_time": 8656.408,
"index": 366,
"start_time": 8634.241,
"text": " There's a lot of stuff you can do with this and it's not for everybody, but unless we identify some actual inconsistency, some real problem, if either one could say that there is just an inconsistency, something that just doesn't work, or one can say that this is trivial or uninteresting or isn't useful to me or doesn't do better than the things I already like."
},
{
"end_time": 8682.483,
"index": 367,
"start_time": 8657.261,
"text": " And if we're basically arriving at either of those two positions, if we're not arriving at the inconsistency position, but we're arriving at the position that, well, maybe this doesn't work for me, or I like these other things, or it's trivial, or I don't could have said that, or whatever. I'm actually satisfied with that, because some people will find that satisfying, others won't, and that's the way the world is. Right now, I feel about your account the same way that I feel about category theory, let's say."
},
{
"end_time": 8709.582,
"index": 368,
"start_time": 8682.756,
"text": " Calculus, right? I have friends who just swear by these things, right? This is the way to understand everything and they will happily like take something that I know how to prove in like one paragraph like normally and they will give a proof using category theory. That's 20 pages. And then we say like lots of diagrams, all these diagrams with all these diagrams. Can't you see that this is so much better that this is more insightful? And I'm like, okay, I guess for you it is, I guess so. Right."
},
{
"end_time": 8725.247,
"index": 369,
"start_time": 8709.838,
"text": " I'm open to the possibility that maybe it will."
},
{
"end_time": 8742.892,
"index": 370,
"start_time": 8725.247,
"text": " I'm still waiting for john bias to tell me what daggers symmetric minoidal categories have to say that that is different than just translating something from quantum mechanics and then translating it back because usually the insight comes from translating to different field and then doing something in this other language that you couldn't in the former than translating back but."
},
{
"end_time": 8758.063,
"index": 371,
"start_time": 8743.268,
"text": " As far as I can see, you just translate and then translate back without anything new being generated. So I'm in a similar boat as Scott and I think you and I have talked about this off air, Jacob. Yeah, but let me just put that right. There are people who don't know quantum mechanics."
},
{
"end_time": 8786.169,
"index": 372,
"start_time": 8758.456,
"text": " who, and I feel so sad for those people, they don't know what they're missing. Everyone should learn quantum mechanics, it's such a beautiful theory. But there are people who work in statistics who don't do quantum mechanics and they've developed all kinds of incredibly interesting and sophisticated ways of thinking about statistics. And there's a barrier between them and people who work in quantum mechanics because quantum mechanics is phrased in this very different language. If you hand them a version of quantum mechanics that's phrased in the language of ordinary probability theory, suddenly certain things that"
},
{
"end_time": 8792.927,
"index": 373,
"start_time": 8786.886,
"text": " Might have been difficult to apply from statistics or something applicable and this is I mean this is just so new."
},
{
"end_time": 8818.148,
"index": 374,
"start_time": 8793.729,
"text": " If you want to show that this is actually a better way to introduce quantum mechanics to people who have never seen it before, then you need to show that by showing all the phenomena of quantum mechanics that you can explain them better in this way. I don't see that you've done that."
},
{
"end_time": 8826.118,
"index": 375,
"start_time": 8818.148,
"text": " But you know that is a thing that if you did that then yeah that would that would make me wanna you know come back to look at this car again."
},
{
"end_time": 8855.111,
"index": 376,
"start_time": 8826.493,
"text": " You know, it's rare in science or in philosophy to find oneself with a blank canvas page to be filled in. I view that as super exciting, especially the theory is old and battle tested as quantum mechanics. So I relish that opportunity. I feel like we've already made a lot of progress and I'm very excited about the things that hopefully we'll be able to explore going forward. Well, usually quantum mechanics courses start with either the double slit or the Stern-Gerlach experiment and then trying to explain that. So, Jacob, I welcome a lecture of"
},
{
"end_time": 8881.732,
"index": 377,
"start_time": 8855.111,
"text": " An account of the double slit and or stern Gerlach, but just without referencing the the ordinary Hilbert space picture just your picture That'd be great. Well, so I sent you a document Kurt. Yes Yes, you already have that in paper form and so I'll put that on screen and Scott It was wonderful to speak with you again. Jacob. Thank you so much. This has been so much fun This was delightful and Scott. It's always a pleasure to chat. Well, hopefully we'll find more opportunities"
},
{
"end_time": 8901.647,
"index": 378,
"start_time": 8883.166,
"text": " Okay, good to see you. Yeah, good to see you. I've received several messages, emails and comments from professors saying that they recommend theories of everything to their students. And that's fantastic. If you're a professor or lecturer and there's a particular standout episode that your students can benefit from, please do share. And as always, feel free to contact me."
},
{
"end_time": 8929.07,
"index": 379,
"start_time": 8902.056,
"text": " So my question was, you gave an example earlier about the CNOT gate, and then you used many worlds to explain that. You said that some people find that easier. Do you have any other examples of situations where students are confused and then you use a different interpretation to explain it? Not really. I'm not usually using interpretations to explain conceptual points, right?"
},
{
"end_time": 8955.299,
"index": 380,
"start_time": 8931.032,
"text": " Let me say, I mean, I certainly talk about Bohmian mechanics, like when we talk about, you know, the Bell inequality and the CHSH game, right? But that's partly just for reasons of history to explain, you know, why did, why did Bell care about this in the first place? I haven't yet seen a situation where Bohmian mechanics helps me to explain something that I couldn't have explained without it. I see."
},
{
"end_time": 8981.51,
"index": 381,
"start_time": 8955.64,
"text": " Because earlier you were saying like, look, you're willing to use an Uber, which is any car to get from point A to B. But it sounds like you'll use an Uber as long as it's a Hummer, as long as it's the same car. Yeah. I mean, I mean, I mean, usually, you know, when we're trying to solve a concrete problem, like what does this quantum algorithm do when the whole point like, you know, we don't need it. And, you know, we don't need interpretation for that. Right. We know, we know how to, you know, what that calculation looks like. Right."
},
{
"end_time": 8996.271,
"index": 382,
"start_time": 8981.886,
"text": " new update started a sub stack writings on there are currently about language and ill-defined concepts as well as some other mathematical details"
},
{
"end_time": 9022.705,
"index": 383,
"start_time": 8996.493,
"text": " Several people ask me, hey Kurt, you've spoken to so many people in the fields of theoretical physics, philosophy, and consciousness. What are your thoughts? While I remain impartial in interviews, this substack is a way to peer into my present deliberations on these topics."
},
{
"end_time": 9052.005,
"index": 384,
"start_time": 9024.087,
"text": " Also, thank you to our partner, The Economist. Firstly, thank you for watching. Thank you for listening. If you haven't subscribed or clicked that like button, now is the time to do so. Why? Because each subscribe, each like helps YouTube push this content to more people like yourself. Plus, it helps out Kurt directly, aka me. I also found out last year that external links count plenty toward the algorithm."
},
{
"end_time": 9061.852,
"index": 385,
"start_time": 9052.005,
"text": " Which means that whenever you share on Twitter, say on Facebook or even on Reddit, et cetera, it shows YouTube, hey, people are talking about this content outside of YouTube."
},
{
"end_time": 9087.022,
"index": 386,
"start_time": 9062.073,
"text": " which in turn greatly aids the distribution on YouTube. Thirdly, you should know this podcast is on iTunes, it's on Spotify, it's on all of the audio platforms. All you have to do is type in theories of everything and you'll find it. Personally, I gained from re-watching lectures and podcasts. I also read in the comments that, hey, toll listeners also gain from replaying. So how about instead you re-listen on those platforms like iTunes, Spotify, Google Podcast,"
},
{
"end_time": 9110.452,
"index": 387,
"start_time": 9087.022,
"text": " I'm"
},
{
"end_time": 9128.046,
"index": 388,
"start_time": 9110.452,
"text": " You also get early access to ad free episodes, whether it's audio or video. It's audio in the case of Patreon video in the case of YouTube. For instance, this episode that you're listening to right now was released a few days earlier. Every dollar helps far more than you think. Either way, your viewership is generosity enough. Thank you so much."
}
]
}No transcript available.