Bosonization versus the Nielsen-Ninomiya theorem

Résumé technique : Bosonisation versus le théorème de Nielsen-Ninomiya

Énoncé du problème
Le défi central abordé dans ce travail est la formulation de fermions chiraux sans masse sur un réseau d'espace-temps euclidien tout en préservant les symétries chirales. Le théorème de Nielsen-Ninomiya établit une obstruction fondamentale : tout opérateur de Dirac sur réseau qui est invariant par translation, local et possédant la structure chirale standard doit inévitablement produire des « doublons » non physiques (modes massifs supplémentaires) ou violer la symétrie chirale. Les approches classiques sur réseau résolvent généralement cela soit en brisant la symétrie chirale (par exemple, les fermions de Wilson), soit en acceptant des symétries non ultra-locales (par exemple, les fermions de recouvrement/domain-wall). Une stratégie alternative consiste à abandonner entièrement les champs de Grassmann, en utilisant des modèles bosoniques sur réseau pour réaliser les symétries et les anomalies souhaitées, et en identifiant un point critique où les fermions chiraux émergent. Bien que le modèle de Villain modifié en 2D ait été proposé comme une régularisation sur réseau d'un fermion de Dirac sans masse via la bosonisation, les propriétés spécifiques des opérateurs de fermions chiraux résultants à espacement de réseau fini — particulièrement concernant la localité et l'évitement du théorème de Nielsen-Ninomiya — restaient obscures.

Méthodologie
Les auteurs étudient le modèle scalaire de Villain modifié en 2D, une régularisation sur réseau d'un champ scalaire compact qui préserve l'anomalie de 't Hooft mixte entre les symétries de décalage (shift) et de bobinage (winding). La méthodologie procède comme suit :

1. Définition du modèle : L'étude utilise le modèle de Villain modifié en 2D défini par une intégrale de chemin sur réseau d'un champ scalaire réel $\phi$, d'un champ de lien à valeurs entières $n$, et d'un champ scalaire compact $\theta$ sur les plaquettes. Le couplage est fixé au rayon auto-dual $R = 1/\sqrt{2}$, où la théorie bosonique est duale à un fermion de Dirac sans masse.
2. Construction d'opérateurs : Pour définir les opérateurs de Weyl fermioniques sur réseau, les auteurs adaptent le dictionnaire boson-fermion continu de Coleman. Ils construisent des opérateurs composites impliquant le champ scalaire $\phi$ et l'opérateur de défaut de vortex $e^{i\theta}$. Crucialement, pour assurer l'invariance de jauge sous la redondance de jauge du réseau, ces opérateurs sont attachés à des lignes topologiques (rayons) émanant des sites du réseau.
3. Calcul des fonctions de corrélation : Les auteurs calculent les fonctions de corrélation à deux points exactes des opérateurs de Weyl sur réseau. Cela implique l'évaluation de l'intégrale de chemin, qui se réduit à des calculs impliquant la fonction Green sur réseau en 2D $G(x)$.
4. Reconstruction de l'opérateur de Dirac : En inversant les fonctions de corrélation à deux points calculées dans l'espace des impulsions, les auteurs reconstruisent l'opérateur de Dirac effectif sur réseau ($D$) qui régit la dynamique de ces opérateurs fermioniques.
5. Analyse de la localité et des doublons : L'opérateur de Dirac reconstruit est analysé dans l'espace des impulsions pour déterminer sa structure de zéros (doublons) et ses propriétés de décroissance spatiale (localité).

Contributions clés et résultats

• Fonctions de corrélation exactes : Le papier dérive les fonctions de corrélation à deux points exactes $S_{\pm}(x-y)$ pour les opérateurs de Weyl sur réseau. Ces fonctions présentent les statistiques fermioniques correctes (anticommutativité) et un comportement asymptotique $S_{\pm}(x) \sim (x_1 \pm i x_2)^{-1}$ dans la limite continue, correspondant aux fonctions de corrélation d'un fermion de Dirac sans masse.
• Spectre sans doublons : L'opérateur de Dirac sur réseau reconstruit est montré comme étant exempt de doublons. Dans l'espace des impulsions, le propagateur inverse possède un zéro unique à $p=0$ (correspondant au fermion physique). Selon le choix des termes de contact (renormalisation), des zéros additionnels peuvent apparaître aux frontières de la zone de Brillouin (par exemple, $(\pi, 0), (0, \pi), (\pi, \pi)$), mais leur indice topologique total s'annule, garantissant qu'aucun mode massif supplémentaire n'existe.
• Non-localité de l'opérateur de Dirac : Le résultat principal est que bien que le modèle bosonique microscopique sous-jacent soit ultra-local (l'action et les symétries n'impliquent que des interactions de plus proches voisins), l'opérateur de Dirac reconstruit est non-local. Le noyau de l'opérateur décroît comme $O(1/|x-y|)$ aux grandes distances.
• Fonctions multi-points : Les auteurs démontrent que les opérateurs de Weyl sur réseau possèdent des fonctions à quatre points connectées non nulles à espacement de réseau fini. Cela indique une interaction à deux corps non triviale à l'échelle du réseau, qui est irrélevante dans la limite continue, ce qui est cohérent avec le flux de la théorie vers un fermion de Dirac sans masse libre.

Signification et évitement du théorème de Nielsen-Ninomiya
Le papier clarifie comment le modèle bosonisé évite le théorème de Nielsen-Ninomiya. Le théorème interdit un noyau de Dirac local, invariant par translation et sans doublons avec une structure chirale standard. Le modèle de Villain modifié respecte l'invariance par translation et est exempt de doublons, mais il évite le théorème en sacrifiant la localité dans l'opérateur de Dirac reconstruit.

Les auteurs soulignent une distinction cruciale : la non-localité réside dans l'opérateur de Dirac effectif dérivé de la théorie bosonique, et non dans les degrés de liberté microscopiques. Le modèle bosonique sous-jacent sur réseau reste ultra-local. Par conséquent, la non-localité de l'opérateur de Dirac n'empêche pas la jauge des symétries du modèle (telles que $U(1)_V$ et $U(1)_A$), car celles-ci sont jaugées directement sur les variables bosoniques locales.

Conclusion
Ce travail fournit une démonstration microscopique que les fermions chiraux peuvent être réalisés sur un réseau sans doublons en utilisant des variables purement bosoniques. Le prix de cette réalisation est que l'opérateur de Dirac effectif est non-local. Le papier conclut que bien que cette non-localité soit une conséquence nécessaire du théorème de Nielsen-Ninomiya pour une théorie sans doublons, elle ne rend pas la théorie pathologique, car l'action bosonique fondamentale reste ultra-locale et bien définie. Les auteurs suggèrent que des mécanismes similaires peuvent s'appliquer à des dualités de dimensions supérieures, telles que la bosonisation en 3D impliquant des termes de Chern-Simons, bien que cela reste un domaine ouvert pour des investigations futures.