Simple logical quantum computation with concatenated symplectic double codes

Resumen Técnico: Computación Cuántica Lógica Simple con Códigos Dobles Simplécticos Concatenados

Planteamiento del Problema
Los avances recientes en la corrección de errores cuánticos (QEC) han producido códigos robustos para la memoria cuántica, tales como los códigos topológicos (p. ej., códigos de superficie) y los códigos de verificación de paridad de baja densidad (qLDPC). Sin embargo, realizar puertas lógicas tolerantes a fallos en estos códigos sigue siendo un desafío significativo. Los códigos topológicos ofrecen puertas transversales simples pero sufren de tasas de codificación deficientes y altos costos de implementación a escala. Por el contrario, los códigos qLDPC y los códigos concatenados ofrecen mejores tasas, pero a menudo requieren protocolos complejos para las operaciones lógicas, lo que implica significativos costos de espacio-tiempo para la destilación, la inyección de estados y la extracción de síndromes. Existe la necesidad de una arquitectura de código que equilibre altas tasas de codificación con un conjunto de puertas lógicas simple e implementable, particularmente para plataformas de hardware como átomos neutros y trampas de iones donde el movimiento de cúbits (SWAPs) es de bajo costo.

Metodología
Los autores proponen y analizan los códigos Dobles Simplécticos Concatenados (CSD). Esta construcción involucra dos niveles de concatenación:

1. Código Externo: Un código doble simpléctico, $D(C)$, construido a partir de un código semilla no-CSS $C$. La construcción del doble simpléctico crea un código CSS con parámetros $[[2n, 2k, \ge d]]$ a partir de un código base $[[n, k, d]]$. Crucialmente, esta construcción introduce una dualidad ZX ($\tau$), una permutación que intercambia los sectores X y Z, emparejando los cúbits físicos $i$ e $i+n$.
2. Código Interno: Un código estabilizador específico $[[n', 2, d']]$ $Q$ se concatena con $D(C)$. Los autores se centran en el código C4 ($[[4, 2, 2]]$) como el código interno.
3. Esquema de Concatenación: Los cúbits lógicos de los bloques de código C4 internos se mapean a los cúbits físicos del código externo $D(C)$ de acuerdo con la dualidad ZX $\tau$. Específicamente, el par de cúbits físicos $\{i, i+n\}$ en $D(C)$ (que están relacionados por $\tau$) se codifican en los dos cúbits lógicos de un único bloque de código C4.

El artículo investiga los resulting códigos C4-CSD ($C4 \otimes_\tau D(C)$), analizando sus parámetros, conjuntos de puertas lógicas y propiedades de tolerancia a fallos.

Contribuciones Clave

• Puertas Lógicas Transversales de SWAP: La principal contribución es la demostración de que la estructura de concatenación mejora la tolerancia a fallos de las puertas lógicas. Las puertas lógicas en el código doble simpléctico externo que son "transversales de plegado" (actúan sobre las órbitas de $\tau$) se convierten en transversales de SWAP en el código concatenado C4-CSD. Esto significa que estas puertas pueden implementarse utilizando únicamente puertas de un solo cúbit físico y el reetiquetado de cúbits (SWAPs), los cuales pueden rastrearse en software.
• Generación del Grupo de Clifford Completo:
  • El conjunto de puertas heredadas del código semilla y la estructura del doble simpléctico ($G_\tau$) incluye automorfismos elevados, una puerta de tipo Hadamard ($H_\tau$) y una puerta de tipo CZ ($S_\tau$).
  • Para lograr el grupo de Clifford completo, los autores introducen puertas de fase transversales de plegado ($U_P(\pi)$) derivadas del grupo de automorfismos del código clásico subyacente. Estas se implementan mediante la inyección de estados utilizando estados de recurso preparados en el estado $U_P(\pi)|+\rangle$.
  • Para instancias específicas de códigos (por ejemplo, aquellos con marcas de verificación verdes en la Tabla 1), la combinación de $G_\tau$ y las puertas inyectadas $U_P(\pi)$ genera el grupo simpléctico completo $Sp_{4k}(\mathbb{F}_2)$ en los cúbits lógicos de un solo bloque de código.
• Conectividad entre Bloques: Los autores muestran que el grupo de Clifford completo a través de múltiples bloques de código es alcanzable utilizando puertas CNOT transversales entre bloques combinadas con las puertas de Clifford de un solo bloque.
• Simplificación de Circuitos: Una característica única de los códigos C4-CSD es que cualquier circuito de Clifford lógico en un solo bloque de código puede compilarse en un circuito físicamente simple: una secuencia alternante de puertas $U_P(\pi)$ inyectadas y una única capa de puertas de un solo cúbit físicas. Los SWAPs requeridos para el reetiquetado pueden "desenredarse", dejando un circuito donde las únicas operaciones activas son puertas de un solo cúbit y la corrección de errores facilitada por teletransportación.

Resultados

• Parámetros de Código: El artículo proporciona una tabla de códigos C4-CSD específicos derivados de varios códigos semilla no-CSS (p. ej., $[[4, 2, 2]]$, $[[6, 4, 2]]$, $[[5, 1, 3]]$). Por ejemplo, se muestra que el código C4-CSD $[[16, 4, 4]]$ es isomórfico al código de hipercubos de muchos colores (MHC) $L=2$.
• Conjuntos de Puertas: Los autores calculan el tamaño de los conjuntos de puertas $G_\tau$ y $\langle U_P(\pi) \rangle$ para diversas instancias. Identifican qué códigos pueden generar el grupo de Clifford completo sin adaptadores adicionales y cuáles requieren inyecciones de estado parciales o adaptadores universales.
• Simulaciones Numéricas: Se realizaron simulaciones a nivel de circuito de preparación de estados y corrección de errores cuánticos (QEC). Los resultados indican que los códigos C4-CSD exhiben un rendimiento prometedor en tasas de error físico cercanas al estado del arte, funcionando efectivamente como memorias cuánticas.
• Decodificación: El artículo analiza los decodificadores para estos códigos, señalando que la estructura permite una extracción y corrección de síndromes eficientes.

Significado y Reivindicaciones

Los autores argumentan que los códigos dobles simplécticos concatenados son fuertes contendientes para ser el código computacional subyacente en computadoras cuánticas de escala media a grande. Su importancia radica en:

1. Simplicidad: El grupo de Clifford lógico se implementa mediante un "circuito funcionalmente simple" que depende fuertemente de puertas de un solo cúbit y reetiquetado de cúbits, minimizando la necesidad de interacciones físicas de múltiples cúbits complejas durante la ejecución de las puertas.
2. Compatibilidad de Hardware: La dependencia del reetiquetado de cúbits (SWAPs) hace que estos códigos sean particularmente adecuados para arquitecturas como átomos neutros y trampas de iones, donde el movimiento de cúbits es una operación nativa y de bajo costo.
3. Rendimiento: Los códigos ofrecen un rendimiento competitivo a nivel de circuito y altas tasas de codificación, abordando los problemas de overhead de los códigos topológicos mientras evitan los complejos protocolos de puertas que a menudo requieren otros códigos de alta tasa.

El artículo concluye planteando preguntas abiertas sobre la optimización de los códigos semilla y la escalabilidad de estas construcciones, pero mantiene una afirmación enfocada en que los códigos C4-CSD proporcionan una vía viable hacia la computación lógica tolerante a fallos con una complejidad operativa reducida.