⚛️ quantum physics

Quantum LDPC codes with design rate 1/5 and good performance below 1000 physical qubits

Este artigo introduz uma nova família de códigos quânticos LDPC de taxa constante com taxa de projeto de 1/5 e peso de verificação 9, construídos via produtos balanceados de códigos clássicos com simetrias não abelianas, que alcançam tolerância a falhas de alto desempenho abaixo de 1000 qubits físicos sob condições de ruído realistas usando extração de síndrome adaptada e decodificação eficiente.

Autores originais: Yifan Hong

Publicado 2026-07-31

📖 6 min de leitura🧠 Leitura aprofundada

CC BY 4.0

Autores originais: Yifan Hong

Artigo original sob licença CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Esta é uma explicação gerada por IA do artigo abaixo. Não foi escrita nem endossada pelos autores. Para precisão técnica, consulte o artigo original. Ler aviso legal completo

Imagine que você está tentando construir uma biblioteca que nunca perde um único livro, mesmo que as prateleiras estejam sacudindo, as luzes piscando e os bibliotecários ocasionalmente derrubando seus pranchetas. Este é o sonho da computação quântica tolerante a falhas. Os "livros" são bits quânticos (qubits), que são incrivelmente frágeis; uma pequena brisa de calor ou um campo magnético errante pode embaralhar sua informação. Para salvá-los, os cientistas usam a Correção de Erros Quânticos. Pense nisso como um feitiço mágico onde você não apenas escreve um livro uma vez; você o escreve em um padrão gigante e intrincado através de muitas páginas físicas. Se uma página for rasgada ou manchada, o feitiço pode olhar para as páginas ao redor, descobrir qual era o texto original pretendido e corrigir o erro sem nunca ler o livro diretamente (o que destruiria a magia).

O desafio é que esses "feitiços" geralmente exigem uma quantidade massiva de páginas extras. Por muito tempo, o feitiço mais popular, chamado Código de Superfície (Surface Code), era como uma biblioteca muito segura, mas extremamente desperdiçadora: para armazenar uma unidade útil de informação, você poderia precisar de centenas de páginas físicas. Os cientistas têm procurado por um feitiço melhor — um que seja tão seguro quanto, mas que use muito menos páginas, um conceito conhecido como código de taxa constante. Eles também precisam que esses feitiços funcionem em máquinas reais, como aquelas que usam íons aprisionados ou átomos flutuantes, que possuem regras específicas sobre como podem mover suas partes ao redor. A grande questão tem sido: Podemos encontrar um feitiço que seja eficiente o suficiente para caber em uma sala pequena (menos de 1.000 páginas), mas forte o suficiente para lidar com a realidade bagunçada de um laboratório real?

Este artigo apresenta uma nova família desses feitiços mágicos, chamados códigos ZSZ-LP, projetados especificamente para caber nessa "sala pequena" enquanto permanecem incrivelmente resistentes. Os autores, trabalhando na NVIDIA, não apenas idealizaram uma teoria; eles construíram exemplos específicos desses códigos e os testaram em simulações de computador para ver o quão bem eles resistem ao ruído. Eles descobriram que, com apenas algumas centenas de qubits físicos, seus novos códigos podem armazenar informações com uma taxa de erro tão baixa que potencialmente abre a porta para o regime "teraquop" — um termo para realizar um trilhão de operações quânticas confiáveis. Este é um passo significativo para executar cálculos massivos e transformadores (como quebrar criptografias complexas ou simular novos medicamentos) que anteriormente se pensava que exigiriam milhões de qubits.

O ingrediente secreto desses novos códigos é um truque matemático inteligente envolvendo grupos não abelianos. Para entender isso, imagine uma pista de dança. Nos códigos antigos e mais simples (abelianos), os dançarinos seguem uma regra estrita: se Alice se move para a esquerda e depois Bob avança, é o mesmo que Bob avançar e depois Alice se mover para a esquerda. É previsível, mas limita o quão complexa a dança pode ser. Os novos códigos usam uma pista de dança "retorcida" (não abeliana) onde a ordem importa: Alice-então-Bob é diferente de Bob-entante-Alice. Esse toque extra permite que o código seja muito mais eficiente e compacto. Os autores usaram esse "retorcido" para criar códigos com uma taxa de design de 1/5, o que significa que para cada 5 qubits físicos, eles podem armazenar 1 qubit lógico útil. Isso é uma enorme melhoria em relação aos métodos antigos, que poderiam precisar de 10 ou 20 qubits físicos para apenas um.

