Generalizations of Kochen and Specker's theorem and the effectiveness of Gleason's theorem

DOI10.1016/J.SHPSB.2003.10.002zbMATH Open1222.81068arXivquant-ph/0307139OpenAlexW1971031870WikidataQ57380986 ScholiaQ57380986MaRDI QIDQ720586FDOQ720586

Ehud Hrushovski, Itamar Pitowsky

Publication date: 17 October 2011

Published in: Studies in History and Philosophy of Science. Part B. Studies in History and Philosophy of Modern Physics (Search for Journal in Brave)

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.

Full work available at URL: https://arxiv.org/abs/quant-ph/0307139

Recommendations

• Publication:4955604
• Diagrams of Kochen-Specker type constructions
• A constructive proof of Gleason's theorem
• Gleason's theorem is not constructively provable
• Kochen-Specker theorem for von Neumann algebras

zbMATH Keywords

constructive mathematicsgleason's theoremlogical compactness

Mathematics Subject Classification ID

Applications of operator theory in the physical sciences (47N50) General and philosophical questions in quantum theory (81P05) Quantum measurement theory, state operations, state preparations (81P15) Basic properties of first-order languages and structures (03C07) Intuitionistic mathematics (03F55)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• A model of set-theory in which every set of reals is Lebesgue measurable
• Title not available (Why is that?)
• On the Problem of Hidden Variables in Quantum Mechanics
• Title not available (Why is that?)
• Simulating quantum mechanics by non-contextual hidden variables.
• Finite Precision Measurement Nullifies the Kochen-Specker Theorem
• An elementary proof of Gleason's theorem
• New results on quantifier elimination over real closed fields and applications to constraint databases
• Betting on the outcomes of measurements: a Bayesian theory of quantum probability
• Infinite and finite Gleason’s theorems and the logic of indeterminacy
• A constructive proof of Gleason's theorem
• Cardinal Conditions for Strong Fubini Theorems
• A constructive formulation of Gleason's theorem
• Gleason's theorem is not constructively provable

Cited In (11)

• Effective inseparability and its applications
• MGP versus Kochen-Specker condition in hidden variables theories
• Roots and (Re)sources of Value (In)definiteness Versus Contextuality
• Kochen-Specker theorem for von Neumann algebras
• An obstruction-based approach to the Kochen-Specker theorem
• Title not available (Why is that?)
• Unscrambling the quantum omelette
• Diagrams of Kochen-Specker type constructions
• Non-contextual chocolate balls versus value indefinite quantum cryptography
• A simplified basis for Bell-Kochen-Specker theorems
• Varieties of contextuality based on probability and structural nonembeddability

This page was built for publication: Generalizations of Kochen and Specker's theorem and the effectiveness of Gleason's theorem

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q720586)