Quantum Behaviors Are Not Semialgebraic

En el extraño mundo de la física cuántica, las partículas pueden vincularse de formas que desafían nuestra experiencia cotidiana. Cuando dos partículas así vinculadas son medidas por observadores distantes, los resultados que obtienen no son aleatorios en el sentido habitual; están correlacionados en un patrón que ningún plan ordinario y preacordado podría haber producido. Este fenómeno, conocido como no localidad cuántica, es el motor detrás de las formas más seguras de comunicación y de las computadoras más potentes del futuro. Para entender cómo funcionan estas máquinas, los científicos mapean cada patrón posible de resultados que la mecánica cuántica permite. Llaman a estos patrones "comportamientos". Durante décadas, los investigadores se han preguntado si la colección completa de estos patrones cuánticos tiene una descripción matemática simple y finita. Específicamente, se preguntaron si las reglas que gobiernan estos patrones podrían escribirse utilizando un número limitado de ecuaciones y desigualdades algebraicas, de forma muy similar a cómo se podrían listar las reglas de un juego en un libro de reglas. Esta pregunta, planteada por el físico Boris Tsirelson en 1993, ha permanecido sin respuesta, dejando un vacío en nuestra comprensión de la geometría fundamental del mundo cuántico.

Un equipo de investigadores ha proporcionado ahora una respuesta definitiva a esta pregunta largamente postergada, y el resultado es una sorpresa. Demostraron que el conjunto de todos los posibles comportamientos cuánticos no puede describirse mediante ninguna colección finita de ecuaciones y desigualdades polinómicas. En términos más sencillos, la forma del mundo cuántico es demasiado compleja para ser capturada por un manual de reglas finito de fórmulas algebraicas. Los investigadores se centraron en una configuración experimental específica donde dos personas, cada una realizando cuatro mediciones diferentes con dos resultados posibles, comparten un vínculo cuántico. Al construir una curva muy específica y suave de resultados posibles que pasa por esta configuración, demostraron que los puntos donde la mecánica cuántica realmente permite un resultado están dispersos a lo largo de esta curva de una manera que ninguna descripción algebraica finita puede capturar. Los puntos permitidos forman una secuencia que se acerca cada vez más a un único y simple punto clásico, pero los huecos entre ellos nunca desaparecen. Debido a que cualquier descripción algebraica finita tendría que incluir un tramo continuo de la curva cerca de ese punto, y dado que la realidad cuántica solo permite puntos específicos e aislados allí, la descripción falla.

Este hallazgo descarta la posibilidad de que el conjunto cuántico pueda definirse exactamente mediante un número finito de restricciones, incluso si permitimos variables adicionales o combinaciones más compleas de ecuaciones. También muestra que los mejores métodos actuales para aproximar los comportamientos cuánticos, conocidos como la jerarquía de Navascués–Pironio–Acín, nunca podrán ser perfectos. Estos métodos funcionan creando una serie de aproximaciones cada vez más precisas, pero los investigadores demostraron que, sin importar cuánto se avance en esta serie, siempre se incluirán algunos resultados imposibles cerca del borde del conjunto cuántico. El estudio revela que la frontera entre lo que es posible y lo que es imposible en la mecánica cuántica no es una superficie suave y simple, sino una estructura dentada e infinitamente detallada que se resiste a ser definida por fórmulas finitas.

Los investigadores llegaron a esta conclusión diseñando un camino matemático que conecta diferentes escenarios cuánticos. Crearon una curva donde los resultados dependen de un único número cambiante. A lo largo de esta curva, descubrieron que la mecánica cuántica solo permite resultados en valores específicos y discretos de ese número, los cuales se acercan cada vez más entre sí a medida que se aproximan a un límite. En el extremo de esta secuencia se encuentra un resultado que puede explicarse mediante la física clásica, sin ninguna extrañeza cuántica. Sin embargo, los puntos cuánticos que preceden a este límite clásico no son un bloque sólido; son como una serie de piedras de paso que se acercan infinitamente a la orilla, pero nunca se fusionan con una playa continua. Los investigadores demostraron que cualquier intento de describir el conjunto cuántico con un número finito de reglas algebraicas incluiría inevitablemente todo el tramo de la curva que conduce a la orilla, incluyendo así resultados que la mecánica cuántica prohíbe. Esto demuestra que el conjunto cuántico no es "semialgebraico", un término técnico que significa que no puede describirse mediante un conjunto finito de condiciones polinómicas.

Las implicaciones de este descubrimiento se extienden más allá de la forma del conjunto cuántico. Muestran que la complejidad de las correlaciones cuánticas es intrínseca y no puede simplificarse, incluso si observamos el sistema desde la distancia o intentamos aproximarlo. Los investigadores también demostraron que esta complejidad persiste incluso cuando consideramos los modelos matemáticos más generales de la mecánica cuántica, incluyendo aquellos donde las mediciones no están limitadas a un tamaño fijo. Demostraron que la dificultad para describir estos comportamientos no es solo una cuestión de cálculo, sino una propiedad geométrica fundamental. El hecho de que el conjunto cuántico no sea semialgebraico significa que no existe una lista finita de reglas que pueda separar perfectamente los resultados cuánticos posibles de los imposibles. Esto tiene consecuencias profundas para la forma en que pensamos sobre la caracterización de los dispositivos cuánticos y para los límites de lo que podemos probar sobre ellos utilizando herramientas matemáticas estándar.

El estudio también destaca un contraste fascinante entre el comportamiento cuántico completo y una versión simplificada que solo observa las correlaciones entre mediciones. Mientras que la versión simplificada puede describirse mediante reglas finitas, la imagen completa, que incluye las probabilidades de cada resultado posible, no puede hacerlo. Esto sugiere que la información adicional contenida en las probabilidades completas es lo que crea la complejidad infinita. Los investigadores mostraron que, aunque los puntos cuánticos se acercan cada vez más a un punto clásico, la naturaleza cuántica del sistema no se desvanece suavemente; en cambio, permanece distinta y discreta hasta el mismo borde. Este comportamiento desafía la intuición de que los sistemas cuánticos complejos deberían eventualmente parecerse a los sistemas clásicos simples a medida que nos acercamos a un límite.

Al final, este trabajo resuelve una pregunta de décadas al demostrar que el mundo cuántico es más intrincado de lo que se pensaba anteriormente. No es una forma que pueda ser capturada totalmente por un conjunto finito de ecuaciones algebraicas. La prueba de los investigadores es rigurosa y cubre los principales modelos de la mecánica cuántica, sin dejar lugar a dudas. Sus hallazgos sugieren que, para comprender y describir plenamente los comportamientos cuánticos, es posible que debamos ir más allá de las descripciones algebraicas finitas y abrazar estructuras más complejas e infinitas. Esto no significa que no podamos trabajar con la mecánica cuántica, pero sí significa que nuestras herramientas matemáticas para describirla tienen limitaciones inherentes. El conjunto cuántico sigue siendo un paisaje rico y complejo que se resiste a una categorización simple, recordándonos que el universo es a menudo más sutil y detallado de lo que nuestras mejores ecuaciones pueden expresar plenamente.