How thermal is a filtered state?

Resumen Técnico: "¿Cómo es que lo térmico es un estado filtrado?"

Planteamiento del Problema
La simulación cuántica ofrece una vía para sondear las propiedades de equilibrio térmico de sistemas de muchos cuerpos. Sin embargo, la preparación directa de estados térmicos en dispositivos cuánticos es un desafío. Una alternativa prometedora consiste en utilizar filtros de energía para aproximar ensambles térmicos a partir de estados puros simples y fácilmente preparables (por ejemplo, estados producto). Si bien se ha establecido que un filtro exponencialmente estrecho (que resuelve estados propios individuales) produce un comportamiento térmico bajo la Hipótesis de la Termalización de los Estados Propios (ETH), el requisito preciso del ancho del filtro $\delta$ para garantizar el comportamiento térmico sigue siendo una pregunta abierta. Trabajos previos han explorado esto mediante la escala de la entropía de entrelazamiento y la universalidad canónica, arrojando resultados conflictivos o incompletos respecto al escalamiento necesario de $\delta$ con el tamaño del sistema $N$ y el orden de la entropía de Rényi $\alpha$. Este trabajo tiene como objetivo determinar rigurosamente qué tan estrecho debe ser el filtro para asegurar que un estado filtrado se comporte térmicamente.

Metodología
Los autores analizan el problema pasando de la evolución del Hamiltoniano en tiempo continuo a un régimen de Floquet de tiempo discreto. Utilizan un filtro de coseno (específicamente una versión truncada) aplicado a un Hamiltoniano local o a un operador de Floquet.

1. Mapeo de Floquet: El filtro se define como una combinación lineal de operadores de evolución temporal en pasos discretos. Los autores distinguen entre el "régimen Hamiltoniano" (donde el paso de tiempo $T$ escala con el tamaño del sistema para resolver la energía) y el "régimen de Floquet completo" (donde $T$ es constante y el espectro se pliega).
2. Estructura de la Matriz de Densidad Reducida (RDM): Un paso técnico central consiste en analizar la RDM del estado filtrado. Los autores demuestran que, para estados producto genéricos, el eco de Loschmidt (el solapamiento entre estados evolucionados en el tiempo) decae exponencialmente con el tamaño del sistema. Este decaimiento implica que los bloques fuera de la diagonal en la RDM desaparecen, convirtiendo la RDM efectivamente en una suma directa ponderada de las RDM de los pasos individuales evolucionados en el tiempo.
3. Cálculo de la Entropía: Aprovechando esta estructura de bloques diagonales, los autores calculan las entropías de entrelazamiento de Rényi-$\alpha$ sumando las contribuciones de los bloques diagonales y la distribución de los coeficientes del filtro.
4. Convergencia Térmica: Para cuantificar la "termalidad", los autores calculan la distancia de traza (o la diferencia en los valores de expectativa de observables locales) entre el estado filtrado y el ensamble térmico (diagonal). Emplean la ETH de Floquet, que postula que los elementos de matriz de los observables en la base propia siguen estadísticas de la teoría de matrices aleatorias, para acotar las contribuciones de los términos fuera de la diagonal.
5. Extensión al Régimen Hamiltoniano: Finalmente, los autores mapean los estados filtrados por Hamiltoniano a estados efectivos filtrados por Floquet, agrupando los términos de evolución temporal, lo que permite aplicar los resultados de Floquet al entorno estándar del Hamiltoniano.

Resultos Clave

