Quantum Behaviors Are Not Semialgebraic

No estranho mundo da física quântica, as partículas podem se tornar ligadas de formas que desafiam nossa experiência cotidiana. Quando duas dessas partículas ligadas são medidas por observadores distantes, os resultados que eles obtêm não são aleatórios no sentido usual; eles são correlacionados em um padrão que nenhum plano pré-acordado comum poderia produzir. Este fenômeno, conhecido como não localidade quântica, é o motor por trás das formas mais seguras de comunicação e dos computadores mais poderosos do futuro. Para entender como essas máquinas funcionam, os cientistas mapeiam cada possível padrão de resultados que a mecânica quântica permite. Eles chamam esses padrões de "comportamentos". Por décadas, pesquisadores se perguntaram se toda a coleção desses padrões quânticos possui uma descrição matemática simples e finita. Especificamente, perguntaram se as regras que regem esses padrões poderiam ser escritas usando um número limitado de equações e desigualdades algébricas, tal como as regras de um jogo poderiam ser listadas em um livro de regras. Esta questão, formulada pelo físico Boris Tsirelson em 1993, permaneceu sem resposta, deixando uma lacuna em nossa compreensão da geometria fundamental do mundo quântico.

Uma equipe de pesquisadores forneceu agora uma resposta definitiva a esta questão de longa data, e o resultado é uma surpresa. Eles provaram que o conjunto de todos os possíveis comportamentos quânticos não pode ser descrito por qualquer coleção finita de equações e desigualdades polinomiais. Em termos mais simples, a forma do mundo quântico é complexa demais para ser capturada por um livro de regras finito de fórmulas algébricas. Os pesquisadores focaram em uma configuração experimental específica onde duas pessoas, cada uma realizando quatro medições diferentes com dois resultados possíveis, compartilham um elo quântico. Ao construir uma curva muito específica e suave de resultados possíveis que passa por esta configuração, eles mostraram que os pontos onde a mecânica quântica realmente permite um resultado estão espalhados ao longo desta curva de uma forma que nenhuma descrição algébrica finita pode capturar. Os pontos permitidos formam uma sequência que se aproxima cada vez mais de um único e simples ponto clássico, mas as lacunas entre eles nunca desaparecem. Como qualquer descrição algébrica finita teria que incluir um trecho contínuo da curva perto desse ponto, e porque a realidade quântica só permite pontos específicos e isolados ali, a descrição falha.

Esta descoberta descarta a possibilidade de o conjunto quântico ser exatamente definido por um número finito de restrições, mesmo que permitamos variáveis extras ou combinações mais complexas de equações. Também mostra que os atuais melhores métodos para aproximar comportamentos quânticos, conhecidos como hierarquia de Navascués–Pironio–Acín, jamais poderão ser perfeitos. Esses métodos funcionam criando uma série de aproximações cada vez mais precisas, mas os pesquisadores demonstraram que, não importa o quanto você avance nesta série, você sempre incluirá alguns resultados impossíveis perto da borda do conjunto quântico. O estudo revela que a fronteira entre o que é possível e o que é impossível na mecânica quântica não é uma superfície suave e simples, mas uma estrutura dentada e infinitamente detalhada que resiste a ser delimitada por fórmulas finitas.

Os pesquisadores chegaram a esta conclusão projetando um caminho matemático que conecta diferentes cenários quânticos. Eles criaram uma curva onde os resultados dependem de um único número variável. Ao longo desta curva, descobriram que a mecânica quântica permite apenas resultados em valores específicos e discretos desse número, que se aproximam cada vez mais à medida que se aproximam de um limite. No final desta sequência reside um resultado que pode ser explicado pela física clássica, sem qualquer estranheza quântica. No entanto, os pontos quânticos que precedem esse limite clássico não são um bloco sólido; são como uma série de pedras de passagem que chegam infinitamente perto da margem, mas nunca se fundem em uma praia contínua. Os pesquisadores provaram que qualquer tentativa de descrever o conjunto quântico com um número finito de regras algébricas incluiria inevitavelmente todo o trecho da curva que leva à margem, incluindo assim resultados que a mecânica quântica proíbe. Isso prova que o conjunto quântico não é "semialgebraico", um termo técnico que significa que não pode ser descrito por um conjunto finito de condições polinomiais.

As implicações desta descoberta estendem-se para além da forma do conjunto quântico. Mostra que a complexidade das correlações quânticas é intrínseca e não pode ser simplificada, mesmo que olhemos para o sistema de longe ou tentemos aproximá-lo. Os pesquisadores também mostraram que essa complexidade persiste mesmo quando consideramos os modelos matemáticos mais gerais da mecânica quântica, incluindo aqueles onde as medições não são limitadas a um tamanho fixo. Eles demonstraram que a dificuldade em descrever esses comportamentos não é apenas uma questão de cálculo, mas uma propriedade geométrica fundamental. O fato de o conjunto quântico não ser semialgebraico significa que não existe uma lista finita de regras que possa separar perfeitamente os resultados quânticos possíveis daqueles que são impossíveis. Isso tem consequências profundas para a forma como pensamos sobre a caracterização de dispositivos quânticos e para os limites do que podemos provar sobre eles usando ferramentas matemáticas padrão.

O estudo também destaca um contraste fascinante entre o comportamento quântico total e uma versão simplificada que observa apenas as correlações entre medições. Enquanto a versão simplificada pode ser descrita por regras finitas, o quadro completo, que inclui as probabilidades de cada resultado possível, não pode. Isso sugere que a informação extra contida nas probabilidades totais é o que cria a complexidade infinita. Os pesquisadores mostraram que, embora os pontos quânticos se aproximem cada vez mais de um ponto clássico, a natureza quântica do sistema não desaparece suavemente; em vez disso, permanece distinta e discreta até mesmo na sua borda. Este comportamento desafia a intuição de que sistemas quânticos complexos devem eventualmente parecer sistemas clássicos simples conforme nos aproximamos de um limite.

No fim, este trabalho encerra uma questão de décadas ao mostrar que o mundo quântico é mais intrincado do que se pensava anteriormente. Não é uma forma que pode ser totalmente capturada por um conjunto finito de equações algébricas. A prova dos pesquisadores é rigorosa e cobre os principais modelos da mecânica quântica, não deixando margem para dúvidas. Suas descobertas sugerem que, para compreender e descrever totalmente os comportamentos quânticos, talvez precisemos ir além das descrições algébricas finitas e abraçar estruturas mais complexas e infinitas. Isso não significa que não possamos trabalhar com a mecânica quântica, mas significa que nossas ferramentas matemáticas para descrevê-la possuem limitações inerentes. O conjunto quântico permanece uma paisagem rica e complexa que resiste a uma categorização simples, lembrando-nos que o universo é frequentemente mais sutil e detalhado do que nossas melhores equações podem expressar plenamente.