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

Résumé Technique : Compilation à Déplacement Paresseux (Lazy-Move) pour l'Informatique Quantique à Atomes Neutres via une Structure de Relais-Tampon

Énoncé du Problème
L'informatique quantique à atomes neutres offre un grand nombre de qubits et des temps de cohérence élevés, mais sa connectivité native est contrainte par le court rayon de blocage de Rydberg. Les stratégies de compilation de pointe actuelles reposent sur des approches « centrées sur la reconfiguration », où les pinces optiques déplacent physiquement les atomes de données pour rapprocher les paires d'opérandes à l'intérieur du rayon de blocage avant chaque porte. Bien que cela offre de la flexibilité, cela engendre des coûts significatifs :

1. Dégradation de la Fidélité : Chaque mouvement introduit un échauffement motionnel, des erreurs de transfert entre les modulateurs spatiaux de lumière (SLM) et les déflexions acousto-optiques (AOD), ainsi que des risques de perte d'atomes.
2. Latence : La latence de mouvement des AOD dépasse considérablement la durée des impulsions de porte unique.
3. Scalabilité : À mesure que la profondeur du circuit augmente, le coût cumulé de milliers d'événements de transport dégrade la fidélité globale et le temps d'exécution du circuit.

Le défi central est de récupérer une connectivité à longue portée sans dépendre d'un mouvement continu des atomes de données, afin de préserver la fidélité et de réduire la latence.

Méthodologie : Le Cadre BRIDGE
Les auteurs présentent BRIDGE (Buffer-Relay Interconnect for Data-stable Gate Execution), un co-design d'une structure matérielle statique et d'un compilateur à « déplacement paresseux » (lazy-move). L'approche inverse la logique de conception traditionnelle : au lieu de déplacer les atomes de données pour qu'ils se rencontrent, le système route l'intrication à travers un réseau stationnaire d'atomes « tampons » non codants, ne déplaçant les atomes de données que lorsqu'une analyse de seuil de rentabilité stricte justifie le coût.

• Architecture Matérielle (Structure de Relais-Tampon) :

  • Substrat à Double Espèce : Le système utilise un réseau entrelacé en 2D décalé de deux espèces : $^{87}\text{Rb}$ (atomes de données) et $^{133}\text{Cs}$ (atomes tampons).
  • Sélectivité des Canaux : L'adressage sélectif par espèce et les résonances de Förster créent trois canaux de couplage indépendants : Rb–Cs (fort), Cs–Cs (fort) et Rb–Rb (supprimé).
  • Disposition Géométrique : Les atomes tampons de Cs forment un réseau carré ($d_{BB} = 8,0\,\mu\text{m}$), les atomes de données de Rb étant placés aux centroïdes des plaquettes $2\times2$ de tampons ($d_{DB} = 5,66\,\mu\text{m}$). Cette géométrie garantit un couplage fort donnée-tampon et tampon-tampon tout en supprimant le diaphonie directe donnée-donnée.
  • Portes BAM : L'intrication est distribuée via des portes médiées par les atomes tampons (BAM - Buffer-Atom-Mediated). Un chemin de relais multi-sauts propage les excitations de Rydberg à travers des atomes tampons intermédiaires, permettant à des paires de données arbitraires d'interagir sans repositionner ni l'un ni l'autre des opérandes.

• Stratégie du Compilateur (Lazy-Move) :

  • Référence Statique (BRIDGE-F) : Un compilateur entièrement statique qui mappe les qubits logiques sur la grille physique et route toutes les portes via la structure tampon en utilisant des algorithmes de recherche de chemin le plus court et un ordonnancement de tampons disjoints.
  • Optimisation Hybride (BRIDGE-H) : Une phase de résolution de mobilité analytique qui évalue les « points chauds » (chaînes de relais longues ou interactions à longue portée temporellement regroupées). Elle déclenche le mouvement d'un atome de données uniquement si une condition de seuil de rentabilité est remplie : la réduction des erreurs de relais futures (fidélité et temps) doit l'emporter sur le coût ponctuel de l'événement de transport (erreurs de transfert et déphasage de transit).
  • Placement : Utilise une recherche par Optimisation Basée sur le Consensus (CBO), optionnellement amorcée par un démarrage à chaud par Apprentissage Automatique (ML) léger, pour minimiser les longueurs de relais initiales tout en réservant une marge spatiale pour un futur déplacement potentiel.

Contributions Clés

1. Structure de Relais-Tampon Statique : La première conception exposant la connectivité à longue portée comme une ressource fixe gérée par le compilateur via un réseau décalé à deux espèces, éliminant le besoin de mouvement des atomes de données comme primitive de routage par défaut.
2. Compilateur Lazy-Move : Le premier compilateur pour les circuits à atomes neutres qui traite le mouvement des atomes de données comme une exception rare et délibérée. Il utilise un test de seuil de rentabilité piloté par la physique pour déterminer quand un mouvement de repositionnement unique amortit le coût des erreurs de relais futures.
3. Validation de Bout en Bout : Un pipeline de simulation complet modélisant des paramètres matériels réalistes, incluant la fidélité des impulsions de relais, les fuites, les erreurs corrélées, la latence de mouvement des AOD et la fidélité globale du circuit.

Résultats
Évalué sur une suite de référence de 22 circuits (QASMBench et VeriQBench) sous un modèle d'erreur partagé unique :

• Fidélité : BRIDGE-F atteint une fidélité totale moyenne géométrique environ 10$\times$ plus élevée que ZAP et 16$\times$ plus élevée qu'Enola (références centrées sur la reconfiguration). Sur les circuits les plus difficiles, l'amélioration dépasse deux ordres de grandeur.
• Temps d'Exécution : BRIDGE-F réduit le temps d'exécution du circuit d'environ 540$\times$ par rapport à ZAP et de 1000$\times$ par rapport à Enola.
• Mouvement : BRIDGE-F réduit le mouvement des atomes de données de milliers d'événements de transport (dans les modèles de référence) à zéro.
• Mobilité Sélective : Pour la variante hybride BRIDGE-H, la mobilité sélective apporte des gains marginaux sur la suite générale (gain médian $\approx 0\,\%$) mais offre des améliorations significatives (jusqu'à $\sim 19\,\%$) sur des circuits spécifiques avec des interactions à longue portée temporellement regroupées (ex: algorithmes à déphasage) ou lorsque la fidélité du relais se dégrade.
• Ablation : Les gains de performance sont principalement portés par le placement sensible à la mobilité (qui raccourcit les longueurs de relais) et par la structure tampon statique elle-même, plutôt que par de simples heuristiques d'ordonnancement.

Signification et Revendications
L'article affirme que BRIDGE représente un changement fondamental dans le point de co-conception de l'informatique quantique à atomes neutres. En traitant la connectivité comme une ressource physique statique et routable plutôt que comme une conséquence du mouvement des atomes, l'approche améliore simultanément la fidélité et le temps d'exécution. Les auteurs soutiennent que le principe du « mouvement paresseux » est un mécanisme auto-désactivable et sans regret : pour les paramètres matériels actuels, la structure statique est suffisante pour la majorité des charges de travail, et la mobilité n'est invoquée que lorsqu'elle est strictement rentable. Ce changement d'architecture suggère une voie vers une informatique quantique à grande échelle et haute fidélité qui évite les pénalités d'erreur cumulatives inhérentes à la compilation centrée sur la reconfiguration. Le travail note également que la topologie fixe s'aligne bien avec les exigences d'extraction de syndrome du code de surface, où les atomes de données restent stationnaires tandis que les réseaux tampons gèrent la mesure et le routage.