## 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. This claim is compatible
with the existence of a valuation, i.e., a map from a set of
observables into the real numbers, that, for any such set, maps all
its members to 0, thereby meeting both KS1 and KS2. We can still prove
the KS Theorem by example, e.g., by explicitly specifying, for some
*x* and *y*, a set of observables and a valuation not
mapping them all to 0, such that KS1 and KS2 are contradictory (see
Rajan and Visser 2017 in Other Internet Resources for discussion).

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.