Pith. sign in

REVIEW 3 major objections 4 minor 1 cited by

The paper presents a closed form for the three-loop BFKL eigenvalue at every odd conformal spin in planar N=4 super Yang-Mills, expressed as a finite combination of nested harmonic sums, rational functions, and a short list of transcendenta

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

T0 review · deepseek-v4-flash

2026-08-01 17:30 UTC pith:DXADAOSC

load-bearing objection First closed form for odd-spin NNLO BFKL eigenvalue, with strong QSC and integrand checks, but the every-n claim rests on an unproved companion conjecture. the 3 major comments →

arxiv 2607.17608 v2 pith:DXADAOSC submitted 2026-07-20 hep-th hep-ph

The next-to-next-to-leading order BFKL eigenvalue at odd conformal spin in planar N=4 super Yang-Mills

classification hep-th hep-ph
keywords BFKLN=4 super Yang-Millsthree-loop eigenvalueconformal spinnested harmonic sumsclosed formQuantum Spectral Curvehermitian separability
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper claims to fill the last missing sector of the three-loop (next-to-next-to-leading-order) BFKL eigenvalue in planar N=4 super Yang-Mills: a closed form at every odd conformal spin n≥3. The eigenvalue is expressed as a finite combination of nested harmonic sums, rational functions of z=(|n|−1)/2+iν, and five transcendental constants, with the number of terms fixed by an explicit linear law, 39n−3. Each term is extracted exactly, in rational arithmetic, from the three-loop integrand, so the result is derived rather than fitted; it reproduces the integrand exactly through n=17 and at selected higher spins, and its ν=0 intercepts agree with independent Quantum Spectral Curve values through n=91. If correct, the formula makes explicit for the first time the pole structure in ν, the uniform transcendental weight five, and the strictly additive, product-free separability of the odd-spin eigenvalue.

Core claim

The central claim is Eq. (3): for each odd n the holomorphic half is F_n(z)=−88ζ₄S₁(z)−16ζ₂ζ₃−80ζ₅+Σ_{a∈A_n} c_a A_a(z), with |A_n|=39n−3 atoms, and the eigenvalue is χ₂(n,ν)=¼[F_n(z)+F_n(z̄)]. The atoms are rational powers 1/(z+k)^q (q=1,…,5) and binomial-alternating ladder sums over N, with the shift k running from the reflected endpoint −z̄ to z and one step beyond; each reduces through one-variable identities to nested harmonic sums at shifted arguments plus the constants {ζ₂, ζ₃, ζ₄, ζ₅, ln2, Li₄(1/2)}. All coefficients are rational combinations of 1, π², ζ₃. The paper maintains that this decomposition is a derivation, not a fit, that every term has uniform transcendental weight five, a

What carries the argument

The carrying object is the atom table A_n: for each odd n a list of 39n−3 'atoms' of two shapes — rational atoms 1/(z+k)^q and binomial-alternating atoms Σ σ_N S_v(N)/(N^p (N+z+k)^q) — assembled into the holomorphic half F_n(z) with rational coefficients. The ladder of shifts k∈[−(n−1),1] encodes the reflection z̄=n−1−z, so the conjugate-point structure is built in. The companion one-variable reduction identities turn every atom into ordinary nested harmonic sums at shifted arguments; eleven of the sixteen are proven, five verified numerically, and the whole table is generated from the three-loop integrand in rational arithmetic. This machinery is what converts the non-closed three-loop expr

Load-bearing premise

The load-bearing premise is that the atom table constructed from the three-loop integrand is complete and correct for every odd n≥3; exact rational-arithmetic verification covers n≤17 and selected spins up to 31, five of the sixteen reduction identities are only numerically confirmed, and higher-spin agreement is checked only at ν=0.

What would settle it

Take an odd spin outside the verified set, e.g. n=19 or n=25, and compare the closed formula with an independent numerical evaluation of the three-loop kernel at several non-zero values of ν; any disagreement would expose an incomplete atom tower or a faulty reduction identity. Alternatively, prove or refute the five closure identities currently verified only numerically — a failure at a larger shift or weight would break the corresponding atom reduction.

