Single-Shot and Few-Shot Decoding via Stabilizer Redundancy in Bivariate Bicycle Codes

Resumo Técnico: Decodificação de Shot Único (Single-Shot) e Poucos Shots (Few-Shot) via Redundância de Estabilizadores em Códigos Bicíclicos Bivariados

Definição do Problema
Códigos de correção de erros quânticos de baixa densidade de paridade (qLDPC), particularmente os códigos Bicíclicos Bivariados (BB), oferecem um caminho promissor para a computação quântica tolerante a falhas com pesos de verificação limitados e bom desempenho para comprimentos finitos. No entanto, um desafio crítico permanece em arquiteturas limitadas por medição: como alcançar correção de erros robusta com o mínimo de rodadas de medição de síndrome. Embora a redundância de estabilizadores tenha sido demonstrada numericamente como capaz de permitir a decodificação de "shot único" (corrigindo tanto erros de dados quanto de medição em uma única rodada), a relação algébrica entre os parâmetros de construção dos códigos BB coprimos e sua capacidade de suportar tal decodificação permanecia implícita. Especificamente, não estava claro como o polinômio que governa a dimensão lógica dos códigos BB coprimos se relaciona com a estrutura e a distância dos códigos de síndrome clássicos necessários para a correção de erros de medição.

Metodologia
Os autores desenvolvem um arcabouço algébrico para a subclasse coprimas de códigos BB, estendendo a descrição algébrica de grupo fornecida por Postema et al. para o domínio clássico da decodificação de síndrome.

1. Caracterização Algébrica: O artigo estabelece que o mesmo polinômio máximo divisor comum, $g(z)$, que determina a dimensão lógica ($k$) e a distância quântica de códigos BB coprimos, também gera os códigos de síndrome clássicos ($C_S^X$ e $C_S^Z$).
2. Derivação de Limites: Usando as propriedades de códigos cíclicos, os autores derivam limites estritos sobre a distância de síndrome ($d_S$) e a tolerância de erro de medição alcançável ($t_S$). Eles aplicam o limite BCH para estimar $d_S$ e o limite de Singleton para estabelecer um limite superior em $d_S$ em relação à taxa do código.
3. Análise de Decodificação: O estudo analisa um processo de decodificação de dois estágios: primeiro, a limpeza de síndromes ruidosas usando os códigos de síndrome clássicos (via decodificação de distância limitada ou BP) e, segundo, a decodificação dos dados usando o código CSS subjacente. Os autores comparam a decodificação de shot único ideal com esquemas convencionais de rodadas repetidas (redundância temporal) sob um modelo de ruído fenomenológico.
4. Avaliação Numérica: O arcabouço teórico é validado pela construção de pequenos códigos BB coprimos com distâncias de síndrome aprimoradas. Esses códigos são avaliados usando Propagação de Crença (BP) para limpeza de síndrome e BP+Decodificação de Estatística Ordenada (BP+OSD) para correção de dados.

Principais Contribuições

• Elo Algébrico: O artigo prova que, para códigos BB coprimos, o polinômio $g(z)$ dita não apenas a dimensão lógica quântica, mas também a estrutura dos códigos de síndrome clássicos. Especificamente, os códigos de síndrome são códigos cíclicos binários gerados por $g(z)$.
• Igualdade Taxa-Redundância: Uma igualdade estrita é derivada entre a taxa quântica e a densidade de redundância do estabilizador: $r_X/N = r_Z/N = k/n$. Isso implica que, em códigos BB coprimos, a fração de estabilizadores redundantes é exatamente igual à taxa do código.
• Identificação do Gargalo Estrutural: Os autores demonstram um compromisso fundamental: dentro do ansatz BB coprimo, uma alta taxa quântica exige um grau elevado para $g(z)$. No entanto, o limite de Singleton restringe a distância de síndrome $d_S$ a aproximadamente $k/2 + 1$. Consequentemente, códigos de alta taxa possuem inerentemente uma distância de síndrome limitada, o que limita sua robustez de medição em shot único.
• Regras de Design: O trabalho fornece regras de design algébricas concretas (maximização da distância BCH de $g(z)$) para construir pequenos códigos BB com distâncias de síndrome melhoradas, indo além dos casos de base $d_S=2$ encontrados na literatura anterior.

Resultos

• Melhoria da Distância de Síndrome: Dois códigos BB coprimos específicos foram construídos com distâncias de síndrome significativamente melhoradas: Código 1 ($N=21$, $d_S=4$) e Código 2 ($N=63$, $d_S=10$).
• Desempenho da Decodificação de Síndrome: Resultados numéricos confirmam que o estágio de limpeza de síndrome atinge a escala de supressão de erro prevista pelos limites de códigos cíclicos ($O(q^{t_S+1})$), validando a construção algébrica independentemente do decodificador de dados.
• Shot Único vs. Decodificação Repetida: Sob o decodificador BP+OSD, o desempenho de shot único ($R=1$) dos códigos aprimorados acompanha de perto o desempenho de esquemas de rodadas repetidas ($R=3$). O esquema de shot único substitui efetivamente a redundância temporal pela redundância espacial, reduzindo o tempo de ciclo em um fator de três com fidelidade lógica comparável, desde que a taxa de erro de medição não exceda o raio de correção do código de síndrome.
• Limitações: A análise revela que, para códigos menores ou aqueles com distâncias de síndrome mais baixas (por exemplo, $d_S=2$), a decodificação de shot único não consegue igualar a robustez de uma linha de base de até 3 rodadas. O gargalo estrutural identificado pelo limite de Singleton impede o alcance de grandes distâncias de síndrome para altas taxas de códigos BB coprimos com pesos de verificação fixos.

Significância e Alegações
O artigo afirma fornecer o primeiro elo algébrico direto entre os parâmetros de construção de códigos BB coprimos e suas capacidades de decodificação de shot único. Ao provar que $g(z)$ governa tanto a dimensão lógica quanto a estrutura de síndrome, o trabalho oferece um método rigoroso para projetar códigos adaptados para arquiteturas limitadas por medição.

Os autores concluem modestamente que, embora os ganhos numéricos na taxa de erro lógico sejam "modestos", a identificação do gargalo estrutural é a principal contribuição. Eles afirmam que seus resultados fornecem "regras de design algébricas concretas" para códigos 2BGA de próxima geração. O trabalho destaca que, embora a decodificação de shot único seja alcançável, a subclasse BB coprimo enfrenta limitações inerentes onde altas taxas quânticas restringem a distância de síndrome, limitando o desempenho de shot único. Os autores sugerem que trabalhos futuros devem abordar o ruído ao nível de circuito e explorar construções generalizadas para relaxar o acoplamento taxa-redundância.