Dismiss Notice
Join Physics Forums Today!
The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

Kochen-Specker Proofs Look Wrong to Me

  1. May 3, 2014 #1
    Can someone explain to me what is wrong with the following argument? There are two parts. First of all, K-S, despite passing reference to hidden variables, doesn't really seem to depend on any interesting properties of HV, but instead appears to be an indictment of QM itself by asserting that QM cannot consistently predict the results of measurements. I'm not going to elaborate on this part, because the more important part is this: the proofs of K-S all depend on some form of the following assertion. That the eigenvectors of projection operators must always be associated with the same value (zero or one) independent of the operator (i.e. observable) that they are associated with. This results in the so-called coloring rule that a given eigenvector must always have the same color. But I'm pretty sure this is simply not true. The value of an observable is not arbitrary or connected only with an eigenvector. The value is determined by the eigenvalue associated with the eigenvector for a given operator. Different operators in general may share one or more eigenvectors, but the eigenvalues are unrelated. As an example, consider the operator Q, in 3D. This will have three eigenvectors, q1, q2, and q3, and three corresponding projection operators, P1, P2, and P3. All three of these have (or can have, by construction, since they are all degenerate) the same three eigenvectors, q1, q2, and q3. But the eigenvalues that go with these are not all the same. In particular, the eigenvalues for P1 are 1, for q1, 0, for q2, and 0 for q3. Similarly for P2, they are 0, 1, and 0, and for P3, 0, 0, and 1. So all three of the qi have both zero and one as value depending on which projection operator you use. This seems to disprove all of the K-S proofs that I have seen.

    I assume someone can explain to me what I am missing here. Thanks.
  2. jcsd
  3. May 3, 2014 #2


    User Avatar
    Science Advisor
    Gold Member

    Without trying to disentange your issue please note that Kochen Specker (it's been a while since I was familiar with the detail) is in fact a simple corrolary to a much deeper result - Gleasons Theroem:
    http://kof.physto.se/cond_mat_page/theses/helena-master.pdf [Broken]

    I suggest going through the above link and see if your issue is not resolved.

    But it's fairly simple really. If you assume non contextuality it's (plus a few other very reasonable things - but non contextuality is the biggie) then the Born rule follows so that hidden variables are basically not possible because you can't assign states with 0 and 1.

    Last edited by a moderator: May 6, 2017
Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook

Similar Discussions: Kochen-Specker Proofs Look Wrong to Me
  1. Ax-Kochen paper (Replies: 2)