Article | Open | Published:

Contextuality without nonlocality in a superconducting quantum system

Nature Communications volume 7, Article number: 12930 (2016) | Download Citation


Classical realism demands that system properties exist independently of whether they are measured, while noncontextuality demands that the results of measurements do not depend on what other measurements are performed in conjunction with them. The Bell–Kochen–Specker theorem states that noncontextual realism cannot reproduce the measurement statistics of a single three-level quantum system (qutrit). Noncontextual realistic models may thus be tested using a single qutrit without relying on the notion of quantum entanglement in contrast to Bell inequality tests. It is challenging to refute such models experimentally, since imperfections may introduce loopholes that enable a realist interpretation. Here we use a superconducting qutrit with deterministic, binary-outcome readouts to violate a noncontextuality inequality while addressing the detection, individual-existence and compatibility loopholes. This evidence of state-dependent contextuality also demonstrates the fitness of superconducting quantum circuits for fault-tolerant quantum computation in surface-code architectures, currently the most promising route to scalable quantum computing.


Realistic models of nature aim to describe the predictions of quantum mechanics using underlying hidden variables (HVs), which determine the properties of the system ahead of time. The best known examples are local HV theories, which seek to explain the predictions of quantum entanglement under the combined assumptions of realism and locality1. The divide between quantum and classical physics, however, runs deeper than the feature of entanglement. The Bell–Kochen–Specker theorem2,3 considers nonconextual HV models that are defined without reference to locality. The Bell–Kochen–Specker theorem shows that, already for qutrit systems, it is not possible to define such a model that is consistent with quantum theory.

While the original theorem is difficult to test, the discovery of noncontextuality inequalities4,5,6,7 makes tests of noncontextual models accessible experimentally even in the presence of imperfections. Noncontextuality tests have been carried out in a range of different physical systems and dimensionalities, including neutrons8, trapped ions9,10, single photons11,12,13 and spins of nitrogen-vacancy centres in diamond14,15, but all of these experimental tests introduced additional loopholes. As in tests of local realism, insufficient detector efficiencies lead to the detection loophole. Here ignoring undetected events introduces a selection bias that can be exploited to find a consistent HV explanation. The individual-existence and compatibility loopholes are important for noncontextuality tests, which require the comparison of multiple outcomes in a measurement context3,4,16. If measurements are performed jointly17, it is not always possible to establish a meaningful operational definition of an individual measurement. It is therefore critical to obtain individual measurement outcomes for each measurement, for example, by making measurements sequentially18. The compatibility loophole arises when imperfections cause sequential measurements to be imperfectly commuting9,19,20. The compatibility loophole has been addressed in both photonic12 and trapped-ion9 experiments, but the detection and individual-existence loopholes have only been addressed using high-efficiency readout in trapped ions9,10. The three loopholes have only been addressed simultaneously in a two-qubit scenario9, where it remains possible to construct explanations involving quantum entanglement.

In this experiment, we realize the Klyachko–Can–Binicioğlu–Shumovsky (KCBS) state-dependent noncontextuality test4 with a tunable superconducting qutrit. By engineering deterministic, binary-outcome readouts, we violate a noncontextuality inequality while addressing the detection, individual-existence and compatibility loopholes in a singe experiment without entanglement. This evidence of state-dependent contextuality in superconducting quantum circuits demonstrates their suitability for fault-tolerant quantum computation using magic state distillation21.


The Klyachko–Can–Binicioğlu–Shumovsky test

The KCBS state-dependent noncontextuality test4 uses five different observables Ai (i=1, 2, ..., 5) with binary outcomes ±1. The test involves measuring the five pairs of observables, called measurement contexts, {A1, A2}, {A2, A3}, {A3, A4}, {A4, A5} and {A5, A1}, chosen such that each observable is measured in two different contexts. Noncontextual HV models predict that the total observable correlations for outcome pairs are bounded by4

This inequality can be violated in quantum mechanics. Here we consider a qutrit system, with five dichotomic observables Ai=2|li〉〈li|−1 corresponding to states represented by vertices of the pentagram shown in Fig. 1. Each observable can be described by a pair of projectors {|li〉〈li|, I−|li〉〈li|} associated with outcomes {+1, −1}. The states connected by edges of the pentagram are orthogonal, ensuring that the corresponding observables, Ai and Ai+1, (and their measurement operators) commute, making them compatible observables. Quantum mechanics predicts that the left side of (1) evaluates to 5−4−3.944 for a qutrit in the ground state, |0〉. This is the maximum quantum violation of inequality (1) (ref. 6).

