Gleason's theorem establishes that quantum probabilities arise from the inner product structure of Hilbert space and are given by the Born rule.Dimension three is the critical number for quantum probability. In 1957, mathematician Andrew Gleason proved that in a Hilbert space (the mathematical home of quantum states) with three or more dimensions, any consistent probability measure automatically turns into the trace of the product of a density matrix and a projector. That is the Born rule. Before that, physicists suspected that other ways of assigning numbers to outcomes were possible — Gleason closed the loophole.
The problem arose in the 1930s during attempts to axiomatize quantum mechanics. The pioneer was John von Neumann, but his proof contained a gap. In 1957, Andrew Gleason, in the work 'Measures on the Closed Subspaces of a Hilbert Space,' gave an impeccable proof that became a classic. Later, generalizations were found for real and quaternionic Hilbert spaces.
It is used in the foundations of quantum mechanics and quantum information theory to prove the uniqueness of probabilistic predictions. In dimension two (one qubit), there are counterexamples — as if voting with two candidates allows tampering. A practical application is in quantum cryptography: without the guaranteed unambiguity of the Born rule, key distribution protocols would be meaningless.
It justifies the uniqueness of probabilistic predictions in quantum theory. Without this theorem, engineers could not confidently design quantum computers – the operation of any chip would reduce to the same mathematics.
Gleason himself was not a physicist — he solved a purely mathematical problem thrown at him by colleagues. The theorem became a cornerstone of quantum logic.
| P(A|B) | variable | Conditional probability of A given B — conditional probability |
| P(B|A) | variable | Conditional probability of B given A — conditional probability |
| P(A) | variable | Marginal probability of A — probability |
| P(B) | variable | Marginal probability of B — probability |
















