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:quant-ph/0412049

Experimental Test of the Kochen-Specker Theorem for Single Qubits using Positive Operator-Valued Measures

Qiang Zhang, Hui Li, Tao Yang, Juan Yin, Jiangfeng Du, Jian-Wei Pan

Published Dec 7, 2004• 1 citation
arXivHTMLPDF

Abstract

We present an experimental scheme for the implementation of arbitrary generalized measurements, represented by positive-operator valued measures, on the polarization of single photons, using linear optical devices. Further, we experimentally test a Kochen-Specker theorem for single qubits using positive operator-valued measures. Our experimental results for the first time disprove non-contextual hidden-variable theories, even for single qubits.

DOI
10.48550/arxiv.quant-ph/0412049

Related papers

Kochen-Specker Theorem for a Single Qubit

S. P. Toh, Hishamuddin B Zainuddin

The Kochen-Specker theorem (KS) states that Ilonconrextual hidden variable theories are incompatible with quantum mechanics. Since the first proof of the theorem, von Neumann projection measurement has been used and the quantum system considered has dimensionality of at least three. However, recently generalized measurements represented by positive-operator-va!ued measures (POVM) have been applied to extend the proof to two dimensional quantum systems. This note gives numerical calculations on the first KS proof for a single qubit.

•Dec 1, 2008•0 citations

Proving Kochen-Specker Theorem Using Projection Measurement and Positive Operator-Valued Measure

S. P. Toh

One of the main theorems on the impossibility of hidden variables in quantum mechanics is Kochen-Specker theorem (KS). This theorem says that any hidden variable theory that satisfies quantum mechanics must be contextual. More specifically, it asserts that, in Hilbert space of dimension ≥ 3, it is impossible to associate definite numerical values, 1 or 0, with every projection operator Pm, in such a way that, if a set of commuting Pm satisfies 1=ΣmP, the corresponding values will also satisfy . Since the first proof of Kochen and Specker using 117 vectors in R3, there were many attempts to reduce the number of vector either via conceiving ingenious models or extending the system being considered to higher dimension. By considering eight dimensional three qubits system, we found a state dependent proof that requires only five vectors. The state that we assign value of 1 is the ray that arises from intersection of two planes. The recent advancements show that the KS theorem proof can be extended to two dimensional quantum system through generalized measurement represented by positive operator-valued measured (POVM). In POVMs the number of available outcomes of a measurement may be higher than the dimensionality of the Hilbert space and N-outcome generalized measurement is represented by N-element POVM which consists of N positive semidefinite operators {}dE that sum to identity. Each pair of elements is not mutually orthogonal if the number of outcome of measurements is bigger than the dimensionality. In terms of POVM, Kochen-Specker theorem asserts that and could not be satisfied for . We developed a general model that enables us to generate different sizes of the POVM for the proof of the Kochen-Specker theorem. We show that the current simplest Nakamura model is in fact a special case of our model. W also provide another model which is as simple as the Nakamura’s but consists of different sets of POVM.

•Jan 1, 2008•0 citations

Linear-optical test of quantum contextuality with sequential measurements

Jiaqi Liu, Bita Olamaei, Lijian Zhang +2 more

Quantum contextuality provides a fundamental signature of nonclassical behavior that cannot be explained by noncontextual hidden-variable models. We propose and experimentally implement a linear-optical setup for demonstrating Kochen-Specker contextuality via a violation of the KCBS inequality using single photons. Our scheme employs sequential measurements realized with linear-optical networks and on-off photodetectors. The construction ensures that each co-measured observable is implemented by the same physical operation across different contexts. Our experimental results demonstrate a clear violation of the KCBS inequality and robustness against photon loss. Beyond fundamental investigations, the proposed setup provides a practical tool for probing non-classicality and photon-number statistics of quantum states, which in turn enables the verification of single-photon sources.

quant-pharXiv:2605.18112•May 19, 2026•0 citations

Testing the Kochen-Specker theorem with Josephson qubits

L. F. Wei, Koji Maruyama, X. B. Wang +2 more

We propose an experimental approach to {\it macro}scopically test the Kochen-Specker theorem (KST) with superconducting qubits. This theorem, which has been experimentally tested with single photons or neutrons, concerns the conflict between the contextuality of quantum mechnaics (QM) and the noncontextuality of hidden-variable theories (HVTs). We first show that two Josephson charge qubits can be controllably coupled by using a two-level data bus produced by a Josephson phase qubit. Next, by introducing an approach to perform the expected joint quantum measurements of two separated Josephson qubits, we show that the proposed quantum circuits could demonstrate quantum contextuality by testing the KST at a macroscopic level.

