Professional Documents
Culture Documents
tended Wigner’s friend scenario with four entangled observers that allows us to put it to the test. In
a state-of-the-art 6-photon experiment, we here realise this extended Wigner’s friend scenario, exper-
imentally violating the associated Bell-type inequality by 5 standard deviations. This result lends
considerable strength to interpretations of quantum theory already set in an observer-dependent
framework and demands for revision of those which are not.
FIG. 2. Experimental setup. Pairs of entangled photons from the source S0 , in modes a and b, respectively, are distributed to
Alice and Bob’s friends, who locally measure their respective photon in the h, v basis using entangled sources SA , SB and type-I
fusion gates. These use nonclassical interference on a polarising beam splitter (PBS) together with a set of half-wave (HWP)
and quarter-wave plate (QWP). The photons in modes α0 and β 0 are detected using superconducting nanowire single photon
detectors (SNSPD) to herald the successful measurement, while the photons in modes α and β record the friends’ measurement
results. Alice (Bob) then either performs a Bell-state measurement via non-classical interference on a 50/50 beam splitter (BS)
on modes a and α (b and β) to measure A1 (B1 ) and establish her (his) own fact, or removes the BS to measure A0 (B0 ), to
infer the fact recorded by their respective friend; see Supplementary materials for details.
objective status of the facts established by the two ob- influence each others outcome (assumption L, locality),
servers. Can one reconcile their different records, or are then it should be possible to construct a single proba-
they fundamentally incompatible—so that they cannot bility distribution P (A0 , A1 , B0 , B1 ) for the four individ-
be considered objective, observer-independent “facts of ual facts under consideration, whose marginals match the
the world” [3, 4]? probabilities P (Ax , By ) [3, 4].
It was recently shown [4] that this question can be Any joint probability distribution satisfying these
addressed formally, by considering an extension of the assumptions must then satisfy Bell inequalities [7].
Wigner’s friend scenario as follows. Consider a pair of More specifically, when the variables Ax , By take val-
physical systems, shared between two separate laborato- P a, b ∈ {−1, +1}, then the average values hAx By i =
ues
ries controlled by Alice and Bob, respectively, see Fig. 1c. a,b abP (Ax = a, By = b) must obey the Clauser-Horne-
Inside these laboratories, Alice’s friend and Bob’s friend Shimony-Holt inequality [8]:
measure their respective system non-destructively and
S = hA1 B1 i + hA1 B0 i + hA0 B1 i − hA0 B0 i ≤ 2. (2)
record the outcomes in some memory. Outside these lab-
oratories, in each run of the experiment Alice and Bob In contrast to standard Bell inequalities, Eq. (2) is not
can choose to either measure the state of their friend’s concerned with the coexistence of local properties for two
record—i.e. to attest the “facts” established by their separate physical systems, but rather with the coexis-
friend, and whose results define the random variables A0 tence of facts with respect to different observers.
(for Alice’s friend) and B0 (for Bob’s friend); or to jointly As shown in Refs. [3, 4], a violation of the inequality
measure the friend’s record and the system held by the above is however possible in a physical world described
friend—to establish their own “facts”, defining variables by quantum theory. Such a violation would demonstrate
A1 (for Alice) and B1 (for Bob). After comparing their that the joint probability distribution P (A0 , A1 , B0 , B1 )
results, Alice and Bob can estimate the probability distri- is incompatible with assumptions F, L, and O. Therefore,
butions P (Ax , By ) for all four combinations of x, y = 0, 1. if we accept F and L, it follows that the pieces of infor-
As in the original Wigner’s friend Gedankenexperiment, mation corresponding to facts established by Alice, Bob
the facts A1 , B1 attributed to Alice and Bob and A0 , B0 and their friends cannot coexist within a single, observer-
attributed to their friends’ measurements may be incon- independent framework [3, 4]. Notably this is the case
sistent. even though Alice and Bob can acknowledge the occur-
This raises the question whether a more general frame- rence of a definite outcome in their friend’s closed labo-
work exists in which all observers can reconcile their ratory. We note that, although Bell’s mathematical ma-
recorded facts. If this is the case (assumption O, chinery [9] is used to show the result, the set of assump-
observer-independent facts, stating that a record or piece tions considered here—and therefore the conclusions that
of information obtained from a measurement should be a can be drawn from a violation of inequality (2)—are dif-
“fact of the world” that all observers can agree on), and ferent from those in standard Bell tests.
under the additional assumptions that Alice and Bob can Before we describe our experiment in which we test
freely choose their measurements A0 , A1 and B0 , B1 (as- and indeed violate inequality (2), let us first clarify our
sumption F, free-choice), and that their choices do not notion of an observer. Formally, an observation is the act
3
Probability
0.3
formation in a physical memory. Such an observer can
establish “facts”, to which we assign the value recorded in 0.2
Probability
plest possible ones, as long as they satisfy the above re- 0.3
quirements. 0.2
Experiment.— Our experiment makes use of three
0.1
carefully designed [10, 11] sources S0 , SA and SB , see
Fig. 2, which generate pairs of 1550 nm single photons 0.0
(+ +) (+ -) (- +) (- -) (+ +) (+ -) (- +) (- -)
entangled in the polarisation degree √ of freedom [12], in
the state |Ψ− i = (|hi|vi − |vi|hi) / 2. We confirmed the
almost ideal quality of the prepared states via quantum FIG. 3. Experimental data. The outcome probabili-
state tomography, with typical fidelity F = 99.62+0.01
−0.04 %, ties comprising each of the four expectation values hA0 B0 i,
+0.01
purity P = 99.34−0.09 % and entanglement as measured hA0 B1 i, hA1 B0 i, hA1 B1 i are obtained from the measured 6-
by the concurrence C = 99.38+0.02
−0.10 %, see Supplementary
fold coincidence events for each set of 4×4 eigenvectors during
materials for details. The photon pair from source S0 is a fixed time window. Shown here, are only the data corre-
rotated to sponding to non-zero eigenvalues labelled on the horizontal
axes + and − for +1 and −1, respectively, with the full data
e = 1 ⊗ U 7π |Ψ− i, shown in the Supplementary materials. The theoretical pre-
|Ψi (3)
16 dictions are shown as orange bars, and each measured ex-
pectation value is given above the corresponding sub-figure.
using a half-wave plate at an angle 7π/16, given by U 7π 16
= Uncertainties on the latter and error bars on the data rep-
7π 7π
cos( 8 ) σz +sin( 8 ) σx (where 1 is the identity, σz , σx are resent 1σ statistical confidence intervals assuming Poissonian
the Pauli operators). This state maximises the violation counting statistics (see Supplementary materials).
of inequality (2) for our choice of measurement settings,
see Eq. (4).
Source S0 provides the quantum systems on which Al- plementary material.
ice and Bob’s friends perform a measurement. Recall- To test inequality (2), Alice and Bob then measure the
ing the above definition of an observer, we employ the following observables on their respective joint photon /
entangled photon pairs from sources SA and SB as the friend’s record systems:
physical systems which, through interaction in a type-I
fusion gate [13, 14] between modes a, α0 and b, β 0 respec- A0 = B0 = 1 ⊗ |“photon is h”ih“photon is h”|
tively (see Fig. 2), are able to extract the information
− |“photon is v ”ih“photon is v ”| ,
expressing the established facts. When successful, the fu-
sion gate realises a non-destructive polarisation measure- A1 = B1 = |Φ+ +
photon/record ihΦphoton/record |
ment of a photon from S0 in the h, v basis, whose results
|“photon is h”i or |“photon is v ”i represent the friends’ − |Φ− −
photon/record ihΦphoton/record |. (4)
record. Via the ancillary entanglement, the extracted in-
formation is then stored in the polarisation state of the (with |Φ±photon/record i as defined in Eq. (1)). The observ-
other photon from SA (SB )—in mode α (β)—which acts ables A0 and B0 directly unveil the records established
as a memory, while the photon in mode α0 (β 0 ) is ab- by Alice and Bob’s friend, respectively. The observables
sorbed in a single photon counter to herald the success A1 and B1 , on the other hand, correspond to Alice’s and
of the measurement (see Supplementary material for de- Bob’s joint measurements on their friend’s photon and
tails). Note that this detection could be delayed until record, and define their own facts in the same way as
the end of the experiment as it carries no information Wigner in the original thought experiment confirms his
about the measurement outcome, akin to the observer entangled state assignment.
in the box communicating the fact that an observation Results.— We estimate the four average values
took place [3, 4]. From Alice and Bob’s perspective, the hAx By i in inequality (2) via projection onto each of the
yet undetected photons from S0 , SA and SB are now in a 4 × 4 eigenstates of the observables Ax and By , see Sup-
joint 4-photon entangled state, see Eq. (S7) in the Sup- plementary materials for details. For the corresponding
4
64 settings we collect 1794 six-photon coincidence events sibility for conscious observers to be in a superposition
over a total measurement time of 360 hours, from which state [2]. However, the lack of objectivity revealed by a
we calculate the probabilities shown in Fig. 3. We achieve Bell-Wigner test does not arise in anyone’s consciousness,
+0.075
a value of Sexp = 2.416−0.075 , thus violating inequal- but between the recorded facts. Since quantum theory
ity (2) by more than 5 standard deviations. This value does not distinguish between information recorded in a
is primarily limited by the higher-order photon emissions microscopic system (such as our photonic memory) and
from our probabilistic photon sources. Statistical uncer- in a macroscopic system the conclusions are the same for
tainties are independently estimated using an error prop- both: the measurement records are in conflict regard-
agation approach and a Monte-Carlo method. Details are less of the size or complexity of the observer that records
discussed in the Supplementary materials. them. Implementing the experiment with more complex
Discussion.— In principle, “Bell-Wigner tests” like observers would not necessarily lead to new insights into
ours are subject to similar loopholes as tests of conven- the specific issue of observer-independence in quantum
tional Bell inequalities [15]. To address the detection theory. It would however serve to show that quantum
and space-time loopholes, we make the physically rea- mechanics still holds at larger scales, ruling out alterna-
sonable assumption of fair sampling and rely on the em- tive (collapse) models [16]. However, this is not the point
pirical absence of signalling between our measurement of a Bell-Wigner test—less demanding tests could show
devices (which experimentally we verified to be in agree- that.
ment with the expectation from Poissonian statistics), re- Modulo the potential loopholes and accepting the pho-
spectively. Another loophole may arise if the observables tons’ status as observers, the violation of inequality (2)
A0 , B0 that are measured in practice do not strictly cor- implies that at least one of the three assumptions of free
respond to a measurement of the friends’ memories. Here choice, locality, and observer-independent facts must fail.
we assume (with reasonable confidence, up to negligible Since abandoning free choice and locality might not re-
experimental deviations) that the measured observables solve the contradiction [5], one way to accommodate our
indeed factorise as in Eq. (4), with the identity on the result is by proclaiming that “facts of the world” can
photon system, so that the above interpretation for A0 , only be established by a privileged observer—e.g., one
B0 can be trusted. As discussed in the Supplementary that would have access to the “global wavefunction” in
materials, closing all loopholes in full will be considerable the many worlds interpretation [17] or Bohmian mechan-
more challenging than for Bell tests. ics [18]. Another option is to give up observer indepen-
One might further be tempted to deny our photonic dence completely by considering facts only relative to
memories the status of “observer”. This, however, would observers [19], or by adopting an interpretation such as
require a convincing revision of our minimal definition QBism, where quantum mechanics is just a a tool that
of what qualifies as an observer, which typically comes captures an agent’s subjective prediction of future mea-
at the cost of introducing new physics that is not de- surement outcomes [20]. This choice, however, requires
scribed by standard quantum theory. Eugene Wigner, us to embrace the possibility that different observers ir-
for example, argued that the disagreement with his hy- reconcilably disagree about what happened in an exper-
pothetical friend could not arise due to a supposed impos- iment.
[1] K. Popper, Realism and the Aim of Science (Routledge, mashita, S. Miki, H. Terai, Z. Wang, and M. Sasaki, Opt.
1992). Express 22, 11498 (2014).
[2] E. Wigner, in The Scientist Speculates, edited by I. Good [13] D. E. Browne and T. Rudolph, Phys. Rev. Lett. 95,
(1961), pp. 284–302. 010501 (2005).
[3] Č. Brukner, arXiv:1507.05255 (2015). [14] J.-W. Pan, M. Daniell, S. Gasparoni, G. Weihs, and
[4] Č. Brukner, Entropy 20, 350 (2018). A. Zeilinger, Phys. Rev. Lett. 86, 4435 (2001).
[5] D. Frauchiger and R. Renner, Nature communications 9, [15] J.-Å. Larsson, J. Phys. A 47, 424003 (2014).
3711 (2018). [16] G. C. Ghirardi, A. Rimini, and T. Weber, Phys. Rev. D
[6] D. Deutsch, Int. J. Theor. Phys. 24, 1 (1985). 34, 470 (1986).
[7] A. Fine, Phys. Rev. Lett. 48, 291 (1982). [17] H. I. Everett, Rev. Mod. Phys. 29, 454 (1957).
[8] J. Clauser, M. Horne, A. Shimony, and R. Holt, Phys. [18] D. Bohm, Phys. Rev. 85, 166 (1952).
Rev. Lett. 23, 880 (1969). [19] C. Rovelli, Int. J. Theor. Phys. 35, 1637 (1996).
[9] J. S. Bell and A. Aspect, Speakable and Unspeakable in [20] C. A. Fuchs, Mind and Matter 15, 245 (2017).
Quantum Mechanics: Collected Papers on Quantum Phi- [21] A. Fedrizzi, T. Herbst, A. Poppe, T. Jennewein, and
losophy (Cambridge University Press, 2004), 2nd ed. A. Zeilinger, Opt. Express 15, 15377 (2007).
[10] F. Graffitti, P. Barrow, M. Proietti, D. Kundys, and [22] M. A. Broome, M. P. Almeida, A. Fedrizzi, and A. G.
A. Fedrizzi, Optica 5, 514 (2018). White, Opt. Express 19, 22698 (2011).
[11] F. Graffitti, J. Kelly-Massicotte, A. Fedrizzi, and A. M. [23] J. Calsamiglia and N. Lutkenhaus, Appl. Phys. B 72, 67
Brańczyk, Phys. Rev. A 98, 053811 (2018). (2001).
[12] R.-B. Jin, R. Shimizu, K. Wakui, M. Fujiwara, T. Ya- [24] S. L. Braunstein and A. Mann, Phys. Rev. A 51, R1727
5
(1995).
[25] P. H. Eberhard, Phys. Rev. A 47, 747 (1993).
Ti:sapphire Laser
�
b
Time Tagger
x4
6fold
Success
Fail
Faraday BS PBS
isolator
Dual
HWP QWP wavelength
HWP
a Dual Dichroic 50cm
wavelength mirror lens
PBS
�
PPKTP Polarization
controller
x2 Delay BP filter SNSPDs
FIG. S1. Detailed experimental setup. The Ti:sapphire laser beam is protected from back-reflections by a Faraday isolator
and spatially filtered using a short single-mode fibre (not shown). The laser beam is then temporally multiplexed to effectively
quadruple the pulse rate. The pump is then delivered to three Sagnac-interferometer sources to create polarisation entangled
photon pairs. The outputs of each source are coupled to single-mode fibres and delivered to the measurement stages. Fibre
polarisation controllers are used to maintain the polarisation states of the photons during transport. The three entangled pairs
are then subject to two fusion gates, where temporal mode matching is achieved by employing physical delays as indicated.
One photon at each measurement stage acts as a heralding signal for the success of the fusion gate, while the other two are
subject to a Bell-state measurement on a 50/50 beam splitter, or to a direct measurement without the BS (for A0 , B0 ), followed
by projection onto orthogonal polarisations. Finally, all six photons are fibre-coupled and detected by the SNSPDs whose
detection is processed by a classical computer to find 6-photon coincidence events.
1
with a global success probability of 16 . The state Fig. 2. Note that A0 cannot be simply measured by
ignoring photon a, due to the probabilistic nature of
1 π
|Ψ̃0 iaαbβ = √ cos
|hviaα |vhibβ + |vhiaα |hvibβ the photon source. Hence, this photon has to be mea-
2 8 sured in a polarisation-insensitive way, which, due to
1 π the polarisation-sensitive nature of the photon-detectors,
+ √ sin |hviaα |hvibβ − |vhiaα |vhibβ ,
2 8 is best achieved by summing over the projections onto
(S7) both orthogonal polarisations. To measure A1 (B1 ) we
use a 50/50 beam splitter followed by projection onto
is the four-photon state shared by Alice and Bob when |vhi. Due to nonclassical interference in the beam split-
both fusion gates are successful. ter, this implements a projection onto the singlet state
Recalling from Eq. (S4) how the friends’ measurement |Ψ− iaα with success probability 21 . Using quantum mea-
results are encoded in their polarisation states, the ob- surement tomography, we verified this Bell-state mea-
servables of Eq. (4) to be measured on |Ψ̃0 iaαbβ are surement with a fidelity of Fbsm = 96.84+0.05 −0.05 . Projec-
A0 = B0 = 1 ⊗ (|vihv| − |hihh|), tions on the other Bell states are possible via local ro-
tations using the same QWP and HWP as before. Here
A1 = B1 = |Ψ+ ihΨ+ | − |Ψ− ihΨ− |, (S8) |Ψ+ iaα takes eigenvalue +1, |Ψ− iaα eigenvalue −1, and
with |Ψ± i = √12 (|hvi ± |vhi). To obtain hAx By i we |Φ± iaα = √12 (|hhi ± |vvi)aα eigenvalue 0. Probabilities
project these states onto all combinations of eigenstates are obtained from normalising the measured counts with
of Ax and By individually and record 6-photon coinci- respect to the total of the 16 measurements for each pair
dence events for a fixed duration. More specifically, to of observables, Fig. S2. The theoretically expected values
measure A0 (similarly B0 ) we project onto |hviaα and for the various probabilities are either 41 (1+ √12 ) ' 0.427,
1 √1
|vviaα (eigenvalue +1), and |hhiaα and |vhiaα (eigen- 4 (1 − 2 ) ' 0.073, or 0.
value −1) using a QWP and HWP to implement lo-
cal rotations before the final PBS, not using the BS in
8
FIG. S2. Full experimental data. The full experimental set of probabilities for the 64 settings is shown. The horizontal axis
in each of the four plots indicates the eigenstates (ϕA , ϕB ) on which the experimental state shared by Alice and Bob in Eq. (S7)
is projected, where ϕA corresponds to Alice’s projection in the two modes a and α, ϕB instead represents Bob’s projection
in modes b and β. For each setting, the number of 6-photon coincidences is recorded and normalised to obtain the relative
probabilities as shown in the vertical axis.
which have a slightly different physical interpretation. Recall that in order to measure A0 (similarly B0 ), the
The observables used in the main text and defined in beam splitter for Alice in Fig. 2 has to be removed com-
Eq. (4) directly measure the facts established by the pared to the measurement of A1 . A less invasive method
friend, as recorded in their memory. In contrast, the (which does not compromise the alignment of our optical
observables in Eq. (S9) can be understood as not only a elements) is to introduce linear polarisers in modes a(b)
measurement of the friend’s record (to establish a “fact and α(β). This effectively measures the photons before
for the friend”), but also of the original photon measured the BS, preventing interference.
by the friend, as a consistency check: if the state of We implemented this procedure for the alternative def-
the photon is found to be inconsistent with the friend’s inition of A0 and B0 in Eq. (S9). Since this approach
record, the definition above assigns a value 0 for the mea- leads to a reduced success probability of the measure-
surement result. ment of A0 (B0 ) by a factor 1/4, we measured all 16
Our experiment also allows us to test inequality (2) us- eigenvectors only for hA1 B1 i. For the other observables
ing this alternative definition of A0 , B0 . Indeed, from the we measured the eigenvectors with non-zero eigenval-
experimental data shown in Fig S2, it suffices (according ues and normalised all data with respect to the total
to Eq. (S9) and recalling Eq. (S4)) to assign the eigen- counts for hA1 B1 i, Fig. S3. This slightly increases ex-
state/eigenvalue according to |hvi → +1, |vhi → −1 perimental uncertainties, which we have taken into ac-
and |hhi, |vvi → 0 in the calculation of the average count in our error analysis. The expectation values so ob-
values hAx By i. We thus obtain the three average val- tained are hA0 B0 i = 0.609+0.048 +0.049
−0.048 , hA0 B1 i = 0.577−0.049
+0.033
ues hA0 B0 i = 0.662−0.033 , hA0 B1 i = 0.573+0.039
−0.039 and and hA1 B0 i = 0.588+0.049
−0.049 with hA1 B1 i unchanged, and
+0.040
hA1 B0 i = 0.600−0.040 with hA1 B1 i unchanged. With Sexp = 2.346+0.110
−0.110 , violating the Bell-Wigner inequality
+0.073
these values, we have Sexp = 2.407−0.073 , again violating by more than 3 standard deviations. We note that the
9
Error analysis.
the photon states onto their different eigenstates sepa- Then, for Eq. (S7) the average values hAx By i are theo-
rately. To close the detection loophole one cannot follow retically expected to be hA0 B0 i = η 2 (− √12 ) + (1 − η)2 ,
such an approach: the measurement protocol should be hA0 B1 i = hA1 B0 i = η 3 √12 +(1−η)(1−η 2 ) and hA1 B1 i =
able to project the states onto any of the eigenstates in
any run of the experiment. η 4 √12 +(1−η 2 )2 . With these values, the minimal required
To measure A0 /B0 from Eq. (4), one could pass the detection efficiency to violate inequality (2) with (unre-
friends’ photon through a PBS, with detectors at both alistically)
q perfect quantum states and measurements is
outputs. As for A1 /B1 , a full Bell-state measurement η > 2 3(1 − √12 ) − 1 ' 0.875. This is a more strin-
(which is impossible with linear quantum optics [23]) is gent requirement than for a standard test of the CHSH
not required: it suffices to distinguish |Ψ+ i, |Ψ− i, and inequality, for which a similar√analysis for maximally en-
have a third outcome for |Φ± i (see Eq. (S8)). This can tangled states yields η > 2 2 − 2 ' 0.828. To relax
be realised with a small modification to our setup, with this requirement, one might attempt similar tricks as for
detectors added on the second outputs of Alice and Bob’s standard Bell tests, e.g. to use non-maximally entan-
PBS [24]. An even simpler measurement would discrim- gled states [25], although this will come at the cost of a
inate e.g. |Ψ− i from the other three Bell states, thus reduced violation of the inequality.
measuring the observables A1 = B1 = 1 − 2|Ψ− ihΨ− |; Note, finally, that in the conclusions we draw from
this would not change anything in an ideal implementa- the violation of inequality (2), we need to trust that A0
tion, but simplifies the analysis with detection inefficien- and B0 indeed directly measure the memory of Alice and
cies below. Bob’s friends, so as to unveil their respective facts. A
Even the best photon detectors aren’t 100% efficient new loophole may be open, now specific to Bell-Wigner
and optical loss is unavoidable. Assuming a symmetric tests, if such an interpretation cannot be maintained. To
combined detection efficiency per photon of η, the mea- address this loophole with a setup like ours, one should
surement of A0 /B0 requires one detector to click and use measurement devices for A0 and B0 that clearly sep-
would succeed with probability η, while the measure- arate the initial systems and the memories of each friend,
ment of A1 /B1 requires two detectors to fire and would and only “looks” at the memory photons, rather than at
work as expected with probability η 2 . When a detec- the system photon + memory photon together; we also
tor fails to click, a simple strategy is to output a fixed leave this possibility as a challenge for future Bell-Wigner
pre-defined value for the measurement outcome, e.g. +1. experimental tests.