Device independent quantum key distribution with robust self-tests

1. El Problema

La Distribución de Claves Cuántica Independiente del Dispositivo (DIQKD) promete seguridad basada únicamente en las leyes de la mecánica cuántica, sin necesidad de confiar en los modelos físicos detallados de los dispositivos utilizados. Sin embargo, la DIQKD enfrenta desafíos significativos:

• Umbral de Cero Clave: En configuraciones de larga distancia, las pérdidas en el canal (decaimiento de Lambert-Beer) reducen la eficiencia de detección, lo que a menudo impide la extracción de claves seguras (umbral de cero clave).
• Complejidad de la Seguridad: Las pruebas de seguridad DIQKD requieren optimizar sobre todos los modelos cuánticos posibles compatibles con las estadísticas observadas, lo que es computacionalmente muy costoso y difícil de manejar en escenarios realistas con ruido.
• Brecha entre Teoría y Práctica: Aunque existen propuestas teóricas (como las pruebas de Bell enrutadas) que sugieren mejorar el rendimiento mediante auto-pruebas locales, faltaba un marco matemático riguroso que conectara estas pruebas locales imperfectas con protocolos de QKD dependientes del dispositivo, especialmente en presencia de errores finitos.

El objetivo central del trabajo es cerrar esta brecha: demostrar cómo las auto-pruebas locales robustas (realizadas por partes cercanas a los usuarios principales) pueden "elevar" un escenario DIQKD a un problema de optimización efectivamente dependiente del dispositivo, permitiendo tasas de clave más altas y análisis de seguridad más manejables.

2. Metodología

Los autores desarrollan un marco teórico que combina la teoría de auto-pruebas robustas con modelos de pruebas de Bell enrutadas. La metodología se divide en tres pilares principales:

A. Modelado de Pruebas de Bell Enrutadas y Restricciones de Marginal

Se comparan dos modelos existentes de pruebas de Bell enrutadas (donde un interruptor dirige los estados cuánticos hacia una prueba local o hacia la generación de claves):

1. Modelo con interruptor externo: El interruptor y la fuente son dispositivos separados.
2. Modelo con interruptor integrado: El interruptor es parte de la fuente.

Los autores demuestran que, bajo una restricción de marginal específica (la condición de que el estado recibido por Alice sea independiente de la configuración del interruptor), ambos modelos son estadísticamente equivalentes. Esta restricción es crucial para la seguridad; sin ella, un adversario podría explotar la información sobre si una ronda es de prueba o de clave para romper el protocolo (como se ilustra en el Ejemplo 2.1).

B. Auto-Pruebas Robustas y Reducción de Dimensionalidad

Se utiliza el marco de auto-pruebas robustas (introducido previamente en [36]) para manejar el ruido.

• Una auto-prueba perfecta permite inferir un modelo matemático único (estados y mediciones) a partir de las estadísticas observadas.
• Una auto-prueba robusta permite que, ante estadísticas imperfectas (ruidosas), el modelo real esté "cerca" (en términos de isometrías y estados auxiliares) de un modelo ideal de baja dimensión.
• Los autores definen dilataciones $\epsilon$-locales, donde los dispositivos reales de Alice y Bob pueden mapearse isométricamente a un modelo ideal con un error acotado por $\epsilon$.

C. Transferencia de Entropía y Optimización

El núcleo de la metodología es el Teorema 3.9, que establece una reducción de dimensión:

1. Se asume que Alice y Bob realizan auto-pruebas locales con sus respectivos socios (Fred y George) que son $\epsilon_A$ y $\epsilon_B$-robustas.
2. Esto permite "comprimir" el estado cuántico real (que podría ser de dimensión infinita o desconocida) a un estado ideal de dimensión finita ($\tilde{\rho}_{\tilde{A}\tilde{B}}$).
3. Se demuestra que la entropía condicional (que determina la cantidad de aleatoriedad secreta extraíble) en el escenario independiente del dispositivo está acotada inferiormente por la entropía en el escenario dependiente del dispositivo (ideal), menos un término de error que depende de la robustez de las auto-pruebas.
4. Esto transforma un problema de optimización DIQKD (infinito) en un problema de optimización dependiente del dispositivo (finito y manejable), con una penalización de seguridad controlada por el error de la auto-prueba.

