Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Log inSign up
Challenges
Datasets
Workspaces
Papers
Discussions
Leaderboard
Blog
Job Board
Q3AS

© 2026 Aqora Quantum S.A.S.

TermsPrivacyLegal Notice

arXiv:2112.13612 · Science Advances

Significant loophole-free test of Kochen-Specker contextuality using two species of atomic ions

Pengfei Wang, Junhua Zhang, Chunyang Luan, Mark Um, Ye Wang, Mu Qiao, Tian Xie, Jing-Ning Zhang, Adán Cabello, Kihwan Kim

Published Feb 11, 2022• 36 citations
arXivHTMLPDF

Abstract

Quantum measurements cannot be thought of as revealing preexisting results, even when they do not disturb any other measurement in the same trial. This feature is called contextuality and is crucial for the quantum advantage in computing. Here, we report the observation of quantum contextuality simultaneously free of the detection, sharpness, and compatibility loopholes. The detection and sharpness loopholes are closed by adopting a hybrid two-ion system and highly efficient fluorescence measurements offering a detection efficiency of 100% and a measurement repeatability of >98%. The compatibility loophole is closed by targeting correlations between observables for two different ions in a Paul trap, a 171 Yb + ion and a 138 Ba + ion, chosen so measurements on each ion use different operation laser wavelengths, fluorescence wavelengths, and detectors. The experimental results show a violation of the bound for the most adversarial noncontextual models and open a way to certify quantum systems.

DOI
10.1126/sciadv.abk1660

Related papers

State-Independent Experimental Test of Quantum Contextuality with a Single Trapped Ion

Xiang Zhang, Mark Um, Junhua Zhang +6 more

Using a single trapped ion, we have experimentally demonstrated state-independent violation of a recent version of the Kochen-Specker inequality in a three-level system (qutrit) that is intrinsically indivisible. Three ground states of the (171)Yb(+) ion representing a qutrit are manipulated with high fidelity through microwaves and detected with high efficiency through a two-step quantum jump technique. Qutrits constitute the most fundamental system to show quantum contextuality and our experiment represents the first one that closes the detection efficiency loophole for experimental tests of quantum contextuality in such a system.

arXiv:1209.3831•Physical Review Letters•Feb 11, 2013•86 citations

Randomness Expansion Secured by Quantum Contextuality

Mark Um, Qi Zhao, Junhua Zhang +6 more

The output randomness from a random number generator can be certified by observing the violation of quantum contextuality inequalities based on the Kochen-Specker theorem. Contextuality can be tested in a single quantum system, which significantly simplifies the experimental requirements to observe the violation comparing to the ones based on nonlocality tests. However, it is not yet resolved as to how to ensure compatibilities for sequential measurements that is required in contextuality tests. Here, we employ a modified Klyachko-Can-Binicio\ifmmode \breve{g}\else \u{g}\fi{}lu-Shumovsky contextuality inequality, which can ease the strict compatibility requirement on measurements. On a trapped single ${}^{138}{\mathrm{Ba}}^{+}$ ion system, we experimentally demonstrate violation of the contextuality inequality and realize quantum random number expansion by closing detection loopholes. We perform $1.29\ifmmode\times\else\texttimes\fi{}{10}^{8}$ trials of experiments and extract a randomness of $5.28\ifmmode\times\else\texttimes\fi{}{10}^{5}$ bits with a speed of $270\phantom{\rule{0.2em}{0ex}}\mathrm{bits}\phantom{\rule{0.2em}{0ex}}{\mathrm{s}}^{\ensuremath{-}1}$. Our demonstration paves the way for practical high-speed spot-checking quantum random number expansion and other secure information processing applications.

arXiv:1902.00244•Physical Review Applied•Mar 31, 2020•21 citations

Experimental Test of Compatibility-Loophole-Free Contextuality with Spatially Separated Entangled Qutrits

Xiao‐Min Hu, Jiangshan Chen, Bi‐Heng Liu +6 more

