bhobba said:
We also have the issues you raised about decoherence in selecting a preferred basis (ie a different decomposition may single out a different basis or even none at all) but the consensus view is that decoherence solves that issue.
I would say that it doesn't even address the issue.
bhobba said:
It certainly does if we make the assumption of decomposing the system in the obvious way - ie observational apparatus and system being observed.
I think this is like saying that the ether must be comoving with me, because the obvious way for me to choose a coordinate system is to choose the inertial coordinate system that's comoving with me.
What if two different experiments are performed at the same time? Then there are
two "obvious" decompositions.
bhobba said:
Now taking that into account I think what I wrote, namely the |bi>|ri> where the |bi> are the basis vectors after decoherence and the |ri> the state of the rest of the world can be taken as the worlds the MW guys talk about. They come about deterministically via the decoherence process (ie tracing over the environment) in transforming a superposition into the form of a mixed state sum pi |bi>|ri> and evolve deterministically after decoherence.
Since any complex number times |bi>|ri> represents the same state as |bi>|ri>, I think it's slightly more accurate to say that each 1-dimensional subspace spanned by a member of this basis is a world. This basis has the property that the state operator of the universe is
approximately diagonal in it. If it had been
exactly diagonal, I think it might have made sense to say that the worlds corresponding to the basis vectors are the only ones. But it's only approximately diagonal, so I don't think it makes sense to say that ##|b_i\rangle|r_i\rangle## represents something that actually exists, while ##|b_i'\rangle|r_i'\rangle## such that ##\langle b_i'|b_i\rangle \langle r_i'|r_i\rangle## is extremely close to 1, doesn't.
I think people who write about the MWI are aware of this. They sometimes refer to the worlds identified by a preferred basis as "the classical worlds" rather than "the worlds". I think it would be appropriate to say that all 1-dimensional subspaces are worlds, and that the ones identified by the basis are the classical worlds, or perhaps more accurately, the
most classical worlds. They are the ones in which the classical description of what's going on (we measured the spin and found it to be "up") is as close as possible to being accurate. I think it would be even
more accurate to say that the 1-dimensional subspaces corresponding to the members of the preferred basis associated with the chosen decomposition are the classical worlds associated with that decomposition.
I don't think this is a problem that can be "solved". It's just a matter of accepting that at any instant, there are many inequivalent ways to view the universe as consisting of classical worlds. To me, this makes the MWI less crazy, not more.