A No-Go Theorem for Observer-Independent Facts

Abstract

In his famous thought experiment, Wigner assigns an entangled state to the composite quantum system made up of Wigner’s friend and her observed system. While the two of them have different accounts of the process, each Wigner and his friend can in principle verify his/her respective state assignments by performing an appropriate measurement. As manifested through a click in a detector or a specific position of the pointer, the outcomes of these measurements can be regarded as reflecting directly observable “facts”. Reviewing arXiv:1507.05255, I will derive a no-go theorem for observer-independent facts, which would be common both for Wigner and the friend. I will then analyze this result in the context of a newly-derived theorem arXiv:1604.07422, where Frauchiger and Renner prove that “single-world interpretations of quantum theory cannot be self-consistent”. It is argued that “self-consistency” has the same implications as the assumption that observational statements of different observers can be compared in a single (and hence an observer-independent) theoretical framework. The latter, however, may not be possible, if the statements are to be understood as relational in the sense that their determinacy is relative to an observer.

1. Introduction

One of the most debated situations concerning the quantum measurement problem is described in the thought experiment of the so-called “Wigner’s friend”. The experiment involves a quantum system and an observer (Wigner’s friend) who performs measurements on this system in a sealed laboratory. A “super-observer” (Wigner) is placed outside the laboratory. While for the friend, the measurement outcome is reflected in a property of the device recording it (e.g., in the form of a click in a photo-detector or a certain position of a pointer device), Wigner can describe the process unitarily on the basis of the information that is in principle available to him. At the end of the process, the friend projects the state of the system corresponding to the observed outcome, whereas Wigner assigns a specific entangled state to the system and the friend, which he can verify performing a further experiment. When Wigner’s friend observes an outcome, does the state collapse for Wigner as well? If not, how can we reconcile their different accounts of the process?

The thought experiment of Wigner’s friend has great conceptual value, as it challenges different approaches to understanding quantum theory. In his original work [1], Wigner designed the experiment to support his view that consciousness is necessary to complete the quantum measurement process. According to the many-worlds interpretation [2], there are many copies of Wigner’s friend in different “worlds”. Each copy observes one outcome, a different one in each world. According to the Copenhagen, relational [3] and quantum Bayesian [4] interpretations, the state is defined only relative to the observer; relative to the friend, the state is projected, while relative to Wigner, it is in a superposition. Either way, supporters of any of these interpretations will arrive at the same predictions in Wigner’s verifying experiment. In contrast, objective collapse theories [5,6,7] predict that the quantum state collapses when a superposed system reaches a certain threshold of mass, size, complexity, etc., such that it becomes impossible to even prepare the entangled state of Wigner’s friend and the system. Consequently, Wigner’s state assignment can statistically be disproved repeating the verifying experiment.

The descriptions of “what is happening inside the lab” as given by Wigner and Wigner’s friend respectively will differ. This difference need not pose a consistency problem for quantum theory, for example if one takes the view that the theory gives the physical description relative to the observer and her/his measuring apparatus in agreement with [3]. As long as the two observers do not exchange the information about their outcomes, they will remain separated from each other, each holding a different description of the systems with respect to their individual experimental arrangements. If they do compare their predictions, they will agree. For example, should the friend communicate her result to Wigner, this would collapse the state he assigns to the friend and the system. This suggests that there should be no tension in accepting that, relative to their experimental arrangements, Wigner’s friend in her measurement, as well as Wigner in his verifying measurement, each obtains a respective measurement outcome. Since these outcomes are usually manifested as clicks in detectors or definite positions of a pointer, they can be considered as directly accessible “facts”. Quite naturally, the question arises: Can the facts as observed by Wigner and by Wigner’s friend be jointly considered as objective properties of the world, in which case we might call them “facts of the world”? What we mean with this question is whether there exists any theory, potentially different from quantum theory, where a joint probability may be assigned for Wigner’s outcome and for that of his friend.

