Résultat mathématique qui caractérise toutes les mesures de probabilité sur le treillis des opérateurs projecteurs d'un espace de Hilbert séparable de dimension au moins trois : toute mesure donnant des nombres non négatifs aux projecteurs et additive sur des projecteurs mutuellement orthogonaux provient d'un opérateur densité via la règle de Born.

Principe

Les affectations de probabilité sur le treillis des projecteurs quantiques sont gouvernées par des opérateurs d'état (matrices densité) et non par des valuations arbitraires sans dispersion ; la structure de l'espace de Hilbert impose la règle de Born pour les dimensions ≥ 3.

Démonstration

Pour un système à trois niveaux (qutrit), toute fonction attribuant des probabilités aux projecteurs de dimension un et qui somme à un sur toute base orthonormée se représente nécessairement comme Tr(ρP) pour quelque matrice densité ρ ; une tentative d'affectation additive différente viole les conditions du théorème de Gleason.

Mauvaise application

Employer le théorème de Gleason pour prouver l'existence de variables cachées déterministes pour les résultats d'un seul projecteur ; le théorème contraint les mesures de probabilité, pas directement l'existence de variables cachées contextuelles ou des constructions dans des cadres de dimension inférieure.

Conséquence

Justifie la règle de Born comme unique règle probabiliste non contextuelle sur le treillis des projecteurs pour les espaces de Hilbert de dimension ≥ 3, soutenant la formalisation standard par opérateurs densité pour les états quantiques.

Inversion

Si l'on autorise des affectations non additives ou dépendantes du contexte, ou si l'on considère des espaces de dimension deux, la conclusion selon laquelle toutes les mesures proviennent d'opérateurs densité n'est plus valide.

Limite

S'applique aux mesures sur le treillis des projecteurs orthogonaux dans des espaces de Hilbert de dimension trois ou plus ; n'inclut pas les POVM définies en dehors du treillis des projecteurs, les espaces probabilistes classiques, ni les cas spéciaux de dimension deux sans hypothèses additionnelles.

Tension sémantique

S'oppose aux vues traitant les probabilités comme de simples degrés de croyance épistémiques assignables arbitrairement ; le théorème restreint la structure d'affectation objective mais ne tranche pas à lui seul le débat ontique versus épistémique sur les états quantiques.

Synthèse

Le théorème de Gleason relie la structure algébrique des projecteurs de l'espace de Hilbert à la représentation analytique des états : lorsque les mesures de probabilité doivent être additives sur les projecteurs orthogonaux pour une dimension ≥ 3, elles s'expriment par des opérateurs densité via la règle de Born, limitant ainsi les affectations cohérentes de probabilités quantiques.