Timescale for macroscopic equilibration in isolated quantum systems: a rigorous derivation for free fermions

El artículo demuestra rigurosamente que, para una clase de sistemas de fermiones libres invariantes por traslación en una red hipercúbica $d$-dimensional, el tiempo de equilibración de la densidad promediada es de orden $O(L)$, una escala óptima que coincide con lo esperado en sistemas macroscópicos normales con una cantidad conservada.

Lo esencial

Imagina que tienes una habitación gigante llena de miles de personas (los fermiones, que son como partículas cuánticas) que se mueven libremente pero sin chocar entre sí (son libres). Al principio, todas estas personas están agrupadas en una esquina de la habitación.

La pregunta que se hacen los físicos es: ¿Cuánto tiempo tardará esta habitación en "equilibrarse"? Es decir, ¿cuánto tiempo tardará en ocurrir que, si miras cualquier parte de la habitación, encuentres aproximadamente la misma cantidad de personas, tal como lo predice la física estadística clásica?

Este artículo de Takashi Hara y Tatsuhiko Koike responde a esa pregunta con una precisión matemática rigurosa para un sistema cuántico real. Aquí tienes la explicación sencilla:

1. El Problema: "¿Cuándo se calma el caos?"

Durante casi un siglo, los físicos sabían que, si esperas suficientemente tiempo, un sistema cuántico aislado termina comportándose como si estuviera en equilibrio (como un gas que se expande hasta llenar todo el recipiente). Pero había un gran misterio: ¿Qué significa "suficientemente tiempo"?

¿Es un segundo? ¿Un año? ¿Un billón de años?
Hasta ahora, los teóricos decían: "Oye, si esperas un tiempo muy largo (pero finito), pasará". Pero no sabían cuánto de largo era ese tiempo para sistemas reales y simples.

2. La Analogía de la "Masa de Pan"

Imagina que tienes una masa de pan con pasas (las personas). Al principio, todas las pasas están en un lado. Empiezas a mezclar.

• El sistema cuántico es como si las pasas pudieran atravesar paredes y moverse de forma extraña, pero sin chocar.
• El equilibrio es cuando las pasas están distribuidas uniformemente por toda la masa.

La pregunta es: Si la masa es un cubo de tamaño $L$ (donde $L$ es el número de pasas a lo largo de un lado), ¿cuánto tardas en mezclarla bien?

3. El Descubrimiento: La Regla de Oro ($L$)

Los autores demostraron algo muy elegante y sorprendente:
El tiempo que tarda el sistema en equilibrarse es exactamente proporcional al tamaño del sistema ($L$).

• Si tu habitación es el doble de grande, tardará el doble de tiempo en equilibrarse.
• Si es 10 veces más grande, tardará 10 veces más.

¿Por qué es esto importante?
Porque en el mundo macroscópico (el mundo real que vemos), las cosas se equilibran en tiempos que dependen de lo rápido que viaja la información o la perturbación. En este sistema cuántico, la "información" de que "¡hay demasiadas personas aquí!" viaja a una velocidad constante. Por lo tanto, el tiempo para que esa noticia llegue a todo el sistema y se distribuya es simplemente el tiempo que tarda en cruzar el sistema.

La analogía del mensajero:
Imagina que tienes que avisar a todos los habitantes de una ciudad lineal de que hay una fiesta. Si la ciudad mide 100 cuadras y el mensajero camina 1 cuadra por minuto, tardará 100 minutos en avisar a todos.

• $L$ = Tamaño de la ciudad (100 cuadras).
• Tiempo de equilibrio = 100 minutos.
• Resultado: El tiempo es $O(L)$ (Orden de L).

4. ¿Qué significa "Óptimo"?

Los autores no solo probaron que tarda $L$ tiempo, sino que demostraron que no puede ser más rápido.
Existe un "caso peor" (una configuración inicial muy desordenada) donde el sistema necesita obligatoriamente ese tiempo $L$ para calmarse. No hay trucos mágicos cuánticos que aceleren el proceso más allá de la velocidad de la luz (o en este caso, la velocidad de los fermiones).

Es como decir: "No importa cuán rápido corras, si tienes que cruzar un puente de 1 km, tardarás al menos el tiempo que tarda en cruzarlo".

5. El Truco Matemático (Sin fórmulas)

Para probar esto, los autores usaron un método inteligente:

