Non-Abelian Thirring model at large $N$

Technische Samenvatting: Niet-Abeliaanse Thirring-model bij Grote N

Probleemstelling
Het artikel onderzoekt het niet-Abeliaanse gebosoniseerde Thirring-model voor een semi-simpele Lie-groep $G$ op niveau $k$, gedefinieerd door een klassiek marginale operator die een bilineaire vorm is in de stromen (currents). Het primaire doel is om het regime te verkennen waar de kwadratische Casimir van de groep in de adjoint-representatie, $c_G$, groot is ten opzichte van het niveau $k$ ($c_G \gg k$). Dit komt overeen met een grote $N$-limiet voor groepen zoals $SU(N)$.

Hoewel het model goed begrepen is in het semi-klassieke regime ($c_G/k \ll 1$) via effectieve acties en $\lambda$-deformaties, blijft het gedrag in de $c_G \gg k$ limiet minder verkend. Vorig werk aan het fermionische niet-Abeliaanse Thirring-model door Dashen en Frishman suggereerde het bestaan van een extra kritiek punt van de orde $1/c_G$. Daartegenover stelden Destri en de Vega dat er geen zodanig punt bestaat. Dit werk beoogt dit verschil te verklaren voor de gebosoniseerde variant door te zoeken naar niet-triviale vaste punten van de orde $k/c_G$ (of equivalent aan $1/N$) met behulp van perturbatieve methoden.

Methodologie
De auteurs maken gebruik van conforme perturbatietheorie rond het Wess-Zumino-Witten (WZW) vaste punt ($\lambda=0$). Aangezien de effectieve actie afgeleid voor het $c_G/k \ll 1$ regime hier niet van toepassing is, rust de studie volledig op diagrammatische expansies.

1. 't Hooft-limiet: De auteurs definiëren een effectieve 't Hooft-koppeling $\tilde{\lambda} = \frac{c_G}{k}\lambda$. Ze voeren een perturbatieve expansie uit in $\tilde{\lambda}$ terwijl ze $\tilde{\lambda}$ vast houden als $c_G \to \infty$ en $k \to \infty$. In deze limiet worden alleen de leidende orden in $c_G/k$ behouden.
2. Correlatiefuncties: De studie berekent twee-punt correlatiefuncties voor:
   • De drijvende samengestelde operator $O(z, \bar{z}) = J^a(z)\bar{J}^a(\bar{z})$.
   • De stroom-operatoren (current operators) $J^a(z)$ en $\bar{J}^a(\bar{z})$.
     Berekeningen worden uitgevoerd tot drie lussen (derde orde in $\lambda$).
3. Regularisatie en Integratie: De berekeningen maken gebruik van een specifiek regularisatieschema met een UV-cutoff $\epsilon$ en een IR-cutoff $R$. De auteurs gebruiken een toolkit van complexe integralen (afgeleid via de stelling van Green en de stelling van Stokes) om de multi-loop diagrammen te evalueren. De structuurconstanten van de Lie-algebra worden gecontracteerd met behulp van trace-identiteiten in de adjoint-representatie.
4. Renormalisatie: Vanuit de divergente delen van de correlatiefuncties (specifiek de logaritmische termen met betrekking tot $\ln(\epsilon^2/|z_{12}|^2)$) extraheren de auteurs de renormalisatieconstanten ($Z$-factoren). Deze worden gebruikt om de anomalie-dimensies en de $\beta$-functie te bepalen.

Kernbijdragen en Resultaten

• Samengestelde Operator Correlator ($OO$):
  De auteurs berekenen de $OO$ correlator tot drie lussen. De leidende bijdrage in de $c_G/k$ expansie levert een reeks op in $\tilde{\lambda}$:
  $$\langle O(z_1)O(z_2) \rangle \propto \frac{1}{|z_{12}|^4} \left( 1 - 2\tilde{\lambda} \ln \frac{\epsilon^2}{|z_{12}|^2} + \frac{5}{2}\tilde{\lambda}^2 \ln^2 \frac{\epsilon^2}{|z_{12}|^2} - \frac{5}{2}\tilde{\lambda}^3 \ln^3 \frac{\epsilon^2}{|z_{12}|^2} \right)$$
  Hieruit wordt de anomalie-dimensie van de samengestelde operator gevonden als lineair exact tot de derde orde: $\gamma_O = -2\tilde{\lambda} + O(\tilde{\lambda}^4)$.

• Stroom Correlaties ($JJ$ en $J\bar{J}$):
  De drie-lus correcties voor de $JJ$ en $J\bar{J}$ correlaties worden berekend.

  • Voor de $JJ$ correlatie wordt de anomalie-dimensie van de stroom-operator gevonden als:
    $$\gamma_J = \frac{k}{c_G} (\tilde{\lambda}^2 + \tilde{\lambda}^3 + O(\tilde{\lambda}^4))$$
    In de strikte 't Hooft-limiet ($c_G \to \infty$) verdwijnt de leidende orde van de anomalie-dimensie.
  • Voor de $J\bar{J}$ correlatie worden de contacttermen geanalyseerd om de renormalisatie van de koppeling te extraheren.

• $\beta$-functie en Vaste Punten:
  Gebruikmakend van de renormalisatiegroepvergelijkingen afgeleid van de stroom- en samengestelde operator-data, wordt de $\beta$-functie voor de 't Hooft-koppeling $\tilde{\lambda}$ bepaald.

  • Het resultaat is kwadratisch exact tot de vierde orde:
    $$\beta_{\tilde{\lambda}} = -\frac{\tilde{\lambda}^2}{2} + O(\tilde{\lambda}^5)$$
  • De auteurs stellen expliciet dat geen extra kritiek punt van de orde $k/c_G$ (of $1/N$) bestaat binnen het berekende perturbatieve regime (tot vierde orde in $\tilde{\lambda}$). Het enige vaste punt is het UV-vaste punt bij $\tilde{\lambda} = 0$.

Betekenis en Claims
Het artikel beweert dat de bevindingen overeenkomen met de resultaten van Destri en de Vega voor het fermionische niet-Abeliaanse Thirring-model, die geen extra vaste punten vonden. Dit staat in directe tegenstelling tot de claim van Dashen en Frishman over het bestaan van een extra vast punt van de orde $1/c_G$.

De auteurs argumenteren dat de punten $\lambda = \pm 1$, die overeenkomen met niet-Abeliaanse T-duale en pseudo-duale modellen, artefacten zijn van het semi-klassieke limiet ($c_G/k \ll 1$) waar de effectieve actie geldig is. In de grote $N$ ($c_G \gg k$) regime vertegenwoordigen deze punten geen niet-triviale vaste punten van de renormalisatiegroep-flow. Het werk suggereert dat de $\beta$-functie in deze limiet reduceert tot een eenvoudige kwadratische vorm, wat wijst op een eenvoudigere RG-flow structuur dan eerder verondersteld voor het bestaan van tussenliggende vaste punten.

Toekomstige Richtingen
Het artikel suggereert om deze resultaten uit te breiden om de exacte afkap van de $\beta$-functie en de anomalie-dimensies voor alle orden in $\tilde{\lambda}$ in de $c_G \gg 1$ limiet te bewijzen. Er wordt ook voorgesteld om drie-punt functies te berekenen om de Operator Product Expansie (OPE) en de onderliggende symmetrie-algebra bij grote $N$ af te leiden, evenals het onderzoeken van het model met ongelijke links en rechts niveaus ($k_L \neq k_R$).