No domínio da computação moderna, existe uma diferença fundamental na maneira como as máquinas clássicas e as máquinas quânticas processam informações. Os computadores clássicos, aqueles que usamos todos os dias, armazenam dados como bits que são zero ou um. Os computadores quânticos, no entanto, usam bits quânticos, ou qubits, que podem existir em uma mistura complexa de estados simultaneamente. Essa habilidade única permite que eles enfrentem certos problemas com uma velocidade que parece impossível para as máquinas clássicas. Um dos exemplos mais famosos é a busca em uma lista massiva e não organizada de itens. Um computador clássico deve verificar os itens um por um, mas um computador quântico pode encontrar um item específico muito mais rápido usando uma técnica chamada amplificação de amplitude. No entanto, esse ganho de velocidade depende de o computador ter o tipo certo de acesso aos dados. Se os dados estiverem escondidos dentro de um estado quântico que o computador não consegue ver diretamente, as regras do jogo mudam inteiramente. A questão que há muito intriga os cientistas é se um ajudante poderoso que conhece o segredo pode simplesmente dizer a um computador quântico o que procurar usando a linguagem comum, ou se a natureza quântica do segredo torna impossível descrevê-lo sem perder a própria vantagem que o torna especial.

Um pesquisador recentemente abordou essa questão projetando um experimento mental envolvendo um verificador quântico e um ajudante onisciente. Imagine um cenário onde um computador quântico está tentando encontrar um estado quântico específico e oculto. Esse estado é como uma agulha em um palheiro, mas o palheiro é feito de possibilidades quânticas. O computador possui uma ferramenta especial que pode dizer se ele está perto da agulha, mas ele não consegue ver a agulha em si. Para ajudar, um ajudante ilimitado e superinteligente, que sabe exatamente onde a agulha está, tenta guiar o computador. A pegadinha é que o ajudante só pode enviar mensagens usando bits clássicos — o mesmo tipo de zeros e uns usados pelos computadores padrão. O pesquisador queria saber se esse fluxo de conselhos clássicos, mesmo que seja longo e envolva uma conversa de ida e volta, poderia ajudar o computador quântico a encontrar o estado oculto de forma tão eficiente quanto se lhe tivesse sido dado o próprio estado.

O estudo prova que nenhuma quantidade de conversa clássica pode preencher essa lacuna. O pesquisador demonstrou que, para um estado quântico oculto escolhido aleatoriamente do vasto espaço de todos os estados possíveis, um computador quântico não pode encontrá-lo com alta precisão, a menos que realize um número de verificações que cresce exponencialmente com o tamanho do estado. Mesmo que o ajudante envie uma quantidade massiva de informação clássica, o computador ainda precisa realizar um trabalho enorme. Especificamente, o produto do quadrado do número de verificações que o computador faz e a quantidade total de informação clássica enviada deve ser incrivelmente grande para ter sucesso. Se a quantidade de informação enviada for limitada a um tamanho razoável, o número de verificações necessárias torna-se tão vasto que é efetivamente impossível para o computador resolver o problema em qualquer intervalo de tempo prático. Essa descoberta permanece verdadeira mesmo se o ajudante for permitido realizar qualquer cálculo imaginável e o computador for permitido armazenar e processar informações quânticas livremente entre as mensagens.

Este resultado tem implicações profundas para como entendemos o poder dos computadores quânticos em comparação com os clássicos. Mostra que a vantagem de ter uma testemunha quântica — uma peça de informação quântica que prova que uma solução está correta — não pode ser substituída por uma testemunha clássica, não importa o quanto o provedor possa falar. Na linguagem da ciência da computação, isso significa que uma classe específica de problemas que podem ser verificados com uma única prova quântica não pode ser resolvida ou verificada apenas pela troca de mensagens clássicas, mesmo com um número ilimitado de rodadas de conversa. O pesquisador construiu um cenário matemático específico, ou "oráculo", onde essa separação é absoluta. Nesse cenário, existe um problema que um computador quântico com uma prova quântica pode resolver facilmente, mas um computador quântico que depende apenas de um ajudante clássico, não importa o quão inteligente ou falante ele seja, não pode resolver.

