Clifford-deformed zero-rate LDPC codes with 50% biased noise thresholds

Declaração do Problema
Hardware quântico realista frequentemente exibe ruído fortemente anisotrópico, onde a desfase (erros de Pauli $Z$) domina outros canais de erro. Embora esse viés apresente uma oportunidade para adaptar códigos de correção de erros a limites de tolerância a falhas mais altos, a maioria dos resultados conhecidos que atingem o limite ótimo de 50% sob viés infinito tem sido restrita a códigos topológicos de baixa dimensão (por exemplo, códigos de superfície, códigos de cor). Uma questão aberta crítica é se esse desempenho próximo à capacidade é um fenômeno inerentemente topológico ou se pode ser projetado de forma mais ampla para códigos de verificação de paridade de baixa densidade quântica (qLDPC), que são fortes candidatos para reduzir o custo assintótico da computação tolerante a falhas. Especificamente, os autores investigam se deformações de Clifford — transformações unitárias locais de um único qubit que rotacionam os eixos de Pauli — podem levar códigos qLDPC de taxa zero a atingir um limite de 50% sob ruído viésado.

Metodologia
Os autores empregam uma combinação de provas analíticas, simulações numéricas e modelagem consciente do hardware:

1. Estrutura Teórica: Eles derivam condições suficientes gerais para um limite de 50% sob viés infinito em códigos estabilizadores deformados por Clifford de taxa zero. Isso envolve analisar a escala dos operadores lógicos puramente-$Z$. Eles introduzem o conceito de uma "Base de Operadores Lógicos" (BLO) e provam que, se o número de operadores lógicos puramente-$Z$ não triviais cresce subexponencialmente em relação ao seu peso (especificamente, se $|L_Z| \le \exp(o(n^\alpha))$ enquanto os pesos escalonam como $n^\alpha$), a probabilidade de falha lógica decai exponencialmente, resultando em um limite de 50%. Eles refinam isso ainda mais considerando BLOs não sobrepostos e BLOs sobrepostos com cargas de sobreposição atribuídas.
2. Família de Códigos: O estudo foca em "códigos de ladrilho" (tile codes), uma família de códigos qLDPC planares e geometricamente locais com estabilizadores de peso limitado e dimensão lógica fixa ($k=8$ para fronteiras abertas).
3. Estratégias de Deformação: Eles investigam dois tipos de deformações de Clifford:
   • Deformações Aleatórias: Aplicação de unitários de Clifford de um único qubit aleatórios ($H$, $HSH$, $I$) a qubits com probabilidades específicas ($\Pi_{XZ}, \Pi_{YZ}$).
   • Deformações Invariantes por Translação (TI): Aplicação de padrões estruturados de portas de Clifford (por exemplo, Hadamard em ligações verticais, ou padrões unitários específicos) para preservar a simetria da rede.
4. Decodificação e Simulação:
   • Capacidade do Código: Limites numéricos são estimados usando um decodificador de Propagação de Crença com Decodificação por Estatísticas Ordenadas (BP-OSD) sob viés infinito e finito.
   • Nível de Circuito: Eles constroem circuitos de extração de síndrome usando o simulador Stim, otimizando a ordenação das portas para preservar a distância do circuito. Eles simulam ruído em nível de circuito incluindo erros de porta, medição e ociosidade.
5. Mapeamento para Hardware: Para preencher a lacuna entre modelos idealizados e a realidade física, eles modelam implementações microscópicas de extração de síndrome em três plataformas (íons aprisionados, qubits supercondutores, átomos neutros). Eles propagam erros de Pauli através desses circuitos para extrair parâmetros fenomenológicos efetivos (taxa de erro efetiva $p_{eff}$ e viés efetivo $\eta_{eff}$), levando em conta como conjuntos de portas nativas (por exemplo, CX vs. CZ) e estratégias de compilação degradam o viés.

Principais Contribuições

