Classical Explanations in (and of) General Probabilistic Theories

Il paper introduce una nozione di "spiegazione" tra modelli probabilistici generalizzati come un particolare tipo di span nella categoria $\Prob$, dimostrando che tali spiegazioni si compongono tramite pullback e che ogni modello probabilisticamente localmente finito ammette una spiegazione classica canonica e precisa, la cui costruzione è funtoriale.

L'essenziale

Ecco una spiegazione semplice e creativa del paper di Harding e Wilce, pensata per un pubblico generale.

Il Titolo: Come spiegare il mondo quantistico con le regole del mondo classico

Immagina di avere due modi di guardare il mondo:

1. Il mondo Classico: È come un grande supermercato. Puoi prendere mele, pere e banane, metterle tutte in un carrello e pesare tutto insieme. Tutto è misurabile, prevedibile e le cose non si influenzano a distanza in modo misterioso.
2. Il mondo Quantistico (QM): È come un gioco di carte magico. Se provi a guardare una carta per vedere se è un "Cuore", non puoi contemporaneamente sapere se è "Rossa". Le carte sono "incompatibili": misurare una cosa distrugge l'informazione sull'altra. Inoltre, due carte possono essere "intrecciate" (entangled) in modo che, se cambi una, l'altra cambia istantaneamente, anche se sono a chilometri di distanza.

Gli scienziati si chiedono da tempo: Il mondo quantistico è davvero così strano, o è solo un modo complicato di vedere un mondo classico che non riusciamo a capire?

L'Idea Centrale: "Spiegare" il mistero

Gli autori di questo paper, Harding e Wilce, hanno inventato un nuovo modo per rispondere a questa domanda. Immagina che ogni modello fisico (classico o quantistico) sia una macchina complessa.

Vogliono sapere se possiamo costruire una macchina più grande e classica (chiamiamola "Macchina Classica") che, se guardata attraverso un filtro speciale, sembri esattamente la nostra macchina quantistica.

Hanno definito questo processo come una "Spiegazione".

• Se riesci a costruire una macchina classica che, quando la "semplifichi" (togliendo alcuni dettagli o ignorando certe parti), produce esattamente i risultati della macchina quantistica, allora hai trovato una spiegazione classica del mondo quantistico.

Il Risultato Sorprendente: Sì, ma con un trucco

Ecco la parte magica del paper:

1. Ogni modello ha una spiegazione: Gli autori dimostrano matematicamente che qualsiasi modello probabilistico (anche il più strano e quantistico) può essere "spiegato" da un modello classico.

   • L'analogia: Immagina di avere un puzzle quantistico che sembra impossibile. Gli autori dicono: "Non preoccuparti, esiste un puzzle classico gigante che contiene tutti i pezzi del tuo puzzle quantistico. Se guardi il puzzle classico da un certo angolo e ne nascondi alcuni pezzi, vedrai esattamente il tuo puzzle quantistico".

2. Il trucco (La perdita di "Località"):
   Qui sta il punto cruciale. Per far funzionare questo trucco, la "Macchina Classica" deve avere una proprietà molto strana: non è locale.

   • Cosa significa? Nel mondo classico normale, se hai due amici lontani (Alice e Bob), ciò che fa Alice non dovrebbe influenzare istantaneamente ciò che fa Bob.
   • Nella "spiegazione classica" proposta dagli autori, per ricreare il comportamento quantistico, la macchina di base deve permettere a Alice e Bob di influenzarsi istantaneamente in modo nascosto.
   • L'analogia: È come se Alice e Bob avessero un telefono segreto che non vediamo. Se Alice muove un dito, Bob lo sa immediatamente. Nel nostro mondo classico "normale" questo è impossibile, ma nella nostra "spiegazione classica" è necessario per far funzionare il gioco.

Il Paradosso dell'Intreccio (Entanglement)

Il paper affronta il problema più famoso: l'entanglement (quando due particelle sono legate in modo misterioso).

• La domanda: Possiamo spiegare l'entanglement con una macchina classica?
• La risposta: Sì, ma solo se accettiamo che la macchina classica di base sia "non locale" (cioè, che le parti comunicano istantaneamente).
• Il limite: Se proviamo a costringere la macchina classica a essere "locale" (rispettando la regola che nulla viaggia più veloce della luce), allora non possiamo più spiegare l'entanglement.
  • Metafora: Immagina di voler spiegare perché due dadi lontani mostrano sempre lo stesso numero.
    • Spiegazione Classica Locale: I dadi sono truccati in modo indipendente. (Fallisce: non spiega la correlazione perfetta).
    • Spiegazione Classica Non Locale: I dadi sono collegati da un filo invisibile che li fa muovere all'unisono. (Funziona, ma viola la "località").
    • Conclusione del paper: Non esiste una spiegazione che sia sia classica sia locale per l'entanglement. Devi scegliere: o il mondo è classico ma "magico" (non locale), o è quantistico e strano.

