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

Technische Samenvatting: Lazy-Move Compilatie voor Neutraal-atomaire Kwantumcomputers via een Buffer-Relay Fabric

Probleemstelling
Nentraal-atomaire kwantumcomputing biedt hoge qubit-aantallen en lange coherentietijden, maar de natuurlijke connectiviteit is beperkt door de kort-bereik Rydberg-blokkade. De huidige state-of-the-art compilatiestrategieën vertrouwen op "reconfiguratie-gecentreerde" benaderingen, waarbij optische pincetten (optical tweezers) datatomaat fysiek verplaatsen om operand-paren binnen de Rydberg-blokkaderadius te brengen voor elke gate. Hoewel dit flexibiliteit biedt, brengt het aanzienlijke kosten met zich mee:

1. Fidelity-degradatie: Elke beweging introduceert motionele verhitting, handoff-fouten tussen Spatial Light Modulators (SLM) en Acousto-Optic Deflectors (AOD), en risico's op atoomverlies.
2. Latentie: De AOD-bewegingslatentie overstijgt aanzienlijk de duur van een enkele gate-puls.
3. Schaalbaarheid: Naarmate de circuitdiepte toeneemt, degradeert de cumulatieve kosten van duizenden transportgebeurtenissen de algehele circuit-fidelity en executietijd.

De centrale uitdaging is om lang-bereik connectiviteit te herstellen zonder te vertrouwen op continue beweging van datatomaat, waardoor de fidelity behouden blijft en de latentie wordt verminderd.

Methodologie: Het BRIDGE-framework
De auteurs presenteren BRIDGE (Buffer-Relay Interconnect for Data-stable Gate Execution), een co-design van een statische hardware-fabric en een "lazy-move" compiler. Deze aanpak keert de traditionele ontwerplogica om: in plaats van datatomaat te verplaatsen om elkaar te ontmoeten, roteert het systeem verstrengeling via een stationair netwerk van niet-coderende "buffer"-atomen, waarbij datatomaat alleen worden verplaatst wanneer een strikte break-even analyse de kosten rechtvaardigt.

• Hardware Architectuur (Buffer-Relay Fabric):

  • Dual-Species Substraat: Het systeem maakt gebruik van een gestaffelde 2D geïnterleaved array van twee soorten: $^{87}\text{Rb}$ (data-atomen) en $^{133}\text{Cs}$ (buffer-atomen).
  • Kanaalselectiviteit: Soort-specifieke adressering en Förster-resonanties creëren drie onafhankelijke koppelingskanalen: Rb–Cs (sterk), Cs–Cs (sterk) en Rb–Rb (onderdrukt).
  • Geometrische Arrangement: Cs buffer-atomen vormen een vierkant rooster ($d_{BB} = 8.0\,\mu\text{m}$), met Rb data-atomen geplaatst op de centroids van $2\times2$ buffer-plaquettes ($d_{DB} = 5.66\,\mu\text{m}$). Deze geometrie zorgt voor sterke data-buffer en buffer-buffer koppeling terwijl directe data-data crosstalk wordt onderdrukt.
  • BAM Gates: Verstrengeling wordt gedistribueerd via Buffer-Atom-Mediated (BAM) gates. Een multi-hop relay-pad leidt Rydberg-excitaties door tussenliggende buffer-atomen, waardoor willekeurige data-paren kunnen interageren zonder de operanden te herpositioneren.

• Compiler Strategie (Lazy-Move):

  • Statische Baseline (BRIDGE-F): Een volledig statische compiler die logische qubits naar het fysieke rooster mapt en alle gates routeert via de buffer-fabric met behulp van shortest-path relay-algoritmen en disjoint-buffer scheduling.
  • Hybride Optimalisatie (BRIDGE-H): Een analytische mobiliteitsresoltie-fase die "hotspots" (lange relay-ketens of tijdelijk geclusterde lang-bereik interacties) evalueert. Dit triggert een verplaatsing van een datatomaat alleen als een break-even conditie wordt behaald: de reductie in toekomstige relay-fouten (fidelity en tijd) moet de eenmalige kosten van de transportgebeurtenis (handoff-fouten en transit dephasing) overtreffen.
  • Placement: Gebruikt een Consensus-Based Optimization (CBO) zoekopdracht, optioneel gestart met een lichtgewicht Machine Learning (ML) warm-start, om initiële relay-lengtes te minimaliseren terwijl ruimtelijke headroom wordt gereserveerd voor potentiële toekomstige shuttling.

