Was The Many Words Interpretation Proven?

My friend Cristi Soica brought to my attention a provocative preprint by Daniela Frauchiger and Renato Renner: Single-world interpretations of quantum theory cannot be self-consistent which he discussed at his blog.

Here is the abstract:

"According to quantum theory, a measurement may have multiple possible outcomes. Single-world interpretations assert that, nevertheless, only one of them "really" occurs. Here we propose a gedankenexperiment where quantum theory is applied to model an experimenter who herself uses quantum theory. We find that, in such a scenario, no single-world interpretation can be logically consistent. This conclusion extends to deterministic hidden-variable theories, such as Bohmian mechanics, for they impose a single-world interpretation."

Now it is not everyday that someone makes a bold claim like this and since I do not know any of the authors, I first checked their credibility. In the Acknowledgement section they wrote:

"We would like to thank Alexia Auffeves, Serguei Beloussov, Hans Briegel, Lıdia del Rio, David Deutsch, Artur Ekert, Nicolas Gisin, Philippe Grangier, Thomas Muller, Sandu Popescu, Rudiger Schack, and Vlatko Vedral for discussing ideas that led to this work." which made me decide to spend the time to try to read and understand their argument.

The paper starts dry with pedantic abstractions which takes some effort to read and understand. On page 11 there is the first clue something is fishy:

"We note that the purpose of the experiment is to prove Theorem 1. We therefore do not have to worry about its technological feasibility at this point. We only need to ensure that none of the steps of the experiment are forbidden by the basic laws of physics."

The basis of the argument is an extended Wigner's friend experiment:

and in the box on page 12 at n=30 it states:

@ n:30 A measures F1 with respect to a basis {\(|ok\rangle_{F1}\), \(|fail\rangle_{F1}\)} and records the outcome x ∈ {ok, fail}. 

where for example

\(|ok\rangle_{F1} = \sqrt{1/2}|head\rangle_{F1} − \sqrt{1/2}|tail\rangle_{F1}\)

which is a superposition of macroscopic states!!!  You do not need read the preprint past this point.

This is the same as measuring Schrodinger's cat in a basis dead + alive.  So here is the million dollar question: is a dead + alive basis not feasible from a technology point of view, or is it forbidden by some basic law of physics?

A naive quantum purist would think that since everything is quantum, why deny a superposition of macroscopic states basis? The answer: superselection rules.

Here are the rules in the quantum game with superselection rules:

• every physical quantity is represented by a self-adjoint operator, but not every self-adjoint operator represents a physical quantity,
• every pure state is represented by a one dimensional subspace, but not every one-dimensional subspace represents a pure state.

For example nobody can prepare a nucleon in a superposition of proton and neutron states due to the conservation of the electric charge. But what is the root cause of the impossibility of quantum superposition for macroscopic states? Who cares? You cannot perform any experiment in which you measure in a basis of a superposition of macroscopic states.

Physics is an experimental science and the experiment used in the argument cannot be performed. As such the conclusion of the preprint is vacuous. It would be a completely different matter if such a superposition would be allowed by nature. Then we would be forced to accept the result of this paper. 

Bohr was right in demanding the treatment of the measurement apparatus as a classical object. Still, how can superselection arise out of a pure quantum formalism. This means that there are distinct relevant Hilbert spaces which when embedded into a single Hilbert space exhibit superselection. Hmmm... Where have I seen this before? Welcome to the measurement problem solution proposal using Grothendieck group construction. The physical basis of this is quantum indeterminacy. Outcome randomness in quantum mechanics is not some undesirable feature which needs to be explained away, but an essential part of nature.