The BPHZL renormalization of a planar quantum electrodynamics up to 2-loops and beyond

Résumé Technique : La renormalisation BPHZL d'une électrodynamique quantique planaire jusqu'à 2 boucles et au-delà

Énoncé du Problème
L'article traite de la renormalisation d'une électrodynamique quantique $U(1) \times U(1)$ sans masse, respectant la parité, en trois dimensions d'espace-temps (QED$_3$), plus précisément un modèle de Maxwell-Chern-Simons. Ce modèle est pertinent pour décrire des phénomènes de matière condensée quasi-planaires, incluant l'effet Hall quantique, la supraconductivité à haute $T_c$, les isolants topologiques et le graphène. Une question centrale dans la renormalisation des théories sans masse en trois dimensions est l'interaction entre les divergences ultraviolettes (UV) et infrarouges (IR). Bien que le schéma standard de Bogoliubov-Parasiuk-Hepp-Zimmermann (BPHZ) gère les divergences UV, il échoue souvent pour les théories sans masse car les soustractions UV peuvent induire des divergences IR. Le schéma Bogoliubov-Parasiuk-Hepp-Zimmermann-Lowenstein (BPHZL), qui incorpore la méthode de soustraction de Lowenstein-Zimmermann (LZ), est nécessaire pour gérer ces divergences IR induites.

Une question théorique spécifique motive ce travail : le schéma de soustraction LZ viole-t-il nécessairement la symétrie de parité dans l'espace-temps tridimensionnel ? Des études antérieures sur l'ordinaire QED$_3$ sans masse $U(1)$ ont indiqué que la parité est explicitement brisée au niveau 1-boucle en raison des soustractions IR de LZ, qui génèrent un terme de Chern-Simons qui viole la parité. Les auteurs étudient si cette violation de la parité est une caractéristique universelle du schéma BPHZL ou si elle dépend du modèle spécifique. Ils se concentrent sur le modèle étendu de QED$_3$ préservant la parité, qui présente deux fermions sans masse et deux champs de jauge, afin de déterminer si la parité est préservée sous la renormalisation BPHZL jusqu'à 2 boucles et au-delà.

Méthodologie
Les auteurs emploient la méthode de renormalisation BPHZL combinée au schéma de soustraction LZ. La procédure comprend les étapes suivantes :

1. Définition du Modèle : L'action pour la QED$_3$ de Maxwell-Chern-Simons $U(1) \times U(1)$ sans masse respectant la parité est définie, incorporant un terme de masse Lowenstein-Zimmermann $m(s-1)$ pour réguler les divergences IR, où $s$ est un paramètre de soustraction ($0 \le s \le 1$). Le modèle inclut deux espèces de fermions ($\psi_+, \psi_-$) associées aux sous-réseaux du graphène et deux champs de jauge ($A_\mu, a_\mu$).
2. Comptage de Puissance : Les dimensions UV ($d$) et IR ($r$) de tous les champs sont établies pour déterminer les degrés de divergence superficiels des diagrammes de Feynman. Le modèle est identifié comme superrenormalisable, ce qui signifie que les divergences UV sont limitées à un nombre fini de boucles. Plus précisément, le comptage de puissance indique que les divergences cessent d'exister au-delà de l'ordre 2-boucles ($d < 0$ pour les 3-boucles et ordres supérieurs).
3. Analyse des Diagrammes : Les auteurs analysent tous les diagrammes de Feynman à 1-boucle et 2-boucles.
   • À 1-boucle, des diagrammes de polarisation du vide et d'auto-énergie sont identifiés comme superficiellement divergents.
   • À 2-boucles, quatre diagrammes de polarisation du vide ($\gamma_{8\pm}, \gamma_{9\pm}, \gamma_{11\pm}, \gamma_{12\pm}$) sont identifiés comme potentiellement divergents logarithmiquement ($d=0$).
4. Forêts de Zimmermann : Pour la renormalisation à 2-boucles, les auteurs construisent les forêts de Zimmermann pour identifier les sous-diagrammes et leurs structures de chevauchement.
   • Les diagrammes $\gamma_{8\pm}$ et $\gamma_{9\pm}$ sont trouvés sans sous-diagrammes propres divergents (leurs sous-diagrammes sont convergents).
   • Les diagrammes $\gamma_{11\pm}$ et $\gamma_{12\pm}$ contiennent des sous-diagrammes d'auto-énergie à 1-boucle divergents.
