Dynamical GKP codes

Os computadores quânticos detêm a promessa de resolver problemas que levariam os supercomputadores de hoje milênios para decifrar, mas são incrivelmente frágeis. Para funcionar, eles devem proteger bits delicados de informação contra o menor ruído, de forma muito semelhante a tentar manter uma casa de cartas de pé em um furacão. Por décadas, cientistas têm dependido de uma estratégia chamada correção de erros quânticos, onde a informação é espalhada por muitos sistemas minúsculos para que, se uma parte falhar, a mensagem inteira sobreviva. Recentemente, uma nova e poderosa abordagem surgiu, que utiliza a natureza contínua e fluida das ondas de luz e som — especificamente as vibrações de cavidades eletromagnéticas ou ressonadores mecânicos — para armazenar essa informação. Este método, conhecido como código Gottesman-Kitaev-Preskille, já foi construído em laboratórios usando circuitos supercondutores e íons aprisionados. É considerado um dos caminhos mais eficientes para a construção de uma máquina tolerante a falhas porque um único oscilador bem protegido pode fazer o trabalho de muitos bits quânticos padrão.

No entanto, uma lacuna significativa permanecia na forma como esses sistemas contínuos são gerenciados. Embora pesquisadores tivessem desenvolvido estratégias sofisticadas, baseadas no tempo, para proteger bits quânticos padrão através de uma sequência de medições, essas técnicas dinâmicas nunca haviam sido aplicadas com sucesso aos sistemas de ondas contínuas. Sem essa ferramenta, os cientistas careciam de uma maneira de combinar as melhores características de diferentes códigos de correção de erros ou de alternar entre eles para realizar cálculos complexos. Em um novo estudo, os pesquisadores Jonathan Pelletier e Baptiste Royer, da Universidade de Sherbrooke, preencheram essa lacuna. Eles criaram um novo framework que traz essas estratégias de medição dinâmica, baseadas no tempo, para o mundo dos códigos quânticos de variáveis contínuas, efetivamente ensinando aos sistemas baseados em ondas como usar as mesmas ferramentas adaptativas poderosas que antes eram reservadas para os bits quânticos padrão.

O cerne desta conquista reside na compreensão de como gerenciar a informação quando as regras de medição mudam ao longo do tempo. Na abordagem padrão, um código quântico é estático; ele é construído uma vez e permanece o mesmo. Mas em um código dinâmico, o sistema está em constante evolução. Imagine um sistema de segurança que muda suas fechaduras a cada poucos minutos com base em um cronograma específico. Se um intruso tentar invadir, o sistema deve ser capaz de rastrear não apenas onde ocorreu a invasão, mas também como as mudanças nas fechaduras afetam a segurança de todo o edifício ao longo do tempo. Pelletier e Royer desenvolveram um mapa matemático para rastrear essas mudanças para sistemas baseados em ondas. Eles mostraram que, ao medir deslocamentos específicos nos padrões de onda em uma sequência precisa, o sistema pode atualizar sua estrutura interna, alternando efetivamente entre diferentes tipos de proteção sem perder a informação armazenada.

Para fazer isso funcionar, a equipe primeiro teve que generalizar o conceito do próprio código. Eles introduziram um novo tipo de código que atua como um andaime flexível, permitindo que partes do sistema sejam medidas e ajustadas sem perturbar a informação central. Isso é semelhante a como um edifício pode ter um núcleo central robusto que sustenta a estrutura, enquanto as paredes externas podem ser rearranjadas ou substituídas. Ao tratar o sistema baseado em ondas como esse tipo de estrutura flexível, eles puderam derivar regras claras de como o sistema se atualiza após cada medição. Essas regras permitem que os pesquisadores prevejam exatamente como os erros se comportarão e se o sistema ainda poderá recuperar a mensagem original após uma sequência de perturbações.

Um dos resultados mais impressionantes deste trabalho é a criação de um exemplo específico chamado código quadrado-hexagonal de Floquet. Este código combina as forças de dois designs existentes baseados em ondas: o código quadrado e o código hexagonal. Cada um desses designs originais possui seu próprio conjunto de operações lógicas, ou "portas", que podem ser realizadas sobre a informação. O código quadrado é bom para um conjunto de operações, enquanto o código hexagonal se destaca em outro. Ao usar este novo framework dinâmico, os pesquisadores criaram um sistema que pode realizar o conjunto completo de operações de ambos os designs. Além disso, este novo código combinado requer medições significativamente mais curtas e menos exigentes do que as necessárias para os códigos individuais. Em termos práticos, isso significa que o hardware necessário para executar esses cálculos pode ser mais simples e confiável, pois as medições têm menos probabilidade de introduzir novos erros. Os pesquisadores calcularam que as medições exigidas para este novo código são cerca de vinte e seis por cento mais curtas do que as medições mais curtas necessárias para o código quadrado padrão, uma redução que poderia melhorar significativamente a fidelidade de todo o sistema.

O estudo também descobriu uma conexão fascinante entre duas formas muito diferentes de medir sistemas quânticos. No mundo dos bits quânticos padrão, as medições são discretas e binárias, como o ato de acionar um interruptor. No mundo das ondas, uma técnica comum de medição é a detecção homódina, que mede a posição ou o momento contínuo de uma onda. Os pesquisadores descobriram que, se uma medição envolver um tipo de relação irracional específica entre a onda e a ferramenta de medição, ela se comporta exatamente como esta detecção homódina contínua. Esta descoberta não é apenas um detalhe técnico; ela liga o mundo discreto e digital da correção de erros quânticos com o mundo contínuo e analógico dos sistemas ópticos e de micro-ondas. Isso sugere que, ao escolher cuidadosamente como essas medições são realizadas, os cientistas podem efetivamente simular medições contínuas complexas usando as ferramentas da correção de erros discretos, abrindo novas maneiras de pensar sobre como controlar e proteger a informação quântica.

As implicações deste trabalho estendem-se para além de apenas um novo código. Ele fornece um método geral para calcular a distância de um código dinâmico, que é uma medida de quão bem o sistema pode resistir a erros. Ao identificar uma estrutura "persistente" que permanece estável durante toda a sequência de medição, os pesquisadores mostraram que podem determinar de forma eficiente a capacidade do sistema de corrigir erros. Este método não se limita ao exemplo específico que construíram; ele se aplica a qualquer sequência de medições nestes sistemas baseados em ondas. A capacidade de computar estas propriedades de forma eficiente é crucial para o design de futuros computadores quânticos, pois permite que engenheiros testem e otimizem seus designs antes de construí-los.

Em última análise, esta pesquisa demonstra que as ferramentas desenvolvidas para os bits quânticos padrão podem ser traduzidas com sucesso para o mundo mais complexo e contínuo dos sistemas baseados em ondas. Ao combinar a flexibilidade das sequências de medição dinâmica com a robustez da codificação baseada em ondas, os autores identificaram um novo caminho para computadores quânticos mais eficientes e poderosos. O trabalho sugere que o futuro da correção de erros quânticos pode não residir em escolher entre diferentes tipos de códigos, mas em tecer dinamicamente esses códigos, criando sistemas que são mais inteligentes, mais adaptáveis e melhor protegidos contra o ruído que ameaça destruí-los.