<?xml version="1.0" encoding="UTF-8"?><!DOCTYPE article  PUBLIC "-//NLM//DTD Journal Publishing DTD v3.0 20080202//EN" "http://dtd.nlm.nih.gov/publishing/3.0/journalpublishing3.dtd"><article xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink" dtd-version="3.0" xml:lang="en" article-type="research article"><front><journal-meta><journal-id journal-id-type="publisher-id">JQIS</journal-id><journal-title-group><journal-title>Journal of Quantum Information Science</journal-title></journal-title-group><issn pub-type="epub">2162-5751</issn><publisher><publisher-name>Scientific Research Publishing</publisher-name></publisher></journal-meta><article-meta><article-id pub-id-type="doi">10.4236/jqis.2022.121001</article-id><article-id pub-id-type="publisher-id">JQIS-115389</article-id><article-categories><subj-group subj-group-type="heading"><subject>Articles</subject></subj-group><subj-group subj-group-type="Discipline-v2"><subject>Physics&amp;Mathematics</subject></subj-group></article-categories><title-group><article-title>
 
 
  Making Mistakes Saves the Single Observer’s World of the Extended Wigner’s Friend Experiment
 
</article-title></title-group><contrib-group><contrib contrib-type="author" xlink:type="simple"><name name-style="western"><surname>Szymon</surname><given-names>Łukaszyk</given-names></name><xref ref-type="aff" rid="aff1"><sub>1</sub></xref></contrib></contrib-group><aff id="aff1"><label>1</label><addr-line>&amp;amp;#321;ukaszyk Patent Attorneys, Katowice, Poland</addr-line></aff><pub-date pub-type="epub"><day>22</day><month>02</month><year>2022</year></pub-date><volume>12</volume><issue>01</issue><fpage>1</fpage><lpage>12</lpage><history><date date-type="received"><day>16,</day>	<month>January</month>	<year>2022</year></date><date date-type="rev-recd"><day>20,</day>	<month>February</month>	<year>2022</year>	</date><date date-type="accepted"><day>23,</day>	<month>February</month>	<year>2022</year></date></history><permissions><copyright-statement>&#169; Copyright  2014 by authors and Scientific Research Publishing Inc. </copyright-statement><copyright-year>2014</copyright-year><license><license-p>This work is licensed under the Creative Commons Attribution International License (CC BY). http://creativecommons.org/licenses/by/4.0/</license-p></license></permissions><abstract><p>
 
 
  The Extended Wigner’s Friend thought experiment, comprising a quantum system containing an agent who draws conclusions upon observing the outcome of a measurement of a quantum state prepared in two nonorthogonal versions by another agent, led its authors to conclude that quantum theory cannot consistently describe the use of itself. It has also been proposed that this thought experiment is equivalent to entangled state (Bell-type) experiments. It is argued in this paper that the assumption of the freedom of choice of the first Wigner’s friend regarding how to prepare a quantum state in one of the two available nonorthogonal versions invalidates such equivalence.
 
