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

Sintesi Tecnica: L'Autovalore BFKL al Next-to-Next-to-Leading Order in $\mathcal{N}=4$ SYM Planare

Enunciato del Problema
Il documento affronta il calcolo dell'autovalore a tre loop (next-to-next-to-leading order, NNLO) del kernel BFKL nella teoria di super Yang-Mills $\mathcal{N}=4$ planare. Mentre gli autovalori al leading-order (LO) e al next-to-leading-order (NLO) sono noti in forma chiusa per un arbitrario spin conformazionale $n$ e una variabile continua $\nu$, il risultato NNLO era precedentemente accessibile solo tramite valutazione numerica dell'integrando di Caron-Huot–Herranen per specifici spin o come forme chiuse ristrette a linee specifiche nel piano $(n, \nu)$ (ad esempio, $n=0$, $n=1$, o $\nu=0$). L'obiettivo è fornire un'espressione in forma chiusa per l'autovalore $\chi_2(n, \nu)$ per ogni spin conformazionale dispari $n$, espressa in termini di somme armoniche annidate di continuazione analitica e funzioni razionali.

Metodologia
Gli autori costruiscono la soluzione attraverso una procedura rigorosa e multistadio che evita il fitting e si basa su aritmetica razionale esatta e trasformate di Mellin:

1. Funzione Generatrice Master: Invece di trattare ogni spin $n$ isolatamente, gli autori riesumano la dipendenza dallo spin conformazionale dell'integrando a tre loop di Caron-Huot–Herranen in una singola funzione generatrice master $F(x; \omega)$. Questa funzione è costruita da integrali iterati su un alfabeto specifico.
2. Estrazione di Mellin: Gli integrandi per singolo spin vengono recuperati come coefficienti di Taylor della funzione master rispetto alla variabile generatrice dello spin $\omega$. Gli autori estraggono le "tavole di atomi" (atom tables) per ogni spin dispari $n$ eseguendo una trasformata di Mellin diretta dell'integrando $I_n(x)$. Ciò produce una tabella finita di "atomi" (poli razionali e somme binomiali alternate) con coefficienti razionali esatti.
3. Riduzione a Somme Armoniche: Gli atomi sono ridotti a somme armoniche annidate utilizzando un insieme di identità a una variabile. Ciò comporta:
   • Riduzioni di Torri (Tower Reductions): Conversione di somme nude in funzioni poligamma e somme armoniche.
   • Chiusure di Kernel (Kernel Closures): Riduzione di 16 specifici kernel "nested-Lerch" (somme vestite) a forme chiuse che coinvolgono somme armoniche annidate, costanti ($\zeta_k, \ln 2, \text{Li}_4(1/2)$) e funzioni razionali. Undici di queste chiusure sono provate analiticamente; cinque sono confermate numericamente ad alta precisione.
4. Analisi della Struttura dei Coefficienti: I coefficienti delle somme armoniche risultanti vengono analizzati. Si scopre che sono multipl l razionali di $1, \pi^2,$ e $\zeta^3$. Gli autori identificano che circa l'85% degli slot dei coefficienti si chiude in una forma "elementare" (funzioni razionali delle distanze a scala), mentre il restante 15% forma uno strato "residuo" governato da cinque kernel specifici.
5. Collasso Trascendentale: Lo strato residuo, che inizialmente appare come una complessa somma su una scala di argomenti traslati $z+k$, mostra di collassare su due trascendenti di profondità uno: $\psi(z+1) + \gamma_E$ e $\Phi(-1, 2, z+1)$ (una funzione trascendente di Lerch legata alla trigamma), riducendo significativamente la complessità funzionale.

Contributi Chiave e Risultati

• Forma Chiusa per Spin Dispari: Il documento presenta l'autovalore $\chi_2(n, \nu)$ per ogni spin conformazionale dispari $n$ in forma chiusa:
  $$\chi_2(n, \nu) = \frac{1}{4} [F_n(z) + F_n(\bar{z})]$$
  dove $F_n(z)$ è una combinazione finita di somme armoniche annidate di continuazione analitica valutate su una scala di argomenti traslati interi $z+k$ (da $z$ fino al punto riflesso $-\bar{z}$), funzioni razionali e costanti.
