Renormalization of three-quark operators with up to two derivatives at three loops

Dit artikel presenteert de analytische renormalisatieconstanten en anomale dimensies van drie-quark-operatoren met tot twee covariante afgeleiden in QCD tot drie lussen, en berekent bovendien de geamputeerde vier-punts Green-functies tot twee lussen voor de matching met roosterresultaten.

De kern

Stel je voor dat het universum een gigantische, ingewikkelde LEGO-set is. De kleinste stukjes in deze set zijn de quarks. Drie van deze quarks plakken samen om een baryon te vormen, zoals een proton of neutron (de bouwstenen van atoomkernen).

De auteurs van dit artikel, Bernd Kniehl en Oleg Veretin, zijn als super-rekenmachine-experts die proberen uit te vinden hoe deze LEGO-blokjes precies in elkaar zitten en hoe ze zich gedragen als je er heel hard op duwt (bijvoorbeeld in een deeltjesversneller).

Hier is wat ze hebben gedaan, vertaald in een simpel verhaal:

1. Het probleem: De "Wazige" Foto

In de quantumwereld zijn de regels heel raar. Als je probeert te berekenen hoe deze drie quarks samenwerken, krijg je vaak oneindige getallen of resultaten die afhankelijk zijn van hoe je ze bekijkt (zoals de hoek van je camera). Dit noemen ze "renormalisatie".

Stel je voor dat je een foto maakt van een snel bewegende auto, maar je camera is wazig. Je wilt weten hoe de auto er écht uitziet. De fysici gebruiken een wiskundige truc (de MS-scheme) om die wazigheid weg te rekenen en de "echte" vorm te vinden. Maar dit is heel lastig, vooral omdat er in de wiskunde soms "onzichtbare" stukjes (evanescent operators) meespelen die in onze 4-dimensionale wereld niet bestaan, maar in de wiskunde wel invloed hebben.

2. De Opdracht: De "Meer" van de Quarks

De auteurs kijken naar specifieke momenten in de tijd (of beter: in de energie) waarin deze drie quarks samenwerken. Ze noemen dit de Mellin-momenten ($N=0, 1, 2$).

• $N=0$ is als het gemiddelde gewicht van de auto.
• $N=1$ is hoe de auto versnelt.
• $N=2$ is hoe de auto reageert op bochten.

Voorheen wisten ze al hoe het gemiddelde gewicht ($N=0$) zich gedroogde. Maar nu wilden ze ook weten hoe de versnelling en de bochten ($N=1$ en $N=2$) zich gedragen. Dit is veel moeilijker, omdat er dan ook nog afgeleiden (covariante afgeleiden) bij komen. Dat zijn als het ware extra veertjes en veren die aan de LEGO-blokjes zitten, waardoor de constructie veel complexer wordt.

3. De Uitdaging: De "Spookstukjes"

Een groot probleem bij deze berekeningen is het $\gamma_5$-probleem. In de wiskunde van deeltjesfysica is er een symbool ($\gamma_5$) dat gedraagt als een spiegel. In onze 4-dimensionale wereld werkt dit prima, maar in de wiskundige wereld die ze gebruiken (waar ze tijdelijk extra dimensies toevoegen om de oneindigheden weg te werken), gedraagt deze spiegel zich raar. Het is alsof je probeert een 3D-voorwerp in 2D te tekenen; de schaduwen vallen niet goed.

De auteurs gebruiken een slimme methode (ontwikkeld in eerdere werken) om dit probleem te omzeilen. In plaats van te proberen de spiegel in de wiskunde te fixeren, kijken ze naar de LEGO-blokjes zonder de spiegel erop te plakken. Ze houden de "open" kanten van de blokjes zichtbaar. Dit maakt de boekhouding heel lastig (veel meer stukjes om bij te houden), maar het voorkomt dat ze in de spiegelval lopen.

4. Het Resultaat: De "Receptenboekjes"

Na jaren van rekenen (en met de hulp van supercomputers) hebben ze de volgende dingen geproduceerd:

• De "Anomale Dimensies": Dit zijn de recepten die zeggen hoe snel de eigenschappen van de quarks veranderen als je de energie verhoogt. Ze hebben deze recepten nu berekend tot op een heel hoog niveau van nauwkeurigheid (drie "loops" of rondjes in de berekening).
  • Vroeger: Ze wisten het recept voor het gemiddelde gewicht ($N=0$).
  • Nu: Ze hebben het recept voor het gemiddelde, de versnelling en de bochten ($N=0, 1, 2$) gevonden.
