How to formulate the $\mathbb{Z}_8$ topological invariant of Majorana fermion on the lattice

Cet article propose une formulation sur réseau de l'invariant topologique ABK à valeurs dans $\mathbb{Z}_8$ pour les fermions de Majorana, démontrant qu'il peut être extrait des pfaffiens de l'opérateur de Wilson Dirac et validé numériquement sur diverses variétés bidimensionnelles non orientables.

L'essentiel

🌌 Le Secret des "Chaussettes Magiques" : Comment les physiciens comptent les mondes invisibles

Imaginez que vous êtes un détective de l'univers, mais au lieu de chercher des empreintes digitales, vous cherchez des formes cachées dans l'espace-temps. C'est exactement ce que fait l'équipe du professeur Sho Araki (de l'Université d'Osaka) dans ce papier. Ils ont réussi à créer une nouvelle "règle de comptage" pour des particules étranges appelées fermions de Majorana.

Voici comment ils ont fait, en utilisant des analogies simples.

1. Le Problème : Compter sur un terrain en construction 🏗️

En physique, il existe des règles mathématiques (des "invariants topologiques") qui disent combien de façons différentes un système peut être "tordu" sans se briser.

• Le défi : Habituellement, ces règles fonctionnent bien dans un monde lisse et continu (comme une feuille de papier parfaite). Mais les physiciens utilisent des ordinateurs pour simuler l'univers, et les ordinateurs ne voient pas le monde en continu. Ils le voient comme une grille de pixels (un maillage carré).
• La difficulté : Sur cette grille, les règles habituelles pour compter les "tours" ou les "nœuds" de l'espace ne fonctionnent plus, surtout si l'espace est bizarre (comme un ruban de Möbius ou une bouteille de Klein, où le "dedans" et le "dehors" se mélangent).

2. La Solution : Une nouvelle règle de comptage (Z8) 🧮

Les chercheurs ont découvert que pour ces particules spéciales (Majorana), le nombre de façons de les tordre ne va pas de 0 à l'infini, mais se répète tous les 8. C'est comme une horloge qui a seulement 8 heures au lieu de 12.

• Ils appellent cela l'invariant ABK (du nom de leurs découvreurs).
• Leur but ? Créer une recette mathématique qui fonctionne même sur la grille "pixelisée" de l'ordinateur, pour obtenir ce chiffre entre 0 et 7.

3. L'Analogie du Ruban de Möbius et de la Bouteille de Klein 🎀

Pour tester leur recette, ils ont dû construire des mondes virtuels très étranges sur leur grille d'ordinateur :

• Le Ruban de Möbius : Imaginez un ruban que vous tordez et collez les extrémités. Si vous marchez dessus, vous finissez par vous retrouver "à l'envers" par rapport à votre départ. C'est une surface qui n'a pas de "côté".
• La Bouteille de Klein : Imaginez une bouteille dont le goulot traverse le fond de la bouteille pour se reconnecter à l'intérieur. C'est impossible à faire avec du verre dans notre monde 3D, mais possible en mathématiques.

Le défi de la grille : Comment dessiner un ruban de Möbius sur une grille carrée rigide ?

• L'astuce des chercheurs : Ils ont utilisé une technique de "collage intelligent". Au lieu de simplement relier les bords de la grille, ils ont fait passer les particules d'un bord à l'autre en les retournant (comme si vous regardiez votre reflet dans un miroir en traversant le mur). C'est ce qu'ils appellent des "conditions aux limites inversant l'orientation".

4. La Méthode : La "Masse" comme outil de sculpture 🗿

Pour que ces particules existent sur ces formes bizarres, les chercheurs ont utilisé un outil appelé masse de paroi de domaine (domain-wall mass).

• L'image : Imaginez que vous avez une pâte à modeler (l'espace). Vous voulez créer un trou ou une forme spécifique. Au lieu de couper la pâte, vous changez la "texture" de la pâte dans certaines zones.
• Dans leur simulation, ils ont dit : "Dans cette zone, les particules ont une masse négative (elles sont lourdes d'une certaine façon), et dans l'autre, une masse positive."
• La frontière entre ces deux zones crée naturellement la forme désirée (comme un ruban de Möbius) sans avoir à forcer la géométrie de la grille.

5. Le Résultat : La Preuve par le Nombre 🎲

Une fois la grille construite, ils ont calculé une valeur mathématique complexe (le "Pfaffien") qui agit comme un thermomètre de la topologie.