1. Dividir y conquistar: En lugar de mirar a todas las partículas a la vez, miraron cómo se comportaba la "densidad" (la cantidad de gente) en cajas pequeñas distribuidas por todo el sistema.
2. La media del tiempo: En lugar de mirar el sistema en un instante exacto (donde podría haber un pico de desorden), miraron el promedio del sistema durante un largo periodo.
3. El resultado: Demostraron que la "fracción de tiempo" en la que el sistema se ve desordenado es tan pequeña que, cuando el sistema es muy grande (el límite termodinámico), esa fracción se vuelve cero.

En Resumen

Este paper es como un reloj de arena cuántico que nos dice:

"Para un sistema de partículas libres en una red, el tiempo que tardan en comportarse como un fluido equilibrado es exactamente el tiempo que tarda una señal en cruzar el sistema."

Es una prueba rigurosa de que, incluso en el extraño mundo cuántico, la intuición clásica de que "las cosas tardan en propagarse" sigue siendo cierta y es la mejor estimación posible. Han cerrado la puerta a la duda sobre cuándo ocurre el equilibrio en estos sistemas, estableciendo que es tan rápido como la física permite, pero no más rápido.

Resumen técnico

Aquí presento un resumen técnico detallado del artículo "Timescale for macroscopic equilibration in isolated quantum systems: a rigorous derivation for free fermions" (Tiempo de escala para el equilibrio macroscópico en sistemas cuánticos aislados: una derivación rigurosa para fermiones libres), escrito por Takashi Hara y Tatsuhiko Koike.

1. Planteamiento del Problema

El trabajo aborda una cuestión fundamental en la mecánica estadística cuántica: ¿cuánto tiempo tarda un sistema cuántico aislado en alcanzar el equilibrio térmico?

• Contexto: Desde los trabajos de von Neumann (1929), se sabe que los sistemas cuánticos aislados pueden evolucionar hacia estados de equilibrio sin necesidad de suposiciones ad hoc. Sin embargo, la mayoría de las demostraciones existentes solo garantizan que el equilibrio se alcanza en un tiempo "suficientemente largo" (finito pero no cuantificado), o bien se basan en configuraciones abstractas que no reflejan sistemas físicos realistas de corto alcance.
• La Brecha: Existe una falta de estimaciones rigurosas y óptimas sobre la escala de tiempo de equilibración para sistemas físicos concretos, especialmente aquellos con cantidades conservadas (como el número total de partículas).
• Objetivo: Determinar rigurosamente la escala de tiempo óptima para la equilibración macroscópica en un sistema de fermiones libres en una red, partiendo de un estado puro arbitrario.

2. Metodología y Configuración del Sistema

Los autores analizan un sistema de $N$ fermiones sin espín en una red hipercúbica $d$-dimensional de tamaño $L^d$ (con condiciones de frontera periódicas).

• Hamiltoniano: Se considera un modelo de fermiones libres con salto uniforme entre vecinos más cercanos:
  $$\hat{H} = \sum_{\|x-y\|=1} \hat{c}^\dagger_x \hat{c}_y$$
• Observables Macroscópicos: En lugar de estudiar la densidad en cada sitio, se define la densidad de partículas en cajas macroscópicas $B(c)$ de volumen $l^d$ (donde $l$ es macroscópicamente grande pero $n = L/l$ es $O(1)$). El observable es la densidad $\hat{\rho}_c$.
• Definición de Equilibrio:
  • Se define un subespacio de equilibrio $H_{eq}$ donde las desviaciones de la densidad respecto al promedio $\bar{\rho} = N/V$ son menores que un $\epsilon$ pequeño ($|\lambda_{j,c}| \leq \epsilon \bar{\rho}$).
  • El subespacio de no-equilibrio $H_{neq}$ es el complemento ortogonal.
  • Se utiliza un operador de proyección $\hat{P}_{neq}$ para medir la "componente de no-equilibrio" de un estado $|\Psi(t)\rangle$.
• Métrica de Equilibración: Se estudia la fracción de tiempo en el intervalo $[0, \tau]$ durante la cual el estado del sistema se encuentra en el subespacio de no-equilibrio (es decir, cuando $\langle \Psi(t) | \hat{P}_{neq} | \Psi(t) \rangle > \delta$).

3. Contribuciones Clave y Estrategia de Prueba

La contribución central es la demostración rigurosa de que la escala de tiempo de equilibración es $O(L)$, y que esta escala es óptima. La metodología se basa en los siguientes pasos técnicos:

