Mitigating errors in state preparation and measurement with noncomputational states

Resumen Técnico: Mitigación de Errores en la Preparación de Estados y Medición con Estados No Computacionales

Planteamiento del Problema
Las técnicas actuales de mitigación de errores para la computación cuántica suelen depender de métodos conscientes del ruido que requieren una caracterización fiel de los canales de ruido del hardware. Sin embargo, existe una limitación fundamental al intentar separar los errores de preparación de estado y medición (SPAM) de los errores de puerta, o al intentar distinguir los errores de preparación de estado de los errores de medición. En los marcos de trabajo estándar restringidos al subespacio computacional, ciertos grados de libertad específicos del modelo de ruido son "inaprendibles" (identificados matemáticamente como el espacio de corte de un grafo de ciclo). En consecuencia, la mitigación conjunta de los errores SPAM puede conducir a imprecisiones, como la sobrecompensación observada en la técnica de Extinción de Error de Lectura Girada (TREX). Cuando el conjunto de cúbits afectados por los errores de preparación de estado difiere del soporte del observable que se mide, TREX puede producir valores de esperanza no físicos (por ejemplo, valores que exceden 1 o caen por debajo de -1). Además, los protocolos existentes de caracterización de ruido autoconsistentes, aunque son suficientes para circuitos unitarios, no revelan la "verdad fundamental" (ground truth) de todos los parámetros (específicamente los errores de preparación de estado), lo que limita su aplicabilidad a circuitos dinámicos con mediciones a mitad de circuito (MCM) y retroalimentación clásica.

Metodología
Los autores proponen aprovechar los estados no computacionales (específicamente el estado $|2\rangle$ en cúbits transmones superconductores) como un recurso adicional para romper la simetría que hace que los errores de preparación de estado sean inaprendibles.

1. Caracterización de los Errores de Preparación de Estado: El protocolo utiliza un experimento RabiEF (oscilaciones de Rabi en el subespacio $|1\rangle \leftrightarrow |2\rangle$) para medir directamente la fidelidad de preparación de estado ($f_{sp}$) de un reset pasivo. Al esperar a la termalización (reset pasivo), el cúbit entra en un estado térmico con una población conocida en el estado excitado. La señal RabiEF permite la estimación precisa de la probabilidad $p_{sp}$ de encontrar el cúbit en $|1\rangle$, aislando efectivamente el error de preparación de estado del ruido de medición.
2. Mitigación Dividida de Errores SPAM: Los autores demuestran que, al conocer independientemente $f_{sp}$, es posible corregir el factor de mitigación de TREX. En lugar de normalizar el valor de esperanza bruto $\langle O \rangle_{raw}$ por un factor $\langle Z^\star \rangle$ que confunde los errores de estado y de medición, el valor bruto se normaliza por un producto de las fidelidades de preparación de estado conocidas y el factor de corrección de medición. Esta "mitigación dividida" evita la sobrecorrección.
3. Modelo de Ruido para Mediciones a Mitad de Circuito (MCM): El artículo introduce un modelo de ruido exhaustivo para las MCM que incluye tres canales de error: errores de estado (cambios de bit en el cúbit), errores de asignación (cambios de bit en el bit clásico) y errores correlacionados (cambios simultáneos). Este modelo se aprende mediante Benchmarking de Ciclo de Medición (MCB).
4. Protocolo Completo: El flujo de trabajo propuesto implica:
   • Aprender la fidelidad de preparación de estado ($f_{sp}$) mediante RabiEF (usando ya sea resets pasivos lentos o resets rápidos de qutrit activo).
   • Aprender las fidelidades de ruido de medición ($f_a, f_s, f_c$) mediante MCB.
   • Combinar estos parámetros para especificar completamente el modelo de ruido, permitiendo la separación de los errores SPAM en circuitos dinámicos.
   • Aplicar estos parámetros a esquemas de mitigación de errores como la Cancelación de Error Probabilística (PEC).

Resultados Clave

• Demostración en Hardware: Los experimentos en un dispositivo IBM Quantum Eagle mostraron que la mitigación TREX estándar produjo valores de esperanza no físicos para observables globales (por ejemplo, $X^{\otimes n}$) en circuitos GHZ de 4, 6 y 8 cúbits debido a errores de preparación de estado no contabilizados. El método propuesto de "Split SPAM", utilizando el $f_{sp}$ medido independientemente, corrigió estos valores para que cayeran dentro de los límites físicamente válidos y se alinearan con los modelos teóricos de ruido.
• Simulación de Circuitos Dinámicos: Las simulaciones numéricas demostraron que el protocolo de aprendizaje de ruido propuesto caracteriza con éxito el ruido en circuitos dinámicos. Específicamente, se simuló un circuito de teletransportación de tres cúbits con ruido, y se aplicó PEC utilizando los parámetros SPAM divididos y aprendidos. Las fidelidades de estado mitigadas superaron significativamente a los valores no mitigados (mediana >98% frente a <96%), confirmando que el método separa y mitiga eficazmente los errores de preparación de estado y de medición de forma independiente.
• Robustez ante Tipos de Reset: Las simulaciones indicaron que, si bien los resets rápidos de cúbits (clasificación binaria) pueden conducir a estimaciones no físicas de $p_{sp}$ debido a la población residual de $|2\rangle$, los resets rápidos de qutrit (discriminando entre $|0\rangle, |1\rangle, |2\rangle$) permiten una caracterización precisa de la preparación de estado sin la penalización de tiempo de los resets pasivos lentos.

Significancia y Reivindicaciones
El artículo afirma que, al utilizar estados no computacionales, es posible superar los "teoremas de no existencia" (no-go theorems) relativos al aprendizaje de ruido que se aplican cuando el marco de trabajo está restringido al subespacio computacional. La principal significancia radica en:

1. Establecimiento de la Verdad Fundamental (Ground Truth): La capacidad de restringir completamente los modelos de ruido mediante el aprendizaje de la verdad fundamental de los errores de preparación de estado, que anteriormente eran inaprendibles.
2. Aplicabilidad a Circuitos Dinámicos: El método permite una mitigación de errores precisa para circuitos dinámicos que involucran mediciones a mitad de circuito y retroalimentación clásica, un régimen donde los protocolos autoconsistentes previos eran insuficientes debido a los grados de libertad de calibre (gauge) no restringidos.
3. Validez Física: El enfoque evita la generación de valores de esperanza no físicos en la mitigación de errores, asegurando que los resultados permanezcan dentro de los límites de la realidad física.
4. Agnosticismo de Hardware: Aunque se demostró en cúbits superconductores, los autores afirman que el método es aplicable a cualquier plataforma de hardware donde los estados no computacionales sean direccionables (por ejemplo, iones atrapados, qutrits de espín de estado sólido).

El trabajo concluye que este enfoque abre la puerta a una mejor mitigación de errores tanto para mediciones finales como de mitad de circuito, facilitando experimentos de utilidad a escala más fiables.