Gli algoritmi quantistici sono il motivo per cui il computer quantistico esiste. Senza procedure capaci di trasformare sovrapposizione e entanglement in risposte utili, l'hardware sarebbe soltanto fisica elegante. Questa pagina è la mappa del territorio. Spiega cosa distingue un algoritmo quantistico da uno classico, presenta i capostipiti Deutsch-Jozsa e Grover e il celebre algoritmo di Shor, descrive la famiglia variazionale che domina l'era attuale e la stima di fase che ne unifica molti, e offre una guida onesta a quali accelerazioni sono dimostrate e quali soltanto sperate, fino a come progettarli e testarli in emulazione quantistica. Il taglio è operativo. Ogni sezione dice cosa è dimostrato, cosa è promettente e cosa è marketing, perché è su questa distinzione che si giocano le decisioni di investimento.
Cosa sono gli algoritmi quantistici?
Gli algoritmi quantistici sono procedure di calcolo progettate per l'architettura a circuiti dei processori quantistici. Si tratta di sequenze di porte che preparano sovrapposizioni, codificano il problema nelle fasi e orchestrano l'interferenza in modo che la misura finale restituisca la soluzione con probabilità elevata. La differenza rispetto a una ricetta classica non sta nella velocità del singolo passo, ma nella struttura. Un algoritmo quantistico lavora su tutte le configurazioni insieme, e l'abilità del progettista sta nel far emergere quella giusta. Contrariamente a una vulgata diffusa, la potenza non nasce dal provare tutte le soluzioni in parallelo e leggerle una per una, cosa che la misura quantistica non consente, ma dal far interferire i cammini di calcolo così che quelli sbagliati si cancellino a vicenda. Il catalogo accademico di riferimento, lo Quantum Algorithm Zoo, censisce centinaia di varianti, ma le famiglie che contano davvero per le applicazioni si contano sulle dita di due mani.
In cosa differiscono dagli algoritmi classici?
In tre proprietà strutturali. Primo, l'input viene spesso interrogato in sovrapposizione, cioè su molte configurazioni simultaneamente, cosa priva di senso per una CPU. Secondo, il progresso non si misura in passi eseguiti ma in ampiezze spostate; la grandezza da ottimizzare è la probabilità dell'esito corretto. Terzo, l'output è una distribuzione e non un valore, e la ripetizione statistica delle esecuzioni è parte dell'algoritmo, non un difetto. Ne segue una conseguenza pratica spesso trascurata. Confrontare un algoritmo quantistico con uno classico richiede di contare le risorse totali, shot compresi, come discusso nel confronto computer quantistico vs computer classico. Per questo i lavori seri riportano sempre il conteggio delle porte e delle interrogazioni all'oracolo invece dei secondi di esecuzione, perché sono le metriche indipendenti dall'hardware con cui gli algoritmi quantistici si confrontano tra loro. Un articolo che dichiara un vantaggio in tempo di calcolo senza dichiarare queste grandezze va letto come materiale promozionale, non come risultato scientifico.
Cosa fa l'algoritmo di Deutsch-Jozsa e perché è importante?
Risolve un problema volutamente artificiale, cioè stabilire con una sola interrogazione se una funzione binaria è costante o bilanciata, dove il caso peggiore classico ne richiede la metà più uno. Nessuno lo usa in produzione, ma il suo valore è fondativo. Fu la prima dimostrazione, nel 1992, che l'interferenza può estrarre una proprietà globale di una funzione senza valutarla punto per punto. È il "ciao mondo" degli algoritmi quantistici, il primo circuito che chiunque studi la materia esegue, e in emulazione resta l'esempio didattico perfetto, perché è piccolo, esatto e con ogni passaggio dell'interferenza visibile. Chi lo ha ispezionato una volta, gate per gate, capisce il principio che regge tutti gli algoritmi successivi.
Come funziona l'algoritmo di Grover?
Grover affronta la ricerca non strutturata, ovvero trovare l'unico elemento marcato tra N possibilità. Classicamente servono in media N/2 tentativi, mentre Grover ne richiede circa √N, un vantaggio quadratico dimostrato e ottimale. Il meccanismo è l'amplificazione di ampiezza. Si parte dalla sovrapposizione uniforme, un oracolo inverte la fase dell'elemento cercato e una riflessione attorno alla media travasa ampiezza verso di esso; ripetendo la coppia di operazioni circa (π/4)√N volte, la probabilità di misurarlo diventa quasi certa. Su un miliardo di voci significa passare da cinquecento milioni a poco più di trentamila interrogazioni. Non è un miracolo esponenziale, ma è un moltiplicatore rispettabile sui problemi di forza bruta, dalla ricerca in database non indicizzati all'attacco a chiavi simmetriche, dove infatti impone di raddoppiare le lunghezze di chiave. Va ricordato un vincolo pratico. Per battere il parallelismo classico massiccio servono porte quantistiche veloci e con tassi d'errore bassi; anche qui sono i conti totali a decidere se il vantaggio teorico sopravvive sull'hardware.
Cosa rende speciale l'algoritmo di Shor?
È l'algoritmo che ha trasformato il calcolo quantistico da curiosità accademica a questione di sicurezza nazionale. Fattorizza interi in tempo polinomiale, dove i migliori metodi classici restano superpolinomiali, e con ciò mina RSA e gran parte della crittografia a chiave pubblica in uso. Il vantaggio è esponenziale, e la sua struttura, che riduce il problema alla ricerca di un periodo e usa la trasformata di Fourier quantistica per trovarlo, è il prototipo di un'intera classe di tecniche. Va detto con altrettanta chiarezza che eseguirlo su chiavi reali richiede milioni di qubit fisici con correzione d'errore, una scala ancora lontana; la minaccia è però già operativa per chi archivia oggi dati cifrati da decifrare domani. Per l'analisi completa, dai fondamenti matematici alle stime di risorse per RSA-2048, rimandiamo alla pagina dedicata all'algoritmo di Shor e alle contromisure della crittografia post-quantistica.
Cosa è il sistema di crittografia a chiave pubblica RSA
RSA, dal nome degli inventori Rivest, Shamir e Adleman che lo pubblicarono nel 1977, è il sistema di crittografia a chiave pubblica più diffuso al mondo. Risolve un problema antico, cioè scambiarsi messaggi cifrati senza essersi prima scambiati una chiave segreta, e lo fa con una coppia di chiavi matematicamente legate. La chiave pubblica si distribuisce a chiunque e serve per cifrare, la chiave privata resta al destinatario e serve per decifrare; lo stesso meccanismo, usato al contrario, produce le firme digitali. La sicurezza poggia su un'asimmetria computazionale. Generare le chiavi è facile, perché basta scegliere due numeri primi molto grandi p e q e moltiplicarli ottenendo n; rompere il sistema richiede l'operazione inversa, cioè fattorizzare n per risalire a p e q, un compito che per un intero da 2048 bit richiede con i migliori metodi classici tempi superiori all'età dell'universo. Tecnicamente il messaggio diventa un numero m, la cifratura calcola c = me mod n con l'esponente pubblico e, la decifratura calcola m = cd mod n con l'esponente privato d, ricavabile solo conoscendo p e q. Nella pratica RSA cifra quasi sempre una chiave simmetrica usa e getta, ad esempio AES, che poi protegge il traffico vero e proprio; è il modello ibrido su cui si reggono HTTPS, VPN, firme digitali e transazioni bancarie. L'algoritmo di Shor fattorizza in tempo polinomiale e demolisce quindi esattamente l'asimmetria su cui RSA si fonda. Contro qualunque attacco classico noto, invece, RSA resta sicuro se implementato correttamente e con chiavi adeguate; le violazioni reali nascono quasi sempre da implementazioni difettose, non dalla matematica.
Cosa sono gli algoritmi variazionali VQE e QAOA?
La famiglia regina dell'era NISQ. L'idea è semplice. Un circuito parametrico corto, eseguibile anche su hardware rumoroso, prepara uno stato di prova; il processore quantistico ne misura l'energia o il costo; un ottimizzatore classico aggiorna i parametri e si itera fino alla convergenza. VQE (Variational Quantum Eigensolver) cerca stati fondamentali di molecole e materiali, ed è il cavallo di battaglia della simulazione quantistica applicata; QAOA (Quantum Approximate Optimization Algorithm) attacca l'ottimizzazione combinatoria. Il rovescio della medaglia va detto con onestà. Le garanzie teoriche di vantaggio sono deboli e la qualità dipende dal disegno del circuito e dall'ottimizzatore, che deve inoltre evitare i cosiddetti barren plateau, regioni in cui il gradiente si appiattisce e l'apprendimento si ferma. Per questo la prototipazione empirica, tipicamente in emulazione, è indispensabile prima di qualunque promessa al management.
Che cos'è la stima di fase quantistica?
Questa sezione è per il lettore con formazione scientifica. La stima di fase (QPE) è la subroutine che unifica gli algoritmi esatti. Dato un operatore unitario U e un suo autovettore |u⟩ con U|u⟩ = e2πiφ|u⟩, la QPE stima la fase φ con n bit di precisione usando un registro ausiliario di n qubit. Le applicazioni controllate di U elevato alle potenze di 2 scrivono la fase nei qubit ausiliari, e la trasformata di Fourier quantistica inversa la converte in binario leggibile. La QFT su n qubit richiede O(n²) porte contro le O(n2n) operazioni della FFT classica sull'intero vettore. Shor è, in essenza, una QPE applicata all'operatore di moltiplicazione modulare, mentre la chimica quantistica esatta la usa sull'evoluzione hamiltoniana. Chi padroneggia la QPE possiede quindi la chiave di lettura di gran parte del catalogo esatto.
Quali accelerazioni sono dimostrate e quali solo attese?
Ecco la tassonomia onesta, aggiornata allo stato della ricerca. Dimostrate matematicamente sono l'accelerazione esponenziale per fattorizzazione e logaritmo discreto (Shor) e per la simulazione di dinamiche quantistiche, e quella quadratica per la ricerca non strutturata (Grover). Attese ma non provate in generale sono i vantaggi variazionali su ottimizzazione e quantum machine learning, dove i risultati di "dequantizzazione" hanno ridimensionato più di un annuncio. Da leggere con cautela è ogni claim di accelerazione che non specifichi rispetto a quale algoritmo classico e con quali risorse totali. La regola professionale è confrontare sempre contro la migliore baseline classica nota, mai contro la forza bruta. Un secondo criterio di igiene è distinguere i risultati asintotici, validi per istanze grandi su macchine corrette, dalle prestazioni misurabili oggi su hardware rumoroso. Molte delusioni pubblicate nascono dal confondere i due piani, e molte presentazioni commerciali confidano proprio in questa confusione.
Come si progettano e si testano gli algoritmi quantistici?
Con un ciclo che ricorda lo sviluppo software ordinario, ma con vincoli propri. Si parte da istanze piccole del problema, si scrive il circuito in un framework come Qiskit o PennyLane, e lo si esegue dove ogni grandezza è osservabile, cioè in un ambiente di emulazione, in cui ampiezze, fasi e stati intermedi sono ispezionabili e ogni esecuzione è riproducibile. Qui si verifica la correttezza, si misura la resistenza al rumore attivando modelli di errore calibrati, si stima come scalano profondità e shot al crescere dell'istanza. Solo dopo, e solo se serve, si passa all'hardware reale con una baseline di riferimento già in mano, così che ogni euro speso in accesso alle macchine produca un confronto e non una speranza. È il flusso di lavoro nativo della piattaforma EQM, descritto nella pagina su come funziona un computer quantistico.
Da dove iniziare a studiarli?
Dal percorso che l'esperienza didattica ha selezionato. Prima i concetti di qubit, sovrapposizione e interferenza; poi Deutsch-Jozsa eseguito e ispezionato passo passo; quindi Grover su istanze da pochi qubit, dove l'amplificazione di ampiezza si vede letteralmente crescere; infine un variazionale semplice su un problema reale ridotto. Ogni tappa si svolge in emulazione, dove l'errore concettuale emerge subito e senza costi. Per i team aziendali, HumanQ struttura questo percorso in formazione guidata di poche settimane, con l'obiettivo di arrivare a un proof of concept, perché gli algoritmi quantistici si imparano eseguendoli, non leggendoli. Il tempo tipico per portare un ingegnere del software da zero a un variazionale funzionante è di quattro-sei settimane di pratica guidata, un investimento piccolo rispetto al valore di saper leggere criticamente il settore e di distinguere un risultato da un comunicato stampa.
Progetta il tuo primo algoritmo quantistico
Con la piattaforma EQM sviluppi, ispezioni e confronti algoritmi quantistici su casi d'uso reali, con formazione guidata e metriche oggettive. Scopri l'emulazione quantistica, valuta la quantum readiness della tua azienda o contatta il team HumanQ.