• Ils ont fait tourner les calculs sur des grilles de plus en plus grandes (pour imiter un monde lisse).
• Le résultat magique : Peu importe la taille de la grille, le thermomètre s'arrête toujours sur un nombre entier précis : 0, 1, 2... jusqu'à 7.
• Ces nombres correspondent exactement à ce que la théorie prédit pour le monde réel (continu).

En résumé 🎯

Ces physiciens ont réussi à traduire une loi fondamentale de l'univers (la topologie des particules) dans le langage des ordinateurs.

• Avant : On ne savait pas bien compter les "tours" de l'espace sur une grille d'ordinateur, surtout pour les formes tordues.
• Maintenant : Ils ont une recette précise (basée sur des masses et des retournements de grille) qui donne le bon chiffre (de 0 à 7) pour n'importe quelle forme, même les plus folles comme le ruban de Möbius.

C'est comme si vous aviez appris à compter les nœuds d'une corde même si vous ne pouvez toucher la corde qu'avec des gants épais et sur une table en carreaux. Cette découverte ouvre la porte pour simuler des matériaux quantiques exotiques et comprendre des états de la matière qui pourraient un jour révolutionner l'informatique quantique.

Résumé technique

Voici un résumé technique détaillé de l'article « How to formulate the Z8 topological invariant of Majorana fermion on the lattice » par Sho Araki et al., rédigé en français.

1. Problématique et Contexte

Les invariants topologiques et leurs anomalies jouent un rôle central dans la compréhension des phénomènes non perturbatifs en théorie quantique des champs (TQC), tels que les instantons, les anomalies et les phases de matière topologique protégée par la symétrie (SPT).

• Limites actuelles : En théorie des champs sur réseau (Lattice Gauge Theory), la formulation des invariants topologiques est difficile en raison de l'absence de continuité. Bien que l'indice de l'opérateur de Dirac (valeur entière $\mathbb{Z}$) puisse être formulé via l'opérateur d'Overlap et la relation de Ginsparg-Wilson, ces méthodes échouent pour des invariants plus généraux.
• Le défi spécifique : Certains systèmes de fermions, notamment les fermions de Majorana en deux dimensions avec symétrie de réflexion, possèdent des invariants topologiques à valeurs dans $\mathbb{Z}_8$ (l'invariant d'Arf-Brown-Kervaire ou ABK). Ces invariants ne peuvent pas être exprimés comme un simple indice de l'opérateur de Dirac et nécessitent de considérer des variétés non orientables (comme le ruban de Möbius, le plan projectif réel ou la bouteille de Klein), où les opérateurs standards (Overlap) ne sont pas bien définis.
• Objectif : Développer une formulation sur réseau de l'invariant ABK ($\mathbb{Z}_8$) pour les fermions de Majorana, capable de fonctionner sur des variétés orientables et non orientables, sans dépendre de la symétrie chirale exacte.

2. Méthodologie

Les auteurs proposent une approche basée sur l'intégrale de chemin de fermions massifs, utilisant des fermions de Wilson plutôt que des fermions chiraux.

A. Cadre Théorique

• Système : Fermions de Majorana en espace-temps euclidien 2D.
• Action : $S = \frac{1}{2} \int d^2x \, \psi^T C (D + m) \psi$, où $D$ est l'opérateur de Dirac et $m$ la masse.
• Symétrie : Le système est invariant sous une réflexion spatiale, ce qui implique une structure de groupe de spin $\text{Pin}^-(2)$.
• Invariant ABK : La phase de la fonction de partition $Z$ pour $m \to -\infty$ est quantifiée : $Z \propto \exp(i \frac{\pi}{4} \beta)$, où $\beta \in \{0, \dots, 7\}$.

B. Construction sur Réseau

1. Opérateur de Wilson : Utilisation de l'opérateur de Dirac de Wilson massif $D_W(m)$ pour éviter les problèmes de doubler de modes et ne pas exiger la relation de Ginsparg-Wilson.
2. Fonction de Partition : Sur le réseau, la fonction de partition est donnée par le Pfaffien d'une matrice de taille finie : $Z = \text{Pf}(C D_W(m))$.
3. Définition de l'invariant sur réseau ($\beta_{latt}$) :
   L'invariant est extrait de la phase relative entre la fonction de partition pour une masse négative et celle pour une masse positive (régularisation de Pauli-Villars) :
   $$\frac{\text{Pf}(C D_W(m))}{\text{Pf}(C D_W(|m|))} \propto \exp\left(i \frac{2\pi}{8} \beta_{latt}\right)$$
