DRAG-Compatible Leakage Suppression in Landau--Zener Control via Isoprobability Twins

Resumen Técnico: Supresión de Fugas Compatible con DRAG en el Control de Landau–Zener mediante Gemelos de Isoprobabilidad

Planteamiento del Problema
Los modelos cuánticos analíticamente resolubles, específicamente los modelos de Landau–Majorana–Stückelberg–Zener (LMSZ) y Allen–Eberly–Hioe (AEH), son fundamentales para las implementaciones de puertas cuánticas y los protocolos de transferencia de población. Sin embargo, las formas de pulso canónicas de estos modelos presentan limitaciones significativas para el hardware cuántico moderno. Notablemente, el pulso LMSZ estándar presenta una envolvente de frecuencia de Rabi constante ($\Omega(t) = \text{const}$). Esta envolvente plana hace que la derivada $\dot{\Omega}(t)$ sea cero, lo que impide la aplicación de las técnicas de Eliminación de Derivada mediante Puertas Adiabáticas (DRAG, por sus siglas en inglés). DRAG es un método estándar de supresión de fugas que se basa en una corrección imaginaria proporcional a $\dot{\Omega}(t)$ para cancelar las transiciones no adiabáticas hacia estados no computacionales (fugas). En consecuencia, el modelo LMSZ analíticamente tratable es estructuralmente incompatible con la supresión de fugas estándar, lo que obliga a un compromiso entre la resolubilidad analítica y la robustez del hardware.

Metodología
Los autores abordan esta limitación formalizando el concepto de modelos gemelos de isoprobabilidad. Utilizando la transformación de Delos-Thorson, los autores identifican pares distintos de frecuencia de Rabi $\Omega(t)$ y detuning $\Delta(t)$ que producen identidades en las probabilidades de transición post-pulso.

1. Marco Teórico: El método implica un cambio en la variable independiente en la ecuación de Schrödinger de tiempo $t$ a la variable de Delos-Thorson $\sigma(t) = \int_0^t \Omega(t') dt'$. Esto reconfigura la dinámica de tal manera que la probabilidad de transición depende únicamente de la variable de Stückelberg $\Theta(\sigma) = \Delta(t(\sigma))/\Omega(t(\sigma))$. Cualquier par $\{\Omega(t), \Delta(t)\}$ que genere la misma función $\Theta(\sigma)$ pertenece a la misma "clase de isoprobabilidad" y produce resultados de transición idénticos.
2. Generación de Modelos: Los autores generan sistemáticamente 16 modelos distintos tanto para la clase LMSZ finita como para la clase AEH. Al seleccionar una envolvente de pulso suave (por ejemplo, coseno o secante hiperbólica) en lugar de la envolvente constante, derivan la correspondiente función de detuning que preserva la probabilidad de transición original.
3. Validación Experimental: La equivalencia de estos modelos gemelos se probó en el procesador de transmones ibm_kyiv de 127 cúbits de IBM. Dado que el hardware carece de control directo del detuning dependiente del tiempo, los autores emularon los perfiles de detuning requeridos aplicando una fase dependiente del tiempo a la excitación de la frecuencia de Rabi ($\phi(t) = \int \Delta(t) dt$). Midieron los paisajes de probabilidad de transición para tres modelos distintos de la clase LMSZ (Rabi constante, coseno y secante hiperbólica) y tres modelos de la clase AEH.
4. Demostración de la Supresión de Fugas: Se realizó una simulación numérica utilizando un Hamiltoniano de transmon de 8 niveles ajustado al cúbit 14 del procesador ibm_kyiv. Los autores compararon el pulso LMSZ canónico de Rabi constante contra su gemelo de isoprobabilidad de "Rabi-coseno", al cual se le aplicó una corrección DRAG ($\beta \dot{\Omega}(t)$).

Resultos Clave

• Equivalencia Experimental: Los paisajes de probabilidad de transición medidos en el procesador cuántico para los diferentes gemelos de isoprobabilidad fueron casi idénticos. Los errores cuadráticos medios (MSE) entre los mapas experimentales de los modelos de Rabi constante, Rabi-coseno y Rabi-secante hiperbólica estuvieron en el orden de $10^{-3}$ (por ejemplo, $1.7 \times 10^{-3}$ entre los pares 1 y 4), confirmando que distintas formas de pulso pueden producir la misma transferencia de población post-pulso.
• Reducción de Fugas: La simulación numérica demostró que, mientras el pulso LMSZ canónico de Rabi constante acumula fugas de hasta un 2.4% (media de 0.53%) debido a la imposibilidad de aplicar DRAG, el gemelo de Rabi-coseno suave combinado con la corrección DRAG reduce las fugas a menos de $1.1 \times 10^{-3}\%$ (media de $2.8 \times 10^{-4}\%$).
• Factor de Supresión: Esto representa un factor de supresión de fugas de aproximadamente 2200 (pico) y 1900 (media), superando tres órdenes de magnitud, manteniendo la probabilidad de transición al estado excitado en $P_1 \approx 0.9998$.

Significancia y Reivindicaciones
El artículo sostiene que el marco de isoprobabilidad logra desacoplar la elección de la forma del pulso de la elección del modelo analítico. Esto permite a los investigadores seleccionar envolventes de pulso que satisfagan las restricciones del hardware (como la suavidad para la compatibilidad con DRAG) sin sacrificar las probabilidades de transición analíticas exactas proporcionadas por modelos resolubles como LMSZ y AEH.

Los autores enfatizan que este enfoque resuelve la incompatibilidad estructural entre el modelo LMSZ y la supresión de fugas por DRAG. Al cambiar de una envolvente constante a un "gemelo" suave dentro de la misma clase de isoprobabilidad, el modelo se vuelve compatible con los kits de herramientas de corrección basados en derivadas. Este trabajo valida este concepto experimentalmente en un procesador cuántico real y demuestra su potencial para mejorar significativamente la fidelidad de las puertas mediante la supresión de fugas hacia estados no computacionales, un requisito crítico para la computación cuántica tolerante a fallos. La metodología se presenta como aplicable a diversas plataformas, incluyendo átomos de Rydberg, iones atrapados y sistemas de RMN/IRM, dondequiera que se desee la resolubilidad analítica pero las formas de pulso canónicas resulten impracticables.