Resumo Técnico: Descoberta Evolutiva de Códigos de Bicicleta Bivariada via Busca Guiada por LLM

Definição do Problema

A descoberta de códigos de Verificação de Paridade de Baixa Densidade Quântica (qLDPC), particularmente os códigos de Bicicleta Bivariada (BB), exige a navegação por vastos espaços de design combinatório para encontrar códigos com compensações (tradeoffs) favoráveis entre taxa, distância e limiar (threshold). Embora os códigos BB ofereçam estabilizadores de peso 6 e extração de síndrome de profundidade constante adequados para o hardware de curto prazo, o panorama de códigos de alto desempenho em comprimentos de bloco práticos ($n \lesssim 1000$) permanece amplamente inexplorado. As enumerações sistemáticas existentes são frequentemente restritas a formas polinomiais específicas ou pequenos comprimentos de bloco, e o espaço de busca carece de uma estrutura de gradiente passível de otimização contínua. Além disso, certificar de forma confiável os parâmetros (especificamente a distância mínima $d$) de códigos candidatos é computacionalmente difícil; métodos heurísticos padrão, como a Propagação de Crenças com Decodificação de Estatística Ordenada (BP-OSD), mostraram-se sistematicamente propensos a superestimar a distância, particularmente para códigos de alta taxa, levando a sinais de aptidão (fitness) não confiáveis em buscas evolutivas.

Metodologia

Os autores introduzem um fluxo de trabalho evolutivo guiado por LLM projetado para descobrir e validar códigos quânticos. Em vez de evoluir parâmetros de código individuais, o sistema evolui ansatzes de geradores — programas Python que produzem pares de polinômios candidatos (ou 4-tuplas para códigos não-CSS) para dimensões de rede arbitrárias.

Estrutura Evolutiva

• Algoritmo: O sistema utiliza o OpenEvolve, uma implementação do algoritmo MAP-Elites, para guiar um Modelo de Linguagem de Grande Escala (LLM) na mutação de geradores de código.
• Estratégia de Mutação: O LLM recebe o ansatz de maior aptidão atual, conhecimento de domínio e feedback de avaliação, propondo diffs de código direcionados (ex: ajustes de expoentes, reestruturação de controle de fluxo) em vez de reescritas completas.
• População: A busca é distribuída em múltiplas "ilhas" com migração periódica para manter a diversidade. O arquivo indexa os ansatzes com base em dimensões comportamentais, como o número de redes que geram códigos válidos e a contagem total de códigos de alta qualidade.

Pipeline de Validação em Estágios

Para mitigar a falta de confiabilidade da estimativa heurística de distância, os autores empregam uma cascata de múltiplos estágios:

1. Estágio 1 (Triagem): Avaliação rápida em redes pequenas para computar a dimensão de codificação $k$ via $\text{rank}$ em $\text{GF}(2)$. Ansatzes que falham em produzir códigos válidos são descartados.
2. Estágio 2 (Estimativa Heurística): Os ansatzes sobreviventes são avaliados em redes maiores usando BP-OSD com múltiplas configurações de decodificador (OSD0, OSD-CS10) para estimar a distância $d$.
3. Estágio 3 (Verificação Exata): Para os principais candidatos (e em campanhas posteriores, dentro do loop), o Programação Linear Inteira Mista (MILP) é usado para computar distâncias exatas ou limites superiores rigorosos. Este estágio é crítico para corrigir a superestimação sistemática observada no BP-OSD.
4. Análise Pós-Campanha: Inclui deduplicação de grafo de Tanner baseada em BLISS para identificar códigos permutação-equivalentes, análise de decomponibilidade (para detectar somas diretas) e verificações de equivalência Local-Clifford (LC) para códigos não-CSS.

Famílias de Códigos

• Códigos BB CSS: Definidos por dois trinômios $A, B$ sobre $\mathbb{F}_2[x,y]/(x^\ell-1, y^m-1)$.
• Códigos BB Perturbados (PBB): Um ansatz não-CSS que introduz polinômios de perturbação $C, D$ para criar estabilizadores mistos, permitindo estruturas não-CSS.

Contribuições Principais

1. Descoberta de 465 Códigos Distintos

Através de cinco campanhas evolutivas, o sistema descobriu 465 códigos distintos em comprimentos de bloco $n \le 360$:

• 97 Códigos CSS: Incluindo 97 representantes distintos (99 classes de equivalência incluindo redescobrimentos). Achados notáveis incluem:
  • O código [[288, 16, 12]]: Um código CSS indecomponível com $d=12$ (exato) e todos os shifts $\le 3$.
  • Códigos de maior peso: Descoberta de códigos de peso-8 que alcançam novas combinações $(k, d)$, como o [[288, 50, 8]] ($k=50, d=8$).
  • Recuperação de códigos conhecidos de alto desempenho (ex: o "código gross" [[144, 12, 12]]) e identificação de novos representantes de comprimento finito.