Figure 1: KCBS pentagram.
Figure 1

The qutrit eigenstates are |i〉 with i=0, 1 and 2. One can construct five qutrit states |li〉 corresponding to five dichotomic observables Ai=2|li〉〈li|−1. States connected by edges of the pentagram are orthogonal, assuming compatibility of the associated observables. Each pair of compatible measurements forms a context, and each observable is included in two different contexts. The states of the pentagram are chosen to provide maximum contradiction with noncontextual HV models.

Superconducting qutrit

We encode a qutrit into a transmon-type multilevel quantum circuit22 incorporated into a three-dimensional microwave copper cavity (Fig. 2a,b). The three lowest-energy eigenstates of the weakly anharmonic transmon form the qutrit’s logical states, with allowed transition frequencies of =6.939 GHz between the ground and first excited states, and =6.623 GHz between the first and second excited states, corresponding to an anharmonicity of αν12ν01=−314 MHz. The qutrit is dispersively coupled with strength g=17.9 MHz to the cavity’s fundamental mode (with bare frequency νc=7.3014 GHz and linewidth 2.4 MHz). We detect the state of our transmon qutrit in the usual way via the state-dependent frequency shift of the cavity, by measuring the amplitude and phase of a probe signal transmitted through the cavity. This signal is then amplified by a Josephson parametric amplifier23, a cryogenic high-electron-mobility transistor amplifier and a chain of room-temperature amplifiers. The high-fidelity single-shot detection enabled by the parametric amplifier ensured that each experimental trial produced a definite outcome, thus closing the detection loophole.

Figure 2: System and measurement set-up.
Figure 2

(a) Simplified diagram of the measurement set-up (see Methods for details). (b) The energy level diagram of a qutrit coupled to a microwave cavity when the dispersive shifts of the cavity frequency are identical for the first and second excited states of the qutrit. The scheme realizes the binary-outcome projective measurement of the qutrit on its ground state M|0〉. (c) Transmission through the readout cavity with the qutrit in different basis states. After state preparation, a square microwave pulse with a frequency close to the resonant frequency of the cavity is applied for several microseconds. The plot indicates the normalized amplitude of measured transmitted signal integrated over 2 μs. The dispersive shifts for and are close to identical, not allowing the measurement to distinguish between the two states.

Binary-outcome readout

In this experiment, we close the individual-existence loophole by performing efficient sequential measurements with classical, binary outcomes. Critical to this is our ability to implement partially projective dichotomic measurements on the qutrit system. For our transmon system, the state-dependent cavity frequency shift is22

Ordinarily, this gives distinguishable measurement responses for all states of the qutrit24, resulting in a fully projective measurement. By choosing the qutrit detuning ν01νcα (Fig. 2b), we match two of the dispersive shifts, s1 and s2 (Fig. 2c), making the corresponding measurement responses indistinguishable. Probing the cavity therefore quickly erases coherences between the ground state and the excited states, but leaves the coherence between the first and second excited states intact, realizing a dichotomic measurement along , associated with the observable with projectors {|0〉〈0|, I−|0〉〈0|}. For detailed information on the effect of the readout pulse on the state of a qutrit state for different detunings, including a theoretical model, experimental verification and calibration procedures, see (ref. 25). Probing the cavity for 350 ns, we reach a single-shot contrast of ≈ 96% between and , limited primarily by thermal excitation and decay of the qutrit state during the readouts. To generate measurements in arbitrary directions from M|0〉, we apply unitary rotations before and after measurement (Fig. 3a). Each measurement procedure starts by sending microwave pulses to the qutrit to rotate the desired measurement basis (defined by one of the KCBS states ; see Fig. 3b,c) onto the ground-state readout basis. After a readout pulse and delay of 475 ns for cavity ring-down, further microwave pulses return the qutrit to its initial reference frame, necessary to allow subsequent measurements to be implemented independently.

Figure 3: Measurement potocol.
Figure 3

