Resumo Técnico: QASMTrans

Definição do Problema

O cenário atual da compilação quântica enfrenta gargalos significativos em velocidade, flexibilidade e integração de hardware, particularmente para dispositivos de Escala Intermediária com Ruído (NISQ). Os compiladores comerciais existentes, como os incorporados no Qiskit e no Cirq, oferecem funcionalidades abrangentes, mas sofrem com tempos de compilação lentos, especialmente para circuitos profundos comuns em aplicações de química, otimização e física nuclear. Essa latência limita a exploração de espaços de design maiores e dificulta a integração de otimizações avançadas e computacionalmente dispendiosas. Além disso, muitos esforços de pesquisa acadêmica focam em técnicas de transpilação isoladas (por exemplo, decomposição de portas ou roteamento) que carecem de demonstrações de ponta a ponta e são frequentemente limitadas pelas restrições dos frameworks baseados em Python nos quais habitam.

Existe uma lacuna crítica no controle ao nível de pulso. Enquanto testbeds quânticos emergentes exigem otimização de pulso de granularidade fina para algoritmos adaptativos (ex: ADAPT-VQE, ADAPT-QAOA), as ferramentas existentes oferecem suporte limitado para integração direta com sistemas embarcados. O Qiskit restringe operações de pulso ao hardware da IBM, e o XACC suporta compilação de pulso apenas para seu simulador interno. Consequentemente, há uma falta de um framework leve e autossuficiente capaz de fazer a ponte entre algoritmos quânticos abstratos diretamente para o controle de nível de dispositivo com capacidades de implantação Just-in-Time (JIT) em testbeds de QPU.

Metodologia

O QASMTrans aborda esses desafios por meio de um framework de compilador quântico leve e de alto desempenho, baseado em C++, projetado para compilação de ponta a ponta do OpenQASM para cronogramas de pulso de nível de dispositivo. O framework é autossuficiente, sem dependências de bibliotecas externas (utilizando bibliotecas apenas de cabeçalho como Lexertk e JSON), facilitando a implantação em diversos hardwares, desde dispositivos embarcados baseados em ARM até sistemas de HPC de classe de liderança.

A metodologia é estruturada em quatro componentes primários:

1. Módulo de Entrada/Saída (IO):

   • Parsing: Utiliza um parser de alto desempenho em C++ (Lexertk) para tokenizar arquivos OpenQASM 2.0, traduzindo-os em uma Representação Intermediária (IR) de Portas. Esta IR encapsula nomes de portas, qubits alvo, parâmetros e representações matriciais.
   • Configuração de Hardware: Extrai detalhes do dispositivo de backend (grafos de acoplamento, portas de base) a partir de arquivos JSON.
   • Saída: Exporta circuitos transpilados em formatos QASM, QIR ou Quil.

2. Módulo de Configuração:

   • Geração de Grafo: Constrói um Grafo Acíclico Dirigido (DAG) para representar as dependências de portas e um Grafo de Acoplamento baseado na topologia do hardware alvo.
   • Decomposição: Decompõe sistematicamente portas de 3 qubits (ex: CCX) em portas de 1 e 2 qubits antes do roteamento.
   • Estratégias de Otimização: Implementa a "Otimização Orientada à Simulação", incluindo roteamento de qubit restrito (limitando o espaço de busca aos subgrafos relevantes para simulação clássica) e priorização de qubits guiada pelo usuário para minimizar o overhead de comunicação em simulações distribuídas.

3. Núcleo de Transpilação:

   • Roteamento e Mapeamento: Emprega o algoritmo Sabre como base, mas introduz otimizações para reduzir custos de travessia. Em vez de percorrer todo o DAG após cada porta, ele mantém uma camada frontal, atualizando apenas os nós executados e as novas portas disponíveis, reduzindo a complexidade de $O(G)$ para $O(n)$ (onde $n$ é o número de qubits).
   • Poda de SWAP: Introduz um método para restringir a área de qubits físicos ao selecionar candidatos a SWAP, reduzindo o espaço de busca para máquinas de grande escala.
   • Decomposição de Porta de Base: Traduz portas gerais para o conjunto específico de portas de base do dispositivo alvo (ex: IBMQ, Rigetti, IonQ, Quantinuum) após o roteamento.

4. Compilação de Pulso e Estratégias Adaptativas:

   • Integração QICK: Interface direta com o Quantum Instrumentation Control Kit (QICK) para controle baseado em FPGA, permitindo emissão de pulso de baixa latência e tempo real.
   • Conjunto de Portas Customizado pela Aplicação (AGS): Identifica sequências de portas de alto impacto ao longo do caminho crítico do circuito. Ele sintetiza cronogramas de pulso otimizados para essas sequências específicas usando ansatz robustos pré-definidos (ex: AshN para portas de dois qubits), reduzindo o overhead de calibração e a latência do circuito.
   • Transpilação Adaptativa ao Ruído: Utiliza dados de calibração do dispositivo (T1, T2, taxas de erro) para realizar isomorfismo de subgrafo (via VF2++) para posicionamento de circuito. Prioriza mapeamentos que minimizam o erro médio ao longo do caminho crítico, em vez de todo o circuito.
   • Compartilhamento de Espaço: Implementa um algoritmo de particionamento que divide o grafo de acoplamento do hardware em subchips isolados, permitindo a execução simultânea de múltiplos circuitos ou shots em um único QPU.

