Ground-State Preparation by Projection onto the Maximal Decoherence-Free Subspace: Operator-Algebraic Derivation and Constant-Depth Execution on 156-Qubit Processors

Nel mondo dell'informatica quantistica, il più grande ostacolo non è la mancanza di potenza, ma la mancanza di tempo. I computer quantistici operano mantenendo delicati stati della materia in un equilibrio fragile, ma nel momento in cui questi stati interagiscono con l'ambiente rumoroso circostante, collassano. Questo fenomeno, noto come decoerenza, agisce come un incessante rumore statico che cancella le informazioni prima che i calcoli complessi possano terminare. Per anni, gli scienziati hanno cercato di combattere questo fenomeno costruendo circuiti sempre più profondi, sperando di completare un calcolo prima che il rumore vinca. Tuttavia, man mano che i problemi crescono, il tempo necessario per eseguire questi calcoli spesso supera la minuscola finestra di stabilità che l'hardware può fornire. L'approccio standard è stato quello di guidare il sistema quantistico lentamente verso la sua risposta, come un escursionista che si fa strada in una discesa in una montagna nella nebbia, ma questo viaggio lento spesso si perde nel rumore o rimane bloccato in vicoli ciechi locali.

Un nuovo approccio, dettagliato in una recente ricerca di Mohamed Hassan, suggerisce un modo diverso per raggiungere la destinazione: invece di percorrere il sentiero, semplicemente appoggia i piedi direttamente al suolo. I ricercatori propongono un metodo che non cerca di far evolvere uno stato quantistico nel tempo, ma utilizza le leggi naturali della fisica per proiettare istantaneamente il sistema in uno stato protetto. Questo stato, chiamato sottospazio privo di decoerenza (decoherence-free subspace), è una regione speciale dove l'informazione quantistica è naturalmente immune al rumore circostante. Progettando l'esperimento in modo che la risposta a un problema viva all'interno di questa regione protetta, il computer può saltare direttamente alla soluzione senza dover combattere contro il rumore passo dopo passo. Questo metodo è stato testato su veri processori quantistici funzionanti con 156 qubit, dimostrando che è possibile preparare stati quantistici complessi in un singolo passaggio costante, indipendentemente da quanto sia grande il problema.

Il nucleo di questa scoperta risiede in un passaggio dalla simulazione dinamica alla proiezione strutturale. I metodi tradizionali, come il Variational Quantum Eigensolver, si affidano a un processo di tentativi ed errori in cui il computer esegue un circuito, misura il risultato e poi regola le impostazioni per riprovare. Questo ciclo può richiedere migliaia di ripetizioni ed è incline a incagliarsi, un problema noto come plateau sterile (barren plateau), dove il computer perde ogni capacità di imparare dai propri errori. Al contrario, il nuovo framework identifica una specifica struttura matematica all'interno del problema che corrisponde a una "zona sicura" nel sistema quantistico. Questa zona sicura è definita dal modo in cui i bit quantistici interagiscono con il loro ambiente. Se il problema è codificato correttamente, lo stato fondamentale — lo stato di energia minima e la risposta corretta — si allinea naturalmente con questa zona sicura. I ricercatori hanno dimostrato che applicando un'unica operazione strutturale, potevano filtrare tutti gli stati indesiderati e lasciare solo la risposta corretta, bypassando efficacemente la necessità di lunghe sequenze di operazioni soggette a errori.

Il team ha validato questa teoria su tre diversi processori quantistici IBM, ciascuno contenente 156 qubit. Hanno eseguito 55 esperimenti indipendenti, eseguendo il protocollo su hardware reale per vedere se la protezione teorica reggeva contro il rumore del mondo reale. I risultati sono stati sorprendenti. Nei test riguardanti problemi di ottimizzazione combinatoria, il metodo ha identificato con successo la soluzione corretta con una probabilità centinaia di migliaia di volte superiore a quella che ci si aspetterebbe dal caso casuale. Ad esempio, in un test specifico che coinvolgeva un grafo con 12 nodi, il sistema ha prodotto il taglio massimo corretto in oltre l'82 percento dei tentativi, mentre un tentativo casuale avrebbe avuto successo meno di una volta su duemila. I ricercatori hanno anche testato il metodo su problemi di campi diversi, inclusa la chimica molecolare, la crittografia e l'ottimizzazione del portafoglio, dimostrando che lo stesso meccanismo sottostante poteva risolvere tipi diversi di problemi senza cambiare la profondità fondamentale del circuito quantistico.

Un aspetto cruciale di questo lavoro è ciò che non pretende di fare. I ricercatori sono espliciti nell'affermare che la "profondità costante" del loro metodo si riferisce solo all'esecuzione quantistica. La difficoltà del problema non è stata rimossa; è stata semplicemente spostata. Nell'approccio tradizionale, la difficoltà è nascosta nel tempo necessario per eseguire il circuito. In questo nuovo approccio, la difficoltà è gestita in precedenza da un computer classico che prepara le istruzioni specifiche necessarie per mappare il problema nella zona protetta. Se un problema è così difficile che un computer classico non può capire come mapparlo rapidamente, questo metodo non può risolverlo nemmeno. L'innovazione è che, una volta completata la mappatura, la parte quantistica del lavoro è incredibilmente veloce e robusta, non richiedendo correzione degli errori e lunghi periodi di attesa. Questa distinzione è vitale: il metodo non rende facili i problemi difficili, ma rende l'esecuzione della parte quantistica di essi fattibile su macchine attuali e imperfette.