(a) Unitary transformations of the qutrit ground state to the KCBS states. Each Ui can be decomposed into one or two rotations , where ϕ is a rotation of angle about the axis in the qutrit subspace spanned by {|i〉, |i+1〉}. The rightmost pulse in a product is applied first in time. The trajectory of the state under transformation U4 is shown as an example. (b) The measurement protocol includes two sequential projecting measurements M|0〉 onto the ground state with unitary transformations before and after each measurement. The unitaries rotate the measurement axis into one of the states of the KCBS pentagram. (c) The actual experimental sequence for each pair of measurements. Measurement of the M|0〉 observable is implemented with a cavity probe signal and the qutrit rotations are constructed with microwave pulses applied at the qutrit transition frequencies.

Testing compatibility

Preserving coherence in the subspace orthogonal to the measurement direction is also crucial for ensuring the compatibility of context-independent sequential measurements. Since noncontextuality tests aim to falsify noncontextuality using the assumptions of noncontextual realism, which contain no notion of compatibility, it is important to ask why test protocols only consider compatible measurements. It is well established that individual outcome probabilities for incompatible observables will depend on the order in which they are measured, but this overt contextuality does not reveal any further insight into the nature of reality. However, restricting attention to compatible measurements allows a study of whether context dependence still remains when this overt contextuality is absent. In practice, experimental imperfections make the actual measurement procedures only approximately compatible. This loophole can be addressed by an extended KCBS inequality19

Here the order of the observables in the two-outcome correlations 〈AiAj〉 corresponds to the timing order for two corresponding sequential measurements, and ɛij are the operational bounds for the incompatibility of these measurement procedures. A bound on incompatibility19:

with Aj measured before/after Ai can be established separately (Supplementary Information).

Protocol and measurements of correlations

In the final protocol, we measure the five combinations , , , and , and their reverse-order variants, followed by calibration blocks to detect phase drifts of the cavity signal. As the qutrit is operated in a dilution refrigerator at 20 mK, its thermal state is close to the ground state. To avoid residual thermal population, we begin each experimental trial by applying an initialization readout tone to the cavity to project and post-select the desired ground state, rejecting 10% of all data points. A further delay of 565 ns allows the cavity to ring-down before the measurement sequence begins. The whole sequence is repeated 221 times, triggered every 100 μs. For each observable Ai, the same procedure (set of pulses) was used to implement the measurement independent of measurement context, with the cavity transmission signal detected, integrated and discriminated to assign a dichotomic outcome ±1. The outcomes were recorded to the hard drive and were later used to calculate expectation values 〈Ai〉 and correlations 〈AiAj〉. The results used to test inequality (3) (and its reverse-order counterpart) are presented in Table 1. For all pairs, the first measurement yields expectation values very close to the ideal value of 0.105(6), with the second measurement consistently displaced due to decoherence of the qutrit during the sequence. We find a sum of correlations of −3.489(1) and the threshold including incompatibility bounds of −3.352(2).

Table 1: Violation of the KCBS inequality.

P-value calculation

Using the standard analysis of such inequalities, we violate the KCBS noncontextuality inequality equation (3) by >53 s.d. Inspired by the extended inequality derived in ref. 19, the compatibility loophole was treated by formalizing the problem as a hypothesis test without any assumptions on compatibility and bounding incompatibility of the measurements in a separate hypothesis test26. The null hypothesis that the experiment is described by a noncontextual HV model with compatibility 0.0413 (see Methods) is rejected with a P-value <2.96 × 10−575. A separate test of the compatibility condition rejects the hypothesis that the observables are more incompatible with a P-value <4.1 × 10−4. Our analysis requires only the assumption that the devices perform the same in every single trial and the no-memory assumption without any additional assumptions on compatibility of the measurements or on the measurement contrast.


Our results strongly contradict the predictions of noncontextual HV models, closing two common loopholes: the detection loophole, via high-fidelity, deterministic single-shot readout and the individual-existence loophole18, using separate, sequential measurements. The compatibility loophole was treated by violating an extended inequality19 and, independently, by formulating the problem in the form of a hypothesis test without any assumptions on compatibility and bounding the incompatibility of the measurements in a separate hypothesis test.