O artigo mostra que esses códigos funcionam de forma notável em simulações. Sob um nível de ruído de 0,1% (que representa os erros acontecendo na máquina), os novos códigos podem atingir um estado onde são potencialmente prontos para o regime "teraquop". Especificamente, um código chamado ZSZ-LP-550, que usa 550 qubits físicos (mais alguns outros para verificar erros), mostrou uma taxa de erro lógico de cerca de 7 × 10⁻¹⁴ por rodada em um benchmark de memória. Isso é incrivelmente baixo; sugere que, se você construísse um computador com esses códigos, ele poderia manter informações por um tempo muito longo sem que elas fossem corrompidas. Os autores também projetaram uma maneira de "ler" os erros usando um escalonador ganancioso (greedy scheduler) que move os átomos em 30–60 milissegundos, uma velocidade que se ajusta bem ao hardware atual de átomos neutros.

No entanto, os autores são cuidadosos ao notar que esses resultados vêm de simulações, não de uma máquina física construída em um laboratório. Eles usaram uma GPU poderosa para executar um algoritmo de decodificação chamado Relay-BP, que atua como um detetive super-rápido resolvendo o quebra-cabeça de onde ocorreram os erros. As simulações sugerem que os códigos são robustos, com um "pseudotreshold" em torno de 0,5%, o que significa que, se a taxa de erro da máquina permanecer abaixo desse valor, o código ficará cada vez melhor à medida que cresce. Mas o artigo também aponta um compromisso (trade-off): como esses códigos usam essa matemática complexa e "retorcida", eles são mais difíceis de conectar fisicamente do que os códigos mais simples e antigos. As conexões entre os qubits são mais complicadas, o que torna a construção do hardware real um desafio maior.

Os pesquisadores também descobriram que esses códigos possuem uma simetria especial que permite realizar certas operações lógicas (como inverter bits ou mudar fases) de forma muito eficiente, quase como dobrar um papel para alinhar as bordas perfeitamente. Isso poderia tornar a "cirurgia" necessária para conectar diferentes partes de um computador quântico muito mais fácil. Embora não tenham encontrado um código que seja perfeito em todos os aspectos (algumas versões tinham distâncias ligeiramente menores ou exigiam conexões mais complexas), eles provaram que códigos com menos de 1.000 qubits podem, de fato, atingir os níveis de alto desempenho necessários para a próxima geração de computadores quânticos.

Em suma, este artigo é um grande passo adiante para provar que não precisamos de um computador quântico do tamanho de uma cidade para fazer grandes coisas. Ao usar um truque matemático inteligente, os autores mostraram que uma máquina do tamanho de um pequeno rack de servidores poderia potencialmente conter a chave para resolver problemas que são impossíveis para os supercomputadores de hoje. O caminho da simulação até uma máquina real e funcional ainda é longo e cheio de obstáculos de engenharia, mas o mapa que eles traçaram parece muito promissor.

Resumo Técnico: Códigos Quantum LDPC com Taxa de Design 1/5 e Bom Desempenho Abaixo de 1000 Qubits Físicos

Definição do Problema

