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

Studies in Applied Mathematics

Kochen-Specker Theorem and the Two Quantum Measurement Theories

Koji Nagata, Tadao Nakamura, Han J.F. Geurdes, Josep Amengual i Batle, S. Abdalla, Ahmed Farouk

Published Jan 6, 2018• 1 citation
OpenAlex

Abstract

We consider the two quantum measurement theories for measuring a single Pauli observable. We assume also the existence of a classical probability space for the two measurement theories. We cannot avoid the Kochen-Specker (KS) contradiction when we measure the Pauli observable by using the projective measurement theory if we introduce a classical probability space. The results of measurement are either $+1$ or $-1$ (in $\hbar/2$ unit) when we consider a spin-1/2 system. The projective measurement theory does not accept a classical probability space when we measure the Pauli observable. We propose a new measurement theory based on the truth values, i.e., the truth T (1) for true and the falsity F (0) for false. The results of measurement are either $+1$ or 0 (in $\hbar/2$ unit). We avoid the KS contradiction when we measure the Pauli observable by using the new measurement theory if we introduce a classical probability space. The new measurement theory accepts a classical probability space when we measure the Pauli observable.

Related papers

Boolean approach to dichotomic quantum measurement theories

Koji Nagata, Tadao Nakamura, Josep Amengual i Batle +2 more

Recently, a new measurement theory based on truth values was proposed by Nagata and Nakamura [Int. J. Theor. Phys. 55 , 3616 (2016)], that is, a theory where the results of measurements are either 0 or 1. The standard measurement theory accepts a hidden variable model for a single Pauli observable. Hence, we can introduce a classical probability space for the measurement theory in this particular case. Additionally, we discuss in the present contribution the fact that projective measurement theories (the results of which are either +1 or −1) imply the Bell, Kochen, and Specker (BKS) paradox for a single Pauli observable. To justify our assertion, we present the BKS theorem in almost all the two-dimensional states by using a projective measurement theory. As an example, we present the BKS theorem in two-dimensions with white noise. Our discussion provides new insight into the quantum measurement problem by using this measurement theory based on the truth values .

Journal of the Korean Physical Society•Feb 1, 2017•11 citations

Does a classical probability space for two-dimensional quantum measurement theory exist?

Koji Nagata, Tadao Nakamura

Recently, a new measurement theory based on the truth values is proposed \cite{NN1}. The results of measurements are either 0 or 1. The measurement theory accepts a hidden variables model for a single Pauli observable. Therefore we can introduce a classical probability space for the measurement theory in this case. On the other hand, we discuss the fact that the projective measurement theory (the results of measurements are either $+1$ or $-1$) does not meet a hidden variables model for a single Pauli observable. Hence we cannot introduce a classical probability space for the projective measurement theory in this case. Our discussion provides new insight to formulate quantum measurement theory, by using the measurement theory based on the truth values.

•Jun 1, 2016•0 citations

New Method to Get the Kochen-Specker Theorem

Koji Nagata, Tadao Nakamura

We derive new type of no-hidden-variables theorem based on the assumptions proposed by Kochen and Specker. We consider $N$ spin-1/2 systems. The hidden results of measurement are either $+1$ or $-1$ (in $\hbar/2$ unit). We derive some proposition concerning a quantum expected value under an assumption about the existence of the Bloch sphere in $N$ spin-1/2 systems. However, the hidden variables theory violates the proposition with a magnitude that grows exponentially with the number of particles. Therefore, we have to give up either the existence of the Bloch sphere or the hidden variables theory. Also we discuss two-dimensional no-hidden-variables theorem of the KS type. Especially, we systematically describe our assertion based on more mathematical analysis using raw data in a thoughtful experiment.

•Jun 1, 2016•0 citations

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

The Kochen-Specker Theorem with Two Trials of Measurements

Koji Nagata

We review non-classicality of quantum datum.We consider whether we can assign the predetermined "hidden" result to numbers 1 and -1 as in results of measurements in a thought experiment.We assume the number of measurements is two.If we detect 1 / 2 as 1 and detect | ↓ as -1, then we can derive the Kochen-Specker theorem.The same situation occurs when we use a new measurement theory that the results of measurements are either 1 / 2 or -1 / 2

MOJ Ecology & Environmental Sciences•Mar 13, 2017•0 citations

