Decoupling local classicality from classical explainability: A noncontextual model for bilocal classical theory and a locally-classical but contextual theory

Questo articolo costruisce un modello ontologico per la teoria classica bilocale per dimostrare che la classicità locale non garantisce la spiegabilità classica, confutando così una precedente congettura, esponendo i limiti delle assunzioni di tomografia locale nei teoremi strutturali e provando, tramite controesempio, che i due concetti sono fondamentalmente distinti.

L'essenziale

Immagina di cercare di capire le regole di un gioco. In fisica, di solito abbiamo due modi principali di guardare il mondo: il modo "Classico" (come un mazzo di carte standard dove ogni carta ha una faccia definita) e il modo "Quantistico" (dove le carte possono trovarsi in una sovrapposizione di facce finché non le guardi).

Questo articolo riguarda un gioco specifico e strano chiamato Teoria Classica Bilocale (BCT). Gli autori si pongono una domanda profonda: Possiamo spiegare questo strano gioco usando una logica semplice e quotidiana (classicità), anche se le regole di questo gioco per combinare i giocatori sembrano violare le solite leggi della fisica?

Ecco la suddivisione della loro scoperta, utilizzando analogie semplici.

1. I due modi di essere "Classici"

L'articolo distingue tra due tipi di "classicità":

• Localmente Classico: Immagina che ogni singolo giocatore nel gioco sia una persona normale e prevedibile. Se li osservi uno alla volta, hanno perfettamente senso.
• Classicamente Spiegabile: Immagina di poter spiegare l'intero gioco, incluse le modalità con cui i giocatori interagiscono e si combinano, usando una storia semplice e logica (un "modello ontologico") che si adatta alla nostra comprensione quotidiana di causa ed effetto.

Di solito, i fisici pensavano che se un gioco sembrava "strano" quando i giocatori si combinavano (specificamente, se violava una regola chiamata Tomografia Locale), sarebbe stato impossibile spiegarlo con una storia semplice e logica. La Tomografia Locale è come dire: "Per conoscere lo stato di una squadra, devi solo controllare ogni singolo giocatore". Se un gioco viola questa regola, significa che la squadra ha un "codice segreto" o una connessione nascosta che non puoi vedere guardando solo gli individui.

2. La prima scoperta: Il gioco "Bilocale" È spiegabile

Gli autori hanno esaminato la Teoria Classica Bilocale (BCT).

• L'impostazione: Nella BCT, ogni singolo giocatore è perfettamente normale (localmente classico). Tuttavia, quando due giocatori uniscono le forze, le regole per la loro combinazione sono strane. È come se due persone normali che si tengono per mano creassero improvvisamente una terza persona invisibile che esiste solo perché si stanno tenendo per mano. Non puoi capire cosa stia facendo la coppia guardando solo la Persona A e la Persona B separatamente; devi guardare la coppia insieme.
• La vecchia credenza: Una teoria precedente suggeriva che, poiché la BCT possiede questa "terza persona invisibile" (violando la Tomografia Locale), sarebbe stato impossibile creare una storia semplice e logica per spiegarla. Si pensava fosse troppo strana per una spiegazione classica.
• Il nuovo risultato: Gli autori hanno costruito una mappa (un modello ontologico) che traduce il gioco strano della BCT in un gioco classico standard e noioso.
  • L'analogia: Immagina che la BCT sia un complesso trucco di magia. Gli autori hanno trovato un modo per dimostrare che il trucco è in realtà un normale mescolamento di carte, ma eseguito su un tavolo che è due volte più grande di quanto pensassi. Hanno dimostrato che, anche se il comportamento del "team" appare misterioso, puoi spiegarlo perfettamente aggiungendo alcuni "slot nascosti" (stati ontici) al tuo modello mentale dei giocatori.
  • Il punto chiave: Puoi avere un gioco che sembra strano quando i giocatori si combinano, ma può comunque essere spiegato con una logica locale semplice. La "stranezza" non è un mistero fondamentale; è solo una questione di guardare il livello di dettaglio giusto.

3. La seconda scoperta: Non tutti i giochi strani sono spiegabili

Se il primo risultato era "Sì, questo gioco strano è spiegabile", gli autori si sono chiesti: "Ogni gioco strano è spiegabile?".

