Abstract
The notorious Wigner’s friend thought experiment (and modifications thereof) has received renewed interest especially due to new arguments that force us to question some of the fundamental assumptions of quantum theory. In this paper, we formulate a nogo theorem for the persistent reality of Wigner’s friend’s perception, which allows us to conclude that the perceptions that the friend has of her own measurement outcomes at different times cannot “share the same reality”, if seemingly natural quantum mechanical assumptions are met. More formally, this means that, in a Wigner’s friend scenario, there is no joint probability distribution for the friend’s perceived measurement outcomes at two different times, that depends linearly on the initial state of the measured system and whose marginals reproduce the predictions of unitary quantum theory. This theorem entails that one must either (1) propose a nonlinear modification of the Born rule for twotime predictions, (2) sometimes prohibit the use of present information to predict the future—thereby reducing the predictive power of quantum theory—or (3) deny that unitary quantum mechanics makes valid singletime predictions for all observers. We briefly discuss which of the theorem’s assumptions are more likely to be dropped within various popular interpretations of quantum mechanics.
Introduction
One of the most puzzling scenarios one can encounter in quantum physics is the socalled Wigner’s friend thought experiment^{1,2}. It allows to investigate the applicability of the quantum formalism beyond its usual limits, by considering a certain physical system—called “the friend”— simultaneously as a quantum system and as a user of quantum theory (observer). In this thought experiment, a superobserver (Wigner) describes, using the pure quantum formalism, his friend who is performing a quantum measurement on a spin system. After the friend’s measurement has taken place, we are in a counterintuitive situation where Wigner describes the friend in a quantum superposition of observing two different outcomes, while from the friend’s perspective a definite outcome must be perceived.
There has been a number of recent works that cast new light onto this thought experiment^{3,4,5,6,7,8,9,10,11,12,13,14,15,16,17}, many of which originated as reactions to a paper by Frauchiger and Renner^{18}. The latter work can be regarded as showing that, in quantum mechanics, it may be problematic to treat observational knowledge of other agents as if it were one’s own, and to logically compare such indirect knowledge with that gained through direct observation. In the words of these authors, in a scenario where “multiple agents have access to different pieces of information, and draw conclusions by reasoning about the information held by others,” it can be shown that “in the general context of quantum theory, the rules for such nested reasoning may be ambiguous”^{18}; a conclusion that is reminiscent of the QBist interpretation of quantum theory^{19,20}. Other works^{3,4,9,15} show that a nogo result can be obtained when the assumption that superobservers can treat other observer’s outcomes as “facts of the worlds” is combined with a locality assumption. What all of the abovecited works have in common is that they reach their nogo results by combining the observations of multiple observers as if those all belonged to the same “classical reality.”
In the present paper, we put forward a nogo theorem for the persistent reality of Wigner’s friend’s perception that has perhaps more counterintuitive and drastic consequences: even a single observer, when making predictions about his or her observations at two different times, can conflict with the linear dependence of quantum mechanical probabilities on the density operator of the system being measured. This will occur if the said observer is subjected to a measurement by a superobserver between these two times and uses unitary quantum mechanics (i.e., “nocollapse” quantum mechanics) to make his or her predictions. Our result is in line with a different understanding of the Frauchiger–Renner argument, where it is taken to primarily show that inferences made on the basis of a quantum state assigned at a certain time are not necessarily valid at later times, especially not if “someone Hadamards your brain” in between^{21}.
Indeed, one conclusion that can be drawn from this nogo theorem is that treating a piece of information from the past as if it was still presently existing (even when one takes into account a possible subjective uncertainty) cannot, in general, be upheld together with the conjunction of the above seemingly natural assumptions within the domain of quantum theory. We will show that in a particular instance of the Wigner’s friend experiment, our assumptions imply that, even in cases where the theory states that no change would take place in the quantum state of the friend’s laboratory, the perceptions of the friend have a nonzero probability to change from before to after Wigner’s measurement. Finally, we will briefly discuss how different interpretations of quantum mechanics might comply with the nogo theorem, by identifying which of the assumptions are most likely to be abandoned within these interpretations.
Results
Wigner’s friend thought experiment
Let us begin by reviewing the Wigner’s friend thought experiment within a unitary formalism to set up some basic notation and to clarify what we mean by “unitary quantum mechanics” for the particular scenario that we consider. It is common to assume that the following description provided by unitary quantum mechanics is empirically adequate in all situations: any observer who uses this formalism will predict probabilities that match the relative frequencies that would be observed if the experiment was repeated many times.
The experiment features an observer, the friend (F), performing measurements on a qubit (e.g., a spin1/2 particle), the system (S), in a sealed laboratory. The system is initialized in the state \({\left\psi \right\rangle }_{{\rm{S}}}=\alpha {\left\uparrow \right\rangle }_{{\rm{S}}}+\beta {\left\downarrow \right\rangle }_{{\rm{S}}}\), where α and β are complex numbers that obey ∣α∣^{2} + ∣β∣^{2} = 1, and the possible outcomes of the measurement are recorded by the friend as U or D, respectively standing for “up” and “down.” Another (super)observer, Wigner (W), located outside the laboratory performs a measurement on both the system and the friend. The initial state of the friend (which encompasses any other possible degree of freedom in the isolated lab) is known by Wigner, and is initially in a macroscopic “ready” state \({\left0\right\rangle }_{{\rm{F}}}\). The state of Wigner himself is also in a macroscopic “ready” state \({\left0\right\rangle }_{{\rm{W}}}\).
The initial state (at time t_{0}) of the whole setup is therefore
At time t_{1}, the friend measures the spin in the zbasis, and the state becomes
where the states \({\leftU\right\rangle }_{{\rm{F}}},{\leftD\right\rangle }_{{\rm{F}}}\) correspond to the friend having observed outcome “up” or “down,” respectively. Later, at time t_{W}, Wigner measures the friend and system in some entangled basis, with binary outcomes corresponding to the orthogonal states
with a, b being complex numbers obeying ∣a∣^{2} + ∣b∣^{2} = 1. Strictly speaking, there should be two other outcomes corresponding to the rank2 projector, \(\left\uparrow ,D\right\rangle \left\langle \uparrow ,D\right+\left\downarrow ,U\right\rangle \left\langle \downarrow ,U\right\), but these outcomes are never actualized in the experiment.
At a slightly later time t_{2} > t_{W}, the measurement is over and we have the final state
where \({\left1\right\rangle }_{{\rm{W}}}\) and \({\left2\right\rangle }_{{\rm{W}}}\) are pure quantum states corresponding to Wigner seeing the outcome “1” or “2,” respectively. Note that the state \(\left{{\Psi }}({t}_{2})\right\rangle\) depends on the specific unitary realization of Wigner’s measurement; different purifications can lead to different states \(\left{{\Psi }}({t}_{2})\right\rangle\).
Using the states in Eqs. (1)–(3) and the Born rule, one can find the expected statistics for any of the friend’s or Wigner’s measurement outcomes using unitary quantum mechanics. This is achieved by applying a projector Π_{x} onto the state where the respective observer is seeing outcome x to the state at the time of interest, that is,
where, in the case relevant for this work where there are two outcomes U and D, the probability of the friend seeing for example outcome x = U is obtained with \({{{\Pi }}}_{U}=\leftU\right\rangle {\left\langle U\right}_{{\rm{F}}}\).
The states in Eqs. (1)–(3) represent the unitary evolution of the full quantum state at all times. While the latter is commonly associated with the manyworlds interpretation^{22,23}, or with Bohmian mechanics^{24,25,26}, it is also compatible with a timeless formulation of quantum theory as introduced by Page and Wootters^{27}. Even without necessarily accepting the picture of the world provided by the manyworlds interpretation, Eq. (4) can be used by any observer to make predictions about their observed outcome at some time. In particular, we assume that the friend has enough information about the experimental setup in order to use Eq. (4) for her probability assignments.
In the following, we will also be interested in cases where the initial state of the system is a mixed state ρ_{S}. Such a state can be decomposed as \(\rho =\lambda \left \psi \right\rangle \left\langle \psi \right+(1\lambda )\left \phi \right\rangle \left\langle \phi \right\), where \(\left\psi \right\rangle ,\left\phi \right\rangle\) are orthonormal states and 0 ≤ λ ≤ 1. Then we have the analog of expressions (1)–(3) for the mixed state Σ(t) of the whole setup at different times
where \(\left{{\Psi }}(t)\right\rangle\) and \(\left{{\Phi }}(t)\right\rangle\) are states analogous to Eqs. (1)–(3) with initial system states \({\left\psi \right\rangle }_{{\rm{S}}}\) and \({\left\phi \right\rangle }_{{\rm{S}}}\), respectively. Furthermore, probabilities are now given by \(p(x)={\rm{tr}}\left({{{\Pi }}}_{x}{{\Sigma }}(t)\right)\).
In the standard analysis of the Wigner’s friend thought experiment, the friend is usually assumed to describe the dynamics of her lab by using the stateupdate rule instead of Eq. (2). She, therefore, would assign probabilities to Wigner’s measurement that are different from those assigned by Wigner based on Eqs. (2) and (3), which leads to an inconsistency between the predictions of both observers^{6}.
Probability assignments in a scientific theory
A necessary requirement for an empirically adequate scientific theory is that it should be able to give (quantitative) predictions, such as to have testable empirical content. Throughout the paper, by the term “prediction,” we merely mean the assignment, by an agent using a physical theory, of a probability distribution, and we do not strictly commit to any particular (operational) interpretation of probability, such as in terms of betting quotients. Namely, a theory should be able to associate a measure of likelihood to an event y to happen, given that certain conditions—which, in turn, are captured by another event x– have already occurred. In the words of Wigner,
One realises that all the information which the laws of physics provide consists of probability connections between subsequent impressions that a system makes on one if one interacts with it repeatedly, i.e., if one makes repeated measurements on it.^{1}
The theory should thus be able to answer questions of the form: “given that I observed event x at time t_{1}, how likely is it that I will observe event y at a later time t_{2}?” Mathematically speaking, such a question is answered by specifying conditional probability distributions p(y∣x). In situations where a user of the theory does not have enough information to uniquely determine p(y∣x) (e.g., some other agent could intervene in an unknown way), the theory should be able to provide a list of all the information, which, if it were known, would determine p(y∣x). For lack of a better alternative, the user of the theory can subjectively assign their best guess for a probability distribution over these unknown variables, which in turn allows to compute p(y∣x). On that note, a recent work about the emergence of physical laws is based on the idea that the primary purpose of such laws is to give the conditional probability distributions relating events perceived by an observer at two subsequent times^{28}.
In the context of the Wigner’s friend thought experiment, we are thus interested in the friend’s question: “given that I saw outcome f_{1} at time t_{1}, what is the probability (attributed by using quantum theory) that I will see outcome f_{2} at time t_{2}?” We assume that quantum mechanics is empirically adequate and is able to answer this question by providing a conditional probability distribution p(f_{2}∣f_{1}). Moreover, note that (unitary) quantum theory also prescribes how to assign a probability for observations at a single time (onetime probabilities) p(f_{1}) by Eq. (4). It is worth stressing that onetime probabilities are fundamentally also themselves conditional probabilities, namely, conditioned on all the possible past events that can influence the probability of the event that we are trying to predict. Given these elements, the standard axiomatization of probability theory allows the definition of a joint probability distribution through the identity p(f_{1}, f_{2}) = p(f_{1}∣f_{2})p(f_{2}). Thus, any theory that, like quantum mechanics, prescribes rules to assign onetime probabilities and conditional probabilities automatically allows to assign joint probability distributions. However, as we will see, such a joint probability distribution cannot simultaneously fulfill three seemingly natural assumptions in a Wigner’s friend scenario.
Nogo theorem for the persistent reality of Wigner’s friend’s perception
We now formulate a formal nogo theorem which shows that in Wigner’s friend scenarios, the friend cannot treat her perceived measurement outcome as having “reality across multiple times” without contradicting what might appear to be core assumptions of quantum mechanics. Consider the following assumptions:

