The cost of simulating classically tractable quantum circuits and dynamics
Questo articolo dimostra che l'esistenza di algoritmi classici in tempo polinomiale per simulare determinati circuiti quantistici non garantisce l'efficienza pratica, poiché regimi specifici che coinvolgono i costi dell'hardware, gli overhead di campionamento e il pre-processing possono rendere l'esecuzione diretta su hardware quantistico più veloce della simulazione classica.
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
Nella corsa alla costruzione di computer quantistici utili, gli scienziati affrontano una domanda fondamentale: quando un problema può essere risolto da una macchina quantistica, è effettivamente meglio lasciare che la macchina faccia il lavoro o cercare di risolverlo su un computer normale? I computer quantistici sono famosi per la loro capacità di elaborare informazioni in modi che sembrano impossibili per le macchine classiche, ma sono anche fragili, costosi e difficili da operare. Per decenni, i ricercatori hanno saputo che certi tipi di circuiti quantistici — specifiche disposizioni di gate quantistici — possono essere simulati su computer ordinari senza bisogno di un dispositivo quantistico. Questi sono i circuiti "classicamente trattabili" e, per molto tempo, l'assunto è stato che se un computer poteva simularli, allora doveva farlo. La logica era semplice: perché pagare per un computer quantistico raro e difficile da accedere quando un normale laptop può fare il lavoro?
Tuttavia, questo assunto si basava su un'idea matematica chiamata "tempo polinomiale", che descrive come il tempo necessario per risolvere un problema cresca man mano che il problema diventa più grande. Sebbene ciò indichi che una soluzione esiste in teoria, non dice quanto tempo ci vorrà effettivamente nella pratica. Un calcolo che cresce abbastanza lentamente da essere considerato "efficiente" nei libri di testo di matematica potrebbe comunque richiedere anni per essere eseguito su una macchina reale se i numeri di partenza sono sufficientemente grandi. Inoltre, simulare un sistema quantistico su un computer classico richiede spesso una quantità massiccia di dati sullo stato iniziale del sistema, che deve essere essa stessa raccolta dal mondo quantistico. Questa nuova ricerca pone una domanda più pratica: se sappiamo che un processo quantistico può essere simulato classicamente, è effettivamente più veloce, economico o efficiente farlo piuttosto che eseguire semplicemente il processo sull'hardware quantistico stesso?
I ricercatori, lavorando in diverse istituzioni tra cui il Los Alamos National Laboratory e l'Organizzazione Europea per la Ricerca Nucleare, si sono posti l'obiettivo di rispondere a questo quesito confrontando due percorsi distinti. Il primo percorso è l'approccio diretto: prendono un circuito quantistico, preparano lo stato quantistico necessario, eseguono l'evoluzione su un hardware quantistico reale e misurano il risultato. Questa è la "Simulazione Quantistica". Il secondo percorso è la "Simulazione Classica", in cui utilizzano una scaltrica scorciatoia matematica per sostituire l'evoluzione quantistica con un calcolo su un computer standard. Fondamentalmente, hanno riconosciuto che questa scorciatoia richiede spesso un passaggio iniziale in cui devono comunque raccogliere informazioni sullo stato quantistico utilizzando l'hardware quantistico. Hanno analizzato diverse famiglie specifiche di circuiti che sono noti per essere simulabili classicamente, inclusi quelli utilizzati nella chimica quantistica e nell'apprendimento automatico, e hanno tracciato tre costi specifici: quante volte l'hardware quantistico doveva essere accessato, quanto tempo il circuito quantistico impiegava per l'esecuzione e quanto tempo il computer classico impiegava per elaborare i numeri.
I loro risultati rivelano che la risposta non è un semplice "sì" o "no". In molti casi, la simulazione classica è effettivamente la scelta migliore, ma solo se lo stesso circuito viene eseguito molte volte. Se un ricercatore deve testare un circuito quantistico solo una o due volte, il tempo e il denaro spesi per raccogliere i dati iniziali per la scorciatoia classica superano spesso il costo di eseguire semplicemente il circuito sul computer quantistico. Il metodo classico agisce come un investimento pesante: si paga un alto costo iniziale per costruire un modello, ma poi si possono eseguire migliaere variazioni in modo molto economico. Il metodo quantistico non ha costi iniziali, ma si paga una piccola quota ogni singola volta che lo si esegue. I ricercatori hanno scoperto che per certi tipi di circuiti, il "punto di pareggio" in cui il metodo classico diventa più economico avviene solo dopo centinaia o migliaia di esecuzioni. Per altri tipi di circuiti, il metodo classico è così computazionalmente pesante che il computer quantistico rimane più veloce ed economico anche per un gran numero di esecuzioni.
Una delle scoperte più sorprendenti è stata che il costo della simulazione classica non riguarda solo la velocità del computer, ma anche il prezzo di accesso all'hardware quantistico. Nell'attuale era del calcolo quantistico basato sul cloud, gli utenti spesso pagano per ogni "shot" (scatto), o per ogni misurazione. I ricercatori hanno calcolato che, per alcuni circuiti, la raccolta iniziale dei dati necessaria per la simulazione classica potrebbe costare più dell'esecuzione dell'intero esperimento sul computer quantistico, semplicemente perché l'accesso all'hardware quantistico è molto costoso al momento. Questo crea uno scenario in cui un metodo che è teoricamente "efficiente" è in realtà proibitivo dal punto di vista economico nel mondo reale. Lo studio ha anche evidenziato che la complessità del problema conta immensamente. Per i circuiti che coinvolgono interazioni semplici, la scorciatoia classica funziona bene. Ma man mano che le interazioni diventano più complesse, il carico di lavoro del computer classico esplode, rendendo l'hardware quantistico la scelta più pratica nonostante la sua reputazione di essere difficile da usare.
L'articolo conclude che sapere che un processo quantistico è "classicamente simulabile" non è sufficiente per decidere come eseguirlo. La decisione dipende interamente dai dettagli specifici del problema: quante volte il circuito deve essere eseguito, la complessamente delle interazioni e il costo attuale di accesso all'hardware quantistico. I ricercatori sottolineano che il confine tra ciò che un computer quantistico può fare e ciò che un computer classico può fare non è una linea fissa, ma un paesaggio mutevole che cambia in base alle risorse e alla scala. Suggeriscono che, per ora, l'esistenza di un algoritmo classico non significa automaticamente che dovremmo smettere di usare l'hardware quantistico. Inveve, gli scienziati devono pesare i costi iniziali di raccolta dei dati rispetto ai costi ricorrenti di accesso al quantum. In definitiva, la via più efficiente non è determinata da una prova matematica da sola, ma da un attento conteggio di tempo, denaro e delle specifiche richieste del compito a mano.
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.