Gleason's Theorem for a Qubit as Part of a Composite System

Résumé technique : Le théorème de Gleason pour un qubit en tant que partie d'un système composé

Énoncé du problème
Le théorème de Gleason (1957) établit que pour les espaces de Hilbert de dimension $d \geq 3$, toute attribution de probabilité non contextuelle aux résultats des mesures de valeurs de projection (PVM) doit prendre la forme de la règle de Born, $f(P) = \text{Tr}(P\rho)$, où $\rho$ est une matrice de densité. Cependant, le théorème échoue pour $d=2$ (un qubit unique). Dans un espace de dimension deux, les projecteurs n'apparaissent que dans une seule résolution de l'identité (par exemple, $\{P, I-P\}$), manquant ainsi de la structure d'« entrelacement » nécessaire pour imposer des contraintes de cohérence entre les différentes bases de mesure. Par conséquent, le théorème de Gleason ne peut pas exclure les attributions de probabilités non quantiques pour un qubit seul, telles que celles attribuant des résultats définis à des observables non commutantes (par exemple, $\sigma_x$ et $\sigma_z$). Cette lacune est conceptuellement insatisfaisante compte tenu du rôle fondamental du qubit dans l'information quantique. Les extensions précédentes vers $d=2$ se sont appuyées sur l'élargissement de l'ensemble des mesures autorisées pour inclure les mesures de valeurs de opérateurs positifs (POVM) ou d'autres mesures généralisées. Cet article cherche à étendre le théorème de Gleason à $d=2$ tout en conservant la restriction originale aux seules mesures projectives.

Méthodologie
Les auteurs proposent d'étendre le domaine du théorème en invoquant l'axiome standard décrivant les systèmes quantiques composés, plutôt qu'en élargissant l'ensemble des mesures. La méthodologie centrale implique :

1. Cadre de système composé : L'article suppose que tout système unique (par exemple, un qubit) peut être considéré de manière cohérente comme un sous-système d'un système composé plus large (par exemple, une paire de qubits). Cela repose sur la structure de produit tensoriel des espaces de Hilbert ($H_{AB} = H_A \otimes H_B$).
2. Compatibilité de composition (CC) : Les auteurs formalisent la représentation des mesures locales sur un sous-système $A$ au sein du système composé $AB$. Une mesure $M_A = \{P^A_x\}$ sur $A$ est projetée en une mesure $M_{AB} = \{P^A_x \otimes I_B\}$ sur le système composé, où $I_B$ est l'identité sur $B$. Cette application $\Phi$ garantit que les mesures locales ne fournissent aucune information sur l'état de $B$.
3. Fonctions de cadre marginales : Une nouvelle définition opérationnelle des états quantiques est introduite. Une fonction de cadre $f$ (une attribution de probabilité) pour un système $A$ est dite marginale si elle peut être induite par une fonction de cadre $F$ valide d'un système composé $AB$ via la trace partielle (ou la restriction à l'image de $\Phi$). Spécifiquement, $f(P^A_x) = F(P^A_x \otimes I_B)$.
4. Contrainte de cohérence : L'argument central est que les attributions de probabilité pour un sous-système doivent être cohérentes avec l'existence d'un état global valide dans un système plus large. Cela impose des contraintes sur les fonctions de cadre locales qui n'existent pas lorsque le système est considéré de manière isolée.

Contributions clés et résultats
Le résultat principal de l'article est le Théorème 2, qui étend le théorème de Gleason aux espaces de dimension deux :