1. Reducción a un problema de partícula única:
   Aprovechando la simetría de traslación y la naturaleza libre del sistema, los autores transforman la evolución temporal del operador de densidad $\hat{\rho}_H(t)$ en el espacio de momentos. Esto permite reducir el análisis de un sistema de $N$ partículas a un problema efectivo de una sola partícula con un espectro de energía modificado $\tilde{E}_{\beta, m}$.

2. Promedio Temporal Específico:
   En lugar de un promedio temporal estándar, utilizan un promedio ponderado con una función de ventana $f_\tau(t) = \frac{1}{\pi\tau} (\frac{\sin(t/\tau)}{t/\tau})^2$. Esta elección es crucial porque su transformada de Fourier es una función indicadora (una "caja" en el espacio de energías), lo que facilita el análisis de las diferencias de energía.

3. Identidad Clave y Conteo de Estados:
   Utilizan una identidad matemática que relaciona el promedio temporal de una oscilación $e^{-it(E'-E'')}$ con la superposición de densidades de estados (DOS) cerca de una energía $E$.
   $$\langle e^{-it(E'-E'')} \rangle_\tau \propto \int dE \, \mathbb{I}(|E'-E| \leq 1/\tau) \mathbb{I}(|E-E''| \leq 1/\tau)$$
   Esto convierte el problema en estimar el número de estados $|\Omega_m(E)|$ (la cantidad de índices de momento $\beta$ tales que la diferencia de energía $\tilde{E}_{\beta, m}$ cae en una ventana de ancho $1/\tau$).

4. Acotación Rigurosa de $|\Omega_m(E)|$:
   Demuestran lemas técnicos (Lemas 5, 6 y 7) que acotan superiormente la cantidad de estados en la ventana de energía.

   • Para $d=1$, demuestran que $|\Omega_m(E)|$ escala favorablemente con $L$ y $\tau$.
   • Para $d \geq 2$, reducen el problema al caso unidimensional, mostrando que la densidad de estados efectiva sigue comportamientos controlables.

5. Uso de Desigualdades Probabilísticas:
   Combinan la cota del promedio temporal del cuadrado de la desviación de la densidad con la desigualdad de Markov (Lema 4) para acotar la fracción de tiempo que el sistema pasa fuera del equilibrio.

4. Resultados Principales

El resultado central se formaliza en el Teorema 1 y el Teorema 1':

• Escala de Tiempo Óptima: Para cualquier estado inicial puro arbitrario, la fracción de tiempo en que el sistema está fuera del equilibrio macroscópico tiende a cero en el límite termodinámico ($L \to \infty$) si el tiempo de observación $\tau$ escala como:
  $$\tau = L \times g(L)$$
  donde $g(L)$ es cualquier función que diverge cuando $L \to \infty$.
• Óptimalidad: La escala $O(L)$ es óptima. Los autores citan el límite de Lieb-Robinson y construyen estados iniciales específicos (fermiones concentrados en una región) que requieren un tiempo de orden $L$ para que la información se propague y el sistema se equilibre. Por lo tanto, no se puede lograr una equilibración más rápida en general.
• Convergencia: La fracción de tiempo de no-equilibrio se acota por una función $\delta(\tau, L)$ que tiende a cero cuando $L \to \infty$ y $\tau/L \to \infty$.

5. Significado e Implicaciones

• Primera Derivación Rigurosa Realista: Este es, según los autores, el primer trabajo que establece rigurosamente una escala de tiempo de equilibración realista para sistemas cuánticos aislados físicos (no abstractos) con interacciones de corto alcance.
• Validación de la Intuición Física: Confirma que en sistemas macroscópicos con una cantidad conservada (número de partículas), el tiempo de equilibración está dictado por el tiempo que tarda la información (o la perturbación) en cruzar el sistema, es decir, el tiempo de tránsito $L/v$ (donde $v$ es la velocidad de grupo, aquí constante).
• Independencia de la Degeneración: A diferencia de muchos trabajos anteriores que requieren espectros de energía no degenerados, este resultado se mantiene incluso con degeneraciones en el espectro de energía, lo cual es común en sistemas con simetrías.
• Limitación: El resultado aplica a la equilibración en el espacio real (densidad espacial). Los autores notan que el sistema no se equilibra en el espacio de momentos si se inicia en un autoestado de momento, lo cual es consistente con la conservación de la cantidad de movimiento en sistemas libres.

En resumen, el artículo cierra una brecha teórica importante al proporcionar una prueba matemática estricta de que los sistemas de fermiones libres macroscópicos alcanzan el equilibrio en un tiempo proporcional al tamaño lineal del sistema, $O(L)$, validando así las expectativas de la física estadística clásica en el régimen cuántico.