Abstract
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.
Similar content being viewed by others
Introduction
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.
Results
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).
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.
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.
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).
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.
Discussion
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.
Methods
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 Qin≃80,000 and Qout=4,200 for transmission measurements with the internal quality factor of the cavity was measured in the separate runs as Q∼10,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.
Readout
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: http://dx.doi.org/10.14264/uql.2016.207.
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).
References
Bell, J. S. On the Einstein-Podolsky-Rosen paradox. Physics 1, 195–200 (1964).
Bell, J. S. On the problem of hidden variables in quantum mechanics. Rev. Mod. Phys. 38, 447–452 (1966).
Kochen, S. & Specker, E. P. The problem of hidden variables in quantum mechanics. J. Math. Mech 17, 59–87 (1967).
Klyachko, A. A., Can, M. A., Binicioğlu, S. & Shumovsky, A. S. Simple test for hidden variables in spin-1 systems. Phys. Rev. Lett. 101, 020403 (2008).
Cabello, A. Experimentally testable state independent quantum contextuality. Phys. Rev. Lett. 101, 210401 (2008).
Araújo, M., Túlio, M., Costantino, Q., Cunha, B. M. T. & Cabello, A. All noncontextuality inequalities for the n-cycle scenario. Phys. Rev. A 88, 022118 (2013).
Yu, S. & Oh, C. H. State-independent proof of Kochen-Specker theorem with 13 rays. Phys. Rev. Lett. 108, 030402 (2012).
Bartosik, H. et al. Experimental test of quantum contextuality in neutron interferometry. Phys. Rev. Lett. 103, 040403 (2009).
Kirchmair, G. et al. State-independent experimental test of quantum contextuality. Nature 460, 494–497 (2009).
Zhang, X. M. et al. State independent experimental test of quantum contextuality with a single trapped ion. Phys. Rev. Lett. 110, 070401 (2013).
Lapkiewicz, R. et al. Experimental non-classicality of an indivisible quantum system. Nature 474, 490–493 (2011).
Marques, B., Ahrens, J., Nawareg, M., Cabello, A. & Bourennane, M. Experimental observation of Hardy-like quantum contextuality. Phys. Rev. Lett. 113, 250403 (2014).
Mazurek, M. D., Pusey, M. F., Kunjwal, R., Resch, K. J. & Spekkens, R. W. An experimental test of noncontextuality without unwarranted idealizations. Nat. Commun. 7, 11780 (2016).
George, R. E. et al. Opening up three quantum boxes causes classically undetectable wavefunction collapse. Proc. Natl Acad. Sci. USA 110, 3777–3781 (2013).
Kong, X. M. et al. Experimental test of nonclassicality of quantum mechanics using an individual atomic solid-state quantum system. Preprint at http://arxiv.org/abs/1602.02455 (2016).
Peres, A. Fundamental Theories of Physics Vol. 57, (Springer, (2002).
Arias, M. et al. Testing noncontextuality inequalities that are building blocks of quantum correlations. Phys. Rev. A 92, 032126 (2015).
Larsson, J.-Å. Loopholes in Bell inequality tests of local realism. J. Phys. A Math. Theor. 47, 424003 (2014).
Gühne, O. et al. Compatibility and noncontextuality for sequential measurements. Phys. Rev. A 81, 022121 (2010).
Szangolies, J., Kleinmann, M. & Gühne, O. Tests against noncontextual models with measurement disturbances. Phys. Rev. A 87, 050101 (2013).
Howard, M., Wallman, J., Veitch, V. & Emerson, J. Contextuality supplies the ‘magic’ for quantum computation. Nature 510, 351–355 (2014).
Koch, J. et al. Charge-insensitive qubit design derived from the Cooper pair box. Phys. Rev. A 76, 042319 (2007).
Eichler, C., Salathe, Y., Mlynek, J., Schmidt, S. & Wallraff, A. Quantum-limited amplification and entanglement in coupled nonlinear resonators. Phys. Rev. Lett. 113, 110502 (2014).
Bianchetti, R. S. et al. Control and tomography of a three level superconducting artificial atom. Phys. Rev. Lett. 105, 223601 (2010).
Jerger, M. et al. Realization of a binary-outcome projection measurement of a three-level superconducting quantum system. Phys. Rev. Appl. 6, 014014 (2016).
Elkouss, D. & Wehner, S. Nearly optimal P-values for all Bell inequalities. Preprint at http://arxiv.org/abs/1510.07233 (2015).
Kleinmann, M., Ghne, O., Portillo, J. R., Larsson, J. & Cabello, A. Memory cost of quantum contextuality. New. J. Phys. 13, 113011 (2011).
Meyer, D. A. Finite precision measurement nullifies the Kochen-Specker theorem. Phys. Rev. Lett. 83, 3751–3754 (1999).
Kent, A. Noncontextual hidden variables and physical measurements. Phys. Rev. Lett. 83, 3755–3757 (1999).
Simon, C., Brukner, Č. & Zeilinger, A. Hidden-variable theorems for real experiments. Phys. Rev. Lett. 86, 4427–4430 (2001).
Cabello, A. & Terra Cunha, M. Proposal of a two-qutrit contextuality test free of the finite precision and compatibility loopholes. Phys. Rev. Lett. 106, 190401 (2011).
Winter, A. What does an experimental test of quantum contextuality prove or disprove? J. Phys. A Math. Theor. 47, 424031 (2014).
Paik, H. et al. Observation of high coherence in josephson junction qubits measured in a three-dimensional circuit QED architecture. Phys. Rev. Lett. 107, 240501 (2011).
Acknowledgements
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
Authors and Affiliations
Contributions
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.
Corresponding author
Ethics declarations
Competing interests
The authors declare no competing financial interests.
Supplementary information
Supplementary Information
Supplementary Figure 1, Supplementary Note 1 and Supplementary References. (PDF 224 kb)
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
Cite this article
Jerger, M., Reshitnyk, Y., Oppliger, M. et al. Contextuality without nonlocality in a superconducting quantum system. Nat Commun 7, 12930 (2016). https://doi.org/10.1038/ncomms12930
Received:
Accepted:
Published:
DOI: https://doi.org/10.1038/ncomms12930
This article is cited by
-
Self-testing of a single quantum system from theory to experiment
npj Quantum Information (2023)
-
Quantumness of States and Unitary Operations
Foundations of Physics (2020)
-
State-independent contextuality in classical light
Scientific Reports (2019)
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.