Robust self-testing and certified randomness based on chained Bell inequality

Resumen Técnico: Autotesteo Robusto y Aleatoriedad Certificada Basada en Desigualdades de Bell de Entrada Arbitraria

1. El Problema

El autotesteo (self-testing) es el protocolo de certificación más fuerte en la teoría de la información cuántica, permitiendo caracterizar un sistema físico (fuentes y dispositivos de medición) únicamente a partir de las estadísticas observadas de entrada-salida, sin necesidad de conocer el funcionamiento interno de los dispositivos ni la dimensión del sistema (enfoque independiente del dispositivo o DI).

Sin embargo, existen desafíos significativos:

• Limitaciones de la Lema de Jordan: Los métodos tradicionales de autotesteo para desigualdades de Bell con dos entradas (como CHSH) dependen del Lema de Jordan, que permite diagonalizar observables en bloques de $2 \times 2$. Este lema no se extiende a casos con más de dos mediciones o resultados, lo que hace que el autotesteo para desigualdades de Bell con múltiples entradas (como la desigualdad en cadena) sea extremadamente difícil.
• Dependencia de la Dimensión: Muchos métodos anteriores asumen una dimensión específica del sistema (por ejemplo, qubits) o no derivan el estado óptimo directamente de las condiciones de optimización.
• Ruido e Imperfecciones: En experimentos reales, el ruido impide alcanzar la violación cuántica óptima. Se requieren técnicas de autotesteo robustas que funcionen incluso cuando las mediciones se desvían del valor ideal.
• Generación de Aleatoriedad: Aunque se ha demostrado la generación de aleatoriedad, muchos protocolos requieren precisiones ilimitadas o no analizan la robustez de la aleatoriedad generada frente al ruido.

2. Metodología

Los autores proponen un protocolo DI basado en la desigualdad de Bell en cadena de entrada arbitraria, donde dos partes (Alice y Bob) realizan un número arbitrario $n$ de mediciones dicotómicas.

• Técnica Suma de Cuadrados (SOS) Independiente de la Dimensión:

  • Desarrollan un método analítico elegante basado en la descomposición suma de cuadrados (SOS).
  • Definen un operador positivo semidefinido $\Gamma_n$ tal que el funcional de Bell $C_n$ se puede escribir como $\langle C_n \rangle = \beta_n - \langle \Gamma_n \rangle$.
  • La violación cuántica óptima se alcanza cuando $\langle \Gamma_n \rangle = 0$. Esta condición de optimización permite derivar directamente las relaciones entre los observables locales y el estado cuántico, sin asumir la dimensión del sistema.
  • Derivan explícitamente las relaciones de conmutación y anticonmutación de los observables para $n$ par e impar, demostrando que el estado óptimo es un estado entrelazado máximo puro.

• Protocolo de Autotesteo mediante Circuito de Intercambio (Swap-Circuit):

  • Utilizan un circuito de intercambio (swap-circuit) para construir una isometría local. Este circuito "transfiere" las propiedades del sistema físico desconocido a un sistema de referencia conocido (un estado de Bell de dos qubits), certificando así el estado y las mediciones.
  • Definen observables efectivos ($Z_A, X_A, Z_B, X_B$) a partir de las mediciones originales $A_i, B_j$ para $n$ par e impar, demostrando que satisfacen las relaciones algebraicas necesarias para el autotesteo.

• Análisis de Robustez:

  • Analizan el impacto del ruido asumiendo que las implementaciones imperfectas de los observables ($\tilde{X}, \tilde{Z}$) se desvían de las ideales por un margen $\epsilon$.
  • Derivan cotas analíticas para la distancia de traza entre el estado real y el estado ideal, y para la fidelidad de los observables, en función de la desviación de la violación de la desigualdad de Bell.

3. Contribuciones Clave

• Derivación Analítica sin Suposiciones de Dimensión: A diferencia de trabajos previos que asumían estados de dos qubits, este trabajo deriva el estado y los observables óptimos puramente a partir de las condiciones de optimización del método SOS, siendo válido para cualquier dimensión.
• Superación del Lema de Jordan: El método SOS permite realizar el autotesteo para un número arbitrario de entradas $n$, superando la limitación del Lema de Jordan que restringía los métodos anteriores a dos entradas.
• Autotesteo Robusto con Escalabilidad: Demuestran que la robustez del autotesteo mejora a medida que aumenta el número de configuraciones de medición $n$. Es decir, con un $n$ mayor, el protocolo puede extraer el estado con mayor fidelidad incluso ante violaciones de Bell más débiles (mayor ruido).
• Certificación de 2 Bits de Aleatoriedad: Proporcionan un protocolo para generar y certificar 2 bits de aleatoriedad global (máximo posible para dos observables dicotómicos) utilizando la desigualdad en cadena, específicamente para valores impares de $n$, analizando su robustez frente al ruido.

4. Resultados Principales

• Violación Cuántica Óptima: Se deriva la violación óptima para la desigualdad en cadena como $(C_n)_{opt}^Q = 2n \cos(\frac{\pi}{2n})$.
• Fidelidad y Robustez:
  • Se establecen relaciones analíticas entre la desviación de la violación óptima ($\xi$) y la fidelidad del estado extraído.
  • Se demuestra que para $n=11$, la fidelidad del estado converge a 1 cuando la violación relativa observada $r \approx 0.8774$, y para los observables cuando $r \approx 0.97$.
  • La tolerancia al ruido ($\xi$) aumenta significativamente con $n$ (de 0.052 para $n=3$ a 0.22 para $n=11$), indicando que protocolos con más entradas son más tolerantes a imperfecciones experimentales.
• Aleatoriedad Certificada:
  • Para $n$ impar, se identifica un par de mediciones $(A_i, B_{i + \frac{n-1}{2}})$ que produce correlaciones nulas ($\langle A_i B_j \rangle = 0$), resultando en una distribución de probabilidad uniforme de $1/4$ para los cuatro resultados posibles.
  • Esto certifica 2 bits de aleatoriedad ($R_{max} = 2$).
  • Se analiza la degradación de la aleatoriedad en presencia de ruido, proporcionando fórmulas para la aleatoriedad mínima y máxima certificada ($\tilde{R}_{min}$ y $\tilde{R}_{max}$) en función del parámetro de ruido $\epsilon$.

5. Significado e Impacto

Este trabajo representa un avance significativo en la teoría de la información cuántica independiente del dispositivo:

• Viabilidad Experimental: Al demostrar que aumentar el número de configuraciones de medición ($n$) mejora la robustez del autotesteo, ofrece una ruta práctica para implementar protocolos de certificación en entornos ruidosos, donde alcanzar la violación teórica máxima es imposible.
• Aplicaciones en Criptografía y Computación: La capacidad de certificar estados y observables de manera robusta es fundamental para la distribución de claves cuánticas (QKD) segura y la computación cuántica verificable.
• Generación de Aleatoriedad: La demostración de la generación de 2 bits de aleatoriedad con un análisis de robustez sólido es crucial para aplicaciones que requieren fuentes de aleatoriedad verificables y seguras.
• Generalización: El método SOS presentado es sistemático y elegante, lo que sugiere que puede aplicarse para derivar violaciones óptimas y realizar autotesteo en una amplia variedad de otras desigualdades de Bell con entradas arbitrarias, abriendo nuevas vías de investigación en redes cuánticas y escenarios multipartitos.

En resumen, el artículo proporciona una herramienta teórica robusta y escalable para la certificación de sistemas cuánticos en condiciones realistas, superando las limitaciones de los métodos anteriores y facilitando la implementación de tecnologías cuánticas seguras.