Interaction-resolved decomposition of multi-qubit unitaries via computational-basis phases

Sintesi Tecnica: Decomposizione Risolta per Interazioni di Unitari Multi-Qubit tramite Fasi nella Base Computazionale

Definizione del Problema
Nel controllo quantistico multi-qubit, le operazioni unitarie target sono tradizionalmente specificate tramite descrizioni unitarie complete e valutate utilizzando misure di confronto globale (ad es., fedeltà di processo). Gli autori sostengono che questi approcci convenzionali non riescano a risolvere esplicitamente la struttura di interazione a molti corpi sottostante un'operazione realizzata o la sua deviazione da un target. Nei sistemi multi-qubit, dove le operazioni comprendono combinazioni di termini di interazione attraverso vari sottoinsiemi di qubit, questo limite ostacola la valutazione diretta e il targeting di specifici termini a molti corpi. Ciò è particolarmente rilevante per la correzione degli errori quantistici basata su stabilizzatori e contesti correlati, dove operatori di parità multi-qubit specifici giocano un ruolo centrale ma sono tipicamente realizzati attraverso decomposizioni in gate a ordine inferiore piuttosto che tramite sintesi diretta.

Metodologia
Il documento introduce una decomposizione risolta per interazioni di unitari a $n$ qubit che fornisce un accesso esplicito alla loro struttura di interazione a molti corpi. La metodologia centrale si basa sul lavorare all'interno di un frame diagonalizzante dove l'unitario è completamente caratterizzato dalle fasi acquisite dagli stati della base computazionale.

1. Frame Diagonalizzanti: Per una vasta classe di operazioni operativamente rilevanti (inclusi gate generati da singole stringhe di Pauli o insiemi commutanti di stringhe di Pauli, come le operazioni di stabilizzatore, i gate di fase controllata e le interazioni Ising), esiste una trasformazione locale $U_P$ che diagonalizza simultaneamente i componenti del generatore. In questo frame, l'unitario $U_{\text{diag}}$ agisce sugli stati della base $|\vec{x}\rangle$ come $U_{\text{diag}} |\vec{x}\rangle = e^{-i\phi(\vec{x})} |\vec{x}\rangle$.
2. Invarianti di Fase Selettivi per Supporto: Gli autori derivano un metodo per recuperare l'intensità di specifici termini di interazione a $k$-corpi ($\theta_S$) dalle fasi della base computazionale $\phi(\vec{x})$. Costruendo somme pesate dalla parità di queste fasi, definiscono quantità denominate invarianti di fase selettivi per supporto, denotati con $\phi(S)$:
   $$\phi(S) = 2^{-n} \sum_{\vec{x} \in \{0,1\}^n} (-1)^{\sum_{i \in S} x_i} \phi(\vec{x})$$
   Questi invarianti risolvono in modo esatto e univoco l'intensità di interazione supportata su un sottoinsieme specifico $S$ di qubit, annullando al contempo i contributi dai sottoinsiemi complementari. Matematicamente, ciò corrisponde alla trasformata di Walsh-Hadamard delle fasi della base computazionale.
3. Classi di Equivalenza: Il framework induce classi di equivalenza generalizzate in cui due unitari sono considerati equivalenti se condividono specifici coordinati di interazione (invarianti di fase) per un insieme scelto di supporti, pur rimanendo liberi di differire su altri. Questo recupera l' "equivalenza locale" come un caso speciale (dove tutti i coordinati di interazione non locali sono fissati).
4. Formulazione del Controllo Ottimale: Gli autori formulano obiettivi di controllo quantistico ottimale direttamente in termini di questi invarianti. Invece di minimizzare la deviazione da un intero unitario target, la funzione di costo $J$ minimizza la deviazione di specifici invarianti di fase $\phi(S)$ dai valori target $\phi^*_S$:
   $$J = \sum_{S \in S_{\text{target}}} w_S \left[ 1 - \cos\left(2(\phi(S) - \phi^*_S)\right) \right]$$
   Ciò consente l' "ottimizzazione selettiva per interazione", dove vengono sintetizzati specifici termini a molti corpi mentre i gradi di libertà locali o irrilevanti rimangono non vincolati.

Risultati Chiave
La metodologia è stata dimostrata attraverso simulazioni numeriche su un modello realistico di registro di spin a stato solido basato su un centro nitrogeno-vacanza (NV) in diamante accoppiato a due nuclei $^{13}\text{C}$ prossimali. I campi di controllo sono stati ottimizzati per sintetizzare specifici gate entangling a tre qubit all'interno di un singolo impulso a microonde modulato.

• Caso Diagonale (ZZZ): Gli autori hanno sintetizzato un entangler a tre qubit diagonale $e^{i\frac{\pi}{4} Z \otimes Z \otimes Z}$. Ottimizzando gli invarianti di fase per targetizzare l'interazione tripartita e sopprimere i termini a coppie, hanno ottenuto una fedeltà finale di $F_{ZZZ} = 0.9978$ con una durata dell'impulso di 1.5 $\mu$s.
• Caso Non Diagonale (XZZ): Il framework è stato esteso a un target non diagonale $e^{i\frac{\pi}{4} X \otimes Z \otimes Z}$. Ciò è stato ottenuto eseguendo l'ottimizzazione in un frame diagonalizzante con sandwich di Hadamard, dove il target diventa diagonale. Dopo l'ottimizzazione, le trasformazioni diagonalizzanti sono state rimosse. L'impulso risultante ha raggiunto una fedeltà di $F_{XZZ} = 0.9985$ con una durata di 1.25 $\mu$s.

In entrambi i casi, l'evoluzione temporale degli invarianti di fase ha confermato che il segnale di controllo ha costruito con successo il desiderato termine di interazione a tre corpi sopprimendo al contempo i contributi a due corpi. Le fasi locali residue sono state corrette tramite correzioni Z virtuali (o ulteriori gate a singolo qubit nel caso non diagonale).

Significatività e Rivendicazioni
Il documento sostiene che questa decomposizione risolta per interazioni fornisca un sistema di coordinate che organizza le operazioni unitarie secondo la loro struttura di interazione multipartita. Ciò consente:

• Accesso Diretto: Accesso esplicito ai contenuti di interazione locale, a coppie, tripartiti e generali a $k$-parti sottostanti alle operazioni entangling senza richiedere la tomografia completa del processo.
• Sintesi Selettiva: La capacità di formulare obiettivi di controllo che sintetizzano combinazioni prescritte di interazioni a molti corpi sopprimendo al contempo termini indesiderati, permettendo efficacementamente la sintesi diretta di isolati termini tripartiti.
• Efficienza: La dimostrazione che interazioni multi-qubit a peso superiore non banali possono essere sintetizzate da un singolo impulso modulato, suggerendo una via verso una riduzione della profondità del circuito e potenzialmente un minor accumulo di errori di controllo rispetto alla decomposizione di tali operazioni in sequenze di gate a due qubit.

Gli autori concludono che questo approccio è particolarmente rilevante per la correzione degli errori quantistici basata su stabilizzatori e che le mappe di fase sottostanti possono essere ricostruite sperimentalmente tramite interferometria Ramsey condizionale, consentendo una caratterizzazione e un'ottimizzazione a ciclo chiuso risolta per interazione.