Classification of bipartite observables II: NIP observables and the Todorcevic trichotomy

Nel mondo quantistico, il modo in cui misuriamo le cose dipende fortemente da come prepariamo il sistema prima che la misurazione abbia inizio. Immaginiamo due scienziati, Alice e Bob, che lavorano con sistemi quantistici separati. Alice prepara il suo sistema in uno stato specifico, e Bob lo sonda con un rilevatore. Il risultato che ottengono è un valore di aspettazione, un numero che indica loro cosa aspettarsi in media. I fisici spesso immaginano preparazioni "idealizzate", come una particella perfettamente localizzata in un singolo punto o un'onda luminosa con energia infinita. Queste non sono realizzabili fisicamente, ma sono utili limiti matematici di esperimenti reali. Una domanda centrale in questo campo è se l'ordine con cui si prendono questi limiti conti. Se Alice idealizza prima la sua preparazione e poi Bob idealizza il suo rilevatore, ottengono la stessa risposta di se Bob idealizzasse prima il suo rilevatore e poi Alice la sua preparazione? Quando la risposta è sempre la stessa, la misurazione è chiamata "stabile". Quando l'ordine cambia il risultato, la misurazione è "instabile".

Per decenni, i matematici hanno sviluppato un quadro sofisticato per classificare le strutture in base a quanto complessi siano i loro pattern. Questo quadro, nato nello studio della logica e della teoria degli insiemi, distingue tra sistemi "docili" e quelli caotici. Un concetto chiave è la "proprietà di indipendenza", che descrive una situazione in cui una sequenza di eventi può essere organizzata per produrre ogni possibile schema di risultati, indipendentemente dalla complessità. Se un sistema manca di questa proprietà, è considerato "docile" o "NIP" (non possiede la proprietà di indipendenza). Questo articolo porta queste astrazioni matematiche sulla terra, applicandole direttamente agli osservabili della meccanica quantistica. Gli autori dimostrano che la stabilità di una misurazione non è solo un dettaglio tecnico, ma una caratteristica fondamentale che può essere mappata su una precisa gerarchia di spazi matematici. Essi provano che le misurazioni stabili corrispondono a risposte continue, mentre le misurazioni docili ma instabili corrispondono a una specifica classe di funzioni che sono limiti di funzioni continue. Ancora più importante, dimostrano che questa gerarchia matematica non è solo una curiosità astratta; essa è abitata da fenomeni fisici reali, dal conteggio dei fotoni alla struttura causale dello spaziotempo stesso.

I ricercatori hanno iniziato definendo il significato di "risposta idealizzata". Quando Alice prepara un sistema quantistico e Bob lo misura, il risultato può essere visto come una funzione. Se la preparazione di Alice viene idealizzata, questa funzione potrebbe diventare discontinua, il che significa che una minima variazione nel rilevatore di Bob potrebbe causare un salto improvviso nel risultato. Gli autori hanno dimostrato che una misurazione è stabile se e solo se ogni possibile risposta idealizzata è una funzione continua. Se la misurazione è instabile ma ancora "docile" (NIP), le risposte idealizzate non sono continue, ma sono comunque ben comportate in un modo specifico: sono i limiti puntuali di sequenze di funzioni continue. Ciò significa che appartengono a una classe di funzioni nota come prima classe di Baire. Se una misurazione non è né stabile né docile, possiede la proprietà di indipendenza, il che implica un livello di caos in cui le risposte possono imitare il comportamento delle strutture matematiche più complesse, contenendo una copia della compattificazione di Stone–Čech dei numeri naturali.

Il saggio passa poi a una classificazione più fine di queste misurazioni docili e instabili. Utilizzando un profondo risultato della teoria degli insiemi noto come la tricotomia di Todorčević, gli autori mostrano che qualsiasi misurazione di questo tipo rientra in una di tre categorie distinte. La prima categoria consiste in misurazioni in cui le risposte idealizzate formano uno spazio "metrizzabile", ovvero che può essere descritto con una semplice funzione di distanza. La seconda categoria coinvolge spazi che sono "ereditariamente separabili", una proprietà che assicura che lo spazio non sia troppo grande, ma che fallisce nell'essere metrizzabile. La terza categoria coinvolge spazi che sono "primo numerabili", ovvero che ogni punto ha una lista numerabile di vicinati, ma che falliscono nell'essere ereditariamente separabili. Gli autori hanno scoperto un vincolo fisico cruciale: poiché gli stati quantistici possono essere misti (combinati probabilisticamente), le risposte idealizzate di qualsiasi osservabile fisico formano sempre un insieme convesso. Essi hanno dimostrato che, per tali insiemi convessi, la seconda categoria (ereditariamente separabile ma non metrizzabile) è impossibile. Nel mondo fisico, la separabilità ereditaria forza la metrizzabilità. Questo collassa la tricotomia matematica in una tricotomia fisica: le misurazioni quantistiche sono o stabili (metrizzabili), o cadono in una delle due classi instabili, distinte da come si comportano i loro limiti.

