Deterministic randomness extraction for quantum random number generation with partial trust

1. Problema y Contexto

La generación de números aleatorios cuánticos (QRNG) es fundamental para la criptografía y la simulación. Un componente crítico de un QRNG es el extractor de aleatoriedad, que transforma una cadena de bits cruda (con cierta entropía) en una salida casi perfectamente aleatoria e independiente de un posible espía (Eve).

• Limitación clásica: En teoría de la información clásica, se sabe que ningún procedimiento determinista puede extraer aleatoriedad de una fuente de entropía arbitraria sin una "semilla" aleatoria externa (seed).
• Avances previos: Recientemente, Foreman y Masanes [9] demostraron que, en un escenario independiente del dispositivo (DI) donde se viola una desigualdad de Bell (CHSH), es posible construir extractores deterministas sin semilla.
• El desafío actual: El escenario DI es difícil de implementar experimentalmente debido a requisitos estrictos de cierre de brechas (loophole-free). El artículo busca adaptar estas técnicas a escenarios de confianza parcial (prepare-and-measure), que son más viables experimentalmente pero donde no se asume que todo el dispositivo sea desconocido.

Objetivo: Probar que los extractores deterministas desarrollados para el escenario DI pueden adaptarse a escenarios de preparación y medición con confianza parcial (en la preparación, en la medición o en ambos), y demostrar su viabilidad en regímenes de tamaño finito.

2. Metodología

Los autores proponen un marco teórico que generaliza la construcción de Foreman y Masanes a tres configuraciones de "confianza parcial":

1. Configuraciones de Estudio:

   • (S1) Preparación no confiable: La fuente de estados es desconocida, pero la medición es confiable y caracterizada.
   • (S2) Medición no confiable: La preparación es confiable y caracterizada, pero la medición es desconocida.
   • (S3) Semi-DI (Semi-independiente del dispositivo): Se asume un límite inferior conocido ($\delta$) sobre la fidelidad (superposición) entre dos estados preparados, pero la medición es no confiable. Este es el escenario más relevante experimentalmente.

2. Herramientas Teóricas:

   • Programación Semidefinida (SDP) y Dualidad: Los autores formulan la probabilidad de adivinanza de Eve ($P_{guess}$) como un problema de optimización (SDP). Utilizan la solución del problema dual de este SDP para derivar desigualdades operadoras.
   • Desigualdades Operadoras: Demuestran que la solución dual del SDP de adivinanza implica una desigualdad sobre operadores que actúan en el espacio de Hilbert del sistema de medición (o preparación, dependiendo del escenario). Esta desigualdad acota la predictibilidad de los resultados.
   • Extracción Determinista: Utilizan funciones conocidas en informática, específicamente la función XOR (para extracción de 1 bit) y una familia de funciones lineales (para extracción de múltiples bits), demostrando que actúan como extractores bajo estas nuevas desigualdades.
   • Protocolo de "Spot-Checking": Diseñan un protocolo donde una fracción aleatoria de rondas se usa para estimar las estadísticas necesarias (para verificar la desigualdad) y el resto se usa para generar la clave.

3. Suposiciones Clave:

   • Dispositivos sin memoria (las rondas son independientes o las correlaciones están acotadas).
   • No hay fugas de información de los resultados de medición a Eve.
   • En el escenario (S3), los inputs de preparación son elegidos uniformemente al azar.

3. Contribuciones Clave

• Generalización de Extractores Sin Semilla: Se demuestra que las funciones extractores propuestas en [9] para el escenario DI también son válidas para escenarios de confianza parcial (S1, S2 y S3).
• Conexión Teórica Fundamental: Se establece que el papel que juega el funcional de Bell (CHSH) en el escenario DI es reemplazado por la solución del dual del problema de probabilidad de adivinanza en los escenarios de confianza parcial. Esto unifica la teoría de extracción determinista bajo diferentes niveles de confianza.
• Teoremas de Seguridad: Se prueban teoremas (Thm. 2 y Thm. 3) que acotan la distancia de traza entre el estado generado y el estado ideal, garantizando la seguridad universalmente componible sin necesidad de semillas aleatorias.
• Análisis de Tamaño Finito: A diferencia de muchos trabajos teóricos que se limitan al límite asintótico, el artículo proporciona un análisis riguroso para un número finito de rondas, crucial para implementaciones reales.

4. Resultados

Los autores realizaron simulaciones numéricas basadas en una familia de comportamientos experimentales relevantes (basados en láseres VCSEL), definidos por una probabilidad de salida $p_\delta(a|x)$ que depende del parámetro de superposición $\delta$.

• Tasas de Generación Positivas en Tamaño Finito:

  • Se observó que es posible alcanzar tasas de clave positivas con tan solo $7 \times 10^3$ (7,000) rondas cuando $\delta = 0.5$ (máxima imprevisibilidad).
  • Esto es significativo porque muchos protocolos cuánticos requieren millones de rondas para obtener una tasa positiva en regímenes ruidosos.

• Tolerancia al Ruido:

  • El protocolo muestra una tolerancia al ruido superior a la de otros primitivos criptográficos cuánticos (como QKD B92). Incluso con tasas de ruido moderadas, se mantienen tasas de generación positivas.

• Comparación Asintótica:

  • En el límite de infinitas rondas, el protocolo logra tasas positivas incluso cuando el comportamiento del dispositivo está arbitrariamente cerca de ser determinista (siempre que $\delta \notin \{0, 1\}$).
  • Sin embargo, se reconoce que las tasas alcanzadas son significativamente menores (más de un orden de magnitud) que las que se obtendrían con extractores con semilla (seeded) para el mismo escenario. Esto se debe a la pérdida de eficiencia inherente a la extracción determinista sin semilla en comparación con métodos que usan una pequeña cantidad de aleatoriedad perfecta inicial.

• Probabilidad de Estimación ($p_e$):

  • A diferencia del caso DI donde se requiere $p_e > 0.5$ para extraer bits cerca del límite local, en este escenario de confianza parcial se puede extraer un bit casi ideal para cualquier $p_e > 0$, siempre que la distribución no sea completamente predecible.

5. Significado e Impacto

• Viabilidad Experimental: El trabajo cierra la brecha entre la teoría de la extracción determinista (que requiere condiciones muy estrictas como el DI) y la realidad experimental. Los escenarios de confianza parcial son mucho más fáciles de implementar en hardware comercial.
• Eficiencia de Muestra: La capacidad de generar aleatoriedad certificada con tan solo miles de rondas es un avance importante para aplicaciones de baja latencia o dispositivos con recursos limitados.
• Marco Unificado: Proporciona una herramienta teórica robusta (la dualidad del SDP de adivinanza) que puede extenderse a otros marcos semi-DI o dependientes del dispositivo en el futuro.
• Limitaciones y Futuro: Aunque el protocolo es seguro y funcional, la eficiencia (tasa de bits) es actualmente baja comparada con métodos con semilla. El trabajo señala que se necesitan mejoras en la eficiencia del protocolo para que sea industrialmente relevante, pero demuestra que la extracción determinista "sin semilla" es teóricamente posible y experimentalmente alcanzable en configuraciones realistas.

En resumen, el artículo demuestra que la aleatoriedad cuántica puede extraerse de forma determinista y segura sin semillas en escenarios de confianza parcial, ofreciendo un protocolo viable para implementaciones prácticas de QRNG con requisitos de hardware menos exigentes que los sistemas totalmente independientes del dispositivo.