Abstract
To make precise the sense in which nature fails to respect classical physics, one requires a formal notion of classicality. Ideally, such a notion should be defined operationally, so that it can be subject to direct experimental test, and it should be applicable in a wide variety of experimental scenarios so that it can cover the breadth of phenomena thought to defy classical understanding. Bell’s notion of local causality fulfils the first criterion but not the second. The notion of noncontextuality fulfils the second criterion, but it is a longstanding question whether it can be made to fulfil the first. Previous attempts to test noncontextuality have all assumed idealizations that real experiments cannot achieve, namely noiseless measurements and exact operational equivalences. Here we show how to devise tests that are free of these idealizations. We perform a photonic implementation of one such test, ruling out noncontextual models with high confidence.
Introduction
Making precise the manner in which a quantum world differs from a classical one is a surprisingly difficult task. The most successful attempt, due to Bell^{1}, shows a conflict between quantum theory and a feature of classical relativistic theories termed local causality, which asserts that no causal influences propagate faster than light. But the latter assumption can only be tested for scenarios wherein there are two or more systems that are spacelike separated. And yet few believe that this highly specialized situation is the only point where the quantum departs from the classical. A leading candidate for a notion of nonclassicality with a broader scope is the failure of quantum theory to admit of a noncontextual model, as proven by Kochen and Specker^{2}. Recent work has highlighted how this notion lies at the heart of many phenomena that are taken to be distinctly quantum: the fact that quasiprobability representations go negative^{3,4}, the existence of quantum advantages for cryptography^{5} and for computation^{6,7,8}, and the possibility of anomalous weak values^{9}. Consequently, the study of noncontextuality has not only foundational significance but practical applications as well.
An experimental refutation of noncontextuality would demonstrate that the conflict with noncontextual models is not only a feature of quantum theory, but of nature itself, and hence also of any successor to quantum theory. The requirements for such an experimental test, however, have been a subject of much controversy^{10,11,12,13,14,15,16}.
A fundamental problem with most proposals for testing noncontextuality^{17,18,19,20,21,22,23,24}, and experiments performed to date^{25,26,27,28,29,30,31,32}, is that they seek to test a notion of noncontextuality which posits that measurements have a deterministic response in the noncontextual model. It has been shown that such determinism is only justified under the idealization that measurements are noiseless^{33}, which is never satisfied precisely by any real experiment. We refer to this issue as the problem of noisy measurements.
Another critical problem with previous proposals is the fact that the assumption of noncontextuality can only be brought to bear when two measurement events (an event is a measurement and an outcome) are operationally equivalent, which occurs when the two events are assigned exactly the same probability by all preparation procedures^{34}; in this case they are said to differ only by the measurement context. In a real experiment, however, one never achieves the ideal of precise operational equivalence. Previous work on testing noncontextuality—including the only experiment to have circumvented the problem of noisy measurements (by focusing on preparations)^{5}—has failed to provide a satisfactory account of how the deviation from strict operational equivalence should be accounted for in the interpretation of the results. We term this problem the problem of inexact operational equivalence.
In this work, we solve both of the above problems. We contend with the problem of noisy measurements by devising a test of a generalised notion of noncontextuality, proposed in ref. 34, that allows general measurements to have an indeterministic response while reducing to the traditional notion in the idealized case of projective quantum measurements. For the problem of inexact operational equivalence, whereas some have been led to consider modifying the definition of noncontextuality so that it applies to pairs of procedures that are merely close to operationally equivalent^{35,36}, we circumvent the problem by demonstrating a general technique that appeals to equivalences not among the procedures themselves, but certain convex mixtures thereof. Of course, any judgment of operational equivalence of measurements (preparations) rests on an assumption about which sets of preparations (measurements) are sufficient to establish such equivalence, that is, which sets are tomographically complete. We here assume that the cardinality of a tomographicallycomplete set of measurements (preparations) for a photon’s polarization is three (four), as it is in quantum theory. We collect some experimental evidence for this assumption—another improvement over previous experiments—but the possibility of its failure is the most significant remaining loophole for tests of noncontextuality. For Bell’s notion of local causality, the theoretical work of Clauser et al.^{37} was critical to enabling an experimental test without unphysical idealizations, e.g., without the perfect anticorrelations presumed in Bell’s original proof^{1}. Similarly, the theoretical innovations we introduce here make it possible for the first time to subject noncontextuality to an experimental test without the idealizations described above. We report on a quantumoptical experiment of this kind, the results of which rule out noncontextual models with high confidence.
Results
A noncontexuality inequality
According to the operational approach proposed in ref. 34, to assume noncontextuality is to assume a constraint on modelconstruction, namely, that if procedures are statistically equivalent at the operational level then they ought to be statistically equivalent in the underlying model.
Operationally, a system is associated with a set (resp. ) of physically possible measurement (resp. preparation) procedures. An operational theory specifies the possibilities for the conditional probabilities where X ranges over the outcomes of measurement M. In an ontological model of such a theory, the causal influence of the preparation on the measurement outcome is mediated by the ontic state of the system, that is, a full specification of the system’s physical properties. We denote the space of ontic states by Λ. It is presumed that when the preparation P is implemented, the ontic state of the system, λ∈Λ, is sampled from a probability distribution μ(λP), and when the system is subjected to the measurement M, the outcome X is distributed as ξ(XM, λ). Finally, for the model to reproduce the experimental statistics, we require that
A general discussion of this notion of noncontextuality is provided in Supplementary Note 1, where we also explain how it differs from the notion used in previous experimental tests and why the latter makes unphysical idealizations. This notion can also be understood through the concrete example we consider here (which is based on a construction from Section V of ref. 34).
Suppose there is a measurement procedure, M_{*}, that is operationally indistinguishable from a fair coin flip: it always gives a uniformly random outcome regardless of the preparation procedure,
In this case, noncontextuality dictates that in the underlying model, the measurement should also give a uniformly random outcome regardless of the ontic state of the system,
In other words, because M_{*} appears operationally to be just like a coin flip, noncontextuality dictates that physically it must be just like a coin flip.
The second application of noncontextuality is essentially a timereversed version of the first. Suppose there is a triple of preparation procedures, P_{1}, P_{2} and P_{3}, that are operationally indistinguishable from one another: no measurement reveals any information about which of these preparations was implemented,
In this case, noncontextuality dictates that in the underlying model, the ontic state of the system does not contain any information about which of these preparation procedures was implemented,
In other words, because it is impossible, operationally, to extract such information, noncontextuality dictates that physically, the information is not present in the system.
Suppose that M_{*} can be realized as a uniform mixture of three other binaryoutcome measurements, denoted M_{1}, M_{2} and M_{3}. That is, one implements M_{*} by uniformly sampling t∈{1, 2, 3}, implementing M_{t}, then outputting its outcome as the outcome of M_{*} (ignoring t thereafter). Finally, suppose that each preparation P_{t} can be realized as the equal mixture of two other preparation procedures, denoted P_{t,0} and P_{t,1}.
Consider implementing M_{t} on P_{t,b}, and consider the average degree of correlation between the measurement outcome X and the preparation variable b:
We now show that noncontextuality implies a nontrivial bound on A.
The proof is by contradiction. In order to have perfect correlation on average, we require perfect correlation in each term, which implies that for all ontic states λ assigned nonzero probability by P_{t,b}, the measurement M_{t} must respond deterministically with the X=b outcome. Given that P_{t} is an equal mixture of P_{t,0} and P_{t,1}, it follows that for all ontic states λ assigned nonzero probability by P_{t}, the measurement M_{t} must have a deterministic response, i.e., ξ(X=bM_{t}, λ)∈{0, 1}.
But equation (5) (which follows from the assumption of noncontextuality) asserts that the preparations P_{1}, P_{2} and P_{3} must assign nonzero probability to precisely the same set of ontic states. Therefore, to achieve perfect correlation on average, each measurement must respond deterministically to all the ontic states in this set.
Now note that by the definition of M_{*}, the probability of its outcome X=b is . But then equation (3) (which follows from the assumption of noncontextuality) says
For each deterministic assignment of values, (ξ(X=bM_{1}, λ), ξ(X=bM_{2}, λ), ξ(X=bM_{3}, λ))∈{(0, 0, 0), (0, 0, 1), …, (1, 1, 1)}, the constraint of equation (7) is violated. It follows, therefore, that for a given λ, one of M_{1}, M_{2} or M_{3} must fail to have a deterministic response, contradicting the requirement for perfect correlation on average. This concludes the proof.
The precise (i.e., tight) bound is
as we demonstrate in Supplementary Figs 1–3, Supplementary Tables 1 and 2, and Supplementary Note 2. This is our noncontextuality inequality.
Quantum violation of the inequality
Quantum theory predicts there is a set of preparations and measurements on a qubit having the supposed properties and achieving A=1, the logical maximum. Take the M_{t} to be represented by the observables σ·n_{t} where σ is the vector of Pauli operators and the unit vectors {n_{1}, n_{2}, n_{3}} are separated by 120° in the x−z plane of the Bloch sphere of qubit states^{38}. The P_{t,b} are the eigenstates of these observables, where we associate the positive eigenstate +n_{t}〉〈+n_{t} with b=0. To see that the statistical equivalence of equation (2) is satisfied, it suffices to note that
and to recall that for any density operator ρ, . To see that the statistical equivalence of equation (4) is satisfied, it suffices to note that for all pairs t, t′∈{1, 2, 3},
which asserts that the average density operator for each value of t is the same, and therefore leads to precisely the same statistics for all measurements. Finally, it is clear that the outcome of the measurement of σ·n_{t} is necessarily perfectly correlated with whether the state was +n_{t}〉〈+n_{t} or −n_{t}〉〈−n_{t}, so that A=1.
These quantum measurements and preparations are what we seek to implement experimentally, so we refer to them as ideal, and denote them by and .
Note that our noncontextuality inequality can accommodate noise in both the measurements and the preparations, up to the point where the average of p(X=bM_{t}, P_{t,b}) drops below . It is in this sense that our inequality does not presume the idealization of noiseless measurements.
Contending with the lack of exact operational equivalence
The actual preparations and measurements in the experiment, which we call the primary procedures and denote by , , , , , and , , , almost certainly deviate from the ideal versions and consequently their mixtures, that is, , , and , fail to achieve strict equality in equations (2) and (4).
We solve this problem as follows. From the outcome probabilities on the six primary preparations, one can infer the outcome probabilities on the entire family of probabilistic mixtures of these. It is possible to find within this family many sets of six preparations, , , , , , , which define mixed preparations , , that satisfy the operational equivalences of equation (4) exactly. We call the secondary preparations. We can define secondary measurements , , and their uniform mixture in a similar fashion. The essence of our approach, then, is to identify such secondary sets of procedures and use these to calculate A. If quantum theory correctly models our experiment, then we expect to get a value of A close to 1 if and only if we can find suitable secondary procedures that are close to the ideal versions.
To test the hypothesis of noncontextuality, one must allow for the possibility that the experimental procedures do not admit of a quantum model. Nonetheless, for pedagogical purposes, we will first provide the details of how one would construct the secondary sets under the assumption that all the experimental procedures do admit of a quantum model.
In Fig. 1, we describe the construction of secondary preparations in a simplified example of six density operators that deviate from the ideal states only within the x−z plane of the Bloch sphere.
In practice, the six density operators realized in the experiment will not quite lie in a plane. We use the same idea to contend with this, but with one refinement: we supplement our set of ideal preparations with two additional ones, denoted and corresponding to the two eigenstates of σ·y. The two procedures that are actually realized in the experiment are denoted and and are considered supplements to the primary set. We then search for our six secondary preparations among the probabilistic mixtures of this supplemented set of primaries rather than among the probabilistic mixtures of the original set. Without this refinement, it can happen that one cannot find six secondary preparations that are close to the ideal versions, as we explain in Supplementary Note 3.
The scheme for defining secondary measurement procedures is also described in Supplementary Fig. 4 and Supplementary Note 3. Analogously to the case of preparations, one contends with deviations from the plane by supplementing the ideal set with the observable σ·y.
Note that in order to identify which density operators have been realized in an experiment, the set of measurements must be complete for state tomography^{39}. Similarly, to identify which sets of effects have been realized, the set of preparations must be complete for measurement tomography^{40}. However, the original ideal sets fail to be tomographically complete because they are restricted to a plane of the Bloch sphere, and an effective way to complete them is to add the observable σ·y to the measurements and its eigenstates to the preparations. Therefore, even if we did not already need to supplement these ideal sets for the purpose of providing greater leeway in the construction of the secondary procedures, we would be forced to do so in order to ensure that one can achieve full tomography.
The relevant procedure here is not quite state tomography in the usual sense, since we want to allow for systematic errors in the measurements as well as the preparations. Hence the task^{41,42} is to find a set of qubit density operators, ρ_{t,b}, and POVMs, {E_{Xt}}, that together make the measured data as likely as possible (we cannot expect tr(ρ_{t,b}E_{Xt}) to match the measured relative frequencies exactly due to the finite number of experimental runs).
To analyze our data in a manner that does not prejudice which model—noncontextual, quantum, or otherwise—does justice to it, we must search for representations of the preparations and measurements not amongst density operators and sets of effects, but rather their more abstract counterparts in the formalism of generalised probabilistic theories^{43,44} (GPTs), called generalised states and effects. The assumption that the system is a qubit is replaced by the strictly weaker assumption that three twooutcome measurements are tomographically complete. (In GPTs, a set of measurements are called tomographically complete if their statistics suffice to determine the state.) We take these states and effects as estimates of our primary preparations and measurements, and we define our estimate of the secondary procedures in terms of these, which in turn are used to calculate our estimate for A. We explain how the raw data is fit to a set of generalised states and effects in Supplementary Note 4. We characterize the quality of this fit with a χ^{2} test.
Experiment
We use the polarization of single photons to test our noncontextuality inequality. The setup, shown in Fig. 2, consists of a heralded singlephoton source^{45,46,47}, polarizationstate preparation and polarization measurement. We generate photons using spontaneous parametric downconversion and prepare eight polarization states using a polarizer followed by a quarterwave plate (QWP) and halfwave plate (HWP). The four polarization measurements are performed using a HWP, QWP and polarizing beamsplitter. Photons are counted after the beamsplitter and the counts are taken to be fair samples of the true probabilities for obtaining each outcome for every preparationmeasurement pair. Since the orientations of the preparation waveplates lead to small deflections of the beam, some information about the preparation gets encoded spatially, and similarly the measurement waveplates create sensitivity to spatial information; coupling the beam into the singlemode fibre connecting the statepreparation and measurement stages of the experiment removes sensitivity to these effects. For a single experimental run we implement each preparationmeasurement pair for 4 s (approximately 10^{5} counts). We performed 100 such runs.
Preparations are represented by vectors of raw data specifying the relative frequencies of outcomes for each measurement, uncertainties on which are calculated assuming Poissonian uncertainty in the photon counts. For each run, the raw data is fit to a set of states and effects in a GPT in which three binaryoutcome measurements are tomographically complete. This is done using a total weighted leastsquares method^{48,49}. The average χ^{2} over the 100 runs is 3.9±0.3, agreeing with the expected value of 4, and indicating that the model fits the data well (see Supplementary Note 4, Supplementary Data 1 and 2, and Supplementary Software 1). The fit returns a 4 × 8 matrix that serves to define the 8 GPT states and 4 GPT effects, which are our estimates of the primary preparations and measurements. The column of this matrix associated to the t,b preparation, which we denote , specifies our estimate of the probabilities assigned by the primary preparation to outcome ‘0’ of each of the primary measurements. The raw and primary data are compared in Fig. 3. The probabilities are indistinguishable on this scale. We plot the probabilities for P_{1}, P_{2}, and P_{3} in Fig. 4a on a much finer scale. We then see that the primary data are within error of the raw data, as expected given the high quality of the fit to the GPT. However, the operational equivalences of equations (2) and (4) are not satisfied by our estimates of the primary preparations and measurements, illustrating the need for secondary procedures.
We define the six secondary preparations as probabilistic mixtures of the eight primaries: , where the are the weights in the mixture. We maximize over valid subject to the constraint of equation (4), that is, (a linear program). A high value of C_{P} ensures that each of the six secondary preparations is close to its corresponding primary. Averaging over 100 runs, we find C_{P}=0.9969±0.0001, close to the maximum of 1. An analogous linear program to select secondary measurements yields similar results. Supplementary Tables 3 and 4 display the weights that define each secondary preparation and measurement, averaged over 100 runs. Figure 3 also displays the outcome probabilities for the secondary procedures, confirming that they are close to ideal. Figure 4 demonstrates how our construction enforces the operational equivalences.
We analyzed each experimental run separately and found the degree of correlation for each value of t and b. The averages over the 100 runs are shown in Fig. 5a and are all in excess of 0.995. Averaging over t and b yields an experimental value A=0.99709±0.00007, which violates the noncontextual bound of 5/6≈0.833 by 2300σ (Fig. 5b).
Discussion
Using the techniques described here, it is possible to convert proofs of the failure of noncontextuality in quantum theory into experimental tests of noncontextuality that are robust to noise and experimental imprecisions^{50,51}. For any phenomenon, therefore, one can determine which of its operational features are genuinely nonclassical. This is likely to have applications for scientific fields wherein quantum effects are important and for developing novel quantum technologies. The definition of operational equivalence of preparations (measurements) required them to be statistically equivalent relative to a tomographically complete set of measurements (preparations). There are two examples of how the assumption of tomographic completeness is expected not to hold exactly in our experiment, even if one grants the correctness of quantum theory. First, our source produces a small multiphoton component. We measure the g^{(2)}(0) of our source^{52} to be 0.0105±0.0001 and from this we estimate the ratio of heralded detection events caused by multiple photons to those caused by single photons to be 1:4,000. Regardless of the value of A that one presumes for multiphoton events, one can infer that the value of A we would have achieved had the source been purely singlephoton could have been less than the value given above by at most 10^{−6}, a difference that does not affect our conclusions. We also expect the assumption to not hold exactly because of the inevitable coupling of the polarization into the spatial degree of freedom of the photon, which could be caused, for example, by a wedge in a waveplate. Indeed, we found that if the spatial filter was omitted from the experiment, our fitting routine returned large χ^{2} values, which we attributed to the fact that different angles of the waveplates led to different deflections of the beam. A more abstract worry is that nature might conflict with the assumption (and prediction of quantum theory) that three independent binaryoutcome measurements are tomographically complete for the polarization of a photon. Our experiment has provided evidence in favour of the assumption insofar as we have fit data from four measurements to a theory where three are tomographically complete and found a good χ^{2} value for the fit. One can imagine accumulating much more evidence of this sort, but it is difficult to see how any experiment could conclusively vindicate the assumption, given that one can never test all possible measurements. This, therefore, represents the most significant loophole in experimental tests of noncontextuality, and new ideas for how one might seal it or circumvent it represent the new frontier for improving such tests.
Methods
Preparation procedure
A 20mW diode laser with a wavelength of 404.7 nm produces photon pairs, one horizontally polarized and the other vertically polarized, via spontaneous parametric downconversion in a 20mm typeII PPKTP crystal. The downconversion crystal is inside a Sagnac loop and the pump laser is polarized vertically to ensure it only travels counterclockwise around the loop. Photon pairs are separated at a polarizing beamsplitter and coupled into two singlemode fibres (SMFs). Verticallypolarized photons are detected immediately at detector D_{h}, heralding the presence of the horizontallypolarized signal photons which emerge from the SMF and pass through a statepreparation stage before they are measured. Herald photons were detected at a rate of 400 kHz. Signal photons emerge from the fibre and pass through a GlanTaylor polarizing beamsplitter (GTPBS) which transmits verticallypolarized light. Polarization controllers in the fibre maximize the number of photons which pass through the beamsplitter. A quarter and halfwaveplate set the polarization of the signal photons to one of eight states.
Spatial mode filter
A singlemode fibre acts as a spatial mode filter. This filter ensures that information about the angles of the statepreparation waveplates cannot be encoded in the spatial mode of the photons, and that our measurement procedures do not have a response that depends on the spatial mode, but only on polarization as intended. The SMF induces a fixed polarization rotation, so a set of three compensation waveplates are included after the SMF to undo this rotation. It follows that the preparationmeasurement pairs implemented in our experiment are in fact a rotated version of the ideal preparation and a similarlyrotated version of the ideal measurement. Such a fixed rotation, however, does not impact any of our analysis.
Measurement procedure
Measurements are performed in four bases, set by a half and quarterwaveplate. A second GTPBS splits the light, and both output ports are detected. Due to differences in the coupling and detection efficiencies in each path after the beamsplitter, each measurement consists of two parts. First, the waveplates are aligned such that states corresponding to outcome ‘0’ are transmitted by the GTPBS, and the number of heralded photons detected in a twosecond window is recorded for each port. Second, the waveplate angles are changed in such a way as to invert the outcomes, so the detector in the reflected port corresponds to outcome ‘0’ and heralded photons are detected for another two seconds. The counts are added together and the probability for outcome ‘0’ is calculated by dividing the number of detections corresponding to outcome ‘0’ by the total number of detection events in the foursecond window. The singlephoton detection rate at detectors D_{r} and D_{t} depends on the measurement settings. In the transmissive and reflective ports of the measurement GTPBS photons were detected at maximum rates of 330 and 250 kHz, respectively. Coincident detection events between herald photons and the transmissive and reflective ports of the measurement GTPBS were up to 22 and 16 kHz, respectively.
Code availability
The authors declare that the dataanalysis code supporting the findings of this study are available within the article’s Supplementary Information files (Supplementary Software 1).
Data availability
The authors declare that the data supporting the findings of this study are available within the article and its Supplementary Files (Supplementary Data 1 and 2).
Additional information
How to cite this article: Mazurek, M. D. et al. An experimental test of noncontextuality without unphysical idealizations. Nat. Commun. 7:11780 doi: 10.1038/ncomms11780 (2016).
References
 1.