P1 The events f_{1} and f_{2}, corresponding to the perceived measurement records of the friend at times t_{1} and t_{2}, respectively, can be combined into a joint event to which is assigned a probability distribution p(f_{1}, f_{2}). Moreover, the rules of the probability calculus imply that \(p({f}_{1})={\sum }_{{f}_{2}}p({f}_{1},{f}_{2})\) and \(p({f}_{2})={\sum }_{{f}_{1}}p({f}_{1},{f}_{2})\).

P2 Onetime probabilities are assigned without resorting to the stateupdate rule (i.e., using unitary quantum theory, where no “collapse” is considered to occur). Thus, when the initial state of the qubit is \({\left\psi \right\rangle }_{{\rm{S}}}\),
$$p({f}_{i})={\rm{tr}}(\left{f}_{i}\right\rangle {\left\langle {f}_{i}\right}_{{\rm{F}}}\left{{\Psi }}({t}_{i})\right\rangle \left\langle {{\Psi }}({t}_{i})\right),$$(6)with \(\left{{\Psi }}({t}_{i})\right\rangle\) being the unitarily evolved global state according to Eqs. (2) and (3).

P3 The joint probability of the friend’s perceived outcomes p(f_{1}, f_{2}) has a convex linear dependence on the initial state ρ_{S} of the system qubit.
We will motivate these assumptions in more detail in “Motivation of the assumptions.” We now show that these assumptions lead to a contradiction when applied to the friend in a Wigner’s friend scenario.
Theorem III.1 The conjunction of the assumptions P1–P3 cannot be satisfied for the Wigner’s friend thought experiment for a general choice of Wigner’s measurement basis.
Proof Define the isometries \({V}_{i}:{{\mathcal{H}}}_{{\rm{S}}}\to {{\mathcal{H}}}_{{\rm{S}}}\otimes {{\mathcal{H}}}_{{\rm{F}}}\otimes {{\mathcal{H}}}_{{\rm{W}}}\), i = 1, 2 mapping the initial state of the spin \({\left\psi \right\rangle }_{{\rm{S}}}\) to the corresponding state at time t_{i} as \({V}_{i}{\left\psi \right\rangle }_{{\rm{S}}}={\left{{\Psi }}({t}_{i})\right\rangle }_{{\rm{SFW}}}\). Using Eqs. (2) and (3), these are found to be
where \(\left{\phi }_{1}\right\rangle := a\left\uparrow \right\rangle +b\left\downarrow \right\rangle\) and \(\left{\phi }_{2}\right\rangle := {b}^{* }\left\uparrow \right\rangle {a}^{* }\left\downarrow \right\rangle\).
By P2 (and using P3 to extend to mixed states) we have
where we define \({E}_{{f}_{1}}^{1}:= {V}_{1}^{\dagger }(\left{f}_{1}\right\rangle {\left\langle {f}_{1}\right}_{{\rm{F}}}\otimes {{\Bbb{I}}}_{{\rm{SW}}}){V}_{1}\), which can be understood as the “Heisenberg picture” operator (this is not exactly the textbook Heisenberg picture, because V_{1} is an isometry and not a unitary) corresponding to measuring \(\left{f}_{1}\right\rangle \left\langle {f}_{1}\right\) at time t_{1}. It is easily checked that \({E}_{{f}_{1}}^{1}\) is a positive operator on \({{\mathcal{H}}}_{{\rm{S}}}\) and that \({\sum }_{{f}_{1}}{E}_{{f}_{1}}^{1}={{\Bbb{I}}}_{S}\). Therefore, \(\{{E}_{{f}_{1}}^{1}\}\) is a positive operatorvalued measure (POVM). Similarly, we have
The calculation of the POVM elements yields
and
Assumptions P1 and P3 imply that there exists a joint POVM \(\{{G}_{{f}_{1}{f}_{2}}\}\) such that
and requiring that the marginals obey P2 for all states means that \({\sum }_{{f}_{1}}{G}_{{f}_{1}{f}_{2}}={E}_{{f}_{1}}^{1}\) and \({\sum }_{{f}_{2}}{G}_{{f}_{1}{f}_{2}}={E}_{{f}_{2}}^{2}\). When there exists such a \(\{{G}_{{f}_{1}{f}_{2}}\}\), the POVMs \(\{{E}_{{f}_{1}}^{1}\}\) and \(\{{E}_{{f}_{2}}^{2}\}\) are called jointly measurable. If (at least) one of the two POVM’s considered is sharp, then joint measurability is equivalent to commutativity, and there is a unique joint observable \({G}_{{f}_{1}{f}_{2}}={E}_{{f}_{1}}^{1}{E}_{{f}_{2}}^{2}\) with the correct marginals^{29}. Since we are considering twooutcome POVMs, and since E^{1} given by Eqs. (12) and (13) is sharp, joint measurability is equivalent to \([{E}_{U}^{1},{E}_{U}^{2}]=0\). Direct calculation yields
Thus, these two POVMs are not jointly measurable for general choices of a, b, which concludes the proof. □
In the following, we make some conceptual remarks about the proof of the above theorem. Even though our proof uses the language of joint measurability, due to a formal equivalence with that problem, the physical interpretation of joint measurability is different in our scenario. Indeed, joint measurability usually refers to the possibility to “simultaneously” measure two POVMs via a third joint POVM. Two nonjointly measurable POVMs can nevertheless be measured sequentially, one after the other, but the first measurement will generally disturb the state which is the input to the second measurement. In our Wigner’s friend scenario, we are likewise considering measurement operators that correspond to observed outcomes at two subsequent times. However, assumption P2 implies Eq. (11), where ρ is not affected by the measurement at t_{1}. Thus, imposing P2 leads to a bypassing of the standard informationdisturbance relations^{30} and to a contradiction with assumptions P1 and P3.
Furthermore, note that it is not essential for Wigner to perform any measurement in order to derive a nogo result. Indeed, Wigner could instead perform a “Hadamard” unitary \(\left\uparrow ,U\right\rangle \mapsto \frac{1}{\sqrt{2}}(\left\uparrow ,U\right\rangle +\left\downarrow ,D\right\rangle )\), \(\left\downarrow ,D\right\rangle \mapsto \frac{1}{\sqrt{2}}(\left\uparrow ,U\right\rangle \left\downarrow ,D\right\rangle )\), and the same theorem would follow after making the necessary modifications for the state \(\left{{\Psi }}({t}_{2})\right\rangle\).
Discussion
Motivation of the assumptions
We attempt here to motivate each of the assumptions of our nogo theorem. We can only offer plausibility arguments, since, as we have already shown, these assumptions cannot in general all hold true in quantum mechanics. It should also be noted that the assumptions are not logically independent: for example, one cannot hold P3 without at the same time assuming P1.
As discussed in sections “Wigner’s friend thought experiment” and “Probability assignments in a scientific theory”, P1 is motivated by the requirement that quantum theory—as any other predictive theory—should provide us with conditional probability distributions for the friend’s perceptions before and after Wigner’s measurement, that is, p(f_{2}∣f_{1}), and P2 provides single time probabilities for the friend’s perception: \(p({f}_{1})={\rm{tr}}({f}_{1}\rangle {\langle {f}_{1}}_{{\rm{F}}}{{\Psi }}({t}_{1})\rangle \langle {{\Psi }}({t}_{1}))\) and \(p({f}_{2})={\rm{tr}}({f}_{2}\rangle {\langle {f}_{2}}_{{\rm{F}}}{{\Psi }}({t}_{2})\rangle \langle {{\Psi }}({t}_{2}))\). Thus we should in principle be able to construct a joint probability distribution for the friend’s perceived outcomes at two different times, p(f_{1}, f_{2}). Even if one initially only assigns probabilities to events directly perceived by an observer, such as f_{1} and f_{2}, the requirement of predictability for a theory leads us to assign probabilities to the joint event (f_{1}, f_{2}), although this is not a directly perceivable event in its own (arguably, one cannot have direct perceptions about two different times).
Assumption P1 can also be understood as a special case of the general assumption that measurement records are facts of the world^{3}, or of the absoluteness of observed events (AOEs)—the assumption that “an observed event is a real single event, and not relative to anything or anyone”^{9,15}—applied to events f_{1} and f_{2}. It is important to emphasize that the negation of AOE is not necessarily the claim that measurements outcomes are observerdependent. Indeed, the observed events in assumption P1 are all associated with the same observer, and thus P1 is conceptually different from the version of AOE used in deriving another nogo theorem^{9}, which is about joint probability assignments for the measurement outcomes of multiple observers.
P2 can be justified by appealing to the belief that interpretations of quantum mechanics should be empirically equivalent, that is, that they all yield the same experimental predictions. Since P2 definitely holds in certain interpretations, notably in the Everett interpretation^{22}, one should then expect P2 to hold in general. Since P2 can in principle be tested empirically, it is appropriate to regard quantum mechanics with objective collapse^{31} as a different physical theory from unitary quantum mechanics, and not merely a different interpretation^{6}.
Assumption P3 can be understood as a conservative extension of the Born rule—which assigns singletime probabilities linearly in the quantum state—to joint events at multiple times: P3 asks that the joint probabilities for events at multiple times must also depend linearly in the initial quantum state. P3 is true in typical laboratory situations where the usual quantum mechanical stateupdate rule can be used to calculate probabilities. Moreover, P3 can be motivated operationally, in a way that is customary in the context of generalized probabilistic theories^{32,33}. We can imagine that a third agent is preparing the initial state of the system qubit, independently from the friend and Wigner. One might assume that, after fully specifying all relevant details for the friend’s and Wigner’s measurement setups (this includes the measurement basis for both of them, the initial quantum state of the friend, etc.), the probabilities p(f_{1}, f_{2}) only depend on the quantum state ρ_{S}, but not on the way that the state was prepared. Suppose that p_{σ}(f_{1}, f_{2}) and p_{τ}(f_{1}, f_{2}) are the probability distributions when the system state σ or τ is prepared. Since ρ = λσ + (1 − λ)τ can be prepared by tossing a biased coin, which leads to prepare σ with probability λ, and τ otherwise, the linearity of probability implies that p_{ρ}(f_{1}, f_{2}) = λp_{σ}(f_{1}, f_{2}) + (1 − λ)p_{τ}(f_{1}, f_{2}). A further, independent justification for P3, that is, allowing probabilistic mixtures, is that it implies that the optimal compression is equivalent to linear compression^{34,35}. Roughly speaking, upholding P1 while denying P3 amounts to the claim that quantum mechanics is “incomplete,” in the sense that a full specification of the initial state ρ_{S} is not sufficient for computing p(f_{1}, f_{2}). Furthermore, a convincing case against P3 should involve the prescription and justification of a specific nonlinear twotime probability rule; Bohmian mechanics is an example of this strategy, as we discuss further in section “The nogo theorem in different interpretations of quantum mechanics.”
The nogo theorem in different interpretations of quantum mechanics
As mentioned above, strategies for coping with the nogo theorem (Theorem III.1), that is, deciding which of the assumptions one is most likely to drop, will depend on one’s interpretation of the quantum theory. We believe that organizing interpretations according to which of the assumptions they reject can help to give a clearer understanding of the fundamental differences between them. In what follows, we will go through each of the assumptions and for each give examples of a prominent interpretation that would reject it. We do not strive here for exhaustivity, but rather to give an impression of the variety of ways in which our theorem can be understood. In the interest of space, our representation of any interpretation will be rather superficial.

