Finding diagonal logical gates in CSS codes and circuits

Resumo Técnico: Encontrando Portas Lógicas Diagonais em Códigos e Circuitos CSS

Enunciado do Problema
A realização de computadores quânticos universais, de grande escala e tolerantes a falhas, requer a implementação eficiente de portas lógicas não-Clifford. Operações Clifford são relativamente simples no formalismo de estabilizadores, mas portas não-Clifford representam desafios significativos. As abordagens atuais dependem frequentemente de destilação de estados mágicos, portas não-Clifford transversais (por vezes combinadas com troca de código ou code switching), ou portas lógicas de "espaço-tempo" inseridas em circuitos de extração de síndrome. Um desafio central é identificar quais códigos CSS (Calderbank-Shor-Steane) ou circuitos admitem portas lógicas diagonais não-Clifford eficientes (como $T$, $CS$ ou $CCZ$) compostas a partir de um conjunto prescrito de portas ansatz físicas. Métodos existentes, como a condição de triortogonalidade, são frequentemente limitados a tipos específicos de portas ou carecem de generalidade para circuitos arbitrários que preservam a localidade.

Metodologia
O artigo propõe um algoritmo eficiente para encontrar todas as portas lógicas de um determinado código (ou circuito) CSS que sejam compostas por um conjunto prescrito de portas ansatz diagonais. O insight teórico central é que uma porta diagonal preserva o espaço do código se, e somente se, atribuir a mesma fase a cada configuração na base $Z$ dentro de uma determinada classe de cohomologia.

1. Formulação Matemática:

   • A ação de uma porta diagonal $V_c$ sobre um estado da base computacional $|a\rangle$ é definida por uma função de fase $S_c(a)$. Para portas no terceiro nível da hierarquia de Clifford, $S_c(a)$ é uma função de "terceira ordem" envolvendo termos como $a_i a_j a_k$ (para $CCZ$),$a_i a_j$ (para $CS$) e$a_i$ (para $T$).
   • A condição de preservação do espaço do código é que $S_c(a)$ deve ser constante para todos os $a$ na mesma classe de cohomologia. Isso reduz-se ao requisito de que $S_c(a + A e_j)$ deve ser igual a $S_c(a)$ para todos os geradores de estabilizador $X$ do tipo $A e_j$, onde $A$ é a matriz de verificação $X$.
   • Esta condição é equivalente a exigir que o "pullback" da função de fase pela matriz de verificação $X$, denotado por $S_c \circ A$, resulte em uma função de fase trivial.

2. O Homomorfismo de Pullback ($A^*$):

   • Os autores definem um homomorfismo de grupo $A^*$ que mapeia os coeficientes das portas ansatz físicas ($c \in G_{phys}$) para os coeficientes da função de fase induzida nas verificações $X$.
   • $G_{phys}$ é um produto de grupos abelianos 2-finitos (ex: $\mathbb{Z}_2, \mathbb{Z}_4, \mathbb{Z}_8$) correspondentes aos diferentes níveis da hierarquia de Clifford.
   • O conjunto de portas lógicas válidas corresponde exatamente ao núcleo (kernel) deste homomorfismo: $A^* c = 0$.

3. Implementação Algorítmica (Filtração):

   • Para computar o núcleo de $A^*$ de forma eficiente, os autores introduzem um método de "filtração". Em vez de usar a forma normal de Smith (que envolve aritmética de inteiros grandes), o método decompõe o problema em uma sequência de computações de núcleo sobre campos binários ($\mathbb{Z}_2$).
   • O algoritmo computa iterativamente núcleos de $X \pmod 2$, $X \pmod 4$, e assim por diante, elevando soluções de grupos de ordem inferior para grupos de ordem superior. Isso aproveita o fato de que $\ker(X) \subset \ker(X \pmod 4) \subset \ker(X \pmod 2)$.
   • As sub-rotinas baseiam-se em álgebra linear binária padrão (eliminação gaussiana/RREF), que pode ser acelerada usando empacotamento de bits (bit-packing).

4. Generalizações:

   • Portas de Espaço-Tempo: O método estende-se a "portas lógicas locais de espaço-tempo", onde portas diagonais são inseridas em circuitos de extração de síndrome. Isso é modelado tratando o circuito como uma rede de tensores (ou integral de caminho) e aplicando a mesma lógica de pullback ao grafo de decodificação $Z$.
   • Níveis Superiores e Portas Arbitrárias: O arcabouço generaliza-se para níveis superiores da hierarquia de Clifford e portas diagonais arbitrárias (não-hierárquicas) ajustando a definição das funções de fase e os grupos de coeficientes.
   • Qudits: O método é generalizado para qudits de dimensão prima e composta definindo funções de ordem superior apropriadas sobre $\mathbb{Z}_{d_i}$.

Principais Contribuições

• Arcabouço Unificado: O artigo fornece um formalismo geral que unifica a busca por portas transversais, circuitos lógicos que preservam a localidade e portas lógicas de espaço-tempo sob uma única condição algébrica: encontrar o núcleo de um homomorfismo de grupo específico $A^*$.
• Algoritmo Eficiente: Apresenta um algoritmo rápido com um tempo de execução ingênuo de $O(n^3)$ para um sistema com $O(n)$ qubits (ou portas), utilizando uma técnica de filtração que reduz o problema a operações de matrizes binárias.
• Flexibilidade: A abordagem permite que os usuários prescrevam conjuntos arbitrários de portas ansatz (incluindo portas não-locais ou dobradas/folded) e encontrem todas as portas lógicas resultantes sem impor invariância por translação.
• Implementação: Uma implementação em Python é fornecida, incluindo um pacote especializado (twogroup-linalg) para álgebra linear sobre grupos abelianos 2-finitos.

Resultados e Exemplos

• O algoritmo recupera com sucesso portas lógicas conhecidas para códigos toricos 2D e 3D, códigos de cores e códigos de bicicleta bivariados.
• Descobre uma porta diagonal de terceira ordem anteriormente desconhecida no "código de cores 3D dual", que implementa uma porta lógica $T$ equivalente.
• O método demonstra encontrar portas lógicas invariantes por translação em $O(1)$ de tempo relativo ao tamanho do sistema (escalando apenas com os parâmetros da célula unitária).
• O tempo de execução para um código de cores 2D com 800 qubits é de aproximadamente 30 segundos em um laptop padrão para o caso não invariante por translação.

Significância e Alegações
Os autores afirmam que seu método oferece uma maneira sistemática e eficiente de explorar o espaço de portas lógicas tolerantes a falhas para códigos CSS e circuitos. Ao reformular o problema como uma computação de núcleo, o trabalho generaliza a condição de triortogonalidade para produtos arbitrários de portas da hierarquia de Clifford e circuitos que preservam a localidade.

Os autores observam que, embora o método possa encontrar portas diagonais arbitrárias, a realizabilidade física em configurações tolerantes a falhas provavelmente restringe essas portas à hierarquia de Clifford (consistente com argumentos do tipo Bravyi-Koenig). O trabalho sugere que esta abordagem poderia ser usada para descobrir novos códigos qLDPC com propriedades desejáveis de portas lógicas ou para otimizar a extensão de portas lógicas para fronteiras de código e paredes de domínio. O artigo mantém um tom modesto quanto a futuras acelerações, reconhecendo que, embora a esparsidade em códigos qLDPC ofereça potencial para otimizações adicionais (como via o algoritmo de Wiedemann ou decomposição de núcleo local), a implementação densa atual de $O(n^3)$ já é competitiva com a busca pela base lógica do próprio código.