## Notes to The Kochen-Specker Theorem

1. One of the main ideas of Bohmian Mechanics is that position is the only basic observable to which all other observables of orthodox QM can be reduced. So, Bohmian Mechanics will qualify VD as follows: “Not all observables defined in orthodox QM for a physical system are defined in Bohmian Mechanics, but those that are (i.e. only position) do have definite values at all times.” Both this modification of VD and the rejection of NC immediately immunize Bohmian Mechanics against any no HV argument from the Kochen Specker Theorem. See sec.s 10 and 11 of the entry on Bohmian Mechanics for further discussion.

2. Note that if we understand the ‘expectation’ values deriving from the hidden states as what someone knowing such a state should expect as the average measurement result, then this claim is correct only given an assumption of faithful measurement (FM). FM is another typical assumption of a realist (or noncontextualist HV) interpretation of QM. The KS argument can be given without FM, since it makes claims about possessed values, not measured values. Only in statistical arguments, like von Neumann’s and Clifton’s, FM must be assumed. We suppress FM in the main text with the exception of Contextuality (see Section 5.3).

3. See Bell (1966: 4) and Jammer (1974: 274, 304); see also Kochen and Specker (1967: 82/322, theorem 3) for a parallel example and criticism of von Neumann. This criticism of von Neumann’s argument was first raised by Grete Hermann (1935). Einstein is also reported to have made the same criticism (see Shimony 1993: 89).

4. Apart from being positive and normalised (μ(id)=1, id the identity operator), a probability measure in Gleason’s sense must be (countably) additive for families of mutually orthogonal projections. This natural assumption is the analogue of KS’s assumption (3) for compatible observables.

5. According to Bell (1987: 167), Kochen did not know of Gleason’s work at the time.

6. It has been claimed that the theorem’s statement requires a third condition:

(KS2)(c): There exists at least one observable

Xwithv(X) ≠ 0.[…] Without condition KS2c the theorem is actually false — the trivial valuation where for all observables

Xone setsv(X) = 0 provides an explicit counter-example.

(See Rajan and Visser 2017, p. 2, in Other Internet Resources.) But this is a mistake. The theorem claims the existence of a valuation such that KS1 and KS2 jointly are contradictory. Arguably, this claim can only be proved by explicit examples. Presenting a valuation such that KS1 and KS2 jointly are compatible (non-contradictory) – i.e., the “trivial valuation” – is itself compatible with the theory’s claim but irrelevant to its proof.

7. See Kochen and Specker (1967: 71–72/310–11).

8. By elementary vector algebra,
viz.: **a**·**b**=|a| |b| cos φ,
where **a**·**b** is the inner
product of vectors **a** and **b** and φ
is the angle between them.

9. Both arguments, i.e., von Neumann’s and Clifton’s, presuppose faithful measurement (FM) (see also fn 1). Indeed, an eventual failure of FM would be the natural way to explain why a certain constraint on possessed values does not show up in the measurement statistics.

10. A state of a spin-1 particle
where
prob(*v*(*S*_{x}^{2})=0)=1 is
|*S*_{x}=0>. Expanding this state in the
eigenvectors of *S*_{x′} yields

|S_{x}=0> =

cos φ (1 + sin^{2}φ)^{−½}|S_{x′}= 0> + sin φ (1 + sin^{2}φ)^{−½}(|S_{x′}= −1> − |S_{x′}= +1>)

Now, with cos φ=1/3, we get:

prob( v(S_{x′}^{2}) = 0)= prob( v(S_{x′}) = 0)= (cos φ) ^{2}/ (1 + sin^{2}φ)= 1/9 (1 + 8/9) ^{−1}= 1/17

11. See Redhead (1987: 121). See also Kochen and Specker (1967: 64/299, eq. 4) and Fine and Teller (1978: 631) where the principle appears under the name “functional relation condition”.

