A refined Frauchiger--Renner paradox based on strong contextuality

Cet article présente un paradoxe de Frauchiger–Renner affiné, fondé sur le scénario fortement contextuel GHZ–Mermin, qui élimine le besoin de post-sélection et de raisonnement quantique par des observateurs modélisés, et propose une extension du dicton de Peres pour résoudre de tels paradoxes étendus de l'ami de Wigner, sous l'hypothèse de l'universalité de la théorie quantique.

L'essentiel

La Grande Image : Une Querelle Familiale Quantique

Imaginez un groupe d'amis essayant de résoudre un mystère. Dans le monde de la physique quantique, les choses deviennent étranges lorsque vous avez des « super-observateurs » — des personnes capables de regarder d'autres personnes observer des choses, tout en traitant les observateurs eux-mêmes comme faisant partie de l'énigme quantique.

En 2016, deux scientifiques (Frauchiger et Renner) ont créé une célèbre expérience de pensée montrant que si tout le monde suit les règles de la mécanique quantique, ils aboutissent à une contradiction logique. C'est comme une dispute familiale où chacun a raison selon sa propre perspective, mais lorsqu'ils comparent leurs notes, les mathématiques disent « impossible ».

Ce nouvel article, par Walleghem et ses collègues, déclare : « Nous avons trouvé un moyen de rendre cet argument encore plus fort, plus simple et plus difficile à ignorer. » Ils appellent leur nouvelle version le paradoxe GHZ–FR.

L'Ancien Problème : L'Énigme « Hardy »

Pour comprendre la nouvelle version, examinons l'ancienne (le paradoxe Frauchiger–Renner ou FR).

• Le Déroulement : Imaginez qu'Alice et Bob soient dans des pièces scellées. Ils mesurent une pièce quantique. À l'extérieur, deux « Super-observateurs » (Ursula et Wigner) surveillent les pièces entières.
• Le Dysfonctionnement : Le paradoxe original reposait sur une configuration quantique spécifique appelée le modèle de Hardy. Ce modèle est un peu comme un jeu de « peut-être ». Il ne fonctionne que si vous avez de la chance avec les résultats.
  • Analogie : Imaginez qu'Ursula et Wigner lancent des pièces. Le paradoxe ne se produit que s'ils obtiennent tous les deux « Pile ». S'ils obtiennent « Face », l'argument s'effondre. Ils doivent donc rejeter tous les tours où ils n'ont pas obtenu Pile. C'est ce qu'on appelle la sélection postérieure. C'est comme dire : « Nous ne comptons que les parties où nous avons gagné. »
• Le Raisonnement : Dans l'ancienne version, les personnes à l'intérieur des pièces (Alice et Bob) devaient effectuer un raisonnement quantique complexe pour transmettre des messages à l'extérieur.

La Nouvelle Solution : L'Énigme « GHZ »

Les auteurs ont réalisé qu'ils pouvaient remplacer l'énigme « Hardy » par une bien plus puissante appelée le modèle GHZ–Mermin.

• Plus de « Peut-être » : Le modèle GHZ est comme un cadenas parfait. Peu importe le résultat ; la contradiction se produit chaque fois.
  • Analogie : Dans l'ancien jeu, vous deviez attendre un lancer chanceux spécifique pour voir le dysfonctionnement. Dans ce nouveau jeu, le dysfonctionnement se produit peu importe comment vous lancez les dés. Vous n'avez pas besoin de rejeter aucun résultat.
• Un Raisonnement Plus Simple : Dans la nouvelle version, les personnes à l'intérieur des pièces (Alice, Bob, Charlie) n'ont pas besoin de faire de raisonnement quantique complexe. Ils mesurent simplement leurs pièces. Les « Super-observateurs » (Ursula, Valentina, Wigner) font le travail de réflexion.
  • Analogie : Imaginez trois amis (Alice, Bob, Charlie) lançant des pièces dans des pièces séparées. Trois détectives extérieurs (Ursula, Valentina, Wigner) les observent. Les détectives n'ont pas besoin d'être des génies quantiques ; ils doivent simplement être des humains logiques. Lorsqu'ils se réunissent pour comparer leurs notes, ils réalisent que leurs notes se contredisent.

Les Trois Règles du Jeu

