Comment on Healey’s “Quantum Theory and the Limits of Objectivity”
 120 Downloads
Abstract
In this comment we critically review an argument against the existence of objective physical outcomes, recently proposed by Healey [1]. We show that his gedankenexperiment, based on a combination of “Wigner’s friend” scenarios and Bell’s inequalities, suffers from the main criticism, that the computed correlation functions entering the Bell’s inequality are in principle experimentally inaccessible, and hence the author’s claim is in principle not testable. We discuss perspectives for fixing that by adapting the proposed protocol and show that this, however, makes Healey’s argument virtually equivalent to other previous, similar proposals that he explicitly criticises.
Keywords
Quantum measurement problem Wigner’s friend gedankenexperiment Bell’s inequalities1 Introduction
In a recent paper [1], Healey proposes an argument to supposedly show that there exist situations in which quantum measurements cannot have “a unique, objective, physical outcome”. At the same time the author critically analyses two similar arguments put forward in [2] and [3], concluding that their “dependence on questionable implicit assumptions severely limits their significance”. Healey’s argument, however, contains a series of problems and attempting to resolve them leaves it prone to the same type of criticism raised about [2].
The argument is based on the computation of a set of correlation functions that violate a Belllike inequality. This violation should signify the nonexistence of objective physical outcomes in quantum mechanics. The argument involves a sequence of successive measurements that have been performed by different observers in every single run of a Bell’s inequality test. Two of these measurements are performed by observers Carol and Dan (who take the role of “Wigner’s friends” [5]), the others by “superobservers” Alice and Bob, who describe the “friends’ ”measurements unitarily and are capable of undoing them.
In deriving his nogo theorem, Healey uses the standard quantum formalism to compute expressions for correlation functions, but gives no prescription on how to relate these expressions to observable quantities. Moreover, if one assumes the standard prescriptions of quantum theory to relate all correlations entering the Belllike inequality with recorded counts, these counts would not give rise to violation of the inequality in the proposed protocol. Hence, in the protocol it is not possible, even in principle, to test Healey’s claim against the existence of objective physical outcomes in quantum mechanics. In this respect, we would like to stress that a physical theory is composed of theoretical symbols provided with a consistent calculus to combine them (the formalism), together with a series of rules of correspondence. In the words of Jammer [4], “The formalism F, the logical skeleton of the theory, is a deductive, usually axiomatised calculus devoid of any empirical meaning; [...] To transform F into a hypothetic deductive system of empirical statements and to make it thus physically meaningful, some of the nonlogical terms, or some formulae in which they occur, have to be correlated with observable phenomena or empirical operations. [...] F without R is a meaningless game with symbols”.
 1.
The violation of the proposed Bell’s inequality cannot, not even in principle, be tested, because in no region of space–time are the experimental data from which all the correlation functions can be extracted available. On the contrary, in standard Bell’s experiments the data is generated in spacelike separation but eventually collected by somebody who lies in the future lightcone of the two measurement apparata which generated the data. In Healey’s proposal the data of Dan and Carol are necessarily “erased” (from the universe) according to the suggested unitary evolution before Alice’s and Bob’s measurements. So, although Carol and Dan could—after they generate their data—send the results out to somebody in the common future of their measurements who can then extract the correlations, any trace of that data must be erased before Alice’s and Bob’s measurement outcomes are obtained. Therefore, no observer dwelling in space time can ever test the inequality.
 2.
If one wants to make the argument testable, one needs to attribute an operational meaning to the computed expressions for the correlation functions. In standard quantum mechanics, the correlation functions correspond to the relative number of counts in respective measurements. However, in the protocol of Ref. [1] Alice and Bob could only evaluate all correlation functions, if they would register the counts from Carol’s and Dan’s measurements (i.e. if Alice and Bob actually perform measurements). In that case they need to use the standard “stateupdate rule” for the prediction of their subsequent measurements in contrast to the assumption of Ref. [1], wherein a measurement is assumed to proceed in accordance with a unitary interaction.^{1} However, then, there would be no violation of the Bell’s inequality.
 3.
If Alice and Bob were to test their predictions and actually violate a Bell’s inequality with collected data, one would have to adapt the protocol in a way that renders the setup analogous to that proposed in Ref. [2]. In that case, however, one further has to require the standard assumptions for testing the violation of Bell’s inequalities namely “freedom of choice” and “locality”.
2 Description of the Protocol
Similarly to proposals [2] and [3], the gedankenexperiment introduced in [1] involves two “Wigners” (Alice and Bob) and their respective “friends” (Carol and Dan). The latter each receive one spin1/2 particle (whose states are labeled by 1 and 2, respectively) of a maximally entangled pair. The protocol describes a series of operations applied by the four experimenters from the point of view of the two superobservers.
 0:

