Continuous-angle logical rotations in the Steane code

Os computadores quânticos prometem resolver problemas que são impossíveis para as máquinas atuais, mas são notoriamente frágeis. A informação que eles contêm, armazenada em bits quânticos, pode ser facilmente embaralhada pela menor perturbação do ambiente. Para construir uma máquina útil, os cientistas devem proteger essa informação usando a correção de erros quânticos, um método que espalha um único dado através de muitas partículas físicas. Se uma partícula falhar, as outras podem revelar o que aconteceu e corrigi-lo sem destruir os dados. No entanto, realizar cálculos sobre esses dados protegidos é difícil. Uma regra matemática famosa, conhecida como teorema de Eastin-Knill, afirma que você não pode realizar todos os tipos possíveis de cálculos nesse dado protegido usando apenas os métodos mais simples e robustos. Geralmente, para contornar isso, os cientistas devem usar um processo complexo e pesado em recursos, envolvendo estados "mágicos" especiais para realizar os cálculos ausentes.

Pesquisadores têm buscado uma maneira mais simples de realizar esses cálculos difíceis, particularmente para os pequenos e precisos ajustes necessários em simulações quânticas. Um novo experimento liderado por Eric Huang e colegas do Centro Conjunto de Informação Quântica e Ciência da Computação, juntamente com parceiros da IonQ e outras instituições, demonstrou um caminho promissor a seguir. Usando um tipo específico de processador quântico construído a partir de íons aprisionados, a equipe mostrou que poderia realizar uma gama contínua de rotações lógicas em dados protegidos. Eles conseguiram isso não usando os complexos estados mágicos, mas aplicando uma torção simples e uniforme a todas as partículas físicas de uma só vez e, em seguida, verificando erros. O resultado é uma maneira de ajustar o ângulo do cálculo precisamente, apenas ajustando a força da torção inicial e observando os sinais de erro que se seguem.

O experimento ocorreu no processador IonQ Forte, uma máquina que utiliza íons individuais suspensos em um vácuo como seus bits quânticos. Os pesquisadores codificaram um único bit lógico de informação em um grupo de sete íons físicos usando um método chamado código de Steane. Este código é projetado para detectar e corrigir erros que possam afetar qualquer íon individual. A equipe começou com um estado lógico e aplicou uma rotação a cada um dos sete íons físicos simultaneamente. Esta rotação era uma variável contínua, o que significa que eles podiam escolher qualquer ângulo que desejassem, em vez de estarem limitados a alguns passos fixos. Após essa torção, eles realizaram uma extração de síndrome, um processo que mede o estado coletivo do grupo para ver se ocorreram erros, sem revelar os dados reais sendo armazenados.

O resultado dessa verificação de erro, chamado de síndrome, determinou o resultado final do cálculo. Se a medição mostrasse nenhum erro, o bit lógico havia rotacionado uma quantidade específica. Se a medição mostrasse um erro, o bit lógico havia rotacionado uma quantidade diferente. Crucialmente, os pesquisadores descobriram que o ângulo de rotação final não era aleatório; era inteiramente previsível com base na torção física inicial e no sinal de erro específico observado. Ao saber qual sinal de erro apareceu, eles podiam calcular exatamente o quanto o bit lógico girou. Isso permitiu que realizassem uma rotação lógica com um ângulo contínuo, uma capacidade que é usualmente proibida para operações simples e com correção de erros.

Para verificar isso, a equipe usou uma técnica chamada interferometria de Ramsey, que é uma forma padrão de medir o quanto um estado quântico rotacionou. Eles prepararam o bit lógico em uma posição inicial específica, aplicaram a torção física e a verificação de erro, e então mediram a posição final. Eles repetiram isso muitas vezes com diferentes ângulos de torção e observaram que o bit lógico se moveu exatamente como a teoria previa. A rotação foi coerente, o que significa que a informação quântica permaneceu intacta e a fase da função de onda mudou suavemente. Eles também realizaram uma análise mais detalhada chamada tomografia de processo, que mapeia todo o comportamento da operação lógica. Isso confirmou que a operação agiu como uma rotação limpa, com apenas uma pequena quantidade de ruído adicionada pelo hardware imperfeito.

Os pesquisadores então levaram o experimento um passo adiante, executando duas rodadas deste processo em sequência. Na primeira rodada, aplicaram uma torção positiva e, na segunda, uma torção negativa do mesmo tamanho. Em um mundo ideal, essas duas torções se cancelariam, deixando o bit lógico exatamente onde começou. O experimento mostrou que esse cancelamento funcionou de forma notável quando os sinais de erro em ambas as rodadas indicaram nenhum erro. O bit lógico retornou à sua posição inicial com muito pouco ruído. No entanto, se um erro fosse detectado em qualquer uma das rodas, o cancelamento era imperfeito, e o bit terminava em um lugar ligeiramente diferente com mais ruído. Isso confirmou que as rotações lógicas de cada rodada se somavam de uma maneira previsível, e que o sistema podia distinguir entre operações limpas e aquelas afetadas por falhas.

O estudo fornece uma prova de princípio de que portões lógicos de ângulo contínuo podem ser criados usando apenas rotações físicas simples e correção de erros padrão. Embora o experimento tenha sido limitado pelo pequeno tamanho do código e pelas restrições do hardware atual, ele demonstrou que a ideia central funciona. O canal lógico reconstruído a partir dos dados correspondeu a um modelo onde o ângulo de rotação depende da síndrome, e o ruído foi consistente com o desfasamento simples. A equipe observou que sua implementação adiou a correção final para um computador após o experimento, em vez de aplicá-la em tempo real, o que é uma limitação para sistemas escaláveis futuros. No entanto, os resultados mostram que, ao combinar rotações transversais com correção de erros, é possível acessar uma gama contínua de operações lógicas sem o pesado overhead da destilação de estados mágicos.

Este trabalho sugere uma nova estratégia para construir computadores quânticos. Em vez de depender exclusivamente de métodos complexos e intensivos em recursos para realizar cálculos não padronizados, engenheiros podem ser capazes de usar controles físicos simples e uniformes e deixar que o processo de correção de erros faça o trabalho pesado. A capacidade de ajustar o ângulo de rotação lógica continuamente é particularmente valiosa para simulações quânticas, onde pequenos ajustes precisos são frequentemente necessários. Embora o experimento atual tenha usado um código pequeno e uma plataforma de hardware específica, o princípio subjacente pode ser aplicado a códigos maiores e mais robustos no futuro. O sucesso do protocolo de duas rodadas, onde os ângulos lógicos se somaram e se cancelaram como esperado, indica que este método pode ser estendido para construir sequências de operações mais complexas.

Os pesquisadores enfatizaram que suas descobertas são uma demonstração do conceito, e não uma solução totalmente tolerante a falhas pronta para uso em larga escala imediata. O hardware que utilizaram tinha limites no número de qubits disponíveis, o que impediu a execução de uma versão totalmente adaptativa do protocolo, onde o sistema ajusta suas ações em tempo real com base em resultados anteriores. Eles também observaram que os ramos de erro não triviais, onde falhas foram detectadas, mostraram mais ruído e distorção do que os ramos limpos, o que é esperado dado o tamanho pequeno do código. Apesar dessas limitações, o experimento mostrou com sucesso que a operação lógica é conhecível e controlável. A equipe concluiu que, com melhor hardware e códigos maiores, esta abordagem poderia se tornar um caminho viável para o controle lógico contínuo e eficiente na computação quântica.