Local-dimension-invariant low-density parity-check stabilizer codes

Os computadores quânticos prometem resolver problemas que levariam milênios para serem decifrados por máquinas comuns, mas são notoriamente frágeis. A informação que eles contêm é facilmente embaralhada pelo menor sussurro de calor ou vibração. Para proteger esses dados delicados, os cientistas usam uma estratégia chamada correção de erros, que funciona espalhando uma única peça de informação por muitas partes físicas para que, se uma parte falhar, a mensagem inteira sobreviva. Durante anos, essa estratégia foi construída quase exclusivamente sobre sistemas de dois estados, conhecidos como qubits, que funcionam como minúsculos interruptores que estão ou ligados ou desligados. No entanto, a natureza oferece mais do que apenas dois estados. Muitos sistemas físicos, como ondas de luz ou átomos vibrantes, podem existir em muitos estados diferentes simultaneamente. Estes são chamados de qudits. O uso desses sistemas mais ricos poderia tornar os computadores quânticos mais poderosos e eficientes, mas traduzir as redes de segurança comprovadas, projetadas para interruptores de dois estados, para esses sistemas de múltiplos estados tem sido um obstáculo persistente.

A dificuldade central reside em um requisito matemático para a segurança. Quando pesquisadores tentam adaptar um código de um sistema de dois estados para um sistema com muitos estados, eles devem garantir que o código permaneça estável, independentemente de quantos estados estejam disponíveis. Um método anterior existia para fazer isso, mas vinha com uma ressalva severa: para garantir que o código realmente protegesse os dados, o número de estados no sistema precisava ser um número primo maior do que um valor de corte massivo e, muitas vezes, impraticável. Isso significava que, para muitos sistemas físicos promissores, o método era teoricamente sólido, mas praticamente inútil porque o número de estados exigido era muito alto para ser construído ou controlado.

Neste trabalho, pesquisadores buscaram reduzir essa barreira impossível. Eles se concentraram em um tipo específico e altamente eficiente de código conhecido como código de verificação de paridade de baixa densidade. Estes são especiais porque são "esparsos", o que significa que cada peça de informação é verificada por apenas algumas regras, em vez de uma teia complexa de muitas. Ao se concentrarem nessas estruturas esparsas, a equipe descobriu que o valor de corte massivo não era uma lei fundamental da natureza, mas sim um artefato de como os códigos eram construídos anteriormente. Eles descobriram que, ao rearranjar cuidadosamente os sinais e as conexões dentro da estrutura do código, poderiam reduzir drasticamente o número de estados necessários. Em alguns casos, o número de estados necessário foi reduzido para o primeiríssimo número para o qual o código foi projetado, ou para um valor que cresce muito lentamente, independentemente do tamanho do computador.

Os pesquisadores não encontraram apenas um número menor; eles explicaram o que esse número realmente significa no mundo real. Eles mostraram que esse valor de corte está diretamente ligado à precisão necessária em experimentos físicos. Para sistemas que usam ondas contínuas de luz ou som para armazenar dados, esse número representa o quão nitidamente as ondas devem ser focadas, ou "espremidas" (squeezed), para evitar erros. Seus novos números mais baixos implicam que o equipamento físico necessário para executar esses códigos não precisa ser tão perfeito ou extremo quanto se pensava anteriormente. Isso torna o sonho de usar sistemas de múltiplos estados para a computação quântica significativamente mais alcançável.

Para alcançar isso, a equipe desenvolveu uma nova maneira de construir esses códigos que depende da geometria específica das conexões entre as partes. Eles provaram que, para muitos tipos comuns de códigos, especialmente aqueles derivados dos sistemas mais simples de dois estados, é possível arranjar os componentes de modo que os números perigosos e de alto valor simplesmente não apareçam. Eles demonstraram que, se as conexões entre as partes forem esparsas o suficiente, o código permanece seguro mesmo com um número muito menor de estados. Essa descoberta abre as portas para o uso de uma variedade mais ampla de materiais físicos e designs para computadores quânticos, aproximando o campo de máquinas que podem aproveitar todo o potencial do mundo quântico sem serem retidas por restrições matemáticas impossíveis.

O estudo também explorou como esses códigos se comportam em diferentes formas, como superfícies de esferas ou geometrias curvas mais complexas. Eles descobriram que, mesmo nessas formas incomuns, o novo método poderia criar códigos estáveis com requisitos mínimos. Isso sugere que a abordagem é robusta e flexível, capaz de se adaptar às diversas maneiras pelas quais a natureza pode ser aproveitada para a computação. Ao remover a necessidade de um número excessivamente grande de estados, os pesquisadores efetivamente removeram um grande bloqueio, transformando uma possibilidade teórica em um desafio de engenharia prática que agora está ao alcance. O trabalho confirma que o caminho para computadores quânticos poderosos não está bloqueado por um muro intransponível, mas sim por uma porta que estava anteriormente trancada com uma chave grande demais para ser segurada; eles agora forjaram uma chave que se encaixa.