Reviewing the results of [8], I will derive a Bell-type no-go theorem for observer-independent facts, showing that there can be no theory in which Wigner’s and Wigner’s friend’ facts can jointly be considered as (local) objective properties. More precisely, I will show that the assumptions of “locality”, “freedom of choice” and “universality of quantum theory” (the latter in the sense that there are no constraints of the system to which the theory can be applied) are incompatible with the assumption of observer-independent facts, i.e., under the assumptions one cannot define joint probabilities for Wigner’s outcome and for that of Wigner’s friend. This might indicate that in quantum theory, we can only define facts relative to an observation and an observer. I will then analyze the relation of these results to the theorem developed by Frauchinger and Renner [9], which proves that “single-world interpretations of quantum theory cannot be self-consistent”. In particular, I will argue that the implications of their “self-consistency” requirement are equivalent to those of a theoretical framework in which the truth values of the observational statements by Wigner and Wigner’s friend can be jointly assigned and then whether they are consistent or not verified. However, in the view of the no-go theorem, this in general need not be possible in a physical theory; the theory may operate only with facts relative to the observer.

It should be emphasized that the no-go theorem applies to “facts” understood as “immediate experiences of observers”; it may refer to what various interpretations of quantum mechanics assume to be “real” (e.g., the wave function of the Universe, Bohmian’s trajectories, etc.) only to the extent to which these “realities” give rise to directly observable facts in terms of detector clicks or pointer positions.

2. Deutsch’s Version of Wigner’s Friend Experiment

The standard description of the Wigner-friend thought experiment involves a quantum two-level system (System 1, e.g., a spin-1/2 particle), which can give rise to two outcomes upon measurement (e.g., two opposite directions when passing through a Stern–Gerlach apparatus). The outcomes are recorded by a measurement apparatus and eventually in the friend’s memory (System 2). Now, Wigner is placed outside the isolated laboratory in which the experiment takes place and can perform a quantum measurement on the overall system (spin-1/2 particle + friend’s laboratory). Take it that all experiments are carried out a sufficient number of times to collect statistics.

For concreteness, suppose that a measurement of spin along z is performed on a particle initially prepared in state ${|x+\rangle }_S=\frac{1}{\sqrt{2}}{\left(\right|z+\rangle }_S{+|z-\rangle }_S)$, where subscript S refers to the spin. After the measurement is completed, the measurement apparatus is found in one of many perceptively different macroscopic configurations, like different positions of a pointer along a scale. If the apparatus pointer is found in a specific position along the scale, the friend can say that the observable spin z has the value “up” or “down”. Note that for the present argument, we need not make any assumption about how the friend formally describes the spin and the apparatus, which measurement formalism she uses or even if she uses quantum theory for it. All that is needed is the assumption that the friend perceives a definite outcome.

Wigner uses quantum theory to describe the friend’s measurement. From his perspective, the measurement is described by a unitary transformation. The different possible spin states ${|z+\rangle }_S$ and ${|z-\rangle }_S$ are supposed to get entangled to the perceptively different macroscopic configurations of the apparatus and the parts of the laboratory including the friend’s memory. The states of different macroscopic configurations are represented by orthogonal states ${|F_{z+}\rangle }_F$ and ${|F_{z-}\rangle }_F$, respectively. We assume that the state of the composite system “spin + friend’s laboratory” is given by:

$${|\mathsf{\Phi }\rangle }_{SF}=\frac{1}{\sqrt{2}}\left({|z+\rangle }_S|F_{z+}{\rangle }_F{+|z-\rangle }_S{|F_{z-}\rangle }_F\right),$$

(1)

where the particular phase (here “+”) between the two amplitudes in Equation (1) is specified by the measurement interaction in control of Wigner (note that if Wigner did not know this phase due to the lack of control of it, he would describe the “spin + friend’s laboratory” in an incoherent mixture of the two possibilities). Wigner can verify his state assignment (1), for example by performing a Bell state measurement in the basis: $|{\mathsf{\Phi }}^{\pm }{\rangle }_{SF}=\frac{1}{\sqrt{2}}\left({|z+\rangle }_S|F_{z+}{\rangle }_F{\pm |z-\rangle }_S{|F_{z-}\rangle }_F\right)$ and $|{\mathsf{\Psi }}^{\pm }{\rangle }_{SF}=\frac{1}{\sqrt{2}}\left({|z+\rangle }_S|F_{z-}{\rangle }_F{\pm |z-\rangle }_S{|F_{z+}\rangle }_F\right)$.