Bell, J. S. On the EinsteinPodolskyRosen paradox. Physics 1, 195–200 (1964).
 2.
Kochen, S. & Specker, E. The problem of hidden variables in quantum mechanics. Indiana Univ. Math. J. 17, 59–87 (1968).
 3.
Spekkens, R. W. Negativity and contextuality are equivalent notions of nonclassicality. Phys. Rev. Lett. 101, 020401 (2008).
 4.
Ferrie, C. & Emerson, J. Frame representations of quantum mechanics and the necessity of negativity in quasiprobability representations. J. Phys. A: Math. Theor. 41, 352001 (2008).
 5.
Spekkens, R. W., Buzacott, D. H., Keehn, A. J., Toner, B. & Pryde, G. J. Preparation contextuality powers parityoblivious multiplexing. Phys. Rev. Lett. 102, 010401 (2009).
 6.
Howard, M., Wallman, J., Veitch, V. & Emerson, J. Contextuality supplies the ‘magic’ for quantum computation. Nature 510, 351–355 (2014).
 7.
Raussendorf, R. Contextuality in measurementbased quantum computation. Phys. Rev. A 88, 022322 (2013).
 8.
Hoban, M. J., Campbell, E. T., Loukopoulos, K. & Browne, D. E. Nonadaptive measurementbased quantum computation and multiparty bell inequalities. New J. Phys. 13, 023014 (2011).
 9.
