Ancilla-free optimal quantum adder

Nel campo dell'informatica quantistica, le macchine non si limitano a calcolare numeri; esse manipolano la stessa trama della probabilità per risolvere problemi che richiederebbero ai computer classici millenni per essere decifrati. Al cuore di molti di questi potenti algoritmi risiede un compito fondamentale: sommare numeri tra loro. Proprio come un computer classico si affida a un processore per sommare cifre, un computer quantistico ha bisogno di un circuito per sommare bit quantistici, o qubit, preservando al contempo i loro delicati stati di sovrapposizione. Questo processo è molto più fragile rispetto all'aritmetica standard perché la macchina deve gestire tutti i possibili valori dei numeri simultaneamente, senza far collassare lo stato quantistico. Per anni, la costruzione di questi addizionatori quantistici è stata un gioco di equilibrio. Gli ingegneri potevano renderli veloci, ma richiedevano uno spazio di archiviazione temporaneo extra che raddoppiava i requisiti hardware. In alternativa, potevano costruirli senza spazio extra, ma i circuiti diventavano così profondi e complari che gli errori si accumulavano prima che il calcolo terminasse. L'obiettivo è sempre stato quello di trovare un modo per fare entrambe le cose: sommare i numeri rapidamente e con precisione senza aver bisogno di parti di ricambio.

Un team di ricercatori ha ora costruito un addizionatore quantistico che raggiunge questo equilibrio tanto ricercato. Hanno progettato un circuito in grado di sommare due grandi numeri utilizzando un numero di operazioni che cresce solo linearmente con la dimensione dei numeri, mentre il tempo necessario cresce solo logaritmicamente. Cosa più significativa, questo circuito richiede zero qubit extra per funzionare. Nel linguaggio dell'ingegneria quantistica, si tratta di un design "ancilla-free" (senza ancilla), il che significa che non prende in prestito alcuno spazio di lavoro temporaneo dall'esterno. I ricercatori hanno dimostrato che la loro costruzione è efficiente quanto fisicamente possibile, raggiungendo i limiti teorici inferiori sia per il numero di porte utilizzate che per la profondità del circuito. Ci sono riusciti ripensando a come l'informazione fluisce attraverso la macchina, sostituendo il tradizionale metodo passo dopo passo del riporto con un nuovo approccio parallelo che utilizza i bit di dati esistenti come proprio spazio di lavoro temporaneo.

Il modo tradizionale di sommare i numeri in un computer, sia esso classico o quantistico, è spesso simile a una fila di persone che si passano un secchio d'acqua lungo una catena. Ogni persona aggiunge la propria acqua al secchio e lo passa alla successiva. In un contesto quantistico, questo è chiamato un addizionatore a riporto a cascata (ripple-carry adder). Sebbene semplice, questo metodo è lento perché l'ultima persona in fila non può finire il suo lavoro finché la prima persona non ha passato il secchio fino in fondo. Per velocizzare questo processo, gli ingegneri hanno precedentemente cercato di costruire un sistema di "lookahead" (anticipazione), dove tutti calcolano la propria parte del totale contemporaneamente. Tuttavia, questo approccio parallelo richiedeva solitamente una grande quantità di memoria extra per contenere i calcoli intermedi. Il nuovo lavoro di Nie, Tang, Sun e Zi elimina completamente questa dipendenza dalla memoria extra. Si sono resi conto che la memoria extra non era in realtà necessaria se il circuito fosse stato abbastanza intelligente da utilizzare i bit di dati stessi come archiviazione temporanea, a condizione che tali bit venissero ripristinati al loro stato originale alla fine del calcolo.

I ricercatori hanno costruito la loro soluzione scomponendo i grandi numeri in blocchi più piccoli, molto simile all'organizzazione di una lunga fila di persone in gruppi più piccoli. All'interno di ogni gruppo, il circuito esegue un calcolo locale per determinare come i bit interagiscono. La sfida consiste nel collegare questi gruppi tra loro. In un'addizione standard, un riporto da un gruppo deve viaggiare verso il successivo e, se il gruppo successivo è pieno, il riporto deve viaggiare ancora più lontano. Il team ha sviluppato un metodo per gestire queste connessioni senza restare bloccati. Hanno trattato la connessione tra i gruppi come una serie di brevi percorsi controllati. Invece di lasciare che il riporto scorra attraverso ogni singolo bit, hanno utilizzato una tecnica che permetteva al circuito di saltare grandi sezioni di dati quando le condizioni erano favorevoli. Questo è simile a come un escursionista potrebbe saltare un lungo sentiero tortuoso prendendo una scorciatoia attraverso un campo, ma solo se il campo è libero. Nel loro circuito, il "campo" è libero solo quando specifici bit di controllo sono impostati su un particolare valore, permettendo al calcolo di avanzare istantaneamente.