Embora os códigos quantum low-density parity-check (qLDPC) de taxa constante prometam computação quântica tolerante a falhas (FTQC) com overhead espacial constante no limite assintótico, descobrir instâncias de códigos de comprimento finito com bom desempenho prático continua sendo um desafio significativo. Os existentes códigos qLDPC de alta taxa frequentemente exigem milhares de qubits físicos para atingir limiares de correção de erros úteis, ou sofrem de distâncias mínimas baixas quando construídos usando grupos abelianos. Além disso, realizar a ponte entre diferentes códigos de correção de erros em arquiteturas heterogêneas via cirurgia de código é não trivial, e o compromisso entre parâmetros de código (taxa, distância) e restrições de implementação (peso de check, conectividade) é agudo para hardwares de curto prazo, como processadores de íons aprisionados e átomos neutros. O desafio específico abordado é a construção de códigos qLDPC com uma taxa de design de pelo menos 1/5, bom desempenho de comprimento finito (aproximando-se do regime de memória "teraquop") e overhead físico gerenciável (<1000 qubits) sob ruído de nível de circuito realista.

Metodologia

Os autores introduzem uma nova família de códigos quantum LDPC, denominada códigos ZSZ-LP, construídos via o produto balanceado de códigos clássicos LDPC que compartilham simetrias de grupo não-abeliano "ZSZ".

1. Construção do Código

Estrutura de Grupo: A construção utiliza o grupo ZSZ ( $Z_{\ell_1} \rtimes_q Z_{\ell_2}$ ), um grupo metacíclico definido por um produto semidireto. O fator de "torção" (twist) não-abeliano $q$ é crucial; os autores demonstram teoricamente que grupos abelianos levam a distâncias mínimas baixas (constantes) nesta construção de 5 blocos devido a syzygies de baixo peso, enquanto grupos não-abelianos contornam este obstáculo.
Sementes Clássicas: O processo começa pela seleção de pares de códigos LDPC clássicos (3, 6)-regulares (taxa de design 1/2) baseados na álgebra do grupo ZSZ. Estes são construídos como códigos de dois blocos de álgebra de grupo (2BGA) usando representações à esquerda e à direita de trinômios ( $a, b$ para o código à esquerda; $c, d$ para o direito).
Produto Balanceado: O código quantum é formado ao realizar o produto balanceado destes códigos semente clássicos. Isso resulta em uma estrutura CSS de 5 blocos com matrizes de verificação de paridade $H_X$ e $H_Z$ de tamanho $5\ell \times 5\ell$ (onde $\ell = \ell_1 \ell_2$ ). A taxa de design é $1/5$ .
Estratégia de Busca: Uma busca aleatória filtrada é empregada para selecionar trinômios. O pipeline filtra candidatos baseando-se no girth do grafo de Tanner (evitando ciclos curtos) e na distância mínima (estimada via QDistEvol e solvers SAT exatos). Os autores evitam especificamente escolhas simétricas ( $a=c, b=d$ ) para prevenir 4-ciclos inevitáveis.

2. Operadores Lógicos e Cirurgia

Bases Equivariantes: Aproveitando as simetrias de grupo das sementes clássicas, os autores constroem bases lógicas One-Generator-Minimal (OGM) (todos os operadores possuem peso mínimo $d$ ) e bases One-Generator-Symplectic (OGS) (simpléticas, mas potencialmente de maior peso).
Cirurgia de Código: A natureza equivariante dos operadores lógicos permite a construção de "gadgets de cirurgia" eficientes para medir operadores lógicos de Pauli. Dois tipos são demonstrados: um ancilla de grafo aleatório para medições lógicas individuais e um ancilla de produto de hipergrafo (HGP) para medições paralelas.

3. Adaptação ao Hardware

Extração de Síndromes: O artigo propõe cronogramas de extração de síndrome adaptados para matrizes de átomos reconfiguráveis. Os qubits de dados são mantidos estacionários em uma grade, enquanto os qubits de síndrome são movidos via defletores optoacústicos (AODs). Um escalonador guloso minimiza o custo de roteamento (canais AOD e tempo de rearranjo) necessário para alinhar os átomos de síndrome com os átomos de dados para portas CNOT.
Decodificação: Os códigos são decodificados usando um algoritmo Relay-Belief-Propagation (Relay-BP) acelerado por GPU.

Principais Contribuições