As a key ingredient in addressing these loopholes, we implemented sequential dichotomic qutrit measurements that project out one target state without disturbing the information stored in the remaining two-dimensional subspace. This allows a classical result from the first measurement to be obtained before implementing the setting to be used for the second measurement. Our results demonstrate that quantum mechanics departs from predictions of noncontextual realism, without reliance on nonlocality or entanglement correlations, and provide evidence of the contextuality resource in superconducting circuits. While we used the simpler state-dependent inequality for demonstration of contextual nature of the superconducting circuits, the state-independent test will be the straightforward extension of our experiment.

One key point that differentiates our noncontextuality analysis for an indivisible system from a similar analysis for Bell inequalities with locality constraints is that it is difficult to avoid the need for additional i.i.d. and no-memory assumptions for measurements on a single system. Since quantum contextuality can be simulated by a classical system with memory27, these loopholes will most likely remain for any Kochen–Specker tests without nonlocality. In another case, for the finite-precision loophole28,29, debate continues about whether this loophole can be closed in principle30,31,32. It remains an important open challenge to identify a clear, general prescription for how to implement a noncontextuality test with minimal assumptions.


Sample and cavity

The qutrit was fabricated on an intrinsic Si substrate in a single step of electron beam lithography followed by shadow evaporation of two Al layers with an oxidation step between the depositions. The design of the circuit is identical to the one in ref. 33 and consists of two sub-millimetre size capacitor plates connected via a line interrupted by a d.c. superconducting quantum interference device (SQUID), playing the role of a magnetically tunable Josephson junction. Magnetic flux supplied by a superconducting coil attached to the copper cavity is used to control the transition frequencies of the qutrit. The qutrit has maximum transition frequencies of =6.950 GHz between the ground and first excited states, =6.635 GHz between the first and second excited states, corresponding to a anharmonicity of α=314 MHz and charging energy of EC/h=288 MHz as shown in Fig. 2b. At the working point of the qutrit, selected by the magnetic field bias, we measured decay and coherence times of T1,1=17.4 μs, T1,2=6.2 μs, T1,2→1=18.1 μs, T1,2→0=9.5 μs, =6.6 μs and =4.6 μs.

The qutrit was incorporated into a three-dimensional microwave copper cavity attached to the cold stage of a dilution cryostat (Fig. 2a). The cavity was coupled asymmetrically to the input and output microwave ports with corresponding external quality factors of Qin80,000 and Qout=4,200 for transmission measurements with the internal quality factor of the cavity was measured in the separate runs as Q10,000 at mK temperatures.

To measure transmission, a signal from a microwave generator (RF) was applied to the input port of the cavity. Microwaves transmitted through the cavity were amplified by a Josephson parametric amplifier, high-electron-mobility transistor amplifier at 4 K and a chain of room-temperature amplifiers. The sample at 20 mK was isolated from the higher-temperature fridge stages by three circulators (C) in series. The amplified transmission signal was down-converted to an intermediate frequency of 25 MHz in an IQ mixer driven by a dedicated local oscillator (LO), and digitized by an analogue-to-digital converter for data analysis.


To implement single-shot readout, we used a Josephson parametric dimer amplifier23 (JPDA) as a preamplifier of the signal. The Josephson parametric dimer amplifier consists of two coupled non-linear resonators and can be operated in the non-degenerate mode if a pump tone frequency is set between resonance frequencies of the resonators. In our experiment, the pump tone was set at 7.058 GHz providing amplification of 25 dB gain and 12.5 MHz bandwidth centred at the readout frequency νc. Two circulators installed between the readout cavity and JPDA, combined with the readout cavity itself, eliminated any effect of the pump tone on the qutrit.

Hypothesis test

