Lieb-Schultz-Mattis theorem from gauge constraints

Cet article établit un nouveau théorème de Lieb-Schultz-Mattis pour une théorie de jauge $\mathbb{Z}_2 \times \mathbb{Z}_2$ unidimensionnelle couplée à de la matière, démontrant que les contraintes cinématiques de la loi de Gauss génèrent une symétrie U(1) qui interdit les états fondamentaux triviaux gappés et impose soit une brisure spontanée de symétrie, soit des excitations sans gap, ces dernières présentant un comportement de fermions de Dirac libres avec une décroissance de corrélation spécifique.

L'essentiel

La Vue d'Ensemble : Un Code de Règles pour les Chaînes Quantiques

Imaginez que vous possédez un long collier circulaire fait de perles. Dans le monde de la physique quantique, ces perles ne sont pas en plastique ; ce sont de minuscules aimants (spins) qui peuvent pointer dans différentes directions. Habituellement, les physiciens tentent de déterminer ce qui arrive à ces perles lorsqu'elles refroidissent. Se figent-elles dans un motif parfait et silencieux ? Ou continuent-elles à trembler indéfiniment ?

Cet article introduit un nouvel ensemble de règles pour un type spécifique de collier. Les auteurs ont construit un modèle où les perles sont reliées par des cordes « de jauge » invisibles. La règle la plus importante de ce modèle est la Loi de Gauss. Considérez la Loi de Gauss comme un videur strict dans une boîte de nuit : il déclare : « Deux voisins ne peuvent pas porter la même tenue. » Si une perle porte un t-shirt « Rouge », la corde qui la relie à la perle suivante doit être « Bleue » ou « Verte », jamais Rouge.

La Découverte Principale : Le Théorème de la « Zone Sans Silence »

Les auteurs ont découvert une puissante règle mathématique (une variante du célèbre théorème de Lieb-Schultz-Mattis ou LSM) qui s'applique à ce collier spécifique.

L'Analogie :
Imaginez essayer d'arranger une ligne de danseurs de sorte que chacun soit parfaitement immobile et heureux (un état fondamental « avec gap »). Dans de nombreux systèmes physiques, vous pouvez faire cela. Mais dans ce modèle spécifique, les auteurs ont prouvé qu'il est impossible d'avoir un arrangement parfaitement immobile et simple.

Pourquoi ? À cause d'un conflit entre deux types de symétrie :

1. Translation : Si vous glissez le collier entier d'un pas vers la droite, les règles restent identiques.
2. Réflexion : Si vous regardez le collier dans un miroir, les règles restent identiques.

Les auteurs ont constaté que le « videur » (la Loi de Gauss) crée une « symétrie U(1) » cachée — une sorte d'horloge ou de rythme interne pour le système. Cette horloge bat d'une manière qui est compatible avec le glissement (translation) mais déteste regarder dans le miroir (réflexion). C'est comme une horloge qui avance lorsque vous marchez vers la gauche, mais recule lorsque vous marchez vers la droite.

Le Résultat :
À cause de ce conflit, le système ne peut pas se stabiliser dans un état ennuyeux et figé. Il est contraint de faire l'une des deux choses suivantes :

• Briser la symétrie : Les danseurs décident spontanément de briser la règle du miroir (par exemple, tout le monde penche vers la gauche au lieu de la droite).
• Rester agité : Les danseurs ne cessent jamais de bouger ; le système reste « sans gap » (fluide et actif) même au zéro absolu.

L'article prouve que vous ne pouvez pas avoir un état trivial, figé et avec gap dans ce système. Le « videur » (Loi de Gauss) force le système à être intéressant.

Trouver le « Point Doux » (Le Point Sans Gap)

Les auteurs n'ont pas seulement prouvé que le système ne peut pas être figé ; ils ont également trouvé un réglage spécifique (un « point sans gap » précis) où ils pouvaient résoudre les mathématiques exactement.

L'Analogie :
À ce réglage spécifique, le collier complexe de perles et de cordes se transforme en un système plus simple : une ligne de fermions libres (imaginez-les comme des particules fantômes et non interactives). Cependant, il y a un piège : le nombre total de ces fantômes doit respecter une règle stricte (une contrainte sur le nombre total).

