DrewD said:
I agree. I actually just came back to this thread because I realized I was wrong.
I actually didn't realize it until prompting by others made me look it a bit more carefully.
Its not a biggie though. All it means is you can't use it to justify the Born rule - but IMHO Gleason does that well enough anyway, as well as showing its real, deep down, rock bottom essence - basis independence.
I have a couple of spare minutes so will spell it out.
Gleason's theorem says that the only probability measures that can be applied to the subspaces of a Hilbert space is via the usual Born Rule ie if A is the projection operator of the subspace a positive operator of unit trace exists such that the measure is Trace(PA).
When you go through the proof you think - it water tight - no out - Born Rule proved.
Not so fast Grasshopper. Let say we have the projection operator X = |x1><x1| + |x2><x2| then we can find another basis of the subspace to give the same projection operator Y = |y1><y1| + |y2><y2|. Of course X=Y
So far so good. Now treat those operators as observables. Consider X. Let's change the outcome of |x2><x2| to 0. Then the expected outcome of this new operator is the probability of getting the first outcome. And similarly if we change the outcome of |x1><x1| the expected outcome of the new operator is the probability of getting the second outcome. But we must get one or the other so E(X) = E(|x1><x1|) + E(|x2><x2|). Of course E(X) is the probability of getting the first or the second outcome. Similarly E(Y) = E(|y1><y1|) + E(|y2><y2|).
But X=Y, so E(|x1><x1|) + E(|x2><x2|) = E(|y1><y1|) + E(|y2><y2|). But there is nothing in the observable postulate that says this must be the case. It is an inevitable consequence of being able to assign a measure to subspaces so it doesn't matter what basis is used in the subspace. But basis are man made things - they are entirely arbitrary. Fundamental physics should not depend on it. If we are to take the vector space formalism seriously then it should be the case.
However it is in fact a very strong assumption, as the fact you can prove the Born Rule from it shows. It generally goes by the name non-contextuality because different basis decompositions of a subspace correspond to physically different observations. Mathematically its very reasonable, almost trivial. Physically - its very strong.
Thanks
Bill