Generalising Aumann's Agreement Theorem

Immaginate un gruppo di persone, tutte partendo dalla stessa comprensione iniziale del mondo, che poi si riuniscono per condividere ciò che hanno imparato. Parlano con onestà, ascoltano con attenzione e sanno che tutti gli altri stanno facendo lo stesso. In questo scenario, un'idea famosa nel campo della teoria delle decisioni suggerisce che queste persone non possano finire con conclusioni diverse sullo stesso evento. Se sanno davvero ciò che sanno gli altri e se tutti sono partiti dallo stesso presupposto, le loro opinioni finali devono allinearsi. Questo concetto, noto come l'impossibilità di "non essere d'accordo pur essendo d'accordo", ha rappresentato per lungo tempo una pietra angolare del nostro modo di intendere la razionalità e la conoscenza condivisa. Implica che se due persone razionali sono in disaccordo, almeno una di loro manca di informazioni o sta agendo in modo irrazionale, perché l'atto stesso di conoscere ciò che l'altro conosce costringe le loro visioni a convergere.

Per decenni, questa idea è stata testata solo nel regno della probabilità classica, la matematica del caso quotidiano come il lancio di dadi o di monete. Tuttavia, man mano che la nostra comprensione dell'universo si è approfondita, gli scienziati si sono rivolti alla teoria quantistica, un quadro che descrive il comportamento di atomi e luce, che spesso sfida la nostra intuizione quotidiana. Questa nuova teoria permette strane connessioni tra particelle e probabilità che si comportano diversamente rispetto al tipo classico. Questo spostamento ha sollevato una domanda affascinante: la regola secondo cui gli agenti razionali non possono essere in disaccordo regge ancora in questo mondo quantistico? Alcuni ricercatori avevano suggerito che le caratteristiche uniche della meccanica quantistica potessero permettere agli agenti di mantenere opinioni diverse anche quando condividono tutta la loro conoscenza, creando potenzialmente una divisione fondamentale tra il ragionamento classico e quello quantistico.

In uno studio recente, i ricercatori Matthew Leifer e Cristhiano Duarte si sono posti l'obiettivo di risolvere questo dibattito estendendo la logica originale del teorema dell'accordo nel regno quantistico e oltre. Non si sono limitati a chiedere se la regola funzioni per la meccanica quantistica; hanno chiesto se funzioni per qualsiasi sistema di probabilità concepibile, non importa quanto strano o astratto. Per farlo, hanno costruito un ponte tra la rigida logica basata sugli insiemi della conoscenza umana e la matematica fluida utilizzata per descrivere i sistemi quantistici. Hanno trattato la conoscenza degli agenti come una mappa fissa di possibilità, proprio come una normale mappa di una città, ma hanno permesso agli agenti di assegnare probabilità agli eventi utilizzando gli strumenti più complessi della teoria quantistica.

I ricercatori hanno scoperto che la regola regge fermamente. Anche quando gli agenti utilizzano la sofisticata matematica della meccanica quantistica per descrivere le loro incertezze, non possono comunque non essere d'accordo se condividono la conoscenza comune. Lo studio dimostra che finché gli agenti aggiornano le loro convinzioni in un modo specifico e coerente quando apprendono nuove informazioni, le loro assegnazioni di probabilità devono coincidere. Questo risultato non è limitato alla sola teoria quantistica; gli autori hanno dimostrato che la stessa impossibilità si applica a qualsiasi teoria della probabilità generalizzata, una categoria ampia che include sia i sistemi classici che quelli quantistici come casi speciali. La scoperta suggerisce che l'incapacità di essere in disaccordo non è un capriccio del nostro specifico mondo fisico, ma una conseguenza fondamentale di come definiamo la conoscenza e di come aggiorniamo le nostre convinzioni quando arrivano nuove informazioni.

Questa conclusione sfida la nozione che la meccanica quantistica offra un vuoto normativo per il disaccordo razionale. Mentre alcuni lavori precedenti avevano accennato al fatto che gli agenti quantistici potessero essere in grado di mantenere visioni diverse, Leifer e Duarte hanno dimostrato che tali risultati dipendevano da diverse definizioni di come gli agenti aggiornano la loro conoscenza o di cosa significhi "sapere" qualcosa. Quando i ricercatori hanno mantenuto la definizione di conoscenza coerente con il teorema originale e l'hanno applicata ai sistemi quantistici, l'accordo è stato inevitabile. Lo studio sostiene che il teorema riguarda meno la natura fisica dell'universo e più la struttura matematica della probabilità stessa. Rivela che il vincolo deriva dal modo in cui condizioniamo le nostre convinzioni ai nuovi dati, un processo che rimane rigido anche quando le probabilità sottostanti diventano quantistiche.

I ricercatori hanno anche esplorato i confini delle loro scoperte, notando che il risultato dipende fortemente da come gli agenti acquisiscono le informazioni. Nel loro modello, gli agenti non comunicano in tempo reale; invece, possiedono semplicemente uno stato di conoscenza condiviso. Se il processo di apprendimento di nuove informazioni comporta il perturbare attivamente il sistema che viene misurato, come spesso accade negli esperimenti quantistici, le regole cambiano. In tali casi, l'atto di apprendere può distruggere la base stessa della conoscenza che altri detengono, permettendo potenzialmente il disaccordo. Tuttavia, in scenari in cui l'apprendimento è una pura acquisizione di informazioni senza perturbazione fisica, il teorema dell'accordo rimane infrangibile. Questa distinzione evidenzia che il teorema è un'affermazione sulla struttura della conoscenza e della probabilità, piuttosto che una legge che separa diverse teorie fisiche.

In definitiva, il lavoro suggerisce che l'emergere di una realtà oggettiva condivisa possa avere radici proprio in questo meccanismo di conoscenza comune. Se gli agenti razionali possono sempre essere portati ad accordarsi quando condividono ciò che sanno, allora la realtà collettiva che sperimentiamo potrebbe essere il risultato di questa convergenza. Lo studio non pretende di risolvere i misteri della meccanica quantistica o di spiegare perché l'universo sia così com'è. Invece, fornisce una chiara prova matematica che le regole dell'accordo razionale sono molto più robuste di quanto precedentemente pensato, sopravvivendo alla transizione dal familiare mondo della probabilità classica al panorama strano e controintuitivo della fisica quantistica. Il risultato è un promemoria del fatto che, anche in un universo di incertezza, la logica della comprensione condivisa rimane una forza unificante potente.