REVIEW 3 major objections 5 minor 35 references
Three-Loop Five-Point CK-Dual Amplitudes and UV Structure in N=4 SYM and N=8 SUGRA
T0 review · 3 major / 5 minor · reviewed 2026-08-07 · deepseek-v4-flash
Pith's one-line read A manifestly color-kinematics-dual integrand exists for the three-loop five-point amplitudes of N=4 super-Yang-Mills, and its double copy yields the corresponding N=8 supergravity integrand.
desk verdict A genuine first construction with a real completeness caveat; referee it, but ask for the D-dimensional lift to be stated far more carefully. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The engine is a master-numerator ansatz. Two planar topologies act as master graphs; imposing dual Jacobi relations $N_s=N_t+N_u$ on every four-point subgraph generates all 42 numerators from these two masters. The master numerators are expanded in the five-point supersymmetric prefactors $\beta_{12345}$ and $\gamma_{ij}$, built from spinor brackets and supermomentum delta functions, multiplied by Mandelstam invariants and loop-momentum contractions; after quotienting momentum-weighted identities there are 772 parameters, which S5 symmetry reduces to 35 and the first of 13 four-dimensional generalized-unitarity cuts reduces to five, the remaining cuts and Jacobi relations then being automatic and the leftover parameters canceling under integrand reduction. An independent S3 x S2 construction gives the same amplitude. For the ultraviolet analysis, setting external momenta to zero reduces the integrands to two three-loop vacuum master integrals whose $1/\epsilon$ poles are known, and the external-state lift is implemented by replacing $\gamma_{ij}$ with $\gamma^D_{ij}$, defined through $D$-dimensional tree amplitudes and the five-point Gram determinant.
What would settle it
Compute the three-loop five-point $\mathcal{N}=8$ supergravity UV pole in $D=6$ with a fully $D$-dimensional method, for instance a pure-spinor-style construction with all external states kept in $D$ dimensions, and compare it with both the $\gamma^D$-lift of Eq. (8) and the closed-string-inspired formula (9). If the fully $D$-dimensional result matches Eq. (9) but not the lift, the evanescent mismatch of Eq. (10) is real and the CK-dual representation fails for generic external states; if it matches the lift instead, the string comparison rather than the representation is what breaks down.
Extended reading notes
Core claim
The paper's central claim is that the complete three-loop five-point $\mathcal{N}=4$ SYM amplitude admits a manifestly CK-dual integrand: 42 trivalent graph topologies, with numerators generated from two master topologies by dual Jacobi relations, at most quadratic in loop momenta, and fixed uniquely up to generalized-gauge freedom. Double copy of these numerators yields the $\mathcal{N}=8$ supergravity integrand. At $D_c=6$, the SYM ultraviolet pole contains no double-trace term, has color dependence $N_c^3+36\zeta_3 N_c$, and matches the two-loop five-point single-trace structure, while the SUGRA pole is the expression in Eq. (8), agreeing with the closed-string-inspired prediction for four-dimensional external states. Replacing the four-dimensional prefactors $\gamma_{ij}$ by $D$-dimensional tree-level expressions $\gamma^D_{ij}$ reproduces the open-string prediction for the SYM pole at generic kinematics, but for gravity the same replacement differs from the string-inspired result by the evanescent combination $E$ that vanishes in four dimensions. The paper therefore concludes that the four-dimensional representation, although complete as a four-dimensional amplitude, does not by itself determine the full integrand of the higher-dimensional theory.
Load-bearing premise
The load-bearing premise is that the integrand fixed by four-dimensional generalized-unitarity cuts and symmetry, up to terms that cancel when integrated, already contains all loop-momentum information needed for any spacetime dimension, and that the same expression describes external particles living in $D$ dimensions once the four-dimensional prefactors are replaced by $D$-dimensional tree-level prefactors.
Editorial extensions
If this is right
- The explicit full-color integrand and its dual-Jacobi-satisfying numerators are provided in the ancillary files, giving a compact representation of all nonplanar information at three loops and five points.
- Because only one copy needs to satisfy color-kinematics duality, pairing these numerators with a valid cubic-graph representation of a less-supersymmetric gauge theory yields gravity integrands with fewer than eight supercharges.
- The five-point SYM ultraviolet pole fixes the five-field matrix element of the counterterm operator $O_{ct}$, which also reproduces the four-point divergence and is on-shell equivalent to the $\alpha'^3$ effective action.
- With generic $D$-dimensional external states, the SYM pole computed with the $\gamma^D$ replacement reproduces the open-string prediction, while the corresponding SUGRA pole differs from the closed-string-inspired result by an evanescent term, so four-dimensional data alone do not determine the $D$-dimensional gravity integrand.
Reading between the lines
- A natural extrapolation is that any successful $D$-dimensional completion must include transverse and parity-odd pieces invisible to the four-dimensional ansatz, which is exactly the kind of data a pure-spinor-style construction would provide.
- The pattern of the evanescent mismatch --- a constant at one loop, $\sum s^2$ at two loops, $\sum s^3$ at three loops --- hints at a uniform iterative formula for the lift failure that the four-loop five-point amplitude could test.
- If the two-term operator $O_{ct}$ continues to reproduce higher-point matrix elements of the $D^2F^4 + F^5$ counterterm, then the operator structure of $\mathcal{N}=4$ SYM at this order would be fixed by a single on-shell operator, a stronger statement than the four- and five-point checks made here.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper constructs a three-loop five-point full-color N=4 SYM integrand in a manifestly color-kinematics-dual representation, starting from two master topologies and using both S5 and S3×S2 symmetric ansätze. It reports that the two constructions agree after integrand reduction, that the remaining free parameters are generalized gauge degrees of freedom, and that the double copy of the CK-dual numerators gives the corresponding N=8 SUGRA integrand. The authors extract the UV poles at Dc=6 for four-dimensional external states: the SYM pole in Eq. (6) contains no double-trace terms and matches the three-loop four-point color dependence, while the SUGRA pole in Eq. (8) is expressed in terms of the five-point γij structures. The paper then considers a D-dimensional lift γ→γD built from D-dimensional tree amplitudes, which reproduces the open-string prediction for the SYM UV pole but yields a SUGRA pole that differs from the string-inspired expression by the evanescent combination E in Eqs. (10)–(11).
Significance. If correct, this is a substantial technical milestone: it would be the first explicit full-color three-loop five-point CK-dual integrand, with compact numerators at most quadratic in loop momenta, a double-copy SUGRA integrand, and new UV counterterm data at Dc=6. The paper is honest about the D-dimensional difficulty and explicitly displays the evanescent mismatch, which is a useful falsifiable statement. The two independent symmetry constructions and the ancillary data are strengths. However, the central completeness claim for the full D-dimensional loop-momentum information is not supported by the presented evidence and is directly challenged by the paper's own Eq. (10); the four-dimensional-external UV results may well be correct, but the manuscript needs reframing and additional checks before the broader claims can be accepted.
major comments (3)
- [CK-DUAL INTEGRAND CONSTRUCTION, paragraph beginning 'Although we use four-dimensional cuts...'] This paragraph asserts that the four-dimensional generalized-unitarity cuts capture the full D-dimensional loop-momentum information, with three supporting checks. The paper's own Eqs. (10)–(11) contradict that assertion: replacing γ by γD built from D-dimensional tree amplitudes is exactly the operation that tests the external-state lift, and the double-copied UV pole differs from the string-inspired result by E, which is nonzero for generic D-dimensional external states. The three listed checks verify integrated SYM quantities or a single integrated pole, but none verifies that the numerator-level representation used in the double copy of Eq. (4) is complete in D dimensions. Please either remove the completeness claim or supply a genuine D-dimensional cut check, for example by evaluating the lifted integrand on cuts with generic D-dimensional external momenta.
- [Eq. (7) and the γD lift] The replacement γij→γDij is introduced as a 'candidate operation', but the paper does not verify that γD obeys the algebraic identities used to construct the ansatz, such as ∑i γij=0, antisymmetry, and the momentum-weighted identities exemplified by Eq. (3). The reduction from 772 to 35 parameters and the S5-symmetric solution rely on quotienting by these identities; applying the replacement to a solution of the four-dimensional ansatz is therefore not automatically valid. Please demonstrate that γD satisfies these identities, or explicitly state that Eq. (10) is evidence that the four-dimensional solution does not directly lift to D dimensions.
- [CK-DUAL INTEGRAND CONSTRUCTION, five free parameters and S5 vs S3×S2 comparison] The five free parameters are said to cancel 'after integrand reduction', and the S5 and S3×S2 constructions agree 'after integrand reduction'. Since the double copy in Eq. (4) is an integrand-level operation, equality after integration is not sufficient: terms that integrate to zero in the SYM amplitude can contribute to the gravity integrand unless they are generalized gauge transformations of the numerator representation. Please state explicitly that the five-parameter family and the two constructions are related by generalized gauge transformations that leave the double-copy integrand invariant (up to integration by parts and total derivatives), or provide the explicit transformation.
minor comments (5)
- [UV divergence in SYM] In the sentence 'this replacement makes Eq. (6) agree prefectly with the result predicted by the open-string expansion', 'prefectly' should read 'perfectly'.
- [Eq. (6)] The displayed formula for the SYM UV pole appears to have an unbalanced bracket or parenthesis; please check the typesetting and define the 'perms' that follow the Tr12345 term, including the exact permutation set.
- [Ancillary files] The central claims rely on ancillary files for all explicit numerator data, but the text does not describe the file format or display any master numerator. Please include at least one explicit master numerator and a short description of the ancillary data structure in the main text or an appendix.
- [Eq. (10)] The prefactor ∑i<j s³ij and the use of G5 are not fully specified in the text; please define the range of the summation and state explicitly that G5 is the five-point Gram determinant defined in Eq. (7).
- [Summary and Discussion, operator Oct in Eq. (12)] The claim that the simple two-term operator Oct reproduces the UV divergences of both four- and five-point amplitudes is stated without derivation; please indicate how the kinematic structure of Eq. (6) maps to the components of Oct, or provide a reference where this identification is made.
Circularity Check
No significant circularity; the CK-dual integrand is solved from symmetries and cuts, and the UV poles are validated against independent string predictions.
full rationale
The paper's derivation chain is self-contained in the relevant sense. The claimed CK-dual integrand is obtained by writing a general ansatz over two master topologies (330 and 570 candidate terms, reduced by gamma_ij identities to 281 and 491 independent monomials, 772 total), imposing S5 automorphism symmetries (to 35 coefficients), and then imposing a spanning set of 13 four-dimensional generalized-unitarity cuts (to 5 parameters). These five parameters are shown to cancel after D-dimensional integrand reduction, and an independent S3 x S2 construction yields the same integrand after reduction. The UV poles in Eqs. (6) and (8) are outputs of this integrand, not inputs; they are then compared with open- and closed-string predictions from refs. [12,24,25], which are external to this paper's authors. The only noticeable self-citation is ref. [15] for the integrand-reduction method and for the S3 x S2 motivation; this is a computational tool, not an assumed conclusion, and the S5 route does not depend on it. The admitted limitation that the four-dimensional representation 'ceases to determine the full integrands of higher-dimensional theories', evidenced by the evanescent mismatch in Eqs. (10)-(11), is a completeness caveat about the D-dimensional lift, not a circularity: the four-dimensional result is still derived, and the mismatch is discovered rather than assumed. No step defines a predicted quantity in terms of the fitted input, and no load-bearing uniqueness claim is imported from the authors' prior work. Hence the circularity score is 0.
Assumptions & free parameters
assumptions (5)
- domain assumption The no-triangle property of N=4 SYM excludes all topologies containing triangle or bubble subgraphs.
- domain assumption A one-loop n-point subgraph carries at most n-4 powers of loop momentum.
- domain assumption The beta and gamma prefactors of [11] form a complete basis for the five-point external-state dependence, and the momentum-weighted identities are fully quotiented.
- domain assumption The UV poles of the two vacuum master integrals are those quoted in Eq. (5) from [18].
- domain assumption The 13 generalized-unitarity cuts form a spanning set that fixes the integrand up to terms that vanish after integration.
Cite this review
Pith. "Pith review of Three-Loop Five-Point CK-Dual Amplitudes and UV Structure in N=4 SYM and N=8 SUGRA." pith.science (2026). https://pith.science/paper/VU4YJZ3V
@misc{pith2026260805973,
author = {Pith},
title = {Pith review of: Three-Loop Five-Point CK-Dual Amplitudes and UV Structure in N=4 SYM and N=8 SUGRA},
year = {2026},
howpublished = {\url{https://pith.science/paper/VU4YJZ3V}},
note = {Machine review of arXiv:2608.05973}
}
read the original abstract
We construct the complete full-color three-loop five-point integrand of N=4 super-Yang--Mills theory in a representation that manifestly satisfies color--kinematics duality. Its double copy gives the corresponding N=8 supergravity integrand. For four-dimensional external states, we evaluate the ultraviolet poles of both amplitudes in the critical dimension, Dc=6. Extending the external-state dependence to D dimensions is subtle. We consider a candidate replacement of the four-dimensional prefactors by expressions built from D-dimensional tree amplitudes. It reproduces the open-string prediction for the SYM pole with generic D-dimensional external states, whereas the corresponding gravity expression differs from the string-inspired one by an evanescent term.
Figures
Reference graph
Works this paper leans on
-
[11]
Z. Bern, J. J. M. Carrasco, and H. Jo- hansson, Phys.Rev.Lett. 105, 061602 (2010) , arXiv:1004.0476 [hep-th]
arXiv 2010
-
[1]
Under the full S5 symmetry, there are 42 inequivalent topologies, shown in Fig
Us- ing the no-triangle property of N = 4 SYM, we exclude all topologies containing triangle and bubble subgraphs. Under the full S5 symmetry, there are 42 inequivalent topologies, shown in Fig
-
[2]
We take the first two, (1) and (2), as the planar master topologies. Imposing dual Jacobi relations on all four-point subgraphs then gener- ates the remaining 40 numerators from the two masters. To construct the ansatz for the master numerators, we expand them in the five-point supersymmetric prefactors βijklm and γij introduced in [11]. For the MHV super- ...
-
[3]
Z. Bern, T. Dennen, Y.-t. Huang, and M. Kiermaier, Phys. Rev. D82, 065003 (2010) , arXiv:1004.0693 [hep-th]
arXiv 2010
-
[4]
In this construction, the external legs split into two sets {p1, p2, p3} and {p4, p5}. Permutations mixing the two sets generate additional distinct graphs and re- quire a larger spanning set of unitarity cuts. The re- sulting solution contains 57 free parameters; after inte- grand reduction, it yields the same amplitude as the S5- 3 p1 p2 p3 p5 p4 F (0) ...
-
[5]
Their UV poles are [18] V (A)⏐ ⏐ UV = − 1 6(4π)9ǫ , V (B)⏐ ⏐ UV = − ζ3 − 1 3 6(4π)9ǫ . (5) FIG. 5. The two three-loop vacuum integrals V (A) and V (B) that capture the UV divergence of the amplitudes. Lines marked with red dots denote double propagators. UV divergence in SYM Six of the 42 topologies contribute to the SYM UV divergence: (37)–(42) in Fig. 2...
-
[6]
However, as we will see below, this suc- cess does not proceed to the gravity case
agree prefectly with the result predicted by the open-string expansion at generic kine- matics [12, 25]. However, as we will see below, this suc- cess does not proceed to the gravity case. 4 UV divergence in SUGRA For gravity, after the double copy, more topologies con- tribute to the UV poles, and their numerators require tensor reduction through rank fo...
-
[7]
Z. Bern, J. J. Carrasco, M. Chiodaroli, H. Johansson, and R. Roiban, (2019), arXiv:1909.01358 [hep-th]
arXiv 2019
Show all 35 references
-
[8]
agrees with the closed-string-inspired expres- sion [25]: M(3) 5 |string UV = −i ( κ 2 ) 9 20ζ3 (4π)9ǫ (9) × A(0) (1,2,3,5,4) A(0) (1,3,2,5,4) T · S0 · (M3)2 · A(0) (1,2,3,4,5) A(0) (1,3,2,4,5) , where S0 is the KLT kernel and M3 is a matrix of Man- delstam invar...
-
[9]
Z. Bern, J. Carrasco, and H. Jo- hansson, Phys.Rev. D78, 085011 (2008) , arXiv:0805.3993 [hep-ph]
2008 arXiv
-
[10]
This suggests that the discrepancy may have a systematic simple pattern for general loops
by a constant and ( ∑ s2 ij), respectively. This suggests that the discrepancy may have a systematic simple pattern for general loops. SUMMAR Y AND DISCUSSION We have constructed the complete three-loop five-point integrand in N = 4 SYM in a manifestly CK-dual form, and its dou...
-
[12]
N. E. J. Bjerrum-Bohr, P. H. Damgaard, and P. Vanhove, Phys. Rev. Lett. 103, 161602 (2009) , arXiv:0907.1425 [hep-th]
2009 arXiv
-
[13]
Stieberger, (2009), arXiv:0907.2211 [hep-th]
S. Stieberger, (2009), arXiv:0907.2211 [hep-th]
2009 arXiv
-
[14]
B. Feng, R. Huang, and Y. Jia, Phys. Lett. B695, 350 (2011) , arXiv:1004.3417 [hep-th]
2011 arXiv
-
[15]
Z. Bern, J. J. Carrasco, M. Chiodaroli, H. Jo- hansson, and R. Roiban, J. Phys. A 55, 443003 (2022) , arXiv:2203.13013 [hep-th]
2022 arXiv
-
[16]
Adamo, J
T. Adamo, J. J. M. Carrasco, M. Carrillo-Gonz´ alez, M. Chiodaroli, H. Elvang, H. Johansson, D. O’Connell, R. Roiban, and O. Schlotterer, in 2022 Snowmass Sum- mer Study (2022) arXiv:2204.06547 [hep-th]
2022 arXiv
-
[17]
Z. Bern, J. Carrasco, L. Dixon, H. Johansson, and R. Roiban, Phys.Rev. D85, 105014 (2012) , arXiv:1201.5366 [hep-th]
2012 arXiv
-
[18]
J. J. Carrasco and H. Johans- son, Phys.Rev. D85, 025006 (2012) , arXiv:1106.4711 [hep-th]
2012 arXiv
-
[19]
C. R. Mafra and O. Schlotterer, JHEP 10, 124 , arXiv:1505.02746 [hep-th]
-
[20]
Z. Bern, J. J. Carrasco, L. J. Dixon, H. Johansson, D. A. Kosower, and R. Roiban, Phys. Rev. Lett. 98, 161303 (2007) , arXiv:hep-th/0702112
2007 arXiv
-
[21]
R. H. Boels, B. A. Kniehl, O. V. Tarasov, and G. Yang, JHEP 1302, 063 , arXiv:1211.7028 [hep-th]
-
[22]
G. Lin, G. Yang, and S. Zhang, JHEP 03, 061 , arXiv:2111.03021 [hep-th]
-
[23]
A. A. Vladimirov, Theor. Math. Phys. 43, 417 (1980)
1980
-
[24]
K. G. Chetyrkin and V. A. Smirnov, Phys. Lett. B 144, 419 (1984)
1984
-
[25]
Z. Bern, J. J. M. Carrasco, L. J. Dixon, H. Johans- son, and R. Roiban, Phys. Rev. D 78, 105019 (2008) , arXiv:0808.4112 [hep-th]
2008 arXiv
-
[26]
Z. Bern, J. J. M. Carrasco, L. J. Dixon, H. Johans- son, and R. Roiban, Phys. Rev. D 82, 125040 (2010) , arXiv:1008.3327 [hep-th]
2010 arXiv
-
[27]
Berkovits, M
N. Berkovits, M. B. Green, J. G. Russo, and P. Vanhove, JHEP 11, 063 , arXiv:0908.1923 [hep-th]
1923 arXiv
-
[28]
Bossard, P
G. Bossard, P. S. Howe, and K. S. Stelle, Phys. Lett. B 682, 137 (2009) , arXiv:0908.3883 [hep-th]
2009 arXiv
- [29]
-
[30]
Z. Bern, L. J. Dixon, D. C. Dunbar, M. Perelstein, and J. S. Rozowsky, Nucl. Phys. B 530, 401 (1998), arXiv:hep-th/9802162
1998 arXiv
-
[31]
Broedel and J
J. Broedel and J. J. M. Car- rasco, Phys. Rev. D 84, 085009 (2011) , arXiv:1107.4802 [hep-th]
2011 arXiv
-
[32]
Schlotterer and S
O. Schlotterer and S. Stieberger, J. Phys. A 46, 475401 (2013) , arXiv:1205.1516 [hep-th]
2013 arXiv
- [33]
-
[34]
L. A. Barreiro and R. Medina, JHEP 10, 108 , arXiv:1208.6066 [hep-th]
-
[35]
Chicherin, Y
D. Chicherin, Y. Wu, Z. Wu, Y. Xu, S.-Q. Zhang, and Y. Zhang, (2025), arXiv:2512.17330 [hep-ph]
2025
Reviewed August 7, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.