Nova Família de Códigos (ZSZ-LP): Introdução de uma família de códigos qLDPC com taxa de design 1/5 e peso de check 9, construída sobre grupos não-abelianos ZSZ.
Desempenho de Comprimento Finito: Demonstração de que estes códigos alcançam alta eficiência de memória ( $kd^2/n$ ) e baixas taxas de erro lógico (LER) com comprimentos de bloco $n < 1000$ . Especificamente, códigos como ZSZ-LP-320 e ZSZ-LP-550 aproximam-se dos regimes de gigaquop e teraquop, respectivamente, em taxas de erro físico de $p \le 0,1\%$ .
Insights Teóricos:
- Prova de que grupos abelianos nesta construção de 5 blocos levam a distâncias mínimas baixas, motivando o uso de grupos não-abelianos.
- Derivação de limites superiores para girths de Tanner e distâncias mínimas para variantes clássicas e quantum.
- Identificação de automorfismos de centro residuais nos códigos quantum, que são menores que a simetria total do grupo, mas ainda úteis.
Roteiro de Implementação:
- Construção de cronogramas explícitos de extração de síndrome para matrizes de átomos reconfiguráveis, com tempos de rearranjo estimados em 30–60 ms por rodada.
- Demonstração de decodificação de baixa latência (1–2 ms em média) em GPUs modernas, sugerindo viabilidade para decodificação em tempo real em arquiteturas de curto prazo.
Avanços em Codificação Clássica: Os códigos semente clássicos (ZSZ-2BGA) mostram ter distâncias mínimas estatisticamente maiores e melhor desempenho de piso de erro (error-floor) do que os conjuntos (3, 6)-regulares padrão (como PEG ou modelos de configuração) sob canais AWGN.

Resultados

Eficiência de Memória: A métrica $kd^2/n$ para códigos ZSZ-LP excede significativamente a do código de superfície e é competitiva ou superior a outras propostas de qLDPC de alta taxa (BB, GB, QC-LP) para comprimentos de bloco $n < 1000$ .
Correção de Erros: Sob ruído depolarizante de nível de circuito sem ociosidade ( $p=0,1\%$ ), o código ZSZ-LP-550 (550 qubits de dados, 440 qubits ancilla) atinge uma LER extrapolada por rodada-qubit de $\approx 7 \times 10^{-14}$ , potencialmente alcançando o regime teraquop.
Limiares (Thresholds): Um pseudolimiar de aproximadamente 0,5% é observado para os códigos ZSZ-LP sob o modelo de ruído testado.
Latência de Decodificação: A decodificação Relay-BP em GPU atinge latências médias de 1–2 ms para códigos de até 550 qubits, bem dentro das restrições de tempo para sistemas de átomos neutros e íons aprisionados.
Cirurgia: O artigo avalia gadgets de cirurgia baseados em grafos e HGP, mostrando que bases lógicas equivariantes permitem a medição de operadores lógicos com baixo overhead.

Significância e Alegações

O artigo posiciona os códigos ZSZ-LP como um passo prático para a realização de computadores quânticos tolerantes a falhas com overhead espacial constante no curto prazo. Os autores alegam que estes são os primeiros códigos qLDPC com taxa $\ge 10\%$ e abaixo de 1000 qubits físicos a se aproximarem dos regimes de memória gigaquop e teraquop sob ruído de nível de circuito sem ociosidade.

O trabalho enfatiza um compromisso: ao sacrificar os grandes grupos de automorfismo encontrados em construções abelianas (que facilitam portas transversais fáceis), os autores gançam uma melhoria significativa na distância de comprimento finito e na eficiência de memória. O artigo nota modestamente que a busca de códigos não é exaustiva e que podem existir instâncias melhores. Destaca que, embora a construção atual exija conectividade mais complexa e overhead de rearranjo comparado aos análogos abelianos (como códigos BB), os ganhos de desempenho em eficiência de memória e distância tornam-nos candidatos atraentes para arquiteturas com qubits móveis. Os autores concluem que estes resultados avançam a praticidade de códigos qLDPC de taxa constante, fornecendo um caminho concreto para arquiteturas de FTQC de curto prazo, particularmente aquelas baseadas em matrizes de átomos reconfiguráveis.