Cosa significa tutto questo per noi?

Il paper ci dice che la "stranezza" del mondo quantistico non è un difetto della matematica, ma una scelta filosofica.

Possiamo guardare il mondo in tre modi (come suggerito nella conclusione del paper):

1. Il mondo è non-classico: Le cose sono davvero così strane. Non possiamo nasconderle dietro una macchina classica perché le regole della fisica proibiscono certi collegamenti (segnali) che la nostra macchina classica richiederebbe.
2. Il mondo è classico ma non locale: Esiste una realtà classica sottostante (come i dadi collegati dal filo), ma è così ben "sintonizzata" che noi, osservando solo la superficie, vediamo solo il comportamento quantistico. È come se il mondo fosse un'orchestra classica, ma noi sentiamo solo un assolo di jazz perché abbiamo tappato le orecchie alle altre sezioni.
3. La località è parte della classicità: Se definiamo "classico" qualcosa che rispetta la regola "nessuna comunicazione istantanea", allora il mondo è semplicemente non classico. Punto.

In sintesi

Harding e Wilce ci dicono: "Non preoccupatevi, potete sempre trovare una storia classica per spiegare il mondo quantistico. Ma attenzione: per farla funzionare, dovete accettare che nel fondo di questa storia ci sia una connessione istantanea tra le cose che sembra magia. Se rifiutate la magia (la non-località), allora il mondo è davvero quantistico e non classico."

È come dire che puoi spiegare un'illusione ottica con la fisica della luce, ma se vuoi spiegarla con la magia, devi accettare che il mago abbia un potere speciale. Il paper ci aiuta a capire esattamente quale "potere" stiamo accettando quando scegliamo di vedere il mondo in un certo modo.

Sommario tecnico

Ecco una sintesi tecnica dettagliata del paper "Classical Explanations in (and of) General Probabilistic Theories" di John Harding e Alex Wilce, strutturata secondo le sezioni richieste.

1. Il Problema

La teoria della probabilità classica si basa sull'assunzione tacita che tutti gli esperimenti ammettano un raffinamento comune e possano essere eseguiti congiuntamente. La Meccanica Quantistica (MQ) viola questa assunzione, introducendo esperimenti incompatibili. La letteratura esistente ha tentato di generalizzare la probabilità per accommodare tali incompatibilità attraverso due approcci principali: l'approccio della "logica quantistica" (sostituendo le algebre booleane con reticoli ortomodulari) e l'approccio "convesso" (rappresentando gli stati come punti in insiemi convessi arbitrari).

