A Useful Metric for the NISQ Era: Qubit Error Probability and Its Role in Zero Noise Extrapolation

Titolo: Una Metrica Utile per l'Era NISQ: La Probabilità di Errore del Qubit e il suo Ruolo nell'Estrapolazione a Rumore Zero

1. Il Problema

Nell'era dei computer quantistici a scala intermedia rumorosa (NISQ), l'estrazione di risultati utili è ostacolata dall'intrinseca instabilità dell'hardware. I dispositivi attuali, basati su qubit transmon, soffrono di cinque limitazioni principali:

• Instabilità temporale: I qubit decadono dallo stato eccitato a quello fondamentale (rilassamento) o subiscono cambiamenti di fase (decoerenza) su scale temporali dell'ordine di centinaia di microsecondi.
• Rumore delle porte: Le operazioni (gate) introducono errori progressivi, specialmente nei gate a due qubit.
• Errori di misura: La lettura dello stato del qubit è soggetta a imprecisioni.
• Crosstalk: Interazioni indesiderate tra qubit adiacenti.
• Limitazione delle risorse: Il numero di qubit fisici è limitato.

Un problema critico nella mitigazione degli errori, in particolare nella tecnica di Estrapolazione a Rumore Zero (ZNE), è la quantificazione imprecisa dell'errore. I metodi standard (es. implementati in Qiskit) spesso assumono che l'errore di un circuito aumenti linearmente con la sua profondità (numero di copie del circuito), un'approssimazione dubbia che non tiene conto della complessità delle interazioni fisiche e della specifica topologia dell'hardware. Inoltre, molte tecniche di mitigazione richiedono simulazioni classiche per validare i risultati, cosa che diventa impossibile man mano che i computer quantistici superano le capacità classiche.

2. Metodologia

Gli autori propongono una nuova metrica, la Probabilità di Errore del Qubit (QEP - Qubit Error Probability), e la integrano nel protocollo ZNE.

• Definizione della QEP:
  La QEP è una metrica specifica per dispositivo che combina le probabilità di errore da tutte le fonti (rilassamento, dephasing, gate, misura) in un singolo valore per qubit, calcolabile prima dell'esecuzione del circuito.
  La probabilità di successo $S_j$ del qubit $j$ è calcolata come il prodotto delle probabilità di non commettere errori da ciascuna fonte:
  $$S_j = \prod_{i} (1 - P_{ij})$$
  Dove $P_{ij}$ include:

  • Errori di misura ($P^{meas}_j$).
  • Errori di instabilità (rilassamento e dephasing) modellati come decadimento esponenziale $P^{\tau}_j = 1 - e^{-t_j/\tau}$.
  • Errori dei gate ($P^{gate}_{ij}$), considerando sia i gate diretti che quelli che agiscono sui qubit di controllo nei gate a due qubit.
    La QEP finale è $P_j = 1 - S_j$. Per la mitigazione, viene utilizzata la media della QEP su tutti i qubit del circuito.

• Strumento Software (TED-qc):
  Gli autori utilizzano uno strumento pre-elaborazione open-source, TED-qc, che analizza i circuiti quantistici, estrae i parametri di calibrazione dall'API di IBM e calcola le probabilità di errore totali e per qubit.

