En el mundo silencioso y abstracto de la computación cuántica, los investigadores buscan constantemente un tipo específico de ilusión digital: la capacidad de hacer que algo parezca completamente aleatorio para un observador, a pesar de haber sido creado por una regla simple y oculta. Este concepto, conocido como pseudorandomidad, es la columna vertebral de la criptografía moderna. En el mundo clásico, donde las computadoras procesan bits de información, tenemos herramientas bien comprendidas para crear estas ilusiones. Podemos generar cadenas de números con apariencia aleatoria o funciones que se comportan de manera impredecible, pero que son reproducibles si se conoce la clave secreta. Estas herramientas nos permiten construir cerraduras seguras para nuestras vidas digitales.

Sin embargo, el mundo cuántico opera bajo leyes diferentes. En lugar de simples bits, las computadoras cuánticas manipulan delicados estados de la materia que pueden existir en múltiples configuraciones a la vez. Esto abre la puerta a nuevos tipos de aleatoriedad, pero también crea un panorama confuso. Los científicos han descubierto varias formas de generar estas ilusiones cuánticas. Algunos métodos crean estados cuánticos con apariencia aleatoria, que son como instantáneas de un sistema. Otros crean transformaciones con apariencia aleatoria, que son como las acciones que cambian un sistema de un estado a otro. Durante mucho tiempo, no estaba claro si estos dos tipos de herramientas estaban fundamentalmente vinculados. ¿Podría un método que crea una instantánea de apariencia aleatoria utilizarse para construir una máquina que realice una acción de apariencia aleatoria? ¿O son fenómenos completamente separados, como manzanas y naranjas, que no pueden convertirse uno en otro?

Un investigador del Instituto Avanzado de Ciencia y Tecnología de Corea, Minki Hhan, ha trazado ahora una línea divisoria clara entre estos dos conceptos. En un nuevo estudio, Hhan demuestra que es posible tener un mundo donde se puedan crear fácilmente instantáneas cuánticas de apariencia aleatoria, pero donde sea matemáticamente imposible construir una máquina que realice una acción de apariencia aleatoria. Este hallazgo resuelve una pregunta de larga data sobre la estructura de la seguridad cuántica. Revela que la capacidad de generar un estado aleatorio no otorga automáticamente el poder de realizar una transformación aleatoria. Los dos son capacidades distintas, y una no implica la otra, incluso cuando el investigador tiene permitido usar todos los trucos del libro cuántico, incluyendo espacio de memoria adicional y operaciones complejas y no estándar.

Para entender cómo se encontró esta separación, imagine una vasta biblioteca de libros. En esta biblioteca, un "generador de estados tipo función pseudorandom" es una máquina que, al recibir un código específico, produce un solo libro que parece haber sido escrito por un proceso caótico y aleatorio. Un "unitario pseudorandom", por otro lado, es una máquina que, al recibir un código, realiza un barajado complejo y aleatorio de todo el contenido de la biblioteca. La pregunta era: si tienes una máquina que puede producir estos libros de apariencia aleatoria, ¿puedes usarla para construir la máquina de barajado? Intuitivamente, uno podría pensar que si puedes crear las partes, puedes ensamblar el todo. Pero el trabajo de Hhan muestra que esta intuición falla en el reino cuántico.

La prueba se basa en una astuta perspectiva matemática que trata la construcción de estas máquinas cuánticas como un mapa suave y continuo. En lugar de ver la máquina como un bloque rígido de código, Hhan la vio como un paisaje donde pequeños cambios en la entrada conducen a pequeños cambios en la salida. Al estudiar la "pendiente" o la tasa de cambio de este paisaje, el investigador descubrió una debilidad oculta en cualquier intento de construir una máquina de barajado aleatorio utilizando solo generadores de estados aleatorios. El análisis matemático mostró que la pendiente de este paisaje es inherentemente plana y limitada. Es como si la máquina intentara subir una colina, pero el terreno es tan plano que no puede ganar suficiente altura para alcanzar la cima de la verdadera aleatoriedad.

Esta falta de relieve es una consecuencia directa de cómo la máquina interactúa con los estados cuánticos. La máquina que genera estados aleatorios solo necesita operar en una pequeña sección de baja dimensión del vasto espacio cuántico. Sin embargo, una verdadera máquina de barajado aleatorio debe actuar sobre el espacio entero y masivo. Cuando el investigador intentó forzar a la máquina de la pequeña sección a actuar sobre el espacio completo, la "derivada" matemática —la medida de qué tan sensible es la salida a los cambios en la entrada— permaneció demasiado pequeña. Esta falta de sensibilidad significa que la salida de la máquina es demasiado predecible. Se concentra alrededor de un comportamiento promedio único en lugar de extenderse hacia la distribución salvaje y caótica que produciría una máquina verdaderamente aleatoria.

