Can hidden variable theories assign values to observables?

  • Thread starter naima
  • Start date
  • #1
naima
Gold Member
938
54

Main Question or Discussion Point

hi PF

I read the no-go Kochen theorem using 18 vectors projection (here).
One attribute a value to an observable A: v(A)
This function is supposed to be linear and verify v(AB) = v(A) v(B)
so v(AB - BA) = v(A)v(B) - v(B)v(A) = 0 (v is a real number function)
v must assign v(id) = 1 because v(A id) = v(A)= v(A)v(id)
If A B - B A = h Id
v(AB - BA) = h
Why have we to go further and look for non contextuality argument?
 

Answers and Replies

  • #2
Demystifier
Science Advisor
Insights Author
10,814
3,517
Why have we to go further and look for non contextuality argument?
I don't understand the question. Can you rephrase it?
 
  • #3
naima
Gold Member
938
54
As [x,p] = h Id
we would have v(xp - px) = h v(Id) viz 0 = 1.
Why do we have to find a 18 vectors exemple to show that one cannot find such a v?
the wiki's proof is interesting but i think that it hides a simpler explanation.
 
  • #4
648
20
I don't know what function v is but if we take the quantum axiom it should be one of the eigenvalues and then it is surely not linear, we have :

$$eig(A-B)\neq eig(A)-eig(B)\\
eig(AB)\neq eig(A)eig(B)\\
eig(A\otimes B)=eig(A)eig(B)$$
 
  • #5
22,097
3,280
hi PF

I read the no-go Kochen theorem using 18 vectors projection (here).
One attribute a value to an observable A: v(A)
This function is supposed to be linear and verify v(AB) = v(A) v(B)
so v(AB - BA) = v(A)v(B) - v(B)v(A) = 0 (v is a real number function)
v must assign v(id) = 1 because v(A id) = v(A)= v(A)v(id)
If A B - B A = h Id
v(AB - BA) = h
Why have we to go further and look for non contextuality argument?
The value ##v(A)## is only defined for projection operators, which the position and momentum are not.
In another approach, the equality ##v(\alpha A + \beta B) = \alpha v(A) +\beta v(B)## only holds for comeasurable operators ##A## and ##B##, which again, the position and momentum are not.
 
  • Like
Likes bhobba
  • #6
naima
Gold Member
938
54
The value ##v(A)## is only defined for projection operators, which the position and momentum are not.
Yes but for every possible eigenvector of the position operator there is a projector on this vector that tells you if the particle is at this given place. Can you give me well known observable projectors that are not made like that?
As the question is about the v function which gives values to operators, why should it have to be linear or to verify v(f(O)) = f(v(O))?
 
  • #7
648
20
It really depends on the measurement setup you consider. For example the hydrogen atom you measure the energy and not the sum of measured kinetic and potential energy of the electron.

For bell it is another setup we sum measurement result as opposed to measuring the sum.

Thus the isomorphism v(A+B)=v(A)+v(B) should hold in the Bell case. To make this true one has to consider a particular operator operation + that satisfies this relationship.
It is left as an easy exercise to find the operation for the Bell case.
 
Last edited:
  • #8
naima
Gold Member
938
54
The aim is to discard a maximun of hidden variables theories. Not only the simplest ones with linear rules! No?
 
  • #10
648
20
The aim is to discard a maximun of hidden variables theories. Not only the simplest ones with linear rules! No?
Maybe we shall disprove anything hidden but where does that aim comes from ?

Anyhow the term 'hidden' means it is not findable else you get a contradiction.

it is mainly thought that there are no more fundamental level under quantum. If we take Goedel's theorem and admit quantum is complete this means the system of axioms is not strong enough to do meta-quantum in some sens we could not use quantum axioms to 'speak' about quantum mechanics which could make the theory not interesting.
 
Last edited:
  • #11
9,367
2,420
Don't get too caught up in the usual proof of Kochen–Specker. Its just a simple consequence of the more powerful Gleason's theorem which I think is the best way to approach it. The reason its not usually done that way is Gleason has the reputation of being notoriously difficult to prove but like anything if you persevere a bit its not too bad:
http://kiko.fysik.su.se/en/thesis/helena-master.pdf

Thanks
Bill
 

Related Threads on Can hidden variable theories assign values to observables?

  • Last Post
Replies
3
Views
3K
  • Last Post
Replies
7
Views
1K
Replies
33
Views
2K
Replies
5
Views
2K
Replies
6
Views
2K
  • Last Post
Replies
12
Views
929
  • Last Post
2
Replies
27
Views
5K
Replies
28
Views
3K
Replies
1
Views
2K
Replies
7
Views
1K
Top