Pusey, M. F. Anomalous weak values are proofs of contextuality. Phys. Rev. Lett. 113, 200401 (2014).
 10.
Meyer, D. A. Finite precision measurement nullifies the KochenSpecker theorem. Phys. Rev. Lett. 83, 3751–3754 (1999).
 11.
Kent, A. Noncontextual hidden variables and physical measurements. Phys. Rev. Lett. 83, 3755–3757 (1999).
 12.
Clifton, R. & Kent, A. Simulating quantum mechanics by noncontextual hidden variables. Proc. R. Soc. Lond. A 456, 2101–2114 (2000).
 13.
Mermin, N. D. A KochenSpecker theorem for imprecisely specified measurement. Preprint at http://arxiv.org/abs/quantph/9912081 (1999).
 14.
Simon, C., Brukner, Č. & Zeilinger, A. Hiddenvariable theorems for real experiments. Phys. Rev. Lett. 86, 4427–4430 (2001).
 15.
Larsson, J.Å. A KochenSpecker inequality. Europhys. Lett. 58, 799–805 (2002).
 16.
Barrett, J. & Kent, A. Noncontextuality, finite precision measurement and the KochenSpecker theorem. Stud. Hist. Phil. Mod. Phys. 35, 151–176 (2004).
 17.
Cabello, A. & GarciaAlcaine, G. Proposed experimental tests of the BellKochenSpecker theorem. Phys. Rev. Lett. 80, 1797 (1998).
 18.
