Mitigazione e correzione degli errori
Se il rumore è il vero limite del quantum, come lo combattiamo? Una scala a tre gradini — sopprimere, mitigare, correggere — per capire cosa funziona già oggi sui computer «rumorosi» e cosa serve per arrivare alle macchine fault-tolerant. Con il Dr. Federico Mattei di IBM.
▶
Il recap
La settimana scorsa abbiamo visto sei tecnologie hardware diverse e detto che il problema comune a tutte è uno solo: gli errori. In questa puntata lo affrontiamo di petto, con il Dr. Federico Mattei di IBM. Il modo più pulito per orientarsi è una scala a tre gradini. Primo gradino, la soppressione: si interviene a livello di impulsi e hardware per evitare che l'errore avvenga (tecniche come il dynamical decoupling), costa quasi nulla ma riduce soltanto, non elimina. Secondo gradino, la mitigazione: si lascia avvenire l'errore e poi lo si corregge statisticamente in post-elaborazione (ZNE, PEC, TEM). Non richiede qubit in più, ma molte più ripetizioni del circuito — ed è ciò che ci permette di ottenere valore già oggi, sui computer «rumorosi» NISQ. Il punto anti-hype cruciale: la mitigazione non scala. Più cresce il circuito, più ripetizioni servono, fino a diventare impraticabile. Per questo serve il terzo gradino, la correzione vera e propria (QEC): si codifica l'informazione nella ridondanza di molti qubit fisici per costruire pochi qubit logici affidabili, corretti in tempo reale. Qui IBM porta il suo Gross Code — un codice qLDPC che protegge 12 qubit logici con 288 qubit fisici, circa 10 volte più efficiente del surface code — e il chip sperimentale Loon, primo mattone con i coupler a lunga distanza che quel codice richiede. La destinazione dichiarata è Starling, il primo computer fault-tolerant su larga scala, atteso per il 2029. Il messaggio editoriale: la mitigazione è il ponte che usiamo oggi nell'attesa; la correzione è la destinazione. E non è una corsa solo IBM — è il muro contro cui corre tutto il settore.
I concetti chiave
- La scala a tre gradini: soppressione (evita l'errore, quasi gratis, oggi) → mitigazione (lo corregge a posteriori, oggi, ma non scala) → correzione/QEC (ridondanza su molti qubit, domani, fault-tolerant)
- Soppressione: si agisce a livello di impulsi e hardware (es. dynamical decoupling) per ridurre l'errore alla fonte — costa pochissimo ma riduce soltanto, non elimina
- Mitigazione: niente qubit in più, ma molte più ripetizioni del circuito. È l'approccio dominante nell'era NISQ per estrarre valore dai computer «rumorosi» di oggi
- ZNE (Zero-Noise Extrapolation): si esegue lo stesso circuito aumentando di proposito il rumore a livelli diversi e si estrapola al punto di 'rumore zero'. È una stima, non magia — funziona solo entro certi limiti
- PEC e TEM: altre tecniche di mitigazione. TEM (Algorithmiq) usa reti tensoriali in post-elaborazione e regge oltre 50 qubit
- Il limite anti-hype: la mitigazione non porta a un vantaggio quantistico arbitrariamente grande — il costo in ripetizioni cresce in modo esplosivo col rumore e con la dimensione del circuito. È il motivo per cui serve comunque la correzione
- QEC (correzione d'errore): codifica l'informazione nella ridondanza di molti qubit fisici → pochi qubit logici affidabili, corretti in tempo reale. Più 'distanza' del codice = più protezione = più qubit
- Gross Code (IBM, 2024): codice qLDPC che protegge 12 qubit logici con 288 qubit fisici (144 dati + 144 di controllo) per ~1 milione di cicli — ~10× più efficiente del surface code, ma richiede connessioni a lunga distanza tra qubit
- Loon (IBM, fine 2025): chip sperimentale che porta a bordo i componenti per la correzione qLDPC, inclusi i coupler a lunga distanza; Starling (2029): primo computer fault-tolerant su larga scala dichiarato da IBM
- Decoder e magic state distillation: il decoder è l'hardware classico che legge in tempo reale le sindromi d'errore (player chiave Riverlane); la magic state distillation è l'operazione che abilita il calcolo universale ed è spesso la parte più costosa di una macchina fault-tolerant
- Nasce un'economia del software d'errore: startup come Algorithmiq, QEDMA e Q-CTRL dentro il Qiskit Functions Catalog — un mercato attorno alla gestione degli errori (aggancio alla prossima puntata sul software)
- La correzione d'errore non è un traguardo solo IBM: Google, Quantinuum e gli atomi neutri corrono tutti verso lo stesso muro — 'nel quantum si gareggia sui qubit logici, non sui qubit'
Perché conta
Per investitori, manager e ricercatori, la gestione degli errori è la lente con cui distinguere i progressi reali dagli annunci. La domanda giusta davanti a una macchina non è 'quanti qubit', ma 'quanto valore riesce a produrre nonostante il rumore — e con quale strategia'. La mitigazione spiega cosa si può fare già oggi (e perché ha un tetto strutturale); la correzione d'errore spiega da cosa dipenderà chi vincerà la partita di lungo periodo. Roadmap come il 2029 di IBM vanno lette come promesse con rischi, non come fatti acquisiti: il track record è buono, ma restano nodi tecnici aperti — decoder real-time, integrazione hardware, costo della magic state distillation. E poiché il collo di bottiglia è comune a tutto il settore, è anche il terreno su cui si gioca la competizione industriale e la sovranità tecnologica.
Risorse
Glossario della puntata
Soppressione degli errori
Primo gradino: tecniche a livello di impulsi e hardware (es. dynamical decoupling) che riducono il rumore alla fonte, evitando che l'errore avvenga. Costa pochissimo, ma riduce soltanto — non elimina.
Error mitigation (mitigazione)
Secondo gradino: si lascia avvenire l'errore e lo si corregge statisticamente in post-elaborazione, senza qubit aggiuntivi ma con molte più ripetizioni del circuito. Approccio dominante nell'era NISQ; il suo costo cresce in modo esplosivo e non scala all'infinito.
ZNE (Zero-Noise Extrapolation)
Tecnica di mitigazione: si esegue lo stesso circuito aumentando di proposito il rumore a più livelli, si osserva come peggiora il risultato e si estrapola al punto di 'rumore zero'. È una stima statistica, affidabile solo entro certi limiti.
PEC (Probabilistic Error Cancellation)
Tecnica di mitigazione che ricostruisce il risultato 'senza rumore' combinando esecuzioni con rumore caratterizzato in modo controllato. Più accurata della ZNE ma più costosa in numero di ripetizioni.
TEM (Tensor-network Error Mitigation)
Tecnica di mitigazione di Algorithmiq basata su reti tensoriali in post-elaborazione, capace di gestire circuiti oltre i 50 qubit. 'Cugina' della ZNE: stesso scopo, matematica diversa.
Error correction / QEC (correzione d'errore)
Terzo gradino: si codifica l'informazione nella ridondanza di molti qubit fisici entangled per costruire qubit logici affidabili, rilevando e correggendo gli errori in tempo reale senza misurare l'informazione codificata. È la chiave del calcolo fault-tolerant.
qLDPC (quantum Low-Density Parity-Check)
Famiglia di codici di correzione d'errore ad alta efficienza: proteggono molti qubit logici con relativamente pochi qubit fisici, al prezzo di richiedere connessioni a lunga distanza tra i qubit. Il Gross Code di IBM ne è un esempio.
Gross Code
Codice qLDPC introdotto da IBM nel 2024 (bivariate bicycle): protegge 12 qubit logici usando 288 qubit fisici (144+144) per circa un milione di cicli. ~10× più efficiente del surface code. Il nome viene da 144 = una 'grossa' (dozzina di dozzine).
Surface code
Il codice di correzione d'errore più studiato: robusto e con soglia di errore favorevole, ma molto costoso — richiede dell'ordine di 1.000 qubit fisici per ogni qubit logico, contro i ~24 del Gross Code.
Decoder
Hardware/software classico che legge in tempo reale i segnali d'errore (le 'sindromi') prodotti dal codice di correzione e stabilisce quali errori correggere. Se è troppo lento, gli errori si accumulano. Player chiave: Riverlane.
Magic state distillation
Procedura che produce gli 'stati magici' necessari per le operazioni (come il gate T) che rendono universale il calcolo fault-tolerant. È spesso la componente più costosa, in qubit e tempo, di un computer quantistico corretto.
Loon
Chip sperimentale IBM (fine 2025) che integra a bordo i componenti per la correzione qLDPC, inclusi i coupler a lunga distanza richiesti dal Gross Code. Primo mattone hardware verso la correzione d'errore a scala.
Starling
Il primo computer quantistico fault-tolerant su larga scala dichiarato da IBM, atteso per il 2029. Rappresenta la 'destinazione' verso cui puntano la roadmap e i building block come Loon.
Fault-tolerant
Regime in cui un computer quantistico continua a calcolare correttamente nonostante gli errori, perché li corregge man mano. È il traguardo che rende eseguibili algoritmi arbitrariamente lunghi.
