Reuse-Aware Compilation for Zoned Quantum Architectures Based on Neutral Atoms

1. Problema e Contexto

A computação quântica baseada em átomos neutros é uma plataforma promissora devido à sua escalabilidade, tempos de coerência longos e reconfigurabilidade. No entanto, a arquitetura tradicional monolítica (onde todas as operações ocorrem em uma única zona iluminada por um laser de Rydberg) enfrenta um gargalo crítico de fidelidade:

• Ruído de Efeito Lateral: Em arquiteturas monolíticas, o laser de Rydberg que executa portas de dois qubits (entrelaçamento) também excita os qubits ociosos (idle) no resto do chip. Essa excitação indesejada é uma fonte significativa de erro, especialmente em circuitos profundos.
• Limitações de Compilação Existente: Arquiteturas zonadas (que separam fisicamente as zonas de armazenamento, entrelaçamento e leitura) foram propostas para mitigar esse problema, mantendo qubits ociosos em zonas de armazenamento protegidas do laser. Contudo, compiladores existentes para essas arquiteturas (como Arctic e NALAC) são limitados:
  • Arctic: Suporta apenas uma configuração específica e introduz muita movimentação de qubits.
  • NALAC: Utiliza reutilização de qubits, mas aumenta a distância de movimentação dentro da zona de entrelaçamento e expõe qubits ociosos a erros, além de não suportar arquiteturas com múltiplos defletores acusto-ópticos (AODs) ou configurações complexas de zonas.

O desafio principal é desenvolver um compilador que maximize a fidelidade em arquiteturas zonadas, minimizando a sobrecarga de movimentação de dados entre zonas e explorando a reutilização de qubits sem aumentar os erros de excitação.

2. Metodologia: O Compilador ZAC

Os autores propõem o ZAC (Zoned Architecture Compiler), uma ferramenta escalável projetada especificamente para arquiteturas de átomos neutros zonadas. O fluxo de trabalho do ZAC divide-se em três etapas principais:

A. Especificação e Representação Intermediária (ZAIR)

• Especificação Flexível: O ZAC introduz uma especificação formal que permite definir múltiplas zonas (armazenamento, entrelaçamento, leitura) e múltiplos arrays de AODs e SLMs (Moduladores de Luz Espacial).
• ZAIR (Zoned Architecture Intermediate Representation): Uma representação intermediária que abstrai as operações de rearranjo de qubits em "trabalhos de rearranjo" (rearrangement jobs). Isso facilita o agendamento paralelo em múltiplos AODs e serve como interface entre o posicionamento e o agendamento.

B. Posicionamento Consciente de Reutilização (Reuse-Aware Placement)

Esta é a inovação central do ZAC para reduzir a movimentação e os erros associados:

1. Reutilização de Qubits: Se um qubit participará da próxima etapa de entrelaçamento (Rydberg), ele permanece na sua localização atual na zona de entrelaçamento, evitando o custo e o erro de transferi-lo de volta para o armazenamento e trazê-lo novamente.
2. Função de Custo Avançada: O compilador utiliza uma função de custo que estima a duração do movimento (proporcional à raiz quadrada da distância) e considera a possibilidade de movimentos paralelos.
3. Algoritmos de Otimização:
   • Posicionamento Inicial: Utiliza Recozimento Simulado (Simulated Annealing) para encontrar uma configuração inicial de qubits que minimize a distância total de movimento para as primeiras etapas do circuito.
   • Posicionamento Dinâmico: Entre as etapas de Rydberg, o ZAC resolve dois problemas de emparelhamento em grafos bipartidos:
     • Reutilização: Usa o algoritmo de Hopcroft-Karp para maximizar o número de qubits que podem ser reutilizados sem conflitos de localização.
     • Posicionamento de Portas: Usa o algoritmo de Jonker-Volgenant para atribuir portas a sítios de Rydberg, minimizando o custo de movimento considerando também o "olhar para frente" (lookahead) para etapas futuras.
   • Retorno ao Armazenamento: Qubits não reutilizados são movidos de volta para a zona de armazenamento, escolhendo locais que minimizem a distância para a próxima interação necessária.

