Generalising Aumann's Agreement Theorem

Imaginez un groupe de personnes, ayant toutes commencé avec la même compréhension initiale du monde, qui se rassemblent ensuite pour partager ce qu'elles ont appris. Elles parlent avec honnêteté, écoutent attentivement et savent que tous les autres font de même. Dans ce scénario, une idée célèbre issue du domaine de la théorie de la décision suggère que ces personnes ne peuvent pas aboutir à des conclusions différentes concernant un même événement. Si elles savent véritablement ce que les autres savent, et si elles ont toutes commencé avec une base identique, leurs croyances finales doivent converger. Ce concept, connu sous le nom d'impossibilité de « l'accord pour ne pas être d'accord », est depuis longtemps l'un des piliers de notre conception de la rationalité et de la connaissance partagée. Cela implique que si deux personnes rationnelles sont en désaccord, l'une d'entre elles manque d'informations ou agit de manière irrationnelle, car le simple fait de savoir ce que l'autre sait force leurs points de vue à converger.

Pendant des décennies, cette idée n'a été testée que dans le domaine de la probabilité classique, les mathématiques du hasard quotidien comme le lancer de dés ou le lancer de pièces. Cependant, à mesure que notre compréhension de l'univers s'est approfondie, les scientifiques se sont tournés vers la théorie quantique, un cadre qui décrit le comportement des atomes et de la lumière, et qui défie souvent notre intuition quotidienne. Cette nouvelle théorie permet des connexions étranges entre les particules et des probabilités qui se comportent différemment de celles de type classique. Ce changement a soulevé une question fascinante : la règle selon laquelle les agents rationnels ne peuvent pas être en désaccord reste-t-elle valable dans ce monde quantique ? Certains chercheurs avaient suggéré que les caractéristiques uniques de la mécanique quantique pourraient permettre aux agents de maintenir des croyances différentes même lorsqu'ils partagent toutes leurs connaissances, créant potentiellement un fossé fondamental entre le raisonnement classique et le raisonnement quantique.

Dans une étude récente, les chercheurs Matthew Leifer et Cristhiano Duarte ont entrepris de trancher ce débat en étendant la logique originale du théorème de l'accord au domaine quantique et au-delà. Ils ne se sont pas contentés de demander si la règle fonctionne pour la mécanique quantique ; ils ont demandé si elle fonctionne pour tout système de probabilité concevable, aussi étrange ou abstrait soit-il. Pour ce faire, ils ont construit un pont entre la logique rigide, basée sur les ensembles, de la connaissance humaine et les mathématiques fluides utilisées pour décrire les systèmes quantiques. Ils ont traité la connaissance des agents comme une carte fixe de possibilités, semblable à une carte standard d'une ville, mais ont permis aux agents d'assigner des probabilités à des événements en utilisant les outils plus complexes de la théorie quantique.

Les chercheurs ont découvert que la règle tient bon. Même lorsque les agents utilisent les mathématiques sophistiquées de la mécanique quantique pour décrire leurs incertitudes, ils ne peuvent toujours pas être en désaccord s'ils partagent une connaissance commune. L'étude prouve que tant que les agents mettent à jour leurs croyances d'une manière spécifique et cohérente lorsqu'ils apprennent de nouvelles informations, leurs assignations de probabilités doivent correspondre. Ce résultat n'est pas limité à la théorie quantique seule ; les auteurs ont démontré que la même impossibilité s'applique à toute théorie de la probabilité généralisée, une catégorie large qui inclut à la fois les systèmes classiques et quantiques comme cas particuliers. Cette conclusion suggère que l'incapacité à être en désaccord n'est pas une particularité de notre monde physique spécifique, mais une conséquence fondamentale de la manière dont nous définissons la connaissance et dont nous mettons à jour nos croyances lorsque de nouvelles informations arrivent.

Cette conclusion remet en question l'idée que la mécanique quantique offre une faille pour le désaccord rationnel. Bien que certains travaux antérieurs aient laissé entendre que les agents quantiques pourraient maintenir des points de vue différents, Leifer et Duarte ont montré que ces résultats reposaient sur des définitions différentes de la mise à jour des connaissances par les agents ou de ce que signifie « savoir » quelque chose. Lorsque les chercheurs ont maintenu la définition de la connaissance cohérente avec le théorème original et l'ont appliquée aux systèmes quantiques, l'accord était inévitable. L'étude soutient que le théorème concerne moins la nature physique de l'univers que la structure mathématique de la probabilité elle-même. Elle révèle que la contrainte provient de la manière dont nous conditionnons nos croyances aux nouvelles données, un processus qui reste rigide même lorsque les probabilités sous-jacentes deviennent quantiques.

Les chercheurs ont également exploré les limites de leurs conclusions, notant que le résultat dépend fortement de la manière dont les agents acquièrent l'information. Dans leur modèle, les agents ne communiquent pas en temps réel ; ils possèdent simplement un état de connaissance partagé. Si le processus d'apprentissage de nouvelles informations implique de perturber activement le système qui est mesuré, comme cela arrive souvent dans les expériences quantiques, les règles changent. Dans de tels cas, l'acte d'apprendre peut détruire la base même de la connaissance que les autres détiennent, permettant potentiellement le désaccord. Cependant, dans les scénarios où l'apprentissage est une pure acquisition d'informations sans perturbation physique, le théorème de l'accord reste incassable. Cette distinction souligne que le théorème est une affirmation sur la structure de la connaissance et de la probabilité, plutôt qu'une loi qui sépare différentes théories physiques.

En fin de compte, ce travail suggère que l'émergence d'une réalité objective partagée pourrait être enracinée dans ce mécanisme même de la connaissance commune. Si les agents rationnels peuvent toujours être forcés de s'entendre lorsqu'ils partagent ce qu'ils savent, alors la réalité collective que nous expérimentons pourrait être le résultat de cette convergence. L'étude ne prétend pas résoudre les mystères de la mécanique quantique ou expliquer pourquoi l'univers est tel qu'il est. Elle fournit plutôt une preuve mathématique claire que les règles de l'accord rationnel sont bien plus robustes qu'on ne le pensait auparavant, survivant à la transition du monde familier de la chance classique au paysage étrange et contre-intuitif de la physique quantique. Le résultat est un rappel que, même dans un univers d'incertitude, la logique de la compréhension partagée demeure une force unificatrice puissante.