SUTURE: Syndrome-Guided Repair for Segmented Feasibility-Preserving VQAs on Noisy Hardware
Il documento introduce SUTURE, un runtime di riparazione guidato da sindrome per algoritmi quantistici variazionali segmentati che preservano la fattibilità e che sostituisce lo scarto delle misurazioni con la correzione basata su vincoli, consentendo l'esecuzione riuscita a 72 qubit sull'hardware rumoroso IBM Heron dove i metodi di purificazione tradizionali falliscono.
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
Nel mondo dell'informatica, alcuni problemi sono notoriamente difficili da risolvere. Essi comportano l'effettuare un numero vastissimo di scelte, dove ogni scelta deve incastrarsi perfettamente con una lunga lista di regole rigide. Pensate a cercare di pianificare mille voli in modo che non due aerei utilizzino la stessa pista contemporaneamente, o a organizzare un portafoglio finanziario dove ogni investimento debba rispettare specifici limiti legali. Questi sono noti come problemi di ottimizzazione vincolata. Per decenni, i computer classici hanno faticato con essi perché il numero di possibili combinazioni cresce così velocemente che controllare ognuna di esse diventa impossibile. I computer quantistici offrono una strada diversa. Utilizzando le strane leggi della fisica che governano gli atomi, possono esplorare molte possibilità contemporaneamente. Tuttavia, queste macchine sono attualmente molto fragili. La minima perturbazione causata dal calore o dalle vibrazioni provoca errori, producendo spesso risposte che violano le stesse regole che stavano cercando di seguire.
Questa fragilità crea un collo di bottiglia specifico per un tipo popolare di algoritmo quantistico progettato per risolvere questi problemi difficili. Questi algoritoli lavorano in brevi raffiche, o segmenti. Dopo ogni raffica, la macchina misura il suo risultato e usa quel risultato per iniziare la fase successiva. Se la misurazione è errata — ovvero, se viola le regole — l'intero processo deve fermarsi, perché il passaggio successivo non può iniziare da una base compromessa. Sulle odierne macchine rumorose, questi errori accadono così frequentemente che il processo spesso si interrompe prima di poter finire, lasciando i ricercatori senza alcuna risposta. Un team di ricercatori della Pukyong National University in Corea del Sud ha sviluppato un nuovo metodo per mantenere in vita questi esperimenti quantistici. Lo chiamano SUTURE. Invece di scartare un risultato errato e interrompere l'esperimento, SUTURE agisce come un meccanico esperto che può guardare un componente danneggiato, capire esattamente cosa sia andato storto e ripararlo quanto basta per permettere alla macchina di continuare a funzionare.
I ricercatori hanno testato questa idea su un vero computer quantistico prodotto da IBM, nello specifico un modello chiamato Heron. In uno dei loro test più impegnativi, hanno cercato di risolvere un problema di colorazione dei grafi, che è simile al tentativo di colorare una mappa in modo che due regioni vicine non condividano lo stesso colore. Hanno impostato un esperimento con 72 bit quantistici, una dimensione che spinge ai limiti l'attuale tecnologia. Sotto l'approccio standard, che semplicemente scarta qualsiasi risultato che violi le regole, l'esperimento falliva quasi ogni volta. Su dodici tentativi separati, undici di essi si sono interrotti prima di poter completare anche solo un quarto dei passaggi richiesti. La macchina produceva risultati, ma le regole erano così rigide e il rumore così elevato che nessun risultato valido sopravviveva abbastanza a lungo da poter essere utilizzato.
Il sistema SUTURE ha cambiato completamente questo esito. Quando la macchina produceva un risultato che violava le regole, il sistema non lo scartava. Invece, analizzava l'errore per vedere quali regole specifiche fossero state violate. Poiché il problema stesso contiene una struttura nascosta, queste violazioni agiscono come un segnale, puntando direttamente alle poche variabili che sono probabilmente errate. Il sistema cercava quindi una soluzione semplice, invertendo solo uno o due bit per rendere il risultato nuovamente valido. Successivamente, reinseriva questo risultato riparato nella macchina per iniziare il segmento successivo. Nello stesso esperimento a 72 qubit in cui il vecchio metodo era fallito undici volte, SUTURE ha avuto successo in tutti i dodici tentativi, completando ogni singolo segmento senza fermarsi.
Questo successo non riguardava solo il mantenere la macchina in funzione; riguardava anche il trovare risposte migliori. In simulazioni scalate fino a 120 qubit, il metodo di riparazione ha continuato a funzionare molto più a lungo di quanto il metodo standard non fosse in grado di fare. I ricercatori hanno scoperto che esiste un punto specifico in cui il rumore diventa così pesante che scartare gli errori non è più una strategia praticabile. Al di sotto di quel punto, il vecchio metodo va bene. Ma una volta che il rumore supera quella soglia, il metodo di riparazione diventa essenziale. Esso permette al computer quantistico di sopravvivere in ambienti in cui altrimenti sarebbe inutile.
Il team ha anche misurato quanto tempo richiedesse questo processo di riparazione. Hanno scoperto che il calcolo aggiuntivo necessario per correggere gli errori era incredibilmente veloce. Nei loro test temporali, il passaggio di riparazione ha aggiunto solo circa l'uno e mezzo per cento al tempo totale trascorso dalla macchina a lavorare. Ciò significa che il sistema non rallenta il computer quantistico; semplicemente ne impedisce il crash. Il metodo funziona utilizzando le regole stesse del problema come guida. Proprio come un risolutore di cruciverba utilizza le lettere che si intersecano per capire una parola mancante, SUTURE utilizza i vincoli violati per localizzare e correggere gli errori. Lo fa senza bisogno di conoscere l'obiettivo finale del problema, affidandosi solo alle regole stesse.
I ricercatori hanno testato questo approccio su una grande varietà di problemi, inclusi la localizzazione delle strutture, la copertura di insiemi e diversi tipi di partizione, spaziando dai 15 ai 120 qubit. In quasi tutti i casi, il sistema poteva prevedere se un problema fosse adatto a questo tipo di riparazione prima ancora che l'esperimento iniziasse. Hanno scoperto che per certi tipi di problemi, gli errori tendono a rimanere localizzati, influenzando solo una piccola parte della soluzione, il che li rende facili da riparare. Per altri, gli errori sono più diffusi, e il sistema sa di dover evitare di perdere tempo cercando di ripararli. Questa capacità di distinguere tra problemi riparabili e non riparabili è una parte cruciala del design del sistema.
Ciò che rende questo lavoro particolarmente significativo è che è stato dimostrato su hardware reale ed esistente, non solo in una simulazione al computer. I risultati hanno mostrato che il metodo è abbastanza robusto da gestire il rumore imprevedibile di una macchina quantistica fisica. I ricercatori hanno anche dimostrato che i miglioramenti osservati non erano solo un colpo di fortuna o il risultato del lavoro svolto dal computer classico. Hanno eseguito test di controllo in cui hanno fornito al sistema rumore casuale, e il sistema non è riuscito a produrre buone risposte, dimostrando che la qualità dei risultati derivava dal computer quantistico stesso, con il sistema di riparazione che agiva come una rete di sicurezza.
Lo studio conclude che questo approccio offre un modo pratico per estendere la durata degli esperimenti quantistici sugli odierni dispositivi rumorosi. Non richiede la costruzione di un nuovo tipo di computer o l'attesa di macchine perfette e prive di errori. Inveve, utilizza le informazioni già presenti nel problema per recuperare dagli errori in tempo reale. Trasformando le regole del problema in uno strumento di recupero, i ricercatori hanno trovato un modo per mantenere ininterrotta la catena di eventi quantistici. Ciò consente agli scienziati di eseguire esperimenti più lunghi e complessi che prima erano impossibili, avvicinandoci un passo alla risoluzione dei problemi di ottimizzazione più difficili che i computer classici non possono gestire. Il metodo non è una soluzione magica per tutti gli errori, ma è un modo affidabile per mantenere in corso il processo quando il rumore altrimenti lo interromperebbe, aprendo una nuova finestra di scoperta nel campo dell'informatica quantistica.
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.