The next-to-next-to-leading order BFKL eigenvalue at odd conformal spin in planar N=4 super Yang-Mills: closed form, coefficient structure, and arithmetic

Technische Samenvatting: De Next-to-Next-to-Leading Order BFKL-eigenwaarde in Planair $\mathcal{N}=4$ SYM

Probleemstelling
Het artikel behandelt de berekening van de drie-lus (next-to-next-to-leading order, NNLO) eigenwaarde van de BFKL-kernel in de planaire $\mathcal{N}=4$ super Yang–Mills theorie. Terwijl de leading-order (LO) en next-to-leading-order (NLO) eigenwaarden in gesloten vorm bekend zijn voor een willekeurige conformale spin $n$ en continue variabele $\nu$, was de NNLO-resultaat voorheen alleen toegankelijk via numerieke evaluatie van de Caron-Huot–Herranen-integraand voor specifieke spins of als gesloten vormen beperkt tot specifieke lijnen in het $(n, \nu)$-vlak (bijv. $n=0$, $n=1$, of $\nu=0$). Het doel is om een gesloten vorm-expressie te bieden voor de eigenwaarde $\chi_2(n, \nu)$ bij een willekeurige oneven conformale spin $n$, uitgedrukt in termen van analytisch gecontinueerde geneste harmonische sommen en rationale functies.

Methodologie
De auteurs construeren de oplossing via een rigoureus, meerfasig proces dat geen fitting gebruikt en vertrouwt op exacte rationale rekenkunde en Mellin-transformaties:

1. Master Genererende Functie: In plaats van elke spin $n$ afzonderlijk te behandelen, resumeren de auteurs de conformale spin-afhankelijkheid van de Caron-Huot–Herranen drie-lus integraand in een enkele master genererende functie $F(x; \omega)$. Deze functie is geconstrueerd uit geïtereerde integralen over een specifieke alfabet.
2. Mellin Extractie: De per-spin integraanden worden teruggewonnen als Taylor-coëfficiënten van de master functie met betrekking tot de spin-genererende variabele $\omega$. De auteurs extraheren de "atom tables" voor elke oneven spin $n$ door een directe Mellin-transformatie van de integraand $I_n(x)$ uit te voeren. Dit levert een eindige tabel van "atomen" (rationale polen en binomiale-alternerende sommen) met exacte rationale coëfficiënten.
3. Reductie naar Harmonische Sommen: De atomen worden gereduceerd tot geneste harmonische sommen met behulp van een set variabelen-één-identiteiten. Dit omvat:
   • Tower Reducties: Het converteren van kale sommen naar polygamma-functies en harmonische sommen.
   • Kernel Closures: Het reduceren van 16 specifieke "nested-Lerch" kernels (geklede sommen) naar gesloten vormen met behulp van geneste harmonische sommen, constanten ($\zeta_k, \ln 2, \text{Li}_4(1/2)$) en rationale functies. Elf van deze closures zijn analytisch bewezen; vijf zijn numeriek bevestigd met hoge precisie.
4. Coëfficiënt Structuur Analyse: De coëfficiënten van de resulterende harmonische sommen worden geanalyseerd. Er is vastgesteld dat zij rationale veelvouden zijn van $1, \pi^2,$ en $\zeta^3$. De auteurs identificeren dat ongeveer 85% van de coëfficiënt-slots sluit in een "elementaire" vorm (rationale functies van ladder-afstanden), terwijl de resterende 15% een "residuele" laag vormt die wordt beheerst door vijf specifieke kernels.
5. Transcendentale Collaps: De residuele laag, die aanvankelijk verschijnt als een complexe som over een ladder van verschoven argumenten $z+k$, blijkt te collapsen naar twee depth-one polygamma transcendentia: $\psi(z+1) + \gamma_E$ en $\Phi(-1, 2, z+1)$ (een Lerch-transcendentaal gerelateerd aan de trigamma-functie).

Belangrijkste Bijdragen en Resultaten

• Gesloten Vorm voor Oneven Spins: Het artikel presenteert de eigenwaarde $\chi_2(n, \nu)$ voor elke oneven conformale spin $n$ in een gesloten vorm:
  $$\chi_2(n, \nu) = \frac{1}{4} [F_n(z) + F_n(\bar{z})]$$
  waarbij $F_n(z)$ een eindige combinatie is van analytisch gecontinueerde geneste harmonische sommen geëvalueerd op een ladder van integer-verschoven argumenten $z+k$ (van $z$ naar beneden naar het gereflecteerde punt $-\bar{z}$), rationale functies en constanten.