• Condições Gerais de Limite: O artigo estabelece uma estrutura teórica unificada que explica limites de 50% para códigos deformados por Clifford. Ele prova que o limite é governado pela estrutura dos operadores lógicos puramente-$Z$, exigindo especificamente que seu número não cresça exponencialmente com o tamanho do sistema em relação ao seu peso. Isso generaliza resultados anteriores conhecidos para códigos topológicos para a classe mais ampla de códigos qLDPC de taxa zero.
• Análise de Códigos de Ladrilho: Os autores demonstram que os códigos de ladrilho, quando submetidos a deformações de Clifford específicas, satisfazem essas condições teóricas. Eles identificam um diagrama de fase para deformações aleatórias onde uma grande região exibe um limite de 50%, delimitada por probabilidades específicas de permutações $X \leftrightarrow Z$ e $Y \leftrightarrow Z$.
• Prova Analítica para Deformação Linear: Para uma deformação linear invariante por translação específica (Hadamard em ligações verticais), os autores fornecem uma prova analítica de um limite de 50% usando uma técnica de redução de peso, reduzindo o problema de decodificação a uma série de códigos de repetição.
• Desempenho em Nível de Circuito: Eles mostram que os códigos de ladrilho deformados por Clifford mantêm vantagens de desempenho significativas sobre códigos não deformados mesmo sob ruído em nível de circuito. Eles quantificam o "viés residual" após um ciclo completo de extração de síndrome, ligando implementações de hardware microscópicas a modelos fenomenológicos.
• Compilação Consciente do Hardware: O estudo fornece evidências concretas sobre como diferentes plataformas de qubits e estratégias de compilação (CX nativo vs. CZ nativo) afetam o viés efetivo e as taxas de erro lógico, destacando que a preservação do viés é altamente sensível à escolha das portas de emaranhamento nativas.

Resultados

• Viés Infinito: Tanto os códigos de ladrilho deformados por Clifford aleatórios quanto os invariantes por translação atingem um limite de 50% no limite de viés infinito. O limite é robusto em uma ampla gama de parâmetros de deformação, desde que o tamanho da BLO permaneça constante ou cresça lentamente (inclinação $s \approx 0$).
• Viés Finito: Sob viés finito, as variantes deformadas por Clifford (particularmente a deformação TI com parâmetros $(0.25, 0.5)$) superam significativamente os códigos de ladrilho CSS não deformados. A variante TI mostra a supressão mais forte de erros lógicos e o escalonamento sub-limite mais favorável.
• Limites em Nível de Circuito: Embora os limites em nível de circuito sejam menores que os limites de capacidade do código devido à renormalização do viés (a redução do viés efetivo durante a extração de síndrome), a vantagem relativa dos códigos deformados persiste. Por exemplo, em $\eta = 10.000$, a deformação linear atinge um limite de $\approx 1,5\%$, comparado a $\approx 0,63\%$ para o código CSS não deformado.
• Impacto do Hardware: O viés efetivo $\eta_{eff}$ é significativamente reduzido em plataformas onde a porta nativa é CX (por exemplo, íons aprisionados, supercondutores) em comparação com plataformas nativas em CZ (por exemplo, átomos neutros, íons aprisionados com interações específicas). A deformação XY é particularmente sensível às estratégias de compilação, mostrando grandes variações de desempenho dependendo se portas CZ ou CX são usadas.

Significado
O artigo afirma que as deformações de Clifford fornecem uma rota sistemática e geral para otimizar códigos qLDPC para ruído viésado, superando as limitações dos códigos topológicos. Ao vincular limites altos às propriedades estruturais dos operadores lógicos (especificamente a escala dos lógicos puramente-$Z$), o trabalho oferece um princípio de projeto para construir códigos tolerantes a falhas adaptados a hardware realista e anisotrópico. Os resultados sugerem que, com deformações de Clifford apropriadas, códigos qLDPC de taxa zero podem se aproximar do limite fundamental da teoria da informação para ruído viésado, oferecendo um caminho promissor para reduzir o custo da computação quântica tolerante a falhas. O estudo também enfatiza a importância de co-projetar deformações de código com conjuntos de portas específicos de hardware para maximizar a preservação do viés em implementações práticas.