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

Journal of the Korean Physical Society

Boolean approach to dichotomic quantum measurement theories

Koji Nagata, Tadao Nakamura, Josep Amengual i Batle, S. Abdalla, Ahmed Farouk

Published Feb 1, 2017• 11 citations
Publisher

Abstract

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 .

DOI
10.3938/jkps.70.229

Related papers

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

Kochen-Specker Theorem and the Two Quantum Measurement Theories

Koji Nagata, Tadao Nakamura, Han J.F. Geurdes +3 more

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.

Studies in Applied Mathematics•Jan 6, 2018•1 citation

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

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

Unconditional no-hidden-variables theorem

Koji Nagata

Recently, [{arXiv:0810.3134}] is accepted and published. We present ultimate version of no-hidden-variables theorem. We derive a proposition concerning the quantum theory under the existence of the Bloch sphere in a single spin-1/2 system. The existence of a single classical probability space for measurement outcome within the formalism of von Neumann's projective measurement does not coexist with the proposition concerning the quantum theory. We have to give up the existence of such a classical probability space for measurement outcome in the two-dimensional Hilbert space formalism of the quantum theory. The quantum theory does not accept a hidden-variable interpretation in the two-dimensional space.

arXiv:0801.1945•Jan 13, 2008•0 citations

Ontological Models for Quantum Mechanics and the Kochen-Specker theorem

Terry Rudolph

Certain concrete "ontological models" for quantum mechanics (models in which measurement outcomes are deterministic and quantum states are equivalent to classical probability distributions over some space of `hidden variables') are examined. The models are generalizations of Kochen and Specker's such model for a single 2-dimensional system - in particular a model for a three dimensional quantum system is considered in detail. Unfortunately, it appears the models do not quite reproduce the quantum mechanical statistics. They do, however, come close to doing so, and in as much as they simply involve probability distributions over the complex projective space they do reproduce pretty much everything else in quantum mechanics. The Kochen-Specker theorem is examined in the light of these models, and the rather mild nature of the manifested contextuality is discussed.

arXiv:quant-ph/0608120•Aug 15, 2006•15 citations
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 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.
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.
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.
Recently, [{arXiv:0810.3134}] is accepted and published. We present ultimate version of no-hidden-variables theorem. We derive a proposition concerning the quantum theory under the existence of the Bloch sphere in a single spin-1/2 system. The existence of a single classical probability space for measurement outcome within the formalism of von Neumann's projective measurement does not coexist with the proposition concerning the quantum theory. We have to give up the existence of such a classical probability space for measurement outcome in the two-dimensional Hilbert space formalism of the quantum theory. The quantum theory does not accept a hidden-variable interpretation in the two-dimensional space.
Certain concrete "ontological models" for quantum mechanics (models in which measurement outcomes are deterministic and quantum states are equivalent to classical probability distributions over some space of `hidden variables') are examined. The models are generalizations of Kochen and Specker's such model for a single 2-dimensional system - in particular a model for a three dimensional quantum system is considered in detail. Unfortunately, it appears the models do not quite reproduce the quantum mechanical statistics. They do, however, come close to doing so, and in as much as they simply involve probability distributions over the complex projective space they do reproduce pretty much everything else in quantum mechanics. The Kochen-Specker theorem is examined in the light of these models, and the rather mild nature of the manifested contextuality is discussed.