Cabello, A. KochenSpecker theorem and experimental test on hidden variables. Int. J. Mod. Phys. A 15, 2813–2820 (2000).
 19.
Simon, C., Żukowski, M., Weinfurter, H. & Zeilinger, A. Feasible ‘KochenSpecker’ experiment with single particles. Phys. Rev. Lett. 85, 1783–1786 (2000).
 20.
Cabello, A., Filipp, S., Rauch, H. & Hasegawa, Y. Proposed experiment for testing quantum contextuality with neutrons. Phys. Rev. Lett. 100, 130404 (2008).
 21.
Klyachko, A. A., Can, M. A., Binicioǧlu, S. & Shumovsky, A. S. Simple test for hidden variables in spin1 systems. Phys. Rev. Lett. 101, 020403 (2008).
 22.
Cabello, A. Experimentally testable stateindependent quantum contextuality. Phys. Rev. Lett. 101, 210401 (2008).
 23.
Badziag, P., Bengtsson, I., Cabello, A. & Pitowsky, I. Universality of stateindependent violation of correlation inequalities for noncontextual theories. Phys. Rev. Lett. 103, 050401 (2009).
 24.
Gühne, O. et al. Compatibility and noncontextuality for sequential measurements. Phys. Rev. A 81, 022121 (2010).
 25.
