Single-Shot Decoding and Fault-tolerant Gates with Trivariate Tricycle Codes

Resumen Técnico: Decodificación de un solo disparo (Single-Shot) y Puertas Tolerantes a Fallos con Códigos de Triciclo Trivariante

Planteamiento del Problema
La corrección de errores cuánticos (QEC) es esencial para la computación cuántica a gran escala. Si bien el código de superficie es un candidato maduro, sus sobrecargas de recursos para alcanzar la ventaja cuántica siguen siendo altas. En consecuencia, existe un impulso hacia los códigos de comprobación de paridad de baja densidad cuántica (qLDPC), que ofrecen mejores tasas de codificación y distancias relativas. Sin embargo, los candidatos qLDPC existentes a menudo carecen de una combinación de características tolerantes a fallos deseables: altos umbrales bajo ruido a nivel de circuito, decodificabilidad de un solo disparo (decodificación a partir de un número constante de rondas de síndrome sin una pérdida significativa de precisión) y un conjunto rico de puertas lógicas transversales o de profundidad constante (tanto de Clifford como no-Clifford). Los códigos de bicicleta bivariante (BB) han mostrado potencial en algunas áreas, pero ha faltado una familia de códigos exhaustiva que combine altos umbrales, capacidades de un solo disparo y la implementación eficiente de puertas no-Clifford.

Metodología
Los autores introducen los códigos de Triciclo Trivariante (TT), una generalización de los códigos BB basada en un complejo de cadena de longitud 3 derivado de tres polinomios trivariantes ($A, B, C$) sobre un álgebra de grupo $\mathbb{F}_2[G]$, donde $G = \mathbb{Z}_\ell \times \mathbb{Z}_m \times \mathbb{Z}_p$.

• Construcción: Los códigos son códigos CSS definidos por matrices de comprobación de paridad $H_X$ y $H_Z$ derivadas de los mapas de frontera de un producto tensorial de tres complejos de cadena de longitud 1. Una característica clave es la inclusión de meta-comprobaciones ($M_Z$), que codifican redundancias en las comprobaciones $Z$.
• Diseño (Layout): Los códigos TT pueden disponerse en una red cúbica 3D con condiciones de contorno periódicas y conexiones adicionales de largo alcance. El Código Torico 3D (3DTC) se identifica como un caso específico de esta construcción.
• Análisis: Los autores derivan expresiones analíticas para el número de qubits lógicos ($k$) y demuestran que la distancia de la meta-comprobación ($d_M$) es igual a la distancia $Z$ del código ($d_Z$). Realizan búsquedas numéricas sobre los coeficientes polinómicos para encontrar códigos con parámetros mejorados.
• Simulación: El rendimiento se evalúa bajo modelos de ruido fenomenológico y a nivel de circuito. La decodificación se realiza mediante un decodificador BP+OSD (Propagación de Creencia con Decodificación de Estadística Ordenada). Para la decodificación de un solo disparo, se emplea una estrategia de ventana superpuesta.
• Implementación de Puertas: Los autores analizan las puertas lógicas mediante automorfismos de desplazamiento, puertas CZ transversales entre bloques y circuitos CCZ de profundidad constante derivados del formalismo del producto de copa cohomológico.

Contribuciones Clave y Resultados

1. Parámetros del Código y Eficiencia:

   • Los autores identificaron numéricamente varios códigos TT que superan al 3DTC. Por ejemplo, un código TT $[[432, 12, 12]]$ codifica 12 qubits lógicos con una distancia $Z$ de 12 utilizando 48 veces menos qubits de datos que un 3DTC equivalente.
   • Los códigos TT exhiben distancias asimétricas ($d_X \ge d_Z$), lo que puede ser ventajoso para arquitecturas con ruido sesgado.
   • Los códigos poseen una "distancia de meta-comprobación" igual a $d_Z$, una propiedad crucial para la decodificación de un solo disparo.

2. Umbrales y Decodificabilidad de un Solo Disparo:

   • Ruido a Nivel de Circuito: Bajo ruido a nivel de circuito, los códigos TT demuestran un umbral de aproximadamente 0.3% en el canal de error $Z$ y 1% en el canal de error $X$ (usando decodificación de un solo disparo).
   • Rendimiento de un Solo Disparo: Las simulaciones numéricas utilizando una estrategia de ventana superpuesta confirman que los códigos TT poseen decodificabilidad de un solo disparo en el canal de error $Z$. La tasa de error lógico se estabiliza a medida que aumenta el tamaño de la ventana, lo que indica que la decodificación puede realizarse con un número constante de rondas de síndrome sin una caída significativa en la precisión.
   • El experimento de memoria $X$ muestra una fuerte supresión de errores, con pseudoumbrales consistentemente más altos que los del 3DTC.

3. Implementación de Puertas Tolerantes a Fallos:

   • Automorfismos y Puertas Transversales: Los códigos admiten automorfismos de desplazamiento que realizan puertas Clifford dentro de un bloque. Además, se pueden implementar puertas CZ transversales entre dos bloques de código, actuando sobre conjuntos específicos de qubits lógicos mientras actúan como identidad en otros.
   • CCZ de Profundidad Constante: Los autores identifican una sub-construcción de los códigos TT (específicamente aquellos con polinomios de peso 2, denominados códigos $(2,2,2)$) que admiten un circuito físico CCZ de profundidad constante (profundidad 2). Este circuito implementa una puerta lógica CCZ a través de tres bloques de código.
   • Comparación de Rendimiento: El código TT $(2,2,2)$ $[[48, 3, 4]]$, que soporta puertas CCZ lógicas, utiliza 1/4 de los qubits de datos requeridos por un 3DTC regular con una distancia $Z$ equivalente.
   • Códigos de Distancia 2: Los autores también exploran códigos con tasas de codificación más altas que soportan puertas CCZ pero tienen una distancia $Z$ de 2 para algunos qubits lógicos. Aunque estos son solo detectores de errores en la base $Z$, los autores muestran que fijar la calado (gauge-fixing) de estos qubits puede dar lugar a códigos de corrección de errores de mayor distancia con puertas CZ transversales adicionales.

Significado
El artículo afirma que los códigos TT representan un paso significativo en el diseño de códigos qLDPC al unificar varias propiedades críticas de tolerancia a fallos en una sola familia. El significado radica en:

• Eficiencia de Recursos: Demostrar reducciones sustanciales en la sobrecarga de qubits en comparación con el 3DTC para distancias lógicas y capacidades equivalentes.
• Eficiencia de Decodificación: Proporcionar evidencia de la decodificabilidad de un solo disparo, lo que reduce la sobrecarga de tiempo y los recursos de computación clásica requeridos para la decodificación.
• Universalidad de Puertas: Ofrecer un camino para implementar puertas no-Clifford (CCZ) mediante circuitos de profundidad constante, una característica difícil de lograr en códigos topológicos sin una pesada sobrecarga.
• Versatilidad: La construcción es flexible, permitiendo códigos con distancias equilibradas o aquellos optimizados para ruido sesgado, e incluye al 3DTC como un caso especial.

Los autores concluyen que, si bien la asimetría de distancia de los códigos TT es una característica y no un error para ciertos perfiles de ruido, trabajos futuros podrían explorar el equilibrio de distancias. También señalan que los circuitos actuales de extracción de síndrome no fueron totalmente optimizados para la distancia a nivel de circuito, lo que sugiere posibles mejoras de rendimiento adicionales.