ArticlePDF Available

Experimental investigation of contextual robustness and coherence in state discrimination

Authors:

Abstract and Figures

Given that contextuality and coherence are significant resources in quantum physics, exploring the intricate interplay between these two factors presents a compelling avenue for research. Here, an experiment is presented to investigate the nuanced relationship between contextual robustness and coherence in a scenario of state discrimination. Specifically, two types of noises—depolarizing and dephasing—are introduced in the measurement procedure to assess the robustness of contextuality. By varying the overlap between the states to be discriminated, we explore the variations in contextual robustness across different levels of coherence. Importantly, our findings demonstrate that contextuality can persist under any degree of coherence. Notably, when coherence approaches zero (while remaining nonzero), contextuality can still endure under arbitrary amounts of partial dephasing. These results underscore the pivotal role of coherence in contextual phenomena, offering significant insights into the intricate interplay between coherence and contextuality.
Content may be subject to copyright.
PHYSICAL REVIEW A 109, 052208 (2024)
Experimental investigation of contextual robustness and coherence in state discrimination
Jingyan Lin,1,2Kunkun Wang,3Lei Xiao,2Dengke Qu,4Gaoyan Zhu,5Yong Zhang ,1,*and Peng Xue 2,
1School of Science, Beijing University of Posts and Telecommunications, Beijing 100876, China
2School of Physics, Southeast University, Nanjing 211189, China
3School of Physics and Optoelectronic Engineering, Anhui University, Hefei 230601, China
4Beijing Computational Science Research Center, Beijing 100084, China
5College of Electronic and Information Engineering, Shangdong University of Science and Technology, Qingdao 266590, China
(Received 19 September 2023; revised 15 April 2024; accepted 19 April 2024; published 8 May 2024)
Given that contextuality and coherence are significant resources in quantum physics, exploring the intricate
interplay between these two factors presents a compelling avenue for research. Here, an experiment is presented
to investigate the nuanced relationship between contextual robustness and coherence in a scenario of state dis-
crimination. Specifically, two types of noises—depolarizing and dephasing—are introduced in the measurement
procedure to assess the robustness of contextuality. By varying the overlap between the states to be discriminated,
we explore the variations in contextual robustness across different levels of coherence. Importantly, our findings
demonstrate that contextuality can persist under any degree of coherence. Notably, when coherence approaches
zero (while remaining nonzero), contextuality can still endure under arbitrary amounts of partial dephasing.
These results underscore the pivotal role of coherence in contextual phenomena, offering significant insights
into the intricate interplay between coherence and contextuality.
DOI: 10.1103/PhysRevA.109.052208
I. INTRODUCTION
Distinguishing nonclassical from classical phenomena is
instrumental in effectively harnessing quantum resources to
achieve superior performance in practical tasks. The concept
of noncontextuality, initially proposed by Bell [1], Kochen
and Specker [2], and subsequently refined by Spekkens [3],
represents a manifestation of classical phenomena. On the
contrary, contextuality, manifested through the violation of
noncontextuality inequalities, has emerged as a resource that
provides quantum advantages in various domains such as
cryptography [4,5], communication [69], and computation
[1013]. Quantum coherence [14,15] as a valuable resource
in quantum information [1618] is another significant non-
classical phenomenon that piques our interest.
Kochen-Specker noncontextuality [2] originates from the
noncontextual hidden variable model. The historical defini-
tion of context has confined the exploration of contextuality
to Hilbert spaces with dimensions three and above, and to
measurements limited to sharp measurements [1930]. How-
ever, Spekkens [3] introduced modifications to the concept
of context and noncontextuality, building upon noncontex-
tual ontological models. This innovative approach allows for
the extension of contextuality to two-dimensional Hilbert
spaces and unsharp measurements, significantly broadening
the scope for exploring contextuality in a wider range of
quantum systems [3134].
*zhyong98@bupt.edu.cn
gnep.eux@gmail.com
Given that both contextuality and coherence are quantum
resources with the potential to offer quantum advantages in
various tasks, exploring the relationship between these two
phenomena is inherently intriguing. Furthermore, when con-
sidering the preparation contextuality defined by Spekkens,
it becomes necessary to account for at least two states,
implying the existence of state-independent coherence. Con-
sequently, basis-independent results can be established for
both contextuality and coherence [35,36]. Thus, investigating
basis-independent relationships between contextuality and co-
herence represents a compelling avenue of research.
Building upon Spekkens’ extension of noncontextuality
[3], we focus on the realm of minimum-error state discrimina-
tion within two-dimensional Hilbert spaces. In this scenario, it
has been theoretically recognized that contextuality provides
advantages in the successful discrimination of nonorthogonal
states [37]. Subsequently, measurement errors are introduced
by considering angular deviations from the ideal basis, leading
to experimental proof of the contextual advantage for state
discrimination in the presence of errors [38]. Note that the
discrimination of nonorthogonal states inherently introduces
nonzero coherence under the basis transformation. We further
investigate both contextuality and coherence in the presence
of experimentally applied depolarizing [37,39,40] and de-
phasing [41] noise.
Considering that quantum state discrimination serves as a
cornerstone in quantum information processing tasks, it has
garnered significant attention in both theoretical [4245] and
experimental [4648] studies. Moreover, this critical aspect
finds applications in various quantum cryptography proto-
cols [49] and communication protocols [50]. In this case,
the experimental exploration of contextual robustness and
2469-9926/2024/109(5)/052208(10) 052208-1 ©2024 American Physical Society
JINGYAN LIN et al. PHYSICAL REVIEW A 109, 052208 (2024)
Depolarizing Measurements
Dephasing Measurements
r
r
Dephasing Measurements
r
Z
X
Preparations
(a) (b)
(c) (d)
FIG. 1. Preparations and measurements in the zx plane of the
Bloch sphere. (a) Preparations without noise. (b) Depolarizing mea-
surements with the Helstrom measurement performed along the z
axis. (c) Dephasing measurements with the Helstrom measurement
performed along the zaxis. (d) Dephasing measurements with the
Helstrom measurement performed along the xaxis.
coherence in quantum state discrimination assumes substan-
tial significance.
In this work, by considering adjustable noise in mea-
surements and coherence of prepared states within the
noncontextuality framework, our experimental findings unveil
a nuanced relationship. We derive two conclusions: Firstly,
contextuality implies the presence of coherence in the system,
while the reverse is not necessarily true under sufficient noise
levels. Additionally, even when coherence approaches zero,
a system can still exhibit contextuality in the presence of
dephasing, even with arbitrarily large noise intensities. These
findings contribute valuable insights into the complex inter-
relationship between contextual robustness and coherence,
contributing to an enhanced understanding of quantum state
discrimination.
II. CONTEXTUALITY ROBUSTNESS AND COHERENCE
IN MINIMUM-ERROR STATE DISCRIMINATION
We focus on the scenario of minimum-error state dis-
crimination (MESD) in two-dimensional Hilbert spaces [37],
specifically under depolarizing and dephasing [41]. We con-
sider a system prepared in one of two nonorthogonal states,
|ψand |φ, each having an equal prior probability. The mea-
surement Mg≡{Egψ,Egφ}is used to determine the state of
the system. The probability of successfully discriminating the
system’s state scan be quantified by s1
2Tr[Egψ|ψψ|]+
1
2Tr[Egφ|φφ|]. When choosing Mgto be the Helstrom mea-
surement [51], it implies that the direction of the measurement
basis {Egψ,Egφ}aligns with the direction of the vector (|φ−
|ψ) on the Bloch sphere, as depicted in Fig. 1. This particular
measurement ensures that the error rate of the two-state dis-
crimination is minimized, fulfilling the requirement of MESD.
TABLE I. The probability of specific measurement outcomes oc-
curring for particular states. Since D(IE)=ID(E), the table
is sufficient to obtain all measurement outcomes.
|φφ||ψψ||
¯
φ ¯
φ||
¯
ψ ¯
ψ|
D(Eφ)1c1c
D(Eψ)c11c
D(Egφ)s1s1ss
Without loss of generality, we can confine the preparations
and measurements of the system states to the zx plane of
the Bloch sphere, as illustrated in Fig. 1. The Helstrom mea-
surement satisfies the symmetric relation Tr[Egψ|ψψ|]=
Tr[Egφ|φφ|], allowing us to calculate sas
s=Tr[Egψ|ψψ|]=Tr[Egφ|φφ|].(1)
To study contextuality, the orthogonal states of |ψand |φ
are taken into account in Fig. 1to establish the preparation
equivalence
1
2|ψψ|+1
2|¯
ψ ¯
ψ|=1
2|φφ|+1
2|¯
φ ¯
φ|=I
2.(2)
The measurement {Eψ,E¯
ψ,Eφ,E¯
φ}represents the projective
measurements on the corresponding subscript state. The con-
cept of context is defined as the set of features that are
not specified by specifying the equivalence class. Therefore,
preparation noncontextuality implies that two states belonging
to the same preparation equivalence class cannot be distin-
guished by any quantity. This enables us to formulate the
noncontextuality inequalities, which serve as tools for assess-
ing whether the system exhibits contextual or noncontextual
behavior. The noncontextuality inequality in MESD is given
by [37]
s1c
2,(3)
where c=Tr[|ψψ||φφ|]=|ψ|φ|2represents the over-
lap between |ψand |φand indicates the level of con-
fusability between these two states. When the process of
state discrimination is influenced by noise introduced through
imperfect preparations or measurements, the inequality is
relaxed to [37]
s1c
2,(4)
where denotes the noise intensity. The violation of the
inequality is denoted as s=s1+c
2, which can be
utilized to assess the contextuality of the system.
Here, we only consider noise introduced by imperfect mea-
surements with errors, represented by D(E). The probability
of a specific measurement outcome occurring for a particular
state is documented in Table I. We first focus on the mea-
surement with depolarizing. As illustrated in Fig. 1(b),the
imperfect measurements can be described as
Ddepol
r(E)(1 r)E+r
2I,(5)
where rsignifies the intensity of depolarizing, and it is linked
to the noise intensity through the equation =r
2. The mini-
mum level of noise rpreventing the system from violating the
052208-2
EXPERIMENTAL INVESTIGATION OF CONTEXTUAL PHYSICAL REVIEW A 109, 052208 (2024)
noncontextuality inequality can be readily quantified as [41]
rdepol
min =11
sin2θ+cos θ,(6)
serving as a metric for contextual robustness. It serves as
the threshold for rthat demarcates the boundary between
contextuality and noncontextuality under depolarizing noise.
When r<rdepol
min , the noncontextuality inequality (4)isvio-
lated, revealing the advantage of quantum measurements over
noncontextual measurements.
For dephasing, the imperfect measurements can be de-
scribed as
Ddeph
r(E)(1 r)E+r
i∈{0,1}i|E|i|ii|,(7)
where {|i}i∈{0,1}represents the basis states along the zaxis.
Similarly, rsignifies the intensity of dephasing, and it is linked
to the noise intensity through the equation =r
2sin2θ.We
consider two measurement schemes shown in Figs. 1(c) and
1(d), respectively. The first scheme is similar to the depolar-
ization case, with the Helstrom measurement performed along
the zaxis. The contextual robustness can be expressed as [41]
rdeph
min =11cos θ
sin2θ,(8)
where rdepol
min serves as the threshold for rthat demarcates the
boundary between contextuality and noncontextuality under
dephasing measurements. In the second scheme, the direction
of the Helstrom measurement is rotated from the zaxis to the
xaxis. The contextual robustness can be expressed as [41]
rdeph
min =1sin θ. (9)
When r<rdeph
min , the noncontextuality inequality (4)isvio-
lated, revealing the advantage of quantum measurements over
noncontextual measurements.
As we exclude noise in the preparation procedure illus-
trated in Fig. 1(a),thel1norm of coherence can be quantified
as [15]
C(ρ)=min
σIρσ1=
i=j|ρij|.(10)
Here, due to the symmetry among the states, coherence of |ψ
and |φsatisfies
C(|ψψ|)=C(|φφ|)=sin θ, (11)
which is governed by θ[0,π
2]. Hence, manipulating the
system state via changes in θcan influence the coherence
of states. Noting that it is also valuable to consider the ef-
fect of noise on coherence, we present the relevant results
in Appendix Cby examining effective coherence. Given
that coherence serves as a defining characteristic distinguish-
ing quantum behavior from the classical realm, it becomes
intriguing to explore contextual robustness under different
amounts of coherence.
III. EXPERIMENTAL EXPLORATION OF
CONTEXTUALITY ROBUSTNESS AND COHERENCE
We employ a single-photon source [5254] to prepare the
qubit states and measure them under arbitrary intensity of
405nm
Laser
HWP0
HWP1
HWP2
HWP3
HWP4
PPKTP BD
PBS
PBS
BD
Lens Lens QWP1
QWP2
APD
APD
FIG. 2. Experimental setup. Polarized photon pairs, character-
ized by orthogonal polarization directions, are generated through
a periodically poled potassium titanyl phosphate (PPKTP) crystal
pumped by a 405-nm laser. Following the second polarization beam
splitter’s (PBS) division of these photon pairs, the vertically polar-
ized photons are utilized as the trigger and detected by a single
photon avalanche diode (APD). Simultaneously, the horizontally
polarized photons serve as the signal, encoding the qubit in our
experimental setup. Subsequently, a half-wave plate (HWP) denoted
as HWP1 is employed to prepare the state. The measurement pro-
cedure, enclosed within a delineated black dashed box, facilitates
measurements amidst the presence of noise.
depolarizing and dephasing within an optical system shown
in Fig. 2. The qubit is encoded by the polarization state of
the photons as {|0≡|H,|1≡|V}, where |H(|V) de-
notes the horizontal (vertical) polarization. The initial state
|ψ=cos θ
2|H+sin θ
2|Vis obtained by passing the photon
through HWP1. The key point of our experiment is to achieve
a measurement process with adjustable noise intensity, as de-
picted within the black dashed box in Fig. 2. By manipulating
the angle of HWP2, we can achieve the correct or incorrect
discrimination results in the middle path of the output. Fur-
thermore, by manipulating the angles of HWP3 and HWP4
between the two beam displacers (BD), measurements can
be conducted under varying noise intensities. Details of the
experiment are presented in Appendix A.
For the measurements under depolarizing, we select the
Helstrom measurement along the zaxis, as shown in Fig. 1(b).
Varying ten angles of θin states and eight depolarizing
noisy intensities rdepol in measurements, the experimental
results are illustrated in Fig. 3(a). To fulfill the rigor-
ous requirements mentioned in Ref. [37], we postprocessed
the experimental data through data analysis, as detailed
in Appendix B. Note that despite considering four states
{|ψψ|,|¯
ψ ¯
ψ|,|φφ|,|¯
φ ¯
φ|} during the construction of
preparation equivalence in Eq. (2), the resulting noncon-
textuality inequality (4) can be related to only two states
{|ψψ|,|φφ|}. This simplification is attributed to the high
symmetry present in Table I. However, since achieving
this symmetry experimentally is challenging, we relax it to
Table II using the method outlined in Appendix B. In this case,
TABLE II. The probability of specific measurement outcomes
occurring for particular states with no symmetries assumed.
P|φP|ψP|¯
φP|¯
ψPyP¯y
Mφ1φcψ¯
φ1φ+¯
φcψ0.5 0.5
Mψcφ1ψ1c¯
φcφc¯
φ+ψ0.5 0.5
Mgφsφ1sψ1s¯
φsφs¯
φsψ0.5 0.5
My0.5 0.5 0.5 0.5 1 yy
052208-3
JINGYAN LIN et al. PHYSICAL REVIEW A 109, 052208 (2024)
-0.5
-0.4
-0.3
-0.2
-0.1
0.0
0.1
0.2
s
/2
/3
/6
0
r
deph
0.0
0.4
0.6
0.8
0.2
1.0
(a) (b)
(c) (d)
0.2
-0.5 0
0
0.0 0.5 1.0
-0.4
-0.2
0.0
0.2
s
r
-0.5
-0.4
-0.3
-0.2
-0.1
0.0
0.1
0.2
s
0.2
/6 /3 /2
0
r
depol
0.4
0.6
0.8
1.0
0.0
2
s
-0.5
-0.4
-0.3
-0.2
-0.1
0.0
0.1
0.2
s
r
deph
/2
/3
/6
0
0.4
0.0
0.6
0.8
1.0
0.2
0.0 0.2 0.4 0.6 0.8 1.0
-0.01
0.00
0.01
0.02
0.03
s
r
FIG. 3. Experimental tests of noncontextuality and contextuality.
Each cylinder in (a)–(c) represents the chosen states θand noisy
intensity rdepol (rdeph) in our experiment. The color filling inside the
cylinder represents the violation of the noncontextuality inequality
s. The experimental (theoretical) boundaries, represented by the
red (blue) curve, mark the transition from noncontextuality to con-
textuality. (a) Helstrom measurement performed along the zaxis
under depolarizing. The robustness of contextual reaches a maximum
of rdeol
min =0.1976 ±0.0008 at θ=π
3. (b) Helstrom measurement
performed along the zaxis under dephasing noise. The robust-
ness of contextual reaches a maximum of rdeph
min =0.504 ±0.001 at
θ=π/25, higher than under depolarizing measurements. (c) Hel-
strom measurement performed along the xaxis under dephasing
noise. The robustness of contextual reaches a maximum of rdeph
min =
0.938 ±0.001 at θ=π/50. (d) The maximum contextual robustness
in (a)–(c). The circles represent the experimental results, and the lines
depict the corresponding theoretical values. The black circles and
line in the inset depict the situation of (a). Only one black circle falls
within the scope of the main figure. Blue and red circles and line
correspond to the situation of (b) and (c), respectively. Error bars
indicate the statistical uncertainty
the noncontextual inequalities are no longer reducible to the
single inequality (4). Consequently, we actually calculate the
violation of all inequalities related to the probability of suc-
cessful discrimination as shown in inequalities (B11). If the
violation of these eight noncontextual inequalities is denoted
as {si}8
i=1, we just need to study the one with the biggest
violation, which is s=1
2max{si}8
i=1. This is because the
violation of any one of these inequalities signifies the contex-
tual nature of the system.
When s<0, the preparation and measurement proce-
dures can be described by noncontextual models. Conse-
quently, the probability of successfully discriminating states
in this scenario does not exceed that of the classical case.
Conversely, when s>0, contextuality is present within
the system. This contextual nature enhances the success
probability of state discrimination beyond the classical case.
In particular, when s=0, a curve aligned with Eq. (6)
emerges, illustrating the boundary between noncontextuality
and contextuality.
The boundary curve is closely connected to the coherence
of prepared states in Eq. (11), determined by θ, and the con-
textuality robustness, denoted by rdepol
min . Thus, it also serves
to depict the robustness of contextuality with varying degrees
of coherence. As θ=0 and θ=π
2correspond to orthogonal
(fully distinguishable) and parallel (completely indistinguish-
able) states, respectively, the classical and quantum boundary
coincide, resulting in no violation of the noncontextuality
inequality. Consequently, the boundary curve demonstrates
that contextuality can exist under any degree of coherence,
excluding 0 and 1.
However, the robustness under depolarizing is not particu-
larly high. Even under the scenario where rdepol
min is maximized
(θ=π
3), the robustness only reaches 0.1976 ±0.0008. Fur-
thermore, as coherence tends to zero, contextual robustness
also approaches zero. It is important to note that the pres-
ence of contextuality guarantees the existence of coherence,
but the reverse is not necessarily true. This is because if
rdepol >rdepol
min , the system remains noncontextual regardless of
the degree of coherence.
To compare the relationship between contextual robustness
and coherence under different types of noise, we employ a
controlled variable approach. Without altering the direction
of Helstrom measurement Mg, we change depolarizing to de-
phasing, as illustrated in Fig. 1(c).InFig.3(b), the theoretical
contextual robustness (blue curve) would exhibit a discontinu-
ity near θ=0, where the robustness drops directly from 0.5
to 0. However, based on the experimental results (red curve),
the violation of inequality snear this point is too small
to be reliably detected within the allowed error range (the
standard deviation is 0.001). Consequently, the discontinuity
point occurs near θ=π/25.
It can be observed that for θ>π/25, the contextual
robustness monotonically decreases as coherence increases.
This can be understood as smaller coherence of prepared
states approaching identity measurement in dephasing mea-
surements, resulting in better robustness against noise. The
highest robustness is achieved at θ=π/25, where rdeph
min =
0.504 ±0.001. Comparing Figs. 3(a) and 3(b), contextuality
exhibits different levels of robustness to depolarizing and
dephasing. Specifically, the optimal robustness under dephas-
ing (rdeph
min =0.504 ±0.001) surpasses that under depolarizing
(rdepol
min =0.1976 ±0.0008).
To maximize the robustness of contextuality, we rotate
the Helstrom measurement Mgfrom the zaxis to xunder
dephasing conditions, as illustrated in Fig. 1(d).InFig.3(c),
the theoretical contextual robustness (blue curve) indicates
that as θapproaches 0, rdeph
min converges toward 1. However,
constrained by the limited precision of our experiment, we are
only able to set θ=π/50 to achieve the maximum contextual
robustness of rdeph
min =0.938 ±0.001. This implies that when
the system’s coherence approaches zero and dephasing can
be of any magnitude (up to 0.938 ±0.001), the violation of
the noncontextuality inequality can still occur, indicating the
persistence of contextuality.
052208-4
EXPERIMENTAL INVESTIGATION OF CONTEXTUAL PHYSICAL REVIEW A 109, 052208 (2024)
Finally, to depict the transition of the system from contex-
tuality to noncontextuality under the influence of noise more
clearly, we have chosen representative points from Figs. 3(a)–
3(c), where the contextual robustness achieves its maximum
value, as illustrated in Fig. 3(d). For depolarizing measure-
ments, represented by the black circles and line, we have
θ=π
3. The system intersects the boundary (dashed black
line) at r=0.1976 ±0.0008 with a violation quantity s=
0±0.001. For dephasing measurements with the Helstrom
measurement performed along the zaxis, depicted by the
blue circles and line, we set θ=π/25. The system intersects
the boundary at r=0.504 ±0.001 with s=0±0.001.
For dephasing measurements with the Helstrom measurement
conducted along the xaxis, shown by the red circles and
line, we have θ=π/50. The system intersects the boundary
(dashed black line) at r=0.938 ±0.001 with s=0.002 ±
0.001.
IV. CONCLUSION
Our investigation centers on the scenario of minimum-error
state discrimination within two-dimensional Hilbert spaces.
We conduct an experiment involving depolarizing and dephas-
ing measurements with adjustable noise intensity to explore
the relationship between contextual robustness and coherence.
The experimental results demonstrate that, for both depolariz-
ing and dephasing, contextuality can persist under any degree
of coherence, excluding the extreme cases of coherence 0 and
1. Particularly, in the scenario of dephasing, the robustness of
contextuality is superior to that in the case of depolarizing.
Remarkably, as the coherence approaches zero (yet remains
nonzero), contextuality can exist under arbitrary dephasing.
However, it is important to note that while the presence of
contextuality implies the existence of coherence, the oppo-
site relationship does not always apply. Furthermore, these
conclusions also hold under the basis-independent coher-
ence presented in Appendix C. Consequently, contextuality
can serve as a reliable basis-independent coherence witness.
Finally, the conclusion that the failure of noncontextuality
cannot be achieved without set coherence of all the states
(or all the measurements) bears similarity to the relationship
between entanglement and nonlocality. It appears that coher-
ence plays a pivotal role in inducing contextuality, akin to
the role of entanglement in nonlocality. Hence, we would like
to provide evidence or quantitative discussion to support this
claim in future investigation.
ACKNOWLEDGMENTS
This work is supported by the National Key R&D Program
of China (Grant No. 2023YFA1406701) and the National Nat-
ural Science Foundation of China (Grants No. 12025401, No.
92265209, No. 12104009, No. 12104036, and No. 12305008).
D.K.Q. acknowledges the support from the China Postdoc-
toral Science Foundation (Grant No. 2023M730198) and the
fellowship of China National Postdoctoral Program for Inno-
vative Talents (Grant No. BX20230036).
APPENDIX A: EXPERIMENTAL DETAILS
Here, we describe the procedure for adjusting the angle
of the wave plate to prepare the desired states and conduct
measurements with adjustable noise intensity. By choosing
θ=4ϕ1, where ϕ1represents the angle of HWP1, we can
prepare the state |ψ=cos θ
2|H+sin θ
2|V. This state is em-
ployed in the three scenarios outlined in the main text.
Utilizing noise-free measurements, we conduct quantum
state tomography processes [55] on the prepared states to
obtain their density matrix. This involves the projection of
the prepared states onto four basis {|H,|V,|H−|V
2,|H−i|V
2}
and recording the number of photons counted by detectors.
Subsequently, we compare the experimentally derived density
matrix with theoretical values to assess the quality of the
prepared states based on fidelity. Across all measured states,
our experimental results consistently demonstrate a fidelity
exceeding 99.1% ±0.3%. Additionally, coherence Cand set
coherence R1can be deduced by plugging the experimentally
derived density matrix into Eqs. (10) and (C1).
However, unlike the preparation phase, measurements with
adjustable noise intensity exhibit variation across these three
cases. Fortunately, we have identified a universal approach
for determining the wave plate angle that is applicable to
any trace preserved type of noise. Consider the noise-free
projection basis as |ξξ|; in the presence of noise, it can be
denoted as D(|ξξ|). The trace preserved property ensures
that D(|ξξ|) can always be diagonalized and expressed as
D(|ξξ|)=(1 λ)|ζζ|+λ|¯
ζ¯
ζ|, where λrepresents the
noise intensity, and |ζζ|and |¯
ζ¯
ζ|form an orthogonal
basis.
Subsequently, we elaborate on the implementation of this
form of noise measurement by utilizing the dashed box seg-
ment of the experimental setup as depicted in the main
text. Through the adjustment of the angles of QWP2 and
HWP2, a simultaneous transformation of {|ζζ|,|¯
ζ¯
ζ|}to
{|HH|,|VV|} is achievable. As the photon traverses the
first BD, we attain the projection onto |ζζ|in the upper
path and onto |¯
ζ¯
ζ|in the middle path. Subsequently, by
employing HWP3 (HWP4), the photon is directed through
the second BD into the middle path with a probability of
1λ(λ), facilitating the acquisition of the desired imperfect
measurement in this path.
This approach allows us to obtain imperfect measurements
for all elements in Table II, enabling the assessment of the
contextuality of the system. Consequently, we experimentally
derive the corresponding noise intensity , overlap c, and the
success probability of state discrimination s. Additionally, the
noise intensity rmentioned in the main text can be derived
from .
Furthermore, to calculate effective coherence, we con-
duct quantum state tomography processes [55]onthe
prepared states with imperfect measurements. This in-
volves the projection of the prepared states onto four basis
{D(|H),D(|V),D(|H−|V
2),D(|H−i|V
2)}. The effective co-
herence Ceff and set coherence Reff can then be deduced by
plugging the effective density matrix into Eqs. (10) and (C1).
The resulting outcome is theoretically equivalent to the sce-
nario of a perfect measurement preceded by a noisy channel.
052208-5
JINGYAN LIN et al. PHYSICAL REVIEW A 109, 052208 (2024)
This approach enables us to investigate decoherence in the
Appendix C.
Finally, we provide a concrete example to illustrate the
imperfect measurement process. Let us consider measure-
ments under dephasing noise with the Helstrom measurement
along the xaxis. The Helstrom measurement is expressed
as Ddeph
r(|++|)=(1 rdeph
2)|++| + rdeph
2|−−|, where
|+ = 1
2(|H+|V) and |− = 1
2(|H−|V). By adjust-
ing HWP2 to an angle of ϕ2=22.5, the transformation
from {|++|,|−−|} to {|HH|,|VV|} is achieved. Sub-
sequently, the angles of HWP3 and HWP4 are chosen such
that ϕ4=π
4ϕ3, enabling measurements under the noise
intensity rdeph =2sin
2(2ϕ3). Two counts are considered: the
count of correctly identified photons n0and the count of incor-
rectly identified photons n1. These counts are measured with
two different angles of HWP2: ϕ2=22.5and ϕ2=−22.5.
The success probability of state discrimination is determined
as s=n0/(n0+n1). Applying the same method, we can de-
termine the noise intensity and the overlap cfor imperfect
measurements.
APPENDIX B: DATA ANALYSIS
In adherence to the rigorous standards of Ref. [37],
we adopt the data-processing method initially proposed in
Ref. [31], comprising two sequential steps. The first step,
known as the primary procedure, assumes the experimental
data to be noncontextual and applies fitting through the gener-
alized probability theory (GPT) [56]. This approach facilitates
the verification of contextuality without reliance on the valid-
ity of quantum theory. The second step, termed the secondary
procedure, ensures that the data conform to the requirement of
preparation equivalence.
By relaxing the assumed symmetries among the state
preparations, we redefine Table Iin the main text within the
framework of GPT, as illustrated in Table II. It is noteworthy
that two extra preparations along the yaxis are introduced,
creating an additional dimension to bring the data in the
primary procedure closer to our raw experimental data. More-
over, the observable σyis included to ensure the completeness
of tomographic measurement.
All entries in the table are experimentally obtained and
utilized to construct a 6 ×4matrixDr, defined as Dr=
Pr
|φ,MφPr
|ψ,MφPr
|¯
φ,MφPr
|¯
ψ,MφPr
y,MφPr
¯y,Mφ
Pr
|φ,MψPr
|ψ,MψPr
|¯
φ,MψPr
|¯
ψ,MψPr
y,MψPr
¯y,Mψ
Pr
|φ,MgφPr
|ψ,MgφPr
|¯
φ,MgφPr
|¯
ψ,MgφPr
y,MgφPr
¯y,Mgφ
Pr
|φ,MyPr
|ψ,MyPr
|¯
φ,MyPr
|¯
ψ,MyPr
y,MyPr
¯y,My
.
(B1)
In the primary procedure, according to the proposition in
Supplementary Note 4 of Ref. [31], a matrix Dpcan emerge
from a GPT with three two-outcome measurements that are
tomographically complete if and only if every column of
Dpsatisfies the subsequent equation for j∈{φ, ψ, ¯
φ, ¯
ψ,y,¯y}
and i∈{φ, ψ, gφ, y},
aPp
pj,M1+bPp
pj,M2+cPp
pj,M3+dPp
pj,M41=0,(B2)
where Pp
pj,Mirepresents an element of matrix Dp, and
{a,b,c,d}are real numbers. Geometrically, the proposition
stipulates that the eight columns of Dpare situated on a three-
dimensional hyperplane defined by the constants {a,b,c,d}.
To determine the GPT of best fit, we fit a three-dimensional
hyperplane to the eight four-dimensional points constitut-
ing the columns of Dr. Subsequently, each column of Dris
mapped to its nearest point on the hyperplane, with these eight
points forming the columns of Dr.
The GPT of best fit is established by minimizing the
weighted distance χi, which gauges the deviation between raw
data and primary data, defined as
χi=
4
j=1
Pp
pj,MiPr
pj,Mi
Pr
pj,Mi2.(B3)
Here, Pr
pj,Midenotes the statistical uncertainty in the ex-
periment. Thus, the primary procedure is formulated as the
following minimization problem:
min
{Pp
pj,Mi,a,b,c,d}χ2=min
{a,b,c,d}
6
i=1
χ2
i
s.t.aPp
pj,M1+bPp
pj,M2+cPp
pj,M3+dPp
pj,M41=0,
j=1,...,6.(B4)
Using the method of Lagrange multipliers [57], this problem
can be reformulated as a four-variable optimization problem:
min
{a,b,c,d}χ2=min
{a,b,c,d}
6
i=1
χ2
i
s.t.aPp
pj,M1+bPp
pj,M2+cPp
pj,M3+dPp
pj,M41=0,
j=1,...,6,(B5)
where χ2
i=
aPp
pj,M1+bPp
pj,M2+cPp
pj,M3+dPp
pj,M412
aPp
pj,M12+bPp
pj,M22+cPp
pj,M32+dPp
pj,M412.
(B6)
The χ2parameter resulting from the fitting procedure serves
as a metric for the goodness of fit of the hyperplane to the
data. Given that we are fitting eight data points to a hyperplane
defined by four fitting parameters a,b,c,d, we anticipate the
χ2parameter to follow a χ2distribution with four degrees of
freedom [58], with a mean of 4. If the fitting procedure had
yielded significantly higher χ2values, it would suggest that
the theoretical depiction of the preparation and measurement
procedures necessitated more than three degrees of freedom.
Conversely, if the fitting had produced an average χ2substan-
tially lower than 4, it would indicate an overestimation of the
uncertainty in data.
In the secondary procedure, since the columns of the Dp
matrix define the GPT states, we denote the vector defined by
the ith column as Pp
i. The secondary preparation is character-
ized by a probabilistic mixture of the primary preparations.
Consequently, the GPT state of the secondary preparation is
represented by a vector Ps
i, which is a probabilistic mixture of
052208-6
EXPERIMENTAL INVESTIGATION OF CONTEXTUAL PHYSICAL REVIEW A 109, 052208 (2024)
the Pp
i, defined as
Ps
i=
6
i=1
ui
iPp
i,(B7)
where the ui
iare the weights in the mixture.
Therefore, the 4 ×4matrixDsis formed by the linear
transformation of Dp, denoted as
Ds=UD
p,(B8)
where Uis a 4 ×6 matrix representing the linear transforma-
tion. The preparation equivalence is enforced by the condition
Ps
|φ,Mi+Ps
|¯
φ,Mi=Ps
|ψ,Mi+Ps
|¯
ψ,Mi,j=1,2,3,(B9)
which is essential for establishing noncontextual inequalities.
Here, Ps
|φ,Mi,Ps
|¯
φ,Mi,Ps
|ψ,Mi,Ps
|¯
ψ,Miare elements of Ds.Ad-
ditionally, we aim to ensure that the new states formed by
linear combination are as close to the initial states as possible.
Therefore, the secondary procedure can be summarized as the
following maximization problem:
max Dps =max 1
4
4
v=1
Uvv
s.t.Ps
|φ,Mi+Ps
|¯
φ,Mi=Ps
|ψ,Mi+Ps
|¯
ψ,Mi,
j=1,2,3.(B10)
Solving this problem yields all elements of Ds. The first three
rows of the matrix correspond to rows 2–4 and columns 2–5 in
Table II. Consequently, it becomes feasible to compute all the
elements {φ,¯
φ,
ψ,cφ,c¯
φ,cψ,sφ,s¯
φ,sψ}required for non-
contextual inequalities given afterward based on this relation.
In Fig. 4(a), for clarity, we depict the construction of sec-
ondary preparations within the zx plane of the Bloch sphere.
Indeed, to refine the primary data toward the raw data, we
incorporate processes within the bulk of the Bloch sphere
using a similar methodology. Equation (B9) dictates that all
preparations need not converge to the center of the Bloch
sphere, but rather to the same state. Consequently, the two
pairs need not be coplanar in the Bloch sphere. Based on
this principle, supplementing the original set with just the two
eigenstates of σyoffers a suitable compromise between main-
taining a low number of preparations and ensuring proximity
of the secondary preparations to the ideal. As the σyeigen-
states are maximally distant from the zx plane, they facilitate
moving any point close to that plane in the ±ydirection, while
inducing only modest motion within the zx plane.
Given the absence of assumed symmetry, the noncontex-
tual inequalities in this scenario are not reducible to a single
inequality, as detailed in the full set of 15 noncontextuality
inequalities provided in Appendix D of Ref. [37]. Conse-
quently, we calculate the violation of all inequalities related to
the probability of successful discrimination listed below and
FIG. 4. The results of data analysis for preparation equivalence.
Raw preparations (blue triangles) are derived from experimental
data. Primary preparations (orange dots) represent the outcomes of
fitting with the GPT theory. Secondary preparations (green rectan-
gles) are specifically chosen to satisfy the assumption of preparation
equivalence. (a) The formation of secondary preparations occurs
within the zx plane of the Bloch sphere. If the four primary prepa-
rations are achievable, then any preparation within their convex hull
can be simulated. The scenario where preparation equivalence is met
corresponds to the alignment of the center point of the black dotted
line between two pairs of states. In (b)–(d), the secondary data sat-
isfies PMi=0, where PMi=Ps
|φ,Mi+Ps
|¯
φ,MiPs
|ψ,MiPs
|¯
ψ,Mi.
Each point in (b)–(d) corresponds to one preparation and measure-
ment setup within the contextual region of Fig. 3in the main text.
identify the largest violation.
0cψ+s¯
φsψ+φ
0cψs¯
φ+sψ+φ
0cψ+sφ+sψ+¯
φ
0cφ+s¯
φsψ+ψ
0c¯
φ+sφ+sψ+φ
0cφs¯
φ+sψ+φ
02cψsφsψ+¯
φ
02c¯
φsφsψ+ψ.
(B11)
For consistency with the noncontextual inequality violations
mentioned in the main text, we multiply the violations of
these equations by one-half. The violation of any one of these
inequalities signifies the contextual nature of the system.
In situations where the noise intensity approaches 1, the
secondary process shows substantial deviation from the raw
data at certain points, primarily because the preparations and
measurements are very close together. Consequently, while
all data undergo primary processing, secondary processing
is selectively applied to points that reveal contextuality, pre-
serving the rigor of our conclusions. Additionally, for the
scenario where both |φφ|and |ψψ|are close to the zaxis
in the zx plane of the Bloch sphere in the main text, two
052208-7
JINGYAN LIN et al. PHYSICAL REVIEW A 109, 052208 (2024)
extra preparations along the xaxis are introduced to bring
the data in the primary procedure closer to the raw data. Data
analysis for the 88 points revealing contextuality is presented
in Figs. 4(b)–4(d), where all secondary points satisfy the con-
dition of preparation equivalence.
APPENDIX C: COHERENCE, SET COHERENCE,
AND EFFECTIVE COHERENCE
The definition of contextuality used in the main text is
independent of the basis, whereas coherence is basis depen-
dent. This distinction might raise concerns about the potential
influence of coordinate choices on our conclusions. To address
this, we illustrate below that our two main conclusions in the
main text can still be drawn when examining the relationship
between contextuality and set coherence, both of which are
independent of bases.
The concept of set coherence, as introduced in Ref. [59],
offers a basis-independent quantification of coherence by min-
imizing the coherence of states in the set across all possible
basis choices. For a pair of qubit states ρ1and ρ2, the mean
robustness of set coherence R1characterizes the intrinsic co-
herence of this set and is given by the expression
R1(
ρ)=min
pS2
1
2
q1|sin(
p,
q1)|+1
2
q2|sin(
p,
q2)|,(C1)
where
q1(
q2) is the Bloch vector of ρ1(ρ2), and (
p,
q1)
represents the angle between the Bloch vector
pand
q1.For
pairs of pure qubit states, the minimum in Eq. (C1) is achieved
when
pcoincides with either
q1or
q2. In the case of mixed
states, the optimal
paligns with the Bloch vector of the purest
state, corresponding to the longest Bloch vector.
Firstly, Fig. 5(a) explores the relationship between contex-
tuality and set coherence without the influence of noise. The
horizontal axis signifies the system state, while the vertical
axis represents the values of each physical quantity. The ex-
pressions for these four physical quantities in Fig. 5(a) can be
formulated as
R1=1
2sin(2θ),
C=sin θ,
sz=1
2(cos θ+sin2θ1),
sx=1
2(sin θ+cos2θ1).
(C2)
When comparing the connection between contextuality and
set coherence in both scenarios, despite the difference in
coordinate selection, the relationship remains consistent. To
emphasize this point, Fig. 5(b) offers a clearer depiction of the
association between contextuality and set coherence, where
the experimental data in two cases align closely with the same
theoretical values. It is noteworthy that a R1value corresponds
to two s, while the values of Cand shave a one-to-one
correspondence. Therefore, investigating the relationship be-
tween coherence and contextuality is more advantageous for
drawing conclusions, which is a central focus of our research
in the main text.
The conclusion, similar to the main text, can still be drawn
here: contextuality implies the presence of set coherence in
FIG. 5. Contextuality and different measures of coherence-
coherence C, set coherence R1, and efficient coherence Ceff (set
coherence Reff). All data points in the figure correspond to exper-
imental results. For all states measured, the fidelity consistently
remains above 99.1% ±0.3%. (a) The system with two coordinate
choices in the absence of noise. Blue points represent the case of
Helstrom measurement performed along the zaxis, while red points
represent the case of the Helstrom measurement performed along
the xaxis. Different shapes represent different physical quantities:
circles represent the violation of noncontextual inequalities s,
triangles represent R1, and squares represent C. The curve repre-
sents the corresponding theoretical values of each physical quantity.
(b) The relationship between contextuality and set coherence under
the change of parameter θ. (c) The system with one coordinate
choice in the present of two types of noise. The system state θis
set to 1.0472, near the maximum of sin the absence of noise.
Black represents the case of depolarizing noise, and blue represents
the case of dephasing noise. The solid line represents Reff, and the
dashed line represents Ceff. (d) The relationship between contextual-
ity and efficient coherence (set coherence) under the change of noise
intensity r.
the system, as depicted in Figs. 5(a) and 5(b). This rela-
tionship is also theoretically established in Appendix B of
Ref. [41]. However, the reverse is not necessarily true under
sufficient levels of noise. Additionally, it is noteworthy that the
conclusion holds when set coherence approaches zero (while
remaining nonzero); contextuality can endure under arbitrary
amounts of partially dephasing, as observed by comparing the
set coherence curve in Fig. 5(a) here and the contextuality
boundary curve in Fig. 3(c) in the main text.
In the subsequent analysis shown in Fig. 5(c), we investi-
gate decoherence through effective coherence (set coherence)
under two types of noise, specifically focusing on the case of
the Helstrom measurement performed along the zaxis. The
effective coherence Ceff (set coherence Reff) is deduced from
the density matrix obtained through state tomography with
imperfect measurements in our scenario. This is equivalent
to quantifying the coherence (set coherence) of the system
after it has undergone the same type of noisy channel. The
equations for Reff,Ceff, and sunder depolarizing noise are
052208-8
EXPERIMENTAL INVESTIGATION OF CONTEXTUAL PHYSICAL REVIEW A 109, 052208 (2024)
as follows:
Rdepol
eff =1
2(1 r)sin(2θ),
Cdepol
eff =(1 r)sinθ, (C3)
sdepol
z=1
2[(1 r)(cos θ+sin2θ)1].
The expressions for Reff,Ceff, and sunder dephasing noise
are formulated as
Rdeph
eff =(1 r)sin(2θ)
2cos2θ+(1 r)2sin2θ
,
Cdeph
eff =(1 r)sinθ,
sdeph
z=1
2[cos θ+(1 r)sin
2θ1].
(C4)
As the intensity of noise increases, the efficient coherence
Ceff (set coherence Reff) decreases, as illustrated in Fig. 5(c).
Building upon this observation of decoherence, we further
study the performance of contextuality in Fig. 5(d). The be-
haviors of Reff,Ceff, and sexhibit both linear and nonlinear
relationships, depending on the type of noise. In the case of
decoherence, this implies that the smaller the efficient co-
herence (set coherence), the less pronounced the violation
of the noncontextuality inequality, making the existence of
contextuality less likely.
APPENDIX D: ADDITIONAL DISCUSSION REGARDING
CONTEXTUALITY AND COHERENCE
Here, we explore the feasible method to establish a
basis-independent relationship between contextuality and co-
herence in the context of Spekkens’ categorization [3].
Spekkens distinguishes between preparation noncontextual-
ity and measurement noncontextuality, with Kochen-Specker
noncontextuality falling into the latter category.
For preparation noncontextuality, the construction of
preparation equivalence, akin to the first equality in Eq. (2)
in the main text, is essential. This implies that the derived
noncontextual inequalities involve at least two states and their
orthogonal counterparts. In such cases, the basis-independent
definition of coherence, known as set coherence, becomes rel-
evant and can be employed to explore the basis-independent
relationship between contextuality and set coherence of all the
states, as demonstrated in our work.
For measurement noncontextuality, the construction of
measurement equivalence, similar to preparation equivalence,
is essential. This implies that the resulting noncontextual in-
equalities involve at least two measurements. In such cases,
the set coherence of the measurement basis becomes rele-
vant and can be employed to explore the basis-independent
relationship between contextuality and set coherence for all
measurements. For example, when verifying Kochen-Specker
contextuality, at least one noncommutation pair of operators is
required. In this context, it is intriguing to investigate the set
coherence of the measurements. Moreover, the set coherence
of states can also be investigated by constructing a set of states
to test Kochen-Specker contextuality.
Finally, the conclusion that the failure of noncontextuality
cannot be achieved without set coherence of all the states
(or all the measurements), strictly proven in Ref. [41], bears
similarity to the relationship between entanglement and non-
locality. We speculate that coherence plays a pivotal role in
inducing contextuality, akin to the role of entanglement in
nonlocality. Therefore, we aim to establish a link between
coherence and contextuality.
[1] J.S.Bell,Rev. Mod. Phys. 38, 447 (1966).
[2] S. Kochen and E. P. Specker, J. Math. Mech. 17, 59 (1967).
[3] R. W. Spekkens, Phys. Rev. A 71, 052108 (2005).
[4] R. W. Spekkens, D. H. Buzacott, A. J. Keehn, B. Toner, and
G. J. Pryde, Phys. Rev. Lett. 102, 010401 (2009).
[5] A. Chailloux, I. Kerenidis, S. Kundu, and J. Sikora, New J.
Phys. 18, 045003 (2016).
[6] D. Saha, P. Horodecki, and M. Pawłowski, New J. Phys. 21,
093057 (2019).
[7] S. Gupta, D. Saha, Z.-P. Xu, A. Cabello, and A. S. Majumdar,
Phys.Rev.Lett.130, 080802 (2023).
[8] A. Hameedi, A. Tavakoli, B. Marques, and M. Bourennane,
Phys.Rev.Lett.119, 220402 (2017).
[9] S.A.YadavalliandR.Kunjwal,Quantum 6, 839 (2022).
[10] M. Howard, J. Wallman, V. Veitch, and J. Emerson, Nature
(London) 510, 351 (2014).
[11] D. Schmid, H. Du, J. H. Selby, and M. F. Pusey, Phys. Rev. Lett.
129, 120403 (2022).
[12] R. Raussendorf, J. Bermejo-Vega, E. Tyhurst, C. Okay, and M.
Zurel, Phys.Rev.A101, 012350 (2020).
[13] A. K. Daniel and A. Miyake, Phys. Rev. Lett. 126, 090505
(2021).
[14] T. Baumgratz, M. Cramer, and M. B. Plenio, Phys.Rev.Lett.
113, 140401 (2014).
[15] A. Streltsov, G. Adesso, and M. B. Plenio, Rev. Mod. Phys. 89,
041003 (2017).
[16] A. Winter and D. Yang, Phys. Rev. Lett. 116, 120404 (2016).
[17] J. H. Selby and C. M. Lee, Quantum 4, 319 (2020).
[18] F. Ahnefeld, T. Theurer, D. Egloff, J. M. Matera, and M. B.
Plenio, Phys.Rev.Lett.129, 120501 (2022).
[19] D. Qu, K. Wang, L. Xiao, X. Zhan, and P. Xue, npj Quantum
Inf. 7, 154 (2021).
[20] P. Wang, J. Zhang, C.-Y. Luan, M. Um, Y. Wang, M. Qiao,
T. Xie, J.-N. Zhang, A. Cabello, and K. Kim, Sci. Adv. 8,
eabk1660 (2022).
[21] S. B. van Dam, J. Cramer, T. H. Taminiau, and R. Hanson, Phys.
Rev. Lett. 123, 050401 (2019).
[22] Z.-H. Liu, H.-X. Meng, Z.-P. Xu, J. Zhou, J.-L. Chen, J.-S.
Xu, C.-F. Li, G.-C. Guo, and A. Cabello, Phys. Rev. Lett. 130,
240202 (2023).
[23] P. Xue, L. Xiao, G. Ruffolo, A. Mazzari, T. Temistocles, M. T.
Cunha, and R. Rabelo, Phys.Rev.Lett.130, 040201 (2023).
[24] R. W. Spekkens, Phys.Rev.A75, 032110 (2007).
[25] A. Cabello, Phys. Rev. Lett. 101, 210401 (2008).
052208-9
JINGYAN LIN et al. PHYSICAL REVIEW A 109, 052208 (2024)
[26] E. Amselem, M. Rådmark, M. Bourennane, and A. Cabello,
Phys.Rev.Lett.103, 160405 (2009).
[27] X. Zhan, X. Zhang, J. Li, Y. Zhang, B. C. Sanders, and P. Xue,
Phys.Rev.Lett.116, 090401 (2016).
[28] X. Zhan, E. G. Cavalcanti, J. Li, Z. Bian, Y. Zhang, H. M.
Wiseman, and P. Xue, Optica 4, 966 (2017).
[29] X. Zhan, P. Kurzy´
nski, D. Kaszlikowski, K. Wang, Z.
Bian, Y. Zhang, and P. Xue, Phys. Rev. Lett. 119, 220403
(2017).
[30] D. Qu, P. Kurzy´
nski, D. Kaszlikowski, S. Raeisi, L. Xiao, K.
Wang, X. Zhan, and P. Xue, Phys. Rev. A 101, 060101(R)
(2020).
[31] M. D. Mazurek, M. F. Pusey, R. Kunjwal, K. J. Resch, and R. W.
Spekkens, Nat. Commun. 7, ncomms11780 (2016).
[32] J. H. Selby, D. Schmid, E. Wolfe, A. B. Sainz, R.
Kunjwal, and R. W. Spekkens, Phys. Rev. Lett. 130, 230201
(2023).
[33] G. Sharma, S. Sazim, and S. Mal, Phys. Rev. A 104, 032424
(2021).
[34] A. Chaturvedi, M. Farkas, and V. J. Wright, Quantum 5, 484
(2021).
[35] R. Wagner, R. D. Baldijão, A. Tezzin, and B. Amaral, J. Phys.
A: Math. Theor. 56, 505303 (2023).
[36] R. Wagner, A. Camillini, and E. F. Galvão, Quantum 8, 1240
(2024).
[37] D. Schmid and R. W. Spekkens, Phys.Rev.X8, 011015
(2018).
[38] Q. Zhang, C. Zhu, Y. Wang, L. Ding, T. Shi, X. Zhang,
S. Zhang, and W. Zhang, Chin. Phys. Lett. 39, 080301
(2022).
[39] R. Kunjwal and R. W. Spekkens, Phys. Rev. Lett. 115, 110403
(2015).
[40] I. Marvian, arXiv:2003.05984.
[41] V. P. Rossi, D. Schmid, J. H. Selby, and A. B. Sainz, Phys. Rev.
A108, 032213 (2023).
[42] M. Lugli, P. Perinotti, and A. Tosini, Phys.Rev.Lett.125,
110403 (2020).
[43] H. Lee, K. Flatt, C. R. i Carceller, J. B. Brask, and J. Bae, Phys.
Rev. A 106, 032422 (2022).
[44] D. Ha and J. S. Kim, Phys.Rev.A105, 032421 (2022).
[45] S. M. Cohen, Phys.Rev.A107, 012401 (2023).
[46] I. A. Burenkov, M. V. Jabir, A. Battou, and S. V. Polyakov, PRX
Quantum 1, 010308 (2020).
[47] G. Zhu, O. Kálmán, K. Wang, L. Xiao, D. Qu, X. Zhan, Z. Bian,
T. Kiss, and P. Xue, Phys. Rev. A 100, 052307 (2019).
[48] X. W. Wang, G. Y. Zhu, L. Xiao, X. Zhan, and P. Xue, Quantum
Inf. Process 23, 8 (2024).
[49] C. H. Bennett, Phys.Rev.Lett.68, 3121 (1992).
[50] T. S. Cubitt, D. Leung, W. Matthews, and A. Winter, Phys. Rev.
Lett. 104, 230503 (2010).
[51] C. W. Helstrom, J. Stat. Phys. 1, 231 (1969).
[52] P. Xue, R. Zhang, H. Qin, X. Zhan, Z. H. Bian, J. Li, and B. C.
Sanders, Phys.Rev.Lett.114, 140502 (2015).
[53] Z. Bian, J. Li, H. Qin, X. Zhan, R. Zhang, B. C. Sanders, and P.
Xue, Phys. Rev. Lett. 114, 203602 (2015).
[54] K. Wang, X. Qiu, L. Xiao, X. Zhan, Z. Bian, B. C. Sanders, W.
Yi, and P. Xue, Nat. Commun. 10, 2293 (2019).
[55] D. F. V. James, P. G. Kwiat, W. J. Munro, and A. G. White,
Phys. Rev. A 64, 052312 (2001).
[56] J. Barrett, Phys.Rev.A75, 032304 (2007).
[57] M. Krystek and M. Anton, Meas. Sci. Technol. 18, 3438
(2007).
[58] W. H. Press, Numerical Recipes 3rd Edition: The Art of Scientific
Computing (Cambridge University, Cambridge, 2007).
[59] S. Designolle, R. Uola, K. Luoma, and N. Brunner, Phys. Rev.
Lett. 126, 220404 (2021).
052208-10
... pass preparations, transformations, and unsharp measurements [5], contrasting with the Kochen-Specker theorem that primarily focuses on projective measurements. Since then, generalised contextuality has been proved to subsume or be related to many common notions of nonclassicality [4,10,18,[26][27][28][29][30][31][32][33], while challenging the nonclassical status of some phenomena [34][35][36][37][38]. Within the generalized contextuality framework -and therefore throughout this manuscript -a theory or scenario therein is deemed classical when it can be explained by a generalized noncontextual ontological model. ...
Preprint
Full-text available
Generalised contextuality is a well-motivated notion of nonclassicality powering up a myriad of quantum tasks, among which is the celebrated case of a two-party information processing task where classical information is compressed in a quantum channel, the parity-oblivious multiplexing (POM) task. The success rate is the standard quantifier of resourcefulness for this task, while robustness-based quantifiers are as operationally motivated and have known general properties. In this work, we leverage analytical and numerical tools to estimate robustness of contextuality in POM scenarios under different types of noise. We conclude that for the 3-to-1 case the robustness of contextuality to depolarisation, as well as a minimisation of the robustness of contextuality to dephasing over all bases, are good quantifiers for the nonclassical advantage of this scenario. Moreover, we obtain a general relation between robustness of contextuality to depolarisation and the success rate in any n-to-1 POM scenario and show how it can be used to bound the number of bits encoded in this task.
Article
Full-text available
We analyse nonclassical resources in interference phenomena using generalized noncontextuality inequalities and basis-independent coherence witnesses. We use recently proposed inequalities that witness both resources within the same framework. We also propose, in view of previous contextual advantage results, a systematic way of applying these tools to characterize advantage provided by coherence and contextuality in quantum information protocols. We instantiate this methodology for the task of quantum interrogation, famously introduced by the paradigmatic bomb-testing interferometric experiment, showing contextual quantum advantage for such a task.
Article
Full-text available
The fundamental quantum mechanical features forbid non-orthogonal quantum states to be distinguished accurately through a single-shot measurement. Using parity-time (PT\mathcal{P}\mathcal{T}) quantum mechanics, however, a perfect state discrimination with certainty can be implemented. Here, we experimentally implement quantum state discrimination for photonic single-qubit states by executing post-selected gates and loss-based non-unitary evolutions in the PT\mathcal{P}\mathcal{T}-symmetric system, providing a relatively superior strategy for state discrimination in non-Hermitian systems. We also unveil the origin of PT\mathcal{P}\mathcal{T} quantum state discrimination by embedding the PT\mathcal{P}\mathcal{T} dynamics into a higher-level system under unitary dynamics. This experimental work demonstrates the key principle of PT\mathcal{P}\mathcal{T} quantum state discrimination and opens a door of other effective approaches in the PT\mathcal{P}\mathcal{T}-symmetric quantum mechanics.
Article
Full-text available
We employ the resource theory of generalized contextuality as a tool for analyzing the structure of prepare-and-measure scenarios. We argue that this framework simplifies proofs of quantum contextuality in complex scenarios and strengthens existing arguments regarding robustness of experimental implementations. As a case study, we demonstrate quantum contextuality associated with any nontrivial noncontextuality inequality for a class of useful scenarios by noticing a connection between the resource theory and measurement simulability. Additionally, we expose a formal composition rule that allows engineering complex scenarios from simpler ones. This approach provides insights into the noncontextual polytope structure for complex scenarios and facilitates the identification of possible quantum violations of noncontextuality inequalities.
Article
Full-text available
We consider the problem of entanglement-assisted one-shot classical communication. In the zero-error regime, entanglement can increase the one-shot zero-error capacity of a family of classical channels following the strategy of Cubitt et al., Phys. Rev. Lett. 104, 230503 (2010). This strategy uses the Kochen-Specker theorem which is applicable only to projective measurements. As such, in the regime of noisy states and/or measurements, this strategy cannot increase the capacity. To accommodate generically noisy situations, we examine the one-shot success probability of sending a fixed number of classical messages. We show that preparation contextuality powers the quantum advantage in this task, increasing the one-shot success probability beyond its classical maximum. Our treatment extends beyond Cubitt et al. and includes, for example, the experimentally implemented protocol of Prevedel et al., Phys. Rev. Lett. 106, 110505 (2011). We then show a mapping between this communication task and a corresponding nonlocal game. This mapping generalizes the connection with pseudotelepathy games previously noted in the zero-error case. Finally, after motivating a constraint we term context-independent guessing , we show that contextuality witnessed by noise-robust noncontextuality inequalities obtained in R. Kunjwal, Quantum 4, 219 (2020), is sufficient for enhancing the one-shot success probability. This provides an operational meaning to these inequalities and the associated hypergraph invariant, the weighted max-predictability, introduced in R. Kunjwal, Quantum 3, 184 (2019). Our results show that the task of entanglement-assisted one-shot classical communication provides a fertile ground to study the interplay of the Kochen-Specker theorem, Spekkens contextuality, and Bell nonlocality.
Article
Generalized contextuality is a resource for a wide range of communication and information processing protocols. However, contextuality is not possible without coherence, and so can be destroyed by dephasing noise. Here, we explore the robustness of contextuality to partially dephasing noise in a scenario related to state discrimination (for which contextuality is a resource). We find that a vanishing amount of coherence is sufficient to demonstrate the failure of noncontextuality in this scenario, and we give a proof of contextuality that is robust to arbitrary amounts of partially dephasing noise. This is in stark contrast to partially depolarizing noise, which is always sufficient to destroy contextuality.
Article
Contextuality is a distinctive feature of quantum theory and a fundamental resource for quantum computation. However, existing examples of contextuality in high-dimensional systems lack the necessary robustness required in experiments. Here, we address this problem by identifying a family of noncontextuality inequalities whose maximum quantum violation grows with the dimension of the system. At first glance, this contextuality is the single-system version of multipartite Bell nonlocality taken to an extreme form. What is interesting is that the single-system version achieves the same degree of contextuality but uses a Hilbert space of lower dimension. That is, contextuality “concentrates” as the degree of contextuality per dimension increases. We show the practicality of this result by presenting an experimental test of contextuality in a seven-dimensional system. By simulating sequences of quantum ideal measurements with destructive measurements and repreparation in an all-optical setup, we report a violation of 68.7 standard deviations of the simplest case of the noncontextuality inequalities identified. Our results advance the investigation of high-dimensional contextuality, its connection to the Clifford algebra, and its role in quantum computation.
Article
The existence of incompatible measurements is often believed to be a feature of quantum theory which signals its inconsistency with any classical worldview. To prove the failure of classicality in the sense of Kochen-Specker noncontextuality, one does indeed require sets of incompatible measurements. However, a more broadly applicable notion of classicality is the existence of a generalized-noncontextual ontological model. In particular, this notion can imply constraints on the representation of outcomes even within a single nonprojective measurement. We leverage this fact to demonstrate that measurement incompatibility is neither necessary nor sufficient for proofs of the failure of generalized noncontextuality. Furthermore, we show that every proof of the failure of generalized noncontextuality in a quantum prepare-measure scenario can be converted into a proof of the failure of generalized noncontextuality in a corresponding scenario with no incompatible measurements.
Article
Despite the conceptual importance of contextuality in quantum mechanics, there is a hitherto limited number of applications requiring contextuality but not entanglement. Here, we show that for any quantum state and observables of sufficiently small dimensions producing contextuality, there exists a communication task with quantum advantage. Conversely, any quantum advantage in this task admits a proof of contextuality whenever an additional condition holds. We further show that given any set of observables allowing for quantum state-independent contextuality, there exists a class of communication tasks wherein the difference between classical and quantum communication complexities increases as the number of inputs grows. Finally, we show how to convert each of these communication tasks into a semi-device-independent protocol for quantum key distribution.
Article
Bell nonlocality and Kochen-Specker contextuality are two remarkable nonclassical features of quantum theory, related to strong correlations between outcomes of measurements performed on quantum systems. Both phenomena can be witnessed by the violation of certain inequalities, the simplest and most important of which are the Clauser-Horne-Shimony-Holt (CHSH) and the Klyachko-Can-Binicioğlu-Shumovski (KCBS), for Bell nonlocality and Kochen-Specker contextuality, respectively. It has been shown that, using the most common interpretation of Bell scenarios, quantum systems cannot violate both inequalities concomitantly, thus suggesting a monogamous relation between the two phenomena. In this Letter, we show that the joint consideration of the CHSH and KCBS inequalities naturally calls for the so-called generalized Bell scenarios, which, contrary to the previous results, allows for joint violation of them. In fact, this result is not a special feature of such inequalities: We provide very strong evidence that there is no monogamy between nonlocality and contextuality in any scenario where both phenomena can be observed. We also implement a photonic experiment to test the synchronous violation of both CHSH and KCBS inequalities. Our results agree with the theoretical predictions, thereby providing experimental proof of the coexistence of Bell nonlocality and contextuality in the simplest scenario, and lead to novel possibilities where both concepts could be jointly employed for quantum information processing protocols.
Article
Quantum state discrimination involves identifying a given state out of a set of possible states. When the states are mutually orthogonal, perfect state discrimination is always possible using a global measurement. In the case of multipartite systems when the parties are constrained to use multiple rounds of local operations and classical communication (LOCC), perfect state discrimination is often impossible even with the use of asymptotic LOCC, wherein an error is allowed but must vanish in the limit of an infinite number of rounds. Utilizing our recent results on asymptotic LOCC, we derive a lower bound on the error probability for LOCC discrimination of any given set of mutually orthogonal pure states. Informed by the insights gained from this lower bound, we are able to prove necessary conditions for perfect state discrimination by asymptotic LOCC. We then illustrate by example the power of these necessary conditions in significantly simplifying the determination of whether perfect discrimination of a given set of states can be accomplished arbitrarily closely using LOCC. The latter examples include a proof that perfect discrimination by asymptotic LOCC is impossible for any minimal unextendible product basis (UPB), where minimal means that for the given multipartite system no UPB with a smaller number of states can exist. We also give a simple proof that what has been called strong nonlocality without entanglement is considerably stronger than had previously been demonstrated.