An exact semidefinite characterization of the stoquasticity cone of permutationally invariant Bell operators

Nel mondo quantistico, il comportamento di un sistema è spesso descritto da un oggetto matematico chiamato Hamiltoniana, che agisce come una mappa dei livelli di energia. Per molti anni, gli scienziati si sono interessati in particolare a una speciale classe di queste mappe in cui i numeri che descrivono come le particelle interagiscono non portano segni positivi e negativi confondenti che si annullano a vicenda. Quando un sistema è privo di questi segni confondenti, è molto più facile da simulare su un computer, perché i ricercatori possono trattare lo stato quantistico come una semplice lista di probabilità, simile a come si potrebbe tracciare le probide di lanciare i dadi. Questa proprietà, nota come stoquasticità, rimuove un grande ostacolo computazionale chiamato "problema del segno", che spesso rende impossibile la simulazione di grandi gruppi di particelle quantistiche.

Allo stesso tempo, i fisici stanno conducendo esperimenti con enormi nuvole di atomi per testare i limiti della meccanica quantistica. Questi esperimenti cercano le "correlazioni di Bell", strane connessioni tra particelle che non possono essere spiegate dalla fisica classica. Per trovare queste correlazioni, i ricercatori utilizzano strumenti matematici chiamati operatori di Bell. Negli ultimi anni, esperimenti che coinvolgono centinaia di migliaia di atomi hanno dimostrato che i migliori stati quantistici per superare i record classici possono essere descritti utilizzando queste mappe prive di segno. Ciò significa che gli stati quantistici più potenti per questi test sono, per caso, stoquastici. Tuttavia, capire esattamente quali impostazioni per questi esperimenti producono tali stati è stato un puzzle difficile. Per casi semplici che coinvolgono solo due particelle, le regole erano note, ma man mano che la complessità delle interazioni aumentava, il numero di regole sembrava crescere in modo incontrollabile con la dimensione della nuvola di atomi, rendendo impossibile scrivere una lista completa di condizioni.

Un team di ricercatori ha ora risolto questo puzzle per una vasta classe di questi esperimenti quantistici. Hanno scoperto che, sebbene le regole per determinare se un sistema è privo di segno sembrino moltiplicarsi all'aumentare del numero di atomi, esse seguono in realtà un modello nascosto e fluido. Guardando al problema nel limite di un numero molto grande di particelle, il team ha scoperto che la collezione caotica di migliaia di singole regole collassa in una singola, elegante condizione. Invece di controllare una lunga lista di disuguaglianze, è necessario solo verificare che una specifica curva rimanga al di sotto di una certa linea. Questa curva non è una linea qualsiasi; è una forma fluida e continua che può essere descritta usando un singolo, preciso test.

I ricercatori hanno dimostrato che questo test può essere eseguito utilizzando un potente tipo di ottimizzazione matematica noto come programma semidefinito. Pensate a questo come a un sofisticato filtro che può dirvi istantaneamente se un insieme di impostazioni sperimentali produrrà un sistema privo di segno o meno. Prima di questo lavoro, gli scienziati dovevano controllare un numero di condizioni che cresceva sempre di più con l'aggiunta di atomi, rendendo infine il compito computazionalmente impossibile. Il nuovo metodo sostituisce questa montagna crescente di controlli con un singolo calcolo gestibile che funziona per qualsiasi dimensione del sistema. Questa scoperta significa che gli scienziati possono ora progettare e verificare complessi esperimenti quantistici con centinaia di migliaia di particelle senza perdersi in un mare infinito di regole.

Il team ha applicato questo nuovo metodo a due scenari specifici: sistemi in cui le particelle interagiscono in coppie e sistemi in cui interagiscono in gruppi di tre. Per il caso più semplice delle due particelle, il loro metodo ha riprodotto perfettamente le regole note, confermando la correttezza del loro approccio. Tuttavia, per il caso più complesso delle tre particelle, il metodo ha rivelato qualcosa di completamente nuovo. In passato, si assumeva che il confine tra le impostazioni "consentite" e "vietate" fosse costituito da piani piatti e rettilinei, come le pareti di una scatola. La nuova analisi ha mostato che, per le interazioni a tre particelle, questo confine è in realtà curvo, formando una forma liscia e arrotondata. Questa curvatura è un effetto sottile che diventa più pronunciato all'aumentare del numero di atomi, ma è una caratteristica reale che cambia il modo in cui gli scienziati devono pensare ai limiti di questi sistemi quantistici.

I ricercatori hanno anche calcolato quanto bene questa nuova descrizione fluida funzioni per esperimenti del mondo reale che coinvolgono un numero finito di atomi, piuttosto che un numero infinito. Hanno scoperto che l'approssimazione è incredibilmente accurata anche per gruppi di atomi di medie dimensioni, con errori che diminuiscono rapidamente man mano che il gruppo diventa più grande. Ad esempio, in esperimenti che coinvolgono quasi mezzo milione di atomi, la differenza tra la nuova descrizione fluida e la realtà esatta e complessa è infinitesimale. Ciò fornisce agli sperimentatori uno strumento affidabile per progettare i loro setup, sapendo che le semplici regole curve che stanno usando sono una rappresentazione fedele della complessa fisica coinvolta.

Questo lavoro fa molto più di una semplice semplificazione di un calcolo; cambia la comprensione geometrica di questi sistemi quantistici. Dimostra che lo spazio dei possibili comportamenti quantistici non è solo una collezione irregolare di superfici piatte, ma può avere bordi fluidi e curvi. Fornendo un modo per descrivere queste forme esattamente, i ricercatori hanno aperto la porta alla progettazione di migliori esperimenti quantistici e alla comprensione dei limiti fondamentali delle correlazioni quantistiche. Il metodo è esatto e non si basa su congetture o approssimazioni che potrebbero fallire in seguito. Rappresenta una descrizione completa del problema, trasformando una lista apparentemente intrattabile di condizioni in una singola domanda risolvibile.

Le implicazioni di questa scoperta si estendono al futuro del calcolo e della simulazione quantistica. Poiché il nuovo metodo si basa su un singolo test efficiente, permette ai ricercatori di esplorare una gamma molto più ampia di impostazioni sperimentali rispetto a quanto fosse precedentemente possibile. Possono ora cercare gli stati quantistici più potenti per superare i record classici, con la certezza di non trascurare alcun vincolo nascosto. Il team ha inoltre osservato che, sebbene il loro lavoro attuale si concentri su sistemi in cui le particelle possono trovarsi in due stati, gli stessi principi potrebbero essere eventualmente applicati a sistemi più complessi con tre o più stati, sebbene questi richiederebbero strumenti matematici più avanzati. Per ora, la soluzione per i sistemi a due stati fornisce una base solida per la prossima generazione di esperimenti quantistici.

In definitiva, questo articolo trasforma un problema che sembrava crescere all'infinito in complesso in uno meravigliosamente semplice. Dimostra che la natura spesso nasconde la sua complessità dietro una superficie fluida, in attesa del giusto punto di vista per rivelarla. Trovando questa superficie, i ricercatori hanno fornito alla comunità scientifica una mappa chiara per navigare nel panorama delle grandi correlazioni quantistiche, assicurando che il percorso in avanti non sia bloccato da un numero ingestibile di regole. Il lavoro è una testimonianza della potenza di guardare un problema da un'angolazione diversa, trasformando un muro di dati in un singolo, chiaro intuito.