Towards the Characterization of Logical Errors in Distributed Lattice Surgery

Resumen Técnico: Caracterización de Errores Lógicos en la Cirugía de Red de Lattice Distribuida

Planteamiento del Problema
La computación cuántica distribuida (DQC, por sus siglas en inglés) ofrece una alternativa escalable a los procesadores cuánticos monolíticos mediante la interconexión de módulos más pequeños a través de pares entrelazados compartidos. Sin embargo, un desafío central en esta arquitectura es que las operaciones cuánticas inter-módulo son inherentemente más ruidosas que las puertas locales intra-módulo. Aunque el código de superficie planar es un fuerte candidato para la computación cuántica tolerante a fallos distribuida (FT-DQC) debido a su alto umbral y localidad geométrica, los análisis existentes suelen depender de modelos de ruido uniforme o asumen enlaces de entrelazamiento sin ruido. Existe una falta de comprensión sobre cómo el ruido específico introducido por las operaciones no locales —específicamente los pares de Bell imperfectos— afecta las tasas de error lógico y los umbrales de tolerancia a fallos de las operaciones fundamentales de cirugía de red, como la fusión (merge), bajo condiciones de ruido a nivel de circuito.

Metodología
Los autores analizan los errores lógicos en una operación de fusión $XX$ entre dos parches de código de superficie rotados alojados en distintas unidades de procesamiento cuántico (QPUs). El estudio emplea el siguiente marco metodológico:

• Modelado de Ruido: Los autores derivan un modelo de ruido fenomenológico efectivo que distingue entre qubits "bulk" (dentro de una sola QPU) y qubits "seam" (en la interfaz entre las QPUs). Este modelo incorpora contribuciones de puertas CNOT locales, pares de Bell ruidosos, errores de tiempo de espera (idle) y errores de lectura.
  • Definen una tasa de error físico uniforme $\varepsilon$ para operaciones locales (puertas, medición, idle) y un factor de escala $k$ para los errores de los pares de Bell ($\varepsilon_B = k\varepsilon$).
  • Se derivan expresiones analíticas para las tasas de error efectivas de datos ($p$) y de medición ($q$) tanto para las regiones bulk como para las seam, mostrando que los errores de la seam dependen linealmente de $k$.
• Representación Espaciotemporal: La operación de fusión se visualiza como un diagrama espaciotemporal en forma de H. El protocolo involucra la extracción de síndromes pre-fusión, una fase de puente donde se miden estabilizadores conjuntos durante $d$ rondas, y la extracción post-fusión.
• Decodificación y Simulación: Los errores lógicos $Z$ se decodifican utilizando un decodificador de Emparejamiento Perfecto de Peso Mínimo (MWPM). Los autores construyen un grafo de síndrome espaciotemporal 3D donde los bordes espaciales representan errores de datos y los bordes temporales representan errores de medición.
• Parámetros de Simulación: Se realizan simulaciones de Monte Carlo con $200,000$ disparos por punto de datos. El estudio varía la distancia del código $d \in \{5, 7, 9, 11, 13\}$ y el factor de escala de ruido de los pares de Bell $k \in \{1, 3, 5, 7, 9, 11\}$.

Contribuciones Clave

1. Modelo de Ruido Heterogéneo: El artículo presenta un modelo de ruido fenomenológico diseñado específicamente para la cirugía de red distribuida, derivando explícitamente las probabilidades de error efectivas para los qubits bulk y seam basándose en las fuentes de ruido subyacentes a nivel de circuito (puertas locales, pares de Bell, idle y lectura).
2. Caracterización del Error Lógico: Los autores caracterizan los errores lógicos $Z$ en la operación de fusión $XX$ utilizando la geometría espaciotemporal en forma de H y la decodificación MWPM, proporcionando un análisis detallado de cómo las tasas de error lógico varían con las tasas de error físico bajo ruido heterogéneo.
3. Análisis de Umbral bajo Ruido de Entrelazamiento: El estudio cuantifica el impacto del ruido de los pares de Bell aumentando sistemáticamente el factor de escala $k$. Demuestra que el umbral de tolerancia a fallos de la operación de fusión se mantiene robusto incluso cuando el ruido en la seam (interfaz) es significativamente mayor que el ruido bulk.

Resultos

• Estabilidad del Umbral: El umbral de tolerancia a fallos ($\varepsilon_c$) para la operación de fusión disminuye solo modestamente a medida que aumenta el ruido de los pares de Bell. Para $k=1$ (ruido uniforme), el umbral es $\approx 0.8683\%$. Incluso para $k=11$ (donde el ruido de los pares de Bell es 11 veces mayor que el ruido de las puertas locales), el umbral solo cae a $\approx 0.8339\%$, una reducción absoluta de aproximadamente $0.034\%$.
• Dominancia del Bulk: Los resultados confirman que el umbral asintótico está dominado por el ruido bulk en lugar del ruido de la seam. Esto se atribuye al escalamiento del conteo de qubits: el bulk contiene $O(d^2)$ qubits por ronda de extracción de síndrome, mientras que la seam contiene solo $O(d)$ qubits. En consecuencia, a medida que $d \to \infty$, la contribución de la seam al volumen total de error espaciotemporal se desvanece.
• Comparación con Sistemas Monolíticos: Los umbrales observados ($\approx 0.86\%$) se alinean con el rango reportado para experimentos de memoria de código de superficie rotado estándar ($0.5\% - 1.0\%$), lo que sugiere que la compleja estructura espaciotemporal de la operación de fusión no degrada drásticamente el rendimiento en comparación con los experimentos de memoria, incluso con interconexiones ruidosas.

Significancia y Reivindicaciones
El artículo sostiene que sus hallazgos proporcionan información práctica para el diseño de arquitecturas de computación cuántica distribuida. Específicamente:

• Robustez ante Enlaces Imperfectos: La cirugía de red distribuida puede tolerar enlaces de entrelazamiento imperfectos sin una pérdida catastrófica en los umbrales de tolerancia a fallos.
• Compromiso entre Fidelidad y Tasa de Entrelazamiento: La robustez de la operación de fusión sugiere un compromiso favorable entre la tasa de entrelazamiento y la fidelidad. Los sistemas pueden lograr tasas de generación de entrelazamiento significativamente más altas utilizando pares de menor fidelidad y minimizando la necesidad de una destilación de entrelazamiento extensiva, la cual es probabilística y consume muchos recursos.
• Viabilidad de Arquitecturas Modulares: Los resultados apoyan la viabilidad de las arquitecturas de código de superficie modulares para la computación cuántica tolerante a fallos, indicando que los requisitos estrictos para la fidelidad del entrelazamiento pueden relajarse en relación con las capacidades de las puertas locales.

Los autores concluyen que, si bien su estudio se centra en la operación elemental de fusión, los argumentos de escalamiento sobre la tolerancia al ruido de frontera probablemente se extiendan a operaciones lógicas más grandes construidas a partir de primitivas de fusión (merge) y división (split). Identifican direcciones de trabajo futuro que incluyen el estudio de decodificadores adaptados a perfiles de error espacialmente variables y la extensión de este análisis a CNOTs, destilación de estados mágicos y teletransportación bajo restricciones de hardware realistas.