⚛️ quantum physics

Function-like pseudorandom unitaries generate pseudorandom quantum processes

Este artículo introduce las unidades de tipo función pseudialeatoria (PRFU), una primitiva criptográfica que genera eficientemente familias de operaciones cuánticas reutilizables y de apariencia aleatoria indexadas por etiquetas públicas a partir de una única clave corta, extendiendo así la pseudonaturalidad cuántica desde unidades individuales hacia procesos cuánticos complejos de múltiples tiempos que son seguros contra consultas adaptativas.

Autores originales: Zitai Xu, Rahul Arvind, Kishor Bharti, Tobias Haug, Dax Enshan Koh, Wai-Keong Mok, Andrew Tanggara, Alexey V. Gorshkov

Publicado 2026-10-02

📖 7 min de lectura🧠 Análisis profundo

CC BY 4.0

Autores originales: Zitai Xu, Rahul Arvind, Kishor Bharti, Tobias Haug, Dax Enshan Koh, Wai-Keong Mok, Andrew Tanggara, Alexey V. Gorshkov

Artículo original bajo licencia CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ Esta es una explicación generada por IA del artículo a continuación. No ha sido escrita ni avalada por los autores. Para mayor precisión técnica, consulte el artículo original. Leer descargo de responsabilidad completo

En el mundo cuántico, la aleatoriedad no es solo una falta de patrón; es un recurso fundamental. Cuando los físicos necesitan modelar cómo se comporta un sistema cuántico complejo, a menudo imaginan una evolución "perfectamente aleatoria", un proceso tan caótico e impredecible que imita el comportamiento de un lanzamiento de moneda verdaderamente aleatorio repetido miles de millones de veces. Este estado ideal de aleatoriedad, conocido como una unitaria de Haar aleatoria, sirve como un estándar de oro para comprender desde cómo la información se dispersa dentro de los agujeros negros hasta cómo las computadoras cuánticas podrían eventualmente romper el cifrado. Sin embargo, hay un inconveniente: describir o construir tal proceso perfectamente aleatorio requiere una cantidad de información que crece exponencialmente con el tamaño del sistema. Incluso para un número modesto de partículas, las instrucciones necesarias para crear esta aleatoriedad se vuelven tan vastas que ninguna computadora podría almacenarlas, y mucho menos ejecutarlas.

Para resolver esto, los científicos han dependido durante mucho tiempo de alternativas "pseudorandomas". Estos son procesos que parecen aleatorios para cualquier observador que no posea la receta secreta, a pesar de estar generados por un conjunto de instrucciones simple y corto. Hasta ahora, estas herramientas pseudorandomas estaban limitadas. Podían generar un único evento de apariencia aleatoria, pero si un científico necesitaba toda una familia de eventos aleatorios diferentes —tal vez uno para cada segundo de un experimento, o uno para cada dirección de memoria diferente en una computadora— tenía que generar una nueva y masiva clave secreta para cada uno. Gestionar una biblioteca de miles de estas claves gigantes era poco práctico. La pregunta seguía siendo: ¿podría una sola clave secreta diminuta generar todo un universo de procesos cuánticos distintos y de apariencia aleatoria, cada uno accesible mediante una etiqueta pública simple, sin revelar nunca el secreto?

Un equipo de investigadores ha respondido ahora a esta pregunta introduciendo un nuevo objeto matemático llamado una unitaria similar a una función pseudorandoma. Piense en esto como una llave maestra que, al combinarse con una etiqueta pública como un nombre o un número, produce instantáneamente una operación cuántica única que parece completamente aleatoria. Si utiliza la misma etiqueta dos veces, obtiene exactamente la misma operación, lo que garantiza la consistencia. Si utiliza una etiqueta diferente, obtiene una operación completamente distinta que parece tan aleatoria como la primera. Los investigadores demostraron que este sistema es seguro incluso contra las computadoras cuánticas más potentes, lo que significa que ningún observador puede notar la diferencia entre estas operaciones generadas y las operaciones ideales y perfectamente aleatorias, siempre que no posean la llave maestra.

El equipo desarrolló dos versiones distintas de esta herramienta para manejar diferentes formas de interactuar con el sistema. En la primera versión, la etiqueta es una pieza de información clásica estándar, como un número escrito en una computadora. Aquí, los investigadores demostraron que, al combinar una función pseudorandoma segura con una unitaria pseudorandoma, podían crear un sistema donde la llave maestra deriva una semilla única para cada etiqueta. Esta construcción es lo suficientemente robusta como para resistir a un adversario que pueda solicitar el resultado de cualquier etiqueta, en cualquier orden, e incluso mantener una memoria cuántica de las respuestas anteriores para ayudarle a adivinar la siguiente.

