When Equivalent Quantum Circuits Lose Synthesis Choices
Questo articolo dimostra che la conversione dei circuiti quantistici attraverso formati intermedi come OpenQASM spesso distrugge le informazioni strutturali di alto livello, impedendo di fatto ai compilatori di applicare metodi di sintesi ottimali, e propone un framework "Verified" per registrare e ricostruire tali operazioni al fine di ripristinare le capacità di sintesi.
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 ai macchinari odierni millenni per essere decifrati, ma sono incredibilmente fragili. Per eseguire un programma, gli scienziati devono tradurre le loro idee complesse in una sequenza di istruzioni semplici che l'hardware possa effettivamente eseguire. Questa traduzione è fatta da un compilatore, un pezzo di software che agisce come un architetto capo. Il compilatore prende concetti di alto livello — come una trasformazione matematica usata per trovare schemi nei dati — e decide esattamente come costruirli usando gli strumenti specifici e limitati disponibili sul chip quantistico. Fondamentalmente, esiste spesso più di un modo per costruire queste strutture. Alcuni progetti utilizzano meno risorse e hanno meno probabilità di fallire, mentre altri sono più robusti ma più costosi. Il compito del compilatore è quello di scegliere il design migliore in base alle condizioni specifiche della macchina su cui sta lavorando.
Tuttavia, è stato scoperto un problema silenzioso nel modo in cui questi programmi vengono condivisi e spostati tra diversi strumenti software. Quando un programma quantistico viene salvato come testo per essere letto da un altro sistema, o quando viene convertito da un formato all'altro, le istruzioni dettagliate su come costruire una specifica parte del programma possono svanire. Il programma funziona ancora correttamente in senso matematico, ma il software ricevente perde la capacità di scegliere il design più efficiente. È costretto a usare un metodo di costruzione predefinito, spesso più goffo. Questo accade senza alcun segnale di avvertimento; il software non segnala errori e il risultato finale appare identico, eppure il circuito sottostante è diventato significativamente più grande e incline al fallimento.
I ricercatori Boshuai Ye, Peng Liang e Arif Ali Khan si sono posti l'obiettivo di misurare esattamente quanto spesso accada questo e quale sia il costo. Si sono concentrati su tre grandi framework software utilizzati dagli scienziati oggi: Qiskit, TKET e Cirq. Hanno testato cosa succede quando un circuito quantistico viene inviato attraverso un "viaggio di andata e ritorno", dove viene esportato come testo e immediatamente importato nuovamente, o quando viene passato tra diversi compilatori. I loro esperimenti hanno rivelato che in molti scenari comuni, le istruzioni di alto livello vengono rimosse. Ad esempio, quando un tipo specifico di porta veniva inviato attraverso uno scambio diretto basato su testo, il software che lo riceveva non era più in grado di applicare i suoi metodi di costruzione specializzati ed efficienti. Il programma girava ancora, ma era costretto a usare una costruzione generica e meno efficiente.
Le conseguenze di questa perdita non sono solo teoriche; sono misurabili e significative. In un test riguardante un circuito progettato per cercare elementi in un database, la perdita della capacità di scegliere il miglior metodo di costruzione ha causato un salto del 37,2 percento nel numero di porte a due qubit. Nel calcolo quantistico, le porte a due qubit sono le operazioni più soggette a errori, e aggiungere altre porte riduce drasticamente la possibilità di ottenere una risposta corretta. In un altro set di test, i ricercatori hanno scoperto che quando un programma veniva inviato attraverso uno scambio di testo, il numero di queste porte critiche aumentava di ben il 164 percento in alcuni casi. I ricercatori hanno notato che questa perdita di efficienza avviene silenziosamente. Il software non va in crash, e i controlli standard che verificano la logica del programma passano comunque, perché il programma calcola comunque la risposta giusta, solo in un modo molto più costoso.
Per risolvere questo problema, il team ha sviluppato uno strumento chiamato Verified. Invece di fare affidamento sul fatto che il software ricevente ricordi magicamente il design originale, Verified mantiene un registro separato dell'operazione di alto livello prima che venga inviata. Quando il programma ritorna, questo strumento controlla se il circuito ricevuto corrisponde ancora al registro originale. Se il circuito è stato alterato da altri processi in un modo che rende il registro obsoleto, lo strumento rifiuta di ricostruire l'operazione di alto livello, prevenendo gli errori. Se il registro è ancora valido, ricostruisce l'operazione di alto livello, ripristinando la capacità di scegliere il design più efficiente. Nei loro test, questo metodo ha ripristinato con successo i design efficienti richiesti in ogni singolo caso in cui era possibile, rifiutando correttamente i record che erano diventati obsoleti.
Lo studio conclude che preservare il calcolo non è sufficiente; gli strumenti software utilizzati per condividere e compilare i programmi quantistici devono anche preservare le scelte disponibili al compilatore. I ricercatori hanno scoperto che salvare semplicemente un programma come testo spesso distrugge queste scelte. Propongono che i futi strumenti dovrebbero segnalare esplicitamente quando una richiesta per un design specifico ed efficiente viene ignorata, e dovrebbero verificare qualsiasi registro utilizzato per ricostruire le operazioni di alto livello prima di farlo. Senza queste protezioni, il potenziale dei computer quantistici di superare le macchine classiche potrebbe essere minato da inefficienze non necessarie introdotte proprio durante il processo di condivisione e compilazione dei loro programmi.
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.