State preparation:
\(\psi (0) \rangle = \frac{1}{\sqrt{2}}\left( \uparrow \rangle _1  \downarrow \rangle _2   \downarrow \rangle _1  \uparrow \rangle _2 \right)  r \rangle _C  r \rangle _D\). Where \( r \rangle _C\) and \( r \rangle _D\) are the initial (“ready”) states of Carol and Dan, respectively, that will record the outcome of their spin measurements (and therefore do not need to be initially further specified).
 1:

Dan measures: \( \psi (0) \rangle \rightarrow \psi (1) \rangle = U_D  \psi (0) \rangle \); where \(U_D \downarrow _d \rangle _2  r \rangle _D =  \text {``D sees 2} \downarrow _d \text {''}\rangle _{2D}\) := \( \downarrow _d \rangle _2 \text {``sees }\downarrow _d\text {''}\rangle _D \)(and equivalently for \( \uparrow _d \rangle _2\)).
 2:

Carol measures: \( \psi (1) \rangle \rightarrow \psi (2) \rangle = U_C  \psi (1) \rangle \); where \(U_C \downarrow _c \rangle _1  r \rangle _C =  \text {``C sees 1} \downarrow _c \text {''}\rangle _{1C}\) (and equivalently for \( \uparrow _c \rangle _1\)).
 3:
 Alice undoes Carol’s measurement by applying \(U_C^{\dagger }\):$$\begin{aligned}&\psi (2) \rangle \rightarrow \psi (3) \rangle =\\&\quad =\frac{1}{\sqrt{2}}\left( \uparrow _d \rangle _1  ``\text {Dan sees 2} \downarrow _d\text {''} \rangle _{2D}\right. \\&\qquad \left.   \downarrow _d \rangle _1  ``\text {Dan sees 2} \uparrow _d\text {''} \rangle _{2D} \right)  r \rangle _C = {\psi (1)} \rangle . \end{aligned}$$
 4:

Alice measures, corresponding to a unitary \(U_A\). Analogous to \(U_C\), the unitary \(U_A \downarrow _a \rangle _1  r \rangle _A =  \text {``A sees 1} \downarrow _a\text {''}\rangle _{1A}\) (and equivalently for \( \uparrow _a \rangle _1\))
 5:

Bob undoes Dan’s measurement by applying \(U_D^{\dagger }\).
 6:

Bob measures corresponding to a unitary \(U_B\), which is defined as \(U_B \downarrow _d \rangle _2  r \rangle _B =  \text {``B sees 2} \downarrow _b\text {''}\rangle _{2B}\) (and equivalently for \( \uparrow _b \rangle _2\)) resulting in the state \(\psi (6)\rangle = U_A U_B \psi (0) \rangle \).
 0*:

State preparation:
\(\psi (0) \rangle = \frac{1}{\sqrt{2}}\left( \uparrow \rangle _1  \downarrow \rangle _2   \downarrow \rangle _1  \uparrow \rangle _2 \right)  r \rangle _C  r \rangle _D\).
 1*:

Carol measures: \( \psi (0) \rangle \rightarrow \psi (1^*) \rangle = U_C  \psi (0) \rangle \).
 2*:

Dan measures: \( \psi (1^*) \rangle \rightarrow \psi (2^*) \rangle = U_D  \psi (1^*) \rangle \).
 3*:

Bob undoes Dan’s measurement by applying \(U_D^{\dagger }\): \( \psi (2^*) \rangle \!\rightarrow \! \psi (3^*) \rangle \!=\!  {\psi (1^*)} \rangle \).
 4*:

Bob measures, which is described by a unitary \(U_B\).
 5*:

Alice undoes Carol’s measurement by applying \(U_C^{\dagger }\).
 6*:

