1.05
MCTP1138
MITCTP4322
PUPT2397
Integrands for QCD rational terms and SYM
[1ex] from massive CSW rules
Henriette Elvang, Daniel Z. Freedman, Michael Kiermaier
Michigan Center for Theoretical Physics, Randall Laboratory of Physics
University of Michigan, Ann Arbor, MI 48109, USA
[2mm] Department of Mathematics, Center for Theoretical Physics,
Massachusetts Institute of Technology, Cambridge, MA 02139, USA
[2mm] Joseph Henry Laboratories, Princeton University, Princeton, NJ 08544, USA
[3mm] elvang@umich.edu, dzf@math.mit.edu, mkiermai@princeton.edu
1.05
We use massive CSW rules to derive explicit compact expressions for integrands of rational terms in QCD with any number of external legs. Specifically, we present all integrands for the oneloop allplus and oneminus gluon
amplitudes
in QCD.
We extract the finite part of spurious externalbubble contributions systematically; this is crucial for the application of integrandlevel CSW rules in theories without supersymmetry. Our approach yields integrands that are independent of the choice of CSW reference spinor even before integration.
Furthermore, we present a recursive derivation of the recently proposed massive CSWstyle vertex expansion for massive tree amplitudes and loop integrands on the Coulombbranch of SYM. The derivation requires a careful study of boundary terms in allline shift recursion relations, and provides a rigorous (albeit indirect) proof of the recently proposed construction of massive amplitudes from softlimits of massless onshell amplitudes. We show that the massive vertex expansion manifestly preserves all holomorphic and half of the antiholomorphic supercharges, diagrambydiagram, even offshell.
0.3
Contents
1.05
1 Introduction
The CSW expansion [1], or MHV vertex expansion, has proven to be a valuable tool in the study of massless amplitudes in gauge theory [2, 3, 4, 5, 6, 7, 8] and beyond [9]. In this paper, we use massive CSWstyle vertex expansions to study amplitudes in massless QCD and in SYM on the Coulomb branch. The massive CSW expansions in these two theories are related even though masses appear for very different reasons in these two cases. Massive particles are naturally part of the spectrum of SYM on the Coulombbranch, where the gauge and symmetry groups are spontaneously broken. On the other hand, in massless QCD oneloop amplitudes, particles running in the loop effectively acquire masses because in dimensional regularization the dimensional components of the dimensional loop momentum can be encoded in a massterm [10]. Thus we use massive vertex rules for amplitudes and loopintegrands in both theories. In fact, the nonsupersymmetric rules for the QCD integrand turn out to be a simple special case of the fully supersymmetric rules.
The massless CSW expansion is wellknown to produce the correct QCD gluon amplitudes at tree level [3]; however, it fails to produce the full loop integrand when applied naively to nonsupersymmetric theories. At one loop, for example, the massless CSW expansion of QCD loop integrands misses the crucial rational terms, which are not cutconstructible in dimensions [11, 12]. This failure seems to be closely related to the breakdown of looplevel recursion relations for integrands in nonsupersymmetric theories (caused by infinite forwardlimit contributions [13, 14]). One way to construct rational terms is to apply dimensional regularization, effectively giving a mass to internal lines in oneloop amplitudes [10]. The mass is then integrated over with an appropriate measure. As we will review below, it is sufficient to consider a charged massive scalar running in the loop to compute rational terms. A massive vertex expansion similar to CSW was developed for such diagrams in [15]. (See [16] for applications at the 4 and 5point level.) Using this massive vertex expansion and the techniques developed in [18], we derive an extremely compact all expression for the integrand of the (purely rational) allplus amplitude in QCD. We also present a similarly compact all BCFWlike representation of the same integrand, which is manifestly free of spurious poles. Readers may wish to peek at (2.14) and (2.17) for explicit expressions of our CSW and BCFW allplus integrands.
We then turn to the (also purely rational) oneminus integrand . Here the massive vertex expansion cannot be applied naively; divergent “externalbubble diagrams”, which integrate to zero in dimensional regularization in conventional Feynmangauge diagram computations, can no longer be ignored. Indeed, these diagrams contain spurious poles and do not integrate to zero. We use a systematic approach inspired by unitarity methods [19, 20] to construct finite externalbubblelike “counterterms” that supplement the naive massive vertex rules. These counterterms ensure that the oneminus integrand is free of spurious poles. Correct factorization properties are also maintained. This leads to a rather compact all expression for the integrand of the oneminus QCD amplitude; see (2.30). The counterterms have features that indicate a possible interpretation as the finite parts of divergent “externalbubble diagrams”; it would be interesting to clarify this connection.
Why should we bother determining integrands for rational terms in QCD? After all, explicit expressions are known for the integrated results to leading order in [21, 22, 23, 24, 25, 26, 9]. The motivation for our analysis is twofold: first of all, our analysis gives the full integrand, which factorizes correctly into tree amplitudes and is valid to all orders in .^{1}^{1}1 The integrand of the allplus QCD amplitude has been conjectured to satisfy a curious “dimensionshifting” relation to the integrand of oneloop MHV amplitudes in SYM [27]. This relation is not manifest in our approach. This allorder integrand could be useful, for example, as input to determine higherloop integrands in QCD. Secondly, note that the recently found recursion relations [14, 28] for planar loopintegrands require a welldefined forward limit; this can be achieved in supersymmetric theories [13], but fails in nonsupersymmetric cases, for example for the oneminus amplitude QCD. Thus we regard our result for the oneminus integrands as a nontrivial step towards applying recursive techniques to integrands in nonsupersymmetric theories (see also [29]). Our integrands can therefore serve as valuable “data points” for looplevel recursive methods in QCD. A challenge that remains is the direct integration of the all integrands we construct. Both standard integral reduction and Badger’s method [10] are viable approaches. However, our integrands (and generalizations thereof) would be more useful if terms with spurious singularities could be integrated directly.
In the second part of the paper, we study SYM in its spontaneouslybroken phase, the Coulombbranch. Coulombbranch amplitudes have recently been studied (i) as an infrared regulator [30, 31, 32, 33, 34] for massless planar integrands in [35, 36, 37, 38], (ii) because they arise in the dimensional reduction of the massless maximally supersymmetric dimensional theory [39, 40, 41, 42, 43, 44], and (iii), in their own right, as the “simplest” massive field theory in 4 dimensions [45, 46, 47, 17, 18]. A direct construction of massive Coulombbranch tree amplitudes and loop integrands from massless onshell amplitudes was proposed in [17, 18]. It was shown in [18] that this construction implies a certain massive vertex expansion for Coulombbranch amplitudes, which we review in section 3.1. In this paper, we derive this expansion for tree amplitudes and loop integrands from recursion relations. Specifically, we use recursion relations based on an antiholomorphic allline shift [5, 7] (see also [48, 9]) to construct the diagrammatic expansion up to treelevel boundary terms. We then recursively construct the missing boundary terms from a holomorphic allline shift . In particular, our derivation provides a (somewhat indirect) proof of the softlimit construction of Coulombbranch amplitudes proposed in [17, 18].
We also study the supersymmetry properties of the massive vertex expansion on the Coulomb branch of SYM. We find that it manifestly preserves all antiholomorphic and half of the holomorphic supercharges of the Coulombbranch SUSY algebra, diagrambydiagram, even offshell. This matches the SUSY properties of the massless CSW expansion. As a consequence, any diagram with a selfenergytype subdiagram vanishes. This property greatly facilitates our looplevel derivation of the expansion, and reduces the number of diagrams that appear in the expansion of loop integrands. The massive vertex expansion procedure is wellsuited for automatization in computercodes, so this could be used to compute actual loop integrands and amplitudes on the Coulombbranch of SYM to all orders in the mass.
2 All integrands for rational terms in QCD
2.1 Review: rational terms from massive scalar amplitudes
It is well known that 1loop gluon amplitudes in pure YM can be decomposed into a sum of , , and scalar () amplitudes in the following way:
(2.1) 
where the superscript indicates what runs in the loop. The “scalar”label indices a complex scalar canonically coupled to the gluons.
Throughout this section, we focus on allplus and oneminus colorordered gluon amplitudes, and . These vanish in supersymmetric theories and by (2.1) can therefore be computed directly from the third term alone. In pure YangMills theory, only gluons run in the loop; with the prescription (2.1) the internal gluon is replaced by the complex scalar.
In massless QCD, flavors of massless “quarks” in the fundamental representation circulate in the loop in addition to the gluons. Hence the massless QCD gluon amplitude is related the the pure YM gluon amplitude by a factor of . We can thus perform the computation in pure YM and obtain the QCD result simply by multiplying the result by :
(2.2) 
Allplus and oneminus gluon amplitudes do not have any cutconstructible contributions in 4 dimensions, because the product of tree amplitudes in the cut loop integrand vanishes. To compute , one uses dimensional continuation to dimensions. The ()dimensional components of the loop momentum enter as an effective 4dimensional mass of the scalar field; is then integrated over with an appropriate measure as part of the dimensional loopmomentum integration:
(2.3) 
To compute allplus and oneminus gluon amplitudes it thus suffices to determine the 1loop integrand , which describes gluons interacting with a massive scalar running in the loop. The massive CSWstyle vertex expansion for gluons interacting with a massive scalar introduced in [15] will be used in our computation of . We review this massive vertex expansion approach now.
2.2 Review: the CSW expansion with a massive scalar
Scattering amplitudes for gluons interacting with a charged massive scalar can be computed conveniently from the massive CSW rules given in [15]. These rules can also be understood as a special case of the massive CSW expansion on the Coulomb branch of SYM [18], which we will derive in section 3. We emphasize that all momenta appearing in the CSW rules are strictly 4dimensional. When we apply the CSW expansion to the dimensionallyregulated QCD amplitudes, the dimensional components of the momenta arise only through the effective mass of the dimensional scalar particles. For the CSW diagrams of QCD gluon amplitudes, the massive particles only appear as internal lines, so we can use the conventional 4dimensional massless spinor helicity formalism for all external momenta (they are null!) and simply apply the usual CSW prescription
(2.4) 
for the internal lines. This rule is used for any internal line momentum in the CSW diagrams, whether it is massive or massless. The reference spinor appearing in this assignment can be chosen arbitrarily, but consistently for all internal lines. The sum of all contributing CSW diagrams must be independent of .
We can now state the CSW rules. Diagrams are built from vertices and scalar propagators. The scalar propagators are massless for gluon internal lines, and massive for scalar internal lines:
(2.5) 
There are 3 types of vertices in the massive CSW expansion:

Gluon MHV vertex: This vertex has two negativehelicity gluons and arbitrarily many positivehelicity gluons, and is given by the familiar ParkeTaylor expression [49]:
(2.6) 
Scalargluon MHV vertex: This vertex couples a pair of conjugate scalars to one negativehelicity gluon and arbitrarily many positivehelicity gluons:
(2.7) The angle spinors and associated with the scalars lines are defined via the CSW prescription (2.4).

Scalargluon ultrahelicityviolating (UHV) vertex: This couples a pair of conjugate scalars to arbitrarily many positivehelicity gluons:
(2.8) The UHV vertex contains an explicit factor of and therefore vanishes in the massless limit . Interpreting as the dimensional component of the loop momentum, it is obvious that diagrams with UHV vertices cannot be cutconstructible in 4 dimensions.
These massive CSW rules can be used to compute treelevel amplitudes for scalargluon interactions. At the level of the loop integrand their application is more subtle, but some progress was made in [16] at the 4 and 5point level using a singlecut construction. In [16], the reference spinor was chosen in a very particular way to argue that certain (divergent) diagrams in the loopintegrand expansion integrate to zero and can thus be dropped. In the current work, we will keep the reference spinor arbitrary at all times, because independence can then be used as a tool to verify the absence of spurious poles.
2.3 The allplus integrand
As a first application of the CSW rules to loop integrands, let us compute the allplus 1loop integrand in QCD for arbitrary . As explained in section 2.1, this amplitude can be computed from the contribution of a massive scalar running in the loop. The CSWtype diagrams needed are those involving only vertices with positivehelicity gluons as external states and massive scalars as internal lines. The diagrams are thus built from the UHV vertices (2.8) only. Each vertex must be a least cubic, so an point amplitude will consist of the sum of all diagrams with vertices. We use tadpoles to denote diagrams with a single vertex and a closed scalar loop. Tadpole diagrams with a UHV vertex are zero, because the numerator factor in (2.8) vanishes for .
To ensure that the loopmomentum is consistent between diagrams, we define as the momentum that flows between lines and ; clearly this is welldefined since the amplitude is colorordered. We define
(2.9) 
as convenient loopmomentum labels to be used in individual diagrams.
The sum over diagrams that contribute to the allplus integrand takes the schematic form
(2.10) 
Here, the factor of accounts for two charged states of the scalar, and the factor converts the pure YM integrand into a QCD integrand, as explained above. To illustrate the method, let us give an example of the value of one diagram that contributes to the 4point allplus integrand:
(2.11) 
with the CSWprescription understood.
One must add all possible diagrams of the type displayed in (2.10). Their sum can actually be written in a very compact way. To see this, we first remind the reader about the treelevel CSW amplitude computation of [18] in which a similar simplification occurred in the sum over all diagrams. Consider the treelevel amplitude
(2.12) 
whose CSWtype expansion is illustrated on the righthand side. The “+…” stands for sums of CSW diagrams with blobs. It was shown in [18] that the full set of diagrams in (2.12) can be summed to the compact expression^{2}^{2}2The amplitude that was actually computed in [18] involved a pair of massive bosons and is trivially related to the given scalar amplitude by supersymmetry.
(2.13) 
with . Here, the angle spinors and associated with external massive scalars are given by the CSW prescription, (2.4). Then note that the diagrams (2.10) of the allplus integrand are obtained by simply tying the massive scalar line of the above treeamplitude (2.12) into a loop. Thus we simply need to trace the result (2.13) over the twodimensional spinor space and relabel lines to find the all expression for the allplus integrand! The result is
(2.14) 
where we defined
(2.15) 
to subtract the term in the trace (2.14), because it does not correspond to any CSW diagram. The integrand (2.14) correctly factorizes into the tree amplitude (2.13) on the “single cut” of any loop propagator . As a further consistency check on the loop integrand, we have verified independence numerically for all .
In addition to the CSW integrand (2.14), one can also construct an equivalent “BCFWlike” integrand for the allplus amplitude. In fact, it is easy to guess this alternative form of the integrand from the all expression for the tree amplitude of [50, 17, 47] (see also [51, 52]). It takes the form
(2.16) 
This form of the amplitude was obtained using BCFW recursion relations.
This suggests proceeding as in the CSW case by ing the product in the BCFWform (2.16). This gives the following proposal for an alternative form of the allplus integrand:
(2.17) 
Indeed we have explicitly verified that the integrand (2.17) correctly factorizes into the tree amplitude (2.16) on the “single cut” of any loop propagator . Furthermore, we have numerically verified that
(2.18) 
for . These two integrands are thus expected to be literally identical, i.e. not even differ by terms that integrate to zero.^{3}^{3}3For example, at the fourpoint level, parityodd terms with a numerator integrate to zero because no four independent vectors are available to saturate the tensor. We will therefore drop the label ‘CSW’ or ‘BCFW’ on the integrands in the following.
Next we verify explicitly for that the allplus integrand presented here is equivalent to the known expressions for the allplus amplitude. Then we will move on to derive the oneminus integrand.
Explicit match to known expressions
We have matched the allplus integrand (2.14), (2.17) explicitly to expressions in the literature for
. For the interested reader, the details are given in appendix A; here, we will briefly summarize the results.
To match to known expressions, it is convenient to start with the integrand in the BCFW representation (2.17) and use the identity^{4}^{4}4 The subscript on indicates that the trace is taken with a chiral projection .
(2.19) 
with . For , the two traces in (2.19) cancel, and directly give
(2.20) 
even before integration! The vanishing of the allplus 1loop 3point amplitude is of course wellknown and thus anticipated.
Next we turn to the 4point allplus integrand. We find
(2.21) 
Here, ‘’ signifies that we dropped parityodd terms in the integrand which integrate to zero. This result, the box integral for , is wellknown in the literature [23].
Finally, let us treat the case. This time we cannot discard the parityodd contributions. Combining parityeven and nonvanishing parityodd terms we arrive at the following integrand
(2.22) 
The righthand side is equivalent to the 5point BCFW and CSW expressions (2.14) and (2.17) for after dropping several parityodd terms that integrate to zero, as explained in more detail in appendix A. The result (2.22) is a sum of five box integrals and a pentagon integral; this form is known in the literature [23]. Thus we have shown that for our integrand reproduces the known amplitudes.
2.4 The oneminus integrand
Let us now consider the integrand of the “oneminus” amplitude, , in QCD. This amplitude vanishes in supersymmetric gauge theories so, like the allplus amplitude, it only receives contributions from the scalar loop in the decomposition (2.1).
Naively, all the diagrams we need to consider for the oneminus integrand are given in figure 1. However, some of these diagrams are divergent, namely the external bubble diagrams in figure 1(iii) and some of the tadpoles diagrams in figure 1(iv). The tadpole contributions are harmless as argued in [12], and we will simply drop them. Our analysis below verifies that no tadpolelike correction terms need to be added to the integrand to ensure independence. The external bubble diagrams 1(iii) involve bubbles on external lines, and they are divergent because they involve an onshell internal propagator. Thus we have to be more careful, and we now discuss the approach.
2.4.1 External bubble contributions
Unlike the allplus integrand, the computation of the oneminus integrand faces a major obstacle: the oneminus integrand receives contributions from diagrams with an external massless bubble. These external bubble diagrams are divergent and must be “amputated”. In conventional gauges, say Feynman gauge, this amputation is straightforward because external bubbles correspond to massless bubble integrals that integrate to zero in dimensional regularization. Amputation thus simply amounts to dropping all diagrams with bubbles on the external lines. In the CSW diagrammatic rules, however, the external bubble diagrams depicted in Figure 1(iii) contain spurious poles in the loop momentum of the form , and therefore do not necessarily integrate to zero. As a consequence, naively dropping all divergent tadpole and externalbubble contributions gives a wrong integrand that contains spurious poles.
To deal with this problem, we follow a twostep strategy:

We first write down the naive integrand that is simply the sum of all finite, nondivergent diagrams contributing to the CSW expansion of the integrand. These diagrams are illustrated in Figure 1(i) and (ii). In the CSW expansion, all diagrams are finite if they contain at least two propagators of loop momenta , that are nonadjacent, . Therefore, correctly reproduces all (dimensional) bubble cuts of two such nonadjacent loop momenta. In particular, all triangle, box and pentagon cuts are also correctly reproduced from . However, it still contains spurious poles; these are present in cuts of two adjacent loop momenta, and .

We determine a correction term that satisfies two crucial properties:

removes the spurious dependence from , so that is independent of and thus free of spurious poles.

vanishes on any cut of two nonadjacent loop propagators; therefore, can be written as a sum over terms that each contain two adjacent loop propagators, .
should be interpreted as the finite parts hidden in the divergent externalbubble diagrams of Figure 1(iii) that are needed to render the integrand independent.

Below, we will determine a with these properties. We then claim that
(2.23) 
is the correct integrand of the oneminus amplitude. Indeed, only contains physical poles and factorizes correctly on all dimensional bubble cuts of two loop momenta , that are nonadjacent, . In the absence of spurious poles, the only remaining ambiguity are terms proportional to adjacentline bubble and tadpole integrals; but such dimensional integrals have no scale and vanish in dimensional regularization! It follows that determined by the twostep strategy gives the correct oneminus amplitude.
2.4.2 Explicit all integrand
We now carry out the twostep strategy explicitly to determine for any number of external legs .
Step 1 is straightforward; there are two types of finite diagrams contributing to . The ring diagrams, which are schematically displayed in Figure 1(i), consist of a ring of vertices, all of which are UHV except for one MHV vertex containing the negativehelicity line 1. The entire contribution from ring diagrams can be combined into the following compact expression:
(2.24) 
Expanding the product over reproduces each individual ring diagram in the CSW expansion.
The second contribution comes from subtree diagrams, consisting of a ring of UHV vertices that is connected via a propagator to an MHV vertex that contains line 1. This contribution is illustrated in Figure 1(ii). The computation of the “ring” part of these diagrams coincides with our analysis for the allplus integrand in section 2.3. We find,
(2.25) 
where
(2.26) 
The range of and in the sum is chosen such that and are nonadjacent. As is an offshell momentum, the CSW prescription is understood for all occurrences of in the CSW allplus integrand , defined in (2.14). The naive integrand is the sum of the ring and subtree contributions,
(2.27) 
As it stands, the integrand factorizes correctly on dimensional pentagon, box, triangle, and nonadjacent bubble cuts. However, it contains uncanceled spurious singularities of the form and with , where the depend on the reference through the CSW prescription (2.4). This is not surprising, considering that we have dropped the (divergent) external bubble contributions displayed in Figure 1(iii) that contain such spurious singularities.
We now proceed with step 2 of the above strategy, and try to determine a correction term that cancels the spurious dependence in without spoiling its crucial factorization properties. We make the ansatz
(2.28) 
where the residues of the double and single spurious poles in are controlled by the kinematic coefficients and . These coefficients are highly constrained by littlegroup properties and are not allowed to contain any dependent denominator factors. A numeric analysis gives the following solution:
(2.29) 
While not obvious, indeed cancels all spurious poles in the naive integrand, rendering it independent.^{5}^{5}5We could of course shift by any independent function that does not spoil factorization properties, e.g. we could shift , where is a function of of and , with only polynomial dependence on the . However, such a shift term is proportional to a scaleless integral and thus does not affect the amplitude. It integrates to zero. In summary, the point oneminus integrand is given by
(2.30) 
We have performed various checks on the correctness of the integrand (2.30). Specifically, we have numerically verified independence of the integrand for . For , we have gone further and explicitly reexpressed the integrand in a manifestly independent form. We have then performed integral reduction on this form and matched it to the result of Bern and Morgan [23],
(2.31) 
Here, is a box integral in dimensions, while , and are bubble, triangle and box integrals in dimensions (see [23] for a precise definition). To match to the integrand in (2.31), we dropped terms that integrate to zero.
3 CSW expansion for Coulombbranch amplitudes in Sym
In this section, we derive the massive CSW expansion for Coulombbranch amplitudes in SYM that was proposed in [18]. We first briefly review SYM theory on the Coulomb branch and the proposed CSW expansion. We then examine the supersymmetric properties of the massive CSW rules. Finally, we present a proof of the expansion.
3.1 Review: SYM on the Coulomb branch and its massive CSW expansion
We consider SYM with gauge group . The simplest way to move onto the Coulombbranch is to give vevs to a subset of the scalars,
(3.1) 
Here and in the following we suppress all coupling dependence, effectively setting . These vevs break the gauge group spontaneously to , and the symmetry group as . They also split the states into a massless and a massive sector. The massless sector contains the gluons , fermions , and scalars , where are Rsymmetry indices. The massive sector contains fields of mass that are bifundamental with respect to , consisting of bosons, scalars , and fermions . The conjugate particles in the bifundamental of have mass parameter . Table 1 summarizes the massless and massive states, their polarizations and wave functions, and how they correspond to each other.
massless fields  massive fields  wave functions  
gluons / boson:  ,  ,  
scalar / boson:  
scalars:  , , , ,  , , , ,  
fermions:  , 
The Coulomb branch of SYM can be interpreted as arising from dimensional reduction of massless SYM in 6 dimensions. In this interpretation, the mass parameters of particles are related to momenta in the extra dimensions, . The external particles of any nonvanishing Coulombbranch amplitude must satisfy
(3.2) 
For simplicity, we will take the to be real (but either +ve or ve) in the following and refer to them as “masses”.
The massive spinorhelicity formalism
A convenient way to express amplitudes on the Coulombbranch of SYM is the massive spinorhelicity formalism [53, 54].^{6}^{6}6
We use the conventions in [9, 55].
One decomposes a massive onshell momentum of mass in terms of a pair of null vectors, a reference null and the null projection , viz.
(3.3) 
Since and are null vectors, there are associated spinors , such that
(3.4) 
For massive vector bosons, the spinors and allow us to define a convenient basis of polarization vectors:
(3.5) 
In the following we will denote this basis of polarization vectors as “helicity basis”. For example, vector bosons with polarizations and have helicity and , respectively. It is convenient to use the spinor also as the reference spinor in the CSW expansion.
MHVclassification
The familiar NMHV classification of massless SYM amplitudes has to be augmented when applied to
Coulomb branch amplitudes. Each of the two sectors of the unbroken Rsymmetry has an NMHV classification with nonvanishing amplitudes for (ultrahelicity violating, UHV), (MHV), (NMHV) etc.^{7}^{7}7For the case of massless amplitudes in SYM, the amplitudes with vanish; they correspond to the sectors of allplus or oneminus amplitudes. In
the
massive spinor helicity formalism where the same reference vector is used for all states, the allplus amplitudes
still
vanish, but the UHV amplitudes with are nonvanishing. Thus we classify the massive Coulombbranch amplitudes as UHVUHV, UHVMHV, MHVMHV etc. When no confusion
is possible,
we will
refer to UHVUHV and MHVMHV as the UHV and MHV sectors, respectively.
Softlimit construction of massive amplitudes from massless amplitudes
In [17, 18], it was proposed that massive Coulombbranch onshell amplitudes can be expressed in terms of massless amplitudes at the origin of moduli space. Nontrivial evidence for this proposal was presented in [17] at leading order, and in [18] to all orders. We now review the details of this proposal, for the special case of Coulombbranch treelevel scattering of two adjacent massive bosons , with an arbitrary number of additional massless particles. Such an amplitude can be expressed in terms of massless amplitudes as
(3.6) 
where the represent arbitrary further massless particles in the amplitude. Some elaborations on the proposal (3.6) are in order:

The polarizations of the bosons on the lefthand side are chosen in the helicity basis (3.5). The massless gluons , have the corresponding massless helicity.

The massless gluons , on the righthand side have momenta that are related to the massive momenta of the bosons via (3.3).

The reference vector is subject to the constraint
(3.7) which ensures momentum conservation on the righthand side, . For the twomass case at hand, (3.7) is equivalent to the simple orthogonality condition .

The scalar is a massless soft scalar of momentum whose Rsymmetry structure is oriented in the Coulombbranch vev direction, . In our case, we thus have
(3.8) 
The subscript ‘sym’ denotes a symmetrization of the vev scalars in their momenta before taking the collinear limit . This sum over permutations ensures that they are “unordered” particles in the massless partial amplitudes, which befits a vev scalar that must live in the Cartan subalgebra and thus commute with itself. The symmetrization ensures that the the righthand side of (3.6) is finite in the collinear limit .
It was shown in [18], that the multisoft limit in (3.6) is welldefined, i.e. it is free of collinear and soft divergences. It was also shown that the proposal (3.6), and its generalization to amplitudes and loop integrands with arbitrarily many massive particles, implies a massive CSW vertex expansion, which we now review.
Massive CSW rules
In [18], it was shown that the softlimit construction detailed above is equivalent to a massive CSW expansion for Coulombbranch
amplitudes in the helicity basis. We now review the diagrammatic rules of this expansion.
The propagators in the massive CSW expansion are conventional massive scalar propagators:
(3.9) 
Just like momentum is conserved at each vertex, the mass parameters also sum to zero at each vertex; therefore, the internal mass is given by the sum of masses of the other lines at the left or right vertex. Of course, (3.9) includes massless propagators as a special case when .
There are three types of vertices in the expansion:

The first vertex is the conventional MHV vertex, with perp’ed spinors:
(3.10) 
The second vertex is an ultrahelicityviolating (UHV) vertex:
(3.11) The kinematic prefactor is given by
(3.12) for arbitrary reference spinor . In fact, using it is easy to see that is independent of the choice of [18]. The vertex (3.11) is and thus not present for massless amplitudes.
The vertex (3.11) generalizes the UHV vertices (2.8) that we encountered in the scalarvector theory; in fact, a short computation shows that, with and for , we can reproduce the vertex (2.8) by projecting out a pair of conjugate scalars on lines and :
(3.13) In particular, all dependence on the holomorphic reference spinor cancels in this case.

Finally, there is a third vertex, which breaks the Rsymmetry . This “MHVUHV vertex” has the structure of the MHV vertex (3.10) with respect to one of the two factors in , and the structure of the UHV vertex (3.11) with respect to the other . Explicitly,
(3.14) where is given by (3.12). The subscripts on the Grassmann functions indicate which of the two factors of the function ‘lives in’.
An example for an amplitude computed from these rules is the scattering of two bosons of mass with arbitrarily many massless gluons ,
(3.15) 
where we denoted <