The physical impact and the testability of the Kochen-Specker (KS) theorem is debated because of the fact that perfect compatibility in a single quantum system cannot be achieved in practical experiments with finite precision. Here, we follow the proposal of A. Cabello and M. T. Cunha [Phys. Rev. Lett. 106, 190401 (2011)], and present a compatibility-loophole-free experimental violation of an inequality of noncontextual theories by two spatially separated entangled qutrits. A maximally entangled qutrit-qutrit state with a fidelity as high as 0.975±0.001 is prepared and distributed to separated spaces, and these two photons are then measured locally, providing the compatibility requirement. The results show that the inequality for noncontextual theory is violated by 31 standard deviations. Our experiments pave the way to close the debate about the testability of the KS theorem. In addition, the method to generate high-fidelity and high-dimension entangled states will provide significant advantages in high-dimension quantum encoding and quantum communication.

Physical Review Letters•Oct 20, 2016•63 citations

Quantum Contextuality

Costantino Budroni, Adán Cabello, Otfried Gühne +2 more

A central result in the foundations of quantum mechanics is the Kochen-Specker theorem. In short, it states that quantum mechanics is in conflict with classical models in which the result of a measurement does not depend on which other compatible measurements are jointly performed. Here, compatible measurements are those that can be performed simultaneously or in any order without disturbance. This conflict is generically called quantum contextuality. In this article, we present an introduction to this subject and its current status. We review several proofs of the Kochen-Specker theorem and different notions of contextuality. We explain how to experimentally test some of these notions and discuss connections between contextuality and nonlocality or graph theory. Finally, we review some applications of contextuality in quantum information processing.

•Feb 25, 2021•7 citations

Proposal of a Two-Qutrit Contextuality Test Free of the Finite Precision and Compatibility Loopholes

Adán Cabello, Marcelo Terra Cunha

It has been argued that any test of quantum contextuality is nullified by the fact that perfect orthogonality and perfect compatibility cannot be achieved in finite precision experiments. We introduce experimentally testable two-qutrit violations of inequalities for noncontextual theories in which compatibility is guaranteed by the fact that measurements are performed on separated qutrits. The inequalities are inspired by the basic building block of the Kochen-Specker proof of quantum contextuality for a qutrit, despite the fact that their proof is completely independent of it.

arXiv:1009.2330•Physical Review Letters•May 13, 2011•26 citations

Experimental Certification of Random Numbers via Quantum Contextuality

Mark Um, Xiang Zhang, Junhua Zhang +5 more

The intrinsic unpredictability of measurements in quantum mechanics can be used to produce genuine randomness. Here, we demonstrate a random number generator where the randomness is certified by quantum contextuality in connection with the Kochen-Specker theorem. In particular, we generate random numbers from measurements on a single trapped ion with three internal levels, and certify the generated randomness by showing a bound on the minimum entropy through observation of violation of the Klyachko-Can-Binicioglu-Shumovsky (KCBS) inequality. Concerning the test of the KCBS inequality, we close the detection efficiency loophole for the first time and make it relatively immune to the compatibility loophole. In our experiment, we generate 1 × 10(5) random numbers that are guaranteed to have 5.2 × 10(4) bits of minimum entropy with a 99% confidence level.

