Cultivating logical catalysts for fault-tolerant dyadic phase rotations

Definição do Problema

A computação quântica tolerante a falhas normalmente depende de operações de Clifford suplementadas por estados de recursos não-Clifford (estados mágicos) para alcançar a universalidade. Em códigos com conjuntos de portas transversais restritos, como o código de superfície rotacionado, as abordagens padrão para implementar rotações de fase dicádicas finas (ex: $Z_{2^{-b}}$) enfrentam dois gargalos primários:

1. Erro de Aproximação: A síntese Clifford+T e os circuitos de Repetição até o Sucesso (RUS) aproximam as rotações alvo. A precisão de síntese $\epsilon$ deve ser escolhida abaixo da taxa de erro lógico alvo, fazendo com que o custo não-Clifford (contagem de T) cresça conforme a computação exige taxas de erro lógico menores.
2. Dificuldade de Verificação: Embora a "cultivação de estados mágicos" (preparar um estado de baixa distância, verificá-lo e crescê-lo para alta distância) tenha sido bem-sucedida para o estado canônico $|T\rangle$, ela não se estende facilmente para fases dicádicas mais finas ($b \ge 3$). A verificação direta de estados como $Z_{2^{-b}}|+\rangle$ requer medições não-Clifford, criando uma dependência circular onde o recurso necessário para a verificação é o próprio recurso sendo cultivado.
3. Limitações de Catalisadores: Métodos catalíticos existentes, como estados de gradiente de fase, oferecem reusabilidade, mas frequentemente exigem preparação não-Clifford ou possuem custos online (profundidade e contagem de T) que escalam com a precisão $b$. Além disso, estados de gradiente de fase são autovetores de somadores não-Clifford, tornando-os difíceis de cultivar usando apenas operações de Clifford.

Metodologia

Os autores propõem um protocolo de cultivação de código de superfície para estados catalisadores lógicos reusáveis que implementam portas de fase dicádica fina exatas ($Z_{2^{-b}}$) via phase kickback. O mecanismo central baseia-se no framework de catalisador de Clifford controlado:

1. Construção do Catalisador:

   • O catalisador é definido como um autovetor de um circuito Clifford de alto período $U$. Especificamente, os autores utilizam um circuito de tijolos (brickwork) CNOT $U_n$ composto por camadas alternadas de CNOTs disjuntos.
   • Para uma fase alvo $Z_{2^{-b}}$, eles selecionam $n = 2^b + 1$ qubits. O circuito $U_n$ possui um período de $2^m$ (onde $m = \lceil \log_2 n \rceil$).
   • Um autovetor $|\psi_{n,r}\rangle$ de $U_n$ com autovalor $\omega_m^r$ serve como o catalisador. Quando usado em um gadget de controlled-$U_n$, o phase kickback aplica uma rotação $Z_{2^{-b}}$ exata ao qubit de controle enquanto retorna o catalisador a si mesmo.
   • Estudo de Caso: O artigo foca na porta $\sqrt{T} = Z_{1/8}$ ($b=3$). Isso requer um circuito de tijolos de 9 qubits $U_9$ com período 16. O catalisador é o autovetor $r=1$ $|\psi_9\rangle$ com autovalor $e^{i\pi/8}$.

2. Protocolo de Cultivação:
   O protocolo prepara uma cópia lógica tolerante a falhas de $|\psi_9\rangle$ através de três estágios:

   • Preparação Física e Codificação: Um autovetor físico de 9 qubits é preparado e codificado em nove blocos independentes de código de superfície rotacionado de distância três ($Rot(3)$).
   • Verificação Lógica (Estimativa de Fase): O estado codificado passa por uma medição lógica de $U_9$ via um circuito de Estimativa de Fase Quântica (QPE).
     • Crucialmente, a verificação lógica de $U_9$ é intrinsecamente tolerante a falhas. Como $U_9$ possui um espectro discreto de raízes enésimas da unidade, uma única rodada de estimativa de fase com um síndrome trivial (leitura da fase alvo) projeta o estado exatamente para o eigenspaço correto.
     • Os autores provam que uma única rodada de verificação ($N_1=1$) fornece uma distância de falha lógica efetiva de $f_{logical} \approx 2.654$, suficiente para suprimir erros principais sem as verificações repetidas exigidas pela cultivação de $|T\rangle$.
   • Crescimento de Código: Os blocos pós-selecionados são crescidos de distância 3 para distância 7. Isso envolve crescimento unitário ($Rot(3) \to Reg(3) \to Rot(5)$) e crescimento de medição de estabilizadores ($Rot(5) \to Rot(7)$), utilizando decodificação de gap complementar para filtrar erros residuais.