La segunda versión es más sofisticada y maneja etiquetas "coherentes". En este escenario, la etiqueta misma puede existir en una superposición cuántica, lo que significa que el sistema puede ser consultado para aplicar una operación aleatoria a una etiqueta que es simultáneamente "A" y "B" al mismo tiempo. Este es un desafío mucho mayor porque la interferencia cuántica entre estas diferentes etiquetas podría revelar el secreto. Para resolverlo, los investigadores utilizaron una técnica llamada registro de rutas indexadas. Este método les permite rastrear el historial de cada consulta a través de todas las etiquetas posibles simultáneamente, demostrando que incluso con estas complejas consultas cuánticas, el sistema sigue siendo indistinguible de la verdadera aleatoriedad.

Las implicaciones de este trabajo se extienden mucho más allá de la generación de números aleatorios. Los investigadores demostraron que estas nuevas herramientas pueden utilizarse para construir canales cuánticos pseudorandomos y "peines cuánticos" (quantum combs). Un peine cuántico es una forma de describir una secuencia de eventos donde un sistema interactúa con su entorno a lo largo del tiempo, reteniendo una memoria privada entre pasos. Al utilizar su nueva herramienta, el equipo mostró que una sola llave puede generar toda una familia de estos procesos que evolucionan en el tiempo. Esto significa que un sistema cuántico podría simular un experimento complejo de múltiples pasos donde las reglas camban en cada paso, todo impulsado por un solo secreto corto.

Esta capacidad abre la puerta a diversas aplicaciones prácticas. Por ejemplo, permite una forma de autenticación cuántica donde un mensaje está protegido por un código único que cambia basándose en un "nonce" o número público. Si un atacante intenta reutilizar un número antiguo, el sistema puede detectarlo y rechazar el mensaje, asegurando que cada comunicación sea fresca y segura. También permite un nuevo tipo de acceso a la memoria cuántica, donde los datos pueden recuperarse de una base de datos en una superposición de direcciones, pero la información recuperada está enmascarada por una operación aleatoria que depende de la dirección. Esto oculta el contenido de la base de datos de cualquiera que no posea la llave maestra, incluso mientras realiza sus consultas en un estado cuántico.

Además, los investigadores mostraron que este enfoque de llave única puede generar unitarias aleatorias para registros de tamaños variables. En muchos algoritmos cuánticos, el tamaño de los datos que se procesan puede cambiar, pero anteriormente se necesitaba una nueva llave para cada nuevo tamaño. Con este nuevo método, la misma llave maestra puede generar operaciones aleatorias para un registro pequeño, uno mediano o uno grande, simplemente cambiando la etiqueta pública. Esta flexibilidad es crucial para construir sistemas cuánticos escalables que necesiten adaptarse a diferentes tareas sin la sobrecarga de gestionar una biblioteca masiva de llaves.

El trabajo también aclara la relación entre diferentes tipos de aleatoriedad cuántica. Mientras que se sabía cómo crear una única unitaria aleatoria, y cómo crear una familia de estados cuánticos aleatorios, crear una familia de unitarias aleatorias era la pieza faltante. Los investigadores llenaron este vacío, mostrando que la transición de una única operación aleatoria a una familia de ellas es posible, pero requiere supuestos criptográficos específicos que difieren dependiendo de si las etiquetas son clásicas o cuánticas. No solo propusieron una idea teórica; proporcionaron construcciones matemáticas concretas y pruebas rigurosas de que estos sistemas funcionan bajo las condiciones más exigentes, incluyendo ataques adaptativos donde un adversario aprende de cada interacción.

En última instancia, esta investigación cambia el paradigma de cómo pensamos en la generación de aleatoriedad en los sistemas cuánticos. En lugar de tratar cada evento aleatorio como un recurso separado y costoso, lo trata como una función que puede invocarse repetidamente con diferentes entradas. Esta eficiencia es vital para el futuro de la criptografía y la simulación cuántica, donde la capacidad de generar vastas cantidades de dinámicas de apariencia aleatoria y reproducibles a partir de un solo secreto es un requisito previo para la comunicación segura y el modelado complejo. Los investigadores han construido efectivamente una máquina que convierte una sola llave en un suministro infinito de comportamientos cuánticos únicos y aleatorios, lo suficientemente seguros como para engañar incluso a los observadores cuánticos más avanzados.

Resumen Técnico: Las Unidades Pseudorandomes de tipo Función generan Procesos Cuánticos Pseudorandomes

Planteamiento del Problema