The fact that the friend and Wigner have different accounts of the friend’s measurement process is at the heart of the discussion surrounding the Wigner-friend thought experiment. Still, the difference need not give rise to any inconsistency in practicing quantum theory, since the two descriptions belong to two different observers, who remain separated in making predictions for their respective systems. The novelty of Deutsch’s proposal [10] lies in the possibility for Wigner to acquire direct knowledge on whether the friend has observed a definite outcome upon her measurement or not without revealing what outcome she has observed. The friend could open the laboratory in a manner that allowed communication (e.g., a specific message written on a piece of paper) to be passed outside to Wigner, keeping all other degrees of freedom fully isolated, as illustrated in Figure 1. Obviously, it is of central importance that the message does not contain any information concerning the specific observed outcome (which would destroy the coherence of state (1)), but merely an indication of the kind: “I have observed a definite outcome” or “I have not observed a definite outcome”. If the message is encoded in the state of system M, the overall state is:

$${|\mathsf{\Phi }\rangle }_{SFM}=\frac{1}{\sqrt{2}}\left({|z+\rangle }_S|F_{z+}{\rangle }_F{+|z-\rangle }_S{|F_{z-}\rangle }_F\right){|“\mathrm{I}\mathrm{have}\mathrm{observed}\mathrm{a}\mathrm{definite}\mathrm{outcome}”\rangle }_M,$$

(2)

since the state of the message is factorized out from the total state (I leave the option for the message “I have not observed a definite outcome” out, as it conflicts with our experience of the situation that we refer to as measurement and it also can be used to violate the bound on quantum state discrimination [8]).

If we assume the universality of quantum theory in the sense that it can be applied at any scale, including the apparatus, the entire laboratory and even the observer’s memory, we conclude that the message will indicate that the friend perceives a definite outcome and yet Wigner will confirm his state assignment (1). This should be contrasted to the “collapse models” by Ghirardi, Rimini and Weber [5] or by Diosi [6] and Penrose [7], which predict a breakdown of the quantum-mechanical laws at some scale. In the presence of such a collapse, the prediction based on Wigner’s state assignment will statistically deviate from the result obtained in the verification test.

3. The No-Go Theorem

We have seen that Wigner not only perceives his own facts, he is also able to obtain a direct evidence for the existence of the friend’s facts (although without knowing which specific outcome has been realized in the laboratory). This strongly suggests that Wigner’s and Wigner’s friend’s facts coexist. We pose the question: Is there a theoretical framework, potentially going beyond quantum theory, in which one can account for observer-independent facts, ones that hence can be called “facts of the world”? In such a framework, one could assign jointly truth values to both the observational statement $A_1$: “The pointer of Wigner’s friend’s apparatus points to result $z+$” and $A_2$: “The pointer of Wigner’s apparatus points to result $\mathsf{\Phi }$”.

One important remark: Whenever Wigner performs his measurement, he can inform the friend about the outcome he observed. Hence, Wigner’s friend can learn Wigner’s outcome in addition to the outcome she herself observed directly. In this way, Wigner’s friend can know the truth values of both statements $A_1$ and $A_2$. The assumption of “observer-independent facts” is a stronger condition: we require an assignment of truth values to statements $A_1$ and $A_2$ independently of which measurement Wigner performs. Wigner can either perform his verifying experiment or he can perform Wigner’s friend’s measurement (for example, by opening the lab, or learning it from the friend). In either experiment, the observed outcome (e.g., “$\mathsf{\Phi }$” and “$z+$”, respectively) is required to reveal the assigned truth value for $A_1$ or $A_2$. We formalize the requirement of “observer-independent facts” in the following assumption.

Postulate 1.

(“Observer-independent facts”) The truth values of the propositions $A_i$ of all observers form a Boolean algebra $\mathcal{A}$. Moreover, the algebra is equipped with a (countably additive) positive measure $p\left(A\right)\ge 0$ for all statements $A\in \mathcal{A}$, which is the probability for the statement to be true.

