Noise robustness of three outcome Bell certified quantum randomness

Resumen Técnico: Robustez al Ruido de la Aleatoriedad Cuántica Certificada con Tres Resultados

Planteamiento del Problema
La generación de aleatoriedad de dispositivo independiente (DI) se basa en la violación de las desigualdades de Bell para certificar que los resultados de las mediciones son intrínsecamente impredecibles, sin requerir suposiciones sobre el funcionamiento interno de los dispositivos. Aunque los protocolos estándar basados en mediciones de resultados binarios (por ejemplo, CHSH) están bien establecidos, están fundamentalmente limitados en la cantidad de aleatoriedad certificable por ronda experimental debido a las restricciones de los sistemas de qubits. Aunque los sistemas de alta dimensión y las mediciones de múltiples resultados ofrecen teóricamente correlaciones no locales y una mayor entropía, su utilidad práctica sigue siendo incierta, particularmente en lo que respecta a su robustez frente al ruido realista. Existe una brecha crítica en la comprensión de si los escenarios de múltiples resultados pueden mantener una aleatoriedad global significativa (la impredecibilidad conjunta de las salidas de todas las partes) en entornos ruidosos, y si tales ventajas están restringidas a desigualdades cuidadosamente diseñadas o si surgen de manera genérica.

Metodología
Los autores investigan la certificación de aleatoriedad DI en escenarios bipartitos donde cada parte tiene tres resultados de medición ($d=3$). El estudio emplea dos enfoques metodológicos principales:

1. Evaluación de Desigualdades Conocidas: Los autores analizan diversas expresiones de Bell establecidas, incluyendo SATWAP, CGLMP, Buhrman–Massar (BM), Kaniewski et al., Meyer et al., y una nueva desigualdad de Perito et al. Para permitir la certificación de aleatoriedad global, estas desigualdades se extienden añadiendo términos que requieren una configuración de medición adicional por parte de Bob, asegurando que el "ajuste de punto" (el par de entradas específico utilizado para la generación) certifique resultados uniformemente aleatorios.
2. Búsqueda Sistemática de Aleatoriedad: Los autores introducen un método para generar nuevas expresiones de Bell dentro de dos familias estructuradas:
   • Familia 1: Selección aleatoria de términos de probabilidad módulo-$d$ para cada par de configuraciones (excluyendo el ajuste de punto).
   • Familia 2: Asignación aleatoria de coeficientes independientes a cada término de probabilidad módulo-3.
     Se llevan a cabo búsquedas numéricas extensas (50,000 expresiones por escenario) a través de diversas configuraciones de ajustes de medición (por ejemplo, 3-2, 3-3, 4-2, 4-3).

Modelos de Ruido y Métricas de Certificación
La robustez de estas expresiones se evalúa bajo dos modelos de ruido:

• Ruido de tipo Werner: Una mezcla del estado cuántico ideal y el estado máximamente mezclado.
• Ruido de valor de Bell: Degradación directa del valor de Bell observado.

La aleatoriedad se cuantifica mediante la entropía mínima ($H_\infty = -\log_2 P_{guess}$), calculada utilizando el método de programación semidefinida (SDP) basado en la jerarquía de NPA. El estudio evalúa tanto la aleatoriedad certificada en un "ajuste de punto" específico como la aleatoriedad promedio sobre todos los posibles ajustes de entrada.

Resultados Clave

• Superioridad de los Escenarios de Múltiples Resultados: El estudio confirma que los escenarios de tres resultados pueden certificar significativamente más aleatoriedad global que sus contrapartes binarias de resultados (qubits), incluso bajo niveles de ruido comparables. Específicamente, ciertas desigualdades pueden certificar cerca del máximo teórico de $\approx 3.17$ bits de entropía mínima.
• Robustez al Ruido de las Desigualdades Conocidas: Entre las desigualdades conocidas, la introducida por Perito et al. [21] demuestra la mayor tolerancia al ruido, manteniendo la certificación de más de dos bits de aleatoriedad global en niveles de ruido donde otras desigualdades fallan. Esto supera el límite alcanzable con estrategias óptimas de proyectividad de qubits.
• Robustez Genérica en Familias Aleatorias: El estudio numérico a gran escala revela que los certificados de aleatoriedad fuerte no son artefactos raros de una ingeniería específica.
  • En la Familia 1, una fracción no despreciable de las expresiones generadas aleatoriamente certifica una aleatoriedad sustancial (a menudo superando los 2 bits).
  • Crucialmente, la gran mayoría de los certificados no triviales exhiben robustez contra el ruido realista (por ejemplo, $v=0.99$), manteniendo una aleatoriedad certificada positiva lejos del régimen ideal.
  • La Familia 2 produce menos certificados cercanos al óptimo en comparación con la Familia 1, lo que sugiere que las restricciones estructurales de la Familia 1 son más conducentes al hallazgo de desigualdades de alto rendimiento.
• Identificación de una Desigualdad Simple Cercana al Óptimo: Los autores identifican una desigualdad específica de la Familia 1 (Escenario 4-2, denominada "Caso F") que logra una aleatoriedad global casi máxima ($\approx 3.165$ bits bajo ruido de valor de Bell) mientras requiere solo dos ajustes de medición para una de las partes. Esta desigualdad es estructuralmente simple y equivalente a un miembro de la familia $(2, 4, 3)$ de [21] bajo reetiquetado.

Significancia y Reivindicaciones
El artículo sostiene que el potencial para una fuerte expansión de la aleatoriedad de dispositivo independiente en escenarios de múltiples resultados no está restringido a unas pocas desigualdades cuidadosamente construidas. En su lugar, los autores demuestran que:

1. Las correlaciones de alta dimensión son un recurso práctico: Proporcionan una ventaja genuina en la aleatoriedad certificable que persiste bajo condiciones de ruido realistas.
2. La robustez es genérica: La capacidad de certificar una aleatoriedad significativa en entornos ruidosos es una característica común dentro de familias de expresiones de Bell adecuadamente construidas, en lugar de una propiedad excepcional.
3. Eficiencia en los ajustes de medición: Es posible lograr una certificación de aleatoriedad cercana al óptimo con una complejidad de medición mínima (por ejemplo, usando solo dos ajustes para una parte), lo que mejora el equilibrio entre la aleatoriedad de salida y la aleatoriedad de entrada requerida para la ejecución del protocolo.

Los autores concluyen que la generación aleatoria estructurada es una herramienta poderosa para el descubrimiento de desigualdades de Bell competitivas, ofreciendo un camino sistemático para identificar expresiones que equilibren la entropía máxima, la robustez al ruido y la simplicidad experimental.