• Tavole di Atomi Esatte: Per ogni $n$ dispari $\ge 3$, gli autori forniscono uno script driver che rigenera l'esatta tavola di atomi direttamente dall'integrando di Caron-Huot–Herranen. Queste tavole sono verificate come byte-identiche ai risultati precedentemente noti per bassi spin e sono fornite per spin fino a $n=91$.
• Classificazione dei Coefficienti:
  • Slot Elementari: 40 su 47 slot di coefficienti si chiudono in forme elementari (combinazioni razionali di somme armoniche nelle distanze a scala).
  • Kernel Eccezionali: I restanti 7 slot si riducono a 5 kernel indipendenti. Uno di questi soddisfa una ricorrenza olofonica verificata (P-ricorsiva) su dati di controllo.
• Economia Trascendentale: La complessa somma a scala dei kernel residui collassa esattamente su due trascendenti di profondità uno, $\psi(z+1)$ e $\Phi(-1, 2, z+1)$, più un resto razionale. Ciò riduce significativamente la complessità funzionale.
• Ostacolo Aritmetico: Gli autori identificano una "legge del primo finito": i denominatori dei coefficienti grezzi della griglia eccezionale reclutano un nuovo fattore primo $p$ a ogni spin $n = p+2$ laddove $n-2$ è primo. Sulla base di ciò, congetturano che i dati generatori per questi coefficienti non possano essere algebrici o globalmente limitati, sebbene rimangano coerenti con l'olonomia.
• Validazione:
  • La forma chiusa riproduce gli intercept indipendenti della Quantum Spectral Curve (QSC) ($\nu=0$) per tutti gli $n$ dispari fino a 91, inclusi 26 spin "fuori campione" non utilizzati nella costruzione.
  • Il risultato coincide con il blocco $n=1$ e si annulla per $n=1, \nu=0$ come richiesto.
  • La costruzione preserva la separabilità hermitiana (separazione puramente additiva di $z$ e $\bar{z}$) per gli spin dispari.

Significato e Rivendicazioni

Il documento sostiene di realizzare l'aspettativa strutturale del "programma dell'identità di riflessione", dimostrando che l'autovalore a tre loop per un arbitrario spin conformazionale disparo risiede nella classe delle somme armoniche annidate di continuazione analitica.

• Intuizione Strutturale: Il risultato rivela esplicitamente la struttura analitica (struttura dei poli in $\nu$, peso trascendentale e separabilità) che gli spettri numerici lasciano impliciti. Conferma che l'autovalore è costruito dalla stessa classe di funzioni degli ordini inferiori, ma valutato lungo una "scala" di argomenti traslati che connettono $z$ e la sua riflessione.
• Esattezza vs. Fitting: Gli autori sottolineano che la decomposizione e i coefficienti sono derivati tramite estrazione di Mellin esatta e riduzione algebrica, non tramite fitting di dati numerici. L'unico elemento congetturale è l'identificazione della funzione generatrice master con l'integrando di Caron-Huot–Herranen per tutti gli spin (Congettura 1); tuttavia, le tavole per singolo spin utilizzate per il risultato finale sono derivate direttamente dall'integrando senza fare affidamento su questa funzione master.
• Limitazioni: Il documento limita esplicitamente i risultati in forma chiusa agli spin conformazionali dispari. Si congettura che gli spin pari siano contenuti nella stessa funzione master, ma implichino traslazioni a scala di semi-interi e contenuto ciclotomico, lasciando questo compito a lavori futuri.
• Risultati Negativi: Il lavoro riporta anche tre risultati negativi come contributi in sé:
  1. Non esiste un master razionale bivariate per lo slot razionale di ordine del polo uno (Congettura 3).
  2. La D-finitezza di basso ordine delle griglie grezze è mista (alcune ammettono ricorrenze, altre no).
  3. L'insorgenza di certi contributi di kernel è dipendente dal gauge, con solo l'insorgenza di $K_{cw3}$ a $n=19$ che è riproducibile tra i diversi gauge.

Il lavoro fornisce una descrizione completa, riproducibile ed esatta dell'autovalore BFKL NNLO per il settore a spin dispari della $\mathcal{N}=4$ SYM planare, fungendo da condizione al contorno per qualsiasi determinazione dal lato degli ampiezze e da candidato per la parte ad alto peso del corrispondente autovalore QCD.