P1 According to our understanding, the Everett (or manyworlds) interepretation^{22,23} denies that it is meaningful to assign a joint probability p(f_{1}, f_{2}) to the friend’s observations at multiple times. This is at least Bell’s diagnostic:
Everett [...] tries to associate each particular branch at the present time with some particular branch at any past time in a treelike structure, in such a way that each representative of an observer has actually lived through the particular past that he remembers. In my opinion this attempt does not succeed and is in any case against the spirit of Everett’s emphasis on memory contents as the important thing. We have no access to the past, but only to present memories.^{36}

In Chapter 7 of his book^{23}, Wallace concludes that there are only two viable candidates for a correct theory of identity (i.e., for what it means to talk about the “same object” at two different times) within the manyworlds interpretation; he calls these candidates the Lewisian view and the Stage view. In the Lewisian view, the identity of an object holds over a period of time within a (decohered) history, while in the Stage view the identity of objects only refers to a single instant in time. When “worlds” are allowed to interfere with each other as in the Wigner’s friends thought experiment, the Lewisian view appears less viable.

Only in situations where a sufficient amount of decoherence is present is it possible to identify “worlds” branching in time, which would allow to meaningfully speak of p(f_{1}, f_{2}). By construction, this is not the case in Wigner’s friend scenario.