Experimental tests of HV models can be formulated as a hypothesis test, where the null hypothesis (to be rejected) is that the measurement statistics can be modelled using HVs26. To this end, the experiment is recast as a set of trials of a game that can be won with a maximum probability of βwin if the experiment were governed by a specific noncontextual HV model. Specifically, we test an i.i.d. model (the devices behave the same in each trial) in which the compatibility of measurements obeys a guaranteed limit as in (4) (Supplementary Information). This limit is then tested separately. To this end, it is convenient to phrase the compatibility condition of (4) in terms of probabilities instead of expectation values as |Pr(Aj=aj|#1=j)−Pr(Aj=aj|#1=i, #2=j)|≤(i,j), where we use #1 and #2 to indicate the order in which we make the measurements Aj labelled i and j, and aj denotes the outcome of measurement j. An -incompatible model assumes that

For the KCBS inequality, a trial is won if the two outcomes of a context are not equal. The total number of wins is recorded over the whole experimental run of n trials. The P-value is then the probability that the game could have been won at least that many times given a noncontextual HV model with incompatibility . In this experiment, we recorded 3,912,769 wins out of 4,603,450 trials, which implies that the P-value ≤2.96 × 10−575. A second, parallel hypothesis test is formulated to test the incompatibility bound of (5).

Data availability

The measurement data that support the findings of this study are available in UQ eSpace:

Additional information

How to cite this article: Jerger, M. et al. Contextuality without nonlocality in a superconducting quantum system. Nat. Commun. 7, 12930 doi: 10.1038/ncomms12930 (2016).


  1. 1.

    On the Einstein-Podolsky-Rosen paradox. Physics 1, 195–200 (1964).

  2. 2.

    On the problem of hidden variables in quantum mechanics. Rev. Mod. Phys. 38, 447–452 (1966).

  3. 3.

    & The problem of hidden variables in quantum mechanics. J. Math. Mech 17, 59–87 (1967).

  4. 4.

    , , & Simple test for hidden variables in spin-1 systems. Phys. Rev. Lett. 101, 020403 (2008).

  5. 5.

    Experimentally testable state independent quantum contextuality. Phys. Rev. Lett. 101, 210401 (2008).

  6. 6.

    , , , & All noncontextuality inequalities for the n-cycle scenario. Phys. Rev. A 88, 022118 (2013).

  7. 7.

    & State-independent proof of Kochen-Specker theorem with 13 rays. Phys. Rev. Lett. 108, 030402 (2012).

  8. 8.

    et al. Experimental test of quantum contextuality in neutron interferometry. Phys. Rev. Lett. 103, 040403 (2009).

  9. 9.

    et al. State-independent experimental test of quantum contextuality. Nature 460, 494–497 (2009).

  10. 10.

    et al. State independent experimental test of quantum contextuality with a single trapped ion. Phys. Rev. Lett. 110, 070401 (2013).

  11. 11.

    et al. Experimental non-classicality of an indivisible quantum system. Nature 474, 490–493 (2011).

  12. 12.

    , , , & Experimental observation of Hardy-like quantum contextuality. Phys. Rev. Lett. 113, 250403 (2014).

  13. 13.

    , , , & An experimental test of noncontextuality without unwarranted idealizations. Nat. Commun. 7, 11780 (2016).

  14. 14.

    et al. Opening up three quantum boxes causes classically undetectable wavefunction collapse. Proc. Natl Acad. Sci. USA 110, 3777–3781 (2013).

  15. 15.

    et al. Experimental test of nonclassicality of quantum mechanics using an individual atomic solid-state quantum system. Preprint at (2016).

  16. 16.

    Fundamental Theories of Physics Vol. 57, (Springer, (2002).

  17. 17.

    et al. Testing noncontextuality inequalities that are building blocks of quantum correlations. Phys. Rev. A 92, 032126 (2015).

  18. 18.

    Loopholes in Bell inequality tests of local realism. J. Phys. A Math. Theor. 47, 424003 (2014).

  19. 19.

    et al. Compatibility and noncontextuality for sequential measurements. Phys. Rev. A 81, 022121 (2010).

  20. 20.

    , & Tests against noncontextual models with measurement disturbances. Phys. Rev. A 87, 050101 (2013).

  21. 21.

    , , & Contextuality supplies the ‘magic’ for quantum computation. Nature 510, 351–355 (2014).

  22. 22.

    et al. Charge-insensitive qubit design derived from the Cooper pair box. Phys. Rev. A 76, 042319 (2007).

  23. 23.

    , , , & Quantum-limited amplification and entanglement in coupled nonlinear resonators. Phys. Rev. Lett. 113, 110502 (2014).

  24. 24.

    et al. Control and tomography of a three level superconducting artificial atom. Phys. Rev. Lett. 105, 223601 (2010).

  25. 25.

    et al. Realization of a binary-outcome projection measurement of a three-level superconducting quantum system. Phys. Rev. Appl. 6, 014014 (2016).

  26. 26.

    & Nearly optimal P-values for all Bell inequalities. Preprint at (2015).

  27. 27.

    , , , & Memory cost of quantum contextuality. New. J. Phys. 13, 113011 (2011).

  28. 28.

    Finite precision measurement nullifies the Kochen-Specker theorem. Phys. Rev. Lett. 83, 3751–3754 (1999).

  29. 29.

    Noncontextual hidden variables and physical measurements. Phys. Rev. Lett. 83, 3755–3757 (1999).

  30. 30.

    , & Hidden-variable theorems for real experiments. Phys. Rev. Lett. 86, 4427–4430 (2001).

  31. 31.

    & Proposal of a two-qutrit contextuality test free of the finite precision and compatibility loopholes. Phys. Rev. Lett. 106, 190401 (2011).

  32. 32.

    What does an experimental test of quantum contextuality prove or disprove? J. Phys. A Math. Theor. 47, 424031 (2014).

  33. 33.

    et al. Observation of high coherence in josephson junction qubits measured in a three-dimensional circuit QED architecture. Phys. Rev. Lett. 107, 240501 (2011).

Download references


We thank Pascal Macha, Andrés Rosario Hamann and Kirill Shulga for help at the early stage of the experiment. We also thank Fabio Costa and Clemens Müller for useful discussions. M.J. and A.F. were supported by the Australian Research Council Centre of Excellence CE110001013. Y.R. was supported by the Discovery Project DP150101033. A.F. was supported in part by the ARC Future Fellowship FT140100338. K.J. was supported by the CCQED network. K.G. and S.W. are supported by STW and an NWO VIDI grant.

Author information


  1. ARC Centre of Excellence for Engineered Quantum Systems, The University of Queensland, St Lucia, Queensland 4072, Australia

    • Markus Jerger
    •  & Arkady Fedorov
  2. School of Mathematics and Physics, The University of Queensland, St Lucia, Queensland 4072, Australia

    • Yarema Reshitnyk
    •  & Arkady Fedorov
  3. Department of Physics, ETH Zurich, CH-8093 Zurich, Switzerland

    • Markus Oppliger
    • , Anton Potočnik
    • , Mintu Mondal
    •  & Andreas Wallraff
  4. QuTech, Delft University of Technology, Lorentzweg 1, 2611 CJ Delft, The Netherlands

    • Kenneth Goodenough
    • , Stephanie Wehner
    •  & Nathan K. Langford
  5. Quantronics group, SPEC, CEA, CNRS, Université Paris-Saclay, CEA Saclay, Gif-sur-Yvette 91191, France

    • Kristinn Juliusson
  6. Kavli Institute of Nanoscience, Delft University of Technology, P.O. Box 5046, 2600 GA Delft, The Netherlands

    • Nathan K. Langford


  1. Search for Markus Jerger in:

  2. Search for Yarema Reshitnyk in:

  3. Search for Markus Oppliger in:

  4. Search for Anton Potočnik in:

  5. Search for Mintu Mondal in:

  6. Search for Andreas Wallraff in:

  7. Search for Kenneth Goodenough in:

  8. Search for Stephanie Wehner in:

  9. Search for Kristinn Juliusson in:

  10. Search for Nathan K. Langford in:

  11. Search for Arkady Fedorov in:


A.F., M.J. and N.K.L. designed the experiment. M.J. and Y.R. performed the experiment. M.O., A.P., M.M. and A.W. designed and fabricated the Josephson parametric amplifier. K.J. designed and fabricated the qutrit. M.J. carried out data analysis to calculate expectation values, correlations and s.d.’s. K.G. and S.W. formulated the results in the form of hypothesis test and calculated P-values. A.F., M.J., N.K.L., S.W. and K.G. wrote the manuscript. A.W. and Y.R. commented on the manuscript. A.F. supervised the project.

Competing interests

The authors declare no competing financial interests.

Corresponding author

Correspondence to Arkady Fedorov.

Supplementary information

PDF files

  1. 1.

    Supplementary Information

    Supplementary Figure 1, Supplementary Note 1 and Supplementary References.

  2. 2.

    Peer Review File

About this article

Publication history






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.