Twinned Dynamical Decoupling

Sintesi Tecnica: Disaccoppiamento Dinamico Gemellato

Enunciato del Problema
Gli errori sistematici nell'area dell'impulso (causati da una calibrazione imprecisa dell'ampiezza, una durata imperfetta o una deriva della forza di guida) e gli errori di disaccordamento (miscalibrazione della frequenza, spostamenti AC-Stark) limitano significativamente la fedeltà del controllo quantistico. Sebbene i protocolli standard di Disaccoppiamento Dinamico (DD) come CPMG, UDD, KDD e le sequenze di tipo XY sopprimano efficacemente il rumore ambientale, le loro prestazioni nell'hardware reale sono spesso degradate da queste imperfezioni sistematiche di controllo. Questi errori sono coerenti e si accumulano lungo una sequenza; di conseguenza, l'aggiunta di più impulsi per filtrare il rumore ambientale può involontariamente aumentare la sensibilità alle imperfezioni degli impulsi. Le sequenze esistenti generalmente non riescono a fornire una cancellazione esatta degli errori sistematici nell'area dell'impulso a tutti gli ordini in risonanza, né offrono una prescrizione analitica semplice per le fasi che si estenda a lunghezze di sequenza arbitrarie sopprimendo simultaneamente gli errori di disaccordamento.

Metodologia
Gli autori introducono il Disaccoppiamento Dinamico Gemellato (TDD), una famiglia analitica di sequenze denotate come $T_{2n}$. La costruzione si basa su due principi fondamentali:

1. Struttura Gemellata: Una sequenza è formata accoppiando una sequenza palindroma di impulsi nominali $\pi$, $S^{(n)}$, con il suo "gemello", $(S^{(n)})_\pi$, in cui tutte le fasi degli impulsi sono spostate di $\pi$.

   • L'operatore di evoluzione totale è $T_{2n} = (S^{(n)})_0 (S^{(n)})_\pi$.
   • In risonanza esatta, questo accoppiamento garantisce che l'operatore di evoluzione sia esattamente la matrice identità per qualsiasi deviazione sistematica nell'area dell'impulso, purché la deviazione sia identica su tutti gli impulsi. Questa cancellazione è non perturbativa e vale a tutti gli ordini.
   • La simmetria palindroma del gemello costitutivo $S^{(n)}$ è necessaria per garantire che il parametro diagonale di Cayley-Klein rimanga reale, una condizione necessaria affinché il meccanismo di cancellazione gemellata funzioni.

2. Ottimizzazione Analitica delle Fasi: Una volta che l'errore nell'area dell'impulso è stato cancellato dalla struttura gemellata, i gradi di libertà rimanenti (le fasi all'interno del gemello palindromo) sono ottimizzati per sopprimere gli errori di disaccordamento.

   • Gli autori derivano una formula analitica in forma chiusa per le fasi $\phi_k$ dei $2n$ impulsi:
     $$\phi_k = \frac{(k-1)(n-k)}{n}\pi, \quad k = 1, 2, \dots, 2n$$
   • Questa formula è valida per una lunghezza di sequenza $n$ arbitraria.
   • L'analisi teorica mostra che queste fasi massimizzano la robustezza contro il disaccordamento $\Delta$. L'errore di Frobenius $\epsilon$ scala come $|\Delta|^n$ per $n$ dispari e come $|\Delta|^{n+1}$ per $n$ pari, permettendo di sopprimere gli errori di disaccordamento a ordini arbitrariamente elevati aumentando la lunghezza della sequenza.

Risultati Chiave
Gli autori hanno dimostrato le sequenze $T_{2n}$ su qubit transmon superconduttori utilizzando due piattaforme hardware distinte: il processore quantistico IBM ibm torino e il processore quantistico IQM Garnet.

• Robustezza all'Area dell'Impulso: Le misurazioni sperimentali della popolazione dello stato $|0\rangle$ in funzione della deviazione dell'area dell'impulso hanno mostrato che le sequenze $T_{2n}$ mantengono un'alta fedeltà (plateau di popolazione) anche con grandi deviazioni (fino a $2\pi$ unità). Al contrario, le sequenze CPMG standard sono altamente sensibili a tali errori, e le sequenze UR (che offrono una robustezza simile) mantengono questa prestazione solo per numeri pari di impulsi o entro intervalli finiti per numeri dispari.
• Robustezza al Disaccordamento: Quando testate contro errori di disaccordamento (fino a $\pm 20$ MHz), la sequenza $T_{20}$ ha superato significativamente altri protocolli standard (CPMG, XY4, KDD, UDD, QDD, UR). Sebbene $T_{20}$ non fosse perfettamente immune al disaccordamento (a differenza della sua immunità agli errori nell'area dell'impulso), ha fornito un dominio di alta fedeltà più ampio rispetto a qualsiasi altra sequenza testata.
• Indipendenza dallo Stato Iniziale: I test su diversi stati iniziali (autostati di Pauli) hanno rivelato che la compensazione dell'area dell'impulso del TDD è indipendente dallo stato iniziale. Tuttavia, è stato osservato che la robustezza al disaccordamento è massima per gli stati della base computazionale ($|0\rangle, |1\rangle$) e diminuisce per gli stati di sovrapposizione ($|+\rangle, |i\rangle$, ecc.), in accordo con la presenza di processi di dephasing che influenzano le sovrapposizioni.
• Coerenza Hardware: I risultati sono stati coerenti su entrambe le piattaforme hardware IBM e IQM, nonostante le differenze nei tempi di coerenza dei qubit e nelle architetture di controllo (porte virtuali vs accesso a livello di impulso).

Significato e Affermazioni
Il documento afferma di introdurre una nuova famiglia analitica di sequenze DD che achieve una cancellazione esatta degli errori sistematici nell'area dell'impulso a tutti gli ordini in risonanza. A differenza di costruzioni precedenti che si basano sull'ottimizzazione numerica o offrono solo una compensazione parziale, il TDD fornisce:

1. Formule Analitiche Esatte: Una semplice espressione in forma chiusa per le fasi applicabile a qualsiasi lunghezza di sequenza, eliminando la necessità di ottimizzazione numerica.
2. Doppia Robustezza: Soppressione simultanea degli errori sistematici nell'area dell'impulso (a tutti gli ordini) e degli errori di disaccordamento (ad alti ordini).
3. Efficienza Hardware: Le sequenze sono progettate per hardware in cui la deriva sistematica di calibrazione è una limitazione dominante, richiedendo che i parametri rimangano stabili durante un singolo shot sperimentale (un'assunzione standard nel DD) ma permettendo variazioni da shot a shot.

Gli autori concludono che queste sequenze aprono una strada per un controllo quantistico efficiente per l'hardware, in particolare nelle architetture limitate dalla deriva sistematica di calibrazione, con potenziali applicazioni nelle memorie quantistiche, nella sensoristica e nella sintesi di porte protette dagli errori. Sottolineano che, sebbene il TDD compensi il rumore lento e le derive sistematiche, non cancella errori casuali arbitrari da impulso a impulso.