Agreement and Compatibility in Wigner's Friend Paradox

Riassunto Tecnico: Accordo e Compatibilità nel Paradosso dell'Amico di Wigner

Enunciato del Problema
Il documento affronta il paradosso dell'"Amico di Wigner", un esperimento mentale proposto originariamente da Eugene Wigner nel 1961. Il paradosso nasce da un'apparente incompatibilità tra le descrizioni di un sistema quantistico fornite da due agenti: "Wigner" (un superosservatore esterno a un laboratorio chiuso) e "l'Amico di Wigner" (un osservatore all'interno del laboratorio).

• Il Conflitto: L'Amico esegue una misurazione su un qubit, collassando lo stato in un esito definito (ad esempio, $|0\rangle$ o $|1\rangle$). Wigner, trattando l'Amico e il sistema come un sistema quantistico chiuso, descrive l'evoluzione congiunta come un processo unitario che risulta in una sovrapposizione entangled (ad esempio, lo stato di Bell $|\phi^+\rangle$).
• Il Paradosso: La descrizione di Wigner prevede una probabilità di 1 per lo stato entangled, mentre la descrizione dell'Amico (dopo la misurazione) assegna probabilità 1 a uno specifico stato prodotto. Wigner sostenne che ciò costituisce una contraddizione, suggerendo un'incompatibilità fondamentale tra l'evoluzione unitaria e il collasso della funzione d'onda, o un fallimento della meccanica quantistica su scale macroscopiche.
• Consenso Attuale: La letteratura recente suggerisce spesso che il paradosso si manifesti solo in estensioni "multi-agente" (ad esempio, Bong et al., 2020). Questo documento sostiene che la formulazione originale stessa contiene un "paradosso di finzione" radicato in un fraintendimento di compatibilità e accordo.

Metodologia
Gli autori riformulano l'esperimento mentale non come una contraddizione fisica, ma come un problema di inferenza all'interno di un quadro radicalmente bayesiano. Trattano la teoria quantistica come una generalizzazione non commutativa della teoria della probabilità bayesiana, dove gli stati quantistici rappresentano la conoscenza o la credenza di un agente piuttosto che una realtà fisica oggettiva.

La metodologia procede in tre fasi:

1. Riformulazione come Inferenza: Gli agenti sono modellati come ragionatori bayesiani che assegnano distribuzioni di probabilità (classiche) o operatori densità (quantistici) basandosi sulle informazioni disponibili.
2. Definizione di Compatibilità: Gli autori adottano e applicano definizioni di compatibilità tratte da Leifer e Spekkens (2014) e Duarte (2020).
   • Compatibilità Bayesiana Oggettiva: Due assegnazioni sono compatibili se possono essere derivate da un'unica distribuzione di probabilità congiunta tramite condizionamento su dati diversi.
   • Compatibilità Bayesiana Soggettiva: Due assegnazioni sono compatibili se esiste un esperimento ipotetico (funzione di verosimiglianza) tale che, osservando un esito specifico, entrambi gli agenti aggiornerebbero le loro credenze verso distribuzioni identiche.
   • Criterio Matematico: In entrambi i casi classici e quantistici, la compatibilità è determinata dall'intersezione non banale dei supporti delle distribuzioni di probabilità o delle matrici densità.
3. Analisi dell'Accordo: Gli autori distinguono tra compatibilità (la potenziale capacità di accordarsi) e accordo (lo stato di avere descrizioni identiche). Esplorano meccanismi per il miglioramento dello stato (aggiornare la propria credenza basandosi sull'assegnazione di un altro) e il pooling degli stati (combinare assegnazioni in un consenso).

Principali Contributi e Risultati

1. Risoluzione del Paradosso Originale:
   Applicando il criterio dell'intersezione dei supporti, gli autori dimostrano che le descrizioni di Wigner e dell'Amico sono compatibili.

   • Wigner assegna lo stato puro $|\phi^+\rangle\langle\phi^+|$.
   • L'Amico assegna lo stato misto $\rho_F = \frac{1}{2}(|00\rangle\langle00| + |11\rangle\langle11|) = \frac{1}{2}(|\phi^+\rangle\langle\phi^+| + |\phi^-\rangle\langle\phi^-|)$.
   • Il supporto dello stato di Wigner è il sottospazio generato da $|\phi^+\rangle$. Il supporto dello stato dell'Amico è il sottospazio generato da $\{|\phi^+\rangle, |\phi^-\rangle\}$.
   • Poiché l'intersezione di questi supporti è non banale (contiene $|\phi^+\rangle$), le assegnazioni sono compatibili. L'apparente contraddizione sorge solo se si richiede che le descrizioni degli agenti debbano essere identiche prima che condividano informazioni, il che non è richiesto dall'inferenza bayesiana.