Michler, M., Weinfurter, H. & Żukowski, M. Experiments towards falsification of noncontextual hidden variable theories. Phys. Rev. Lett. 84, 5457–5461 (2000).
 26.
Huang, Y.F., Li, C.F., Zhang, Y.S., Pan, J.W. & Guo, G.C. Experimental test of the KochenSpecker theorem with single photons. Phys. Rev. Lett. 90, 250401 (2003).
 27.
Hasegawa, Y., Loidl, R., Badurek, G., Baron, M. & Rauch, H. Quantum contextuality in a singleneutron optical experiment. Phys. Rev. Lett. 97, 230401 (2006).
 28.
Kirchmair, G. et al. Stateindependent experimental test of quantum contextuality. Nature 460, 494–497 (2009).
 29.
Bartosik, H. et al. Experimental test of quantum contextuality in neutron interferometry. Phys. Rev. Lett. 103, 040403 (2009).
 30.
Amselem, E., Rådmark, M., Bourennane, M. & Cabello, A. Stateindependent quantum contextuality with single photons. Phys. Rev. Lett. 103, 160405 (2009).
 31.
Moussa, O., Ryan, C. A., Cory, D. G. & Laflamme, R. Testing contextuality on quantum ensembles with one clean qubit. Phys. Rev. Lett. 104, 160501 (2010).
 32.
