Strong Kochen-Specker contextuality to rule out discrete nondeterministic alternatives to quantum theory

No mundo quântico, o ato de medir um sistema não é uma observação passiva, mas uma intervenção ativa que pode alterar a realidade sendo observada. Isso contrasta fortemente com a nossa experiência cotidiana, onde uma mesa permanece uma mesa quer olhemos para ela ou não. Durante décadas, físicos lutaram com a ideia de que partículas quânticas poderiam possuir propriedades ocultas e pré-existentes que simplesmente se revelam ao serem medidas, tal como uma moeda que tem um lado definido de cara ou coroa antes de ser lançada. No entanto, um famoso resultado da década de 1960, conhecido como o teorema de Kochen-Specker, provou que tal realidade simples e predeterminada não pode existir para sistemas quânticos em três dimensões ou mais. O teorema mostrou que, se você tentar atribuir um valor definido a cada possível medição que uma partícula possa sofrer, inevitavelmente incorrerá em uma contradição lógica. Os valores que você atribui a um conjunto de medições entrariam em conflito com os valores que você atribui a outro conjunto, embora a própria partícula não tenha mudado. Isso implica que o resultado de uma medição depende do contexto específico — as outras medições que estão sendo realizadas simultaneamente.

Embora este teorema tenha efetivamente descartado um mundo de "variáveis ocultas" onde os resultados são estritamente determinados como sim ou não, uma questão persistente permanecia. E se as variáveis ocultas não fossem tão rígidas? Poderia existir uma teoria onde os resultados não fossem estritamente sim ou não, mas em vez disso assumissem um conjunto limitado de valores intermediários, como um interruptor de dimerização com apenas algumas configurações? Por muito tempo, não estava claro se uma teoria "não determinística", mas ainda assim limitada, poderia explicar as estranhas correções da mecânica quântica. Essa incerteza deixou uma lacuna em nossa compreensão de quão profundamente a realidade quântica se afasta da intuição clássica.

Um novo estudo de Ravishankar Ramanathan, da Universidade de Hong Kong, fecha essa lacuna ao demonstrar que mesmo essas teorias relaxadas de valores limitados não podem explicar o comportamento quântico. O pesquisador construiu uma família específica de experimentos, inspirada em um enigma lógico conhecido como teste de Hardy, projetada para atrair qualquer teoria que dependa de valores predeterminados e independentes de contexto. Nesta configuração, imagine um sistema de caixas interconectadas, cada uma das quais pode estar vazia ou cheia. O experimento envolve verificar pares ou tripletos dessas caixas sob regras estritas: certas combinações de estados vazios e cheios são proibidas, enquanto outras são garantidas de acontecer. Se as caixas contivessem estados ocultos e predeterminados que não dependessem de quais outras caixas estavam sendo verificadas ao mesmo tempo, as regras da lógica forçariam um resultado específico para uma caixa final na cadeia.

Ramanathan mostrou que, para qualquer teoria onde os valores ocultos sejam extraídos de uma lista finita de possibilidades — por exemplo, uma lista contendo zero, um e alguns números intermediários — a lógica do experimento força a caixa final a estar vazia com um alto grau de certeza. No entanto, quando o mesmo experimento é realizado com um sistema quântico real, especificamente um estado quântico tridimensional conhecido como qutrit, o resultado desafia essa lógica. O sistema quântico produz o resultado proibido com uma probabilidade que é estritamente maior do que qualquer teoria com esses valores ocultos limitados poderia permitir. Ao ajustar a complexidade do experimento, que envolve aninhar esses padrões de verificação de caixas cada vez mais profundamente, os pesquisadores provaram que a lacuna entre o que uma teoria de valores limitados prevê e o que a mecânica quântica realmente faz pode ser tornada arbitrariamente grande.

O estudo fornece um conjunto finito e concreto de medições que podem ser realizadas em um laboratório para descartar essas teorias alternativas. Diferente de provas anteriores que dependiam de estruturas matemáticas infinitas ou funções contínuas, este trabalho utiliza um número finito de projetores e estados quânticos específicos para alcançar o mesmo resultado. Os pesquisadores calcularam o número exato de medições necessárias para refutar uma teoria baseada em um conjunto específico de valores permitidos. Por exemplo, se uma teoria permitisse um valor oculto de 0,25, o experimento exigiria vinte medições específicas para expor a contradição; se o valor permitido fosse 0,90, o experimento precisaria de 224 medições. À medida que o número de valores permitidos se aproxima da gama total de possibilidades, o número de medições necessárias cresce, mas o princípio permanece: a mecânica quântica consistentemente supera qualquer teoria que tente explicá-la com um conjunto finito e discreto de resultados predeterminados.

Esta descoberta tem implicações significativas para como entendemos a natureza fundamental da realidade e para o desenvolvimento de tecnologias futuras. No campo da informação quântica, a contextualidade é agora reconhecida como um recurso valioso, semelhante a combustível, que impulsiona tarefas avançadas como comunicação segura e computação poderosa. Ao provar que a contextualidade quântica é ainda mais forte do que se pensava anteriormente — forte o suficiente para descartar não apenas variáveis ocultas binárias, mas qualquer conjunto finito de valores discretos — este trabalho fortalece os fundamentos dessas tecnologias. Sugere que a "magia" por trás das acelerações quânticas e da segurança da criptografia quântica reside em uma característica da natureza que é robusta contra uma classe muito mais ampla de alternativas clássicas do que percebíamos. Além disso, o estudo conecta essas descobertas físicas ao reino da lógica, mostrando que lógicas de muitos valores finitos, que tentam descrever a realidade com um conjunto limitado de valores de verdade, são insuficientes para modelar o mundo quântico.

O artigo também introduz uma nova maneira de pensar sobre a força desses efeitos quânticos. Assim como matemáticos há muito categorizam diferentes tipos de contradições lógicas, este trabalho estabelece uma hierarquia de quão "contextual" um sistema pode ser. Mostra que a teoria quântica evade não apenas as descrições clássicas mais simples, mas também descrições finitas de valores mais complexas. Isso significa que não importa quantos ajustes intermediários uma teoria de variável oculta tente usar, desde que o número de ajustes seja finito, ela falhará em corresponder às previsões da mecânica quântica. Os pesquisadores forneceram uma prova construtiva, o que significa que eles não apenas disseram que tal teoria é impossível; eles construíram a estrutura matemática e experimental específica que demonstra essa impossibilidade.

Olhando para o futuro, estes resultados abrem novos caminhos para a verificação experimental. Embora as provas atuais sejam dependentes do estado, o que significa que dependem da preparação de um estado quântico específico, os métodos desenvolvidos aqui poderiam ser adaptados para aplicações mais amplas. O estudo também aborda o lado prático da geração de aleatoriedade. Como as correlações quânticas nestes testes são tão fortes e tão distintas de qualquer alternativa clássica, elas oferecem uma rota promissora para gerar números verdadeiramente aleatórios que sejam seguros mesmo contra um adversário que possa conhecer tudo sobre os dispositivos utilizados, desde que os dispositivos obedeçam às leis da mecânica quântica. A capacidade de descartar uma classe tão ampla de teorias alternativas com experimentos finitos e viáveis marca um passo significativo em nossa capacidade de testar os próprios limites da realidade física.