In the proof, we will only use the conjunction of propositions of different observers, which is a weaker requirement. Furthermore, we use a countably additive measure since we are dealing with only a countable (in fact only a finite) set of elements. In Boolean algebra, one can build the conjunction, the disjunction and the negation of the statements. A typical example of a Boolean algebra is set theory. The operations are identified with the set theoretic intersection, union and complement, respectively. This is significant in the context of classical physics, where the propositions can be represented by subsets of a phase space. In the present context, one can jointly assign truth values “true” or “false” to statements $A_1$ and $A_2$ about observations made by Wigner’s friend and Wigner, respectively. Moreover, one can build the conjunction $A_1\cap A_2$ and assign joint probability $p(A_1=\pm 1,A_2=\pm 1)$, where $A_1$ is observed by the friend and $A_2$ by Wigner (and where truth value “true” corresponds to a value of one and “false” to −1). Note that since observables corresponding to $A_1$ and $A_2$ do not commute with each other, this amounts to introducing “hidden variables”, for which we now formulate a Bell’s theorem [11].

Theorem 1.

(No-go theorem for “observer-independent facts”) The following statements are incompatible (i.e., lead to a contradiction)

1. 

“Universal validity of quantum theory”. Quantum predictions hold at any scale, even if the measured system contains objects as large as an “observer“ (including her laboratory, memory etc.).

2. 

“Locality”. The choice of the measurement settings of one observer has no influence on the outcomes of the other distant observer(s).

3. 

“Freedom of choice”. The choice of measurement settings is statistically independent from the rest of the experiment.

4. 

“Observer-independent facts”. One can jointly assign truth values to the propositions about observed outcomes (“facts”) of different observers (as specified in the postulate above).

Before going to the proof, I make two comments. Firstly, we use word "universal" in assumption 1 in the sence of Peres [12]: “There is nothing in quantum theory making it applicable to three atoms and inapplicable to ${10}^{23}$ ... Even if quantum theory is universal, it is not closed. A distinction must be made between endophysical systems—those which are described by the theory—and exophysical ones, which lie outside the domain of the theory (for example, the telescopes and photographic plates used by astronomers for verifying the laws of celestial mechanics). While quantum theory can in principle describe anything, a quantum description cannot include everything. In every physical situation something must remain unanalyzed. This is not a flaw of quantum theory, but a logical necessity ...”.

Secondly, the theorem can be derived by replacing assumptions 2, 3 and 4 with a single assumption of Bell’s “local causality”. The latter already implies the existence of (local) probabilities for “joint facts” for Wigner and Wigner’s friend [13], which is the subject of the present no-go theorem. The reason for working with the present choice of assumptions is that the relevance of the theorem for the propositions different observers make about their respective outcome becomes apparent.

Proof. 

With reference to Figure 2, consider a pair of super-observers (Alice and Bob) who can carry out experiments on two systems that include a laboratory for each system, in each of which an observer (Charlie and Debbie, respectively) performs a measurement on a spin-1/2 particle. We consider a Bell inequality test and assume that Alice chooses between two measurement settings $A_1$ and $A_2$, and similarly, Bob chooses between $B_1$ and $B_2$. The settings $A_1$ and $A_2$ correspond to the observational statements Charlie and Alice can make about their respective outcomes, respectively. Similarly, the settings $B_1$ and $B_2$ correspond to observational statements of Debbie and Bob, respectively. Assumptions (2), (3) and (4) together account for the existence of local hidden variables that predefine the values for $A_1$, $A_2$, $B_1$ and $B_2$ to be $+1$ or $-1$. Moreover, the assumptions imply the existence of the joint probability $p(A_1,A_2,B_1,B_2)$ whose marginals satisfy the Clauser–Horne–Shimony–Holt inequality (CHSH): $S=\langle A_1{B}_1\rangle +\langle A_1{B}_2\rangle +\langle A_2{B}_1\rangle -\langle A_2{B}_2\rangle \le 2$. Here, for example, $\langle A_1{B}_1\rangle ={\sum }_{A_1,B_1=-1,1}{A}_1{B}_{1}p(A_1,B_1)$ and $p(A_1,B_1)={\sum }_{A_2,B_2=-1,1}p(A_1,A_2,B_1,B_2)$ and similarly for other cases.