Watch this falsifier — get emailed when new claim-graph text bears on it.

If this is right

  • Every odd spin n≥3 now has an exact finite expression for the three-loop eigenvalue, with the length controlled by the atom-count law |A_n|=39n−3.
  • The full ν-dependence at each verified spin is fixed, not only the intercept: pole structure in ν and the ν=0 limits are determined in closed form, and the intercepts match independent Quantum Spectral Curve values through n=91.
  • The odd-spin eigenvalue is strictly additive (product-free) in the hermitian-separable sense, with the 1+(−1)^n anomalous term absent; this structural property is established at three loops for the first time.
  • Through the maximal-transcendentality principle, the highest-weight part of the corresponding three-loop QCD eigenvalue is fixed by this N=4 result.
  • The same master construction is conjectured to contain the even-spin eigenvalues, with half-integer ladder shifts, and boundary data for a four-loop extension exist at n=0.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • If the all-spin coefficient rules conjectured in the companion continue past n=91, the closed form is effectively a rule-based generator rather than a list, making a single fixed-length resummation in (z, z̄) plausible even though the per-spin form grows linearly.
  • The checks test the intercept (ν=0) and selected spins; the least-tested region is the full ν-profile at out-of-sample odd spins. An independent numerical evaluation of the three-loop kernel at, say, n=19 or n=25 and nonzero ν would probe completeness of the atom tower more sharply than any intercept check.
  • The strictly additive structure at odd n invites the conjecture that higher-loop odd-spin eigenvalues remain product-free, which would split the odd and even Regge-trajectory computations into simpler and harder branches respectively.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Referee Report

3 major / 4 minor

Summary. The paper claims to present, for every odd conformal spin n, a closed-form expression for the next-to-next-to-leading-order BFKL eigenvalue in planar N=4 super Yang-Mills. The holomorphic half is written in Eq. (3) as a universal weight-five contribution plus a finite sum over atoms A_a(z), with |A_n| = 39n-3, and the full eigenvalue is χ2(n,ν) = (F_n(z)+F_n(z̄))/4 in Eq. (2). The atoms are rational functions or binomial-alternating ladder sums that reduce to nested harmonic sums at integer-shifted arguments z+k. The coefficients are rational multiples of 1, π^2, and ζ_3. The atom tables are generated from the Caron-Huot-Herranen three-loop integrand; n=1 is supplied as a boundary block. Checks include exact rational-arithmetic agreement with the CH integrand through n=17 and at selected higher spins, and ν=0 intercepts matching independent QSC values through n=91. The paper explicitly notes that the all-spin master construction is a conjecture in the companion, and that five of sixteen closure identities are verified only numerically.

Significance. If the closed form is correct for all odd spins, this is a significant step: it turns a numerically known spectrum into an explicit analytic representation, exposes the weight-five structure, and demonstrates additively separable, product-free form at odd n. The paper deserves credit for shipping a self-contained evaluator, for exact rational-arithmetic comparisons, and for using the independent QSC data as a cross-check rather than as input. The atom-count law is stated as proven in the companion. The main limitation is that the all-spin statement rests on a conjecture and on partially unproved reduction identities, so the universal claim is currently stronger than the evidence.

major comments (3)
  1. [Sec. III/VI, Eq. (3)] The central claim, Eq. (3), states a closed form for every odd n, but the evidence reported here does not establish that. Section VI states that the single resummed master reproducing the CH integrand at every spin is a conjecture, verified exactly only through n=17 and at selected spins 9,11,13,15,21,31. The high-n agreement in Table I is only for the ν=0 intercept, a single point of each χ2(n,ν), so it cannot validate the full ν-dependence at unchecked odd spins. The theorem should either be proved in the companion or stated explicitly as conditional on that conjecture.
  2. [Sec. VI] The reduction of atoms to nested harmonic sums relies on sixteen one-variable closure identities, of which eleven are proven and five are confirmed only numerically. Since every atom at every spin (39n-3 atoms for each n) is reduced using these identities, a failure of a numerically checked closure at some shift or weight outside the tested range would invalidate the corresponding closed form. Numerical confirmation at finite order is not a proof; please supply proofs for the five remaining closures or list them as explicit assumptions in the statement of the main result.
  3. [Table I / Sec. VI] The caption's disclaimer that the rows n=33,51,71,91 are 'out-of-sample relative to the three-loop-matched set' and are 'unadjusted outputs of the direct per-spin Mellin extraction, not predictions of the conjectured all-spin master' considerably weakens their evidential value for the central claim. Those rows validate the extraction pipeline and the ν=0 limit, but not the all-spin completeness of the atom table or the full-ν formula. The text should state this separation more prominently and should not present these rows as tests of the master conjecture.