Further, note that operational approaches^{3} might only allow for the assignment of probabilities that can in principle be measured by performing many trials of the experiment, or in situations where probability assignments can be related to rational bets. This is not the case for the joint event (f_{1}, f_{2}) here, because in a Wigner’s friend experiment there is no “reliable record” of f_{1} that remains available after time t_{2}.

P2 There are at least two ways that this assumption can be denied: objective collapse of the wave function or subjective collapse of the wave function. In a theory with objective collapse^{31}, not only would P2 be false, but the predictions that Wigner makes using Eq. (3) would be verifiably wrong. In a theory with subjective state assignments such as QBism^{19}, an agent is normatively constrained to use the Born rule for computing probabilities, but the quantum state used for doing so is up to the agent’s good judgment; furthermore, QBism prohibits agents from assigning quantum states to themselves^{20}. Therefore, there can be subjective collapse: the friend would have the right to use the usual stateupdate rule in order to calculate p(f_{2}∣f_{1})—and thus not recover p(f_{2}) according to Eq. (6)—while Wigner uses unitary evolution for his own predictions.

P3 In the de Broglie–Bohm interpretation^{24,25,26}, the memory of the friend has a definite and observerindependent value at all times and P1 holds. Furthermore, it can be proven that Bohmian mechanics recovers the same singletime predictions as unitary quantum mechanics so that P2 holds^{24,25}. Therefore, it must be P3 that fails to hold in that interpretation. Indeed, it is known in the context of doubleslit interference that the Bohmian guidance equation is nonlinear in the density operator^{37,38}. It would be interesting for future work to calculate p(f_{1}, f_{2}) for this experiment within a Bohmian description.
The (non)persistence of memory in special cases
Theorem III.1 has been derived by assuming that in Wigner’s choice of measurement basis, the parameters a, b are arbitrary. However, from Eq. (17) it is easy to see which particular choices of a, b allow the assumptions P1–P3 to be satisfied. In the following, we compute p(f_{1}, f_{2}) for these special cases. We shall see (point 2 below) that assumptions P1–P3 can lead to counterintuitive conclusions about the time evolution of the friend’s memory even in those cases. There are essentially two possibilities that make the commutator in Eq. (17) vanish, which is equivalent to satisfying all three assumptions:

