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

Technische Zusammenfassung: Die BPHZL-Renormierung einer planaren Quantenelektrodynamik bis zu 2-Schleifen und darüber hinaus

Problemstellung
Die Arbeit befasst sich mit der Renormierung einer paritätsgeraden, massenlosen $U(1) \times U(1)$ Quantenelektrodynamik in drei Raumzeitdimensionen (QED$_3$), konkret eines Maxwell-Chern-Simons-Modells. Dieses Modell ist relevant für die Beschreibung quasi-planarer kondensierter Materiephänomene, einschließlich des Quanten-Hall-Effekts, der Hoch-$T_c$-Supraleitung, topologischer Isolatoren und Graphen. Ein zentrales Problem bei der Renormierung massenloser Theorien in drei Dimensionen ist das Zusammenspiel von Ultraviolett- (UV) und Infrarot- (IR) Divergenzen. Während das Standard-BPHZ-Schema (Bogoliubov-Parasiuk-Hepp-Zimmermann) UV-Divergenzen handhabt, versagt es oft bei massenlosen Theorien, da UV-Subtraktionen IR-Divergenzen induzieren können. Das BPHZL-Schema, welches die Lowenstein-Zimmermann (LZ) Subtraktionsmethode integriert, ist erforderlich, um diese induzierten IR-Divergenzen zu behandeln.

Eine spezifische theoretische Frage motiviert diese Arbeit: Verletzt das LZ-Subtraktionsschema notwendigerweise die Paritätssymmetrie in dreidimensionaler Raumzeit? Vorherige Studien zu gewöhnlicher masseloser $U(1)$ QED$_3$ deuteten darauf hin, dass die Parität auf der 1-Schleifen-Ebene aufgrund von LZ-IR-Subtraktionen explizit gebrochen wird, welche einen paritäts-odden Chern-Simons-Term generieren. Die Autoren untersuchen, ob diese Paritätsverletzung ein universelles Merkmal des BPHZL-Schemas ist oder ob sie vom spezifischen Modell abhängt. Sie konzentrieren sich auf das paritätserhaltende erweiterte QED$_3$-Modell, das zwei masselose Fermionen und zwei Eichfelder umfasst, um zu bestimmen, ob die Parität unter der BPHZL-Renormierung bis zu 2-Schleifen und darüber hinaus erhalten bleibt.

Methodik
Die Autoren wenden die BPHZL-Renormierungsmethode in Kombination mit dem LZ-Subtraktionsschema an. Das Verfahren umfasst die folgenden Schritte:

1. Modelldefinition: Die Wirkung für die paritätsgerade masselose $U(1) \times U(1)$ Maxwell-Chern-Simons QED$_3$ wird definiert, wobei ein Lowenstein-Zimmermann-Massenterm $m(s-1)$ zur Regulierung von IR-Divergenzen einbezogen wird, wobei $s$ ein Subtraktionsparameter ($0 \le s \le 1$) ist. Das Modell umfasst zwei Fermionen-Spezies ($\psi_+, \psi_-$), die mit Graphen-Subgittern assoziiert sind, sowie zwei Eichfelder ($A_\mu, a_\mu$).
2. Potenzzählung (Power Counting): Die UV- ($d$) und IR- ($r$) Dimensionen aller Felder werden festgelegt, um die oberflächlichen Divergenzgrade der Feynman-Diagramme zu bestimmen. Das Modell wird als superrenormierbar identifiziert, was bedeutet, dass UV-Divergenzen auf eine endliche Anzahl von Schleifen begrenzt sind. Speziell zeigt die Potenzzählung, dass Divergenzen jenseits der 2-Schleifen-Ordnung aufhören existieren zu können ($d < 0$ für 3-Schleifen und höher).
3. Diagrammanalyse: Die Autoren analysieren alle 1-Schleifen- und 2-Schleifen-Feynman-Diagramme.
   • Auf der 1-Schleifen-Ebene werden Vakuum-Polarisations- und Selbstenergie-Diagramme als oberflächlich divergent identifiziert.
   • Auf der 2-Schleifen-Ebene werden vier Vakuum-Polarisations-Diagramme ($\gamma_{8\pm}, \gamma_{9\pm}, \gamma_{11\pm}, \gamma_{12\pm}$) als potenziell logarithmisch divergent ($d=0$) identifiziert.
4. Zimmermanns Wälder (Forests): Für die 2-Schleifen-Renormierung konstruieren die Autoren die Wälder von Zimmermann, um Subdiagramme und deren überlappende Strukturen zu identifizieren.
   • Die Diagramme $\gamma_{8\pm}$ und $\gamma_{9\pm}$ weisen keine geeigneten divergenten Subdiagramme auf (ihre Subdiagramme sind konvergent).
   • Die Diagramme $\gamma_{11\pm}$ und $\gamma_{12\pm}$ enthalten divergente 1-Schleifen-Selbstenergie-Subdiagramme.