12. The argument here is due to
Redhead (1987: 132). Redhead himself suggests that there is an
internal tension in his argument. He remarks that STAT FUNC, as
derived from the QM formalism, is a statement about (probabilities
for) *measured values*, (see his remark that when QM →
STAT FUNC, the latter is “understood in terms of the statistics
of measurement results”, p. 132), while FUNC talks about
“the *possessed values* of the observables”
(p. 121, my italics). This distinction seems to devaluate
Redhead’s reasoning to some extent. If there is a real
difference between possessed values and measured values and no
explicit assumption equating both types of values is made, then STAT
FUNC (version 1) derivable from FUNC talks about a statistical
relation among functions of *possessed values*, while STAT FUNC
(version 2) is derived from QM, hence by definition talks about the
statistics of *measured values*. The two versions initially are
entirely unconnected and FUNC → STAT FUNC (version 1) cannot lend
plausibility to STAT FUNC (version 1). Now, don’t we have good
reason to carefully distinguish measured and possessed values in
QM?

Fortunately, no such distinction is really necessary. First,
distinguish a strong sense of possessed values where possessed value
are values a system possesses independently from being measured and a
weak sense of possessed values where possessed values are
possessed *simpliciter*, i.e. the system just has them, perhaps
as a result of measurement, perhaps not. Second, consider the hedge
phrase of a system ‘displaying a value’ as a result of a
measurement. It is minimally a phrase like this which must go into the
description of the events for which the Statistical Algorithm yields
probabilities. But the hedge phrase is actually superfluous. Physical
systems do not display anything unless they have it. Accordingly, if a
system displays a value upon measurement, then it possesses this value
(in the weak sense). By contrast, if a system displays a value upon
measurement and measurement is faithful, then it possesses that value
independently of measurement (thus, possessed it in the strong
sense). (See the main text below, § 5.3, for more on faithful
measurement; see also Redhead, p. 131 after eq. (11), for the
connection between faithful measurement and possessed values.) Now,
the weak sense of possessing a value is fully sufficient to formulate
FUNC and Redhead’s plausibility argument for STAT FUNC remains
untouched. (Indeed, the derivation FUNC → STAT FUNC itself uses
the Statistical Algorithm, which would be an illegitimate procedure if
the latter did not refer to probabilities for possessed values, in
some sense.)

13. It is not exactly true that the
QM formalism prescribes *any* observable to have a value. In
fact, the formalism itself is entirely silent about values, apart from
the statistical predictions it entails via the statistical algorithm
(see Redhead 1987: 8). But a crucial assumption of orthodox
interpretations is the eigenstate-eigenvalue link (see Fine 1973: 20):
Observable *A* on a system has value a_{k} iff
the system is in state |a_{k}>. The only if
direction of this principle which leads to a minimum of value
ascriptions is endorsed in van Fraassen’s original version of
the modal interpretation (this direction is equivalent to the
Eigenvector Rule in Redhead 1987: 73, 120) while it denies the if
direction, which prevents that more than a minimum of values are
ascribed to a system.

14. This is Redhead’s (1987: 135–36) construal of a proposal by Fine (1974).

15. See Fine and Teller (1978: 636), Redhead (1987: 138) and references therein.

16. What we mean here is the
following. A definition of observable *f*(*A*) (or
observable *A* + *B*, or
observable *A*·*B*, both constructed from
observables *A* and *B*) would be that it is an
observable which takes a value calculated by
measuring *v*(*A*) (or measuring *v*(*A*)
and *v*(*B*)) and applying *f* to the result (or
calculating *v*(*A*) + *v*(*B*), or
calculating *v*(*A*) *v*(*B*)). FUNC,
the Sum Rule and the Product Rule, as restricted to one measurement
context, trivially repeat these definitions, and there obviously is no
point in testing, e.g.,
whether *v*(*A*·*B*) really
equals *v*(*A*) *v*(*B*), if the
former expression is defined by the latter.

17. The proviso ‘in a sense’ comes from the fact that a colourable subset of the set of observables corresponding to all directions in R3, since it is a proper subset of the latter, is not itself continuous in the intuitive sense. We can, however, define a probability function from such a colourable subset into [0, 1] which obeys the usual continuity definition of elementary calculus.