Are free choices absolute, when internalized in Wigner's friend?

Sintesi Tecnica: "Le scelte libere sono assolute, quando internalizzate nell'amico di Wigner?"

Enunciazione del Problema
Il documento affronta una sfida fondamentale nella teoria quantistica riguardante il problema della misura e la coerenza del ragionamento tra diversi osservatori. Nello specifico, esamina il teorema di impossibilità della "Local Friendliness" (LF), che stabilisce una contraddizione sotto due assunzioni: l'Assolutezza degli Eventi Osservati (AOE) (gli esiti sono eventi assoluti a valore singolo) e l'Agenzia Locale (le scelte/interventi liberi sono correlati solo con eventi nel loro cono di luce futuro). Mentre recenti argomenti estesi dell'amico di Wigner (EWF) hanno utilizzato queste assunzioni per mettere in discussione l'assolutezza degli esiti di misura, questo lavoro chiede se la stessa logica si applichi alle scelte libere stesse. La domanda centrale è: se un superosservatore (Wigner) modella unitariamente la "scelta libera" di un osservatore (Amico) all'interno di un laboratorio sigillato, tale scelta può essere considerata un evento assoluto a valore singolo indipendente dalla prospettiva del superosservatore?

Metodologia
Gli autori costruiscono uno scenario esteso dell'amico di Wigner che integra il teorema di Pusey–Barrett–Rudolph (PBR) con il quadro LF. Il protocollo prevede:

1. Agenti: Due amici (Alice e Bob) in laboratori sigillati, un superosservatore (Wigner) e due osservatori esterni (Charlie e Debbie).
2. Configurazione Iniziale: Alice e Bob compiono ciascuno una "scelta libera" ($a, b \in \{0, 1\}$). Queste scelte sono codificate in qubit ($T_A, T_B$) inviati a Charlie e Debbie, mentre la scelta stessa è registrata nello stato dei rispettivi laboratori ($L_A, L_B$). Lo stato congiunto dei laboratori e dei qubit è modellato come una sovrapposizione entangled (ad esempio, $|00\rangle + |11\rangle$).
3. Misure Esterne: Charlie e Debbie misurano i qubit ricevuti ($T_A, T_B$) nella base computazionale ($Z$) o di Hadamard ($X$), a seconda delle loro impostazioni ($x, y$).
4. Misura del Superosservatore: Wigner sceglie un'impostazione $z$.
   • Se $z=0$, Wigner rivela le scelte degli amici (misurando i laboratori nella base computazionale).
   • Se $z=1$, Wigner esegue una misura entangled congiunta sui laboratori ($L_A \otimes L_B$) nella base PBR ($\{|\xi_1\rangle, |\xi_2\rangle, |\xi_3\rangle, |\xi_4\rangle\}$), che è incompatibile con la base che codifica le scelte degli amici.
5. Derivazione Logica: Gli autori assumono che AOE e Agenzia Locale si applichino alle scelte degli amici ($a, b$) anche quando non sono rivelate (cioè, quando $z=1$). Derivano una contraddizione mostrando che, se $a$ e $b$ sono assolute, le probabilità degli esiti di Wigner nella misura PBR devono soddisfare specifici vincoli di probabilità zero che sono mutualmente esclusivi rispetto alla probabilità non nulla delle scelte degli amici di essere rivelate in un contesto compatibile.

Contributi Chiave

• Estensione degli Argomenti LF: Il documento estende la portata dei teoremi di impossibilità della Local Friendliness dall'assolutezza degli esiti osservati all'assolutezza delle scelte libere.
• Internalizzazione della Scelta Libera: Introduce un modello in cui un superosservatore tratta la "scelta libera" di un osservatore come una variabile quantistica internalizzata (un'evoluzione unitaria del laboratorio) piuttosto che come un parametro esogeno. Ciò sfida la visione standard delle scelte libere come input puramente esterni.
• Scenario Basato su PBR: A differenza dei precedenti argomenti EWF che si basavano esclusivamente sulla non-località di Bell o sul contesto, questo lavoro utilizza la logica del teorema PBR riguardo alla realtà degli stati quantistici per derivare una contraddizione specificamente riguardante la natura della variabile di scelta.
• Generalizzazione: L'argomento è generalizzato ad ampiezze di scelta arbitrarie (non solo probabilità uguali), dimostrando robustezza attraverso diversi stati di sovrapposizione iniziali.

Risultati
Gli autori derivano un "teorema di impossibilità" per l'assolutezza delle scelte libere sotto l'assunzione di Agenzia Locale.

• La Contraddizione: Applicando AOE e Agenzia Locale, gli autori mostrano che la distribuzione di probabilità congiunta per le scelte degli amici ($a, b$) e gli esiti PBR di Wigner ($w$) deve soddisfare un insieme di condizioni (Eq. 13) in cui tutti gli esiti possibili per una specifica configurazione di scelte rivelate hanno probabilità zero.
• La Violazione: Tuttavia, la meccanica quantistica standard prevede che lo scenario in cui gli amici compiono scelte specifiche e Charlie/Debbie misurano in basi specifiche si verifichi con probabilità non nulla (Eq. 15).
• Conclusione: La congiunzione di Agenzia Locale e dell'assunzione secondo cui le scelte libere sono assolute (eventi a valore singolo indipendenti dal superosservatore) porta a una contraddizione logica. Pertanto, all'interno di questo quadro, le scelte libere non possono essere assolute nello stesso modo in cui gli esiti di misura sono assunti essere negli argomenti LF standard.

Significato e Affermazioni
Il documento afferma che le risoluzioni dei paradossi estesi dell'amico di Wigner che rifiutano l'assolutezza degli esiti (approcci relazionali) devono incorporare anche una natura relazionale delle scelte libere.

• Riconcettualizzazione dell'Agenzia: Il lavoro suggerisce che se si accetta la modellazione unitaria degli osservatori da parte dei superosservatori, il concetto di "scelta libera" come variabile esogena e assoluta è incompatibile con l'universalità e la località quantistica.
• Implicazioni di Sintonizzazione Fine: Se si desidera mantenere l'assolutezza delle scelte libere, il documento implica che tale risoluzione richiederebbe "scelte sintonizzate finemente" (in aggiunta a esiti di misura sintonizzati finemente) per evitare la contraddizione.
• Ripensamento Operativo: Gli autori non argomentano contro l'esistenza della scelta libera, ma contro la sua assolutezza quando internalizzata in una descrizione fisica. Invitano a un ripensamento di come le scelte libere sono definite e operationalizzate in fisica, in particolare in scenari che coinvolgono superosservatori.

Il documento conclude che argomenti simili possono essere costruiti utilizzando altri modelli di non-località o contesto, ma lo scenario basato su PBR fornisce un percorso distinto e rigoroso per mettere in discussione l'assolutezza delle impostazioni di input dell'agente.