Per far sì che questo funzionasse senza memoria extra, i ricercatori hanno impiegato una strategia che chiamano "eco". Immaginate di dover usare una stanza di una casa per riporre una scatola, ma non potete lasciare la stanza disordinata quando avete finito. Portate la scatola dentro, fate il vostro lavoro e poi rimuovete con cura la scatola e ripristinate la stanza esattamente come era prima. Nel loro circuito, i ricercatori "prendono in prestito" bit dai dati stessi per contenere informazioni temporanee. Eseguono i calcoli necessari e poi, utilizzando una specifica sequenza di operazioni, invertono il processo per annullare qualsiasi modifica apportata ai bit presi in prestito. Questo lascia i bit di dati esattamente come erano prima dell'inizio del calcolo, pronti per il passaggio successivo. Questa tecnica dell'eco permette al circuito di utilizzare l'hardware esistente come proprio spazio di lavoro, eliminando la necessità di qualsiasi qubit aggiuntivo.

Il team ha ulteriormente perfezionato questo processo organizzando le connessioni tra i gruppi in una struttura che ricorda una foresta di alberi piuttosto che una singola lunga linea. In una linea tradizionale, ogni passaggio dipende da quello precedente. Nella loro struttura a foresta, le connessioni si diramano e convergono in modo da consentire a molti calcoli di avvenire contemporaneamente. Hanno mappato il flusso di informazione in modo che il circuito potesse elaborare più percorsi simultaneamente, riducendo drasticamente il tempo richiesto. Organizzando attentamente questi percorsi, si sono assicurati che il circuito potesse gestire i casi più complessi senza dover crescere in dimensioni o profondità. Il risultato è un design che scala in modo efficiente: man mano che i numeri diventano più grandi, il numero di operazioni aumenta in modo gestibile e il tempo necessario per completare l'addizione cresce molto lentamente.

Questa costruzione non è solo una possibilità teorica; i ricercatori hanno fornito un progetto concreto per costruire il circuito utilizzando solo porte quantistiche standard. Hanno dimostrato che il circuito può essere costruito con un numero di porte proporzionale al numero di bit che vengono sommati, e che la profondità del circuito è proporzionale al logaritmo del numero di bit. Questi sono i migliori tassi possibili per qualsiasi addizionatore di questo tipo. I ricercatori hanno anche dimostrato che il loro metodo funziona per qualsiasi dimensione di input, dai numeri piccoli a quelli molto grandi, senza dover cambiare il design fondamentale. Hanno provato che il loro circuito è reversibile, il che significa che se si esegue il calcolo a ritroso, si ottengono esattamente gli input originali, una proprietà cruciale per l'informatica quantistica.

L'importanza di questo lavoro va oltre la semplice somma di numeri. L'addizione quantistica è un mattone fondamentale per molti altri algoritmi complessi, inclusi quelli utilizzati per la fattorizzazione di grandi numeri e la simulazione di reazioni chimiche. In queste applicazioni, l'addizionatore viene chiamato in causa migliaia di volte. Se ogni addizione è lenta o richiede memoria extra, l'intero algoritmo diventa impraticabile. Rimuovendo la necessità di memoria extra e velocizzando il processo, questo nuovo addizionatore rende questi algoritmi più ampi più fattibili. Riduce il numero totale di componenti fisici richiesti e abbassa la probabilità che gli errori si accumulino durante il calcolo. L'approccio dei ricercatori di utilizzare i dati stessi come spazio di lavoro e organizzare il flusso di informazioni in una struttura simile a una foresta offre un nuovo paradigma per la progettazione di circuiti quantistici. Dimostra che pensando attentamente a come l'informazione si muove e a come lo spazio di archiviazione temporaneo può essere gestito, è possibile costruire macchine che sono sia più piccole che più veloci di quanto precedentemente ritenuto possibile.

L'articolo conclude confermando che il loro design soddisfa i limiti teorici di efficienza. Hanno dimostrato che nessun altro circuito potrebbe essere più veloce o utilizzare meno porte senza violare le leggi della fisica che governano l'informazione quantistica. Ciò significa che l'addizionatore che hanno costruito è ottimale; non può essere migliorato in termini di velocità o dimensioni. I ricercatori non si sono affidati a simulazioni o approssimazioni; hanno fornito una prova matematica che il loro circuito funziona esattamente come previsto per qualsiasi input. Questo livello di certezza è raro nelle prime fasi dello sviluppo dell'hardware quantistico, dove molte idee rimangono teoriche. Dimostrando che un addizionatore ottimale e senza ancilla è possibile, hanno fornito una solida base per la prossima generazione di algoritmi quantistici. Il lavoro è una testimonianza della potenza di una progettazione attenta dei circuiti, mostrando che anche nel complesso mondo della meccanica quantistica, ci sono ancora efficienze fondamentali da scoprire e sbloccare.