Randomness Certification and Trade-offs in the Prepare-and-Broadcast Scenario

Resumen Técnico: Certificación de Aleatoriedad y Compromisos en el Escenario de Preparar-y-Transmitir (Prepare-and-Broadcast)

Planteamiento del Problema
El artículo aborda las limitaciones de los escenarios estándar de preparar-y-medir (PAM) con restricciones de dimensión, donde un sistema cuántico es transmitido a un único receptor. Aunque los marcos de PAM han caracterizado con éxito testigos de dimensión, códigos de acceso aleatorio cuántico (QRAC) y no-clasicidad, no tienen en cuenta cómo la información codificada en un único sistema cuántico se distribuye entre múltiples observadores. Los autores investigan el escenario de Preparar-y-Transmitir (PAB), una extensión multipartita donde un sistema preparado se distribuye a través de un canal de transmisión a múltiples receptores (específicamente Bob y Charlie). El problema central consiste en comprender los compromisos fundamentales impuestos por la mecánica cuántica cuando la información se comparte entre varias partes y en desarrollar un marco para la certificación de aleatoriedad semi-independiente del dispositivo (SDI) dentro de esta estructura causal extendida.

Metodología
Los autores emplean una combinación de análisis geométrico, técnicas de optimización y relajaciones de programación semidefinida (SDP):

1. Definición del Escenario: El escenario PAB se define donde Alice prepara un sistema de $d$ dimensiones (específicamente un qubit, $d=2$) basado en una entrada $x$. Este sistema pasa a través de un canal de transmisión $T$ (clásico, cuántico o no-signaling) para producir salidas para Bob ($y, b$) y Charlie ($z, c$). Las estadísticas observadas son $p(b, c|x, y, z)$.
2. Análisis de Compromisos (Trade-offs): Los autores analizan la coexistencia de los testigos de PAM (comportamientos marginales) y la no-localidad de Bell (correlaciones condicionales conjuntas). Utilizan el método de la función de soporte para derivar cotas inferiores en las curvas de compromiso y relajaciones SDP (específicamente la jerarquía de nivel $(1, 2)$ de la Ref. [29]) para establecer cotas superiores.
3. Certificación de Aleatoriedad: Se desarrolla un marco semi-independiente del dispositivo para acotar la probabilidad de acierto de un adversario (Eve).
   • Información Lateral Clásica: Eve es modelada como alguien que tiene acceso a una variable oculta clásica $\lambda$ que correlaciona con los dispositivos. La probabilidad de acierto se acota descomponiendo el comportamiento observado en ramas convexas compatibles con el valor del testigo observado.
   • Información Lateral Cuántica: El modelo adversarial se fortalece para permitir que Eve posea un sistema cuántico correlacionado con el dispositivo de medición mediante una isometría, representando un adversario más poderoso en el régimen SDI.
4. Optimización: El proceso de certificación implica resolver SDPs para maximizar la probabilidad de acierto de Eve sujeta a las restricciones impuestas por los valores de los testigos observados (por ejemplo, $S_3$, $S_4$, o $W_{PAB}$) y la restricción de dimensión.

Contribuciones Clave y Resultados

1. Compromisos Fundamentales:

   • PAM vs. Bell: Los autores demuestran que, si bien las violaciones de PAM (ventaja de comunicación cuántica) y las violaciones de Bell (no-localidad) pueden coexistir en el escenario PAB, están sujetas a compromisos cuantitativos. El aumento del valor del testigo de PAM reduce la violación de Bell máxima alcanzable.
   • Compromiso Receptor-Receptor: Existe un compromiso más fuerte entre los testigos de PAM marginales de los dos receptores. Si un receptor viola un testigo de PAM (por ejemplo, $S_4$), el otro no puede violar el testigo correspondiente simultáneamente.
   • Conexión con la Clonación: La curva de compromiso para las probabilidades de éxito de los QRAC $2 \to 1$ ($P_B, P_C$) en el escenario PAB se muestra coincidente exactamente con el límite para la clonación cuántica de fase covariante asimétrica óptima. Específicamente, $(P_B - 1/2)^2 + (P_C - 1/2)^2 = 1/8$. Esto establece que la ventaja cuántica del QRAC no puede ser compartida; si un receptor excede el límite clásico ($3/4$), el otro debe caer por debajo de este.

2. Certificación de Aleatoriedad en PAM:

   • Los autores analizan los testigos $S_3$ (tres preparaciones) y $S_4$ (cuatro preparaciones).
   • Encuentran que el testigo $S_3$ es más efectivo para certificar la aleatoriedad en entradas de generación específicas, siendo capaz de certificar un bit completo de aleatoriedad en la violación máxima.
   • Por el contrario, el testigo $S_4$, aunque es óptimo para tareas de QRAC, está sesgado en la entrada de generación óptima, limitando la aleatoriedad certificable a aproximadamente 0.228 bits en esa configuración específica.

3. Certificación de Aleatoridad en PAB:

   • Utilizando el testigo PAB $W_{PAB}$ (Ec. 11), los autores muestran que la violación cuántica máxima ($W_Q = 8 + 2\sqrt{2}$) certifica dos bits de aleatoriedad conjunta para el par de salida $(B, C)$.
   • Este resultado supera el límite de aproximadamente 1.23 bits alcanzable desde la violación máxima de la desigualdad CHSH en escenarios Bell estándar.
   • La certificación es robusta, tolerando niveles de ruido significativamente más altos que los protocolos basados en desigualdades de Bell inclinadas (tilted Bell inequalities). Notablemente, la certificación de dos bits ocurre incluso cuando el comportamiento condicional en la entrada de generación es Bell-local, apoyándose en cambio en la restricción de dimensión y las correlaciones a través de diferentes entradas de preparación.

4. Información Lateral Cuántica:

   • El artículo extiende el análisis a un adversario que posee información lateral cuántica. Al modelar el canal de transmisión como una isometría donde Eve retiene la salida complementaria, los autores derivan cotas sobre la probabilidad de acierto.
   • Los resultados indican que, si bien la información lateral cuántica reduce la aleatoriedad certificable en comparación con el modelo de información lateral clásica, el marco PAB sigue siendo un entorno viable para la certificación de aleatoriedad SDI contra adversarios cuánticos.

Significancia y Reivindicaciones
El artículo afirma que el escenario de Preparar-y-Transmitir proporciona un marco natural y poderoso para estudiar la distribución de la información cuántica y la no-clasicidad. Su principal significancia radica en:

• Unificación de la No-Clasicidad: Revela compromisos cuantitativos entre las ventajas de comunicación (PAM) y la no-localidad (Bell), vinculándolos con los límites fundamentales en la clonación cuántica.
• Aleatoriedad Mejorada: Demuestra que el escenario PAB puede certificar más aleatoriedad (dos bits) que los enfoques basados en Bell (CHSH) estándar, manteniendo al mismo tiempo la robustez frente al ruido, sin requerir una independencia total del dispositivo.
• Modelado Adversarial: Ofrece un entorno natural para la certificación de aleatoriedad SDI contra modelos adversariales más fuertes donde el espía retiene información lateral cuántica, cerrando la brecha entre los marcos PAM y los escenarios de red puramente cuánticos.

Los autores concluyen que estos hallazgos abren vías para el desarrollo de protocolos criptográficos semi-independientes del dispositivo y tareas de procesamiento de información que no tienen contraparte en los marcos estándar de preparar-y-medir.