Kochen-Specker theorem for von Neumann algebras

DOI10.1007/S10773-005-1490-6zbMATH Open1099.81011arXivquant-ph/0408106OpenAlexW2108679268MaRDI QIDQ2575489FDOQ2575489

A. Döring

Publication date: 12 December 2005

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

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.

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)

Cites Work

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

Cited In (23)

• Noncommutativity as a colimit
• 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
• 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
• A topos perspective on state-vector reduction
• Contextuality and the fundamental theorems of quantum mechanics
• Topos perspective on the Kochen-Specker theorem. III: Von Neumann algebras as the base category.
• Spectral presheaves as quantum state spaces
• Specker's theorem for Nöbeling's group
• Some Historical and Philosophical Aspects of Quantum Probability Theory and its Interpretation
• 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)