Principais Contribuições

• Framework C++ de Ponta a Ponta: Os autores propõem um compilador quântico de código aberto e autossuficiente que reduz significativamente o tempo de transpilação para uma ampla gama de aplicações, melhorando a eficiência em dispositivos NISQ.
• Integração de Nível de Pulso: O QASMTrans é equipado para gerar portas de base específicas e cronogramas de pulso calibrados para diferentes máquinas alvo, integrando-se diretamente ao QICK para controle embarcado.
• Desempenho e Portabilidade: Através de experimentos abrangentes, o framework demonstra a capacidade de transpile circuitos com fidelidade comparável ao Qiskit em dispositivos reais (Rigetti, IBMQ, IonQ, Quantinuum), porém com uma velocidade significativamente maior. É validado em diversas plataformas, incluindo dispositivos embarcados ARM e sistemas HPC.
• Novas Técnicas de Otimização:
  • AGS: Uma abordagem consciente da latência para sintetizar sequências de pulso customizadas para portas pré-transpiladas frequentes, reduzindo a latência de execução.
  • Heurísticas de Caminho Crítico: Uma estratégia de posicionamento adaptativa ao ruído que foca a otimização no caminho crítico do circuito para reduzir o tempo de transpilação mantendo a fidelidade.
  • Compartilhamento de Espaço: Um mecanismo para execução simultânea de circuitos via particionamento de dispositivo consciente da calibração.

Resultados

O artigo valida o QASMTrans através de benchmarks extensivos e execução em dispositivos reais:

• Velocidade de Compilação: O QASMTrans alcança mais de 100× mais velocidade de compilação que o Qiskit em alguns circuitos com qualidade similar. Em benchmarks específicos (ex: bwt_n21 com 87K portas), demonstrou um aumento de velocidade de 4× sobre o Qiskit O3 com profundidade de circuito comparável. Os aumentos de velocidade totais chegaram a até 171×.
• Qualidade do Circuito: Os circuitos transpilados exibem profundidade, contagem de portas e contagem de portas de 2 qubits comparáveis ao Qiskit.
• Fidelidade: A validação em quatro dispositivos NISQ reais (IBM-Brisanne, Rigetti-AspenM2, IonQ-Aria1, Quantinuum-H1-1) mostra um desvio de fidelidade inferior a 1% em relação aos resultados do Qiskit.
• Otimização de Nível de Pulso: A simulação de pulso integrada do QuTiP em um modelo Rigetti de 9 qubits mostrou que o esquema AGS poderia reduzir a latência de execução em até 31,7% e melhorar a fidelidade do estado final em até 12% nos circuitos testados.
• Portabilidade: Os tempos de compilação em várias plataformas (desde Apple M2 até o HPC Frontier) foram consistentemente abaixo de 100 segundos, com a maioria completando em menos de 1 segundo.

Significância

O artigo posiciona o QASMTrans como uma infraestrutura fundamental para a pilha de software quântico, visando especificamente as necessidades de dispositivos de curto prazo e algoritmos adaptativos. Sua significância reside em:

1. Preencher a Lacuna: Ele fecha a lacuna entre circuitos lógicos e controle de hardware ao permitir a compilação de ponta a ponta do QASM para pulsos calibrados, uma capacidade anteriormente limitada ou inexistente em frameworks de código aberto.
2. Habilitar Adaptação em Tempo Real: Ao alcançar tempos de transpilação rápidos (segundos para circuitos grandes), ele permite a implantação de algoritmos adaptativos em tempo real como ADAPT-VQE e ADAPT-QAOA, que exigem geração dinâmica de circuitos e compilação JIT.
3. Agnosticismo de Hardware e Portabilidade: A implementação em C++ e a ausência de dependências externas permitem que ele rode em sistemas embarcados (ex: FPGAs via QICK), bem como em supercomputadores, tornando-o adequado tanto para operadores de testbeds quanto para ambientes de simulação de larga escala.
4. Eficiência de Otimização: Ao focar no caminho crítico para posicionamento adaptativo ao ruído e síntese de pulso, oferece uma abordagem prática para mitigação de erro sem o custo computacional proibitivo da otimização global.

Os autores concluem que o QASMTrans serve tanto como uma base para implementar tecnologias avançadas de transpilação quanto como uma ferramenta prática para operadores de testbeds, facilitando a execução eficiente de algoritos quânticos complexos em dispositivos NISQ.