Design rules for fault-tolerant multi-gate teleportation

Resumen Técnico: Reglas de Diseño para la Teletransportación Multipuerta Tolerante a Fallos

Planteamiento del Problema
La computación cuántica distribuida (DQC) depende de la teletransportación de puertas remotas entre módulos para escalar la potencia de cómputo. La teletransportación de puertas secuencial estándar consume un bit entrelazado (ebit) por cada puerta remota. La teletransportación multipuerta (MGT) ofrece una optimización de recursos al empaquetar $n$ puertas remotas en un único "paquete" impulsado por un solo ebit, utilizando un árbol de fan-out CNOT local para distribuir el control. Si bien esto ahorra $n-1$ ebits, introduce un riesgo crítico de tolerancia a fallos: un único fallo en el enlace no local se propaga a través del árbol de fan-out, inyectando un error de Pauli correlacionado de peso-$n$ en los qubits objetivo. Esto contrasta con la teletransportación secuencial, donde los fallos del enlace producen errores independientes de peso-1. El problema central abordado es determinar el tamaño máximo de paquete $n$ que preserva la tolerancia a fallos bajo este modelo de error correlacionado, específicamente para códigos de superficie rotados, e identificar si los decodificadores estándar pueden explotar la estructura de correlación conocida.

Metodología
El artículo emplea una combinación de derivación analítica y simulación numérica:

1. Modelado de Errores: Los autores modelan un paquete MGT de mismo control donde un CNOT no local es seguido por CNOTs de fan-out locales. Demuestran que un fallo en el qubit de control (o en el enlace no local) se propaga para crear una cadena de Pauli contigua de peso-$n$ en los objetivos. Bajo ruido de depolarización, la tasa efectiva para este error peligroso es $2p_{net}/3$.
2. Reglas de Diseño Analíticas: Los autores derivan tamaños máximos de paquete basados en los mecanismos de fallo del decodificador de Emparejamiento Perfecto de Peso Mínimo (MWPM). Analizan la condición en la que un error de peso-$n$ y su complemento a lo largo de un operador lógico forman un par de síndrome degenerado.
3. Simulación Numérica: Utilizando PyMatching, los autores simulan modelos de error de detector (DEMs) para códigos de superficie rotados de distancias $d \in \{5, 7, 9\}$. Comparan dos configuraciones de decodificador:
   • Decodificador Naive: Construido a partir de un DEM base que trata el paquete como $n$ errores independientes.
   • Decodificador Consciente de la Correlación: Construido a partir del DEM específico del circuito del paquete, que codifica el error correlacionado como un único borde con peso $-\ln(p_{net})$.
4. Métricas de Rendimiento: El estudio evalúa las Tasas de Error Lógico (LER) a través de diversas relaciones de ruido red-a-puerta ($\gamma = p_{net}/p_{gate}$), comparando el paquete MGT contra una línea base secuencial por enlace.

Contribuciones Clave

1. Caracterización de Errores Correlacionados: El artículo establece que los paquetes MGT producen inherentemente errores de Pauli contiguos de peso-$n$ a partir de fallos únicos de red, un modo de fallo distinto de los modelos de ruido independiente por enlace utilizados en la literatura previa de computación distribuida.
2. Reglas de Diseño para el Tamaño del Paquete: Los autores derivan dos límites distintos para el tamaño máximo de paquete seguro $n_{max}$ para un código de distancia $d$:
   • Límite Naive: $n_{max}^{naive} = \lfloor d/2 \rfloor$. Esto se aplica si el decodificador ignora la correlación.
   • Límite Consciente de la Correlación: $n_{max}^{corr} = \lceil d/2 \rceil$. Este límite es alcanzable si el decodificador trata el error correlacionado como un único borde de bajo peso.
   • La extensión de $\lfloor d/2 \rfloor$ a $\lceil d/2 \rceil$ ocurre porque el decodificador consciente de la correlación reconoce el error del paquete único como más barato que los $n$ errores independientes requeridos para formar el camino complementario en el grafo de emparejamiento.
