Single-Period Floquet Control of Bosonic Codes with Quantum Lattice Gates

Sintesi Tecnica: Controllo di Floquet a Singolo Periodo di Codici Bosonici con Gate di Reticolo Quantistico

Definizione del Problema
I codici bosonici offrono una via promettente verso il calcolo quantistico tollerante ai guasti (fault-tolerant), sfruttando lo spazio di Hilbert a dimensione infinita degli oscillatori armonici per codificare l'informazione quantistica con ridondanza. Sebbene gli esistenti protocolli di Floquet permettano la costruzione analitica di questi codici, essi si basano tipicamente su ramp di adiabaticità lenti che richiedono l'evoluzione su migliaia di periodi di guida. Questa dipendenza dall'adiabaticità limita severamente la velocità e la scalabilità pratica del calcolo quantistico universale. Inoltre, gli attuali metodi per generare risorse non gaussiane e implementare gate logici spesso comportano progettazioni di circuiti complessi o ricerche variazionali globali che sono computazionalmente costose e lente nella convergenza.

Metodologia
Gli autori introducono un metodo di ingegneria di Floquet analitico e deterministico che sintetizza operazioni unitarie arbitrarie all'interno di un singolo periodo di Floquet, aggirando la necessità di ramp adiabatici. La metodologia centrale prevede:

1. Ingegneria di Floquet Noncommutativa: Gli autori utilizzano la teoria della trasformata di Fourier noncommutativa (NcFT) per decomporre un Hamiltoniano target $\hat{H}_{tar}$ (che genera l'unitario desiderato $\hat{U}_{tar}$) in una sovrapposizione di operatori di onda piana. Ciò consente la sintesi diretta di un potenziale di guida tempo-dipendente $V(t)$ composto da componenti di tipo coseno.
2. Gate di Reticolo Quantistico (QLG): Il potenziale di guida sintetizzato viene approssimato mediante una decomposizione di Trotter–Suzuki (TS), risultando in una sequenza di gate di reticolo quantistico elementari. Questi gate sfruttano la piena nonlinearità intrinseca delle giunzioni Josephson (JJ) nei circuiti superconduttori.
3. Costruzione dell'Unitario: Per preparare stati target specifici (come gli stati dei codici bosonici) da uno stato iniziale noto (ad esempio, il vuoto), gli autori impiegano una costruzione basata su Householder. Questa fornisce un operatore unitario in forma chiusa che mappa lo stato iniziale nello stato target senza richiedere l'evoluzione adiabatica.
4. Ingegneria di Impulsi Ottimali (OPE): Per mitigare gli errori derivanti dalle espansioni di Floquet-Magnus di ordine superiore e dalla decomposizione TS, gli autori sviluppano una tecnica di ottimizzazione numerica. Questo metodo ottimizza un inviluppo tempo-dipendente per la forza di guida sotto specifici vincoli hardware, minimizzando l'infedeltà della preparazione dello stato e delle operazioni di gate.

Contributi Chiave

• Sintesi a Singolo Periodo: Il lavoro dimostra un metodo per sintetizzare unitari bosonici arbitrari entro un singolo periodo di Floquet, una significativa divergenza rispetto ai protocolli che richiedono migliaia di periodi.
• Statistiche di Haar: Gli ensemble unitari nello spazio delle fasi generati da questo approccio riproducono le statistiche di Haar, consentendo la generazione pratica di stati pseudocasuali in sistemi a variabili continue (CV).
• Preparazione dei Codici e Gate Logici: Gli autori preparano con successo codici bosonici prototipici (codici binomiali, cat e Gottesman–Kitaev–Preskill (GKP)) direttamente dal vuoto. Dimostrano inoltre l'implementazione di gate logici a singolo qubit (Hadamard, Phase e T) su questi codici.
• Efficienza delle Risorse: Il metodo fornisce un framework analitico che riduce le risorse computazionali richieste per l'ottimizzazione rispetto ad approcci esistenti come le costruzioni basate su SNAP.

Risultati

• Fedeltà di Preparazione dello Stato: Le simulazioni numeriche mostrano che il metodo può preparare codici binomiali, cat e GKP con infedeltà di stato inferiori a $10^{-5}$ utilizzando l'ingegneria di impulsi ottimali.
• Prestazioni dei Gate: I gate logici a singolo qubit sono implementati con errori di gate medi dell'ordine di $10^{-4}$ entro operazioni QLG di pochi microsecondi.
• Miglioramento della Velocità: L'approccio a singolo periodo è circa tre ordini di grandezza più veloce degli esistenti protocolli adiabatici, che tipicamente richiedono l'evoluzione su migliaia di periodi di Floquet.
• Scalabilità: Per la preparazione di stati di Haar, le risorse computazionali (specificamente il numero di passi di Trotter) scalano linearmente con la dimensione dello spazio di Hilbert ($N_t \sim O(d)$), con un prefattore sostanzialmente più piccolo rispetto agli approcci basati su SNAP.
• Benchmark di Controllabilità: I confronti con i circuiti basati su SNAP indicano che l'ansatz QLG raggiunge l'accuratezza target con meno parametri addestrabili ($R_{min} \sim 2d$ per QLG rispetto a $R_{min} \sim 5d$ per SNAP) ed esibisce una convergenza di ottimizzazione più rapida.
• Robustezza: I tempi di operazione brevi inerenti al metodo a singolo periodo forniscono una sostanziale robustezza contro il rumore coerente e la decoerenza rispetto ai più lenti protocolli adiabatici.

Significatività
Il documento afferma che questo approccio differisce fondamentalmente dai metodi esistenti sia nella metodologia che nell'implementazione sperimentale. Evitando lenti ramp adiabatici e ricerche variazionali globali, il framework offre una via efficiente e compatibile con l'hardware per il controllo veloce e ad alta fedeltà di sistemi CV e stati bosonici. Gli autori asseriscono che il loro metodo supera significativamente i protocolli di ramping adiabatico attraverso metriche di scala temporale, fedeltà e robustezza al rumore. Inoltre, il framework è presentato come naturalmente estendibile a gate logici a due qubit tramite l'ingegneria di Floquet noncommutativa a due modi e applicabile ad aree più ampie come la comunicazione quantistica, il reservoir computing e i t-design quantistici.