Sebbene esistano teoremi che mostrano come tali modelli possano essere rappresentati tramite modelli probabilistici classici, questi risultati sono spesso frammentati in diversi framework formali e non equivalenti. Inoltre, tali rappresentazioni classiche richiedono tipicamente il sacrificio di due proprietà: la non-contextualità (l'indipendenza del risultato dalla misura effettuata) e la località. Il problema centrale affrontato dagli autori è fornire un quadro unificato e più generale per comprendere come e in che misura una teoria probabilistica generale (inclusa la MQ) possa essere "spiegata" o rappresentata da un modello classico, analizzando rigorosamente le implicazioni di tale spiegazione sulla località e sull'entanglement.

2. Metodologia

Gli autori adottano un approccio categorico e strutturale basato sulla teoria delle categorie e sulla geometria convessa.

• Quadro Formale (Category Prob): Viene introdotto un categoria $\mathbf{Prob}$ di modelli probabilistici concreti. Un modello è definito come una coppia $(M, \Omega)$, dove $M$ è uno "spazio di test" (una collezione di insiemi non vuoti che rappresentano gli esiti di possibili esperimenti) e $\Omega$ è un insieme di pesi di probabilità (stati) su $M$.
• Morfismi: Vengono definiti morfismi tra spazi di test e modelli probabilistici che preservano la struttura degli eventi e le relazioni di ortogonalità.
• Definizione di Spiegazione: Un'"spiegazione" di un modello $A$ tramite un modello $B$ è definita come uno span (una freccia da un terzo modello $C$ verso $A$ e $B$) specifico:
  • $q: C \to A$ è un morfismo quoziente (perde informazioni/distinzione tra esiti).
  • $e: C \to B$ è un embedding (iniettivo, preserva la struttura).
  • Questo formalizza l'idea che $A$ sia una versione "coarse-grained" (sgranata) di un modello sottostante $C$, che a sua volta è un sottoprodotto di un modello classico $B$.
• Costruzione Funzionale (Borelification): Gli autori costruiscono un endofunctor $\text{Bor}: \mathbf{Prob} \to \mathbf{Prob}$. Per ogni modello probabilistico $A$, $\text{Bor}(A)$ è un modello classico di Borel. La costruzione si basa su:
  1. Il rivestimento semiclassico ($\tilde{A}$) di un modello, che rende espliciti i contesti di misura.
  2. L'insieme $S$ degli stati dispersion-free (deterministici, o "puri" nel senso classico) su $\tilde{A}$.
  3. L'uso di barycenteri (integrali deboli-*) per rappresentare ogni stato di $A$ come una media convessa (o integrale) di stati deterministici su $S$.

3. Contributi Chiave

1. Unificazione Concettuale: Forniscono una definizione unificata di "spiegazione classica" che generalizza i risultati di Beltrametti-Bugajski e i modelli ontologici, mostrando che ogni modello probabilistico localmente finito ammette una spiegazione classica canonica.
2. Costruzione Funzionale: Dimostrano che la mappatura $A \mapsto \text{Bor}(A)$ è un funtore, permettendo di associare a ogni teoria probabilistica (vista come un funtore da una categoria di sistemi fisici a $\mathbf{Prob}$) una rappresentazione classica canonica.
3. Distinzione tra Pesi e Stati: Introdurre una distinzione tecnica cruciale tra la separabilità come peso di probabilità congiunto (rispetto all'insieme di tutti i pesi possibili) e la separabilità come stato (rispetto all'insieme specifico di stati fisici $\Omega$).
4. Analisi della Località di Bell: Riformulano il teorema di Bell e la località in termini di embedding classici, dimostrando che l'esistenza di una spiegazione classica "locale" impone vincoli severi sulla struttura degli stati composti.

4. Risultati Principali

• Teorema della Spiegazione Classica Canonica: Ogni modello probabilistico localmente finito $A$ ammette una spiegazione classica canonica e "sharp" (netta). Esiste un embedding del rivestimento semiclassico $\tilde{A}$ in un modello di Borel classico $B(S)$, tale che $A$ è un quoziente di $\tilde{A}$.
• Composizione delle Spiegazioni: Le spiegazioni si compongono tramite il prodotto fibrato (pullback) nella categoria $\mathbf{Prob}$, formando una bicategoria.
• Località e Entanglement:
  • Se un sistema composito non-segnalante $AB$ ammette una spiegazione classica che è Bell-locale (cioè, gli stati deterministici sottostanti si restringono a pesi di probabilità prodotto), allora tutti gli stati di $AB$ devono essere separabili come pesi di probabilità congiunti.
  • Di conseguenza, se un sistema ammette stati entangled (non separabili), non può ammettere una spiegazione classica locale.
  • Tuttavia, la costruzione $\text{Bor}(A)$ fornisce sempre una spiegazione classica, ma per sistemi entangled questa spiegazione è non-locale: gli stati deterministici (dispersion-free) nel modello classico sottostante che compongono gli stati quantistici entangled sono essi stessi stati segnalanti (violano la condizione di non-segnalazione).
• Rappresentazioni Ontologiche: Mostrano che una rappresentazione ontologica "sharp" e non-contextual è equivalente a un embedding del rivestimento semiclassico in un modello di Borel.

5. Significato e Implicazioni

Il lavoro ha profonde implicazioni filosofiche e fisiche per la comprensione della natura della realtà quantistica:

• Ridefinizione del "Classico": Il paper dimostra che è possibile rappresentare qualsiasi teoria probabilistica (inclusa la MQ) in termini classici, ma solo a patto di accettare che la "realtà sottostante" (gli stati ontologici) possa essere non-locale (segnalante) o contextual.
• Il Dilemma della Località: Gli autori identificano tre atteggiamenti razionali possibili di fronte ai risultati di Bell e alla loro generalizzazione:
  1. Non-classicità: Il mondo è non-classico perché gli osservabili non commutanti non sono giustamente testabili; la non-località è una conseguenza della non-classicità.
  2. Classicità Non-Locale: Il mondo è classico (ammette una descrizione ontologica deterministica), ma è intrinsecamente non-locale (richiede un "fine-tuning" per nascondere la segnalazione e produrre stati non-segnalanti osservabili).
  3. Non-Classicità per Non-Località: La località è parte della definizione di classicità; poiché il mondo viola la località, è non-classico.
• Generalità: A differenza di molti risultati precedenti, questo approccio non assume la tomografia locale, la finitezza dimensionale o strutture algebriche specifiche, rendendo i risultati applicabili a una vasta gamma di teorie probabilistiche generali.

In sintesi, Harding e Wilce dimostrano che la barriera tra mondo classico e quantistico non risiede nell'impossibilità di una rappresentazione classica, ma nel prezzo da pagare per ottenerla: o si perde la località (gli stati fondamentali sono segnalanti) o si perde la non-contextualità. La loro costruzione matematica offre un linguaggio preciso per analizzare questo compromesso.