Krylov Complexity for Time-Dependent Hamiltonians

Resumen Técnico: Complejidad de Krylov para Hamiltonianos Dependientes del Tiempo

Planteamiento del Problema
La complejidad de Krylov (o complejidad de propagación) ha surgido como una medida significativa de la complejidad cuántica de base inferior, cuantificando cómo un estado inicial explora el espacio de Hilbert bajo la evolución temporal. Aunque ha sido extensamente estudiada para Hamiltonianos independientes del tiempo, su aplicación a Hamiltonianos dependientes del tiempo $H(t)$ presenta desafíos conceptuales y técnicos. El obstáculo principal es la no conmutatividad del Hamiltoniano en diferentes tiempos, $[H(t_1), H(t_2)] \neq 0$, lo que requiere el ordenamiento temporal en el operador de evolución $U(t, t_0) = \mathcal{T} \exp[-i \int_{t_0}^t H(s) ds]$. Esta estructura impide la aplicación directa de las construcciones estándar de Krylov, que están formuladas naturalmente para generadores independientes del tiempo. El artículo aborda la necesidad de métodos prácticos para calcular la complejidad de Krylov en tales entornos dependientes del tiempo, particularmente cuando no existen soluciones exactas.

Metodología
Los autores proponen un marco que utiliza la expansión de Magnus para aproximar el operador de evolución temporal, permitiendo así la definición de un generador efectivo independiente del tiempo para los cálculos de la complejidad de Krylov. La metodología se divide en dos regímenes principales:

1. Sistemas Periódicamente Impulsados (Teoría de Floquet):
   Para sistemas con $H(t+T) = H(t)$, los autores utilizan la teoría de Floquet, donde el operador de evolución de un periodo se define mediante un Hamiltoniano de Floquet $H_F$ vía $U(t_0+T, t_0) = e^{-iH_F T}$. Cuando $H_F$ no puede obtenerse de forma cerrada, se emplea la expansión de Floquet–Magnus como una aproximación perturbativa sistemática. Los autores analizan la convergencia de esta expansión, señalando que, si bien es fiable para tiempos cortos o impulsos de alta frecuencia, puede perder precisión sobre intervalos largos debido a términos seculares o efectos de calentamiento.

2. Sistemas Generales Dependientes del Tiempo (Expansión de Magnus por Partes):
   Para sistemas no periódicos donde no existe una descripción de Floquet global, los autores introducen una expansión de Magnus por partes (piecewise). Este enfoque particiona el intervalo de tiempo total $[0, t]$ en subintervalos más pequeños $[t_j, t_{j+1}]$ tales que la condición de convergencia local de la expansión de Magnus se satisfaga en cada paso. La evolución completa se reconstruye como un producto ordenado de propagadores locales, cada uno aproximado por una serie de Magnus truncada. Este método permite el seguimiento de Hamiltonianos efectivos durante tiempos arbitrariamente largos, incluso cuando una expansión global divergería o perdería precisión.

Contribuciones Clave y Resultados

• Sistemas de Dos Niveles Periódicamente Impulsados:
  El marco se aplica a sistemas de dos niveles impulsados.

  • Impulso Circularmente Polarizado: El problema se resuelve exactamente mediante una transformación al marco rotatorio, lo que produce un Hamiltoniano efectivo estático y una expresión analítica para la complejidad de Krylov estroboscópica.
  • Impulso Linealmente Polarizado: En el régimen de alta frecuencia, los autores derivan un Hamiltoniano estroboscópico efectivo utilizando la expansión de Floquet–Magnus. Demuestran que el orden principal implica una renormalización por función de Bessel del término estático, mientras que la corrección de segundo orden introduce un término transversal que involucra tanto funciones de Bessel como de Struve. Este término transversal, ausente en la aproximación del Hamiltoniano promedio, es responsable de transiciones débiles y contribuye al crecimiento de la complejidad. Los autores también proporcionan límites rigurosos para el error de truncamiento de la serie de Magnus, mostrando una mejora exponencial con el orden dentro del régimen de convergencia.

• Osciladores Cuadráticos y Evolución Simpléctica:
  Los autores extienden el análisis a osciladores armónicos con frecuencias dependientes del tiempo, donde la dinámica está gobernada por transformaciones simplécticas.

  • Referencia de Quench Súbito: Para un quench de frecuencia súbito, la expansión de Magnus global termina exactamente en primer orden (ya que los conmutadores se anulan), proporcionando un referente analítico exacto para la complejidad de Krylov.
  • Quench Suave (Enfoque por Partes): Para cambios de frecuencia suaves y de tiempo finito (soft quenches), la expansión global es insuficiente. Los autores implementan numéricamente la expansión de Magnus por partes. Muestran que la complejidad de Krylov crece durante la rampa y exhibe oscilaciones acotadas para quenches rápidos, mientras que los quenches lentos (adiabáticos) resultan en un acercamiento suave a un valor constante final con oscilaciones post-rampa despreciables.

• Complejidad de Krylov para Vacíos Comprimidos (Squeezed Vacua):
  Un resultado específico derivado en los apéndices establece que para un estado de vacío comprimido que evoluciona desde un vacío de referencia, la complejidad de Krylov es directamente proporcional al cuadrado del parámetro de compresión: $C_K(t) = \frac{1}{2} \sinh^2 r(t) = \frac{1}{2} |\nu(t)|^2$, donde $\nu(t)$ es el coeficiente de Bogoliubov.

Significancia y Reivindicaciones
El artículo afirma proporcionar herramientas prácticas para analizar el crecimiento de la complejidad en una amplia clase de sistemas cuánticos dependientes del tiempo. Su principal significancia radica en cerrar la brecha entre la definición teórica de la complejidad de Krylov y su computabilidad en escenarios dependientes del tiempo. Al combinar la teoría de Floquet con la expansión de Magnus, los autores ofrecen una forma sistemática de definir la complejidad estroboscópica para sistemas periódicos. Además, la introducción de la expansión de Magnus por partes aborda las limitaciones de las aproximaciones globales, ofreciendo un método fiable para sistemas no periódicos donde la convergencia global falla.

Los autores posicionan su trabajo como complementario a enfoques existentes, como el mapeo de la evolución de Floquet a modelos 1D extendidos o el uso de formalismos de espacio de Hilbert extendido. Enfatizan que su marco basado en Magnus es particularmente útil para sistemas donde el Hamiltoniano efectivo puede construirse de forma perturbativa o local, permitiendo la extracción de la complejidad sin resolver la evolución completa con ordenamiento temporal. El artículo concluye que estos métodos son robustos, como lo evidencia su acuerdo con los límites analíticos conocidos (sudden quench) y las expectativas físicas (comportamiento adiabático), y sugiere extensiones futuras a la complejidad de operadores y la complejidad de Krylov generalizada.