5. Subtraktionsverfahren: Der renormierte Integrand $R_\Lambda$ wird unter Verwendung der Wald-Formel von Zimmermann konstruiert. Dies beinhaltet die Anwendung von Subtraktionsoperatoren $\tau_\lambda$ (Taylor-Operatoren in den externen Impulsen und dem Parameter $s$), um UV- und IR-Divergenzen zu entfernen. Die Subtraktionsgrade $\delta$ (UV) und $\rho$ (IR) werden für jedes Diagramm und jedes Subdiagramm bestimmt.
6. Explizite Berechnung: Die Autoren führen explizite Berechnungen für die 2-Schleifen-Diagramme durch. Sie nutzen die Feynman-Parametrisierung und einen neuen allgemeinen Ausdruck für $J_r$-Integrale (Schleifenintegrale mit beliebigen Potenzen von Impulsen im Nukleator), um die renormierten Integranden auszuwerten. Der Grenzwert $s \to 1$ wird am Ende genommen, um die masselose Theorie wiederherzustellen.

Zentrale Beiträge und Ergebnisse

• Beweis der Endlichkeit: Die Arbeit liefert einen rigorosen Beweis dafür, dass die paritätserhaltende masselose $U(1) \times U(1)$ Maxwell-Chern-Simons QED$_3$ bis zu 2-Schleifen und darüber hinaus sowohl UV- als auch IR-endlich ist. Aufgrund der superrenormierbaren Natur des Modells ist keine weitere Renormierung für Schleifenordnungen $L \ge 3$ erforderlich.
• Paritätserhaltung: Ein primäres Ergebnis ist der Nachweis, dass die Parität weder auf der 1-Schleifen- noch auf der 2-Schleifen-Ebene in diesem spezifischen Modell gebrochen wird. Die Autoren zeigen, dass die BPHZL-Subtraktionsoperatoren, wenn sie auf das paritätsgerade Modell angewendet werden, keine paritäts-odden Gegenterme (wie den Chern-Simons-Term) erzeugen. Dies steht im Gegensatz zur gewöhnlichen $U(1)$ QED$_3$, in der die Parität durch das LZ-Schema gebrochen wird.
• Nicht-Lokalität renormierter Terme: Die explizite Berechnung der 2-Schleifen-Diagramme ($\gamma_{11\pm}, \gamma_{12\pm}$ und $\gamma_{8\pm}, \gamma_{9\pm}$) zeigt, dass die resultierenden renormierten Beiträge nicht-lokal sind. Konkret enthalten die Terme Nenner, die Potenzen des externen Impulses $p^2$ enthalten (z. B. $(c' + p'^2)^{-1}$), was nicht-lokalen Operatoren im Konfigurationsraum entspricht. Folglich tragen diese Diagramme nicht zur Renormierung der Parameter des Modells (Kopplungskonstanten oder Massen) bei.
• Technische Entwicklungen: Die Autoren leiten einen neuen allgemeinen Ausdruck für $J_r$-Integrale (Gleichung B.7) ab, der für jede Anzahl von Impulsen im Integranden-Nukleator anwendbar ist, was die Auswertung komplexer Multi-Schleifen-Integrale erleichtert. Sie berechnen zudem explizit die mit den 2-Schleifen-Diagrammen assoziierten $X'_l$-Terme.

Bedeutung
Die Arbeit behauptet, dass diese Untersuchung eine fundamentale Frage bezüglich des Verhaltens diskreter Symmetrien unter dem BPHZL-Renormierungsschema in drei Dimensionen klärt. Durch den Nachweis, dass die Parität im $U(1) \times U(1)$-Modell erhalten bleibt, aber im gewöhnlichen $U(1)$-Modell gebrochen wird, kommen die Autoren zu dem Schluss, dass die Induktion der Paritätsverletzung durch LZ-Infrarot-Subtraktionen modellabhängig ist und kein inhärenter Fehler des Renormierungsschemas selbst darstellt.

Die Autoren geben an, dass dies nach ihrem Wissen die erste Demonstration in der Quantenfeldtheorie ist, dass eine diskrete Symmetrie (Parität) in einer massenlosen 3D-Theorie, die mittels des BPHZL-Verfahrens renormiert wurde, erhalten bleiben kann, obwohl zwei masselose Fermionen die LZ-Subtraktion erfordern. Dieses Ergebnis stützt die Konsistenz des paritätserhaltenden erweiterten QED$_3$-Modells als ein lebensfähiges Framework zur Beschreibung von Phänomenen in Graphen und anderen planaren Systemen, in denen Skaleninvarianz und Paritätserhaltung beobachtet werden. Die Arbeit bestätigt, dass die UV- und IR-Endlichkeit des Modells die in Graphen beobachtete Skaleninvarianz emuliert, ohne dass die Einführung paritätsverletzender Gegenterme erforderlich ist.