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

Technisches Resümee: Der Eigenwert der NNLO-BFKL in planarer $\mathcal{N}=4$ SYM

Problemstellung
Die Arbeit befasst sich mit der Berechnung des Eigenwerts des BFKL-Kernels auf der Stufe der nächsten-nächsten-leitenden Ordnung (NNLO) in der planaren $\mathcal{N}=4$ Super-Yang-Mills-Theorie. Während die Eigenwerte der führenden Ordnung (LO) und der nächsten Ordnung (NLO) in geschlossener Form für beliebigen konformen Spin $n$ und die kontinuierliche Variable $\nu$ bekannt sind, war das NNLO-Ergebnis bisher nur über die numerische Auswertung des Caron-Huot–Herranen-Integranden für spezifische Spins oder als geschlossene Formen, die auf spezifische Linien in der $(n, \nu)$-Ebene beschränkt sind (z. B. $n=0$, $n=1$ oder $\nu=0$), zugänglich. Ziel ist es, einen geschlossenen Ausdruck für den Eigenwert $\chi_2(n, \nu)$ bei beliebigem ungeradem konformen Spin $n$ bereitzustellen, ausgedrückt durch analytisch fortgesetzte geschachtelte harmonische Summen und rationale Funktionen.

Methodik
Die Autoren konstruieren die Lösung durch ein rigoroses, mehrstufiges Verfahren, das auf exakter rationaler Arithmetik und Mellin-Transformationen basiert und auf Fitting verzichtet:

1. Master-Generierende Funktion: Anstatt jeden Spin $n$ isoliert zu behanden, resumieren die Autoren die Abhängigkeit des konformen Spins im Caron-Huot–Herranen-Drei-Schleifen-Integranden zu einer einzigen Master-Generierenden Funktion $F(x; \omega)$. Diese Funktion wird aus iterierten Integralen über ein spezifisches Alphabet konstruiert.
2. Mellin-Extraktion: Die pro-Spin-Integranden werden als Taylor-Koeffizienten der Master-Funktion bezüglich der Spin-generierenden Variable $\omega$ zurückgewonnen. Die Autoren extrahieren die „Atom-Tabellen“ für jeden ungeraden Spin $n$, indem sie eine direkte Mellin-Transformation des Integranden $I_n(x)$ durchführen. Dies liefert eine endliche Tabelle von „Atomen“ (rationale Pole und binomial-alternierende Summen) mit exakten rationalen Koeffizienten.
3. Reduktion auf harmonische Summen: Die Atome werden unter Verwendung eines Satzes von Ein-Variablen-Identitäten auf geschachtelte harmonische Summen reduziert. Dies umfasst:
   • Tower-Reduktionen: Umwandlung nackter Summen in Polygamma-Funktionen und harmonische Summen.
   • Kernel-Abschlüsse: Reduktion von 16 spezifischen „Nested-Lerch“-Kerneln (gekleidete Summen) auf geschlossene Formen, die geschachtelte harmonische Summen, Konstanten ($\zeta_k, \ln 2, \text{Li}_4(1/2)$) und rationale Funktionen beinhalten. Elf dieser Abschlüsse sind analytisch bewiesen; fünf wurden numerisch mit hoher Präzision bestätigt.
4. Analyse der Koeffizientenstruktur: Die Koeffizienten der resultierenden harmonischen Summen werden analysiert. Es zeigt sich, dass sie rationale Vielfache von $1, \pi^2$ und $\zeta^3$ sind. Die Autoren identifizieren, dass etwa 85 % der Koeffizienten-Slots in einer „elementaren“ Form schließen (rationale Funktionen von Leiter-Distanzen), während die verbleibenden 15 % eine „Residualschicht“ bilden, die von fünf spezifischen Kerneln gesteuert wird.
5. Transzendentale Kollaps: Die Residualschicht, die anfangs als komplexe Summe über eine Leiter verschobener Argumente $z+k$ erscheint, kollabiert nachweislich auf zwei Transzendentale der Tiefe eins: $\psi(z+1) + \gamma_E$ und $\Phi(-1, 2, z+1)$ (eine Lerch-Transzendent-Funktion, die mit der Trigamma-Funktion verwandt ist).

Wesentliche Beiträge und Ergebnisse

• Geschlossene Form für ungerade Spins: Das Papier präsentiert den Eigenwert $\chi_2(n, \nu)$ für jeden ungeraden konformen Spin $n$ in einer geschlossenen Form:
  $$\chi_2(n, \nu) = \frac{1}{4} [F_n(z) + F_n(\bar{z})]$$
  wobei $F_n(z)$ eine endliche Kombination aus analytisch fortgesetzten geschachtelten harmonischen Summen ist, ausgewertet auf einer Leiter von ganzzahligen verschobenen Argumenten $z+k$ (von $z$ hinunter zum reflektierten Punkt $-\bar{z}$), rationalen Funktionen und Konstanten.
