Semi-Device-Independent Quantum Key Distribution from Operational Assumptions

Resumen Técnico: Distribución de Claves Cuánticas Semi-Independiente del Dispositivo basada en Supuestos Operacionales

Planteamiento del Problema
La distribución de claves cuánticas semi-independiente del dispositivo (SDI-QKD) busca cerrar la brecha entre los protocolos totalmente independientes del dispositivo (que requieren pruebas de Bell libres de vulnerabilidades y son experimentalmente exigentes) y los protocolos estándar de preparación y medición (que requieren una caracterización completa de los dispositivos). Los marcos de trabajo de SDI-QKD existentes suelen depender de un supuesto de confianza respecto a la dimensión del espacio de Hilbert de la fuente. Sin embargo, este límite dimensional no cuantifica directamente la información operacionalmente accesible desde el conjunto de preparación, y un soporte de dimensión finita exacta suele ser una restricción antinatural para las fuentes ópticas (que ocupan espacios de Fock no acotados). Además, los protocolos actuales suelen confundir las pruebas de Código de Acceso Aleatorio (RAC) con la generación de claves, reteniendo errores de decodificación intrínsecos, y dependen de certificados de entropía que pueden no explotar plenamente las restricciones operacionales de la fuente.

Metodología
Los autores proponen un marco para SDI-QKD basado en supuestos operacionales de la fuente en lugar de límites dimensionales. Formulan cuatro supuestos distintos, cada uno definido por un límite superior escalar ($\tau$) sobre una tarea específica de recuperación de información realizada sobre el conjunto de cuatro preparaciones de Alice:

1. Discriminación de cuatro estados ($D$): La probabilidad óptima de identificar el estado emitido.
2. Discriminación de paridad ($\Pi$): La probabilidad óptima de inferir la paridad ($x_0 \oplus x_1$) de la cadena de entrada.
3. Discriminación asistida por exclusión ($D \oplus A$): Un compuesto de discriminación de cuatro estados y exclusión de estados (descartar un estado candidato).
4. Paridad asistida por exclusión ($\Pi \oplus A$): Un compuesto de discriminación de paridad y exclusión de estados.

El artículo deriva las fronteras exactas de los RAC clásicos para cada uno de estos cuatro supuestos sin restringir el alfabeto de mensajes clásicos. Además, analiza la desviación cuántica de estas fronteras utilizando dos familias específicas de deformaciones de la fuente:

• Despolarización de BB84 de preparación: Reduce el contraste de los estados (visibilidad $\nu$).
• Fuga de suma directa: Añade un sector ortogonal que revela explícitamente la entrada $x$ (fracción de fuga $\ell$).

Para certificar la seguridad, los autores emplean un protocolo de clave retenida de tres ajustes. Bob utiliza los ajustes $y=0, 1$ para la prueba de RAC y un tercer ajuste $y=2$ para la generación de claves en una rama específica ($x=00$ o $x=11$) donde la realización ideal de BB84 tiene error cero. Esto separa la prueba de la fuente de la generación de la clave.

La seguridad se certifica contra todas las extensiones Bob–Eve compatibles con el comportamiento observado de tres ajustes y el límite operacional de la fuente. Se derivan dos certificados de seguridad independientes de la dimensión:

1. Certificado de min-entropía: Obtenido mediante la optimización directa de la probabilidad de adivinación de la clave de Eve usando relajaciones de momentos no conmutativos.
2. Certificado PM-BFF: Una relajación semidefinida de preparación y medición basada en el límite variacional de Brown–Fawzi–Fawzi (BFF) para la entropía de von Neumann condicional, ajustada mediante la imposición de relaciones de estacionariedad de Sylvester y la construcción de localizadores de norma.

Contribuciones Clave y Resultados

• Fronteras Clásicas Exactas: El artículo establece los límites clásicos exactos para las puntuaciones de RAC bajo los cuatro supuestos operacionales. Demuestra que la estrategia BB84 alcanza la desviación cuántica máxima de todas las cuatro fronteras.
• Robustez Asistida por Exclusión: El hallazgo más significativo es que los supuestos que involucran la exclusión de estados ($D \oplus A$ y $\Pi \oplus A$) proporcionan una robustez mucho mayor que los supuestos de identificación únicamente ($D$ y $\Pi$).
  • Bajo despolarización de la preparación, los límites de solo identificación requieren una visibilidad alta (por ejemplo, $\nu > 0.72$ para $D$) para generar una tasa de clave positiva.
  • En contraste, los límites asistidos por exclusión certifican tasas de clave positivas incluso con una visibilidad de preparación casi nula ($\nu \approx 0.01$).
  • Esta ventaja persiste incluso bajo la despolarización del receptor de los decodificadores de referencia, siempre que la visibilidad del receptor supere el umbral de medibilidad conjunta ($\nu_M > 1/\sqrt{2}$).
• Fuga de Suma Directa: Bajo el modelo de fuga de suma directa, donde la fuente revela cada vez más $x$ mientras la rama de la clave permanece libre de errores, los cuatro límites de tasa optimizados independientemente permanecen positivos para cualquier fuga incompleta ($\ell < 1$) y solo desaparecen ante una fuga completa ($\ell = 1$).
• Certificación de Entropía: El certificado PM-BFF supera consistentemente al certificado de min-entropía, ampliando la región de tasa positiva. Para el límite implícito de dimensión fija ($D \leq 1/2$), el enfoque PM-BFF reduce la visibilidad crítica de 0.8895 (min-entropía) a 0.8741.
• Validación Numérica: Los autores demuestran que la desviación de BB84 está dentro de $5 \times 10^{-6}$ del óptimo cuántico de dimensión arbitraria para todos los cuatro supuestos, lo que sugiere que BB84 es casi óptimo para estas tareas.

Significancia y Reivindicaciones
El artículo sostiene que la seguridad robusta semi-independiente del dispositivo depende no solo de lo que un adversario (Eve) puede identificar, sino también de lo que puede excluir. Al cambiar de los límites dimensionales a los límites de tareas operacionales, específicamente aquellos que incorporan la exclusión de estados, el protocolo logra seguridad en regímenes de muy baja visibilidad de la fuente y alto ruido donde los métodos anteriores de SDI-QKD fallan.

El trabajo demuestra que:

1. Los supuestos operacionales de la fuente son una restricción más natural y poderosa que los límites de dimensión del espacio de Hilbert para fuentes ópticas.
2. Los supuestos asistidos por exclusión ($D \oplus A$ y $\Pi \oplus A$) eliminan estructuralmente las extensiones adversarias que los límites de solo identificación dejan admisibles.
3. La combinación de un protocolo de clave retenida de tres ajustes y el certificado de entropía PM-BFF reduce significativamente los umbrales de ruido para la generación de claves seguras, haciendo que la SDI-QKD sea factible en regímenes previamente considerados demasiado ruidosos.

Los autores concluyen que estos resultados muestran que es posible lograr una seguridad robusta aprovechando la incapacidad operacional de un adversario para excluir ciertos estados, incluso cuando no puede identificarlos perfectamente.