Improving device-independent quantum key distribution protocols through multiple routed Bell tests

Resumen Técnico: Mejora de los Protocolos de Distribución de Claves Cuánticas Independientes del Dispositivo mediante Múltiples Pruebas de Bell Enrutadas

Planteamiento del Problema
La distribución de claves cuánticas independiente del dispositivo (DI-QKD) ofrece seguridad con información teórica y con el mínimo de supuestos respecto al hardware experimental. Sin embargo, su implementación práctica enfrenta obstáculos significativos, particularmente el requisito de pruebas de Bell de largo alcance entre partes distantes. Si bien se han propuesto pruebas de Bell enrutadas con intercambio de entrelazamiento (utilizando unidades de Medición de Estado de Bell o BSM distantes) para relajar los requisitos de eficiencia de detección para dispositivos de larga distancia, estas dependen del supuesto de que las pruebas locales cerca de la fuente demuestran violaciones casi ideales.

Surge una vulnerabilidad crítica cuando las pruebas locales son imperfectas. En tales escenarios, un adversario (Eve) puede emplear una estrategia convexa donde la clave real se genera utilizando más estados locales de los observados por la prueba. Esto es facilitado por las eficiencias de detección no ideales de las BSM distantes. Eve puede bloquear selectivamente las contribuciones de la BSM de estrategias ideales, permitiendo que se utilicen más rondas locales para la generación de claves. Esto conduce a una sobreestimación de las tasas de claves secretas y crea una vulnerabilidad crítica, especialmente si Eve controla las fuentes y las BSM. Las soluciones existentes, como las configuraciones con eventos preparados (event-ready) que requieren memorias cuánticas, son actualmente inviables para distancias largas prácticas. Además, los métodos anteriores para reducir los requisitos de eficiencia a menudo requieren pruebas de Bell de largo alcance o estados hiperentrelazados de múltiples resultados complejos, que siguen siendo experimentalmente difíciles.

Metodología
Los autores proponen un protocolo DI-QKD modificado que utiliza múltiples fuentes y dispositivos de medición, introduciendo una técnica denominada Prueba de Bell de Señuelo (DBT, Decoy Bell Test). La arquitectura central involucra:

1. Múltiples Fuentes y Dispositivos: Alice utiliza $(N + t - 1)$ fuentes y dispositivos, donde $N$ corresponde al número de puertos en una BSM multiport y $t$ representa el número de dispositivos de prueba locales. Bob utiliza una única fuente.
2. Enrutamiento Aleatorio: En cada ronda, interruptores controlados por el usuario honesto (Alice) enrutan aleatoriamente los cúbits. Algunos cúbits se envían a la BSM distante (para rondas de generación de claves donde ocurre una proyección exitosa $z=1$), mientras que otros se enrutan a dispositivos locales para pruebas CHSH inmediatas.
3. Consistencia Condicional: El protocolo impone una restricción donde la violación de las pruebas de Bell locales debe permanecer consistente con la violación global observada, incluso cuando se logra una proyección BSM exitosa ($z=1$). Específicamente, la violación CHSH $S_{z=1}$ condicionada a los eventos exitosos de la BSM debe coincidir con la violación global $S$.
4. Análisis de Seguridad: El análisis de seguridad asume que la ruta de enrutamiento es desconocida para los dispositivos y la fuente. Los autores analizan estrategias adversarias donde Eve intenta maximizar la tasa de clave manipulando la distribución de las violaciones entre las rondas de BSM y las rondas locales. Derivan umbrales de eficiencia y calculan la tasa de clave secreta asintótica utilizando el límite de Devetak-Winter, considerando las restricciones impuestas por las DBT.
5. Extensión a SDI: El concepto de enrutamiento se extiende a un escenario semi-independiente del dispositivo (SDI) utilizando testigos de dimensión. Fuentes limitadas por cúbits envían estados a la BSM, asegurando la codificación correcta sin una caracterización completa del dispositivo, apoyándose en la misma lógica de enrutamiento.

Contribuciones Clave y Resultados

• Reducción de la Eficiencia de Detección Crítica: El resultado principal es una reducción significativa en la eficiencia de detección de la BSM ($\eta$) requerida para generar una tasa de clave secreta positiva. Para altas visibilidades (por ejemplo, parámetro Bell-CHSH $S \approx 2.77$), el uso de una BSM de 3 puertos ($N=3$) y 3 pruebas de Bell de señuelo ($t=3$) reduce el requisito de eficiencia crítica de aproximadamente 15% (sin las DBT) a ~4.7%.
• Rango de Mejora General: Para parámetros de Bell en el rango $2.75 \lesssim S \lesssim 2.8$, el protocolo logra una reducción de 4–12% en los requisitos de eficiencia de detección crítica en comparación con las pruebas de Bell enrutadas estándar.
• Potencial de Eficiencia Arbitraria: Los autores demuestran que, al aumentar el número de dispositivos de medición ($N$) y de pruebas de señuelo ($t$), el protocolo puede teóricamente soportar tasas de clave positivas a eficiencias de BSM arbitrarias, siempre que las pruebas locales sean suficientemente robustas.
• Requisitos de la Prueba Local: El protocolo traslada la carga experimental de las pruebas de largo alcance a configuraciones locales de corto alcance con alta eficiencia. Para que el protocolo sea seguro con eficiencias de detección locales finitas, los dispositivos locales requieren eficiencias de aproximadamente 92%.
• Extensión SDI: El artículo extiende con éxito la estrategia de enrutamiento a los testigos de dimensión, creando un protocolo semi-independiente del dispositivo que asegura la naturaleza limitada por cúbits de la fuente mientras mantiene la seguridad contra ataques específicos.

Significancia y Reivindicaciones
El artículo afirma que este enfoque permite la DI-QKD de larga distancia aprovechando configuraciones de enrutamiento de alto rendimiento y libres de brechas (loophole-free), así como múltiples pruebas locales, en lugar de depender de memorias cuánticas difíciles de implementar o de pruebas de Bell de largo alcance con violaciones ideales. Al imponer la consistencia entre las pruebas locales y los resultados de la BSM, el protocolo limita severamente las estrategias adversarias que explotan las eficiencias de detección imperfectas de la BSM.

Los autores enfatizan que este método permite a los investigadores centrar el enfoque de los experimentos prácticos en configuraciones de corto alcance, donde las altas eficiencias de detección y las fuertes violaciones CHSH son más factibles. Aunque la ventaja es más pronunciada en altas visibilidades y eficiencias de BSM ultra-bajas (típicas de experimentos de larga distancia), la técnica ofrece un camino viable para superar el cuello de botella de la eficiencia crítica en los protocolos DI-QKD. El artículo concluye que, si bien la realización experimental de tales configuraciones de enrutamiento sigue siendo un desafío, el marco teórico proporciona un método robusto para mejorar la distancia máxima alcanzable para los protocolos DI-QKD.