Certified quantum supremacy in entanglement-assisted prepare-measure random-access-code

Resumen Técnico: Supremacía Cuántica Certificada en Códigos de Acceso Aleatorio de Preparar-Medir Asistidos por Entrelazamiento

Planteamiento del Problema
El artículo aborda las limitaciones de los Códigos de Acceso Aleatorio de Preparar-Medir (PMRAC, por sus siglas en inglés) estándar, un marco donde un emisor (Alice) codifica una cadena de $n$ bits en un sistema físico de dimensión $d$ (enviando $l < n$ bits o qubits) para que un receptor (Bob) decodifique un bit específico $x_y$ basado en una entrada $y$. Si bien los PMRAC cuánticos estándar ofrecen ventajas sobre sus contrapartes clásicas, este trabajo investiga un escenario "semi-independiente del dispositivo" (SDI) mejorado mediante entrelazamiento previo. Específicamente, los autores exploran una familia de juegos PMRAC de $n \to l$ asistidos por entrelazamiento donde Alice y Bob comparten un estado entrelazado bipartito. Alice aplica operaciones cuánticas locales (unitarias) a su subsistema para codificar su entrada $x$ y transmite sus $l$ qubits a Bob, quien realiza una medición conjunta sobre los qubits recibidos y su mitad retenida del estado entrelazado. El objetivo es determinar las probabilidades de éxito cuántico óptimas para estos juegos y demostrar la "supremacía cuántica" sobre tanto los RAC clásicos como los PMRAC cuánticos estándar (no asistidos por entrelazamiento).

Metodología
Los autores emplean un marco semi-independiente del dispositivo, asumiendo un límite en la dimensión del espacio de Hilbert del sistema comunicado sin confiar en el funcionamiento interno de los dispositivos de preparación y medición. La metodología central consiste en:

1. Optimización Analítica: Los autores derivan las probabilidades de éxito óptimas para casos específicos ($4 \to 1$, $4 \to 2$ y $5 \to l$) utilizando una elegante técnica analítica. Esto implica formular la probabilidad de éxito en términos de una función de correlación $I$ y maximizarla utilizando desigualdades convexas y propiedades de normas de Frobenius escaladas.
2. Certificación de Estado y Medición: Al analizar las condiciones requeridas para alcanzar los valores de correlación óptimos, los autores deducen las propiedades necesarias de los estados cuánticos compartidos, las unitarias de codificación de Alice y los observables de medición de Bob.
3. Generalización: El marco se extiende a un caso general de $n \to n-2$ para derivar límites superiores en las probabilidades de éxito cuántico para cualquier $n$.

Contribuciones Clave y Resultados

• PMRAC de $4 \to 1$ Asistido por Entrelazamiento:

  • Los autores derivan analíticamente la probabilidad de éxito cuántica óptima como $(P_{4\to1}^Q)_{opt} = \frac{1}{2} + \frac{1}{2\sqrt{2}} \approx 0.853$.
  • Este valor supera la probabilidad de éxito clásica óptima para $4 \to 2$ ($P_{4\to2}^C = 0.75$) y el PMRAC cuántico estándar ($P_{4\to1}^{SQ} \approx 0.7415$).
  • Certificación: Alcanzar esta probabilidad óptima certifica que el estado compartido es un estado de dos qubits máximamente entrelazado, que las operaciones de codificación de Alice son unitarias mutuamente anticonmutativas específicas y que las mediciones de Bob están determinadas de forma única por estos estados. Esto establece una capacidad de "auto-testeo" (self-testing) para las operaciones unitarias.

• PMRAC de $4 \to 2$ Asistido por Entrelazamiento:

  • La probabilidad de éxito cuántica óptima se deriva como $(P_{4\to2}^Q)_{opt} = \frac{1}{2} + \frac{\sqrt{3}}{4} \approx 0.933$.
  • Esto supera el límite clásico incluso cuando se comunican tres bits clásicos ($P_{4\to3}^C$).
  • Necesidad del Estado: Los autores demuestran que alcanzar este valor óptimo requiere que el estado compartido sea un estado GHZ de tres qubits (o un estado en la clase GHZ). A diferencia del caso $4 \to 1$, señalan la dificultad de probar analíticamente la existencia de una transformación de "gran unitaria" entre bases para este caso, aunque proporcionan construcciones explícitas para estados y mediciones.

• PMRAC de $5 \to l$ Asistido por Entrelazamiento:

  • El artículo deriva límites superiores para los escenarios $5 \to 1$, $5 \to 2$ y $5 \to 3$.
  • Los límites superiores derivados son aproximadamente $0.847$, $0.887$y$0.947$, respectivamente.
  • Estos resultados demuestran consistentemente una ventaja cuántica sobre los RAC clásicos para las mismas restricciones de comunicación.

• Caso General $n \to n-2$:

  • El marco se generaliza para cualquier $n$ donde $l = n-2$.
  • Se deriva un límite superior para la probabilidad de éxito cuántica: $P_{n\to n-2}^Q \leq \frac{1}{2} + \frac{\sqrt{n(n-1)}}{2^n}$.
  • El artículo confirma que para $n=\{3, 4, 5\}$, los resultados específicos derivados anteriormente satisfacen este límite general.

Significancia y Reivindicaciones
El artículo afirma demostrar la supremacía cuántica certificada en el contexto de juegos de comunicación asistidos por entrelazamiento. La principal significancia radica en la capacidad de no solo superar los protocolos clásicos y cuánticos estándar, sino también de certificar los recursos físicos y las operaciones subyacentes de una manera semi-independiente del dispositivo.

Específicamente, los autores afirman:

1. Superioridad: Los PMRAC asistidos por entrelazamiento superan estrictamente tanto a los RAC clásicos como a los PMRAC cuánticos estándar para los casos analizados.
2. Auto-testeo (Self-Testing): La probabilidad de éxito óptima en el caso $4 \to 1$ sirve como un testigo que certifica que el estado compartido está máximamente entrelazado, que las operaciones unitarias locales de Alice son operadores anticonmutativos específicos y que las mediciones de Bob están fijas.
3. Identificación de Recursos: Para el caso $4 \to 2$, se muestra que el valor óptimo es alcanzable solo si el recurso compartido es un estado de la clase GHZ, resaltando el papel específico del entrelazamiento multipartito en estas tareas de comunicación.

Los autores concluyen que su marco conceptual y técnico proporciona una base para investigar sistemáticamente los juegos de comunicación asistidos por entrelazamiento, aunque señalan que los casos de $n$ bits para un $l$ arbitrario siguen siendo computacionalmente exigentes y quedan para trabajos futuros. También sugieren que estudiar la robustez de estos protocolos frente al ruido es una dirección futura potencial.