Failure of the Quench Action Formalism for Mott Insulator Initial States

Cet article démontre, à travers des contreexemples explicites impliquant des états initiaux d'isolant de Mott et le gaz de Lieb-Liniger, que l'hypothèse centrale du formalisme de l'action de trempe — selon laquelle les recouvrements avec les états propres dépendent de manière lisse de la densité de quasi-particules via une fonctionnelle exponentielle — est fondamentalement invalide en raison du comportement hautement singulier de ces recouvrements.

L'essentiel

Imaginez que vous essayiez de prédire l'avenir d'une foule chaotique de personnes (un système quantique) après un changement soudain des règles du jeu. Pendant des années, les physiciens ont utilisé un « livre de règles » spécifique appelé le Formalisme de l'Action de Quench pour faire ces prédictions.

Voici la décomposition simple de ce que cet article affirme, en utilisant des analogies de la vie quotidienne :

L'ancien livre de règles (L'hypothèse de la « fluidité »)

L'ancien livre de règles supposait que si vous avez une foule de personnes, la seule chose qui compte pour prédire leur avenir est la densité moyenne de la foule.

• L'analogie : Imaginez que vous regardez une fenêtre embuée. Vous ne voyez pas les individus, juste un nuage de brouillard lisse et flou. L'ancienne théorie disait : « Tant que nous savons à quel point le brouillard est épais à différents endroits, nous pouvons prédire parfaitement comment la foule va se déplacer. »
• Les mathématiques : Elle supposait que la connexion (le recouvrement) entre l'état initial et tout état futur pouvait être décrite par une courbe unique, douce et fluide. Peu importait exactement où se trouvaient les personnes spécifiques, tant que la « densité du brouillard » globale était la même.

La nouvelle découverte (La réalité « singulière »)

Garry Goldstein, l'auteur de cet article, affirme : « Ce livre de règles est faux. »

Il a trouvé un scénario spécifique (un « isolant de Mott » devenant un « gaz de Lieb-Liniger ») où l'analogie du brouillard lisse s'effondre complètement.

• L'analogie : Imaginez que la foule n'est pas du tout un brouillard. Au lieu de cela, c'est un groupe de danseurs qui doivent se tenir sur une grille très spécifique et rigide.
  • Si un danseur se tient au bon endroit, la musique joue et la danse continue.
  • Si un danreur est décalé de seulement un pouce par rapport à cette grille spécifique, la musique s'arrête instantanément et la danse devient impossible.
• La réalité : Goldstein montre que pour ce système spécifique, la connexion entre le début et la fin n'est pas une courbe lisse. Elle est hautement dentelée et « singulière ».
  • Il ne s'agit pas de la densité moyenne.
  • Il s'agit de positions exactes et discrètes. Le système ne « fonctionne » (a un recouvrement non nul) que si les particules occupent des nombres quantiques spécifiques (comme des sièges précis dans un théâtre). Si elles sont même légèrement décalées, la connexion tombe à zéro.

Le contre-exemple

Goldstein ne s'est pas contenté de deviner ; il a construit une « preuve de concept » mathématique en utilisant une configuration spécifique :

1. La configuration : Il a pris un état où les particules sont verrouillées dans un motif rigide semblable à un cristal (l'isolant de Mott).
2. Le changement : Il a soudainement changé les règles pour les laisser se déplacer librement (le gaz de Lieb-Liniger).
3. Le résultat : Lorsqu'il a calculé la connexion entre le début et la fin, il a découvert qu'il ne s'agissait pas d'une fonction lisse. C'était une fonction de type « choisir ou non ».
   • Scénario A : Les particules sont dans le schéma exact ? Connexion = 100 %.
   • Scénario B : Les particules ont la même densité moyenne mais sont dans un schéma légèrement différent ? Connexion = 0 %.

Pourquoi cela importe

L'ancienne théorie (le formalisme de l'Action de Quench) tentait de simplifier l'univers en disant : « Ne vous inquiétez pas des détails infimes ; regardez simplement la vue d'ensemble (la densité). »

L'article de Goldstein dit : « Les détails infimes sont tout. »

• La métaphore : C'est comme essayer de prédire le résultat d'une serrure et d'une clé. L'ancienne théorie disait : « Si la clé est à peu près de la bonne taille, elle ouvrira la serrure. » Goldstein dit : « Non, si les dents de la clé ne sont pas à l'endroit exact, la serrure ne tournera pas du tout, peu importe la proximité de la taille. »

La conclusion

L'article conclut que le « Formalisme de l'Action de Quench » échoue pour ces types spécifiques d'états initiaux car il suppose une fluidité qui n'existe tout simplement pas. La réalité est beaucoup plus complexe, « riche » et pleine de possibilités « singulières » où le système se comporte de manière binaire (tout ou rien) plutôt que de manière fluide et graduelle.

En bref : L'univers est plus exigeant et spécifique que l'ancien livre de règles ne l'avait crédité. Vous ne pouvez pas simplement regarder la moyenne ; vous devez regarder l'arrangement exact.

Résumé technique

Résumé Technique : Échec du formalisme de l'action de trempe pour les états initiaux d'isolant de Mott