• Exacte Atom Tables: Voor elke oneven $n \ge 3$ leveren de auteurs een driver-script dat de exacte atom table direct uit de Caron-Huot–Herranen integraand regenereert. Deze tabellen zijn geverifieerd als byte-identiek aan eerder bekende resultaten voor lage spins en worden geleverd voor spins tot $n=91$.
• Coëfficiënt Classificatie:
  • Elementaire Slots: 40 van de 47 coëfficiënt-slots sluiten in elementaire vormen (rationale combinaties van harmonische sommen in de ladder-afstanden).
  • Uitzonderlijke Kernels: De resterende 7 slots reduceren tot 5 onafhankelijke kernels. Eén hiervan voldoet aan een geverifieerde holonome recursie (P-recursief) op holdout-data.
• Transcendentale Economie: De complexe ladder-som van de residuele kernels collapst exact naar twee depth-one transcendentia, $\psi(z+1)$ en $\Phi(-1, 2, z+1)$, plus een rationaal remainder. Dit reduceert de functionele complexiteit aanzienlijk.
• Arithmetische Obstruction: De auteurs identificeren een "eindige priemwet": de noemers van de ruwe exceptional-grid coëfficiënten rekruteren een nieuwe priemfactor $p$ bij elke spin $n = p+2$ wanneer $n-2$ priem is. Op basis hiervan conjectureren zij dat de genererende data voor deze coëfficiënten niet algebraïsch of globaal begrensd kan zijn, hoewel ze wel consistent blijven met holonomie.
• Validatie:
  • De gesloten vorm reproduceert onafhankelijke Quantum Spectral Curve (QSC) intercepts ($\nu=0$) voor alle oneven $n$ tot 91, inclusclusief 26 "out-of-sample" spins die niet gebruikt zijn in de constructie.
  • De constructie komt overeen met de bekende $n=1$ block en verdwijnt bij $n=1, \nu=0$ zoals vereist.
  • De constructie behoudt hermitische scheidbaarheid (zuiver additieve separatie van $z$ en $\bar{z}$) voor oneven spins.

Betekenis en Claims

Het artikel claimt de structurele verwachting van het "reflection-identity program" te hebben gerealiseerd, door aan te tonen dat de drie-lus eigenwaarde bij een willekeurige oneven conformale spin zich binnen de klasse van analytisch gecontinueerde geneste harmonische sommen bevindt.

• Structureel Inzicht: Het resultaat onthult expliciet de analytische structuur (poolstructuur in $\nu$, transcendentieel gewicht, en scheidbaarheid) die numerieke spectra impliciet laat. Het bevestigt dat de eigenwaarde is opgebouwd uit dezelfde functieklasse als lagere orden, maar geëvalueerd langs een "ladder" van verschoven argumenten die $z$ en zijn reflectie verbindt.
• Exactheid vs. Fitting: De auteurs benadrukken dat de decompositie en coëfficiënten zijn afgeleid via exacte Mellin-extractie en algebraïsche reductie, en niet zijn gefit aan numerieke data. Het enige conjecturale element is de identificatie van de master genererende functie met de Caron-Huot–Herranen integraand voor alle spins (Conjectuur 1); echter, de per-spin tabellen die voor het uiteindelijke resultaat worden gebruikt, zijn direct uit de integraand afgeleid zonder te vertrouwen op deze master functie.
• Beperkingen: Het artikel beperkt de gesloten vorm-resultaten expliciet tot oneven conformale spins. Even spins worden geacht in dezelfde master functie te zitten, maar betre involve half-integer ladder-shifts en cyclotomische inhoud, wat aan toekomstig werk wordt overgelaten.
• Negatieve Resultaten: De auteurs rapporteren drie negatieve bevindingen als resultaten op zich:
  1. Geen bivariate rationale master bestaat voor de pole-order-one rationale slot (Conjectuur 3).
  2. De low-order D-finiteness van de ruwe grids is gemengd (sommigen staan recursies toe, anderen niet).
  3. Het ontstaan van bepaalde kernel-bijdragen is gauge-afhankelijk, waarbij alleen de $K_{cw3}$ onset bij $n=19$ reproduceerbaar is over verschillende gauges.

Het werk biedt een volledige, reproduceerbare en exacte beschrijving van de NNLO BFKL-eigenwaarde voor de oneven-spin sector van planaire $\mathcal{N}=4$ SYM, dienend als een randvoorwaarde voor elke amplitude-zijde determinatie en een kandidaat voor het hoogste-gewicht deel van de corresponderende QCD-eigenwaarde.