Quantum Behaviors Are Not Semialgebraic

Nel strano mondo della fisica quantistica, le particelle possono diventare legate in modi che sfidano la nostra esperienza quotidiana. Quando due di queste particelle legate vengono misurate da osservatori distanti, i risultati ottenuti non sono casuali nel senso comune del termine; sono correlati secondo un modello che nessun piano ordinario e prestabilito potrebbe mai produrre. Questo fenomeno, noto come non località quantistica, è il motore dietro le forme più sicure di comunicazione e i computer più potenti del futuro. Per capire come funzionano queste macchine, gli scienziati mappano ogni possibile schema di risultati consentito dalla meccanica quantistica. Chiamano questi schemi "comportamenti". Per decenni, i ricercatori si sono chiesti se l'intera collezione di questi modelli quantistici avesse una descrizione matematica semplice e finita. Nello specifico, si sono chiesti se le regole che governano questi modelli potessero essere scritte utilizzando un numero limitato di equazioni algebriche e disuguaglianze, proprio come le regole di un gioco potrebbero essere elencate in un libro delle regole. Questa domanda, posta dal fisico Boris Tsirelson nel 1993, è rimasta senza risposta, lasciando un vuoto nella nostra comprensione della geometria fondamentale del mondo quantistico.

Un team di ricercatori ha ora fornito una risposta definitiva a questa domanda rimasta in sospeso da tempo, e il risultato è una sorpresa. Hanno dimostrato che l'insieme di tutti i possibili comportamenti quantistici non può essere descritto da alcuna collezione finita di equazioni e disuguaglianze polinomiali. In termini più semplici, la forma del mondo quantistico è troppo complessa per essere catturata da un libro delle regole finito di formule algebriche. I ricercatori si sono concentrati su un particolare setup sperimentale in cui due persone, ognuna delle quali esegue quattro diverse misurazioni con due possibili esiti, condividono un legame quantistico. Costruendo una curva molto specifica e regolare di risultati possibili che passa attraverso questo setup, hanno dimostrato che i punti in cui la meccanica quantistica permette effettivamente un risultato sono sparsi lungo questa curva in un modo che nessuna descrizione algebrica finita può catturare. Gli punti consentiti formano una sequenza che si avvicina sempre di più a un singolo, semplice punto classico, ma gli spazi tra loro non scompaiono mai. Poiché qualsiasi descrizione algebrica finita dovrebbe includere un tratto continuo della curva vicino a quel punto, e poiché la realtà quantistica permette solo punti specifici e isolati in quel punto, la descrizione fallisce.

Questa scoperta esclude la possibilità che l'insieme quantistico possa essere definito esattamente da un numero finito di vincoli, anche se permettiamo variabili extra o combinazioni più complesse di equazioni. Dimostra inoltre che gli attuali migliori metodi per approssimare i comportamenti quantistici, noti come gerarchia di Navascués–Pironio–Acín, non potranno mai essere perfetti. Questi metodi funzionano creando una serie di approssimazioni via via più accurate, ma i ricercatori hanno dimostrato che, indipendentemente da quanto si proceda in questa serie, si includeranno sempre alcuni risultati impossibili vicino al bordo dell'insieme quantistico. Lo studio rivela che il confine tra ciò che è possibile e ciò che è impossibile nella meccanica quantistica non è una superficie liscia e semplice, ma una struttura frastagliata e infinitamente dettagliata che resiste a essere fissata da formule finite.

I ricercatori sono arrivati a questa conclusione progettando un percorso matematico che connette diversi scenari quantistici. Hanno creato una curva in cui i risultati dipendono da un unico numero variabile. Lungo questa curva, hanno scoperto che la meccanica quantistica permette risultati solo in valori specifici e discreti di quel numero, che si avvicinano sempre di più tra loro man mano che si approcciano a un limite. Alla fine di questa sequenza si trova un risultato che può essere spiegato dalla fisica classica, senza alcuna stranezza quantistica. Tuttavia, i punti quantistici che precedono questo limite classico non sono un blocco solido; sono come una serie di pietre di guado che si avvicinano infinitamente alla riva ma non si fondono mai in una spiaggia continua. I ricercatori hanno dimostrato che qualsiasi tentativo di descrivere l'insieme quantistico con un numero finito di regole algebriche includerebbe inevitabilmente l'intero tratto della curva che conduce alla riva, includendo così risultati che la meccanica quantistica proibisce. Questo prova che l'insieme quantistico non è "semialgebraico", un termine tecnico che significa che non può essere descritto da un insieme finito di condizioni polinomiali.

Le implicazioni di questa scoperta vanno oltre la semplice forma dell'insieme quantistico. Mostrano che la complessità delle correlazioni quantistiche è intrinseca e non può essere semplificata, anche se guardiamo il sistema da lontano o cerchiamo di approssimarlo. I ricercatori hanno anche dimostrato che questa complessità persiste anche quando consideriamo i modelli matematici più generali della meccanica quantistica, inclusi quelli in cui le misurazioni non sono limitate a una dimensione fissa. Hanno dimostrato che la difficoltà nel descrivere questi comportamenti non è solo una questione di calcolo, ma una proprietà geometrica fondamentale. Il fatto che l'insieme quantistico non sia semialgebraico significa che non esiste un elenco finito di regole che possa separare perfettamente i risultati quantistici possibili da quelli impossibili. Ciò ha conseguenze profonde per il modo in cui pensiamo alla caratterizzazione dei dispositivi quantistici e per i limiti di ciò che possiamo dimostrare su di essi utilizzando gli strumenti matematici standard.

Lo studio evidenzia anche un contrasto affascinante tra il comportamento quantistico completo e una versione semplificata che guarda solo alle correlazioni tra le misurazioni. Mentre la versione semplificata può essere descritta da regole finite, il quadro completo, che include le probabilità di ogni possibile esito, non può esserlo. Ciò suggerisce che l'informazione extra contenuta nelle probabilità complete è ciò che crea l'infinità della complessità. I ricercatori hanno dimostrato che, sebbene i punti quantistici si avvicinino sempre di più a un punto classico, la natura quantistica del sistema non svanisce gradualmente; al contrario, rimane distinta e discreta proprio fino al suo bordo. Questo comportamento sfida l'intuizione secondo cui i sistemi quantistici complessi debbano eventualmente apparire come sistemi classici semplici man mano che ci si avvicina a un limite.

In definitiva, questo lavoro risolve una questione sessantennale mostrando che il mondo quantistico è più intricato di quanto precedentemente pensato. Non è una forma che può essere interamente catturata da un insieme finito di equazioni algebriche. La prova dei ricercatori è rigorosa e copre tutti i principali modelli della meccanica quantistica, non lasciando spazio a dubbi. Le loro scoperte suggeriscono che, per comprendere e descrivere pienamente i comportamenti quantistici, potremmo dover andare oltre le descrizioni algebriche finite e abbracciare strutture più complesse e infinite. Questo non significa che non possiamo lavorare con la meccanica quantistica, ma significa che i nostri strumenti matematici per descriverla hanno limiti intrinseci. L'insieme quantistico rimane un paesaggio ricco e complesso che resiste a una semplice categorizzazione, ricordandoci che l'universo è spesso più sottile e dettagliato di quanto le nostre migliori equazioni possano pienamente esprimere.