Lapkiewicz, R. et al. Experimental nonclassicality of an indivisible quantum system. Nature 474, 490–493 (2011).
 33.
Spekkens, R. W. The status of determinism in proofs of the impossibility of a noncontextual model of quantum theory. Found. Phys. 44, 1125–1155 (2014).
 34.
Spekkens, R. W. Contextuality for preparations, transformations, and unsharp measurements. Phys. Rev. A 71, 052108 (2005).
 35.
Winter, A. What does an experimental test of quantum contextuality prove or disprove? J. Phys. A: Math. Theor. 47, 424031 (2014).
 36.
Kujala, J. V., Dzhafarov, E. N. & Larsson, J.A. Necessary and sufficient conditions for an extended noncontextuality in a broad class of quantum mechanical systems. Phys. Rev. Lett. 115, 150401 (2015).
 37.
Clauser, J. F., Horne, M. A., Shimony, A. & Holt, R. A. Proposed experiment to test local hiddenvariable theories. Phys. Rev. Lett. 23, 880–884 (1969).
 38.
Nielsen, M. A. & Chuang, I. L. Quantum Computation and Quantum Information: 10th Anniversary Edition Cambridge University Press (2011).
 39.
James, D. F. V., Kwiat, P. G., Munro, W. J. & White, A. G. Measurement of qubits. Phys. Rev. A 64, 052312 (2001).
 40.
