Are the Born probabilities really that mysterious?

post by Adele Lopez (adele-lopez-1) · 2021-03-02T03:08:34.334Z · LW · GW · 2 comments

This is a question post.

Contents

  Answers
    18 Charlie Steiner
    17 evhub
    9 justinpombrio
    6 interstice
    4 shminux
    3 TAG
    3 Signer
    2 lalaithion
None
2 comments

In Eliezer's Quantum Mechanics sequence, he presents the Born probabilities [LW · GW] as still being mysterious in our understanding. In particular, the fact that it's the only non-linear phenomenon in quantum mechanics is considered quite strange.

However, I've been reading Everett's "Many Worlds" thesis, and he derives the Born probabilities (pp. 69-72) by asking what happens to an observer as the system evolves. If we posit a measure M for which the measure of a trajectory (of an observer) at one time equals the sum of the measures of each trajectory "branching" from the initial one, then he shows it must be (up to a multiplicative constant) the squared amplitude.

He then claims that this is "fully analogous" to Liouville's theorem, which can be interpreted as a law of Conservation of Information. So taking this seriously, the Born probabilities are as inevitable as the 2nd law of thermodynamics and the uncertainty principle, among many other well-known consequences of Liouville's theorem.

In that case, it seems to me that most of the mystery has been washed away. But I'm not quite sure to what extent he means all of that when saying "fully analogous". In particular, I'd like to know if the Born probabilities are truly an inevitable consequence of Conservation of Information?

Answers

answer by Charlie Steiner · 2021-03-02T05:02:21.899Z · LW(p) · GW(p)

What Everett says in his thesis is that if the measure is additive between orthogonal states, it's the norm squared. Therefore we should use the norm squared of observers when deciding in how to weight their observations.

But this is a weird argument, not at all the usual sort of argument used to pin down probabilities - the archetypal probability arguments rely on things like ignorance and symmetry. Everett just says "Well, if we put a measure on observers that doesn't have weird cross-state interactions, it's the norm squared." But understanding why humans described by the Schrodinger equation wouldn't see weird cross-state probability flows still requires additional thought (that's a bit hard in the non-Hamiltonian-eigenstate observer + environment basis Everett uses for convenience).

But I think that that's an argument you can make in terms of things like ignorance and symmetry, so I do think the problem is somewhat solved. But it's not necessarily easy to understand or widespread, and the intervening decades have had more than a little muddying of the waters from all sides, from non-physicist philosophers to David Deutsch.

I don't totally understand the Liouville's theorem argument, but I think it's aimed at a more subtle point about choosing the common-sense measure for the underlying Hilbert space.

answer by evhub · 2021-03-02T04:40:51.458Z · LW(p) · GW(p)

I had a very similar reaction when I first read Everett's thesis as well (after having previously read Eliezer's quantum physics sequence). I reproduced Everett's proof in “Multiple Worlds, One Universal Wave Function [LW · GW],” precisely because I felt like it did dissolve a lot of the problem—and I also reference a couple of other similar proofs from more recent authors in that paper which you might find interesting; see references 11 and 18 [LW(p) · GW(p)].

I also once showed Everett's proof to Nate Soares (who can perhaps serve as a stand-in for Eliezer here), who had a couple of objections. IIRC, he thought that it didn't fully dissolve the problem because it a) assumed that the Born rule had to only be a function of the amplitude and b) didn't really answer the anthropic question of why we see anything like the Born rule in the first place, only the mathematical question of why, if we see any amplitude-based rule, it has to be the squared amplitude.

comment by ADifferentAnonymous · 2021-03-02T16:07:40.462Z · LW(p) · GW(p)

I think b) is what I always assumed was meant by the Born rule being called mysterious?

Replies from: evhub
comment by evhub · 2021-03-02T20:43:33.511Z · LW(p) · GW(p)

Imo, I think b) is a correct objection, in the sense that I think it's literally true, but also a bit unfair, since I think you could level a similar objection against essentially any physical law.

answer by justinpombrio · 2021-03-02T19:23:46.757Z · LW(p) · GW(p)

Epistemic status: very curious non-physicist.

Here's what I find weird about the Born rule.

Eliezer very successfully thought about intelligence by asking "how would you program a computer to be intelligent?". I would frame the Born rule using the analogous question for physics: "if you had an enormous amount of compute, how would you simulate a universe?".

Here is how I would go about it:

  1. Simulate an Alternate Earth, using quantum mechanics. The simulation has discrete time. At each step in time, the state of the simulation is a wavefunction: a set of (amplitude, world) pairs. If you would have two pairs with the same world in the same time step, you combine them into one pair by adding their amplitudes together. Standard QM, except for making time discrete, which is just there to make this easier to think about and run on a computer.
  2. Seed the Alternate Earth with humans, and run it for 100 years.
  3. Select a world at random, from some distribution. (!)
  4. Scan that world for a physicist on Alternate Earth who speaks English, and interview them.

The distribution used in step (3) determines what the physicist will tell you. For example, you could use the Born rule: pick at random from the distribution on worlds given by . If you do, the interview will go something like this:

Simulator: Hi, it's God.

Physicist: Oh wow.

Simulator: I just have a quick question. In quantum mechanics, what's the rule for the probability that an observer finds themselves in a particular world?

Physicist: The probability is proportional to the square of the magnitude of the amplitude. Why is that, anyways?

Simulator: Awkwardly, that's what I'm trying to find out.

Physicist: ...God, why did you make a universe with so much suffering in it? My child died of bone cancer.

Simulator: Uh, gotta go.

Remember that you (the simulator) were picking at random from an astronomically large set of possible worlds. For example, in one of those worlds, photons in double slit experiments happened to always go left, and the physicists were very confused. However, by the law of large numbers, the world you pick almost certainly looks from the inside like it obeyed the Born rule.

