Robust One-Sided Device-Independent Quantum Key Distribution via High-Dimensional Steering

Resumen Técnico: 1sDI-QKD Robusta de Un Solo Lado mediante el Uso de Alta Dimensión y Steering

Planteamiento del Problema
La Distribución de Claves Cuánticas (QKD) ofrece seguridad con información teórica, pero enfrenta limitaciones prácticas debido al ruido, las pérdidas de transmisión y las imperfecciones de los dispositivos. Aunque se ha demostrado que los sistemas cuánticos de alta dimensión (HD) mejoran la resiliencia contra el ruido y la pérdida en configuraciones dependientes del dispositivo, extender estos beneficios a escenarios de independencia de dispositivo sigue siendo un desafío. Los protocolos de QKD totalmente independientes del dispositivo (DI) requieren que no haya confianza en los dispositivos de medición, pero están severamente limitados por las pérdidas y aún no han demostrado ventajas significativas con dimensiones más altas. Por el contrario, la QKD de un solo lado independiente del dispositivo (1sDI) ofrece un punto medio factible, donde se asume que solo una parte (Bob) posee dispositivos confiables, mientras que la otra (Alice) opera con hardware no caracterizado o no confiable. Sin embargo, las pruebas de seguridad de 1sDI existentes están restringidas principalmente a sistemas de cúbits o configuraciones de medición específicas, y la implementación de mediciones genuinas de múltiples resultados requeridas para la 1sDI-QKD de alta dimensión ha sido un obstelo experimental significativo.

Metodología
Los autores proponen un análisis de seguridad sistemático y una implementación experimental de protocolos de 1sDI-QKD de alta dimensión aprovechando el quantum steering. La metodología consta de tres componentes principales:

1. Marco Teórico:

   • Escenario: El protocolo asume una fuente no confiable que distribuye estados entrelazados bipartitos a Alice (dispositivo no confiable) y Bob (dispositivo confiable). La seguridad se certifica mediante la violación de una desigualdad de steering, asegurando que las correlaciones observadas no puedan explicarse mediante un modelo de Estado Local Oculto (LHS).
   • Pruebas de Seguridad: Los autores analizan tres variantes de protocolo utilizando dos marcos de seguridad complementarios:
     • Protocolo de dos bases (Ia): Utiliza el marco de la Relación de Incertidumbre Entrópica (EUR).
     • Protocolos de d+1 bases (Ib e Ic): Utilizan un marco de entropía mínima formulado como un Programa de Semidefinida (SDP) restringido por desigualdades de steering.
   • Estrategia de Reconciliación: El análisis emplea reconciliación inversa, donde Alice (no confiable) corrige su clave basándose en los datos de Bob (confiable). Esto aprovecha la asimetría inherente del escenario 1sDI, produciendo tasas de clave más altas y mayor robustez al ruido en comparación con la reconciliación directa, particularmente a medida que la dimensión aumenta.
   • Manejo de Pérdidas: Para abordar el vacío de detección (detection loophole) en el lado de Alice, los autores adoptan una estrategia de resultado adicional, tratando los eventos de "no clic" como un resultado de medición adicional en lugar de descartarlos o asignarlos aleatoriamente. Esto permite desigualdades de steering tolerantes a la pérdida.

2. Análisis de Rendimiento:

   • Los autores modelan el sistema utilizando un modelo de pérdida por depolarización con visibilidad ($\nu$) y eficiencia de detección ($\eta$).
   • Derivan límites inferiores de las tasas de clave secreta en regímenes asintóticos contra ataques colectivos, evaluando las compensaciones del sistema de dimensión ($d$), ruido y pérdida para diferentes configuraciones de medición (2 bases frente a $d+1$ bases de spot-checking y $d+1$ bases de generación de múltiples claves).

3. Implementación Experimental:

   • Plataforma: El experimento utiliza pares de fotones entrelazados en el grado de libertad espacial transversal.
   • Fuente: Los fotones entrelazados se generan mediante Conversión Paramétrica Descendente Espontánea (SPDC) de Tipo II a 1550 nm.
   • Medición: Se utiliza un Conversor de Luz de Plano Múltiple (MPLC) para realizar mediciones de múltiples resultados y totalmente programables. El MPLC clasifica los modos espaciales en puntos gaussianos correspondientes a los resultados de las Bases Mutuamente Uniformes (MUBs).
   • Dimensiones: El montaje opera en dimensiones de hasta $d=11$, con datos experimentales recolectados para $d \in \{2, 3, 5, 7, 9, 11\}$.