• Théorème 2 : En supposant les axiomes standards pour les espaces de Hilbert (H), les mesures projectives (M), les systèmes composés (C) et la définition opérationnelle des états comme fonctions de cadre marginales (eS), toute fonction de cadre marginale $f$ pour un système de dimension $d \geq 2$ admet l'expression $f(P_x) = \text{Tr}(P_x \rho)$ pour une matrice de densité $\rho$.
• Mécanisme d'extension : Pour $d=2$, bien que les fonctions de cadre isolées puissent être arbitraires, l'exigence qu'elles soient marginales (dérivables d'un système composé de dimension $d' \geq 2$) les force à se conformer au formalisme de la matrice de densité. La preuve s'appuie sur le fait que pour le système composé (dimension $2d' \geq 4$), le théorème de Gleason standard s'applique. La fonction de cadre marginale est montrée comme étant la trace partielle de la matrice de densité composée, ce qui produit nécessairement une matrice de densité $2 \times 2$ valide.
• Analyse de robustesse (Théories de substitution) : Les auteurs examinent la stabilité structurelle de cette dérivation :
  • Théorie Quantique Réelle (RQT) : L'extension est valide pour les espaces de Hilbert réels ($d \geq 2$) pourvu que le produit tensoriel standard soit utilisé, malgré l'absence de tomographie locale de la RQT.
  • Théorie Quantique Quaternonionique (QQT) : L'extension échoue probablement car la non-commutativité des quaternions complique la définition d'un produit tensoriel linéaire et de mesures locales cohérentes, faisant obstacle à la définition de fonctions de cadre marginales.
  • Produits tensoriels ou observables alternatifs : Si l'ensemble des observables est restreint (par exemple, uniquement les mesures de produits locaux ou les PVM « non-intriqués »), la dérivation peut échouer. Spécifiquement, pour les systèmes composés contenant un qubit, des fonctions de cadre non-quantiques peuvent exister si l'ensemble des mesures autorisées ne comprend pas l'ensemble complet des PVM requis pour imposer la structure standard du produit tensoriel.
  • Règles de mise à jour de l'état : La dérivation est indépendante de la règle de mise à jour de l'état (par exemple, la règle de Lüders). Le théorème reste valable même dans les théories avec des règles de mise à jour alternatives, à condition que l'espace de Hilbert et les structures de produit tensoriel restent standards.

Signification et revendications
L'article affirme fournir une « simplification conceptuelle » et une dérivation « naturelle » de l'espace d'état du qubit et de la règle de Born sans invoquer de mesures généralisées. La signification est articulée en quatre points :

1. Hypothèses primitives : La dérivation repose exclusivement sur les mesures de valeurs de projection (PVM), que les auteurs considèrent comme logiquement plus primitives que les POVM en raison de leur correspondance avec les treillis de Boole d'événements et de propositions oui-non définies.
2. Postulats standards : La dérivation découle directement du postulat standard de la composition de systèmes (produit tensoriel), évitant ainsi le recours à des hypothèses ad hoc concernant les ensembles de mesures.
3. Rôle des systèmes composés : Ce travail souligne que la structure de la théorie quantique pour les systèmes individuels (spécifiquement les qubits) est inextricablement liée aux propriétés des systèmes composés. L'incapacité à assigner des probabilités non contextuelles à un qubit seul est résolue uniquement en le considérant comme faisant partie d'un tout plus vaste.
4. Programme de reconstruction : L'extension contribue à la reconstruction de la théorie quantique à partir de postulats intuitifs. Elle démontre que la géométrie de l'espace d'état (matrices de densité) et la règle de probabilité (règle de Born) pour toutes les dimensions finies ($d \geq 2$) peuvent être dérivées uniquement des postulats de composition de systèmes et de mesures projectives.

Les auteurs maintiennent un ton modeste, notant que bien que le résultat clarifie les relations logiques entre les postulats, il ne dérive pas l'ensemble de la théorie (par exemple, la dynamique unitaire ou des règles de mise à jour spécifiques) mais établit la structure nécessaire pour les espaces d'état et les attributions de probabilités. L'article précise explicitement que l'extension ne s'applique pas aux théories où la structure du produit tensoriel ou la définition des systèmes composés est fondamentalement altérée (comme dans certaines formulations de la QQT ou des théories avec des ensembles d'observables restreints).