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

Cet article démontre rigoureusement que pour une classe de systèmes de fermions libres invariants par translation, l'équilibration de la densité grossière à partir d'un état pur arbitraire s'effectue sur une échelle de temps optimale de l'ordre de $L$, la taille du système.

L'essentiel

🌌 Le Grand Équilibre : Quand les particules apprennent à se calmer

Imaginez que vous avez une immense salle de bal remplie de danseurs (les fermions, un type de particule quantique). Au début, tous les danseurs sont regroupés dans un seul coin de la salle, ou peut-être qu'ils dansent tous exactement au même rythme, de manière très désordonnée par rapport à la moyenne. C'est l'état de non-équilibre.

La question que se posent les physiciens Takashi Hara et Tatsuhiko Koike dans cet article est la suivante :

"Combien de temps faut-il pour que cette foule de danseurs s'étale uniformément dans toute la salle et que la densité de danseurs soit la même partout ?"

En physique classique, on sait que les choses finissent toujours par se mélanger (comme une goutte d'encre dans l'eau). Mais dans le monde quantique, où les règles sont bizarres (les particules peuvent être dans plusieurs états à la fois), prouver quand et comment cela arrive est très difficile.

🚀 La découverte principale : Le temps de la course

Les auteurs ont prouvé mathématiquement que pour ce système de danseurs quantiques, le temps nécessaire pour atteindre l'équilibre est proportionnel à la taille de la salle.

• L'analogie du messager : Imaginez que vous êtes dans un couloir de longueur $L$. Pour que l'information "il y a trop de monde ici" traverse tout le couloir pour que tout le monde s'organise, il faut qu'un "messager" (une perturbation) parcoure la distance.
• La vitesse limite : En physique quantique, il y a une vitesse limite pour la propagation de l'information (un peu comme la vitesse de la lumière, mais pour les interactions quantiques).
• Le résultat : Si votre salle fait $L$ mètres de large, il faut un temps d'environ $L$ pour que l'équilibre s'installe. Ni plus, ni moins. C'est le temps optimal.

C'est comme si vous deviez courir d'un bout à l'autre de la salle pour donner le signal de "calme". Vous ne pouvez pas y aller plus vite que votre propre vitesse de course.

🧩 Comment ont-ils fait cette preuve ?

Pour prouver cela, les chercheurs n'ont pas simplement observé les danseurs un par un. Ils ont utilisé une astuce mathématique brillante :

