Matrix Product States for Modulated Topological Phases: Crystalline Equivalence Principle and Lieb-Schultz-Mattis Constraints

En utilisant les états de produit matriciel, cet article classe les phases topologiques protégées par des symétries modulées en unidimensionnel, démontrant qu'elles obéissent au principe d'équivalence cristalline et permettant d'établir de nouvelles contraintes de type Lieb-Schultz-Mattis pour ces symétries ainsi que pour les symétries de réflexion de Kramers-Wannier non inversibles.

L'essentiel

🌌 Le Titre : Quand les symétries dansent avec l'espace

Imaginez que vous avez un tapis infini avec des motifs. Habituellement, si vous déplacez le tapis d'un cran (translation) ou si vous le retournez (réflexion), le motif reste le même. C'est ce qu'on appelle une symétrie.

Dans la physique moderne, on distingue deux types de symétries :

1. Les symétries internes : Comme changer la couleur d'un vêtement sans bouger le corps.
2. Les symétries spatiales : Comme bouger le corps ou le retourner.

Ce papier parle d'un cas spécial appelé "symétries modulées". Imaginez que vous avez un tapis où, chaque fois que vous faites un pas vers la droite, la couleur des motifs change d'une manière spécifique. La symétrie n'est plus uniforme ; elle "oscille" ou se module selon votre position. C'est comme si la règle du jeu changeait selon l'endroit où vous vous trouvez sur le tapis.

Les auteurs de ce papier (Ning, Ebisu et Lam) se sont demandé : "Quels types de motifs exotiques (phases topologiques) peuvent exister sur un tapis où les règles changent selon la position ?"

🧱 La Boîte à Outils : Les "Perles" (MPS)

Pour répondre à cette question, ils utilisent un outil mathématique appelé État Produit Matriciel (MPS).

• L'analogie : Imaginez que l'état quantique du système (le tapis) est une longue chaîne de perles. Chaque perle représente un atome. Pour décrire la chaîne, on ne regarde pas chaque perle individuellement, mais on regarde comment les perles sont enfilées les unes aux autres via des "fils invisibles" (les indices virtuels).
• En utilisant cette méthode, les auteurs ont pu classer tous les motifs possibles qui restent stables même quand on applique ces règles changeantes.

🗺️ Le Principe de l'Équivalence Cristalline : Le Miroir Magique

Le résultat le plus important du papier est une confirmation d'une idée appelée le Principe d'Équivalence Cristalline.

• L'analogie du miroir : Imaginez que vous avez un monde où les règles changent selon la position (le monde "modulé"). Le principe dit que vous pouvez prendre ce monde compliqué et le "plier" pour le transformer en un monde plus simple où les règles sont fixes (un monde "interne"), mais où certaines règles agissent comme des miroirs (renversant le temps ou l'orientation).
• Le message clé : Classer les motifs dans le monde compliqué (modulé) est exactement la même chose que de classer les motifs dans le monde simple (interne) avec ces miroirs. C'est comme dire que résoudre un casse-tête 3D complexe revient à résoudre un casse-tête 2D plus simple si vous savez comment le tourner.

Les auteurs ont prouvé mathématiquement (en utilisant une méthode appelée "Séquence Spectrale de Lyndon-Hochschild-Serre") que cette correspondance fonctionne parfaitement, même pour ces symétries bizarres.

🚦 Les Deux Types de "Codes" : Forts et Faibles

Le papier découvre que ces phases topologiques sont classées selon deux types de "codes" ou d'indices :

1. Les Indices Forts (Strong Indices) :
   • Analogie : C'est comme avoir un serrure sur les bords du tapis. Peu importe comment vous bougez le tapis, si vous essayez d'ouvrir la serrure, elle résiste. Cela crée des états spéciaux sur les bords (comme des électrons qui ne peuvent pas bouger). C'est une propriété robuste et inévitable.
2. Les Indices Faibles (Weak Indices) :
   • Analogie : C'est comme avoir un décor sur chaque carreau du tapis. Si vous déplacez le tapis d'un cran, le décor change légèrement. Ces indices sont plus subtils. Ils ne créent pas de serrures sur les bords, mais ils affectent la façon dont le système réagit quand on insère une "fissure" ou un défaut dans le tapis.

🚧 Les Contraintes (Le théorème LSM)

Une partie cruciale du papier concerne le théorème de Lieb-Schultz-Mattis (LSM).