arXiv:0809.5193•Sep 30, 2008•0 citations

Kochen-Specker Theorem for a Single Qubit using Positive Operator-Valued Measures

Adán Cabello

A proof of the Kochen-Specker theorem for a single two-level system is presented. It employs five eight-element positive operator-valued measures and a simple algebraic reasoning based on the geometry of the dodecahedron.

arXiv:quant-ph/0210082•Physical Review Letters•May 12, 2003•62 citations

Experimental Implementation of a Kochen-Specker Set of Quantum Tests

Vincenzo D’Ambrosio, Isabelle Herbauts, Elias Amselem +4 more

The Kochen-Specker theorem, which excludes noncontextual hidden-variable explanations for the counterintuitive puzzles of quantum mechanics, has been realized for the first time in two different single-photon experiments.

arXiv:1209.1836•Physical Review X•Feb 14, 2013•83 citations
We present an experimental scheme for the implementation of arbitrary generalized measurements, represented by positive-operator valued measures, on the polarization of single photons, using linear optical devices. Further, we experimentally test a Kochen-Specker theorem for single qubits using positive operator-valued measures. Our experimental results for the first time disprove non-contextual hidden-variable theories, even for single qubits.
The Kochen-Specker theorem (KS) states that Ilonconrextual hidden variable theories are incompatible with quantum mechanics. Since the first proof of the theorem, von Neumann projection measurement has been used and the quantum system considered has dimensionality of at least three. However, recently generalized measurements represented by positive-operator-va!ued measures (POVM) have been applied to extend the proof to two dimensional quantum systems. This note gives numerical calculations on the first KS proof for a single qubit.
One of the main theorems on the impossibility of hidden variables in quantum mechanics is Kochen-Specker theorem (KS). This theorem says that any hidden variable theory that satisfies quantum mechanics must be contextual. More specifically, it asserts that, in Hilbert space of dimension ≥ 3, it is impossible to associate definite numerical values, 1 or 0, with every projection operator Pm, in such a way that, if a set of commuting Pm satisfies 1=ΣmP, the corresponding values will also satisfy . Since the first proof of Kochen and Specker using 117 vectors in R3, there were many attempts to reduce the number of vector either via conceiving ingenious models or extending the system being considered to higher dimension. By considering eight dimensional three qubits system, we found a state dependent proof that requires only five vectors. The state that we assign value of 1 is the ray that arises from intersection of two planes. The recent advancements show that the KS theorem proof can be extended to two dimensional quantum system through generalized measurement represented by positive operator-valued measured (POVM). In POVMs the number of available outcomes of a measurement may be higher than the dimensionality of the Hilbert space and N-outcome generalized measurement is represented by N-element POVM which consists of N positive semidefinite operators {}dE that sum to identity. Each pair of elements is not mutually orthogonal if the number of outcome of measurements is bigger than the dimensionality. In terms of POVM, Kochen-Specker theorem asserts that and could not be satisfied for . We developed a general model that enables us to generate different sizes of the POVM for the proof of the Kochen-Specker theorem. We show that the current simplest Nakamura model is in fact a special case of our model. W also provide another model which is as simple as the Nakamura’s but consists of different sets of POVM.
Quantum contextuality provides a fundamental signature of nonclassical behavior that cannot be explained by noncontextual hidden-variable models. We propose and experimentally implement a linear-optical setup for demonstrating Kochen-Specker contextuality via a violation of the KCBS inequality using single photons. Our scheme employs sequential measurements realized with linear-optical networks and on-off photodetectors. The construction ensures that each co-measured observable is implemented by the same physical operation across different contexts. Our experimental results demonstrate a clear violation of the KCBS inequality and robustness against photon loss. Beyond fundamental investigations, the proposed setup provides a practical tool for probing non-classicality and photon-number statistics of quantum states, which in turn enables the verification of single-photon sources.
We propose an experimental approach to {\it macro}scopically test the Kochen-Specker theorem (KST) with superconducting qubits. This theorem, which has been experimentally tested with single photons or neutrons, concerns the conflict between the contextuality of quantum mechnaics (QM) and the noncontextuality of hidden-variable theories (HVTs). We first show that two Josephson charge qubits can be controllably coupled by using a two-level data bus produced by a Josephson phase qubit. Next, by introducing an approach to perform the expected joint quantum measurements of two separated Josephson qubits, we show that the proposed quantum circuits could demonstrate quantum contextuality by testing the KST at a macroscopic level.