Exact strong zero modes in quantum circuits and spin chains with non-diagonal boundary conditions

Cet article construit des modes zéro forts exacts dans des circuits quantiques intégrables et la chaîne XXZ spin-1/2 avec des conditions aux limites non diagonales, démontrant qu'ils induisent une cohérence infinie aux bords tout en devenant non locaux lorsqu'ils sont transposés au processus d'exclusion simple asymétrique.

L'essentiel

🧱 Le Secret des Bords : Quand les bords d'un système deviennent immortels

Imaginez un long couloir rempli de gens qui se tiennent par la main et qui bougent tous ensemble selon des règles très précises. C'est un peu comme un système quantique (une chaîne d'atomes ou de particules). Habituellement, si vous regardez une personne au milieu du couloir, elle bouge de façon chaotique et imprévisible. Mais si vous regardez les gens tout au bout du couloir (les bords), quelque chose de magique peut se produire : ils peuvent rester parfaitement immobiles ou répéter un mouvement infini, même si tout le reste est en train de bouger.

C'est ce que les auteurs de cet article, Sascha Gehrmann et Fabian H.L. Essler, ont découvert. Ils ont prouvé qu'il est possible de créer des "Modes Zéro Forts" (des objets mathématiques spéciaux) qui agissent comme des gardiens immortels aux extrémités de ces systèmes.

Voici comment ils ont fait, expliqué simplement :

1. Le Problème : Les murs qui cassent la symétrie

Dans la plupart des systèmes physiques, il y a une "règle d'or" : la symétrie. Imaginez que votre couloir de danseurs tourne sur lui-même sans que personne ne change de place. C'est une symétrie.

• L'ancien problème : Auparavant, les scientifiques pensaient que pour avoir ces "gardiens immortels" aux bords, il fallait que les murs (les conditions aux limites) respectent cette règle de symétrie. C'était comme si les murs devaient être faits du même matériau que le sol pour que la magie fonctionne.
• La découverte : Ces chercheurs ont montré que ce n'est pas vrai ! Même si les murs sont "tordus" et brisent cette règle de symétrie (ce qu'ils appellent des conditions aux limites "non-diagonales"), le gardien immortel peut toujours exister.

