Related papers: Some remarks on the theorems of Gleason and Kochen…
We present an elementary proof of a reduced version of Gleason's theorem and the Kochen-Specker theorem to provide a novel perspective on the relation between both theorems. The proof is based on a set of linear equations for the values of…
We review and extend recent findings of Godsil and Zaks, who published a constructive coloring of the rational unit sphere with the property that for any orthogonal tripod formed by rays extending from the origin of the points of the…
Kochen and Specker's theorem can be seen as a consequence of Gleason's theorem and logical compactness. Similar compactness arguments lead to stronger results about finite sets of rays in Hilbert space, which we also prove by a direct…
We derive Born's rule and the density-operator formalism for quantum systems with Hilbert spaces of dimension two or larger. Our extension of Gleason's theorem only relies upon the consistent assignment of probabilities to the outcomes of…
The Kochen-Specker (KS) theorem is a cornerstone result in quantum foundations, establishing that quantum correlations in Hilbert spaces of dimension $d \geq 3$ cannot be explained by (consistent) hidden variable theories that assign a…
Only finite precision measurements are experimentally reasonable, and they cannot distinguish a dense subset from its closure. We show that the rational vectors, which are dense in S^2, can be colored so that the contradiction with hidden…
A number of new proofs of the Kochen-Specker theorem are given based on the observables of the three-qubit Pauli group. Each proof is presented in the form of a diagram from which it is obvious by inspection. Each of our observable-based…
We prove a Gleason-type theorem for the quantum probability rule using frame functions defined on positive-operator-valued measures (POVMs), as opposed to the restricted class of orthogonal projection-valued measures used in the original…
A proof of the generalized Kochen-Specker theorem in two dimensions due to Cabello and Nakamura is extended to all higher dimensions. A set of 18 states in four dimensions is used to give closely related proofs of the generalized…
Quantum processes cannot be reduced, in a nontrivial way, to classical processes without specifying the context in the description of a measurement procedure. This requirement is implied by the Kochen-Specker theorem in the…
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.
We introduce a logic modelling some aspects of the behaviour of the measurement process, in such a way that no direct mention of quantum states is made, thus avoiding the problems associated to this rather evasive notion. We then study some…
It is proven that any hidden variable theory of the type proposed by Meyer [Phys. Rev. Lett. {\bf 83}, 3751 (1999)], Kent [{\em ibid.} {\bf 83}, 3755 (1999)], and Clifton and Kent [Proc. R. Soc. London, Ser. A {\bf 456}, 2101 (2000)] leads…
The main result provide a common generalization for Ramsey-type theorems concerning finite colorings of edge sets of complete graphs with vertices in infinite semigroups. We capture the essence of theorems proved in different fields: for…
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…
The Kochen-Specker theorem states that a 3-dimensional complex Euclidean space admits a finite configuration of projective lines such that the corresponding quantum observables (the orthogonal projectors) cannot be assigned with 0 and 1…
This paper is a collection of thoughts and observations, being partly a review and partly a report of current research, on recent work in various aspects of Gr\"unbaum colorings, their existence and usage. In particular, one of the most…
We extend Gleason's theorem to the two-dimensional Hilbert space of a qubit by invoking the standard axiom that describes composite quantum systems. The tensor-product structure allows us to derive density matrices and Born's rule for $d=2$…
Gleason's theorem [A. Gleason, J. Math. Mech., \textbf{6}, 885 (1957)] is an important result in the foundations of quantum mechanics, where it justifies the Born rule as a mathematical consequence of the quantum formalism. Formally, it…
A new example of a saturated Kochen-Specker (KS) type configuration of 64 rays in 8-dimensional space (the Hilbert space of a triple of qubits) is constructed. It is proven that this configuration has a tropical dimension 6 and that it…