Alice measures corresponding to a unitary \(U_A\), resulting in the final state \(\psi (6^*)\rangle = U_A U_B \psi (0) \rangle \).
The main feature claimed by Healey—which supposedly improves the scheme in Ref. [2]—is that in the setup of [1] there exist, for every run of the protocol, four regions of space–time where each of the observables \(A_a\), \(B_b\), \(C_c\) and \(D_d\) takes a unique, definite value (although admittedly they never coexist, in so far as the measurement outcomes of the observers Carol and Dan are erased by the superobservers Alice and Bob). These regions are illustrated in Fig. 1. For the sake of clarity and convenience for our proposed modification of the protocol—and in accordance with Healey’s statement that the two laboratories are moving apart with constant velocities—we represent the space–time diagram in Fig. 1 with slight differences from the original in Ref. [1]. This leads to swapping points 1 (respectively 1*) with 2 (respectively 2*) interchanging the order of Carol’s and Dan’s measurements in both referenceframes, but does not affect the argument in any way.
3 Analysis of the Protocol
We present here what we consider the fundamental problems with the proposal in [1] and discuss perspectives for fixing them.
3.1 Unitary Measurements and Evaluating Probabilities
In order to test whether quantum mechanics violates the objectivity of physical outcomes in the sense of Healey, one would need to find an operational way that would enable, at least in principle, to collect statistics from which the correlation functions could be computed and inserted into the Bell’s expression. In the protocol there is no space–time region where the measurement counts for all four measurement settings—which would enable the computation of the four correlations functions—are accessible in principle, because the data of Carol’s or/and Dan’s measurements are erased before the data of Alice’s and Bob’s measurements get established.
3.2 A Modified protocol that Gives the Expected Probabilities Suffers the Same Criticism that Healey Raises
The protocol proposed in Ref. [1] allows to observe in principle only the correlations between a and b (since at the end of the protocol the measurement results of Carol and Dan have been erased). For the “superobservers” Alice and Bob to evaluate all the correlation functions and test the proposed CHSHlike inequality in Ref. [1], one is forced to adapt the protocol to one wherein Alice can choose to measure either a or c and Bob either b or d by deciding whether or not to erase the measurement outcome of their “friends”. In the latter, each “superobserver” (Alice and Bob) performs the same measurement as their associated observer (Carol and Dan, respectively). Since in that case one allows for a “choice of setting” one has to ensure “locality” and “freedom of choice” as required in a standard Bellinequality setup. In the original protocol of Healey, “locality” is not required, since all four measurements are fixed and performed in each round. Any assignment of four definite outcomes of course satisfies a Belllike inequality by construction.
In the adapted protocol, Alice not erasing Carol’s measurement, but rather measuring Carol’s observable, allows for computing E(b, c), whereas Bob not erasing Dan’s measurement, but performing the same measurement instead will make E(a, d) experimentally accessible; whereas, both the “superobservers” not undoing their friends’ measurements allows for measuring E(c, d). This adapted protocol is illustrated in Fig. 2. Note that in the rounds where Alice, Bob or both decide to measure the observables of Carol or Dan or both respectively, and register counts in the respective measurements, they cannot erase these counts in a unitary fashion to continue with the subsequent measurements. Upon registering the counts in the first measurements, Alice and Bob will observe a statistics in the subsequent measurement, which is compatible with the stateupdate rule and not with a unitary transformation. The continuation of the protocol in its original form [1] but with the application of the stateupdate rule would not lead to a violation of Bell’s inequalities. It appears therefore that the only way to give an operational meaning to accessing the correlation functions and hence to the verification of Healey’s argument is to assume that in each run Alice and Bob chooses one of the two measurement settings—a step that was criticised by Healey.
It, therefore, seems to us that this setup is subject to the same criticism as [2] when one requires the actual computation of the terms violating the CHSHinequality to correspond to measured values. Otherwise, we think Eqs. (1)–(4) need further justification.
In conclusion, the only possibility for the correlations to be in principle measured is to revise the scheme in a way that does not allow to be sure that the four values coexisted in each round, therefore suffering the very same criticism that was addressed towards proposal [2]. However, one can make a stronger assumption that these values are fixed even when they are not all comeasured, which then allows to derive the nogo theorem of Ref. [2].
Footnotes
 1.
In Ref. [1], Healey states “that a measurement causes no physical ‘collapse’ of the quantum state, so that each spinmeasurement proceeds in accordance with a unitary interaction between the measured particle and the rest of the experimenter’s lab, and that this is consistent with its having a definite, physical outcome recorded by the experimenter in that lab”
Notes
Acknowledgements
Open access funding provided by Austrian Science Fund (FWF). We would like to thank Richard Healey and Shan Gao for useful comments and discussion. FDS would like to acknowledge the financial support through a DOC Fellowship of the Austrian Academy of Sciences. VB wants to acknowledge the financing by Swiss National Science Foundation (SNF) and the NCCR QSIT. ČB acknowledges the support of the Austrian Science Fund (FWF) through the project I2906 and the support of a grant from the John Templeton Foundation. The opinions expressed in this publication are those of the authors and do not necessarily reflect the views of the John Templeton Foundation.
References
 1.Healey, R.: Quantum theory and the limits of objectivity. Found. Phys. 48(11), 1568–1589 (2018)MathSciNetCrossRefzbMATHGoogle Scholar
 2.Brukner, Č.: A nogo theorem for observerindependent facts. Entropy 20(5), 350 (2018)MathSciNetCrossRefGoogle Scholar
 3.Frauchiger, D., Renner, R.: Quantum theory cannot consistently describe the use of itself. Nat. Commun. 9(1), 3711 (2018)CrossRefGoogle Scholar
 4.Jammer, M.: The Philosophy of Quantum Mechanics. Wiley, New York (1974)Google Scholar
 5.Wigner, E.P.: Remarks on the mindbody question. In: Good, I.J. (ed.) The Scientist Speculates. Heinemann, London (1961)Google Scholar
 6.Pikovski, I., Zych, M., Costa, F., Brukner, Č.: Time dilation in quantum systems and decoherence. N. J. Phys. 19(2), 025011 (2017)CrossRefGoogle Scholar
 7.Gao, S.: Unitary quantum theory is incompatible with special relativity. (2018). Preprint https://philpapers.org/rec/GAOUQT
Copyright information
Open AccessThis article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.