Gleason's theorem (named after Andrew M. Gleason) is a mathematical result which is of particular importance for the field of quantum logic. It proves that the Born rule for the probability of obtaining specific results for a given measurement follows naturally from the structure formed by the lattice of events in a real or complex Hilbert space. The theorem states:
- Theorem. Suppose H is a separable Hilbert space of complex dimension at least 3. Then for any quantum probability measure on the lattice Q of self-adjoint projection operators on H there exists a unique trace class operator W such that P(E) = Tr(W E) for any self-adjoint projection E in Q.
The lattice of projections Q can be interpreted as the set of quantum propositions, each proposition having the form "a ≤ A ≤ b", where A is the measured value of some observable on H (given by a self-adjoint linear operator). The trace-class operator W can be interpreted as the density matrix of a quantum state. Effectively, the theorem says that any legitimate probability measure on the space of allowable propositions is generated by some quantum state.
Quantum logic treats quantum events (or measurement outcomes) as logical propositions, and studies the relationships and structures formed by these events, with specific emphasis on quantum measurement. More formally, a "quantum logic" is a set of events that is closed under the operation of disjunction of countably many mutually exclusive events.[clarification needed] The representation theorem in quantum logic shows that such a logic forms a lattice which is isomorphic to the lattice of subspaces of a vector space with a scalar product.
It remains an open problem in quantum logic to prove that the field K over which the vector space is defined must be either the real numbers, complex numbers, or the quaternions. This would have negative implications for the possibility of a p-adic quantum mechanics. This is a necessary result for Gleason's theorem to be applicable, since in these three cases (but not for the p-adics) the definition of the inner product of a vector with itself makes the vector space in question into a Hilbert space. Solèr's Theorem, which under certain hypotheses restricts the field to just these three fields, suggests negative implications for the possibility of a p-adic quantum mechanics.
The representation theorem allows us to treat quantum events as a lattice L = L(H) of subspaces of a real or complex Hilbert space.[clarification needed] Gleason's theorem allows us to "attach" these events to probabilities.[clarification needed] This section draws extensively from the analysis presented by Pitowsky.
We let A represent an observable with finitely many potential outcomes: the eigenvalues of the Hermitian operator A, i.e. . An "event", then, is a proposition , which in natural language can be rendered "the outcome of measuring A on the system is ". The events generate a sublattice of the Hilbert space which is a finite Boolean algebra, and if n is the dimension of the Hilbert space, then each event is an atom.
A quantum probability function over H is a real function P on the atoms in L that has the following properties:
- , and for all
- , if are orthogonal atoms
This means for every lattice element y, the probability of obtaining y as a measurement outcome is known, since it may be expressed as the union of the atoms under y:
In this context, Gleason's theorem states:
- Given a quantum probability function P over a space of dimension , there is an Hermitian, non-negative operator W on H, whose trace is unity, such that for all atoms , where is the inner product, and is a unit vector along .
As one consequence: if some satisfies , then W is the projection onto the complex line spanned by and for all .
The theorem expresses the Born rule for probability in quantum mechanics. The theorem presumes that the underlying set of numbers that the functions are defined over are real numbers or complex numbers. A constructive proof exists.
Gleason's theorem highlights a number of fundamental issues in quantum measurement theory. The fact that the logical structure of quantum events dictates the probability measure of the formalism is taken by some to demonstrate an inherent stochasticity in the very fabric of the world. To some researchers, such as Pitowski, the result is convincing enough to conclude that quantum mechanics represents a new theory of probability. Alternatively, such approaches as relational quantum mechanics make use of Gleason's theorem as an essential step in deriving the quantum formalism from information-theoretic postulates.
The theorem is often taken to rule out the possibility of hidden variables in quantum mechanics. This is because the theorem implies that there can be no bivalent probability measures, i.e. probability measures having only the values 1 and 0. To see this, note that the mapping is continuous on the unit sphere of the Hilbert space for any density operator W. Since this unit sphere is connected, no continuous function on it can take only the value of 0 and 1. But, a hidden variables theory which is deterministic implies that the probability of a given outcome is always either 0 or 1: either the electron's spin is up, or it isn't (which accords with classical intuitions). Gleason's theorem therefore seems to hint that quantum theory represents a deep and fundamental departure from the classical way of looking at the world, and that this departure is logical, not interpretational, in nature.
- Baez, John C. (2010-12-01). "Solèr’s Theorem". The n-Category Café. Retrieved 2017-04-24.
- Pitowsky (2006)
- Wilce (2006), p. 3
- Busch, Paul (2003). "Quantum States and Generalized Observables: A Simple Proof of Gleason's Theorem". Physical Review Letters. 91: 120403. arXiv: . doi:10.1103/PhysRevLett.91.120403.
- Caves, Carlton M.; Fuchs, Christopher A.; Manne, Kiran K.; Renes, Joseph M. (2004). "Gleason-Type Derivations of the Quantum Probability Rule for Generalized Measurements". Foundations of Physics. 34: 193–209. arXiv: . doi:10.1023/B:FOOP.0000019581.00318.a5.
- Dvurecenskij, Anatolij (1992). Gleason's Theorem and Its Applications. Mathematics and its Applications , Vol. 60. Dordrecht: Kluwer Acad. Publ. p. 348. ISBN 978-0-7923-1990-0.
- Edwards, David (1979). "The Mathematical Foundations of Quantum Mechanics". Synthese. 42: 1–70.
- Gleason, Andrew M. (1957). "Measures on the closed subspaces of a Hilbert space". Indiana University Mathematics Journal. 6: 885–893. MR 0096113. doi:10.1512/iumj.1957.6.56050.
- Kalmbach H.E., Gudrun (2014). "Cross Products and Gleason Frames". PJAAM. 10: 1–15.
- Kalmbach H.E., Gudrun (2015). Quantum Mathematics. Delhi: RGN Publications.
- Pitowsky, Itamar (2006). "Quantum mechanics as a theory of probability". In Demopoulos, William; Pitowsky, Itamar. Physical Theory and its Interpretation: Essays in Honor of Jeffrey Bub. Springer. p. 213. ISBN 9781402048760. arXiv: .
- Wilce, A. (2017). "Quantum Logic and Probability Theory". In The Stanford Encyclopedia of Philosophy (Spring 2017 Edition), Edward N. Zalta (ed.).