An extended Wigner's friend no-go theorem inspired by generalized contextuality

Riepilogo Tecnico: Un Teorema No-Go Esteso dell'Amico di Wigner Ispirato alla Contestualità Generalizzata

Enunciato del Problema
Il documento affronta la tensione tra la teoria quantistica e le visioni del mondo classiche, concentrandosi specificamente sulle questioni interpretative che sorgono quando gli agenti sono trattati come sistemi quantistici capaci di eseguire misurazioni. Mentre il teorema no-go della "Local Friendliness" (LF) ha stabilito una contraddizione tra le previsioni quantistiche e le assunzioni congiunte dell'"Assolutezza degli Eventi Osservati" (AOE) e dell'"Agenzia Locale", gli autori mirano a generalizzare questo risultato. L'obiettivo è determinare se contraddizioni simili sorgano sostituendo l'assunzione di Agenzia Locale (una forma rafforzata di no-segnalazione) con un'assunzione più debole derivata dalla contestualità generalizzata. Gli autori intendono dimostrare che la teoria quantistica è incompatibile con uno scenario di "Amicizia Noncontestuale", producendo così un teorema no-go più forte di quelli basati esclusivamente sulla noncontestualità generalizzata.

Metodologia
Gli autori sfruttano una corrispondenza nota tra le dimostrazioni di nonlocalità negli scenari di Bell e le dimostrazioni di contestualità negli scenari di preparazione e misurazione. La metodologia procede come segue:

