Exponential lower bounds on the fermionic Gaussian rank of magic states and the bosonic coherent state rank of Fock states

Nella ricerca di come l'universo funzioni alle sue scale più piccole, i fisici si sono da tempo affidati a un trucco potente: se un sistema è abbastanza semplice, possiamo calcolarne il comportamento con un computer standard. Per decenni, una specifica classe di sistemi quantistici — quelli che coinvolgono particelle che seguono rigide regole di esclusione e simmetria, note come fermioni — ha potuto essere simulata efficientemente. Questi sistemi, spesso descritti come "liberi" o "gaussiani", si comportano in modo prevedibile, ordinato e può essere gestito da macchine classiche senza sforzo. Tuttavia, per costruire un computer quantistico veramente potente, gli scienziati devono introdurre un ingrediente speciale. Chiamano questi ingredienti "stati magici". Questi sono configurazioni quantistiche altamente complesse che, quando aggiunte ai sistemi semplici, sbloccano la capacità di eseguire calcoli che sono impossibili da seguire per i computer classici. La domanda centrale per i ricercatori è stata: quanto lavoro extra deve fare un computer classico per simulare questi stati magici? La risposta risiede in un numero chiamato "rango", che essenzialmente conta quanti pezzi semplici e ordinati sono necessari per costruire un singolo pezzo complesso e magico.

Per anni, gli scienziati sapevano che questo numero doveva essere grande, ma non potevano dimostrare esattamente quanto grande. Sapevano che cresceva rapidamente man mano che si aggiungevano più stati magici, ma le migliori prove matematiche mostravano solo una crescita lenta, di tipo quadratico, mentre le simulazioni più basilari suggerivano che potesse crescere esponenzialmente. Questo divario lasciava un'enorme incertezza nel campo. Se il numero fosse cresciuto lentamente, sarebbe stato possibile simulare questi potenti computer quantistici su macchine ordinarie dopo tutto. Se fosse cresciuto esponenzialmente, avrebbe confermato che i computer quantistici sarebbero rimasti una classe di macchine distinta e superiore. In uno studio recente, Oliver Reardon-Smith dal Centro di Fisica Teorica dell'Accademia Polacca delle Scienze ha finalmente ristretto questo divario per un tipo specifico e critico di stato magico. Sviluppando un nuovo metodo matematico, il ricercatore ha dimostrato che il numero di pezzi semplici necessari per costruire questi stati complessi non solo cresce rapidamente; esplode esponenzialmente, con un limite inferiore di circa 1,4 elevato alla potenza del numero di copie. Sebbene il documento noti che un ampio divario rimane tra questo nuovo limite inferiore e l'attuale limite superiore di 2 elevato alla potenza del numero di copie, e che il valore esatto del rango all'interno di questa regione è completamente sconosciuto per più di due copie, questo risultato rafforza significativamente l'evidenza della complessità esponenziale.

Lo studio si concentra su una specifica configurazione a quattro particelle, uno stato che funge da blocco fondamentale per la logica quantistica, capace di scambiare le posizioni delle particelle. Il ricercatore si è posto una domanda diretta: se prendi due di questi stati e li combini, quanti stati semplici e ordinati devi aggiungere per ricreare il risultato? I metodi precedenti non potevano escludere la possibilità che un piccolo numero di stati semplici potesse bastare. Il lavoro di Reardon-Smith dimostra che questo è impossibile. Per sole due copie dello stato, la prova mostra che servono almeno quattro stati semplici per ricostruirlo. Quando si scala questo processo verso molte copie, il requisito non si limita a raddoppiare; si moltiplica per un fattore di circa 1,4 per ogni nuova copia aggiunta. Ciò significa che man mano che si aggiungono più stati magici, lo sforzo computazionale richiesto per simularli su un computer classico decolla, confermando che questi sistemi sono effettivamente intrattabili per le macchine classiche, almeno entro i limiti inferiori provati.

Per raggiungere questa conclusione, il ricercatore ha impiegato una tecnica che agisce come un microscopio ad alta risoluzione per le strutture matematiche. Invece di cercare di costruire lo stato complesso da zero, il metodo lo analizza proiettandolo in uno spazio matematico differente. Immaginate di cercare di capire la forma di un complesso oggetto 3D guardando la sua ombra; se l'ombra è semplice, l'oggetto potrebbe essere semplice, ma se l'ombra è incredibilmente complessa, l'oggetto deve essere complesso. In questo caso, il ricercatore ha costruito una matrice specifica, una griglia di numeri che rappresenta lo stato, e ha dimostrato che per gli stati magici questa griglia è sempre piena di informazioni indipendenti. Al contrario, per gli stati semplici e ordinati, la griglia è sempre molto sottile e ripetitiva. Confrontando lo "spessore" di queste griglie, il ricercatore ha dimostrato che non importa come si provi a combinare gli stati semplici, non si potrà mai generare lo spessore richiesto per eguagliare lo stato magico a meno di non usarne un numero enorme. Questo metodo ha fornito un limite inferiore incrollabile, dimostrando che la complessità è inerente e inevitabile.

Le scoperte si estendono oltre il particolare stato a quattro particelle a una classe più ampia di sistemi quantistici che coinvolgono onde di luce e di suono, noti come bosoni. In questo ambito, il ricercatore ha affrontato un'ipotesi di lunga data su quanti schemi d'onda semplici siano necessari per creare uno specifico stato di luce altamente eccitato. Lo studio ha confermato che il numero di schemi richiesti è esattamente uguale al prodotto del numero di particelle in ogni modo più uno. Questo risultato risolve un dibattito che durava da tempo nel campo, mostrando che la complessità di questi stati basati sulla luce è determinata dalla specifica distribuzione delle particelle tra i modi. Inoltre, lo studio ha esaminato cosa accade quando la simulazione non è perfetta. Nel mondo reale, i computer lavorano spesso con approssimazioni, accettando un piccolo margine di errore per risparmiare tempo. Il ricercatore ha dimostrato che anche se si permette un piccolo margine di errore, il numero di stati semplici richiesti rimane quasi altrettanto alto rispetto al numero esatto. La complessità non svanisce solo perché si è disposti a essere leggermente meno precisi.

Questo lavoro è significativo perché rimuove un grande dubbio sul potere dei computer quantistici. Per un certo periodo, è rimasta l'ipotesi che trucchi matematici ingegnosi potessero permettere ai computer classici di simulare questi stati magici in modo efficiente, forse trovando un modo per descriverli con meno pezzi di quelli previsti. Questo studio chiude quella porta per gli stati specifici esaminati, almeno per quanto riguarda i limiti inferiori provati. Conferma che la "magia" è reale e che il costo computazionale per simularla è almeno esponenziale, crescendo a un tasso di circa 1,4 per copia. I risultati suggeriscono che man mano che i computer quantistici scalano, l'aggiunta di più di questi stati magici renderà loro sempre più difficili da imitare per le macchine classiche, assicurando il vantaggio della tecnologia quantistica. Sebbene il numero esatto di pezzi necessari per sistemi più grandi rimanga oggetto di futuri perfezionamenti, poiché il divario tra i limiti inferiori e superiori è ancora ampio, la direzione è ora chiara: la complessità cresce a un ritmo che garantisce che i computer quantistici rimarranno uno strumento unico e potente, ben oltre la portata della simulazione classica.