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

Resumen Técnico: Compilación de Movimiento-Perezoso para Computación Cuántica de Átomos Neutros mediante un Tejido de Búfer-Relé

Planteamiento del Problema
La computación cuántica de átomos neutros ofrece un alto número de cúbits y tiempos de coherencia prolongados, pero su conectividad nativa está limitada por el bloqueo de Rydberg de corto alcance. Las estrategias de compilación de vanguardia actuales dependen de enfoques "centrados en la reconfiguración", donde las pinzas ópticas trasladan físicamente los átomos de datos para acercar los pares de operandos dentro del radio de bloqueo antes de cada puerta. Aunque esto proporciona flexibilidad, incurre en costos significativos:

1. Degradación de la Fidelidad: Cada movimiento introduce calentamiento motional, errores de transferencia entre Moduladores Espaciales de Luz (SLM) y Deflectores Acusto-Ópticos (AOD), y riesgos de pérdida de átomos.
2. Latencia: La latencia de movimiento de los AOD supera sustancialmente las duraciones de los pulsos de una sola puerta.
3. Escalabilidad: A medida que la profundidad del circuito aumenta, el costo acumulado de miles de eventos de transporte degrada la fidelidad general del circuito y el tiempo de ejecución.

El desafío central es recuperar la conectividad de largo alcance sin depender del movimiento continuo de los átomos de datos, preservando así la fidelidad y reduendo la latencia.

Metodología: El Marco BRIDGE
Los autores presentan BRIDGE (Buffer-Relay Interconnect for Data-stable Gate Execution), un codiseño de un tejido de hardware estático y un compilador de "movimiento-perezoso" (lazy-move). El enfoque invierte la lógica de diseño tradicional: en lugar de mover los átomos de datos para que se encuentren, el sistema enruta el entrelazamiento a través de una red estacionaria de átomos "búfer" que no codifican información, moviendo los átomos de datos solo cuando un análisis de punto de equilibrio justifica estrictamente el costo.

• Arquitectura de Hardware (Tejido de Búfer-Relé):

  • Sustrato de Doble Especie: El sistema utiliza una matriz intercalada 2D escalonada de dos especies: $^{87}\text{Rb}$ (átomos de datos) y $^{133}\text{Cs}$ (átomos de búfer).
  • Selectividad de Canal: El direccionamiento selectivo de especie y las resonancias de Förster crean tres canales de acoplamiento independientes: Rb–Cs (fuerte), Cs–Cs (fuerte) y Rb–Rb (suprimido).
  • Arreglo Geométrico: Los átomos de búfer de Cs forman una red cuadrada ($d_{BB} = 8.0\,\mu\text{m}$), con los átomos de datos de Rb colocados en los centroides de las plaquetas de $2\times2$ de los búferes ($d_{DB} = 5.66\,\mu\text{m}$). Esta geometría asegura un acoplamiento fuerte entre dato-búfer y búfer-búfer mientras suprime el crosstalk directo entre datos.
  • Puertas BAM: El entrelazamiento se distribuye mediante puertas mediadas por átomos de búfer (BAM). Una ruta de relé de múltiples saltos atraviesa las excitaciones de Rydberg a través de átomos de búfer intermedios, permitiendo que pares de datos arbitrarios interactúen sin reposicionar ninguno de los operandos.

• Estrategia del Compilador (Movimiento-Perezoso):

  • Línea Base Estática (BRIDGE-F): Un compilador totalmente estático que mapea los cúbits lógicos a la rejilla física y enruta todas las puertas a través del tejido de búfer utilizando algoritmos de ruta más corta y programación de búferes disjuntos.
  • Optimización Híbrida (BRIDGE-H): Una fase de resolución de movilidad analítica que evalúa "puntos calientes" (cadenas de relé largas o interacciones de largo alcance temporalmente agrupadas). Esto activa el movimiento de un átomo de datos solo si se cumple una condición de punto de equilibrio: la reducción de los errores de relé futuros (fidelidad y tiempo) debe superar el costo único del evento de transporte (errores de transferencia y desfasaje de tránsito).
  • Colocación: Utiliza una búsqueda de Optimización Basada en Consenso (CBO), opcionalmente iniciada por un arranque en caliente de Aprendizaje Automático (ML) ligero, para minimizar la longitud inicial de los relés mientras se reserva espacio espacial para un posible trasporte futuro.

