Agreement and Compatibility in Wigner's Friend Paradox

Ce papier reformule le paradoxe de l'ami de Wigner comme un problème d'inférence pour proposer une interprétation radicalement bayésienne qui résout la contradiction apparente en démontrant que les descriptions de Wigner et de son ami sont fondamentalement compatibles et peuvent être alignées grâce au principe de « bénéfice du doute ».

L'essentiel

La Vue d'Ensemble : Un Malentendu, Pas un Paradoxe

Imaginez une célèbre expérience de pensée appelée l'ami de Wigner. Elle implique deux personnes : Wigner (qui se trouve à l'extérieur d'un laboratoire verrouillé) et son Ami (qui se trouve à l'intérieur du laboratoire).

À l'intérieur du laboratoire, l'Ami mesure une particule quantique minuscule (comme un électron).

• Le point de vue de l'Ami : Elle observe un résultat défini. Elle dit : « Je l'ai mesuré, et il est définitivement 'Haut'. »
• Le point de vue de Wigner : Puisqu'il est à l'extérieur et n'a pas regardé, il traite tout le laboratoire (l'Ami + la particule) comme une immense vague quantique floue. Il dit : « Le système est dans une superposition de 'L'Ami a vu Haut' ET 'L'Ami a vu Bas'. »

Pendant des décennies, les physiciens ont débattu : Comment peuvent-ils tous deux avoir raison ? L'un voit une réalité définie ; l'autre voit un mélange flou. N'est-ce pas une contradiction ?

Ce papier dit : Non, ce n'est pas une contradiction. Les auteurs soutiennent que le « paradoxe » n'existe que parce que nous utilisons les mauvaises règles pour juger la situation. Ils proposent que si nous traitons la mécanique quantique comme un jeu de déduction bayésienne (mettre à jour vos croyances en fonction de nouvelles informations), les deux descriptions sont en fait parfaitement compatibles.

---

Le Concept Central : « Compatibilité » vs « Accord »

Les auteurs établissent une distinction cruciale entre deux mots que les gens confondent souvent : Compatibilité et Accord.

1. Compatibilité (L'analogie de la « Carte qui se chevauche »)

Imaginez deux randonneurs, Alice et Bob, perdus dans une forêt.

• Alice possède une carte indiquant que le trésor se trouve dans le coin « Nord-Est » ou « Sud-Est ».
• Bob possède une carte indiquant que le trésor se trouve définitivement dans le coin « Nord-Est ».

Leurs cartes se contredisent-elles ? Non.
La carte de Bob est simplement plus précise que celle d'Alice. Le coin « Nord-Est » se trouve sur les deux cartes. Elles sont compatibles. Elles peuvent toutes deux avoir raison car leurs réponses possibles se chevauchent.

Le papier soutient que Wigner et son Ami sont comme ces randonneurs.

• L'Ami sait que le résultat est soit « Haut » soit « Bas » (mais elle sait lequel elle a vu).
• Wigner pense que le résultat est un mélange de « Haut » et de « Bas ».
• Les Mathématiques : Les auteurs montrent que l'état « Haut » (que l'Ami voit) est en réalité inclus dans l'état « Mélange » (que Wigner voit). Parce que la réalité de l'Ami est un sous-ensemble de la réalité de Wigner, leurs descriptions se chevauchent. Par conséquent, elles sont compatibles. Il n'y a pas de paradoxe ; ils ont simplement des niveaux d'information différents.

