Against probability: A quantum state is more than a list of probability distributions

Cet article démontre un théorème d'impossibilité prouvant qu'une représentation probabiliste topologiquement robuste des états quantiques, bien que nécessaire pour des énoncés physiques significatifs, ne peut simultanément préserver les caractéristiques structurelles essentielles telles que la composition des sous-systèmes.

L'essentiel

L'idée principale : La carte n'est pas le territoire

Imaginez que vous possédez une sculpture complexe en 3D (un état quantique). Pour la décrire à quelqu'un qui ne peut pas la voir, vous décidez de prendre une série de photographies en 2D (des distributions de probabilités) sous tous les angles possibles.

Les auteurs de cet article soutiennent que, bien que ces photos puissent identifier de manière unique la sculpture, s'appuyer sur elles pour décrire la sculpture présente un défaut fatal : les photos peuvent mentir sur la proximité entre deux sculptures.

Dans le monde de la physique quantique, les scientifiques essaient souvent de décrire un système non pas par son état « réel » (l'opérateur de densité), mais par une liste de probabilités de ce qui se passe lorsqu'on le mesure. L'article affirme que si vous essayez de faire cela de manière mathématiquement « robuste » (ce qui signifie que de petites erreurs dans les photos ne conduisent pas à des erreurs massives dans votre compréhension), vous perdez la capacité de décrire comment les parties du système s'assemblent.

Le problème : Le piège de la « photo floue »

Pour comprendre pourquoi cela importe, imaginez que vous essayez de générer une chaîne de nombres véritablement aléatoires (comme un code secret) à l'aide d'une machine quantique.

1. L'objectif : Vous voulez que le résultat soit parfaitement aléatoire. Dans le monde quantique « réel », vous pouvez prouver qu'une séquence est aléatoire s'il est impossible de la distinguer d'une source parfaitement aléatoire, même si un ennemi a accès à tous les secrets internes de la machine.
2. Le piège : Les auteurs présentent un scénario où un système quantique semble presque parfaitement aléatoire si l'on regarde seulement les « photos » (les distributions de probabilités des mesures locales). Les photos disent : « Hé, cela a l'air aléatoire ! »
3. La réalité : Mais si l'on regarde l'état quantique réel, il n'est pas aléatoire du tout. Il est hautement intriqué et structuré.

L'analogie :
Imaginez deux personnes debout très loin l'une de l'autre.

• La distance réelle (Distance de trace) : Si vous mesurez la distance réelle entre elles, elles sont séparées de 100 miles.
• La distance de la photo (Métrique de probabilité) : Vous prenez une photo d'elles sous un angle spécifique. Sur la photo, elles semblent être debout juste à côté l'une de l'autre.

Si vous ne faites confiance qu'à la photo, vous pensez qu'elles sont proches. Mais en réalité, elles sont éloignées. L'article appelle cela la non-robustesse. Cela signifie qu'une « petite » différence dans la liste de probabilités (la photo) peut en réalité cacher une différence « massive » dans l'état physique réel.

Le dilemme : On ne peut pas tout avoir

Les auteurs démontent un théorème de type « No-Go ». Vous ne pouvez pas avoir une description basée sur les probabilités d'un système quantique qui possède les trois caractéristiques souhaitables suivantes en même temps :

1. Robustesse : De petits changements dans la description ne devraient pas signifier que le système est totalement différent. (La photo doit correspondre à la réalité).
2. Structure de sous-système : Vous devez pouvoir décrire les parties d'un système séparément (par exemple, la partie d'Alice et la partie de Bob) sans perdre la connexion entre elles.
3. Efficacité : La description doit être compacte et gérable (ne pas nécessiter une quantité infinie de données).

Le tableau des compromis :

• Mécanique Quantique Standard (Opérateurs de densité) : Possède les trois. C'est robuste, gère bien les parties, et est efficace.
• Représentations de Probabilités (Mesures locales) : Vous pouvez avoir les parties et l'efficacité, mais vous perdez la robustesse. Les photos mentent sur la proximité.
• Représentations de Probabilités (Toutes les mesures) : Vous pouvez avoir la robustesse et les parties, mais vous perdez l'efficacité. La liste de probabilités devient si énorme qu'elle est inutile.

