Kochen-Specker theorem for von Neumann algebras

DOI10.1007/S10773-005-1490-6MaRDI QIDQ2575489zbMATH OpenOpenAlexFDO

Authors A. Döring

Publication date 12 December 2005

Published in International Journal of Theoretical Physics (Search for Journal in Brave)

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

Mathematics Subject Classification ID

General and philosophical questions in quantum theory (81P05) Quantum measurement theory, state operations, state preparations (81P15) Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20) General theory of von Neumann algebras (46L10) Applications of selfadjoint operator algebras to physics (46L60)

Abstract: The Kochen-Specker theorem has been discussed intensely ever since its original proof in 1967. It is one of the central no-go theorems of quantum theory, showing the non-existence of a certain kind of hidden states models. In this paper, we first offer a new, non-combinatorial proof for quantum systems with a type $I_n$ factor as algebra of observables, including $I_{infty}$. Afterwards, we give a proof of the Kochen-Specker theorem for an arbitrary von Neumann algebra $mathcalR$ without summands of types $I_1$ and $I_2$, using a known result on two-valued measures on the projection lattice $mathcalP(R)$. Some connections with presheaf formulations as proposed by Isham and Butterfield are made.

Recommendations

• The Kochen–Specker theorem revisited in quantum measure theory
• scientific article; zbMATH DE number 1453809
• Kochen-Specker theorem for a single qubit using positive operator-valued measures
• Generalizations of Kochen and Specker's theorem and the effectiveness of Gleason's theorem
• Topos perspective on the Kochen-Specker theorem. III: Von Neumann algebras as the base category.

Cites work

• scientific article; zbMATH DE number 3128586 (Why is no real title available?)
• scientific article; zbMATH DE number 3680516 (Why is no real title available?)
• scientific article; zbMATH DE number 1074568 (Why is no real title available?)
• scientific article; zbMATH DE number 222887 (Why is no real title available?)
• scientific article; zbMATH DE number 3251317 (Why is no real title available?)
• A topos perspective on the Kochen-Specker theorem. II: Conceptual aspects and classical analogues
• Finitely Additive Measures on Projections in Finite W^* -Algebras
• Measures on Projections in W*-algebras of Type II₁
• Measures on projections and physical states
• On the Problem of Hidden Variables in Quantum Mechanics
• PROBABILITY MEASURES ON PROJECTIONS IN VON NEUMANN ALGEBRAS
• Physical states on a \(C^*\)-algebra
• Quantum measure theory
• Quantum theory: concepts and methods
• Quasi-States on C ∗ -Algebras
• Topos perspective on the Kochen--Specker theorem. IV: Interval valuations
• Topos perspective on the Kochen-Specker theorem. I: Quantum states as generalized valuations
• Topos perspective on the Kochen-Specker theorem. III: Von Neumann algebras as the base category.
• Traces, dispersions of states and hidden variables

Cited in

(26)

• Noncommutativity as a colimit
• Some historical and philosophical aspects of quantum probability theory and its interpretation
• States on operator algebras and axiomatic system of quantum theory
• Topos quantum logic and mixed states
• The non-commutative Specker phenomenon in the uncountable case
• A remark on the Kochen-Specker theorem and some characterizations of the determinant on sets of Hermitian matrices
• Kochen–Specker vectors
• A Kochen-Specker theorem for integer matrices and noncommutative spectrum functors
• The Kochen–Specker theorem revisited in quantum measure theory
• Pattern recognition in non-Kolmogorovian structures
• A state-dependent noncontextuality inequality in algebraic quantum theory
• A topos perspective on state-vector reduction
• A topos for algebraic quantum theory
• A topos foundation for theories of physics: III. The representation of physical quantities with arrows δ̆o(A):Σ̱→R≽̱
• Gleason’s theorem for composite systems
• An obstruction-based approach to the Kochen-Specker theorem
• Topos perspective on the Kochen-Specker theorem. III: Von Neumann algebras as the base category.
• A topos perspective on state-vector reduction
• Contextuality and the fundamental theorems of quantum mechanics
• Generalizations of Kochen and Specker's theorem and the effectiveness of Gleason's theorem
• Spectral presheaves as quantum state spaces
• Specker's theorem for Nöbeling's group
• Bohrification of operator algebras and quantum logic
• A topos foundation for theories of physics: II. Daseinisation and the liberation of quantum theory
• A topos foundation for theories of physics: I. Formal languages for physics
• Contextuality and noncommutative geometry in quantum mechanics

This page was built for publication: Kochen-Specker theorem for von Neumann algebras

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