À ce point, le système se comporte comme une rivière qui coule doucement. Les auteurs ont calculé comment les perturbations (les rides) dans cette rivière se comportent. Ils ont constaté que si vous piquez le système à un endroit, l'effet de ce pincement s'estompe à mesure que vous vous éloignez, mais il le fait selon un motif très spécifique et ondulatoire :

• Il oscille (comme une vague : haut, bas, haut, bas).
• Il s'affaiblit très lentement (suivant une loi de puissance mathématique spécifique).

Ce comportement est décrit par des « fermions de Dirac libres », ce qui est une façon élégante de dire que le système agit comme un fluide parfait et sans masse de particules quantiques.

Pourquoi Cela Importe (Selon l'Article)

1. Nouvelle Source de Règles : Habituellement, des théorèmes comme le LSM découlent des propriétés internes des particules (comme leur spin). Cet article montre que les contraintes (la Loi de Gauss) seules peuvent créer ces règles puissantes. C'est comme dire que la forme de la pièce force les meubles à être arrangés d'une manière spécifique, même si les meubles eux-mêmes n'ont aucune opinion.
2. Un Nouveau Terrain de Jeu : Ce modèle fournit un terrain d'essai parfait pour étudier les « défauts topologiques ». Imaginez un nœud dans le collier qui ne peut pas être défait. Les auteurs suggèrent que ce modèle est un excellent endroit pour étudier comment ces nœuds se comportent lorsque le système est dans différentes phases.
3. Vérification : Ils ont utilisé de puissantes simulations informatiques (DMRG) pour confirmer que le système se comporte exactement comme leurs mathématiques l'avaient prédit, montrant qu'il possède une « charge centrale » de 1, ce qui confirme qu'il agit comme un canal unique de particules quantiques en mouvement libre.

Résumé en Une Phrase

Les auteurs ont construit un collier quantique avec une règle stricte de « pas de voisins identiques », prouvant que cette règle force le système soit à briser la symétrie, soit à rester fluide, et ils ont trouvé un réglage spécifique où le système agit comme une rivière parfaite et coulante de particules quantiques.

Résumé technique

Résumé technique : Théorème de Lieb-Schultz-Mattis à partir de contraintes de jauge

Énoncé du problème
Les théorèmes de Lieb-Schultz-Mattis (LSM) imposent des contraintes non triviales sur les propriétés de l'état fondamental des systèmes quantiques à plusieurs corps dotés de symétries spatiales et internes, interdisant généralement un état fondamental trivial avec un gap. Alors que des travaux récents ont lié les théorèmes LSM aux anomalies quantiques et les ont établis dans des théories de jauge $U(1)$ pures, une question ouverte majeure demeure : un théorème de type LSM peut-il émerger dans une théorie de matière couplée à des champs de jauge avec un groupe de jauge discret ? Plus précisément, la structure cinématique (contraintes de la loi de Gauss) d'une telle théorie de jauge peut-elle engendrer des contraintes non triviales sur la physique de basse énergie au sein du sous-espace de la loi de Gauss ?

Méthodologie
Les auteurs construisent une théorie de jauge $Z_2 \times Z_2$ unidimensionnelle couplée à de la matière sur une chaîne périodique. Le modèle présente un espace de Hilbert de dimension trois sur chaque site (matière) et sur chaque lien (jauge). Le hamiltonien est défini comme suit :
$$H = \sum_{j, \alpha=x,y,z} \left( t_\alpha S^\alpha_{j\sigma} S^\alpha_{j\tau} S^\alpha_{j+1\sigma} - K_\alpha (S^\alpha_{j\tau})^2 \right)$$
où $S^\alpha$ sont des opérateurs de spin-1. Le système possède des symétries de jauge locales générées par les opérateurs $A^\alpha_j = \Sigma^\alpha_{j-1\tau}\Sigma^\alpha_{j\sigma}\Sigma^\alpha_{j\tau}$, où $\Sigma^\alpha = \exp(i\pi S^\alpha)$.

L'analyse procède en restreignant le système au sous-espace de la loi de Gauss $\mathcal{V}_G$, défini par la condition $A^\alpha_j |\psi\rangle = |\psi\rangle$ pour tous les sites et générateurs. Au sein de ce sous-espace, les auteurs :

1. Analyse des symétries : Étudient les relations de commutation du hamiltonien avec les opérateurs de translation ($T$) et de réflexion ($R$) du réseau.
2. Identification d'une symétrie cachée : Construisent une quantité conservée $M$ (un générateur $U(1)$) dérivée des contraintes cinématiques de la loi de Gauss.
3. Preuve du théorème LSM : Démontrent que le générateur $M$ commute avec $T$ mais anticommut avec $R$, conduisant à la preuve qu'un état fondamental trivial avec un gap est impossible.
4. Cartographie vers des fermions : Effectuent une cartographie non locale de l'espace de Hilbert contraint vers une chaîne de qubits, puis via une transformation de Jordan-Wigner vers des fermions libres, afin d'identifier des points spécifiques dans l'espace des paramètres.
5. Calcul des corrélations : Utilisent la théorie des déterminants de Toeplitz et la conjecture de Fisher-Hartwig pour déterminer le comportement asymptotique des fonctions de corrélation au point critique identifié.

Contributions et résultats clés

1. Théorème LSM à partir de contraintes cinématiques : Le résultat principal est la démonstration que l'imposition de la loi de Gauss dans une théorie de jauge $Z_2 \times Z_2$ couplée à de la matière génère une symétrie $U(1)$ émergente. Le générateur $M$ de cette symétrie satisfait $[M, T] = 0$ et $\{M, R\} = 0$. Cette structure algébrique force l'état fondamental à soit briser spontanément une symétrie, soit être sans gap, écartant ainsi une phase triviale avec un gap pour tout hamiltonien invariant par translation et réflexion dans ce sous-espace. Cela établit un mécanisme nouveau où le théorème LSM trouve son origine dans les contraintes cinématiques d'une théorie de jauge plutôt que dans une symétrie globale du secteur de la matière uniquement.

2. Point sans gap et fermions de Dirac : Les auteurs identifient un point spécifique dans l'espace des paramètres ($t_x=t_y=t_z=1, K_x=K_y=K_z=0$) où le système est sans gap. Grâce à une cartographie non locale, le hamiltonien à ce point est montré comme étant équivalent à un système de fermions de Dirac libres soumis à une contrainte sur le nombre total de fermions : $\exp(i\frac{2\pi}{3}(L+N)) = 1$. La charge centrale de cette théorie critique est déterminée comme étant $c=1$, vérifiée numériquement via des calculs de renormalisation de la matrice de densité (DMRG) de l'entropie d'intrication bipartite.

3. Asymptotique des fonctions de corrélation : Au point sans gap, le comportement asymptotique de la fonction de corrélation à deux points pour la quantité invariante de jauge locale $(S^\alpha_{j\tau})^2$ est dérivé. Le résultat est :
   $$\langle (S^\alpha_{j\tau})^2 (S^\beta_{j+r\tau})^2 \rangle - \frac{4}{9} \propto \frac{\cos(\pi r)}{r^{2/9}}$$
   Cette décroissance en loi de puissance avec un terme oscillatoire confirme le caractère critique du point.

4. Variante spin-1/2 : L'article analyse brièvement une version spin-1/2 du modèle où les opérateurs de symétrie locaux ne commutent pas tous. Il est démontré que cela conduit à une représentation projective du groupe de symétrie, résultant en une dégénérescence extensive (au moins $2^L$) pour chaque valeur propre de l'énergie.

Signification
L'article prétend répondre par l'affirmative à la question de savoir si les théories de jauge discrètes couplées à de la matière peuvent supporter des théorèmes de type LSM. L'importance réside dans la mise en évidence d'un mécanisme où la symétrie responsable du théorème LSM (la $U(1)$ émergente) provient directement de la structure cinématique (loi de Gauss) de la théorie de jauge. Cela offre une nouvelle perspective sur la manière dont les contraintes dans les théories de jauge peuvent dicter la physique de basse énergie. De plus, le modèle sert de plateforme naturelle pour l'étude des défauts topologiques au sein des familles de phases à brisure spontanée de symétrie (SSB) et de la nature des singularités dans le diagramme de phase au point sans gap identifié. Ce travail relie également l'étude des espaces de Hilbert contraints à des phénomènes tels que la fragmentation de l'espace de Hilbert et les cicatrices quantiques à plusieurs corps.