Finding diagonal logical gates in CSS codes and circuits

Resumen Técnico: Búsqueda de Puertas Lógicas Diagonales en Códigos y Circuitos CSS

Planteamiento del Problema
La realización de computadores cuánticos universales, a gran escala y tolerantes a fallos, requiere la implementación eficiente de puertas lógicas no-Clifford. Mientras que las operaciones de Clifford son relativamente sencillas en el formalismo de estabilizadores, las puertas no-Clifford plantean desafíos significativos. Los enfoques actuales suelen depender de la destilación de estados mágicos, puertas no-Clifford transversales (a veces combinadas con el cambio de código o code switching), o puertas lógicas de "espacio-tiempo" insertadas en circuitos de extracción de síndrome. Un desafío central es identificar qué códigos CSS (Calderbank-Shor-Steane) o circuitos admiten puertas lógicas diagonales eficientes y que preserven la localidad (como $T$, $CS$, o$CCZ$) compuestas a partir de un conjunto prescrito de puertas ansatz físicas. Los métodos existentes, como la condición de triortogonalidad, a menudo están limitados a tipos de puertas específicos o carecen de generalidad para circuitos arbitrarios que preserven la localidad.

Metodología
El artículo propone un algoritmo eficiente para encontrar todas las puertas lógicas de un código CSS dado (o circuito) que estén compuestas por un conjunto prescrito de puertas ansatz diagonales. La idea teórica central es que una puerta lógica diagonal preserva el espacio de código si y solo si asigna la misma fase a cada configuración de la base $Z$ dentro de una clase de cohomología dada.

1. Formulación Matemática:

   • La acción de una puerta diagonal $V_c$ sobre un estado de la base computacional $|a\rangle$ se define mediante una función de fase $S_c(a)$. Para las puertas en el tercer nivel de la jerarquía de Clifford, $S_c(a)$ es una función de "tercer orden" que involucra términos como $a_i a_j a_k$ (para $CCZ$),$a_i a_j$ (para $CS$), y$a_i$ (para $T$).
   • La condición para la preservación del espacio de código es que $S_c(a)$ sea constante para todos los $a$ en la misma clase de cohomología. Esto se reduce al requisito de que $S_c(a + A e_j)$ sea igual a $S_c(a)$ para todos los generadores de estabilizador $X$ $A e_j$, donde $A$ es la matriz de comprobación $X$.
   • Esta condición es equivalente a requerir que la "retroimagen" (pullback) de la función de fase por la matriz de comprobación $X$, denotada como $S_c \circ A$, resulte en una función de fase trivial.

2. El Homomorfismo de Retroimagen ($A^*$):

   • Los autores definen un homomorfismo de grupo $A^*$ que mapea los coeficientes de las puertas ansatz físicas ($c \in G_{phys}$) a los coeficientes de la función de fase inducida en las comprobaciones $X$.
   • $G_{phys}$ es un producto de grupos abelianos 2-finitos (por ejemplo, $\mathbb{Z}_2, \mathbb{Z}_4, \mathbb{Z}_8$) correspondientes a los diferentes niveles de la jerarquía de Clifford.
   • El conjunto de puertas lógicas válidas corresponde exactamente al núcleo (kernel) de este homomorfismo: $A^* c = 0$.

3. Implementación Algorítmica (Filtración):

   • Para calcular el núcleo de $A^*$ de manera eficiente, los autores introducen un método de "filtración". En lugar de utilizar la forma normal de Smith (que implica aritmética de enteros grandes), el método descompone el problema en una secuencia de cálculos de núcleos sobre campos binarios ($\mathbb{Z}_2$).
   • El algoritmo calcula iterativamente los núcleos de $X \pmod 2$, $X \pmod 4$, y así sucesivamente, elevando las soluciones desde grupos de menor orden hacia grupos de mayor orden. Esto aprovecha el hecho de que $\ker(X) \subset \ker(X \pmod 4) \subset \ker(X \pmod 2)$.
   • Las subrutinas dependen de álgebra lineal binaria estándar (eliminación gaussiana/RREF), la cual puede acelerarse mediante el empaquetado de bits (bit-packing).