• Protocollo ZNE Guidato dalla QEP:
  Invece di amplificare il rumore semplicemente duplicando il circuito (che aumenta la profondità in modo non lineare rispetto all'errore effettivo), il metodo proposto:

  1. Inserisce coppie di gate nativi a due qubit controllati (gate CZ su IBM Heron) su tutte le coppie di qubit connessi.
  2. Poiché una coppia di gate identici è un'operazione unitaria che annulla se stessa, il valore di aspettazione teorico rimane invariato, ma il tempo di esecuzione e l'esposizione al rumore aumentano.
  3. Si eseguono circuiti con fattori di amplificazione crescenti (1, 2, 3, ecc.).
  4. Si traccia il valore osservabile (es. magnetizzazione) in funzione della media QEP calcolata per ciascun livello di amplificazione.
  5. Si esegue una regressione lineare per estrapolare il valore al limite di QEP zero.

• Setup Sperimentale:
  I test sono stati condotti su processori IBM Quantum Heron (sistema ibm_torino).

  • Modello: Simulazione della dinamica temporale del modello di Ising bidimensionale in campo trasverso, discretizzata tramite decomposizione di Trotter del primo ordine.
  • Configurazioni:
    1. Punto di Clifford ($h=0$): Catene fino a 68 qubit, confronto con soluzione analitica esatta.
    2. Punti non-Clifford ($h \neq 0$): Catene fino a 32 qubit, confronto con simulazione classica.
  • Mitigazione aggiuntiva: Utilizzo della tecnica T-REX per correggere gli errori di misura prima dell'applicazione della ZNE.

3. Contributi Chiave

1. Nuova Metrica (QEP): Introduzione di una figura di merito specifica per dispositivo che aggrega rilassamento, dephasing, errori di gate e misura in un'unica probabilità per qubit, superando la visione semplificata della "profondità del circuito".
2. Ottimizzazione della ZNE: Sostituzione della variabile di controllo nella ZNE (solitamente il fattore di amplificazione del rumore) con la media QEP. Questo permette una mappatura più accurata e trasparente tra il rumore fisico effettivo e il risultato osservato.
3. Efficienza Computazionale: Il metodo richiede solo tre valutazioni con rumore scalato (fattori 1, 2, 3) e nessuna elaborazione post-classica complessa (a differenza di tecniche come la Cancellazione Probabilistica degli Errori - PEC, che scala esponenzialmente).
4. Validazione su Hardware Reale: Dimostrazione pratica su un processore superconduttore moderno (Heron) con fino a 68 qubit, un numero significativo per l'era NISQ.

4. Risultati

• Migliore Mitigazione dell'Errore: La ZNE guidata dalla QEP riduce l'errore osservabile in modo più efficace rispetto alla ZNE standard, specialmente in regimi dove il circuito grezzo ha una QEP media finita (tipicamente tra 0.1 e 0.6).
• Superiorità nella Profondità Intermedia: Per circuiti con un numero di passi di Trotter tra 6 e 16, il metodo proposto supera la ZNE standard. La ZNE standard fallisce in questi regimi perché l'amplificazione basata sulla semplice duplicazione del circuito non corrisponde linearmente all'aumento dell'errore fisico, portando a stime inaccurate.
• Linearità: È stata confermata l'ipotesi che l'errore (specialmente nella magnetizzazione) scala linearmente con la QEP media, rendendo la regressione lineare un metodo di estrapolazione robusto e preferibile rispetto a estrapolazioni esponenziali che possono introdurre grandi deviazioni.
• Scalabilità: Il metodo è stato testato con successo su catene di 68 qubit, dimostrando che non è limitato da vincoli di risorse computazionali classiche per la validazione.

5. Significato

Questo lavoro rappresenta un passo avanti significativo verso l'affidabilità dei calcoli quantistici nell'era NISQ senza ricorrere alla correzione completa degli errori quantistici (QEC), che richiede migliaia di qubit fisici.

• Praticità: Offre una via pratica per migliorare la fedeltà dei risultati su hardware superconduttore attuale, con costi computazionali minimi.
• Trasparenza: La QEP fornisce una comprensione fisica diretta dell'errore, collegando i parametri di calibrazione dell'hardware ai risultati del calcolo.
• Generalità: Sebbene testato su IBM, il metodo è hardware-agnostico e può essere adattato ad altre piattaforme quantistiche.
• Impatto Futuro: L'integrazione della QEP nella ZNE apre la strada a simulazioni quantistiche più accurate di sistemi a molti corpi (come il modello di Ising), accelerando il percorso verso il vantaggio quantistico in applicazioni reali come la chimica quantistica e la scienza dei materiali.