Bias-Aware BP Decoding of Quantum Codes via Directional Degeneracy

Resumen Técnico: Decodificación BP con Conciencia de Sesgo de Códigos Cuánticos mediante Degeneración Direccional

Planteamiento del Problema
Los códigos de comprobación de paridad de baja densidad cuántica (qLDPC), incluyendo los códigos de producto elevado (lifted-product) y los códigos de Tanner cuánticos, ofrecen parámetros asintóticamente buenos pero enfrentan desafíos de decodificación prácticos en longitudes de bloque finitas. Estos desafíos surgen de ciclos cortos en los grafos de Tanner y de la degeneración —el fenómeno donde errores físicos distintos comparten el mismo síndrome y actúan de forma idéntica sobre el espacio de códigos—. Si bien el ruido físico suele ser anisotrópico (por ejemplo, la desfasificación dominando a las inversiones de bit, o configuraciones de hardware que favorecen direcciones de acoplamiento específicas), las estrategias de decodificación existentes suelen modificar la construcción del código para que coincida con el canal o utilizan decodificadores que no logran codificar explícitamente la estructura direccional del grafo de Tanner. Este trabajo aborda el lado de la decodificación, con el objetivo de aprovechar la anisotropía consciente del hardware sin alterar el código subyacente.

Metodología
El artículo propone un marco que anota los grafos de Tanner de los códigos CSS con pesos de aristas direccionales para reflejar el diseño, el cronograma o la anisotropía del ruido calibrado. La metodología procede a través de los siguientes pasos:

1. Anotación Direccional: Los grafos de Tanner de las matrices de comprobación de paridad ($H_X, H_Z$) se aumentan con matrices de pesos de aristas no negativos ($D_X, D_Z$). Pesos mayores indican un acoplamiento más fuerte a lo largo de una dirección preferida.
2. Pesos por Qubit: Los pesos de las aristas incidentes en cada qubit se agregan para formar un vector de peso direccional por qubit $w$. Esto define un costo direccional $\Delta_w(E) = \langle w, E \rangle$, que actúa como un peso de Hamming ponderado donde los errores en qubits "direccionalmente importantes" incurren en costos más altos.
3. Enumerador de Degeneración Direccional: Los autores definen una métrica $\Gamma_X(s_Z; \beta)$ que enumera las clases de error degeneradas para un síndrome dado, ponderadas por su costo direccional. Este enumerador resume cómo la degeneración se concentra a lo largo de direcciones específicas.
4. Decodificación Anisotrópica: Un único parámetro de sesgo $\beta$ mapea los pesos direccionales en razones de verosimilitud de logaritmo (LLR) dependientes del sitio. Estos LLRs sirven como priors anisotrópicos para un flujo de trabajo estándar de Propagación de Creencias (BP) seguido de Decodificación de Estadística Ordenada (OSD). La construcción del código y la arquitectura del decodificador permanecen sin cambios; solo se modifican los priors y las funciones de puntuación de candidatos.

Contribuciones Clave
El artículo realiza tres contribuciones teóricas y prácticas primarias:

• Formalización de la Degeneración Direccional: Los autores introducen un enumerador de degeneración direccional y una puntuación de clase (el costo direccional mínimo dentro de un coset). Demuestran que el pesaje direccional puede "adelgazar" las clases de error competitivas de bajo costo, reduciendo la confusión del decodificador entre errores lógicos.
• Límites Analíticos:
  • Límites de Distancia: El artículo deriva límites que relacionan las distancias direccionales con las distancias de Hamming estándar, mostrando que una anisotropía leve preserva las distancias hasta un factor de escala.
  • Reducción de la Degeneración: Se demuestra un límite de degeneración inducida por direccionalidad, cuantificando explícitamente cómo el sesgo direccional reduce el número de clases de error degeneradas admisibles por síndrome en función de la tasa del código, la distancia y la fuerza del sesgo.
  • Representación de Tipo MacWilliams: Se presenta un enumerador global con una expresión de tipo MacWilliams, que conecta la degeneración direccional con el código dual y permite la factorización sobre las coordenadas en el dominio dual.
• Implementación Práctica del Decodificador: Los autores proponen un decodificador BP+OSD con conciencia de sesgo. Este decodificador utiliza los pesos direccionales para generar priors dependientes del sitio a través de un parámetro $\beta$, permitiendo que los decodificadores estándar aprovechen la anisotropía del hardware sin reingenierizar el código.

Resultados
Las simulaciones de longitud finita bajo ruido de capacidad de código demuestran la eficacia del enfoque:

• Reducción de la Tasa de Error Lógico: Tanto para el código Toric $[[162, 2, 9]]$ como para el código planar NE3N $[[36, 4]]$, el decodificador anisotrópico logra reducciones significativas en las tasas de error lógico en comparación con las bases isotrópicas.
• Magnitud de la Ganancia: En tasas de error físico moderadas, el método produce reducciones de uno a dos órdenes de magnitud.
• Sintonizabilidad: El parámetro $\beta$ actúa como un control efectivo; las simulaciones muestran que aumentar $\beta$ (hasta un punto óptimo) mejora sistemáticamente el rendimiento, confirmando que el prior direccional se alinea efectivamente con la orientación geométrica de la red.

Significancia y Reivindicaciones
El artículo afirma que una anisotropía modesta, controlada por un único parámetro $\beta$, es una ruta simple y efectiva para obtener ganancias de decodificación conscientes del hardware. La significancia radica en la capacidad de mejorar el rendimiento de la decodificación sin cambiar la construcción del código ni la arquitectura fundamental del decodificador. El marco se describe como "portable", capaz de derivarse de datos de geometría y programación, y aplicarse a los flujos de trabajo BP+OSD existentes.

Los autores mantienen una postura modesta, señalando que los priors anisotrópicos no son una solución universal ("bala de plata"). Reconocen que para códigos con degeneración esencialmente isotrópica (por ejemplo, ciertos qLDPC de tipo ensamble) o hardware con ruido i.i.d., los beneficios pueden ser insignificantes o negativos si la orientación asumida es errónea. Además, sugieren que para correlaciones complejas entre qubits, podrían requerirse modelos más ricos más allá de los simples campos direccionales. El trabajo establece una base teórica para la degeneración direccional y proporciona un método práctico y de baja sobrecarga para aprovechar los sesgos de hardware conocidos en la corrección de errores cuánticos.