Scalable suppression of heating errors in large trapped-ion quantum processors

Resumen Técnico: Supresión Escalable de Errores de Calentamiento en Procesadores Cuánticos de Gran Escala de Iones Atrapados

Declaración del Problema
Los sistemas de iones atrapados son una plataforma líder para la computación cuántica escalable, habiendo alcanzado puertas de un y dos qubits de alta fidelidad y sistemas con hasta 56 qubits. Sin embargo, el calentamiento motacional sigue siendo un obstáculo crítico para la operación tolerante a fallos, particularmente a medida que aumenta el tamaño del sistema. A diferencia de los errores coherentes, el ruido de calentamiento es incoherente, originado por perturbaciones ambientales (campos eléctricos fluctuantes) que causan un calentamiento no deseado de la entrelazación qubit-fonón. A medida que el número de iones crece, el número de modos motacionales y canales de disipación aumenta, amplificando los errores de calentamiento. Las estrategias de mitigación existentes, como el accionamiento policromático, suelen estar restringidas a sistemas de un solo modo o requieren configuraciones experimentales complejas, careciendo de un marco general y escalable para procesadores multimodales de gran tamaño. Además, simular directamente los errores de calentamiento en sistemas grandes es computacionalmente prohibitivo debido al crecimiento exponencial del espacio de Hilbert.

Metodología
Los autores proponen un marco de optimización flexible para suprimir los errores de calentamiento en puertas de Mølmer–Sørensen (MS) para un número arbitrario de iones. El núcleo del enfoque consta de tres componentes principales:

1. Formulación Eficiente de la Función de Costo: En lugar de simular la dinámica ruidosa completa, el marco utiliza un límite superior derivado analíticamente de la contribución de primer orden al error de infidelidad inducido por el calentamiento. Basándose en la aproximación de ruido de Markov, la infidelidad se estima mediante las trayectorias de los modos motacionales en el espacio de fase ($\alpha^m_j(t)$). La función de costo $E$ se define como una suma de integrales que involucran estas trayectorias y las tasas de calentamiento ($\Gamma^\uparrow_m, \Gamma^\downarrow_m$). Esta función es eficientemente computable y evita la sobrecarga exponencial de la estimación de fidelidad completa.
2. Aproximación de Extracción Positiva: La optimización directa de la función de costo es un problema NP-duro debido a la no linealidad (valores absolutos) y la no convexidad. Los autores introducen una "aproximación de extracción positiva" para simplificar el problema:
   • Teorema 1: Demuestran que los términos cruzados en la función de costo del error de calentamiento están acotados por términos diagonales, lo que permite que la función objetivo se aproxime mediante una suma de términos diagonales positivos ($E_{p,p} + E_{q,q}$), eliminando así los valores absolutos.
   • Teorema 2: Reformulan la restricción del ángulo de rotación para asegurar que la matriz asociada sea semidefinida positiva. Al descomponer las frecuencias de Rabi en un conjunto de bases y aplicar transformaciones de cambio de signo específicas a los coeficientes, el problema se convierte en un problema de Programación Cuadrática con Restricciones Cuadráticas (QCQP) semidefinida positiva.
3. Optimización y Reconstrucción: El QCQP resultante se resuelve eficientemente utilizando técnicas estándar (por ejemplo, multiplicadores de Lagrange). Los coeficientes óptimos se utilizan luego para reconstruir las frecuencias de Rabi dependientes del tiempo ($\Omega(t)$) para los iones objetivo. El marco es compatible con varios tipos de bases de pulsos de control (por ejemplo, constantes por tramos o Fourier) y puede incorporar simultáneamente restricciones para la robustez de frecuencia (desacoplar los grados de libertad de espín y fonón y asegurar la robustza contra las fluctuaciones de desintonización).

Resultados Clave
Se realizaron simulaciones numéricas en sistemas que van desde cadenas pequeñas hasta 55 qubits:

• Reducción de la Infidelidad: En comparación con los métodos convencionales (que satisfacen las restricciones de la puerta pero no optimizan para el calentamiento) y los métodos "min-Rabi" (que minimizan la potencia del láser), el marco propuesto logra una reducción de hasta cinco veces la infidelidad en regímenes típicos. Por ejemplo, para $N=44$, el error de calentamiento estimado se redujo de $2.18 \times 10^{-3}$ (convencional) a $4.56 \times 10^{-4}$.
• Escalabilidad: El método demuestra mejoras de rendimiento consistentes a medida que aumenta el número de iones, mientras que los métodos convencionales muestran un aumento del error debido al crecimiento de los canales de calentamiento.
• Robustez de Desintonización: Un hallazgo inesperado es que las formas de onda optimizadas reducen simultáneamente la sensibilidad del ángulo de rotación de la puerta a los errores de desintonización ($\partial \Theta / \partial \mu$). Esto ocurre porque minimizar la función de costo de calentamiento (relacionada con los términos diagonales de la matriz de error) también suprime los términos fuera de la diagonal que gobiernan la sensibilidad de desintonización.
• Características de la Forma de Onda: Las formas de onda optimizadas exhiben naturalmente características que asemejan segmentos de signo alterno y envolventes de variación lenta, las cuales son conocidas por suprimir los errores de desintonización y el desplazamiento motacional residual, a pesar de que la optimización no apuntó explícitamente a ellos.
• Robustez ante el Desajuste de Parámetros: El método sigue siendo efectivo incluso cuando las tasas de calentamiento ($\Gamma$) utilizadas en la optimización difieren de las tasas reales del sistema, lo que sugiere que las estimaciones aproximadas de estos parámetros son suficientes para la implementación práctica.

Significancia y Reivindicaciones
El artículo afirma ofrecer una ruta práctica y escalable hacia la computación cuántica robusta y a gran escala con iones atrapados. Su significancia principal radica en proporcionar un marco general que:

• Supera las limitaciones de escalabilidad de los enfoques anteriores de un solo modo o de láser policromático.
• Evita la intratabilidad computacional de la estimación de fidelidad completa mediante el uso de un límite superior eficientemente computable.
• Aborda simultáneamente múltiples fuentes de error (calentamiento y desintonización) sin requerir configuraciones experimentales complejas como múltiples fuentes de láser.
• Es compatible con técnicas de mitigación de errores existentes y puede implementarse con formas de onda estándar constantes por tramos, lo que lo hace experimentalmente factible.

Los autores concluyen que, si bien su método depende de una suposición de ruido cuasi-estático y una condición inicial de estado producto, representa un paso significativo adelante en la gestión del ruido de calentamiento incoherente que actualmente limita el escalamiento de los procesadores cuánticos de iones atrapados. El trabajo futuro podría extender el marco a ruido dependiente del tiempo (coloreado) y estados iniciales mixtos.