Énoncé du Problème
L'article traite d'une hypothèse fondamentale au sein du formalisme de l'action de trempe (quench action), un cadre théorique utilisé pour décrire la dynamique hors équilibre et la relaxation des systèmes quantiques isolés vers un ensemble de Gibbs généralisé (GGE) après une trempe quantique. Le formalisme postule que le recouvrement entre un état initial générique $|\Psi_0\rangle$ et un état propre d'un Hamiltonien final intégrable (caractérisé par des rapidités $|k_1, \dots, k_N\rangle$) peut être exprimé comme une fonctionnelle lisse de la densité de quasi-particules $\rho(k)$ :
$$\langle k_1, \dots, k_N | \Psi_0 \rangle = \exp(-S_{\Psi_0}(\rho(k)))$$
Cette hypothèse implique que le recouvrement dépend uniquement de la densité macroscopique d'états, de sorte que deux états propres partageant la même $\rho(k)$ produisent des recouvrements identiques (à $O(1/N)$ près). L'auteur soutient que cette hypothèse est incorrecte pour des états initiaux spécifiques, précisément les états fondamentaux d'isolants de Mott, où le recouvrement présente un comportement hautement singulier qui ne peut être capturé par une fonction lisse de $\rho(k)$.

Méthodologie
L'auteur emploie des contre-exemples explicites pour tester la validité de l'hypothèse de l'action de trempe. L'analyse principale se concentre sur une trempe quantique où un isolant de Mott bosonique unidimensionnel est soudainement évolué sous l'Hamiltonien de Lieb-Liniger. L'étude est menée dans deux régimes :

1. Limite de Tonks-Girardeau ($c \to \infty$) : Le recouvrement est calculé exactement pour la limite de couplage infini du gaz de Lieb-Liniger.
2. Expansion en $1/c$ à l'ordre dominant : Le recouvrement est calculé pour un couplage fini $c$, en développant jusqu'au premier ordre en $1/c$.

Dans les deux cas, l'état initial $|\Psi_0\rangle$ est défini comme un produit de fonctions d'onde localisées (isolant de Mott) avec une largeur $W \ll l$ (où $l$ est l'espacement du réseau), et les états propres finaux sont les états de l'ansatz de Bethe du modèle de Lieb-Liniger. Le calcul implique l'intégration de la fonction d'onde initiale contre les fonctions d'onde de Bethe, en utilisant les contractions de Wick et en reconnaissant la structure résultante comme un déterminant de Vandermonde.

Contributions Clés et Résultats
L'article démontre que le recouvrement entre l'état fondamental de l'isolant de Mott et les états propres de Lieb-Liniger possède une structure bien plus complexe que la forme fonctionnelle lisse supposée par le formalisme de l'action de trempe.

• Structure de Recouvrement Singulière : Dans la limite de Tonks-Girardeau, le carré du recouvrement est trouvé proportionnel à un produit de termes sinus dépendant des nombres quantiques $I_j$ étiquetant les états propres :
  $$|\langle k_1, \dots, k_N | \Psi_0 \rangle|^2 \propto \prod_{j>i} 4 \sin^2\left[ \frac{\pi(I_j - I_i)}{N} \right]$$
  Cette expression s'annule à moins que l'ensemble des nombres quantiques $\{I_j\}$ n'occupe chaque entier modulo $N$ exactement une fois. Par conséquent, le recouvrement est nul pour la vaste majorité des états qui partagent la même densité macroscopique $\rho(k)$ mais diffèrent par leur configuration microscopique de nombres quantiques.

• Échec de la Lissé : Les résultats montrent que le recouvrement n'est pas une fonction lisse de la densité de quasi-particules $\rho(k)$. Au contraire, il est hautement sensible à l'arrangement spécifique des rapidités (ou des nombres quantiques). Cela contredit directement l'hypothèse centrale du formalisme de l'action de trempe (Éq. 6 du texte), qui exige que le recouvrement soit déterminé uniquement par $\rho(k)$.

• Extension au Couplage Fini : Des résultats similaires sont dérivés pour l'ordre dominant en $1/c$. Le recouvrement reste non nul uniquement pour des configurations spécifiques de nombres quantiques satisfaisant des conditions d'espacement strictes, renforçant la conclusion que la structure du recouvrement est singulière et non capturée par une action fonctionnelle lisse.

• Annexe A (Modèle XXZ) : L'auteur note que des "états cristallins" similaires dans le modèle XXZ (dans la limite de grande anisotropie $|\Delta| \gg 1$) présentent la même structure de recouvrement riche et singulière, suggérant que l'échec du formalisme n'est pas propre au gaz de Lieb-Liniger.

Signification et Revendications
L'article affirme que le formalisme de l'action de trempe est fondamentalement incorrect pour une classe d'états physiquement pertinents, spécifiquement les isolants de Mott. L'auteur soutient que le formalisme a « grandement simplifié la situation », présentant à tort les trempes comme étant universellement contrôlées par l'entropie de Yang-Yang et de petites fluctuations autour d'un point de selle.

En démontant que les recouvrements possèdent « significativement plus de structure » que ce qui était précédemment pensé — à savoir qu'ils ne sont pas des fonctions lisses de $\rho(k)$ — l'article suggère que l'équilibrage des systèmes intégrables peut être bien plus complexe. L'auteur pose que ces possibilités singulières pourraient nécessiter de « nouveaux formalismes et de nouvelles approches théoriques » pour comprendre comment, ou si, ces systèmes s'équilibrent vers un GGE. Le travail ne propose pas un nouveau formalisme, mais identifie une lacune critique dans la compréhension théorique actuelle de la dynamique hors équilibre des systèmes intégrables.