The Quantum Adiabatic Theorem for Non-Hermitian Dynamics

Resumen Técnico: El Teorema Adiabático Cuántico para la Dinámica No Hermítica

Planteamiento del Problema
El teorema adiabático cuántico es un pilar de la mecánica cuántica, el cual afirma que un sistema gobernado por un Hamiltoniano que varía lentamente permanece en su subespacio propio instantáneo. Sin embargo, la formulación estándar depende fuertemente de la hermiticidad del Hamiltoniano, lo que garantiza la evolución unitaria y la existencia de proyecciones espectrales ortogonales. Para los Hamiltonianos no hermíticos, que describen sistemas cuánticos abiertos y sistemas con simetría PT, la evolución no es unitaria con respecto al producto interno estándar, y la estructura espectral no se preserva de una manera sencilla. En consecuencia, las técnicas estándar de resolución-proyección y las estimaciones adiabáticas no pueden aplicarse directamente. Si bien trabajos previos han abordado la adiabaticidad en sistemas abiertos o casos no hermíticos específicos utilizando métodos biorortogonales o escalamiento complejo, aún falta establecer plenamente un marco operatorio-teórico general para la dinámica de Schrödinger no hermítica de dimensión finita con espectros reales.

Metodología
Los autores desarrollan un marco que vincula la dinámica no hermítica con la bien conocida teoría adiabática hermítica a través de un mapa de Dyson dependiente del tiempo. La metodología procede en tres etapas principales:

1. Construcción de una Métrica Dinámicamente Compatible:
   Asumiendo que el Hamiltoniano no hermítico $\hat{H}_T(s)$ es diagonalizable con un espectro real y sin cruces, los autores construyen un operador de métrica dependiente del tiempo $\hat{\Theta}_T(s)$. Este operador se define mediante el operador de evolución $\hat{U}_T(s)$ y una métrica inicial estrictamente positiva $\hat{\Theta}_T(0)$, satisfaciendo la relación $\hat{H}_T^*(s)\hat{\Theta}_T(s) - \hat{\Theta}_T(s)\hat{H}_T(s) = \frac{i}{T}\frac{d}{ds}\hat{\Theta}_T(s)$. La raíz cuadrada positiva de esta métrica, $\hat{\eta}_T(s) = \hat{\Theta}_T(s)^{1/2}$, sirve como el mapa de Dyson dependiente del tiempo.

2. Transformación de Dyson a un Contraparte Hermítico:
   El mapa de Dyson transforma el estado no hermítico original $|\psi(s)\rangle$ en un estado transformado $|\phi(s)\rangle = \hat{\eta}_T(s)|\psi(s)\rangle$. Esta transformación produce un Hamiltoniano de Dyson transformado $\bar{H}_T(s)$, definido como:
   $$\bar{H}_T(s) = \hat{\eta}_T(s)\hat{H}_T(s)\hat{\eta}_T^{-1}(s) + \frac{i}{T}\dot{\hat{\eta}}_T(s)\hat{\eta}_T^{-1}(s)$$
   Los autores demuestran que $\bar{H}_T(s)$ es hermítico. Si este Hamiltoniano transformado satisface los supuestos adiabáticos estándar (suavidad, brechas espectrales, eigenvalues sin cruces), se puede aplicar el teorema adiabático hermítico cuantitativo al sistema transformado.

3. Comparación de Proyección y Pullback:
   La estimación adiabática derivada para el sistema hermítico se "trae de vuelta" (pullback) a la representación no hermítica original. Esto implica comparar dos tipos de proyecciones:

   • La proyección de pullback de Dyson $\Pi_j(s)$, que corresponde al subespacio propio instantáneo del contraparte hermítico en la representación original.
   • La proyección espectral original $\hat{P}_j(s)$ del Hamiltoniano no hermítico.

   Los autores tratan el contraparte hermítico como una perturbación de una transformación de similitud del operador original. Utilizando una estimación de resolvente de contorno, derivan una cota explícita sobre la diferencia entre $\Pi_j(s)$ y $\hat{P}_j(s)$. Esto permite que la estimación de error final se exprese directamente en términos de los subespacios espectrales del Hamiltoniano no hermítico original.

Contribuciones Clave y Resultados
El artículo establece una estimación adiabática cuantitativa para una clase de dinámicas de Schrödinger no hermíticas de dimensión finita. El resultado principal (Teorema 12) proporciona una cota superior en la desviación entre la evolución exacta y la evolución adiabática para un estado inicial en un subespacio espectral del Hamiltoniano no hermítico.

La cota de error final consta de dos contribuciones distintas:

1. El Error Adiabático Hermítico de Pullback: Este término surge del teorema adiabático estándar aplicado al contraparte hermítico $\bar{H}_T(s)$. Depende de las brechas espectrales y de las derivadas del Hamiltoniano transformado, escalado por el inverso del tiempo de evolución total $T$.
2. El Error de Comparación de Proyecciones: Este término cuantifica la discrepancia entre las proyecciones espectrales de pullback de Dyson y las verdaderas proyecciones espectrales del Hamiltoniano no hermítico. Se deriva utilizando una estimación de resolvente de contorno y depende de la norma del término de corrección de Dyson $B_T(s)$ y de las cotas del resolvente del operador transformado por similitud.

El artículo demuestra que, bajo condiciones específicas (diagonalizabilidad, espectro real, eigenvalues sin cruces y un $T$ suficientemente grande para satisfacer la condición de resolvente de contorno), el sistema exhibe un comportamiento adiabático con un error de orden $O(1/T)$.

Ejemplo Ilustrativo
Para validar las hipótesis y la estructura de la cota de error, los autores presentan un modelo no hermítico de dos niveles. En este ejemplo:

• El Hamiltoniano original es no hermítico con coeficientes dependientes del tiempo.
• El mapa de Dyson se construye explícitamente y es dependiente del tiempo.
• El contraparte hermítico no es constante.
• Se muestra que tanto el error adiabático hermético de pullback como el error de comparación de proyecciones son no nulos y explícitamente calculables, confirmando que la estimación final captura ambas fuentes de desviación.

Significancia y Alcance
El artículo afirma proporcionar un marco operatorio-teórico riguroso que extiende el teorema adiabático cuántico cuantitativo a sistemas no hermíticos con espectros reales. Su significancia radica en:

• Reformulación: Reformula el mecanismo adiabático para la dinámica no unitaria mapeando el problema a una representación hermítica mediante una métrica dinámicamente compatible.
• Cotas Explícitas: Proporciona cotas de error explícitas que son directamente aplicables a los subespacios espectrales del Hamiltoniano no hermítico original, en lugar de solo a la representación transformada.
• Descomposición del Error: Separa claramente el error adiabático en el error adiabático hermético intrínseco y el error introducido por la naturaleza no unitaria del sistema original (desajuste de proyección).

Los autores señalan limitaciones: el análisis se restringe a sistemas de dimensión finita, y la construcción del operador de métrica depende del operador de evolución exacto, lo que significa que el marco aún no proporciona un procedimiento constructivo independiente para determinar el mapa de Dyson en modelos arbitrarios sin conocimiento previo de la dinámica. El trabajo sienta las bases para futuras extensiones a entornos de dimensión infinita y para el desarrollo de criterios constructivos para los mapas de Dyson.