LUCI on IBM Hardware: Error Suppression with Almost Half Syndrome Density

Resumen Técnico: LUCI en Hardware de IBM

Planteamiento del Problema
La computación cuántica tolerante a fallos y escalable requiere qubits lógicos que puedan preservar su estado durante tiempos de ejecución prolongados. Aunque el código de superficie es el protocolo de Corrección de Errores Cuánticos (QEC) más práctico para procesadores con restricciones locales debido a su alto umbral, las implementaciones tradicionales dependen de circuitos de extracción de síndrome estáticos. Estos circuitos rígidos imponen restricciones de conectividad estrictas y son vulnerables a defectos de hardware (por ejemplo, qubits o acopladores no funcionales). Marcos teóricos recientes, como LUCI (Implementación de Unitaria Lógica de Circuitos), proponen subrutinas dinámicas que pueden sortear componentes defectuosos alterando los esquemas de medición. Sin embargo, esta flexibilidad conlleva el costo de una reducción en la distancia temporal, requiriendo múltiples rondas para extraer un síndrome completo. Crucialmente, estos enfoques dinámicos no se habían demostrado experimentalmente en hardware físico, ni se había evaluado su rendimiento frente a códigos estáticos estándar en ausencia de defectos físicos, particularmente en lo que respecta al compromiso de la "densidad de síndrome" (la relación entre los bits de síndrome medidos y el total de bits posibles por ciclo).

Metodología
Los autores evaluaron experimentalmente el marco LUCI frente al código de superficie rotado estándar en el procesador cuántico superconductor ibm_miami de IBM. El estudio utilizó un escenario "libre de reinicio" (reset-free), donde se omitieron las operaciones de reinicio de qubits físicos para evitar tiempos de inactividad y problemas de fuga (leakage), confiando en su lugar en el post-procesamiento clásico para definir los detectores.

Las etapas metodológicas clave incluyeron:

• Programación Dinámica: El marco LUCI se implementó utilizando estados de mitad de ciclo, donde el circuito alterna entre dos rondas distintas (una base y una variante) para extraer el síndrome completo. Esto contrasta con el código de superficie estándar, que extrae el síndrome completo en una sola ronda.
• Escalado Asimétrico: Para atacar errores específicos, los investigadores escalaron los parches de QEC de forma asimétrica. Probaron parches de distancia-3 ($d=3$) y los extendieron a parches rectangulares con dimensiones $(d_x=5, d_z=3)$ para suprimir errores lógicos X, o $(d_x=3, d_z=5)$ para suprimir errores lógicos Z.
• Análisis de Densidad de Síndrome: El estudio cuantificó la "densidad de síndrome" ($\rho$). Mientras que el código de superficie estándar mantiene una densidad de 1, el marco LUCI, que requiere dos rondas para la extracción completa, alcanzó una densidad de aproximadamente 0 o 0.6 para parches $d=3$ y 0.588 para los parches extendidos.
• Restricciones de Hardware: Los experimentos se realizaron en una región del procesador libre de defectos. Sin embargo, el mapeo para el código de superficie estándar en la base X se vio obligado a utilizar un acoplador altamente ruidoso (tasa de error $\sim15\%$) debido a los requisitos rígidos de conectividad, mientras que la programación flexible de LUCI permitió evitar este componente ruidoso específico.
• Decodificación: Las tasas de error lógico se decodificaron utilizando un decodificador de Emparejamiento Perfecto de Peso Mínimo (MWPM) correlacionado (PyMatching), ponderado por los datos de calibración de puertas y mediciones.

Resultados Clave
Los autores compararon las relaciones de supresión de error ($\Lambda_{5/3} = \epsilon^r_{d=3} / \epsilon^r_{d=5}$) entre el código de superficie estándar y el marco LUCI:

• Errores Lógicos X: El marco LUCI demostró una supresión de errores superior con una relación de 1.75(10), en comparación con el 1.58(13) del código de superficie estándar. Esta mejora se atribuye a la capacidad de LUCI para evitar el acoplador altamente ruidoso que el código estándar se vio obligado a usar.
• Errores Lógicos Z: El código de superficie estándar mostró una mayor supresión para errores Z (2.44(7)) en comparación con LUCI (1.93(12)).
• Rendimiento General: A pesar de que el marco LUCI opera con casi la mitad de la densidad de síndrome en el tiempo (requiriendo dos rondas para la extracción completa del síndrome), se mantuvo competitivo con el código de superficie rotado estándar.
• Inhomogeneidad del Ruido: Los resultados destacaron que los circuitos de extracción de síndrome estándar no siempre son óptimos, incluso en regiones libres de defectos, cuando el ruido del hardware es inhomogéneo. La programación dinámica de LUCI logró sortear con éxito un componente ruidoso específico, obteniendo mejores tasas de error lógico general para errores dirigidos mientras preservaba los límites lógicos.

Significancia y Reivindicaciones
El artículo afirma cerrar la brecha entre los códigos dinámicos teóricos y la implementación práctica en hardware. Sus principales contribuciones son:

1. Verificación Experimental: Proporciona la primera demostración experimental del marco LUCI en hardware cuántico físico, verificando su viabilidad sin defectos físicos.
2. Rendimiento bajo Distancia Temporal Reducida: Desafía la dependencia convencional de las arquitecturas de tolerancia a fallos estáticas al mostrar que los códigos dinámicos pueden superar a los métodos estándar incluso cuando operan con una densidad de síndrome temporal reducida (densidad reducida a la mitad).
3. Compatibilidad de Hardware: El trabajo demuestra que los códigos dinámicos pueden evitar activamente componentes altamente ruidosos en entornos de hardware inhomogéneos, ofreciendo una alternativa viable para maximizar el rendimiento en procesadores de generación actual.
4. Implementación Libre de Reinicio: Implementa con éxito una definición de detector libre de reinicio dentro del marco LUCI, probando que la QEC de alto rendimiento es posible sin depender de operaciones de reinicio físico.

Los autores concluyen que estos hallazgos allanan el camino para diseños de códigos híbridos y compatibles con el hardware, sugiriendo que la extracción dinámica de síndrome es un enfoque práctico para la preservación de qubits lógicos en presencia de la inhomogeneidad del ruido del hardware.