Secure One-Sided Device-Independent Quantum Key Distribution Under Collective Attacks with Enhanced Robustness

Resumen Técnico: Distribución de Claves Cuánticas de Un Solo Lado con Seguridad Independiente del Dispositivo bajo Ataques Colectivos con Robustez Mejorada

Planteamiento del Problema
La seguridad en la Distribución de Claves Cuánticas (QKD) depende tradicionalmente de supuestos dependientes del dispositivo (DD), donde todos los dispositivos son confiables, o de supuestos independientes del dispositivo (DI), donde la seguridad se garantiza únicamente mediante la violación de desigualdades de Bell. Aunque la DI-QKD ofrece la mayor seguridad, su implementación experimental se ve dificultada por requisitos estrictos, particularmente altas eficiencias de detección (a menudo >92%) y la necesidad de pruebas de Bell sin brechas (loophole-free). Por el contrario, la DD-QKD es experimentalmente viable pero vulnerable a ataques de canal lateral si los dispositivos no están caracterizados. La QKD de un solo lado Independiente del Dispositivo (1sDI-QKD) ofrece un punto medio al asumir la confianza en solo uno de los dispositivos de medición de las partes (típicamente Bob), utilizando el steering cuántico para certificar la seguridad. Los protocolos 1sDI existentes a menudo carecen de una expresión de tasa de clave asintótica de forma cerrada que vincule directamente la violación de steering observada con la información del espía, o dependen de límites basados únicamente en las Tasas de Error de Bits Cuánticos (QBER) en lugar de desigualdades de steering explícitas. Este artículo aborda la brecha en la derivación de una tasa de clave analítica de forma cerrada para 1sDI-QKD bajo ataques colectivos, utilizando específicamente la desigualdad de steering de tres ajustes de Cavalcanti–Jones–Wiseman–Reid (CJWR).

Metodología
Los autores proponen un protocolo 1sDI-QKD basado en el entrelazamiento donde Alice (no confiable) y Bob (confiable) comparten un estado de Bell máximamente entrelazado. El protocolo emplea tres mediciones de Pauli binarias por parte. Los bits de la clave se extraen de las rondas donde ambas partes miden en la base $\sigma_z$, mientras que las otras rondas se utilizan para estimar el parámetro de steering CJWR $F_3$.

El análisis de seguridad se realiza contra ataques colectivos óptimos, donde el espía (Eve) aplica operaciones idénticas e independientes en cada ronda. La derivación sigue una estrategia de reducción de cuatro pasos:

1. Reducción de Dimensionalidad: Utilizando las simetrías de la desigualdad CJWR, los autores demuestran que el ataque óptimo de Eve puede restringirse a un subespacio de dos cúbits, incluso si el espacio de Hilbert subyacente es de mayor dimensión.
2. Reducción de Estado: El análisis se reduce además a estados Bell-diagonales. Los autores demuestran que cualquier estado de dos cúbits puede simetrizarse en una forma Bell-diagonal sin alterar el valor del funcional CJWR, simplificando así el cálculo de la información accesible para Eve.
3. Cálculo de la Cota de Holevo: Los autores derivan una cota superior para la información accesible de Eve (cuantificada por la cantidad de Holevo $\chi$) para estados Bell-diagonales. Al utilizar desigualdades entrópicas, relacionan este límite directamente con la violación de $F_3$ observada.
4. Derivación de la Tasa de Clave: Combinando la información mutua entre Alice y Bob (derivada del QBER) y la cota superior de la información de Eve, los autores aplican la fórmula de Devetak–Winter para obtener una cota inferior de forma cerrada sobre la tasa de clave secreta asintótica.

Contribuciones Clave

• Tasa de Clave de Forma Cerrada: El artículo deriva una expresión analítica explícita para la tasa de clave asintótica en 1sDI-QKD:
  $$r_{1sDI} \geq 1 - h(Q) - h\left(\frac{1 + \sqrt{(F_3^2 - 1)/2}}{2}\right)$$
  donde $Q$ es el QBER, $F_3$ es el parámetro de steering CJWR observado, y $h(x)$ es la función de entropía binaria. Esto vincula directamente la tasa de clave con la violación de steering, de manera análoga a cómo la DI-QKD vincula las tasas con las violaciones de Bell.
• Análisis de Tolerancia al Ruido: El protocolo se evalúa bajo ruido de depolarización. Los autores muestran que el protocolo tolera un QBER crítico ($Q_c$) de 8.62%. Esto es significativamente mayor que los protocolos de DI-QKD estándar (típicamente 7.1% para esquemas basados en CHSH) y se acerca a la robustez de los esquemas DD totalmente confiables (11%), manteniendo supuestos de confianza más débiles que la DD.
• Umbrales de Eficiencia de Detección: El estudio modela las ineficiencias de detección en el lado no confiable (Alice) mediante resultados nulos.
  • Sin post-selección, la generación de claves seguras es posible con eficiencias de detección tan bajas como el 82.7% (bajo visibilidad ideal).
  • Con post-selección, el umbral desciende al 74.5%.
    Estos umbrales son notablemente más bajos que los requeridos para DI-QKD (a menudo >92%), resaltando la ventaja práctica del entorno 1sDI en entornos con pérdidas.

Resultados

• Robustez: El protocolo demuestra una tolerancia al ruido superior a los protocolos de DI-QKD existentes. Mientras que la DI-QKD basada en desigualdades de Bell de tres ajustes tolera hasta un 7.5% de QBER y las desigualdades de Bell asimétricas hasta un 8.34%, la propuesta de 1sDI basada en CJWR logra un 8.62%.
• Eficiencia: El análisis revela que la generación de claves seguras es factible con eficiencias de detección tan bajas como el 74.5% (con post-selección), lo cual está muy por debajo de los requisitos típicos del 92%+ para DI-QKD.
• Comparación: El artículo compara sus hallazgos con otros protocolos 1sDI (p. ej., Branciard et al., Tomamichel et al., Pramanik et al.). A diferencia de trabajos previos que acotan la información de Eve mediante QBER o relaciones de incertidumbre entrópica sin una dependencia de steering explícita, o aquellos que solo proporcionan cotas numéricas mediante programación semidefinida, este trabajo proporciona un límite analítico de forma cerrada, independiente del modelo y dependiente del par $(Q, F_3)$.

Significado y Reivindicaciones
Los autores afirman que este trabajo representa un paso significativo hacia la viabilidad experimental de la 1sDI-QKD. Al establecer una tasa de clave de forma cerrada que depende explícitamente de la violación de la desigualdad de steering, el protocolo simplifica la certificación de seguridad y mejora la relevancia práctica. Los hallazgos destacan la 1sDI-QKD como una alternativa robusta basada en steering para la comunicación cuántica segura, ofreciendo un equilibrio entre la viabilidad experimental de la DD-QKD y los supuestos mínimos de confianza de la DI-QKD. Los autores señalan que, aunque el análisis actual está restringido a la seguridad asintótica contra ataques colectivos, las cotas de ronda única derivadas sirven como un bloque de construcción fundamental para futuras extensiones hacia la seguridad composible contra ataques coherentes generales. El artículo concluye que estos resultados ofrecen perspectivas relevantes para implementaciones experimentales cercanas, particularmente en escenarios con detección imperfecta y canales ruidosos.