Pith. Sign in

REVIEW

A direct proof of the CSW rules

PaperPDF from arXiv

data files

ReviewThe objections and verdict, as JSON Paper breakdownThe authors' claims, conditions and measurements, as JSON Signed receiptProof this review has not been altered
X Bluesky LinkedIn Reddit Hacker News
Kasper Risager

High Energy Physics - Theory · Submitted 26 Aug 2005 · 56 references

Pith's verdict: A short, correct, and genuinely useful proof that the CSW MHV-diagram rules follow from BCFW recursion; the soft spots are a genericity assertion about the shift coefficients and some compressed power counting, neither load-bearing.

T0 · AI review

How this review was made: An AI referee (selfhosted/deepseek-v4.1-flash) read the paper on October 29, 2026 and answered a fixed list of questions about it. T0 is the starting level every paper gets. The levels describe how deeply Pith has checked the paper, never the authors.

  1. T0 AI review An AI read the paper and answered a fixed list of questions.
  2. T1 Audit Automatic checks that the references and files the paper relies on exist and match.
  3. T2 Compute The paper's code or calculations re-run with the same results.
  4. T3 Formal statement The claims written out in a formal math language a computer can read.
  5. T4 Proof Those claims proved, and the proof checked by computer.

How Pith checks papers →

· 1 major objection · 8 minor · Ask about this paper · The compiled record · Read the full review →
Challenge this review Comment (0) Read on arXiv ↗
Cite ▾
arXiv IDhep-th/0508206 (version 2)
Pith IDNIKN3ZOE, Pith's permanent record of this paper and its review
CitationKasper Risager. "A direct proof of the CSW rules." arXiv:hep-th/0508206 (2005). https://pith.science/paper/NIKN3ZOE
Cite this reviewBibTeX for Pith's review of this paper
Claim paper

Why Pith says this

Highlight any text to comment on it.

Referee report

How Pith checks papers → · Full audit of this paper →

The paper

The paper claims

The paper proves that the CSW rules for tree-level gluon amplitudes follow from BCFW recursion, turning a widely used calculational recipe into a theorem.

The reading

The paper sets out to prove that the CSW rules—a recipe that builds tree-level gluon scattering amplitudes by sewing together simpler MHV vertices with scalar propagators—are a consequence of BCFW recursion rather than an independent conjecture. A sympathetic reader should care because the two methods have been central to recent progress in perturbative gauge-theory calculations, and showing that one follows from the other explains why both work and when their ingredients can be trusted. The proof is inductive: it shifts the momenta of all negative-helicity gluons in a controlled way, uses the recursion to isolate the propagators that appear in CSW diagrams, and shows that the residues reassemble exactly the CSW expansion. The paper also clarifies that the holomorphic reference spinor used at each internal line need not be the same from propagator to propagator.

What carries the argument

The load-bearing mechanism is a multi-line anti-holomorphic BCFW shift applied to every negative-helicity gluon at once, with coefficients $r_i$ satisfying $sum_i |m_irangle r_i = 0$. This does two jobs: it affects every propagator that can appear in a CSW diagram, and it leaves the holomorphic MHV vertices invariant, so the recursion residues are products of lower-point MHV amplitudes. The second ingredient is the residue identity in Eqs. (5.5)–(5.7), which says that summing over the $n-1$ choices of which CSW propagator is put on shell, with all others shifted accordingly, gives back the product of the unshifted propagators. Together these turn the BCFW residue sum into the CSW diagram sum.

Extended reading notes

Core claim