Contribuciones Clave

1. Tejido de Búfer-Relé Estático: El primer diseño que expone la conectividad de largo alcance como un recurso físico fijo y gestionado por el compilador, utilizando una matriz escalonada de doble especie, eliminando la necesidad del movimiento de átomos de datos como una primitiva de enrutamiento por defecto.
2. Compilador de Movimiento-Perezoso: El primer compilador para circuitos de átomos neutros que trata el movimiento de átomos de datos como una excepción rara y deliberada. Utiliza una prueba de punto de equilibrio impulsada por la física para determinar cuándo un único movimiento de reposicionamiento amortiza el costo de los errores de relé futuros.
3. Validación de Extremo a Extremo: Un flujo de simulación integral que modela parámetros de hardware realistas, incluyendo la fidelidad del pulso de relé, fuga, errores correlacionados, latencia de movimiento de AOD y fidelidad agregada del circuito.

Resultos
Evaluado en un conjunto de pruebas de 22 circuitos emparejados (QASMBench y VeriQBench) bajo un modelo de error compartido:

• Fidelidad: BRIDGE-F logra una fidelidad total de media geométrica aproximadamente 10 veces mayor que ZAP y 16 veces mayor que Enola (líneas base centradas en la reconfiguración). En los circuitos más difíciles, la mejora supera los dos órdenes de magnitud.
• Tiempo de Ejecución: BRIDGE-F reduce el tiempo de ejecución del circuito aproximadamente 540 veces en comparación con ZAP y 1000 veces en comparación con Enola.
• Movimiento: BRIDGE-F reduce el movimiento de átomos de datos de miles de eventos de transporte (en las líneas base) a cero.
• Movilidad Selectiva: Para la variante híbrida BRIDGE-H, la movilidad selectiva proporciona ganancias marginales en el conjunto general (ganancia mediana $\approx 0\%$) pero ofrece mejoras significativas (hasta $\sim 19\%$) en circuitos específicos con interacciones de largo alcance temporalmente agrupadas (por ejemplo, algoritmos con desfase) o cuando la fidelidad del relé se degrada.
• Ablación: Las ganancias de rendimiento son impulsadas principalmente por la colocación consciente de la movilidad (que acorta las longitudes de los relés) y el propio tejido de búfer estático, más que por simples heurísticas de programación.

Significancia y Reivindicaciones
El artículo afirma que BRIDGE representa un cambio fundamental en el punto de codiseño para la computación cuántica de átomos neutros. Al tratar la conectividad como un recurso físico estático y enrutable en lugar de una consecuencia del movimiento de los átomos, el enfoque mejora simultáneamente la fidelidad y el tiempo de ejecución. Los autores argumentan que el principio de "movimiento-perezoso" es un mecanismo de autodesactivación sin arrepentimiento: para los parámetros de hardware actuales, el tejido estático es suficiente para la mayoría de las cargas de trabajo, y la movilidad solo se invoca cuando estrictamente vale la pena. Este cambio a nivel de arquitectura sugiere una vía hacia la computación cuántica de gran escala y alta fidelidad que evita las penalizaciones de error acumulativo inherentes a la compilación centrada en la reconfiguración. El trabajo también señala que la topología fija se alinea bien con los requisitos de extracción de síndrome para la tolerancia a fallos de código de superficie, donde los átomos de datos permanecen estacionarios mientras las redes de búfer gestionan la medición y el enrutamiento.