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

En el mundo cuántico, el acto de medir un sistema no es una observación pasiva, sino una intervención activa que puede cambiar la realidad que se observa. Esto contrasta fuertemente con nuestra experiencia cotidiana, donde una mesa sigue siendo una mesa independientemente de si la miramos o no. Durante décadas, los físicos han lidiado con la idea de que las partículas cuánticas podrían poseer propiedades ocultas y preexistentes que simplemente se revelan al ser medidas, de forma muy parecida a como una moneda tiene un lado definido de cara o cruz antes de ser lanzada. Sin embargo, un famoso resultado de la década de 1960, conocido como el teorema de Kochen-Specker, demostró que tal realidad simple y predeterminada no puede existir para sistemas cuánticos en tres dimensiones o más. El teorema demostró que si se intenta asignar un valor definido a cada posible medición que una partícula podría experimentar, inevitablemente se incurre en una contradicción lógica. Los valores que se asignan a un conjunto de mediciones entrarían en conflicto con los valores asignados a otro conjunto, a pesar de que la propia partícula no ha cambiado. Esto implica que el resultado de una medición depende del contexto específico: las otras mediciones que se realizan simultáneamente.

Si bien este teorema descartó eficazmente un mundo de "variables ocultas" donde los resultados están estrictamente determinados como sí o no, quedó una pregunta persistente. ¿Qué pasaría si las variables ocultas no fueran tan rígidas? ¿Podría existir una teoría donde los resultados no fueran estrictamente sí o no, sino que tomaran un conjunto limitado de valores intermedios, como un regulador de intensidad con solo unos pocos ajustes? Durante mucho tiempo, no estuvo claro si una teoría así de "no determinista", pero aún limitada, podría explicar las extrañas correlaciones de la mecánica cuántica. Esta incertidumbre dejó un vacío en nuestra comprensión de cuán profundamente la realidad cuántica se aparta de la intuición clásica.

Un nuevo estudio de Ravishankar Ramanathan, de la Universidad de Hong Kong, cierra este vacío demostrando que incluso estas teorías relajadas de valores limitados no pueden explicar el comportamiento cuántico. El investigador construyó una familia específica de experimentos, inspirada en un rompecabezas lógico conocido como la prueba de Hardy, diseñada para atrapar a cualquier teoría que dependa de valores predeterminados e independientes del contexto. En esta configuración, imagine un sistema de cajas interconectadas, cada una de las cuales puede estar vacía o llena. El experimento consiste en comprobar pares o tríos de estas cajas bajo reglas estrictas: ciertas combinaciones de estados vacíos y llenos están prohibidas, mientras que otras están garantizadas. Si las cajas contuvieran estados ocultos y predeterminados que no dependieran de qué otras cajas se revisaran al mismo tiempo, las reglas de la lógica forzarían un resultado específico para una caja final en la cadena.

Ramanathan demostró que para cualquier teoría donde los valores ocultos se extraigan de una lista finita de posibilidades —por ejemplo, una lista que contenga cero, uno y algunos números intermedios—, la lógica del experimento obliga a que la caja final esté vacía con un alto grado de certeza. Sin embargo, cuando se realiza el mismo experimento con un sistema cuántico real, específicamente un estado cuántico de tres dimensiones conocido como qutrit, el resultado desafía esta lógica. El sistema cuántico produce el resultado prohibido con una probabilidad que es estrictamente mayor de lo que cualquier teoría con esos valores ocultos limitados podría permitir jamás. Al ajustar la complejidad del experimento, que implica anidar estos patrones de comprobación de cajas cada vez más profundamente, los investigadores demostraron que la brecha entre lo que predice una teoría de valores limitados y lo que hace la mecánica cuántica puede hacerse arbitrariamente grande.

El estudio proporciona un conjunto finito y concreto de mediciones que pueden realizarse en un laboratorio para descartar estas teorías alternativas. A diferencia de las pruebas anteriores que dependían de estructuras matemáticas infinitas o funciones continuas, este trabajo utiliza un número finito de proyectores y estados cuánticos específicos para lograr el mismo resultado. Los investigadores calcularon el número exacto de mediciones necesarias para refutar una teoría basada en un conjunto específico de valores permitidos. Por ejemplo, si una teoría permitiera un valor oculto de 0.25, el experimento requeriría veinte mediciones específicas para exponer la contradicción; si el valor permitido fuera 0.90, el experimento necesitaría 224 mediciones. A medida que el número de valores permitidos se acerca al rango completo de posibilidades, el número de mediciones requeridas crece, pero el principio permanece: la mecánica cuántica supera consistentemente a cualquier teoría que intente explicarla con un conjunto finito y discreto de resultados predeterminados.

Este hallazgo tiene implicaciones significativas para nuestra comprensión de la naturaleza fundamental de la realidad y para el desarrollo de tecnologías futuras. En el campo de la información cuántica, la contextualidad es reconocida ahora como un recurso valioso, similar al combustible, que impulsa tareas avanzadas como la comunicación segura y la computación potente. Al demostrar que la contextualidad cuántica es incluso más fuerte de lo que se pensaba —lo suficientemente fuerte como para descartar no solo variables ocultas binarias, sino cualquier conjunto finito de valores discretos—, este trabajo fortalece los cimientos de estas tecnologías. Sugiere que la "magia" detrás de las aceleraciones cuánticas y la seguridad de la criptografía cuántica reside en una característica de la naturaleza que es robusta frente a una clase mucho más amplia de alternativas clásicas de lo que creíamos. Además, el estudio conecta estos hallazgos físicos con el ámbito de la lógica, mostrando que las lógicas de muchos valores finitos, que intentan describir la realidad con un conjunto limitado de valores de verdad, son insuficientes para modelar el mundo cuántico.

El artículo también introduce una nueva forma de pensar sobre la fuerza de estos efectos cuánticos. Así como los matemáticos han categorizado durante mucho tiempo diferentes tipos de contradicciones lógicas, este trabajo establece una jerarquía de qué tan "contextual" puede ser un sistema. Muestra que la teoría cuántica evade no solo las descripciones clásicas más simples, sino también las descripciones finitas de valores más complejas. Esto significa que no importa cuántos ajustes intermedios intente usar una teoría de variables ocultas, siempre que el número de ajustes sea finito, fallará en igualar las predicciones de la mecánica cuántica. Los investigadores proporcionaron una prueba constructiva, lo que significa que no solo dijeron que tal teoría es imposible; construyeron el marco matemático y experimental específico que demuestra dicha imposibilidad.

Mirando hacia el futuro, estos resultados abren nuevas vías para la verificación experimental. Aunque las pruebas actuales son dependientes del estado, lo que significa que dependen de la preparación de un estado cuántico específico, los métodos desarrollados aquí podrían adaptarse para aplicaciones más amplias. El estudio también aborda el lado práctico de la generación de aleatoriedad. Debido a que las correlaciones cuánticas en estas pruebas son tan fuertes y tan distintas de cualquier alternativa clásica, ofrecen una ruta prometedora para generar números verdaderamente aleatorios que sean seguros incluso contra un adversario que pueda conocer todo sobre los dispositivos utilizados, siempre que los dispositivos obedezcan las leyes de la mecánica cuántica. La capacidad de descartar una clase tan amplia de teorías alternativas con experimentos finitos y factibles marca un paso significativo en nuestra capacidad para probar los límites mismos de la realidad física.