Pourquoi cela importe (selon l'article)

Les auteurs soulignent que de nombreuses idées populaires en physique reposent sur ces listes de probabilités, et cette découverte les brise :

• Le QBisme (Bayésianisme Quantique) : Cette théorie traite les états quantiques comme une simple liste des croyances d'un agent (probabilités). L'article affirme que cette vision échoue pour les systèmes complexes (comme une corde vibrante ou une particule dans l'espace) car la « liste de croyances » n'est pas assez robuste pour décrire la réalité avec précision.
• Reconstruction de la Théorie Quantique : Les scientifiques essaient de reconstruire la physique quantique à partir de règles simples sur les probabilités. L'article dit que vous ne pouvez pas faire cela avec succès pour de grands systèmes, à moins d'ajouter des règles supplémentaires et artificielles pour corriger le problème de la « proximité ».
• Cryptographie Quantique : Si vous essayez de prouver qu'un code secret est sécurisé en utilisant uniquement des listes de probabilités (sans supposer que la mécanique quantique est vraie), vous pourriez penser qu'il est sécurisé parce que les « photos » semblent aléatoires. Mais l'article prévient que le code pourrait en fait être cassé car les « photos » sont trompeuses.
• Théorie Quantique des Champs : Les physiciens décrivent souvent l'univers en utilisant des « fonctions de corrélation » (un type de liste de probabilités). L'article suggère que ces descriptions pourraient échouer à capturer la véritable nature des connexions complexes et non-locales de l'univers.

L'essentiel

L'article conclut que, bien que les listes de probabilités soient un moyen très populaire et pratique de parler de la physique quantique, elles sont fondamentalement imparfaites en tant que remplacement complet de la description standard par « opérateur de densité ».

La métaphore :
Essayer de décrire un système quantique uniquement avec des listes de probabilités, c'est comme essayer de naviguer dans une ville en utilisant seulement une carte en 2D qui a été étirée et déformée. Elle peut vous montrer le nom des rues (la structure), et elle peut être facile à transporter dans votre poche (efficace), mais si vous essayez de juger la distance entre deux bâtiments sur la base de cette carte, vous vous perdrez. Pour naviguer en toute sécurité, vous avez besoin de la réalité en 3D (l'opérateur de densité), pas seulement de la carte déformée.

Résumé technique

Résumé technique : « Contre la probabilité : un état quantique est plus qu'une liste de distributions de probabilités »

Énoncé du problème
Les états quantiques sont fréquemment représentés non pas par des opérateurs de densité ($\rho$), mais par des listes de probabilités de résultats dérivées d'un ensemble de mesures tomographiquement complet ($M$). De telles représentations sont omniprésentes en physique, apparaissant dans la théorie quantique des champs (via les fonctions de corrélation) et dans les fondements de la quantique (au sein des cadres probabilistes généralisés). Bien qu'une telle représentation de probabilité $P_M(\rho)$ soit injective (spécifiant de manière unique l'état), les auteurs se demandent si elle est fidèle au sens physique. Plus précisément, ils examinent si des affirmations approximatives dérivées des représentations de probabilité (par exemple, « la sortie est approximativement aléatoire ») restent valides lorsqu'elles sont « ramenées » au niveau des opérateurs de densité. Le problème central est que les représentations de probabilité peuvent manquer de robustesse topologique : une séquence d'états qui semble converger vers un comportement idéal dans l'espace de représentation des probabilités peut ne pas converger dans l'espace des états physiques (défini par la distance de trace).

Méthodologie
Les auteurs emploient une approche topologique et informationnelle pour analyser la relation entre la métrique induite par une représentation de probabilité et la métrique standard de la distance de trace sur l'espace des opérateurs de densité.

1. Définition de la robustesse : Ils définissent une représentation $P_M$ comme étant topologiquement robuste si la convergence dans la métrique induite $d_M$ implique la convergence dans la distance de trace $\delta$. Formellement, pour toute séquence d'états $(\rho^{(n)})$ et un ensemble d'états $\Sigma$ :
   $$\lim_{n\to\infty} d_M(\rho^{(n)}, \Sigma) = 0 \implies \lim_{n\to\infty} \delta(\rho^{(n)}, \Sigma) = 0$$
   où $d_M(\rho, \sigma) = \frac{1}{2} \sup_{M \in \mathcal{M}} \|P_M(\rho) - P_M(\sigma)\|_1$.

2. Construction de contre-exemple : Ils construisent un exemple spécifique impliquant un protocole de génération de hasard utilisant $n$ atomes instables. Ils définissent une séquence d'états enchevêtrés $\rho^{(n)}_{RE}$ qui sont éloignés de l'ensemble des états parfaitement aléatoires $\Sigma_{rand}$ en termes de distance de trace ($\delta \geq 1/4$). Cependant, lorsqu'ils sont restreints à des mesures locales ($M_\otimes$), les distributions de probabilité de ces états convergent vers $\Sigma_{rand}$ quand $n \to \infty$. Cela démontre que la représentation basée sur des mesures locales n'est pas robuste.

3. Caractérisation topologique : Les auteurs analysent l'espace vectoriel engendré par les opérateurs de densité, $\text{span}(D(H))$. Ils prouvent que, bien que les topologies induites par $d_M$ et $\delta$ soient identiques sur l'ensemble des matrices de densité $D(H)$ (excepté dans les cas pathologiques « fragiles »), la robustesse nécessite l'équivalence de ces topologies sur l'espace vectoriel entier $\text{span}(D(H))$. Cela est équivalent à la complétude de $\text{span}(D(H))$ par rapport à la norme $\|\cdot\|_M$.

4. Quantification de la structure via l'entropie : Pour généraliser le résultat au-delà d'exemples spécifiques, ils introduisent une mesure informationnelle de la « structure ». Ils définissent l'entropie asymptotique d'une représentation basée sur la taille minimale de la liste compressée de données requise pour décoder à $\epsilon$ près les probabilités pour n'importe quelle mesure. Ils considèrent des représentations qui sont « efficaces » (où le nombre d'effets croît polynomialement avec la dimension) ou basées sur des opérations locales.

Contributions clés et résultats

• Le théorème de non-existence (Théorème 6) : Le résultat central est un théorème de non-existence stipulant que si une représentation de probabilité $P_M$ possède une structure non négligeable (spécifiquement, si son entropie asymptotique est bornée par une séquence significativement plus petite que la borne supérieure triviale de $2^{2^n}$), alors la représentation ne peut pas être topologiquement robuste.
• Incompatibilité de la structure et de la robustesse : Le papier établit un compromis fondamental :
  • La robustesse exige que la représentation soit « sans structure » (nécessitant essentiellement un nombre exponentiellement grand de mesures pour distinguer les états de manière robuste).
  • La structure (telle que la décomposition en sous-systèmes, la localité ou l'efficacité) conduit inévitablement à la non-robustesse.
• Corollaires spécifiques :
  • Corollaire 7 : La représentation basée sur les mesures locales ($P_{M_\otimes}$) n'est pas robuste. Cela implique que les définitions de sécurité en cryptographie post-quantique basées uniquement sur des boîtes de non-signalisation (qui correspondent à $P_{M_\otimes}$) peuvent ne pas garantir la sécurité selon les définitions quantiques standards.
  • Corollaire 8 : Toute représentation efficace (où le nombre d'effets de mesure croît polynomialement avec la dimension de l'espace de Hilbert, comme les ensembles minimaux tomographiquement complets tels que les SIC-POVMs) n'est pas robuste. Cela s'applique aux systèmes de dimension non bornée.
• Généralisation aux GPT (Théorème 9) : Les auteurs étendent leurs résultats aux Théories Probabilistes Généralisées (GPT), montrant qu'il existe des GPT où les topologies induites par les mesures locales et la distance de trace généralisée diffèrent, même lorsque l'ensemble de mesures n'est pas fragile.

Signification et revendications
Le papier soutient que les représentations de probabilité, bien que mathématiquement pratiques et fondamentales pour de nombreux cadres (y compris le QBisme et les programmes de reconstruction), souffrent d'un défaut fondamental : elles ne parviennent pas à préserver la notion de « proximité » entre les états lorsque la représentation inclut une structure physiquement pertinente.

• Implications pour les fondements de la quantique : Les résultats posent un défi aux programmes qui tentent de reconstruire la théorie quantique à partir de postulats probabilistes utilisant des ensembles de mesures efficaces (comme les SIC-POVMs) ou pour interpréter les états quantiques purement comme des catalogues de croyances (QBisme) pour des systèmes non bornés. Sans robustesse, les affirmations probabilistes approximatives ne peuvent pas être reliées de manière fiable aux états physiques.
• Implications pour l'information quantique : En cryptographie quantique, la non-robustesse de $P_{M_\otimes}$ suggère que les schémas « post-quantiques » reposant sur des boîtes de non-signalisation pourraient être moins sécurisés que leurs homologues quantiques, car la définition probabiliste de la sécurité ne garantit pas la sécurité au sens de la distance de trace.
• Implications pour la théorie quantique des champs (QFT) : Puisque les états de la QFT sont souvent caractérisés par des fonctions de corrélation (une forme de représentation de probabilité), les auteurs suggèrent que ces représentations ne sont pas robustes, particulièrement pour les observables non locales (par exemple, les corrélations du rayonnement de Hawking).

Conclusion
Les auteurs concluent que le formalisme des opérateurs de densité possède des propriétés favorables — robustesse, structure de sous-système et efficacité — que les représentations de probabilité ne peuvent atteindre simultanément. Bien que les représentations de probabilité offrent une indépendance théorique, le papier soutient que pour toute représentation possédant une structure non négligeable (ce qui est nécessaire pour la physique pratique), la robustesse topologique est perdue. Cela nécessite la recherche d'approches alternatives qui unifient la généralité des représentations de probabilité avec la robustesse des opérateurs de densité.