Quantum random-number generator with non-demolition measurements: semi-device-independent implementation

Resumen Técnico: Generador de Números Aleatorios Cuánticos con Mediciones de No Demolición

Planteamiento del Problema
Los generadores de números aleatorios cuánticos (QRNG, por sus siglas en inglés) ofrecen ventajas sobre los generadores clásicos, tales como superar la periodicidad finita y la vulnerabilidad ante ataques de terceros. Sin embargo, el despliegue práctico requiere que los usuarios finales puedan certificar la naturaleza cuántica del dispositivo sin comprender su funcionamiento interno o la física subyacente. Los QRNG tradicionales de independencia de dispositivo dependen de las violaciones de la desigualdad de Bell, lo que requiere una separación espacio-temporal entre los detectores. Este requisito espacial impone restricciones significativas a las aplicaciones tecnológicas y dificulta la miniaturización de los dispositivos. Aunque enfoques alternativos que utilizan las desigualdades de Leggett-Garg (LGI) permiten mediciones secuenciales en un solo sistema, las implementaciones existentes sufren de una limitada flexibilidad de parámetros y bajas tasas de generación. El desafío consiste en desarrollar un QRNG que certifique simultáneamente efectos cuánticos genuinos y genere números aleatorios de alta entropía sin requerir separación espacial, permitiendo así implementaciones escalables y miniaturizadas.

Metodología
Los autores proponen un QRNG semi-independiente de dispositivo basado en un sistema cuántico tripartito que consiste en un sistema de tres niveles ($S$) y dos detectores auxiliares: un detector de dos niveles ($D_1$) y un detector de tres niveles ($D_2$). El protocolo utiliza un esquema de Medición de No Demolición Cuántica (QNDM) donde la información sobre los observables se codifica en la fase de los detectores.

1. Evolución del Sistema: El sistema $S$ experimenta una evolución unitaria genérica $\hat{u}$, acoplada secuencialmente a $D_1$ y $D_2$ mediante operadores unitarios $\hat{U}_1$ y $\hat{U}_2$. Los operadores de acoplamiento dependen de los observables $\hat{a}$ y $\hat{A}$ que actúan sobre $S$, y de $\hat{\lambda}$ y $\hat{m}$ que actúan sobre los detectores.
2. Interferencia de Trayectoria y Certificación ($D_1$): El primer detector, $D_1$, se utiliza para certificar la presencia de efectos cuánticos genuinos. Al trazar fuera de $D_2$, el protocolo reconstruye una distribución de cuasi-probabilidad (QPDD), $P_{ND}(\Delta)$, derivada de una función característica cuasi-$G_\lambda$. La presencia de regiones negativas en $P_{ND}(\Delta)$ sirve como una firma necesaria y suficiente de la superposición de trayectorias (interferencia coherente), certificando la naturaleza cuántica de la dinámica. Esta certificación ocurre simultáneamente con la generación, en lugar de ser a posteriori.
3. Generación de Números Aleatorios ($D_2$): El segundo detector, $D_2$, genera números aleatorios. Debido a la degeneración del observable $\hat{A}$, distintas trayectorias de evolución mapean al mismo resultado del detector ($\beta \in \{0, \pm 2\}$). La distribución de probabilidad de estos resultados, $P_\beta(\lambda)$, depende del parámetro de acoplamiento $\lambda$.
4. Optimización: El protocolo discretiza el parámetro de acoplamiento $\lambda$ sobre $[0, 2\pi)$. Al promediar sobre estos acoplamientos, los términos de interferencia oscilatorios en la distribución de probabilidad desaparecen, dejando una distribución determinada por el estado inicial y la evolución unitaria $\hat{u}$. Esto permite que la distribución se optimice para aproximarse a la uniformidad, maximizando así la entropía de la cadena generada.

Contribuciones Clave

• Generación y Certificación Simultáneas: A diferencia de esquemas previos donde la certificación se realiza después de la recolección de datos, este protocolo extrae datos de certificación de $D_1$ y números aleatorios de $D_2$ simultáneamente durante la evolución.
• Eliminación de Restricciones Espaciales: El protocolo no requiere separación espacio-temporal entre los detectores, ya que se basa en secuencias temporales de mediciones e interferencia de trayectoria dentro de un solo sistema. Esto elimina una restriccia física mayor de los enfoques independientes de dispositivo.
• Marco Semi-Independiente de Dispositivo: El esquema opera como un QRNG independiente de la fuente. No requiere que el usuario confíe en la preparación específica de los estados de entrada o en las dimensiones del sistema; cualquier manipulación de las entradas alteraría tanto la cuasi-distribución (afectando la certificación) como las estadísticas de salida.
• Cuantificación del Compromiso (Trade-off): Los autores derivan un límite matemático que relaciona la cualidad cuántica certificable (cuantificada por la negatividad de la QPDD, específicamente $P_q(-1)$) con la aleatoriedad extraíble (entropía mínima). Demuestran que, si bien maximizar la certificación requiere una negatividad no nula, la desviación de la aleatoriedad máxima puede mantenerse pequeña.

Resultados
Los autores presentan una implementación específica utilizando un formalismo de espín-1 para el sistema $S$, con $\hat{a} = \hat{J}_z$ y $\hat{A} = \hat{J}_z^2$.

• Certificación: Las simulaciones numéricas muestran que, mediante la optimización del estado inicial y el parámetro de evolución $\theta$, la QPDD reconstruida de $D_1$ exhibe regiones negativas, confirmando la presencia de superposiciones coherentes.
• Generación de Aleatoriedad: La distribución resultante de los resultados de $D_2$ es casi uniforme. En el ejemplo optimizado, la desviación relativa de la entropía mínima máxima (uniformidad completa) es aproximadamente del 9.81% para un número suficiente de valores de acoplamiento ($L \gtrsim 30$).
• Independencia: El estudio destaca que el proceso de certificación (determinado por la cuasi-distribución) y las estadísticas de los números aleatorios generados pueden ajustarse de forma independiente mediante el ajuste del estado inicial y los parámetros de evolución.

Significancia y Reivindicaciones
El artículo afirma proponer un nuevo paradigma para los QRNG que supera las limitaciones de los enfoques basados en Bell (espacialmente separados) y en LGI (baja tasa/flexibilidad). La principal significancia radica en la capacidad de generar números aleatorios de alta entropía mientras se certifica simultáneamente su origen cuántico dentro de una configuración compacta y sin separación espacial. Esta propiedad facilita la miniaturización del dispositivo y su integración en plataformas electrónicas estándar, lo que lo convierte en un candidato prometedor para tecnologías cuánticas escalables. Los autores sostienen que su protocolo logra un equilibrio donde más del 90% de los números generados son genuinamente aleatorios manteniendo una certificación robusta de la cualidad cuántica. El trabajo futuro sugerido por los autores incluye la introducción de mediciones de no demolición adicionales para dinámicas más complejas y el aumento de las dimensiones de los detectores para optimizar aún más la aleatoriedad.