Mitigating errors in state preparation and measurement with noncomputational states

Sintesi Tecnica: Mitigazione degli Errori nella Preparazione dello Stato e nella Misurazione con Stati Non Computazionali

Problematica
Le attuali tecniche di mitigazione degli errori per il calcolo quantistico si basano spesso su metodi sensibili al rumore che richiedono una caratterizzazione fedele dei canali di rumore dell'hardware. Tuttavia, esiste un limite fondamentale quando si tenta di separare gli errori di preparazione dello stato e di misurazione (SPAM) dagli errori di gate, o di distinguere gli errori di preparazione dello stato dagli errori di misurazione. Nei framework standard limitati allo spazio computazionale, specifici gradi di libertà del modello di rumore sono "non apprendibili" (identificati matematicamente come lo spazio di taglio di un grafo ciclico). Di conseguenza, la mitigazione congiunta degli errori SPAM può portare a inesattezze, come l'over-compensazione osservata nella tecnica Twirled Readout Error Extinction (TREX). Quando l'insieme di qubit affetti da errori di preparazione dello stato differisce dal supporto dell'osservabile misurato, la TREX può produrre valori di aspettativa non fisici (ad esempio, valori superiori a 1 o inferiori a -1). I protocolli esistenti di caratterizzazione del rumore auto-consistente, pur essendo sufficienti per circuiti unitari, non rivelano la "verità fondamentale" (ground truth) per tutti i parametri (specificamente per gli errori di preparazione dello stato), limitando la loro applicabilità a circuiti dinamici con misurazioni nel mezzo del circuito (MCM) e feed-forward classico.

Metodologia
Gli autori propongono di sfruttare gli stati non computazionali (specificamente lo stato $|2\rangle$ nei qubit transmon superconduttori) come una risorsa aggiuntiva per rompere la simmetria che rende gli errori di preparazione dello stato non apprendibili.

1. Caratterizzazione degli Errori di Preparazione dello Stato: Il protocollo utilizza un esperimento RabiEF (oscillazioni di Rabi nel sottospazio $|1\rangle \leftrightarrow |2\rangle$) per misurare direttamente la fedeltà di preparazione dello stato ($f_{sp}$) di un reset passivo. Attendendo la termalizzazione (reset passivo), il qubit entra in uno stato termico con una popolazione nota nello stato eccitato. Il segnale RabiEF consente la stima precisa della probabilità $p_{sp}$ di trovare il qubit in $|1\rangle$, isolando efficacemente l'errore di preparazione dello stato dal rumore di misurazione.
2. Mitigazione Divisa degli Errori SPAM: Gli autori dimostrano che, conoscendo indipendentemente $f_{sp}$, è possibile correggere il fattore di mitigazione TREX. Inveve di normalizzare il valore di aspettativa grezzo $\langle O \rangle_{raw}$ per un fattore $\langle Z^\star \rangle$ che confonde errori di stato e di misurazione, il valore grezzo viene normalizzato mediante un prodotto delle fedeltà di preparazione dello stato note e del fattore di correzione della misurazione. Questa "mitigazione divisa" (split mitigation) evita l'over-correzione.
3. Modello di Rumore per le Misurazioni nel Mezzo del Circuito (MCM): Il documento introduce un modello di rumore completo per le MCM che include tre canali di errore: errori di stato (bit flip sul qubit), errori di assegnazione (bit flip sul bit classico) ed errori correlati (flip simultanei). Questo modello viene appreso tramite Measurement Cycle Benchmarking (MCB).
4. Protocollo Completo: Il workflow proposto prevede:
   • Apprendimento della fedeltà di preparazione dello stato ($f_{sp}$) tramite RabiEF (utilizzando reset passivi lenti o rapidi reset di qutrit attivi).
   • Apprendimento delle fedeltà di rumore di misurazione ($f_a, f_s, f_c$) tramite MCB.
   • Combinazione di questi parametri per specificare completamente il modello di rumore, permettendo la separazione degli errori SPAM in circuiti dinamici.
   • Applicazione di tali parametri a schemi di mitigazione dell'errore come la Probabilistic Error Cancellation (PEC).

Risultati Chiave

• Dimostrazione Hardware: Esperimenti su un dispositivo IBM Quantum Eagle hanno mostrato che la standard mitigazione TREX produceva valori di aspettativa non fisici per osservabili globali (ad esempio, $X^{\otimes n}$) su circuiti GHZ a 4, 6 e 8 qubit a causa di errori di preparazione dello stato non considerati. Il metodo proposto "Split SPAM", utilizzando la $f_{sp}$ misurata indipendentemente, ha corretto questi valori affinché rientrassero in limiti fisicamente validi e si allineassero ai modelli di rumore teorici.
• Simulazione di Circuiti Dinamici: Simulazioni numeriche hanno dimostrato che il protocollo di apprendimento del rumore proposto caratterizza con successo il rumore nei circuiti dinamici. Nello specifico, è stato simulato un circuito di teletrasporto a tre qubit con rumore, ed è stata applicata la PEC utilizzando i parametri SPAM divisi e appresi. Le fedeltà dello stato mitigate hanno superato significativamente i valori non mitigati (mediana >98% rispetto a <96%), confermando che il metodo separa ed effettua la mitigazione degli errori di preparazione dello stato e di misurazione in modo indipendente.
• Robustezza ai Tipi di Reset: Le simulazioni hanno indicato che, mentre i reset rapidi dei qubit (classificazione binaria) possono portare a stime non fisiche di $p_{sp}$ a causa della popolazione residua di $|2\rangle$, i rapidi reset di qutrit (che discriminano tra $|0\rangle, |1\rangle, |2\rangle$) consentono una caratterizzazione accurata della preparazione dello stato senza la penalità temporale dei lenti reset passivi.

Significatività e Rivendicazioni
Il documento afferma che, utilizzando stati non computazionali, è possibile superare i "teoremi di non-esistenza" (no-go theorems) riguardanti l'apprendimento del rumore che si applicano quando il framework è limitato allo spazio computazionale. La principale significatività risiede nel fatto che:

1. Stabilire la Verità Fondamentale (Ground Truth): La capacità di vincolare completamente i modelli di rumore apprendendo la verità fondamentale degli errori di preparazione dello stato, che precedentemente erano non apprendibili.
2. Applicabilità ai Circuiti Dinamici: Il metodo abilita una mitigazione accurata degli errori per circuiti dinamici che coinvolgono misurazioni nel mezzo del circuito e feed-forward classico, un regime in cui i precedenti protocolli auto-consistenti erano insufficienti a causa dei gradi di libertà di gauge non vincolati.
3. Validità Fisica: L'approccio previene la generazione di valori di aspettativa non fisici nell'error mitigation, garantendo che i risultati rimangano entro i limiti della realtà fisica.
4. Indipendenza dall'Hardware: Sebbene dimostrato su qubit superconduttori, gli autori asseriscono che il metodo è applicabile a qualsiasi piattaforma hardware in cui gli stati non computazionali siano indirizzabili (ad esempio, ioni intrappolati, qutrit a spin allo stato solido).

Il lavoro conclude che questo approccio apre la strada a una migliore mitigazione degli errori sia per le misurazioni finali che per quelle nel mezzo del circuito, facilitando esperimenti quantistici più affidabili su scala di utilità.