The $q$-extension of iterated integrals and nested sums in quantum field theory

Technische Samenvatting: De q-extensie van geïtereerde integralen en geneste sommen in kwantumveldentheorie

Probleemstelling
Perturbatieve berekeningen in kwantumveldentheorie (QFT), met name voor hoeveelheden met nul- en enkelvoudige schalen, leveren resultaten op die uitgedrukt zijn in termen van speciale functies en getallen. Deze omvatten polylogaritmen, Nielsen-integralen, harmonische polylogaritmen en hun generalisaties (cyclotomische, door kwadratische vormen geïnduceerde, en met vierkantswortels gekarakteriseerde). De reeksontwikkelingen van deze functies rond $x=0$ (of hun Mellin-transformaties) komen overeen met klassen van geneste sommen, zoals harmonische sommen, gegeneraliseerde harmonische sommen en sommen die centrale binomiaalcoëfficiënten bevatten.

Hoewel eerder werk de "$\mu$-extensie" van deze functieruimten heeft vastgesteld, identificeren de auteurs de noodzaak om de q-extensie (of q-analoog) van deze specifieke klassen functies te construeren. Deze extensie wordt gemotiveerd door fysieke toepassingen waarbij q-gedeformeerde commutatierelaties voorkomen in kwantummechanica en kwantumveldentheorie, specif waar creatie- en annihilatie-operatoren voldoen aan gemodificeerde relaties van de vorm $a_\lambda(k)a^\dagger_{\lambda'}(k') - q a^\dagger_{\lambda'}(k')a_\lambda(k) = g_{\lambda\lambda'}\delta^{(3)}(k-k')$. De paper merkt op dat q-extensies nieuwe functieruimten van hogere transcendente functies definiëren die structureel verschillend zijn van $\mu$-geëxtendeerde functies.

Methodologie
De auteurs hanteren een systematische algoritmische aanpak om q-extensies te construeren, gebaseerd op de volgende kernprincipes:

1. Reeksontwikkeling Basis: Het startpunt is de bekende gesloten vorm $f[n]$ voor de expansiecoëfficiënten van een functie $F(x) = \sum_{n=0}^\infty f[n]x^n$. De q-extensie $F(x; q)$ wordt gedefinieerd door de reeks $\sum_{n=0}^\infty f[n; q]x^n$, waarbij de coëfficiënten $f[n]$ worden vervangen door hun q-analogen $f[n; q]$.
2. q-Deformatie Regels: De constructie maakt gebruik van standaard asymmetrische q-definities:
   • q-integers: $\{n\}_q = \frac{1-q^n}{1-q}$.
   • q-afgeleiden (Jackson-afgeleide): $D_q^x f[x] = \frac{f(x) - f(qx)}{(1-q)x}$.
   • q-factorialen en q-binomialen.
   • Cruciaal is dat machten $c^n$ ($c \in \mathbb{C}$) niet q-geëxtendeerd worden, terwijl som-productstructuren dat wel worden.
3. Algoritmische Afleiding:
   • Geneste Sommen: De auteurs leiden recursie-relaties af voor de q-geëxtendeerde geneste sommen. Deze relaties zijn lineaire verschilvergelijkingen van eindige orde met polynomiale coëfficiënten in $q^n$. Ze maken gebruik van computeralgebra-packages (specifiek qFunctions, QREGuess, Sigma, en QRE2DE) om recursies te raden uit expansiecoëfficiënten en om identiteiten te verifiëren.
   • Geïtereerde Integralen: De q-extensies van geïtereerde integralen worden geconstrueerd door de som-productstructuren in de expansiecoëfficiënten te vervangen door hun q-extensies. De auteurs leiden de definiërende q-differentiaalvergelijkingen en q-shift-relaties (verschilvergelijkingen in het argument $x$) af voor deze functies.
   • Methode Naam: De auteurs noemen deze reeksontwikkelingsbenadering rond $x=0$ de "q-Frobenius methode", waarbij ze een analogie trekken met de Frobenius-methode die gebruikt wordt in standaard QFT-berekeningen.
4. Algebraïsche Structuur: De paper onderzoekt de algebraïsche eigenschappen van deze extensies, specifiek de shuffle-algebra voor geïtereerde integralen en de quasi-shuffle-algebra voor geneste sommen, en verifieert dat deze structuren behouden blijven onder q-deformatie.

