Measurement Geometry as a Resource for Certifying Network Nonlocality

Resumen Técnico: La geometría de la medición como un recurso para certificar la no localidad de red

Planteamiento del problema
Las redes cuánticas generan correlaciones no clásicas que no pueden explicarse mediante modelos clásicos con fuentes independientes. Si bien el papel del entrelazamiento en estas redes está bien establecido, el impacto del diseño de la medición —específicamente la geometría de las mediciones conjuntas en los nodos intermedios— permanece en gran medida inexplorado. Los estudios existentes se han centrado principalmente en demostrar violaciones de testigos para configuraciones de medición específicas, dejando un vacío en la comprensión de cómo la elección de las mediciones no locales influye en el nivel certificable de la no localidad de red. Además, existe la necesidad de un marco operativo para evaluar los complejos observables no locales requeridos para certificar la No Localidad de Red Completa (FNN, por sus siglas en inglés) en hardware cuántico programable.

Metodología
Los autores desarrollan un marco operativo basado en circuitos de medidores asistidos por ancillas para evaluar observables no locales en una red bilocal de Alice–Bob–Charlie.

• Configuración de la red: La red consta de dos fuentes independientes que distribuyen pares entrelazados a Alice y Bob, y a Bob y Charlie, respectivamente. Bob posee dos subsistemas ($B_A$ y $B_C$) y realiza mediciones conjuntas para mediar las correlaciones entre las partes externas.
• Testigos: El marco apunta a dos niveles de no localidad:
  1. Violación de Variables Ocultas Bilocales (BLHV): Certificar correlaciones que violan el supuesto de dos fuentes clásicas independientes ($S_{BLHV} > 1$).
  2. No Localidad de Red Completa (FNN): Certificar correlaciones que excluyen cualquier modelo donde al menos una fuente permanezca clásica. Esto requiere la violación simultánea de dos testigos híbridos, $R_{CNS}$ y $R_{NSC}$, que acotan los modelos de clásico–no local (NS) y NS–clásico, respectivamente.
• Implementación: Los observables no locales, incluyendo los correladores de cuerpo múltiple y las mediciones parciales de estado de Bell en los qubits de Bob, se extraen utilizando circuitos asistidos por ancillas que preservan el estado de la red durante la medición.
• Hardware: El protocolo se implementa en un procesador superconductor de 156 qubits (IBM Kingston, arquitectura Heron) con mitigación de errores de lectura. El estudio recorre el parámetro de entrelazamiento $\theta$ y, en un análisis separado, varía los ángulos de la medición conjunta de Bob $(\phi, \varphi)$ para mapear la "geometría de la medición".

Contribuciones Clave

1. Marco Operativo: El artículo establece un método para evaluar los testigos de BLHV y FNN en hardware cuántico mediante circuitos asistidos por ancillas, reproduciendo con éxito las predicciones teóricas en simulación.
2. Certificación Experimental: Los autores reportan la certificación exitosa de la no localidad bilocal en hardware ($S_{BLHV} = 1.067(6)$) y demuestran que los testigos de FNN alcanzan el 99% y el 96% de sus umbrales de certificación, resaltando las estrictas demandas experimentales de la FNN.
3. La Geometría de la Medición como un Recurso: Un hallazgo central es que el nivel accesible de no localidad de red está determinado no solo por la fuerza del entrelazamiento, sino también por la geometría de la medición del nodo intermedio. El estudio revela que las certificaciones de BLHV y FNN se optimizan con configuraciones de medición distintas.

Resultos

• Violación de BLHV: En el procesador IBM Kingston, la desigualdad bilocal fue violada con $S_{BLHV} = 1.067 \pm 0.006$ en el entrelazamiento máximo ($\theta = \pm \pi/2$), superando el límite clásico en más de seis desviaciones estándar. La violación se mantuvo sobre un amplio rango de entrelazamiento ($|\theta| \in [0.4\pi, 0.6\pi]$).
• Certificación de FNN: Aunque los testigos de FNN ($R_{CNS}$ y $R_{NSC}$) siguieron la dependencia teórica de $\theta$, el ruido del hardware atenuó los valores a $2.97$y$2.87$ respectivamente en el entrelazamiento máximo. Estos valores representan el 99% y el 96% del límite clásico (3), quedando justo por debajo de la certificación. Esta brecha subraya que la certificación de FNN es significativamente más frágil al ruido que la violación de BLHV.
• Dependencia de la Medición: Al variar el operador de medición conjunta de Bob $B_1(\phi, \varphi)$, los autores mapearon el espacio de parámetros de las configuraciones de medición.
  • La región que satisface la violación de BLHV cubre aproximadamente el 53% del espacio de parámetros, mientras que la región de certificación de FNN cubre solo un ~14%.
  • Las configuraciones óptimas para BLHV y FNN están desplazadas entre sí por $\pi/4$ en el parámetro $\phi$.
  • Crucialmente, el estudio demuestra que incluso con estados máximamente entrelazados, ambas violaciones pueden desaparecer si la geometría de la medición es subóptima.

Significancia
El artículo identifica la geometría de la medición como un recurso independiente para la no localidad de red, distinto del entrelazamiento distribuido por las fuentes. Establece que certificar formas más fuertes de no localidad (FNN) requiere no solo un entrelazamiento de alta fidelidad, sino también una alineación precisa de las configuraciones de medición conjunta. El trabajo proporciona una ruta práctica para certificar la no localidad de red en procesadores cuánticos programables e ilustra la sustancial brecha experimental entre verificar la bilocalidad y lograr la certificación de la no localidad de red completa. Los hallazgos sugieren que los futuros protocolos de red deben tratar el diseño de la medición como una variable de optimización crítica junto con la calidad de la fuente.