Robust Bell Nonlocality from Gottesman-Kitaev-Preskill States

Resumen Técnico: No localidad de Bell Robusta a partir de Estados de Gottesman–Kitaev–Preskill

Planteamiento del Problema
Las violaciones de la desigualdad de Bell son esenciales para certificar la no-clasicidad y descartar el realismo local. Sin embargo, en sistemas de variables continuas (CV), la demostración de la no localidad de Bell está limitada por el esquema de medición. Si bien la detección homodina ofrece una alta eficiencia —crucial para cerrar la brecha de detección—, está fundamentalmente limitada: la no localidad de Bell no puede generarse a partir de mediciones gaussianas en estados gaussianos. En consecuencia, se requieren estados no gaussianos. Las propuestas existentes que utilizan sustracción de fotones o estados de gato óptico sufren de fragilidad ante la pérdida, y sus características no gaussianas suelen degradarse en implementaciones realistas. Además, probar las desigualdades de Bell en sistemas CV requiere discretizar los resultados continuos mediante el uso de "binning" (agrupación). Los enfoques previos a menudo optimizaban el binning para estados o configuraciones específicas, lo que afectaba la robustez y la magnitud de las violaciones observadas. La pregunta central abordada es si la codificación Gottesman–Kitaev–Preskill (GKP), que codifica naturalmente cúbits en modos bosónicos, puede permitir violaciones de Bell robustas utilizando únicamente detección homodina y un binning fijo, incluso en presencia de un exprimido (squeezing) finito y ruido.

Metodología
Los autores proponen un marco donde cada parte realiza una detección homodina en un modo bosónico compartido y discretiza el resultado continuo mediante una regla de binning periódica y fija. Este binning corresponde a mediciones de Pauli lógicas ($X, Y, Z$) sobre el cúbit codificado.

1. Estado de Recurso: El estudio utiliza estados GKP de red cuadrada. Los codificadores GKP ideales son peines de Dirac no normalizables. Los autores modelan estados realistas utilizando una aproximación de energía finita generada por un filtro de energía $e^{-\epsilon \hat{n}}$. Esto reemplaza el peine de Dirac con una red de picos gaussianos estrechos bajo una envolvente gaussiana más amplia, caracterizada por un parámetro de exprimido $r_{dB}$.
2. Esquema de Medición: Las partes miden cuadraturas rotadas $\hat{q}_{\theta}$ en ángulos específicos ($\theta_Z=0, \theta_X=\pi/2, \theta_Y=\pi/4$) correspondientes a $Z, X$ e $Y$ lógicos. El resultado continuo $q_\theta$ se mapea a un bit binario $o \in \{0, 1\}$ basándose en si cae dentro de intervalos periódicos $R_o$.
3. Marco Teórico: Los autores derivan una expresión analítica explícita para la distribución de probabilidad conjunta de $N$ partes $p(o|x)$ para cualquier estado codificado GKP de energía finita. Al expandir el estado codificado en términos de operadores de Pauli lógicos y utilizar la estructura de mezcla gaussiana de las funciones de Wigner GKP, reducen la probabilidad de $N$ modos a un producto de solapamientos de un solo modo. Estos solapamientos se expresan mediante series absolutamente convergentes que involucran funciones de error (Ec. 7).
4. Pruebas de Bell: El marco se aplica a escenarios multipartitos ($N \ge 3$) utilizando dos estructuras de entrelazamiento distintas:
   • Estados GHZ: Probados mediante la desigualdad de Mermin–Ardehali–Belinskii–Klyshko (MABK).
   • Estados W: Probados mediante una desigualdad de probabilidad de tipo Cabello.
     El estudio también analiza los efectos de la pérdida de fotones (modelada como un canal de divisor de haz con transmisividad $\eta$) y el ruido térmico.

Contribuciones Clave y Resultados

• Teorema de No-Go Bipartito: Los autores establecen una obstrucción fundamental para sistemas bipartitos: para estados de par de Bell, las mediciones de Pauli (implementadas mediante homodina + binning fijo) generan solo correlaciones locales en el escenario CHSH. No es posible una violación en el caso bipartito bajo estas restricciones.
• Violaciones Multipartitas: Más allá de dos partes, el estudio demuestra que los estados GHZ y W codificados con GKP y con exprimido finito exhiben una fuerte no localidad multipartita. Violan desigualdades de Bell multipartitas utilizando solo lectura homodina.
• Herramienta Analítica: La derivación de la fórmula de solapamiento de un solo modo (Ec. 7) proporciona un vínculo eficientemente computable entre los parámetros físicos GKP (exprimido, estructura de red) y las estadísticas de homodina con binning resultante. Esto permite la evaluación numérica de las violaciones de Bell bajo pérdida y exprimido finito.
• Umbrales y Robustez:
  • Exprimido (Squeezing): Un mayor exprimido ($r_{dB}$) mejora la aproximación de las mediciones de Pauli lógicas, aumentando los valores de violación de Bell.
  • Pérdida: La pérdida de fotones emborrona la rejilla del espacio de fase, reduciendo la distinguibilidad. Los autores definen un parámetro de exprimido crítico ($r_{crit}$) como el exprimido mínimo requerido para violar una desigualdad específica para un nivel de pérdida dado.
  • Comparación: Se encuentra que los estados de tipo W (probados con la desigualdad de Cabello) son más robustos al exprimido finito que los estados GHZ (probados con MABK). Específicamente, los testigos de tipo W alcanzan violaciones en umbrales de exprimido más bajos que los testigos de tipo GHZ para el mismo número de partes ($N=3$).
  • Compensación de Ruido: El análisis cuantifica un "presupuesto de ruido", mostrando que una mayor transmisión puede compensar un ruido térmico moderado, pero se requiere un ruido cercano al vacío para tolerar una atenuación significativa.
• Distancia Geométrica: El análisis de la distancia geométrica al politopo local confirma que las correlaciones de tipo W son más robustas al exprimido finito. Además, aumentar las configuraciones de medición de 2 a 3 amplifica drásticamente esta distancia, sugiriendo que la no localidad basada en homodina es más rica de lo que capturan los testigos estándar de dos configuraciones.

Significancia y Reivindicaciones
El artículo afirma proporcionar una ruta hacia pruebas de Bell prácticas y libres de brechas (loophole-friendly) en sistemas de variables continuas. Al aprovechar la codificación GKP, los autores muestran que es posible lograr violaciones de Bell robustas utilizando únicamente detección homodina de alta eficiencia y binning fijo, sin requerir operaciones no gaussianas complejas (como puertas T) o estados no gaussianos frágiles.

• Relevancia Experimental: Los resultados son directamente aplicables a plataformas donde los estados GKP han sido realizados, como iones atrapados, cavidades de microondas y fuentes fotónicas integradas.
• Escalabilidad: Aunque los estados GHZ pueden generarse utilizando acoplamientos gaussianos y operaciones de Clifford (compatibles con arquitecturas GKP), la preparación de los estados W sigue siendo un desafío, ya que requiere recursos no-Clifford. Los autores identifican esto como un obstáculo experimental clave.
• Impacto Más Amplio: El marco analítico (Ec. 7) se extiende más allá de las pruebas de Bell, ofreciendo herramientas para protocolos de preparar-y-medir y certificación de privacidad en detección cuántica distribuida.

El trabajo concluye que los estados GKP sirven como un puente natural entre los requisitos de la computación cuántica tolerante a fallos y la necesidad de una certificación robusta y de alta eficiencia de la no localidad cuántica en tecnologías fotónicas y de variables continuas.