Kochen-Specker nonlocal hidden variables must include time-ordering to allow for measurement independence of several agents

Sintesi Tecnica: Variabili Nascoste Non Locali di Kochen-Specker e Ordinamento Temporale

Enunciato del Problema
Il documento affronta l'interpretazione ontologica della meccanica quantistica, focalizzandosi specificamente su modelli che trattano la contestualità di Kochen-Specker (KS) come una caratteristica di "possibilità preesistenti" immagazzinate in un archivio esterno allo spazio-tempo. Gli autori investigano la compatibilità di questa ontologia con l'indipendenza di misura (spesso definita "scelta libera") negli esperimenti di tipo Bell che coinvolgono più agenti indipendenti.

La tensione fondamentale nasce dal teorema di Bell, il quale stabilisce che qualsiasi modello a variabili nascoste che riproduca le correlazioni quantistiche deve essere non locale. Se l'archivio contiene assegnazioni deterministiche non locali (variabili nascoste) che determinano gli esiti in base ai contesti di misura, sorge un conflitto: in certe configurazioni, l'esito della misura di un agente sembra dipendere dalla scelta futura di un altro agente. Senza ulteriori vincoli, questa dipendenza implica che l'agente successivo non possa scegliere liberamente il proprio contesto di misura, poiché la sua scelta sarebbe vincolata dalla necessità di corrispondere all'assegnazione preesistente recuperata dall'agente precedente. Ciò minaccia il principio dell'indipendenza di misura.

Metodologia
Gli autori analizzano la struttura delle assegnazioni deterministiche non locali all'interno di un'ontologia basata su un archivio. Procedono attraverso i seguenti passaggi logici:

1. Quadro Ontologico: Definiscono un'ontologia in cui le variabili nascoste sono possibilità preesistenti immagazzinate fuori dallo spazio-tempo. Quando un agente sceglie un contesto (impostazione di misura), il valore corrispondente viene recuperato da questo archivio.
2. Analisi del Segnale: Esaminano specifiche assegnazioni deterministiche non locali (ad esempio, quelle che violano la disuguaglianza CHSH). Dimostrano che qualsiasi assegnazione deterministica non locale che non sia causalmente locale contiene intrinsecamente "segnalazione" (dove un'uscita dipende da un'ingresso distante).
3. Il Paradosso della Scelta Libera: Illustrano che se un archivio contiene un'assegnazione non locale fissa (ad esempio, $a+b \equiv xy \mod 2$) e gli agenti scelgono le misurazioni in una sequenza ordinata nel tempo (ad esempio, Bob misura prima di Alice), l'esito di Bob di fatto detta l'ingresso di Alice per mantenere la coerenza. Ciò costringe la scelta di Alice a essere correlata con quella di Bob, violando l'indipendenza di misura.
4. Risoluzione tramite Ordinamento Temporale: Gli autori propongono che, per preservare l'indipendenza di misura per tutti gli agenti, il "contesto" recuperato dall'archivio debba includere non solo le impostazioni di misura, ma anche l'ordinamento temporale delle scelte degli agenti.
5. Generalizzazione: Estendono questo argomento ai sistemi multipartiti. Dimostrano che qualsiasi correlazione quantistica (che soddisfi la condizione di non-segnalazione) può essere decomposta in una miscela di assegnazioni deterministiche che rispettano un specifico ordinamento temporale (cioè assegnazioni che segnalano solo in avanti nel tempo, evitando cicli causali).

Contributi e Risultati Chiave

• Necessità dell'Ordinamento Temporale nel Contesto: Il risultato principale è la dimostrazione che, affinché un modello a variabili nascoste basato su un archivio sia coerente con l'indipendenza di misura negli esperimenti di Bell multi-agente, il contesto deve includere esplicitamente l'ordine temporale delle scelte degli agenti.
• Decomposizione delle Correlazioni Quantistiche: Il documento mostra che l'insieme delle correlazioni quantistiche (e il più ampio poliedro di non-segnalazione) è contenuto all'interno del "poliedro della freccia del tempo". Ciò significa che qualsiasi correlazione quantistica può essere decomposta in assegnazioni deterministiche coerenti con alcun ordinamento temporale (ad esempio, $t_A \le t_B \le t_C$), dove il flusso di segnalazione avviene solo dalle scelte precedenti a quelle successive.
• Risoluzione dei Cicli di Segnalazione: Includendo l'ordinamento temporale nel contesto, il modello evita la "segnalazione circolare" (dove A segnala a B e B segnala indietro ad A). In un contesto ordinato temporalmente, un'assegnazione deve segnalare solo dall'agente precedente a quello successivo, garantendo che la scelta dell'agente successivo rimanga libera rispetto all'esito dell'agente precedente.
• Definizione Operativa del Tempo: Gli autori chiariscono che il tempo rilevante $t_P$ è il momento in cui il sistema produce un esito rispetto al dispositivo di misura, piuttosto che il momento della decisione umana, sebbene tale distinzione rimanga operativamente difficile da individuare con precisione.

Significato e Affermazioni
Il documento afferma di fornire una "spiegazione minima" di come vengono prodotti gli esiti negli esperimenti quantistici nell'ambito di un'ontologia di un singolo universo. Il suo significato risiede in:

1. Preservazione dell'Indipendenza di Misura: Offre un modo per mantenere l'assunzione che gli agenti (o i generatori di numeri casuali) possano scegliere liberamente i contesti di misura senza ricorrere al superdeterminismo (dove la sorgente è correlata alle scelte) o abbandonare la visione del mondo singolo.
2. Coerenza Ontologica: Risolve il conflitto tra variabili nascoste non locali e scelta libera espandendo la definizione di "contesto" per includere le relazioni temporali.
3. Risonanza Teologica e Filosofica: Gli autori notano che questo concetto di archivio risuona con le discussioni teologiche sull'onniscienza divina e il libero arbitrio umano (in particolare il Molinismo e il concetto di Infuturabilien discusso da Ernst Specker) e con le visioni della fisica statistica come il "Mentaculus". Suggeriscono che il loro "archivio quantistico" possa essere visto come una generalizzazione di questi concetti per includere assegnazioni non locali.

Gli autori mantengono un atteggiamento modesto, affermando di non confrontare i meriti di questa ontologia con altri radicali allontanamenti dalle credenze comuni (come il mondo multiplo o il superdeterminismo), ma piuttosto di dimostrare che questo specifico percorso richiede l'inclusione dell'ordinamento temporale per essere logicamente coerente.