• 368 Códigos PBB Não-CSS: Códigos usando estabilizadores mistos. A busca encontrou um código PBB [[144, 12, 12]] que iguala a Figura de Mérito (FOM) do código gross e um [[360, 12, $\le$24]] com um limite superior de FOM de 19.2 confiável.

2. Avanços Metodológicos em Verificação

• Superestimação por BP-OSD: O estudo quantifica que o BP-OSD superestima sistematicamente a distância para códigos de alta taxa ($k/n > 0.1$), com erros chegando a até 12$\times$. Por exemplo, um código [[360, 40, 2] foi estimado como $d \le 24$ pelo BP-OSD, enquanto o MILP confirmou $d=2$.
• Amostragem de Síndrome Alcançável: Para códigos não-CSS, a amostragem padrão de síndrome aleatória falha porque os cossetes lógicos alcançáveis formam um subespaço estrito. Os autores introduzem um método para amostrar apenas do subespaço alcançável, restaurando a funcionalidade do BP-OSD.
• Verdade Fundamental (Ground Truth) via MILP: O uso de MILP como padrão de verificação revelou que muitos candidatos de alto $k$ eram, na verdade, de baixa distância ou decomponíveis (ex: o código [[288, 24, 12]] foi identificado como uma soma direta de dois códigos gross).

3. Caracterização Estrutural do Panorama de BB

Os autores identificam quatro famílias algébricas com perfis distintos de taxa–distância:

• Univariante/HGP: Códigos equivalentes ao produto de hipergrafo de códigos cíclicos. Eles alcançam as maiores dimensões de codificação ($k \propto \ell$), mas sofrem com um teto de distância de $d \le 4$.
• x/y-swap: Códigos com variáveis mistas nos polinômios, alcançando $d \ge 12$, mas limitados a $k \le 16$ para indecomponíveis.
• Monomial Misto/Peso Maior: Códigos com polinômios de 4–6 termos que acessam novos pontos $(k, d)$ (ex: $k=50$ em $d=8$), mas não escapam do envelope geral de taxa–distância.
• Não-CSS PBB: Códigos que igualam, mas não excedem, a FOM dos melhores códigos CSS em $n=144$.

4. Tradeoff Empírico de Taxa–Distância

A busca revela um tradeoff empírico consistente: taxas de codificação mais altas geralmente acompanham distâncias menores.

• Códigos de peso-6 indecomponíveis com $d=12$ são limitados a $k \le 16$.
• Códigos de peso-6 com $k > 24$ possuem universalmente $d \le 4$.
• Códigos de maior peso (peso-8) podem acessar $k$ mais altos com $d$ moderado (ex: $k=50$ em $d=8$), mas não rompem o envelope observado.

Resultados e Significância

Principais Descobertas

• Eficácia do LLM: A evolução guiada por LLM descobriu com sucesso padrões algébricos (ex: estruturas univariantes, x/y-swap) que se generalizam através de dimensões de rede, superando a busca aleatória e algoritmos genéticos padrão na busca de códigos de alto FOM com $d \ge 6$.
• Necessidade de Verificação: O estudo demonstra que a estimativa de distância heurística é insuficiente para a descoberta de códigos de alta taxa. A "armadilha da distância A = B" (onde $A=B$ resulta em $d=2$) não foi detectada pelo BP-OSD mesmo após $1.5 \times 10^6$ tentativas, mas foi imediatamente identificada pelo pipeline MILP.
• Relevância de Hardware: Os códigos descobertos, como o [[288, 16, 12]], oferecem contagens de qubits lógicos melhoradas (até 1.7$\times$ o código gross) mantendo limiares de pseudo-limiar comparáveis ao código de superfície. Códigos PBB não-CSS mostram potencial para melhor supressão de erro sob modelos de ruído específicos (apenas X), embora essa vantagem diminua sob ruído depolarizante com decodificadores padrão.

Significância

O artigo afirma que a evolução de programas guiada por LLM, quando pareada com uma verificação independente rigorosa em múltiplos estágios (especificamente MILP), serve como uma ferramenta prática e de baixo custo para a descoberta estruturada de códigos quânticos. O custo computacional total de aproximadamente $400 e 140 horas demonstra a viabilidade desta abordagem.

O trabalho estabelece um novo padrão de verificação para reivindicações de códigos BB de alta taxa, destacando a lacuna crítica entre estimativas heurísticas e a distância exata. Ele fornece um framework reutilizável para explorar o espaço combinatório de códigos quânticos, revelando que, embora o envelope de taxa–distância seja robusto, a busca estruturada pode descobrir novos representantes de alto desempenho dentro dele. Os autores observam que escapar deste envelope provavelmente exigirá ir além da família de bicicleta bivariada para estruturas algébricas mais complexas.