Composable free-space continuous-variable quantum key distribution using discrete modulation

Resumen Técnico: QKD de Variables Continuas con Modulación Discreta y Componibilidad para Espacio Libre

Planteamiento del Problema
La distribución de claves cuánticas (QKD) de variables continuas (CV) ofrece una vía para la comunicación cuánticamente segura compatible con la infraestructura coherente clásica existente. Aunque los protocolos modulados con distribuciones gaussianas han sido ampliamente estudiados y demostrados en redes de fibra, dependen de una idealización teórica de distribuciones continuas. Las implementaciones prácticas están limitadas por la resolución digital finita de los dispositivos electrónicos, lo que requiere sistemas de modulación discreta (DM).

Existe una brecha crítica en la realización experimental de DM-CV QKD con garantías de seguridad rigurosas. Las demostraciones experimentales previas de DM-CV QKD se han limitado en gran medida al cálculo de tasas de clave asintóticas, a menudo asumiendo eficiencias de corrección de errores idealizadas o ignorando el impacto de los errores de trama (FER) en la clave secreta final. Además, las pruebas de seguridad existentes para la modulación discreta suelen basarse en supuestos gaussianos o carecen de seguridad componible en el régimen de tamaño finito, lo cual es un requisito previo para aplicaciones criptográficas. Adicionalmente, mientras que los sistemas basados en fibra están maduros, la expansión de la QKD a canales atmosféricos urbanos de espacio libre requiere adaptaciones específicas para manejar la turbulencia sin los problemas de birrefringencia presentes en otros esquemas de codificación.

Metodología
Los autores presentan un sistema de QKD de CV móvil diseñado para canales atmosféricos urbanos, empleando codificación de polarización y modulación de desplazamiento de fase de cuadratura (QPSK) discreta.

• Capa Física: El sistema utiliza la naturaleza no birrefringente de la atmósfera codificando los estados cuánticos en los parámetros de Stokes de modos de polarización circular ortogonales (derecha e izquierda). Un oscilador local (LO) brillante y estados de señal discretos se preparan en el mismo modo espacial pero en polarizaciones ortogonales. Esta configuración es equivalente a la detección homodina con un LO transmitido, donde el LO y la señal comparten las mismas distorsiones de frente de onda, lo que permite la autocompensación de la turbulencia durante la detección de Stokes.
• Preparación de la Señal: El sistema opera en modo ráfaga (burst mode), transmitiendo tramas que contienen estados de referencia, guarda, señal y vacío. Los estados de la señal se codifican utilizando pulsos de Hermite-Gaussian de primer orden sobremuestreados. Esta elección del modo temporal desplaza el espectro de la señal lejos del régimen de baja frecuencia, mitigando el ruido de baja frecuencia y las derivas comunes en los enlaces atmosféricos.
• Prueba de Seguridad: Los autores implementan una nueva prueba de seguridad basada en la Ref. [30], que permite el cálculo de tasas de clave de tamaño finito componibles contra ataques colectivos independientes e idénticamente distribuidos (i.i.d.) sin ningún supuesto gaussiano. La prueba involucra:
  • Prueba de Energía: Para acotar el peso de los estados cuánticos fuera de un espacio de corte de dimensión finita.
  • Prueba de Aceptación: Para verificar que las estadísticas observadas caen dentro de un conjunto predefinido de operadores de densidad aceptados.
  • Optimización: Se resuelve un programa semidefinido (SDP) no lineal para minimizar la entropía de von Neumann condicional $H(X|E)$ sobre el conjunto de estados que pasan las pruebas, utilizando un enfoque de linealización de dos pasos y dualidad.