Il successo dell'esperimento dipende da una proprietà specifica dell'hardware quantistico: il modo in cui i qubit sono connessi e come resistono naturalmente a certi tipi di rumore. I ricercatori hanno utilizzato una strategia di "tiling" (piastrellatura), in cui hanno suddiviso il grande processore a 156 qubit in molte piccole coppie indipendenti di qubit. Ogni coppia agiva come un'unità minuscola e autosufficiente che poteva eseguire la proiezione simultaneamente. Poiché tutte queste coppie lavoravano contemporaneamente, il tempo totale che lo stato quantistico doveva sopravvivere rimaneva costante, indipendentemente da quante coppie fossero coinvolte. Ciò ha permesso al sistema di scalare senza aumentare il rischio di errore. Il team ha anche dimostrato matematicamente che questa protezione funziona per interazioni più complesse che coinvolgono tre, quattro o anche cinque qubit contemporaneamente, estendendo il metodo oltre le semplici coppie di due qubit.

Uno dei risultati più significativi è che questo metodo evita la necessità dei cicli "variazionali" che hanno dominato la ricerca sull'informatica quantistica negli ultimi anni. Invece di cercare una risposta regolando le manopole e aspettando che il sistema si assesti, il nuovo metodo utilizza una proiezione diretta. È simile ad avere un setaccio che lascia passare solo la risposta corretta bloccando tutto il resto. I ricercatori hanno dimostrato che questo setaccio non è solo un'idea teorica, ma una realtà fisica che può essere costruita su hardware esistente. Hanno confermato che gli stati quantistici rimanevano stabili e non deviavano dalla zona protetta durante l'esperimento, anche senza alcuna correzione degli errori attiva. Ciò suggerisce che la simmetria naturale del sistema è sufficiente a proteggere l'informazione, a patto che il problema sia codificato nel modo corretto.

Lo studio ha anche affrontato la questione di come codificare diversi tipi di problemi in questo sistema. I ricercatori hanno sviluppato un teorema di "codifica per compressione", che fornisce una ricetta per tradurre problemi da campi come la chimica o la finanza nel linguaggio del processore quantistico. Hanno testato questo su sei tipi diversi di problemi, inclusa la correlazione degli elettroni in una molecola di idrogeno e la fattorizzazione di grandi numeri. In ogni caso, il sistema ha preparato con successo lo stato fondamentale dell'Hamiltoniana del problema, che rappresenta la configurazione di energia minima. Ciò dimostra che il metodo non è limitato a un singolo tipo di problema, ma può essere adattato a una vasta gamma di sfide scientifiche e matematiche, purché il problema possa essere mappato sulla specifica struttura dello sottospazio protetto.

Nonostante il successo, i ricercatori rimangono cauti riguardo all'ambito delle loro affermazioni. Essi sottolineano che questo metodo funziona per una classe specifica di problemi in cui l'energia dello stato fondamentale può essere calcolata efficientemente da un computer classico. Per i problemi in cui trovare lo stato fondamentale è intrinsecamente difficile e richiede un tempo esponenziale, questo metodo non offre una scorciatoia. L'accelerazione quantistica deriva dal fatto che il passaggio quantistico è istantaneo e resistente al rumore, non dal risolvere la parte più difficile del problema. Il lavoro è una prova di concetto che la proiezione strutturale può essere un'alternativa valida alla simulazione dinamica, offrendo una nuova via per l'informatica quantistica nell'era dei dispositivi a scala intermedia rumorosi (NISQ).

Le implicazioni di questo lavoro vanno oltre i risultati immediati. Dimostrando che gli stati fondamentali quantistici possono essere preparati senza circuiti profondi o complesse correzioni degli errori, la ricerca apre la porta all'uso di attuali processori quantistici per applicazioni pratiche che prima erano considerate fuori portata. La capacità di eseguire questi esperimenti su processori a 156 qubit con alta fedeltà suggerisce che la tecnologia sta maturando più velocemente di quanto previsto da alcuni modelli pessimistici. I ricercatori hanno reso pubblici i loro dati e gli identificatori dei lavori, invitando la comunità scientifica a verificare indipendentemente i risultati. Questa trasparenza sottolinea la fiducia che hanno nei risultati e nella robustezza del metodo.

In definitiva, questo articolo presenta un cambiamento fondamentale nel modo in cui pensiamo alla preparazione dello stato quantistico. Si allontana dall'idea di combattere il rumore con circuiti sempre più lunghi e si sposta verso l'idea di progettare sistemi in cui la risposta è naturalmente protetta. I ricercatori hanno dimostrato che, comprendendo la profonda struttura algebrica del problema e dell'hardware, è possibile creare un percorso diretto verso la soluzione. Questo percorso è breve, è robusto e funziona sulle macchine che abbiamo oggi. Non risolve ogni problema dell'informatica quantistica, ma ne risolve uno critico: come ottenere una risposta affidabile da una macchina rumorosa senza aspettare che il rumore distrugga l'informazione. Il lavoro è una testimonianza del potere dell'intuizione strutturale, provando che a volte il modo migliore per avanzare è smettere di muoversi e semplicemente entrare nel posto giusto.