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:1710.08554

The relation between the Kochen-Specker theorem and bivalence

Arkady Bolotin

Published Oct 24, 2017• 0 citations
arXivHTMLPDF

Abstract

In the paper it is argued that the Kochen-Specker theorem necessitates a conclusion that for a quantum system it is possible to find a set of projection operators which is not truth-value bivalent; that is, a bivalent truth-value assignment function imposed on such a set cannot be total. This means that at least one proposition associated with the said set must be neither true nor false.

DOI
10.48550/arxiv.1710.08554

Related papers

A variant of the Kochen-Specker theorem localising value indefiniteness

Alastair A. Abbott, Cristian S. Calude, Karl Svozil

The Kochen-Specker theorem proves the inability to assign, simultaneously, noncontextual definite values to all (of a finite set of) quantum mechanical observables in a consistent manner. If one assumes that any definite values behave noncontextually, one can nonetheless only conclude that some observables (in this set) are value indefinite. In this paper, we prove a variant of the Kochen-Specker theorem showing that, under the same assumption of noncontextuality, if a single one-dimensional projection observable is assigned the definite value 1, then no one-dimensional projection observable that is incompatible (i.e., non-commuting) with this one can be assigned consistently a definite value. Unlike standard proofs of the Kochen-Specker theorem, in order to localise and show the extent of value indefiniteness, this result requires a constructive method of reduction between Kochen-Specker sets. If a system is prepared in a pure state ψ, then it is reasonable to assume that any value assignment (i.e., hidden variable model) for this system assigns the value 1 to the observable projecting onto the one-dimensional linear subspace spanned by ψ, and the value 0 to those projecting onto linear subspaces orthogonal to it. Our result can be interpreted, under this assumption, as showing that the outcome of a measurement of any other incompatible one-dimensional projection observable cannot be determined in advance, thus formalising a notion of quantum randomness.

arXiv:1503.01985•Journal of Mathematical Physics•Oct 1, 2015•60 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

The Kochen-Specker theorem with determinables and determinates

Michael Miller, Patrick Thomas Fraser

We use the framework of determinable and determinate properties to provide a novel account of the constraints imposed by the Kochen-Specker theorem. Specifically, we show that the result may be understood as a prohibition on the possibility of providing an account of quantum properties, as they are usually represented using Hilbert space operators, according to which quantum systems are fully determinate. That is, the Kochen-Specker theorem entails that any account of quantum properties compatible with the predictions of quantum mechanics must exhibit determinable-based metaphysical indeterminacy.

•Jul 8, 2026•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

Kochen-Specker Sets with a Mixture of 16 Rank-1 and 14 Rank-2 Projectors for a Three-Qubit System

S. P. Toh

Kochen—Specker (KS) theorem denies the possibility for the noncontextual hidden variable theories to reproduce the predictions of quantum mechanics. A set of projection operators (projectors) and bases used to show the impossibility of noncontextual definite values assignment is named as the KS set. Since one KS set with a mixture of 16 rank-1 projectors and 14 rank-2 projectors was proposed in 1995 [Kernaghan M and Peres A Phys. Lett. A 198 (1995) 1 ] for a three-qubit system, there have been plenty of the same type KS sets and we propose a systematic way to produce them. We also propose a probabilistic state-dependent proof of the KS theorem that mainly focuses on the values assignment for all the rank-2 projectors.

arXiv:1310.0179•Chinese Physics Letters•Oct 1, 2013•5 citations
In the paper it is argued that the Kochen-Specker theorem necessitates a conclusion that for a quantum system it is possible to find a set of projection operators which is not truth-value bivalent; that is, a bivalent truth-value assignment function imposed on such a set cannot be total. This means that at least one proposition associated with the said set must be neither true nor false.
The Kochen-Specker theorem proves the inability to assign, simultaneously, noncontextual definite values to all (of a finite set of) quantum mechanical observables in a consistent manner. If one assumes that any definite values behave noncontextually, one can nonetheless only conclude that some observables (in this set) are value indefinite. In this paper, we prove a variant of the Kochen-Specker theorem showing that, under the same assumption of noncontextuality, if a single one-dimensional projection observable is assigned the definite value 1, then no one-dimensional projection observable that is incompatible (i.e., non-commuting) with this one can be assigned consistently a definite value. Unlike standard proofs of the Kochen-Specker theorem, in order to localise and show the extent of value indefiniteness, this result requires a constructive method of reduction between Kochen-Specker sets. If a system is prepared in a pure state ψ, then it is reasonable to assume that any value assignment (i.e., hidden variable model) for this system assigns the value 1 to the observable projecting onto the one-dimensional linear subspace spanned by ψ, and the value 0 to those projecting onto linear subspaces orthogonal to it. Our result can be interpreted, under this assumption, as showing that the outcome of a measurement of any other incompatible one-dimensional projection observable cannot be determined in advance, thus formalising a notion of quantum randomness.
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.
We use the framework of determinable and determinate properties to provide a novel account of the constraints imposed by the Kochen-Specker theorem. Specifically, we show that the result may be understood as a prohibition on the possibility of providing an account of quantum properties, as they are usually represented using Hilbert space operators, according to which quantum systems are fully determinate. That is, the Kochen-Specker theorem entails that any account of quantum properties compatible with the predictions of quantum mechanics must exhibit determinable-based metaphysical indeterminacy.
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.
Kochen—Specker (KS) theorem denies the possibility for the noncontextual hidden variable theories to reproduce the predictions of quantum mechanics. A set of projection operators (projectors) and bases used to show the impossibility of noncontextual definite values assignment is named as the KS set. Since one KS set with a mixture of 16 rank-1 projectors and 14 rank-2 projectors was proposed in 1995 [Kernaghan M and Peres A Phys. Lett. A 198 (1995) 1 ] for a three-qubit system, there have been plenty of the same type KS sets and we propose a systematic way to produce them. We also propose a probabilistic state-dependent proof of the KS theorem that mainly focuses on the values assignment for all the rank-2 projectors.