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

Résumé Technique : La Valeur Propre BFKL au Niveau Next-to-Next-to-Leading Order dans la $\mathcal{N}=4$ SYM Planaire

Énoncé du Problème
L'article traite du calcul de la valeur propre à trois boucles (niveau next-to-next-to-leading order, NNLO) du noyau BFKL dans la théorie de la super Yang-Mills $\mathcal{N}=4$ planaire. Bien que les valeurs propres aux ordres LO (leading-order) et NLO (next-to-leading-order) soient connues sous forme fermée pour un spin conforme $n$ arbitraire et une variable continue $\nu$, le résultat NNLO n'était auparavant accessible que via l'évaluation numérique de l'intégrande de Caron-Huot–Herranen pour des spins spécifiques ou sous forme de formes fermées restreintes à des droites spécifiques dans le plan $(n, \nu)$ (par exemple, $n=0$, $n=1$, ou $\nu=0$). L'objectif est de fournir une expression en forme fermée pour la valeur propre $\chi_2(n, \nu)$ pour tout spin conforme impair $n$, exprimée en termes de sommes harmoniques imbriquées de prolongement analytique et de fonctions rationnelles.

Méthodologie
Les auteurs construisent la solution par une procédure rigoureuse à plusieurs étapes qui évite l'ajustement (fitting) et repose sur l'arithmétique rationnelle exacte et les transformées de Mellin :

1. Fonction Génératrice Maîtresse : Plutôt que de traiter chaque spin $n$ de manière isolée, les auteurs résument la dépendance du spin conforme de l'intégrande à trois boucles de Caron-Huot–Herranen dans une unique fonction génératrice maîtresse $F(x; \omega)$. Cette fonction est construite à partir d'intégrales itérées sur un alphabet spécifique.
2. Extraction de Mellin : Les intégrandes par spin sont récupérées comme les coefficients de Taylor de la fonction maîtresse par rapport à la variable génératrice de spin $\omega$. Les auteurs extraient les « tables d'atomes » pour chaque spin impair $n$ en effectuant une transformée de Mellin directe de l'intégrande $I_n(x)$. Cela produit une table finie d'« atomes » (pôles rationnels et sommes binomiales alternées) avec des coefficients rationnels exacts.
3. Réduction aux Sommes Harmoniques : Les atomes sont réduits en sommes harmoniques imbriquées à l'aide d'un ensemble d'identités à une variable. Cela implique :
   • Réductions de Tours (Tower Reductions) : Conversion des sommes brutes en fonctions polygamma et sommes harmoniques.
   • Clôtures de Noyaux (Kernel Closures) : Réduction de 16 noyaux spécifiques de type « nested-Lerch » (sommes habillées) en formes fermées impliquant des sommes harmoniques imbriquées, des constantes ($\zeta_k, \ln 2, \text{Li}_4(1/2)$) et des fonctions rationnelles. Onze de ces clôtures sont prouvées analytiquement ; cinq sont confirmées numériquement avec une haute précision.