1. La "Photo Floue" (Moyenne dans le temps) : Au lieu de regarder la position des danseurs à chaque seconde (ce qui serait trop compliqué et chaotique), ils ont pris une "photo floue" qui regroupe tout le mouvement sur une longue période. Cela lisse les détails bizarres et montre la tendance globale.
2. Le "Filtre de la Salle" : Ils ont divisé la grande salle en plusieurs petites boîtes (des macro-blocs). Ils ne regardent pas chaque danseur, mais seulement le nombre moyen de danseurs dans chaque boîte. C'est ce qu'on appelle la "densité macroscopique".
3. Le calcul de la déviation : Ils ont calculé combien de temps les danseurs passent à être "trop nombreux" ou "trop peu nombreux" dans une boîte par rapport à la moyenne idéale.
4. Le résultat mathématique : Ils ont démontré que, si la salle est très grande (ce qu'on appelle la limite thermodynamique), le temps où les danseurs sont "déséquilibrés" devient négligeable. Dès que le temps dépasse la taille de la salle ($L$), la probabilité de trouver le système déséquilibré tombe à zéro.

🎭 Pourquoi c'est important ?

Avant cette étude, on savait que les systèmes quantiques finissaient par s'équilibrer, mais on ne savait pas combien de temps cela prenait exactement. Certains pensaient que cela pouvait prendre un temps infini ou extrêmement long.

Cet article dit : "Non, c'est rapide ! C'est aussi rapide que la vitesse de la lumière le permet dans votre système."

• L'analogie du trafic : Si vous avez un embouteillage sur une autoroute de 100 km, il ne faut pas des jours pour que le trafic se fluidifie, il faut juste le temps que les voitures parcourent ces 100 km. C'est la même chose ici.

💡 En résumé

Ces chercheurs ont réussi à prouver, avec une rigueur mathématique absolue, que pour un système de particules libres (qui ne se repoussent pas et ne s'attirent pas), le temps nécessaire pour que la nature "se calme" et atteigne l'équilibre est simplement proportionnel à la taille du système.

C'est une victoire pour la compréhension de la thermodynamique quantique : cela confirme que même dans le monde étrange des atomes, les règles de l'équilibre fonctionnent de manière logique et prévisible, à condition de laisser passer le temps nécessaire pour que l'information traverse le système.

Résumé technique

1. Problématique et Contexte

Contexte :
Depuis les travaux fondateurs de von Neumann (1929), il est admis que les systèmes quantiques isolés peuvent atteindre un état d'équilibre thermique à partir d'un état pur initial, sans hypothèses ad hoc, grâce à la dynamique quantique seule. Cependant, la plupart des preuves rigoureuses de cette thermalisation se limitent à affirmer que l'équilibre est atteint pour un temps « suffisamment long » (mais fini), sans fournir d'estimations précises sur l'échelle de temps nécessaire.

Le Problème :
L'article s'attaque à la question fondamentale de l'échelle de temps d'équilibration dans des systèmes physiques réalistes (à courte portée) et isolés. Bien que des estimations optimales existent dans des cadres abstraits, il manquait une dérivation rigoureuse pour des systèmes concrets, notamment les fermions libres sur un réseau.

Objectif :
Déterminer rigoureusement l'échelle de temps nécessaire pour qu'un système de fermions libres sur un réseau hypercubique $d$-dimensionnel atteigne l'équilibre macroscopique, en partant d'un état pur arbitraire.

2. Cadre et Méthodologie

Système Étudié :

• Modèle : Un système de $N$ fermions sans spin sur un réseau hypercubique $\Lambda$ de taille $L^d$ (avec conditions aux limites périodiques).
• Hamiltonien : Fermions libres avec un saut (hopping) uniforme entre premiers voisins : $\hat{H} = \sum_{\|x-y\|=1} \hat{c}^\dagger_x \hat{c}_y$.
• Observables Macroscopiques : La densité de particules $\hat{\rho}_c$ mesurée dans des boîtes macroscopiques $B(c)$ de volume $l^d$ (où $l$ est macroscopique mais $n = L/l$ est de l'ordre de 1).
• État Initial : Un état pur arbitraire $|\Psi(0)\rangle$.

Définition de l'Équilibre :
Les auteurs définissent un sous-espace d'équilibre $\mathcal{H}_{eq}$ et un sous-espace de non-équilibre $\mathcal{H}_{neq}$.

• Un état est considéré en équilibre si l'espérance de la déviation de densité $\hat{\Delta}\rho_c = \hat{\rho}_c - N/V$ est petite ($\le \varepsilon \bar{\rho}$) pour toutes les boîtes.
• L'opérateur de projection $\hat{P}_{neq}$ sur le sous-espace de non-équilibre permet de quantifier la « fraction de temps » passée hors équilibre.

Stratégie de Preuve :
L'approche repose sur l'analyse de la moyenne temporelle de la déviation quadratique de la densité.

1. Réduction à un problème à une particule : Grâce à la symétrie de translation et à la nature des fermions libres, l'évolution de l'opérateur de densité $\hat{\rho}(t)$ est réduite à l'étude d'un spectre d'énergie à une particule $\tilde{E}_{\beta, m}$.
2. Moyenne Temporelle Spécifique : Les auteurs utilisent une fonction de pondération $f_\tau(t) = \frac{1}{\pi\tau} (\frac{\sin(t/\tau)}{t/\tau})^2$ pour définir la moyenne temporelle $[\cdot]_\tau$. Cette fonction, liée à la transformée de Fourier, permet de convertir les oscillations temporelles en contraintes sur les différences d'énergie.
3. Identité Clé : Ils exploitent une identité de convolution pour exprimer la moyenne temporelle de termes oscillants $e^{-it(E'-E'')}$ comme une intégrale sur les états d'énergie proches, introduisant la notion de « nombre d'états » $|\Omega_m(E)|$ (densité d'états effective).
4. Estimation Combinatoire : Le cœur de la preuve réside dans la borne supérieure rigoureuse du nombre d'états $|\Omega_m(E)|$ pour lesquels la différence d'énergie est inférieure à $1/\tau$. Cela nécessite des estimations fines sur la densité d'états du spectre de dispersion des fermions libres.

3. Résultats Principaux

Théorème 1 (Échelle de temps $O(L)$) :
Pour tout état initial arbitraire, la fraction de temps durant laquelle le système s'écarte macroscopiquement de l'équilibre tend vers zéro dans la limite thermodynamique ($L \to \infty$), pour tout temps d'observation $\tau$ tel que $\tau > L \times g(L)$, où $g(L)$ est une fonction arbitraire divergeant vers l'infini.

• Résultat clé : L'échelle de temps d'équilibration est $O(L)$.
• Optimalité : Ce résultat est optimal. Les auteurs notent que, selon la borne de Lieb-Robinson, il existe des états initiaux (par exemple, des fermions concentrés à l'origine) qui nécessitent un temps de l'ordre de $L$ pour que l'information se propage à travers le système et que l'équilibre soit atteint.

Théorème 1' (Estimation quantitative) :
Pour $L > 10^4$ et $\tau > 2L$, la fraction de temps de non-équilibre est bornée par :
$$\frac{1}{2\tau} |T_{\delta, |\Psi(0)\rangle}^{[-\tau, \tau]}| \le K_d \frac{n^{3d}}{(\varepsilon \bar{\rho})^2} \delta^{1/2}(\tau, L)$$
où $\delta(\tau, L)$ est une fonction qui décroît lorsque $\tau/L$ et $L$ augmentent.

Points Techniques Importants :

• La preuve ne suppose aucune randomisation dans l'hamiltonien ni non-dégénérescence du spectre d'énergie. Elle fonctionne même avec des dégénérescences.
• L'équilibration est prouvée pour les observables de densité spatiale, mais les auteurs précisent que le système ne s'équilibre pas nécessairement dans l'espace des impulsions (momentum) si l'état initial est un état propre de l'impulsion.

4. Contributions et Signification

Contributions Majeures :

1. Première dérivation rigoureuse réaliste : C'est, à la connaissance des auteurs, la première fois qu'une échelle de temps réaliste d'équilibration est établie rigoureusement pour un système quantique isolé physiquement naturel (fermions libres sur réseau).
2. Validation de l'intuition physique : Le résultat confirme que pour les systèmes macroscopiques avec une quantité conservée (comme le nombre de particules), le temps d'équilibration est dicté par le temps de propagation de l'information à travers le système, soit proportionnel à la taille linéaire $L$.
3. Méthodologie Robuste : La technique développée pour contrôler les moyennes temporelles via la densité d'états et les identités de convolution offre un outil puissant applicable à d'autres systèmes (par exemple, avec des sauts non-voisins ou des hamiltoniens non-dégénérés).

Signification pour la Physique Statistique :
Ce travail comble un vide important entre les théorèmes d'équilibre qualitatifs (qui disent que l'équilibre existe) et la réalité physique (qui demande de savoir quand il est atteint). En établissant que l'échelle de temps est $O(L)$, les auteurs fournissent une base solide pour comprendre la dynamique de thermalisation dans les systèmes quantiques isolés, validant l'idée que la dynamique quantique pure suffit à expliquer la thermalisation macroscopique dans un temps raisonnablement court (linéaire en taille du système).

En résumé, cet article fournit une preuve mathématique rigoureuse que les fermions libres sur un réseau atteignent l'équilibre macroscopique en un temps proportionnel à la taille du système, une échelle de temps qui est à la fois nécessaire et suffisante.