• De "Brug" naar de Realiteit: Computersimulaties (Lattice QCD) zijn een andere manier om deze deeltjes te bestuderen, maar die werken in een andere "taal" (een ander rekenstelsel). De auteurs hebben een brug gebouwd (de RI'/SMOM naar MS conversie) zodat de resultaten van die computersimulaties vertaald kunnen worden naar de taal van de echte theorie. Ze hebben deze brug nu ook berekend voor de versnelling ($N=1$).

5. Waarom is dit belangrijk?

Stel je voor dat je een auto wilt bouwen die zo snel mogelijk gaat. Je hebt een ontwerp (de theorie) en je hebt prototypes die je in een windtunnel test (de computersimulaties).
Vroeger konden de ingenieurs alleen kijken naar het gewicht van de auto. Nu kunnen ze ook kijken naar hoe hij versnelt en hoe hij in bochten ligt.

Dit artikel zorgt ervoor dat we de theorie en de simulaties perfect op elkaar kunnen afstemmen. Hierdoor kunnen we in de toekomst veel preciezer voorspellen hoe protonen en neutronen zich gedragen in deeltjesversnellers zoals de LHC, of hoe we nieuwe deeltjes kunnen vinden.

Kortom: Deze auteurs hebben de "rekenregels" voor de bouwstenen van het universum verfijnd, zodat we niet alleen weten wat ze zijn, maar ook precies hoe ze bewegen en reageren, zelfs in de meest extreme situaties. Ze hebben de "spookstukjes" in de wiskunde succesvol geneutraliseerd en een brug gebouwd tussen de computerwereld en de echte natuurkunde.

Technische samenvatting

Titel: Renormalisatie van drie-kwark-operatoren met tot twee afgeleiden op drie-lus-niveau

Auteurs: Bernd A. Kniehl en Oleg L. Veretin
Instituut: Universiteit Hamburg en Universiteit Regensburg

---

1. Het Probleem en de Context

Deze studie richt zich op de fundamentele niet-perturbatieve functies die de structuur van nucleonen beschrijven in exclusieve processen: baryonische distributie-amplitudes (DAs). Deze DAs zijn complementair aan de conventionele parton-distributiefuncties, maar hun relatie tot experimentele observabelen is minder direct, waardoor ze moeilijker te begrijpen zijn.

De theoretische beschrijving van DAs is gebaseerd op de relatie tussen hun Mellin-momenten en matrixelementen van lokale samengestelde operatoren. Een belangrijke methode om deze momenten te berekenen is Gitter-QCD (Lattice QCD). Voor een nauwkeurige vergelijking tussen Gitter-resultaten en perturbatieve QCD-berekeningen is een zorgvuldige renormalisatie nodig.

De specifieke uitdagingen in dit werk zijn:

• De berekening van renormalisatieconstanten en anomale dimensies voor drie-kwark-operatoren met tot twee covariante afgeleiden (corresponderend met Mellin-momenten $N=0, 1, 2$).
• Het uitvoeren van deze berekeningen tot op drie-lus-niveau (voor $N=1, 2$) en twee-lus-niveau (voor conversiefactoren).
• Het oplossen van conceptuele problemen zoals de mengeling van evanescente operatoren (operatoren die in $d=4$ dimensies verdwijnen maar in $d=4-2\varepsilon$ dimensies bestaan) met fysische operatoren, en de behandeling van de Dirac-matrix $\gamma_5$ in dimensionele regularisatie.

2. Methodologie

De auteurs hanteren een geavanceerde perturbatieve aanpak binnen het MS-renormalisatieschema (Modified Minimal Subtraction).

• Operatoren: Er worden niet-lokale drie-kwark-operatoren bestudeerd met open spinor-indices. Deze worden via een operatorproduct-expansie (OPE) op de lichtkegel omgezet in lokale operatoren met covariante afgeleiden.
• Behandeling van Evanescente Operatoren: Om de problemen met evanescente operatoren en $\gamma_5$ te omzeilen, maken de auteurs gebruik van een variant van het MS-schema (zoals voorgesteld in Ref. [13]). In deze aanpak worden operatoren zonder contracties over spinor-indices beschouwd. Dit garandeert dat evanescente operatoren in $d=4$ verdwijnen en dat $\gamma_5$-ambiguiteiten systematisch worden vermeden.
• Berekeningsmethode:
  • Feynman-diagrammen: Generatie via QGRAF.
  • Sporen en Kleuren: Projectie en evaluatie met FORM-routines.
  • Integratie: Reductie van Feynman-integraties tot een kleine set master-integraties via het Laporta-algoritme (IBP-relaties) geïmplementeerd in FIRE.
  • IR-herarrangement: Gebruik van de methode van globale infrarood-herarrangement om UV-divergenties te scheiden van IR-divergenties, wat leidt tot massieve tadpole-diagrammen.
• RI'/SMOM: Voor $N=1$ worden de afgeknipte vier-punts Green-functies berekend met RI'/SMOM kinematica (een schema veel gebruikt in Gitter-QCD). Dit vereist een specifieke vier-moment-toewijzing waarbij alle externe benen niet-nul invariantie massa hebben.

3. Belangrijkste Bijdragen en Resultaten

A. Anomale Dimensies tot Drie Lussen

De auteurs presenteren analytische uitdrukkingen voor de renormalisatieconstanten ($Z$) en de anomale dimensies ($\gamma$) voor:

1. $N=0$: Bevestiging van eerdere resultaten tot drie lussen voor de open spinor-indices en voor toestanden met spin $1/2$ en $3/2$.
2. $N=1$ en $N=2$: Voor het eerst berekend tot drie lussen voor operatoren met open spinor-indices en voor specifieke spin-toestanden ($1/2$ en $3/2$).
   • Voor $N=1$ en $N=2$ is de mengeling complexer; de anomale dimensies zijn matrices van grootte $3\times3$ (voor $N=1$) en $6\times6$ (voor $N=2$) in de basis van de operatoren.
   • De resultaten worden uitgedrukt in termen van symmetrische combinaties van Dirac-tensorstructuren ($\Gamma_{ijk}$) en bevatten termen afhankelijk van het aantal quark-favorieten ($n_f$) en de Riemann-zetawaarde $\zeta_3$.
   • De auteurs tonen aan dat de anomale dimensies gauge-onafhankelijk zijn, zoals verwacht.

B. Conversiefactoren RI'/SMOM naar MS

Voor $N=1$ hebben de auteurs de conversiefactoren berekend van het RI'/SMOM-schema naar het MS-schema tot op twee lussen.

• Dit is essentieel voor het matchen van Gitter-QCD-resultaten met perturbatieve berekeningen.
• De berekening omvat de evaluatie van de afgeknipte vier-punts Green-functies in de specifieke RI'/SMOM kinematica.
• De resultaten worden zowel analytisch (in termen van master-integraties) als numeriek (met hoge precisie) gepresenteerd.

C. Data en Beschikbaarheid

Alle resultaten, inclusief de zeer uitgebreide analytische uitdrukkingen voor $N=2$ en de conversiefactoren, zijn beschikbaar in een machine-leesbaar bestand (ancillary file) dat bij het artikel wordt gepubliceerd.

4. Significatie en Impact

• Verbetering van Gitter-QCD: Deze resultaten stellen onderzoekers in staat om de eerste twee Mellin-momenten ($N=0, 1$) van baryonische distributie-amplitudes uit Gitter-simulaties te extraheren met een precisie van NNLO (Next-to-Next-to-Leading Order) in de perturbatieve matching, en met N3LO evolutie.
• Overcoming Conceptuele Hindernissen: Door de specifieke aanpak voor evanescente operatoren en $\gamma_5$ te gebruiken, bieden de auteurs een robuust kader voor hogere-orde berekeningen in QCD dat vrij is van de veelvoorkomende ambiguïteiten die bij dimensionele regularisatie optreden.
• State-of-the-Art: Dit werk breidt de bestaande kennis aanzienlijk uit. Eerdere werken waren beperkt tot $N=0$ of slechts tot twee lussen voor $N=1$. De berekening tot drie lussen voor $N=1$ en $N=2$ is een aanzienlijke stap voorwaarts in de theoretische precisie voor hadronische structuur.

Conclusie

Dit artikel levert een cruciale bijdrage aan de theoretische QCD door de renormalisatie van complexe drie-kwark-operatoren tot op drie-lus-niveau te voltooien. Het biedt de benodigde perturbatieve ingrediënten (anomale dimensies en conversiefactoren) om Gitter-QCD-resultaten voor baryonische structuurfuncties nauwkeurig te interpreteren, wat essentieel is voor het voorbereiden van experimenten bij toekomstige versnellers zoals de Electron-Ion Collider.