• Exakte Atom-Tabellen: Für jeden ungeraden $n \ge 3$ stellen die Autoren ein Driver-Skript bereit, das die exakte Atom-Tabelle direkt aus dem Caron-Huot–Herranen-Integranden regeneriert. Diese Tabellen wurden als byte-identisch mit zuvor bekannten Ergebnissen für niedrige Spins verifiziert und werden für Spins bis zu $n=91$ bereitgestellt.
• Klassifizierung der Koeffizienten:
  • Elementare Slots: 40 von 47 Koeffizienten-Slots schließen in elementaren Formen (rationale Kombinationen von harmonischen Summen in den Leiter-Distanzen).
  • Ausnahmefunktionen (Kernels): Die verbleibenden 7 Slots reduzieren sich auf 5 unabhängige Kernel. Einer dieser Kernel erfüllt eine verifizierte holonome Rekursion (P-rekursiv) auf Holdout-Daten.
• Transzendentale Ökonomie: Die komplexe Leiter-Summe der Residual-Kernel kollabiert exakt auf zwei Transzendentale der Tiefe eins, $\psi(z+1)$ und $\Phi(-1, 2, z+1)$, plus einen rationalen Rest. Dies reduziert die funktionale Komplexität signifikant.
• Arithmetische Obstruktion: Die Autoren identifizieren ein „endliches Primzahlgesetz“: Die Nenner der rohen Ausnahme-Gitter-Koeffizienten rekrutieren bei jedem Spin $n = p+2$ einen neuen Primfaktor $p$, wann immer $n-2$ eine Primzahl ist. Basierend darauf vermuten sie, dass die generierenden Daten für diese Koeffizienten nicht algebraisch oder global beschränkt sein können, wenngleich sie konsistent mit der Holonomie bleiben.
• Validierung:
  • Die geschlossene Form reproduziert unabhängige Quantum Spectral Curve (QSC) Intercepts ($\nu=0$) für alle ungeraden $n$ bis 91, einschließlich 26 „Out-of-Sample“-Spins, die nicht für die Konstruktion verwendet wurden.
  • Das Ergebnis stimmt mit dem bekannten $n=1$ Block überein und verschwindet bei $n=1, \nu=0$, wie gefordert.
  • Die Konstruktion bewahrt die hermitesche Separabilität (rein additive Separation von $z$ und $\bar{z}$) für ungerade Spins.

Bedeutung und Behauptungen

Das Papier behauptet, die strukturelle Erwartung des „Reflection-Identity-Programms“ realisiert zu haben, indem es zeigt, dass der Drei-Schleifen-Eigenwert für beliebigen ungeraden konformen Spin innerhalb der Klasse der analytisch fortgesetzten geschachtelten harmonischen Summen liegt.

• Strukturelle Einsicht: Das Ergebnis offenbart explizit die analytische Struktur (Polstruktur in $\nu$, transzendentales Gewicht, Separabilität), die numerische Spektren implizit lassen. Es bestätigt, dass der Eigenwert aus derselben Funktionsklasse aufgebaut ist wie die Ordnungen niedrigerer Stufe, jedoch entlang einer „Leiter“ verschobener Argumente ausgewertet wird, die $z$ und dessen Spiegelung verbindet.
• Exaktheit vs. Fitting: Die Autoren betonen, dass die Zerlegung und die Koeffizienten über exakte Mellin-Extraktion und algebraische Reduktion abgeleitet wurden und nicht durch das Anpassen an numerische Daten. Das einzige konjekturale Element ist die Identifizierung der Master-Generierenden Funktion mit dem Caron-Huot–Herranen-Integranden für alle Spins (Konjektur 1); jedoch werden die für das Endergebnis verwendeten pro-Spin-Tabellen direkt aus dem Integranden abgeleitet, ohne sich auf diese Master-Funktion zu verlassen.
• Einschränkungen: Das Papier beschränkt seine geschlossenen Ergebnisse explizit auf ungerade konforme Spins. Gerade Spins werden vermutet, in derselben Master-Funktion enthalten zu sein, involvieren jedoch Halbe-Ganzzahl-Leiter-Verschiebungen und zyklotomische Inhalte, was der zukünftigen Arbeit vorbehalten bleibt.
• Negative Ergebnisse: Die Arbeit berichtet drei negative Befunde als eigenständige Ergebnisse:
  1. Keine bivariate rationale Master-Funktion existiert für den Pol-Ordnung-eins-rationalen Slot (Konjektur 3).
  2. Die D-Finitheit der rohen Gitter der niedrigen Ordnung ist gemischt (einige erlauben Rekursionen, andere nicht).
  3. Der Beginn bestimmter Kernel-Beiträge ist gauge-abhängig, wobei nur der $K_{cw3}$-Beginn bei $n=19$ über verschiedene Gauges hinweg reproduzierbar ist.

Die Arbeit liefert eine vollständige, reproduzierbare und exakte Beschreibung des NNLO-BFKL-Eigenwerts für den ungeraden Spin-Sektor der planaren $\mathcal{N}=4$ SYM und dient als Randbedingung für jede amplitudenseitige Bestimmung sowie als Kandidat für den höchstgewichtigen Teil des entsprechenden QCD-Eigenwerts.