2. Accord (L'analogie de la « Rencontre au milieu »)

Maintenant, imaginez qu'Alice et Bob veulent s'accorder sur l'endroit exact où se trouve le trésor.

• S'ils sont têtus et refusent de partager leurs cartes, ils ne s'accorderont jamais.
• S'ils sont ouverts d'esprit, ils peuvent partager leurs données.

Le papier explore comment ils peuvent parvenir à un accord (une description unique et partagée) en utilisant deux méthodes :

Méthode A : Le « Bénéfice du doute » (Être ouvert d'esprit)
Dans l'histoire originale, Wigner est à 100 % certain que ses mathématiques sont justes. Il attribue 0 % de chances à l'Ami d'avoir tort.

• Le Problème : Si vous attribuez 0 % de chances à quelque chose, vous ne pouvez jamais être convaincu du contraire, peu importe les preuves que vous voyez. (Ceci est appelé la Règle de Cromwell).
• La Solution : Les auteurs suggèrent que Wigner devrait accorder un tout petit, tout petit « bénéfice du doute » (disons, 0,0001 %). Il devrait admettre : « Je suis sûr à 99,9999 %, mais peut-être ai-je manqué quelque chose. »
• Le Résultat : Une fois que Wigner permet une infime possibilité d'erreur, les mathématiques changent. Maintenant, lorsque l'Ami partage ses données, Wigner peut mettre à jour sa croyance. Ils peuvent se rencontrer au milieu et s'accorder sur l'état final.

Méthode B : Amélioration de l'État (L'analogie de l'« Expert »)
Imaginez que l'Ami est un expert du laboratoire, et que Wigner est un novice.

• Si Wigner fait confiance à l'Ami, il peut traiter son rapport comme une nouvelle donnée.
• Le papier montre que si Wigner est ouvert d'esprit, il peut « améliorer » son état en adoptant la description de l'Ami.
• Inversement, si l'Ami fait confiance au statut d'observateur sur-observateur de Wigner, elle peut mettre à jour son état pour correspondre au sien.

---

Le « Twist » : Et s'ils ne s'accordaient pas sur les règles ?

Le papier teste également ce qui se passe si les agents ne s'accordent pas sur les bases.

• Scénario : Et si Wigner pensait que la machine dans le laboratoire était défectueuse, ou utilisait une horloge différente, ou pensait que la particule avait commencé dans un état différent ?
• Résultat : S'ils ne s'accordent pas sur la configuration (l'état initial ou les règles du jeu), alors leurs cartes ne se chevauchent pas. Dans ce cas, ils sont véritablement incompatibles, et un paradoxe existe.
• Conclusion : Le paradoxe dans l'histoire originale ne fonctionne que si nous supposons qu'ils ne s'accordent pas sur la configuration. Mais le papier souligne que dans l'expérience de pensée originale, ils s'accordaient sur tout auparavant. Par conséquent, le paradoxe est une illusion causée par l'oubli qu'ils étaient partis de la même page.

Résumé des affirmations du papier

1. Pas de paradoxe : L'ami de Wigner n'est pas un paradoxe. C'est simplement une situation où deux personnes ont des quantités d'information différentes.
2. La compatibilité est la clé : Tant que leurs réponses possibles se chevauchent (ce qui est le cas), leurs descriptions sont compatibles. Il n'est pas nécessaire qu'elles soient identiques pour être « justes ».
3. L'accord est possible : Si les agents sont prêts à partager des informations et à rester ouverts d'esprit (en accordant un « bénéfice du doute »), ils peuvent mathématiquement réconcilier leurs points de vue et s'accorder sur une réalité unique.
4. Le vrai problème : La seule fois où un paradoxe apparaît est lorsque les agents sont têtus, refusent de partager des données, ou ne s'accordent pas sur les règles fondamentales de l'expérience.

En bref : Le papier suggère que la nature « étrange » de la mécanique quantique dans ce scénario n'est pas un effondrement de la réalité, mais un effondrement de la communication et de l'ouverture d'esprit entre les observateurs. S'ils parlent et écoutent, le mystère disparaît.

Résumé technique

Résumé technique : Accord et compatibilité dans le paradoxe de Wigner's Friend

Énoncé du problème
L'article aborde le paradoxe de « Wigner's Friend », une expérience de pensée proposée à l'origine par Eugene Wigner en 1961. Le paradoxe découle d'une incompatibilité apparente entre les descriptions d'un système quantique fournies par deux agents : « Wigner » (un super-observateur extérieur à un laboratoire fermé) et « l'ami de Wigner » (un observateur à l'intérieur du laboratoire).

• Le conflit : L'ami effectue une mesure sur un qubit, réduisant l'état à un résultat défini (par exemple, $|0\rangle$ ou $|1\rangle$). Wigner, traitant l'ami et le système comme un système quantique fermé, décrit l'évolution conjointe comme un processus unitaire aboutissant à une superposition intriquée (par exemple, l'état de Bell $|\phi^+\rangle$).
• Le paradoxe : La description de Wigner prédit une probabilité de 1 pour l'état intriqué, tandis que la description de l'ami (après mesure) attribue une probabilité de 1 à un état produit spécifique. Wigner a soutenu que cela constitue une contradiction, suggérant une incompatibilité fondamentale entre l'évolution unitaire et la réduction du paquet d'ondes, ou un échec de la mécanique quantique à l'échelle macroscopique.
• Consensus actuel : La littérature récente suggère souvent que le paradoxe ne se manifeste que dans des extensions à « plusieurs parties » (par exemple, Bong et al., 2020). Cet article soutient que la formulation originale elle-même contient un « paradoxe de simulation » enraciné dans une incompréhension de la compatibilité et de l'accord.

Méthodologie
Les auteurs recadrent l'expérience de pensée non pas comme une contradiction physique, mais comme un problème d'inférence dans un cadre radicalement bayésien. Ils traitent la théorie quantique comme une généralisation non commutative de la théorie des probabilités bayésiennes, où les états quantiques représentent les connaissances ou les croyances d'un agent plutôt qu'une réalité physique objective.

La méthodologie procède en trois étapes :

1. Recadrage en tant qu'inférence : Les agents sont modélisés comme des raisonneurs bayésiens attribuant des distributions de probabilité (classiques) ou des opérateurs densité (quantiques) en fonction de leurs informations disponibles.
2. Définition de la compatibilité : Les auteurs adoptent et appliquent les définitions de compatibilité issues de Leifer et Spekkens (2014) et de Duarte (2020).
   • Compatibilité bayésienne objective : Deux attributions sont compatibles si elles peuvent être dérivées d'une seule distribution de probabilité conjointe par conditionnement sur différentes données.
   • Compatibilité bayésienne subjective : Deux attributions sont compatibles s'il existe une expérience hypothétique (fonction de vraisemblance) telle que, après l'observation d'un résultat spécifique, les deux agents mettraient à jour leurs croyances vers des distributions identiques.
   • Critère mathématique : Dans les cas classique et quantique, la compatibilité est déterminée par l'intersection non triviale des supports des distributions de probabilité ou des matrices densité.
3. Analyse de l'accord : Les auteurs distinguent la compatibilité (la capacité potentielle à s'accorder) de l'accord (l'état d'avoir des descriptions identiques). Ils explorent les mécanismes d'amélioration d'état (mise à jour de ses propres croyances sur la base de l'attribution d'un autre) et de regroupement d'états (combinaison des attributions en un consensus).

Contributions et résultats clés

1. Résolution du paradoxe original :
   En appliquant le critère d'intersection des supports, les auteurs démontrent que les descriptions de Wigner et de l'ami sont compatibles.

   • Wigner attribue l'état pur $|\phi^+\rangle\langle\phi^+|$.
   • L'ami attribue l'état mixte $\rho_F = \frac{1}{2}(|00\rangle\langle00| + |11\rangle\langle11|) = \frac{1}{2}(|\phi^+\rangle\langle\phi^+| + |\phi^-\rangle\langle\phi^-|)$.
   • Le support de l'état de Wigner est le sous-espace engendré par $|\phi^+\rangle$. Le support de l'état de l'ami est le sous-espace engendré par $\{|\phi^+\rangle, |\phi^-\rangle\}$.
   • Puisque l'intersection de ces supports est non triviale (elle contient $|\phi^+\rangle$), les attributions sont compatibles. La contradiction apparente ne surgit que si l'on exige que les descriptions des agents soient identiques avant qu'ils ne partagent des informations, ce qui n'est pas requis par l'inférence bayésienne.

2. Le rôle de l'accord et de « l'avantage du doute » :
   L'article soutient que le paradoxe se dissout lorsque les agents reconnaissent que leurs descriptions différentes découlent d'un accès différent à l'information (l'ami dispose de données de mesure ; Wigner n'en dispose pas).

   • Amélioration d'état : Les auteurs montrent que si l'ami traite Wigner comme un expert (ou inversement), ils peuvent mettre à jour leurs croyances. Cependant, si Wigner est « obstiné » (attribue une probabilité de 1 à $|\phi^+\rangle$), il ne peut pas mettre à jour sa croyance sur la base du rapport de l'ami (en raison de la règle de Cromwell : $P(H)=0 \implies P(H|E)=0$).
   • Avantage du doute : Pour parvenir à une réconciliation, les auteurs introduisent un paramètre $\epsilon$ représentant l'« avantage du doute ». Si Wigner attribue une petite probabilité non nulle ($\epsilon$) à l'état orthogonal $|\phi^-\rangle$ (reconnaissant un bruit potentiel ou une interaction environnementale), son support s'étend. Cela permet une fonction de vraisemblance où les deux agents peuvent se mettre à jour vers un état commun, résolvant le désaccord.

3. Conditions d'incompatibilité :
   L'article précise que l'incompatibilité se produit dans le scénario de Wigner uniquement sous des hypothèses spécifiques et non standard, telles que :

   • Un désaccord sur l'état initial (par exemple, Wigner suppose $|11\rangle$ tandis que l'ami suppose $|00\rangle$).
   • Un désaccord sur la dynamique (par exemple, différentes séquences de portes ou modèles d'évolution temporelle).
   • Un manque de connaissances partagées concernant la configuration expérimentale.
     Les auteurs soulignent que le « paradoxe » est souvent le résultat d'un échec des agents à s'accorder sur ces aspects fondamentaux, plutôt que d'un échec de la théorie quantique elle-même.

4. Mécanismes de réconciliation :
   L'article détaille des méthodes pour parvenir à un accord :

   • Réconciliation subjective : Construire une expérience hypothétique (opérateur de vraisemblance) conduisant à un accord sur au moins un résultat.
   • Réconciliation objective : Construire une distribution conjointe de « passé virtuel » unifiant les perspectives actuelles des agents.
   • Regroupement : Discuter des méthodes de regroupement linéaires et multiplicatives pour combiner les croyances, notant que sans une connaissance a priori partagée ou un pondération spécifique, le regroupement peut ne pas produire une solution unique.

Importance et affirmations
L'article affirme que le paradoxe de Wigner's Friend n'est pas un défaut fondamental de la mécanique quantique, mais une erreur conceptuelle découlant d'un manque de définitions rigoureuses pour la compatibilité et l'accord.

• Pas de paradoxe : Les auteurs concluent qu'il n'y a « aucune conclusion paradoxale » dans la formulation originale. Les descriptions différentes sont simplement une conséquence naturelle du fait que les agents ont accès à des informations différentes, parfaitement cohérentes avec l'inférence bayésienne.
• Tournant inférentiel : L'œuvre plaide pour un « tournant inférentiel » dans la physique quantique fondamentale, considérant les états quantiques comme des représentations de connaissances plutôt que comme des états objectifs de la nature.
• Portée modeste : Les auteurs déclarent explicitement que leur contribution est un « premier pas » vers l'élimination des interprétations superficielles du paradoxe. Ils reconnaissent des limites, telles que la fragilité de leur définition de la compatibilité (qui peut être brisée par de petites variations dans la configuration) et le fait que leur résolution repose sur le recadrage du problème comme une question d'inférence multi-agent plutôt que comme une contradiction physique directe. Ils ne prétendent pas résoudre les extensions à plusieurs parties (par exemple, les « théorèmes de non-existence » de Bong et al.), mais suggèrent que leur cadre clarifie la source originale.

En résumé, l'article soutient que, en définissant rigoureusement la compatibilité par l'intersection des supports et en traitant le scénario comme un problème d'inférence bayésienne, le « paradoxe » disparaît, révélant que Wigner et son ami peuvent coexister de manière cohérente avec des descriptions différentes, mais compatibles, de la réalité.