Belangrijkste Bijdragen en Resultaten
De paper biedt expliciete constructies en definiërende vergelijkingen voor q-extensies over verschillende klassen van functies:

• Geneste Sommen:

  • Afleiding van q-extensies voor harmonische sommen, gegeneraliseerde harmonische sommen en sommen die centrale binomiaalcoëfficiënten bevatten.
  • Presentatie van specifieke recursie-relaties voor enkelvoudige en meervoudige sommen (bijv. $S_{2,1}(n; q)$, $S_{3,-2}(n; q)$).
  • Demonstratie dat deze sommen voldoen aan q-verschilvergelijkingen van eindige orde.

• Geïtereerde Integralen:

  • Polylogaritmen: Gesloten vorm q-extensies zijn afgeleid, uitgedrukt als q-hypergeometrische functies ($_{k+1}\phi_k$). De paper definieert q-zeta waarden $\zeta_k(q)$ als limieten $x \to 1$.
  • Nielsen Integralen: q-extensies zijn geconstrueerd, en de bijbehorende q-differentiaalvergelijkingen en q-shift-relaties zijn gepresenteerd voor gewichten tot $w=5$.
  • Harmonische Polylogaritmen (HPL's): De auteurs breiden HPL's uit over het alfabet $\{1/x, 1/(1-x), 1/(1+x)\}$. Ze bieden recursie-relaties en differentiaalvergelijkingen voor specifieke gevallen zoals $H_{-1,0,1}(x; q)$.
  • Gegeneraliseerde en Cyclotomische HPL's: Algoritmische stappen worden gedetailleerd voor gegeneraliseerde harmonische polylogaritmen (Kummer-Poincaré integralen) en cyclotomische harmonische polylogaritmen.
  • Kwadratische Vormen en Vierkantswortels: De paper behandelt de meest complexe gevallen, inclusief geïtereerde integralen geïmpliceerd door kwadratische vormen en die vierkantswortel-gevalideerde letters bevatten (welke centrale binomiaalcoëfficiënten impliceren). Ondanks de complexiteit tonen de auteurs aan dat deze ook eerste-orde factoriserende q-differentiaal- en q-verschilvergelijkingen volgen.

• Algebraïsche Relaties:

  • De paper verifieert dat de shuffle-product voor geïtereerde integralen en de quasi-shuffle-product voor geneste sommen standhouden voor de q-geëxtendeerde grootheden.
  • Expliciete voorbeelden van quasi-shuffle-relaties (bijv. voor $S_{1,-1}$ en $S_{1,-1,-2}$) worden geleverd en geverifieerd met het Sigma package.

Betekenis en Claims
De paper claimt een volledig kader te bieden voor de q-extensie van de specifieke speciale functies die voorkomen in perturbatieve QFT-berekeningen. De betekenis ligt in:

1. Volledigheid: Het dekt alle momenteel bekende klassen van geïtereerde integralen en geneste sommen die eerste-orde factoriserende differentiaal/verschilvergelijkingen volgen in single-scale QFT, en breidt deze uit naar het q-gedeformeerde geval.
2. Structureel Onderscheid: Het benadrukt dat q-extensies nieuwe functieruimten van hogere transcendente functies creëren, die fundamenteel verschillen van de $\mu$-extensies die eerder zijn bestudeerd.
3. Algoritmisch Nut: Voor complexe alfabetten waar gesloten vormen niet onmiddellijk duidelijk zijn, biedt de paper de algoritmische stappen (het genereren van recursies, het afleiden van differentiaalvergelijkingen) om de q-extensie voor individuele gevallen te verkrijgen.
4. Fysieke Relevantie: De geconstrueerde functies worden gepositioneerd om een rol te spelen in perturbatieve berekeningen met betrekking tot q-gedeformeerde commutatierelaties, zoals gevonden in gedeformeerde oscillator-algebra's, non-commutatieve ruimtetijd-benaderingen en quantumgroep-symmetrieën.

De auteurs concluderen dat hoewel de q-geëxtendeerde functies complexer zijn (hogere transcendent), ze nog steeds uniek gedefinieerd worden door hun q-recursie-relaties, q-differentiaalvergelijkingen en q-shift-relaties, wat een systematische studie en potentiële toepassing in gedeformeerde kwantumveldentheorieën mogelijk maakt.