Noncontextual Hidden Variables and Physical Measurements

Adrian Kent

Meyer [Phys. Rev. Lett. 83, 3751 (1999)] recently showed that the Kochen-Specker theorem, which demonstrates the impossibility of a deterministic hidden variable description of ideal spin measurements on a spin 1 particle, can be effectively nullified if only finite precision measurements are considered. We generalize this result: one can ascribe consistent outcomes to a dense subset of the set of projection valued measurements, or to a dense subset of the set of positive operator valued measurements, on any finite dimensional system. Hence no Kochen-Specker-like contradiction can rule out hidden variable theories indistinguishable from quantum theory by finite precision measurements in either class.

arXiv:quant-ph/9906006•Physical Review Letters•Nov 8, 1999•103 citations
We consider the two quantum measurement theories for measuring a single Pauli observable. We assume also the existence of a classical probability space for the two measurement theories. We cannot avoid the Kochen-Specker (KS) contradiction when we measure the Pauli observable by using the projective measurement theory if we introduce a classical probability space. The results of measurement are either +1+1+1 or −1-1−1 (in ℏ/2\hbar/2ℏ/2 unit) when we consider a spin-1/2 system. The projective measurement theory does not accept a classical probability space when we measure the Pauli observable. We propose a new measurement theory based on the truth values, i.e., the truth T (1) for true and the falsity F (0) for false. The results of measurement are either +1+1+1 or 0 (in ℏ/2\hbar/2ℏ/2 unit). We avoid the KS contradiction when we measure the Pauli observable by using the new measurement theory if we introduce a classical probability space. The new measurement theory accepts a classical probability space when we measure the Pauli observable.
Recently, a new measurement theory based on truth values was proposed by Nagata and Nakamura [Int. J. Theor. Phys. 55 , 3616 (2016)], that is, a theory where the results of measurements are either 0 or 1. The standard measurement theory accepts a hidden variable model for a single Pauli observable. Hence, we can introduce a classical probability space for the measurement theory in this particular case. Additionally, we discuss in the present contribution the fact that projective measurement theories (the results of which are either +1 or −1) imply the Bell, Kochen, and Specker (BKS) paradox for a single Pauli observable. To justify our assertion, we present the BKS theorem in almost all the two-dimensional states by using a projective measurement theory. As an example, we present the BKS theorem in two-dimensions with white noise. Our discussion provides new insight into the quantum measurement problem by using this measurement theory based on the truth values .
Recently, a new measurement theory based on the truth values is proposed \cite{NN1}. The results of measurements are either 0 or 1. The measurement theory accepts a hidden variables model for a single Pauli observable. Therefore we can introduce a classical probability space for the measurement theory in this case. On the other hand, we discuss the fact that the projective measurement theory (the results of measurements are either +1+1+1 or −1-1−1) does not meet a hidden variables model for a single Pauli observable. Hence we cannot introduce a classical probability space for the projective measurement theory in this case. Our discussion provides new insight to formulate quantum measurement theory, by using the measurement theory based on the truth values.
We derive new type of no-hidden-variables theorem based on the assumptions proposed by Kochen and Specker. We consider NNN spin-1/2 systems. The hidden results of measurement are either +1+1+1 or −1-1−1 (in ℏ/2\hbar/2ℏ/2 unit). We derive some proposition concerning a quantum expected value under an assumption about the existence of the Bloch sphere in NNN spin-1/2 systems. However, the hidden variables theory violates the proposition with a magnitude that grows exponentially with the number of particles. Therefore, we have to give up either the existence of the Bloch sphere or the hidden variables theory. Also we discuss two-dimensional no-hidden-variables theorem of the KS type. Especially, we systematically describe our assertion based on more mathematical analysis using raw data in a thoughtful experiment.
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.
Meyer [Phys. Rev. Lett. 83, 3751 (1999)] recently showed that the Kochen-Specker theorem, which demonstrates the impossibility of a deterministic hidden variable description of ideal spin measurements on a spin 1 particle, can be effectively nullified if only finite precision measurements are considered. We generalize this result: one can ascribe consistent outcomes to a dense subset of the set of projection valued measurements, or to a dense subset of the set of positive operator valued measurements, on any finite dimensional system. Hence no Kochen-Specker-like contradiction can rule out hidden variable theories indistinguishable from quantum theory by finite precision measurements in either class.