Lazy-Move Compilation for Neutral-Atom Quantum Computers via a Buffer-Relay Fabric

Sintesi Tecnica: Compilazione Lazy-Move per Computer Quantistici a Atomi Neutri tramite un Fabric di Buffer-Relay

Definizione del Problema
Il calcolo quantistico a atomi neutri offre un elevato numero di qubit e lunghi tempi di coerenza, ma la sua connettività nativa è limitata dal breve raggio del blocco di Rydberg. Le attuali strategie di compilazione allo stato dell'arte si affidano ad approcci "centrati sulla riconfigurazione", in cui le trappole ottiche spostano fisicamente gli atomi di dati per portare le coppie di operandi entro il raggio di blocco di Rydberg prima di ogni porta. Sebbene ciò fornisca flessibilità, comporta costi significativi:

1. Degradazione della Fedeltà: Ogni movimento introduce riscaldamento motazionale, errori di passaggio (handoff) tra i Modulatori Spaziali di Luce (SLM) e i Deflettori Acusto-Ottici (AOD) e rischi di perdita degli atomi.
2. Latenza: La latenza del movimento AOD supera sostanzialmente le durate dei singoli impulsi di porta.
3. Scalabilità: All'aumentare della profondità del circuito, il costo cumulativo di migliaia di eventi di trasporto degrada la fedeltà complessiva e il tempo di esecuzione del circuito.

La sfida centrale è recuperare la connettività a lungo raggio senza fare affidamento sul movimento continuo degli atomi di dati, preservando così la fedeltà e riducendo la latenza.

Metodologia: Il Framework BRIDGE
Gli autori presentano BRIDGE (Buffer-Relay Interconnect for Data-stable Gate Execution), un co-design di un hardware statico e un compilatore "lazy-move". L'approccio inverte la logica di progettazione tradizionale: invece di muovere gli atomi di dati per farli incontrare, il sistema instrada l'entanglement attraverso una rete stazionaria di atomi "buffer" non codificanti, muovendo gli atomi di dati solo quando un'analisi di break-even giustifica rigorosamente il costo.

• Architettura Hardware (Fabric di Buffer-Relay):

  • Substrato a Doppia Specie: Il sistema utilizza una matrice intercalata 2D a scacchiera di due specie: $^{87}\text{Rb}$ (atomi di dati) e $^{133}\text{Cs}$ (atomi buffer).
  • Selettività dei Canali: L'indirizzamento selettivo per specie e le risonanze di Förster creano tre canali di accoppiamento indipendenti: Rb–Cs (forte), Cs–Cs (forte) e Rb–Rb (soppresso).
  • Disposizione Geometrica: Gli atomi buffer di Cs formano un reticolo quadrato ($d_{BB} = 8.0\,\mu\text{m}$), con gli atomi di dati Rb posizionati ai centroidi delle plaquettes di $2\times2$ di buffer ($d_{DB} = 5.66\,\mu\text{m}$). Questa geometria garantisce un forte accoppiamento data-buffer e buffer-buffer, sopprimendo al contempo il crosstalk diretto data-data.
  • Porte BAM: L'entanglement viene distribuito tramite porte Buffer-Atom-Mediated (BAM). Un percorso di relay multi-hop instrada le eccitazioni di Rydberg attraverso atomi buffer intermedi, consentendo l'interazione di coppie di dati arbitrarie senza riposizionare nessuno dei due operandi.

• Strategia del Compilatore (Lazy-Move):

  • Baseline Statica (BRIDGE-F): Un compilatore completamente statico che mappa i qubit logici sulla griglia fisica e instrada tutte le porte attraverso il fabric di buffer utilizzando algoritmi di routing a percorso breve e scheduling di buffer disgiunti.
  • Ottimizzazione Ibrida (BRIDGE-H): Una fase di risoluzione della mobilità analitica che valuta gli "hotspot" (lunghe catene di relay o interazioni a lungo raggio temporalmente raggruppate). Essa innesca il movimento di un atomo di dato solo se viene soddisfatta una condizione di break-even: la riduzione dei futuri errori di relay (fedeltà e tempo) deve superare il costo una tantum dell'evento di trasporto (errori di handoff e dephasing da transito).
  • Placement: Utilizza una ricerca basata su Ottimizzazione a Consenso (CBO), opzionalmente avviata da un warm-start di Machine Learning (ML) leggero, per minimizzare la lunghezza iniziale dei relay preservando al contempo lo spazio di manovra spaziale per un eventuale futuro spostamento.

