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

Resumen Técnico: El Autovalor BFKL de Siguiente-Siguiente-Orden Líder en $\mathcal{N}=4$ SYM Planares

Planteamiento del Problema
El artículo aborda el cálculo del autovalor de tres bucles (orden siguiente-siguiente-líder, NNLO) del kernel BFKL en la teoría de super Yang–Mills $\mathcal{N}=4$ plana. Mientras que los autovalores de orden líder (LO) y de siguiente-orden líder (NLO) se conocen en forma cerrada para un espín conforme $n$ y una variable continua $\nu$ arbitrarios, el resultado NNLO había sido accesible previamente solo mediante la evaluación numérica del integrando de Caron-Huot–Herranen para espines específicos o como formas cerradas restringidas a líneas específicas en el plano $(n, \nu)$ (por ejemplo, $n=0$, $n=1$, o $\nu=0$). El objetivo es proporcionar una expresión en forma cerrada para el autovalor $\chi_2(n, \nu)$ para cualquier espín conforme impar $n$, expresada en términos de sumas armónicas anidadas de continuación analítica y funciones racionales.

Metodología
Los autores construyen la solución a través de un procedimiento riguroso de múltiples etapas que evita el ajuste de curvas (fitting) y se basa en aritmética racional exacta y transformadas de Mellin:

1. Función Generatriz Maestra: En lugar de tratar cada espín $n$ de forma aislada, los autores resumen la dependencia del espín conforme del integrando de tres bucles de Caron-Huot–Herranen en una única función generatriz maestra $F(x; \omega)$. Esta función se construye a partir de integrales iteradas sobre un alfabeto específico.
2. Extracción de Mellin: Los integrandos por espín se recuperan como coeficientes de Taylor de la función maestra con respecto a la variable generatriz del espín $\omega$. Los autores extraen las "tablas de átomos" para cada espín impar $n$ realizando una transformada de Mellin directa del integrando $I_n(x)$. Esto produce una tabla finita de "átomos" (polos racionales y sumas binomiales alternantes) con coeficientes racionales exactos.
3. Reducción a Sumas Armónicas: Los átomos se reducen a sumas armónicas anidadas utilizando un conjunto de identidades de una variable. Esto implica:
   • Reducciones de Torre: Conversión de sumas puras en funciones poligamma y sumas armónicas.
   • Cierres de Kernel: Reducción de 16 kernels "nested-Lerch" específicos (sumas vestidas) a formas cerradas que involucran sumas armónicas anidadas, constantes ($\zeta_k, \ln 2, \text{Li}_4(1/2)$) y funciones racionales. Once de estos cierres están probados analíticamente; cinco son confirmados numéricamente con alta precisión.
4. Análisis de la Estructura de Coeficientes: Se analiza la estructura de los coeficientes de las sumas armónicas resultantes. Se encuentran que son múltiplos racionales de $1, \pi^2,$ y $\zeta^3$. Los autores identifican que aproximadamente el 85% de los espacios de coeficientes se cierran en una forma "elemental" (funciones racionales de distancias de escalera), mientras que el 15% restante forma una capa "residual" gobernada por cinco kernels específicos.
5. Colapso Transcendental: La capa residual, que inicialmente aparece como una suma compleja sobre una escalera de argumentos desplazados $z+k$, se demuestra que colapsa sobre dos transcendentales de profundidad uno: $\psi(z+1) + \gamma_E$ y $\Phi(-1, 2, z+1)$ (una transcedente de Lerch relacionada con la trigama).

Contribuciones Clave y Resultados

• Forma Cerrada para Espines Impares: El artículo presenta el autovalor $\chi_2(n, \nu)$ para cualquier espín conforme impar $n$ en una forma cerrada:
  $$\chi_2(n, \nu) = \frac{1}{4} [F_n(z) + F_n(\bar{z})]$$
  donde $F_n(z)$ es una combinación finita de sumas armónicas anidadas de continuación analítica evaluadas en una escalera de argumentos de desplazamiento entero $z+k$ (desde $z$ hacia abajo hasta el punto reflejado $-\bar{z}$), funciones racionales y constantes.