Para hacerlo concreto, el investigador construyó un escenario específico utilizando un oráculo de "estado tipo función común-Haar". Esta es una herramienta teórica que proporciona un suministro de estados cuánticos aleatorios. En este escenario, el investigador demostró que, si bien una máquina podría generar con éxito estados de apariencia aleatoria usando esta herramienta, cualquier intento de usar esos estados para construir una máquina de barajado aleatorio fallaría. La máquina resultante siempre se comportaría de una manera que un observador astuto podría distinguir de una verdaderamente aleatoria. El observador podría detectar que la máquina no era verdaderamente aleatoria porque su comportamiento era demasiado concentrado, demasiado suave y carente de la variación caótica necesaria.

El estudio también abordó un posible vacío legal. Los críticos podrían argumentar que el fallo ocurre solo porque la máquina está restringida en cuánto espacio de memoria extra puede usar. Quizás si la máquina tuviera permitido usar una cantidad masiva de espacio extra, podría superar la planitud del paisaje. La prueba de Hhan descarta esto explícitamente. La separación se mantiene incluso cuando la máquina tiene permitido usar un número arbitrario de unidades de memoria extra e incluso cuando la máquina tiene permitido ser imperfecta o no unitaria. La distincción fundamental permanece: la capacidad de generar un estado aleatorio no implica la capacidad de realizar una transformación aleatoria.

Este resultado tiene implicaciones significativas para el futuro de la criptografía cuántica. Durante años, los investigadores han intentado construir sistemas cuánticos seguros vinculando estos diferentes tipos de aleatoriedad, asumiendo que si uno existe, los otros deben seguirlo. Este nuevo hallazgo sugiere que el camino hacia los sistemas cuánticos seguros es más fragmentado de lo que se pensaba anteriormente. Significa que para construir un verdadero cerrojo cuántico, no podemos simplemente confiar en las herramientas que generan estados aleatorios. Debemos encontrar métodos completamente nuevos para crear las transformaciones aleatorias que protejan nuestros datos.

El trabajo también destaca una diferencia más profunda entre preparar un estado cuántico y realizar una operación cuántica. En el mundo cuántico, crear una configuración específica de apariencia aleatoria es una tarea fundamentalmente distinta a crear una máquina que pueda reorganizar aleatoriamente cualquier configuración. El artículo demuestra que estos no son solo pasos diferentes en el mismo proceso, sino capacidades separadas que requieren diferentes recursos. Esta distinción no es un tecnicismo menor; es una característica fundamental de cómo se comporta la información cuántica.

Al utilizar una técnica que analiza las derivadas de estos mapas cuánticos, el investigador proporcionó una nueva forma de ver la estructura de la aleatoridad cuántica. Este enfoque, que trata la construcción de algoritmos cuánticos como un problema geométrico, ofrece una nueva y poderosa lente para estudiar los límites de lo que las computadoras cuánticas pueden hacer. Sugiere que existen restricciones geométricas inherentes sobre cómo se puede manipular la información cuántica, restricciones que impiden que ciertos tipos de aleatoriedad sean generados a partir de otros.

El estudio no afirma que la pseudorandomidad cuántica sea imposible. Al contrario, confirma que estas herramientas existen. Sin embargo, aclara los límites de su poder. Nos dice que no podemos asumir que la existencia de un tipo de aleatoriedad cuántica garantiza la existencia de otro. Esta claridad es esencial para construir la próxima generación de tecnologías cuánticas. Obliga a los investigadores a ser más precisos sobre lo que pueden y no pueden construir, asegurando que los cimientos de la seguridad cuántica no se construyan sobre supuestos débiles.

Al final, el artículo revela un paisaje de posibilidades cuánticas que es más complejo y matizado que una simple jerarquía. Muestra que el mundo cuántico no es una estructura única y unificada donde una herramienta pueda convertirse fácilmente en otra. En cambio, es una colección de regiones distintas, cada una con sus propias reglas y limitaciones. La capacidad de generar un estado aleatorio es una región, y la capacidad de realizar una transformación aleatoria es otra. Aunque pueden parecer similares desde la distancia, están separadas por un profundo abismo matemático que no puede ser cruzado simplemente añadiendo más memoria o usando circuitos más complejos. Este descubrimiento proporciona un mapa más claro para el futuro de la computación cuántica, guiando a los investigadores hacia las herramientas adecuadas para los trabajos adecuados y alejándolos de la falsa esperanza de que una solución pueda resolver todos los problemas.