Types of quantum field thories
In quantum mechanics, the Kochen-Specker theorem – developed in 1967 by Simon Kochen and Ernst Specker – is a no-go theorem that places limits on the types of hidden variable theories that may be used to explain the (apparent) probabilistic nature of quantum mechanics in a causal way. It roughly asserts that it is impossible to assign values to all physical observables while simultaneously preserving the functional relations between them. It is a complement to Bell's theorem, developed by John Bell in 1964, and is related to Gleason's theorem, proven by (Gleason (1957)) (who incidentally is the person who communicated the original Kochen-Specker paper to the Journal of Mathematics and Mechanics ). [Later in (Butterfield-Hamilton-Isham 98) it was observed that the Kochen-Specker theorem is equivalent to the statement that the spectral presheaf has no global elements, which led to the proposal that the phase space in quantum mechanics is naturally to be understood as a (ringed) topos, the Bohr topos.]
A valuation on is a function
to the real numbers, satisfying two conditions:
value rule – the value belongs to the spectrum of ;
functional composition principle (FUNC) – for any pair of self-adjoint operators , such that for some real-valued function we have .
This has the following equivalent reformulationo, which is crucial for the sheaf-theoretic interpretation discussed below.
Observed that if and commute, then it follows from the spectral theorem that there exists an operator and continuous functions and such that and . Then the axiom FUNC in def. 1 implies that a valuation satisfies
Now we have:
No valuations on exist if dim()>2.
If a valuation did exist and was restricted to a commutative sub-algebra of operators, it would be an element of the Gelfand spectrum of the commutative sub-algebra. Since such elements do exist, valuations do exist on any commutative sub-algebra of operators even if not on the whole non-commutative algebra, , of all bounded operators. Isham calls these valuations on commutative subalgebras local. In the Bohr topos of the algebra of observables (see there for more), the local valuation are just the internal valuations.
(category of contexts)
Isham calls this the category of (classical) contexts of . Each commutative algebra is viewed as a context within which to view a quantum system in an essentially classical way in the sense that the physical quantities in any such algebra can be given consistent values (as they can in a classical context). These classical contexts were maybe first amplified by Niels Bohr as being the contexts through which all of quantum mechanics is to be perceived. (Therefore the word “Bohr topos” for the concept that is meant to formalize this perspective of Bohr.)
Let be the presheaf on the category of context such that
to it assigned the set underlying the spectrum of : the set of multiplicative linear functionals ;
to an inclusion it assigns the corresponding function that sends a functional to its restriction .
This is called the spectral presheaf.
A global element of the spectral presheaf is a morphism in the presheaf topos. Being a natural transformation of functors, such a global element of the spectral presheaf, would associate an element of the Gelfand spectrum of an algebra to that algebra such that all local valuations are global, i.e. for valuations on are local valuations on but global on .
Because a multiplicative linear functional satisfies the axioms of a valuation, def. 1, when restricted to the self-adjoint elements of .
By the Kochen-Specker theorem these cannot exist, hence a global element of cannot exist. Hence we have:
(Hamilton, Isham, Butterfield)
The Kochen-Specker theorem is equivalent to the statement that the spectral presheaf of the algebra of bounded operators has no global elements if the dimension of the Hilbert space is greater than 2.
For more see at Bohr topos.
Other theorems about the foundations of quantum mechanics include:
The original article is
The sheaf-theoretic interpretation of the theorem was proposed in
The formulation in terms of presheaves on the category of commutative sub-algebra of was proposed in part III of
The original paper outlining Bell's theorem is
The original paper outlining Gleason's theorem is