Single-Shot and Few-Shot Decoding via Stabilizer Redundancy in Bivariate Bicycle Codes

Resumen Técnico: Decodificación de un solo paso (Single-Shot) y de pocos pasos (Few-Shot) mediante la redundancia de estabilizadores en códigos Bivariantes de Bicicleta

Planteamiento del Problema
Los códigos cuánticos de bajo peso de comprobación (qLDPC), particularmente los códigos Bivariantes de Bicicleta (BB), ofrecen un camino prometedor hacia la computación cuántica tolerante a fallos con pesos de comprobación acotados y buen rendimiento para longitudes finitas. Sin embargo, un desafío crítico persiste en las arquitecturas limitadas por la medición: cómo lograr una corrección de errores robusta con un mínimo de rondas de medición de síndrome. Aunque se ha demostrado numéricamente que la redundancia de los estabilizadores permite la decodificación de "un solo paso" (corrigiendo tanto errores de datos como de medición en una sola ronda), la relación algebraica entre los parámetros de construcción de los códigos BB coprimos y su capacidad para soportar dicha decodificación había sido implícita. Específicamente, no estaba claro cómo el polinomio que gobierna la dimensión lógica de los códigos BB coprimos se relaciona con la estructura y la distancia de los códigos de síndrome clásicos requeridos para la corrección de errores de medición.

Metodología
Los autores desarrollan un marco algebraico para la subclase coprima de los códigos BB, extendiendo la descripción algebraico-grupal proporcionada por Postema et al. al dominio clásico de la decodificación de síndrome.

1. Caracterización Algebraica: El artículo establece que el mismo polinomio de máximo común divisor, $g(z)$, que determina la dimensión lógica ($k$) y la distancia cuántica de los códigos BB coprimos, también genera los códigos de síndrome clásicos ($C_S^X$ y $C_S^Z$).
2. Derivación de Límites: Utilizando las propiedades de los códigos cíclicos, los autores derivan límites estrictos sobre la distancia de síndrome ($d_S$) y la tolerancia de error de medición alcanzable ($t_S$). Aplican la cota BCH para estimar $d_S$ y la cota de Singleton para establecer un límite superior en $d_S$ relativo a la tasa del código.
3. Análisis de Decodificación: El estudio analiza un proceso de decodificación de dos etapas: primero, la limpieza de síndromes ruidosos utilizando los códigos de síndrome clásicos (mediante decodificación de distancia acotada o BP) y, segundo, la decodificación de los datos utilizando el código CSS subyacente. Los autores comparan la decodificación ideal de un solo paso frente a los esquemas convencionales de rondas repetidas (redundancia temporal) bajo un modelo de ruido fenomenológico.
4. Evaluación Numérica: El marco teórico se valida mediante la construcción de códigos BB coprimos pequeños con distancias de síndrome mejoradas. Estos códigos son evaluados mediante Propagación de Creencias (BP) para la limpieza de síndrome y BP+Decodificación de Estadística Ordenada (BP+OSD) para la corrección de datos.

Contribuciones Clave

• Vínculo Algebraico: El artículo demuestra que, para los códigos BB coprimos, el polinomio $g(z)$ dicta no solo la dimensión lógica cuántica, sino también la estructura de los códigos de síndrome clásicos. Específicamente, los códigos de síndrome son códigos cíclicos binarios generados por $g(z)$.
• Igualdad de Tasa-Redundancia: Se deriva una igualdad estricta entre la tasa cuántica y la densidad de redundancia del estabilizador: $r_X/N = r_Z/N = k/n$. Esto implica que, en los códigos BB coprimos, la fracción de estabilizadores redundantes es exactamente igual a la tasa del código.
• Identificación del Cuello de Botella Estructural: Los autores demuestran un compromiso fundamental: dentro del ansatz de los códigos BB coprimos, una alta tasa cuántica requiere un grado elevado para $g(z)$. Sin embargo, la cota de Singleton limita la distancia de síndrome $d_S$ aproximadamente a $k/2 + 1$. Consecuentemente, los códigos de alta tasa poseen inherentemente una distancia de síndrome limitada, lo que restringe su robustez de medición de un solo paso.
• Reglas de Diseño: El trabajo proporciona reglas de diseño algebraicas concretas (maximizar la distancia BCH de $g(z)$) para construir códigos BB pequeños con distancias de síndrome mejoradas, yendo más allá de los casos base de $d_S=2$ encontrados en la literatura previa.

Resultados

• Mejora de la Distancia de Síndrome: Se construyeron dos códigos BB coprimos específicos con distancias de síndrome significativamente mejoradas: Código 1 ($N=21$, $d_S=4$) y Código 2 ($N=63$, $d_S=10$).
• Desempeño de la Decodificación de Síndrome: Los resultados numéricos confirman que la etapa de limpieza de síndrome logra la supresión de errores predicha por las cotas de los códigos cíclicos ($O(q^{t_S+1})$), validando la construcción algebraica independientemente del decodificador de datos.
• Decodificación de un Solo Paso vs. Rondas Repetidas: Bajo el decodificador BP+OSD, el desempeño de un solo paso ($R=1$) de los códigos mejorados sigue de cerca el desempeño de los esquemas de rondas repetidas ($R=3$). El esquema de un solo paso sustituye eficazmente la redundancia temporal por la redundancia espacial, reduciendo el tiempo de ciclo por un factor de tres con una fidelidad lógica comparable, siempre que la tasa de error de medición no exceda el radio de corrección del código de síndrome.
• Limitaciones: El análisis revela que para códigos más pequeños o aquellos con menores distancias de síndrome (por ejemplo, $d_S=2$), la decodificación de un solo paso no puede igualar la robustez de incluso una línea base de 3 rondas. El cuello de botella estructural identificado por la cota de Singleton impide alcanzar grandes distancias de síndrome con pesos de comprobación fijos para códigos BB coprimos de alta tasa.

Significancia y Reivindicaciones
El artículo afirma proporcionar el primer vínculo algebraico directo entre los parámetros de construcción de los códigos BB coprimos y sus capacidades de decodificación de un solo paso. Al demostrar que $g(z)$ gobierna tanto la dimensión lógica como la estructura del síndrome, este trabajo ofrece un método riguroso para diseñar códigos adaptados a arquitecturas limitadas por la medición.

Los autores concluyen modestamente que, si bien las ganancias numéricas en la tasa de error lógico son "modestas", la identificación del cuello de botella estructural es la contribución principal. Afirman que sus resultados proporcionan "reglas de diseño algebraicas concretas" para los códigos 2BGA de próxima generación. El trabajo destaca que, aunque la decodificación de un solo paso es alcanzable, la subclase de los BB coprimos enfrenta limitaciones inherentes donde las altas tasas cuánticas restringen la distancia del síndrome, limitando el desempeño de un solo paso. Los autores sugieren que el trabajo futuro debería abordar el ruido a nivel de circuito y explorar construcciones generalizadas para relajar el acoplamiento de tasa-redundancia.