Against probability: A quantum state is more than a list of probability distributions

Questo articolo dimostra un teorema di non-esistenza che prova come una rappresentazione della probabilità topologicamente robusta degli stati quantistici, pur essendo necessaria per affermazioni fisiche significative, non possa simultaneamente preservare caratteristiche strutturali essenziali quali la composizione dei sottosistemi.

L'essenziale

L'Idea Centrale: La Mappa non è il Territorio

Immaginate di avere una complessa scultura 3D (uno stato quantistico). Per descriverla a qualcuno che non può vederla, decidete di scattare una serie di fotografie 2D (distribuzioni di probabilità) da ogni possibile angolazione.

Gli autori di questo articolo sostengono che, sebbene queste foto possano identificare univocamente la scultura, fare affidamento su di esse per descrivere la scultura presenta un difetto fatale: le foto possono mentire su quanto due sculture siano vicine tra loro.

Nel mondo della fisica quantistica, gli scienziati spesso cercano di descrivere un sistema non attraverso il suo stato "reale" (l'operatore di densità), ma tramite un elenco di probabilità di ciò che accade quando lo si misura. L'articolo afferma che se si cerca di farlo in un modo che sia matematicamente "robusto" (ovvero, che piccoli errori nelle foto non portino a enormi errori nella comprensione), si perde la capacità di descrivere come le parti del sistema si incastrano tra loro.

Il Problema: La Trappola della "Foto Sfocata"

Per capire perché questo sia importante, immaginate di cercare di generare una sequenza di numeri veramente casuali (come un codice segreto) usando una macchina quantistica.

1. L'Obiettivo: Volete che l'output sia perfettamente casuale. Nel mondo quantistico "reale", potete dimostrare che una sequenza è casuale se è impossibile distinguerla da una sorgente casuale perfetta, anche se un nemico ha accesso a tutti i segreti interni della macchina.
2. La Trappola: Gli autori mostrano uno scenario in cui un sistema quantistico sembra quasi perfettamente casuale se si guardano solo le "foto" (le distribuzioni di probabilità delle misurazioni locali). Le foto dicono: "Ehi, questo sembra casuale!".
3. La Realtà: Ma se si osserva lo stato quantistico effettivo, esso non è affatto casuale. È altamente intrecciato (entangled) e strutturato.

L'Analogia:
Immaginate due persone che si trovano molto lontane l'una dall'altra.

• La Distanza Reale (Distanza di Traccia): Se misurate la distanza effettiva tra loro, sono distanti 100 miglia.
• La Distanza nella Foto (Metrica di Probabilità): Scattate una foto di loro da un'angolazione specifica. Nella foto, sembrano essere vicinissimi.

Se vi fidate solo della foto, pensate che siano vicini. Ma in realtà, sono lontani. L'articolo chiama questo fenomeno non-robustezza. Significa che una "piccola" differenza nell'elenco delle probabilità (la foto) può in realtà nascondere una "massiccia" differenza nello stato fisico reale.

Il Dilemma: Non si può avere tutto

Gli autori dimostrano un teorema di "No-Go". Non è possibile avere una descrizione basata sulla probabilità di un sistema quantistico che possieda tutte e tre queste caratteristiche desiderabili contemporaneamente:

1. Robustezza: Piccoli cambiamenti nella descrizione non dovrebbero significare che il sistema è totalmente diverso. (La foto deve corrispondere alla realtà).
2. Struttura dei Sottosistemi: Si deve essere in grado di descrivere le parti del sistema separatamente (ad esempio, la parte di Alice e la parte di Bob) senza perdere la connessione tra di esse.
3. Efficienza: La descrizione dovrebbe essere compatta e gestibile (non richiedendo una quantità infinita di dati).

Tabella dei Compromessi:

• Meccanica Quantistica Standard (Operatori di Densità): Ha tutte e tre. È robusta, gestisce bene le parti ed è efficiente.
• Rappresentazioni di Probabilità (Misurazioni Locali): Si possono avere le parti e l'efficienza, ma si perde la robustezza. Le foto mentono sulla vicinanza.
• Rappresentazioni di Probabilità (Tutte le Misurazioni): Si possono avere la robustezza e le parti, ma si perde l'efficienza. L'elenco delle probabilità diventa così enorme da risultare inutile.

Perché questo è importante (secondo l'articolo)

Gli autori sottolineano che molte idee popolari in fisica si basano su questi elenchi di probabilità, e questa scoperta le smonta:

• QBism (Quantum Bayesianism): Questa teoria tratta gli stati quantistici come un semplice elenco delle credenze di un agente (probabilità). L'articolo afferma che questa visione fallisce per sistemi complessi (come una corda vibrante o una particella nello spazio) perché l'elenco delle "credenze" non è abbastanza robusto da descrivere la realtà accuratamente.
• Ricostruzione della Teoria Quantistica: Gli scienziati cercano di ricostruire la fisica quantistica partendo da semplici regole sulle probabilità. L'articolo afferma che non è possibile farlo con successo per grandi sistemi a meno di non aggiungere regole extra e artificiali per correggere il problema della "vicinanza".
• Crittografia Quantistica: Se si cerca di dimostrare che un codice segreto è sicuro usando solo elenchi di probabilità (senza assumere che la meccanica quantistica sia vera), si potrebbe pensare che sia sicuro perché le "foto" sembrano casuali. Ma l'articolo avverte che il codice potrebbe in realtà essere violato perché le "foto" sono fuorvianti.
• Teoria Quantistica dei Campi: I fisici spesso descrivono l'universo usando funzioni di correlazione (un tipo di elenco di probabilità). L'articolo suggerisce che queste descrizioni potrebbero non riuscire a catturare la vera natura delle connessioni non locali e complesse dell'universo.

Conclusione

L'articolo conclude che, sebbene gli elenchi di probabilità siano un modo molto popolare e conveniente per parlare di fisica quantistica, essi sono fondamentalmente difettosi come sostituti completi della descrizione standard tramite "operatore di densità".

La Metafora:
Tentare di descrivere un sistema quantistico solo con elenchi di probabilità è come cercare di navigare in una città usando solo una mappa 2D che è stata stirata e distorta. La mappa potrebbe mostrarvi i nomi delle strade (la struttura), ed è facile da tenere in tasca (efficienza), ma se provate a giudicare la distanza tra due edifici basandovi su quella mappa, vi perderete. Per navigare in sicurezza, avete bisogno della realtà 3D (l'operatore di densità), non solo della mappa distorta.

Sommario tecnico

Sintesi Tecnica: "Contro la probabilità: uno stato quantistico è più di un elenco di distribuzioni di probabilità"

Enunciato del Problema
Gli stati quantistici sono frequentemente rappresentati non da operatori di densità ($\rho$), ma da elenchi di probabilità di esito derivati da un insieme tomograficamente completo di misure ($M$). Tali rappresentazioni sono onnipresenti in fisica, apparendo nella teoria quantistica dei campi (tramite funzioni di correlazione) e nelle fondamenta della quantistica (all'interno di quadri probabilistici generalizzati). Sebbene una tale rappresentazione di probabilità $P_M(\rho)$ sia iniettiva (specificando univocamente lo stato), gli autori mettono in discussione se essa sia fedele in senso fisico. Nello specifico, investigano se affermazioni approssimate derivate dalle rappresentazioni di probabilità (ad esempio, "l'output è approssimativamente casuale") rimangano valide quando vengono "riportate indietro" (pull-back) al livello degli operatori di densità. Il problema centrale è che le rappresentazioni di probabilità possono mancare di robustezza topologica: una sequenza di stati che appare convergere verso un comportamento ideale nello spazio delle rappresentazioni di probabilità può non convergere nello spazio degli stati fisici (definito dalla distanza di traccia).

Metodologia
Gli autori impiegano un approccio topologico e informativo per analizzare la relazione tra la metrica indotta da una rappresentazione di probabilità e la metrica standard della distanza di traccia sullo spazio degli operatori di densità.

1. Definizione di Robustezza: Definiscono una rappresentazione $P_M$ come topologicamente robusta se la convergenza nella metrica indotta $d_M$ implica la convergenza nella distanza di traccia $\delta$. Formalmente, per ogni sequenza di stati $(\rho^{(n)})$ e un insieme di stati $\Sigma$:
   $$\lim_{n\to\infty} d_M(\rho^{(n)}, \Sigma) = 0 \implies \lim_{n\to\infty} \delta(\rho^{(n)}, \Sigma) = 0$$
   dove $d_M(\rho, \sigma) = \frac{1}{2} \sup_{M \in \mathcal{M}} \|P_M(\rho) - P_M(\sigma)\|_1$.

2. Costruzione di un Controesempio: Costruiscono un esempio specifico riguardante un protocollo di generazione di casualità utilizzando $n$ atomi instabili. Definiscono una sequenza di stati entangled $\rho^{(n)}_{RE}$ che sono lontani dall'insieme degli stati perfettamente casuali $\Sigma_{rand}$ in termini di distanza di traccia ($\delta \geq 1/4$). Tuttavia, quando limitati a misure locali ($M_\otimes$), le distribuzioni di probabilità di questi stati convergono a $\Sigma_{rand}$ per $n \to \infty$. Ciò dimostra che la rappresentazione basata su misure locali non è robusta.

3. Caratterizzazione Topologica: Gli autori analizzano lo spazio vettoriale generato dagli operatori di densità, $\text{span}(D(H))$. Dimostrano che, sebbene le topologie indotte da $d_M$ e $\delta$ siano identiche sull'insieme delle matrici di densità $D(H)$ (eccetto in casi patologici "fragili"), la robustezza richiede l'equivalenza di queste topologie sull'intero spazio vettoriale $\text{span}(D(H))$. Ciò è equivalente alla completezza di $\text{span}(D(H))$ rispetto alla norma $\|\cdot\|_M$.

4. Quantificazione della Struttura tramite Entropia: Per generalizzare il risultato oltre esempi specifici, introducono una misura informazionale di "struttura". Definiscono l'entropia asintotica di una rappresentazione basata sulla dimensione minima di un elenco compresso di dati richiesto per decodificare con precisione $\epsilon$ le probabilità per qualsiasi misura. Considerano rappresentazioni che sono "efficienti" (dove il numero di effetti cresce polinomialmente con la dimensione) o basate su operazioni locali.

Contributi Chiave e Risultati

• Il Teorema di Non-Esistenza (Teorema 6): Il risultato centrale è un teorema di non-esistenza (no-go theorem) che afferma che se una rappresentazione di probabilità $P_M$ possiede una struttura non trascurabile (specificamente, se la sua entropia asintotica è limitata da una sequenza significativamente più piccola del limite superiore banale di $2^{2^n}$), allora la rappresentazione non può essere topologicamente robusta.
• Incompatibilità tra Struttura e Robustezza: Il documento stabilisce un compromesso fondamentale:
  • La robustezza richiede che la rappresentazione sia "priva di struttura" (richiedendo essenzialmente un numero esponenzialmente grande di misure per distinguere gli stati in modo robusto).
  • La struttura (come la decomposizione in sottosistemi, la località o l'efficienza) conduce inevitabilmente alla non-robustezza.
• Corollari Specifici:
  • Corollario 7: La rappresentazione basata su misure locali ($P_{M_\otimes}$) non è robusta. Ciò implica che le definizioni di sicurezza nella crittografia post-quantistica basate unicamente su scatole non-signaling (che corrispondono a $P_{M_\otimes}$) potrebbero non garantire la sicurezza secondo le standard definizioni quantistiche.
  • Corollario 8: Qualsiasi rappresentazione efficiente (dove il numero di effetti di misura cresce polinomialmente con la dimensione dello spazio di Hilbert, come i set minimamente completi dal punto di vista tomografico quali i SIC-POVM) non è robusta. Questo si applica a sistemi di dimensione illimitata.
• Generalizzazione ai GPT (Teorema 9): Gli autori estendono i loro risultati alle Teorie Probabilistiche Generalizzate (GPT), dimostrando che esistono GPT in cui le topologie indotte dalle misure locali e la distanza di traccia generalizzata differiscono, anche quando l'insieme delle misure non è fragile.

Significato e Rivendicazioni
Il lavoro sostiene che le rappresentazioni di probabilità, pur essendo matematicamente convenienti e fondamentali per molti quadri teorici (inclusi QBism e i programmi di ricostruzione), soffrono di un difetto fondamentale: non riescono a preservare la nozione di "vicinanza" tra gli stati quando la rappresentazione include una struttura fisicamente rilevante.

• Implicazioni per le Fondamenta della Quantistica: I risultati pongono una sfida ai programmi che tentano di ricostruire la teoria quantistica partendo da postulati probabilistici utilizzando insiemi di misura efficienti (come i SIC-POVM) o che tentano di interpretare gli stati quantistici puramente come cataloghi di credenze (QBism) per sistemi illimitati. Senza robustezza, le affermazioni probabilistiche approssimate non possono essere mappate in modo affidabile indietro verso gli stati fisici.
• Implicazioni per l'Informazione Quantistica: Nella crittografia quantistica, la non-robustezza di $P_{M_\otimes}$ suggerisce che gli schemi "post-quantistici" che si affidano a scatole non-signaling potrebbero essere meno sicuri dei loro omologhi quantistici, poiché la definizione probabilistica di sicurezza non garantisce la sicurezza nel senso della distanza di traccia.
• Implicazioni per la Teoria Quantistica dei Campi (QFT): Poiché gli stati della QFT sono spesso caratterizzati da funzioni di correlazione (una forma di rappresentazione di probabilità), gli autori suggeriscono che tali rappresentazioni non siano robuste, specialmente per osservabili non locali (ad esempio, correlazioni della radiazione di Hawking).

Conclusione
Gli autori concludono che il formalismo degli operatori di densità possiede proprietà favorevoli — robustezza, struttura dei sottosistemi ed efficienza — che le rappresentazioni di probabilità non possono raggiungere simultaneamente. Sebbene le rappresentazioni di probabilità offrano indipendenza dalla teoria, il documento sostiene che per qualsiasi rappresentazione con una struttura non trascurabile (necessaria per la fisica pratica), la robustezza topologica viene meno. Ciò rende necessaria la ricerca di approcci alternativi che uniscano la generalità delle rappresentazioni di probabilità con la robustezza degli operatori di densità.