The central claim is that for any tree-level gluon amplitude, the sum of CSW diagrams equals the amplitude, and that this follows from BCFW recursion by induction on the number of negative-helicity gluons. For an amplitude with $n+1$ negative-helicity gluons, Risager shifts each negative-helicity momentum as $|m_i'rangle[m_i'| = |m_irangle([m_i| + z,r_i[eta|)$ with coefficients chosen so that $sum_i |m_irangle r_i = 0$; because the shift is purely anti-holomorphic, the holomorphic MHV vertices are untouched. The shifted amplitude falls as $z^{-n}$ at large $z$, so the BCFW contour integral localizes on exactly the propagators that can occur in a CSW diagram. Each residue factorizes into two lower-point amplitudes, which are CSW by the induction hypothesis, and the remaining sum over which propagator is put on shell is shown by Eqs. (5.5)–(5.7) to reproduce the product of unshifted propagators. Hence every CSW diagram is recovered with the correct weight, and the CSW rules hold for all tree-level gluon amplitudes.

Load-bearing premise

The induction assumes that for any number of negative-helicity gluons one can choose coefficients $r_i$ with $sum_i |m_irangle r_i = 0$ and with no proper subset of the terms summing to zero; for three gluons this is the Schouten identity, but for four or more the paper asserts the generic choice rather than proving it.

Editorial extensions

If this is right

  • The CSW expansion becomes a theorem for tree-level gluon amplitudes, so using it no longer rests on a conjecture.
  • BCFW recursion can be used to derive, not just check, CSW decompositions, tying the two main tree-level calculational methods into one framework.
  • The proof shows that the holomorphic reference spinor $|etarangle$ can vary from one internal line to another, while the anti-holomorphic reference momentum $eta^mu$ stays fixed.
  • The inductive template—shift all negative-helicity legs, use decay at infinity, factorize residues, and reassemble the diagram sum—offers a route to proving similar diagrammatic rules in other theories.
  • Extensions to gravity or to loop calculations must track any dependence on the holomorphic reference spinor, because that dependence is not constrained by the tree-level proof.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The residue identity is a partial-fraction statement about a graph expansion; it may generalize to any expansion whose vertices are holomorphic and whose propagators are isolated by a multi-line shift, including matter or split-helicity sectors.
  • A constructive algorithm for the coefficients $r_i$—beyond the three-leg Schouten case—would make the induction fully explicit and could be implemented in symbolic amplitude codes.
  • If the same shift strategy works when MHV vertices are not holomorphic, it would give a proof-of-principle for CSW-like rules in gravity; if it fails, the failure would locate exactly where holomorphy is essential.
Original abstract

Using recursion methods similar to those of Britto, Cachazo, Feng and Witten (BCFW) a direct proof of the CSW rules for computing tree-level gluon amplitudes is given.

The compiled record

The paper's own sentences, arranged, kept beside the review and separate from it. Each label is drawn from a closed vocabulary; the number beside it is the probability the classifier gave that label. Numbers in the tables are the authors', checked by code. No sentence in this record was written by a model.

Compiled by classifier-1.13-20260917 via OpenRouter, question bank abstract-p1-20260923, 2026-09-23: 1 request, 1,634 input tokens, $0.0001 reported.

What the abstract itself states, as probabilities: claims first 0.06 · states limitation 0.13 · human participants 0.01 · controlled comparison 0.01 · randomized assignment 0.01 · states quantitative result 0.02 · compares with prior results 0.48 · mentions code or data availability 0.02.

The abstract, sentence by sentence

arXiv listing abstract v2. Results and the main claim are underlined; .

Using recursion methods similar to those of Britto, Cachazo, Feng and Witten (BCFW) a direct proof of the CSW rules for computing tree-level gluon amplitudes is given.

background contribution method result interpretation main claim

What the classifier reports for each sentence. The number is the probability it gave the label.
#sentencerolethe authors' own workstates the main conclusionstrength
s0 Using recursion methods similar to those of Britto, Cachazo, Feng and Witten (BCFW) a direct proof of the CSW rules for computing tree-level gluon amplitudes is given. contribution 0.98 0.94 0.88 asserted 1.00

What kind of paper the classifier reports this is: theoretical result 1.00 · evidence from proof or derivation 1.00.

What was examined, and what was not

sources read
  • arXiv listing abstract v2
not examined
  • full text
  • figures and tables
  • references and citing sentences
  • relations to other papers
levels run
  • P abstract
not run
  • S sections
  • T body sentences
  • C citations
  • R cross-paper relations

Every quoted sentence on this record is the authors'. Every label is from Pith's closed vocabulary, with the probability shown beside it. Every number in the measurements table is the authors', checked by code. Record as JSON

References
How later papers used it

82 later papers cite it

Evidence: substantial. 81 of the citing papers share no author with it, and 26 of those carry a confident label from Pith's citation classifier.

Pith read 20 of the 123 citing sentences, choosing only those whose citation markers point at this paper alone, and wrote the paraphrases from them. The summary, the counts, the evidence level, the links and the quotes come from code; the summary counts the papers listed below. A later paper is listed under a label when Pith's citation classifier gives one of its sentences that label at probability 0.8 or more (0.95 for support), Pith's reading finds that the citing paper itself did it, and a second check confirms the paraphrase against the sentence. This section lists uses only. It does not list criticism or disagreement, so their absence here says nothing about how the paper has been received. Papers that share an author with this one are listed apart, under "By the same authors". A quote is the citing authors' own sentence, shown when their paper's licence is CC BY, CC BY-SA or CC0. JSON

Uses its method or tool 7 of 19 papers with this label
Compares with it 1 of 3 papers with this label

  • Analytically checked the equivalence of one of its CSW terms and its corresponding Risager diagram from this paper.

    CSW-like Expansion for Einstein Gravity (2012) · 0.99 · paraphrased: the licence does not allow quoting

How the literature uses it

70 arXiv papers cite this in 110 sentences

Each citing sentence is taken from the citing paper's LaTeX source and typed by Pith's classifier. A label appears at probability 0.8 or more (0.95 for support), a contest at 0.7 or more; the quoted words are the citing authors'. How each label was checked · JSON

Papers whose main result relates to this one's

Found among the papers closest to this one by title and main claim. Pith's classifier compared each pair's main results and a second model family confirmed the relation; checked against two further families, shown conflicts agreed 118 times in 120 and shown same results 218 times in 239. The quoted sentence is the other paper's main claim.

States the same result 1 paper

Papers citing it · 69 sentences without a confident label

Contests it 1 paper
  • Applying Risager's procedure to the BGK amplitude [ref] leads to an MHV diagram formulation that fails when $≥12$ [ref] , while the twistor action for gravity tentatively proposed in [ref] does not appear to extend naturally to $=8$ supergravity.

    Twistor Strings for N=8 Supergravity · Introduction · contest 0.85

Builds on it 2 papers
Uses its method or tool 16 papers
  • The one-complex parameter, $z$, deforms the spinors as follows [ref] ,

    Computing NMHV Gravity Amplitudes at Infinity · Introduction · 0.97

  • To formulate the all-line recursion relation we employ the all-line shift of [ref] , where all the region momenta are deformed [ref] : [equation] where [equation] and the $r_i$s are non-vanishing complex numbers which ensure that all the region momenta receive a non-vanishing shift.

    Form factor recursion relations at loop level · All-line loop recursion relation · 0.96

  • We must start with a correct representation of the amplitude $A_n(1^-,…,m_2,…, m_3,…,n)$ which we can use to study the limit $z →∞$ under the 3-line shift [ref] of the spinors $|1], |m_2], |m_3]$ given by |1] → |1̂] = |1] + z m_2 m_3 |X] , 3shiftTX |m_2] → |m̂_2] = |m_2] + z m_3 1 |X] , |m_3] → |m̂_3] =|m_3] + z 1 m_2 |X] , where $|X]$ is an arbitrary reference spinor.

    Recursion Relations, Generating Functions, and Unitarity Sums in N=4 SYM Theory · Valid shifts for $A_n(1^-,…,m_2,…, m_3,…,n)$ · 0.94