Scientific Reports•Apr 9, 2013•70 citations
Quantum measurements cannot be thought of as revealing preexisting results, even when they do not disturb any other measurement in the same trial. This feature is called contextuality and is crucial for the quantum advantage in computing. Here, we report the observation of quantum contextuality simultaneously free of the detection, sharpness, and compatibility loopholes. The detection and sharpness loopholes are closed by adopting a hybrid two-ion system and highly efficient fluorescence measurements offering a detection efficiency of 100% and a measurement repeatability of >98%. The compatibility loophole is closed by targeting correlations between observables for two different ions in a Paul trap, a 171 Yb + ion and a 138 Ba + ion, chosen so measurements on each ion use different operation laser wavelengths, fluorescence wavelengths, and detectors. The experimental results show a violation of the bound for the most adversarial noncontextual models and open a way to certify quantum systems.
Using a single trapped ion, we have experimentally demonstrated state-independent violation of a recent version of the Kochen-Specker inequality in a three-level system (qutrit) that is intrinsically indivisible. Three ground states of the (171)Yb(+) ion representing a qutrit are manipulated with high fidelity through microwaves and detected with high efficiency through a two-step quantum jump technique. Qutrits constitute the most fundamental system to show quantum contextuality and our experiment represents the first one that closes the detection efficiency loophole for experimental tests of quantum contextuality in such a system.
The output randomness from a random number generator can be certified by observing the violation of quantum contextuality inequalities based on the Kochen-Specker theorem. Contextuality can be tested in a single quantum system, which significantly simplifies the experimental requirements to observe the violation comparing to the ones based on nonlocality tests. However, it is not yet resolved as to how to ensure compatibilities for sequential measurements that is required in contextuality tests. Here, we employ a modified Klyachko-Can-Binicio\ifmmode \breve{g}\else \u{g}\fi{}lu-Shumovsky contextuality inequality, which can ease the strict compatibility requirement on measurements. On a trapped single 138Ba+{}^{138}{\mathrm{Ba}}^{+}138Ba+ ion system, we experimentally demonstrate violation of the contextuality inequality and realize quantum random number expansion by closing detection loopholes. We perform $1.29\ifmmode\times\else\texttimes\fi{}{10}^{8}$ trials of experiments and extract a randomness of $5.28\ifmmode\times\else\texttimes\fi{}{10}^{5}$ bits with a speed of $270\phantom{\rule{0.2em}{0ex}}\mathrm{bits}\phantom{\rule{0.2em}{0ex}}{\mathrm{s}}^{\ensuremath{-}1}$. Our demonstration paves the way for practical high-speed spot-checking quantum random number expansion and other secure information processing applications.
The physical impact and the testability of the Kochen-Specker (KS) theorem is debated because of the fact that perfect compatibility in a single quantum system cannot be achieved in practical experiments with finite precision. Here, we follow the proposal of A. Cabello and M. T. Cunha [Phys. Rev. Lett. 106, 190401 (2011)], and present a compatibility-loophole-free experimental violation of an inequality of noncontextual theories by two spatially separated entangled qutrits. A maximally entangled qutrit-qutrit state with a fidelity as high as 0.975±0.001 is prepared and distributed to separated spaces, and these two photons are then measured locally, providing the compatibility requirement. The results show that the inequality for noncontextual theory is violated by 31 standard deviations. Our experiments pave the way to close the debate about the testability of the KS theorem. In addition, the method to generate high-fidelity and high-dimension entangled states will provide significant advantages in high-dimension quantum encoding and quantum communication.
A central result in the foundations of quantum mechanics is the Kochen-Specker theorem. In short, it states that quantum mechanics is in conflict with classical models in which the result of a measurement does not depend on which other compatible measurements are jointly performed. Here, compatible measurements are those that can be performed simultaneously or in any order without disturbance. This conflict is generically called quantum contextuality. In this article, we present an introduction to this subject and its current status. We review several proofs of the Kochen-Specker theorem and different notions of contextuality. We explain how to experimentally test some of these notions and discuss connections between contextuality and nonlocality or graph theory. Finally, we review some applications of contextuality in quantum information processing.
It has been argued that any test of quantum contextuality is nullified by the fact that perfect orthogonality and perfect compatibility cannot be achieved in finite precision experiments. We introduce experimentally testable two-qutrit violations of inequalities for noncontextual theories in which compatibility is guaranteed by the fact that measurements are performed on separated qutrits. The inequalities are inspired by the basic building block of the Kochen-Specker proof of quantum contextuality for a qutrit, despite the fact that their proof is completely independent of it.
The intrinsic unpredictability of measurements in quantum mechanics can be used to produce genuine randomness. Here, we demonstrate a random number generator where the randomness is certified by quantum contextuality in connection with the Kochen-Specker theorem. In particular, we generate random numbers from measurements on a single trapped ion with three internal levels, and certify the generated randomness by showing a bound on the minimum entropy through observation of violation of the Klyachko-Can-Binicioglu-Shumovsky (KCBS) inequality. Concerning the test of the KCBS inequality, we close the detection efficiency loophole for the first time and make it relatively immune to the compatibility loophole. In our experiment, we generate 1 × 10(5) random numbers that are guaranteed to have 5.2 × 10(4) bits of minimum entropy with a 99% confidence level.