Computador quântico supera limite clássico em teste que você pode verificar

Computadores quânticos passaram por um teste no qual existe um limite matematicamente comprovado para qualquer estratégia clássica. Um sistema de íons aprisionados da Quantinuum superou esse teto em todos os experimentos, chegando a 55 qubits e mantendo vantagem mesmo quando o problema crescia. Não é ainda um computador quântico universal resolvendo tarefas úteis no escritório. É algo mais específico e, por isso mesmo, valioso: uma maneira de demonstrar que a superposição quântica produz um comportamento que computadores convencionais não conseguem reproduzir com a mesma eficiência.

O resultado foi descrito por uma equipe liderada pelos cientistas da computação Marcello Benedetti e Harry Buhrman, da Quantinuum, no Reino Unido, em estudo publicado na Nature Communications. A experiência tenta contornar um velho problema da área: como verificar a resposta de uma máquina quântica quando a própria conferência pode exigir uma quantidade impraticável de computação clássica? A solução foi transformar a verificação em um jogo matemático, com regras simples para conferir o resultado e uma barreira que nenhum algoritmo clássico pode atravessar.

Como funciona o jogo que compara computadores quânticos e clássicos?

O jogo usa uma tarefa chamada amostragem do complemento, na qual o computador precisa produzir uma resposta pertencente ao grupo oposto daquele que recebeu. A resposta curta é esta: o sistema quântico manipula uma representação de todas as possibilidades antes da medição, enquanto o sistema clássico recebe apenas uma amostra e precisa adivinhar o restante. Essa diferença cresce rapidamente conforme aumenta o número de bits.

Imagine que todas as respostas possíveis sejam divididas secretamente em dois grupos de mesmo tamanho, A e B. O participante recebe uma resposta escolhida de A e precisa devolver uma resposta de B. Uma máquina clássica sabe apenas que o item recebido pertence a A. Ela pode evitar repetir aquele item, mas não tem informação suficiente para distinguir, entre todas as outras respostas, quais continuam em A e quais estão em B. Quanto maior o conjunto, mais inútil se torna aquela única pista.

A situação muda para um computador quântico. Um conjunto como A pode ser representado em uma superposição, estado no qual os qubits carregam amplitudes associadas a várias possibilidades antes da medição. Um circuito chamado “swapper” transforma essa representação na do conjunto complementar, B. Só depois ocorre a medição, que produz uma resposta de B. No sistema ideal, sem erros, a máquina quântica venceria todas as rodadas. Parece truque de salão, mas a conta é mais severa que o espetáculo.

Por que a vantagem quântica não é apenas falta de um algoritmo clássico?

A vantagem é uma consequência de um limite matemático comprovado, não de os pesquisadores ainda não terem encontrado um algoritmo clássico suficientemente esperto. A estratégia clássica ótima tem desempenho conhecido, e sua chance de sucesso diminui exponencialmente conforme aumenta o comprimento da sequência de bits. O teste, portanto, não compara um computador quântico real com um programa clássico qualquer; compara o hardware quântico com o melhor desempenho clássico permitido pelas regras do problema.

Essa distinção importa porque demonstrações quânticas frequentemente dependem de uma tarefa escolhida para favorecer determinado circuito ou de suposições difíceis de verificar. Aqui, as respostas são fáceis de conferir, embora produzir boas respostas seja muito mais difícil para uma máquina convencional. É uma espécie de peneira: a verificação passa sem exigir uma segunda máquina clássica capaz de refazer todo o cálculo. A área ganha um instrumento mais limpo para medir vantagem computacional.

Os pesquisadores também destacam que o teste demonstra o efeito da superposição sem depender de emaranhamento ou não localidade. Qubits, ao contrário dos bits tradicionais, podem permanecer em uma combinação de 0 e 1 até a medição. Essa característica não torna qualquer programa instantaneamente superior, nem transforma um notebook em peça de museu. Ela oferece uma vantagem em classes específicas de problemas, e a amostragem do complemento foi desenhada para expor justamente essa diferença.

O que aconteceu quando o teste foi executado em uma máquina real?

O experimento foi realizado em computadores quânticos H2 da Quantinuum, baseados em íons aprisionados, usando milhares de circuitos diferentes e escalando o problema até 55 qubits. A resposta é afirmativa: o sistema real superou de forma consistente o limite clássico previsto pela matemática. Em cada experimento, o desempenho observado foi estatisticamente incompatível com o resultado que qualquer estratégia clássica poderia alcançar.

Máquinas reais, naturalmente, não são o sistema ideal do papel. À medida que os circuitos ficam maiores e exigem mais operações quânticas, o ruído do hardware degrada o resultado. Mesmo assim, a diferença entre as duas abordagens aumentou conforme o problema cresceu. No maior teste relatado, com sequências de 37 bits, o computador não atingiu o desempenho teórico perfeito, mas ainda apresentou uma violação exponencial da chamada “classicalidade”.

Há uma ressalva importante — e ela não é miudeza de rodapé. O árbitro, responsável por escolher a resposta inicial, e o jogador, que deveria analisá-la e fornecer o complemento, foram implementados no mesmo computador quântico. A comunicação entre eles foi simulada com teletransporte quântico, em vez de ocorrer entre duas máquinas separadas por um canal quântico genuíno. Um teste futuro, com equipamentos independentes conectados dessa maneira, seria mais rigoroso.

Isso não apaga o resultado atual; apenas define o que ele prova e o que ainda não prova. O experimento funciona como uma demonstração de conceito: o teste é verificável, escalável e não depende de palpites sobre os limites dos computadores clássicos. Também não significa que a Quantinuum tenha resolvido todos os problemas práticos da computação quântica. Ruído, comunicação e controle continuam ali, esperando — como sempre — a próxima conta.

spot_img