minor comments (4)
  1. [Abstract / Sec. VI] The abstract says 'No n-uniform form is claimed', but Sec. VI ends with 'non-uniform function is claimed'. The latter appears to be a typo and should be corrected to 'no n-uniform form is claimed'.
  2. [Sec. VI] The n=1 boundary block is described as an 'author-provided 28-atom boundary table'. Please clarify whether this is derived exactly from the CH n=1 function or is a fitted/numerical representation, and note that it plays no role in the n≥3 statement.
  3. [Eq. (8)] The extraction of χ2(n,0) by a 'mean-value average' of F_n about z=M needs a precise definition so the reader can see whether this limit is exact and how the residual floors in Table I are controlled.
  4. [Eq. (4)] The notation S_v(N), σ, p, q in Eq. (4) would benefit from a one-sentence inline definition, since the Letter otherwise refers to the companion for conventions.

Circularity Check

0 steps flagged

No significant circularity; the derivation input is the external Caron-Huot–Herranen integrand and the main independent check is the QSC intercept. Residual reliance on the authors' companion conjecture is a verification gap, not a circular reduction.

full rationale

The paper's derivation chain is not circular. The central input is the Caron-Huot–Herranen three-loop integrand, an external object, and the coefficients in Eq. (3) are said to be derived in rational arithmetic, not fitted to the QSC data used for comparison. The Quantum Spectral Curve comparison in Table I is independent, and the paper explicitly labels the high-spin rows as 'unadjusted outputs of the direct per-spin Mellin extraction at each spin, not predictions of the conjectured all-spin master,' which rules out the fitted-input-called-prediction pattern. The principal caveats are stated openly: the all-spin master is a 'conjecture in the companion,' five of sixteen closure identities are 'verified numerically' rather than proven, and the high-n checks are at nu=0 only. These are genuine verification gaps and make the 'every odd n' statement conditional, but they are not cases where the claimed output is defined in terms of the input or where a fitted parameter is renamed as a prediction. The citations to the authors' own companion and reflection-identity papers are present and somewhat load-bearing for the all-spin extrapolation, but they are not used to forbid alternatives or to smuggle in an ansatz as an external theorem. The result therefore has substantial independent content, with only minor self-citational/conjectural support for the all-spin generality; this warrants a low score, not a circularity finding.

Axiom & Free-Parameter Ledger

0 free parameters · 6 axioms · 0 invented entities

The central claim rests on two external inputs (CH integrand; QSC benchmark) and on the companion's unshown constructions (atom completeness, closures — partly proven), plus a hand-supplied n=1 boundary block. No constants are fitted: coefficients are rational multiples of standard transcendentals, and the paper explicitly states 'decomposition and every rational coefficient in it are derived rather than fitted.' The main unproven load-bearing element is the completeness of the atom tower at unchecked odd spins. The 'atoms' A_a(z) are new mathematical basis elements, not physical entities; they carry a falsifiable handle (reproducing the CH integrand and QSC values), so no graviton-style invented entities are present.

