Strictly Local Tile-Code Architectures on Two-Dimensional Planar Lattices

Resumen Técnico: Arquitecturas de Códigos de Teselas Estrictamente Locales en Redes Planares Bidimensionales

Planteamiento del Problema
Los códigos de comprobación de paridad de baja densidad cuántica (qLDPC), particularmente los códigos Bivariate Bicycle (BB), ofrecen una alta eficiencia de codificación y altos umbrales, pero dependen de condiciones de contorno periódicas y de una conectividad de cúbits no local. Estos requisitos son incompatibles con el hardware superconductor actual, que es inherentmente bidimensional y está restringido a interacciones de vecinos más cercanos. Si bien trabajos previos han propuesto esquemas de enrutamiento o nuevas familias de códigos para cerrar esta brecha, muchos aún asumen arquitecturas multicapa, conectividad de largo alcance o no logran mantener una localidad estricta en contornos abiertos. Este artículo aborda el desafío de implementar cuatro familias específicas de "códigos de tesela" (tile codes)—códigos qLDPC planares con contornos abiertos y estabilizadores de peso 6—utilizando únicamente interacciones de vecinos más cercanos en una red cuadrada 2D. El problema central es determinar si estos códigos pueden mantener umbrales de nivel de circuito y eficiencia de recursos competitivos cuando se ven restringidos por una localidad estricta, específicamente mediante el uso de enrutamiento basado en SWAP.

Metodología
Los autores desarrollaron un algoritmo de búsqueda exhaustiva para encontrar esquemas óptimos de enrutamiento basados en SWAP para la extracción de síndromes. La metodología consiste en:

1. Definición del Código: Utilizando cuatro familias de códigos de tesela definidas por pares de polinomios $(f, g)$ sobre un anillo de polinomios de Laurent. Estos códigos presentan estabilizadores de volumen (bulk) de peso 6 y estabilizadores de contorno con peso reducido debido a los contornos abiertos.
2. Búsqueda de Enrutamiento: Se llevó a cabo una búsqueda exhaustiva de tres fases para encontrar palabras de enrutamiento ($W$) válidas compuestas por direcciones de SWAP (L, R, U, D).
   • Fase 1 (Cobertura): Asegurar que los cúbits ancilla visiten todos los cúbits de soporte de cada estabilizador.
   • Fase 2 (Ordenamiento de CNOT): Verificar que para los estabilizadores X y Z que se solapan, el número de cúbits compartidos donde un CNOT-X se dispara antes que un CNOT-Z sea par (satisfaciendo la condición (b') para códigos CSS).
   • Fase 3 (Empaquetado de sub-pasos/sub-tick): Fusionar las operaciones CNOT que actúan sobre cúbits disjuntos para minimizar la profundidad del circuito.
     La búsqueda permitió desplazamientos iniciales (offsets) independientes para las ancillas X y Z para optimizar el cronograma.
3. Simulación y Decodificación: Los circuitos de extracción de síndrome se simularon utilizando el simulador Stim bajo dos modelos de ruido: el modelo de depolarización estándar basado en circuitos y el modelo SI1000 (diseñado para procesadores de transmones superconductores, tratando al CNOT como la puerta nativa y al SWAP como una puerta nativa con una tasa de error de 1.5$\times$). Las tasas de error lógico se estimaron utilizando un decodificador de Propagación de Creencia con Decodificación de Estadística Ordenada (BP+OSD).
4. Análisis de Umbral y Recursos: Los umbrales se estimaron mediante el escalamiento de tamaño finito. La eficiencia de recursos se evaluó calculando el número de cúbits físicos por cúbit lógico requerido para alcanzar una tasa de error lógico objetivo ($\epsilon_L = 10^{-9}$), comparando los códigos de tesela enrutados contra el código de superficie rotado.

Contribuciones Clave

• Esquemas de Enrutamiento Exhaustivos: El artículo presenta esquemas de enrutamiento explícitos y óptimos para cuatro familias de códigos de tesela en una red planar estrictamente 2D. Estos esquemas aseguran modelos de error de detector deterministas sin requerir seguimiento de marco (frame tracking), ya que las operaciones SWAP se cancelan tras dos rondas.
• Estimación de Umbrales bajo Restricciones de Localidad: Los autores proporcionan las primeras estimaciones de umbral a nivel de circuito para estos códigos de tesela cuando están restringidos a conectividad de vecinos más cercanos.
• Análisis de la Huella de Recursos: El estudio cuantifica la compensación entre el umbral reducido causado por el enrutamiento y la mejora en la eficiencia de codificación de los códigos de tesela, demostrando un punto de cruce donde los códigos de tesela se vuelven más eficientes en recursos que el código de superficie rotado.

Resultidos

• Umbrales: Bajo el modelo de ruido SI1000, los umbrales para las cuatro familias de códigos de tesela sin restricciones de localidad oscilan entre 0.23% y 0.31%. Cuando se restringen a interacciones de vecinos más cercanos con enrutamiento SWAP, los umbrales disminuyen a 0.11%–0.13%. Esto representa un factor de reducción de aproximadamente 2 a 3. La reducción es aún más pronunciada (factor de $\approx$3) bajo el modelo de depolarización estándar, atribuido a errores de tiempo de espera (idle errors) más altos en dicho modelo.
• Profundidad del Circuito: Los esquemas de enrutamiento óptimos requieren de 15 a 18 pasos de tiempo por ronda (incluyendo operaciones SW_AP y CNOT), lo cual es óptimo dentro de la clase de palabras de enrutamiento invariantes por traslación.
• Eficiencia de Recursos: A pesar de los umbrales más bajos, los autores encuentran que los códigos de tesela enrutados requieren menos cúbits físicos por cúbit lógico que el código de superficie rotado a tasas de error físico suficientemente bajas.
  • Bajo el modelo SI1000, ocurre un cruce en una tasa de error físico de $p^* \approx 0.08\%$. Por debajo de esta tasa, los códigos de tesela enrutados son más eficientes en cúbits, y la ventaja crece monótonamente a medida que la tasa de error disminuye. Por ejemplo, a $p = 2 \times 10^{-4}$, el código de tesela enrutado requiere solo el 48% de los cúbits físicos necesarios para que el código de superficie alcance $\epsilon_L = 10^{-9}$.
  • Bajo el modelo de depolarización estándar, el código de tesela enrutado es más eficiente que el código de superficie incluso a $p = 10^{-3}$.

Significancia y Reivindicaciones
El artículo sostiene que los códigos qLDPC planares, específicamente los códigos de tesela, siguen siendo un candidato práctico para la computación cuántica tolerante a fallos incluso cuando se imponen restricciones estrictas de localidad. Si bien la necesidad de enrutamiento SWAP impone una penalización significativa en el umbral (reduciéndolo por un factor de 2–3), la alta eficiencia de codificación de estos códigos compensa esta penalización a tasas de error físico bajas. Los autores argumentan que, con un esquema de enrutamiento adecuado, los códigos de tesela pueden superar al código de superficie en términos de sobrecarga de cúbits físicos, ofreciendo una vía viable hacia memorias cuánticas eficientes en hardware sobre arquitecturas superconductoras 2D estándar. El trabajo también proporciona un algoritmo generalizable para encontrar esquemas de enrutamiento para otros códigos invariantes por traslación en redes planares.