4. Generalizaciones:

   • Puertas de Espacio-Tiempo: El método se extiende a "puertas lógicas locales de espacio-tiempo", donde las puertas diagonales se insertan en circuitos de extracción de síndrome. Esto se modela tratando el circuito como una red de tensores (o integral de trayectoria) y aplicando la misma lógica de retroimagen al grafo de decodificación $Z$.
   • Niveles Superiores y Puertas Arbitrarias: El marco se generaliza a niveles superiores de la jerarquía de Clifford y a puertas diagonales arbitrarias (no pertenecientes a la jerarquía) ajustando la definición de las funciones de fase y los grupos de coeficientes.
   • Qudits: El método se generaliza a qudits de dimensión prima y compuesta definiendo funciones de orden superior apropiadas sobre $\mathbb{Z}_{d_i}$.

Contribuciones Clave

• Marco Unificado: El artículo proporciona un formalismo general que unifica la búsqueda de puertas transversales, circuitos lógicos que preservan la localidad y puertas lógicas de espacio-tiempo bajo una única condición algebraica: encontrar el núcleo de un homomorfismo de grupo específico $A^*$.
• Algoritmo Eficiente: Presenta un algoritmo rápido con un tiempo de ejecución ingenuo de $O(n^3)$ para un sistema con $O(n)$ qubits (o puertas), utilizando una técnica de filtración que reduce el problema a operaciones de matrices binarias.
• Flexibilidad: El enfoque permite a los usuarios prescribir conjuntos arbitrarios de puertas ansatz (incluyendo puertas no locales o plegadas) y encontrar todas las puertas lógicas resultantes sin imponer invariancia de traslación.
• Implementación: Se proporciona una implementación en Python, que incluye un paquete especializado (twogroup-linalg) para el álgebra lineal sobre grupos abelianos 2-finitos.

Resultos y Ejemplos

• El algoritmo recupera con éxito puertas lógicas conocidas para códigos toricos 2D y 3D, códigos de color y códigos de fractones y códigos de bicicleta bivariante.
• Descubre una puerta diagonal de tercer orden previamente desconocida en el "código de color 3D dual", que implementa una puerta lógica $T$ equivalente.
• Se demuestra que el método encuentra puertas lógicas con invariancia de traslación en tiempo $O(1)$ relativo al tamaño del sistema (escalando solo con los parámetros de la celda unidad).
• El tiempo de ejecución para un código de color 2D con 800 qubits es de aproximadamente 30 segundos en una computadora portátil estándar para el caso no invariante de traslación.

Significancia y Reivindicaciones
El artículo afirma que su método ofrece una forma sistemática y eficiente de explorar el espacio de puertas lógicas tolerantes a fallos para códigos CSS. Al reformular el problema como un cálculo de núcleo, generaliza la condición de triortogonalidad a productos arbitrarios de puertas de la jerarquía de Clifford y circuitos que preservan la localidad.

Los autores señalan que, si bien el método puede encontrar puertas diagonales arbitrarias, la realizabilidad física en entornos tolerantes a fallos probablemente restringe estas puertas a la jerarquía de Clifford (consistente con los argumentos de tipo Bravyi-Koenig). El trabajo sugiere que este enfoque podría utilizarse para descubrir nuevos códigos qLDPC con propiedades de puertas lógicas deseables o para optimizar la extensión de puertas lógicas a los bordes del código y paredes de dominio. El artículo mantiene un tono modesto respecto a futuras aceleraciones, reconociendo que, aunque la dispersión en los códigos qLDPC ofrece potencial para una mayor optimización (por ejemplo, mediante el algoritmo de Wiedemann o la descomposición de núcleo local), la implementación actual densa de $O(n^3)$ ya es competitiva con la búsqueda de la base lógica del propio código.