3. Contribuciones Clave

1. Marco Matemático Riguroso para Auto-Pruebas Locales: Proporcionan la primera formulación matemática rigurosa que conecta las pruebas de Bell enrutadas con la seguridad de la QKD dependiente del dispositivo, validando la intuición de que las auto-pruebas locales pueden certificar los dispositivos en un entorno DIQKD.
2. Lifting (Elevación) Robusto: Demuestran que es posible "elevar" un protocolo DIQKD a uno dependiente del dispositivo incluso en presencia de errores finitos. Esto significa que no se requiere una auto-prueba perfecta (imposible en la práctica) para obtener beneficios; un rendimiento cercano al óptimo en la auto-prueba local es suficiente.
3. Análisis de Protocolo BB84 Enrutado: Aplican su marco al caso específico de un protocolo BB84 enrutado. Derivan una cota explícita para la tasa de clave asintótica que depende del valor de la violación de CHSH local y del error de la auto-prueba ($\epsilon$). Muestran que, a medida que $\epsilon \to 0$, se recupera la tasa de clave óptima de Shor-Preskill.
4. Análisis de Tamaño Finito: Extienden el análisis a escenarios de tamaño finito utilizando la acumulación de entropía de Rényi, demostrando cómo aplicar sus resultados teóricos a protocolos prácticos de spot-checking (Protocolo 1).

4. Resultados Principales

• Teorema 3.5 (Tasa de Clave): Para un protocolo BB84 enrutado donde Alice realiza una auto-prueba CHSH con probabilidad de victoria $\omega(CHSH) - \epsilon$, la tasa de clave DIQKD satisface:
  $$r_{key} \geq 1 - h(Q_Z) - h(Q_X) - O(\sqrt{\epsilon})$$
  Esto confirma que la tasa de clave se degrada suavemente con el error de la auto-prueba, recuperando el límite óptimo cuando el error es cero.
• Equivalencia de Modelos: Se prueba que los modelos de interruptores enrutados (Figuras 1a y 1b) son equivalentes bajo la restricción de marginal, lo que unifica diferentes enfoques previos en la literatura.
• Acotación de Errores: Se derivan cotas explícitas para los parámetros de error $\epsilon_A$ y $\epsilon_B$ basadas en la desviación del valor óptimo del juego CHSH, mostrando que $\epsilon \propto \sqrt{\delta}$, donde $\delta$ es la desviación del valor máximo cuántico.
• Robustez de la Restricción de Marginal: Se demuestra que la seguridad se mantiene incluso si la restricción de marginal (que el estado de Alice no dependa del interruptor) se cumple solo aproximadamente, siempre que la distancia de traza sea pequeña.

5. Significado e Impacto

Este trabajo es fundamental para el avance de la QKD de próxima generación:

• Viabilidad Experimental: Las pruebas de Bell enrutadas permiten superar el umbral de cero clave impuesto por las pérdidas de larga distancia. Al certificar localmente los dispositivos (donde las pérdidas son mínimas), se puede extraer más clave en la conexión de larga distancia.
• Puente Teórico-Práctico: Proporciona las herramientas matemáticas necesarias para analizar experimentos reales. Antes de este trabajo, era difícil cuantificar la seguridad de estos protocolos híbridos (DI + local) en presencia de ruido. Ahora, los experimentadores pueden modelar sus dispositivos como "casi ideales" y calcular tasas de clave seguras utilizando herramientas de QKD dependiente del dispositivo.
• Escalabilidad: El marco es generalizable a configuraciones multipartitas y no se limita al caso de dos partes, abriendo la puerta a redes cuánticas más complejas.
• Hacia la Implementación Real: Al ofrecer un análisis de tamaño finito y cotas de error concretas, el artículo allana el camino para la implementación de protocolos DIQKD que sean tolerantes a fallos y eficientes en distancias largas, superando las limitaciones actuales de la DIQKD pura.

En resumen, el artículo establece que la auto-prueba local robusta es una herramienta poderosa para transformar problemas de seguridad DIQKD intratables en problemas de optimización manejables, ofreciendo una ruta realista hacia la distribución de claves cuánticas seguras a largas distancias.