Just a small comment on Gleason's theorem and Many Worlds(and thanks bhobba for the reminder that this is B level).
In Quantum Mechanics, unlike Classical Mechanics, the observables like position and momentum don't commute, i.e. if ##p## is momentum and ##q## is position, then ##pq \ne qp##. What Gleason showed is that if you want to assign probabilities (in order to estimate the chances of getting various results) to observables that behave like this then you basically have to use the mathematics of Quantum Mechanics, e.g. Hilbert Spaces. Now there are a few ways of assigning probabilities to observables like this, but Quantum Mechanics is the only way that is "non-contextual". Non-contextual means that if I measure ##A## then the chance that ##A = 1##, let's say, doesn't depend on what else my device measures along with ##A##, e.g. if I measure ##A, B## or ##A, C## in both cases I have the same chance of ##A = 1##.
Quantum Mechanic's specific way of assigning probabilities is called the Born Rule. So Gleason's theorem shows that the Born Rule is the only way to assign probabilities to the type of non-commuting observables one sees in microscopic experiments. The Born Rule collects all my chances of seeing observables having various values into one object called "the quantum state".
Now in Many Worlds on the other hand, the quantum state is seen as the main thing. It's not a collection of probabilities, but a physically real "substance". Hence in this case we can't just use Gleason's theorem to explain the success of the Born rule as we're not starting from the observables and finding the state as probabilities on them. Instead we're starting with the state as a physically real thing and in fact the only real thing.
There are many ways to try to derive the Born Rule in Many-Worlds. Wallace's above is the most famous, but I personally found it very confusing and was left with little understanding of why the rule held. Wallace basically says the Born rule arises because, provided the worlds separate in a particular way, it's the only way for a rational agent to predict which world they will find themselves in. There are currently three issues people have with this line of arguing:
- Do the worlds separate in the way he requires?
- Is his definition of rational valid? Especially given the way the world works in Many Worlds. Some people have said that if there are multiple worlds there are ways of being rational that Wallace doesn't take into account
- Even if all this worked, does something being "the best way for agents to bet" really imply it's what you'll see in experiments.
My problem was I couldn't see the physical reason for the Born Rule (so basically 3.)
However a closely related proof by Mateus Araújo (
https://arxiv.org/abs/1805.01753) is helpful if you think like myself. Here he shows the Born Rule comes about due to conservation of "world-volume". So there is, from the beginning of time, a continuum of worlds and then a fraction of them get imprinted with one result or another. So my chance to see a particular result (which is what the Born Rule is about) is basically related to how large a fraction of the worlds gets imprinted with that result. "Conserving world volume" just means no new worlds are made.
Araújo has a nice dicussion of how a Many-Worlds theory where the world actually splits and two new worlds are made has a different probability rule than the Born rule. So the Quantum Mechanical Many-Worlds is better thought of as all the worlds already being there.
The real problem with Many-Worlds at the moment is to mathematically prove that 3D semi-classical worlds like the one we experience actually arise. This has not yet been done, so the interpretation cannot be as of yet said to match experiment.
bhobba said:
There is some debate on if MW is non-contextual or not, and we have discussed it on this forum a few times, some like me think it is non-contextual, and others are not so sure. The experts even do not agree - Wallace for example in his book the Emergent Multiverse thinks in non-contextual (as do I):
https://www.amazon.com/dp/0198707541/?tag=pfamazon01-20
I would be like yourself and would have thought in noncontextual. I must read the discussions. More so I'm not sure if it really is local. See Travis Norsen's book
"Foundations of Quantum Mechanics: An Exploration of the Physical Meaning of Quantum Theory" for a discussion of this. In essence in something like the Bell state:
$$\frac{1}{2}\left(|00\rangle + |11\rangle\right)$$
Since Alice will split into a 0 and 1 world, as will Bob, Alice's "0 result" has to know nonlocally it belongs to the same world as Bob's "0 result". Naively you'd think there would be four worlds.
Many Worlds theories supplemented by extra variables beyond the wavefunction don't have this problem as they attach a "charge" to each outcome and only copies of Alice and Bob with the same "charge" can interact. The Parallel lives interpretation is an example. (
https://arxiv.org/abs/1709.10016)