3. Estratégia de Simulação:
   Devido à natureza não-Clifford da etapa de verificação (envolvendo portas Toffoli para o controlled-$U_9$), os autores empregam uma simulação híbrida:

   • Front End: Uma simulação de vetor de estado por rede de tensores (MPS) rastreia a preparação física ruidosa e a verificação lógica de $U_9$. Ela calcula analiticamente a probabilidade de passar na pós-seleção (Rao–Blackwellization) em vez de descartar tentativas falhas.
   • Back End: Uma simulação de estabilizador (Stim) com decodificação baseada em matching (PyMatching) simula as etapas de crescimento apenas de Clifford, alimentada pelas informações de síndrome extraídas do front end.

Principais Contribuições

• Catalisadores Dicádicos Exatos: O artigo introduz um método para cultivar estados catalisadores reusáveis para fases dicádicas exatas ($Z_{2^{-b}}$) que são autovetores de circuitos de Clifford, contornando a necessidade de verificação não-Clifford.
• Verificação de Rodada Única: Os autores demonstram que, para circuitos de Clifford de alto período, uma única rodada de estimativa de fase lógica é suficiente para alcançar a verificação tolerante a falhas, contrastando com as múltiplas rodadas tipicamente necessárias para estados $|T\rangle$.
• Profundidade Online Constante: A invocação online do catalisador utiliza um circuito de Clifford controlado com profundidade de T constante (independente de $b$) via portas Toffoli paralelizadas, evitando a escala de profundidade logarítmica da síntese ou a profundidade linear de somadores de gradiente de fase.
• Framework de Simulação Híbrida: Uma metodologia de simulação robusta combinando redes de tensores e códigos de estabilizador para avaliar protocolos de cultivação que envolvem verificação não-Clifford.

Resultados

• Desempenho: Em uma taxa de erro física de $p = 10^{-3}$, o protocolo cultiva com sucesso um catalisador lógico de distância sete com uma taxa de vazamento (leakage) lógica de $\sim 10^{-6}$ usando aproximadamente 7 tentativas esperadas. Com pós-seleção mais forte, isso pode ser suprimido para $\sim 10^{-7}$.
• Comparação com a Cultivação de $|T\rangle$: A verificação de rodada única atinge uma taxa de vazamento comparável aos protocolos recentes de cultivação de $|T\rangle$ de bloco único, apesar de o catalisador abranger nove blocos de código de superfície e suportar uma fase mais fina.
• Trade-offs de Recursos:
  • Custo Online: O catalisador $\sqrt{T}$ requer 8 portas Toffoli (ou 32 portas T) por invocação com profundidade constante. Isso é competitivo ou melhor que métodos otimizados de RUS e síntese para alvos de alta precisão, enquanto é exato.
  • Custo Offline: O custo de preparação é amortizado ao longo de muitos usos. No entanto, o tamanho do catalisador escala como $O(2^b)$ qubits lógicos (9 blocos para $\sqrt{T}$), o que é um overhead significativo comparado à síntese (0 ancilas) ou estados de gradiente de fase ($O(b)$ qubits).

Significância e Alegações

O artigo afirma que esta abordagem oferece um trade-off distinto: troca a dependência de $\epsilon$ dos custos de síntese (onde o custo cresce conforme a precisão aumenta) por uma dependência de $b$ (onde o recurso de estado cresce com a finura da fase).

• Exatidão: Ao contrário da síntese ou RUS, o catalisador introduz zero erro de aproximação por uso. A rotação é algebricamente exata, limitada apenas pela infidelidade lógica residual do próprio catalisador.
• Latência: A profundidade de T constante online é uma vantagem estrutural para aplicações críticas de latência (ex: loops internos de simulações de Trotter) onde profundidade variável ou logarítmica é prejudicial.
• Viabilidade: O protocolo fornece um caminho concreto, apenas de Clifford, para preparar catalisadores de fase fina e alta fidelidade do zero, uma capacidade anteriormente obstruída pela natureza não-Clifford da verificação necessária para fases dicádicas mais finas.

Os autores concluem que, embora o overhead de qubits limite o protocolo a valores de $b$ "moderados" (fases moderadamente finas), ele é altamente eficaz para cargas de trabalho envolvendo a aplicação repetida de uma fase dicádica fixa e fina. Eles identificam a redução do overhead $O(2^b)$ e a extensão da cultivação para outros estados mágicos estruturados (como $|CCZ\rangle$) como direções futuras fundamentais.