The dynamic 4.8.8 Floquet code

Resumo Técnico: O Código de Floquet Dinâmico 4.8.8

Definição do Problema
Memórias quânticas tolerantes a falhas dependem fortemente da eficiência dos circuitos de extração de síndrome. Embora os códigos de Floquet (como o honeycomb 6.6.6 e o quadrado-octógono 4.8.8) utilizem cronogramas periódicos de medições de Pauli de dois qubits para definir qubits lógicos, sua implementação frequentemente requer qubits ancila, aumentando o overhead de hardware. Circuitos dinâmicos (ou sem ancila) oferecem um método para medir verificações contraindo-as temporariamente sobre os qubits de dados, eliminando assim a necessidade de ancilas dedicadas. No entanto, trabalhos anteriores sobre o código honeycomb 6.6.6 demonstraram que, embora os circuitos dinâmicos reduzam o overhead de qubits e melhorem os limiares (thresholds), eles reduzem pela metade a distância de código espacial do nível de circuito. Isso ocorre porque a contração dinâmica faz com que os estabilizadores se deformem, permitindo que erros únicos invertam pares de estabilizadores separados por dois passos de rede ao longo dos suportes de operadores lógicos. Conjecturou-se que a rede 4.8.8 poderia evitar essa redução de distância porque suas cadeias de verificação da mesma cor não coincidem com os suportes lógicos naturais, mas isso não havia sido verificado.

Metodologia
O autor constrói e avalia quatro implementações de nível de circuito do código de Floquet CSS 4.8.8 em um toro sob ruído depolarizante padrão:

1. Baseado em Ancila Padrão: Cada verificação de aresta utiliza uma ancila dedicada preparada em $|+\rangle$ (para XX) ou $|0\rangle$ (para ZZ), acoplada via portas CX, e medida.
2. Ancila em Pipeline: O circuito de ancila padrão com estágios sobrepostos de reset, porta e medição para reduzir a profundidade do período de Floquet (inspirado no método SD6 honeycomb).
3. Dinâmico (Reset): Uma construção sem ancila onde cada verificação de dois qubits é medida via um gadget de 4-TICK ($CX - M - R - CX$) atuando apenas nos qubits de dados. O qubit medido é resetado para $|+\rangle$ ou $|0\rangle$ no meio do circuito para proteger contra vazamento (leakage) e manter a distância temporal.
4. Dinâmico (Sem Reset): Uma variante do circuito dinâmico onde o reset de meio de circuito é removido ($CX - M - CX$), deixando o qubit em seu estado projetado.

O autor utiliza um cronograma CSS específico (seis sub-rodadas por período: rXX, gZZ, bXX, rZZ, gXX, bZZ) e emprega o Stim para geração de fluxo e identificação de detector. Para a variante com reset, uma redução par-XOR gulosa é aplicada aos geradores de fluxo brutos para garantir uma base de detector de peso mínimo e local. O desempenho é avaliado via amostragem de Monte Carlo com decodificadores de Emparelhamento Perfeito de Peso Mínimo (MWPM) e Propagação de Crença (BP) + matching.

Principais Contribuições

• Verificação de Preservação de Distância: O artigo confirma que, ao contrário do código honeycomb, a construção dinâmica na rede 4.8.8 preserva a distância espacial completa do nível de circuito ($d_{spatial} = L$). A deformação dos estabilizadores durante o gadget dinâmico não se alinha com os suportes de operadores lógicos na geometria 4.8.8, impedindo a redução de distância pela metade observada no código honeycomb.
• Construção de Circuito Dinâmico: Um circuito de medição específico sem ancila para o código de Floquet 4.8.8 é detalhado, incluindo a coloração de dois tipos necessária para o grafo de dados bipartido para determinar qual extremidade é medida para cada verificação.
• Benchmarking Abrangente: Uma comparação rigorosa de quatro arquiteturas de circuito distintas (duas dinâmicas, duas baseadas em ancila) em relação à distância espacial, distância temporal, limiares de erro e volume de espaço-tempo.

Resultos

• Distância Espacial: Todas as quatro variantes mantêm uma distância espacial de $d_{spatial} = L$.
• Limiares (Thresholds): Sob ruído depolarizante de nível de circuito:
  • Dinâmico Sem-Reset: Alcança o maior limiar de todas as variantes em 0,512% (0,574% com BP+matching).
  • Dinâmico Com-Reset: Atinge 0,463% (0,490% com BP+matching).
  • Ancila em Pipeline: Atinge 0,478% (0,489% com BP+matching).
  • Ancila Padrão: Menor limiar em 0,228% (0,240% com BP+matching).
• Distância Temporal: O circuito dinâmico com reset exibe uma distância temporal que cresce mais rapidamente comparado às outras três variantes. Assintoticamente, o circuito dinâmico com reset tem uma distância temporal por período de Floquet ($n_{qec}$) na faixa de $2 \le d_t/n_{qec} \le 3$, enquanto as variantes sem reset e baseadas em ancila estão estritamente limitadas em $d_t/n_{qec} = 3/2$.
• Volume de Espaço-Tempo:
  • No regime de reset rápido, o circuito dinâmico com reset (ajustado para distância temporal) oferece o menor volume de espaço-tempo, aproximadamente 0,30× que a linha de base de ancila não-pipelined.
  • No regime de reset lento, a variante dinâmica sem reset é a mais eficiente, com 0,245× a linha de base.
  • O circuito de ancila em pipeline, embora eficiente em profundidade, requer 2,5× mais qubits físicos e não supera as variantes dinâmicas em volume total de espaço-tempo em tempos de porta de hardware realistas.

Significância
O artigo demonstra que a abordagem de extração de síndrome dinâmica pode ser aplicada ao código de Floquet 4.8.8 para alcançar os benefícios esperados de redução de overhead de qubits (redução de 2,5× em qubits físicos) e melhoria de limiar sem a penalidade de reduzir pela metade a distância espacial do código. Isso valida a conjectura de que a geometria 4.8.8 é robusta contra o mecanismo de redução de distância inerente ao circuito dinâmico honeycomb. O trabalho estabelece que os circuitos dinâmicos são uma rota viável e superior para a implementação de códigos de Floquet, oferecendo um compromisso entre a proteção contra vazamento e a distância temporal da variante com reset e a eficiência bruta de limiar e volume da variante sem reset.