Suppose that Charlie and Debbie initially share an entangled state of two respective spin-1/2 particles $S_1$ and $S_2$ in a state:

$${|\psi \rangle }_{S_1{S}_2}=-sin\frac{\theta }{2}|{\varphi }^{+}{\rangle }_{S_1{S}_2}+cos\frac{\theta }{2}{|{\psi }^{-}\rangle }_{S_1{S}_2},$$

(3)

where $|{\varphi }^{+}{\rangle }_{S_1{S}_2}=\frac{1}{\sqrt{2}}{\left(\right|z+\rangle }_{S_1}{|z+\rangle }_{S_2}{+|z-\rangle }_{S_1}{|z-\rangle }_{S_2})$ and $|{\psi }^{-}{\rangle }_{S_1{S}_2}=\frac{1}{\sqrt{2}}{\left(\right|z+\rangle }_{S_1}{|z-\rangle }_{S_2}{-|z-\rangle }_{S_1}{|z+\rangle }_{S_2})$, and the first spin is in possession of Charlie and the second of Debbie. The state can be obtained by applying rotation $(𝟙\otimes e^{-\frac{i}{2}\theta {\sigma }_y}){|{\psi }^{-}\rangle }_{S_1{S}_2}$ to the singlet state $|{\psi }^{-}{\rangle }_{S_1{S}_2}=\frac{1}{\sqrt{2}}{\left(\right|z+\rangle }_{S_1}{|z-\rangle }_{S_2}{-|z-\rangle }_{S_1}{|z+\rangle }_{S_2})$, where $\theta$ is the angle of rotation of Debbie’s spin around the y-axis and ${\sigma }_y$ is a Pauli matrix. This particular choice of the state enables all measured observables to be either of the Wigner’s friend type, or of the Wigner type.

For Alice and Bob, the overall state of the spins together with Charlie’s and Debbie’s laboratories is initially:

$$|{\mathsf{\Psi }}_0{\rangle =|\psi \rangle }_{S_1{S}_2}{|0\rangle }_C{|0\rangle }_D,$$

(4)

in agreement with Assumption 1. The state ${|0\rangle }_C{|0\rangle }_D$ of the two observers does not require further characterization, except for the description of observers capable of completing a measurement.

Now, Charlie and Debbie each perform a measurement of the respective spin along the z direction. This measurement procedure is described as a unitary transformation from the point of view of Alice and Bob. We assume that after Charlie and Debbie complete their measurement, the overall state becomes:

$$|\tilde{\mathsf{\Psi }}\rangle =-sin\frac{\theta }{2}|{\mathsf{\Phi }}^{+}\rangle +cos\frac{\theta }{2}|{\mathsf{\Psi }}^{-}\rangle ,$$

(5)

where:

$$\begin{array}{c}\hfill |{\mathsf{\Phi }}^{+}\rangle =\frac{1}{\sqrt{2}}\left(\right|A_{up}|B_{up}\rangle +|A_{down}\rangle |B_{down}\rangle ),\end{array}$$

(6)

$$\begin{array}{c}\hfill |{\mathsf{\Psi }}^{-}\rangle =\frac{1}{\sqrt{2}}\left(\right|A_{up}\rangle |B_{down}\rangle -|A_{down}\rangle |B_{up}\rangle )\end{array}$$

(7)

and:

$$\begin{array}{cc}\hfill |A_{up}{\rangle =|z+\rangle }_{S_1}{|C_{z+}\rangle }_C,& \hfill |B_{up}{\rangle =|z+\rangle }_{S_2}{|D_{z+}\rangle }_D,\end{array}$$

(8)

$$\begin{array}{cc}\hfill |A_{down}{\rangle =|z-\rangle }_{S_1}{|C_{z-}\rangle }_C,& \hfill |B_{down}{\rangle =|z-\rangle }_{S_2}{|D_{z-}\rangle }_D.\end{array}$$

(9)

