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

Resumo Técnico: O Autovalor BFKL de Próximo-Próximo-à-Ordem Líder em $\mathcal{N}=4$ SYM Planar

Enunciado do Problema
O artigo aborda o cálculo do autovalor de três loops (ordem próximo-próximo-à-líder, NNLO) do núcleo BFKL na teoria de super Yang–Mills $\mathcal{N}=4$ planar. Embora os autovalores de ordem líder (LO) e de ordem próximo-líder (NLO) sejam conhecidos em forma fechada para qualquer spin conformal $n$ e variável contínua $\nu$, o resultado NNLO era anteriormente acessível apenas via avaliação numérica do integrando de Caron-Huot–Herranen para spins específicos ou como formas fechadas restritas a linhas específicas no plano $(n, \nu)$ (por exemplo, $n=0$, $n=1$, ou $\nu=0$). O objetivo é fornecer uma expressão em forma fechada para o autovalor $\chi_2(n, \nu)$ para qualquer spin conformal ímpar $n$, expressa em termos de somas harmônicas aninhadas de continuidade analítica e funções racionais.

Metodologia
Os autores constroem a solução através de um procedimento rigoroso, de múltiplos estágios, que evita o ajuste (fitting) e baseia-se em aritmética racional exata e transformadas de Mellin:

1. Função Geradora Mestra: Em vez de tratar cada spin $n$ isoladamente, os autores resumem a dependência do spin conformal do integrando de três loops de Caron-Huot–Herranen em uma única função geradora mestra $F(x; \omega)$. Esta função é construída a partir de integrais iteradas sobre um alfabeto específico.
2. Extração de Mellin: Os integrandos por spin são recuperados como coeficientes de Taylor da função mestra em relação à variável geradora de spin $\omega$. Os autores extraem as "tabelas de átomos" para cada spin ímpar $n$ realizando uma transformada de Mellin direta do integrando $I_n(x)$. Isso produz uma tabela finita de "átomos" (polos racionais e somas binomiais-alternadas) com coeficientes racionais exatos.
3. Redução para Somas Harmônicas: Os átomos são reduzidos a somas harmônicas aninhadas usando um conjunto de identidades de uma variável. Isso envolve:
   • Reduções de Torre (Tower Reductions): Converter somas puras em funções poligamma e somas harmônicas.
   • Fechamentos de Núcleo (Kernel Closures): Reduzir 16 núcleos "nested-Lerch" específicos (somas vestidas) para formas fechadas envolvendo somas harmônicas aninhadas, constantes ($\zeta_k, \ln 2, \text{Li}_4(1/2)$) e funções racionais. Onze desses fechamentos são provados analiticamente; cinco são confirmados numericamente com alta precisão.
4. Análise da Estrutura de Coeficientes: Os coeficientes das somas harmônicas resultantes são analisados. Eles são encontrados como múltiplos racionais de $1, \pi^2,$ e $\zeta^3$. Os autores identificam que aproximadamente 85% dos slots de coeficientes fecham em uma forma "elementar" (funções racionais de distâncias de escada/ladder distances), enquanto os 15% restantes formam uma camada "residual" governada por cinco núcleos específicos.
5. Colapso Transcendental: A camada residual, que inicialmente aparece como uma soma complexa sobre uma escada de argumentos deslocados $z+k$, mostra-se colapsando sobre duas transcendentais de profundidade um da função poligamma: $\psi(z+1) + \gamma_E$ e $\Phi(-1, 2, z+1)$ (uma transcendental de Lerch relacionada à função trigama).

Principais Contribuições e Resultados

• Forma Fechada para Spins Ímpares: O artigo apresenta o autovalor $\chi_2(n, \nu)$ para qualquer spin conformal ímpar $n$ em forma fechada:
  $$\chi_2(n, \nu) = \frac{1}{4} [F_n(z) + F_n(\bar{z})]$$
  onde $F_n(z)$ é uma combinação finita de somas harmônicas aninhadas de continuidade analítica avaliadas em uma escada de argumentos inteiros deslocados $z+k$ (de $z$ até o ponto refletido $-\bar{z}$), funções racionais e constantes.