O estudo também estende essas descobertas ao campo da criptografia, especificamente em relação à segurança dos futuros sistemas quânticos. O pesquisador usou seu limite inferior para construir um cenário onde uma linguagem quântica permanece segura mesmo contra um adversário que tem acesso a um oráculo de decisão QCIP[2] (um sistema que permite a interação com um provedor clássico). Isso ajuda a estabelecer que certas tarefas criptográficas, como a criptografia de testemunha e a ofuscação de indistinguibilidade quântica, podem permanecer seguras mesmo se um atacante tiver acesso a um computador quântico que pode interagir com tal oráculo clássico. O trabalho sugere que a dificuldade de descrever um estado quântico usando linguagem clássica não é apenas um inconveniente menor, mas uma barreira fundamental. Confirma que a "quanticidade" de um estado é um recurso que não pode ser comprimido em uma mensagem clássica sem perder a capacidade de verificar ou encontrar esse estado eficientemente.

O pesquisador chegou a essas conclusões analisando cuidadosamente quanta informação uma transcrição clássica pode revelar sobre um estado quântico oculto. Ele mostrou que cada vez que o ajudante envia uma mensagem clássica, ele apenas reduz as possibilidades para o estado oculto por uma fração minúscula. Como o espaço de estados quânticos possíveis é tão vasto, o número de bits necessários para descrever o estado com precisão é enorme. Mesmo com uma conversa de ida e volta, o ajudante não consegue transmitir informação suficiente para guiar o computador até o estado correto sem que o próprio computador realize um número massivo de consultas ao estado oculto. A prova baseia-se nas propriedades matemáticas de estados quânticos aleatórios e nos limites de quanto uma mensagem clássica pode reduzir a incerteza. É uma demonstração rigorosa de que a lacuna entre a informação quântica e a clássica não é algo que possa ser fechado simplesmente falando mais.

No contexto mais amplo da teoria da complexidade quântica, este trabalho esclarece os limites do que é possível. Ele resolve uma questão de longa data sobre se o aconselhamento clássico interativo poderia imitar o poder de uma testemunha quântica. A resposta é um não definitivo. O pesquisador mostrou que, para um estado oculto escolhido aleatoriamente, a única maneira de encontrá-lo eficientemente é ter o estado em si ou uma descrição quântica dele. A interação clássica, não importa o quão sofisticada, não pode substituir o recurso quântico. Isso fornece uma separação clara entre diferentes classes de problemas computacionais e fortalece nossa compreensão de por que os computadores quânticos devem ser mais poderosos que os clássicos para certas tarefas. As descobertas também apoiam a ideia de que o dinheiro quântico e outros esquemas criptográficos quânticos poderiam ser seguros contra ataques clássicos, já que os estados quânticos subjacentes não podem ser efetivamente comunicados ou reconstruídos por meios clássicos.

O artigo conclui reforçando a ideia de que o mundo quântico opera sob regras que são fundamentalmente diferentes da nossa experiência cotidiana. Embora possamos descrever muitas coisas no mundo com palavras e números, um estado quântico carrega um tipo de informação que resiste a esse tipo de descrição. O trabalho do pesquisador não mostra apenas que é difícil descrever um estado quântico; ele prova que é impossível fazê-lo de forma eficiente sem perder as propriedades essenciais que tornam o estado útil. Essa percepção é crucial para o desenvolvimento futuro das tecnologias quânticas, pois define os limites do que pode ser alcançado com a comunicação clássica em um mundo quântico. Sugere que, à medida que construímos sistemas quânticos mais complexos, devemos confiar em recursos quânticos para gerenciá-los e verificá-los, em vez de tentar traduzir tudo para a linguagem dos bits clássicos. O estudo permanece como uma prova matemática firme de que a vantagem quântica é real e que ela não pode ser contornada por estratégias clássicas inteligentes.