L'article soutient que cette contradiction prouve que nous ne pouvons pas avoir les trois idées suivantes vraies en même temps :

1. Universalité de la Théorie Quantique : L'idée que les règles quantiques s'appliquent à tout, même aux grandes choses comme les personnes et leurs laboratoires. Un « Super-observateur » peut traiter un laboratoire entier comme un objet quantique unique.
2. Vérité Absolue (ou « Les Faits sont des Faits ») : L'idée que lorsqu'une mesure a lieu, il existe une seule réponse réelle. Si Alice voit « Pile », alors « Pile » est la vérité absolue pour tout le monde, partout.
3. Compatibilité de Born : L'idée que si vous utilisez les mathématiques quantiques standard (la règle de Born) pour prédire ce qui pourrait arriver, votre prédiction devrait correspondre à la réalité que vous finissez par observer.

Le Paradoxe : L'article montre que si vous croyez en #1 (les Super-observateurs existent) et #3 (les mathématiques quantiques fonctionnent), alors #2 (Vérité Absolue) doit être faux. Ou, si vous croyez en #2, alors #1 ou #3 doit être faux.

La Solution Proposée : « La Relativité des Événements Observés »

Si nous acceptons que les Super-observateurs sont possibles (Règle #1) et que les mathématiques quantiques fonctionnent (Règle #3), comment résoudre la contradiction ?

Les auteurs suggèrent une nouvelle façon de penser appelée la Relativité des Événements Observés.

• L'Analogie : Imaginez qu'un message secret soit écrit sur un papier à l'intérieur d'une boîte scellée.
  • Alice ouvre la boîte et voit « Bonjour ». Pour Alice, le fait est « Bonjour ».
  • Bob est à l'extérieur de la boîte. Jusqu'à ce qu'il l'ouvre (ou demande à Alice), le papier est toujours une « superposition quantique » de « Bonjour » et « Au revoir » selon sa perspective.
  • La Règle : Vous ne pouvez attribuer une valeur à un fait (comme « Bonjour ») que lorsque vous l'avez appris réellement.
• Le Nouveau Principe : « Les expériences non réalisées n'ont pas de résultats, et les résultats inconnus n'ont pas de valeurs ».

Cela signifie qu'Ursula (la Super-observatrice) ne peut pas dire « Bob a définitivement vu Pile » tant qu'elle n'a pas réellement demandé à Bob ou vérifié son laboratoire. Jusqu'à ce qu'elle le fasse, ce n'est pas encore un « fait » pour elle. C'est simplement une potentialité.

Pourquoi Cela Compte

L'article conclut que ce n'est pas juste une énigme mathématique astucieuse. Cela nous force à choisir entre :

1. Renoncer à l'idée qu'il existe une seule réalité absolue pour tout le monde (Les faits sont relatifs à celui à qui vous demandez).
2. Renoncer à l'idée que la mécanique quantique s'applique à tout (Peut-être que les grandes choses comme les laboratoires ne peuvent pas être traitées comme des objets quantiques).
3. Renoncer à l'idée que nos prédictions quantiques standard correspondent toujours à la réalité de la manière que nous attendons.

Les auteurs penchent vers la première option : Les faits sont relatifs. Une mesure ne devient un « fait » pour un observateur que lorsque cet observateur apprend réellement le résultat. Jusqu'alors, ce n'est qu'une possibilité quantique.

Résumé en Une Phrase

Cet article prouve que si la mécanique quantique s'applique à tout le monde (même aux personnes qui observent l'expérience), alors il n'existe pas de « vérité absolue » unique pour tout l'univers ; les faits ne deviennent réels que lorsqu'un observateur les apprend réellement.

Résumé technique

Résumé technique : Un paradoxe Frauchiger–Renner raffiné fondé sur la contextualité forte

Énoncé du problème

Le paradoxe Frauchiger–Renner (FR) (2016) met en évidence une incohérence apparente de la théorie quantique lorsqu'elle est utilisée pour se décrire elle-même. Dans un scénario étendu de l'ami de Wigner, des agents (superobservateurs) modélisent d'autres agents comme des systèmes quantiques et raisonnent sur les connaissances mutuelles, conduisant à une contradiction logique concernant les résultats de mesure. Bien que le paradoxe FR repose sur le modèle de Hardy, qui est contextuel logiquement, il nécessite une sélection postérieure sur des résultats de mesure spécifiques et implique un raisonnement par des agents qui sont eux-mêmes modélisés quantiquement. Cet article identifie que la structure logique du paradoxe FR est sous-tendue par la « non-localité logique » (Hardy) et vise à construire un paradoxe plus fort fondé sur la « contextualité forte » (GHZ–Mermin) afin de dériver des théorèmes d'impossibilité plus robustes.