</p></abstract><kwd-group><kwd>Measurement Problem</kwd><kwd> Wigner’s Friend</kwd><kwd> Bell’s Theorem</kwd><kwd> Observ-er-Independent Facts</kwd><kwd> Quantum Contextuality</kwd><kwd> Freedom of Choice</kwd></kwd-group></article-meta></front><body><sec id="s1"><title>1. Introduction</title><p>The Extended Wigner’s Friend (EWF) thought experiment contains a contradiction, which initially led its authors to give up the view that there is one single world [<xref ref-type="bibr" rid="scirp.115389-ref1">1</xref>], and later to conclude that Quantum Theory (QT) cannot consistently describe the use of itself [<xref ref-type="bibr" rid="scirp.115389-ref2">2</xref>], as the contradiction appeared within a single world. Indeed, many-worlds interpretation of QT has paradoxical features of its own [<xref ref-type="bibr" rid="scirp.115389-ref3">3</xref>] and is not only counterfactually indefinite but also factually indefinite [<xref ref-type="bibr" rid="scirp.115389-ref4">4</xref>]. On the other hand, if QT cannot consistently describe the use of itself, it would be an ultimate theory for the perceived nature, since no consistent system of axioms can demonstrate its own consistency, which is the conclusion of the 2<sup>nd</sup> G&#246;del’s incompleteness theorem, if only the Peano axioms of arithmetic are universally valid (i.e., as long as the perceived nature is subject to these axioms).</p><p>It is, however, questionable how QT is used in the EWF to describe the use of itself. The EWF is allegedly not just a thought experiment. Its authors claim, for example, that if it were implemented as a game between a gambler and a casino, both parties would likely have entered into a dispute, putting forward contradicting assertions based on quantum-mechanical reasoning. These assertions would have to be accepted as two alternative (observer-dependent) facts about what was the result of the first measurement in this thought experiment [<xref ref-type="bibr" rid="scirp.115389-ref2">2</xref>].</p><p>The paper aims to evaluate the prospects of the EWF implementation as a casino game. The feasibility of implementing Bell-Wigner type experiments (e.g., [<xref ref-type="bibr" rid="scirp.115389-ref5">5</xref>] [<xref ref-type="bibr" rid="scirp.115389-ref6">6</xref>] [<xref ref-type="bibr" rid="scirp.115389-ref7">7</xref>] [<xref ref-type="bibr" rid="scirp.115389-ref8">8</xref>] ) involving entangled states, as casino games is also discussed.</p></sec><sec id="s2"><title>2. The EWF with a Super-Observer</title><p>In each round of the EWF, in her sealed lab Alice prepares a first state (a qubit):</p><p>| α 〉 = 1 3 | h 〉 + 2 3 | t 〉 , (1)</p><p>measures it at a certain time t<sub>0</sub> in a basis {|h 〉 , |t 〉 }, records the measurement, and prepares a second state:</p><p>| β 〉 = { | 0 〉 iff | α 〉 = | h 〉 1 2 ( | 0 〉 + | 1 〉 ) = | + 〉 iff | α 〉 = | t 〉 . (2)</p><p>Alice hands then the second state<sup>1</sup> to Bob (2) residing in another sealed lab. At a later time t<sub>1</sub> &gt; t<sub>0</sub>, Bob measures the received second state in a basis {|0 〉 , |1 〉 }. At even later time t<sub>2</sub> &gt; t<sub>1</sub> Charlie measures the first state (1) emitted from Alice’s lab in a first Hadamard basis defined as:</p><p>| □ 〉 ≐ 1 2 ( | h 〉 + | t 〉 ) ,   | ○ 〉 ≐ 1 2 ( | h 〉 − | t 〉 ) , (3)</p><p>and the second state (2) emitted from Bob’s lab in a second Hadamard defined as:</p><p>| + 〉 ≐ 1 2 ( | 0 〉 + | 1 〉 ) ,   | − 〉 ≐ 1 2 ( | 0 〉 − | 1 〉 ) , (4)</p><p>and the round is completed. Since Charlie does not know the measurement results of the first (1) and the second (2) states emitted from Alice’s and Bob’s labs, statistics of Charlie’s measurements of the first state (1) in a large number of rounds of this experiment can be described by the mixed state density matrix:</p><p>ρ α = 1 3 | h 〉 〈 h | + 2 3 | t 〉 〈 t | , (5)</p><p>while statistics of Charlie’s measurements of the second state (2), by the mixed state density matrix:</p><p>ρ β = 1 3 | 0 〉 〈 0 | + 2 3 | + 〉 〈 + | , (6)</p><p>which has purity Tr ( ρ β 2 ) = 7 / 9 larger than purity Tr ( ρ β ′ 2 ) = 5 / 9 of the density matrix:</p><p>ρ β ′ = 2 3 | 0 〉 〈 0 | + 1 3 | 1 〉 〈 1 | , (7)</p><p>that would yield the same measurement probabilities.</p><p>There is nothing contradicting (as nothing is entangled) in this setup. Measurement probabilities for a large number of rounds are nonzero p ( | h 〉 ) = p ( | 1 〉 ) = 1 / 3 , p ( | t 〉 ) = p ( | 0 〉 ) = 2 / 3 ; p ( | □ 〉 ) = p ( | ○ 〉 ) = 1 / 2 ; p ( | + 〉 ) = 5 / 6 , p ( | − 〉 ) = 1 / 6 .</p><p>Due to the principle of locality, however, this kind of thought experiments containing a qubit and someone who measures this qubit contained in a box or a lab isolated from the environment (Schr&#246;dinger’s cat, Wigner’s friend [<xref ref-type="bibr" rid="scirp.115389-ref9">9</xref>], Deutsch’s variant [<xref ref-type="bibr" rid="scirp.115389-ref10">10</xref>], and the EWF) are described as coherent big quantum states of those boxes or labs. In the case of Alice’s lab, for example, this big quantum state is described as a tensor product of the basic quantum state (1), of some device that enables for a measurement of this basic state and finally of Alice herself in her lab including her sense organs, her brain, etc. This indeed seems unrealistic, even if not explicitly precluded by the laws of QT as such. Schr&#246;dinger’s cat has nothing to do with quantum information science, even if the latter can be harnessed to kill the cat. Deutsch’s variant [<xref ref-type="bibr" rid="scirp.115389-ref10">10</xref>], in which a friend informs Wigner that she has a definite measurement result, but does not reveal this result, so as not to accidentally destroy the superposition of the big quantum state from inside of the lab, is particularly instructive.</p><p>Even if the assumptions (Q, C, S) of the EWF do not explicitly include locality [<xref ref-type="bibr" rid="scirp.115389-ref7">7</xref>], locality is used in the EWF [<xref ref-type="bibr" rid="scirp.115389-ref11">11</xref>] to model the enclosed immediate surroundings of the Alice’s and Bob’s labs including Alice and Bob themselves and their actions in space and time, as a coherent, entangled big quantum state that can be defined [<xref ref-type="bibr" rid="scirp.115389-ref12">12</xref>]; by Charlie as:</p><p>| ψ 〉 A B = 1 3 | h 〉 | 0 〉 + 1 3 | t 〉 | 0 〉 + 1 3 | t 〉 | 1 〉 , (8)</p><p>after excluding Alice, Bob and their devices subsystems states whose exact properties do not need to be specified ( [<xref ref-type="bibr" rid="scirp.115389-ref5">5</xref>], p. 16). They correspond to the definite-measurement-result information in Deutsch’s variant [<xref ref-type="bibr" rid="scirp.115389-ref10">10</xref>] of the Wigner’s friend [<xref ref-type="bibr" rid="scirp.115389-ref9">9</xref>] thought experiment, and are the same, regardless of the measurement result. Nonmaximally entangled state (8) shows that unlike Schr&#246;dinger’s cat, Wigner’s friend, or its Deutsch’s variant, only the EWF pretends to be a Bell type experiment.</p><p>In Charlie’s bases {| □ 〉 , |○ 〉 } and {|+ 〉 , |− 〉 } the state (8) is:</p><p>| ψ 〉 C = 9 12 | □ 〉 | + 〉 + 1 12 | □ 〉 | − 〉 − 1 12 | ○ 〉 | + 〉 + 1 12 | ○ 〉 | − 〉 = 9 12 | □ 〉 | + 〉 + 1 12 | □ 〉 | − 〉 − 2 12 | ○ 〉 | 1 〉 (9)</p><p>and in mixed bases {|h 〉 , |t 〉 }, {|+ 〉 , |− 〉 }; {| 〉 〉 , |○ 〉 }, {|0 〉 , |1 〉 } it is:</p><p>| ψ 〉 A C = 1 6 | h 〉 | + 〉 + 1 6 | h 〉 | − 〉 + 4 6 | t 〉 | + 〉 = 1 3 | h 〉 | 0 〉 + 2 3 | t 〉 | + 〉 , (10)</p><p>| ψ 〉 C B = 4 6 | □ 〉 | 0 〉 + 1 6 | □ 〉 | 1 〉 − 1 6 | ○ 〉 | 1 〉 = 2 3 | □ 〉 | 0 〉 + 1 3 | t 〉 | 1 〉 . (11)</p><p>The following simple argumentation used to expose the contradiction of the EWF [<xref ref-type="bibr" rid="scirp.115389-ref12">12</xref>] is similar to the one used in Ref. [<xref ref-type="bibr" rid="scirp.115389-ref13">13</xref>] to illustrate the mystery of the quantum cakes (“a simple ‘real-world’ explanation of the proof of quantum mechanical nonlocality without the use of inequalities”; I will further call it “quantum-cakes explanation”):</p><p>(#1) We know from | ψ 〉 <sub>C</sub> (9) that measurements of |○ 〉 and |− 〉 are possible with probability p = 1/12;</p><p>(#2) We know from | ψ 〉 <sub>AC</sub> (10) that |− 〉 ⇒ |h 〉 <sup>2</sup>;</p><p>(#2’) We know from | ψ 〉 <sub>CB</sub> (11) that |○ 〉 ⇒ |1 〉 ;</p><p>(#3) We know from | ψ 〉 <sub>AB</sub> (8) that |h 〉 ⇒ |0 〉 .</p><p>(In other words |○− 〉 ⇒ |h1 〉 ∩ |h 〉 ⇒ |0 〉 , which is contradicting).</p><p>We note in passing that the state (8) in bases (3), (4) is more symmetric than the oven state and bases used in Ref. [<xref ref-type="bibr" rid="scirp.115389-ref13">13</xref>], and that the concept of time is irrelevant in the quantum-cakes explanation.</p><p>The EWF contradiction is, however, derived in Ref. [<xref ref-type="bibr" rid="scirp.115389-ref2">2</xref>] on the grounds of the following predictions made by Alice, Bob, and Charlie in different times t<sub>0</sub>, t<sub>1</sub>, and t<sub>2</sub> during a happy round of this experiment. Each round goes like this:</p><p>(0) Alice and Bob prepare and/or measure their states (1) and (2) according to the procedure described in the outset, and Charlie measures | ψ 〉 <sub>C</sub>, that describes the big quantum state of both Alice’s and Bob’s labs (at time t<sub>2</sub>);</p><p><inline-formula><inline-graphic xlink:href="/html.scirp.org/file/1-1300344x71.png" xlink:type="simple"/></inline-formula> If Charlie’s measurement result is | □ + 〉 , | □ − 〉 , or |○+ 〉 , the round is completed with no contradiction, and a new round begins;</p><p><inline-formula><inline-graphic xlink:href="/html.scirp.org/file/1-1300344x77.png" xlink:type="simple"/></inline-formula> If Charlie’s measurement result is |○− 〉 , then they have a happy round and</p><p>(A) Alice knows from (2) that |t 〉 (at time t<sub>0</sub>) ⇒ |+ 〉 (at time t<sub>2</sub>);</p><p>(B) Bob knows from (2) that |1 〉 (at time t<sub>1</sub>) ⇒ |t 〉 (at time t<sub>0</sub>);</p><p>(C) Charlie knows from | ψ &gt;<sub>C</sub> (9) that |○ 〉 (at time t<sub>2</sub>) ⇒ |1 〉 (at time t<sub>1</sub>).</p><p>All these four conditions, in a happy round of the EWF, also contradict each other: if <inline-formula><inline-graphic xlink:href="/html.scirp.org/file/1-1300344x86.png" xlink:type="simple"/></inline-formula> then |○ 〉 ⇒ |1 〉 (C), |1 〉 ⇒ |t 〉 (B), and |t 〉 ⇒ |+ 〉 (A) (In other words if <inline-formula><inline-graphic xlink:href="/html.scirp.org/file/1-1300344x93.png" xlink:type="simple"/></inline-formula> then C ⇒ B ∩ B ⇒ A ∩ A ⇒ &#172;C, which is contradicting).</p><p>I will further call this argumentation “superposed-action explanation”. It is grounded on the assumption that Alice’s and Bob’s states (1) and (2) have evolved unitarily to a composite entangled state (8), after Alice handed the second state to Bob.</p></sec><sec id="s3"><title>3. Superposed Action</title><p>Let us have a closer look on how the state (8) could possibly be created using the procedure of the EWF under the standard assumptions of Wigner’s friend thought experiments. Namely, it is assumed that from Charlie’s super-observer perspective, after the state (1) is measured by Alice at time t<sub>0</sub>, it becomes a tensor product:</p><p>| α ( t 0 ) 〉 = 1 3 | h 〉 | Alice knows h 〉 + 2 3 | t 〉 | Alice knows t 〉 . (12)</p><p>For the next stage of the EWF, a usual definition of the</p><p>“Freedom of Choice”. The choice of measurement settings is statistically independent from the rest of the experiment (Statement 3 in the no-go theorem of Ref. [<xref ref-type="bibr" rid="scirp.115389-ref6">6</xref>] ),</p><p>seems, however, insufficient. Probability amplitudes are fixed in all the states and bases of the EWF (they do not need to be chosen in each round of this thought experiment). Therefore, proposed, amended definition is:</p><p>“Freedom of Choice”. Observer’s opportunity and autonomy to prepare a quantum state in one of the two available nonorthogonal versions, wherein that state will be measured later by other observer (s), is statistically independent from the rest of the experiment.</p><p>There is no guarantee that an agent inside the lab will act as expected. And that makes it impossible to derive arguments that implicitly assume that she acts properly and reports valid measurement results.</p><p>We note in passing that such an amended Freedom of Choice assumption is not explicitly made in [<xref ref-type="bibr" rid="scirp.115389-ref2">2</xref>]. It is therefore another hidden assumption of this thought experiment among other hidden assumptions [<xref ref-type="bibr" rid="scirp.115389-ref11">11</xref>].</p><p>Therefore, the following tensor product, corresponding to (12):</p><p>| β ( t 1 ) 〉 ≠ 1 3 | 0 〉 | Bob knows   0,as Alice knew h and prepared &quot; | 0 〉 &quot;at time t 0 〉   + 1 3 | 0 〉 | Bob knows   0,as Alice knew t and prepared &quot; | + 〉 &quot;at time t 0 〉   + 1 3 | 1 〉 | Bob knows   1,as Alice knew t and prepared &quot; | + 〉 &quot;at time t 0 〉 (13)</p><p>cannot be valid for Bob measuring, at time t<sub>1</sub>, the state (2) prepared by Alice at time t<sub>0</sub>, as this would violate Alice’s freedom of choice. The absence of observer-independent measurements [<xref ref-type="bibr" rid="scirp.115389-ref5">5</xref>] [<xref ref-type="bibr" rid="scirp.115389-ref6">6</xref>] allows one to discuss superpositions of observer-dependent measurements (12) of time-independent quantum states, but not to discuss superpositions of observer-dependent and time-dependent observer’s actions (13).</p><p>An action of Alice is relative not only to Alice [<xref ref-type="bibr" rid="scirp.115389-ref5">5</xref>] [<xref ref-type="bibr" rid="scirp.115389-ref6">6</xref>]. It can be observed also by Bob and Charlie.</p><p>Therefore, from Charlie’s super-observer perspective quantum register containing the first qubit (1), and the second state | β 〉 = | 0 〉 or | β 〉 = ( | 0 〉 + | 1 〉 ) / 2 after it was prepared by Alice would initially contain either two separable pure states {|h0 〉 , |t0 〉 } (if Alice measured |h 〉 ):</p><p>| ψ 〉 h 0 = ( 1 3 | h 〉 + 2 3 | t 〉 ) ⊗ | 0 〉 = 1 3 | h 0 〉 + 2 3 | t 0 〉 , (14)</p><p>or four separable pure states {|h0 〉 , |h1 〉 , |t0 〉 , |t1 〉 } (if Alice measured |t 〉 ):</p><p>| ψ 〉 t 01 = ( 1 3 | h 〉 + 2 3 | t 〉 ) ⊗ ( 1 2 | 0 〉 + 1 2 | 1 〉 ) = 1 6 | h 0 〉 + 1 6 | h 1 〉 + 2 6 | t 0 〉 + 2 6 | t 1 〉 (15)</p><p>The reader may be tempted at this point to question the validity of Equations (14) and (15). If the first qubit is measured (by Alice) it retains its state and instead of (14) and (15) we would have respectively |h 〉 |0 〉 or | t 〉 ( | 0 〉 + | 1 〉 ) / 2 = | t 〉 | + 〉 . The point here is that we consider three versions of the EWF. The 1<sup>st</sup> one deals with just two states (1) and (2) that are not entangled and retain their states after measurements. This version is described by density matrices (5), (6) showing no contradiction. The 2<sup>nd</sup> one [<xref ref-type="bibr" rid="scirp.115389-ref1">1</xref>] [<xref ref-type="bibr" rid="scirp.115389-ref2">2</xref>] assumes entanglement of these states along with the content of the Alice’s lab. Although the author considers such an assumption as unrealistic, it is a priori assumed to be correct. However, in this setup Alice’s action must be taken into account, as Bob’s lab cannot be described by the state (13), which leads us to Equations (14), (15), and the 3<sup>rd</sup> version of the EWF.</p><p>In order to affect the unitary evolution of such two different quantum registers to bring them both to the entangled state | ψ 〉 <sub>AB</sub> (8), that would be the same regardless of the initial state | ψ 〉 <sub>h</sub><sub>0</sub> (14) or | ψ 〉 <sub>t</sub><sub>01</sub> (15), Alice must use two different variants of some suitable 4 &#215; 4 unitary matrices.</p><p>If she measures the state (1) as |h 〉 she may use first the following unitary matrix A<sub>h</sub><sub>0</sub>:</p><p>A h 0 | ψ 〉 h 0 = [ 1 3 0 2 3 0 0 1 3 0 − 2 3 2 3 0 − 1 3 0 0 2 3 0 1 3 ] [ 1 3 0 2 3 0 ] = [ 1 0 0 0 ] = | ψ 〉 00 , (16)</p><p>while if she measures the state (1) as |t 〉 she may use first the following unitary matrix A<sub>t</sub><sub>01</sub>:</p><p>A t 01 | ψ 〉 t 01 = [ 1 6 1 6 1 3 1 3 1 3 1 3 − 1 6 − 1 6 − 1 6 1 6 1 3 − 1 3 1 3 − 1 3 1 6 − 1 6 ] [ 1 6 1 6 1 3 1 3 ] = [ 1 0 0 0 ] = | ψ 〉 00 . (17)</p><p>Then she may use the following unitary matrix R:</p><p>R | ψ 〉 00 = [ 1 3 0 1 2 1 6 0 1 0 0 1 3 0 − 1 2 1 6 1 3 0 0 − 2 3 ] [ 1 0 0 0 ] = [ 1 3 0 1 3 1 3 ] = | ψ 〉 A B , (18)</p><p>to receive | ψ 〉 <sub>AB</sub> = R| ψ 〉 <sub>00</sub> from | ψ 〉 <sub>00</sub> = A<sub>h</sub><sub>0</sub>| ψ 〉 <sub>h</sub><sub>0</sub> or | ψ 〉 <sub>00</sub> = A<sub>t</sub><sub>01</sub>| ψ 〉 <sub>t</sub><sub>01</sub>.</p><p>There are obviously infinitely many possibilities of unitary transformations that would bring | ψ 〉 <sub>h</sub><sub>0</sub> or | ψ 〉 <sub>t</sub><sub>01</sub> to | ψ 〉 <sub>AB</sub> (8), as groups of unitary 4 &#215; 4 matrices act transitively on the unit vectors in Hilbert spaces over the complex numbers (4). The above exemplary forms model the evolution of the EWF, provided they are correctly used.</p><p>Indeed, such an approach assumes that in order to arrive at | ψ 〉 <sub>AB</sub> Alice must after recording the outcome of her measurement of the first qubit to be either |h 〉 or |t 〉 act according to this outcome in a manner predefined by (2) by applying an appropriate unitary matrix transformation.</p><p>But what if Alice makes a mistake and applies a “wrong” transformation RA<sub>h</sub><sub>0</sub> or RA<sub>t</sub><sub>01</sub>, respectively to the quantum register | ψ 〉 <sub>t</sub><sub>01</sub> (15) or | ψ 〉 <sub>h</sub><sub>0</sub> (14)?</p><p>Assume, for example, that there is no agent (no Alice) performing the “actual” measurement of the first qubit (1) in Alice’s isolated lab but just some mechanism applying randomly with a probability p matrix transformation RA<sub>h</sub><sub>0</sub> and with the probability (1 − p) matrix transformation RA<sub>t</sub><sub>01</sub> to the initial separable state | ψ 〉 <sub>h</sub><sub>0</sub> or | ψ 〉 <sub>t</sub><sub>01</sub>. <xref ref-type="table" rid="table1">Table 1</xref> lists the results of such a mechanism operation.</p><p>In this scenario the state | ψ 〉 <sub>AB</sub> would be obtained with probability of p / 3 + 2 ( 1 − p ) / 3 = 2 / 3 − p / 3 which has maximum of 2/3 for p = 0. But the following two (at least | ψ 〉 <sub>ABth</sub> for p = 0) different states | ψ 〉 <sub>ABth</sub> and | ψ 〉 <sub>ABht</sub> would also be obtained:</p><p>| ψ 〉 A B t h = 0.847 | h 0 〉 + 0.514 | t 0 〉 − 0.136 | t 1 〉 , (19)</p><p>| ψ 〉 A B h t = 0.680 | h 0 〉 − 0.236 | h 1 〉 + 0.680 | t 0 〉 − 0.136 | t 1 〉 , (20)</p><p>certainly with nonzero probability, if one assumes that Alice has the freedom of</p><table-wrap id="table1" ><label><xref ref-type="table" rid="table1">Table 1</xref></label><caption><title> Random application of composite matrix transformations RA<sub>h0</sub> andRA<sub>t01</sub></title></caption><table><tbody><thead><tr><th align="center" valign="middle" >Initial State</th><th align="center" valign="middle" >Initial State Probability</th><th align="center" valign="middle" >Applied Transformation Probability</th><th align="center" valign="middle" >Applied Transformation and the Resultant State</th><th align="center" valign="middle" >Resultant Probability</th></tr></thead><tr><td align="center" valign="middle"  rowspan="2"  >| ψ 〉 <sub>h</sub><sub>0</sub></td><td align="center" valign="middle"  rowspan="2"  >1/3</td><td align="center" valign="middle" >p</td><td align="center" valign="middle" >RA<sub>h</sub><sub>0</sub>| ψ 〉 <sub>h</sub><sub>0</sub> = | ψ 〉 <sub>AB</sub></td><td align="center" valign="middle" >p/3</td></tr><tr><td align="center" valign="middle" >1 − p</td><td align="center" valign="middle" >RA<sub>t</sub><sub>01</sub>| ψ 〉 <sub>h</sub><sub>0</sub> = | ψ 〉 <sub>ABth</sub></td><td align="center" valign="middle" >(1 − p)/3</td></tr><tr><td align="center" valign="middle"  rowspan="2"  >| ψ 〉 <sub>t</sub><sub>01</sub></td><td align="center" valign="middle"  rowspan="2"  >2/3</td><td align="center" valign="middle" >p</td><td align="center" valign="middle" >RA<sub>h</sub><sub>0</sub>| ψ 〉 <sub>t</sub><sub>01</sub> = | ψ 〉 <sub>ABht</sub></td><td align="center" valign="middle" >2p/3</td></tr><tr><td align="center" valign="middle" >1 − p</td><td align="center" valign="middle" >RA<sub>t</sub><sub>01</sub>| ψ 〉 <sub>t</sub><sub>01</sub> = | ψ 〉 <sub>AB</sub></td><td align="center" valign="middle" >2 (1 − p)/3</td></tr></tbody></table></table-wrap><p>choice in affecting the unitary evolution of the initial state | ψ 〉 <sub>h</sub><sub>0</sub> (14) or | ψ 〉 <sub>t</sub><sub>01</sub> (15). And Alice’s freedom of choice implies her fallibility. These states in mixed bases {|h 〉 , |t 〉 }, {|0 〉 , |1 〉 }; {| □ 〉 , |○ 〉 }, {|+ 〉 , |− 〉 } (3), (4) are for | ψ 〉 <sub>ABth</sub>:</p><p>| ψ 〉 C t h = 0.612 | □ + 〉 + 0.749 | □ − 〉 + 0.235 | ○ + 〉 + 0.099 | ○ − 〉 , (21)</p><p>| ψ 〉 A C t h = 0.599 | h + 〉 + 0.599 | h − 〉 + 0.267 | t + 〉 + 0.460 | t − 〉 , (22)</p><p>| ψ 〉 C B t h = 0.962 | □ 0 〉 + 0.236 | ○ 0 〉 − 0.096 | □ 1 〉 + 0.096 | ○ 1 〉 , (23)</p><p>and for | ψ 〉 <sub>ABht</sub>:</p><p>| ψ 〉 C h t = 0.495 | □ + 〉 + 0.866 | □ − 〉 − 0.050 | ○ + 〉 + 0.050 | ○ − 〉 , (24)</p><p>| ψ 〉 A C h t = 0.315 | h + 〉 + 0.648 | h − 〉 + 0.385 | t + 〉 + 0.577 | t − 〉 , (25)</p><p>| ψ 〉 C B h t = 0.962 | □ 0 〉 − 0.263 | □ 1 〉 − 0.070 | ○ 1 〉 . (26)</p><p>Quantum-cakes-explanation fails both for | ψ 〉 <sub>ABth</sub> and | ψ 〉 <sub>ABht</sub> (* denotes th or ht):</p><p>(#1) We know from | ψ 〉 <sub>C*</sub> (21), (24) that measurements of |○− &gt; are possible;</p><p>(#2) We know from | ψ 〉 <sub>AC*</sub> (22), (25) that |− 〉 ⇏ |h 〉 (unlike | ψ 〉 <sub>AC</sub> (10)).</p><p>Superposed-action explanation also fails, if Alice makes a mistake. Charlie can measure | ψ 〉 <sub>C*</sub> at time t<sub>2</sub> and observe |○− 〉 but Alice’s claim based on (2) that |t 〉 measured at time t<sub>0</sub> implies ( | 0 〉 + | 1 〉 ) / 2 = | + 〉 measured at time t<sub>2</sub> is false merely due to her own mistake. Neither Bob’s claim, also based on (2), that |1 〉 measured at time t<sub>1</sub> implies |t 〉 measured at time t<sub>0</sub> is true.</p><p>Elementary arithmetic shows that any normalized nonmaximally entangled state:</p><p>| ψ 〉 A B = a | h 0 〉 + c | t 0 〉 + d | t 1 〉 , (27)</p><p>measured in the EWF bases is:</p><p>| ψ 〉 C = a + c + d 2 | □ + 〉 + a + c − d 2 | □ − 〉 + a − c − d 2 | ○ + 〉 + a − c + d 2 | ○ − 〉 , (28)</p><p>| ψ 〉 A C = a 2 ( | h + 〉 + | h − 〉 ) + c + d 2 | t + 〉 + c − d 2 | t − 〉 , (29)</p><p>| ψ 〉 C B = a + c 2 | □ 0 〉 + a − c 2 | ○ 0 〉 + d 2 ( | □ 1 〉 − | ○ 1 〉 ) , (30)</p><p>where the normalization constraint (〈 ψ | ψ 〉 = 1) and the surjective isometry constraints: c − d = 0 in (29) to suppress |t− 〉 , and a − c = 0 in (30) to suppress |○0 〉 , imposed to satisfy the conditions (#2), (#2’) of the quantum-cakes explanation, lead to the unique solution of a = c = d with probability amplitude having modulus | d | = 1 / 3 . | ψ 〉 <sub>ABth</sub> (19) and | ψ 〉 <sub>ABht</sub> (20) do not represent this solution.</p><p>Therefore, the entangled quantum state that Alice delivers to Bob may not be | ψ 〉 <sub>AB</sub> (8) but | ψ 〉 <sub>ABth</sub> (19) and | ψ 〉 <sub>ABht</sub> (20) as well, regardless of the outcome of her measurement of the first qubit (1). The contradiction of the EWF cannot be discussed in isolation from Alice’s freedom of choice understood as her fallibility.</p></sec><sec id="s4"><title>4. Conclusion</title><p>Authors of the EWF argue to have arrived at the contradiction by letting the second state (2), which Bob receives from Alice, to depend on a random value measured and known by Alice [<xref ref-type="bibr" rid="scirp.115389-ref2">2</xref>]. But since there is no unitary transformation that would bring a pure, single qubit state (1) and two nonorthogonal versions of a mixed state (2) into an entangled, pure, two-qubit state (8), as discussed above, this argumentation is false.</p></sec><sec id="s5"><title>5. Discussion</title><p>The legitimacy of the EWF procedure has been questioned [<xref ref-type="bibr" rid="scirp.115389-ref14">14</xref>] [<xref ref-type="bibr" rid="scirp.115389-ref15">15</xref>], respectively under a nonunitary account of quantum state reduction, and decoherence. Indeed, the measurement problem is the only source of contradictions in Bell-type experiments. But in the case of the EWF, it is not the incompatibility of the unitary evolution and the measurement involved in the piecewise-defined function (2) that is not self-consistent [<xref ref-type="bibr" rid="scirp.115389-ref16">16</xref>] [<xref ref-type="bibr" rid="scirp.115389-ref17">17</xref>], but this nonorthogonal piecewise definition, as such. In this particular 1 out of 12 (on average) rounds of the experiment where |○− 〉 is measured by Charlie the if-and-only-ifs in (2) cannot be guaranteed to hold and possible errors of Alice must be accounted for.</p><p>The presence of these errors should discourage a casino manager from offering a gambling game based on the principles of the EWF. In a dispute between a gambler and a casino, the judge should rule in favor of the gambler: shifting the responsibility for the erroneous operation of this game to the gambler (consumer) appears to be an unfair commercial practice. Fortunately, such considerations are academic and no judge will ever need to rule in such a case as the EWF is impossible to be implemented as a game in a casino. Unitary transformations of the big quantum state (8) performed from within the lab by Alice herself [<xref ref-type="bibr" rid="scirp.115389-ref2">2</xref>] pursuant to the recipes of (1) and (2), or similar, are impossible.</p><p>Numerous other publications (e.g., [<xref ref-type="bibr" rid="scirp.115389-ref18">18</xref>] [<xref ref-type="bibr" rid="scirp.115389-ref19">19</xref>] [<xref ref-type="bibr" rid="scirp.115389-ref20">20</xref>] ) attempt to explain the EWF using Bohmian mechanics. But Bohmian interpretation of QT is incompatible with the assumptions of (i) the choice of which measurement is performed can be made randomly and independently of the system under observation, (ii) the system has limited memory, and (iii) Landauer’s erasure principle holds [<xref ref-type="bibr" rid="scirp.115389-ref21">21</xref>]. Assumption (i) is the standard “Freedom of Choice” assumption of Bell-type experiments (freedom of what to measure), while assumptions (ii) and (iii) form the basis of the prevailing explanation of Maxwell demon (Szilard’s engine) paradox. The author sees no reason to question these assumptions. “Pilot-wave theories are parallel-universe theories in a state of chronic denial” [<xref ref-type="bibr" rid="scirp.115389-ref22">22</xref>], while the aim of this paper is to save the single world, rather than delve into multiverses that cannot be experimentally confirmed.</p><p>Much of the essence of QT already makes itself known in the case of just two nonorthogonal states [<xref ref-type="bibr" rid="scirp.115389-ref23">23</xref>]. But in the case of the EWF, the specific type of quantum states (1), (2), (8), measurements, outcomes and actions involved in the argument are relevant and should not be omitted [<xref ref-type="bibr" rid="scirp.115389-ref6">6</xref>]. This is important if one compares the EWF with Bell-type experiments, in particular with those belonging to their subset, which excludes the coexistence of observer-independent measurements [<xref ref-type="bibr" rid="scirp.115389-ref5">5</xref>] [<xref ref-type="bibr" rid="scirp.115389-ref6">6</xref>] [<xref ref-type="bibr" rid="scirp.115389-ref7">7</xref>] [<xref ref-type="bibr" rid="scirp.115389-ref8">8</xref>] (termed as Bell-Wigner type experiments in Ref. [<xref ref-type="bibr" rid="scirp.115389-ref7">7</xref>] ). Observer-independent measurements do not exist [<xref ref-type="bibr" rid="scirp.115389-ref5">5</xref>] [<xref ref-type="bibr" rid="scirp.115389-ref6">6</xref>] but this conclusion cannot be derived through the backdoor. It manifests in collected statistics of measurements of a specific, entangled state, but not in the flawed argument of a superposed-action.</p><p>On the contrary to the EWF, a casino manager should not be discouraged from offering a gambling game based on the principles of the Bell-Wigner type experiments. They are by all means implementable in practice, while errors are relatively small. 6-photon Bell-Wigner type experiment violated the associated Bell-type inequality by 5 standard deviations [<xref ref-type="bibr" rid="scirp.115389-ref7">7</xref>]. But here Alice, Bob and Charlie are photon detectors whose detections are processed by a classical computer to find 6-photon coincidence events. Thus Alice and Bob not only inform Charlie about obtaining definite measurement results [<xref ref-type="bibr" rid="scirp.115389-ref10">10</xref>] (using heralding signals α’ and β’) but also reveal these results, and yet do not destroy the superposition of the entangled state. As Bell-Wigner type experiments boil down to nonlocal correlations of observer-dependent measurements, which correlations are known at least since Bells’ remarkable theorem, a judge would be presented with an easy task in any dispute between a gambler and a casino: lack of observer-independent measurements [<xref ref-type="bibr" rid="scirp.115389-ref5">5</xref>] [<xref ref-type="bibr" rid="scirp.115389-ref6">6</xref>] is a known, experimentally proven [<xref ref-type="bibr" rid="scirp.115389-ref7">7</xref>] [<xref ref-type="bibr" rid="scirp.115389-ref8">8</xref>] feature of QT. Different measurement times could be easily introduced in Bell-Wigner type setups. In the case of photonic implementation, physical delays can be employed on particular light guides between a laser and detectors. On the other hand, in a relativistic frame of reference of a photon, no time passes between the emission of the photon and its absorption, which is otherwise known as time dilation. A quantum state (in particular an entangled one) is time-independent.</p><p>But what is the Single World? The Single World is the world of a single observer<sup>3</sup>. There are at least about 7.9 billion single worlds (as of November 2021; restricting observers to humans able to communicate their observations in abstract terms).</p></sec><sec id="s6"><title>Acknowledgements</title><p>I truly thank my wife for her support and Mirek for encouragement.</p></sec><sec id="s7"><title>Conflicts of Interest</title><p>The author declares no conflicts of interest regarding the publication of this paper.</p></sec><sec id="s8"><title>Cite this paper</title><p>Łukaszyk, S. (2022) Making Mistakes Saves the Single Observer’s World of the Extended Wigner’s Friend Experiment. Journal of Quantum Information Science, 12, 1-12. https://doi.org/10.4236/jqis.2022.121001<sup> </sup></p></sec><sec id="s9"><title>NOTES</title></sec></body><back><ref-list><title>References</title><ref id="scirp.115389-ref1"><label>1</label><mixed-citation publication-type="other" xlink:type="simple">Renner, D.F.R. (2016) Single-World Interpretations of Quantum Theory Cannot Be Self-Consistent.</mixed-citation></ref><ref id="scirp.115389-ref2"><label>2</label><mixed-citation publication-type="other" xlink:type="simple">Renner, D.F.R. (2018) Quantum Theory Cannot Consistently Describe the Use of Itself. Nature Communications, 9, Article No. 3711.  
https://doi.org/10.1038/s41467-018-05739-8</mixed-citation></ref><ref id="scirp.115389-ref3"><label>3</label><mixed-citation publication-type="other" xlink:type="simple">Elitzur, A.C. and Vaidman, L. (1993) Quantum Mechanical Interaction-Free Measurements. Foundations of Physics, 23, 987-997.  
https://doi.org/10.1007/BF00736012</mixed-citation></ref><ref id="scirp.115389-ref4"><label>4</label><mixed-citation publication-type="other" xlink:type="simple">Blaylock, G. (2010) The EPR Paradox, Bell’s Inequality, and the Question of Locality. American Journal of Physics, 78, 111-120. https://doi.org/10.1119/1.3243279</mixed-citation></ref><ref id="scirp.115389-ref5"><label>5</label><mixed-citation publication-type="other" xlink:type="simple">Brukner, &amp;#268;. (2015) On the Quantum Measurement Problem. Springer, Cham.  
https://doi.org/10.1007/978-3-319-38987-5_5</mixed-citation></ref><ref id="scirp.115389-ref6"><label>6</label><mixed-citation publication-type="other" xlink:type="simple">Brukner, &amp;#268;. (2018) A No-Go Theorem for Observer-Independent Facts. Entropy, 20, 350. https://doi.org/10.3390/e20050350</mixed-citation></ref><ref id="scirp.115389-ref7"><label>7</label><mixed-citation publication-type="other" xlink:type="simple">Proietti, M., et al. (2019) Experimental Test of Local Observer Independence. Science Advances, 5, eaaw9832. https://doi.org/10.1126/sciadv.aaw9832</mixed-citation></ref><ref id="scirp.115389-ref8"><label>8</label><mixed-citation publication-type="other" xlink:type="simple">Bong, K.-W., Utreras-Alarcon, A., Ghafari, F., Liang, Y.-C., Tischler, N., Cavalcanti, E.G., Pryde, G.J. and Wiseman, H.M. (2019) Testing the Reality of Wigner’s Friend’s Experience. https://doi.org/10.1117/12.2540002</mixed-citation></ref><ref id="scirp.115389-ref9"><label>9</label><mixed-citation publication-type="other" xlink:type="simple">Wigner, E. (1961) The Scientist Speculates. 284-302.</mixed-citation></ref><ref id="scirp.115389-ref10"><label>10</label><mixed-citation publication-type="other" xlink:type="simple">Deutsch, D. (1985) Quantum Theory as a Universal Physical Theory. International Journal of Theoretical Physics, 24, 1-41. https://doi.org/10.1007/BF00670071</mixed-citation></ref><ref id="scirp.115389-ref11"><label>11</label><mixed-citation publication-type="other" xlink:type="simple">Sudbery, A. (2019) The Hidden Assumptions of Frauchiger and Renner. The International Journal of Quantum Foundations, 5, 98.</mixed-citation></ref><ref id="scirp.115389-ref12"><label>12</label><mixed-citation publication-type="other" xlink:type="simple">Bub, J. (2017) Why Bohr Was (Mostly) Right.</mixed-citation></ref><ref id="scirp.115389-ref13"><label>13</label><mixed-citation publication-type="other" xlink:type="simple">Kwiat, P. and Hardy, L. (2000) The Mystery of the Quantum Cakes. American Journal of Physics, 68, 33-36. https://doi.org/10.1119/1.19369</mixed-citation></ref><ref id="scirp.115389-ref14"><label>14</label><mixed-citation publication-type="other" xlink:type="simple">Kastner, R.E. (2020) Unitary-Only Quantum Theory Cannot Consistently Describe the Use of Itself: On the Frauchiger-Renner Paradox. Foundations of Physics, 50, 441-456. https://doi.org/10.1007/s10701-020-00336-6</mixed-citation></ref><ref id="scirp.115389-ref15"><label>15</label><mixed-citation publication-type="other" xlink:type="simple">Shuler, R.L. (2021) Emergence of Objective Reality in an Irreversible Friend Thought Experiment. Journal of Applied Mathematics and Physics, 9, 1964-1977.  
https://doi.org/10.4236/jamp.2021.98128</mixed-citation></ref><ref id="scirp.115389-ref16"><label>16</label><mixed-citation publication-type="other" xlink:type="simple">Sudbery, A. (2017) Single-World Theory of the Extended Wigner’s Friend Experiment. Foundations of Physics, 47, 658-669. https://doi.org/10.1007/s10701-017-0082-7</mixed-citation></ref><ref id="scirp.115389-ref17"><label>17</label><mixed-citation publication-type="other" xlink:type="simple">Baumann, V., Hansen, A. and Wolf, S. (2016) The Measurement Problem Is the Measurement Problem Is the Measurement Problem.</mixed-citation></ref><ref id="scirp.115389-ref18"><label>18</label><mixed-citation publication-type="other" xlink:type="simple">Lazarovici, D. and Hubert, M. (2019) How Quantum Mechanics Can Consistently Describe the Use of Itself. Scientific Reports, 9, Article No. 470.  
https://doi.org/10.1038/s41598-018-37535-1</mixed-citation></ref><ref id="scirp.115389-ref19"><label>19</label><mixed-citation publication-type="other" xlink:type="simple">Muci&amp;#241;o, R. and Okon, E. (2020) Wigner’s Convoluted Friends. Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics, 72, 310. https://doi.org/10.1016/j.shpsb.2020.07.001</mixed-citation></ref><ref id="scirp.115389-ref20"><label>20</label><mixed-citation publication-type="other" xlink:type="simple">Tausk, D.V. (2018) A Brief Introduction to the Foundations of Quantum Theory and an Analysis of the Frauchiger-Renner Paradox.</mixed-citation></ref><ref id="scirp.115389-ref21"><label>21</label><mixed-citation publication-type="other" xlink:type="simple">Cabello, A., Gu, M., Gühne, O., Larsson, J.-&amp;#197. and Wiesner, K. (2016) Thermodynamical Cost of Some Interpretations of Quantum Theory. Physical Review A, 94, Article ID: 052127. https://doi.org/10.1103/PhysRevA.94.052127</mixed-citation></ref><ref id="scirp.115389-ref22"><label>22</label><mixed-citation publication-type="other" xlink:type="simple">Deutsch, D. (1996) Comment on Lockwood. British Journal for the Philosophy of Science, 47, 222-228. https://doi.org/10.1093/bjps/47.2.222</mixed-citation></ref><ref id="scirp.115389-ref23"><label>23</label><mixed-citation publication-type="other" xlink:type="simple">Fuchs, C.A. (1998) Just Two Nonorthogonal Quantum States. Quantum Communication, Computing, and Measurement, 2, 11-16.  
https://doi.org/10.1007/0-306-47097-7_2</mixed-citation></ref></ref-list></back></article>