Fast verification of fault tolerant magic state preparation circuits with the CNOT + T gate set

Resumo Técnico: Verificação Rápida de Circuitos de Preparação de Estados Mágicos Tolerantes a Falhas com o Conjunto de Portas CNOT + T

Enunciado do Problema
A preparação de estados mágicos é uma operação crítica e intensiva em recursos na computação quântica tolerante a falhas (FTQC). Embora métodos como a destilação de estados mágicos tenham melhorado as estimativas de recursos, eles frequentemente dependem de suposições assintóticas ou códigos específicos (por exemplo, códigos de superfície). No curto prazo, há interesse em preparar estados mágicos diretamente em códigos pequenos e fixos (como códigos de cor) sem a necessidade de destilação. No entanto, verificar a tolerância a falhas desses circuitos é um desafio computacional. Diferente de circuitos Clifford, onde falhas de Pauli se propagam para erros de Pauli, circuitos não-Clifford (especificamente aqueles contendo portas T) fazem com que falhas de Pauli se propaguem para estruturas de erro mais complexas. Essa complexidade torna a verificação manual inviável e as ferramentas de software existentes insuficientes, particularmente para circuitos além da distância três, devido ao crescimento exponencial das combinações de falhas que devem ser verificadas.

Metodologia
Os autores propõem restringir os circuitos de preparação de estados mágicos ao conjunto de portas CNOT + T. Eles demonstram que, dentro deste conjunto restrito, a propagação de falhas de Pauli resulta em erros que permanecem dentro de uma classe específica e eficientemente representável, conhecida como operadores Clifford Diagonais e Pauli (DCP).

A metodologia central envolve:

1. Propriedades dos Operadores DCP: Os autores provam que o conjunto de portas CNOT + T preserva a estrutura DCP sob conjugação. Um operador DCP é definido como o produto de um Clifford diagonal e um operador Pauli. Isso permite que os erros sejam representados eficientemente (usando $O(n^2)$ bits) em vez de exigir um espaço exponencial, uma vantagem significativa sobre circuitos Clifford + T gerais, onde os erros podem não ser DCP.
2. Propagação de Falhas e Pós-seleção: O algoritmo propaga falhas de Pauli através do circuito para gerar erros de saída DCP. Um desafio fundamental abordado é o tratamento da pós-seleção em medições de ancila. Diferente dos erros de Pauli, os erros DCP não comutam ou anticomutam deterministicamente com operadores de medição. Os autores desenvolvem um procedimento para atualizar condicionalmente os erros DCP com base nos resultados das medições (base Z e base X), garantindo que o erro condicional resultante permaneça um operador DCP.
3. Verificação de Peso: Para verificar a tolerância a falhas, o algoritmo checa se o erro de saída condicional (após a pós-seleção) é detectado ou se possui um peso $\leq s$ (onde $s = \lfloor d/2 \rfloor$). Como o erro é um operador DCP (uma combinação linear de Paulis), os autores mostram como decompor o componente Clifford diagonal em uma soma de strings de Pauli. Eles verificam se cada termo nesta soma possui um peso $\leq s$.
4. Tratamento de Estabilizadores: Os autores abordam a questão de que estados mágicos são estabilizados por operadores Clifford não-Pauli (por exemplo, $e^{-i\pi/4}SX$ para $T|+\rangle$). Para identificar corretamente erros "bons" que são equivalentes à identidade no espaço do código, o algoritmo verifica a combinação de erro contra todos os possíveis estabilizadores Clifford do estado mágico.

Principais Contribuições

• A Biblioteca Comb: Os autores apresentam a Comb, uma biblioteca de código aberto que implementa o algoritmo proposto. A Comb itera sobre combinações de falhas em circuitos CNOT + T para verificar a tolerância a falhas de forma eficiente.
• Estrutura Teórica: O artigo estabelece a base teórica para tratar operadores DCP como a classe natural de erro para circuitos CNOT + T, analogamente a como operadores de Pauli funcionam para circuitos Clifford. Isso inclui provas relativas à preservação da estrutura DCP e métodos eficientes para pós-seleção e verificação de peso.
• Descoberta de um Novo Circuito: Utilizando a Comb, os autores descobriram um novo circuito de preparação de estado mágico de distância cinco para o código de cor $[[17, 1, 5]]$. Este circuito foi encontrado ao remover iterativamente ancilas de flag de uma construção conhecida enquanto verificava a tolerância a falhas em cada etapa, resultando em um circuito com mais de 30% menos portas CNOT do que o original.

Resultos
Os autores demonstram o desempenho da Comb em um laptop padrão (Intel Core i7, 16GB RAM):

• Velocidade de Verificação: A Comb verificou a tolerância a falhas de um circuito de preparação de estado mágico de distância cinco (com 196 portas de dois qubits) em aproximadamente 4 minutos e 55 segundos. Um circuito de distância três foi verificado em menos de 33 segundos.
• Comparação: A biblioteca verificou com sucesso circuitos que eram anteriormente difíceis de analisar, incluindo uma variante não-tolerante a falhas (que falhou corretamente no teste) e variantes otimizadas.
• Validação: Para confirmar a correção da Comb, os autores realizaram simulações de circuito ruidoso usando SymFT para os circuitos testados. As taxas de erro lógico simuladas escalaram consistentemente com os achados da Comb (por exemplo, $L \sim p$ para não-tolerante, $L \sim p^2$ para distância 3, e $L \sim p^3$ para distância 5).
• Eficiência de Recursos: O circuito de distância cinco otimizado descoberto pela Comb mostrou taxas de aceitação de pós-seleção melhoradas e profundidade de circuito reduzida em comparação com versões não otimizadas, embora os autores notem que os modelos de simulação não incluíram erros de memória (como desfasagem/dephasing), que poderiam favorecer o circuito mais curto em experimentos físicos.

Significância e Alegações
O artigo afirma que restringir a preparação de estados mágicos ao conjunto de portas CNOT + T reduz significativamente a barreira para verificar a tolerância a falhas, permitindo o design iterativo de circuitos para distâncias superiores a três. Os autores posicionam a Comb como uma ferramenta para facilitar a descoberta de novos circuitos eficientes em recursos que podem não ser óbvios através de métodos analíticos isolados. Eles sugerem que esta abordagem pode levar à geração de circuitos de estados mágicos em malha fechada, potencialmente utilizando agentes de IA para propor e verificar designs. O trabalho motiva investigações adicionais sobre reescritas de circuitos tolerantes a falhas para diagramas de cálculo ZX correspondentes a circuitos CNOT + T, estendendo os resultados existentes que foram limitados a circuitos Clifford. Os autores mantêm a modéstia, observando que, embora a implementação atual seja de thread única, o problema é inerentemente paralelizável, e melhorias futuras poderão estender as capacidades de verificação para circuitos de distância sete.