1. Escalamiento de la Entropía de Rényi: Los autores reproducen y explican distintos comportamientos de escalamiento de la entropía de entrelazamiento $S_\alpha$ de los estados filtrados dependiendo de $\alpha$:
   • $\alpha > 1$: La entropía escala logarítmicamente con el inverso del ancho del filtro ($\log(1/\delta)$). Esto contrasta con la ley de volumen esperada para estados totalmente térmicos, sugiriendo que para un $\delta$ polinómicamente pequeño, los estados filtrados no son totalmente térmicos en términos de entrelazamiento de alto orden.
   • $\alpha = 1$ (Von Neumann): La entropía escala linealmente con $1/\delta$ (más una corrección logarítmica), de manera similar a la entropía de un estado evolucionado durante un tiempo $t \sim 1/\delta$.
   • $\alpha < 1$: El escalamiento depende del tipo de filtro. Para un filtro truncado, escala linealmente con $1/\delta$. Para un filtro no truncado (de coseno exacto), escala cuadráticamente con $1/\delta$ (o $1/\delta^2$).
2. Convergencia a Estados Térmicos: Bajo la suposición de la ETH de Floquet, los autores demuestran que la distancia de traza entre un estado filtrado por Floquet y el estado térmico está acotada superiormente por $O(\sqrt{\delta})$. Específicamente, la diferencia en los valores de expectativa para cualquier observable local está acotada por $O(\sqrt{\delta})$.
3. Equivalencia del Régimen Hamiltoniano: El límite $O(\sqrt{\delta})$ se extiende a los estados filtrados por Hamiltoniano. Al mapear un estado filtrado por Hamiltoniano a un estado efectivo de Floquet con un paso de tiempo modificado, los autores muestran que la tasa de convergencia sigue siendo $O(\sqrt{\delta_H})$.
4. Verificación Numérica: Las predicciones teóricas son validadas mediante simulaciones de Estado de Producto de Matriz (MPS) para modelos de Ising no integrables y diagonalización exacta para sistemas pequeños, confirmando el escalamiento $O(\sqrt{\delta})$ para observables locales y los escalamientos específicos de la entropía.

Significancia y Reivindicaciones
El artículo afirma proporcionar una caracterización cuantitativa de la convergencia de los estados filtrados hacia los ensambles térmicos.

• Resolución de Preguntas Abiertas: Clarifica la relación entre el ancho del filtro y el comportamiento térmico, mostrando que, si bien los estados filtrados pueden no exhibir un entrelazamiento de ley de volumen para todo $\alpha$ (específicamente $\alpha > 1$) cuando $\delta$ es polinómicamente pequeño, sí convergen a los valores de expectativa térmicos para observables locales.
• Derivación de la Universalidad Canónica: El trabajo demuestra que la propiedad de "universalidad canónica" (donde los valores de expectativa en una ventana de energía estrecha aproximan los valores térmicos) no es una hipótesis independiente, sino que puede derivarse directamente de la ETH de Floquet. Los autores muestran que incluso con elementos de matriz fuera de la diagonal correlacionados (más allá de las suposiciones simples de independencia), el error escala como $\sqrt{\delta}$.
• Eficiencia Algorítmica: Los autores señalan que los filtros de Floquet pueden reemplazar a los filtros de Hamiltoniano en la preparación de estados térmicos. Dado que el paso de tiempo de Floquet puede ser mayor ($O(\sqrt{N})$) que el paso de tiempo del Hamiltoniano requerido para resolver la energía, este enfoque puede reducir el número de mediciones requeridas en algoritmos cuánticos.
• Simplicidad de los Estados Iniciales: A diferencia de otros métodos para preparar Estados Cuánticos Puros Térmicos (TPQS) que requieren estados iniciales de Haar-aleatorios, este enfoque funciona con estados producto simples, lo que lo hace más factible tanto para implementaciones clásicas como cuánticas.

Los autores mantienen la modestia respecto a las limitaciones, reconociendo que, si bien los observables locales convergen, la estructura del entrelazamiento (particularmente para $\alpha > 1$) no imita completamente un estado térmico a menos que el ancho del filtro sea exponencialmente pequeño. También señalan que la extensión de los resultados de la entropía de entrelazamiento del régimen de Floquet al régimen Hamiltoniano no está garantizada teóricamente para ser idéntica debido al entrelazamiento introducido en el estado inicial efectivo del mapeo, aunque la evidencia numérica respalda la similitud.