Contents

Idea

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 randomness of quantum mechanics in a causal way. It roughly asserts that it is impossible to assign values to all physical quantities 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, developed in 1957 by Andrew Gleason (who incidentally is the person who communicated the original Kochen-Specker paper to the Journal of Mathematics and Mechanics ). Christopher Isham has recently shown that the Kochen-Specker theorem is equivalent to the statement that the spectral presheaf has no global elements.

Kochen-Specker theorem

Definition

Let $B\left(ℋ\right)$ be the algebra of bounded operators on some Hilbert space $ℋ$. (In physics $ℋ$ is the space of states of a quantum mechanical system, and the elements $\stackrel{^}{A}\in B\left(ℋ\right)$ represent quantum observables.)

A valuation on $B\left(ℋ\right)$ is a function

$\lambda :B\left(ℋ\right)\to ℝ$\lambda : B(\mathcal{H}) \to \mathbb{R}

to the real numbers, satisfying two conditions:

1. value rule – the value $\lambda \left(\stackrel{^}{A}\right)$ belongs to the spectrum of $\stackrel{^}{A}$;

2. functional composition principle (FUNC) – for any pair of self-adjoint operators $\stackrel{^}{A}$, $\stackrel{^}{B}$ such that $\stackrel{^}{B}=h\left(\stackrel{^}{A}\right)$ for some real-valued function $h$ we have $\lambda \left(\stackrel{^}{B}\right)=h\left(\lambda \left(\stackrel{^}{A}\right)\right)$.

Note that is ${\stackrel{^}{A}}_{1}$ and ${\stackrel{^}{A}}_{2}$ commute, it follows from the spectral theorem that there exists an operator $\stackrel{^}{C}$ and functions ${h}_{1}$ and ${h}_{2}$ such that ${\stackrel{^}{A}}_{1}={h}_{1}\left(\stackrel{^}{C}\right)$ and ${\stackrel{^}{A}}_{2}={h}_{2}\left(\stackrel{^}{C}\right)$. It follows from FUNC that

$\lambda \left({\stackrel{^}{A}}_{1}+{\stackrel{^}{A}}_{2}\right)=\lambda \left({\stackrel{^}{A}}_{1}\right)+\lambda \left({\stackrel{^}{A}}_{2}\right)$\lambda(\hat{A}_{1} + \hat{A}_{2}) = \lambda(\hat{A}_{1}) + \lambda(\hat{A}_{2})

and

$\lambda \left({\stackrel{^}{A}}_{1}{\stackrel{^}{A}}_{2}\right)=\lambda \left({\stackrel{^}{A}}_{1}\right)\lambda \left({\stackrel{^}{A}}_{2}\right).$\lambda(\hat{A}_{1}\hat{A}_{2})=\lambda(\hat{A}_{1})\lambda(\hat{A}_{2}).

Now we have:

Theorem

(Kochen-Specker)

No valuations on $B\left(ℋ\right)$ exist if dim($ℋ$)>2.

Consequences

If a valuation did exist and was restricted to a commutative sub-algebra of operators, it would be an element of the spectrum of the algebra. Since such elements do exist, valuations must exist on any commutative sub-algebra of operators but not on the non-commutative algebra, $ℬ\left(ℋ\right)$, of all bounded operators. Isham calls these valuations local.

Sheaf-theoretic interpretation

Chris Isham and Jeremy Butterfield gave a topos theoretic reformulation of the Kochen-Specker theorem as follows.

Definition

(category of contexts)

Let $𝒱\left(ℋ\right)$ be a category (the poset of commutative subalgebras of the algebra $B\left(ℋ\right)$ of bounded operators) whose

• objects are commutative von Neumann subalgebras $V\subset B\left(ℋ\right)$;

• morphisms ${V}_{1}\to {V}_{2}$ are inclusions ${V}_{1}\subset {V}_{2}$.

Isham calls this the category of contexts of $B\left(ℋ\right)$. 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).

Definition

(spectral presheaf)

Let $\Sigma :𝒱\left(ℬ{\right)}^{\mathrm{op}}\to \mathrm{Set}$ be the presheaf on the category of context such that

• to $V\subset B\left(ℋ\right)$ it assigned the set underlying the spectrum of $V$: the set of multiplicative linear functionals $\kappa :V\to ℝ$;

• to an inclusion $i:{V}_{1}↪{V}_{2}$ it assigns the corresponding function ${i}^{*}:\Sigma \left({V}_{2}\right)\to \Sigma \left({V}_{1}\right)$ that sends a functional ${V}_{2}\stackrel{\kappa }{\to }ℝ$ to its restriction ${V}_{1}↪{V}_{2}\stackrel{\kappa }{\to }ℝ$.

Recall that the terminal object, $*={1}_{{\mathrm{Set}}^{𝒱\left(ℋ{\right)}^{\mathrm{op}}}}$ in the category of presheaves on $𝒱\left(ℋ\right)$ is the presheaf that assigns the singleton set $*$ (the terminal object in Set) to each commutative algebra.

A global element of the spectral presheaf $\Sigma$ is a morphism $e:*\to \Sigma$ in the presheaf topos. Being a natural transformation of functors, such a global element $\lambda :{1}_{{\mathrm{Set}}^{𝒱\left(ℋ{\right)}^{\mathrm{op}}}}\to \underline{\Sigma }$ of the spectral presheaf, $\underline{\Sigma }$ would associate an element of the spectrum of an algebra $V$ to that algebra such that all local valuations are global, i.e. for $V\subseteq W$ valuations on $V$ are local valuations on $W$ but global on $V$.

Because notice that a multiplicative linear functional $\kappa :V\to ℝ$ ssatisfies the axioms of a valuation when restricted to the self-adjoint elements of $V$.

By the Kochen-Specker theorem these cannot exist, hence a global element of $\Sigma$ cannot exist.

Observation

(Hamilton, Isham, Butterfield)

The Kochen-Specker theorem is equivalent to the statement that in the presheaf topos $\left[𝒱\left(ℋ{\right)}^{\mathrm{op}},\mathrm{Set}\right]$ the spectral presheaf $\Sigma$ has no global elements.

References

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 $B\left(ℋ\right)$ was proposed in part III of

The original paper outlining Bell's theorem is

• J. S. Bell, On the Einstein Podolsky Rosen Paradox , Physics, pdf.

The original paper outlining Gleason's theorem is

• A.M. Gleason, Measures on the closed subspaces of a Hilbert space , Journal of Mathematics and Mechanics, pdf.

Discussion

Revised on November 11, 2011 12:15:19 by Bas Spitters (131.174.142.177)