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

DOI10.1016/J.SHPSB.2003.10.002MaRDI QIDQ720586zbMATH OpenOpenAlexWikidataFDO

Authors 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)

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

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)

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.

Recommendations

• scientific article; zbMATH DE number 1453809
• 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

Cites work

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

Cited in

(12)

• Effective inseparability and its applications
• MGP versus Kochen-Specker condition in hidden variables theories
• Kochen-Specker theorem for von Neumann algebras
• An obstruction-based approach to the Kochen-Specker theorem
• Roots and (re)sources of value (in)definiteness \textit{versus} contextuality
• Unscrambling the quantum omelette
• scientific article; zbMATH DE number 1453811 (Why is no real title available?)
• 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
• Kochen-Specker sets and generalized orthoarguesian equations

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)