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

Resumo Técnico: Compilação de Movimentação Preguiçosa (Lazy-Move) para Computadores Quânticos de Átomos Neutros via um Tecido de Buffer-Relé

Definição do Problema
A computação quântica de átomos neutros oferece altas contagens de qubits e longos tempos de coerência, mas sua conectividade nativa é limitada pelo bloqueio de Rydberg de curto alcance. As estratégias de compilação de estado da arte atuais dependem de abordagens "centradas na reconfiguração", onde pinças ópticas transportam fisicamente átomos de dados para trazer pares de operandos para dentro do raio de bloqueio de Rydberg antes de cada porta. Embora isso proporcione flexibilidade, incorre em custos significativos:

1. Degradação de Fidelidade: Cada movimento introduz aquecimento motional, erros de transferência entre Moduladores Espaciais de Luz (SLM) e Defletores Acusto-Ópticos (AOD) e riscos de perda de átomos.
2. Latência: A latência de movimento dos AODs excede substancialmente as durações de pulso de uma única porta.
3. Escalabilidade: À medida que a profundidade do circuito aumenta, o custo cumulativo de milhares de eventos de transporte degrada a fidelidade geral e o tempo de execução do circuito.

O desafio central é recuperar a conectividade de longo alcance sem depender da movimentação contínua de átomos de dados, preservando assim a fidelidade e reduzindo a latência.

Metodologia: O Framework BRIDGE
Os autores apresentam o BRIDGE (Buffer-Relay Interconnect for Data-stable Gate Execution), um co-design de um tecido de hardware estático e um compilador de "movimentação preguiçosa" (lazy-move). A abordagem inverte a lógica de design tradicional: em vez de mover átomos de dados para que se encontrem, o sistema roteia o emaranhamento através de uma rede estacionária de átomos "buffer" não codificadores, movendo os átomos de dados apenas quando uma análise de break-even justifica o custo.

• Arquitetura de Hardware (Tecido de Buffer-Relé):

  • Substrato de Duas Espécies: O sistema utiliza um arranjo intercalado 2D escalonado de duas espécies: $^{87}\text{Rb}$ (átomos de dados) e $^{133}\text{Cs}$ (átomos buffer).
  • Seletividade de Canal: O endereçamento seletivo por espécie e as ressonâncias de Förster criam três canais de acoplamento independentes: Rb–Cs (forte), Cs–Cs (forte) e Rb–Rb (suprimido).
  • Arranjo Geométrico: Os átomos buffer de Cs formam uma rede quadrada ($d_{BB} = 8,0\,\mu\text{m}$), com os átomos de dados de Rb posicionados nos centroides das plaquetas $2\times2$ de buffer ($d_{DB} = 5,66\,\mu\text{m}$). Esta geometria garante forte acoplamento dado-buffer e buffer-buffer enquanto suprime o crosstalk direto dado-dado.
  • Portas BAM: O emaranhamento é distribuído via portas mediadas por átomos buffer (BAM - Buffer-Atom-Mediated). Um caminho de relé de múltiplos saltos (multi-hop) percorre as excitações de Rydberg através de átomos buffer intermediários, permitindo que pares de dados arbitrários interajam sem reposicionar nenhum dos operandos.

• Estratégia do Compilador (Lazy-Move):

  • Linha de Base Estática (BRIDGE-F): Um compilador totalmente estático que mapeia qubits lógicos para a grade física e roteia todas as portas através do tecido de buffer usando algoritmos de caminho mais curto de relé e escalonamento de buffer disjunto.
  • Otimização Híbrida (BRIDGE-H): Uma fase de resolução de mobilidade analítica que avalia "pontos críticos" (hotspots) (cadeias de relé longas ou interações de longo alcance temporalmente agrupadas). Ela dispara o movimento de um átomo de dados apenas se uma condição de break-even for atendida: a redução nos erros de relé futuros (fidelidade e tempo) deve superar o custo único do evento de transporte (erros de transferência e desfasamento de trânsito).
  • Posicionamento: Utiliza uma busca de Otimização Baseada em Consenso (CBO), opcionalmente iniciada por um warm-start de Aprendizado de Máquina (ML) leve, para minimizar o comprimento inicial dos relés enquanto reserva margem espacial para potencial movimentação futura.

Principais Contribuições

1. Tecido de Buffer-Relé Estático: O primeiro design que expõe a conectividade de longo alcance como um recurso físico fixo e gerenciado pelo compilador, utilizando um arranjo escalonado de duas espécies, eliminando a necessidade de movimentação de átomos de dados como um primitivo de roteamento padrão.
2. Compilador Lazy-Move: O primeiro compilador para circuitos de átomos neutros que trata a movimentação de átomos de dados como uma exceção rara e deliberada. Ele utiliza um teste de break-even baseado na física para determinar quando um único movimento de reposicionamento amortiza o custo dos erros de relé futuros.
3. Validação de Ponta a Ponta: Um pipeline de simulação abrangente modelando parâmetros realistas de hardware, incluindo fidelidade de pulso de relé, vazamento (leakage), erros correlacionados, latência de movimento de AOD e fidelidade agregada do circuito.

Resultados
Avaliado em um conjunto de benchmarks de 22 circuitos (QASMBench e VeriQBench) sob um modelo de erro compartilhado único:

• Fidelidade: O BRIDGE-F alcança uma fidelidade total média geométrica aproximadamente 10$\times$ maior que o ZAP e 16$\times$ maior que o Enola (baselines centradas em reconfiguração). Nos circuitos mais difíceis, a melhoria excede duas ordens de magnitude.
• Tempo de Execução: O BRIDGE-F reduz o tempo de execução do circuito em aproximadamente 540$\times$ em comparação ao ZAP e 1000$\times$ em comparação ao Enola.
• Movimentação: O BRIDGE-F reduz a movimentação de átomos de dados de milhares de eventos de transporte (nas baselines) para zero.
• Mobilidade Seletiva: Para a variante híbrida BRIDGE-H, a mobilidade seletiva fornece ganhos marginais no conjunto geral (ganho mediano $\approx 0\%$), mas oferece melhorias significativas (até $\sim 19\%$) em circuitos específicos com interações de longo alcance temporalmente agrupadas (ex: algoritmos com deslocamento de fase) ou quando a fidelidade do relé degrada.
• Ablação: Os ganhos de desempenho são impulsionados principalmente pelo posicionamento consciente da mobilidade (que encurta os comprimentos de relé) e pelo próprio tecido de buffer estático, e não apenas por heurísticas de escalonamento.

Significância e Alegações
O artigo afirma que o BRIDGE representa uma mudança fundamental no ponto de co-design para a computação quântica de átomos neutros. Ao tratar a conectividade como um recurso físico estático e roteável, em vez de uma consequência da movimentação de átomos, a abordagem melhora simultaneamente a fidelidade e o tempo de execução. Os autores argumentam que o princípio de "movimentação preguiçosa" é um mecanismo de auto-desativação sem arrependimentos: para os parâmetros atuais de hardware, o tecido estático é suficiente para a maioria das cargas de trabalho, e a mobilidade só é invocada quando ela estritamente compensa. Esta mudança de arquitetura sugere um caminho para a computação quântica de larga escala e alta fidelidade que evita as penalidades cumulativas de erro inerentes à compilação centrada em reconfiguração. O trabalho também observa que a topologia fixa alinha-se bem com os requisitos de extração de síndrome para tolerância a falhas de código de superfície, onde os átomos de dados permanecem estacionários enquanto as redes de buffer lidam com medição e roteamento.