Contribuciones Clave

• Análisis de Seguridad Sistemático: El artículo proporciona un análisis de seguridad exhaustivo para 1sDI-QKD de alta dimensión, demostrando que aumentar la dimensión del sistema mejora la robustez tanto contra el ruido como contra la pérdida, particularmente cuando se usa la reconciliación inversa.
• Variantes de Protocolo: Introduce y analiza tres variantes distintas de protocolo (dos bases, spot-checking y múltiples bases de generación de clave), mostrando que mientras el protocolo de dos bases ofrece actualmente los límites más ajustados vía EUR, los protocolos que utilizan conjuntos completos de MUBs ($d+1$ bases) muestran un potencial significativo para mejorar los límites de entropía mínima.
• Demostración Experimental: Los autores presentan la primera implementación de prueba de concepto de 1sDI-QKD de alta dimensión utilizando mediciones genuinas de múltiples resultados en el grado de libertad espacial, operando hasta la dimensión 11.
• Estrategia Tolerante a la Pérdida: El trabajo incorpora explícitamente los eventos de "no clic" de Alice en el análisis de seguridad mediante la estrategia de resultado adicional, evitando el vacío de detección asociado con la post-selección en el lado no confiable.

Resultos

• Hallazgos Teóricos:
  • Aumentar la dimensión $d$ mejora significamente la visibilidad crítica ($\nu_{cr}$) requerida para generar una clave secreta, permitiendo que el protocolo tolere niveles de ruido más altos.
  • La reconciliación inversa supera consistentemente a la reconciliación directa, con una ventaja que crece en dimensiones más altas.
  • Para el protocolo de dos bases, el umbral de eficiencia de detección mínima converge al 50% en el caso sin ruido, independientemente de la dimensión.
  • Para los protocolos de $d+1$ bases, el análisis sugiere que el uso de múltiples bases de generación de clave (Protocolo Ic) puede permitir tasas de clave positivas a eficiencias de detección por debajo del 50%, aunque los límites rigurosos para estos protocolos siguen siendo un problema abierto.
• Hallazgos Experimentales:
  • El experimento demostró con éxito violaciones de steering post-seleccionadas en todas las dimensiones investigadas ($d=2$ a $11$).
  • Bajo el supuesto de muestreo justo (fair-sampling), se obtuvieron tasas de clave secreta positivas para todas las dimensiones.
  • Las tasas de clave más altas se lograron en la dimensión $d=7$. Por ejemplo, en el protocolo de dos bases, la tasa de clave aumentó de ~0.87 bits ($d=2$) a ~2.02 bits ($d=7$) antes de declinar en dimensiones superiores debido a imperfecciones experimentales (menor visibilidad).
  • Los datos experimentales mostraron una buena concordancia con el modelo teórico de pérdida por depolarización.

Significancia
El artículo afirma que este trabajo cierra la brecha entre las propuestas teóricas de 1sDI-QKD de alta dimensión y la implementación práctica. Al demostrar que el entrelazamiento de alta dimensión puede aprovecharse para mejorar la robustez de la 1sDI-QKD contra el ruido y la pérdida, los autores proporcionan una vía viable hacia redes de comunicación cuántica más prácticas. El uso de MPLC para mediciones programables de alta dimensión aborda un cuello de botella crítico para la realización de la HD QKD. Los resultados sugieren que, si bien la QKD totalmente DI sigue siendo un desafío, el escenario 1sDI con sistemas de alta dimensión ofrece una alternativa robusta para escenarios donde una parte puede desplegar hardware confiable (por ejemplo, centros de datos, bancos) mientras se comunica con dispositivos menos seguros y no confiables. Los autores señalan que lograr una implementación libre de vacíos (loophole-free) en regímenes de pérdida realistas sigue siendo un objetivo futuro, pero el presente trabajo establece los bloques de construcción necesarios y la justificación teórica para tales avances.