Provable random-matrix spectral ramp in a static, geometrically local Hamiltonian

Résumé Technique : Rampe de la matrice aléatoire spectrale prouvable dans un Hamiltonien statique et géométriquement local

Énoncé du problème
Le chaos quantique est largement caractérisé par l'émergence de statistiques de la Théorie des Matrices Aléatoires (RMT) dans les spectres d'énergie, spécifiquement la croissance linéaire du Facteur de Forme Spectrale (SFF), appelée « rampe ». Bien que ce phénomène soit bien compris dans les limites semi-classiques, les modèles à interactions tous-vers-tous (ex. SYK) et les systèmes périodiquement pilotés (Floquet), une preuve rigoureuse d'une rampe RMT dans des Hamiltoniens statiques, géométriquement locaux avec des espaces de Hilbert locaux de dimension finie, est restée élusive. Les résultats marquants précédents de Bertini, Kos et Prosen (BKP) n'ont établi de telles rampes que pour des chaînes de qudits sous pilotage périodique décrites par des circuits « dual-unitaires ». Ce travail comble la lacune entre la dynamique de Floquet et les Hamiltoniens statiques en construisant un système temporellement indépendant et local qui présente de manière prouvable une rampe spectrale.

Méthodologie
L'auteur emploie une réduction circuit-vers-Hamiltonien basée sur une variante récente de la construction d'horloge de Feynman-Kitaev (FK). La stratégie centrale consiste à incorporer le spectre de quasi-énergie d'un circuit de Floquet dual-unitaire dans le spectre d'énergie d'un Hamiltonien statique.

