Flagging the Clifford hierarchy:~Fault-tolerant logical $\frac{\pi}{2^l}$ rotations via measuring circuit gauge operators of non-Cliffords

Resumen Técnico: Bandera de la Jerarquía de Clifford: Rotaciones Lógicas $\pi/2^l$ Tolerantes a Fallos

1. Planteamiento del Problema

En la computación cuántica tolerante a fallos, la implementación de puertas no Clifford (específicamente rotaciones $R_Z(\theta)$ con ángulos $\theta = \pi/2^l$) es un desafío crítico.

• El problema de la distancia de fallo: En códigos CSS (como el código de hielo o iceberg code y el código de Steane), una implementación directa de una rotación $R_Z(\pi/2^l)$ mediante una puerta física de dos qubits ($R_{ZZ}$) no es tolerante a fallos. Un solo fallo en la puerta puede propagarse y generar errores lógicos (como errores $ZZ$, $XX$o$YY$) que no son detectados por la síndroma estándar del código, resultando en una distancia de fallo de 1.
• Ineficiencia de la síntesis: Los métodos tradicionales de síntesis de puertas (Clifford + T) para aproximar ángulos arbitrarios con alta precisión requieren un gran número de estados mágicos y puertas, lo que genera una sobrecarga ($overhead$) que escala con la precisión requerida ($O(\log(\epsilon^{-1}))$).
• Necesidad: Se requiere un método para implementar rotaciones exactas de ángulos específicos ($\pi/2^l$) con una distancia de fallo de al menos 2, manteniendo una sobrecarga baja y evitando la síntesis costosa cuando el ángulo es una potencia de 2.

2. Metodología

Los autores proponen un enfoque basado en la medición de operadores de gauge (gauge operators) dentro de circuitos de bandera (flag circuits).

• Operadores de Gauge para No-Cliffords: Extienden el formalismo de códigos de estabilizadores de subsistema (usualmente para puertas Clifford) a puertas no Clifford. La idea central es que, si una puerta $U$ es no-Clifford, se pueden definir operadores que "fijan" la puerta. Si un error ocurre, el operador de gauge conmuta o anticonmuta de manera específica, permitiendo su detección.
• Construcción Recursiva:
  • Definen una secuencia recursiva de circuitos de bandera para detectar errores lógicos inducidos por $R_Z(\pi/2^l)$.
  • Mecanismo de detección: Para detectar errores $ZZ$ en una rotación controlada, propagan un operador $X$ a través de la puerta de rotación. Esto invierte el signo del ángulo de rotación ($R_{ZZ}(\theta) \to R_{ZZ}(-\theta)$). Al medir el operador de gauge resultante (que implica una rotación de ángulo doble o múltiplo), se puede detectar si ocurrió un error.
  • Recursión: Para ángulos más pequeños ($\pi/2^l$), el circuito mide operadores de gauge que involucran rotaciones controladas de ángulos progresivamente mayores ($\pi/2^{l-1}, \pi/2^{l-2}, \dots$) hasta llegar a un ángulo de $\pi$, donde un error de puerta simple no puede inducir un error lógico no detectable.
• Optimización de Recursos:
  • Utilizan una estructura de "escalera" (ladder) de qubits de basura (garbage qubits) y puertas Toffoli para implementar puertas controladas múltiples de manera eficiente.
  • Logran una complejidad de $O(l)$ en términos de número de puertas, qubits auxiliares (ancillas) y profundidad, en lugar de $O(l^2)$ o peor.

3. Contribuciones Clave

1. Secuencia de Circuitos de Bandera Recursiva: Presentan una familia de circuitos que implementan puertas lógicas $R_Z(\pi/2^l)$ y $R_{ZZ}(\pi/2^l)$ en códigos de hielo ($\mathbb{J}k+2, k, 2\mathbb{K}$) con una distancia de fallo de 2.
2. Generalización a Códigos CSS: Demuestran que el método se puede generalizar a otros códigos CSS, como el código de Steane ($\mathbb{J}7, 1, 3\mathbb{K}$), permitiendo la preparación de estados de recurso $|\pi/2^l\rangle$ con una probabilidad de fallo de $O(p^2)$.
3. Rotaciones Binarias: Extienden el método para soportar rotaciones de la forma $\pi(x_0.x_1x_2\dots x_l)$ (donde el ángulo se expresa en binario), útiles en simulaciones cuánticas donde el tiempo se discretiza.
4. Aumento de la Distancia de Fallo:
   • Muestran cómo aumentar la distancia de fallo a 3 en el código de Steane mediante la medición repetida de operadores de gauge y corrección de errores intercalada.
   • Demuestran cómo aumentar la distancia de fallo a 4 en códigos de hielo concatenados ($\mathbb{J}(k_2+2)(k_1+2), k_2k_1, 4\mathbb{K}$) mediante la concatenación de circuitos Clifford ($R_Z(\pi/2)$).
5. Eficiencia Comparativa: Comparan su enfoque con la síntesis Clifford+T, mostrando que para ángulos específicos de alta precisión, su método tiene una sobrecarga independiente de la precisión ($O(l)$), mientras que la síntesis escala con el error permitido.

4. Resultados

• Simulaciones de Estado Vector:
  • Para el código de hielo $\mathbb{J}4, 2, 2\mathbb{K}$, las simulaciones de las puertas $T$ ($\pi/4$) y $\sqrt{T}$ ($\pi/8$) muestran una escala de error lógico de $O(p^2)$, confirmando la tolerancia a fallos.
  • En el código de Steane, la preparación del estado $|\pi/8\rangle$ logra una infidelidad lógica de $\sim 4 \times 10^{-6}$ con solo 5 ancillas físicas y una tasa de aceptación del 86%, superando significativamente a los métodos de síntesis (como gridsynth) que requieren 15 estados mágicos para una infidelidad similar.
• Sobrecarga: Los circuitos propuestos utilizan $O(l)$ puertas y ancillas. Por ejemplo, para una rotación $\pi/2^l$, el número de puertas es lineal en $l$.
• Distancia de Fallo: Se verifica mediante la herramienta Stim que los circuitos mejorados (Steane con distancia 3 y hielo concatenado con distancia 4) cumplen con los requisitos de distancia de fallo requeridos para la corrección de errores efectiva.

5. Significado e Impacto

• Reducción de Sobrecarga: Este trabajo ofrece una vía práctica para implementar rotaciones de alta precisión en algoritmos cuánticos (como simulaciones de dinámica temporal) sin incurrir en el costo prohibitivo de la síntesis de puertas general.
• Flexibilidad en Códigos: Al funcionar en códigos de hielo y Steane, el método es compatible con arquitecturas de hardware actuales y futuras que utilizan estos códigos de corrección de errores.
• Nuevos Paradigmas de Tolerancia a Fallos: Introduce el uso sistemático de operadores de gauge no-Pauli para detectar errores en puertas no-Clifford, abriendo una nueva dirección de investigación para mejorar la jerarquía de Clifford y la preparación de estados mágicos.
• Aplicabilidad Práctica: La capacidad de preparar estados de recurso $|\pi/2^l\rangle$ con alta fidelidad y baja sobrecarga es crucial para la implementación de primitivas algorítmicas en dispositivos de la era intermedia (NISQ) y en la transición hacia la computación cuántica a gran escala.

En conclusión, los autores han desarrollado un marco teórico y práctico robusto para realizar rotaciones lógicas de ángulos específicos de manera tolerante a fallos, logrando un equilibrio óptimo entre la precisión, la sobrecarga de recursos y la distancia de fallo.