We take now $\theta =\pi /4$ and define two sets of (binary) observables, which play the same role of spin (Pauli) operators along the z and x axis, respectively: $A_z=|A_{up}\rangle \langle A_{up}|-|A_{down}\rangle \langle A_{down}|$ and $A_x=|A_{up}\rangle \langle A_{down}|+|A_{down}\rangle \langle A_{up}|$ for Alice and similarly $B_z$ and $B_x$ for Bob. In the Bell experiment, Alice chooses between $A_1=A_z$ and $A_2=A_x$, whereas Bob chooses between $B_1=B_z$ and $B_2=B_x$. Note that Alice and Bob each choose between the friend’s ($A_1$ and $B_1$) and Wigner’s ($A_2$ and $B_2$) type of measurement. The Bell test with these measurement settings and state (5) results in $S_Q=2\sqrt{2}$. The violation of the inequality implies that the conjunction of the assumptions (1–4) used to derive it is untenable. □

In Appendix A, we present a Greenberger–Horne–Zeilinger type of the theorem with three Wigners and three friends. There, the discrepancy between quantum theory and the theories respecting (2–4) is no more of a probabilistic, but of a deterministic nature.

We conclude that Wigner, even as he has clear evidence for the occurrence of a definite outcome in the friend’s laboratory, cannot assume any specific value for the outcome to coexist together with the directly observed value of his outcome, given that all other assumptions are respected. Moreover, there is no theoretical framework where one can assign jointly the truth values to observational propositions of different observers (they cannot build a single Boolean algebra) under these assumptions. A possible consequence of the result is that there cannot be facts of the world per se, but only relative to an observer, in agreement with Rovelli’s relative-state interpretation [3], quantum Bayesianism (already in 1996, in the “Replies to Referee 4” of [14], Fuchs drew a distinction between “facts for the agent” and “facts for everybody”) [4], as well as the (neo)-Copenhagen interpretation [8]. It is interesting to note that a similar view was expressed by Jammer as early as in 1974 [15], when he wrote that “the description of the state of a system, rather than being restricted to the particle (or systems of particles) under observation, expresses a relation between the particle and all the measurement devices involved.” Other possible interpretations of the violation of Bell’s inequalities include violations of Assumption 1 in collapse models [5,6,7], of Assumption 2 in non-local hidden variable models such as de Broglie–Bohm theory [16] or of Assumption 3 in superdeterministic theories [17]. The proper account of the result in the many-worlds interpretation should be found in the interpretation’s account of Bell’s inequality violation [18,19] and points again to observer-dependent facts as they depend on the branch of the many worlds.

4. Relation to the Paper by Frauchiger and Renner, arXiv: 1604.07422

Building upon works by Deutsch [10], Hardy [20,21] and [8] reviewed above, Frauchiger and Rennen [9] proposed an “extended Wigner-friend thought experiment“, from which they concluded that “single-world interpretations of quantum theory cannot be self-consistent“. The implications of their argument have been discussed since then [4,22,23,24].

The claim of [9] is based on an incompatibility proof stating that there cannot exist a physical theory Tthat would fulfill the following three properties (informal versions; see [9] for details):

(QT) 

“Compliance with quantum theory: T forbids all measurement results that are forbidden by standard quantum theory (and this condition holds even if the measured system is large enough to contain itself an experimenter).”

(SW) 

“Single-world: T rules out the occurrence of more than one single outcome if an experimenter measures a system once.”

(SC) 

“Self-consistency: T’s statements about measurement outcomes are logically consistent (even if they are obtained by considering the perspectives of different experimenters).”

Property (QT) is essentially a weaker version of our Assumption 1 where it is sufficient to require the validity of quantum theory for results with vanishing probability (as the argument is possibilistic, not probabilistic). An example of a theory-violating property (SW) is the many-worlds interpretation of quantum theory.

The argument combines a set of statements that involves different observers F${}_1$, F${}_2$, A and Wand can be drawn on the basis of theory T:

S${}_1$

If F${}_1$ sees $r=t$, then W sees $w\ne ok$.

S${}_2$

If F${}_2$ sees $z=+$, then F${}_1$ sees $r=t$.

S${}_3$

If A sees $x=ok$, then F${}_2$ sees $z=+$.

S${}_4$

W sees $w=ok$ and is told by A that $x=ok$.

The specific type of quantum state, measurements and outcomes involved in the argument is not relevant for further discussion and will be omitted here.

