Mirror codes: High-threshold quantum LDPC codes beyond the CSS regime

Este trabajo presenta los "códigos espejo", una nueva familia de códigos cuánticos LDPC no CSS construidos a partir de grupos algebraicos que, junto con circuitos de extracción de síndromes probadamente tolerantes a fallos, logran umbrales de error pseudo comparables a los mejores códigos existentes, posicionándose como candidatos versátiles para la memoria cuántica tolerante a fallos en dispositivos a pequeña escala.

Lo esencial

¡Hola! Imagina que quieres construir una bóveda digital para guardar información cuántica (los "bits" de una computadora cuántica). El problema es que esta información es extremadamente frágil; es como intentar equilibrar una torre de cartas sobre una mesa que está temblando constantemente. Cualquier pequeño error (ruido) puede hacer que la torre se derrumbe y pierdas tu información.

Para solucionar esto, los científicos usan códigos de corrección de errores. Es como envolver esa torre de cartas frágil en una caja de cartón muy resistente. Si la caja se golpea, la torre de adentro sigue intacta.

Este artículo presenta una nueva y brillante idea para construir esas cajas: los "Códigos Espejo" (Mirror Codes).

Aquí tienes la explicación sencilla, paso a paso:

1. El Problema: Las cajas actuales son muy pesadas

Antes, la mejor manera de hacer estas cajas era usar un diseño llamado "CSS". Imagina que las cajas CSS son como cajas de madera muy rígidas y cuadradas. Funcionan bien, pero son ineficientes: necesitas una caja enorme (muchos qubits físicos) para guardar muy poca información (pocos qubits lógicos). Es como usar un contenedor de envío gigante para guardar solo un anillo de compromiso.

Además, para verificar que la caja no se ha roto, necesitas hacer una "inspección" (medir el síndrome). Si la inspección se hace mal, puedes romper la caja tú mismo.

2. La Solución: Los Códigos Espejo

Los autores (Andrey Khesin y Jonathan Lu) proponen una nueva forma de hacer estas cajas. En lugar de usar cajas cuadradas y rígidas, proponen usar Códigos Espejo.

La Analogía del Espejo y la Danza:
Imagina que tienes un grupo de bailarines (los qubits) en una pista de baile (el grupo matemático $G$).

• Tienes dos listas de instrucciones: la lista A (que dice a quién tocar con la mano izquierda, operando como un "Z") y la lista B (que dice a quién tocar con la mano derecha, operando como un "X").
• La magia del "Código Espejo" es que cada bailarín mira a sus vecinos según estas listas.
• Si la lista A dice "toca al de la izquierda" y la lista B dice "toca al de la derecha", el bailarín actúa como un espejo: refleja la acción.

Lo genial es que, a diferencia de las cajas antiguas (CSS), estas cajas mezclan las operaciones. No son puramente "izquierda" o "derecha", sino una mezcla inteligente. Esto permite que la caja sea mucho más compacta: puedes guardar más información en menos espacio.

3. ¿Por qué son especiales?

• No son "demasiado clásicos": Las cajas antiguas eran como dos cajas separadas pegadas una al lado de la otra. Las cajas Espejo son una sola estructura unificada y más flexible.
• Funcionan en grupos pequeños: Muchas de las cajas nuevas (como la de 36 o 48 qubits) son perfectas para las computadoras cuánticas que tenemos hoy en día (que son pequeñas). Las cajas antiguas más eficientes necesitaban 144 o más qubits, algo que aún es difícil de construir.
• Son robustas: Han demostrado que pueden resistir errores con una tasa de fallo similar a las mejores cajas actuales, pero usando menos recursos.

4. El Truco de la Inspección (Extracción de Síndrome)

Para que la caja funcione, necesitas verificar que no se ha roto sin tocarla demasiado. Los autores no solo inventaron la caja, sino también nuevas formas de inspeccionarla:

• La inspección "Básica": Usas 1 ayudante (qubit auxiliar) por cada verificación. Es rápido y barato, pero si el ayudante se equivoca, puede arruinar todo.
• La inspección "Con Bandera" (Loop): Usas 2 ayudantes. Uno verifica al otro. Es más seguro.
• La inspección "Superdensa" y "A prueba de todo": Usan hasta 6 ayudantes. Son como tener un equipo de seguridad de élite. Son más lentos y costosos (usan más qubits), pero si hay un error, el sistema lo detecta y lo corrige sin destruir la información.

La lección: Dependiendo de qué tan grande sea tu computadora cuántica y qué tan ruidosa sea, puedes elegir entre una inspección barata (pero menos segura) o una cara (pero muy segura).

5. El Resultado Final

Los autores probaron sus ideas con simulaciones por computadora y descubrieron:

• Encontraron muchas cajas nuevas (como una de 36 qubits que guarda 6 bits de información, o una de 85 qubits que guarda 8 bits) que son mejores que las anteriores para dispositivos pequeños.
• Estas cajas alcanzan un "umbral" de error del 0.2%. Esto significa que si tus componentes físicos son mejores que ese 0.2%, tu computadora cuántica podrá funcionar indefinidamente corrigiendo sus propios errores.

En Resumen

Imagina que antes tenías que usar un camión de mudanzas gigante para mover una sola silla. Los Códigos Espejo son como un nuevo tipo de embalaje inteligente que te permite mover esa misma silla usando una caja de zapatos, pero que es igual de resistente.

Además, han diseñado diferentes tipos de "inspectores" para verificar que la silla no se rompió durante el viaje, permitiéndote elegir entre un inspector rápido y barato o uno lento pero infalible, dependiendo de tu presupuesto.

Esto es un gran paso para que las computadoras cuánticas del futuro (especialmente las más pequeñas y cercanas a nosotros) puedan guardar información de verdad sin perderla por el ruido. ¡Es como darles una armadura ligera pero indestructible!

Resumen técnico

1. El Problema

La realización de una memoria cuántica tolerante a fallos depende de la capacidad de implementar protocolos de corrección de errores cuánticos (QEC) que supriman las tasas de error lógico muy por debajo de las tasas de error físico. Los desafíos actuales incluyen:

• Limitaciones de los códigos CSS: La mayoría de las construcciones de códigos LDPC (Low-Density Parity-Check) para dispositivos de escala intermedia son códigos CSS (Calderbank-Shor-Steane), que son "maximalmente clásicos" (estabilizadores puramente $X$ o puramente $Z$). Sin embargo, los códigos no-CSS más compactos (como el código de corrección de un error de 5 qubits) sugieren que explorar fuera del régimen CSS podría ofrecer mejores parámetros.
• Inflexibilidad de las construcciones existentes: Códigos líderes como el código de superficie requieren muchos qubits físicos por qubit lógico. Códigos más eficientes como el código de bicicleta bivariante (Bivariate Bicycle, BB) $\llbracket 144, 12, 12 \rrbracket$ tienen chequeos de peso 6, pero son menos flexibles para dispositivos de pequeña escala ($n < 144$) y a menudo requieren circuitos de extracción de síndrome que no están optimizados para la distancia del circuito.
• Compromiso entre sobrecarga y tolerancia a fallos: Existe una tensión entre la sobrecarga de qubits auxiliares (ancillas) necesaria para la extracción de síndrome tolerante a fallos y la tasa de error lógico.

2. Metodología

Los autores proponen una nueva familia de códigos y circuitos, combinando teoría de grupos, álgebra y búsqueda computacional exhaustiva.

A. Construcción de Códigos Espejo (Mirror Codes)

Se introduce una construcción simple y flexible de códigos estabilizadores LDPC basada en:

• Un grupo finito $G$ (puede ser abeliano o no abeliano).
• Dos subconjuntos $A, B \subseteq G$.
• Definición: Para cada elemento $g \in G$, se define un estabilizador:
  $$S(g) := Z(Ag)X(Bg^{-1})$$
  (En la versión simétrica; existen variantes asimétricas).
• Características:
  • El peso del chequeo está acotado por $w = |A| + |B|$.
  • Generalmente no son códigos CSS, ya que cada estabilizador es una mezcla de operadores $Z$ y $X$.
  • Incluyen a todos los códigos de álgebra de grupo de dos bloques (2BGA) normales, como los códigos de bicicleta bivariante (BB) y generalizada (GB), pero van más allá al permitir estructuras no-CSS.
  • Se analizan las simetrías de gauge (permutaciones de qubits y Clifford locales) para definir formas canónicas y evitar búsquedas redundantes.

B. Circuitos de Extracción de Síndrome Tolerantes a Fallos

Se diseñan tres nuevos circuitos de extracción de síndrome que ofrecen diferentes niveles de tolerancia a fallos a cambio de sobrecarga de ancillas:

1. Circuito "Bare" (Desnudo): 1 ancilla por chequeo. Sin garantías de tolerancia a fallos, pero mínimo overhead.
2. Circuito de Bucle (Loop): 2 ancillas por chequeo. Ofrece tolerancia parcial.
3. Circuito Superdenso: 1 ancilla por chequeo (combinando estabilizadores), inspirado en códigos de color.
4. Circuito CSS-FT6: 3 ancillas por chequeo. Probablemente óptimo para códigos CSS de peso 6.
5. Circuito FT6 (General): 6 ancillas por chequeo (reducibles a 4). Probablemente tolerante a fallos para cualquier código estabilizador de peso $\le 6$, incluyendo no-CSS.

C. Búsqueda y Simulación

