Optimal Control of thermally noisy quantum gates in a multilevel system

Resumen Técnico: Control Óptimo de Puertas Cuánticas con Ruido Térmico en un Sistema de Niveles Múltiples

Planteamiento del Problema
Los sistemas cuánticos son inherentemente susceptibles al ruido ambiental y a las imperfecciones en los campos de control externos, lo que degrada la fidelidad de las puertas cuánticas y obstaculiza la implementación práctica de las tecnologías cuánticas. Aunque existen estrategias de aislamiento pasivo, se requieren técnicas activas de mitigación de ruido para adaptarse a condiciones operativas específicas. Un desafío central para el hardware cuántico a corto plazo es desarrollar marcos de control que permanezcan válidos bajo impulsos intensos y condiciones térmicas realistas. Específicamente, este estudio aborda la mitigación del ruido térmico markoviano, caracterizado por interacciones rápidas y sin memoria entre el sistema y su entorno, lo cual es particularmente relevante para los dispositivos cuánticos modernos que operan a temperaturas criogénicas. A diferencia de trabajos anteriores centrados en la desfase por campos de control imperfectos, este estudio se dirige a la relajación térmica donde el entorno intercambia energía con el sistema.

Metodología
Los autores emplean la Teoría de Control Óptimo (OCT) dentro de un marco markoviano termodinámicamente consistente para diseñar puertas cuánticas de alta fidelidad. El núcleo de su enfoque es la integración de la OCT con un generador disipativo dependiente del control derivado del marco de la Ecuación Maestra No Adiabática (NAME).

1. Formalismo Termodinámicamente Consistente: El estudio utiliza una ecuación maestra donde el campo de control externo $\epsilon(t)$ modifica no solo la evolución unitaria, sino también la parte disipativa de la dinámica. Esto se logra construyendo operadores de salto de Lindblad dependientes del tiempo basados en invariantes de la evolución libre. Los operadores de salto son operadores propios de la evolución libre en la representación de Heisenberg, asegurando que la dinámica disipativa respete el balance detallado y la conservación de energía entre el dispositivo y el entorno.
2. Disipación Dependiente del Control: Las frecuencias de transición instantáneas (Bohr) $\omega_{ij}(t)$ son remodeladas por los campos de impulsión. En consecuencia, las tasas de excitación y relajación térmicas, que dependen de la densidad espectral del baño y de la ocupación de Bose-Einstein en estas frecuencias, se vuelven explícitamente dependientes del control.
3. Implementación de OCT: La tarea de control se formula como la maximización de un funcional de fidelidad $F$ que mide la proximidad del mapa dinámico generado $\Lambda(\tau)$ a un mapa objetivo $O$. La optimización utiliza un algoritmo tipo Krotov con propagación hacia adelante del estado y propagación hacia atrás del adjunto (multiplicador de Lagrange). La regla de actualización para el campo de control tiene en cuenta tanto la dependencia unitaria como la cuadrática del disipador respecto al campo.
4. Arquitecturas del Sistema: El estudio investiga tres clases de sistemas:
   • Un solo qubit con uno, dos o tres niveles de anexo (control indirecto mediante transiciones tipo Raman).
   • Una puerta de entrelazamiento de dos qubits de control directo (controlled-iX) sin anexos.
   • Arquitecturas híbridas que combinan control indirecto y directo.
5. Propagación Numérica: Se realiza una propagación de alta precisión de la dinámica completa del sistema abierto utilizando un propagador semi-global adaptado al espacio de Liouville, empleando expansiones polinómicas (Chebyshev/Newton) y soluciones iterativas para manejar generadores dependientes del tiempo.

Contribuciones Clave

• Integración de NAME y OCT: El artículo combina sistemáticamente un disipador impulsado termodinámicamente consistente con una OCT orientada a puertas. Esto permite diseñar campos de control que tengan en cuenta el hecho de que los campos de impulsión alteran la estructura energética instantánea del sistema y, en consecuencia, su acoplamiento al baño térmico.
• Análisis del Subespacio Lógico: Los autores introducen un enfoque de diagnóstico que resuelve la dinámica en sectores lógicos y de anexo. Cuantifican cómo la dinámica optimizada redistribuye la acción disipativa, distinguiendo entre mejoras de control directo y reducciones asistidas por anexos de la disipación efectiva del sector lógico.
• Comparación Cuantitativa de Arquitecturas: El estudio proporciona un análisis comparativo del control indirecto (vía anexos) frente al control directo en presencia de ruido térmico, identificando regímenes donde el control asistido por anexos reduce la carga de ruido térmico efectiva sobre el subespacio lógico.

