REVIEW 3 major objections 4 minor 23 references
Note on single-trace EYM amplitudes with MHV configuration
T0 review · 3 major / 4 minor · reviewed 2026-08-09 · deepseek-v4-flash
Pith's one-line read Tree-level MHV Einstein-Yang-Mills amplitudes can be rewritten as sums of pure-gluon amplitudes, with each graviton split into a collinear gluon pair.
desk verdict Three-graviton case is solid; the general formula (4.1) likely overcounts ordered forests, so the main claim is unproven as written. 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 machinery that carries the argument is the spanning-forest expansion of the SBDW formula, together with the eikonal identity of spinor-helicity formalism. Equation (2.10) writes the factor $S(H;G)$ in the MHV amplitude as a sum over forests whose roots are gluons and whose edges are dressed by $\psi_{ab}=[ab]\langle a\xi\rangle\langle a\eta\rangle/(\langle ab\rangle\langle b\xi\rangle\langle b\eta\rangle)$. Using the eikonal identity (2.5), each $\psi$ factor is converted into a sum over positions where an inserted collinear gluon pair splits the Parke-Taylor denominator, and the recursive rule (4.2) organises these insertions into a permutation $\rho(l_1,\ldots,l_i)$ for every tree. The named object at the centre is the collinear gluon pair: a graviton $n$ splits into two gluons $n$ and $\tilde n$ with identical momentum and helicity, one placed to the left and one to the right of the root gluon or of the previously inserted pair. Each edge of a tree contributes a Mandelstam invariant $s_{ab}$, so the full forest weight is a product of kinematic invariants times a single Parke-Taylor factor.
What would settle it
Compute the right-hand side of Eq. (4.1) for a four-graviton, four-gluon MHV amplitude at a generic kinematic point and compare it with the directly evaluated left-hand side obtained from the spanning-forest expansion (2.10) or from the CHY formula; any mismatch, in particular from forests whose exchanged branches produce the same permutation, would falsify the claimed identity.
Extended reading notes
Core claim
The central claim is that the $(g^-g^-)$ single-trace MHV amplitude satisfies $$ A(1,\ldots,N|H)\sim \sum_{l_1,\ldots,l_i\in G}\;\sum_{\text{spanning forests }\{T_1,\ldots,T_i\}} K(T_1)\cdots K(T_i)\;\mathrm{PT}\bigl(1,\rho(l_1,\ldots,l_i),N\bigr), $$ where $G$ is the gluon set, each tree $T_j$ is planted at a gluon $l_j\in G$ (distinct labels may point to the same gluon), $K(T_j)=\prod_{ab\in E(T_j)}s_{ab}$ is the product of Mandelstam invariants along the tree's edges, and the permutation $\rho(l_1,\ldots,l_i)$ is defined recursively by Eq. (4.2): the left part of the previous permutation receives the tree's gluon insertions $\sigma_{T_k}$, the right part receives the reversed set $\tilde\sigma_{T_k}^T$. Each graviton $n_a$ is thereby replaced by a pair of collinear gluons $n_a,\tilde n_a$ with the same momentum and helicity, so the original $N$-gluon, $M$-graviton amplitude is expressed as a combination of $N+2M$-point pure-gluon MHV amplitudes. The authors explicitly verify the formula for three gravitons and show that the one- and two-graviton cases reduce to known results; they also state the straightforward modifications for the $(h^-,g^-)$ helicity configuration.
Load-bearing premise
The argument depends on the recursive insertion rule (4.2) converting the spanning-forest sum (2.10) into the collinear-gluon sum (4.1) with a one-to-one correspondence, so that no forest is double-counted when branches are exchanged or roots coincide; this is shown explicitly only for three gravitons and sketched for the general case.
Editorial extensions
If this is right
- The formula gives an explicit collinear-pair representation for MHV EYM amplitudes with an arbitrary number of gravitons, not just one or two.
- An $N$-gluon, $M$-graviton MHV amplitude is expressed as a sum of pure-gluon MHV amplitudes with $N+2M$ external legs, each graviton pair sharing a momentum and helicity.
- Applying the stated replacements extends the formula to the $(h^-,g^-)$ MHV configuration, with the positive-helicity graviton set and an overall minus sign.
- The recursive insertion rule (4.2) gives a concrete algorithm: for each spanning forest, read the tree structure to build the permutation and multiply the Parke-Taylor factor by the product of $s_{ab}$ over tree edges.
Reading between the lines
- If the representation is unique, it implies nontrivial identities among pure-gluon MHV amplitudes, because the same permutation can arise from different spanning forests and the total amplitude must be independent of those choices.
- The collinear-pair picture may extend beyond single-trace MHV amplitudes, for instance to double-trace amplitudes or to other helicity configurations, where the same combinatorial insertion might hold with modified dressing factors; the paper lists double-trace amplitudes as future work.
- A direct numerical check at a generic kinematic point for four gluons and four gravitons would test the recursive rule's handling of exchanged branches, the least explicit part of the proof.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper proposes a general formula, Eq. (4.1), expressing tree-level single-trace MHV Einstein-Yang-Mills (EYM) amplitudes as a sum over spanning forests of pure-gluon MHV amplitudes, in which each graviton is replaced by a collinear gluon pair. After reviewing the spinor-helicity formalism and the SBDW/spanning-forest formula, the authors work out the three-graviton case in detail, explicitly rewriting the S3 factor into sums of PT factors with collinear insertions. They then state the general formula with a recursive insertion rule (4.2) and give a three-step proof sketch. They note that the formula reduces to the known one- and two-graviton results.
Significance. If the general formula is correct, it provides a compact and physically suggestive representation of single-trace MHV EYM amplitudes in terms of pure-gluon amplitudes, extending the collinear-gluon-pair picture to an arbitrary number of gravitons. The three-graviton example is worked out carefully, and the eikonal and Schouten identities used are standard. The paper is clearly written and the derivation is an algebraic rewriting of the established SBDW/spanning-forest formula (2.10), so the main claim is a reformulation rather than an independent computation. However, the general proof is explicitly only a sketch, and the load-bearing uniqueness of the forest/root sum is not established; this limits the present significance of the result.
major comments (3)
- [Section 4, Eq. (4.1)] The equality between (4.1) and the spanning-forest formula (2.10) is not established because the summation in (4.1) is over ordered tuples of roots l1,...,li and labeled trees T1,...,Ti, with coincident roots explicitly allowed in the three-graviton case (Section 3, after Eq. (3.16)). In a forest, each component has a unique root and roots of distinct components are distinct; a configuration with l_j = l_k corresponds to two trees sharing a vertex and hence to a single component, not to a forest. In addition, for a forest with distinct roots, permuting the labels of the trees gives the same graph i! times. Since neither a quotient by this symmetry nor a canonical ordering is specified, the right-hand side of (4.1) generically overcounts the terms in (2.10). This affects the relative weights of different topologies and would change the amplitude as a function of kinematics.
- [Section 4, Steps 2-3] The proof sketch only treats the insertion of the first tree T1 in detail and then asserts that trees T2,...,Ti are inserted 'in turn' by repetition of Step 2. It does not show that the set of permutations produced by the recursive rule (4.2) is independent of the order in which the trees are processed, nor that each insertion order yields the same sum of PT factors. The three-graviton example demonstrates the equivalence of (3.14) and (3.15) for two roots, but that is a single low-order case; the general case with M > 3, and especially with coincident roots, requires an argument that each forest term in (2.10) maps to exactly one term in (4.1). This is the load-bearing step of the paper.
- [Section 4 (no numerical check)] Because the proposed identity is purely algebraic, it can be checked numerically without any integration. The paper provides no cross-check for M = 3 or higher against the known formula (2.10). Such a check for a few random kinematic points would either confirm the formula and the absence of overcounting, or expose the multiplicity issue raised above. Its absence is conspicuous given that the general proof is only sketched.
minor comments (4)
- [Section 2.1] The word 'formalsim' near the beginning of the section should be 'formalism'.
- [Section 3, after Eq. (3.16)] The statement that 'lj and lk with distinct labels may be identical' should be reconciled with the forest interpretation in Section 2.2, where roots of different components are distinct; the present phrasing is confusing and may itself indicate the source of the overcounting.
- [Introduction] The claim that the formula reduces to the known results for one and two gravitons is not demonstrated; a brief verification or a reference to an explicit derivation would be helpful.
- [Section 4] The word 'gravitions' should be 'gravitons'.
Circularity Check
No circularity: formula (4.1) is an algebraic reorganization of the cited SBDW/spanning-forest formula, not a fitted prediction or a self-referential definition.
full rationale
The derivation starts from the SBDW formula (2.7) and the spanning-forest expansion (2.10), which are established prior results, and then rewrites each ψab using the eikonal identity (2.5) and the definition sab = [ab]⟨ba⟩ to express the amplitude as sums of Parke-Taylor factors with collinear gluon pairs. The final formula (4.1) and the recursive permutation prescription (4.2) are outputs of this rewriting, not inputs to it; ρ(l1,...,lk) is constructed by the insertion procedure rather than fitted to reproduce the amplitude. No parameter is fitted to a subset of amplitudes and then used to predict a closely related quantity, and the paper makes no empirical claim that would reduce to a self-citation. The citations to the authors' earlier work, primarily [10] for the spanning-forest form and [18] for the one- and two-graviton cases, are used as background rather than as an unverified load-bearing uniqueness theorem. A possible overcounting of forests with coincident roots or permuted tree labels, if real, would be a correctness or completeness gap in the rewrite, not a circular identification of the result with its input. The algebra is self-contained conditional on the cited starting formula, so no circularity is present.
Assumptions & free parameters
assumptions (4)
- standard math Spinor-helicity identities: momentum conservation (2.3), Schouten identity (2.4), eikonal identity (2.5)
- domain assumption SBDW formula (2.7) and its spanning-forest expansion (2.10) correctly give tree-level single-trace MHV EYM amplitudes
- domain assumption The (h-,g-) configuration is obtained by replacing i,j with the negative-helicity graviton and gluon, using H+ and an extra sign, with no separate proof
- ad hoc to paper Recursive insertion rule (4.2) yields all permutations in the sum exactly once for any forest
Cite this review
Pith. "Pith review of Note on single-trace EYM amplitudes with MHV configuration." pith.science (2026). https://pith.science/paper/2WSMQNRC
@misc{pith2026250118832,
author = {Pith},
title = {Pith review of: Note on single-trace EYM amplitudes with MHV configuration},
year = {2026},
howpublished = {\url{https://pith.science/paper/2WSMQNRC}},
note = {Machine review of arXiv:2501.18832}
}
read the original abstract
In the maximally-helicity-violating (MHV) configuration, tree-level single-trace Einstein-Yang-Mills (EYM) amplitude with one and two gravitons have been shown to satisfy a formula where each graviton splits into a pair of collinear gluons. In this paper, we extend this formula to more general cases. We provide a general formula which expresses tree-level single-trace MHV amplitudes in terms of pure gluon amplitudes, where each graviton turns into a pair of collinear gluons.
Reference graph
Works this paper leans on
-
[18]
Disk relations for tree amplitudes in minimal coupling theory of gauge field and gravity
Y.-X. Chen, Y.-J. Du, and Q. Ma, Disk relations for tree amplitudes in minimal coupling theory of gauge field and gravity, Nucl. Phys. B 833 (2010) 28–45, [ arXiv:1001.0060]
work page Pith review arXiv 2010
-
[1]
K. G. Selivanov, SD perturbiner in Yang-Mills + gravity , Phys. Lett. B 420 (1998) 274–278, [hep-th/9710197]
arXiv 1998
-
[2]
K. G. Selivanov, Gravitationally dressed Parke-Taylor amplitudes , Mod. Phys. Lett. A 12 (1997) 3087–3090, [hep-th/9711111]
work page Pith review arXiv 1997
-
[3]
Z. Bern, A. De Freitas, and H. L. Wong, On the coupling of gravitons to matter , Phys. Rev. Lett. 84 (2000) 3531, [hep-th/9912033]
work page Pith review arXiv 2000
-
[4]
F. Cachazo, S. He, and E. Y. Yuan, Scattering equations and Kawai-Lewellen-Tye orthogonality , Phys. Rev. D90 (2014), no. 6 065001, [ arXiv:1306.6575]
arXiv 2014
-
[5]
F. Cachazo, S. He, and E. Y. Yuan, Scattering of Massless Particles in Arbitrary Dimensions , Phys. Rev. Lett. 113 (2014), no. 17 171601, [ arXiv:1307.2199]
arXiv 2014
-
[6]
F. Cachazo, S. He, and E. Y. Yuan, Scattering of Massless Particles: Scalars, Gluons and Gravitons , JHEP 07 (2014) 033, [ arXiv:1309.0885]
arXiv 2014
- [7]
Show all 23 references
-
[8]
Hodges, A simple formula for gravitational MHV amplitudes , arXiv:1204.1930
A. Hodges, A simple formula for gravitational MHV amplitudes , arXiv:1204.1930
1930 arXiv
-
[9]
Feng and S
B. Feng and S. He, Graphs, determinants and gravity amplitudes , JHEP 10 (2012) 121, [ arXiv:1207.3220]
2012 arXiv
-
[10]
Y.-J. Du, F. Teng, and Y.-S. Wu, Direct Evaluation of n-point single-trace MHV amplitudes in 4d Einstein-Yang-Mills theory using the CHY Formalism , JHEP 09 (2016) 171, [ arXiv:1608.00883]
2016 arXiv
-
[11]
H. Tian, E. Gong, C. Xie, and Y.-J. Du, Evaluating EYM amplitudes in four dimensions by refined graphic expansion, JHEP 04 (2021) 150, [ arXiv:2101.02962]
2021 arXiv
-
[12]
Fu, Y.-J
C.-H. Fu, Y.-J. Du, R. Huang, and B. Feng, Expansion of Einstein-Yang-Mills Amplitude , JHEP 09 (2017) 021, [arXiv:1702.08158]
2017 arXiv
-
[13]
Chiodaroli, M
M. Chiodaroli, M. Gunaydin, H. Johansson, and R. Roiban, Explicit Formulae for Yang-Mills-Einstein Amplitudes from the Double Copy , JHEP 07 (2017) 002, [ arXiv:1703.00421]
2017 arXiv
-
[14]
Teng and B
F. Teng and B. Feng, Expanding Einstein-Yang-Mills by Yang-Mills in CHY frame , JHEP 05 (2017) 075, [arXiv:1703.01269]
2017 arXiv
-
[15]
Du and F
Y.-J. Du and F. Teng, BCJ numerators from reduced Pfaffian , JHEP 04 (2017) 033, [ arXiv:1703.05717]
2017 arXiv
-
[16]
Y.-J. Du, B. Feng, and F. Teng, Expansion of All Multitrace Tree Level EYM Amplitudes , JHEP 12 (2017) 038, [arXiv:1708.04514]
2017 arXiv
-
[17]
Stieberger, Open & Closed vs
S. Stieberger, Open & Closed vs. Pure Open String Disk Amplitudes , arXiv:0907.2211. – 10 –
-
[19]
Stieberger and T
S. Stieberger and T. R. Taylor, Graviton as a Pair of Collinear Gauge Bosons , Phys. Lett. B 739 (2014) 457–461, [arXiv:1409.4771]
2014 arXiv
-
[20]
Stieberger and T
S. Stieberger and T. R. Taylor, Graviton Amplitudes from Collinear Limits of Gauge Amplitudes , Phys. Lett. B 744 (2015) 160–162, [ arXiv:1502.00655]
2015 arXiv
-
[21]
Stieberger and T
S. Stieberger and T. R. Taylor, Subleading terms in the collinear limit of Yang–Mills amplitudes , Phys. Lett. B 750 (2015) 587–590, [ arXiv:1508.01116]
2015 arXiv
-
[22]
Xu, D.-H
Z. Xu, D.-H. Zhang, and L. Chang, Helicity Amplitudes for Multiple Bremsstrahlung in Massless Nonabelian Gauge Theories, Nucl. Phys. B 291 (1987) 392–428
1987
-
[23]
S. J. Parke and T. R. Taylor, An Amplitude for n Gluon Scattering, Phys. Rev. Lett. 56 (1986) 2459. – 11 –
1986
Reviewed August 9, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.