Belangrijkste Bijdragen

1. Statische Buffer-Relay Fabric: Het eerste ontwerp dat lang-bereik connectiviteit blootstelt als een vaste, door de compiler beheerde resource met behulp van een dual-species gestaffelde array, waardoor de noodzaak voor datatomaat-beweging als standaard routing-primitief wordt geëlimineerd.
2. Lazy-Move Compiler: De eerste compiler voor neutraal-atomaire circuits die datatomaat-beweging behandelt als een zeldzame, doelbewuste uitzondering. Het gebruikt een physics-gedreven break-even test om te bepalen wanneer een enkele herpositioneringsbeweging de kosten van toekomstige relay-fouten kan amorteren.
3. End-to-End Validatie: Een uitgebreide simulatiepipeline die realistische hardwareparameters modelleert, inclusen relay-puls fidelity, leakage, gecorreleerde fouten, AOD-bewegingslatentie en geaggregeerde circuit-fidelity.

Resultaten
Geëvalueerd op een 22-circuit gematchte benchmark-suite (QASMBench en VeriQBench) onder een enkel gedeeld foutmodel:

• Fidelity: BRIDGE-F bereikt een geometrisch gemiddelde totale fidelity die ongeveer 10$\times$ hoger is dan ZAP en 16$\times$ hoger dan Enola (reconfiguratie-gecentreerde baselines). Op de moeilijkste circuits overstijgt de verbetering twee grootheden.
• Executietijd: BRIDGE-F vermindert de circuit-executietijd met ongeveer 540$\times$ vergeleken met ZAP en 1000$\times$ vergeleken met Enola.
• Beweging: BRIDGE-F reduceert de datatomaat-beweging van duizenden transportgebeurtenissen (in baselines) naar nul.
• Selectieve Mobiliteit: Voor de hybride BRIDGE-H variant biedt selectieve mobiliteit marginale winst op de algemene suite (mediaan winst $\approx 0\%$), maar biedt het significante verbeteringen (tot $\sim 19\%$) op specifieke circuits met tijdelijk geclusterde lang-bereik interacties (bijv. fase-verschoven algoritmen) of wanneer de relay-fidelity degradeert.
• Ablatie: De prestatiewinsten worden primair gedreven door mobiliteitsbewuste placement (die relay-lengtes verkort) en de statische buffer-fabric zelf, in plaats van enkel door scheduling heuristieken.

Betekenis en Claims
Het artikel claimt dat BRIDGE een fundamentele verschuiving in het co-design punt voor neutraal-atomaire kwantumcomputing vertegenwoordigt. Door connectiviteit te behandelen als een statische, routeerbare fysieke resource in plaats van een gevolg van atoombeweging, verbetert de aanpak gelijktijdig de fidelity en de executietijd. De auteurs stellen dat het "lazy-move" principe een zelf-uitschakelend, no-regret mechanisme is: voor de huidige hardwareparameters is de statische fabric voldoende voor de meerderheid van de workloads, en wordt mobiliteit alleen ingeroepen wanneer dit strikt rendabel is. Deze architecturale verandering suggereert een pad naar high-fidelity, grootschalige kwantumcomputing die de cumulatieve foutenstraffen vermijdt die inherent zijn aan reconfiguratie-gecentreerde compilatie. Het werk merkt ook op dat de vaste topologie goed aansluit bij de syndrome-extractie vereisten van surface-code fouttolerantie, waarbij data-atomen stationair blijven terwijl buffer-netwerken meting en routing afhandelen.