Resultados

• Mitigación Asistida por Anexos: Para puertas de un solo qubit impulsadas indirectamente a través de anexos, aumentar el número de niveles de anexo puede reducir la carga de ruido térmico efectiva sobre el subespacio lógico en regímenes de parámetros relevantes. La dinámica optimizada aumenta temporalmente la ocupación del anexo para remodelar el elipsoide de Bloch lógico, reduciendo su contracción (disipación) incluso cuando la disipación global permanece. Sin embargo, este enfoque enfrenta desafíos: el espacio de Hilbert ampliado crea un paisaje de control más accidentado, y las ventanas de convergencia son más estrechas en comparación con el control directo.
• Superioridad del Control Directo: El control directo de la transición lógica sigue siendo la ruta más efectiva para la mejora de la fidelidad. Introducir incluso un canal dipolar directo débil entre los estados del qubit mejora significativamente la robustez, permitiendo que la OCT mitigue el ruido térmico en órdenes de magnitud. Esto se atribuye a la capacidad del control directo para evitar frecuencias donde el acoplamiento del baño es más fuerte, una restricción que el control indirecto no puede satisfacer fácilmente.
• Regímenes de Operación: El estudio identifica tres regímenes cualitativos basados en la tasa de acoplamiento sistema-baño $\gamma$:
  1. Limitado por error coherente: Acoplamiento débil donde el ruido tiene un impacto mínimo.
  2. Intermedio con forma de ruido: Donde importa la programación del control y las estrategias asistidas por anexos muestran beneficios.
  3. Sobreamortiguado/Zeno-like: Acoplamiento fuerte donde domina la relajación térmica y las ganancias de mitigación disminuyen independientemente de la estrategia de control.
• Rendimiento de Puertas de Dos Qubits: Para la puerta controlled-iX, la OCT puede suprimir errores hasta en dos órdenes de magnitud en una ventana óptima distinta de temperatura y tasas de relajación. Sin embargo, a valores grandes de $\gamma$ y $T$, el ruido domina. El análisis de la pureza del subespacio ($P_{sub}$) revela que el control óptimo esculpe un subespacio de trabajo resiliente a la decoherencia donde el mapa se vuelve más similar a una unitaria, incluso cuando el sistema global pierde energía hacia el baño.
• Fuentes de Ruido Combinadas: Cuando se añade ruido de fase (ruido del controlador) al ruido térmico, el control óptimo lucha por mitigar ambos simultáneamente, ya que los protocolos de corrección para los dos tipos de ruido pueden ser contradictorios.

Significado y Afirmaciones
El artículo afirma que su principal novedad no radica en la introducción de una nueva ecuación maestra o algoritmo OCT de forma aislada, sino en la combinación sistemática de un disipador impulsado termodinámicamente consistente con una OCT orientada a puertas, acoplada con un análisis cuantitativo del subespacio lógico.

Los autores enfatizan que su trabajo contribuye al desarrollo del control cuántico termodinámicamente consistente, donde principios como la producción de entropía y el costo energético se integran en el marco de control. Demuestran que, aunque el control asistido por anexos puede ofrecer beneficios específicos en la redistribución de la disipación, el control directo es generalmente superior para mitigar el ruido térmico en los regímenes de parámetros estudiados. El estudio aclara los límites de la mitigación a altas tasas de relajación y temperaturas, mostrando que, aunque son posibles mejoras sustanciales de fidelidad, permanece un componente disipativo irreducible finito debido a la compensación fundamental entre el control coherente y la relajación térmica. Los resultados proporcionan una referencia para futuros diseños de control bajo disipación realista y destacan la importancia de las suposiciones iniciales y la topología del paisaje para encontrar soluciones de alta fidelidad.