1. Costruzione dello Scenario: Gli autori progettano uno scenario di "Amicizia Noncontestuale" (NF) (Figura 4) che coinvolge un singolo sistema quantistico $S$ e tre agenti: Alice (un superosservatore), Charlie (un amico) e Debbie (un'amica), seguiti da Bob (un superosservatore).

   • Alice prepara un qubit e lo invia a Charlie.
   • Charlie esegue una misurazione $C$ (modellata in modo unitario come $U_C$).
   • A seconda di una impostazione $x \in \{0, 1\}$, Alice accetta l'esito di Charlie ($x=0$) o agisce come superosservatore per annullare la misurazione di Charlie tramite $U_C^\dagger$ ($x=1$), cancellando la registrazione dell'esito.
   • Il sistema viene passato a Debbie, che esegue la misurazione $D$ (modellata come $U_D$).
   • A seconda dell'impostazione $y \in \{0, 1\}$, Bob accetta l'esito di Debbie ($y=0$) o annulla la sua misurazione tramite $U_D^\dagger$ ed esegue una misurazione $B$ ($y=1$).

2. Assunzioni: Il teorema si basa su due assunzioni fondamentali:

   • Assolutezza degli Eventi Osservati (AOE): Gli esiti osservati sono eventi singolari e oggettivi, non relativi a nessun osservatore. Ciò implica l'esistenza di una distribuzione di probabilità congiunta $p(a, b, c, d|x, y)$ per tutti gli esiti, anche quelli cancellati o inaccessibili a un singolo agente.
   • Agenzia Noncontestuale: Questa è definita come il requisito secondo cui qualsiasi equivalenza operativa verificabile quando tutte le variabili sono congiuntamente accessibili deve ancora valere quando tali variabili non sono congiuntamente accessibili a un singolo agente. Nello specifico, estende le equivalenze operative standard (ad esempio, l'indipendenza nella preparazione) al livello degli eventi congiuntamente inaccessibili garantiti dall'AOE. Questo è presentato come una versione più forte dell'equivalenza operativa standard ma una versione più debole della noncontestualità generalizzata (che richiede che tali equivalenze valgano all'interno di un modello ontologico).

3. Strategia di Dimostrazione: Gli autori mappano lo scenario più semplice non banale per la contestualità generalizzata (che coinvolge quattro preparazioni e due misurazioni) sullo scenario NF. Assumendo AOE e Agenzia Noncontestuale, mostrano che le correlazioni empiriche osservate nello scenario NF devono essere derivabili da una singola distribuzione di probabilità congiunta. Tuttavia, selezionando specifiche preparazioni e misurazioni quantistiche (analoghe alla violazione massima delle disuguaglianze di noncontestualità), dimostrano che una tale distribuzione congiunta non esiste, portando a una contraddizione.

Contributi Chiave

• Il Teorema No-Go dell'Amicizia Noncontestuale (NF): Il documento dimostra che se un superosservatore può eseguire operazioni quantistiche arbitrarie su un osservatore e il suo ambiente, nessuna teoria fisica può soddisfare la congiunzione di AOE e Agenzia Noncontestuale.
• Generalizzazione del Teorema LF: Il lavoro stabilisce che l'Agenzia Locale è un caso specifico di Agenzia Noncontestuale (dove l'equivalenza operativa è il no-segnalazione). Di conseguenza, il teorema NF generalizza il teorema LF.
• Gerarchia di Forza: Gli autori dimostrano che il teorema no-go NF è strettamente più forte dei teoremi no-go basati sulla noncontestualità generalizzata. Mentre le correlazioni empiriche nello scenario NF sono identiche a quelle nello scenario di contestualità più semplice, le assunzioni richieste per derivare la contraddizione (AOE + Agenzia Noncontestuale) sono più deboli di quelle richieste per le dimostrazioni standard di noncontestualità (che si basano sull'esistenza di un modello ontologico noncontestuale).
• Riformulazione Concettuale dell'Agenzia: Il documento reinterpreta "Agenzia Locale" e "Agenzia Noncontestuale" non semplicemente come impegni metafisici verso strutture causali relativistiche o modelli ontologici, ma come istanze del principio metodologico di assenza di sintonizzazione fine. Sostiene che in un mondo in cui vale l'AOE, sarebbe "congiurativo" che le equivalenze operative valgano quando accessibili ma falliscano quando inaccessibili.

Risultati
Il documento deriva una contraddizione tra le previsioni della meccanica quantistica e le assunzioni dell'Amicizia Noncontestuale. Nello specifico:

• Sotto AOE e Agenzia Noncontestuale, le correlazioni empiriche $\wp(c, d|x=0, y=0)$, $\wp(c, b|x=0, y=1)$, $\wp(a, d|x=1, y=0)$ e $\wp(a, b|x=1, y=1)$ devono essere marginali di una singola distribuzione congiunta $p(a, b, c, d|x=1, y=1)$.
• Scegliendo specifici stati quantistici e misurazioni (ad esempio, le basi di Pauli $X$ e $Z$), queste correlazioni corrispondono alla violazione massima delle disuguaglianze di noncontestualità.
• Secondo il teorema di Fine, una tale distribuzione congiunta non può esistere per queste correlazioni.
• Pertanto, la teoria quantistica è incompatibile con l'Amicizia Noncontestuale.

Significato
Gli autori affermano che questo risultato rafforza il caso contro la visione del mondo classica mostrando che l'incompatibilità con la teoria quantistica persiste anche sotto assunzioni più deboli di quelle utilizzate nei precedenti teoremi no-go basati sulla contestualità.

• Più forte di Bell/Contestualità: Proprio come il teorema LF è più forte del teorema di Bell (perché l'Agenzia Locale è più debole della causalità locale), il teorema NF è più forte dei teoremi di noncontestualità generalizzata (perché l'Agenzia Noncontestuale è più debole della noncontestualità generalizzata).
• Metodologico vs. Metafisico: Un contributo concettuale chiave è lo spostamento della giustificazione per le assunzioni di "Agenzia" dagli impegni metafisici (ad esempio, la struttura causale relativistica) ai principi metodologici (assenza di sintonizzazione fine). Se si accetta l'universalità della teoria quantistica (consentendo la realizzazione dello scenario) e il principio di assenza di sintonizzazione fine, si è costretti ad abbandonare l'AOE—l'assunzione secondo cui gli eventi osservati sono assoluti.
• Direzioni Future: Il documento suggerisce che questo quadro può essere esteso ad altri scenari, inclusi quelli che coinvolgono la distinzione ontologica limitata o teorie post-quantistiche, e nota che le assunzioni NF comprendono altre recenti assunzioni come la "Irrelevanza della Commutazione" nei contesti di Kochen-Specker.

Il documento conclude che il teorema no-go NF fornisce un argomento robusto secondo cui, se la teoria quantistica è universale e si assume l'assenza di sintonizzazione fine, gli eventi osservati non possono essere assoluti, sfidando così la nozione classica di realtà oggettiva nel contesto degli osservatori quantistici.