PHOENIX: Pauli-Based High-Level Optimization Engine for Instruction Execution on NISQ Devices

O artigo apresenta o PHOENIX, um framework de compilação inovador que otimiza a execução de algoritmos variacionais quânticos em dispositivos NISQ através de uma representação intermediária baseada em Pauli, superando os métodos atuais ao explorar oportunidades de otimização global.

O essencial

Imagine que você está tentando organizar uma festa gigante em uma casa pequena e cheia de obstáculos. Os convidados são os qubits (as unidades básicas dos computadores quânticos) e a música que eles precisam tocar juntos é o algoritmo (o programa quântico).

O problema é que, na era atual dos computadores quânticos (chamada de NISQ), a casa é barulhenta, os convidados se cansam rápido e qualquer movimento errado estraga a música. Além disso, a casa tem corredores estreitos e paredes que impedem que certos convidados falem diretamente uns com os outros.

Aqui entra o PHOENIX.

O Que é o PHOENIX?

O PHOENIX é como um maestro superinteligente e um arquiteto de festas em um só. Ele foi criado por pesquisadores para organizar programas quânticos complexos (chamados de Variational Quantum Algorithms) de uma forma que funcione melhor no hardware real, mesmo com todos os seus defeitos.

Antes do PHOENIX, os "maestros" (outros compiladores) olhavam para a festa e tentavam arrumar apenas pequenos grupos de convidados de cada vez, ou seguiam regras rígidas de como os convidados podiam se mover. Eles não viam a festa inteira de uma vez só.

O PHOENIX, no entanto, olha para a festa inteira e pensa: "Como posso organizar todos esses convidados de uma só vez para que a música fique perfeita, o barulho seja mínimo e ninguém precise atravessar a casa inteira para falar com o vizinho?"

Como o PHOENIX Funciona? (A Analogia da "Caixa de Blocos Mágicos")

Para entender a mágica, vamos usar três analogias principais:

1. A Tradução para uma Linguagem Universal (O IR Baseado em Pauli)

Os computadores quânticos falam "línguas" diferentes (chamadas de ISAs). Alguns só entendem portas lógicas simples, outros entendem portas mais complexas.
Antes, os compiladores tentavam traduzir o programa para a "língua" do computador e depois tentar arrumar a bagunça.
O PHOENIX faz o contrário: ele primeiro traduz tudo para uma linguagem universal de "blocos de Pauli". Imagine que, em vez de tentar montar um quebra-cabeça com peças de formatos estranhos, o PHOENIX primeiro transforma todas as peças em quadrados perfeitos. Isso permite que ele veja padrões que ninguém mais conseguia ver.

2. O Jogo de "Simplificação Mágica" (O Algoritmo BSF)

Imagine que você tem uma pilha enorme de blocos de Lego coloridos e bagunçados. O objetivo é reduzir a altura dessa pilha o máximo possível, mas sem quebrar a estrutura.
O PHOENIX usa uma ferramenta matemática chamada Forma Simpética Binária (que é só um nome chique para uma tabela de números). Ele olha para essa tabela e pergunta: "Se eu girar este bloco aqui e aquele ali, consigo fazer dois blocos se cancelarem e sumirem?"
Ele faz isso repetidamente, como um jogo de Tetris, procurando a melhor jogada para derrubar a maior quantidade de blocos (reduzir a complexidade) de uma só vez. Isso é chamado de "simplificação global". Enquanto outros compiladores tentavam limpar um canto da mesa, o PHOENIX limpa a mesa inteira.

3. O "Tetris" de Organização (Ordenação Global)

Depois de simplificar os blocos, o PHOENIX precisa decidir a ordem em que eles serão colocados na mesa (o circuito quântico).
Aqui, ele usa uma estratégia de Tetris. Ele não apenas empilha os blocos; ele olha para a forma de cada peça e tenta encaixá-las de modo que:

• Não haja buracos (evitando que o sinal se perca).
• As peças se encaixem perfeitamente (cancelando portas desnecessárias).
• Os convidados não precisem andar muito (reduzindo o tempo de "roteamento" ou movimento entre qubits distantes).

Se duas peças têm formatos muito parecidos, ele as coloca juntas, porque é mais fácil movê-las sem bater nas paredes da casa.

Por Que Isso é Importante?

O resultado desse processo é impressionante:

