A robust phase of continuous transversal gates in quantum stabilizer codes

Resumen Técnico: Una Fase Robusta de Puertas Transversales Continuas en Códigos de Estabilizador Cuántico

Planteamiento del Problema
La computación cuántica tolerante a fallos (FTQC) requiere un conjunto universal de puertas lógicas. Aunque las puertas transversales son naturalmente tolerantes a fallos porque no propagan errores dentro de los bloques de código, el teorema de Eastin-Knill prohíbe un conjunto universal de tales puertas. En consecuencia, los protocolos estándar dependen de la destilación o el cultivo de estados mágicos, que típicamente producen rotaciones de ángulo fijo. La síntesis de rotaciones arbitrarias de ángulo continuo (particularmente ángulos pequeños) utilizando estos métodos incurre en una sobrecarga significativa, que escala como $O(\log(1/\epsilon))$ para una tolerancia $\epsilon$. Esto es ineficiente para aplicaciones como la simulación cuántica que requieren muchas rotaciones de ángulo pequeño. Además, aunque los errores coherentes (rotaciones unitarias sistemáticas) suelen verse como perjudiciales, su interacción con la corrección de errores en códigos de superficie bajo ruido de desfasaje sigue siendo un área de estudio compleja.

Metodología
Los autores investigan el comportamiento del código de superficie cuadrado rotado (un código CSS) sometido a rotaciones $Z$ transversales coherentes uniformes por un ángulo $\theta$, seguidas de la medición de síndromes y la decodificación. Analizan el canal lógico resultante, que toma la forma de una rotación coherente por un ángulo dependiente del síndrome $\phi_s(\theta)$ combinada con una tasa de desfasaje lógico $q_s$.

Para caracterizar el sistema, los autores:

1. Modelan el Ruido: Consideran un canal físico donde cada qubit experimenta una rotación coherente $\theta$ y un desfasaje incoherente a una tasa $p$.
2. Mapeo de Mecánica Estadística: Utilizan un mapeo a un modelo de Ising de enlaces aleatorios complejos 2D con dos capas acopladas. Este modelo tiene en cuenta la interferencia de los términos de error de las rotaciones coherentes y el acoplamiento inducido por el ruido incoherente.
3. Simulación Numérica: Utilizando el decodificador PyMatching y métodos de redes de tensores (específicamente el algoritmo de Darmawan y Poulin), calculan los parámetros del canal lógico ($\phi_s$ y $q_s$) para diversas distancias de código $d$ y parámetros físicos $(p, \theta)$.
4. Diseño de Protocolo Adaptativo: Formulan el problema de alcanzar un ángulo lógico objetivo $\Phi_T$ como un problema de control estocástico clásico. Utilizando la ecuación de Bellman, optimizan una política para seleccionar el ángulo de rotación física $\theta$ en cada paso para minimizar el número esperado de rondas $T$, mientras rastrean el desfasaje lógico acumulado. Incorporan un mecanismo de "reinicio" para reiniciar el proceso si el desfasaje excede un umbral.

Contribuciones Clave
El artículo identifica y caracteriza una "fase robusta" en el espacio de parámetros de desfasaje físico $p$ y ángulo de rotación $\theta$. En esta fase:

• Supresión Exponencial del Desfasaje Relativo: El desfasaje relativo lógico medio, definido como $E[q_s / |\phi_s|]$, se suprime exponencialmente con el aumento de la distancia del código $d$ ($E[q_s / |\phi_s|] \sim e^{-\kappa d}$).
• Límites de Fase: Esta fase está delimitada por dos transiciones: un $\theta$ crítico superior donde la recuperación se vuelve imposible, y un novedoso límite inferior donde el desfasaje domina sobre el ángulo de rotación.
• Unitarias Lógicas Continuas: Dentro de esta fase, las rotaciones coherentes transversales y la decodificación producen rotaciones unitarias lógicas con una infidelidad exponencialmente suprimida en relación con el ángulo de rotación.

Basándose en esta fase, los autores diseñan un protocolo tolerante a fallos para rotaciones lógicas de ángulo continuo que:

• Utiliza únicamente rotaciones coherentes transversales, mediciones de síndrome y correcciones asistidas por el decodificador.
• Evita la postselección mediante el uso de retroalimentación adaptativa y reinicios.
• Genera estados mágicos de ángulo pequeño continuamente ajustables.

Resultados

• Diagrama de Fases: Los autores mapean la fase robusta en el plano $(p, \theta)$. Para una tasa de desfasaje físico fija (por ejemplo, $p=0.001$), existe un rango óptimo de $\theta$ donde el desfasaje relativo se minimiza.
• Escalabilidad: El desfasaje relativo lógico en el ángulo objetivo (donde el síndrome trivial ocurre con un 50% de probabilidad) disminuye exponencialmente con la distancia del código $d$.
• Eficiencia del Protocolo: El protocolo adaptativo logra apuntar a ángulos $\Phi_T$ arbitrarios. El número esperado de rondas $E[T]$ aumenta con el ángulo objetivo pero es independiente de la tolerancia final $\epsilon$ (a diferencia de los esquemas de destilación).
• Comparación de Recursos: Para ángulos objetivo pequeños (por ejemplo, $\Phi_T \leq \pi/28$ para $d=7$), el costo de recursos del protocolo (volumen de espacio-tiempo incluyendo reinicios) se vuelve competitivo con, o superior a, la síntesis de Clifford+T combinada con el cultivo de estados mágicos convencional.

Significancia y Reivindicaciones
El artículo afirma haber descubierto una nueva fase de la materia en la corrección de errores cuánticos donde las rotaciones coherentes, típicamente vistas como errores, pueden aprovecharse para realizar operaciones precisas. La principal significancia radica en proporcionar una alternativa de bajo costo y tolerante a fallos para generar rotaciones de ángulo pequeño, las cuales son cruciales para algoritmos como la simulación cuántica Trotterizada y la transformada de Fourier cuántica.

Los autores enfatizan que su protocolo es complementario a los métodos de inyección existentes, abordando específicamente la dificultad que otros métodos enfrentan para generar ángulos pequeños de manera eficiente. Observan que el rango de ángulos de rotación lógicos alcanzables disminuye exponencialmente con el tamaño del código, limitando la utilidad del protocolo a escenarios donde se requieren rotaciones pequeñas. El trabajo sugiere que este enfoque podría extenderse a otros códigos que satisfagan el criterio de unitaria lógica (como ciertos códigos LDPC) y que la demostración experimental sigue siendo un desafío futuro. El artículo no pretende reemplazar la destilación de estados mágicos para todas las aplicaciones, sino ofrecer una herramienta especializada y eficiente para operaciones de ángulo continuo.