• Pipeline de Post-procesamiento: Se implementó un pipeline completo de QKD (AIT-QPS), que incluye:
  • Generación de Números Aleatorios Cuánticos (QRNG): Basada en la detección homodina balanceada del estado de vacío.
  • Corrección de Errores: Utilizando códigos de baja densidad de paridad (LDPC) en modo de reconciliación inversa.
  • Amplificación de la Privacidad: Utilizando hashing de matrices de Toeplitz.
  • Manejo de Errores de Trama: A diferencia de enfoques previos que aplican un factor de escala simple $(1-\text{FER})$ a la tasa de clave, esta implementación se adhiere estrictamente a la declaración de seguridad. Los bloques fallidos se divulgan completamente, aumentando el término de fuga ($\text{leak}_{EC}$) en la fórmula de la tasa de clave, lo que reduce directamente la longitud de la clave extraíble.

Contribuciones Clave

1. Primera Demostración Experimental de DM-CV QKD de Tamaño Finito Componible: El artículo reporta la primera demostración de laboratorio de un sistema de QKD de CV utilizando modulación discreta que calcula tasas de clave de tamaño finito componibles contra ataques colectivos i.i.d. sin supuestos gaussianos.
2. Codificación de Polarización para Espacio Libre: El sistema demuestra con éxito la codificación de polarización en un canal atmosférico turbulento y no birrefringente, ofreciendo una alternativa viable a la codificación de amplitud/fase para enlaces de espacio libre.
3. Tratamiento Riguroso de los Errores de Trama: El trabajo destaca el impacto crítico de los errores de trama en la generación de claves secretas. Al tratar los bloques de corrección de errores fallidos como información totalmente divulgada en lugar de simplemente escalar la tasa de clave, los autores demuestran que operar demasiado cerca del umbral de corrección de errores (para maximizar la eficiencia) puede resultar en claves secretas de cero o significativamente reducidas debido al alto costo de divulgar los bloques fallidos.
4. Implementación Completa del Protocolo: El experimento integra todo el stack de QKD, desde el QRNG y la preparación de estados hasta la corrección de errores y la amplificación de la privacidad, logrando un parámetro de seguridad total de $\epsilon < 1 \cdot 10^{-10}$.

Resultos
En una demostración de laboratorio que emula un canal de pérdida de 3 dB (representando un enlace atmosférico), el sistema logró lo siguiente:

• Tasas de Clave: Se alcanzaron tasas de clave de tamaño finito componibles de hasta $2.26 \cdot 10^{-2}$ bits por símbolo contra ataques colectivos i.i.d.
• Generación de Clave Secreta: Para un tamaño de bloque de $N = 1.2 \cdot 10^9$ estados, el sistema extrajo con éxito claves secretas con una longitud máxima de 1.6 MB.
• Parámetros de Seguridad: El parámetro de seguridad total se limitó en $\epsilon_{imp} < 1 \cdot 10^{-10}$.
• Impacto de los Errores de Trama: El estudio comparó diferentes puntos de operación. Mientras que operar cerca del umbral de los códigos LDPC produjo una alta eficiencia de corrección de errores ($\beta \approx 89\%$), la Tasa de Error de Trama (FER) resultante de ~16% condujo a una clave secreta de solo 0.19 MB. Al moderar la amplitud para reducir la FER a ~5.9% (manteniendo $\beta \approx 88\%$), la clave secreta extraída aumentó a 1.6 MB. Esto confirma que minimizar la FER es crucial para maximizar la longitud final de la clave cuando se utiliza el marco de seguridad riguroso.

Significancia
El artículo afirma que este trabajo cierra la brecha entre las pruebas de seguridad teórica para la QKD de CV con modulación discreta y las aplicaciones criptográficas prácticas. Al demostrar un sistema que genera claves componibles de tamaño finito sin supuestos gaussianos y al contabilizar rigurosamente los errores de trama en el análisis de seguridad, los autores proporcionan una base robusta para el despliegue de redes de QKD en entornos atmosféricos urbanos reales. Los resultados subrayan que, para aplicaciones prácticas, optimizar para la mayor eficiencia asintótica es insuficiente; el sistema debe sintonizarse para minimizar los errores de trama para asegurar la generación de una clave secreta no nula y segura. Este enfoque allana el camino para expandir las redes QKD más allá de las dorsales de fibra hacia entornos de espacio libre.