Random encoders and expurgation improve 1,873 entries of the Grassl qubit code tables

Na corrida para construir um computador quântico funcional, o maior obstáculo não é apenas a fragilidade da informação, mas a extrema dificuldade de protegê-la. Os bits quânticos, ou qubits, são facilmente perturbados pelo menor ruído, causando erros que podem destruir um cálculo em um instante. Para sobreviver, esses estados delicados devem ser envolvidos em camadas de proteção conhecidas como códigos de correção de erros. Esses códigos funcionam espalhando uma única peça de informação por muitos qubits físicos, criando uma rede de segurança que permite ao sistema detectar e corrigir falhas sem nunca olhar diretamente para os dados. A eficácia de tal código é medida pela sua capacidade de capturar erros: quanto mais erros ele conseguir capturar antes que a informação seja perdida, melhor será o código. Por décadas, cientistas mantiveram um guia de referência massivo, uma tabela dos melhores códigos conhecidos para cada tamanho e força possíveis, servindo como o mapa para engenheiros que tentam construir o futuro.

Um estudo recente redesenhou partes significativas desse mapa. Ao utilizar uma combinação de randomização e um processo de limpeza direcionado, pesquisadores descobriram 192 novos códigos quânticos que superam as melhores entradas conhecidas no guia existente. Esses novos códigos não são apenas possibilidades teóricas; são projetos explícitos e funcionais que foram rigorosamente testados para provar que funcionam exatamente como alegado. A descoberta sugere que, para muitos tamanhos de sistemas quânticos, a melhor proteção disponível não é uma estrutura rígida e cuidadosamente elaborada, mas sim um código que começa como um arranjo aleatório e é então podado para remover suas fraquezas. Essa descoberta desafia a suposição de longa data de que os códigos mais eficientes devem ser altamente estruturados, revelando, em vez disso, que um ponto de partida caótico, quando refinado corretamente, pode oferecer uma proteção superior.

O trabalho começou com uma ideia simples e poderosa: começar com um arranjo aleatório de portas quânticas e então remover sistematicamente as falhas. Os pesquisadores geraram centenas de códigos "pais" aplicando sequências aleatórias de operações a um conjunto de qubits. Em um código aleatório típico, há uma alta chance de que alguns erros passem despercebidos, de forma muito semelhante a uma rede com buracos grandes demais para capturar peixes pequenos. Para corrigir isso, a equipe empregou um processo chamado expurgação. Eles identificaram cada tipo específico de erro que era leve demais para ser capturado pelo design atual do código e, em seguida, promoveram esses erros específicos para se tornarem parte das próprias regras do código. Ao forçar o código a tratar esses erros perigosos como se fossem parte de sua própria estrutura, o código efetivamente fechou os buracos, aumentando sua capacidade de detectar falhas. Esse processo reduziu ligeiramente a quantidade de informação que o código poderia conter, mas aumentou dramaticamente sua força, permitindo que ele capturasse erros que os códigos anteriores perdiam.

Para garantir que esses novos códigos não fossem apenas palpites de sorte, os pesquisadores os submeteram a um nível de escrutínio raro neste campo. Em vez de depender de estimativas estatísticas ou verificações parciais, eles realizaram uma busca exaustiva para provar os limites de cada código. Para o limite inferior, eles verificaram sistematicamente todas as combinações possíveis de erros até um certo peso, uma tarefa que exigiu o exame de até 40 trilhões de possibilidades distintas em um supercomputador. Para o limite superior, encontraram um exemplo específico de um erro que o código não conseguia corrigir, provando que o código não poderia ser mais forte do que seu limite relatado. Essa dupla certificação significa que, para todos os 192 códigos, a distância — a medida de quantos erros eles podem capturar — é conhecida com absoluta certeza. Os resultados são concretos: 161 desses códigos melhoraram os limites conhecidos em uma unidade de força, e 31 melhoraram em duas.

O impacto dessas descobertas reverbera muito além dos 192 exemplos específicos. Devido às regras padrão que permitem que os códigos sejam estendidos ou encurtados, essas novas descobertas melhoram automaticamente 1.873 entradas na tabela de referência global. Em muitos casos, os novos códigos permitem armazenar significativamente mais informação para o mesmo nível de proteção. Por exemplo, na faixa de comprimentos de código entre 170 e 250 qubits com um requisito de alta força, os novos códigos podem conter até nove bits lógicos de informação a mais do que as melhores opções conhecidas anteriormente. Este é um ganho substancial, permitindo efetivamente que um computador quântico realize mais trabalho com o mesmo número de componentes físicos. O estudo descobriu que esses melhorias são mais pronunciadas onde a tabela existente listava apenas um limite inferior teórico sem um código específico e funcional, sugerindo que a antiga tabela estava há muito tempo sem soluções práticas.

Os pesquisadores também usaram um método de contagem para prever onde essa abordagem teria sucesso e onde falharia. Eles descobriram que o método funciona melhor quando os códigos existentes na tabela não são melhores do que o que um código aleatório alcançaria naturalmente. Nesses casos, o ponto de partida aleatório já é forte, e o processo de poda o impulsiona além do limite. No entanto, onde a tabela já contém códigos cíclicos altamente estruturados, a abordagem aleatória não conseguiu competir. Essa distinção é crucial: ela nos diz que, embora os códigos aleatórios não sejam uma solução universal, eles são uma ferramenta poderosa para preencher as lacrações em nosso conhecimento. O estudo observou que estratégias alternativas, como o uso de circuitos estruturados ou a construção de códigos a partir de blocos pequenos e pré-fabricados, foram testadas, mas não tiveram o mesmo desempenho que os pais aleatórios nas implementações e parâmetros específicos testados; esses resultados são específicos para essas tentativas, e não proibições gerais contra tais métodos.

Toda a busca foi conduzida por agentes de inteligência artificial, que escreveram o software, gerenciaram as computações massivas no supercomputador Aurora e verificaram os resultados. Essa automação permitiu que a equipe explorasse um vasto cenário de possibilidades que seria impossível para um humano navegar manualmente. A IA não apenas encontrou os códigos; ela também gerou os certificados que provam que eles funcionam e construiu verificadores independentes para validar as descobertas. O resultado é uma coleção pública de 192 códigos explícitos, completos com suas descrições matemáticas e prova de sua força. Esses códigos não são apenas números em uma página; são instruções prontas para uso na construção de sistemas quânticos mais robustos.

Olhando para o futuro, o estudo destaca um limite prático para essa abordagem. A verificação exaustiva necessária para certificar esses códigos torna-se computacionalmente impossível à medida que o tamanho do sistema cresce, limitando atualmente o método em torno de 250 qubits. Para ir além, os pesquisadores sugerem que futuros códigos podem precisar ser construídos usando uma arquitetura diferente, uma que permita a verificação eficiente sem a necessidade de examinar cada possibilidade individual. Até lá, esses 192 códigos permanecem como o novo padrão para a correção de erros quânticos em sua faixa de tamanho. Eles demonstram que, na busca para proteger a informação quântica, às vezes o melhor caminho à frente não é impor uma ordem rígida, mas sim abraçar um pouco do caos e, então, podá-lo cuidadosamente para torná-lo algo mais forte.