• Se realizó una búsqueda exhaustiva (casi completa) de códigos espejo para $n \le 300$ qubits (para $|A|=|B|=3$) y $n \le 150$ para grupos no abelianos.
• Se utilizaron optimizaciones basadas en simetrías de grupo para reducir el espacio de búsqueda.
• Se realizaron experimentos de memoria cuántica de extremo a extremo bajo el modelo de ruido de circuito SI1000 (ruido depolarizante en puertas, medición e inicialización).
• Se empleó un decodificador general de códigos estabilizadores.

3. Contribuciones Clave

1. Nueva Familia de Códigos (Mirror Codes):

   • Una construcción unificada que generaliza los códigos 2BGA y permite códigos no-CSS.
   • Descubrimiento de códigos con parámetros $\llbracket n, k, d \rrbracket$ que no son CSS, como $\llbracket 60, 4, 10 \rrbracket$, $\llbracket 36, 6, 6 \rrbracket$, $\llbracket 48, 8, 6 \rrbracket$ y $\llbracket 85, 8, 9 \rrbracket$.
   • Demostración de que en escalas pequeñas ($n \le 144$), los códigos no-CSS pueden superar o igualar a los códigos CSS en términos de eficiencia de codificación.

2. Circuitos de Extracción de Síndrome Probablemente Tolerantes a Fallos:

   • Presentación de un circuito (FT6) que garantiza tolerancia a fallos para cualquier código estabilizador de peso 6, no solo los CSS. Esto es crucial para los nuevos códigos espejo no-CSS.
   • Análisis del compromiso entre la sobrecarga de ancillas y la tasa de error lógico.

3. Resultados Numéricos y Umbral Pseudo:

   • Los códigos espejo seleccionados alcanzan un umbral pseudo de aproximadamente 0.2% bajo ruido de circuito.
   • Este rendimiento es comparable al del código de bicicleta bivariante $\llbracket 144, 12, 12 \rrbracket$, pero con códigos más pequeños (ej. $n=36, 48, 60$), lo que los hace viables para dispositivos de escala intermedia.
   • Se observa que el uso de circuitos más tolerantes a fallos (con más ancillas) reduce el umbral pseudo debido a la mayor probabilidad de errores de operación, pero hace que la tasa de error lógico caiga más rápidamente por debajo del umbral.

4. Resultados Principales

• Parámetros de Códigos: La Tabla 1 del artículo lista decenas de códigos encontrados. Destacan:
  • $\llbracket 36, 6, 6 \rrbracket$ (No-CSS, peso 6).
  • $\llbracket 60, 4, 10 \rrbracket$ (No-CSS, peso 6).
  • $\llbracket 85, 8, 9 \rrbracket$ (No-CSS, peso 6).
  • Varios códigos con $kd > n$ (alta eficiencia).
• Comparación con CSS: Se confirma que, en escalas pequeñas, los códigos estabilizadores no-CSS pueden dominar en rendimiento sobre los códigos CSS.
• Conjeturas:
  • Los códigos espejo basados en grupos no abelianos parecen ser dominados en parámetros por aquellos basados en grupos abelianos.
  • Existe un límite superior (techo) para la relación $kd/n$ dado un peso de chequeo fijo.
• Relación con 2BGA: Se demuestra que los códigos espejo contienen a los códigos 2BGA normales, pero no son equivalentes en general (hay 2BGA que no son espejo y viceversa).

5. Significado e Impacto

• Viabilidad para Dispositivos de Escala Intermedia: Los códigos espejo ofrecen una ruta prometedora para la memoria cuántica tolerante a fallos en dispositivos con un número limitado de qubits físicos ($n \le 250$), donde el código de superficie es ineficiente y el código $\llbracket 144, 12, 12 \rrbracket$ puede ser demasiado grande o inflexible.
• Flexibilidad Arquitectónica: Al no requerir chequeos geométricamente locales (como el código de superficie), estos códigos son ideales para arquitecturas con conectividad general, como átomos neutros o iones atrapados, aunque también son compatibles con superconductores.
• Más allá del Régimen CSS: El trabajo desafía la noción predominante de que los códigos cuánticos prácticos deben ser CSS, demostrando que explorar el espacio de códigos estabilizadores generales (no-CSS) puede revelar códigos con mejores parámetros de distancia y tasa para tamaños finitos.
• Herramientas de Diseño: La provisión de circuitos de extracción de síndrome probadamente tolerantes a fallos para códigos no-CSS de peso 6 elimina una barrera importante para la implementación práctica de estos códigos.

En resumen, este trabajo presenta una familia de códigos cuánticos versátil y de alto rendimiento, junto con los circuitos necesarios para su implementación, posicionándose como un candidato fuerte para la próxima generación de memorias cuánticas tolerantes a fallos en hardware de escala intermedia.