Surface Code with Imperfect Erasure Checks

Resumen Técnico: Código de Superficie con Verificaciones de Borrado Imperfectas

Planteamiento del Problema
Los avances recientes en la corrección de errores cuánticos (QEC) se han centrado en los "qubits de borrado" (erasure qubits), donde el ruido físico dominante se manifiesta como estados de fuga (leakage) que pueden ser detectados y convertidos en borrados. Los estudios teóricos indican que los protocolos de QEC que utilizan errores de borrado poseen distancias de error efectivas y tasas de error de umbral significativamente más altas en comparación con aquellos sujetos al ruido Pauli estándar. Sin embargo, estas ventajas teóricas suelen asumir verificaciones de borrado perfectamente precisas realizadas después de cada operación de puerta. En la práctica, implementar tales verificaciones perfectas conlleva una carga significativa de tiempo y de hardware. Por ejemplo, en las arquitecturas de qubits de doble carril (DR) superconductores, realizar una verificación de borrado dedicada después de cada puerta puede duplicar el tiempo del ciclo de corrección de errores e introducir nuevos errores durante la propia verificación. Además, las verificaciones de borrado prácticas pueden sufrir imperfecciones, incluyendo:

1. Resolución Temporal Imperfecta: La verificación puede detectar un evento de fuga con retraso, lo que significa que una bandera levantada en el tiempo $t$ podría corresponder a un evento de fuga en el tiempo $t$ o en $t-1$.
2. Resolución Espacial Imperfecta: La verificación puede indicar que ocurrió una fuga dentro de una puerta de dos qubits específica, pero fallar al identificar cuál de los dos qubits participantes sufrió la fuga.

Este trabajo investiga las consecuencias de estas imperfecciones en el rendimiento del código de superficie, preguntando específicamente si las ventajas de los qubits de borrado persisten cuando las verificaciones son imperfectas pero eficientes en términos de sobrecarga (overhead).

Metodología
Los autores analizan el código de superficie bajo cuatro modelos de ruido distintos que combinan dos tipos de errores Pauli inducidos por fuga y dos tipos de imperfecciones en la verificación de borrado:

• Modelos de Pauli Inducidos por Fuga:
  • Modelo Pauli General: Un qubit con fuga induce un error Pauli ($I, X, Y, Z$) en el qubit con el que interactúa con igual probabilidad.
  • Modelo Pauli Adaptado (Tailored): Motivado por los qubits DR superconductores (específicamente los DR basados en cavidades con verificaciones integradas), este modelo asume que el error inducido está restringido. Para una puerta CZ, el error se extrae de $\{I, Z\}$; para una puerta CX, de $\{I, X\}$. Esta restricción surge de la física específica de la plataforma DR.
• Imperfecciones de la Verificación de Borrado:
  • Resolución Espacial Perfecta: La verificación identifica el qubit exacto que sufrió la fuga.
  • Resolución Espacial Imperfecta: La verificación identifica la puerta que contiene la fuga pero no el qubit específico, requiriendo el reinicio de ambos qubits.
  • Resolución Temporal Imperfecta: Caracterizada por un parámetro $\eta$, que representa la probabilidad de que una fuga señalizada haya ocurrido en la puerta actual en lugar de en la inmediatamente anterior.

Los autores emplean simulaciones de Monte Carlo de ruido a nivel de circuito estocástico combinadas con un decodificador Union-Find (UF) ponderado. El decodificador está calibrado para tener en cuenta los errores correlacionados introducidos por la detección retardada (donde un solo evento de fuga puede propagar errores a múltiples qubits a lo largo del tiempo) y la incertidumbre en la resolución espacial. Evalúan la tasa de error de umbral ($p_{th}$) y la distancia de error efectiva ($d_{eff}$) para varios valores de $\eta$ y la fracción de borrado $R_e$.

Resultados Clave

