A simple universal routing strategy for reducing the connectivity requirements of quantum LDPC codes

Resumen Técnico: Una Estrategia de Enrutamiento Universal Simple para Reducir los Requisitos de Conectividad de los Códigos qLDPC

Planteamiento del Problema
Los códigos de comprobación de paridad de baja densidad cuántica (qLDPC) ofrecen una reducción en la sobrecarga para la corrección de errores cuánticos en comparación con los códigos de superficie, pero típicamente requieren una conectividad densa y de largo alcance entre los qubits de datos y los de ancilla. Este requisito plantea un desafío significativo para la implementación en hardware, particularmente en procesadores superconductores donde cada puerta de largo alcance requiere un acoplador físico, aumenta el crosstalk, degrada la fidelidad y complica la calibración. Aunque se han propuesto enfoques de "circuitos de metamorfosis" (morphing circuits) y de "ciclo intermedio" (mid-cycle) para reducir la conectividad de códigos específicos, existe la necesidad de una estrategia universal que reduzca sistemáticamente las conexiones de largo alcance sin alterar fundamentalmente la estructura del código o sacrificar la distancia a nivel de circuito.

Metodología
Los autores proponen una estrategia de medición de síndrome basada en el enrutamiento que aprovecha las propiedades topológicas inherentes de los códigos cuánticos. La observación central es que, en muchos códigos cuánticos (incluyendo los códigos de superficie y los códigos Bivariate Bicycle [BB]), los qubits ancilla X y Z forman bucles cortos (específicamente bucles de longitud 4) con los qubits de datos.

La metodología consiste en los siguientes pasos:

1. Medición Secuencial: El circuito de extracción de síndromes se estructura para medir los estabilizadores X y Z de forma secuencial (patrón $C_X C_Z C_X C_Z \dots$) en lugar de simultánea.
2. Enrutamiento de Ancillas: Cuando se elimina una conexión directa entre un qubit de datos y su ancilla objetivo, la información se enruta a través de un qubit ancilla adyacente del tipo opuesto. Por ejemplo, para medir un estabilizador Z donde falta una conexión directa con una ancilla Z, la información de paridad se transfiere a través de una ancilla X cercana.
3. Construcción de Circuitos: Este enrutamiento se implementa utilizando capas adicionales de puertas CNOT. Específicamente, los autores demuestran que eliminar una conexión requiere añadir un "desvío" a través de los tres bordes restantes del bucle, reemplazando efectivamente una puerta directa por una secuencia de puertas que transfiere y luego desacopla la información.
4. Aplicación a Códigos BB: Para los códigos Bivariate Bicycle, que presentan disposiciones con invarianza de traslación y estabilizadores de peso 6, los autores identifican bucles específicos de longitud 4 formados por pares de ancillas X y Z y dos qubits de datos. Eliminan sistemáticamente una conexión de largo alcance por cada bucle. Se exploran dos configuraciones:
   • Circuito LR de tres cuartos: Elimina un acoplador de largo alcance únicamente de los estabilizadores Z (reteniéndo el 75% de las conexiones de largo alcance).
   • Circuito LR de la mitad: Elimina un acoplador de largo alcance tanto de los estabilizadores X como de los Z (reteniéndo el 50% de las conexiones de largo alcance).

Contribuciones Clave

• Estrategia de Enrutamiento Universal: El artículo introduce un método general aplicable a diversos códigos cuánticos que reduce los requisitos de conectividad mediante el aprovechamiento de los bucles cortos entre las ancillas X y Z.
• Reducción de Conectividad en Códigos BB: Para los códigos BB, la estrategia logra eliminar hasta el 50% de las conexiones de largo alcance. En la configuración "half LR", el requisito de conectividad se reduce a cuatro conexiones locales y una conexión de largo alcance por qubit.
• Adaptación de Códigos de Superficie: El método se aplica a códigos de superficie rotados, logrando un requisito de conectividad de grado 3 (red hexagonal) comparable al enfoque de "ciclo intermedio" de McEwen et al., pero derivado de un mecanismo de enrutamiento distinto.
• Preservación de la Distancia a Nivel de Circuito: Mediante simulaciones numéricas, los autores demuestran que, a pesar del aumento en la profundidad del circuito, la distancia a nivel de circuito se preserva en gran medida. Las pendientes de las tasas de error lógico indican que la distancia a nivel de circuito coincide con la distancia del código.

Resultados

• Códigos de Superficie: El enfoque de enrutamiento logra una conectividad de grado 3. Aunque las tasas de error lógico son ligeramente superiores a las del circuito convencional de 4 capas y al enfoque de ciclo intermedio (debido al aumento de la profundidad de 10 capas CNOT frente a 4 u 8), la distancia del código se preserva.
• Códigos BB:
  • Las simulaciones utilizando el modelo de error SI1000 muestran que el circuito "half LR" (16 capas CNOT) y el circuito "three-quarters LR" (14 capas CNOT) mantienen distancias a nivel de circuito comparables a la implementación original de IBM (7 capas CNOT).
  • A una tasa de error físico de $10^{-3}$, las tasas de error lógico de los circuitos de enrutamiento son aproximadamente diez veces más altas que las de la implementación original de IBM. Los autores atribuyen esto al aumento de la profundidad del circuito (14–16 capas frente a 7).
  • Sin embargo, la contrapartida es la eliminación de hasta el 50% de los acopladores de largo alcance.
• Desempeño del Decodificador: Los autores señalan que utilizar los resultados de la medición de la ancilla X como detectores adicionales (qubits flag) no mejoró el desempeño con el decodificador de Emparejamiento Perfecto de Peso Mínimo (MWPM) y lo degradó ligeramente, por lo que excluyeron estos datos de sus resultados principales.

Significancia y Reivindicaciones
El artículo sostiene que esta estrategia de enrutamiento ofrece una vía práctica para implementar códigos qLDPC en hardware con restricciones estrictas de conectividad, como los procesadores superconductores. La significancia principal reside en el compromiso: el método intercambia una mayor profundidad de circuito por requisitos de conectividad de hardware reducidos.

Los autores argumentan que si implementar conexiones densas de largo alcance resulta más difícil que gestionar los errores físicos asociados con menos conexiones (debido al crosstalk y la complejidad de calibración), su esquema es preferible. Sugieren que a medida que mejore el tiempo de coherencia de los qubits, la penalización de la mayor profundidad de circuito puede volverse menos significativa, haciendo que las arquitecturas de conectividad reducida sean cada vez más ventajosas. El trabajo se presenta como un paso hacia la posibilidad de realizar demostraciones de qLDPC en hardware actual y de próxima generación al relajar los estrictos requisitos de conectividad que actualmente dificultan su implementación.