axioms (6)
  • domain assumption The Caron-Huot–Herranen three-loop integrand [12] is correct and is the source object from which the eigenvalue is extracted (Secs. I, VI).
    External input; this Letter does not re-derive the three-loop kernel.
  • domain assumption The Quantum Spectral Curve values of Alfimov–Gromov–Sizov [18] are exact for all odd n ≤ 91 (Sec. VI, Table I).
    External benchmark used as the independent cross-check for the ν=0 intercepts.
  • ad hoc to paper The companion's atom construction extracts the complete atom table from the CH integrand at every odd n≥3; verified exactly only through n=17 plus selected spins (Sec. VI).
    This is the 'single resummed master' conjecture; the per-spin claim at unchecked n depends on it.
  • ad hoc to paper The one-variable reduction identities ('closures') converting atoms to nested harmonic sums hold; eleven of sixteen are proven in the companion, five verified numerically (Sec. VI).
    Numerically verified identities are assumptions at the level of this Letter.
  • ad hoc to paper The n=1 boundary block is an author-supplied exact representation of the CH n=1 function (Sec. VI).
    Supplied input rather than generated output; only the intercept χ₂(1,0)=0 is independently checked.
  • standard math The even-branch continuation (−1)^w := +1 renders the nested harmonic sums meromorphic with poles only at the negative integers (Sec. II).
    Background function-theoretic setup, consistent with the GLMS convention [14,23].

pith-pipeline@v1.3.0-alltime-deepseek · 7343 in / 23279 out tokens · 195856 ms · 2026-08-01T17:30:37.204790+00:00 · methodology

0 comments
read the original abstract

The eigenvalue of the next-to-next-to-leading order BFKL kernel of planar N=4 super Yang-Mills is presented in closed form at odd conformal spin n, as a finite combination of nested harmonic sums, rational functions of the single variable z=(|n|-1)/2 + i nu, and transcendental constants. Each odd spin n>=3 is extracted exactly, in rational arithmetic, from the Caron-Huot-Herranen three-loop integrand; a shipped command regenerates the atom table for any such spin, with n=1 a supplied boundary block. The coefficients are rational multiples of 1, pi^2 and zeta_3; their dependence on the spin and on the position along the ladder of integer-shifted arguments is given, on the computed range in a fixed elementary basis, for forty of the forty-seven coefficient slots by harmonic sums of the two ladder distances (all-spin form conjectural), that split being a property of the basis, and for one of the remaining families by a finite-data holonomic recurrence, with an all-n rule for the rest still open. Beyond the explicit harmonic sums the coefficient- weighted ladder part collapses onto depth-one digamma and trigamma functions at integer and half-integer shifts. That a single resummed master reproduces the Caron-Huot-Herranen integrand at every spin, a conjecture in the companion, is verified by exact finite-order checks through n=17 and spin by spin at 9,11,13,15,21,31. At nu=0 the intercepts reproduce the independent Quantum Spectral Curve values at the evaluated odd spins through n=91. At each fixed odd spin the eigenvalue is strictly product-free, the additive case of the Kotikov-Lipatov hermitian-separable form; the next-to-leading anomalous term carrying 1+(-1)^n is absent at odd n. No n-uniform form is claimed. Derivations (eleven of sixteen closures proven, five verified numerically) and complete expressions are given in a companion paper.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. 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

    hep-th 2026-07 conditional novelty 8.0

    The NNLO BFKL eigenvalue of planar N=4 SYM is given in closed form at every odd conformal spin via exact Mellin extraction from the Caron-Huot–Herranen integrand, matching quantum spectral curve intercepts through n=91.

Reference graph

Works this paper leans on