1. Rendimiento del Umbral:

   • Bajo supuestos físicamente razonables (por ejemplo, $\eta \approx 0.986$ y $R_e \approx 0.98$), el umbral para el código de superficie con verificaciones de borrado imperfectas sigue siendo significativamente más alto que el umbral para el ruido Pauli puro ($\sim 1\%$).
   • Específicamente, para el modelo Pauli adaptado con verificaciones imperfectas, el umbral es aproximadamente del 4.23%, lo cual es más del doble del umbral de Pauli y solo ligeramente inferior al caso de detección de borrado perfecta ($\sim 5.56\%$).
   • Incluso en el peor de los casos, donde la resolución temporal es deficiente ($\eta \to 0$), el umbral permanece muy por encima del límite de Pauli (oscilando entre $\sim 2.6\%$ y $\sim 4.9\%$ dependiendo del modelo).
   • La diferencia de umbral entre verificaciones espacialmente perfectas e imperfectas es insignificante para el modelo Pauli general, pero sigue siendo significativa ($>1\%$) para el modelo Pauli adaptado cuando $\eta \to 1$.

2. Distancia de Error Efectiva ($d_{eff}$):

   • Modelo Pauli General: La resolución temporal imperfecta degrada la distancia efectiva. Para un código de tamaño $d$, la distancia efectiva hacia un error lógico $Z$ ($Z_L$) cae de $d$ a aproximadamente $(d+1)/2$ a medida que $\eta$ disminuye, revirtiendo efectivamente a la escala del ruido Pauli.
   • Modelo Pauli Adaptado: Crucialmente, la distancia efectiva se mantiene robusta. Incluso con resolución temporal y espacial imperfectas, la distancia efectiva tanto para errores lógicos $Z_L$ como $X_L$ permanece en $d$. Esto se debe a que el conjunto de errores restringido ($\{I, Z\}$ o $\{I, X\}$) evita que un solo evento de fuga retardado genere los errores correlacionados específicos necesarios para formar un operador lógico de peso mínimo.

3. Eficiencia de Hardware:

   • El estudio conecta estos modelos con las arquitecturas existentes de doble carril superconductor. Los DR basados en cavidades con verificaciones de borrado integradas (que son espacialmente imperfectas pero temporalmente eficientes) requieren significativamente menos transmones (aproximadamente el 29% de la cantidad requerida para qubits convencionales para alcanzar la misma $d_{eff}$) en comparación con los esquemas de verificación explícitos.

Significancia y Reivindicaciones
El artículo afirma que las ventajas sustanciales de los qubits de borrado —específicamente los requisitos de sistema relajados para la tolerancia a fallos— son robustas frente a imperfecciones realistas en las verificaciones de borrado.

• Reducción de la Sobrecarga (Overhead): Demuestra que se pueden lograr memorias de código de superficie de alto rendimiento utilizando "verificaciones de borrado eficientes en términos de sobrecarga" (por ejemplo, verificaciones integradas con resolución temporal/espacial imperfecta) sin sacrificar el umbral o la distancia efectiva, siempre que el ruido inducido por fuga siga la estructura "adaptada".
• Viabilidad Práctica: Los resultados sugieren que el requisito estricto de verificaciones de borrado perfectas y en tiempo real no es necesario. Los sistemas pueden tolerar la detección retardada y la ambigüedad espacial y, aun así, mantener una tasa de umbral que es más del doble de la del ruido Pauli estándar.
• Caracterización del Ruido: El trabajo enfatiza la importancia crítica de caracterizar experimentalmente el modelo de ruido detallado (específicamente si la fuga induce errores Pauli generales o adaptados), ya que esto determina si el código retiene su ventaja de distancia bajo verificaciones imperfectas.

Los autores concluyen que es posible lograr un buen rendimiento en memorias de computación cuántica de código de superficie con requisitos de sistema relajados, lo que motiva el uso de estrategias de verificación de borrado simplificadas y eficientes en hardware en procesadores cuánticos superconductores.