Reducing Quantum Error Mitigation Bias Using Verifiable Benchmark Circuits

1. El Problema

En la era de los computadores cuánticos de escala intermedia ruidosa (NISQ), la corrección de errores cuánticos completa no es viable debido a la falta de qubits y a la baja fidelidad de las puertas. En su lugar, se utiliza la Mitigación de Errores Cuánticos (QEM). Sin embargo, los métodos QEM existentes (como la Extrapolación a Ruido Cero o ZNE) sufren de limitaciones fundamentales:

• Sesgo (Bias): Aunque reducen el error, muchos métodos producen estimaciones que aún tienen un sesgo sistemático respecto al valor exacto.
• Compensación Sesgo-Varianza: A menudo, intentar reducir el sesgo aumenta la varianza de los resultados, o viceversa.
• Caracterización de Ruido: Los métodos actuales a menudo asumen modelos de ruido simplificados (como ruido depolarizante uniforme) que no reflejan con precisión la complejidad del hardware real.
• Falta de Verificación: No existe una forma eficiente de verificar si un método de mitigación está funcionando correctamente en un circuito de aplicación específico sin conocer el valor exacto (que es lo que se intenta calcular).

2. Metodología Propuesta

Los autores proponen un enfoque modular y de bajo costo para mejorar los métodos QEM genéricos mediante la construcción de Circuitos de Referencia Verificables (Benchmark Circuits).

A. Concepto de Circuitos de Referencia

Se definen circuitos $B$ que deben satisfacer tres condiciones clave respecto al circuito de aplicación $A$:

1. Estructura Nativa Idéntica: Al ser compilados (transpilados) al hardware objetivo, $A$ y $B$ deben tener la misma secuencia de puertas nativas y mediciones, asegurando perfiles de ruido idénticos.
2. Verificabilidad Clásica: El resultado de la medición de $B$ debe ser una cadena de bits que se pueda determinar eficientemente mediante simulación clásica.
3. Valor Esperado Conocido: El valor esperado exacto del observable $O$ en el circuito $B$ debe ser unitario ($\langle O \rangle_{exact}^B = 1$).

B. Estrategia de Mitigación del Sesgo

Utilizando estos circuitos, se puede estimar el sesgo inherente del método de mitigación. Si $\langle O \rangle_{QEM}^A$ es la estimación mitigada del circuito de aplicación y $\langle O \rangle_{QEM}^B$ es la estimación del circuito de referencia (cuyo valor real es 1), se define una nueva cantidad mitigada de sesgo:
$$\langle O \rangle_{b-mit}^A = \langle O \rangle_{QEM}^A \times \frac{1}{\langle O \rangle_{QEM}^B}$$
Esto corrige el sesgo asumiendo que el error relativo del método de mitigación es similar para ambos circuitos debido a su estructura idéntica.

C. Extrapolación a Ruido Cero con Ruido Verificado (bnZNE)

Los autores introducen bnZNE (Benchmarked-noise Zero-Noise Extrapolation). En lugar de extrapolar los datos en función del factor de escala de ruido $r$ (número de puertas), bnZNE utiliza los circuitos de referencia para medir la tasa de error real $\epsilon(r)$ en cada nivel de ruido. Luego, se extrapolan los valores de $A$ en función de $\epsilon(r)$ hasta $\epsilon = 0$. Esto proporciona una métrica de ruido más precisa que el simple recuento de puertas.

D. Generación de Circuitos de Referencia

Se presentan dos métodos para generar estos circuitos:

1. Agnóstico al Hardware: Basado en rotaciones de Pauli. Es aplicable a cualquier plataforma, pero puede introducir una sobrecarga de puertas de un solo qubit para garantizar consistencia en la transpilación.
2. Adaptado al Hardware (IBM Heron): Aprovecha las características específicas de los dispositivos superconductores de IBM (puertas CZ, $R_Z$, $X$, $\sqrt{X}$). En este caso, se pueden generar circuitos de referencia reemplazando puertas específicas (ej. $\sqrt{X}$ por $X$) sin ninguna sobrecarga de puertas, manteniendo el estado como un producto de eigenestados de Pauli.

3. Contribuciones Clave

• Marco Teórico para Mitigación de Sesgo: Demostración analítica y numérica de que el uso de circuitos de referencia con estructura espejo reduce significativamente el sesgo de los métodos QEM.
• Algoritmo bnZNE: Una adaptación de ZNE que utiliza tasas de error medidas experimentalmente en lugar de factores de escala teóricos, mejorando la precisión de la extrapolación.
• Métodos de Generación Modular: Provee dos estrategias (agnóstica y específica) para crear circuitos de referencia, incluyendo una implementación de costo cero para hardware IBM reciente.
• Herramienta de Software: Lanzamiento de un paquete de código abierto que implementa ZNE, bnZNE, mitigación de sesgo, Pauli Twirling, Decoupling Dinámico (DD) y TREX.

4. Resultados

Los autores validaron sus métodos mediante simulaciones clásicas y experimentos en hardware real:

• Simulaciones Clásicas (10 qubits): En modelos de Ising y Heisenberg con ruido depolarizante, la mitigación de sesgo eliminó casi por completo el sesgo de fidelidad, validando la teoría analítica.
• Experimentos en Hardware (100 qubits - IBM ibm_fez):
  • Se ejecutaron simulaciones de cadenas de Ising de 100 qubits con hasta 2000 puertas entrelazantes.
  • Mejora en Fidelidad y RMSE: El método bnZNE (con y sin mitigación de sesgo) superó consistentemente al ZNE estándar, logrando mejores fidelidades medias y menores errores cuadráticos medios (RMSE).
  • Correlaciones de Largo Alcance: En la medición de correlaciones de dos qubits ($\langle Z_i Z_j \rangle$), los métodos propuestos lograron recuperar correlaciones a distancias mayores donde el ZNE estándar fallaba.
  • Identificación de Qubits Problemáticos: Los circuitos de referencia permitieron identificar qubits específicos con alto ruido (cerca de los índices 20 y 50 en la cadena), demostrando utilidad para la depuración del hardware.
  • Comparación con IC-ZNE: Se demostró que el método de "Circuito Invertido" (IC-ZNE) falla a escala de utilidad (100 qubits) debido al decaimiento exponencial de la probabilidad del estado cero, mientras que bnZNE escala eficientemente.

5. Significado e Impacto

Este trabajo representa un avance significativo hacia la computación cuántica de utilidad:

1. Precisión sin Corrección de Errores Completa: Permite obtener resultados de alta calidad en dispositivos NISQ sin necesidad de la sobrecarga exponencial de la corrección de errores cuánticos completa.
2. Escalabilidad: El enfoque es escalable a cientos de qubits, superando las limitaciones de métodos anteriores que requerían estados de referencia de profundidad excesiva o probabilidades de estado cero inalcanzables.
3. Validación de Resultados: Ofrece una metodología para verificar la calidad de los resultados en aplicaciones donde el valor exacto es desconocido, lo cual es crucial para aplicaciones científicas reales.
4. Eficiencia de Recursos: Aunque requiere el doble de ejecuciones de circuitos (aplicación + referencia), este costo es lineal y manejable comparado con el costo exponencial de otros métodos de mitigación de alto rendimiento.

En resumen, el artículo establece un nuevo estándar para la mitigación de errores al introducir la verificación interna mediante circuitos espejo, logrando una reducción del sesgo de hasta un 15% en circuitos de gran escala y demostrando la viabilidad de simulaciones cuánticas precisas en hardware real.