DrDu
Science Advisor
- 6,423
- 1,004
bhobba said:For example how does it fit with Gleason? It proves, providing you have non contextuality, all states are positive operators of unit trace - assuming the strong principle of superposition any positive operator is a legit state. Mixed states are different, by their very definition, to pure states. The state 1/2 |a><a| + 1/2 |b><b| can never be put in the form |u><u| - its simply not possible by the axioms of linear algebra and what a positive operator of unit trace is. The decomposition is not unique - one can find other mixed states that observationaly are the same - but not a pure state.
Gleason? It says that every subset of one fixed Hilbert space can be projected onto by a density matrix. That's certainly true. However what I want to say is that you can embed this Hilbert space into a larger Hilbert space so that these representations become all vector representations.
Basically this is the content of the GNS theorem:
https://en.wikipedia.org/wiki/Gelfand–Naimark–Segal_construction
When I was first introduced into QFT, I had the feeling that somebody had pulled the carpet from under my feet. You hardly consider states any more, and even less density matrices. Nevertheless the distinction between pure and mixed states is still somewhere hidden and is important. Take for example the ground states of a superconductor. There are several ones with either the number of Cooper pairs fixed or the phase of the condensate fixed. Can you tell which one is pure and which one is mixed?
If not, have a look at
Haag, Rudolf. "The mathematical structure of the Bardeen-Cooper-Schrieffer model." Il Nuovo Cimento (1955-1965) 25.2 (1962): 287-299.
Therefore I think it would make much sense to explain the ideas behind the GNS theorem already in ordinary QM.
I tried to derive a representation of the mixed vector states a la GNS already in an earlier post,
https://www.physicsforums.com/threa...of-entangled-state.920907/page-2#post-5810047

