Abstract
Three recent arguments seek to show that the universal applicability of unitary quantum theory is inconsistent with the assumption that a well-conducted measurement always has a definite physical outcome. In this paper I restate and analyze these arguments. The import of the first two is diminished by their dependence on assumptions about the outcomes of counterfactual measurements. But the third argument establishes its intended conclusion. Even if every well-conducted quantum measurement we ever make will have a definite physical outcome, this argument should make us reconsider the objectivity of that outcome.
Similar content being viewed by others
Notes
Even if no item of data is so certain as to be immune from rejection in the light of further scientific investigation. Recall Popper’s [6, p. 94] famous metaphor:
“Science does not rest upon solid bedrock. The bold structure of its theories rises, as it were, above a swamp. It is like a building erected on piles. The piles are driven down from above into the swamp, but not down to any natural or ‘given’ base; and if we stop driving the piles deeper, it is not because we have reached firm ground. We simply stop when we are satisfied that the piles are firm enough to carry the structure, at least for the time being.”
Brukner calls this character Wigner, but I have reserved that name for another character with analogous powers.
Though this inference is now questionable, since in this context the antecedent “Zeus measures \(A_{z}\)” of the counterfactuals \(c(A_{z}^{+}),c(A_{z}^{-})\) is not merely false but incompatible with Zeus’s actual measurement of \(A_{x}\).
My preferred strategy [14] depends on an interventionist approach to causal influence.
References
Fuchs, C.: QBism, the perimeter of quantum bayesianism (2010). arXiv:1003.5209
Fuchs, C., Mermin, N.D., Schack, R.: An introduction to QBism with an application to the locality of quantum mechanics. Am. J. Phys. 82, 749–54 (2014)
Brukner, Č.: On the quantum measurement problem. In: Bertlmann, R., Zeilinger, A. (eds.) Quantum Unspeakables II, pp. 95–117. Springer International, Cham (2017)
Brukner, Č.: A no-go theorem for observer-independent facts. Entropy 20, 350 (2018)
Rovelli, C.: Relational quantum mechanics. Int. J. Theor. Phys. 35, 1637–78 (1996)
Popper, K.R.: The Logic of Scientific Discovery. Hutchinson, London (1959)
Deutsch, D.: Quantum theory as a universal physical theory. Int. J. Theor. Phys. 24, 1–41 (1985)
Wallace, D.: The Emergent Multiverse. Oxford University Press, Oxford (2012)
Frauchiger, D., Renner, R.: Single-world interpretations of quantum theory cannot be self-consistent” (2016). https://arxiv.org/abs/1604.07422
Bell, J.S.: Speakable and Unspeakable in Quantum Mechanics, Revised edn. Cambridge University Press, Cambridge (2004)
Wigner, E.: Remarks on the mind-body question. In: Good, I. (ed.) The Scientist Speculates. Heinemann, London (1961)
Frauchiger, D., Renner, R.: Quantum theory cannot consistently describe the use of itself. Nat Commun. 9, 3711 (2018)
Maudlin, T.: Quantum Non-locality and Relativity, 3rd edn. Wiley-Blackwell, Chichester (2011)
Healey, R.A.: Locality, probability and causality. In: Bell, M., Shan, G. (eds.) Quantum Nonlocality and Reality, pp. 172–94. Cambridge University Press, Cambridge (2016)
Pusey, M.:“Is QBism 80% complete, or 20%”, talk given at the Information-Theoretic Interpretations of Quantum Mechanics workshop, Western University, Canada. Available at https://grfilms.net/v-matthew-pusey-is-qbism-80-complete-or-20-_9Rs61l8MyY.html) (2016)
Fine, A.: Joint distributions, quantum correlations, and commuting observables. J. Math. Phys. 23, 1306–10 (1982)
Lee, D., Chang-Young, E.: Quantum entanglement under Lorentz boost. New J. Phys. 6, 67 (2004)
Kochen, S., Specker, E.: The problem of hidden variables in quantum mechanics. J. Math. Mech. 17, 59–87 (1967)
Einstein, A.: Autobiographical notes. In: Schilpp, P. (ed.) Albert Einstein: Philosopher-Scientist. Open Court Press, La Salle (1949)
Wigner, E.: The problem of measurement. Am. J. Phys. 31, 6–15 (1963)
Acknowledgements
Thanks to Jeff Bub for a helpful correspondence on Frauchiger and Renner’s argument, to Časlav Brukner for conversations and correspondence over several years, and to a reviewer for good strategic advice. None of them should be taken to endorse the analysis or conclusions of this paper.
Author information
Authors and Affiliations
Corresponding author
Appendix
Appendix
In restating the argument of [9, 12] I have changed the notation to try to make it easier to follow. The following table supplies a translation between my notation and that used in [12].
Agent | Lab | Measured system | Measured observable | Other observable |
---|---|---|---|---|
\(\bar{F}\leftrightsquigarrow \)Xena | \(\overline{L}\leftrightsquigarrow X\) | \(R\leftrightsquigarrow c\) | heads/tails\(\leftrightsquigarrow f\) | |
\(F\leftrightsquigarrow \)Yvonne | \(L\leftrightsquigarrow Y\) | \(S\leftrightsquigarrow s\) | up/down\(\leftrightsquigarrow S_{z}\) | |
\(\bar{W}\leftrightsquigarrow \)Zeus | \(\bullet \leftrightsquigarrow Z\) | \(\bar{L}\leftrightsquigarrow X\) | \(\bar{w}\leftrightsquigarrow z\) | \(\bullet \leftrightsquigarrow x\) |
\(W\leftrightsquigarrow \)Wigner | \(\bullet \leftrightsquigarrow W\) | \(L\leftrightsquigarrow Y\) | \(w\leftrightsquigarrow w\) | \(\bullet \leftrightsquigarrow y\) |
Readers familiar with Wigner’s original “friend” argument [11] will be primed to attribute extraordinary powers to the experimenter I have named Wigner, and I thought it appropriate to name a second character with such almost “God-like” powers Zeus. This naturally suggested also giving the experimenters charged with less extraordinary tasks names whose initial letters are also at the end of the alphabet, with corresponding labels for their labs and measured observables.
While such changes are merely cosmetic, my restatement deliberately lacks one feature emphasized by the authors of the argument of [12] that they call “consistent reasoning”, illustrate in their Fig. 1, and formalize in their assumption (C). Both in the original and in my restatement it is Wigner (W) whose reasoning is the ultimate focus of the argument. But the authors of the original argument consider it important that Wigner’s reasoning incorporates the reasoning of the other experimenters [via assumption (C)].
It is vital to check whether Wigner’s reasoning is both internally consistent and consistent with the reasoning of the other experimenters in this Gedankenexperiment. My restatement makes it clear how Wigner can consistently apply quantum theory without considering the reasoning of any other experimenters. But are the conclusions of this independent reasoning by Wigner consistent with those of the other experimenters, based on their own applications of quantum theory? Indeed they are, provided each experimenter has applied quantum theory correctly. The problem with the argument of Frauchiger and Renner is that one experimenter (Xena/\(\bar{F} \)) has applied quantum theory incorrectly.
Recall step 4* of the reasoning in my restatement of this argument (see §3). I attributed this reasoning to Wigner, while pointing out that Zeus’s subsequent measurement of z renders it fallacious. Frauchiger and Renner initially attribute parallel reasoning to Xena/\(\bar{F}\) and then use assumption (C) to attribute its conclusion also to Wigner. To see where things go wrong if Xena/\(\bar{F}\) reasons this way, I quote from [12].
“Specifically, agent \(\bar{F}\) may start her reasoning with the two statements
$$\begin{aligned} s_{I}^{\bar{F}}&=``\text {If }r=tails\text { at time }n:10\text { then spin }S\text { is in state }\left| \rightarrow \right\rangle _{S}\text { at time }n:10\text {''}\\ s_{M}^{\bar{F}}&=\text { The value }w\text { is obtained by a measurement of }L\text { w.r.t.}\{\pi _{ok}^{H},\pi _{fail}^{H} \}\text {''}.'' \end{aligned}$$
They conclude that \(\bar{F}\) can infer from \(s_{I}^{\bar{F}}\) and \(s_{M} ^{\bar{F}}\) that statement \(s_{Q}^{\bar{F}}\) holds:
Starting with \(s_{Q}^{\bar{F}}\), they then apply assumption (C) to the reasoning of the other agents successively, eventually to establish that Wigner may conclude
which (given (S)) is inconsistent with W’s independent conclusion (based on assumption (Q))
\(s_{Q}^{W}=\)“I am certain that there exists a round \(n\in \mathbb {N} _{\ge 0}\) in which it is
announced that \(\bar{w}=\overline{ok}\) at time n : 30 and \(w=ok\) at n : 40.”
But this chain of reasoning is based on a mistaken starting point, since \(\bar{F}\) has applied quantum theory incorrectly in asserting statement \(s_{Q}^{\bar{F}}\). Compare \(s_{Q}^{\bar{F}}\) with the corresponding conclusion of Wigner’s fallacious reasoning in step 4* of §3:
“If the unique outcome of Xena’s measurement of f on c at \(t=0\) had been “tails”, the unique outcome of my measurement of w on Y at \(t=4\) would have been “fail”.
Agent \(\bar{F}\)’s reasoning was equally fallacious here. The problem starts with statement \(s_{I}^{\bar{F}}\): \(\bar{F}\) is correct to assign state \(\left| \rightarrow \right\rangle _{S}\) to S at time n : 10 for certain purposes but not for others. Suppose, for example, that \(\bar{F}\) had “flipped the quantum coin R” by passing that system through the poles of a Stern–Gerlach magnet. By applying unitary quantum theory, \(\bar{F}\) should conclude that this will induce no physical collapse of R’s spin state but entangle it with its translational state, and thence with the rest of her lab [20]. So while \(\bar{F}\) would be correct then to assign state \(\left| \rightarrow \right\rangle _{S}\) to S at time n : 10 for the purpose of predicting the outcome of a subsequent spin measurement on S alone, she would be incorrect to assign state \(\left| \rightarrow \right\rangle _{S}\) to S at time n : 10 for the purpose of predicting correlations between S (or anything with which it subsequently interacts) and her lab \(\bar{L}\) (or anything with which it subsequently interacts).
By using the phrase ‘is in’, statement \(s_{I}^{\bar{F}}\) ignores the essential relativity of S’s state assignment at time n : 10 to these different applications. By using \(s_{I}^{\bar{F}}\) to infer \(s_{M}^{\bar{F}} \), agent \(\bar{F}\) is, in effect, taking \(\bar{F}\)’s coin flip to involve the physical collapse of R’s state rather than the unitary evolution represented by Eq. (8). So agent \(\bar{F}\) is mistaken to assert \(s_{Q}^{\bar{F}} \), and W would be wrong to incorporate this mistake in his own reasoning by applying assumption (C).
Frauchiger and Renner [12] justify \(\bar{F}\)’s inference from \(s_{I}^{\bar{F}}\) and \(s_{M}^{\bar{F}}\) to \(s_{Q}^{\bar{F}}\) by appeal to assumption (Q). I have argued that \(\bar{F}\) is not justified in asserting \(s_{Q}^{\bar{F}}\), since \(\bar{F}\) is justified in using the state assignment licensed by \(s_{I}^{\bar{F}}\) for the purpose of predicting the outcome of a measurement on S only where S’s correlations with other systems (encoded in an entangled state of a supersystem) may be neglected. But the sequence of interactions in the Gedankenexperiment successively entangle the state of S with those of R, \(\bar{L}\), L and \(\bar{W}\). So in reasoning about the outcome of W’s measurement of w, \(\bar{F}\) must take account of this progressive entanglement of the states of S and \(\bar{W}\).
Specifically, to predict the outcome of W’s measurement of w, \(\bar{F}\) must represent that measurement as the second part of W’s joint measurement on the system \(\bar{W}+L\). This interaction between W and \(\bar{W}\) was represented in §3 as the apparently innocuous Step 1 in which Wigner simply asked Zeus what was the outcome of his measurement. But it is not this interaction but the prior interaction between \(\bar{W}\) and L that undercuts \(\bar{F}\)’s justification for using the state assignment \(\left| \rightarrow \right\rangle _{S}\) in inferring \(s_{Q}^{\bar{F}}\) from \(s_{I}^{\bar{F}}\) and \(s_{M}^{\bar{F}}\). Only by neglecting the prior interaction between \(\bar{W}\) and L can \(\bar{F}\) draw the erroneous conclusion \(s_{Q}^{\bar{F}}\).
Wigner can reason consistently about the unique, physical outcomes of all experiments in the Gedankenexperiment of [9, 12] without any appeal to the reasoning of the other agents involved. Each of these other agents may reason equally consistently. And their collective reasoning is perfectly in accord with assumption (C) as well as the universal applicability of unitary quantum theory and the existence of a unique, physical outcome of every measurement that figures in the Gedankenexperiment of [9, 12].
Rights and permissions
About this article
Cite this article
Healey, R. Quantum Theory and the Limits of Objectivity. Found Phys 48, 1568–1589 (2018). https://doi.org/10.1007/s10701-018-0216-6
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10701-018-0216-6