Enhancing the security of coherent one-way quantum key distribution using CHSH correlations

Resumen Técnico: Mejora de la Seguridad de la Distribución de Claves Cuánticas de un Solo Camino Coherente mediante Correlaciones CHSH

Planteamiento del Problema
El protocolo de Distribución de Claves Cuánticas (QKD) de un Solo Camino Coherente (COW, por sus siglas en inglés) ha sido ampliamente implementado en pruebas de campo y redes comerciales debido a su arquitectura simple y su viabilidad experimental. Sin embargo, su seguridad ha sido objeto de debate durante mucho tiempo. Mientras que los análisis iniciales sugerían que la tasa de clave secreta escalaba linealmente con la transmitancia del canal ($O(\eta)$), las demostraciones rigurosas de seguridad incondicional demostraron posteriormente que el protocolo es fundamentalmente vulnerable a ataques específicos (como el ataque de error cero), lo que resulta en una escala cuadrática de la tasa de clave ($O(\eta^2)$). Esta limitación restringe severamente la distancia de transmisión segura, indicando estudios recientes una distancia máxima segura de menos de 20 km. Además, la seguridad estándar de COW se basa en el monitoreo de la coherencia entre pulsos adyacentes, lo cual ha demostrado ser insuficiente para detectar estrategias de interceptación sofisticadas que preservan la coherencia mientras extraen información.

Metodología
Los autores proponen un protocolo COW modificado que integra un marco de seguridad semi-independiente del dispositivo (SDI). La innovación central consiste en reemplazar el monitoreo de coherencia estándar por una verificación directa de las correlaciones de tipo Bell utilizando la desigualdad de Clauser-Horne-Shimony-Holt (CHSH). Las modificaciones del protocolo incluyen:

1. Preparación de Estados (Alice): El conjunto de estados transmitidos se expande de los tres estados originales para incluir un cuarto estado, $|1x\rangle$, creando una base X simétrica. El protocolo ahora utiliza:

   • Datos de la base Z: $|0z\rangle = |0\rangle|\alpha\rangle$ y $|1z\rangle = |\alpha\rangle|0\rangle$.
   • Señales de señuelo de la base X: $|0x\rangle = |\frac{\alpha}{\sqrt{2}}\land\frac{\alpha}{\sqrt{2}}\rangle$ y $|1x\rangle = |-\frac{\alpha}{\sqrt{2}}\land\frac{\alpha}{\sqrt{2}}\rangle$.
     Estos estados de la base X aproximan superposiciones de cúbits en el subespacio definido por los estados de la base Z para números medios de fotones pequeños ($\alpha \ll 1$).

2. Configuración de Medición (Bob): La línea de monitoreo, tradicionalmente un interferómetro de Mach-Zehnder (MZI) para verificaciones de visibilidad de base X fija, se modifica para permitir bases de medición variables requeridas para la prueba CHSH.

   • El MZI se configura con un divisor de haz asimétrico (relación 85:15) y un modulador de fase.
   • Al ajustar el desplazamiento de fase ($\phi$) entre $0$y$\pi$, Bob puede cambiar entre dos bases de medición $B_1 = \frac{1}{\sqrt{2}}(\sigma_z + \sigma_x)$ y $B_2 = \frac{1}{\sqrt{2}}(\sigma_z - \sigma_x)$, mientras que los observables de Alice permanecen fijos en $A_1 = \sigma_z$ y $A_2 = \sigma_x$.
   • Los autores proporcionan una derivación rigurosa de la transformación unitaria para este MZI asimétrico, resolviendo las discrepancias dimensionales mediante la introducción de un modo de tiempo virtual para asegurar una descripción unitaria válida.

3. Análisis de Seguridad: La prueba de seguridad utiliza el Lema de Hashing de Sobrante Cuántico (Quantum Leftover Hashing Lemma). La tasa de clave secreta extraíble está acotada por la entropía mínima suave de la clave bruta condicionada a la información del interceptor. Crucialmente, la entropía mínima está acotada inferiormente por el parámetro CHSH, $S$. El protocolo es seguro si $S > 2$ (viola el realismo local) y la Tasa de Error de Bit Cuántico (QBER) permanece por debajo de un umbral específico.

Resultados Clave
A través de simulaciones numéricas utilizando parámetros realistas (eficiencia de detector de 90–99%, tasas de conteo oscuro de $10^{-7}$ a $10^{-8}$, y 1% de desalineación del canal), los autores demuestran:

• Distancia Segura Extendida: El protocolo modificado extiende la distancia máxima de transmisión segura, previamente reportada como un límite de menos de 20 km, a aproximadamente 259 km.
• Comportamiento de Escala: A diferencia de las pruebas de seguridad incondicional previas para COW que predecían una escala cuadrática ($O(\eta^2)$), el método propuesto restaura una escala lineal ($O(\eta)$) de la tasa de clave secreta con la transmitancia del canal. Este rendimiento iguala al del protocolo de estados señuelo (Decoy-State) BB84.
• Violación de CHSH: Las simulaciones confirman que el parámetro CHSH $S$ permanece por encima del límite clásico de 2 a largas distancias, siempre que se gestione la tasa de conteo oscuro, certificando así la presencia de correlaciones no locales necesarias para la seguridad.
• Comparación: Al compararse con otras variantes de COW (incluyendo aquellas con elección de base activa o estados señuelo de vacío), el método propuesto demuestra tasas de clave superiores a largas distancias debido a la ventaja de la escala lineal.

Significancia y Reivindicaciones
El artículo afirma que este trabajo representa un avance significativo para la viabilidad práctica de la red COW-QKD en redes de larga distancia. La principal significancia radica en dos áreas:

1. Mejora de la Seguridad: Al desplazar la certificación de seguridad desde el simple monitoreo de coherencia hacia la violación de correlaciones de tipo Bell, el protocolo puede detectar una clase más amplia de ataques, incluyendo aquellos que anteriormente eran indetectables.
2. Adaptación Metodológica: Los autores adaptan con éxito la desigualdad CHSH —tradicionalmente asociada con esquemas basados en entrelazamiento— a un marco de preparación y medida de COW con alteraciones mínimas de hardware. Este enfoque ofrece una herramienta de monitoreo versátil que podría extenderse potencialmente a otros protocolos basados en estados coherentes.

Los autores concluyen que este marco revisado no solo logra una distancia de transmisión segura récord, sino que también establece una metodología robusta para mejorar la seguridad de varios esquemas de QKD sin requerir las altas eficiencias de detección o las condiciones libres de brechas (loophole-free) que típicamente demandan las QKD totalmente independientes del dispositivo.