• Menos Erros: Como o circuito fica mais curto e simples, há menos chance de o "barulho" da máquina estragar a música.
• Mais Velocidade: O programa roda mais rápido porque precisa de menos passos.
• Funciona em Qualquer Máquina: O PHOENIX não se importa se a casa tem corredores retos ou em zigue-zague. Ele se adapta a qualquer tipo de computador quântico atual.

O Resultado Final

Na prática, o PHOENIX conseguiu reduzir o número de "passos" (portas lógicas) e a profundidade do circuito em mais de 80% em comparação com os melhores métodos antigos, em alguns casos.

É como se, antes, você precisasse de 100 passos para atravessar a sala de estar. Com o PHOENIX, você descobre um atalho e precisa de apenas 20 passos. Isso significa que, em computadores quânticos reais e imperfeitos, conseguimos fazer coisas muito mais complexas e precisas, como simular novas moléculas para criar medicamentos ou otimizar cadeias de suprimentos, coisas que antes pareciam impossíveis devido aos erros e limitações do hardware.

Em resumo: O PHOENIX é o maestro que transforma o caos de uma festa barulhenta em uma sinfonia perfeita, garantindo que a música quântica toque limpa, rápida e sem erros, mesmo em uma casa cheia de obstáculos.

Resumo técnico

1. Problema Identificado

No cenário de Computação Quântica de Escala Intermediária Ruidosa (NISQ), os Algoritmos Quânticos Variacionais (VQA), como VQE e QAOA, são fundamentais para simulações de sistemas físicos e otimização combinatória. No entanto, a compilação desses algoritmos enfrenta desafios significativos:

• Representação Ineficiente: A maioria dos compiladores atuais opera em nível de portas lógicas (sequências de portas de 1 e 2 qubits) ou utiliza representações intermediárias (IR) limitadas a padrões locais.
• Perda de Oportunidades Globais: As técnicas de otimização existentes (como cancelamento de portas) geralmente atuam em subcircuitos locais, falhando em explorar oportunidades de otimização global que surgem da estrutura matemática das simulações de Hamiltoniano.
• Dependência de ISA: Muitos compiladores são fortemente acoplados a arquiteturas de instruções específicas (como CNOT), dificultando a adaptação a diferentes topologias de hardware ou conjuntos de portas nativos (ISAs) mais avançados (ex: SU(4)).
• Ruído e Profundidade: A profundidade excessiva do circuito e o alto número de portas de 2 qubits (CNOT) degradam a fidelidade dos resultados devido ao ruído e à decoerência.

2. Metodologia: O Framework PHOENIX

O PHOENIX é um framework de compilação de alto nível projetado especificamente para programas de simulação de Hamiltoniano. Ele opera através de um pipeline de três etapas principais:

A. Representação Intermediária Baseada em Pauli (IR)

Em vez de trabalhar diretamente com portas, o PHOENIX trata o programa como uma coleção de exponenciais de Pauli (strings de Pauli com coeficientes).

• Forma Simplesctica Binária (BSF): O artigo propõe o uso da BSF para descrever formalmente as strings de Pauli. Cada string é representada como uma linha em uma tabela dividida em blocos [X | Z].
• Simplificação Simultânea: O processo de síntese é reformulado como a redução do "peso das colunas" da BSF através de transformações de Clifford. O objetivo é reduzir o peso total das strings até que possam ser sintetizadas diretamente por portas básicas de 1 e 2 qubits.

B. Algoritmo Heurístico de Simplificação de BSF

O núcleo de otimização do PHOENIX é um algoritmo que busca iterativamente operadores Clifford de 2 qubits ($Clifford_{2Q}$) para simplificar a BSF.

• Geração de Candidatos: Utiliza um conjunto gerador de 6 portas controladas universais (como $C(X,X)$, $C(Y,Y)$, etc.) que são equivalentes a CNOTs sob conjugação local.
• Função de Custo: Define uma função de custo heurística ($cost_{bsf}$) que quantifica a sobreposição de pesos nas partes X e Z das strings de Pauli, penalizando strings não-locais (peso > 1).
• Estratégia Gulosa: O algoritmo seleciona sequencialmente o operador Clifford que mais reduz a função de custo, descascando (peeling) strings de Pauli de peso 1 (que não geram sobrecarga de síntese) até que a BSF restante tenha peso total $\le 2$.