3. Integración del Decodificador: El artículo demuestra que no se requiere una arquitectura de decodificador personalizada para lograr el límite mejorado. El decodificador MWPM estándar, cuando se construye a partir del DEM a nivel de circuito del paquete, codifica naturalmente la estructura de correlación y corrige automáticamente el error de peso-$n$ hasta el límite de $\lceil d/2 \rceil$.
4. Compromisos de Rendimiento: El estudio cuantifica el compromiso entre el ahorro de entrelazamiento y las tasas de error. Identifica que la MGT supera a la teletransportación secuencial cuando la red es el cuello de botella ($\gamma \gg 1$), pero puede incurrir en una ligera penalización a $\gamma$ bajo debido a la sobrecarga de puertas de fan-out locales adicionales.

Resultos

• Capacidad de Corrección de Errores: Las simulaciones confirman que un decodificador consciente de la correlación corrige exitosamente paquetes de tamaño $n = \lceil d/2 \rceil$. Por ejemplo, en $d=9$, los paquetes de tamaño $n=4$ son corregibles, mientras que un decodificador naive falla en este tamaño.
• Tasas de Error Lógico (LER):
  • En $\gamma$ moderado-alto (p. ej., $\gamma \ge 10$), la LER del paquete consciente de la correlación iguala o supera la línea base secuencial. La ventaja crece con tanto $\gamma$ como $d$.
  • En $\gamma$ bajo ($\approx 1$), la LER del paquete es ligeramente superior (ratio $\le 1.13$) porque las $n-1$ puertas locales adicionales introducen ruido de puerta sin un ahorro de red significativo.
  • La LER del paquete consciente de la correlación se vuelve independiente de $\gamma$ (manteniéndose en el piso de ruido de la puerta) porque el decodificador absorbe el fallo del paquete único, mientras que la línea base secuencial acumula $n$ fallos de red independientes.
• Esquemas Híbridos: Para paquetes que exceden $n_{max}^{corr}$, el artículo propone un árbol de fan-out $k$-ario (usando $k$ ebits) para reducir el peso del error en el peor de los casos a $\approx n/k$, restaurando la tolerancia a fallos.

Significancia y Reivindicaciones
El artículo afirma proporcionar las primeras reglas de diseño que consideran simultáneamente el ahorro de recursos de comunicación y el ruido correlacionado en la computación cuántica distribuida. Su principal significancia radica en permitir que los compiladores de circuitos distribuidos "conscientes del ruido" favorezcan la empaquetación por fan-out sin sacrificar la tolerancia a fallos.

Los autores aseveran que:

• Los ahorros de entrelazamiento de la MGT son viables para la computación tolerante a fallos siempre que el tamaño del paquete respete el límite de $\lceil d/2 \rceil$ y el decodificador utilice el DEM a nivel de circuito.
• El modo de fallo correlacionado es una consecuencia estructural del cuello de botella de 1-ebit, lo que hace que las conclusiones sean independientes de la interfaz (aplicables a protocolos EJPP, basados en mediciones o de estados CAT).
• En regímenes donde el ruido de red domina al ruido de puerta local ($\gamma \gtrsim 10$), lo cual es consistente con las estimaciones experimentales actuales para interconexiones fotónicas, la MGT ofrece una ventaja decisiva sobre la teletransportación secuencial al reducir la acumulación de errores de red independientes.

El artículo mantiene la modestia respecto a su alcance, señalando que las afirmaciones cuantitativas son específicas para códigos de superficie rotados y modelos simplificados de ruido de depolarización, mientras que las conclusiones cualitativas sobre los límites estructurales se espera que se extiendan a otros códigos CSS y decodificadores de peso mínimo. El trabajo futuro se difiere hacia códigos qLDPC, ruido sesgado e integración completa de ruido a nivel de circuito.