Structural Conditions for Distributed Quantum Advantage
Questo articolo stabilisce tre condizioni necessarie per ottenere il vantaggio quantistico distribuito tramite il circuit cutting, dimostra che un'unione classica accessibile richiede interfacce limitate tra i sottocircuiti in crescita e valida questi principi ricostruendo con successo le correlazioni in un sistema di codice torico a 142 spin su un processore IBM.
Articolo originale sotto licenza CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). Questa è una spiegazione generata dall'IA dell'articolo qui sotto. Non è stata scritta né approvata dagli autori. Per precisione tecnica, consulta l'articolo originale. Leggi il disclaimer completo
I computer quantistici promettono di risolvere problemi che richiederebbero alle macchine classiche migliaia di anni, ma si scontrano con un ostinato limite fisico: il numero di particelle che possono controllare contemporaneamente. Le macchine odierne sono piccole, contenendo solo poche decine o forse cento bit quantistici, noti come qubit. Per affrontare le sfide più difficili nella chimica, nella scienza dei materiali e nella crittografia, gli scienziati hanno bisogno di macchine con migliaia o milioni di questi bit. Poiché costruire un singolo chip di tali dimensioni è attualmente impossibile, i ricercatori si stanno rivolgendo a una strategia mutuata dall'informatica classica: distribuire il lavoro su diversi chip più piccoli. L'idea è quella di suddividere un calcolo massiccio in parti, eseguire ogni parte su un processore separato e poi ricomporre i risultati. Tuttavia, questo approccio si scontra con un muro. L'atto di ricomporre, o "tessere", i risultati richiede una quantità enorme di potenza di calcolo classica che cresce in modo esplosivo con il numero di connessioni tra i chip. Se la connessione è troppo complessa, il computer classico necessario per riassemblare i dati diventa sovraccaricato quanto il problema quantistico stesso, vanificando lo scopo dell'uso dell'hardware quantistico.
Un team di ricercatori ha ora formulato le condizioni strutturali che permetterebbero a un vantaggio quantistico distribuito di sopravvivere alla divisione, identificando un contesto candidato in cui queste condizioni possono coesistere, rilevando al contempo che la difficoltà classica è stabilita solo nel caso peggiore. Si sono posti l'obiettivo di trovare i requisiti specifici che devono essere soddisfatti simultaneamente. In primo luogo, il costo della ricomposizione delle parti deve rimanere gestibile, il che significa che il numero di connessioni tra i chip deve rimanere piccolo e fisso, indipendentemente da quanto grandi diventino il sistema totale. In secondo luogo, le singole parti del calcolo, una volta separate, devono essere comunque abbastanza difficili da essere risolte da un computer classico; se le parti sono troppo semplici, un computer normale avrebbe potuto svolgere l'intero lavoro senza l'hardware quantistico. Terzo, per i tipi di algoritmi che apprendono e migliorano nel tempo, il sistema deve rimanere abbastanza sensibile da rilevare piccoli cambiamenti nei suoi parametri, una proprietà che spesso svanisce man mano che i sistemi si ingrandiscono.
I ricercatori hanno applicato questi requisiti a diciotto diverse famiglie di circuiti quantistici presenti nella letteratura scientifica. Hanno scoperto che la maggior parte delle proposte esistenti fallisce almeno uno di questi test. Molti design che sembrano promettenti sulla carta si rivelano troppo costosi da ricomporre perché le connessioni tra i chip crescono troppo man mano che il sistema scala. Altri sono facili da ricomporre ma coinvolgono parti così semplici che un computer classico potrebbe simularle istantaneamente, offrendo alcun vantaggio quantistico. Solo un tipo specifico di architettura, nota come circuito a profondità locale finita, ha mostrato una promessa come candidato. In questi circuiti, la complessità delle connessioni tra i chip rimane limitata, mentre le singole parti rimangono abbastanza complesse da essere difficili per i computer classici. Questa architettura permette al sistema di crescere senza che il costo della ricomposizione esploda, a patto che le parti siano disposte in un modo specifico. Tuttavia, per il candidato più promettente testato, il requisito critico che le singole parti rimangano classicamente difficili rimane una questione aperta, non un fatto provato.
Per testare questo concetto candidato nel mondo reale, il team ha eseguito un esperimento di prova di principio utilizzando un processore quantistico IBM. Hanno preso due patch separate di un sistema quantistico, noto come codice torico, e le hanno unite con un singolo gate quantistico. Questa configurazione ha creato un "ponte" tra le due patch. Hanno eseguito le due patch separatamente sull'hardware e poi hanno usato un computer classico per ricomporre i risultati. L'esperimento è stato un successo nel dimostrare il principio del metodo, fungendo da test classicamente verificabile per determinare se una ricostruzione economica del ponte recuperi informazioni fisicamente rilevanti che sarebbero andate perse se avessero eseguito le due patch indipendentemente. Nello specifico, hanno misurato una correlazione tra le due patch che esisteva solo grazie al ponte. Questa correlazione è rimasta rilevabile anche quando il sistema è cresciuto fino a includere novantotto qubit. Tuttavia, il segnale è svanito man mano che il sistema diventava più grande e le singole patch più profonde e complesse, una limitazione causata dal rumore inerente all'attuale hardware.
Lo studio chiarisce che l'informatica quantistica distribuita è una via percorribile, a condizione che l'architettura sia scelta con estrema cura e che la difficoltà dei sottoproblemi possa essere stabilita. I ricercatori hanno dimostrato che non basta tagliare un grande circuito in pezzi più piccoli; il taglio deve essere effettuato in modo da mantenere l'interfaccia tra i pezzi piccola e la complessità interna dei pezzi elevata. Sebbene l'esperimento non abbia ancora risolto un problema che un computer classico non potesse gestire, né abbia provato che i circuiti candidati specifici siano classicamente difficili, ha dimostrato che le informazioni necessarie possono sopravvivere alla divisione e alla ricomposizione. Il lavoro funge da modello per le macchine future, identificando le precise caratteristiche strutturali necessarie per scalare i computer quantistici oltre i limiti di un singolo chip. Suggerisce che la strada verso un potente computer quantistico non risiede solo nel costruire chip più grandi, ma nel progettare sistemi in cui le connessioni tra chip più piccoli siano minime, mentre il lavoro che avviene all'interno di ogni chip rimanga profondamente complesso.
Sommerso dagli articoli nel tuo campo?
Ricevi digest giornalieri degli articoli più recenti corrispondenti alle tue parole chiave di ricerca — con riassunti tecnici, nella tua lingua.