4. Géométrie des Variétés :
   • Variétés fermées : Réalisées en imposant des conditions aux limites "tordues" (orientation-reversing) sur un réseau carré standard. Cela permet de construire le tore, la bouteille de Klein et le plan projectif réel ($RP^2$).
   • Variétés ouvertes : Réalisées via un terme de masse de "mur de domaine" (domain-wall mass). Une région de masse négative est entourée d'une région de masse positive infinie, créant une frontière effective. Cette méthode permet de simuler le ruban de Möbius.

C. Techniques de Calcul

• Analytique : Pour les variétés à invariance par translation (Tore, Bouteille de Klein), les auteurs utilisent l'analyse de Fourier pour diagonaliser l'opérateur de Wilson et calculer le produit des valeurs propres (spectre).
• Numérique : Pour les géométries plus complexes (comme $RP^2$ ou le ruban de Möbius) où la décomposition en impulsion n'est pas valide, le Pfaffien est calculé directement par des méthodes numériques pour différentes tailles de réseau ($N$) et masses.

3. Résultats Principaux

Les auteurs ont vérifié que leur formulation sur réseau reproduit correctement les résultats de la théorie continue dans la limite du continu ($a \to 0$) et de la masse infinie ($m \to -\infty$).

• Le Tore ($T^2$) :

  • Pour la structure de Pin$^-$ périodique-périodique ($PP$) et $m < 0$, l'invariant est $\beta = 4$.
  • Pour toutes les autres structures ($PA, AP, AA$), $\beta = 0$.
  • Ce résultat correspond exactement à la théorie continue.

• La Bouteille de Klein ($KB$) :

  • Pour les structures $P^\pm$, l'invariant converge vers $\beta = \mp 2$.
  • Pour les structures $A^\pm$, $\beta = 0$.
  • Les calculs numériques montrent une convergence rapide vers des valeurs entières (ex: erreur de l'ordre de $10^{-9}$pour une grille$30 \times 30$).

• Le Plan Projectif Réel ($RP^2$) :

  • Malgré la présence de singularités aux coins du réseau (où la structure du réseau carré se brise), les calculs numériques donnent les valeurs correctes prédites par la théorie continue.

• Le Ruban de Möbius (Variété ouverte) :

  • La construction par mur de domaine réussit à capturer la topologie ouverte.
  • Les deux structures de Pin$^-$ possibles donnent $\beta = \pm 1$, confirmant la quantification $\mathbb{Z}_8$ même pour des variétés à bord.

4. Contributions Clés

1. Formulation sur réseau de l'invariant ABK : Première formulation explicite de l'invariant $\mathbb{Z}_8$ pour les fermions de Majorana sur réseau, sans recourir à la relation de Ginsparg-Wilson.
2. Gestion des variétés non orientables : Développement d'une méthode robuste pour implémenter des conditions aux limites inversant l'orientation sur un réseau carré, permettant l'étude de la bouteille de Klein et du plan projectif réel.
3. Approche par mur de domaine : Extension de la méthode du mur de domaine pour définir des invariants topologiques sur des variétés ouvertes (Möbius), reliant la quantification de la phase à l'anomalie d'inflow des fermions de bord.
4. Validation Numérique : Preuve par calculs numériques que l'invariant sur réseau converge vers les valeurs entières attendues de la théorie continue, même pour des géométries complexes et non plates.

5. Signification et Perspectives

• Outil Non-Perturbatif : Cette méthode offre un outil puissant pour étudier les phases SPT (Symmetry Protected Topological) et les anomalies de manière non perturbative sur réseau.
• Extensibilité : Les auteurs suggèrent que cette approche pourrait être étendue à d'autres invariants, comme l'invariant $\mathbb{Z}_{16}$ en 4 dimensions pour les fermions de Majorana avec structure $\text{Pin}^+$.
• Interactions : Bien que l'étude se concentre sur des fermions libres, la formulation ouvre la voie à l'investigation de systèmes interactifs, notamment lorsque le nombre de fermions est un multiple de 8 (où la phase SPT devient triviale), permettant d'étudier comment les interactions peuvent ouvrir un gap sur les bords.

En résumé, ce travail comble une lacune importante dans la théorie des champs sur réseau en fournissant un cadre rigoureux pour calculer des invariants topologiques $\mathbb{Z}_8$ sur des géométries non orientables, validant ainsi la connexion entre les régimes discrets (réseau) et continus pour ces systèmes exotiques.