Sequential vs. Simultaneous Entanglement Swapping under Optimal Link-Layer Control

Resumen Técnico: Intercambio de Entrelazamiento Secuencial vs. Simultáneo bajo Control Óptimo de Capa de Enlace

Enunciado del Problema
Las redes cuánticas buscan distribuir entrelazamiento a través de rutas de múltiples saltos para habilitar aplicaciones como la distribución de claves cuánticas (QKD) independiente del dispositivo y la computación cuántica distribuida. Este proceso depende del intercambio de entrelazamiento, donde los nodos intermedios unen enlaces elementales más cortos en recursos de extremo a extremo más largos. Existen dos paradigmas arquitectónicos principales para la temporización de estos intercambios:

1. Simultáneo (Esperar e Intercambiar): El entrelazamiento se genera primero en todos los enlaces, seguido de una ejecución sincronizada y paralela de todos los intercambios. Esto requiere coordinación centralizada para la reserva de rutas y la sincronización de disparadores.
2. Secuencial (Intercambiar y Esperar): Los nodos intercambian tan pronto como los enlaces adyacentes producen entrelazamiento, extendiendo la cadena salto a salto. Esto permite una implementación completamente distribuida, sin conexión y conmutada por paquetes, donde los nodos actúan sobre información de estado puramente local.

Si bien la arquitectura secuencial sin conexión ofrece ventajas a nivel de sistema (eliminando la sobrecarga de configuración de rutas y la degradación elegante bajo múltiples flujos), expone cadenas parciales a búferes de almacenamiento intermedio. Esto hace que el intercambio secuencial sea vulnerable a la decoherencia de memoria de una manera que el intercambio simultáneo SWAP-ASAP evita por diseño. La pregunta central de investigación no es qué protocolo es teóricamente superior, sino: ¿En qué regímenes de hardware el protocolo secuencial sin conexión sigue siendo operativamente viable en comparación con la alternativa simultánea?

Metodología
Los autores presentan un estudio de principio de demostración utilizando una longitud de cadena fija de $n=4$ (cuatro enlaces, cinco nodos). El estudio emplea un marco de simulación de dos capas diseñado para aislar los efectos de la capa de red:

• Capa de Enlace: Cada enlace elemental está gobernado por una política fija de aprendizaje por refuerzo (RL) (basada en el marco WN2M2 de Yau et al.). El agente optimiza la tasa de clave secreta (SKR) del protocolo QKD de seis estados decidiendo localmente si esperar, descartar, destilar o consumir pares entrelazados. Crucialmente, la política de la capa de enlace se entrena independientemente y se mantiene fija en todos los experimentos de la capa de red.
• Capa de Red: Un controlador determinista y centralizado implementa el protocolo Secuencial o Simultáneo SWAP-ASAP. El controlador consume pares de los búferes de enlace (y de los búferes de cadena para el caso secuencial) para ensamblar pares de extremo a extremo.
• Variables: El estudio barre el tiempo de coherencia de memoria externa ($T_c^{ext}$) a lo largo de cuatro órdenes de magnitud, comparándolo con la latencia de anuncio de entrelazamiento por enlace ($\tau$). La relación $T_c^{ext}/\tau$ sirve como el parámetro operativo adimensional primario. El estudio también realiza un barrido fuera de la diagonal variando el tiempo de coherencia interno ($T_c^{int}$) y el tiempo de coherencia externo de forma independiente.

Contribuciones y Hallazgos Clave

1. Factorización Arquitectónica: El estudio demuestra que la tarea de la capa de enlace admite un único punto operativo adimensional (aproximadamente 0.1357–0.1358 bits/tick) independientemente de la longitud del enlace o del tiempo de coherencia interno, siempre que se cumpla el objetivo de fidelidad de entrega. Además, el barrido fuera de la diagonal revela que los resultados a nivel de cadena dependen únicamente del tiempo de coherencia externo ($T_c^{ext}$), y no del tiempo de coherencia interno ($T_c^{int}$) ni del entrenamiento específico de la política de la capa de enlace. Esto confirma que las diferencias de rendimiento entre los dos protocolos son atribuibles exclusivamente a la arquitectura de la capa de red.

