Теорема Глисона устанавливает, что квантовые вероятности возникают из структуры скалярного произведения в гильбертовом пространстве и задаются правилом Борна.Размерность три — критическое число для квантовой вероятности. В 1957 году математик Эндрю Глисон доказал, что в гильбертовом пространстве (математическом доме квантовых состояний) с тремя и более измерениями любая непротиворечивая мера вероятностей автоматически превращается в след произведения матрицы плотности и проектора. Это и есть правило Борна. До того физики подозревали, что возможны иные способы приписать числа исходам — Глисон закрыл лазейку.
Проблема возникла в 1930-х при попытках аксиоматизировать квантовую механику. Родоначальником был John von Neumann, но его доказательство содержало пробел. В 1957 году Andrew Gleason в работе 'Measures on the Closed Subspaces of a Hilbert Space' дал безупречное доказательство, ставшее классикой. Позже были найдены обобщения для вещественных и кватернионных гильбертовых пространств.
Используется в основаниях квантовой механики и квантовой теории информации для доказательства единственности вероятностных предсказаний. В размерности два (один кубит) существуют контрпримеры — как будто голосование с двумя кандидатами допускает подтасовки. Практическое применение — в квантовой криптографии: без гарантированной однозначности правила Борна протоколы распределения ключей не имели бы смысла.
Обосновывает единственность вероятностных предсказаний квантовой теории. Без этой теоремы инженеры не могли бы уверенно проектировать квантовые компьютеры — работа любого чипа свелась бы к одной и той же математике.
Сам Глисон не был физиком — он решил чисто математическую задачу, подброшенную коллегами. Теорема стала краеугольным камнем квантовой логики.
| P(A|B) | переменная | Условная вероятность A при условии B — conditional probability |
| P(B|A) | переменная | Условная вероятность B при условии A — conditional probability |
| P(A) | переменная | Маргинальная вероятность A — вероятность |
| P(B) | переменная | Маргинальная вероятность B — вероятность |
















