Numerical Evaluation of ZX Calculus Optimization for Solovay Kitaev Quantum Circuit Synthesis

Resumo Técnico: Avaliação Numérica da Otimização via Cálculo ZX para a Síntese de Circuitos Quânticos de Solovay–Kitaev

Enunciado do Problema
Na computação quântica tolerante a falhas, o custo físico das operações lógicas é dominado pela implementação de portas T não-Clifford, que exigem a cara destilação de estados mágicos. Consequentemente, a contagem de portas T (T-count) de um circuito sintetizado é a principal métrica de engenharia para a eficiência de compilação. O teorema de Solovay–Kitaev fornece um método recursivo geral para aproximar unitários de um único qubit arbitrários a partir de um conjunto de portas finito (especificamente Clifford+T) com um comprimento de sequência que cresce polilogaritmicamente com o inverso do erro alvo. No entanto, este algoritmo otimiza para convergência numérica em vez de economia de circuito. Sua construção recursiva, baseada em comutadores de grupo aninhados, introduz redundância estrutural significativa — portas que se cancelam quando visualizadas como um todo, mas permanecem na sequência linear. Embora a otimização diagramática via cálculo ZX ofereça um mecanismo para identificar e remover tais redundâncias ao tratar circuitos como grafos em vez de listas ordenadas, a eficácia específica desta abordagem sobre saídas de Solovay–Kitaev recebeu pouca atenção empírica. Este artigo aborda a questão: quanta redundância estrutural recuperável uma construção geral de comutador de grupo deixa para trás, e quanto o reescrita automatizada por ZX pode recuperar?

Metodologia
O estudo emprega um pipeline de quatro estágios para medir o impacto do pós-processamento via cálculo ZX em circuitos sintetizados por Solovay–Kitaev:

1. Síntese: 1.200 alvos de um único qubit foram gerados através de quatro famílias: rotações de Pauli ($R_x, R_y, R_z$) e o unitário geral $U(\theta, \phi, \lambda)$. Estes foram sintetizados usando o transpilador Solovay–Kitaev do Qiskit sobre o conjunto de portas $\{H, S, S^\dagger, T, T^\dagger, Z\}$ em três profundidades de recursão ($d=2, 3, 4$).
2. Mapeamento: As sequências de portas resultantes foram exportadas para QASM, analisadas em diagramas ZX e convertidas para a forma "semelhante a grafo", onde as portas Clifford e não-Clifford são representadas como spiders e arestas.
3. Simplificação: Os diagramas foram simplificados usando PyZX (v0.10.5) via estratégia full_reduce. Isso aplica regras de reescrita consistentes (fusão de spiders, remoção de identidade, complementação local e pivoteamento) que preservam o mapa linear implementado até um escalar global.
4. Extração e Medição: Os diagramas simplificados foram extraídos de volta para circuitos. O estudo mediu o total de contagem de portas, a contagem de T (T-count) e o tempo de execução (wall-clock time) antes e depois da otimização. A precisão foi verificada garantindo que a norma do erro de traço permanecesse inalterada, visto que as regras de reescrita preservam a semântica.

Principais Contribuições e Resultados
O artigo apresenta uma medição quantitativa da composição entre a síntese Solovay–Kitaev e a otimização via cálculo ZX, em vez de propor um novo método de síntese. As principais descobertas são:

• Redução de Portas: O pós-processamento removeu entre 26,6% e 30,1% da contagem total de portas e de 18,5% a 22,2% da contagem de T.
• Independência de Profundidade da Redução Fracionária: Uma descoberta crítica é que a redução fracionária permanece quase constante através das profundidades de recursão. Embora o comprimento absoluto do circuito cresça vinte e cinco vezes de $d=2$ para $d=4$, a proporção de portas removidas pela reescrita permanece estável (subindo ligeiramente na configuração mais rasa e depois estabilizando-se). Isso sugere que a redundância é uma parcela fixa do output gerado localmente nas junções das palavras base, em vez de acumular-se com a profundidade de aninhamento.
• Independência da Família de Alvos: A fração de redução é consistente entre as quatro famílias de alvos. No nível de recursão mais profundo ($d=4$), as quatro famílias são estatisticamente indistinguíveis, e a variância entre alvos individuais colapsa significamente. Isso indica que a redundância recuperável é uma propriedade da própria construção de Solovay–Kitaev, não do unitário alvo específico.
• Economia Absoluta vs. Fracionária: Embora a porcentagem de economia seja constante, a economia absoluta cresce com o tamanho do circuito, variando de aproximadamente 60 portas em $d=2$ para cerca de 1.600 portas em $d=4$.
• Custo de Compilação: O custo da camada de reescrita cresce de forma superlinear com a profundidade do circuito. Em profundidades rasas, o custo de reescrita é negligenciável em comparação com a síntese; contudo, em $d=4$, a camada de reescrita representa mais de 99% do tempo total do pipeline, dominando a própria etapa de síntese.
• Preservação de Precisão: A otimização não incorre em perda de precisão. Os circuitos extraídos foram verificados para implementar o mesmo mapa linear que os circuitos sintetizados, com desvios limitados à acumulação de ponto flutuante ($< 5,8 \times 10^{-13}$).

Significância e Alegações
O artigo posiciona modestamente sua contribuição como uma medição da "redundância estrutural recuperável" inerente ao algoritmo Solovay–Kitaev quando visualizado através de uma lente diagramática. Afirma explicitamente que o Solovay–Kitaev não é uma rota de síntese competitiva para compiladores de produção (que tipicamente utilizam métodos de teoria dos números para rotações de z), e portanto, os T-counts relatados não são competitivos com a síntese quase-ótima de última geração.

A significância reside em caracterizar o compromisso (trade-off) de usar otimização diagramática em saídas de síntese recursiva:

1. Previsibilidade: As economias fracionárias são uma propriedade estável da construção, independente do alvo ou da profundidade.
2. Compromisso (Trade-off): O benefício não é "gratuito". A composição possui uma faixa de operação específica; embora a economia absoluta de portas seja substancial para circuitos profundos, o custo de tempo de compilação para obtê-las torna-se o fator dominante em profundidades de recursão mais altas.
3. Mecanismo: A redução é impulsionada pela capacidade do cálculo ZX de fundir nós de fase separados por mudanças de base em uma lista de portas linear, uma capacidade que compiladores lineares não possuem.

Os autores concluem que esta composição oferece uma redução uniforme na contagem de portas, mas deve ser vista como um compromisso com uma faixa de operação, em vez de uma melhoria universal, particularmente dado o crescimento acentuado no tempo de compilação. Sugere-se que trabalhos futuros comparem contra otimizadores não-diagramáticos e investiguem configurações de múltiplos qubits.