C. Agendamento com Balanceamento de Carga (Load-Balancing Scheduling)

• O ZAC gera instruções de máquina para os AODs.
• Utiliza um algoritmo de agendamento que distribui os trabalhos de rearranjo entre múltiplos AODs disponíveis de forma balanceada.
• O algoritmo prioriza instruções de maior duração para evitar gargalos, garantindo que as dependências de "armadilha" (um qubit deve sair antes que outro entre) e de "qubit" (um qubit não pode estar em dois lugares ao mesmo tempo) sejam respeitadas.

3. Principais Contribuições

1. Compilador ZAC: O primeiro compilador escalável e consciente de reutilização para arquiteturas zonadas complexas com múltiplos AODs.
2. Estratégia de Reutilização Otimizada: Uma técnica que mantém qubits na zona de entrelaçamento se forem usados imediatamente a seguir, reduzindo drasticamente a movimentação e os erros de transferência de átomos.
3. ZAIR e Especificação de Arquitetura: Uma nova representação intermediária e uma especificação formal que permitem a exploração de layouts de hardware variados e escaláveis.
4. Suporte a FTQC: O compilador suporta portas transversais, essenciais para a Computação Quântica Tolerante a Falhas (FTQC), permitindo a execução de circuitos lógicos em blocos de código.

4. Resultados Experimentais

Os autores avaliaram o ZAC usando benchmarks do QASMBench (circuitos de 14 a 98 qubits) e compararam com arquiteturas monolíticas, supercondutoras e outros compiladores de átomos neutros.

• Melhoria de Fidelidade: O ZAC em arquiteturas zonadas alcança uma melhoria de 22x na fidelidade em comparação com arquiteturas monolíticas.
• Comparação com Supercondutores: Supera as arquiteturas de qubits supercondutores (IBM Heron e Google Grid) em 1.56x a 2.33x de fidelidade, principalmente devido à menor taxa de erro de decoerência dos átomos neutros.
• Superioridade sobre Compiladores Existentes: O ZAC oferece uma melhoria de 4x na fidelidade em comparação com o compilador NALAC (o estado da arte anterior para arquiteturas zonadas), eliminando erros de excitação de qubits ociosos que o NALAC ainda sofre.
• Gap de Otimalidade: O ZAC opera com apenas 10% de gap em relação à solução ideal teórica (reutilização perfeita, movimento perfeito e posicionamento perfeito).
• Eficiência: O compilador é rápido, resolvendo instâncias em menos de 1 segundo quando a otimização de mapeamento inicial é desativada, e mantém tempos de compilação competitivos mesmo com otimizações completas.
• Escalabilidade: A utilização de múltiplos AODs e múltiplas zonas de entrelaçamento demonstrou melhorias adicionais na fidelidade e redução no tempo de execução do circuito.

5. Significado e Impacto

Este trabalho é fundamental para o avanço da computação quântica com átomos neutros, pois:

• Resolve o Gargalo de Fidelidade: Demonstra que a separação física de zonas, quando combinada com uma compilação inteligente, pode superar as limitações de ruído das arquiteturas monolíticas.
• Habilita a FTQC: Ao suportar portas transversais e otimizar o movimento de blocos lógicos, o ZAC prepara o terreno para a execução de algoritmos quânticos tolerantes a falhas em larga escala.
• Flexibilidade de Hardware: A especificação proposta permite que pesquisadores projetem e testem rapidamente novas configurações de hardware (múltiplas zonas, diferentes tamanhos de AOD) sem reescrever o compilador.
• Código Aberto: O ZAC é disponibilizado como código aberto, fomentando a pesquisa e o desenvolvimento na comunidade de arquitetura quântica.

Em resumo, o ZAC transforma a promessa teórica das arquiteturas zonadas de átomos neutros em uma realidade prática e de alto desempenho, oferecendo uma rota viável para computadores quânticos escaláveis e confiáveis.