Review of D. Frauchiger and R. Renner, Quantum theory cannot consistently describe the use of Itself, Nature Communications 9 (1), 3711 (2018).
Summary:
For the purpose of inquiring whether
quantum theory has universal validity, Frauchiger and Renner (FR) [1] present an interesting thought experiment which features
agents who are themselves assuming unitary
theory for all closed system evolution including the possibility of other
agents within any particular closed system. As well, each agent applies Born’s
rule but only when a particular agent directly performs the measurement, i.e.
if an agent is observing a closed system that includes other agents, he does
not utilize Born’s rule for measurements that have been performed by other
agents internal to the closed system.
FR summarize the thought experiment as a no-go theorem which asserts that the following three assumptions about quantum measurement, {(Q), (C) and (S)}, cannot all be valid: (Q), that quantum theory (supplemented with Born’s rule for measurement outcomes) is universally valid; (C), that there is consistency among the predictions of all agents; (S) that there is only a single measurement outcome for any particular measurement by an agent. They also discuss the status of the three assumptions both for (1) various interpretations of quantum mechanics and (2) various physical measurement models which modify quantum mechanics. The organization of the discussion in FR is quite diffuse, meandering and unnecessarily difficult to follow. We attempt to succinctly explain the protocol below.
The protocol involves two isolated
labs, and
, occupied and operated by the agents
and
, respectively. A spin 1/2 particle, whose state is
determined by a quantum coin
that can be either heads or tails, is flipped
in lab
with initial state that is unitarily predicted to be
.
If the result of the coin according to
is heads,
prepares a spin ½ particle in state
, and if tails,
prepares the state
. The spin particle is then handed over to agent
who
performs a measurement in the basis
. Subsequently the
entire labs
and
are measured by two agents
and
situated outside of the labs. Now, we define
, and
.
The measurements of
include the projections defined via
and its
orthogonal vector given by
and measurements
in
include projections defined via
and the orthogonal
vector
. An example of a measurement projector is
.
When one unitarily evolves the two laboratory states, it can be shown that the evolved state is given by:
In the case that a measurement is then
made by in the basis defined by ok and fail and
and
when made by
it can be seen that the
probability that
will occur is
. In the cases
that
result
is lead to interpret the
outcome of
that
observed
. This
can be seen because the unitarily predicted state after
receives the spin
from
is given by
.
Since it can be seen that
is orthogonal to
, the probability is zero that the state
of the spin could have been down conditioned on
measuring
. Hence
concludes that the spin must have
been up which can only occur if
had tossed a tail. On the other hand, when
measures
it means that the state of the particle could not have been
as this is orthogonal to
. Hence
concludes that
had tossed a head. So
there is an inconsistency which contradicts Assumption (C) and
will arrive
at contradictory measurement outcomes if one simultaneously accepts (Q) and (C)
for measurements that satisfy (S).
Strengths:
The innovation of the FR paper is
having two entangled friend-agents and
, operating in isolated
labs who are each observed by Wigner-agents
and
respectively.
It is by leveraging the Hardy [2] and Wigner’s Friend [3] features that FR are able to demonstrate the no-go theorem
for inconsistency by examining the viewpoints of the four agents, who each have
access to different pieces of information. This allows one to see a sharp contradiction
when
measure
respectively.
The authors also examine the various theories and quantum interpretations in light of their result including many worlds, Copenhagen, Bohm’s theory, consistent histories, Qbism. and several others. FR recognize that there is a difference between (1) physical measurement theories which modify quantum mechanics and (2) interpretations of quantum mechanics which propose interpretations of the current incomplete von Neumann postulates that presuppose measurement has occurred, but do not tell us the reasons nor the conditions that measurement occurs. They discuss the status of their three assumptions for both (1) and (2). In [4, p. 92] we had designated such theories as addressing (1) the physical measurement problem, in contrast to (2) the philosophers’ measurement problem.
Weaknesses:
The form of the paper is certainly not the most concise and useful way of presenting these results to a reader. Definitions are scattered in boxes and tables throughout the paper and awkward notation is used. The presentation could definitely be streamlined and clarified considerably.
FR have not shown the specific origin of their no-go effect but only state generally that assumptions {(Q), (C) and (S)} cannot all be valid and are not able to further localize the problem.
Although they use the structure of Wigner’s Friend to circumvent the counterfactual issues of Hardy’s paradox, FR do not discuss the possible role of consciousness, which was central to Wigner’s Friend, in their protocol. In particular, whether the specific aspects of whether or not consciousness is sufficient versus being necessary for measurement. However, the agents in FR are described as being able to use information to infer conclusions
The agents may now obtain further statements by reasoning about how they would reason from the viewpoint of other agents.
However, the nature of this reasoning is not discussed despite this being portrayed as an automated process:
One may thus think of the agents as computers that, in addition to carrying out the steps of Box 1, are programmed to draw conclusions according to a given set of rules.
The implication is that the agents never make any choices and their measurements are always the same within the protocol. However, the basis of the agents’ abilities to make inferences is never made clear and it is simply stated that they do this in a way consistent with the assumptions {(Q), (C) and (S)}. We examine this issue further in the next section.
The
authors comment that quantum computers, motivated usually by applications in
computing, may help us answering questions in fundamental research. However,
employing a quantum computer in the place of and
will by
definition only result in the unitary prediction of
,
occurring with
probability 1/12. We see no reason to employ a quantum computer to confirm a
result already known by definition. The
point is that in order to deviate from the unitary prediction, one must
incorporate a bona fide detector somewhere inside the laboratories that
functions non-unitarily. There is no
distinction in the two postulates of von Neumann between the conditions whereby
a set of particles evolve unitarily versus when they constitute a bona fide
measurement device. This is why quantum theory in its current form is
incomplete! The determination of the set of conditions under which a set of
particles is a bona fide detector is at the heart of the physical measurement
problem we define in [4, Ch. 4].
Their analysis of the predictions of Bohm’s theory for their theory also is claimed to be incorrect [5].
Incorporation of Conscious Wigner’s Friends:
Wigner had explored the role of consciousness in measurement by supplementing the well-known example of Schrödinger’s Cat with a conscious friend substituting for the Cat and
initially prepared in a superposition with a qubit. Following Schrödinger evolution, the friend and qubit arrive at the final state
+
. If Wigner asked the friend what he observed,
would reply that the spin is in either the
or
state with the appropriate probability according to Born’s rule. However, Wigner makes the argument that it is not necessary for Wigner to ask his friend what he saw in order to conclude that the total state is either
or
. It is only necessary to know that the friend has observed the system since
is a conscious system. Wigner argued that interaction of a quantum system with a conscious observer is a sufficient condition for measurement but has not yet been established as a necessary condition. We now consider when the conscious agents
and
are friends of
and
and assume, as in the original argument, that
and
invoke the measurement postulate regarding any measurements that are made by
and
[3].
Initially a quantum coin is unitarily flipped into a superposition of heads and tails. But the flipped coin is observed by conscious observer who then prepares either
with probability 1/3 or
with probability 2/3 if the coin were observed to be heads and tails, respectively. The spin is then given to
who measures it in the basis
. This leads to the coin and spin being in the proper mixture of states
,
, and
, with probabilities 1/3, 1/3, 1/3 respectively. Let heads and spin up correspond to the vector
and tails and spin down to the vector
, where
represents the transpose of x. It can be seen that the proper density matrix
before the measurement by
is given by
or
The last step is to subject to measurements by
, respectively. As
these measurements commute, one can compute the result either one after
another, or simultaneously in
. Now, the probability of
observing the
result that corresponds to
is given by
since the projectors are Hermitian idempotent matrices. More generally, one can
compute the probability vector
.
For the case when the agents are bona
fide measurement devices,
For the
case when the agents are unitary, it can
be seen from the previously unitarily derived
that
Note that in both cases, the
probability of the result being
is greater
than zero; the main difference between the two is that the probability vectors
are different as the unitary case exhibits quantum interference that has been
otherwise extinguished by the conscious observers in the case when bona fide
measurement devices are employed within
. In the case of
conscious observers, the probability of ¼ makes intuitive sense to
and
because both the coin and the spin are expected to be in
a product state; hence for
there is no preference for
as compared with
. As this similarly holds for
when
measuring in the basis defined by
,
and
, it makes sense that the four
possible outcomes will occur with equal probability, i.e. ¼ for the case
On the other hand, 1/12 would be wrong if
,
were conscious
and therefore bona fide measurement devices.
Relationship of FR with other proofs of inconsistency:
There have been a number of papers that have been previously published that indicate or claim inconsistency of the two postulates of quantum mechanics, not least of all Schrödinger’s original cat paper [6] in 1935. In our book, we have published results which also address the inconsistency of the two postulates [4, Ch. 3] within a similar framework and which incorporates the distinction between what we define as the physical measurement problem and the philosopher’s measurement problem. In particular, we demonstrated that unitary evolution can be experimentally distinguished from measurement and developed specific unitary versus measurement discrimination tests (UMDT) using both Bell’s inequalities and Steering inequalities.
When extended to include conscious agents, the FR protocol is in fact a UMDT similar to, but not quite the same, as our own in [4, Ch. 3]. One of the reasons that we constructed our UMDT was to show the incompleteness of the current postulates of quantum mechanics whereas the FR rationale was to demonstrate inconsistency. We also utilized our UMDT to analyze the various interpretations and approaches to resolving the measurement problem [4, Ch.4], which also appears in the FR paper. Another difference between our UMDT and the extended-FR UMDT is that in our case the two detectors, or equivalently laboratories, are space-time separated and become instantaneously entangled at-a-distance. On the other hand, FR requires that a spin be passed between laboratories. We desire the space-time separation to show unequivocally that it is not possible that there are influences between the two detectors or laboratories. That is, there are no “loopholes” that could be used to contradict the main point of the incompleteness.
Conclusions:
This paper strikingly shows why there is an inconsistency. FR conclude that it is possible for one agent to observe a particular measurement outcome while also concluding that another agent has used quantum theory to predict the opposite outcome with certainty. As a result, they contend that the current two postulates of quantum theory cannot be extended to all systems arbitrarily without encountering inconsistencies. Overall, we strongly agree that the identification that all closed systems evolve unitary is inconsistent with the measurement postulate. Although this is true, if one removes the requirement that closed systems evolve unitarily, it becomes clear that unitary evolution and the Born rule are only incomplete rather than inconsistent. This is because these two modes were meant, at least by Bohr, to be complementary in that the measurement postulate is applicable in situations when a bona fide detector is utilized, whereas the unitary postulate is applicable in other situations. And this is precisely why further progress is needed: to work towards completion of quantum theory and determine the conditions and physics for which systems function non-unitarily as measurement devices, which corresponds to the physical measurement problem defined in [4, Ch. 4].
[1] D. Frauchiger and R. Renner, “Quantum theory cannot consistently describe the use of itself,” Nat. Commun., vol. 9, no. 1, p. 3711, 2018.
[2] L. Hardy, “Quantum mechanics, local realistic theories, and Lorentz-invariant realistic theories,” Phys. Rev. Lett., vol. 68, no. 20, pp. 2981–2984, May 1992.
[3] E. P. Wigner, “Remarks on the Mind-Body Question .” Springer Berlin Heidelberg, Berlin, Heidelberg, pp. 247–260, 1995.
[4] M. Steiner and R. Rendell, The Quantum Measurement Problem. Inspire Institute, 2018.
[5] D. Lazarovici and M. Hubert, “How Quantum Mechanics can consistently describe the use of itself,” Sci. Rep., vol. 9, no. 1, p. 470, Dec. 2019.
[6] E. Schrödinger, “The present situation in quantum mechanics,” Naturwissenshaften (English Transl. Proc. Am. Philos. Soc. vol 124), vol. 23, pp. 802–812, 1935.
One Thought on “Review of D. Frauchiger and R. Renner, Quantum theory cannot consistently describe the use of Itself, Nature Communications 9 (1), 3711 (2018).”