• Tablas de Átomos Exactas: Para cada $n$ impar $\ge 3$, los autores proporcionan un script conductor que regenera la tabla de átomos exacta directamente desde el integrando de Caron-Huot–Herranen. Estas tablas son verificadas como idénticas byte a byte a los resultados conocidos para espines bajos y se proporcionan para espines hasta $n=91$.
• Clasificación de Coeficientes:
  • Espacios Elementales: 40 de 47 espacios de coeficientes se cierran en formas elementales (combinaciones racionales de sumas armónicas en las distancias de la escalera).
  • Kernels Excepcionales: Los 7 espacios restantes se reducen a 5 kernels independientes. Uno de ellos satisface una recurrencia holonómica verificada (P-recursiva) sobre datos de espera.
• Economía Transcendental: La compleja suma de escalera de los kernels residuales colapsa exactamente sobre dos transcendentales de profundidad uno, $\psi(z+1)$ y $\Phi(-1, 2, z+1)$, más un resto racional. Esto reduce significamente la complejidad funcional.
• Obstrucción Aritmética: Los autores identifican una "ley de primos finitos": los denominadores de los coeficientes brutos de la rejilla excepcional reclutan un nuevo factor primo $p$ en cada espín $n = p+2$ siempre que $n-2$ sea primo. Basándose en esto, conjeturan que los datos generadores para estos coeficientes no pueden ser algebraicos o globalmente acotados, aunque son consistentes con la holonomía.
• Validación:
  • La forma cerrada reproduce los interceptos de la Curva Espectral Cuántica (QSC) independientes ($\nu=0$) para todos los $n$ impares hasta 91, incluyendo 26 espines "fuera de la muestra" no utilizados en la construcción.
  • El resultado coincide con el bloque $n=1$ y se anula en $n=1, \nu=0$ como se requiere.
  • La construcción preserva la separabilidad hermítica (separación puramente aditiva de $z$ y $\bar{z}$) para espines impares.

Significado y Reivindicaciones

El artículo afirma realizar la expectativa estructural del "programa de identidad de reflexión", demostrando que el autovalor de tres bucles para un espín conforme impar arbitrario reside dentro de la clase de las sumas armónicas anidadas de continuación analítica.

• Perspectiva Estructural: El resultado revela explícitamente la estructura analítica (estructura de polos en $\nu$, peso trascendental y separabilidad) que los espectros numéricos dejan implícitos. Confirma que el autovalor está construido con la misma clase de funciones que los órdenes inferiores, pero evaluado a lo largo de una "escalera" de argumentos desplazados que conecta $z$ y su reflexión.
• Exactitud vs. Ajuste: Los autores enfatizan que la descomposición y los coeficientes se derivan mediante la extracción de Mellin exacta y la reducción algebraica, no mediante el ajuste de datos numéricos. El único elemento conjetural es la identificación de la función generatriz maestra con el integrando de Caron-Huot–Herranen para todos los espines (Conjetura 1); sin embargo, las tablas por espín utilizadas para el resultado final se derivan directamente del integrando sin depender de dicha función maestra.
• Limitaciones: El artículo restringe explícitamente sus resultados de forma cerrada a espines conformes impares. Se conjetura que los espines pares están contenidos en la misma función maestra, pero involucran desplazos de escalera de medio entero y contenido ciclotómico, lo cual se deja para trabajos futuros.
• Resultados Negativos: El trabajo reporta tres hallazgos negativos como resultados en sí mismos:
  1. No existe un maestro racional bivariate para el espacio racional de orden de polo uno (Conjetura 3).
  2. La D-finitud de bajo orden de las rejillas brutas es mixta (algunas admiten recurrencias, otras no).
  3. El inicio de ciertas contribuciones de kernel es dependiente del gauge, siendo solo el inicio de $K_{cw3}$ en $n=19$ reproducible a través de diferentes gauges.

El trabajo proporciona una descripción completa, reproducible y exacta del autovalor BFKL de NNLO para el sector de espín impar en la teoría $\mathcal{N}=4$ SYM plana, sirviendo como condición de contorno para cualquier determinación del lado de las amplitudes y como candidato para la parte de mayor peso del correspondiente autovalor de QCD.