1. Construction du système :

   • Le système est modélisé comme une échelle à deux jambes de longueur $n$ avec des conditions aux limites périodiques.
   • Jambe 1 : Une chaîne de qudits à $d$ états (spécifiquement des qubits, $d=2$).
   • Jambe 2 : Une chaîne de tight-binding fermionique contenant exactement une particule (la « main de l'horloge »).
   • Hamiltonien : L'Hamiltonien $H_{FK}$ est défini par :
     $$H_{FK} = -\frac{1}{2} \sum_{i=0}^{n-1} \left( u_i \otimes c^\dagger_{i+1}c_i + u^\dagger_i \otimes c^\dagger_i c_{i+1} \right)$$
     où $u_i$ sont des portes unitaires agissant sur les qubits $(i, i+1)$. Le saut du fermion active la porte $u_i$, simulant efficacement l'évolution d'un circuit quantique.
   • Restriction de secteur : L'analyse est restreinte au secteur à particule unique de la chaîne fermionique ($\sum c^\dagger_i c_i = 1$). Ce secteur a une dimension $n 2^n$, qui est exponentiellement grande mais quadratiquement plus petite que l'espace de Hilbert complet.

2. Inclusion spectrale :

   • Les valeurs propres de $H_{FK}$ dans ce secteur sont dérivées comme $E_{m,\phi} = -\cos[(2\pi m + \phi)/n]$, où $\phi$ est une quasi-énergie de Floquet du circuit $U_F = u_{n-1}\dots u_0$ et $m$ est la quantité de mouvement de la main de l'horloge.
   • Cela projette le spectre de quasi-énergie de Floquet dans un spectre d'énergie réel, déformé par une fonction cosinus.

3. Désordre et moyennage :

   • Puisque le SFF n'est pas auto-moyennable, l'auteur introduit un faible désordre extrinsèque pour extraire un comportement universel. Cela inclut :
     • Des déformations unitaires aléatoires de qubit simple des portes $u_i$.
     • Un faible déphasage spatialement uniforme $\chi$ appliqué à toutes les portes.
     • Un moyennage temporel sur une variable aléatoire $r$ de faible amplitude.
   • Les limites sont prises dans l'ordre : limite thermodynamique ($n \to \infty$), limite de temps long ($\tau \to \infty$), et enfin limite de désordre nul ($\Delta \to 0$).

4. Dérivation de la formule de convolution :

   • En utilisant l'identité de Jacobi-Anger, la fonction de partition du Hamiltonien $Z_H(it)$ est exprimée comme une combinaison linéaire des fonctions de partition de Floquet $Z_F(iw)$.
   • Le SFF connecté de l'Hamiltonien, $K_H(t)$, est montré être une convolution du SFF de Floquet, $K_F(w)$, pondérée par des fonctions de Bessel :
     $$K_H(t) = 2n^2 \sum_{w=1}^{\infty} |J_{wn}(t)|^2 K_F(w) + o(1)$$
   • Crucialement, le moyennage du désordre supprime les termes croisés ($w \neq w'$), isolant les contributions diagonales.

Contributions clés et résultats

1. Preuve de la rampe :
   En choisissant les portes $\{u_i\}$ pour être dual-unitaires (mais pas des portes SWAP), l'auteur tire parti du résultat BKP montrant que le SFF de Floquet croît linéairement avec le temps ($K_F(w) \propto |w|$) dans la limite thermodynamique.

   • Le papier généralise le résultat BKP des conditions aux limites périodiques aux conditions aux limites ouvertes (requises par la construction FK où $u_{n-1}=1$), montrant que la rampe linéaire persiste jusqu'à des corrections exponentiellement petites.
   • Dans la limite d'échelle où $t = n\tau$ (limite de double mise à l'échelle de Thouless), le SFF réduit $\kappa_H(\tau) = \lim_{n\to\infty} K_H(n\tau)/n$ est dérivé.
   • Le comportement asymptotique pour de grands $\tau$ est prouvé comme étant :
     $$\kappa_H(\tau) = \frac{2}{\pi} \tau + O(\tau \Delta^{1/2})$$
   • Prendre la limite de désordre nul produit une pente finie et non nulle, confirmant l'existence d'une rampe spectrale.

2. Mise à l'échelle du temps de Thouless :
   L'analyse révèle que le temps de Thouless $t_{Th}$ croît linéairement avec la taille du système ($t_{Th} \propto n$). Ceci est attribué au mouvement balistique de la main de l'horloge, qui doit traverser la cirférence du système avant que les signatures RMT globales n'émergent. Cela représente la mise à l'échelle la plus rapide possible pour des Hamiltoniens géométriquement locaux.

3. Rôle du SFF connecté vs déconnecté :
   La rampe n'est visible que dans le SFF connecté. La partie déconnectée, $|\langle \text{Tr}(e^{-iHt}) \rangle|^2$, décroît lentement ($\sim 1/t$) en raison des singularités de van Hove aux bords de la bande à particule unique. Ce fond déconnecté masquerait la rampe dans le SFF total même au temps de Heisenberg, nécessitant la soustraction de la composante déconnectée pour observer le comportement universel.

Signification et affirmations
Le papier affirme fournir la première preuve d'une rampe spectrale dans un système à de nombreux corps, temporellement indépendant et géométriquement local, avec une dimension de Hilbert locale finie.

• Il comble le fossé entre les résultats connus des circuits de Floquet dual-unitaires et les Hamiltonians statiques.
• Il démontre que la « rampe » est une caractéristique robuste du chaos quantique qui peut être intégrée dans des systèmes statiques via la construction de Feynman-Kitaev, à condition que le système soit restreint à un secteur de symétrie spécifique (main de l'horloge unique).
• L'auteur note explicitement les limitations : la preuve s'applique actuellement uniquement au secteur à main de l'horloge unique. Étendre cela à l'espace de Hilbert complet ou aux secteurs avec une densité de main de l'horloge finie reste une question ouverte, bien que des arguments non rigoureux suggèrent qu'une rampe similaire pourrait exister avec un préfacteur différent.

Ce travail ne propose pas de réalisations expérimentales ou d'applications spécifiques au-delà d'établir l'existence théorique d'un tel système, maintenant son focus sur la dérivation rigoureuse des statistiques spectrales dans un modèle théorique contrôlé.