Get 20M+ Full-Text Papers For Less Than $1.50/day. Start a 7-Day Trial for You or Your Team.

Learn More →

Kochen–Specker Theorem for von Neumann Algebras

Kochen–Specker Theorem for von Neumann Algebras 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 ∞. Afterwards, we give a proof of the Kochen–Specker theorem for an arbitrary von Neumann algebra $${\cal R}$$ without summands of types I 1 and I 2, using a known result on two-valued measures on the projection lattice $${\cal{P(R)}}$$ . Some connections with presheaf formulations as proposed by Isham and Butterfield are made. http://www.deepdyve.com/assets/images/DeepDyve-Logo-lg.png International Journal of Theoretical Physics Springer Journals

Kochen–Specker Theorem for von Neumann Algebras

Loading next page...
 
/lp/springer-journals/kochen-specker-theorem-for-von-neumann-algebras-K94LEK9Kce

References (32)

Publisher
Springer Journals
Copyright
Copyright © 2005 by Springer Science + Business Media, Inc.
Subject
Physics; Physics, general; Quantum Physics; Elementary Particles, Quantum Field Theory; Theoretical, Mathematical and Computational Physics
ISSN
0020-7748
eISSN
1572-9575
DOI
10.1007/s10773-005-1490-6
Publisher site
See Article on Publisher Site

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 ∞. Afterwards, we give a proof of the Kochen–Specker theorem for an arbitrary von Neumann algebra $${\cal R}$$ without summands of types I 1 and I 2, using a known result on two-valued measures on the projection lattice $${\cal{P(R)}}$$ . Some connections with presheaf formulations as proposed by Isham and Butterfield are made.

Journal

International Journal of Theoretical PhysicsSpringer Journals

Published: Jan 1, 2005

There are no references for this article.