However, the Born rule isn't the only distribution you could pick from in step 3. You could also pick from the distribution given by (with normalization). And frankly that's more natural. In this case, you would (almost certainly, by the law of large numbers) pick a world in which the physicists thought that the Born rule said . By Everett's argument, in this world probability does not look additive between orthogonal states. I think that means that its physicists would have discovered QM a lot earlier: the non-linear effects would be a lot more obvious! But is there anything wrong with this world, that would make you as the simulator go "oops I should have picked from a different distribution"?

There's also a third reasonable distribution: ignore the amplitudes, and pick uniformly at random from among the (distinct) worlds. I don't know what this world looks like from the inside.

comment by Craig Falls (craig-falls) · 2022-02-10T19:50:40.018Z · LW(p) · GW(p)

It's not obvious to me that the non-linear effects of probabilities equal to amplitudes would be more noticeable than those of amplitudes equal to squared amplitudes.  Perhaps most probability amplitude would be on very "broken" worlds with no atoms, but let's set that aside and imagine that there are physicists doing experiments to try to discover QM.

First of all, in a two-slit experiment, the wavy peaks and troughs of probabilities would be shaped differently.  This makes QM no more and no less noticeable.

You might think a more noticeable effect would be the non-locality.  Under amplitudes, but not squared amplitudes, probabilities depend on far away actions outside your light cone.  But this would not be possible to discover by experiment.  If a physicist on the moon measures the spin of an electron at some angle at the same time as you measure some entangled electron on earth, the probabilities of spin-up vs spin-down that you observe are not just related to those two electrons, but rather all the behavior of all the electrons (and other particles) in the universe, including the two physicists themselves, in ways that do not cancel out as they do with squared amplitudes.

I think this is an important and underrated point.  Any aspect of the true Born function which isn't squared amplitude appears to agents living in the universe like incomprehensible noise.

Let me give an example.  If the true Born probabilities were the squared real component of the complex amplitude, and ignored the imaginary component, then we would have no way of telling that universe apart from the one we currently assume we're living in.  (Yes, the usual Born probabilities should be massively favored for Occam reasons.  But nevertheless I think it's useful to have an understanding of what "elbow room" we have to modify the Born probabilities without contradicting observations, should that ever cause the overall theory to be simpler.)

A less jokey example would be quaternions rather than complex numbers.

answer by interstice · 2021-03-02T07:03:58.721Z · LW(p) · GW(p)

If you view the laws of physics as the minimal program capable of generating our observations, the Born rule is no more problematic than any other part of the laws of physics. If our universe was sampled according to a different rule, it would look completely different, just the same as if the terms in the Lagrangian were changed.

answer by shminux · 2021-03-02T03:59:23.911Z · LW(p) · GW(p)

The mysterious part is not the square norm, it's that the universe looks like it conspires to present apparently non-local phenomena like the projection postulate as fully local. You can handwave it with many worlds, but it does not dissolve the mystery.

comment by Adele Lopez (adele-lopez-1) · 2021-03-02T04:08:37.069Z · LW(p) · GW(p)

I don't think that's what Eliezer found mysterious about the Born rule.

answer by TAG · 2021-03-02T19:57:33.094Z · LW(p) · GW(p)

In Eliezer’s Quantum Mechanics sequence, he presents the Born probabilities as still being mysterious in our understanding. In particular, the fact that it’s the only non-linear phenomenon in quantum mechanics is considered quite strange

The non-linear phenomenon is wave function collapse, considered as an objective phenomenon.

answer by Signer · 2021-03-02T17:56:03.256Z · LW(p) · GW(p)

The problem is that there is no reason to posit any additive measure and treat it as probability. It can be done, but QM itself doesn't provide any significance to the numbers you would get by squaring amplitudes.

answer by lalaithion · 2021-03-03T06:09:43.826Z · LW(p) · GW(p)

I also think Scott Aaronson's view of this issue is interesting: https://www.scottaaronson.com/democritus/lec9.html

His opinion is that you only really have two choices for a system with inherent uncertainty. Classical probability theory, or quantum amplitudes with the Born rule. I'm not sure to what extent the argument holds up, but he makes some compelling cases that the obvious alterations to probability theory or quantum amplitudes wouldn't add up to normality.

2 comments

Comments sorted by top scores.

comment by So8res · 2021-03-04T02:39:56.798Z · LW(p) · GW(p)

I tried to commentate, and accidentally a whole post [LW · GW]. Short version: I think one or two of the many mysteries people tend to find swirling around the Born rule are washed away by the argument you mention (regardless of how tight the analogy to Liouville's theorem), but some others remain (including the one that I currently consider central).

Replies from: So8res
comment by So8res · 2021-03-04T02:56:13.409Z · LW(p) · GW(p)

Warning: the post doesn't attempt to answer your question (ie, "can we reduce the Born rule to conservation of information?"). I don't know the answer to that. Sorry.

My guess is that a line can be drawn between the two; I'm uncertain how strong it can be made.

This may be just reciting things that you already know (or a worse plan than your current one), but in case not, the way I'd attempt to answer this would be:

  1. Solidly understand how to ground out the Born rule in the inner product. (https://arxiv.org/abs/1405.7907 might be a good place to start if you haven't already done this? I didn't personally like the narrative there, but I found some of the framework helpful.)
  2. Recall the details of that one theorem that relates unitary evolution to conservation of information.
  3. Meditate on the connection between unitary operators, orthonormal bases, and the inner product.
  4. See if there's a compelling link to be made that runs from the Born rule, through the inner product operator, through unitarity, to conservation of information.

Also, I find this question interesting and am also curious for an answer :-)