Nearly Optimal T-Count for Symmetry-Based Quantum State Purification

I computer quantistici promettono di risolvere problemi impossibili per le macchine odierne, dalla progettazione di nuovi medicinali alla modellazione di materiali complessi. Tuttavia, queste macchine sono incredibilmente fragili. L'informazione che trasportano viene facilmente distorta dal minimo movimento, calore o interferenza elettromagnetica, un fenomeno noto come rumore. Questo rumore corrompe i delicati stati quantistici necessari per il calcolo, rendendo spesso i risultati inutilizzabili prima ancora che il calcolo sia terminato. Per costruire un computer quantistico affidabile, gli scienziati devono trovare modi per proteggere questa informazione o ripararla quando qualcosa va storto. Una strategia potente consiste nel prendere più copie di uno stato quantistico rumoroso e processarle insieme per estrarre una singola versione più pulita. Questo processo, chiamato purificazione dello stato quantistico, agisce come un filtro, scartando le parti corrotte e amplificando il segnale dello stato originale e perfetto. La sfida è sempre stata come costruire la macchina per farlo senza introdurre troppa complessità tale da rendere la macchina stessa troppo rumorosa per funzionare.

In un nuovo studio, i ricercatori hanno mappato il modo più efficiente per costruire questa macchina di purificazione, determinando esattamente quanti specifici gate logici sono necessari per farla funzionare. Il team si è concentrato su un metodo che si basa sulla simmetria, una proprietà fondamentale in cui un sistema appare identico anche se si scambiano le sue parti. Immaginate di avere un mazzo di carte e di voler trovare un ordine specifico; se le mescolate casualmente, potreste avere fortuna, ma se cercate un modello che rimanga invariato indipendentemente da come riorganizzate il mazzo, potete isolare l'ordine desiderato. Nel mondo quantistico, i ricercatori hanno usato questa idea di simmetria per filtrare il rumore. Hanno sviluppato un nuovo design per un circuito quantistico che esegue questo compito di filtraggio. La loro costruzione è straordinariamente efficiente, richiedendo un numero di operazioni che cresce quasi in proporzione diretta al numero di copie utilizzate. Se raddoppiate il numero di copie rumorose con cui iniziate, la complessità della macchina aumenta solo di una piccola quantità gestibile, invece di esplodere in una dimensione ingestibile.

I ricercatori non si sono limitati a proporre un modo più veloce; hanno anche dimostrato che è quasi impossibile fare di meglio. Hanno stabilito un limite matematico rigoroso mostrando che qualsiasi macchina che tenti questo compito deve utilizzare almeno un certo numero minimo di operazioni. Il loro nuovo design si avvicina così tanto a questo limite teorico da essere considerato quasi ottimale. Ciò significa che hanno trovato il percorso più efficiente possibile, fino a fattori molto piccoli che non cambiano il quadro generale. Lo studio conferma che, sebbene il compito sia difficile, non è così dispendioso in termini di risorse come si temeva in precedenza, e fornisce una chiara tabella di marcia per costruire questi strumenti di purificazione nei futi computer quantistici.

Per comprendere la portata di questo traguardo, bisogna guardare agli strumenti usati per costruire i circuiti quantistici. I computer quantistici si affidano a un insieme di operazioni di base, proprio come un carpentiere si affida a martelli e seghe. Nei computer quantistici più avanzati e tolleranti ai guasti, l'operazione più costosa e difficile da eseguire è un tipo specifico di gate noto come gate T. Questi gate sono il collo di bottiglia; sono lenti e inclini agli errori, quindi minimizzare il loro uso è l'obiettivo primario degli ingegneri quantistici. I tentativi precedenti di costruire la macchina di purificazione basata sulla simmetria richiedevano un numero di gate T che cresceva molto rapidamente all'aumentare del numero di copie in ingresso. Ad esempio, i metodi precedenti suggerivano che raddoppiare l'input potesse richiedere sedici volte più operazioni, rendendo impraticabile la purificazione su larga scala. Il nuovo studio ribalta questo scenario, mostrando che il numero di gate T può essere mantenuto a un livello che cresce quasi linearmente con l'input.

I ricercatori hanno ottenuto questo ripensando a come organizzare le permutazioni, ovvero il riordinamento delle copie quantistiche. Invece di cercare di gestire ogni possibile disposizione contemporaneamente, il che sarebbe computazionalmente travolgente, hanno scomposto il problema in una serie di passaggi più piccoli e gestibili disposti in una struttura ad albero. Hanno utilizzato un tipo specifico di stato quantistico, noto come stato di Dicke, per agire come una guida o una maschera che dice alla macchina quali copie scambiare e quali lasciare ferme. Organizzando queste maschere su un albero bilanciato, sono riusciti a instradare l'informazione attraverso il circuito con alta precisione. Il team ha poi combinato questo sistema di instradamento con una tecnica chiamata combinazione lineare di unitari, che permette alla macchina di eseguire una media complessa di molteplici operazioni simultaneamente. Il risultato è un circuito compatto, preciso e molto meno esigente in termini di hardware rispetto a qualsiasi cosa proposta in precedenza.

Il documento ha anche testato rigorosamente i limiti di questa efficienza. I ricercatori hanno dimostrato che, indipendentemente da quanto si possa progettare astutamente il circuito, esiste un limite inferiore netto sul numero di gate T richiesti. Hanno mostrato che per un sistema con un certo numero di copie, la macchina deve utilizzare almeno un numero specifico di gate, che è approssimativamente il doppio delle copie meno due. Questa prova è significativa perché esclude la possibilità di trovare una scorciatoia "magica" che permetta di bypassare completamente questi costi. Conferma che il nuovo design non è solo un colpo di fortuna, ma è fondamentalmente vicino alla migliore soluzione possibile consentita dalla natura. Lo studio ha anche affrontato la questione degli errori, dimostrando che il circuito può essere tarato per essere accurato quanto necessario, con il costo di tale accuratezza che cresce solo logaritmicamente, ovvero con un aumento molto lento e gestibile.

Questo lavoro colma il divario tra possibilità teorica e ingegneria pratica. Per anni, il settore ha saputo che la purificazione basata sulla simmetria è il modo migliore per pulire gli stati quantistici rumorosi in certe condizioni, ma il costo di costruzione della macchina per farlo era un grande incognito. Stabilendo sia un limite superiore altamente efficiente che un limite inferiore rigoroso, i ricercatori hanno di fatto chiuso il capitolo su quanto sia necessaria la risorsa per questo compito. Hanno dimostrato che il costo scala quasi perfettamente con la dimensione del problema, rendendo molto più fattibile la memoria e il calcolo quantistico su larga scala. Le scoperte suggeriscono che la strada verso computer quantistici affidabili è più chiara che in passato, con un percorso definito ed efficiente per uno dei compiti di correzione degli errori più critici. Lo studio non afferma di aver costruito ancora la macchina, ma ha fornito l'esatto progetto e la prova che quel progetto è il più efficiente possibile, offrendo agli ingegneri un obiettivo chiaro per la futura costruzione.