Las unitarias de Haar-aleatorias sirven como el modelo canónico para la evolución cuántica aleatoria genérica, sustentando fenómenos como el desacoplamiento, la dispersión de información y la criptografía cuántica. Sin embargo, una unitaria de Haar-aleatoria típica posee una descripción y una complejidad de circuito exponenciales, lo que las hace inviables para su implementación práctica. Aunque las unitarias pseudorandomes (PRUs) ofrecen un sustituto eficiente para una única evolución con apariencia aleatoria, muchas tareas criptográficas y físicas requieren una familia de operaciones con apariencia aleatoria e independientes, indexadas por un contexto público (por ejemplo, nonces, anchos de registro o pasos de tiempo).

Los enfoques existentes para generar tales familias, como el muestreo de claves PRU independientes para cada contexto, son impracticables debido a la sobrecarga de gestión de un conjunto de claves secretas grande y dinámicamente creciente. Además, las PRUs estándar no proporcionan inherentemente seguridad contra consultas cuánticas adaptativas donde un adversario interactúa con múltiples instancias de la familia. El artículo aborda la necesidad de un primitivo que genere una familia completa y direccionable adaptativamente de unitarias pseudorandomes a partir de una única clave maestra corta, manteniendo la seguridad contra adversarios que puedan consultar la familia de forma adaptativa y coherente.

Metodología

Los autores introducen las Unitarias de tipo Función Pseudorandome (PRFUs), una familia con clave $\{G_k(x)\}_{x \in \mathcal{X}_\lambda}$ donde una única clave $k$ y una etiqueta pública $x$ determinan una unitaria implementable eficientemente. El objetivo de seguridad es la indistinguibilidad computacional de una familia de tipo función de Haar, donde cada etiqueta $x$ mapea a una unitaria de Haar-aleatoria muestreada independientemente $H_x$ .

El artículo distingue dos modelos de acceso para la etiqueta $x$ :

Acceso de etiqueta clásica: La etiqueta se suministra como una cadena de bits clásica. Los registros de datos y de referencia permanecen cuánticos.
Acceso de etiqueta coherente: La etiqueta se suministra en un registro cuántico $L$ , potencialmente en superposición o entrelazada con otros registros. El oráculo aplica una unitaria controlada $W_k = \sum_x |x\rangle\langle x|_L \otimes G_k(x)$ .

Construcciones

1. Construcción de Etiqueta Clásica:
Los autores proponen una construcción genérica que combina una función pseudorandome (PRF) post-cuántica $F_k$ y una familia de PRUs adaptativa hacia adelante $\{V_a\}$ . La construcción se define como:
$G_k(x) := V_{F_k(x)}$
Aquí, la PRF deriva la semilla $a = F_k(x)$ para la PRU interna. La prueba de seguridad utiliza un argumento de híbrido de "tabla diferida", procesando las etiquetas en el orden de su primera aparición. Un componente crítico es el uso de un proxy de Haar implementable eficientemente (derivado de diseños de funciones de permutación-Clifford (PFC) de error relativo amplificado) para simular híbridos intermedios. Esto permite que la reducción limite la ventaja de distinción sin requerir que la PRU interna sea un proxy de Haar completo para todas las consultas posibles, sino solo para el número limitado de consultas realizadas por el adversario.

2. Construcción de Etética Coherente:
Para el acceso coherente, los autores construyen una PRFU directamente utilizando un ensamble PFC indexado. En lugar de derivar claves mediante una PRF externa, la etiqueta $x$ se incorpora directamente en las primitivas de fase y permutación. La construcción utiliza:

Una función pseudorandome cuántica (qPRF) $g_{k_\Phi}(x, z)$ para la capa de fase.
Una permutación pseudorandome (qPRP) de lugar modificable (tweakable in-place) $\Pi_{k_P}(x, z)$ para la capa de permutación.
Una unitaria 2-diseño compartida $C$ .
La unitaria resultante es $W_k^{coh} = \hat{P}_{\Pi} \hat{\Phi}_{g} (I_L \otimes C)$ .
La seguridad se establece mediante una técnica de registro de trayectoria indexado. Este método rastrea los historiales de consulta que involucran superposiciones de etiquetas para analizar la interferencia. La prueba demuestra que el ensamble PFC indexado ideal es estadísticamente indistinguible de las unitarias de Haar independientes hasta un límite de $2q(q-1)/(N+1)$ , donde $q$ es el conteo de consultas y $N=2^n$ . La seguridad computacional sigue al reemplazar las primitivas aleatorias con sus contrapartes cuánticas-seguras.

Extensiones a Procesos Cuánticos

