Blockade-induced exchange primitives for scalable neutral-atom QPU

Sintesi Tecnica: Primitive di scambio indotte da blocco per QPU a atomi neutri scalabili

Enunciato del Problema
I processori quantistici a atomi neutri basati su array di blocco di Rydberg hanno stabilito forti capacità native per le operazioni di fase controllata, essenziali per molti algoritmi quantistici. Tuttavia, le operazioni di scambio controllato (porte della famiglia SWAP) rimangono un collo di bottiglia. Su questa piattaforma, le operazioni SWAP non sono tipicamente native; devono essere compilate da sequenze di porte di fase e rotazioni a singolo qubit. Questa decomposizione aumenta significativamente la profondità del circuito ed espone i qubit ai meccanismi di perdita dello stato di Rydberg per periodi prolungati, degradando così le prestazioni e limitando la scalabilità. Sebbene esistano schemi anti-blocco, richiedono spesso il mantenimento della risonanza con stati doppiamente eccitati ($|rr\rangle$), rendendoli altamente sensibili agli spostamenti Doppler e alle fluttuazioni della distanza interatomica.

Metodologia
Gli autori propongono un meccanismo programmato dal blocco che realizza porte SWAP controllate (C-SWAP) e SWAP come primitive native a singolo passo. L'approccio si basa sull'ingegnerizzazione dell'interferenza distruttiva all'interno di un manifold collettivo eccitato per sopprimere i percorsi indesiderati, guidando risonantemente un canale di scambio specifico.

• Struttura dei Livelli e Interferenza: Lo schema utilizza gli stati logici $|0\rangle$ e $|1\rangle$ (stati fondamentali iperfini) e uno stato di Rydberg $|r\rangle$. Un campo a microonde ($\Omega_1$) guida le transizioni tra $|0\rangle$ e $|1\rangle$, mentre campi ottici ($\Omega_2$) accoppiano $|1\rangle$ a $|r\rangle$.
• Interferenza Distruttiva: In assenza di un atomo di controllo, i percorsi di scambio del secondo ordine diretti tra $|01\rangle$ e $|10\rangle$ (mediati da $|00\rangle$ e $|11\rangle$) possiedono disaccordi opposti. Questi percorsi interferiscono distruttivamente, annullando l'ampiezza di scambio.
• Canale a Quattro Fotoni Risonante: Introducendo un accoppiamento di dipolo a uno stato di Rydberg, viene aperto un canale di scambio di ordine superiore a quattro fotoni tramite lo stato collettivo simmetrico $(|1r\rangle + |r1\rangle)/\sqrt{2}$. Questo canale rimane risonante e guida un'operazione SWAP diretta.
• Controllo Condizionale: L'operazione è condizionata a un atomo di controllo. Se l'atomo di controllo è eccitato a uno stato di Rydberg, l'interazione risultante Rydberg-Rydberg sposta i livelli energetici del target. Questo spostamento rompe la risonanza del canale a quattro fotoni e ripristina l'interferenza distruttiva, bloccando efficacemente lo SWAP. Se il controllo rimane nello stato fondamentale, lo scambio procede.
• Interazioni Anisotrope: Gli autori sfruttano l'anisotropia delle interazioni di Rydberg per abilitare un blocco selettivo. Disponendo gli atomi in modo che coppie target specifiche ricadano all'interno del raggio di blocco di un atomo di controllo mentre altre no, il sistema può eseguire scambi controllati multiplexati (instradando informazioni verso coppie specifiche in base allo stato di controllo).

Contributi Chiave

1. Primitive di Scambio Native: Il documento introduce un metodo per realizzare porte SWAP e C-SWAP come operazioni native negli array a atomi neutri, eliminando la necessità di decomposizioni profonde in porte di fase.
2. Meccanismo di Blocco-Interferenza: L'innovazione centrale è l'uso dell'interferenza per sopprimere i percorsi di scambio diretti mentre un percorso collettivo abilitato dal blocco guida l'operazione. Ciò consente una logica condizionale senza richiedere che il sistema sia risonante con lo stato doppiamente eccitato $|rr\rangle$.
3. Estensioni Multiplexate e Multi-Controllo: Il framework è generalizzato a SWAP multi-controllato ($C_k$-SWAP) e porte SWAP multiplexate condizionali. Queste permettono a un qubit di controllo di selezionare tra più canali di scambio o coordinare scambi tra più coppie target, funzionando come primitive a livello hardware per l'instradamento quantistico e la memoria ad accesso casuale quantistica (QRAM).

Risultati

• Fedeltà: Le simulazioni numeriche dimostrano fedeltà di processo superiori al 99% per entrambe le porte SWAP e C-SWAP.
• Efficienza: Lo schema proposto achieve una riduzione di un ordine di grandezza nella profondità del circuito e nella popolazione integrata nel tempo dello stato di Rydberg rispetto alle implementazioni decomposte (ad esempio, implementando una porta Fredkin tramite otto C-NOT).
• Robustezza: Il protocollo è robusto contro imperfezioni sperimentali realistiche:
  • Allargamento Doppler: A differenza degli schemi anti-blocco, il metodo non si basa sulla risonanza con $|rr\rangle$, consentendo operazioni ad alta fedeltà a temperature intorno ai 150 $\mu$K.
  • Fluttuazioni di Distanza: Lo schema non richiede una corrispondenza precisa degli spostamenti indotti dall'interazione a una condizione di risonanza, rendendolo tollerante alle variazioni di shot-to-shot nella separazione interatomica.
  • Rumore del Laser: La porta mantiene alta fedeltà sotto fluttuazioni realistiche dell'intensità del laser e rumore di deriva della potenza.
• Parametri: Le simulazioni utilizzano parametri coerenti con le attuali capacità sperimentali (ad esempio, atomi di Cs, stati di Rydberg $100S_{1/2}$), con durate delle porte nell'intervallo dei microsecondi.

Significato
Il documento afferma che, elevando lo scambio a una primitiva nativa accanto alle operazioni di fase condizionale, fornisce un set di strumenti versatile per il calcolo a atomi neutri. Questo avanzamento colma una lacuna critica nell'insieme di porte native dei processori a atomi neutri, abilitando una compilazione più efficiente per algoritmi che richiedono il confronto di stati, la simulazione di Hamiltoniane di scambio e l'instradamento di informazioni vincolato geometricamente. Gli autori ipotizzano che questo approccio offra una via generale per operazioni multiqubit non diagonali programmabili su piattaforme quantistiche, ingegnerizzando quasi-degenerazioni sintonizzate sull'interazione nei manifold collettivi. Inoltre, la capacità di eseguire instradamento condizionale e scambi multiplexati in un singolo passo posiziona queste primitive come componenti essenziali per la verifica scalabile, la simulazione fermionica efficiente e lo sviluppo di router quantistici coerenti ed elementi QRAM.