• Le problème : Imaginez que vous essayez de construire un sol (un état fondamental) pour votre système, mais que les règles locales (les symétries) sont "tristes" ou "confuses" (représentations projectives).
• La conclusion : Souvent, cela empêche le système d'avoir un sol simple et calme. Le système est obligé de soit :
  1. Se briser (les symétries disparaissent).
  2. Ou devenir "bruyant" et instable (le système devient sans trou d'énergie, ou gapless).
• La nouveauté : Pour les symétries modulées, ce n'est pas toujours vrai ! Parfois, le système peut rester calme, mais il doit porter une "mémoire" d'intrication quantique complexe. C'est comme si le tapis devait garder une cicatrice invisible pour respecter les règles.

🎭 L'Exemple des Symétries Non-Inversibles

Enfin, ils appliquent leur théorie à un type de symétrie très étrange appelé symétrie de Kramers-Wannier non-inversible.

• L'analogie : Imaginez un jeu de miroir où, au lieu de simplement refléter votre image, le miroir vous transforme en une version différente de vous-même, et vous ne pouvez pas revenir en arrière simplement en regardant à nouveau.
• Le résultat : Ils montrent que si un système possède ce type de symétrie "magique" et modulée, il est impossible qu'il soit à la fois stable et symétrique. Il doit soit changer, soit devenir instable.

🏁 En Résumé

Ce papier est une réussite majeure car il :

1. Cartographie tous les types de "tapis quantiques" possibles avec des règles changeantes.
2. Prouve qu'on peut les comprendre en les transformant en problèmes plus simples (principe d'équivalence).
3. Explique pourquoi certains systèmes ne peuvent pas être calmes et stables (contraintes LSM).
4. Utilise des modèles concrets (comme des chaînes d'atomes) pour montrer que ces théories abstraites existent vraiment dans la nature.

C'est comme avoir trouvé la clé universelle pour comprendre comment la matière se comporte quand les règles du jeu changent selon l'endroit où l'on se trouve.

Résumé technique

1. Problématique et Contexte

L'article s'intéresse à la classification des phases topologiques protégées par la symétrie (SPT) dans les systèmes unidimensionnels (1D) possédant des symétries modulées. Contrairement aux symétries internes usuelles qui agissent de manière uniforme sur tous les sites du réseau, les symétries modulées agissent de manière spatialement non uniforme.

Ces symétries émergent naturellement dans des contextes physiques variés, notamment :

• Les théories de jauge avec mobilité restreinte (fractons).
• Les systèmes présentant des anomalies de type Lieb-Schultz-Mattis (LSM).
• La fragmentation de l'espace de Hilbert.

Le défi principal réside dans le fait que la symétrie totale $G$ est un produit semi-direct $G = G_{\text{int}} \rtimes G_{\text{sp}}$, où une symétrie spatiale $G_{\text{sp}}$ (comme la translation ou la réflexion) agit de manière non triviale sur la symétrie interne $G_{\text{int}}$. La question centrale est de savoir comment classifier les phases SPT protégées par de telles structures de symétrie complexes et si le principe d'équivalence cristalline (qui établit une correspondance entre les phases SPT cristallines et internes) reste valable dans ce cadre.

2. Méthodologie

Les auteurs utilisent une approche basée sur les États Produit de Matrice (MPS - Matrix Product States) pour caractériser les états fondamentaux des systèmes gappés 1D. La méthodologie se décompose en plusieurs étapes clés :

• Formulation MPS : Ils considèrent un état fondamental unique décrit par un MPS injectif. L'action des opérateurs de symétrie sur le MPS impose des contraintes sur les tenseurs locaux $A$ via des équations de « push-through » (poussée à travers).
• Classification par Cohomologie : En analysant les relations de commutation et les phases projectives des opérateurs virtuels, ils dérivent les conditions nécessaires pour que l'état soit invariant sous l'action du groupe $G$.
• Dérivation de la Suite Spectrale LHS : Ils démontrent que la structure algébrique des contraintes MPS reproduit naturellement la suite spectrale de Lyndon-Hochschild-Serre (LHS). Cette suite relie la cohomologie du groupe total $H^2(G, U(1)_s)$ aux cohomologies des sous-groupes $G_{\text{int}}$ et $G_{\text{sp}}$.
• Correspondance Explicite : Ils construisent une application explicite entre les phases SPT modulées et les phases SPT internes protégées par le groupe $\tilde{G} = G_{\text{int}} \rtimes \tilde{G}_{\text{sp}}$, où les éléments de réflexion sont traités comme des symétries anti-unitaires (renversement du temps).

3. Contributions Clés et Résultats

A. Classification des Phases SPT Modulées

Les auteurs établissent que les phases SPT modulées en 1D sont classifiées par le deuxième groupe de cohomologie $H^2(G, U(1)_s)$, confirmant ainsi le principe d'équivalence cristalline même en présence d'un mélange non trivial entre symétries internes et spatiales.

La classification se décompose en deux types d'indices :

1. Indices Forts (Strong Indices) : Correspondent aux représentations projectives de $G_{\text{int}}$ qui sont invariantes sous l'action de la symétrie spatiale (par exemple, invariance sous translation). Ils se manifestent par des modes de bord protégés et une dégénérescence du spectre d'intrication.
2. Indices Faibles (Weak Indices) : Correspondent à des charges de symétrie attachées aux cellules unitaires. Ils sont définis modulo des relations d'équivalence induites par l'action de la symétrie spatiale (décalage des charges). Ils ne créent pas de modes de bord mais affectent la charge totale ou l'impulsion du système en présence de défauts.

La classification générale est donnée par :
$$\text{Classes} \cong H^2(G_{\text{int}}, U(1))^{G_{\text{sp}}} \times \frac{H^1(G_{\text{int}}, U(1))}{\text{relations d'équivalence}}$$

B. Validation par Modèles de Réseau

Pour valider cette classification, les auteurs construisent des modèles de réseau microscopiques pour deux classes de symétries :

• Symétries Exponentielles : Où la translation agit par multiplication (ex: $g \to a^k g$). Ils montrent que la classification coïncide avec $Z_{(ab-1, N)} \times Z_{(a-1, N)} \times Z_{(b-1, N)}$.
• Symétries Dipolaires : Où la translation agit par ajout de charge (ex: $(g_0, g_D) \to (g_0, g_D + g_0)$). La classification donne $Z_N \times Z_N$.
  Dans les deux cas, les modèles réalisés par des circuits quantiques de profondeur finie (controlled-phase gates) reproduisent exactement les indices forts et faibles prédits par la théorie.

C. Théorèmes Lieb-Schultz-Mattis (LSM) et Contraintes

L'article applique cette classification pour généraliser les théorèmes LSM :

• LSM pour Symétries Modulées : Ils prouvent que certaines représentations projectives locales des opérateurs de symétrie sont incompatibles avec l'existence d'un état fondamental court-corrélé (SRE) et symétrique. Cela force soit la brisure spontanée de symétrie, soit un état gapless.
• Contrainte SPT-LSM : Contrairement au cas non modulé, toutes les représentations projectives ne mènent pas à une anomalie LSM stricte. Si une solution existe, elle impose une contrainte SPT-LSM : l'état fondamental doit posséder une intrication non triviale (dégénérescence du spectre d'intrication), même s'il est SRE.
• Symétries de Kramers-Wannier Non-Inversibles : Ils utilisent la classification pour montrer que certaines symétries de réflexion non-inversibles (associées aux symétries exponentielles) sont intrinsèquement anormales. Un système possédant une telle symétrie ne peut pas être à la fois gappé et symétrique ; il doit soit briser la symétrie, soit être gapless.

4. Signification et Impact

Ce travail apporte plusieurs avancées majeures :

1. Unification Théorique : Il confirme que le principe d'équivalence cristalline s'étend aux symétries modulées, reliant de manière rigoureuse les phases SPT cristallines aux phases SPT internes via la cohomologie de groupe.
2. Outil de Classification : L'approche MPS fournit une dérivation microscopique et constructive de la suite spectrale LHS, offrant un cadre puissant pour classifier des phases topologiques complexes au-delà des symétries globales simples.
3. Nouvelles Contraintes Physiques : La distinction entre indices forts et faibles permet de mieux comprendre les contraintes LSM dans les systèmes avec symétries spatiales non triviales, révélant de nouvelles contraintes sur l'intrication quantique.
4. Applications aux Symétries Non-Inversibles : L'application aux symétries de Kramers-Wannier non-inversibles ouvre la voie à l'étude des anomalies dans des systèmes avec des symétries généralisées (higher-form, subsystem, etc.).

En résumé, cet article établit un cadre systématique pour comprendre la topologie des systèmes 1D avec des symétries spatialement modulées, reliant la théorie des groupes, la théorie des champs topologiques et les méthodes de réseaux de tenseurs.