Aumann's theorem beyond ontology: quantum, postquantum, and indefinite causal order

Cet article établit une version opérationnelle du théorème d'accord d'Aumann, valable dans les théories quantiques et post-quantiques ainsi que dans les ordres causaux indéfinis, en se fondant uniquement sur les observations sans postuler d'état objectif du monde, tout en identifiant les situations de type « ami de Wigner » comme le seul cas potentiel d'échec.

L'essentiel

🤝 L'Accord Impossible : Quand deux esprits ne peuvent pas être en désaccord

Imaginez que vous et votre ami, disons Alice et Bob, êtes deux détectives très rationnels. Vous avez tous les deux la même carte au trésor au départ (un préjugé commun). Vous partez enquêter séparément, vous trouvez des indices différents, et vous mettez à jour vos théories sur l'endroit où se trouve le trésor.

Le théorème d'Aumann, une règle célèbre en mathématiques et en économie, dit ceci :

Si vous et Bob échangez vos conclusions de manière parfaite (vous savez ce que l'autre pense, vous savez que l'autre sait ce que vous pensez, et ainsi de suite à l'infini), vous ne pourrez jamais rester en désaccord. Vos probabilités de trouver le trésor seront forcément identiques.

Jusqu'à présent, les scientifiques pensaient que cette règle ne fonctionnait que si le monde était comme un jeu de société classique : il y a une "réalité objective" cachée (le trésor est vraiment quelque part), et vos indices sont juste des morceaux de cette réalité.

Mais que se passe-t-il si le monde est quantique ? En mécanique quantique, les choses sont floues. Il n'y a peut-être pas de "trésor" caché avant qu'on ne le regarde. Le papier de Carlo Cepollaro et Andrea Di Biagio répond à cette question avec une idée brillante.

🎲 La Révolution : Oubliez la "Réalité", regardez les "Résultats"

Les auteurs disent : "Attendez, on n'a pas besoin de savoir si le trésor existe vraiment pour que la règle fonctionne !"

Au lieu de se demander "Quelle est la vraie nature du monde ?", ils proposent de se concentrer uniquement sur ce que l'on observe.

L'analogie du Casino Quantique :
Imaginez qu'Alice et Bob ne jouent pas dans un monde réel, mais dans un casino où les règles sont écrites par la nature elle-même (quantique ou même plus bizarre encore).

1. Ils ne parient pas sur la position d'un objet caché.
2. Ils parient sur les résultats de leurs machines à sous (leurs mesures).
3. Ils partent avec la même liste de probabilités pour tous les résultats possibles (le "préjugé commun").

Leur découverte majeure est que tant qu'il existe une liste cohérente de probabilités pour les résultats combinés, la règle d'Aumann tient toujours.

🌌 Pourquoi c'est incroyable ?

Ce théorème fonctionne même dans des situations qui défient notre logique habituelle :

1. Le monde quantique (avec des mesures qui ne s'aiment pas) :
   En physique classique, si vous mesurez la vitesse d'une voiture, puis sa position, l'ordre n'a pas d'importance. En quantique, l'ordre compte ! Mesurer A puis B donne un résultat différent de B puis A.
   L'analogie : C'est comme si Alice regardait la voiture par la fenêtre avant de la toucher, et Bob la touchait avant de la regarder. Leurs observations changent la voiture. Pourtant, le papier montre que même avec ce chaos, si Alice et Bob se parlent, ils finiront par être d'accord sur leurs prévisions.

2. L'Ordre Causal Indéfini (Le temps qui s'embrouille) :
   Imaginez une situation où Alice fait une action avant Bob, mais aussi après Bob, dans une superposition quantique. C'est comme si le temps était un nœud de spaghetti.
   L'analogie : C'est comme un film où la scène 1 est projetée avant la scène 2, mais aussi après, en même temps. Même dans ce scénario où la cause et l'effet sont flous, si Alice et Bob partagent leurs connaissances, ils ne peuvent pas "être en désaccord".

3. Au-delà de la physique (Post-quantique) :
   Le théorème fonctionne même si la physique du futur (plus étrange que la quantique actuelle) est découverte. Tant qu'on peut calculer des probabilités pour les résultats, la règle s'applique.

🚫 Où est-ce que ça casse ? (Le seul cas d'échec)

Les auteurs pointent un seul endroit où cette règle pourrait échouer : le paradoxe de "l'ami de Wigner".

L'histoire :
Imaginez que Bob est dans une boîte fermée et fait une expérience quantique. Pour Bob, le résultat est clair (il a vu un chat mort ou vivant). Mais pour Alice, qui est dehors, Bob et le chat sont dans un état de superposition (à la fois mort et vivant) tant qu'elle n'ouvre pas la boîte.

• Bob pense : "Le chat est mort."
• Alice pense : "Bob voit un chat mort, mais le système global est une superposition."

Ici, il n'y a pas de distribution de probabilité commune sur les résultats. Leurs "mondes" ne se superposent pas proprement. C'est comme si Alice et Bob jouaient à deux jeux différents avec des règles différentes, et qu'ils essayaient de comparer leurs scores. Dans ce cas précis, ils pourraient rester en désaccord éternellement.

💡 En résumé

Ce papier nous dit que l'accord entre deux esprits rationnels ne dépend pas de la nature profonde de la réalité (est-elle solide ? est-elle floue ?). Il dépend uniquement de la cohérence de nos observations.

• Si vous et votre ami partagez les mêmes règles de probabilité pour ce que vous voyez...
• Et si vous échangez vos conclusions de manière parfaite...
• Alors, vous ne pourrez jamais rester en désaccord, que vous soyez dans un monde classique, un monde quantique, ou un monde où le temps est un nœud.

C'est une victoire de la logique sur le mystère : même dans l'univers le plus fou, la communication rationnelle force l'accord.

Résumé technique

1. Problématique et Contexte

Le théorème de l'accord d'Aumann est un résultat fondamental en épistémologie bayésienne et en théorie des jeux. Il stipule que deux agents rationnels partageant un prior commun et dont les croyances a posteriori sont une connaissance commune (common knowledge) ne peuvent pas « s'accorder pour être en désaccord » (agree to disagree). Autrement dit, leurs probabilités postérieures pour un même événement doivent être identiques.

Cependant, la formulation classique de ce théorème repose sur une hypothèse ontologique forte : l'existence d'un « état réel du monde » ($\omega^*$) indépendant des observations, qui détermine les résultats des mesures. Les agents partitionnent cet espace d'états en fonction de leurs informations.

Le problème soulevé par les auteurs :
Dans le cadre de la mécanique quantique, et plus encore dans les théories post-quantiques ou les scénarios à ordre causal indéfini, l'hypothèse d'un état réel sous-jacent unique et indépendant de l'observation est remise en question (comme le suggèrent les théorèmes de non-go et les paradoxes comme celui de l'ami de Wigner). La question centrale est donc : Le théorème de l'accord d'Aumann reste-t-il valide si l'on abandonne la notion d'un état du monde objectif, en se concentrant uniquement sur les résultats observés ?

2. Méthodologie : Vers une Formulation Opérationnelle

Les auteurs proposent une reformulation du théorème qui élimine la nécessité d'un espace d'états ontique sous-jacent ($\Omega$). Leur approche est purement opérationnelle :

• Espace des résultats : Au lieu de partitionner un espace d'états $\Omega$, les agents (Alice et Bob) raisonnent directement sur l'espace des triplets de résultats de mesure possibles $M = I \times J \times K$, où $I$ et $J$ sont les résultats des mesures d'Alice et de Bob, et $K$ est le résultat d'une troisième mesure (l'événement d'intérêt).
• Prior commun opérationnel : Les agents partagent une distribution de probabilité conjointe $p(i, j, k)$ sur les résultats de mesure. Cette distribution peut provenir de n'importe quelle théorie physique (classique, quantique, post-quantique), tant qu'elle permet de définir des probabilités conjointes.
• Conditionnement bayésien : Les croyances a posteriori sont calculées par conditionnement standard sur les résultats observés :
  • $p_A(k|i) = p(i, k) / p(i)$
  • $p_B(k|j) = p(j, k) / p(j)$
• Connaissance commune : La connaissance commune est définie récursivement sur les ensembles de résultats $A_n$ et $B_n$ (les ensembles de résultats pour lesquels les agents savent que l'autre agent a une certaine croyance), sans référence à un état $\omega$ caché.

3. Résultats Principaux

A. Le Théorème de l'Accord Opérationnel (Théorème 2)

Les auteurs démontrent que si une théorie physique permet de calculer une distribution de probabilité conjointe pour les résultats de plusieurs mesures, alors deux agents rationnels avec un prior commun ne peuvent pas avoir de croyances a posteriori différentes si ces croyances sont une connaissance commune.

• Preuve : La démonstration repose uniquement sur les propriétés algébriques de la distribution de probabilité conjointe et du conditionnement bayésien. Elle montre que si la connaissance commune existe, les ensembles de résultats compatibles se réduisent à un ensemble $A^* = B^*$ de probabilité non nulle, forçant les probabilités conditionnelles à être égales.
• Généralité : Ce résultat est valable indépendamment de l'origine physique de la distribution $p(i, j, k)$.

B. Applications aux Scénarios Non-Classiques

Le théorème s'applique à des domaines où la formulation classique échouerait ou serait inapplicable :

1. Mécanique Quantique (Mesures Non-Commutantes) : Le théorème tient même si les mesures d'Alice, de Bob et de la troisième mesure ne commutent pas. Les auteurs fournissent un exemple explicite avec des mesures projectives sur un système de dimension 4 où les bases sont tournées, montrant que l'accord est maintenu tant que la distribution conjointe est bien définie via la règle de Born ($p(i,j,k) = \text{tr}(E_k B_j A_i \rho)$).
2. Ordre Causal Indéfini : Le théorème s'étend aux scénarios décrits par des matrices de processus (process matrices) où l'ordre temporel des événements (qui mesure avant qui) n'est pas défini, voire est en superposition quantique. Tant qu'une distribution conjointe $p(i,j,k)$ peut être assignée via une matrice de processus $W$, l'accord est garanti.
3. Théories Post-Quantiques : Le résultat s'applique à tout cadre théorique (théories probabilistes généralisées, formalisme positif, théorie des constructeurs) tant qu'il permet de définir des probabilités conjointes pour les résultats de mesure.

C. Discussion et Limites

• Réconciliation avec la littérature : Les auteurs clarissent les apparentes contradictions avec des travaux antérieurs (ex: Contreras-Tejada et al., Díaz et al.). Ces travaux trouvaient des désaccords dans des cas de mesures non-commutantes ou de boîtes de signalisation non-quantiques, mais cela était dû à l'utilisation de règles de mise à jour non-standard (considérant des superpositions d'états post-mesure) ou à l'analyse de résultats contre-factuels (mesures non effectuées). En utilisant la règle de mise à jour standard (mélange statistique des états post-mesure), le désaccord disparaît.
• La limite fondamentale (L'ami de Wigner) : Le théorème échoue uniquement dans les situations où aucune distribution de probabilité conjointe ne peut être définie de manière cohérente pour les résultats de tous les observateurs. C'est le cas présumé dans les scénarios de type « Ami de Wigner » (Wigner's friend), où les résultats d'un observateur interne et d'un observateur externe ne peuvent pas être traités comme des événements coexistants indépendants de l'observateur. C'est là que la structure de l'accord d'Aumann pourrait véritablement s'effondrer.

4. Contributions Clés

1. Détachement de l'Ontologie : La contribution majeure est de prouver que le théorème de l'accord d'Aumann n'est pas une propriété de la réalité objective (ontologie), mais une conséquence de la cohérence probabiliste et de la structure du raisonnement bayésien.
2. Unification des Cadres : Le théorème unifie les scénarios classiques, quantiques (commutants et non-commutants), à ordre causal indéfini et post-quantiques sous un seul principe d'accord.
3. Clarification Conceptuelle : L'article dissipe la confusion autour des désaccords quantiques en montrant qu'ils proviennent souvent d'une mauvaise application des règles de mise à jour d'état ou de l'usage de contre-factuels, plutôt que d'une faille fondamentale dans la logique de l'accord.

5. Signification et Impact

Ce travail a des implications profondes pour les fondements de la physique et l'épistémologie :

• Pour la Physique Quantique : Il renforce l'idée que la mécanique quantique, même sans réalité objective sous-jacente, maintient une cohérence logique forte entre les agents rationnels. L'impossibilité de « s'accorder pour être en désaccord » est une contrainte structurelle sur toute théorie physique admissible.
• Pour les Théories Post-Quantiques : Il établit un critère de validité : toute théorie candidate (au-delà du quantique) doit permettre de définir des distributions conjointes pour que l'accord rationnel soit possible.
• Pour les Fondements de la Mécanique Quantique : Il identifie précisément la frontière où la logique classique de l'accord échoue : les paradoxes d'observateurs imbriqués (Wigner's friend). Cela suggère que la résolution de ces paradoxes nécessite soit de rejeter l'existence de distributions conjointes (et donc de la connaissance commune stricte), soit de réviser les règles de probabilité dans ces contextes spécifiques.

En résumé, Cepollaro et Di Biagio démontrent que le théorème de l'accord d'Aumann est un résultat opérationnel robuste, valable bien au-delà du monde classique, tant que la physique de la situation permet de définir une probabilité conjointe sur les observations.