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

Il paper deriva una versione operativa del teorema di accordo di Aumann indipendente da uno stato oggettivo del mondo, dimostrando così la sua validità nella teoria quantistica, nell'ordine causale indefinito e nei fenomeni post-quantistici, pur evidenziando potenziali eccezioni nelle situazioni di tipo "amico di Wigner".

L'essenziale

Immagina di essere in una stanza con un amico, Alice e Bob. Entrambi guardate lo stesso mondo, ma da angolazioni diverse. Alice vede un certo numero, Bob ne vede un altro. La domanda fondamentale è: possono ragionevolmente rimanere in disaccordo su cosa accadrà dopo?

Per decenni, i matematici hanno detto di no, ma solo se accettavate una regola molto rigida: che esiste una "realtà oggettiva" nascosta, come un libro segreto che tutti stanno leggendo, anche se non lo vedono direttamente. Se Alice e Bob hanno lo stesso punto di partenza (una "priorità comune") e si scambiano le loro conclusioni finché non sono "noto a tutti" (conoscenza comune), allora devono finire per avere la stessa previsione. Non possono dire: "Io penso che pioverà, tu pensi che ci sarà il sole, e siamo entrambi razionali".

Questo è il famoso Teorema dell'Accordo di Aumann.

Il problema: Il mondo quantistico non ha un "libro segreto"

Il problema sorge quando guardiamo la meccanica quantistica. Qui, la realtà non sembra essere un libro fisso che esiste indipendentemente da noi. È più come un'onda di possibilità che collassa solo quando la osserviamo.
Molti scienziati si sono chiesti: "Se non esiste un libro segreto (uno stato della realtà oggettivo), il teorema di Aumann vale ancora? O in un mondo quantistico Alice e Bob possono rimanere in disaccordo per sempre?"

La soluzione: Guardare solo ciò che vediamo

Gli autori di questo paper, Carlo e Andrea, hanno una risposta brillante. Hanno detto: "Non abbiamo bisogno del libro segreto!".

Hanno creato una versione "operativa" del teorema. Invece di chiedersi "Cosa c'è davvero nel mondo?", si chiedono solo: "Cosa abbiamo visto?".

Ecco l'analogia semplice:
Immagina che Alice e Bob non stiano cercando di indovinare la verità nascosta di un oggetto, ma stiano semplicemente giocando a un gioco di carte.

1. La regola d'oro: Finché Alice e Bob concordano sulle probabilità di tutte le possibili combinazioni di carte che potrebbero uscire (la distribuzione di probabilità congiunta), e finché si dicono l'uno all'altro cosa pensano, devono finire per essere d'accordo.
2. L'indipendenza: Non importa se le carte sono "vere" o "finte", non importa se il mazzo è classico o quantistico, o se le carte vengono mescolate in un ordine che non ha senso (causa indefinita). L'unico requisito è che esista una tabella di probabilità condivisa su ciò che potrebbe accadere.

Cosa significa questo per la fisica?

Questo risultato è come un ponte che collega mondi diversi:

• Il mondo classico: Vale come sempre.
• Il mondo quantistico: Vale anche qui! Anche se Alice e Bob fanno misure che "non si toccano" (misure non commutanti, dove l'ordine conta), se condividono le probabilità e si scambiano le informazioni, non possono rimanere in disaccordo.
• Il mondo "strano" (Ordine causale indefinito): Immagina una situazione in cui non è nemmeno chiaro se Alice ha agito prima di Bob o viceversa (come in un film dove la scena viene mostrata in ordine casuale). Anche qui, il teorema funziona! Finché c'è una logica probabilistica condivisa, l'accordo è inevitabile.
• Il mondo futuro (Post-quantistico): Anche se un giorno scopriremo una teoria che supera la meccanica quantistica, finché quella teoria ci permette di calcolare le probabilità di ciò che osserveremo, il teorema varrà ancora.

L'unica eccezione: L'amico di Wigner

Dove potrebbe rompersi tutto? Gli autori ammettono che c'è un'eccezione: le situazioni tipo "L'amico di Wigner".
Immagina che Alice sia dentro un laboratorio e Bob sia fuori. Alice fa una misura e vede un risultato. Bob, dall'esterno, tratta Alice come un sistema quantistico e non sa quale risultato abbia ottenuto.
In questi casi paradossali, potrebbe non esistere una "tabella di probabilità condivisa" tra Alice e Bob. Se non c'è una base comune su cui costruire le probabilità (cioè se i loro "mondi" non possono essere descritti insieme in un unico quadro), allora il teorema crolla e potrebbero davvero rimanere in disaccordo.

In sintesi

Il messaggio principale è liberatorio: Non abbiamo bisogno di sapere cosa c'è "sotto il cofano" della realtà per essere d'accordo.
Basta che siamo razionali, che partiamo dalle stesse probabilità di base e che ci parliamo chiaramente. Che il mondo sia fatto di atomi classici, di onde quantistiche o di qualcosa di ancora più strano, la logica ci obbliga a convergere verso la stessa previsione. L'accordo non dipende dalla "verità assoluta", ma dalla coerenza delle nostre osservazioni.

Sommario tecnico

Titolo: Teorema di Aumann oltre l'ontologia: quantistico, post-quantistico e ordine causale indefinito

1. Il Problema

Il teorema dell'accordo di Aumann è un risultato fondamentale nell'epistemologia bayesiana che afferma che due agenti razionali, partendo da una prior comune (una distribuzione di probabilità condivisa sullo stato del mondo) e rendendo le proprie credenze posteriori conoscenza comune, non possono assegnare probabilità diverse allo stesso evento (non possono "accordarsi sul disaccordo").

Tuttavia, la formulazione classica di questo teorema si basa su un'assunzione ontologica forte: l'esistenza di uno stato vero del mondo ($\omega^*$) indipendente dalle osservazioni, su cui gli agenti aggiornano le loro credenze.

• La sfida: Nella meccanica quantistica, e in particolare in scenari con ordini causali indefiniti o teorie post-quantistiche, la nozione di uno stato oggettivo sottostante e non influenzato dalla misurazione è problematica o addirittura inapplicabile.
• La domanda di ricerca: Il teorema di Aumann può essere esteso a contesti in cui non è possibile assumere l'esistenza di una realtà ontica sottostante, ma solo le osservazioni operative e le probabilità associate? La letteratura precedente ha mostrato risultati apparentemente contraddittori, suggerendo che in alcuni scenari quantistici (misurazioni non commutanti) o post-quantistici (scatole non-segnalanti) potrebbe essere possibile un "disaccordo comune".

2. Metodologia

Gli autori propongono una formulazione operativa del teorema, rimuovendo completamente la dipendenza da uno spazio degli stati ontico ($\Omega$).

• Spostamento del focus: Invece di definire le probabilità su uno spazio di stati $\Omega$, la probabilità è definita direttamente sullo spazio degli esiti di misurazione.
• Struttura del modello:
  • Si considerano tre misurazioni con esiti $i \in I$ (Alice), $j \in J$ (Bob) e $k \in K$ (evento di interesse).
  • Lo spazio degli esiti possibili è $M = I \times J \times K$.
  • Si assume l'esistenza di una distribuzione di probabilità congiunta $p(i, j, k)$ condivisa dagli agenti (prior comune sugli esiti), indipendentemente da come questa distribuzione sia generata (meccanica quantistica, teorie generalizzate, ecc.).
• Definizione operativa di conoscenza comune:
  • Si definiscono insiemi di indici $A_n$ e $B_n$ basati sulle condizioni che gli agenti assegnano probabilità 1 al fatto che l'altro agente abbia un certo posteriore.
  • La conoscenza comune si verifica quando la coppia di esiti osservati $(i, j)$ appartiene all'intersezione infinita di questi insiemi: $(i, j) \in \bigcap_{n=0}^{\infty} (A_n \times B_n)$.
• Strumento matematico: L'uso del condizionamento bayesiano standard sulla distribuzione congiunta $p(i, j, k)$, senza fare riferimento a stati nascosti o aggiornamenti di stato non standard.

3. Risultati Chiave

A. Il Teorema dell'Accordo Operativo (Teorema 2)
Gli autori dimostrano che se una teoria fisica permette di calcolare una distribuzione di probabilità congiunta per gli esiti di misurazioni multiple, allora agenti razionali con un prior condiviso e conoscenza comune dei propri posteriori devono assegnare la stessa probabilità all'evento di interesse.

• Dimostrazione: La prova si basa sull'algebra delle probabilità congiunte. Se la conoscenza comune esiste, gli insiemi di esiti compatibili $A^*$ e $B^*$ hanno probabilità non nulla e sono tali che $p(A^*|B^*) = p(B^*|A^*) = 1$. Questo implica che $p(A^*, E)/p(A^*) = p(B^*, E)/p(B^*)$, quindi i posteriori sono uguali.

B. Applicabilità Estesa
Il teorema è valido in contesti molto più ampi della teoria classica:

1. Meccanica Quantistica: Vale anche per misurazioni non commutanti. Gli autori forniscono un esempio esplicito con misurazioni proiettive su un sistema a 4 dimensioni dove le basi non commutano, mostrando che l'accordo è garantito dalla struttura della distribuzione congiunta.
2. Ordine Causale Indefinito: Il teorema si applica a scenari descritti da matrici di processo (W-matrices), dove l'ordine temporale degli eventi (chi misura prima, chi dopo) non è definito o è in sovrapposizione quantistica. Finché esiste una distribuzione congiunta $p(i, j, k)$ (calcolata come $tr[(\tilde{A}_i \otimes \tilde{B}_j \otimes \tilde{E}_k)W]$), l'accordo è garantito.
3. Teorie Post-Quantistiche: Il risultato vale per qualsiasi quadro teorico (es. teorie probabilistiche generalizzate, formalismo positivo, teoria dei costruttori) purché permetta di definire una distribuzione congiunta sugli esiti.

C. Risoluzione delle Apparenti Contraddizioni
Gli autori chiariscono perché alcuni lavori precedenti (es. Contreras-Tejada et al., Díaz et al.) avevano suggerito la possibilità di disaccordo:

• Scatole non-segnalanti post-quantistiche: I risultati che mostrano disaccordo si basano su eventi controfattuali (esiti di misurazioni non effettuate). Il teorema di Aumann operativo richiede probabilità su esiti effettivamente osservabili o congiuntamente definiti.
• Misurazioni non commutanti: Alcuni lavori precedenti utilizzano regole di aggiornamento non standard (es. assumere che il sistema dell'altro sia in una sovrapposizione quantistica invece che in un misto statistico dopo la misurazione). Gli autori sostengono che, se si usa la regola di aggiornamento bayesiana corretta (misto statistico), il disaccordo comune scompare.

4. Limiti e Casi di Fallimento

Il teorema fallisce solo in situazioni in cui non è possibile assegnare una distribuzione di probabilità congiunta significativa agli esiti delle misurazioni di diversi osservatori.

• Il caso del "Friend di Wigner": Gli autori identificano le situazioni tipo "Friend di Wigner" (es. esperimenti di Frauchiger-Renner) come l'unico contesto plausibile in cui il teorema potrebbe non applicarsi. In questi scenari, si mette in discussione se gli esiti ottenuti da osservatori diversi possano essere trattati come eventi congiuntamente esistenti e indipendenti dall'osservatore. Se la distribuzione congiunta $p(i, j, k)$ non è ben definita, il teorema cessa di avere validità.

5. Significato e Implicazioni

• Indipendenza Ontologica: Il risultato principale è che la coerenza delle previsioni probabilistiche (l'impossibilità del disaccordo razionale) non dipende dall'esistenza di una realtà ontologica sottostante, ma è una proprietà puramente operativa e logica della struttura bayesiana applicata a distribuzioni congiunte.
• Universalità: Il teorema di Aumann è più universale di quanto si pensasse: è valido non solo nel mondo classico, ma in tutto il regno della fisica quantistica e oltre, fino a teorie ipotetiche post-quantistiche, purché sia possibile definire probabilità congiunte.
• Focus sulla Coerenza: Sposta il dibattito dalla natura della realtà alla coerenza delle previsioni probabilistiche. Il "disaccordo" non è una proprietà intrinseca della fisica quantistica o post-quantistica, ma emerge solo quando la struttura stessa della probabilità congiunta viene meno (come nei paradossi di Wigner's friend).

In sintesi, gli autori dimostrano che finché la fisica fornisce una mappa di probabilità congiunta per gli esiti osservabili, la razionalità bayesiana impone l'accordo, indipendentemente dalla complessità o dall'indeterminatezza della struttura causale sottostante.