Per rendere concrete queste classi astratte, gli autori hanno identificato sistemi fisici specifici che le realizzano. Il confronto tra il numero di fotoni, dove Alice conta quanti fotoni ha e confronta il proprio conteggio con quello di Bob, rientra nella classe stabile e metrizzabile. Le risposte sono continue e l'ordine dei limiti non cambia la continuità. Al contrario, il confronto delle posizioni per due particelle confinate in una scatola rientra nella prima classe instabile. Qui, le risposte idealizzate formano uno spazio noto come spazio di Helly. I limiti sono abbastanza ben comportati da essere primo numerabili, ma lo spazio è troppo complesso per essere metrizzabile. Ciò accade perché una particella può avvicinarsi a un punto da sinistra o da destra, creando una "scissione" nella risposta che non può essere smussata. La classe più complessa, che non è nemmeno primo numerabile, è realizzata dall'ordine causale dello spaziotempo. Se Alice crea un evento e Bob controlla se questo può influenzare il suo rilevatore, la risposta dipende dal fatto che l'evento si trovi all'interno del cono di luce di Bob. Quando il cono di luce si restringe a un punto, la risposta diventa discontinua in un modo che non può essere catturato da una semplice lista numerabile di vicinati. Allo stesso modo, confrontare le fasi di due particelle su un anello appartiene anche a questa classe più complessa, perché la geometria circolare permette che i salti alle estremità opposte del cerchio si cancellino, nascondendo la discontinuità ai rilevatori semplici.

Il saggio esplora anche l'eptatocomia, una classificazione più dettagliata che suddivide queste classi in sette famiglie minime di comportamenti. Ogni famiglia è realizzata da un albero specifico di preparazioni. Ad esempio, una famiglia è realizzata da una catena di spin in cui Bob scansiona la catena sito per sito, mentre un'altra è realizzata da una particella in una scatola che si avvicina a un punto da un solo lato. Gli autori dimostrano che queste sette famiglie non sono solo artefatti matematici ma corrispondono a scenari fisici distinti, come coni di luce che si restringono a punti o template che corrispondono a sequenze infinite. Dimostrano anche che la proprietà di essere "docile" non è simmetrica tra Alice e Bob. Una misurazione può essere docile per le risposte di Alice ma caotica per quelle di Bob, un fenomeno illustrato da una catena di spin scansionata dove l'ordine delle parti è fondamentale.

Infine, gli autori applicano questo quadro al modello di Ising quantistico, un sistema di spin interagenti in un campo magnetico. Essi mostrano che la classificazione può rilevare transizioni di fase. Nella fase ordinata del modello, dove si verifica la magnetizzazione spontanea, le risposte delle due fasi pure formano una "coppia scissa" (split pair), e la risposta dello stato simmetrico si trova esattamente nel mezzo. Questa struttura corrisponde alla classe instabile e non metrizzabile. Nella fase disordinata, dove non c'è magnetizzazione spontanea, le risposte sono continue e stabili. La prova si basa su una nuova versione del teorema di Lee–Yang per il modello di Ising a campo trasversale, mostrando che la funzione di partizione non ha zeri in una specifica regione del piano complesso. Questa proprietà analitica assicura che la pressione del sistema sia regolare lontano dallo zero di campo, permettendo agli autori di collegare rigorosamente la classificazione matematica al diagramma di fase fisico. Il lavoro conclude mostrando che altri concetti fondamentali della fisica, come la relazione Banks–Casher per la rottura della simmetria chirale e il criterio per la superconduttività, sono anch'essi affermazioni sulla stabilità di certi limiti. In ogni caso, la transizione dalla stabilità all'instabilità segna un cambiamento di fase fisico, rivelando che la profonda struttura matematica dei limiti è intrecciata nel tessuto della realtà fisica.