2. Estructura de Regímenes de Tiempo de Coherencia: El rendimiento del intercambio secuencial está gobernado por una estructura de régimen distinta basada en la relación $T_c^{ext}/\tau$:

   • Régimen de Colapso ($T_c^{ext}/\tau \leq 25$): El intercambio secuencial colapsa a cero entregas de extremo a extremo. En este régimen, el tiempo de corte por par (el tiempo antes de que la fidelidad de un par almacenado caiga por debajo del umbral requerido) cae por debajo de un tick ($\tau$). En consecuencia, los pares de enlace caducan más rápido de lo que el controlador puede canalizarlos en cadenas parciales.
   • Régimen de Recuperación ($T_c^{ext}/\tau = 50$): El intercambio secuencial comienza a recuperarse, entregando tasas parciales.
   • Régimen de Equivalencia ($T_c^{ext}/\tau \approx 10,000–80,000$): Con tiempos de coherencia relajados (0.5s a 2s), el intercambio secuencial satura la tasa simultánea, con ambos protocolos coincidiendo dentro de un 0.4%.
   • Rendimiento Simultáneo: En contraste, el protocolo simultáneo SWAP-ASAP entrega una tasa constante en todo el barrido, ya que consume pares de enlace en el mismo tick en que se empujan y no mantiene almacenamiento intermedio de cadena.

3. Mecanismo de Fallo: El colapso del intercambio secuencial está impulsado por el "tiempo de permanencia en el búfer de cadena". El ensamblaje secuencial requiere que las cadenas parciales sobrevivan múltiples ticks en los búferes mientras esperan los enlaces aguas abajo. Cuando $T_c^{ext}$ es bajo, el ruido de almacenamiento hace que estas cadenas parciales decoheren antes de que el siguiente enlace esté listo. El intercambio simultáneo SWAP-ASAP evita esto realizando todos los intercambios en un solo tick (o $\lceil \log_2 n \rceil$ rondas) sin almacenamiento intermedio.

Significado y Afirmaciones
El artículo concluye que la "penalización sin conexión" observada en el intercambio secuencial no es una propiedad fundamental del protocolo, sino un fenómeno a corto plazo vinculado a los tiempos de coherencia limitados de las memorias cuánticas actuales.

• Viabilidad Dependiente del Régimen: En los regímenes de hardware actuales (donde $T_c^{ext}/\tau$ es bajo, por ejemplo, coherencia de milisegundos en tramos de decenas de kilómetros), la penalización es real y sustancial; el intercambio simultáneo SWAP-ASAP es la única opción viable para la entrega de flujo único.
• Viabilidad Futura: A medida que el hardware mejora y $T_c^{ext}/\tau$ aumenta, la penalización disminuye. El estudio sugiere que una vez que el tiempo de coherencia supera un cierto umbral en relación con la latencia, las ventajas a nivel de sistema de la arquitectura sin conexión y conmutada por paquetes (control distribuido, sin configuración de rutas) se vuelven accesibles sin compromiso de rendimiento.
• Implicaciones de Diseño: Los resultados indican que las mejoras en la coherencia de memoria externa (la capa de almacenamiento de la capa de red) son la superficie de diseño crítica para cerrar la brecha entre los protocolos secuencial y simultáneo. Se demuestra que las mejoras en la memoria interna de la capa de enlace son menos relevantes para la brecha de rendimiento a nivel de red en este contexto específico.

Los autores enmarcan estos hallazgos como una hipótesis consistente con sus datos de $n=4$, señalando que el punto de cruce preciso entre el régimen de brecha sustancial y el de equivalencia (el rango intermedio de $T_c^{ext}/\tau$) requiere mayor investigación. El estudio sirve como un ancla empírica para comprender los requisitos de hardware necesarios para realizar redes cuánticas distribuidas y conmutadas por paquetes.