Lundeen, J. S. et al. Tomography of quantum detectors. Nature Phys. 5, 27–30 (2009).
 41.
Stark, C. Selfconsistent tomography of the statemeasurement gram matrix. Phys. Rev. A 89, 052109 (2014).
 42.
Stark, C. J. & Harrow, A. W. Compressibility of positive semidefinite factorizations and quantum models. IEEE Trans. Inf. Theory 62, 2867–2880 (2016).
 43.
Hardy, L. Quantum theory from five reasonable axioms. Preprint at http://arxiv.org/abs/quantph/0101012 (2001).
 44.
Barrett, J. Information processing in generalized probabilistic theories. Phys. Rev. A 75, 032304 (2007).
 45.
Kim, T., Fiorentino, M. & Wong, F. N. C. Phasestable source of polarizationentangled photons using a polarization sagnac interferometer. Phys. Rev. A 73, 012316 (2006).
 46.
Fedrizzi, A., Herbst, T., Poppe, A., Jennewein, T. & Zeilinger, A. A wavelengthtunable fibercoupled source of narrowband entangled photons. Opt. Express 15, 15377–15386 (2007).
 47.
Biggerstaff, D. N. et al. Clusterstate quantum computing enhanced by highfidelity generalized measurements. Phys. Rev. Lett. 103, 240504 (2009).
 48.
