Results 1 
5 of
5
Generalizations of Kochen and Specker’s theorem and the effectiveness of Gleason’s theorem
 Studies in History and Philosophy of Science Part B: Studies in History and Philosophy of Modern Physics 35, 177194
, 2004
"... Abstract. 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 construction. Finally, we demonstrate that Gleason’s th ..."
Abstract

Cited by 3 (1 self)
 Add to MetaCart
Abstract. 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 construction. Finally, we demonstrate that Gleason’s theorem itself has a constructive proof, based on a generic, finite, effectively generated set of rays, on which every quantum state can be approximated. 1. Gleason’s Theorem and Logical Compactness Kochen and Specker’s (1967) theorem (KS) puts a severe constraint on possible hiddenvariable interpretations of quantum mechanics. Often it is considered an improvement on a similar argument derived from Gleason (1957) theorem (see, for example, Held. 2000). This is true in the sense that KS provide an explicit construction of a finite set of rays on which no twovalued homomorphism exists. However, the fact that there is such a finite set follows from Gleason’s theorem using a simple logical compactness argument (Pitowsky 1998, a similar point is made in Bell 1996). The existence of finite sets of rays with other interesting features
Noncontextuality, finite precision measurement and the Kochen–Specker theorem
, 2003
"... Meyer originally raised the question of whether noncontextual hidden variable models can, despite the KochenSpecker theorem, simulate the predictions of quantum mechanics to within any fixed finite experimental ..."
Abstract

Cited by 2 (0 self)
 Add to MetaCart
Meyer originally raised the question of whether noncontextual hidden variable models can, despite the KochenSpecker theorem, simulate the predictions of quantum mechanics to within any fixed finite experimental
Department of Mathematics/Department of Physics, Stockholm University
, 2008
"... A particular incomplete KochenSpecker colouring, suggested by Appleby in dimension three, is generalized to arbitrary dimension. We investigate its effectivity as a function of dimension, using two different measures. A limit is derived for the fraction of the sphere that can be coloured using the ..."
Abstract
 Add to MetaCart
A particular incomplete KochenSpecker colouring, suggested by Appleby in dimension three, is generalized to arbitrary dimension. We investigate its effectivity as a function of dimension, using two different measures. A limit is derived for the fraction of the sphere that can be coloured using the generalized Appleby construction as the number of dimensions approaches infinity. The second, and physically more relevant measure of effectivity, is to look at the fraction of properly coloured ONbases. Using this measure, we derive a ’lower bound for the upper bound ’ in three and four real dimensions. 1 1