Kochen-Specker Proofs Look Wrong to Me

  • Context: Graduate 
  • Thread starter Thread starter nougiecat
  • Start date Start date
  • Tags Tags
    Proofs
Click For Summary
SUMMARY

The discussion centers on the Kochen-Specker (K-S) proofs and their reliance on the assertion that eigenvectors of projection operators must consistently yield the same value, which the original poster argues is incorrect. They illustrate that eigenvalues associated with different operators can vary, thus challenging the validity of K-S proofs. The conversation also references Gleason's Theorem as a deeper result related to K-S, emphasizing the importance of non-contextuality in quantum mechanics. The conclusion drawn is that the K-S proofs may not hold under scrutiny due to the variability of eigenvalues.

PREREQUISITES
  • Understanding of quantum mechanics principles, particularly eigenvectors and eigenvalues.
  • Familiarity with projection operators in quantum theory.
  • Knowledge of Gleason's Theorem and its implications for hidden variable theories.
  • Concept of non-contextuality in quantum mechanics.
NEXT STEPS
  • Study Gleason's Theorem and its relationship to Kochen-Specker proofs.
  • Explore the implications of non-contextuality in quantum mechanics.
  • Review the mathematical framework of projection operators and their eigenvalues.
  • Investigate the Born rule and its connection to hidden variable theories.
USEFUL FOR

Quantum physicists, researchers in quantum mechanics, and students studying the foundations of quantum theory will benefit from this discussion, particularly those interested in the implications of the Kochen-Specker theorem and hidden variable theories.

nougiecat
Messages
1
Reaction score
0
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.
 
Physics news on Phys.org
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

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.

Thanks
Bill
 
Last edited by a moderator:

Similar threads

  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 9 ·
Replies
9
Views
3K
Replies
5
Views
2K
  • · Replies 5 ·
Replies
5
Views
3K
  • · Replies 24 ·
Replies
24
Views
3K
  • · Replies 13 ·
Replies
13
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 3 ·
Replies
3
Views
4K
  • · Replies 4 ·
Replies
4
Views
3K