Full Extractors for Logical Processing in Hypergraph Product Codes

Para construir um computador que possa resolver problemas além do alcance das máquinas atuais, os cientistas devem primeiro resolver um problema fundamental: como manter a informação frágil segura. Os computadores quânticos utilizam partículas que existem em estados delicados, e esses estados colapsam facilmente quando perturbados pelo calor ou pelo ruído. Para evitar isso, os pesquisadores utilizam a correção de erros quânticos, um método que espalha uma única peça de informação por muitas partículas físicas. Se uma partícula falhar, as outras mantêm a verdade. A forma mais comum de fazer isso hoje utiliza uma estrutura em forma de grade chamada código de superfície, que é confiável, mas requer um vasto número de partículas físicas para armazenar apenas algumas peças de informação. Esse alto custo torna a computação em larga escala difícil. Uma classe mais recente de códigos, conhecidos como códigos de verificação de paridade de baixa densidade quântica (quantum low-density parity-check codes), oferece uma maneira de armazenar a mesma quantidade de informação usando muito menos partículas, mas eles têm sido mais difíceis de usar para cálculos reais porque as conexões entre as partículas necessárias para realizar operações são complexas e difíceis de construir com o hardware atual.

Uma equipe de pesquisadores do Instituto de Tecnologia de Massachusetts desenhou agora um sistema que preenche essa lacuna. Eles criaram um método para realizar cálculos nesses códigos eficientes sem precisar das conexões complexas e reconfiguráveis que eram anteriormente consideradas necessárias. Os pesquisadores construíram o que chamam de "extratores totais" (full extractors), que são sistemas auxiliares especializados acoplados à memória principal do computador. Esses extratores atuam como uma ferramenta de medição, permitindo que o sistema leia qualquer peça específica de informação codificada na memória quântica sem perturbar o restante. Ao montar essas ferramentas a partir de componentes menores e verificados, a equipe demonstrou que é possível medir qualquer operação lógica em um tipo específico de código eficiente, mantendo as conexões de hardware simples e fixas.

O desafio central que a equipe abordou foi como medir a informação armazenada nesses códigos eficientes. Em um computador quântico, você não pode simplesmente olhar para os dados para ver o que eles são, porque o ato de olhar destrói a informação. Em vez disso, você deve medi-la indiretamente usando um processo chamado cirurgia de código. Isso envolve fundir temporariamente o bloco de memória com um conjunto extra de partículas auxiliares, realizar uma medição e, depois, separá-los. Tentativas anteriores de fazer isso com códigos eficientes exigiam a capacidade de refazer as conexões entre as partículas sobre a hora, uma capacidade que é difícil de alcançar com os chips supercondutores usados na maioria dos processadores quânticos atuais. Outras abordagens utilizavam conexões fixas, mas podiam medir apenas um conjunto limitado de operações, forçando o computador a decompor tarefas complexas em muitas etapas menores e mais lentas. Os pesquisadores queriam encontrar um meio-termo: um sistema com conexões fixas que ainda pudesse medir qualquer operação diretamente.

Para resolver isso, a equipe focou em uma família específica de códigos eficientes chamada códigos de produto de hipergrafo (hypergraph product codes). Eles desenvolveram um método de construção passo a passo para construir suas ferramentas de medição. Primeiro, projetaram sistemas pequenos e simples capazes de medir a informação armazenada em apenas uma seção da memória. Eles verificaram que esses pequenos sistemas eram robustos o suficiente para lidar com erros sem corromper os dados. Em seguida, conectaram esses pequenos sistemas usando conexões de ponte para criar uma ferramenta maior capaz de medir toda a informação em uma direção. Finalmente, combinaram duas dessas ferramentas maiores — uma para cada direção de informação — em um único sistema completo. Este sistema final, o extrator total, pode medir qualquer operação possível na memória. Crucialmente, todo o sistema foi projetado para funcionar com um padrão fixo de conexões, onde nenhuma partícula única precisa estar conectada a mais de dez outras. Este nível de conectividade está ao alcance das técnicas de fabricação atuais para processadores quânticos supercondutores.

Os pesquisadores testaram seu design usando simulações computacionais detalhadas para ver como ele se comportaria na presença de ruído. Eles simularam um sistema com um nível específico de proteção contra erros e introduziram erros aleatórios para ver quão bem o sistema se recuperaria. Nessas simulações, quando os componentes físicos apresentavam uma taxa de erro de 0,1 por cento, o sistema media com sucesso a informação lógica com uma taxa de erro de aproximadamente um em um milhão. Este resultado é significativo porque mostra que a eficiência dos novos códigos não vem ao custo da confiabilidade. As simulações também revelaram que o tamanho total do sistema, incluindo a memória e as ferramentas de medição, era apenas entre 47 e 80 por cento maior do que o bloco de memória. Este é um avanço dramático em relação aos designs anteriores, que frequentemente exigiam sistemas muito maiores do que a memória que estavam protegendo.

O trabalho sugere que o caminho para a computação quântica prática não exige esperar por um hardware que possa se reconectar instantaneamente. Em vez disso, mostra que, com um design arquitetônico cuidadoso, o hardware existente com conexões fixas pode suportar os códigos de correção de erros mais eficientes. Os pesquisadores observaram que, embora suas simulações tenham usado um tipo específico de decodificador para processar a informação de erro, a arquitetura fundamental é sólida e pode ser adaptada conforme os métodos de decodificação melhorem. Eles também apontaram que, embora seu design atual se concentre em um único bloco de memória, o mesmo princípio poderia ser usado para conectar muitos blocos para formar um computador de escala total. Ao provar que esses códigos eficientes podem ser operados com conexões simples e fixas, a equipe removeu uma grande barreira teórica para a construção de máquinas quânticas maiores e mais poderosas. Os resultados indicam que a economia de espaço oferecida por esses códigos pode ser realizada sem introduzir a pesada sobrecarga computacional que anteriormente os tornava impraticáveis para o uso no mundo real.