2. Il Ruolo dell'Accordo e del "Beneficio del Dubbio":
   Il documento sostiene che il paradosso si dissolve quando gli agenti riconoscono che le loro diverse descrizioni derivano da diversi accessi alle informazioni (l'Amico ha dati di misurazione; Wigner no).

   • Miglioramento dello Stato: Gli autori mostrano che se l'Amico tratta Wigner come un esperto (o viceversa), possono aggiornare le loro credenze. Tuttavia, se Wigner è "ostinato" (assegna probabilità 1 a $|\phi^+\rangle$), non può aggiornare la sua credenza basandosi sulla relazione dell'Amico (a causa della regola di Cromwell: $P(H)=0 \implies P(H|E)=0$).
   • Beneficio del Dubbio: Per raggiungere una riconciliazione, gli autori introducono un parametro $\epsilon$ che rappresenta il "beneficio del dubbio". Se Wigner assegna una piccola probabilità non nulla ($\epsilon$) allo stato ortogonale $|\phi^-\rangle$ (riconoscendo un potenziale rumore o interazione ambientale), il suo supporto si espande. Ciò consente una funzione di verosimiglianza in cui entrambi gli agenti possono aggiornarsi verso uno stato comune, risolvendo il disaccordo.

3. Condizioni per l'Incompatibilità:
   Il documento chiarisce che l'incompatibilità si verifica nello scenario di Wigner solo sotto assunzioni specifiche e non standard, quali:

   • Disaccordo sullo stato iniziale (ad esempio, Wigner assume $|11\rangle$ mentre l'Amico assume $|00\rangle$).
   • Disaccordo sulla dinamica (ad esempio, diverse sequenze di porte o modelli di evoluzione temporale).
   • Mancanza di conoscenza condivisa riguardo alla configurazione sperimentale.
     Gli autori sottolineano che il "paradosso" è spesso il risultato del fatto che gli agenti non riescono a concordare su questi aspetti fondamentali, piuttosto che un fallimento della teoria quantistica stessa.

4. Meccanismi di Riconciliazione:
   Il documento dettaglia metodi per raggiungere l'accordo:

   • Riconciliazione Soggettiva: Costruire un esperimento ipotetico (operatore di verosimiglianza) che porti a un accordo su almeno un esito.
   • Riconciliazione Oggettiva: Costruire una distribuzione congiunta "virtuale del passato" che unifichi le prospettive attuali degli agenti.
   • Pooling: Discutere metodi di pooling lineare e moltiplicativo per combinare le credenze, notando che senza una prior condivisa o una ponderazione specifica, il pooling potrebbe non produrre una soluzione unica.

Significato e Affermazioni
Il documento afferma che il paradosso dell'Amico di Wigner non è un difetto fondamentale della meccanica quantistica, ma un errore concettuale derivante dalla mancanza di definizioni rigorose per compatibilità e accordo.

• Nessun Paradosso: Gli autori concludono che non vi è "nessuna conclusione paradossale" nella formulazione originale. Le descrizioni diverse sono semplicemente una conseguenza naturale del fatto che gli agenti hanno accesso a informazioni diverse, pienamente coerente con l'inferenza bayesiana.
• Svolta Inferenziale: Il lavoro promuove una "svolta inferenziale" nella fisica quantistica fondamentale, considerando gli stati quantistici come rappresentazioni della conoscenza piuttosto che stati oggettivi della natura.
• Portata Modesta: Gli autori dichiarano esplicitamente che il loro contributo è un "primo passo" verso la rimozione di interpretazioni superficiali del paradosso. Riconoscono limitazioni, come la fragilità della loro definizione di compatibilità (che può essere infranta da piccole variazioni nella configurazione) e il fatto che la loro risoluzione si basa sulla riformulazione del problema come questione di inferenza multi-agente piuttosto che come una contraddizione fisica diretta. Non affermano di risolvere le estensioni multi-agente (ad esempio, i "teoremi no-go" di Bong et al.), ma suggeriscono che il loro quadro chiarisce la fonte originale.

In sintesi, il documento sostiene che definendo rigorosamente la compatibilità attraverso l'intersezione dei supporti e trattando lo scenario come un problema di inferenza bayesiana, il "paradosso" svanisce, rivelando che Wigner e il suo Amico possono coesistere coerentemente con descrizioni diverse, ma compatibili, della realtà.