Krystek, M. & Anton, M. A weighted total leastsquares algorithm for fitting a straight line. Meas. Sci. Technol. 18, 3438 (2007).
 49.
Press, W. H., Teukolsky, S. A., Vetterling, W. T. & Flannery, B. P. Numerical Recipes: The Art of Scientific Computing 3rd edn (Cambridge University Press (2007).
 50.
Kunjwal, R. & Spekkens, R. W. From the KochenSpecker theorem to noncontextuality inequalities without assuming determinism. Phys. Rev. Lett. 115, 110403 (2015).
 51.
Pusey, M. F. The robust noncontextuality inequalities in the simplest scenario. Preprint at http://arxiv.org/abs/1506.04178 (2015).
 52.
Grangier, P., Roger, G. & Aspect, A. Experimental evidence for a photon anticorrelation effect on a beam splitter: A new light on singlephoton interferences. Europhys. Lett. 1, 173–179 (1986).
Acknowledgements
The authors thank Megan Agnew for assistance with data acquisition software. This research was supported in part by the Natural Sciences and Engineering Research Council of Canada (NSERC), Canada Research Chairs, Ontario Centres of Excellence, Industry Canada, and the Canada Foundation for Innovation (CFI). M.D.M. acknowledges support from the Ontario Ministry of Training, Colleges, and Universities. R.K. thanks the Perimeter Institute for hospitality during his visit there, which was made possible in part through the support of a grant from the John Templeton Foundation and through the support of the Institute of Mathematical Sciences, Chennai. Research at Perimeter Institute is supported by the Government of Canada through Industry Canada and by the Province of Ontario through the Ministry of Research and Innovation.
Author information
Affiliations
Institute for Quantum Computing, University of Waterloo, Waterloo, Ontario Canada N2L 3G1
 Michael D. Mazurek
 & Kevin J. Resch
Department of Physics & Astronomy, University of Waterloo, Waterloo, Ontario Canada N2L 3G1
 Michael D. Mazurek
 & Kevin J. Resch
Perimeter Institute for Theoretical Physics, 31 Caroline Street North, Waterloo, Ontario Canada N2L 2Y5
 Matthew F. Pusey
 & Robert W. Spekkens
Optics & Quantum Information Group, The Institute of Mathematical Sciences, C.I.T Campus, Taramani, Chennai 600 113, India
 Ravi Kunjwal
Authors
Search for Michael D. Mazurek in:
Search for Matthew F. Pusey in:
Search for Ravi Kunjwal in:
Search for Kevin J. Resch in:
Search for Robert W. Spekkens in:
Contributions
R.K., M.D.M., M.F.P. and R.W.S. developed the theory. M.D.M. and K.J.R. designed the experiment. M.D.M. performed the experiment and implemented the numerical analysis of the data. All authors contributed to writing the article.
Competing interests
The authors declare no competing financial interests.
Corresponding author
Correspondence to Robert W. Spekkens.
Supplementary information
PDF files
 1.
Supplementary Information
Supplementary Figures 14, Supplementary Tables 14, Supplementary Notes 14 and Supplementary References
Excel files
 1.
Supplementary Data 1
Microsoft Excel file containing coincidence counts for each preparationmeasurement pair, for each of 100 experimental runs.
 2.
Supplementary Data 2
Microsoft Excel file containing coincidence counts for each preparationmeasurement pair, integrated over all 100 experimental runs.
Text files
 1.
Supplementary Software 1
Mathematica notebook which performs the fitting routine (to find characterizations of the primary preparation and measurement procedures given the raw data) and linear optimization (to find characterizations of the secondary procedures given the primary ones) for each of the 100 experimental runs.
Rights and permissions
This work is licensed under a Creative Commons Attribution 4.0 International License. The images or other third party material in this article are included in the article’s Creative Commons license, unless indicated otherwise in the credit line; if the material is not included under the Creative Commons license, users will need to obtain permission from the license holder to reproduce the material. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/
About this article
Further reading

1.
Experimental contextuality in classical light
Scientific Reports (2017)

2.
Contextuality without nonlocality in a superconducting quantum system
Nature Communications (2016)
Comments
By submitting a comment you agree to abide by our Terms and Community Guidelines. If you find something abusive or that does not comply with our terms or guidelines please flag it as inappropriate.