Property (SC) is crucial in a step of the proof, where one combines “nested” statements (S${}_1$–S${}_4$) [25]. In the first step, the self-consistency property (SC) implies the following:

$${\mathrm{S}}_a\cap {\mathrm{S}}_b\Rightarrow {\mathrm{S}}_c$$

(10)

where ∩ denotes logical “and” and the statements are of the type:

S${}_a$

Observer W assigns the truth value “true” to the statement: “A sees $x=ok$”;

S${}_b$

Observer A assigns the truth value “true” to the statement: “If $x=ok$, then F${}_2$ sees $z=+$”;

S${}_c$

Observer W assigns the truth value “true” to the statement: “A concludes that F${}_2$ sees $z=+$”.

By repeating reasoning (10) in an iterative way, starting from statement S${}_4$–S${}_1$, one arrives at a new statement:

T 

Observer W concludes that A concludes that F${}_2$ concludes that F${}_1$ concludes that $w\ne ok$.

It is important to note that this statement refers to W’s conclusion about what other observers conclude when they apply T conditional on the outcomes they observe. It is not a statement about his directly observed outcome.

In the second step, the self-consistency property (SC) is used to arrive at an implication of the following type:

$$\mathrm{T}\Rightarrow \mathrm{S}.$$

(11)

where the implied statement is:

S 

Observer W concludes that $w\ne ok$,

which stands in logical contradiction with W’s directly observed outcome $w=ok$.

The second step is non-trivial. It enables promoting others’ knowledge based on their observations to ones’ own knowledge and then to put this “promoted knowledge” in logical comparison with ones’ own knowledge gained through direct observation. Through implication (11), the self-consistency property (SC) enables observational statements of other observers (A, F${}_2$ and F${}_1$) to be logically compared with ones (W) own. This has the same predictive power as a theoretical framework in which the truth values of statements of different observers can jointly be assigned and compared. To see this, denote statements S${}_i$, $i=1,2,3$ as implications S${}_1$: (P ⇒ Q), S${}_2$: (Q ⇒ R) and S${}_3$: (R ⇒ S), where P: “A sees $x=ok$”, Q: “F${}_2$ sees $z=+$”, R: “F${}_1$ sees $r=t$” and S: “W sees $w\ne ok$”. Then, “collapsing” others’ knowledge into W’s knowledge via Equation (11) is equivalent in its implications to considering all the statements as belonging to a single Boolean algebra (i.e., they are now all propositions of observer W, who can apply logical operations on them) for which one can use the transitivity of implication to arrive at [P ∩ (P ⇒ Q) ∩ (Q ⇒ R) ∩ (R ⇒ S)] ⇒ S. Statement S is again in logical contradiction to W’s directly observed outcome $w=ok$.

We have seen that the existence of a single Boolean algebra for truth values for observational statements of different observers is incompatible with the assumptions of “locality”, “freedom of choices” and the predictions of quantum theory, which does not impose any constraints on the objects to which it is applied. This might be interpreted as an indication that the strong conclusions implied by the theorem of [9] rely on a too restrictive requirement of property (SC) on a physical theory. The requirement needs not only be fulfilled in quantum theory, but in other physical theories, as well. An example was provided by Sudbery [23]: In the special theory of relativity, due to time dilation, every inertial observer can claim that her/his clock ticks slower than that of a moving partner. This apparent contradiction in predictions of different observers is resolved when one realizes that the statements only have meaning with respect to the specific, observer-dependent measurement procedures that define “simultaneity”. Similarly, the states referring to outcomes of different observers in a Wigner-friend type of experiment cannot be defined without referring to the specific experimental arrangements of the observers, in agreement with Bohr’s idea of contextuality as formulated by him in 1963 [26]: “the unambiguous account of proper quantum phenomena must, in principle, include a description of all relevant features of experimental arrangement.”

I conclude with a remark that the theorem by Frauchiger and Renner has deep conceptual value, as it points to the necessity to differentiate between ones’ knowledge about direct observations and ones’ knowledge about others’ knowledge that is compatible with physical theories. It is likely that understanding this difference will be an important ingredient in further development of the method of Bayesian inference in situations as in the Wigner-friend experiment.