• Tabelas de Átomos Exatas: Para cada spin ímpar $n \ge 3$, os autores fornecem um script de controle que regenera a tabela de átomos exata diretamente do integrando de Caron-Huot–Herranen. Estas tabelas são verificadas como sendo byte-idênticas aos resultados conhecidos para baixos spins e são fornecidas para spins até $n=91$.
• Classificação de Coeficientes:
  • Slots Elementares: 40 de 47 slots de coeficientes fecham em formas elementares (combinações racionais de somas harmônicas nas distâncias de escada).
  • Núcleos Excepcionais: Os 7 slots restantes reduzem-se a 5 núcleos independentes. Um deles satisfaz uma recorrência holonômica verificada (P-recursiva) em dados de teste.
• Economia Transcendental: A soma de escada complexa dos núcleos residuais colapsa exatamente sobre duas transcendentais de profundidade um, $\psi(z+1)$ e $\Phi(-1, 2, z+1)$, mais um remanescente racional. Isso reduz significamente a complexidade funcional.
• Obstrução Aritmética: Os autores identificam uma "lei de números primos finitos": os denominadores dos coeficientes brutos da grade excepcional recrutam um novo fator primo $p$ a cada spin $n = p+2$ sempre que $n-2$ é primo. Com base nisso, eles conjecturam que os dados geradores para esses coeficientes não podem ser algébricos ou globalmente limitados, embora permaneçam consistentes com a holonomia.
• Validação:
  • A forma fechada reproduz interceptos independentes da Curva Espectral Quântica (QSC) ($\nu=0$) para todos os ímpares $n$ até 91, incluindo 26 spins "fora da amostra" não usados na construção.
  • O resultado coincide com o bloco $n=1$ e desaparece em $n=1, \nu=0$ como exigido.
  • A construção preserva a separabilidade hermitiana (separação puramente aditiva de $z$ e $\bar{z}$) para spins ímpares.

Significado e Alegações

O artigo afirma realizar a expectativa estrutural do "programa de identidade de reflexão", demonstrando que o autovalor de três loops para qualquer spin conformal ímpar reside dentro da classe das somas harmônicas aninhadas de continuidade analítica.

• Insight Estrutural: O resultado revela explicitamente a estrutura analítica (estrutura de polos em $\nu$, peso transcendental e separabilidade) que os espectros numéricos deixam implícitos. Confirma que o autovalor é construído a partir da mesma classe de funções das ordens inferiores, mas avaliado ao longo de uma "escada" de argumentos deslocados conectando $z$ e sua reflexão.
• Exatidão vs. Ajuste (Fitting): Os autores enfatizam que a decomposição e os coeficientes são derivados via extração de Mellin exata e redução algébrica, não ajustados a dados numéricos. O único elemento conjectural é a identificação da função geradora mestra com o integrando de Caron-Huot–Herranen para todos os spins (Conjectura 1); no entanto, as tabelas por spin usadas para o resultado final são derivadas diretamente do integrando sem depender desta função mestra.
• Limitações: O artigo restringe explicitamente seus resultados em forma fechada a spins conformais ímpares. Conjectura-se que os spins pares estejam contidos na mesma função mestra, mas envolvem deslocamentos de escada de meio inteiro e conteúdo ciclotômico, o que é deixado para trabalhos futuros.
• Resultados Negativos: O trabalho reporta três achados negativos como resultados próprios:
  1. Não existe um mestre racional bivariado para o slot racional de ordem de polo um (Conjectura 3).
  2. A D-finitude de baixa ordem das grades brutas é mista (algumas admitem recorrências, outras não).
  3. O início de certas contribuições de núcleo é dependente de calibre (gauge), sendo que apenas o início de $K_{cw3}$ em $n=19$ é reproduzível entre diferentes calibres.

O trabalho fornece uma descrição completa, reproduzível e exata do autovalor BFKL de NNLO para o setor de spin ímpar em $\mathcal{N}=4$ SYM planar, servindo como uma condição de contorno para qualquer determinação do lado da amplitude e um candidato para a parte de maior peso do correspondente autovalor de QCD.