We present a derivation and experimental implementation of a dimension-dependent contextuality inequality to certify both the quantumness and dimensionality of a given system. Existing methods for certification of the dimension of quantum system can be cheated by using larger classical systems, creating a potential loophole in these benchmarks. Our approach uses contextuality inequalities that cannot be violated by classical systems thus closing the previous loophole. We validate this framework experimentally with photons, observing violations of a CHSH-based contextuality inequality and surpassing the qutrit bound of the CGLMP4-based contextuality inequality. These show that contextuality can be used for noise-robust tests of the number of qubits.We present a derivation and experimental implementation of a dimension-dependent contextuality inequality to certify both the quantumness and dimensionality of a given system. Existing methods for certification of the dimension of quantum system can be cheated by using larger classical systems, creating a potential loophole in these benchmarks. Our approach uses contextuality inequalities that cannot be violated by classical systems thus closing the previous loophole. We validate this framework experimentally with photons, observing violations of a CHSH-based contextuality inequality and surpassing the qutrit bound of the CGLMP4-based contextuality inequality. These show that contextuality can be used for noise-robust tests of the number of qubits.

arXiv:2412.09659Dec 12, 20240 citations

Experimental Test of High-Dimensional Quantum Contextuality Based on Contextuality Concentration

Zhenghao Liu, Hui-Xian Meng, Zhen‐Peng Xu +6 more

Contextuality is a distinctive feature of quantum theory and a fundamental resource for quantum computation. However, existing examples of contextuality in high-dimensional systems lack the necessary robustness required in experiments. Here, we address this problem by identifying a family of noncontextuality inequalities whose maximum quantum violation grows with the dimension of the system. At first glance, this contextuality is the single-system version of multipartite Bell nonlocality taken to an extreme form. What is interesting is that the single-system version achieves the same degree of contextuality but uses a Hilbert space of lower dimension. That is, contextuality "concentrates" as the degree of contextuality per dimension increases. We show the practicality of this result by presenting an experimental test of contextuality in a seven-dimensional system. By simulating sequences of quantum ideal measurements with destructive measurements and repreparation in an all-optical setup, we report a violation of 68.7 standard deviations of the simplest case of the noncontextuality inequalities identified. Our results advance the investigation of high-dimensional contextuality, its connection to the Clifford algebra, and its role in quantum computation.Contextuality is a distinctive feature of quantum theory and a fundamental resource for quantum computation. However, existing examples of contextuality in high-dimensional systems lack the necessary robustness required in experiments. Here, we address this problem by identifying a family of noncontextuality inequalities whose maximum quantum violation grows with the dimension of the system. At first glance, this contextuality is the single-system version of multipartite Bell nonlocality taken to an extreme form. What is interesting is that the single-system version achieves the same degree of contextuality but uses a Hilbert space of lower dimension. That is, contextuality "concentrates" as the degree of contextuality per dimension increases. We show the practicality of this result by presenting an experimental test of contextuality in a seven-dimensional system. By simulating sequences of quantum ideal measurements with destructive measurements and repreparation in an all-optical setup, we report a violation of 68.7 standard deviations of the simplest case of the noncontextuality inequalities identified. Our results advance the investigation of high-dimensional contextuality, its connection to the Clifford algebra, and its role in quantum computation.

arXiv:2209.02808Physical Review LettersJun 13, 20238 citations

Experimental generalized contextuality with single-photon qubits

Xiang Zhan, Eric G. Cavalcanti, Jian Li +4 more

Contextuality is a phenomenon at the heart of the quantum mechanical departure from classical behaviour, and has been recently identified as a resource in quantum computation. Experimental demonstration of contextuality is thus an important goal. The traditional form of contextuality -- as violation of a Kochen-Specker inequality -- requires a quantum system with at least three levels, and the status of the assumption of determinism used in deriving those inequalities has been controversial. By considering `unsharp' observables, Liang, Spekkens and Wiseman (LSW) derived an inequality for generalized noncontextual models that doesn't assume determinism, and applies already to a qubit. We experimentally implement the LSW test using the polarization states of a heralded single photon and three unsharp binary measurements. We violate the LSW inequality by more than 16 standard deviations, thus showing that our results cannot be reproduced by a noncontextual subset of quantum theory.Contextuality is a phenomenon at the heart of the quantum mechanical departure from classical behaviour, and has been recently identified as a resource in quantum computation. Experimental demonstration of contextuality is thus an important goal. The traditional form of contextuality -- as violation of a Kochen-Specker inequality -- requires a quantum system with at least three levels, and the status of the assumption of determinism used in deriving those inequalities has been controversial. By considering `unsharp' observables, Liang, Spekkens and Wiseman (LSW) derived an inequality for generalized noncontextual models that doesn't assume determinism, and applies already to a qubit. We experimentally implement the LSW test using the polarization states of a heralded single photon and three unsharp binary measurements. We violate the LSW inequality by more than 16 standard deviations, thus showing that our results cannot be reproduced by a noncontextual subset of quantum theory.

