Harnessing dimensional leakage for continuous-variable randomness certification

En la búsqueda de redes de comunicación seguras y computadoras potentes, los científicos confían en una propiedad fundamental de la naturaleza: la aleatoriedad verdadera. A diferencia de los patrones predecibles de un reloj o el rodar de un dado, que están determinados por leyes físicas y condiciones iniciales, la aleatoriedad cuántica es genuinamente impredecible. Esta imprevisibilidad es la base de la criptografía moderna, asegurando que los códigos secretos no puedan ser descifrados. Para generar esta aleatoriedad, los investigadores suelen utilizar configuraciones de "preparación y medición". En estos experimentos, un dispositivo prepara un sistema cuántico diminuto, como una partícula de luz, y la envía a un segundo dispositivo que la mide. El resultado de esta medición es el número aleatorio.

Para que estos sistemas sean confiables, los científicos deben estar seguros de que los sistemas cuánticos que utilizan se comportan exactamente como sus teorías predicen. Un supuesto común en estos experimentos es que el sistema está confinado a un tamaño específico y limitado, muy parecido a un mensaje que se envía en una caja que solo puede contener un cierto número de artículos. Si la caja es demasiado pequeña, el mensaje no puede ser falsificado por un espía. Sin embargo, en el mundo real, especialmente cuando se utiliza la luz, este supuesto rara vez es perfecto. La luz existe en una variedad infinita de estados e, incluso cuando los científicos intentan restringirla a un sistema simple de dos estados, ocurren pequeñas cantidades de "fuga". El sistema ocasionalmente se desliza hacia estados superiores no deseados. Durante años, esta fuga fue vista como un fallo fatal, capaz de destruir la seguridad de la aleatoriedad y permitir que un adversario astuto predijera el resultado.

Un equipo de investigadores ha demostrado ahora que esta debilidad percibida puede convertirse en realidad en una fortaleza. Al cambiar la forma en que observan los datos, demostraron que es posible certificar la aleatoriedad genuina incluso cuando el sistema se fuga fuera de sus límites previstos. En lugar de centrarse en una configuración única y específica para el experimento, analizaron los resultados a través de todas las configuraciones posibles simultáneamente. Este enfoque resultó ser mucho más robusto, permitiendo certificar la aleatoriedad utilizando configuraciones de láser simples y de baja potencia que antes se consideraban demasiado imperfectas para la tarea. Su trabajo sugiere que la realidad desordenada y de alta dimensión de los sistemas físicos no tiene por qué ser una barrera para la seguridad, sino que puede ser un recurso para generar números aleatorios seguros en dispositivos prácticos y cotidianos.

El núcleo del problema reside en cómo los científicos verifican tradicionalmente la aleatoriedad. En una prueba estándar, los investigadores eligen una forma específica de preparar una partícula y una forma específica de medirla. Luego comprueban si los resultados son aleatorios. Si la partícula se filtra aunque sea un poco de información hacia estados de mayor energía, un adversario podría teóricamente usar ese espacio adicional para imitar los resultados mientras conoce el resultado de antemano. Esto hace que la aleatoriedad parezca falsa. Los investigadores encontraron que esta vulnerabilidad es más severa cuando se observa solo un par de configuraciones. Es como intentar detectar a un ladrón vigilando una sola puerta; si el ladrón sabe qué puerta está usted vigilando, puede pasar fácilmente por una entrada trasera que usted no está monitoreando.

Para resolver esto, el equipo introdujo un nuevo método de evaluación que observa el conjunto completo de entradas. En lugar de comprobar una sola puerta, monitorearon todas las puertas posibles que el ladrón podría usar. Al promediar los resultados a través de todas las diferentes formas en que las partículas fueron preparadas y medidas, encontraron que la capacidad del adversario para predecir el resultado era severamente limitada. Incluso si el ladrón pudiera predecir el resultado para una configuración específica explotando la fuga, no podría hacerlo para todas las configuraciones a la vez sin introducir errores detectables. Este proceso de promediado suavizó las vulnerabilidades, permitiendo a los investigadores certificar la aleatoriedad en situaciones donde el método antiguo habría fallado por completo.

Este cambio de perspectiva abrió la puerta al uso de sistemas de variables continuas, que se basan en las propiedades suaves e infinitas de las ondas de luz, en lugar de partículas discretas y contables. Específicamente, el equipo probó una configuración utilizando estados gaussianos de un solo modo, que son esencialmente pulsos de luz comprimidos (squeezed) simples, medidos mediante una técnica llamada detección homodina. En el pasado, tales configuraciones se consideraban demasiado "fugaces" para certificar la aleatoriedad porque la luz ocupa naturalmente un número infinito de estados. Sin embargo, aplicando su nuevo método de promediado, los investigadores demostraron que estos estados simples de baja compresión podrían, de hecho, generar aleatoriedad certificada. Encontraron que con un parámetro de fuga de solo 0.075, podían certificar un promedio de 0.0313 bits de aleatoriedad por ronda. Aunque este número parece pequeño, es una cantidad no nula de aleatoriedad certificada de un sistema que antes se consideraba inútil para este propósito.

Los investigadores no se detuvieron en los simples pulsos de luz. Exploraron escenarios más complejos para ver cuánta aleatoriedad podía extraerse de estos sistemas. Cuando reemplazaron los detectores de luz estándar por un método más sofisticado que involucra la fotodetección desplazada, la cantidad de aleatoridad certificada aumentó significativamente, alcanzando 0.082 bits. También probaron estados no gaussianos, que tienen formas más complejas de luz, son más difíciles de crear pero ofrecen más potencial. Utilizando un tipo específico de estado no gaussiano conocido como estado de gato comprimido (squeezed cat state), lograron niveles de aleatoriedad aún mayores, certificando 0.119 bits por ronda. Sorprendentemente, estos estados estructurados y experimentalmente factibles funcionaron casi tan bien como el máximo teórico posible dentro de un modelo matemático truncado, capturando aproximadamente el 95% de la aleatoriedad óptima.

Los hallazgos desafían la visión largamente sostenida de que la fuga dimensional es puramente un defecto que debe eliminarse. En el contexto de su nuevo marco, la naturaleza de alta dimensión de los sistemas físicos no es solo tolerada; es gestionada de una manera que permite la implementación práctica. Los investigadores demostraron que, al aceptar una pequeña cantidad de fuga y promediar sobre todas las entradas, se puede construir un generador de aleatoriedad que es tanto robusto como experimentalmente accesible. Este es un paso significativo para las tecnologías cuánticas, ya que aleja el campo de la necesidad de componentes perfectos e idealizados y lo dirige hacia sistemas que pueden construirse con la tecnología imperfecta actual.

El trabajo también destaca la importancia de cómo evaluamos la seguridad. El estudio mostró que la elección del estimador —la herramienta matemática utilizada para calcular la aleatoriedad— es crítica. Un método que se centra en un solo par de entradas es frágil y fácilmente vulnerable a la fuga. En contraste, el estimador promedio es resiliente porque obliga a cualquier posible adversario a ser impredecible en todo el tablero, una tarea mucho más difícil. Esta idea sugiere que los futuros dispositivos cuánticos podrían no necesitar ser perfectos para ser seguros; simplemente necesitan ser evaluados correctamente. Los investigadores concluyen que sus resultados proporcionan un camino claro para que los experimentalistas construyan generadores de aleatoridad de variables continuas que sean tanto prácticos como seguros, convirtiendo una debilidad potencial del mundo físico en una ventaja práctica.