5. Procédure de Soustraction : L'intégrande renormalisé $R_\Lambda$ est construit en utilisant la formule de la forêt de Zimmermann. Cela implique l'application d'opérateurs de soustraction $\tau_\lambda$ (opérateurs de Taylor en impulsions externes et en le paramètre $s$) pour éliminer les divergences UV et IR. Les degrés de soustraction $\delta$ (UV) et $\rho$ (IR) sont déterminés pour chaque diagramme et sous-diagramme.
6. Calcul Explicite : Les auteurs effectuent des calculs explicites pour les diagrammes à 2-boucles. Ils utilisent la paramétrisation de Feynman et une nouvelle expression générale pour les intégrales $J_r$ (intégrales de boucle avec des puissances arbitraires de moments dans le numérateur) pour évaluer les intégrandes renormalisés. La limite $s \to 1$ est prise à la fin pour retrouver la théorie sans masse.

Contributions Clés et Résultats

• Preuve de Finitude : L'article fournit une preuve rigoureuse que la QED$_3$ de Maxwell-Chern-Simons $U(1) \times U(1)$ sans masse respectant la parité est à la fois UV et IR finie jusqu'à 2-boucles et au-delà. En raison de la nature superrenormalisable du modèle, aucune renormalisation supplémentaire n'est requise pour les ordres de boucle $L \ge 3$.
• Préservation de la Parité : Un résultat primaire est la démonstration que la parité n'est pas brisée aux niveaux 1-boucle ou 2-boucles dans ce modèle spécifique. Les auteurs montrent que les opérateurs de soustraction BPHZL, lorsqu'ils sont appliqués au modèle respectant la parité, ne génèrent pas de contre-termes brisant la parité (tels que le terme de Chern-Simons). Cela contraste avec l'ordinaire QED$_3$ $U(1)$ où la parité est brisée par le schéma LZ.
• Non-Localité des Termes Renormalisés : Le calcul explicite des diagrammes à 2-boucles ($\gamma_{11\pm}, \gamma_{12\pm}$ et $\gamma_{8\pm}, \gamma_{9\pm}$) révèle que les contributions renormalisées résultantes sont non-locales. Spécifiquement, les termes impliquent des dénominateurs contenant des puissances de l'impulsion externe $p^2$ (par exemple, $(c' + p'^2)^{-1}$), ce qui correspond à des opérateurs non-locaux dans l'espace de configuration. Par conséquent, ces diagrammes ne contribuent pas à la renormalisation des paramètres du modèle (constantes de couplage ou masses).
• Développements Techniques : Les auteurs dérivent une nouvelle expression générale pour les intégrales $J_r$ (Équation B.7) applicable à n'importe quel nombre de moments dans le numérateur de l'intégrande, ce qui facilite l'évaluation d'intégrales complexes à plusieurs boucles. Ils calculent également explicitement les termes $X'_l$ associés aux diagrammes à 2-boucles.

Signification
L'article affirme que ce travail résout une question fondamentale concernant le comportement des symétries discrètes sous le schéma de renormalisation BPHZL en trois dimensions. En démontrant que la parité est préservée dans le modèle $U(1) \times U(1)$ mais brisée dans le modèle $U(1)$ ordinaire, les auteurs concluent que l'induction de la violation de la parité par les soustractions infrarouges de LZ est dépendante du modèle, et non un défaut inhérent au schéma de renormalisation lui-même.

Les auteurs déclarent que, à leur connaissance, il s'agit de la première démonstration en théorie quantique des champs qu'une symétrie discrète (la parité) peut être préservée dans une théorie sans masse en 3D renormalisée via la méthode BPHZL, malgré la présence de deux fermions sans masse nécessitant le schéma de soustraction LZ. Ce résultat soutient la cohérence du modèle étendu de QED$_3$ respectant la parité en tant que cadre viable pour décrire des phénomènes tels que le graphène et d'autres systèmes planaires où l'invariance d'échelle et la préservation de la parité sont observées. Le travail confirme que la finitude UV et IR du modèle émule l'invariance d'échelle observée dans le graphène sans nécessendre l'introduction de contre-termes brisant la parité.