29 extracted references · 22 linked inside Pith · cited by 1 Pith paper

  1. [1]

    On the Pomeranchuk Singularity in Asymptotically Free Theo- ries,

    V. S. Fadin, E. A. Kuraev and L. N. Lipatov, “On the Pomeranchuk Singularity in Asymptotically Free Theo- ries,” Phys. Lett. B60(1975) 50

  2. [2]

    The Pomeranchuk singularity in nonabelian gauge theories,

    E. A. Kuraev, L. N. Lipatov and V. S. Fadin, “The Pomeranchuk singularity in nonabelian gauge theories,” Sov. Phys. JETP45(1977) 199

  3. [3]

    The Pomeranchuk Sin- gularity in Quantum Chromodynamics,

    I. I. Balitsky and L. N. Lipatov, “The Pomeranchuk Sin- gularity in Quantum Chromodynamics,” Sov. J. Nucl. Phys.28(1978) 822

  4. [4]

    The Bare Pomeron in Quantum Chro- modynamics,

    L. N. Lipatov, “The Bare Pomeron in Quantum Chro- modynamics,” Sov. Phys. JETP63(1986) 904

  5. [5]

    Asymptotic behavior of multicolor QCD at high energies in connection with exactly solvable spin models,

    L. N. Lipatov, “Asymptotic behavior of multicolor QCD at high energies in connection with exactly solvable spin models,” JETP Lett.59(1994) 596 [arXiv:hep- th/9311037]

  6. [6]

    High-energy QCD as a completely integrable model,

    L. D. Faddeev and G. P. Korchemsky, “High-energy QCD as a completely integrable model,” Phys. Lett. B342 (1995) 311 [arXiv:hep-th/9404173]

  7. [7]

    DGLAP and BFKL equations in theN= 4 supersymmetric gauge theory,

    A. V. Kotikov and L. N. Lipatov, “DGLAP and BFKL equations in theN= 4 supersymmetric gauge theory,” Nucl. Phys. B661(2003) 19 [Erratum: Nucl. Phys. B 685(2004) 405] [arXiv:hep-ph/0208220]

  8. [8]

    BFKL pomeron in the next-to-leading approximation,

    V. S. Fadin and L. N. Lipatov, “BFKL pomeron in the next-to-leading approximation,” Phys. Lett. B429 (1998) 127 [arXiv:hep-ph/9802290]

  9. [9]

    Energy scale(s) and next- to-leading BFKL equation,

    M. Ciafaloni and G. Camici, “Energy scale(s) and next- to-leading BFKL equation,” Phys. Lett. B430(1998) 349 [arXiv:hep-ph/9803389]

  10. [10]

    NLO corrections to the BFKL equation in QCD and in supersymmetric gauge theories,

    A. V. Kotikov and L. N. Lipatov, “NLO corrections to the BFKL equation in QCD and in supersymmetric gauge theories,” Nucl. Phys. B582(2000) 19 [arXiv:hep- ph/0004008]

  11. [11]

    On the highest tran- scendentality inN= 4 SUSY,

    A. V. Kotikov and L. N. Lipatov, “On the highest tran- scendentality inN= 4 SUSY,” Nucl. Phys. B769(2007) 217 [arXiv:hep-th/0611204]

  12. [12]

    High-energy evolution to three loops,

    S. Caron-Huot and M. Herranen, “High-energy evolution to three loops,” JHEP02(2018) 058 [arXiv:1604.07417]

  13. [13]

    High-energy evolution in planar QCD to three loops: the non-conformal contribution,

    G. Brunello, S. Caron-Huot, G. Crisanti, M. Giroux and S. Smith, “High-energy evolution in planar QCD to three loops: the non-conformal contribution,” JHEP11(2025) 055 [arXiv:2508.03794]

  14. [14]

    Pomeron Eigenvalue at Three Loops inN= 4 Super- symmetric Yang–Mills Theory,

    N. Gromov, F. Levkovich-Maslyuk and G. Sizov, “Pomeron Eigenvalue at Three Loops inN= 4 Super- symmetric Yang–Mills Theory,” Phys. Rev. Lett.115 (2015) 251601 [arXiv:1507.04010]

  15. [15]

    BFKL pomeron in the next-to-next- to-leading approximation in the planarN= 4 SYM the- ory,

    V. N. Velizhanin, “BFKL pomeron in the next-to-next- to-leading approximation in the planarN= 4 SYM the- ory,” [arXiv:1508.02857]

  16. [16]

    Quantum Spectral Curve for PlanarN= 4 Super- 5 Yang–Mills Theory,

    N. Gromov, V. Kazakov, S. Leurent and D. Volin, “Quantum Spectral Curve for PlanarN= 4 Super- 5 Yang–Mills Theory,” Phys. Rev. Lett.112(2014) 011602 [arXiv:1305.1939]

  17. [17]

    QCD Pomeron from AdS/CFT Quantum Spectral Curve,

    M. Alfimov, N. Gromov and V. Kazakov, “QCD Pomeron from AdS/CFT Quantum Spectral Curve,” JHEP07 (2015) 164 [arXiv:1408.2530]

  18. [18]

    BFKL spectrum ofN= 4 SYM: non-zero conformal spin,

    M. Alfimov, N. Gromov and G. Sizov, “BFKL spectrum ofN= 4 SYM: non-zero conformal spin,” JHEP07 (2018) 181 [arXiv:1802.06908]

  19. [19]

    Long Range Asymptotic Baxter–Bethe Ansatz forN= 4 BFKL,

    S. Ekhammar, N. Gromov and M. Preti, “Long Range Asymptotic Baxter–Bethe Ansatz forN= 4 BFKL,” [arXiv:2406.18639]

  20. [20]

    Regge trajecto- ries ofN= 4 SYM. Part I. General Asymptotic Baxter– Bethe Ansatz,

    S. Ekhammar, N. Gromov and M. Preti, “Regge trajecto- ries ofN= 4 SYM. Part I. General Asymptotic Baxter– Bethe Ansatz,” JHEP02(2026) 027 [arXiv:2507.15983]

  21. [21]

    Hermitian separability and transition from singlet to adjoint BFKL equations in N= 4 super Yang–Mills Theory,

    S. Bondarenko and A. Prygarin, “Hermitian separability and transition from singlet to adjoint BFKL equations in N= 4 super Yang–Mills Theory,” [arXiv:1510.00589]

  22. [22]

    Hermitian separability of BFKL eigenvalue in Bethe–Salpeter approach,

    M. Joubat and A. Prygarin, “Hermitian separability of BFKL eigenvalue in Bethe–Salpeter approach,” Eur. Phys. J. C80(2020) 1183 [arXiv:2007.15388]

  23. [23]

    Harmonic sums, Mellin trans- forms and integrals,

    J. A. M. Vermaseren, “Harmonic sums, Mellin trans- forms and integrals,” Int. J. Mod. Phys. A14(1999) 2037 [arXiv:hep-ph/9806280]

  24. [24]

    The next-to-next-to-leading order BFKL eigenvalue at odd conformal spin in planarN= 4 super Yang–Mills: closed form, coefficient structure, and arithmetic,

    A. Prygarin and C. C. Madjuogang Sandeu, “The next-to-next-to-leading order BFKL eigenvalue at odd conformal spin in planarN= 4 super Yang–Mills: closed form, coefficient structure, and arithmetic,” [arXiv:2607.17613]

  25. [25]

    Structural Relations of Harmonic Sums and Mellin Transforms up to Weightw= 5,

    J. Bl¨ umlein, “Structural Relations of Harmonic Sums and Mellin Transforms up to Weightw= 5,” Comput. Phys. Commun.180(2009) 2218 [arXiv:0901.3106]

  26. [26]

    Reflection identities of harmonic sums up to weight three,

    A. Prygarin, “Reflection identities of harmonic sums up to weight three,” [arXiv:1808.09307]

  27. [27]

    The analytic structure of the BFKL equation and reflection identities of harmonic sums at weight five,

    M. Joubat and A. Prygarin, “The analytic structure of the BFKL equation and reflection identities of harmonic sums at weight five,” Int. J. Mod. Phys. A34(2019) 1950064 [arXiv:1903.06773]

  28. [28]

    Reflection Identities of Harmonic Sums and pole decomposition of BFKL eigenvalue,

    M. Joubat and A. Prygarin, “Reflection Identities of Harmonic Sums and pole decomposition of BFKL eigenvalue,” Int. J. Mod. Phys. A36(2021) 2150025 [arXiv:2011.08095]

  29. [29]

    NNNLLA BFKL pomeron eigenvalue in the planarN= 4 SYM theory,

    V. N. Velizhanin, “NNNLLA BFKL pomeron eigenvalue in the planarN= 4 SYM theory,” [arXiv:2106.06527]