États quantiques et observables généralisés : une preuve simple du théorème de Gleason

Un état quantique peut être compris dans un sens large comme une carte qui attribue une valeur à chaque observable. En formalisant cette caractérisation des états en termes de distributions de probabilité généralisées sur l'ensemble des effets, nous obtenons une preuve simple du résultat, analogue au théorème de Gleason, selon lequel tout état quantique est donné par un opérateur de densité. En corollaire, nous obtenons un argument de type von Neumann contre les variables cachées non contextuelles. Il en découle que dans une interprétation individuelle de la mécanique quantique, les valeurs des effets sont appropriées à comprendre comme des propensions.