Contributi Chiave

1. Static Buffer-Relay Fabric: Il primo design che espone la connettività a lungo raggio come una risorsa fisica fissa e gestita dal compilatore, utilizzando un array a doppia specie sfalsata, eliminando la necessità del movimento degli atomi di dati come primitiva di routing predefinita.
2. Compilatore Lazy-Move: Il primo compilatore per circuiti ad atomi neutri che tratta il movimento degli atomi di dati come un'eccezione rara e deliberata. Utilizza un test di break-even guidato dalla fisica per determinare quando un singolo movimento di riposizionamento ammortizza il costo dei futuri errori di relay.
3. Validazione End-to-End: Una pipeline di simulazione completa che modella parametri hardware realistici, inclusi la fedeltà dell'impulso di relay, il leakage, gli errori correlati, la latenza di movimento AOD e la fedeltà aggregata del circuito.

Risultati
Valutato su un set di benchmark di 22 circuiti (QASMBench e VeriQBench) sotto un modello di errore condiviso:

• Fedeltà: BRIDGE-F raggiunge una fedeltà totale media geometrica circa 10 volte superiore rispetto a ZAP e 16 volte superiore rispetto a Enola (baseline centrate sulla riconfigurazione). Sui circuiti più complessi, il miglioramento supera i due ordini di grandezza.
• Tempo di Esecuzione: BRIDGE-F riduce il tempo di esecuzione del circuito di circa 540 volte rispetto a ZAP e 1000 volte rispetto a Enola.
• Movimento: BRIDGE-F riduce il movimento degli atomi di dati da migliaia di eventi di trasporto (nelle baseline) a zero.
• Mobilità Selettiva: Per la variante ibrida BRIDGE-H, la mobilità selettiva fornisce guadagni marginali sul set generale (guadagno mediano $\approx 0\%$), ma offre miglioramenti significativi (fino a $\sim 19\%$) su circuiti specifici con interazioni a lungo raggio temporalmente raggruppate (es. algoritmi con sfasamento) o quando la fedeltà del relay degrada.
• Ablation: I guadagni di prestazione sono guidati principalmente dal placement consapevole della mobilità (che accorcia i percorsi di relay) e dal fabric di buffer statico stesso, piuttosto che da semplici euristiche di scheduling.

Significatività e Rivendicazioni
Il documento sostiene che BRIDGE rappresenti un cambiamento fondamentale nel punto di co-design per il calcolo quantistico ad atomi neutri. Trattando la connettività come una risorsa fisica statica e instradabile anziché come una conseguenza del moto atomico, l'approccio migliora simultaneamente la fedeltà e il tempo di esecuzione. Gli autori sostengono che il principio "lazy-move" sia un meccanismo di auto-disattivazione senza rimpianti: per gli attuali parametri hardware, il fabric statico è sufficiente per la maggior parte dei carichi di lavoro, e la mobilità viene invocata solo quando questo produce un reale vantaggio. Questo cambiamento a livello di architettura suggerisce una via verso il calcolo quantistico su larga scala ad alta fedeltà che evita i costi cumulativi di errore inerenti alla compilazione incentrata sulla riconfigurazione. Il lavoro nota inoltre che la topologia fissa si allinea bene con i requisiti di estrazione del sindrome per la tolleranza ai guasti del codice di superficie, dove gli atomi di dati rimangono stazionari mentre le reti di buffer gestiscono misurazione e routing.