4. Analyse de la Structure des Coefficients : Les coefficients des sommes harmoniques résultantes sont analysés. Ils s'avèrent être des multiples rationnels de $1, \pi^2,$ et $\zeta^3$. Les auteurs identifient qu'environ 85 % des créneaux de coefficients se ferment sous une forme « élémentaire » (fonctions rationnelles des distances d'échelle/ladder distances), tandis que les 15 % restants forment une couche « résiduelle » régie par cinq noyaux spécifiques.
5. Effondrement Transcendantal : La couche résiduelle, qui apparaît initialement comme une somme complexe sur une échelle de arguments décalés $z+k$, s'effondre exactement sur deux transcendantes de profondeur un de type polygamma : $\psi(z+1) + \gamma_E$ et $\Phi(-1, 2, z+1)$ (une transcendante de Lerch liée à la trigamma).

Contributions Clés et Résultats

• Forme Fermée pour les Spins Pairs : L'article présente la valeur propre $\chi_2(n, \nu)$ pour tout spin conforme impair $n$ sous une forme fermée :
  $$\chi_2(n, \nu) = \frac{1}{4} [F_n(z) + F_n(\bar{z})]$$
  où $F_n(z)$ est une combinaison finie de sommes harmoniques imbriquées de prolongement analytique évaluées sur une échelle d'arguments décalés d'entiers $z+k$ (de $z$ jusqu'au point réfléchi $-\bar{z}$), de fonctions rationnelles et de constantes.
• Tables d'Atomes Exactes : Pour chaque spin impair $n \ge 3$, les auteurs fournissent un script de pilotage qui régénère la table d'atomes exacte directement à partir de l'intégrande de Caron-Huot–Herranen. Ces tables sont vérifiées comme étant octet par octet identiques aux résultats connus pour les faibles spins et sont fournies pour des spins allant jusqu'à $n=91$.
• Classification des Coefficients :
  • Créneaux Élémentaires : 40 sur 47 créneaux de coefficients se ferment sous des formes élémentaires (combinaisons rationnelles de sommes harmoniques dans les distances d'échelle).
  • Noyaux Exceptionnels : Les 7 créneaux restants se réduisent à 5 noyaux indépendants. L'un d'eux satisfait une récurrence holonome vérifiée (P-récursive) sur des données hors échantillon.
• Économie Transcendantale : La somme d'échelle complexe des noyaux résiduels s'effondre exactement sur deux transcendantes de profondeur un, $\psi(z+1)$ et $\Phi(-1, 2, z+1)$, plus un reste rationnel. Cela réduit considérablement la complexité fonctionnelle.
• Obstruction Arithmétique : Les auteurs identifient une « loi des nombres premiers finis » : les dénominateurs des coefficients bruts de la grille exceptionnelle recrutent un nouveau facteur premier $p$ à chaque spin $n = p+2$ dès lors que $n-2$ est premier. Sur cette base, ils conjecturent que les données génératrices de ces coefficients ne peuvent être algébriques ou globalement bornées, bien qu'elles restent cohérentes avec l'holonomie.
• Validation :
  • La forme fermée reproduit les intercepts indépendants de la Courbe Spectrale Quantique (QSC) ($\nu=0$) pour tous les spins impairs jusqu'à $n=91$, incluant 26 spins « hors échantillon » non utilisés dans la construction.
  • Le résultat correspond au bloc $n=1$ connu et s'annule à $n=1, \nu=0$ comme requis.
  • La construction préserve la séparabilité hermitienne (séparation purement additive de $z$ et $\bar{z}$) pour les spins impairs.

Signification et Revendications

L'article prétend réaliser l'attente structurelle du « programme d'identité de réflexion », démontrant que la valeur propre à trois boucles pour un spin conforme impair arbitraire réside dans la classe des sommes harmoniques imbriquées de prolongement analytique.

• Insight Structurel : Le résultat révèle explicitement la structure analytique (structure des pôles en $\nu$, poids transcendantal et séparabilité) que les spectres numériques laissent implicites. Il confirme que la valeur propre est construite à partir de la même classe de fonctions que les ordres inférieurs, mais évaluée le long d'une « échelle » d'arguments décalés reliant $z$ et sa réflexion.
• Exactitude vs Ajustement : Les auteurs soulignent que la décomposition et les coefficients sont dérivés via l'extraction de Mellin exacte et la réduction algébrique, et non par ajustement de données numériques. Le seul élément conjectural est l'identification de la fonction génératrice maîtresse avec l'intégrande de Caron-Huot–Herranen pour tous les spins (Conjecture 1) ; cependant, les tables par spin utilisées pour le résultat final sont dérivées directement de l'intégrande sans dépendre de cette fonction maîtresse.
• Limitations : Le papier restreint explicitement ses résultats en forme fermée aux spins conformes impairs. Les spins pairs sont conjecturés comme étant contenus dans la même fonction maîtresse mais impliquent des décalages d'échelle à demi-entiers et un contenu cyclotomique, ce qui est laissé aux travaux futurs.
• Résultats Négatifs : Les auteurs rapportent trois résultats négatifs en tant que résultats en soi :
  1. Aucun maître rationnel bivarié n'existe pour le créneau rationnel d'ordre de pôle un (Conjecture 3).
  2. La D-finitude d'ordre bas des grilles brutes est mixte (certaines admettent des récurrences, d'autres non).
  3. L'apparition de certains apports de noyaux est dépendante de la jauge, seul l'apport de $K_{cw3}$ à $n=19$ étant reproductible à travers les jauges.

Ce travail fournit une description complète, reproductible et exacte de la valeur propre BFKL au niveau NNLO pour le secteur des spins impairs de la $\mathcal{N}=4$ SYM planaire, servant de condition aux limites pour toute détermination du côté des amplitudes et de candidat pour la partie de plus haut poids de la valeur propre QCD correspondante.