Single-Shot Decoding and Fault-tolerant Gates with Trivariate Tricycle Codes

Resumo Técnico: Decodificação de Shot Único e Portas Tolerantes a Falhas com Códigos Triciclos Trivariantes

Definição do Problema
A correção de erros quânticos (QEC) é essencial para a computação quântica em larga escala. Embora o código de superfície seja um candidato maduro, seus custos de recursos para alcançar a vantagem quântica permanecem elevados. Consequentemente, há um impulso em direção aos códigos de verificação de paridade de baixa densidade quântica (qLDPC), que oferecem melhores taxas de codificação e distâncias relativas. No entanto, os candidatos a qLDPC existentes muitas vezes carecem de uma combinação de características tolerantes a falhas desejáveis: altos limiares sob ruído de nível de circuito, decodificabilidade de shot único (decodificação a partir de um número constante de rodadas de síndrome sem perda significativa de precisão) e um conjunto rico de portas lógicas transversais ou de profundidade constante (tanto Clifford quanto não-Clifford). Os códigos de bicicleta bivariante (BB) mostraram-se promissores em algumas áreas, mas uma família de códigos abrangente que combine altos limiares, capacidades de shot único e implementações eficientes de portas não-Clifford tem sido escassa.

Metodologia
Os autores introduzem os códigos Triciclos Trivariantes (TT), uma generalização dos códigos BB baseada em um complexo de cadeia de comprimento 3 derivado de três polinômios trivariantes ($A, B, C$) sobre uma álgebra de grupo $\mathbb{F}_2[G]$, onde $G = \mathbb{Z}_\ell \times \mathbb{Z}_m \times \mathbb{Z}_p$.

• Construção: Os códigos são códigos CSS definidos por matrizes de verificação de paridade $H_X$ e $H_Z$ derivadas dos mapas de fronteira de um produto tensorial de três complexos de cadeia de comprimento 1. Uma característica fundamental é a inclusão de meta-verificações ($M_Z$), que codificam redundâncias nas verificações $Z$.
• Layout: Os códigos TT podem ser dispostos em uma rede cúbica 3D com condições de contorno periódicas e conexões adicionais de longo alcance. O Código Torico 3D (3DTC) é identificado como um caso específico desta construção.
• Análise: Os autores derivam expressões analíticas para o número de qubits lógicos ($k$) e provam que a distância da meta-verificação ($d_M$) é igual à distância $Z$ do código ($d_Z$). Eles realizam buscas numéricas sobre os coeficientes polinomiais para encontrar códigos com parâmetros aprimorados.
• Simulação: O desempenho é avaliado sob modelos de ruído fenomenológico e de nível de circuito. A decodificação é realizada usando um decodificador BP+OSD (Belief Propagation com Ordered Statistics Decoding). Para a decodificação de shot único, é empregada uma estratégia de janela sobreposta.
• Implementação de Portas: Os autores analisam portas lógicas via automorfismos de deslocamento, portas CZ transversais entre blocos e circuitos CCZ de profundidade constante derivados do formalismo do produto de coproduto cohomológico.

Principais Contribções e Resultados

1. Parâmetros do Código e Eficiência:

   • Os autores identificaram numericamente vários códigos TT que superam o 3DTC. Por exemplo, um código TT $[[432, 12, 12]]$ codifica 12 qubits lógicos com uma distância $Z$ de 12 usando 48 vezes menos qubits de dados do que um 3DTC equivalente.
   • Os códigos TT exibem distâncias assimétricas ($d_X \ge d_Z$), o que pode ser vantajoso para arquiteturas com ruído enviesado.
   • Os códigos possuem uma "distância de meta-verificação" igual a $d_Z$, uma propriedade crucial para a decodificação de shot único.

2. Limiares e Decodificabilidade de Shot Único:

   • Ruído de Nível de Circuito: Sob ruído de nível de circuito, os códigos TT demonstram um limiar de aproximadamente 0,3% no canal de erro $Z$ e 1% no canal de erro $X$ (usando decodificação de shot único).
   • Desempenho de Shot Único: Simulações numéricas usando uma estratégia de janela sobreposta confirmam que os códigos TT possuem decodificabilidade de shot único no canal de erro $Z$. A taxa de erro lógico estabiliza conforme o tamanho da janela aumenta, indicando que a decodificação pode ser realizada com um número constante de rodadas de síndrome sem uma queda significativa na precisão.
   • O experimento de memória $X$ mostra forte supressão de erro, com pseudo-limiares consistentemente superiores aos do 3DTC.

3. Implementação de Portas Tolerantes a Falhas:

   • Automorfismos e Portas Transversais: Os códigos suportam automorfismos de deslocamento que realizam portas Clifford dentro de um bloco. Além disso, portas CZ transversais podem ser implementadas entre dois blocos de código, atuando em conjuntos específicos de qubits lógicos enquanto atuam como identidade em outros.
   • CCZ de Profundidade Constante: Os autores identificam uma subconstrução de códigos TT (especificamente aqueles com polinômios de peso-2, chamados códigos $(2,2,2)$) que admitem um circuito físico CCZ de profundidade constante (profundidade-2). Este circuito implementa uma porta lógica CCZ entre três blocos de código.
   • Desempenho Comparativo: O código TT $(2,2,2)$ $[[48, 3, 4]]$, que suporta portas CCZ lógicas, utiliza 1/4 dos qubits de dados necessários para um 3DTC regular com distância $Z$ equivalente.
   • Códigos de Distância-2: Os autores também exploram códigos com taxas de codificação mais altas que suportam portas CCZ, mas que possuem uma distância $Z$ de 2 para alguns qubits lógicos. Embora estes sejam apenas detectores de erro na base $Z$, os autores mostram que o fixamento de gauge desses qubits pode gerar códigos de correção de erro de maior distância com portas CZ transversais adicionais.

Significância
O artigo afirma que os códigos TT representam um passo significativo à frente no design de códigos qLDPC ao unificar várias propriedades críticas de tolerância a falhas em uma única família. A significância reside em:

• Eficiência de Recursos: Demonstrar reduções substanciais nos custos de qubits em comparação com o 3DTC para distâncias lógicas e capacidades equivalentes.
• Eficiência de Decodificação: Fornecer evidências de decodificabilidade de shot único, o que reduz o overhead de tempo e os recursos computacionais clássicos necessários para a decodificação.
• Universalidade de Portas: Oferecer um caminho para implementar portas não-Clifford (CCZ) via circuitos de profundidade constante, uma característica difícil de alcançar em códigos topológicos sem alto custo de recursos.
• Versatilidade: A construção é flexível, permitindo códigos com distâncias equilibradas ou otimizados para ruído enviesado, e inclui o 3DTC como um caso especial.

Os autores concluem que, embora a assimetria de distância dos códigos TT seja uma característica e não um erro para certos perfis de ruído, trabalhos futuros poderiam explorar o equilíbrio de distância. Eles também observam que os circuitos de extração de síndrome atuais não foram totalmente otimizados para a distância de nível de circuito, sugerindo potenciais melhorias de desempenho futuras.