Méthodologie

Les auteurs emploient un cadre combinant la théorie de l'information quantique, l'approche par faisceaux de la contextualité et la logique épistémique. La méthodologie se déroule en trois étapes principales :

1. Analyse du paradoxe FR : Les auteurs démontrent d'abord que le paradoxe FR peut être renforcé en modifiant l'étape de raisonnement de sorte que seuls des « agents classiques » (des agents non modélisés quantiquement par d'autres dans le protocole) effectuent le raisonnement. Ils identifient le mécanisme sous-jacent comme étant le modèle de Hardy, une preuve de non-localité sans inégalités qui repose sur des arguments possibilistes (probabilité nulle vs non nulle).
2. Construction du paradoxe GHZ–FR : En exploitant la correspondance entre les scénarios de non-localité de Bell et les scénarios étendus de l'ami de Wigner, les auteurs construisent un nouveau paradoxe basé sur le modèle GHZ–Mermin. Ce modèle présente une « contextualité forte », ce qui signifie qu'aucune affectation globale de résultats n'existe qui soit cohérente avec les possibilités locales, contrairement au modèle de Hardy où certaines affectations globales existent.
3. Dérivation de théorèmes d'impossibilité : Les auteurs formalisent les hypothèses requises pour que le paradoxe tienne et dérivent deux théorèmes d'impossibilité distincts :
   • Le théorème d'impossibilité GHZ–FR de la vérité : Basé sur l'hypothèse d'une vérité absolue et à valeur unique pour tous les événements observés.
   • Le théorème d'impossibilité GHZ–FR de l'accord : Un résultat plus fort qui remplace l'hypothèse de vérité absolue par la « Connaissance personnelle » (les agents peuvent attribuer des résultats par rapport à eux-mêmes) et l'« Accord classique » (les agents communiquant classiquement doivent s'accorder sur les résultats se chevauchant).

Contributions clés

1. Le paradoxe GHZ–FR

L'article introduit un nouveau protocole impliquant trois paires observateur-superobservateur (Alice/Ursula, Bob/Valentina, Charlie/Wigner) partageant un état GHZ.

• Protocole : Les observateurs (A, B, C) mesurent leurs qubits dans la base $Y$. Les superobservateurs (U, V, W) effectuent ensuite des « supermesures » (mesures de type X) sur le système combiné de l'observateur et de son qubit.
• Contraste avec FR : Contrairement au paradoxe FR, le paradoxe GHZ–FR ne nécessite pas de sélection postérieure. La contradiction surgit dans chaque exécution du protocole où les superobservateurs obtiennent des résultats spécifiques, plutôt que seulement dans un sous-ensemble sélectionné postérieurement. De plus, le raisonnement est effectué exclusivement par des agents classiques (les superobservateurs après qu'ils ont mesuré), éliminant le besoin d'agents quantiques raisonnant sur d'autres agents quantiques.

2. Le théorème d'impossibilité GHZ–FR de la vérité

Ce théorème démontre l'incompatibilité de trois hypothèses :

• Universalité de la théorie quantique : Les superobservateurs existent et peuvent modéliser les laboratoires comme des systèmes quantiques fermés évoluant de manière unitaire.
• Absolutisme des événements observés (AOE) : Chaque mesure effectuée a un résultat absolu et à valeur unique.
• Compatibilité de Born : L'utilisation par les agents de la règle de Born possibiliste fournit des prédictions valides concernant ces résultats absolus, même si l'agent ne rassemble pas physiquement tous les résultats.

La preuve montre que les prédictions de la règle de Born pour les superobservateurs (dérivées des équations de parité GHZ-Mermin) sont mutuellement incohérentes avec l'existence d'une fonction d'affectation globale unique $f$ reliant les mesures aux résultats.

3. Le théorème d'impossibilité GHZ–FR de l'accord

Ce théorème affaiblit les hypothèses pour rendre la contradiction encore plus robuste. Il remplace l'AOE par :

• Connaissance personnelle : Un agent peut attribuer un résultat à valeur unique à une mesure qu'il croit pouvoir accéder.
• Accord classique : Si des agents classiques communiquent, leurs attributions de résultats doivent s'accorder sur le chevauchement de leurs connaissances.

Le théorème prouve que même sans supposer une vérité absolue, la combinaison de l'Universalité, de la Connaissance personnelle, de l'Accord classique et de la Compatibilité de Born conduit à une contradiction. Cela implique que si des superobservateurs existent, les agents classiques ne peuvent pas s'accorder de manière cohérente sur les valeurs des résultats, même lorsqu'ils communiquent, sauf si l'une des autres hypothèses est abandonnée.

4. Résolution proposée : La praticité de Born

Pour résoudre le paradoxe tout en maintenant l'Universalité de la théorie quantique, les auteurs proposent un principe appelé Praticité de Born (ou Relativité des événements observés).

• Principe : Un agent ne peut utiliser la règle de Born pour formuler des prédictions sur des résultats conditionnés à l'apprentissage effectif de ces résultats.
• Implication : « Les expériences non réalisées n'ont pas de résultats, et les résultats inconnus n'ont pas de valeurs. » Un agent (par exemple, Ursula) ne peut pas affirmer une valeur définie pour le résultat $b$ de Bob à moins qu'elle ne lui demande réellement. Dans le protocole GHZ–FR, les superobservateurs ne demandent jamais aux observateurs leurs résultats ; ils raisonnent uniquement sur ce qu'ils trouveraient s'ils le faisaient. En restreignant les prédictions à des énoncés conditionnels (« Si je demande, je trouverai... »), la contradiction logique est évitée car les agents ne possèdent jamais simultanément la connaissance conjointe requise pour déclencher l'incohérence.

Résultats

• Non-localités plus fortes : L'article établit que le modèle GHZ–Mermin (contextualité forte) fournit une fondation plus puissante pour les paradoxes de l'ami de Wigner que le modèle de Hardy (contextualité logique), éliminant le besoin de sélection postérieure.
• Hypothèses affinées : Le travail clarifie que la contradiction ne repose pas sur des agents quantiques raisonnant sur d'autres agents quantiques (un point de controverse dans la littérature précédente) mais émane d'agents classiques raisonnant sur des systèmes quantiques.
• Invalidation des principes de raisonnement : Le paradoxe GHZ–FR invalide des ensembles spécifiques de principes de raisonnement proposés dans la littérature (par exemple, ceux de la référence [88]) qui tentent de résoudre le paradoxe FR en restreignant les prédictions pour les agents soumis à des super-mesures, car ces principes ne s'appliquent pas aux agents classiques dans le dispositif GHZ–FR.

Importance et revendications

Les auteurs affirment que le paradoxe GHZ–FR représente une version « strictement plus forte » du paradoxe FR. Son importance réside dans :

1. Robustesse : En éliminant la sélection postérieure et le raisonnement d'agents quantiques, le paradoxe s'applique à une plus large classe de scénarios et repose sur moins d'hypothèses, plus naturelles.
2. Clarification des fondements : Il précise le débat sur le problème de la mesure en montrant que l'incohérence surgit même lorsque seuls des agents classiques raisonnent, à condition qu'ils acceptent l'Universalité de la théorie quantique et la capacité d'attribuer des résultats aux mesures qu'ils croient pouvoir accéder.
3. Voie de résolution : L'article propose que la résolution la plus naturelle, si l'on accepte l'existence de superobservateurs, est d'adopter la Praticité de Born. Cela étend le dicton de Peres (« Les expériences non réalisées n'ont pas de résultats ») pour inclure l'idée que « les résultats inconnus n'ont pas de valeurs », rendant effectivement les résultats de mesure relatifs à l'agent qui les apprend. Cela suggère que l'« Absolutisme des événements observés » est l'hypothèse spécifique qui doit être rejetée pour maintenir la cohérence dans un univers avec des superobservateurs.

L'article conclut en notant que ces résultats ouvrent de nouvelles directions pour l'investigation du problème de la mesure, de la nature des états quantiques (épistémique vs ontique) et de la relation entre différentes résolutions proposées (telles que la mécanique quantique relationnelle et les théories à variables cachées).