One-loop MHV Rules and Pure Yang-Mills
QMUL-PH-07-09
One-loop MHV Rules and Pure Yang-Mills
Andreas Brandhuber, Bill Spence, Gabriele Travaglini and Konstantinos Zoubos1
Centre for Research in String Theory
Department of Physics
Queen Mary, University of London
Mile End Road, London, E1 4NS
United Kingdom
Abstract
It has been known for some time that the standard MHV diagram formulation of perturbative
Yang-Mills theory is incomplete, as it misses rational terms in one-loop scattering amplitudes
of pure Yang-Mills. We propose that certain Lorentz violating counterterms, when expressed
in the field variables which give rise to standard MHV vertices, produce precisely these
missing terms. These counterterms appear when Yang-Mills is treated with a regulator,
introduced by Thorn and collaborators, which arises in worldsheet formulations of Yang-
Mills theory in the lightcone gauge. As an illustration of our proposal, we show that a
simple one-loop, two-point counterterm is the generating function for the infinite sequence
of one-loop, all-plus helicity amplitudes in pure Yang-Mills, in complete agreement with
known expressions.
1{a.brandhuber, w.j.spence, g.travaglini, k.zoubos}@qmul.ac.uk
http://arxiv.org/abs/0704.0245v2
Contents
1 Introduction 1
2 Background 3
2.1 The classical MHV Lagrangian . . . . . . . . . . . . . . . . . . . . . . . . . 3
2.2 A four–dimensional regulator for lightcone Yang–Mills . . . . . . . . . . . . . 6
2.3 The one–loop (++++) amplitude . . . . . . . . . . . . . . . . . . . . . . . . 11
3 The all-plus amplitudes from a counterterm 12
3.1 Mansfield transformation of LCT . . . . . . . . . . . . . . . . . . . . . . . . . 13
3.2 The four–point case . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
3.3 The general all–plus amplitude . . . . . . . . . . . . . . . . . . . . . . . . . 22
4 Discussion 27
A Notation 29
B Details on the four–point calculation 31
1 Introduction
One of the success stories arising from twistor string theory [1] (see [2] for a review) has
been the development of new techniques in perturbative quantum field theory. These include
recursion relations [3, 4], generalised unitarity [5] and MHV methods (see [6] for a review).
One of the key motivations of this work is to provide new approaches to study and derive
phenomenologically relevant scattering amplitudes. In particular, this requires that one be
able to deal with non-supersymmetric theories, and to include fermions, scalars, and particles
with masses. A vital first step is to apply these new methods to pure Yang-Mills (YM) theory,
and indeed, some of the first new results inspired by twistor string theory involved pure YM
amplitudes at tree- [7, 8, 9, 10, 11, 12, 13, 14] and one-loop [15] level.
A recalcitrant issue in this work is the derivation of rational terms in quantum amplitudes.
Unitarity-based techniques [16] and loop MHV methods [17] are successful in obtaining the
cut-constructible parts of amplitudes; essentially this is because at some level they are dealing
with four-dimensional cuts. In principle performing D-dimensional cuts generates all parts
of amplitudes [18, 19, 20, 21] as long as only massless particles are involved, however these
techniques still appear to be relatively cumbersome. Combinations of recursive techniques
and unitarity have led to important progress recently [22, 23, 24, 25, 26, 27, 28, 29, 30, 31],
but it would be preferable to have a more powerful prescriptive formulation, particularly
keeping in mind that applications to more general situations are sought.
A promising development from this point of view is the Lagrangian approach [32, 33, 34].
Here it has been argued that lightcone Yang-Mills theory, combined with a certain change
of field variables, yields a classical action which comprises precisely the MHV vertices. A
full Lagrangian description of MHV techniques would in principle give a prescription for
applying such methods to diverse theories. The next step in developing this is to understand
the quantum corrections in this Lagrangian approach. If one directly uses in a path integral
the classical MHV action, containing only purely four-dimensional MHV vertices, then it
is immediately clear that this cannot yield all known quantum amplitudes. For example,
there is no way to construct one-loop amplitudes where the external gluons all have positive
helicities, or where only one gluon has negative helicity, as all MHV vertices contain two
negative helicity particles (this issue has been recently discussed in [35]). These amplitudes
are particular cases where the entire amplitude consists of rational terms. More generally,
it seems clear that the vertices of the classical MHV Lagrangian will not yield the rational
parts of amplitudes, but only the cut-constructible terms [15]. Important insights into this
question can be obtained from the study of self-dual Yang-Mills theory, which has the same
all-plus one-loop amplitude of full YM [36, 37, 38] as its sole quantum correction.1 An
example, relevant to the discussion in this paper, is given in [35] where it was shown how
these amplitudes might be obtained from the Jacobian arising from a Bäcklund-type change
of variables which takes the self-dual Yang-Mills theory to a free theory.
A discussion of the full Yang-Mills theory in the lightcone gauge has recently been given
by Chakrabarti, Qiu and Thorn (CQT) in [39, 40, 41]. These papers employ an interesting
regularisation which, importantly, does not change the dimension of spacetime. For this
reason, we find it particularly suitable for setting the scene for the MHV diagram method,
which is inherently four-dimensional in current approaches. The regularisation of CQT
requires the introduction of certain counterterms, which prove to be rather simple in form.
What we will show in this paper is that these simple counterterms provide a very compact
and powerful way to represent the rational terms in gauge theory amplitudes; specifically,
we will demonstrate that the single two-point counterterm contains all the n-point all-plus
amplitudes. The way this happens is through the use of the new field variables of [32, 33, 34].
Other counterterms will combine with vertices from the Lagrangian and should generate the
rational parts of more general amplitudes. Based on the discussion in this paper, we propose
1In real Minkowski space, this is in fact its single non-vanishing amplitude.
that the counterterms, expressed in the field variables which give rise to standard MHV
vertices, in combination with Lagrangian vertices, generate the rational terms previously
missing from MHV diagram formulations.
The rest of the paper is organised as follows. After giving some background material in
section 2, we explicitly derive in section 3 the four point all-plus amplitude from the two-
point counterterm of CQT. We follow this by showing that the n-point expression, obtained
by writing the counterterm in new variables, has precisely the right collinear and soft limits
required for it to be the correct all-plus n-point amplitude. We present our conclusions in
section 4, and our notation and derivations of certain identities have been collected in two
appendices.
2 Background
In this section, we first review the classical field redefinition from the lightcone Yang–
Mills Lagrangian to the MHV–rules Lagrangian. We then move on to motivate the four–
dimensional regularisation scheme we will employ, and argue that it leads directly to the
introduction of a certain Lorentz–violating counterterm in the Yang–Mills Lagrangian. We
close the section with the remarkable observation that this counterterm provides a simple way
to calculate the four–point all-plus one–loop amplitude using only tree–level combinatorics.
2.1 The classical MHV Lagrangian
It seemed clear from the beginning that the MHV diagram approach to Yang-Mills theory
must be closely related to lightcone gauge theory. This idea was substantiated by Mansfield
[33] (see also [32]). The starting point of [33] is the lightcone gauge-fixed YM Lagrangian
for the fields corresponding to the two physical polarisations of the gluon. It was argued
convincingly in [33] that a certain canonical change of the field variables re-expresses this
lightcone Lagrangian as a theory containing the infinite series of MHV vertices. Some of
the arguments in [33] were rather general; these were reviewed in [34], where the change of
variables was discussed in more detail, and in particular it was shown how the four- and
five-point MHV vertices arise from the change of variables. In this paper we will mainly
follow the notation of [34].
The general structure of the lightcone YM Lagrangian, after integrating out unphysical
degrees of freedom, is (see appendix A for more details)
LYM = L+− + L++− + L−−+ + L++−− , (2.1)
where the gauge condition is ηµAµ = 0 with the null vector η = (1/
2, 0, 0, 1/
2). Since this
Lagrangian contains a + +− vertex, it is not of MHV type. In [33], Mansfield proposed to
eliminate this vertex through a suitably chosen field redefinition. Specifically, he performed
a canonical change of variables from (A, Ā) to new fields (B, B̄), in such a way that
L+−(A, Ā) + L++−(A, Ā) = L+−(B, B̄) . (2.2)
The remarkable result is that upon inserting this change of variables into the remaining two
vertices, the Lagrangian, written in terms of (B, B̄), becomes a sum of MHV vertices,
LYM = L+− + L+−− + L++−− + L+++−− + . . . . (2.3)
The crucial property of Mansfield’s transformation that makes this possible is that, while
both A and Ā are series expansions in the new B fields, A has no dependence on the B̄
fields while Ā turns out to be linear in B̄. Thus, since the remaining vertices are quadratic
in the B̄, the new interaction vertices have the helicity configuration of an MHV amplitude.
Mansfield was also able to show that the explicit form of the vertices coincides with the
CSW off-shell continuation of the Parke-Taylor formula for the MHV scattering amplitudes,
as proposed by [7].
One of the main results of [34] was the derivation of an explicit, closed formula for the
expansion of the original fields (A, Ā) in terms of the new fields (B, B̄). This was then used
to verify that the new vertices are indeed precisely the MHV vertices of [7], at least up to
the five-point level. We will now briefly review these results. First, recall that the positive
helicity field A is a function of the positive helicity B field only. It is expanded as follows:
A(~p ) =
(2π)3
∆(~p , ~p
, . . . ~p
) Y(~p ; 1 · · ·n) B(~p 1)B(~p 2) · · ·B(~p n) , (2.4)
where ∆(~p , ~p 1, . . . ~p n) := (2π)3δ(3)(~p − ~p 1 − · · · − ~p n). Note that the x− coordinate is
common to all the fields, which is why we have restricted the transformation to the lightcone
quantisation surface Σ.
By inserting this expansion into (2.2) and using the requirement that the transforma-
tion be canonical, Ettle and Morris succeeded in deriving a very simple expression for the
coefficients Y. After translating to our conventions (see appendix A), they are given by:
Y(~p ; 12 · · ·n) = (
2ig)n−1
〈12〉〈23〉 · · · 〈n− 1, n〉 . (2.5)
The first few terms in (2.4) are then:
A(~p ) =B(~p ) +
2igp+
d3p1d3p2
(2π)3
δ(3)(~p − ~p 1 − ~p 2)
〈12〉 B(~p
)B(~p
− 2g2p+
d3p1d3p2d3p3
(2π)6
δ(3)(~p − ~p 1 − ~p 2 − ~p 3)
〈12〉〈23〉 B(~p
1)B(~p 2)B(~p 3)
+ · · · .
(2.6)
Similarly, one can write down the expansion of the negative helicity field Ā, which, as
discussed above, is linear in B̄, but is an infinite series in the new field B. In [34] it was
shown that the coefficients in the expansion of Ā are very closely related to those for A.2
The expansion of B̄ turns out to be simply
Ā(~p ) =−
(2π)3
∆(~p , ~p
, . . . , ~p
(ps+)
(p+)2
Y(~p ; 1 · · ·n) B(~p 1)· · ·B̄(~p s)· · ·B(~p n)
(2π)3
∆(~p , ~p 1, . . . , ~p n)
(p+)2
Y(~p ; 1 · · ·n)
(ps+)
2 B(~p
) · · · B̄(~p s) · · ·B(~p n) .
(2.7)
Thus we see that at each order in the expansion, we need to sum over all possible positions
of B̄. Explicitly, the first few terms are:
Ā(~p ) = B̄(~p )−
d3p1d3p2
(2π)3
δ(3)(~p − ~p 1 − ~p 2) 1
〈12〉×
(p1+)
2B̄(~p 1)B(~p 2) + (p2+)
2B(~p 1)B̄(~p 2)
+ 2g2
d3p1d3p2d3p3
(2π)6
δ(3)(~p − ~p 1 − ~p 2 − ~p 3) 1
〈12〉〈23〉×
(p1+)
2B̄(~p 1)B(~p 2)B(~p 3)+(p2+)
2B(~p 1)B̄(~p 2)B(~p 3)+(p3+)
2B(~p 1)B(~p 2)B̄(~p 3)
+ · · ·
(2.8)
Using the above results, it is in principle straightforward to derive the terms that arise on
inserting the Mansfield transformation into the two remaining vertices of the theory. For
the simplest cases, one can see explicitly that these combine to produce MHV vertices, and
some arguments were also given in [33, 34] that this must be true in general.
In supersymmetric theories, the MHV vertices are enough to reproduce complete scat-
tering amplitudes at one loop [43]. However, as we mentioned earlier, for pure YM it is
clear that the terms in the MHV Lagrangian (2.3) will not be enough to generate complete
quantum amplitudes. For instance, the scattering amplitude with all gluons with positive
helicity, which at one loop is finite and given by a rational term, cannot be obtained by only
using MHV diagrams, for the simple reason that one cannot draw any diagram contributing
to it by only resorting to MHV vertices.3 Another amplitude which cannot be derived within
conventional MHV diagrams is the amplitude with only one gluon of negative helicity. Simi-
larly to the all-plus amplitude, this single-minus amplitude vanishes at tree level, and at one
loop is given by a finite, rational function of the spinor variables.
2This is perhaps easiest to see [42] by considering that, in the context of N = 4 SYM, A and B are part
of the same lightcone superfield.
3On the other hand, it was shown in [35] that the parity conjugate all-minus amplitude is correctly
generated by using MHV diagrams.
The lesson we learn from this is that, in order to apply the MHV method to derive
complete amplitudes in pure YM, one should look more closely at the change of variables
in the full quantum theory. There are several possible subtleties one should pay careful
attention to at the quantum level. First of all, it is possible that the canonical nature of the
transformation is not preserved, leading to a non–trivial Jacobian which could provide the
missing amplitudes. Another possible source of contributions could come from violations of
the equivalence theorem. This theorem states that, although correlation functions of the
new fields are in general different from those of the old fields, the scattering amplitudes
are actually the same4, as long as the new fields are good interpolating fields. These issues
were explored in some detail in [35] (see also [34, 42]) where it was shown, for a different
(non-canonical) field redefinition, how a careful treatment of these effects can combine to
reproduce some of the amplitudes that would seem to be missing at first sight.
Another aim of [35] was to demonstrate how to reproduce one of the above–mentioned
rational amplitudes, the one with all–minus helicities, in the MHV formalism. This amplitude
is slightly less mysterious than the all–plus amplitude in the sense that one can write down
the contributing diagrams using only MHV vertices; however a calculation without a suitable
regulator in place would give a vanishing answer, despite the fact that this amplitude is finite.
In [35], it was shown, using dimensional regularisation, that the full nonzero result arises
from a slight mismatch between four– and D (= 4− 2ǫ)–dimensional momenta.
It is natural therefore to expect that dimensional regularisation will be helpful also for
the problem at hand, which is to recover the rational amplitudes of pure Yang–Mills after
the Mansfield transformation. Decomposing the regularised lightcone Lagrangian into a pure
four-dimensional part and the remaining ǫ–dependent terms, and performing the transfor-
mation on the four-dimensional part only, will give rise to several new ǫ–dependent terms
that can potentially give finite answers when forming loops.
Although this approach shows promise, it is not the one we will make use of in the fol-
lowing. Instead, motivated by the fact that the Mansfield transformation seems to be deeply
rooted in four dimensions, we would like to look for a purely four–dimensional regularisation
scheme. We now turn to a review of the particular scheme we will use.
2.2 A four–dimensional regulator for lightcone Yang–Mills
In the above we explained why a näıve application of the Mansfield transform leads to puzzles
at the quantum level, and discussed possible ways to improve the situation. The conclusion
was that, since the missing amplitudes arise from subtle mismatches in regularisation, one
should be careful to perform the Mansfield transform on a suitably regularised version of
the lightcone Yang–Mills action. Here we will review one approach to the regularisation of
lightcone Yang–Mills, which, despite several slightly unusual features, appears to be ideally
4Modulo a trivial wave-function renormalisation.
suited for the problem at hand.
The regularisation we propose to use is inspired by recent work of CQT [39, 40, 41] on
Yang–Mills amplitudes in the lightcone worldsheet approach [44, 45]. This is an attempt
to understand gauge–string duality which is similar in spirit to ’t Hooft’s original work on
the planar limit of gauge theory [46], and aims at improving on early dual model techniques
[47, 48]. We recall that one of the main goals in those works is to exhibit the string worldsheet
as made up of very large planar diagrams (“fishnets”).
In their recent work, Thorn and collaborators make this statement more precise, using
techniques that were unavailable when the original ideas were put forward. It is hoped that,
by understanding how to translate a generic Yang–Mills planar diagram to a configuration
of fields (with suitable boundary conditions) on the lightcone worldsheet, it will eventually
become possible to perform the sum of all these diagrams. This approach to gauge–string
duality is thus complementary to that using the AdS/CFT correspondence.
The field content and structure of the worldsheet theory dual to Yang–Mills theory is
rather intricate (see e.g. [45]), but for our purposes the details are not important. What is
most relevant for us is that one of the principles of this approach is that all quantities on
the Yang–Mills side should have a local worldsheet description. This includes the choice of
regulator that needs to be introduced when calculating loop diagrams. This requirement led
Thorn [49] (see also [50, 51]) to introduce an exponential UV cutoff, which we will discuss
in a short while.
Since one of the goals of this programme is to translate an arbitrary planar diagram
into worldsheet form (and eventually calculate it), it is an important intermediate goal to
understand how to do standard Yang–Mills perturbation theory in “worldsheet–friendly”
language. In [39, 40, 41] CQT do exactly that for the simplest case, that of one–loop
diagrams in Yang–Mills theory, by analysing how familiar features like renormalisation are
affected by the unusual regularisation procedure and other special features of the lightcone
worldsheet formalism.
To conclude this brief overview of the lightcone worldsheet formalism, the main point for
our current purposes is that it provides motivation and justification for a slightly unusual
regularisation of lightcone Yang–Mills, which we will now describe.
Let us momentarily focus on the self–dual part of the lightcone Yang–Mills Lagrangian:
L = L−+ + L++− = −Az̄�Az + 2ig[Az, ∂+Az̄](∂+)−1(∂z̄Az) . (2.9)
This action provides one of the representations of self-dual Yang-Mills theory. After trans-
forming to momentum space, we find that the only vertex in the theory is the following
(suppressing the gauge index structure):
A2 A1
= −2g
[p1+p
z̄ − p2+p1z̄] = −
[12] . (2.10)
As for propagators, following [40], we will use the Schwinger representation:
dTe+Tp
. (2.11)
In (2.11) p2 is understood to be the appropriate (p2 < 0) Wick rotated version of the
Minkowski space inner product. For our choice of signature, the latter is
p · q = p+q− + p−q+ − p · q = p+q− + p−q+ − (pzqz̄ + pz̄qz) , (2.12)
so that p2 = 2(p+p− − pzpz̄).
We will also make use of the dual or “region momentum” representation, where one
assigns a momentum to each region that is bounded by a line in the planar diagram. By
convention, the actual momentum of the line is given by the region momentum to its right
minus that on its left, as given by the direction of momentum flow5. Clearly such a pre-
scription can only be straightforwardly implemented for planar diagrams, which is the case
considered in [40]. This is also sufficient for our purposes, since we are calculating the lead-
ing single–trace contribution to one–loop scattering amplitudes. Non–planar (multi–trace)
contributions can be recovered from suitable permutations of the leading–trace ones (see
e.g. [52]).
To demonstrate the use of region momenta, a sample one–loop diagram is pictured in
Figure 1.
Figure 1: A sample one–loop diagram indicating the labelling of region momenta. The
outgoing leg momenta are p1 = k1 − k4 , p2 = k2 − k1 , p3 = k3 − k2 , p4 = k4 − k3, while
the loop momentum (directed as indicated) is l = q − k1.
5In [40] the flow of momentum is chosen to always match the flow of helicity, but we will not use this
convention.
The “worldsheet–friendly” regulator that CQT employ is simply defined as follows [49]:
For a general n–loop diagram, with qi being the loop region momenta, one simply inserts an
exponential cutoff factor
exp(−δ
q2i ) (2.13)
in the loop integrand, where δ is positive and will be taken to zero at the end of the calcula-
tion. This clearly regulates UV divergences (from large transverse momenta), but, as we will
see, has some surprising consequences since it will lead to finite values for certain Lorentz–
violating processes, which therefore have to be cancelled by the introduction of appropriate
counterterms.
Note that q2 = 2qzqz̄ has components only along the two transverse directions, hence it
breaks explicitly even more Lorentz invariance than the lightcone usually does. This might
seem rather unnatural from a field-theoretical point of view, however it is crucial in the
lightcone worldsheet approach. Indeed, the lightcone time x− and x+ (or in practice its
dual momentum p+) parametrise the worldsheet itself, and are regulated by discretisation;
thus, they are necessarily treated very differently from the two transverse momenta qz, qz̄
which appear as dynamical worldsheet scalars. Fundamentally, this is because of the need
to preserve longitudinal (x+) boost invariance (which eventually leads to conservation of
discrete p+). The fact that the regulator depends on the region momenta rather than the
actual ones is a consequence of asking for it to have a local description on the worldsheet.
The main ingredient for what will follow later in this paper is the computation of the
(++) one–loop gluon self–energy in the regularisation scheme discussed earlier. This is
performed on page 10 of [40], and we will briefly outline it here. This helicity–flipping
gluon self–energy, which we denote by Π++, is the only potential self–energy contribution in
self–dual Yang–Mills; in full YM we would also have Π+− and, by parity invariance, Π−−.
There are two contributions to this process, corresponding to the two ways to route
helicity in the loop, but they can be easily shown to be equal so we will concentrate on one
of them, which is pictured in Figure 2.
Figure 2: Labelling of one of the selfenergy diagrams contributing to Π++.
In Figure 2, p,−p are the outgoing line momenta, l is the loop line momentum, and
k, k′, q are the region momenta, in terms of which the line momenta are given by
p = k′ − k, l = q − k′ . (2.14)
Remembering to double the result of this diagram, we find the following expression for
the self–energy:
Π++ =8g2N
(2π)4
−(p + l)+
(p+lz̄ − l+pz̄)
l2(p+ l)2
(−p+)(p+ l)+
((−p+)(pz̄ + lz̄)− (p+ + l+)(pz̄))
(p+)2
(p+lz̄ − l+pz̄)(p+(pz̄ + lz̄)− (p+ + l+)pz̄)
l2(p + l)2
(2.15)
Although we are suppressing the colour structure, the factor of N is easy to see by thinking
of the double–line representation of this diagram6. One of the crucial properties of (2.15)
is that the factors of the loop momentum l+ coming from the vertices have cancelled out,
hence there are no potential subtleties in the loop integration as l+ → 0. This means that,
although for general loop calculations one would have to follow the DLCQ procedure and
discretise l+ (as is done for other processes considered in [39, 40, 41]), this issue does not
arise at all for this particular integral, and we are free to keep l+ continuous.
To proceed, we convert momenta to region momenta, rewrite propagators in Schwinger
representation, and regulate divergences using the regulator (2.13). Employing the unbroken
shift symmetry in the + region momenta to further set k+ = 0, (2.15) can be recast as:
Π++ =
dT1dT2
(k′+)
eT1(q−k)
2+T2(q−k
′)2−δq2×
k′+(qz̄ − k′z̄)− (q+ − k′+)(k′z̄ − kz̄)
k′+(qz̄ − kz̄)− q+(k′z̄ − kz̄)
(2.16)
Since q− only appears in the exponential, the q− integration will lead to a delta function
containing q+, which can be easily integrated and leads to a Gaussian–type integral for qz, qz̄.
Performing this integral, we obtain (setting T = T1 + T2, x = T1/(T1 + T2))
Π++ =
dT δ2
[xkz̄ + (1− x)k′z̄]2
(T + δ)3
eTx(1−x)p
2− δT
(xk+(1−x)k′)2 . (2.17)
Notice that, had we not regularised using the δ regulator, we would have obtained zero at
this stage. Instead, now we can see that there is a region of the T integration (where T ∼ δ)
that can lead to a nonzero result. On performing the T and x integrations, and sending δ
to zero at the end, we obtain the following finite answer:
Π++ = 2
(kz̄)
2 + (k′z̄)
2 + kz̄k
. (2.18)
6 For simplicity, we take the gauge group to be U(N).
Notice that this nonvanishing, finite result violates Lorentz invariance, since it would
imply that a single gluon can flip its helicity. Also, it explicitly depends on only the z̄
components of the region momenta. Such a term is clearly absent in the tree-level Lagrangian
(unlike e.g. the Π+− contribution in full Yang–Mills theory), thus it cannot be absorbed
through renormalisation – it will have to be explicitly cancelled by a counterterm. This
counterterm, which will play a major rôle in the following, is defined in such a way that:
+ = 0 , (2.19)
in other words it will cancel all insertions of Π++, diagram by diagram. Let us note here
that, had we been doing dimensional regularisation, all bubble contributions would vanish
on their own, so there would be no need to add any counterterms. So this effect is purely
due to the “worldsheet–friendly” regulator (2.13).
It is also interesting to observe that in a supersymmetric theory this bubble contribution
would vanish7 so this effect is only of relevance to pure Yang–Mills theory.
2.3 The one–loop (++++) amplitude
Now let us look at the all–plus four-point one–loop amplitude in this theory. It is easy to
see that it will receive contributions from three types of geometries: boxes, triangles and
bubbles. It is a remarkable property8 that the sum of all these geometries adds up to zero.
In particular, with a suitable routing of momenta, the integrand itself is zero. Pictorially,
we can state this as:
+ 4× + 2× + 8× = 0 . (2.20)
The coefficients mean that we need to add that number of inequivalent orderings. So
we see (and refer to [40] for the explicit calculation) that the sum of all the diagrams that
one can construct from the single vertex in our theory, gives a vanishing answer. However,
as discussed in the previous section, this is not everything: we need to also include the
contribution of the counterterm that we are forced to add in order to preserve Lorentz
invariance. Since this counterterm, by design, cancels all the bubble graph contributions, we
are left with just the sum of the box and the four triangle diagrams. In pictures,
A++++ = +4× +
2× + 8× + 2× + 8×
(2.21)
7This can in fact be derived from the results of [53], where similar calculations were considered with
fermions and scalars in the loop.
8This observation is attributed to Zvi Bern [40].
where A++++ is the known result [54] for the leading–trace part of the four–point all-plus
amplitude:
A++++(A1A2A3A4) = i
[12][34]
〈12〉〈34〉 , (2.22)
and the terms in the parentheses clearly cancel among themselves. This leaves the box
and triangle diagrams, which are exactly those appearing in the calculation of the parity
conjugate amplitude using dimensional regularisation [35], where the bubbles were zero to
begin with.
Following [40], we make the obvious, but important for the following, observation that
one can change the position of the parentheses:
A++++ =
+ 4× + 2× + 8×
+2× +8× (2.23)
where again the terms in the parentheses are zero (by (2.20)). This demonstrates that
one can compute the all-plus amplitude just from a tree-level calculation with counterterm
insertions (of course, these diagrams are at the same order of the coupling constant as one–
loop diagrams because of the counterterm insertion). This remarkable claim is verified in
[40], where CQT explicitly calculate the 10 counterterm diagrams and recover the correct
result for the four-point amplitude (see pp. 22-23 of [40])9.
This result, apart from being very appealing in that one does not have to perform any
integrals (apart from the original integral that defined the counterterm) so that the calcula-
tion reduces to tree–level combinatorics, will also turn out to be a convenient starting point
for performing the Mansfield transformation. Specifically, our claim is that the whole series
of all-plus amplitudes will arise just from the counterterm action. In the following we will
show how this works explicitly for the four-point all-plus case, and then we will argue for
the n-point case that the corresponding expression derived from the counterterm has all the
correct singularities (soft and collinear), giving strong evidence that the result is true in
general.
3 The all-plus amplitudes from a counterterm
Having reviewed the relevant new features that arise when doing perturbation theory with the
worldsheet–motivated regulator of [49], we now have all the necessary ingredients to perform
the Mansfield change of variables on the regulated lightcone Lagrangian. In this section, we
will carry out this procedure. We will first regulate lightcone self–dual Yang–Mills, which, as
9In practice, these authors choose to insert the self-energy result (2.18) in the tree diagrams, so what
they compute is minus the all–plus amplitude.
discussed, will require us to introduce an explicit counterterm in the Lagrangian. Then we
will perform the Mansfield transformation on the original Lagrangian (converting it to a free
theory). We will then show that, upon inserting the change of variables into the counterterm
Lagrangian, we recover the all–plus amplitudes as vertices in the theory.
3.1 Mansfield transformation of LCT
As we saw, the “worldsheet-friendly” regularisation requires us to add a certain counterterm
to the lightcone Yang–Mills action, required in order to cancel the Lorentz-violating helicity–
flipping gluon selfenergy. As mentioned previously, the calculation of the all–plus amplitude
can be tackled purely within the context of self-dual Yang–Mills, which we will focus on from
now on. We see that, as a result of this regularisation, the complete action at the quantum
level becomes:
L(r)SDYM = L+− + L++− + LCT , (3.1)
where L+− + L++− is the classical Lagrangian for self-dual Yang-Mills introduced in (2.9).
Although CQT do not write down a spacetime Lagrangian for LCT, it is easy to see that the
following expression would have the right structure:
LCT = −
d3kid3kj Ai j(k
i, kj)[(kiz̄)
2 + (k
2 + kiz̄k
j , ki) . (3.2)
This expression depends explicitly on the dual, or region, momenta. In (3.2) we have made
use of the simplest way to associate region momenta to fields, which is to assign a region
momentum to each index line in double–line notation [46], and thus a momentum ki, kj to
each of the indices of the gauge field Ai j (now slightly extended into a dipole, as would be
natural from the worldsheet perspective, where an index is associated to each boundary).
Since each line has a natural orientation, the actual momentum of each line can be taken to
be the difference of the index momentum of the incoming index line and the outgoing index
line. So the momentum of Ai j(k
i, kj) is taken to be p = kj−ki. As discussed above, this
assignment can only be performed consistently for planar diagrams, which is sufficient for
our purposes.
Clearly, the structure of (3.2) is rather unusual. First of all, it depends only on the
antiholomorphic (z̄) components of the region momenta, and so is clearly not (lightcone)
covariant. Even more troubling is the fact that it does not depend only on differences of
region momenta, but also on their sums. Since each field thus carries more information
than just its momentum, LCT is a non–local object from a four–dimensional point of view
(although, as shown in [40], it can be given a perfectly local worldsheet description).
Leaving the above discussion as food for thought, we will now rewrite (3.2) in a more
conventional way that is most convenient for inserting into Feynman diagrams,
LCT = −
d3p d3p′ δ(p+ p′) Ai j(p
′)((kiz̄)
2 + (k
2 + kiz̄k
i(p) . (3.3)
In this expression, which can be thought of as the zero–mode or field theory limit of (3.2), all
the region momentum dependence is confined to the polynomial factor (kiz̄)
2+kiz̄k
z̄. This
vertex, inserted into tree diagrams, would exactly reproduce the effects of the counterterm
pictured in (2.19). Although (3.3) still exhibits some of the apparently undesirable features
we discussed above, the calculations in [40] demonstrate that, after summing over all possible
insertions of this term, the final result is covariant and correctly reproduces the all–plus
amplitudes10. Therefore, we believe that its problematic properties are really a virtue in
disguise, and (as we will see explicitly) they seem to be crucial in obtaining the full series of
n–point all–plus amplitudes from the Mansfield transformation of a single term.
We are now ready to perform the Mansfield change of variables. In the spirit of the
discussion earlier, we will perform the transformation on the classical part of the action
only:
L+−(A, Ā) + L++−(A, Ā) = L+−(B, B̄) (3.4)
Hence the classical part of the action has been converted to a free theory. Without a
regulator, this would be the whole story. However we now see that, within the particular
regularisation we are working with, the full Lagrangian L(r)SDYM contains one extra, one–loop
piece, given by LCT in (3.3), which is quadratic in the positive helicity fields A. To complete
the Mansfield transformation, we will clearly need to expand this term in the new fields B,
using the Ettle–Morris coefficients (2.4).
Since LCT depends only on the holomorphic A fields, we will only need the expansion of
A in terms of B given in (2.4). As a first check that LCT leads to the right kind of structure,
note that since A depends only on the holomorphic B fields, all the new vertices are all–plus.
Thus, the full action, when expressed in terms of the B fields, takes the schematic form:
L(r)SDYM(A, Ā) = L+−(B, B̄) + L++(B) + L+++(B) + L++++(B) + · · · (3.5)
In the next section we will calculate the four–point term L++++ and demonstrate that, when
restricted on–shell, it reproduces the known form (2.22) for the all–plus amplitude.
3.2 The four–point case
To begin with, we focus on the derivation of the four-point all-plus vertex, whose on-shell
version will give us the four-point scattering amplitude. We will thus expand the old fields
A in the counterterm (3.3) (or (3.2)) up to terms containing four B-fields.
When inserting the Ettle–Morris coefficients into (3.3), one has to sum over all possible
cyclic orderings with which this can be done. A complication is that now the counterterm
10Note that similar–looking treatments using index momenta instead of line momenta for vertices, but
which in the end sum up to covariant results have appeared in the context of noncommutative geometry
(see e.g. [55]). Although it is possible to write e.g. (3.2) in star–product form, at this stage it is not clear
whether that is a useful reformulation.
itself depends on the ordering. In other words, we need to sum over all the ways of assigning
dual momenta to the indices. Schematically, the inequivalent terms that we obtain are:
AA → (
B1B2)(
B3B4) + (
B2B3)(
B4B1)
B1B2B3)B4 + (
B2B3B4)B1 + (
B3B4B1)B2 + (
B4B1B2)B3 ,
(3.6)
where the terms on the first line arise from doing two quadratic substitutions and those
on the second from doing one cubic substitution. All the other possibilities are related by
cyclicity of the trace. For definiteness, let us now write down what one of these terms means
explicitly:11
B1B2B3)B4
= −2g2 tr
dpdp4δ(p+p4)
dp1dp2dp3δ(p−p1−p2−p3) p+√
〈12〉〈23〉×
× B(p1)B(p2)B(p3)
(k3z̄)
2 + (k4z̄)
2 + k4z̄k
B(p4)
= 2g2
dp1dp2dp3dp4δ(p1 + p2 + p3 + p4)×
(k3z̄)
2 + (k4z̄)
2 + k4z̄k
〈12〉〈23〉 tr
B(p1)B(p2)B(p3)B(p4)
(3.7)
The reason this particular combination of kz̄’s appears here is that, given the ordering we
chose, after the Mansfield transformation the counterterm ends up being on leg 4, and its
line bounds the regions with momenta k3 and k3. This is represented pictorially in Figure 3.
Figure 3: One of the contributions to the four–point all-plus vertex.
Although Figure 3 might suggest that there is a propagator between the counterterm
insertion and the location of the original A, which has now split into three B’s, this is of
course not the case since the whole expression is a vertex at the same point. We have
drawn the diagram in this fashion to emphasise which leg the counterterm is located on
after the transformation. On the other hand, this vertex is nonlocal (as discussed above, it
was nonlocal even in the original variables, but this is now compounded by the Mansfield
coefficients, which contain momenta in the denominator), so this notation serves as a useful
reminder of that fact.
11We suppress the overall factor of −g2N/(12π2) until the end of this section. Also, the integrals are
implicitly taken to be on the quantisation surface Σ.
It is interesting to note that (3.7) is essentially the same expression as the sum of the
two channels with the same region momentum dependence that appear in CQT’s calculation
of this amplitude using tree–level diagrammatics (compare with Eq. 83 in [40]), which we
illustrate in Fig. 4. Thus we have a picture where one post–Mansfield transform vertex (with
Figure 4: The two diagrams with counterterm insertions on leg 4 that arise in the calculation
of CQT, and, combined, add up to the contribution in Fig. 3.
B’s) effectively sums two tree–level pre–transformation (with A’s) Feynman diagrams. This
is a first indication that our calculation of the all–plus vertex can be mapped, practically
one–to–one, to that of the all–plus amplitude on pp. 22-23 of [40].
Another type of contribution to the vertex arises when we transform both of the A’s in
LCT. One of the two terms that we find is:
B2B3)(
B4B1)
= −2g2 tr
dp dp′δ(p+ p′)
dp2dp3δ(p− p2 − p3) p+√
〈23〉B(p
2)B(p3)
(k1z̄)
2 + (k3z̄)
2 + k1z̄k
dp4dp1δ(p′ − p4 − p1)
〈41〉B(p
4)B(p1)
= −2g2
dp1 · · ·dp4δ(p1+p2+p3+p4)
(p2+ + p
+ + p
((k1z̄)
2 + (k3z̄)
2 + k1z̄k
〈23〉〈41〉
B(p1)B(p2)B(p3)B(p4)
(3.8)
This contribution can also be mapped to one of the two terms with bubbles on internal lines
in CQT.
We can now tabulate all the terms that we obtain in this way by making the schematic
form (3.6) precise. Since the delta–function and trace over B parts are the same for all these
terms, in Table 1 we just list the rest of the integrand.
To obtain the final form of the vertex, we are now instructed to sum over all these
contributions. Thus we can write
L++++(B) = 2g2
dp1dp2dp3dp4δ(p1+p2+p3+p4) V(4) tr[B(p1)B(p2)B(p3)B(p4)] (3.9)
Schematic form Pictorial form Integrand
B1B2B3)B4
+k3k4
〈12〉〈23〉
B2B3B4)B1
+k1k4
〈23〉〈34〉
B3B4B1)B2
+k2k1
〈34〉〈41〉
B4B1B2)B3
+k2k3
〈41〉〈12〉
B2B3)(
B4B1) −
+k1k3
〈23〉〈41〉
B1B2)(
B3B4) −
+k4k2
〈34〉〈12〉
Table 1: The various contributions to the all–plus four–point vertex. Note that we use the
simplifying notation ki := k
where V(4) is given by the following expression:12
V(4) = 1√
〈12〉〈23〉〈34〉〈41〉×
3 + k
4 + k3k4)〈34〉〈41〉+ p1+
1 + k
4 + k1k4)〈12〉〈41〉
+ p2+
2 + k
1 + k2k1)〈12〉〈23〉+ p3+
3 + k
2 + k2k3)〈23〉〈34〉
− (p2+ + p3+)(p1+ + p4+)(k21 + k23 + k1k3)〈12〉〈34〉
− (p3+ + p4+)(p2+ + p1+)(k24 + k22 + k4k2)〈23〉〈41〉
(3.10)
Comparing this to the expected answer (2.22), we see that the (quadratic) antiholomorphic
momentum dependence should arise from the various kz̄ factors in (3.10). In [40], CQT start
from essentially the same expression and demonstrate that it gives the correct result for the
all-plus amplitude. Therefore, following practically the same steps as those authors, we can
easily see that we obtain the expected answer. However, since we would like to find the full
vertex V, we will need to keep off–shell information, and so we will choose a slightly different
route.
12For the sake of brevity we omit a subscript z̄ in the region momenta appearing in (3.10).
The main complication in bringing (3.10) into a manageable form is clearly the presence
of the region momenta. We would like to disentangle their effects as cleanly as possible.
Therefore, our derivation will proceed by the following steps:
1. First, we will show that (3.10) can be manipulated so that the quadratic dependence
on region momenta drops out, leaving only terms linear in the region momenta.
2. Second, we will decompose the resulting expression into a part that depends on the
region momenta and one that does not. The k–dependent part turns out to have a
very simple form, and vanishes on–shell.
3. Finally, we will show that the k–independent part reduces to the known amplitude.
For the first step, we will need the following identity, which is proved in appendix B:
+〈34〉〈41〉+ p1+
+〈12〉〈41〉+ p2+
+〈12〉〈23〉+ p3+
+〈23〉〈34〉
− (p2+ + p3+)(p1+ + p4+)〈12〉〈34〉 − (p3+ + p4+)(p2+ + p1+)〈23〉〈41〉 = 0
(3.11)
Also, using the shorthand notation Kij := (k
2 + (k
2 + kiz̄k
z̄: we note the following very
useful identity:
Kij = Kik + (k
z̄ − kkz̄ )(kiz̄ + k
z̄ + k
z̄ ) = Kik + (k
z̄ − kkz̄ )lijk (3.12)
where 1 ≤ k ≤ n and lijk = kiz̄+k
z̄ . Noting that, for j > k, k
z̄−kkz̄ = pk+1z̄ +pk+2z̄ + · · · p
we can use this to rewrite all the region momentum combinations appearing in (3.10) in the
following way:
K34 =
(K12 +K23 +K34 +K41 + (p̄3 + p̄4)(l124 + l234) + 2(p̄2 + p̄3)l134)
K14 =
(K12 +K23 +K34 +K41 − (p̄2 + p̄3)(l134 + l123) + 2(p̄3 + p̄4)l124)
K12 =
(K12 +K23 +K34 +K41 − (p̄3 + p̄4)(l124 + l234)− 2(p̄2 + p̄3)l123)
K23 =
(K12 +K23 +K34 +K41 + (p̄2 + p̄3)(l134 + l123)− 2(p̄3 + p̄4)l234)
K13 =
(K12 +K23 +K34 +K41 + (p̄3 − p̄2)l123 + (p̄1 − p̄4)l134)
K24 =
(K12 +K23 +K34 +K41 + (p̄4 − p̄3)l234 + (p̄2 − p̄1)l124)
(3.13)
where we have introduced the notation p̄i = p
z̄. We have thus expressed all the quadratic
region momentum dependence in terms of the common factor K12 +K23 +K34 +K41, and,
given (3.11), it is clear that this contribution will vanish.13
13One could have chosen a different combination of the Kij ’s, but we find the symmetric choice in (3.13)
convenient.
After this step, we are left with an expression which is linear in the region momenta. We
will now proceed in a similar way, and rewrite all the expressions that contain lijk in terms
of a suitably chosen common factor:
l124 + l234 =
(k1z̄ + k
z̄ + k
z̄ + k
(p1z̄ + p
l134 + l123 =
(k1z̄ + k
z̄ + k
z̄ + k
(p2z̄ + p
2l234 =
(k1z̄ + k
z̄ + k
z̄ + k
z̄) +
(2p2z̄ + p
z̄ − p1z̄)
2l123 =
(k1z̄ + k
z̄ + k
z̄ + k
z̄) +
(2p1z̄ + p
z̄ − p4z̄)
2l134 =
(k1z̄ + k
z̄ + k
z̄ + k
z̄) +
(2p3z̄ + p
z̄ − p2z̄)
2l124 =
(k1z̄ + k
z̄ + k
z̄ + k
z̄) +
(2p4z̄ + p
z̄ − p3z̄)
(3.14)
In appendix B we show that the total coefficient of the common (k1z̄ + k
z̄ + k
z̄ + k
z̄) factor is
+(+(p̄3 + p̄4) + (p̄2 + p̄3))〈34〉〈41〉+ p1+
+(−(p̄2 + p̄3) + (p̄3 + p̄4))〈12〉〈41〉
+ p2+
+(−(p̄3 + p̄4)− (p̄2 + p̄3))〈12〉〈23〉+ p3+
+(+(p̄2 + p̄3)− (p̄3 + p̄4))〈23〉〈34〉
− (p2+ + p3+)(p1+ + p4+)(
(p̄3 − p̄2) +
(p̄1 − p̄4))〈12〉〈34〉
− (p3+ + p4+)(p2+ + p1+)(
(p̄4 − p̄3) +
(p̄2 − p̄1))〈23〉〈41〉
= − 3
[(12) + (23) + (34) + (41)]
(3.15)
where (pi)
2 is the full covariant momentum squared, and (ij) = pi+p
z − p
z. Thus we see
that the complete dependence on the region momenta can be rewritten as follows:
= − 3
(12) + (23) + (34) + (41)
〈12〉〈23〉〈34〉〈41〉
. (3.16)
It is rather satisfying that the region momentum dependence of the vertex takes this simple
form, which clearly vanishes when the external legs are on–shell, and thus will not contribute
to the all–plus amplitudes.
Having completely disentangled the region momenta kz̄ from the actual momenta pz̄,
we will now focus on the terms containing only the latter, which were produced during the
decompositions in (3.14). After a few simple manipulations, they can be rewritten as14
V (4)p =
+[(p̄1 + p̄2)(p̄1 − p̄2) + (p̄3 + p̄2)(p̄3 − p̄2)]〈34〉〈41〉
+ p1+
+[(p̄2 + p̄3)(p̄2 − p̄3) + (p̄4 + p̄3)(p̄4 − p̄3)]〈41〉〈12〉
+ p2+
+[(p̄3 + p̄4)(p̄3 − p̄4) + (p̄1 + p̄4)(p̄1 − p̄4)]〈12〉〈23〉
+ p3+
+[(p̄4 + p̄1)(p̄4 − p̄1) + (p̄2 + p̄1)(p̄2 − p̄1)]〈23〉〈34〉
− (p2+ + p3+)(p1+ + p4+)[(p̄3 − p̄2)(p̄1 − p̄4)− (p̄1 + p̄2)2]〈12〉〈34〉
− (p3+ + p4+)(p2+ + p1+)[(p̄4 − p̄3)(p̄2 − p̄1)− (p̄2 + p̄3)2]〈23〉〈41〉
(3.17)
This expression, together with (3.16) is our proposal for the off–shell four–point all–plus
vertex that should be part of the MHV-rules formalism at the quantum level. It would be
very interesting to elucidate its structure and bring it into a more compact form. For the
moment, however, we will be content to demonstrate that (3.17) is equal on shell to the
sought–for amplitude.
To that end, we will follow a similar approach to CQT, and rewrite all the holomorphic
spinor brackets in terms of the following three: 〈12〉〈34〉, 〈23〉〈41〉, 〈12〉〈41〉. To achieve this,
we use momentum conservation and a certain cyclic identity (see appendix A) to write
+〈34〉〈41〉 = p4+
p3+〈42〉 −
p4+〈23〉
+〈42〉 − (p4+)2
p1+〈12〉 −
p3+〈32〉
− (p4+)2〈23〉
= p4+
+〈12〉〈41〉 − p4+(p4+ + p3+)〈23〉〈41〉 .
(3.18)
In a similar way, we can show that
+〈12〉〈23〉 = p2+
+〈12〉〈41〉 − p2+(p2+ + p3+)〈34〉〈12〉 ,
+〈23〉〈34〉 =−
p3+(p
+)〈12〉〈34〉 − p3+(p1++p2+)〈23〉〈41〉+p3+
+〈12〉〈14〉
(3.19)
Collecting all the terms together, and manipulating the resulting expressions, it is straight-
14We write V (4) =
+〈12〉〈23〉〈34〉〈41〉V(4).
forward to show that (3.17) simplifies to just
V (4)p =
〈23〉〈41〉{34}(p1+ + p2+)[(p̄1 − p̄2)− (p̄2 + p̄3)]
+〈12〉〈34〉{23}(p2+ + p3+)[(p̄1 + p̄2) + (p̄1 − p̄4)]
+〈12〉〈41〉
(p̄1 + p̄2)({41}+ {32})+(p̄2 + p̄3)({12}+ {43})
(3.20)
where we use the notation [34] {ij} = pi+p
z̄ − pj+piz̄ = (1/
+[ij]. Converting to the
usual antiholomorphic bracket notation, we rewrite (3.20) as
V (4)p =
〈23〉〈41〉
+[34](p
+ + p
+)[(p̄1−p̄2)− (p̄2+p̄3)]
+ 〈12〉〈34〉
+[23](p
+ + p
+)[(p̄1+p̄2) + (p̄1−p̄4)]
+ 〈12〉〈41〉
(p̄1 + p̄2)(p
+[41] + p
+[32])
+ (p̄2 + p̄3)(p
+[12] + p
+[43])
(3.21)
Note that so far this expression is completely off shell. We will now show that on shell it
reduces to the known result (2.22). In doing this we will keep track of the p2 terms that
appear when applying momentum conservation in the form
〈ik〉[kj] =
. (3.22)
These terms are collected in appendix B.
We start by rewriting each of the terms in the last two lines of (3.21) as follows
〈12〉〈41〉[41] p1+
+(p̄1 + p̄2) = −〈23〉〈41〉[34] p1+
+(p̄1 + p̄2)
〈12〉〈41〉[32] p3+
+(p̄1 + p̄2) = −〈12〉[32]〈42〉p2+p3+(p̄1 + p̄2)
− 〈12〉〈34〉[23] p3+
+(p̄1 + p̄2)
〈12〉〈41〉[12] p1+
+(p̄2 + p̄3) = −〈12〉〈34〉[23] p1+
+(p̄2 + p̄3)
〈12〉〈41〉[43] p3+
+(p̄2 + p̄3) = −〈41〉〈23〉[34] p3+
+(p̄2 + p̄3)
− 〈41〉[43]〈42〉p4+p3+(p̄2 + p̄3) .
(3.23)
We also transform the 〈12〉〈34〉 term using the Schouten identity and also momentum con-
servation,
〈12〉〈34〉[23]
+=〈23〉〈41〉[34]
++〈14〉〈23〉[13]
+−〈13〉〈42〉[23]
+ , (3.24)
and add up all contributions to the 〈23〉〈41〉 term, which are
〈23〉〈41〉[34]
4(p2+p̄1 − p1+p̄2) + 2(p3+p̄1 − p1+p̄3)
〈23〉〈41〉[34]
+[4{21}+ 2{31}] .
(3.25)
Converting to the spinor bracket, the first of these terms is
+[12]〈23〉[34]〈41〉 , (3.26)
while the remaining terms from (3.23) and (3.24) combine to give
〈14〉〈23〉[13]
+ − 〈13〉〈42〉[23]
(p2+ + p
+)[(p̄1+p̄2) + (p̄1−p̄4)]
+ 〈12〉[32]〈42〉p2+[p2+(p̄1 + p̄2)− p4+(p̄2 + p̄3)]
=− 〈14〉[13]〈12〉p3+(p2+ + p3+)[(p̄1+p̄2) + (p̄1−p̄4)]
+ 〈12〉[32]〈42〉p2+[p2+(p̄1 + p̄2)− p4+(p̄2 + p̄3)]
=− 〈14〉[13]〈12〉p3+(2(p2+ + p3+)p̄1 − 2p1+(p̄2 + p̄3)) = 2〈14〉[13]〈12〉p3+{41}
(3.27)
(where we suppress an overall 1/(4
2)) and we see that (3.27) cancels the second term
in (3.25), thus showing that (3.26) is the complete on-shell answer. Reintroducing all the
prefactors, we thus find that the amplitude is
A(4) = − g
〈12〉〈23〉〈34〉〈41〉 ×
+[12]〈23〉[34]〈41〉
[12][34]
〈12〉〈34〉 .
(3.28)
Now note that, as discussed in appendix A, in order to convert to the usual Yang–Mills
theory normalisation we need to send g → g/
2. We conclude that A(4) gives precisely the
result (2.22) for the all–plus scattering amplitude.
3.3 The general all–plus amplitude
We have just given an explicit derivation of the four point all-plus amplitude, from the
two-point counterterm (3.3). We will argue in the following that this two-point counterterm
contains all the all-plus amplitudes.
First, we can see immediately that the counterterm (3.3) has the right kind of structure.
Consider the n–point all–plus amplitude [56]:
A(n) =
1≤i<j<k<l≤n
〈ij〉[jk]〈kl〉[li]
〈12〉 · · · 〈n1〉 . (3.29)
In terms of spinor brackets this amplitude has terms of the form 〈 〉2−n[ ]2. A quick look
at the Ettle-Morris coefficients shows that, for an n–point vertex coming from LCT, they
contribute exactly 2 − n powers of the spinor brackets 〈 〉. Furthermore, there are exactly
two powers of [ ] coming from the counterterm Lagrangian LCT ∼ (k2z̄)A2 – one for each
power of k. Thus the general structure of LCT is appropriate to reproduce (3.29).
Pictorially, we can represent the general n–point amplitude, arising from the counterterm
in the new variables, as in Figure 5.
ki kj
Figure 5: The structure of a generic term contributing to the n–point vertex. All momenta
are taken to be outgoing, and all indices are modulo n.
Thus we can write this n–point all–plus vertex as follows:
A(n)+···+ =
1···n
δ(p+ p′)
1≤i<j≤n
Y(p; j + 1, . . . , i)
(kiz̄)
2 + (k
2 + kiz̄k
Y(p′; i+ 1, . . . , j)×
× tr[BiBi+1 · · ·BjBj+1 · · ·Bi−1]
2i)n−2
1···n
δ(p1+· · ·+pn)
1≤i<j≤n
+ + · · ·+ pi+)
〈j + 1, j + 2〉 · · · 〈i− 1, i〉×
(kiz̄)
2 + (k
2 + kiz̄k
) (pi+1+ + · · ·+ pj+)
pi+1+ p
〈i+ 1, i+ 2〉 · · · 〈j − 1, j〉tr[B1 · · ·Bn] .
(3.30)
Focusing only on the relevant part of the above expression, and ignoring all coefficients, the
general structure we obtain is the following:
V(n)+···+ =
〈12〉 · · · 〈n1〉×
1≤i<j≤n
〈j, j + 1〉〈i, i+ 1〉
+ − ki+)2((kiz̄)2 + (k
2 + kiz̄k
 (3.31)
where we have extracted the denominator at the expense of introducing the two missing
holomorphic factors 〈j, j + 1〉 and 〈i, i+ 1〉 in the numerator. We also made use of the fact
kj − ki = pi+1 + pi+2 + · · ·+ pj = −(pj+1 + pj+2 + · · ·+ pi) , (3.32)
applied to the + components, to rewrite the two p+ sums in the numerator in terms of the
k’s (this gives rise to a minus which we suppress).
It is easy to verify that, for n = 4, this sum reproduces the 6 contributions that appeared
in the four–point case, and (as we explicitly showed above) combined to give the expected
answer. Therefore, we would like to propose that the vertex (3.31) will reduce on–shell to
an expression proportional to (3.29). We will not attempt to prove this statement here15,
but will instead move on to study the general properties of the n-point expression (3.30).
Whilst the explicit calculation for the four point case was rather involved as we saw
earlier, the study of the general properties of the n–point amplitudes proves much simpler.
In particular, we will show that the collinear and soft limits of the expressions proposed for
the n–point case can be very easily shown to be correct. Let us start by introducing some
simplifying notation. One can write the change of variables for the A field as
A1 = Y12B2 +Y123B2B3 +Y1234B2B3B4 + · · · , (3.33)
where
Y12 = δ12, Y123 =
, Y1234 =
(23)(34)
, (3.34)
and generally
Y12...n =
1+3+4+ . . . (n− 1)+
(23)(34) . . . (n− 1 n) (3.35)
(for simplicity, we are dropping inconsequential constant factors in this discussion). This
notation is similar to that of [34]. Integrations and the insertion of suitable delta functions
are understood, and can be illustrated by comparing the short-hand expressions above with
the full equations given earlier. It will prove convenient to define
Kij = k
i + k
j + kikj, ki := k
z̄. (3.36)
We will use the expression Y•12...n in the following, where the dot in the first placemark
in the Y means that one substitutes in that place the negative of the sum of the other
momenta. Then the result which we have proved above for the four point amplitude V1234
can be expressed as
V1234 =K43Y•4Y•123 +K14Y•1Y•234 +K21Y•2Y•341 +K32Y•3Y•412
+K31Y•23Y•41 +K24Y•12Y•34 ,
(3.37)
15It is perhaps interesting to remark that the proof would involve converting the double sum in (3.31) to
the quadruple sum in (3.29)—a state of affairs which has appeared before in a rather different context [20].
or very simply
V1234 =
1≤i<j≤4
KijY• j+1...iY• i+1...j . (3.38)
It is clear that the general conjecture that all the n–point all plus amplitudes are generated
from the two-point counterterm (3.3) translates into the proposal that the n-point all-plus
amplitude V12...n is given by
V12...n =
1≤i<j≤n
KijY• j+1...iY• i+1...j , (3.39)
Let us now show that the expression on the right-hand side of (3.39) has precisely the same
soft and collinear limits as the known amplitude on the left-hand side.
Collinear limits
Under the collinear limit
pi → zP , pi+1 → (1− z)P , P 2 → 0 , (3.40)
the n-point amplitude V12...n behaves as
V12...n →
z(1− z)
(i i+ 1)
V12...i i+2...n , (3.41)
where we relabel P → pi after the limit is taken (the i+ and (i i + 1) factors involve
momenta rather than spinors, which is why the z-dependent factor is 1/z(1−z), rather than
the conventional 1/
z(1− z)).
Consider the behaviour of the right-hand side of (3.39) under the limit (3.40). The first
point is that if the indices i, i + 1 lie on different Y’s, then there are no poles generated in
this collinear limit. This is clear from the explicit expressions for the Y’s in (3.35). Thus we
may ignore any terms of this type. It is then immediate from the explicit forms of the Y’s
Y12...s →
z(1− z)
(i i+ 1)
Y12...i i+2...s , (3.42)
for any i = 2, . . . s − 1, with s ≤ n (the first index in Y never contributes in a collinear
limit, as one can see from the conjecture (3.39)). Thus we see that the Y expressions have
the right sort of collinear behaviour. It is straightforward to see that the K coefficients in
(3.39) also get relabelled correctly in the collinear limit; they are not explicitly involved as
they refer to pairs of momenta attached to different Y fields, and as we saw, these do not
contribute.
It is then immediate to see that the summation over the products of Y’s in (3.39) reduces
correctly in the collinear limit to the required summation over products of Y’s with one fewer
leg in total. Hence the proposal (3.39) for the amplitude has precisely the same collinear
limits as the physical amplitude.
Soft limits
We also find that there is a simple derivation of the soft limits of the expression in (3.39).
In the soft limit
pj → 0 , (3.43)
the n-point amplitude V12...n behaves as
V12...n → S(j) V12...j−1 j+1...n , (3.44)
where we assume cyclic ordering as usual, so that, for example, pn+1 = p1. The soft function
S(j) is given in terms of the momentum brackets by
S(j) =
j+(j − 1 j + 1)
(j − 1 j) (j j + 1) . (3.45)
The Y functions have a simple behaviour under soft limits. One has immediately that in
the soft limit pj → 0,
Y12...s → S(j) Y12...j−1 j+1...s , (3.46)
for j = 3, . . . s− 1 (with s ≤ n). For the soft limits corresponding to the case missing in the
above, we need the results
Y•s+1...j = Y•s+1...j−1
(j − 1)+
(j − 1 j) , Y•j...s = Y•j+1...s
(j + 1)+
(j j + 1)
, (3.47)
which follow from the definitions of the Y’s, and
(j + 1)+
(j j + 1)
(j − 1)+
(j − 1 j) =
j+(j − 1 j + 1)
(j − 1 j) (j j + 1) = S(j) , (3.48)
which follows from the cyclic identity i+(jk) + j+(ki) + k+(ij) = 0. Finally, from relabelling
the K’s we have in the soft limit that Ksj → Ksj−1. Then it follows that in the soft limit
Ksj Y•s+1...j Y•j+1...s +Ksj−1 Y•s+1...j−1 Y•j...s → S(j)Ksj−1 Y•s+1...j−1 Y•j+1...s , (3.49)
as required.
Again, it is then easy to see that the summation over the products of Y’s in (3.39) reduces
correctly in the soft limit to the required summation over products of Y’s with one fewer leg
in total. Hence the proposal (3.39) for the amplitude has precisely the same soft limits as
the physical amplitude.
4 Discussion
Whilst new, twistor-inspired methods for calculating amplitudes in gauge theory have led
to much progress, the lack of a systematic action-based formulation which incorporates
these new ideas has been an impediment to further developments. MHV diagrams have
the two advantages of being closely allied to the twistor picture, as well as providing an
explicit realisation of the dispersion and phase space integrals fundamental to unitarity-
based methods. However, without an action formalism, standard MHV methods have so far
been mainly restricted to massless theories at one-loop level, and to the cut-constructible
parts of amplitudes.
The advent of a classical MHV Lagrangian for gauge theory, derived from lightcone YM
theory [32, 33, 34], provides the basis for transcending these limitations. In order for this to
be realised, it is necessary to describe the quantum MHV theory. What we have done in this
paper is to investigate this quantum theory. Using the regularisation methods of [39, 40, 41],
we have provided arguments that the simplest one-loop counterterm in the quantum MHV
theory – a two point vertex – provides an extraordinarily concise generating function for the
infinite sequence of one-loop, all-plus helicity amplitudes in YM theory. We showed this by
explicit calculation for the four-point case, and then proved that the soft and collinear limits
of the conjectured n-point amplitude precisely matched those of the correct answer.
We would like to emphasise that the simplicity of our approach — which reduced the
calculations of the loop amplitudes we considered to tree–level algebraic manipulations—
is largely due to the four–dimensional nature of the regularisation scheme we employed.
By staying in four dimensions, we preserve the appealing features of the inherently four–
dimensional field redefinition of [32, 33].
Based upon this result, it is very natural to conjecture that the full quantum YM theory
is correctly described by this quantum MHV Lagrangian. The correct ingredients appear to
be present. For example, in the approach of [39, 40, 41] there arise one-loop counterterms
with helicities (++), (+ + −), (−−), (− − +). We studied the (++) counterterm in this
paper, arguing that when expressed in the (B, B̄) variables this generates the full set of all-
plus amplitudes. Transforming the (++−) counterterm to (B, B̄) variables will generate an
infinite sequence of single–minus vertices. There will be other contributions to single-minus
vertices from combinations of all-plus vertices and MHV vertices. It would be surprising if
the combined contributions of these did not lead to the correct YM single-minus expressions.
Certainly all of these have the correct powers of spinor brackets for this to be the case.
Transforming the (−−) and (− − +) counterterms to (B, B̄) variables will lead to new
contributions to MHV vertices16. The MHV vertices from the classical MHV Lagrangian
only generate the cut-constructible parts of YM loop amplitudes, such as the one-loop MHV
16In the MHV case there are additional counterterms noted in [41] which may also need to be taken into
account in future discussions.
amplitude. These new contributions might be expected to lead to the missing, rational
parts. This would also potentially explain why in [57] the combination of all-plus vertices
with MHV tree vertices did not yield the correct single-minus amplitudes – these additional
MHV contributions are missing.
Further evidence for the conjecture that the quantum MHV Lagrangian is equivalent
to quantum YM theory would be welcome. One could start with seeking explicit proofs of
the above proposals. One can also investigate beyond massless one-loop gauge theory – an
advantage of the Lagrangian approach is that the inclusion of masses, and of fermions and
scalars, is in principle clear. There are other issues raised by this work. It is plausible that
the potential quantum versions of the twistor space formulations of gauge theory [58, 59, 60]
are most likely to be allied to the quantum theory discussed here – one simple reason for
believing this is that the regularisation employed here keeps one in four dimensions. Perhaps
there are simple twistor space analogues of the counterterms discussed above.
Finally, although for our purposes the lightcone worldsheet approach to perturbative
gauge theory provided simply the motivation for a particular choice of regularisation scheme,
we believe that it would be fruitful to further explore possible connections between that
framework and the twistor string programme.
Addendum: We would like to thank Paul Mansfield and Tim Morris for having informed
us that they have recently been pursuing research related to that presented in this paper.
Their work, which is complementary to ours in that it employs dimensional regularisation,
has now appeared in [61].
Acknowledgements
It is a pleasure to thank Paul Heslop, Gregory Korchemsky, Paul Mansfield, Tim Morris
and Adele Nasti for discussions. We would like to thank PPARC for support under the
Rolling Grant PP/D507323/1 and the Special Programme Grant PP/C50426X/1. The work
of GT is supported by an EPSRC Advanced Fellowship EP/C544242/1 and by an EPSRC
Standard Research Grant EP/C544250/1.
A Notation
Lightcone conventions
Here we summarise our lightcone conventions. We start off by introducing lightcone
coordinates
x± :=
x0 ± x3√
, xz :=
x1 + ix2√
, xz̄ :=
x1 − ix2√
. (A.1)
We also have x+ = x−, x
z = −xz̄ , and so on. The scalar product between two vectors A and
B is written as
A · B := A+B− + A−B+ − AzBz̄ −Az̄Bz . (A.2)
We choose x− as our lightcone time coordinate, therefore the lightcone gauge used in this
paper is defined by
A− = 0 . (A.3)
This condition can be written as η ·A = 0, where η is a constant null vector, chosen to have
components η := (1/
2, 0, 0, 1/
2) (hence η− = 1, η+ = ηz = ηz̄ = 0).
To any four-vector p we associate the bispinor paȧ defined by
paȧ :=
p− −pz
−pz̄ p+
. (A.4)
We also define holomorphic and anti-holomorphic spinors as
λa :=
, λ̃ȧ :=
, (A.5)
from which it follows that
λaλ̃ȧ :=
pzpz̄
−pz̄ p+
. (A.6)
This is of course consistent with the on-shell condition p− = pzpz̄/p+. Furthermore, compar-
ing (A.4) and (A.6) and choosing η as specified earlier, we see that a generic off-shell vector
p can be decomposed as
p = λλ̃ + zη , (A.7)
where
p−p+ − pzpz̄
2(p · η) . (A.8)
(A.7) and (A.8) are the familiar decompositions of off-shell vectors in the MHV literature
[62, 17, 63, 15].
The off-shell holomorphic spinor product is defined as:
〈ij〉 =
z − p
, (A.9)
whereas for the antiholomorphic spinors we define
[ij] =
z̄ − pj+piz̄
. (A.10)
In these conventions, one finds
2(pi · pj) = 〈i j〉 [i j] +
(pi)2 +
(pj)2 , (A.11)
or, in the case where pi and pj are on shell, 2(pi · pj) = 〈i j〉 [i j]. In the standard QCD
literature conventions it is customary to define 2(pi · pj) = 〈i j〉 [j i]; this can be obtained by
simply re-defining the inner product of two anti-holomorphic spinors, [i j], to be the negative
of the right hand side of (A.10).
Useful identities
The form (A.9) is very convenient for deriving identities for 〈ij〉 that also involve the p+
components. For instance, one has:
pi+〈jk〉+
+〈ki〉+
pk+〈ij〉
pi+(p
z − pk+pjz)
z − pi+pkz)
pk+(p
z − p
= 0 .
(A.12)
It is also easy to see how to apply momentum conservation, take say 〈ij〉, and substitute
pj = −
k 6=j
pk (for each component). (A.13)
Then we have
+〈ij〉 =
pi+(−
k 6=j p
z) + (
k 6=j p
k 6=j
z − pk+piz
k 6=j
pk+〈ki〉 .
(A.14)
We have also used the momentum bracket notation from [34]
(ij) = pi+p
z − p
z , {ij} = pi+p
z̄ − pj+piz̄ . (A.15)
Lightcone Yang–Mills action
Here we give the form of the lightcone Yang–Mills action that we use in this paper. As
discussed in more detail in [35], starting from the YM Lagrangian −(1/4) trF 2, imposing the
lightcone gauge (A.3), and integrating out the A+ component which appears quadratically,
the final lightcone theory contains only the two physical components Az and Az̄ [64, 65, 66],
which we associate with positive and negative helicity respectively. The Lagrangian takes
the simple form (2.1)
LYM = L+− + L++− + L−−+ + L++−− , (A.16)
L+− = −2 tr{Az̄(∂+∂− − ∂z∂z̄)Az} ,
L++− = 2ig tr{[Az, ∂+Az̄](∂+)−1(∂z̄Az)} ,
L−−+ = 2ig tr{[Az̄, ∂+Az](∂+)−1(∂zAz̄)} ,
L++−− = −2g2 tr{[Az̄, ∂+Az](∂+)−2[Az, ∂+Az̄]} .
(A.17)
Note that, in agreement with CQT, we have used the normalisation tr{T aT b} = δab. In
order to convert to the usual conventions for Yang–Mills theory, we therefore need to rescale
g → g/
Relation to the notation of CQT
To compare our notation to that of [39, 40, 41], note that we employ outgoing momenta
instead of incoming, therefore the all–plus amplitudes in these works would be all–minus from
our perspective, and should thus be conjugated when comparing. Also, our time evolution
coordinate is taken to be x− rather that x+, which (among other changes) implies that p+
of CQT becomes p+. Our metric is also taken to have opposite signature to that in CQT.
Finally, CQT define momentum brackets K∧ij and K
ij , which are just our (ij) and {ij}
brackets respectively.
B Details on the four–point calculation
In this appendix we prove two results that were used in section 3, namely equations (3.11)
and (3.15). To make the expressions more compact, instead of momentum brackets we use
the following notation:
fij = −
. (B.1)
The fij variables satisfy the simple relation:
fij = fik + fkj , (B.2)
while momentum conservation is applied as
pi+fij = −
pk+fkj . (B.3)
Also, to minimise clutter, in this appendix we use the notation qi := p
Proof of the quadratic identity
In order to show (3.11), it is convenient to divide out by the
+ factor (which
is there anyway in (3.10)) in order to bring it to the form
q24f34f41 + q
1f12f41 + q
2f12f23 + q
3f23f34
− (q2 + q3)(q1 + q4)f12f34 − (q3 + q4)(q2 + q1)f23f41 = 0 ,
(B.4)
Expanding out the two last terms in (B.4) as
− (q1q3 + q2q4)(f12f34 + f23f41)− (q1q2 + q3q4)f12f34 − (q2q3 + q4q1)f23f41 , (B.5)
we apply momentum conservation on each of the four components of the first term of (B.5),
in the following way:
− q1q3f12f34 = q1f12(q1f14 + q2f24) = −q21f12f41 + q1q2f12f24 ,
− q1q3f23f41 = q3f23(q2f42 + q3f43) = −q23f23f34 + q2q3f23f42 ,
− q2q4f12f34 = q4(q3f13 + q4f14)f34 = −q24f34f41 + q3q4f13f34 ,
− q2q4f23f41 = q2f23(q2f21 + q3f31) = −q22f12f23 + q2q3f31f23 .
(B.6)
Clearly these transformations have been chosen to cancel the first four terms in (B.4). Col-
lecting the remaining terms, we obtain
q1q2f12(f24 − f34) + q2q3f23(f42 + f31 − f41) + q3q4f34(f13 − f12)− q1q4f23f41
= q1q2f12f23 + q2q3f23f32 + q3q4f34f23 + q1q4f23f14
= f23[q2(q1f12 + q3f32) + q4(q3f34 + q1f14)] = f23[−q2(q4f42)− q4(q2f24)]
(B.7)
thus showing (3.11).
Proof of the linear identity
We will now outline the proof ot the linear (in region momenta) identity (3.15). Con-
verting it to the notation used in the appendix, and performing simple manipulations, we
find (suppressing the overall 3/8 factor):
X = q24((p̄3 + p̄4) + (p̄2 + p̄3))f34f41 + q
1(−(p̄2 + p̄3) + (p̄3 + p̄4))f12f41
+ q22(−(p̄3 + p̄4)− (p̄2 + p̄3))f12f23 + q23(+(p̄2 + p̄3)− (p̄3 + p̄4))f23f34
(q2 + q3)(q1 + q4)[(p̄3 − p̄2) + (p̄1 − p̄4)]f12f34
(q3 + q4)(q1 + q2)[(p̄4 − p̄3) + (p̄2 − p̄1)]f23f41
= (p̄3 − p̄1)(q24f34f41 − q22f12f23) + (p̄4 − p̄2)(q21f12f41 − q23f23f34)
− (q2 + q3)(q1 + q4)(p̄3 + p̄1)f12f34 − (q3 + q4)(q1 + q2)(p̄2 + p̄4)f23f41
= (p̄3 − p̄1)(q24f34f41 − q22f12f23) + (p̄4 − p̄2)(q21f12f41 − q23f23f34)
− (p̄1 + p̄3)q2q4(f12f34 − f23f41) + (p̄2 + p̄4)q1q3(f12f34 − f23f41)
− (p̄1 + p̄3)(q1q2 + q3q4)f12f34 + (p̄1 + p̄3)(q2q3 + q4q1)f23f41 .
(B.8)
Similarly to the previous case, we will rewrite the second line in the final expression in such
a way that we completely cancel all the terms in the first line. To do that we use
−(p̄1 + p̄3)q2q4(f12f34 − f23f41) =(p̄3 − p̄1)(q22f12f23 − q24f34f41)+
+ q1q2p̄
1f12f31 − q4q1p̄1f41f13+
+ q3q4p̄
3f34f13 − q2q3p̄3f23f31
(B.9)
(p̄2 + p̄4)q1q3(f12f34 − f23f41) =(p̄4 − p̄2)(q23f23f34 − q21f12f41)+
+ q2q3p̄2f23f42 − q1q2p̄2f12f24+
+ q4q1p̄4f41f24 − q3q4p̄4f34f42 .
(B.10)
What remains after substituting these is
X = p̄1q1f31(q2f12 + q4f41) + q3p̄3f13(q4f34 + q2f23)
+ p̄2q2f42(q3f23 + q1f12) + q4p̄4f24(q1f41 + q3f34)
− (p̄1 + p̄3)(q1q2 + q3q4)f12f34 + (p̄1 + p̄3)(q2q3 + q4q1)f23f41
= p̄1q1q2f12f41 + p̄3q3q4f34f23 + p̄1q4q1f41f21 + p̄3q2q3f23f43
+ p̄2q2f42(q3f23 + q1f12) + q4p̄4f24(q1f41 + q3f34)
− (p̄1q3q4 + p̄3q1q2)f12f34 + (p̄1q2q3 + p̄3q4q1)f23f41 .
(B.11)
Now we collect various terms together to rewrite X as
X = p̄1q2f41(q1f12 + q3f23) + p̄3q4f23(q3f34 + q1f41)
+ p̄1q4f21(q1f41 + q3f34) + p̄3q2f43(q3f23 + q1f12)
+ p̄2q2f42(q3f23 + q1f12) + p̄4q4f24(q1f41 + q3f34)
= p̄1q2f41(2q3f23 − q4f42) + p̄3q4f23(2q1f41 − q2f24)
+ p̄1q4f21(2q1f41 − q4f42) + p̄3q2f43(2q3f23 − q4f42)
+ p̄2q2f42(2q3f23 − q4f42) + p̄4q4f24(2q1f41 − q2f24)
= 2[q2q3f23(p̄1f41 + p̄3f43 + p̄2f42) + q4q1f41(p̄3f23 + p̄1f21 + p̄4f24)]
+ (p̄1 + p̄2 + p̄3 + p̄4)q2q4f24f42 .
(B.12)
Clearly the term on the last line vanishes by momentum conservation. We now restore all
labels to write the final result as
X =2 (32)[f4(p
z̄ + p
z̄ + p
z̄)− p1z̄f1 − p2z̄f2 − p3z̄f3]+
+ 2 (14)[f2(p
z̄ + p
z̄ + p
z̄)− p3z̄f3 − p1z̄f1 − p4z̄f4] ,
(B.13)
where we used that q2q3f23 = p
+ − p3z/p3+) = p3+p2z − p2+p3z = (32) (and similarly
for (14)), and where fi = p
+. Using momentum conservation on both terms, we rewrite
them as
X = −2[(32) + (14)]
p1z̄p
p2z̄p
p3z̄p
p4z̄p
. (B.14)
For each momentum we have that p2 = 2(p+p− − pzpz̄), therefore we can rewrite the above
X = +[(32) + (14)]
+ 2(p1− + p
− + p
− + p
. (B.15)
The p− term vanishes, hence, noticing also that (32)+ (14) = −12((12)+ (23)+ (34)+ (41)),
we conclude that
X = −1
[(12) + (23) + (34) + (41)]
. (B.16)
Off-shell terms in the four-point case
For completeness, we also give the form of the off-shell terms that arose in the manipu-
lations leading to (3.26).
Using the notation Pij = (
) they are :
f(p2) =
4〈12〉 · · · 〈41〉
− P13(p̄1 + p̄2)(41)− P13(p̄2 + p̄3)(12) + P24(p̄2 + p̄3)(42)
P12[(p
+ + p
+)(2p̄1 + p̄2 − p̄3)− p3+(p̄1 + p̄2)− p1+(p̄2 + p̄3)] (13)
+ P12
[p2+(p̄1 + p̄2)− p4+(p̄2 + p̄3)](12)− 2P13
{31}(41)
(B.17)
This expression, together with V(4)
in (3.16), should be added to (3.26) in order to recover
a fully off-shell four–point vertex.
References
[1] E. Witten, Perturbative gauge theory as a string theory in twistor space, Comm. Math.
Phys. 252 (2004) 189, hep-th/0312171.
[2] F. Cachazo and P. Svrček, Lectures on twistor strings and perturbative Yang-Mills
theory, PoS RTN2005 (2005) 004, hep-th/0504194.
[3] R. Britto, F. Cachazo, and B. Feng, New recursion relations for tree amplitudes of
gluons, Nucl. Phys. B 715 (2005) 499, hep-th/0412308.
[4] R. Britto, F. Cachazo, B. Feng, and E. Witten, Direct proof of tree-level recursion
relation in Yang-Mills theory, Phys. Rev. Lett. 94 (2005) 181602, hep-th/0501052.
[5] R. Britto, F. Cachazo, and B. Feng, Generalized unitarity and one-loop amplitudes in
N = 4 super-Yang-Mills, Nucl. Phys. B 725 (2005) 275, hep-th/0412103.
[6] A. Brandhuber and G. Travaglini, Quantum MHV diagrams, hep-th/0609011.
[7] F. Cachazo, P. Svrček, and E. Witten, MHV vertices and tree amplitudes in gauge
theory, J. High Energy Phys. 0409 (2004) 006, hep-th/0403047.
[8] G. Georgiou and V. V. Khoze, Tree amplitudes in gauge theory as scalar MHV
diagrams, J. High Energy Phys. 0405 (2004) 070, hep-th/0404072.
[9] C.-J. Zhu, The googly amplitudes in gauge theory, J. High Energy Phys. 0404 (2004)
032, hep-th/0403115.
[10] J.-B. Wu and C.-J. Zhu, MHV vertices and scattering amplitudes in gauge theory, J.
High Energy Phys. 0407 (2004) 032, hep-th/0406085.
[11] J.-B. Wu and C.-J. Zhu, MHV vertices and fermionic scattering amplitudes in gauge
theory with quarks and gluinos, J. High Energy Phys. 0409 (2004) 063,
hep-th/0406146.
[12] G. Georgiou, E. W. N. Glover, and V. V. Khoze, Non–MHV tree amplitudes in gauge
theory, J. High Energy Phys. 0407 (2004) 048, hep-th/0407027.
[13] L. J. Dixon, E. W. N. Glover, and V. V. Khoze, MHV rules for Higgs plus multi-gluon
amplitudes, J. High Energy Phys. 0412 (2004) 015, hep-th/0411092.
[14] Z. Bern, D. Forde, D. A. Kosower, and P. Mastrolia, Twistor-inspired construction of
electroweak vector boson currents, Phys. Rev. D 72 (2005) 025006, hep-ph/0412167.
[15] J. Bedford, A. Brandhuber, B. Spence, and G. Travaglini, Non–supersymmetric loop
amplitudes and MHV vertices, Nucl. Phys. B 712 (2005) 59, hep-th/0412108.
[16] Z. Bern, L. J. Dixon, D. C. Dunbar, and D. A. Kosower, Fusing gauge theory tree
amplitudes into loop amplitudes, Nucl. Phys. B435 (1995) 59–101, hep-ph/9409265.
http://xxx.lanl.gov/abs/hep-th/0312171
http://xxx.lanl.gov/abs/hep-th/0504194
http://xxx.lanl.gov/abs/hep-th/0412308
http://xxx.lanl.gov/abs/hep-th/0501052
http://xxx.lanl.gov/abs/hep-th/0412103
http://xxx.lanl.gov/abs/hep-th/0609011
http://xxx.lanl.gov/abs/hep-th/0403047
http://xxx.lanl.gov/abs/hep-th/0404072
http://xxx.lanl.gov/abs/hep-th/0403115
http://xxx.lanl.gov/abs/hep-th/0406085
http://xxx.lanl.gov/abs/hep-th/0406146
http://xxx.lanl.gov/abs/hep-th/0407027
http://xxx.lanl.gov/abs/hep-th/0411092
http://xxx.lanl.gov/abs/hep-ph/0412167
http://xxx.lanl.gov/abs/hep-th/0412108
http://xxx.lanl.gov/abs/hep-ph/9409265
[17] A. Brandhuber, B. J. Spence, and G. Travaglini, One-loop gauge theory amplitudes in
N = 4 super Yang-Mills from MHV vertices, Nucl. Phys. B706 (2005) 150–180,
hep-th/0407214.
[18] W. L. van Neerven, Dimensional regularization of mass and infrared singularities in
two loop on-shell vertex functions, Nucl. Phys. B 268 (1986) 453.
[19] Z. Bern and A. G. Morgan, Massive loop amplitudes from unitarity, Nucl. Phys. B 467
(1996) 479, hep-ph/9511336.
[20] Z. Bern, L. J. Dixon, D. C. Dunbar, and D. A. Kosower, One-loop self-dual and N = 4
super Yang-Mills, Phys. Lett. B 394 (1997) 105, hep-th/9611127.
[21] A. Brandhuber, S. McNamara, B. Spence, and G. Travaglini, Loop amplitudes in pure
Yang-Mills from generalised unitarity, J. High Energy Phys. 0510 (2005) 011,
hep-th/0506068.
[22] Z. Bern, L. J. Dixon, and D. A. Kosower, Bootstrapping multi-parton loop amplitudes
in QCD, Phys. Rev. D 73 (2006) 065013, hep-ph/0507005.
[23] C. F. Berger, Z. Bern, L. J. Dixon, D. Forde, and D. A. Kosower, Bootstrapping
one-loop QCD amplitudes with general helicities, Phys. Rev. D 74 (2006) 036009,
hep-ph/0604195.
[24] C. F. Berger, Z. Bern, L. J. Dixon, D. Forde, and D. A. Kosower, All one-loop
maximally helicity violating gluonic amplitudes in QCD, Phys. Rev. D 75 (2007)
016006, hep-ph/0607014.
[25] Z. G. Xiao, G. Yang, and C. J. Zhu, The rational part of QCD amplitude. I: The
general formalism, Nucl. Phys. B 758 (2006) 1, hep-ph/0607015.
[26] X. Su, Z. G. Xiao, G. Yang, and C. J. Zhu, The rational part of QCD amplitude. II:
The five-gluon, Nucl. Phys. B 758 (2006) 35, hep-ph/0607016.
[27] Z. G. Xiao, G. Yang, and C. J. Zhu, The rational part of QCD amplitude. III: The
six-gluon, Nucl. Phys. B 758 (2006) 53, hep-ph/0607017.
[28] C. Anastasiou, R. Britto, B. Feng, Z. Kunszt, and P. Mastrolia, D-dimensional
unitarity cut method, Phys. Lett. B 645 (2007) 213, hep-ph/0609191.
[29] P. Mastrolia, On triple-cut of scattering amplitudes, Phys. Lett. B 644 (2007) 272,
hep-th/0611091.
[30] R. Britto and B. Feng, Unitarity cuts with massive propagators and algebraic
expressions for coefficients, Phys. Rev. D 75 (2007) 105006, hep-ph/0612089.
[31] C. Anastasiou, R. Britto, B. Feng, Z. Kunszt, and P. Mastrolia, Unitarity cuts and
reduction to master integrals in d dimensions for one-loop amplitudes,
hep-ph/0612277.
http://xxx.lanl.gov/abs/hep-th/0407214
http://xxx.lanl.gov/abs/hep-ph/9511336
http://xxx.lanl.gov/abs/hep-th/9611127
http://xxx.lanl.gov/abs/hep-th/0506068
http://xxx.lanl.gov/abs/hep-ph/0507005
http://xxx.lanl.gov/abs/hep-ph/0604195
http://xxx.lanl.gov/abs/hep-ph/0607014
http://xxx.lanl.gov/abs/hep-ph/0607015
http://xxx.lanl.gov/abs/hep-ph/0607016
http://xxx.lanl.gov/abs/hep-ph/0607017
http://xxx.lanl.gov/abs/hep-ph/0609191
http://xxx.lanl.gov/abs/hep-th/0611091
http://xxx.lanl.gov/abs/hep-ph/0612089
http://xxx.lanl.gov/abs/hep-ph/0612277
[32] A. Gorsky and A. Rosly, From Yang-Mills lagrangian to MHV diagrams, J. High
Energy Phys. 0601 (2006) 101, hep-th/0510111.
[33] P. Mansfield, The lagrangian origin of MHV rules, J. High Energy Phys. 0603 (2006)
037, hep-th/0511264.
[34] J. H. Ettle and T. R. Morris, Structure of the MHV–rules lagrangian, J. High Energy
Phys. 0608 (2006) 003, hep-th/0605121.
[35] A. Brandhuber, B. Spence, and G. Travaglini, Amplitudes in pure Yang–Mills and
MHV diagrams, J. High Energy Phys. 0702 (2007) 088, hep-th/0612007.
[36] D. Cangemi, Selfdual Yang-Mills theory and one loop like–helicity QCD multi–gluon
amplitudes., Nucl. Phys. B 484 (1997) 521, hep-th/9605208.
[37] D. Cangemi, Selfduality and maximally helicity violating QCD amplitudes, Int. J.
Mod. Phys. A 12 (1997) 1215, hep-th/9610021.
[38] G. Chalmers and W. Siegel, The self–dual sector of QCD amplitudes, Phys. Rev. D 54
(1996) 7628, hep-th/9606061.
[39] C. B. Thorn, Notes on one-loop calculations in light-cone gauge, hep-th/0507213.
[40] D. Chakrabarti, J. Qiu, and C. B. Thorn, Scattering of glue by glue on the light-cone
worldsheet I: Helicity non-conserving amplitudes, Phys. Rev. D 72 (2005) 065022,
hep-th/0507280.
[41] D. Chakrabarti, J. Qiu, and C. B. Thorn, Scattering of glue by glue on the light-cone
worldsheet II: Helicity conserving amplitudes, Phys. Rev. D 74 (2006) 045018,
hep-th/0602026.
[42] H. Feng and Y.-T. Huang, MHV lagrangian for N=4 Super Yang–Mills,
hep-th/0611164.
[43] A. Brandhuber, B. Spence, and G. Travaglini, From trees to loops and back, J. High
Energy Phys. 0601 (2006) 142, hep-th/0510253.
[44] K. Bardakci and C. B. Thorn, A worldsheet description of large Nc quantum field
theory, Nucl.Phys. B 626 (2002) 287, hep-th/0110301.
[45] C. B. Thorn, A worldsheet description of planar Yang-Mills theory, Nucl. Phys. B 637
(2002) 272, hep-th/0203167.
[46] G. ’t Hooft, A planar diagram theory for strong interactions, Nucl. Phys. B 72 (1974)
[47] H. B. Nielsen and P. Olesen, A parton view on dual amplitudes, Phys. Lett. B 32
(1970) 203.
http://xxx.lanl.gov/abs/hep-th/0510111
http://xxx.lanl.gov/abs/hep-th/0511264
http://xxx.lanl.gov/abs/hep-th/0605121
http://xxx.lanl.gov/abs/hep-th/0612007
http://xxx.lanl.gov/abs/hep-th/9605208
http://xxx.lanl.gov/abs/hep-th/9610021
http://xxx.lanl.gov/abs/hep-th/9606061
http://xxx.lanl.gov/abs/hep-th/0507213
http://xxx.lanl.gov/abs/hep-th/0507280
http://xxx.lanl.gov/abs/hep-th/0602026
http://xxx.lanl.gov/abs/hep-th/0611164
http://xxx.lanl.gov/abs/hep-th/0510253
http://xxx.lanl.gov/abs/hep-th/0110301
http://xxx.lanl.gov/abs/hep-th/0203167
[48] B. Sakita and M. Virasoro, Dynamical model of dual amplitudes, Phys. Rev. Lett. 24
(1970) 1146.
[49] C. B. Thorn, Renormalization of quantum fields on the lightcone worldsheet. 1. Scalar
fields, Nucl. Phys. B 699 (2004) 427, hep-th/0405018.
[50] K. Bardakci and C. B. Thorn, A mean field approximation to the worldsheet model of
planar φ3 field theory, Nucl.Phys. B 652 (2003) 196, hep-th/0206205.
[51] K. Bardakci, Selfconsistent field method for planar φ3 theory, Nucl. Phys. B. 677
(2004) 354, hep-th/0308197.
[52] Z. Bern, L. Dixon, D. Dunbar, and D. Kosower, One-loop n-point gauge theory
amplitudes, unitarity and collinear limits, Nucl.Phys. B 425 (1994) 217,
hep-th/9403226.
[53] J. Qiu, One loop gluon gluon scattering in light cone gauge, Phys. Rev. D 74 (2006)
085022, hep-th/0607097.
[54] Z. Bern and D. A. Kosower, The computation of loop amplitudes in gauge theories,
Nucl. Phys. B 379 (1992) 451.
[55] S. Minwalla, M. Van Raamsdonk, and N. Seiberg, Noncommutative perturbative
dynamics, JHEP 0002 (2000) hep-th/9912072.
[56] Z. Bern, G. Chalmers, L. Dixon, and D. A. Kosower, One-loop n gluon amplitudes with
maximal helicity violation via collinear limits, Phys. Rev. Lett. 72 (1994) 2134,
hep-ph/9312333.
[57] F. Cachazo, P. Svrček, and E. Witten, Twistor space structure of one–loop amplitudes
in gauge theory, J. High Energy Phys. 10 (2004) 074, hep-th/0406177.
[58] R. Boels, L. Mason, and D. Skinner, Supersymmetric gauge theories in twistor space,
J. High Energy Phys. 0702 (2007) 014, hep-th/0604040.
[59] R. Boels, L. Mason, and D. Skinner, From twistor actions to MHV diagrams, Phys.
Lett. B 648 (2007) 90, hep-th/0702035.
[60] R. Boels, A quantization of twistor Yang–Mills theory through the background field
method, hep-th/0703080.
[61] J. H. Ettle, C.-H. Fu, J. P. Fudger, P. R. W. Mansfield, and T. R. Morris, S-matrix
equivalence theorem evasion and dimensional regularisation with the canonical MHV
lagrangian, J. High Energy Phys. 0705 (2007) 011, hep-th/0703286.
[62] D. A. Kosower, Next-to-maximal helicity violating amplitudes in gauge theory, Phys.
Rev. D71 (2005) 045007, hep-th/0406175.
http://xxx.lanl.gov/abs/hep-th/0405018
http://xxx.lanl.gov/abs/hep-th/0206205
http://xxx.lanl.gov/abs/hep-th/0308197
http://xxx.lanl.gov/abs/hep-th/9403226
http://xxx.lanl.gov/abs/hep-th/0607097
http://xxx.lanl.gov/abs/hep-th/9912072
http://xxx.lanl.gov/abs/hep-ph/9312333
http://xxx.lanl.gov/abs/hep-th/0406177
http://xxx.lanl.gov/abs/hep-th/0604040
http://xxx.lanl.gov/abs/hep-th/0702035
http://xxx.lanl.gov/abs/hep-th/0703080
http://xxx.lanl.gov/abs/hep-th/0703286
http://xxx.lanl.gov/abs/hep-th/0406175
[63] J. Bedford, A. Brandhuber, B. Spence, and G. Travaglini, A twistor approach to
one–loop amplitudes in N = 1 supersymmetric Yang–Mills theory, Nucl. Phys. B 706
(2005) 100, hep-th/0410280.
[64] E. Tomboulis, Quantization of the Yang-Mills field in the null-plane frame, Phys. Rev.
D 8 (1973) 2736.
[65] J. Scherk and J. H. Schwarz, Gravitation in the light cone gauge, Gen. Rel. Grav. 6
(1975) 537.
[66] D. M. Capper, J. J. Dulwich, and M. J. Litvak, On the evaluation of integrals in the
light cone gauge, Nucl. Phys. B241 (1984) 463.
http://xxx.lanl.gov/abs/hep-th/0410280
	Introduction
	Background
	The classical MHV Lagrangian
	A four–dimensional regulator for lightcone Yang–Mills
	The one–loop (++++) amplitude
	The all-plus amplitudes from a counterterm
	Mansfield transformation of LCT
	The four–point case
	The general all–plus amplitude
	Discussion
	Notation
	Details on the four–point calculation
