Resumo Técnico: QaiJi IR – Uma Família de Representações Intermediárias de Oito Camadas para Compilação Quântico-Clássica Híbrida

1. Definição do Problema

Compiladores quântico-clássicos híbridos devem trocar programas através de múltiplas camadas de abstração: circuitos, fluxo de controle, pulsos, dispositivos e representações físicas. As representações intermediárias (IRs) existentes, como OpenQASM 3, QIR e sistemas baseados em MLIR (ex: CUDA-Q, Catalyst), fazem escolhas de fronteira distintas e carecem de um vocabulário unificado para expressar as obrigações de preservação entre cada par de camadas. Consequentemente, as propriedades que devem sobreviver a um passo de "redução" (lowering — transformação de uma representação de alto nível para uma de baixo nível) são frequentemente impostas por código específico da ferramenta, em vez de serem explicitamente declaradas em uma IR comum. Essa fragmentação dificulta a verificação de que um passo de compilação preservou corretamente a semântica, o fluxo de dados ou a equivalência sem depender de scripts externos ou objetos de tempo de execução.

2. Metodologia: O Contrato Semântico de Cinco Eixos e a Arquitetura de Oito Camadas

O artigo propõe o QaiJi IR, um framework projetado não para substituir linguagens de origem ou interfaces de hardware existentes, mas para fornecer um contrato semântico comum para o caminho de compilação.

O Contrato Semântico de Cinco Eixos

A metodologia central é um "contrato semântico de cinco eixos" que define explicitamente cinco obrigações distintas através da pilha de compilação:

1. Dados: Define nós tipados, condições e artefatos físicos que atravessam as camadas.
2. Semântica: Define o significado, níveis de equivalência, mecanismos de feedback e aspectos temporais das operações.
3. Redução (Lowering): Especifica regras de legalização, seleção de alvo e a informação de preservação carregada entre os estágios.
4. Tempo de Execução (Runtime): Conecta artefatos à execução, simulação e trajetórias de feedback.
5. Verificação: Fornece resumos canônicos, invariantes e evidências de conformidade.

A Família de IR de Oito Camadas

O QaiJi organiza este contrato em uma família de oito camadas (Figura 2):

• Pipeline Principal (L5–L0):
  • L5 (Program IR): Kernels, lotes de disparos (shot batches) e estrutura de experimento.
  • L4 (Semantic IR): A camada central que define o contrato semântico. Registra classes de operação, níveis de equivalência, papéis de otimização e modelos de feedback.
  • L3 (Hybrid Control IR): Ramos clássicos, loops e arestas de feedback (ex: REGISTER_ALU).
  • L2 (Native Scheduling IR): Portas nativas, topologia, temporização e vinculação de recursos.
  • L1 (Pulse IR): Sequências de pulsos, quadros (frames) e portas.
  • L0 (Waveform IR): Formas de onda amostradas e grades de temporização.
• Camadas Laterais:
  • P (Dynamics IR): Fornece Hamiltonianos, canais de colapso e políticas de solução.
  • T (Trace IR): Coleta traços de execução, decisões de ramo e certificados de preservação.

Principais Escolhas de Design

• L4 SemanticIR: Esta camada atua como a âncora semântica. Ela mapeia operações para MorphismTypes (Unitária, Permutação, Medição, Fase, Identidade, Controle Clássico) e atribui atributos como EquivLevel (diferença permitida) e ConditionModel.
• Neutralidade de ISA: A L4 mapeia tipos de morfismo para rótulos de ação neutros de ISA (ex: "PULSE", "ALU", "JUMP") em vez de opcodes concretos. Um adaptador de jusante seleciona a instrução específica do hardware, garantindo que a camada semântica permaneça desacoplada das especificidades do dispositivo.
• Rejeição Explícita: O sistema rejeita explicitamente construtos não suportados (ex: formas complexas de feedback) com erros tipados, em vez de degradar silenciosamente ou ignorá-los.

3. Principais Contribuições

O artigo apresenta três contribuições primárias:

1. Definição do Contrato de Cinco Eixos: Ele especifica formalmente o modelo de dados, a semântica das operações, as obrigações de redução, as suposições de tempo de execução e as evidências de verificação necessários para a compilação híbrida, distribuindo essas responsabilidades pelas oito camadas.
2. Implementação de um Caminho de Compilação Vertical: O autor implementou um caminho de protótipo desde nós de circuito tipados e entrada OpenQASM, passando pela anotação semântica L4, construção de pulso simbólico, até a materialização de dispositivo-ISA para execução em uma Unidade de Processamento de Pulso Virtual (VPPU).
3. Avaliação Funcional: O caminho foi avaliado usando testes positivos, negativos e gerados, incluindo a execução de um ramo de active-reset binário na VPPU.

4. Resultados e Avaliação

A avaliação foca na validação funcional da representação e da semântica de execução, evitando explicitamente reivindicações sobre desempenho ou fidelidade física.

• Frontend e Canonicalização: O codec de circuito processa com sucesso entradas OpenQASM 2/3, emite um ponto fixo canônico OpenQASM 3 e rejeita explicitamente portas ou estruturas de controle não suportadas.
• Preservação Semântica: Para um fragmento condicionado por medição (porta H, CNOT, RZ, medição, porta condicional), o sistema:
  • Atribui anotações L4 (MorphismType, EquivLevel).
  • Cria uma aresta de medição-para-condição REGISTER_ALU.
  • Passa por uma verificação de consistência agregada exata (comparando classes de morfismo e contagens de medição antes e depois da redução).
  • Produz um template de pulso simbólico.
• Semântica de Execução (Caso Active-Reset): Um cenário de active-reset de um único qubit foi materializado em registros ALU/FPROC e um ramo condicional.
  • Quando a VPPU recebeu um resultado externo de 1, o comando de acionamento condicional foi executado.
  • Quando fornecido com 0, o acionamento foi ignorado.
  • Isso validou o comportamento de ramo binário e o elo causal de um resultado baseado em bits para o fluxo de controle.

Limitações dos Resultados:
O artigo observa explicitamente que estes testes não estabelecem um loop de feedback físico. O simulador ainda não consegue aplicar o colapso da medição de meio de circuito e continuar a mesma trajetória dinâmica. Além disso, o ramo da VPPU testa atualmente se um slot de feedback bruto é diferente de zero, em vez de consumir um resultado de comparação ALU materializado.

5. Significância e Alegações

O artigo alega significância ao abordar um "problema de design de compilador mais restrito": fornecer um lugar comum para declarar e verificar obrigações de preservação entre camadas de compilador.

• Escopo Modesto: O autor não pretende substituir IRs existentes (OpenQASM, QIR, MLIR) ou interfaces de hardware. Em vez disso, o QaiJi IR atua como uma sobreposição semântica que permite que esses sistemas díspares se conectem via um contrato compartilhado.
• Separação de Preocupações: Ao separar tipos semânticos de opcodes de dispositivo e manter a camada semântica independente de pacotes de tempo de execução, o framework visa tornar as fronteiras explícitas. Isso permite que cada passo de redução declare qual obrigação ele verifica e qual evidência permanece fora de seu escopo.
• Trabalhos Futuros: O artigo reconhece que provas formais de preservação, leis de equivalência por operação e conformidade entre implementações permanecem em aberto. A implementação atual valida um caminho estrutural e uma forma de feedback restrita ao nível de instrução, mas latência de feedback, fidelidade e avaliação de predicados gerais ainda não foram medidos.

Em resumo, o QaiJi IR propõe uma arquitetura de oito camadas estruturada, governada por um contrato semático de cinco eixos, para formalizar as obrigações da compilação quântico-clássica híbrida. Seu protótipo demonstra um caminho funcional desde a descrição de alto nível de um circuito até ramos binários executáveis, validando a representação de dependências semânticas enquanto reconhece explicitamente a incapacidade atual de simular trajetórias de feedback físico contínuo.