• Il controesempio: Hanno costruito un altro tipo di gioco chiamato Teorie Classiche Latenti (LCT).
• L'impostazione: Come la BCT, ogni singolo giocatore è normale. Ma le regole su come si combinano sono ancora più contorte. In questo gioco, quando due giocatori si uniscono, a volte creano una connessione "fantasma" così forte da poter annullare qualsiasi normale interazione tra loro.
• Il risultato: Gli autori hanno dimostato che, per questi giochi specifici, non esiste alcuna storia semplice. Non puoi costruire una mappa che traduca questo gioco in uno standard classico.
  • L'analogia: Immagina un gioco in cui due persone normali si stringono la mano e improvvisamente diventano un'unica entità che può "cancellare" qualsiasi altra persona nella stanza. Non importa come tu cerchi di spiegarlo usando la logica standard (come "si stanno solo tenendo per mano"), la matematica si rompe. La connessione "fantasma" è troppo fondamentale per essere spiegata aggiungendo semplicemente degli slot nascosti.
  • Il punto chiave: Solo perché un gioco sembra classico quando guardi i singoli giocatori, non significa che l'intero gioco possa essere spiegato classicamente. A volte, il modo in cui le cose si combinano crea una "stranezza" che è veramente inspiegabile attraverso la logica semplice.

4. Il quadro generale

L'articolo traccia una linea sul terreno:

• Vecchia visione: Se una teoria fallisce il test della "Tomografia Locale" (ovvero, non puoi capire il tutto guardando solo le parti), deve essere fondamentalmente non-classica e inspiegabile.
• Nuova visione: Questo è falso.
  • Alcune teorie (come la BCT) falliscono il test ma sono spiegabili.
  • Alcune teorie (come la LCT) falliscono il test e non sono spiegabili.

La conclusione:
Gli autori mostrano che non esiste una relazione semplice e lineare tra "sembrare classico all'interno" ed "essere spiegabile con una storia semplice". Il modo in cui i sistemi si combinano (composizione) è un fattore cruciale e indipendente. Non puoi semplicemente assumere che, poiché le parti sono semplici, il tutto debba essere semplice — o che se il tutto è strano, debba essere inspiegabile. Devi guardare le regole specifiche della combinazione per saperlo con certezza.

In breve: Essere "localmente classici" non è sufficiente a garantire che una teoria sia "classicamente spiegabile". Il diavolo sta nei dettagli di come le cose si uniscono.

Sommario tecnico

Sintesi Tecnica: Disaccoppiamento della Classicità Locale dalla Spiegabilità Classica

Enunciato del Problema
Il saggio affronta la relazione tra due distinte nozioni di "classicità" all'interno del quadro delle Teorie Probabilistiche Operative (OPT): la classicità locale e la spiegabilità classica.

