Non-Abelian Mixer for QAOA on Hybrid Oscillator-Qubit Quantum Processors

Riepilogo Tecnico: Mixer Non-Abeliano per QAOA su Processori Quantistici Ibridi Oscillatore-Qubit

Enunciazione del Problema
Sebbene il controllo universale sia stato stabilito per processori quantistici ibridi a variabili continue (CV) e a variabili discrete (DV) — specificamente quelli che accoppiano qubit superconduttori a risonatori a microonde — lo sviluppo di algoritmi quantistici adattati a queste piattaforme rimane nelle sue fasi iniziali. Sebbene l'Algoritmo di Ottimizzazione Quantistica Approssimata (QAOA) sia ben studiato in contesti puramente a variabili discrete (DV) e puramente a variabili continue (CV), la sua formulazione per sistemi ibridi CV-DV è carente. Esiste un divario critico nell'identificare l'opportuno Hamiltoniano "mixer" per QAOA su processori ibridi. Il QAOA standard si basa su un mixer a campo trasverso (una somma di operatori Pauli-X), che è nativo dei sistemi DV ma potrebbe non sfruttare appieno lo spazio degli stati a dimensione infinita e i primitivi di controllo non commutativi disponibili nelle architetture ibride oscillatore-qubit.

Metodologia
Gli autori propongono un framework QAOA nativo dell'hardware, progettato specificamente per processori ibridi CV-DV, che utilizza l'Instruction Set Architecture (ISA) nello spazio delle fasi. Il nucleo della loro metodologia coinvolge tre componenti chiave:

1. Codifica e Lettura: L'algoritmo codifica i qubit logici in stati Gottesman-Kitaev-Preskill (GKP) a energia finita all'interno delle modalità dell'oscillatore. Qubit ancilla sono utilizzati per mediare il controllo e la lettura. Le informazioni logiche sono mappate tra lo spazio delle fasi dell'oscillatore e il registro dei qubit utilizzando una specifica sequenza di Elaborazione del Segnale Quantistico Non-Abeliana (NA-QSP), denotata come $E_x(\sqrt{\pi}/2, \Delta)$, che corregge l'incertezza di posizione intrinseca negli stati GKP a energia finita.
2. Unitario di Costo: Per il problema Max-Cut su grafi Erdős–Rényi non pesati, l'Hamiltoniano di costo è implementato come una serie di rotazioni ZZ logiche ($R_{ZZ}$) sul registro dei qubit ancilla. Questo unitario codifica la struttura del grafo nelle fasi relative delle ampiezze dei qubit.
3. Mixer Non-Abeliano: L'innovazione primaria è la sostituzione del mixer a campo trasverso standard con un mixer non-abeliano costruito a partire da primitivi nativi dello spazio delle fasi. Questo mixer agisce su ciascuna coppia oscillatore-qubit e consiste in:
   • Una rotazione iniziale di un singolo qubit addestrabile.
   • Una sequenza di porte di spostamento condizionale (CD) lungo entrambe le quadrature di posizione ($\hat{x}$) e momento ($\hat{p}$).
   • Rotazioni di singolo qubit intercalate che cambiano la base tra gli spostamenti.
   • La profondità di questo mixer, $d$, è un parametro regolabile. Quando $d=0$, il mixer si riduce al mixer a campo trasverso standard. Per $d \geq 1$, sfrutta la non commutatività di $\hat{x}$ e $\hat{p}$ per esplorare lo spazio delle soluzioni in modo più efficace.

Contributi Chiave
Il paper apporta tre contributi specifici:

• Proposta di un Mixer Non-Abeliano: Gli autori introducono un mixer costruito a partire da set di istruzioni ibride CV-DV native (spostamenti condizionali e rotazioni di qubit) che sfrutta la natura non-abeliana delle quadrature dell'oscillatore.
• Sviluppo di un Ansatz Ibrido: Sviluppano un ansatz QAOA completo per il problema Max-Cut che integra la codifica GKP, la lettura/correzione NA-QSP e il mixer non-abeliano proposto.
• Benchmarking: Forniscono un benchmark sistematico dell'ansatz proposto rispetto al mixer a campo trasverso standard, utilizzando rapporti di approssimazione e probabilità di soluzione ottimale.

Risultati della Simulazione
Gli autori hanno valutato l'ansatz proposto su grafi Erdős–Rényi non pesati con dimensioni $N=4$ e $N=5$, utilizzando vari tagli di Fock ($N_{max} \in \{6, 8, 10, 12\}$) e parametri di inviluppo GKP ($\Delta$). I risultati indicano:

• Miglioramento Costante: In tutte le dimensioni di grafo e tagli di Fock testati, il mixer non-abeliano ha costantemente superato il mixer a campo trasverso standard.
• Guadagni Metrici: Il miglioramento medio nel rapporto di approssimazione è stato di circa 0,13 per entrambe le dimensioni di grafo. Il miglioramento medio nella probabilità di campionare una soluzione ottimale è stato di circa 0,15.
• Dipendenza dalla Profondità: L'aumento della profondità del mixer da $d=0$ (baseline a campo trasverso) a $d=1$ ha prodotto il salto di prestazioni più significativo. Ulteriori aumenti della profondità hanno fornito guadagni marginali ma positivi.
• Robustezza: Le prestazioni sono rimaste stabili all'aumentare del taglio di Fock, suggerendo che l'algoritmo è robusto rispetto alla troncatura dello spazio di Hilbert a dimensione infinita. Anche il parametro di inviluppo GKP $\Delta$ ha influenzato le prestazioni, con valori più alti (che rappresentano stati a energia più bassa e più ampi) che mostrano lievi miglioramenti nello spazio troncato.

Significato e Affermazioni
Il paper afferma che il mixer non-abeliano proposto è un componente promettente per QAOA su piattaforme ibride oscillatore-qubit. I risultati suggeriscono che la progettazione di algoritmi per sistemi ibridi dovrebbe seguire la struttura nativa dell'hardware e i primitivi di controllo (in particolare le operazioni non commutative nello spazio delle fasi) piuttosto che affidarsi a trasferimenti ingenui di algoritmi a variabili discrete. Gli autori ipotizzano che il loro mixer consenta un'esplorazione più efficiente dello spazio delle soluzioni di Max-Cut, migliorando sia la qualità attesa della soluzione sia la probabilità di trovare la soluzione ottimale. Concludono che questo lavoro rappresenta un passo verso la progettazione sistematica di algoritmi per processori quantistici ibridi, evidenziando un principio di progettazione più ampio: sfruttare le proprietà algebriche uniche dei sistemi ibridi (controllo non-abeliano) per migliorare le prestazioni algoritmiche.