Compares with it 3 papers
  • We analytically checked the equivalence of one of the CSW terms and its corresponding Risager's diagram [ref] .

    CSW-like Expansion for Einstein Gravity · Introduction · 0.99

  • The reason for this difference is the way external momenta are deformed: Unlike BCFW in which only two of them are complexified, all external lines are deformed in [ref] , similar to Risager recursion relations introduced in [ref] .

    Towards the higher point holographic momentum space amplitudes · Conclusion · 0.88

  • Note that this is different from Risager's deformation [ref] for $k=4$ where $μ̃_i =α_iμ̃$.

    Connecting Infinity to Soft Factors · N$^2$MHV Generalized Risager Deformation · 0.91

Cites it as support 1 paper
  • Note that at tree level and for one loop MHV amplitudes this is not a conjecture, see respectively [ref] and [ref] .[The CSW construction was argued to hold for any helicity configuration in [ref] .

    Symmetries of the N=4 SYM S-matrix · Generalizations to All Loops and Helicities · 0.96

Cites it as background 15 papers
  • To set the stage, let us quickly review the story of the CSW recursion relations [ref] and the very closely-related Risager recursion relations [ref] .

    Local Spacetime Physics from the Grassmannian · Brief Review of CSW and Risager · 1.00

  • In the former case the development of a very general method to explore the perturbative regime, such as the BCFW-like deformations [ref] , revealed tree-level recursive structures for a quite large class of theories, while in the latter direct loop integral analysis have shown that the theory is endowed with a further symmetry, the dual conformal symmetry [ref] (which together with the space-time conformal symmetry forms the infinite dimensional Yangian [ref] ), as well as the theory turns out to an on-shell recursion relation at integrand level [ref] at all loops.

    On-shell diagrammatics and the perturbative structure of planar gauge theories · Introduction · 0.84

  • It was first motivated by Britto-Cachazo-Feng-Witten (BCFW) recursion relations [ref] in the calculation of gluon scattering, and other versions of recursion relations were proposed to study the amplitudes in gauge theories [ref] , gravity theories [ref] , supersymmetric theories [ref] , scalar effective field theories [ref] and more general theories [ref] .

    Massive On-shell Recursion Relations for n-point Amplitudes · Introduction · 0.97

Discussion

Disagree with the review, or know something it missed? Leave a comment, highlight any passage above to comment on it, or challenge this review formally.