Kochen-Specker Proofs Look Wrong to Me

  • Thread starter Thread starter nougiecat
  • Start date Start date
  • Tags Tags
    Proofs
Click For Summary
The discussion critiques the Kochen-Specker (K-S) proofs, arguing that they rely on the flawed assumption that eigenvectors of projection operators must consistently yield the same value, independent of the associated observable. It emphasizes that the value of an observable is determined by the eigenvalue linked to the eigenvector for a specific operator, which can vary across different operators. An example illustrates that multiple projection operators can share eigenvectors but have different eigenvalues, undermining the K-S proofs. The conversation also references Gleason's Theorem, suggesting that the issue may be resolved by understanding its implications on non-contextuality and the Born rule. Overall, the argument challenges the foundational assumptions of K-S proofs in quantum mechanics.
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:
Insights auto threads is broken atm, so I'm manually creating these for new Insight articles. Towards the end of the first lecture for the Qiskit Global Summer School 2025, Foundations of Quantum Mechanics, Olivia Lanes (Global Lead, Content and Education IBM) stated... Source: https://www.physicsforums.com/insights/quantum-entanglement-is-a-kinematic-fact-not-a-dynamical-effect/ by @RUTA

Similar threads

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