Schatten norms and determinants of linear combinations of matrix tensor powers via virtual representations

Nel mondo della fisica quantistica, gli scienziati devono spesso confrontare stati complessi della materia per determinare quale sia presente. Immaginate di cercare di distinguere tra due nuvole di atomi leggermente diverse, o due distinti modelli di luce. Per farlo con precisione, i ricercatori devono analizzare questi sistemi non una sola volta, ma molte volte, sovrapponendo copie dello stesso stato l'una sull'altra. Questo processo crea un oggetto matematico che cresce in modo esplosivo a ogni nuova copia aggiunta. Se avete un sistema piccolo e lo sovrapponete solo poche volte, la quantità di informazioni necessaria per descrivere l'insieme diventa così vasta che nemmeno i supercomputer più potenti possono contenerla nella loro memoria. Questo è un collo di bottiglia fondamentale nel test delle teorie quantistiche e nella progettazione di tecnologie future. Per decenni, i matematici hanno saputo come gestire queste enormi pile quando c'erano solo uno o due tipi diversi di elementi combinati, ma un terzo tipo ha sempre scagliato il calcolo nel caos, rendendo l'operazione apparentemente impossibile da risolvere senza la forza bruta.

Un team di ricercatori di Budapest ha ora trovato un modo per aggirare questa esplosione di complessità, almeno per sistemi di una dimensione specifica. Hanno sviluppato un nuovo metodo per calcolare la "dimensione" o il "peso" di queste enormi pile matematiche, anche quando sono costruite con tre ingredienti diversi. Il loro approccio non cerca di costruire il gigantesco oggetto per poi misurarlo. Invece, utilizza una profonda simmetria presente in natura per scomporre il problema in molti piccoli pezzi gestibili. Riorganizzando il problema in questi blocchi più piccoli, possono calcolare la risposta in una frazione del tempo necessario per memorizzare l'oggetto completo. In un caso di test in cui l'oggetto completo richiederebbe più spazio di archiviazione di quello esistente su tutti gli hard disk del mondo, il loro metodo ha risolto il problema in meno di un minuto.

Il cuore del problema risiede in come questi stati quantistici vengono combinati. Quando gli scienziati sovrappongono copie di un sistema, stanno creando quella che viene chiamata potenza tensoriale. Se avete un singolo sistema e lo sovrapponete dieci volte, la descrizione matematica cresce per un fattore della dimensione del sistema elevato alla decima potenza. Per un sistema che è già grande, questo numero diventa astronomico. I ricercatori erano interessati a un tipo specifico di misurazione utilizzata per distinguere tra diversi stati quantistici, un compito centrale nel test di ipotesi quantistica. Questa misurazione comporta l'addizione di diverse di queste enormi pile, ciascuna pesata da un numero diverso. Quando ci sono solo due pile da sommare, i matematici conoscono da tempo una scorciatoia per semplificare il calcolo. Tuttavia, quando viene introdotta una terza pila, la scorciatoia svanisce. Il terzo termine non può essere facilmente espresso in termini degli altri, e il calcolo diventa un incubo di crescita esponenziale.

Per risolvere questo, gli autori si sono rivolti a un ramo della matematica chiamato teoria delle rappresentazioni, che studia come i gruppi di simmetria agiscono sugli spazi. Hanno utilizzato un principio noto come dualità di Schur–Weyl, che rivela che la massiccia pila di copie non è un singolo blocco caotico, ma piuttosto una collezione di blocchi più piccoli e indipendenti che non interagiscono tra loro. Pensate a una biblioteca enorme che, a uno sguardo più attento, si rivela essere una collezione di piccole stanze separate, ognuna contenente un tipo specifico di libro. I ricercatori hanno trovato un modo per identificare queste stanze senza dover mai costruire la biblioteca. Hanno dimostrato che per qualsiasi insieme di matrici che rappresentano questi stati quantistici, il gigantesco oggetto può essere suddiviso in questi pezzi più piccoli utilizzando una singola trasformazione fissa. Ciò significa che il complesso problema ad alta dimensionalità può essere sostituito da una somma di molti problemi più piccoli e a bassa dimensionalità.

La svolta è avvenuta quando hanno combinato questa tecnica di scomposizione con un'altra identità matematica, la formula di Jacobi–Trudi. Questa formula permette ai ricercatori di esprimere i blocchi complessi come differenze di blocchi più semplici fatti di potenze simmetriche. Nel caso di un sistema tre per tre, che è la dimensione minima in cui appare questa nuova difficoltà, ogni blocco complesso poteva essere ridotto alla differenza tra solo due termini esplicitamente calcolabili. Questa riduzione è esatta; non è un'approssimazione o un'ipotesi. È una dimostrazione matematica rigorosa che il valore del gigantesco oggetto è esattamente uguale alla somma di queste differenze più piccole e con segno. Poiché i blocchi più piccoli sono molto più esigui rispetto all'oggetto originale, essi entrano facilmente nella memoria del computer.

Il team ha implementato questo metodo in un pacchetto software e lo ha testato contro il vecchio approccio basato sulla forza bruta. Hanno utilizzato matrici casuali tre per tre per rappresentare gli stati quantistici e hanno confrontato i risultati. Per un numero limitato di copie, dove entrambi i metodi potevano girare, il nuovo metodo ha prodotto risultati che corrispondevano al vecchio metodo con un grado di precisione estremamente elevato, con errori così piccoli da essere effettivamente nulli. All'aumentare del numero di copie, il vecchio metodo diventava impossibile. A un livello in cui la matrice completa avrebbe richiesto circa 2,4 quintillion byte di spazio di archiviazione — molto più di quanto qualsiasi computer possa contenere — il nuovo metodo ha calcolato la risposta in circa 47 secondi su un normale processore per computer. Il blocco più grande che il nuovo metodo ha dovuto gestire era di circa 18.000 per 18.000, una dimensione banale per i moderni computer.

I ricercatori hanno anche verificato la stabilità del loro metodo. Poiché il calcolo comporta la sottrazione di due grandi numeri per ottenere un risultato piccolo, esiste il rischio che gli errori di arrotondamento del computer possano rovinare la risposta. Hanno sviluppato un modo per monitorare questa potenziale cancellazione e hanno confermato che, per l'intervallo testato, i risultati sono rimasti stabili e accurati. Hanno notato che, sebbene il metodo funzioni perfettamente per due o tre termini, non si estende alla norma dell'operatore, un tipo diverso di misurazione che si basa sulla ricerca di un valore massimo piuttosto che di una somma. Questa limitazione è inerente alla struttura matematica che hanno utilizzato. Tuttavia, per il problema specifico del calcolo della norma della traccia e dei determinanti di queste combinazioni, il metodo è esatto ed efficiente.

Questo lavoro fornisce uno strumento pratico per esplorare un regime della fisica quantistica che era precedentemente inaccessibile. Permette agli scienziati di simulare e testare ipotesi che coinvolgono molteplici stati quantistici con un livello di dettaglio precedentemente impossibile. Gli autori sottolineano che questo non è un trucco magico che risolve tutti i problemi quantistici, ma una precisa riduzione matematica che trasforma un calcolo impossibile in uno fattibile. Separando il problema nelle sue parti simmetriche fondamentali, hanno aperto la porta allo studio di copie finite di stati quantistici in un modo che rispetta i limiti dell'hardware fisico. Il codice e i dati utilizzati nel loro studio sono disponibili affinché altri possano verificarli e costruirvi sopra, garantendo che questa nuova via sia aperta a tutta la comunità scientifica.