El artículo extiende las PRFUs para generar canales cuánticos pseudorandomes y peines cuánticos (quantum combs) (procesos con memoria interna).

Canales: Al aplicar una PRFU dentro de una dilatación de Stinespring y descartar el entorno, los autores generan canales de tipo función pseudorandomes (PRFCs).
Peines: Al asignar etiquetas distintas de PRFU a los "dientes" sucesivos (operaciones) de un peine cuántico, los autores construyen peines pseudorandomes. Esto permite la emulación de la dinámica multi-tiempo con memoria inaccesible, segura contra intervenciones adaptativas y sesiones concurrentes.

Contribuciones Clave

Definición de PRFUs: La formalización de las unitarias de tipo función pseudorandomes, que generan una familia de unitarias con apariencia aleatoria indexadas por etiquetas públicas a partir de una única clave.
Construcción y Seguridad de Etiqueta Clásica: Una construcción genérica a partir de PRFs post-cuánticas y PRUs, probada segura bajo consultas de etiqueta clásica adaptativas utilizando un argumento de híbrido y proxies de Haar.
Construcción y Seguridad de Etiqueta Coherente: Una construcción específica basada en ensambles PFC indexados utilizando qPRFs y qPRPs de lugar modificables. Su seguridad se prueba mediante el registro de trayectoria indexado para manejar superposiciones de etiquetas e interferencia.
Elevación de Procesos: Demostraciones de que las PRFUs pueden elevarse para generar canales cuánticos y peines cuánticos pseudorandomes, asegurando procesos con memoria privada contra interacciones adaptativas y concurrentes.
PRUs de Ancho Variable: Un método que combina PRFUs con pegado (gluing) de unitarias para crear una familia de una sola clave de PRUs donde el ancho del registro puede elegirse adaptativamente tras la generación de la clave.
Aplicaciones: El artículo describe aplicaciones específicas incluyendo:
- Autenticación cuántica resuelta por nonce.
- Consultas a QRAM con enmascaramiento coherente (ocultando el contenido de la base de datos a observadores de acceso hacia adelante).
- Emulación eficiente de la dinámica multi-tiempo aleatoria.

Resultados

Límites de Seguridad: Para etiquetas clásicas, la ventaja de distinción está acotada por la suma de la ventaja de la PRF, la ventaja de la PRU y un término dependiente del error del proxy de Haar ( $2q\eta$ ). Para etiquetas coherentes, la distancia estadística al ensamble de Haar ideal está acotada por $2q(q-1)/(N+1)$ , con la seguridad computacional dependiendo de la dureza de la qPRF y la qPRP subyacentes.
Eficiencia: Las construcciones son eficientes, requiriendo solo tiempo polinomial y tamaño de circuito relativo al parámetro de seguridad $\lambda$ y al número de consultas.
Anchos Variables: La construcción de pegado genera exitosamente unitarias pseudorandomes para anchos de registro acotados polinomialmente elegidos tras la generación, preservando la seguridad a través de diferentes anchos.

Significado y Reivindicaciones

El artículo afirma extender el concepto de pseudorandomidad cuántica desde operaciones individuales hacia familias de dinámicas cuánticas con apariencia aleatoria generadas eficientemente. Al introducir las PRFUs, los autores cierran la brecha entre las PRUs de instancia única y la necesidad de evoluciones dependientes del contexto y reproducibles requeridas en protocolos cuánticos avanzados.

El trabajo destaca que:

Paradigma de Una Sola Clave: Es posible derivar una familia completa de unitarias pseudorandomes direccionables adaptativamente a partir de una única clave maestra corta, evitando los problemas de gestión de claves de la muestreo independiente de PRUs.
Seguridad Coherente: La seguridad puede mantenerse incluso cuando las etiquetas se consultan en superposición, un requisito más fuerte que la seguridad de etiqueta clásica, logrado mediante técnicas específicas de registro de trayectoria indexado.
Seguridad de Procesos: El marco se extiende naturalmente a procesos cuánticos complejos (canales y peines) con memoria interna, proporcionando seguridad contra adversarios que pueden intervenir entre pasos o ejecutar sesiones concurrentes.

Los autores señalan que, si bien la relación entre las PRUs y las PRFUs es clara para las etiquetas clásicas (vía elevación de PRF), la relación para las etiquetas coherentes sigue siendo una pregunta abierta, ya que su construcción depende de primitivas específicas en lugar de una transformación general a partir de una PRU de instancia única. Además, la construcción de la qPRP de lugar modificable requerida a partir de supuestos estándar sigue siendo un problema concreto abierto para la instanciación futura.