1.
∣a∣ = 1, b = 0. (The case a = 0, ∣b∣ = 1 differs by a relabeling of the basis states.) This corresponds to Wigner performing a measurement of the friend and system in the “computational basis” \(\left1\right\rangle =\left\uparrow ,U\right\rangle\), \(\left2\right\rangle =\left\downarrow ,D\right\rangle\) revealing to him which result the friend observed. In that case the unique probability distribution that satisfies the assumptions of the theorem is \(p({f}_{1},{f}_{2})={\rm{tr}}({E}_{{f}_{1}}^{2}{E}_{{f}_{2}}^{2}\rho )\), with
$${E}_{U}^{1}={E}_{U}^{2}=\left\uparrow \right\rangle \left\langle \uparrow \right$$(18)$${E}_{D}^{1}={E}_{D}^{2}=\left\downarrow \right\rangle \left\langle \downarrow \right.$$(19)It is easy to verify that \(p({f}_{2} {f}_{1})={\delta }_{{f}_{1}{f}_{2}}\), which means that the friends memory of the outcome is perfectly preserved.

2.
\( a{ }^{2}= b{ }^{2}=\frac{1}{2}\). This corresponds to Wigner performing a measurement in the “Bell basis,” for example, \(\left1\right\rangle =\frac{1}{\sqrt{2}}(\left\uparrow ,U\right\rangle +\left\downarrow ,D\right\rangle )\), \(\left2\right\rangle =\frac{1}{\sqrt{2}}(\left\uparrow ,U\right\rangle \left\downarrow ,D\right\rangle )\). Here again we restrict our analysis to only two out of the four “Bell’s states” that are physically relevant in the described scenario. Equations (14) and (15) show that the relative phases do not matter, so it suffices to consider this example. We have in this case \(p({f}_{1},{f}_{2})={\rm{tr}}({E}_{{f}_{1}}^{1}{E}_{{f}_{2}}^{2}\rho )\), with
$${E}_{U}^{1}=\left\uparrow \right\rangle \left\langle \uparrow \right$$(20)$${E}_{D}^{1}=\left\downarrow \right\rangle \left\langle \downarrow \right$$(21)$${E}_{U}^{2}={E}_{D}^{2}=\frac{{\mathbb{I}}}{2},$$(22)and one can check that \(p({f}_{2} {f}_{1})=\frac{1}{2}\). This means that the friend’s memory gets flipped with probability \(\frac{1}{2}\), independently of the initial state ρ. This is particularly surprising in the case where the initial state is \(\left\psi \right\rangle =\frac{1}{\sqrt{2}}(\left\uparrow \right\rangle +\left\downarrow \right\rangle )\), because in that case Wigner performs a nondisturbance measurement^{12,13}. This means that the joint state of the friend and system \(\left{{\Psi }}({t}_{1})\right\rangle\) is actually an eigenstate of Wigner’s measurement. One might expect that, in this case, since the quantum state is not changed by Wigner’s measurement, the friend’s perceived result should remained unchanged as well; this is implicitly assumed in most discussions on the Wigner’s friend thought experiment (and sometimes explicitly^{13}). However, this conflicts with the assumption of quantum mechanical linearity of probabilities: if p(f_{1}, f_{2}) is linear in ρ, the friend’s perceived outcome must get flipped with probability \(\frac{1}{2}\), indepently of ρ.
Conclusion
From the point of view of Wigner, assuming that the friend’s memory has a (unknown but definite) value is akin to assuming a hiddenvariable model. Belltype arguments involving two Wigners and two friends^{3,4,9} have shown that if we further make a locality assumption on that hiddenvariable model, it will not be possible to reproduce the quantum mechanical predictions. In this paper, we have shown that even from the friend’s perspective, treating the memory of her measurement outcome as having a value throughout the experiment is in conflict with important features of quantum mechanics. More precisely, we have shown that it is not possible to assign a joint probability to her observed outcomes at two different times of the thought experiment, in a way that is compatible with unitary marginal probabilities and with the linear dependence of quantum mechanical probabilities on quantum states.
How to understand this theorem will depend on one’s interpretation of quantum mechanics, but it seems that interesting lessons can be drawn from various interpretational points of view. Many popular interpretations (excluding hiddenvariable interpretations like Bohmian mechanics) implicitly satisfy the principle that legitimate probability assignments should depend linearly on the initial quantum state. It appears in light of our theorem that the consequence of such a commitment is that one must in general either prohibit the use of present information to predict the future (drastically scaling down the predictive power of quantum theory) or deny that unitary quantum mechanics makes valid singletime predictions on all scales. That such a radical conclusion is necessary in general does not affect the fact that for all practical purposes, that is, in normal conditions when sufficient amounts of decoherence are present, one can continue to successfully use present information for predictions.
Our results might also raise interesting questions about the persistence of identity for the friend. If it is not possible for the friend to use the Born rule—or any other rule linear in the quantum state of the system—to assign a joint probability distribution to her observed outcomes before and after Wigner’s measurement, then to what extent can the friend at these two different times be considered the same agent? It is conceivable, although counterintuitive, that the friend at t_{1} and the friend at t_{2} should be legitimately considered to be two distinct agents. Conceptually speaking, this would be a costly conclusion to make in general, since these “two agents” share many common memories about their past. In that case, one could reach similar conclusions to the ones of Cavalcanti^{15}, and say that the friend’s outcome at t_{2} is not an event from the point of view of the friend at t_{1}, and vice versa.
References
Wigner, E. P. Remarks on the MindBody Question, 247–260 (Springer, 1995).
Deutsch, D. Quantum theory as a universal physical theory. Int. J. Theoret. Phys. 24, 1–41 (1985).
Brukner, Č. in Quantum [Un]Speakables II: Half a Century of Bell’s Theorem (eds Bertlmann, R. & Zeilinger, A.) 95–117 (International Publishing, Springer 2017).
Brukner, Č. A nogo theorem for observerindependent facts. Entropy 20, 350 (2018).
Relaño, A. Decoherence allows quantum theory to describe the use of itself. Preprint at http://arxiv.org/abs/1810.07065 (2018).
Baumann, V. & Wolf, S. On formalisms and interpretations. Quantum 2, 99 (2018).
Healey, R. Quantum theory and the limits of objectivity. Found. Phys 48, 1568–1589 (2018).
Nurgalieva, N. & del Rio, L. Inadequacy of modal logic in quantum settings. EPTCS 287, 267–297 (2019).
Bong, K.W. et al. A strong nogo theorem on the Wigner’s friend paradox. Nat. Phys. 16, 1199–1205 (2020).
Sudbery, A. The hidden assumptions of Frauchiger and Renner. Int. J. Quant. Found. 5, 98–109 (2019).
Baumann, V., Del Santo, F. & Brukner, Č. Comment on Healey’s “Quantum Theory and the Limits of Objectivity”. Found. Phys. 49, 741–749 (2019).
Baumann, V. et al. Generalized probability rules from a timeless formulation of Wigner’s friend scenarios. Preprint at http://arxiv.org/abs/1911.09696 (2019).
Baumann, V. & Brukner, Č. in Quantum, Probability, Logic (eds Hemmo, M. & Shenker, O.) 91–99 (Springer, 2020).
Bub, J. in Quantum, Probability, Logic, 199–215 (Springer, 2020).
Cavalcanti, E. G. The view from a Wigner bubble. Found. Phys. 51, 39 (2021).
Proietti, M. et al. Experimental test of local observer independence. Sci. Adv 5, eaaw9832 (2019).
Żukowski, M. & Markiewicz, M. Physics and Metaphysics of Wigner’s Friends: even performed premeasurements have no results. Phys. Rev. Lett. 126, 130402 (2021).
Frauchiger, D. & Renner, R. Quantum theory cannot consistently describe the use of itself. Nat. Commun. 9, 3711 (2018).
Fuchs, C. A. QBism, the perimeter of quantum Bayesianism. Preprint at http://arxiv.org/abs/1003.5209 (2010).
DeBrota, J. B., Fuchs, C. A. & Schack, R. Respecting one’s fellow: QBism’s analysis of Wigner’s friend. Found Phys. 50, 1859–1874 (2020).
Aaronson, S. It’s hard to think when someone Hadamards your brain. https://www.scottaaronson.com/blog/?p=3975 (2018).
Everett, H. “Relative State” formulation of quantum mechanics. Rev. Mod. Phys. 29, 454–462 (1957).
Wallace, D. The Emergent Multiverse: Quantum Theory According to the Everett Interpretation (OUP Oxford, 2012).
Bohm, D. A suggested interpretation of the quantum theory in terms of “Hidden” variables. I. Phys. Rev. 85, 166–179 (1952).
Bohm, D. A suggested interpretation of the Quantum Theory in terms of “Hidden” variables. II. Phys. Rev. 85, 180–193 (1952).
Dürr, D. & Teufel, S. in Bohmian Mechanics, 145–171 (Springer, 2009).
Page, D. N. & Wootters, W. K. Evolution without evolution: dynamics described by stationary observables. Phys. Rev. D 27, 2885–2892 (1983).
Müller, M. P. Law without law: from observer states to physics via algorithmic information theory. Quantum 4, 301 (2020).
Heinosaari, T., Reitzner, D. & Stano, P. Notes on joint measurability of quantum observables. Found. Phys. 38, 1133–1147 (2008).
Busch, P. in Quantum Reality, Relativistic Causality, and Closing the Epistemic Circle, Vol. 73 of The Western Ontario Series in Philosophy of Science, 229–256 (Springer, 2009).
Bassi, A., Lochan, K., Satin, S., Singh, T. P. & Ulbricht, H. Models of wavefunction collapse, underlying theories, and experimental tests. Rev. Mod. Phys. 85, 471–527 (2013).
Hardy, L. Quantum theory from five reasonable axioms. Preprint at http://arxiv.org/abs/quantph/0101012 (2001).
Barrett, J. Information processing in generalized probabilistic theories. Phys. Rev. A 75, 032304 (2007).
Hardy, L. Foliable operational structures for general probabilistic theories. In Deep Beauty: Understanding the Quantum World through Mathematical Innovation (ed. Halvorson, H.) Ch. 11, pp. 409–442 (Cambridge University Press, 2011).
Hardy, L. Reformulating and reconstructing Quantum Theory. Preprint at http://arxiv.org/abs/1104.2066 (2011).
Bell, J. S. in Speakable and Unspeakable in Quantum Mechanics: Collected Papers on Quantum Philosophy, 2nd edn, 93–99 (Cambridge Univ. Press, 2004).
Bell, J. S. in Speakable and Unspeakable in Quantum Mechanics: Collected Papers on Quantum Philosophy, 2nd edn, 111–116 (Cambridge Univ. Press, 2004).
Luis, A. & Sanz, Á. S. What dynamics can be expected for mixed states in twoslit experiments? Ann. Phys. 357, 95–107 (2015).
Acknowledgements
We thank Mateus Araújo for comments on a previous version of the manuscript. V.B. acknowledges support from CoQuS, Vienna Doctoral School (VDS), and the QUOPROB project (no. I 2906G24) of the Austrian Science Fund (FWF). F.D.S. acknowledges the financial support through a DOC Fellowship of the Austrian Academy of Sciences (OAW). We acknowledge the support of the Austrian Science Fund (FWF) through the SFB project “BeyondC,” a grant from the Foundational Questions Institute (FQXi) Fund and a grant from the John Templeton Foundation (Project No. 61466) as part of the Quantum Information Structure of Spacetime (QISS) Project (qiss.fr). The opinions expressed in this publication are those of the authors and do not necessarily reflect the views of the John Templeton Foundation. Research at Perimeter Institute is supported, in part, by the Government of Canada through the Department of Innovation, Science and Economic Development Canada and by the Province of Ontario through the Ministry of Colleges and Universities.
Author information
Authors and Affiliations
Contributions
P.A.G., V.B., F.D.S., and C.B. were involved in discussions of the assumptions and of the meaning of the results. P.A.G. proved the nogo theorem, with significant input from V.B., F.D.S., and C.B. The manuscript was written by P.A.G., V.B., F.D.S., and C.B.
Corresponding author
Ethics declarations
Competing interests
The authors declare no competing interests.
Additional information
Publisher’s note Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Supplementary information
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as 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. The images or other third party material in this article are included in the article’s Creative Commons license, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons license and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Allard Guérin, P., Baumann, V., Del Santo, F. et al. A nogo theorem for the persistent reality of Wigner’s friend’s perception. Commun Phys 4, 93 (2021). https://doi.org/10.1038/s42005021005891
Received:
Accepted:
Published:
DOI: https://doi.org/10.1038/s42005021005891
This article is cited by
Comments
By submitting a comment you agree to abide by our Terms and Community Guidelines. If you find something abusive or that does not comply with our terms or guidelines please flag it as inappropriate.