• Classicità Locale: Una teoria è localmente classica se ogni singolo sistema al suo interno è classico (ovvero, il suo spazio degli stati è un simplesso e soddisfa l'ipotesi di assenza di restrizioni), anche se la regola per comporre questi sistemi differisce dalla teoria classica standard.
• Spiegabilità Classica: Una teoria è classicamente spiegabile se ammette un modello ontologico. Questo è definito come una mappa lineare, che preserva i diagrammi e preserva la determinazione, da una teoria a una Teoria Classica (CT) standard. Questo concetto è equivalente al fatto che la teoria sia generalizzata non contestuale.

Una domanda centrale sorge: ogni teoria localmente classica ammette un modello ontologico? Il lavoro precedente sulla Teoria Classica Bilocale (BCT) [1] ha suggerito che, poiché la BCT viola la tomografia locale (il principio secondo cui gli stati compositi sono interamente determinati dalle misure locali), essa potrebbe non ammettere un modello ontologico realista locale. Al contrario, altre costruzioni di teorie localmente classiche potrebbero essere intrinsecamente incapaci di essere classicamente spiegabili. Il saggio mira a disaccoppiare questi concetti costruendo espliciti modelli e controesempi.

Metodologia
Gli autori impiegano il formalismo delle OPT e il quadro dei modelli ontologici come definito nei riferimenti [2, 6]. La metodologia prevede due costruzioni primarie:

1. Costruzione di un Modello Ontologico per la BCT:

   • Gli autori definiscono una mappa lineare $\tilde{\xi}$ dalla BCT alla Teoria Classica standard ($\Delta$).
   • Mappatura dei Sistemi: Un sistema non banale $n$ nella BCT è mappato in un sistema classico di dimensione $2n$ (specificamente, un prodotto tensoriale di uno spazio $n$-dimensionale e uno spazio binario).
   • Mappatura di Stati/Effetti: Gli stati puri e gli effetti nella BCT, che coinvolgono variabili binarie ($s \in \{0,1\}$) insieme agli indici standard, sono mappati in stati/effetti classici utilizzando porte "copy" e "controlled-NOT" (CNOT) sui sottospazi binari.
   • Mappatura delle Trasformazioni: Le trasformazioni atomiche nella BCT sono mappate in matrici sottostocastiche nella teoria classica, preservando la specifica struttura della regola di composizione della BCT (che comporta una "torsione" degli indici tramite la variabile binaria).
   • Verifiche di Coerenza: Gli autori verificano rigorosamente che questa mappa soddisfi le proprietà richieste: linearità, preservazione dei diagrammi (preservazione della composizione sequenziale e parallela, identità e swap) e preservazione della determinazione (mappare le trasformazioni deterministiche in trasformazioni deterministiche).

2. Costruzione di un Controesempio (Teorie Classiche Latenti - LCTs):

   • Gli autori utilizzano la costruzione della "teoria latente" dal riferimento [76], adattata ai sistemi classici.
   • Definizione: Le LCT sono definite da una regola di composizione in cui il composito di due sistemi $C_1$ e $C_2$ include un ulteriore fattore spazio latente $L_{12}$ (ovvero, $C_1 \otimes C_2 = L_{12} \otimes C_1 \otimes C_2$).
   • Condizione: Lo stato latente $|\kappa\rangle_{L_{12}}$ è scelto per essere non a pieno rango (non spaziante l'intero spazio latente).
   • Dimostrazione della Non-Esistenza: Gli autori dimostrano che se lo stato latente non è a pieno rango, esiste un effetto bipartito non nullo che annulla ogni stato prodotto. Dimostrano che nessun modello ontologico può esistere per una tale teoria perché la proprietà di preservazione del diagramma richiederebbe che questo effetto venga mappato in un effetto nullo nella teoria classica, contraddicendo la preservazione della probabilità dell'effetto non nullo su un particolare stato composito.

Contributi Chiave e Risultati

1. Esistenza di un Modello Ontologico per la BCT (Teorema 2.3):
   Il saggio costruisce il primo modello ontologico per un'intera teoria che fallisce nell'essere localmente tomografica. Questo risultato confuta la congettura nel riferimento [1] secondo cui la BCT potrebbe mancare di un modello ontologico local-realista.

   • Implicazione: Il fallimento della tomografia locale non preclude necessariamente la spiegabilità classica. I gradi di libertà non localmente tomografici nella BCT possono essere giustificati aggiungendo extra stati ontici localmente.

2. Non-Esistenza di Modelli Ontologici per le LCT (Teorema 3.2):
   Il saggio dimostra che le Teorie Classiche Latenti con stati latenti non a pieno rango non ammettono alcun modello ontologico.

   • Implicazione: Non tutte le teorie localmente classiche sono classicamente spiegabili. Esiste una tensione fondamentale tra certe regole compositive (specificamente quelle che permettono forti violazioni della tomografia locale) e l'esistenza di un modello a variabili nascoste non contestuale.

3. Disaccoppiamento dei Concetti:
   I risultati dimostrano che la classicità locale e la spiegabilità classica sono proprietà indipendenti. Una teoria può essere localmente classica ma non classicamente spiegabile (LCT), o localmente classica e classicamente spiegabile nonostante il fallimento della tomografia locale (BCT).

Significato e Rivendicazioni
Il saggio sostiene che queste scoperte hanno implicazioni significative per la comprensione fondamentale della classicità:

• Limitazione dei Teoremi di Struttura: Il risultato mostra che l'assunzione di tomografia locale, che sostiene il teorema di struttura per i modelli non contestuali generalizzati nel riferimento [2], è un limite genuino di quel teorema. Il teorema non si applica a teorie che violano la tomografia locale, anche se sono localmente classiche.
• Le Proprietà Compositive sono Centrali: Gli autori sostengono che il modo in cui i sistemi si compongono (la regola di composizione) non è un problema tecnico secondario, ma una questione centrale e inevitabile per comprendere la classicità. La distinzione tra teorie che sono localmente classiche ma globalmente non classiche (nel senso di spiegabilità) evidenzia l'importanza della struttura compositiva.
• Chiarificazione della Classicità: Il saggio fornisce un esempio concreto (BCT) in cui una teoria è compresa più semplicemente tramite il suo modello ontologico sottostante rispetto alla sua formulazione operativa originale, similmente a come la teoria giocattolo di Spekkens chiarisce le sottoteorie stabilizzatrici a dimensionalità dispari.
• Nessuna Relazione Diretta: Le scoperte stabiliscono che non esiste una relazione diretta tra l'essere una teoria localmente classica e l'essere classicamente spiegabile. Si suggerisce che il lavoro futuro debba trovare principi fisici che distinguano quali teorie localmente classiche ammettono modelli ontologici.

Il saggio conclude che lo status delle proprietà compositive è fondamentale per una comprensione coerente della classicità stessa, andando oltre la visione tradizionale secondo cui la tomografia locale è una condizione necessaria per la spiegabilità classica.