arXiv:1505.06825OpticaAug 8, 201731 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.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.00244Physical Review AppliedMar 31, 202021 citations

Experimental demonstration of quantum contextuality with nine observables on a single photonic qutrit

Xiao-Xiao Chen, Jian Li, Mairikena Aili +3 more

The violation of contextuality inequalities shows a strong conflict between the noncontextual hidden variable theory and quantum mechanics. A single qutrit is the simplest indivisible quantum system that can allow a state-dependent contextuality test with five observables and a state-independent contextuality test with 13 observables. For any qutrit states, except for the maximally mixed state, one can always find a set of nine observables for which the corresponding inequality is violated [P. Kurzynski and D. Kaszlikowski, Phys. Rev. A 86, 042125 (2012)]. In this paper, we demonstrate the violation of this inequality using single-photon experiments. Our experiments not only enrich the tests of quantum contextuality, but also deepen the understanding of the physical nature of quantum mechanics.The violation of contextuality inequalities shows a strong conflict between the noncontextual hidden variable theory and quantum mechanics. A single qutrit is the simplest indivisible quantum system that can allow a state-dependent contextuality test with five observables and a state-independent contextuality test with 13 observables. For any qutrit states, except for the maximally mixed state, one can always find a set of nine observables for which the corresponding inequality is violated [P. Kurzynski and D. Kaszlikowski, Phys. Rev. A 86, 042125 (2012)]. In this paper, we demonstrate the violation of this inequality using single-photon experiments. Our experiments not only enrich the tests of quantum contextuality, but also deepen the understanding of the physical nature of quantum mechanics.

Physical Review AApr 25, 20232 citations

Robust certification of high-dimensional quantum devices

Javier Fernández, Albert Rico, David Viedma +6 more

Certifying quantum behavior from classically accessible data is essential for secure communication and scalable quantum technologies. While powerful certification methods such as Bell nonlocality and quantum steering exist, their implementation typically requires entanglement or additional assumptions, and experimental demonstrations mainly focus on low-dimensional systems. In minimal prepare-and-measure scenarios, where a sender encodes information into quantum states and a receiver performs a single measurement, robust certification becomes particularly challenging, especially in the presence of noise and in higher-dimensional Hilbert spaces. Here, we propose, design, and experimentally implement a protocol that certifies quantumness between two distant parties without the need for preshared resources or measurement incompatibility. The experiments are carried out using the orbital angular momentum degrees of freedom of single photons, chosen for providing increased dimensionality that is scalable. We demonstrate the robustness of the protocol through rank-stability analysis of the observed correlations, which enables the certification of non-classicality even in the presence of noise. Our results provide a practical route to validate high-dimensional quantum communication systems and open new possibilities for secure and dimension-efficient quantum information processing.Certifying quantum behavior from classically accessible data is essential for secure communication and scalable quantum technologies. While powerful certification methods such as Bell nonlocality and quantum steering exist, their implementation typically requires entanglement or additional assumptions, and experimental demonstrations mainly focus on low-dimensional systems. In minimal prepare-and-measure scenarios, where a sender encodes information into quantum states and a receiver performs a single measurement, robust certification becomes particularly challenging, especially in the presence of noise and in higher-dimensional Hilbert spaces. Here, we propose, design, and experimentally implement a protocol that certifies quantumness between two distant parties without the need for preshared resources or measurement incompatibility. The experiments are carried out using the orbital angular momentum degrees of freedom of single photons, chosen for providing increased dimensionality that is scalable. We demonstrate the robustness of the protocol through rank-stability analysis of the observed correlations, which enables the certification of non-classicality even in the presence of noise. Our results provide a practical route to validate high-dimensional quantum communication systems and open new possibilities for secure and dimension-efficient quantum information processing.

quant-pharXiv:2605.04338May 7, 20260 citations

{}^{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.