2. La Solution : Le "Gardien" (L'Opérateur SZM)

Ils ont construit un objet mathématique spécial, qu'on appelle un Opérateur de Mode Zéro Fort (ESZM).

• L'analogie du fantôme : Imaginez un fantôme qui flotte uniquement autour de la première porte du couloir. Ce fantôme a un pouvoir spécial : il ne change jamais, peu importe comment les autres personnes dans le couloir bougent.
• La localisation : Ce fantôme est "collé" au bord gauche. Plus on s'éloigne de la porte, moins le fantôme est présent. C'est comme une odeur de parfum qui est très forte près de la bouteille mais qui disparaît après quelques mètres. Les auteurs ont prouvé mathématiquement que cette odeur (l'opérateur) s'efface très vite en s'éloignant du bord.

3. Deux mondes, une même règle

L'article étudie deux situations différentes, comme deux versions d'un même jeu :

• Le Circuit Quantique (Le jeu de Lego) : Imaginez un circuit où l'on empile des briques de Lego (des portes logiques quantiques) pour faire avancer le temps. Les auteurs ont montré que même avec des murs bizarres, le "gardien" existe. C'est important car ces circuits sont faciles à simuler sur des ordinateurs quantiques.
• La Chaîne de Spin XXZ (La file d'attente) : C'est une version plus classique, une file d'atomes qui interagissent. Ils ont prouvé que le "gardien" existe aussi ici, tant que le champ magnétique au bord gauche ne pointe pas dans la mauvaise direction (il doit rester dans le plan horizontal).

4. La Conséquence : Une mémoire infinie

Pourquoi est-ce important ?

• La mémoire des bords : Dans un système normal, l'information à la périphérie s'efface vite (comme une conversation qui s'éteint dans le bruit). Avec ce "gardien", l'information à la bordure reste intacte pour toujours.
• L'analogie : C'est comme si vous chuchotiez un secret à la personne au tout début de la file. Dans un système normal, le secret est oublié après 10 personnes. Avec ce "gardien", le secret est répété à l'infini par la première personne, peu importe ce qui se passe à l'autre bout du couloir. Cela signifie une cohérence infinie (une mémoire parfaite) pour les bords.

5. Le Twist : Le cas du "Processus d'Exclusion"

À la fin, les auteurs font une expérience intéressante. Ils transforment leur système quantique en un système de "particules qui se poussent" (un modèle mathématique appelé ASEP, utilisé pour modéliser la circulation ou le trafic).

• Le résultat surprenant : Quand ils appliquent la transformation pour passer du monde quantique au monde des particules classiques, le "gardien" perd ses pouvoirs ! Il ne reste plus collé au bord ; il s'étale sur tout le couloir et devient invisible.
• La leçon : Cela signifie que ce phénomène quantique fascinant (la mémoire infinie du bord) est très fragile. Il ne se traduit pas directement dans le monde des particules classiques qui se poussent. C'est une propriété purement quantique qui disparaît lors de la transformation.

En résumé

Ces chercheurs ont découvert un moyen de créer des bords "immortels" dans des systèmes quantiques, même si les murs sont désordonnés.

• Avant : On pensait que les murs devaient être parfaits pour que cela fonctionne.
• Maintenant : On sait que même des murs "cassés" peuvent protéger une information à la périphérie pour toujours.
• Pourquoi ? Parce qu'un "gardien" mathématique (l'opérateur ESZM) se crée et reste collé au bord, empêchant l'information de s'effacer.

C'est une avancée majeure pour comprendre comment protéger l'information dans les futurs ordinateurs quantiques, en utilisant les bords du système comme des coffres-forts inviolables.

Résumé technique

1. Problématique et Contexte

Les modes de bord stables dans les systèmes à plusieurs corps en interaction sont un sujet central en physique de la matière condensée, notamment pour leur rôle dans l'ordre topologique et la cohérence quantique. Les modes zéro forts (Strong Zero Modes - SZM) sont des opérateurs qui commutent approximativement avec le Hamiltonien (ou l'opérateur d'évolution temporelle) et qui ne commutent pas avec une symétrie discrète. Ils sont connus pour induire des temps de cohérence infinis pour les spins situés aux bords du système.

Cependant, la littérature précédente sur les SZM et les modes zéro forts exacts (Exact Strong Zero Modes - ESZM) s'est principalement limitée à des conditions aux limites respectant les symétries globales du système (symétries $Z_2$ ou $U(1)$).

Le problème central abordé par les auteurs est de déterminer si des ESZM peuvent exister lorsque les conditions aux limites brisent la symétrie $U(1)$ de la partie volumique (bulk) du système, en particulier dans le cas de conditions aux limites non diagonales (champs magnétiques arbitraires aux bords).

2. Méthodologie

Les auteurs utilisent une approche combinant la théorie des systèmes intégrables, la mécanique statistique hors équilibre et les circuits quantiques.

• Modèles étudiés :

  1. Circuits quantiques en maçonnerie (Brick-wall circuits) : Des systèmes de Floquet discrets avec des portes unitaires locales.
  2. Chaîne de Heisenberg XXZ : Le modèle continu obtenu comme limite de Trotter du circuit ci-dessus.
  3. Processus d'exclusion simple asymétrique (ASEP) : Un processus stochastique lié à la chaîne XXZ par une transformation de similarité.

• Construction de l'opérateur ESZM :
  Les auteurs construisent un opérateur conservé $\Psi$ (l'ESZM) en exploitant l'intégrabilité du modèle.

  • Ils partent de la matrice de transfert $T(u)$ du modèle de vertex à six sommets avec des conditions aux limites ouvertes (matrices $K$).
  • L'opérateur est défini comme une dérivée de la matrice de transfert évaluée en un point spectral spécial $u^*$ : $\Psi \propto T'(u^*)$.
  • La condition d'existence de l'ESZM impose des contraintes spécifiques sur les paramètres des conditions aux limites (notamment la composante du champ magnétique au bord gauche).

• Représentation MPO (Matrix Product Operator) :
  Pour analyser la structure spatiale de l'opérateur, les auteurs expriment $\Psi$ sous forme d'un opérateur produit matriciel (MPO). Cela permet de calculer explicitement les normes de Hilbert-Schmidt des termes locaux $\Psi_j$ agissant sur les sites $j$.

• Analyse de localisation :
  La preuve de la localisation repose sur l'étude de la décroissance des normes $\|\Psi_j\|^2$ en fonction de la distance $j$ du bord. Une décroissance exponentielle $\|\Psi_j\|^2 \propto e^{-\alpha j}$ confirme la nature de bord de l'opérateur.

• Transformation vers l'ASEP :
  Ils appliquent une transformation de similarité non unitaire reliant la chaîne XXZ à l'ASEP pour vérifier si l'ESZM conserve ses propriétés physiques dans le cadre stochastique.

3. Contributions Clés et Résultats

A. Existence d'ESZM avec conditions aux limites brisant la symétrie $U(1)$

Les auteurs démontrent qu'un ESZM existe dans la chaîne XXZ et les circuits quantiques correspondants, même lorsque les conditions aux limites brisent la symétrie $U(1)$ globale (conservation du nombre de particules/aimantation).

• Condition critique : Pour un bord gauche ($j=1$), l'ESZM existe tant que le champ magnétique $\vec{h}_1$ est perpendiculaire à l'axe $z$ (c'est-à-dire $h_1^z = 0$). Cela préserve une symétrie discrète $Z_2$ (rotation de $\pi$ autour de l'axe $\vec{h}_1$ dans le plan $xy$).
• Le champ magnétique au bord droit $\vec{h}_N$ peut être arbitraire sans détruire l'ESZM, car celui-ci est localisé au bord gauche.

B. Structure spatiale et localisation

En utilisant la représentation MPO, les auteurs prouvent analytiquement et vérifient numériquement que l'opérateur ESZM est exponentiellement localisé autour du bord gauche.

• Ils dérivent une expression explicite pour le taux de décroissance exponentielle en fonction des paramètres du modèle ($\eta, \delta, s(L), \phi(L)$, etc.).
• La figure 4 montre un accord excellent entre les données numériques et la loi asymptotique prédite pour la norme de Hilbert-Schmidt.

C. Temps de cohérence infinis aux bords

L'existence de l'ESZM a des conséquences dynamiques directes. Pour tout opérateur local $O$ situé près du bord ayant un recouvrement non nul avec l'ESZM, la fonction d'autocorrélation à température infinie $C_O(t)$ ne décroît pas vers zéro.

• Elle converge vers une valeur constante non nulle à temps long : $\lim_{t\to\infty} C_O(t) = |c_1|^2 > 0$.
• Cela implique des temps de cohérence infinis pour les observables de bord, un résultat confirmé par des simulations numériques (Figure 6).

D. Non-localité dans le Processus d'Exclusion Asymétrique (ASEP)

C'est l'un des résultats les plus surprenants. Les auteurs étudient la relation entre la chaîne XXZ et l'ASEP via une transformation de similarité $S$.

• Bien que l'opérateur ESZM de la chaîne XXZ soit localisé, son image dans l'ASEP ($\Psi_{ASEP} = S^{-1} \Psi_{XXZ} S$) perd sa localisation spatiale.
• Les normes de Hilbert-Schmidt des termes locaux de $\Psi_{ASEP}$ tendent vers zéro lorsque la taille du système $N \to \infty$, même pour les premiers termes.
• Conclusion : L'ESZM, bien qu'existant mathématiquement dans la chaîne XXZ, ne joue probablement aucun rôle physique significatif dans la dynamique de l'ASEP, car il n'est pas localisé aux bords dans ce cadre stochastique.

4. Signification et Implications

• Généralisation théorique : Ce travail élargit considérablement la classe de systèmes connus pour posséder des modes zéro forts exacts, montrant que la symétrie $U(1)$ globale n'est pas une condition nécessaire, mais que la préservation d'une symétrie discrète locale au bord suffit.
• Robustesse des états de bord : Il confirme que la cohérence quantique aux bords peut être protégée même dans des régimes où la symétrie de rotation globale est brisée, ce qui est pertinent pour les dispositifs quantiques réels où les conditions aux limites sont rarement idéales.
• Limites de la correspondance XXZ-ASEP : L'étude met en lumière une subtilité importante : certaines propriétés spectrales ou de conservation (comme l'existence d'un opérateur commutant) ne se traduisent pas nécessairement par des propriétés dynamiques locales (comme la localisation) lorsqu'on passe d'un système quantique unitaire à un système stochastique via une transformation de similarité.
• Applications potentielles : Les circuits quantiques étudiés étant simulables sur des ordinateurs quantiques (portes à deux qubits), ces résultats ouvrent la voie à la vérification expérimentale de ces modes de bord et de leurs temps de cohérence infinie dans des dispositifs de type "brick-wall".

En résumé, l'article fournit une construction rigoureuse d'opérateurs de mode zéro exacts pour des conditions aux limites générales, prouve leur capacité à protéger la cohérence aux bords, et démontre les limites de leur pertinence physique lors de la transition vers des modèles stochastiques équivalents.