C. Ordenação Global Estilo "Tetris"

Após a simplificação, as IRs (grupos de exponenciais de Pauli) são reordenadas para montar o circuito final.

• Vetores de Endianness: O sistema define vetores de "extremidade esquerda" ($e_l$) e "direita" ($e_r$) para cada subcircuito, representando quantas camadas de portas devem ser atravessadas antes que um qubit seja atuado.
• Função de Custo de Montagem: Uma função de custo unificada considera:
  1. Profundidade do Circuito: Calculada com base na sobreposição dos vetores de endianness ao empilhar blocos (semelhante ao Tetris).
  2. Cancelamento de Portas: Identifica oportunidades de cancelar operadores Clifford nas fronteiras entre subcircuitos adjacentes.
  3. Overhead de Roteamento: Avalia a similaridade entre os grafos de interação de qubits de subcircuitos adjacentes para minimizar a necessidade de operações de troca (SWAP) em topologias restritas.

3. Principais Contribuições

1. Abordagem Baseada em BSF: Introdução do uso da Forma Simplesctica Binária para descrever IRs baseadas em Pauli, reformulando a síntese como um problema de redução de peso global via conjugação de Clifford.
2. Otimização Global de Alto Nível: Diferente de métodos SOTA (State-of-the-Art) focados em padrões locais, o PHOENIX explora oportunidades de otimização em todo o programa antes da síntese em portas físicas.
3. Independência de ISA: O framework é agnóstico à arquitetura de instruções, permitindo a geração de circuitos otimizados para ISAs baseadas em CNOT, portas B, ou conjuntos contínuos como SU(4).
4. Estratégia de Ordenação Inteligente: Desenvolvimento de uma estratégia de ordenação tipo "Tetris" que equilibra a redução de profundidade, o cancelamento de portas e a minimização do overhead de roteamento em hardware real.

4. Resultados Experimentais

O PHOENIX foi avaliado em diversos benchmarks (UCCSD para simulação molecular e QAOA para otimização) em diferentes topologias (All-to-All e Heavy-Hex) e ISAs.

• Comparação com SOTA: O PHOENIX superou compiladores líderes como TKET, PAULIHEDRAL e TETRIS.
  • Compilação Lógica: Redução média de 80,47% no número de portas CNOT e 82,7% na profundidade de 2 qubits em comparação com os circuitos lógicos originais.
  • Compilação Hardware-Aware (Topologia Heavy-Hex): Redução de 36,17% (vs. PAULIHEDRAL) e 22,62% (vs. TETRIS) no número de CNOTs.
• Vantagem em ISAs Diversas: Ao direcionar para a ISA SU(4) (que contém todas as portas de 2 qubits), o PHOENIX demonstrou vantagens ainda maiores, com reduções de gate count superiores a 60-75% em comparação com os baselines, que exigem etapas adicionais de "rebase".
• QAOA: Em benchmarks de QAOA, o PHOENIX reduziu a profundidade de 2 qubits em 40,8% em comparação com o compilador SOTA 2QAN.
• Erro Algorítmico: O framework demonstrou menor erro algorítmico (infidelidade) em simulações de evolução temporal, especialmente para esquemas de codificação Bravyi-Kitaev (BK), aproximando-se mais do limite de vantagem quântica.

5. Significado e Impacto

O trabalho do PHOENIX representa um avanço significativo na compilação quântica ao:

• Desacoplar a Otimização da ISA: Demonstrar que a otimização mais eficaz ocorre em um nível semântico superior (baseado em Pauli/Clifford), antes da tradução para portas físicas específicas.
• Maximizar a Utilização de Recursos NISQ: Ao reduzir drasticamente a profundidade do circuito e o número de portas de 2 qubits (que são as mais ruidosas), o PHOENIX aumenta a viabilidade de executar algoritmos complexos em hardware atual.
• Guiar o Design de Hardware: Sugere que as IRs de alto nível podem servir como blocos de construção intermediários para orientar o design de futuros processadores quânticos e esquemas de controle, potencialmente incorporando portas de controle multi-qubit nativas.

Em resumo, o PHOENIX estabelece um novo padrão para a compilação de algoritmos variacionais, provando que a exploração global de estruturas matemáticas de Pauli supera as abordagens tradicionais baseadas em reescrita de padrões locais.