CALTTH2015005
Simple Recursion Relations
for General Field Theories
Clifford Cheung^, ChiaHsien Shen^, and Jaroslav Trnka^
[7mm] ^Walter Burke Institute for Theoretical Physics,
[1mm] California Institute of Technology, Pasadena, CA 91125^{†}^{†}email: clifford.cheung@caltech.edu, chshen@caltech.edu, trnka@caltech.edu
Abstract
Onshell methods offer an alternative definition of quantum field theory at treelevel, replacing Feynman diagrams with recursion relations and interaction vertices with a handful of seed scattering amplitudes. In this paper we determine the simplest recursion relations needed to construct a general fourdimensional quantum field theory of massless particles. For this purpose we define a covering space of recursion relations which naturally generalizes all existing constructions, including those of BCFW and Risager. The validity of each recursion relation hinges on the large momentum behavior of an point scattering amplitude under an line momentum shift, which we determine solely from dimensional analysis, Lorentz invariance, and locality. We show that all amplitudes in a renormalizable theory are 5line constructible. Amplitudes are 3line constructible if an external particle carries spin or if the scalars in the theory carry equal charge under a global or gauge symmetry. Remarkably, this implies the 3line constructibility of all gauge theories with fermions and complex scalars in arbitrary representations, all supersymmetric theories, and the standard model. Moreover, all amplitudes in nonrenormalizable theories without derivative interactions are constructible; with derivative interactions, a subset of amplitudes is constructible. We illustrate our results with examples from both renormalizable and nonrenormalizable theories. Our study demonstrates both the power and limitations of recursion relations as a selfcontained formulation of quantum field theory.
Contents
1 Introduction
Onshell recursion relations are a powerful tool for calculating treelevel scattering amplitudes in quantum field theory. Practically, they are far more efficient than Feynman diagrams. Formally, they offer hints of an alternative boundary formulation of quantum field theory grounded solely in onshell quantities. To date, there has been enormous progress in computing treelevel scattering amplitudes in various gauge and gravity theories with and without supersymmetry.
In this paper we ask: to what extent do onshell recursion relations define quantum field theory? Conversely, for a given quantum field theory, what is the minimal recursion relation, if any, that constructs all of its amplitudes? Here an amplitude is “constructible” if it can be recursed down to lower point amplitudes, while a theory is “constructible” if all of its amplitudes are either constructible or one of a finite set of seed amplitudes which initialize the recursion.
For our analysis we define a “covering space” of recursion relations, shown in Eq. (2), which includes natural generalizations of the BCFW [1] and Risager [2] recursion relations. These generalizations, defined in Eq. (12) and Eq. (13), intersect at a new “soft” recursion relation, defined in Eq. (14), that probes the infrared structure of the amplitude.
As usual, these recursion relations rely on a complex deformation of the external momenta parameterized by a complex number . By applying Cauchy’s theorem to the complexified amplitude, , one relates the original amplitude to the residues of poles at complex factorization channels, plus a boundary term at which is in general incalculable. Consequently, an amplitude can be recursed down to lower point amplitudes if it vanishes at large and no boundary term exists.
The central aim of this paper is to determine the conditions for onshell constructibility by determining when the boundary term vanishes for a given amplitude. We define the large behavior, , of an amplitude by
(1) 
for an point amplitude under a general line momentum shift, where . Inspired by LABEL:ArkaniHamed:2008yf, we rely crucially on the fact that the large limit describes the scattering of hard particles against soft particles. Hence, the large behavior of the point amplitude is equal to the large behavior of an point amplitude computed in the presence of a soft background. Fortunately, explicit point amplitudes need not be computed, as can be stringently bounded simply from dimensional analysis, Lorentz invariance, and locality, yielding the simple formulas in Eq. (25), Eq. (26), Eq. (28), and Eq. (31). From these large bounds, it is then possible to determine the minimal line recursion relation needed to construct an point amplitude for any given theory. If every amplitude, modulo the seeds, are constructible, then we define the theory to be line constructible.
Theory  YM  YM +  YM +  YM + +  Yukawa  Scalar  SUSY  SM 

2  2  5 (3)  5 (3)  3  5 (3)  3  3 
Our results apply to a general quantum field theory of massless particles in four dimensions, which we now summarize as follows:
Renormalizable Theories

Amplitudes with arbitrary external states are line constructible.

Amplitudes with any external vectors or fermions are line constructible.

Amplitudes with only external scalars are line constructible if there is a symmetry under which every scalar has equal charge.

The above claims imply line constructibility of all renormalizable quantum field theories and line constructibility of all gauge theories with fermions or complex scalars in arbitrary representations, all supersymmetric theories, and last but not least the standard model. The associated recursion relations are defined in Eq. (12) and Eq. (13).
Nonrenormalizable Theories

Amplitudes are line constructible for valent interactions without derivatives.

Amplitudes are constructible for interactions with derivatives up to a certain order in the derivative expansion.

The above claims imply line constructibility of all scalar and fermion theories for , and of certain amplitudes in higher derivative gauge and gravity theories. The associated recursion relations are defined in Eq. (2).
Constructibility conditions for some familiar cases are presented in Tab. 1. These cases fully span the space of all renormalizable theories.
As we will see, our covering space of recursion relations naturally bifurcates according to the number of poles in each factorization channel: one or two. For the former, the recursion relations take the form of standard shifts such as BCFW and Risager, which is the case for the 5line and 3line shifts employed for renormalizable theories. For the latter, the recursion relations take a more complicated form which is more cumbersome in practice, but necessary for some of the nonrenormalizable theories.
The remainder of our paper is as follows. In Sec. 2, we present a covering space of recursion relations for an line shift of an point amplitude, taking note of the generalizations of the BCFW and Risager momentum shifts. Next, we compute the large behavior for these momentum shifts in Sec. 3. Afterwards, in Sec. 4 we present our main result, which is a classification of the minimal recursion relations needed to construct various renormalizable and nonrenormalizable theories. Finally, we discuss examples in Sec. 5 and conclude in Sec. 6.
2 Covering Space of Recursion Relations
2.1 Definition
Let us now define a broad covering space of recursion relations subject to a loose set of criteria. In particular, we demand that the external momenta remain onshell and conserve momenta for all values of . In four dimensions, these conditions are automatically satisfied if the momentum deformation is a complex shift of the holomorphic and antiholomorphic spinors of external legs^{1}^{1}1There is a more general class of shifts in which both and are shifted for every particle. However, in the case momentum conservation imposes complicated nonlinear relations among reference spinors which makes the study of large behavior difficult.,
(2) 
where and are reference spinors that may or may not be identified with those of external legs, and and are disjoint subsets of the external legs. As shorthand, we will refer to the shift in Eq. (2) as an line shift. When the specific elements of and are not very important, we will sometimes refer to this as an line shift, where the labels are the orders of and . For an line shift, . In this notation, the BCFW and Risager shifts are line and line shifts, respectively.
As we will see, the efficacy of recursion relations depend sensitively on the correlation between the helicity of a particle and whether its holomorphic or antiholomorphic spinor is shifted. Throughout, we will define “good” and “bad” shifts according to the choices
(3) 
For example, the bad shift for the case of BCFW yields a nonvanishing contribution at large in nonsupersymmetric gauge theories.
The resulting tree amplitude, , is then complexified, but the original amplitude, is obtained by evaluating the contour integral for a contour encircling . An onshell recursion relation is then obtained by applying Cauchy’s theorem to deform the contour out to , in the process picking up all the residues of in the complex plane.
As noted earlier, the momentum conservation must apply for arbitrary values of , implying
(4) 
which should be considered as four constraints on and which are easily satisfied provided the number of reference spinors is sufficient.
2.2 Factorization
Next, consider a factorization channel of a subset of particles . The complex deformation of the momenta in Eq. (2) sends
(5) 
where is the original momentum flowing through the factorization channel and is the net momentum shift, so
(6) 
where and are intersection of with and .
As we will see, the physics depends crucially on whether vanishes for all factorization channels or not. First of all, the large behavior is affected because propagators in the complexified amplitude scale as
(7) 
for a given factorization channel. Second, there is a very important difference in the structure of the recursion relation depending on whether vanishes in all channels. If so, then each factorization channel has a simple pole at
(8) 
and the onshell recursion relation takes the usual form,
(9) 
where the sum is over all factorization channels and intermediate states, and and are onshell amplitudes corresponding to each side of the factorization channel. However, if does not vanish, then each propagator is a quadratic in and thus carries conjugate poles at
(10) 
Summing over both of these roots, we find a new recursion relation,
(11) 
Under conjugation of the roots, , the summand is symmetric, so crucially, square roots always cancel in the final expression in the recursion relation. Of course, the intermediate steps in the recursion are nevertheless quite cumbersome in this case.
2.3 Recursion Relations
All known recursion relations can be constructed by imposing additional constraints on the momentum shift in Eq. (2) beyond the condition of momentum conservation in Eq. (4). In the absence of extra constraints, the reference spinors and are arbitrary so by Eq. (6), generically. In this case the recursion relation will have square roots in intermediate steps.
On the other hand, if , then must factorized into the product of two spinors. If is factorizable, then in the summand of Eq. (6) either the and are proportional or the and are proportional. For general external kinematics, i.e. the and are independent, these proportionality conditions can involve at most one external spinor. As we will see, this implies two distinct classes of recursion relation which can accommodate .
The first possibility is to shift only holomorphic spinors or only antiholomorphic spinors subject to the constraint that the and are all proportional to universal reference spinors and . In each case, Eq. (6) factorizes into the form and , respectively. In mathematical terms, these scenarios correspond to the line and line shifts,
(12) 
where the constraints on and arise from momentum conservation. Of course, the line and line shifts are simply generalizations of the Risager shift with the only difference that here is arbitrary.
The second possibility is to shift only holomorphic spinors except for one or only antiholomorphic spinors except for one. In this case the reference spinors must be proportional to a spinor of a specific external leg, which we denote here by or . Thus, in each case, and , so we again have factorization, but of the form and . These correspond to line and line shifts,
(13) 
where we have chosen a form such that momentum conservation is automatically satisfied. Note that the case corresponds precisely to BCFW, so these shifts are a generalization of BCFW to arbitrary .
Note that for , any momentum shift is necessarily of the form of the first or second possibility, so automatically. Thus, is only possible if .
Remarkably, while the recursion relations in Eq. (12) and Eq. (13) are naturally the generalizations of Risager and BCFW, they actually overlap for a specific choice of reference variables! In particular, consider the line and line shifts in Eq. (12) for the case of and , and modifying the constraint from momentum conservation such that and , respectively. In this case the recursion coincides with the form of the line and line shifts in Eq. (13), with a curious feature that and . We dub these “soft” shifts for the simple reason that when the amplitude approaches a soft limit. For , the soft shift takes a particularly elegant form,
3line soft shift:  (14) 
This shift offers an onshell prescription for taking a soft limit. We will not make use of this shift in this paper but leave a more thorough analysis of this soft shift for future work [18].
3 Large Behavior of Amplitudes
The recursion relations in Eq. (9) and Eq. (11) apply when the amplitude does not have a pole at . In this section we determine the conditions under which this boundary term vanishes. Although one could study the boundary term in BCFW or Risager shift instead, as in LABEL:Feng:2009ei,Jin:2014qya, we will not proceed in this direction. Concretely, take the point amplitude, , deformed by an line shift where . At large , the shifted amplitude describes the physical scattering of hard particles in a soft background parametrizing the remaining external legs. Thus, we can determine the large behavior by applying a background field method: we expand the original Lagrangian in terms of soft backgrounds and hard propagating fluctuations, then compute the onshell point “skeleton” amplitude, . If the skeleton amplitude vanishes at large , then the boundary term is absent and the recursion relation applies. A similar approach was applied in LABEL:ArkaniHamed:2008yf for BCFW for the case of a hard particle propagator, i.e. the skeleton amplitude for .
Crucially, it will not be necessary to explicitly compute the skeleton amplitude. Rather, from Lorentz invariance, dimensional analysis, and the assumption of local poles, we will derive general formulae for the large behavior of line shifts of point amplitudes. Hence, our calculation of the large scaling combines and generalizes two existing proofs in the literature relating to the BCFW [3] and allline recursion relations[6].
3.1 Ansatz
The basis of our calculation is a general ansatz for the point skeleton amplitude for ,
(15) 
where the sum is over Feynman diagrams , which are contracted into products over the polarization vectors and fermion wavefunctions of the hard particles^{2}^{2}2Note that polarization vectors arise from any particle of spin greater than or equal to one.. Here where is a product of Lagrangian coupling constants and is a product of soft field backgrounds and their derivatives. Note that has free Lorentz indices since it contains insertions of the soft background fields and their derivatives. Crucially, since is comprised of backgrounds, it is always nonnegative in dimension, so and
(16) 
For the special case of gravitational interactions, each insertion of the background graviton field is accompanied by an additional coupling suppression of by the Planck mass, so . This is reasonable because the background metric is naturally dimensionless so insertions of it do not change the dimensions of the overall coupling.
Note the skeleton amplitude receives dimensionful contributions from every term in Eq. (15) except the vector polarizations, so
(17) 
via dimensional analysis. This fact will be crucial for our calculation of the large scaling of the skeleton amplitude for various momentum shifts and theories.
3.2 Large Behavior
We analyze the large behavior of Eq. (15). The contribution from each Feynman diagram can be expressed as a ratio of polynomials in momenta, so . Here arises from interactions while arises from propagators. We define the large behavior of the numerator and denominator as and where
(18) 
We now compute the large behavior of the external wavefunctions, followed by that of the Feynman diagram numerator and denominator, and finally the full amplitude.
External Wavefunctions.
First, we study the contributions from external polarization vectors and fermion wavefunctions. For convenience, we define a “weighted” spin, , for each shifted leg of helicity, which is simply the spin multiplied by if the angle/square bracket is shifted and if the square/angle bracket is shifted. In mathematical terms,
(19) 
where good and bad shifts denote the correlation between helicity and the shift of spinor indicated in Eq. (3). As we will see, a multiplier of / tends to improve/worsen the large behavior. In terms of the weighted spin, it is now straightforward to determine how the large scaling of the polarization vectors and fermion wavefunctions,
external wavefunction  (20) 
so more positive values of , corresponding to good shifts, imply better large convergence.
Numerator and Denominator.
The numerator of each Feynman diagram depends sensitively on the dynamics. However, for a generic shift, we can conservatively assume no cancellation in large so the numerator scales at most as its own mass dimension,
(21) 
The denominator comes from propagators which are fully dictated by the topology of the diagram. Each propagator can scale as or at large , depending on the details of shifts. Thus, the large behavior of denominator is constrained to be within
(22) 
For the shifts, every propagator scales as so . On the other hand, for the shifts, we would naively expect that there is a from each propagator given that the reference spinors are arbitrary. However, this reasoning is flawed due to an important caveat. Since the theory contains soft backgrounds, the Feynman diagram can have 2point interactions of the hard particle induced by an insertion of the soft background. If the 2point interactions occur before the hard particle interacts with another hard particle, then is simply the momentum shift of a single external leg, so accidentally, and the corresponding propagator scales as rather than . It is simple to see that the number of such propagators is . See Fig. 1 for an illustration of this effect. Thus the large behavior is constrained within the range of Eq. (22).
From our knowledge of Feynman diagrams, we can further relate the total number of propagators to the number of hard external legs, , and the valency of the interactions, , yielding
(23) 
where is the valency of the interaction vertices in the fundamental theory and the term arises because we have conservatively assumed that every single background field insertion contributes to a 2point interaction to the amplitude.
Full Amplitude.
Combing in the large scaling of the external wavefunctions in Eq. (20) with that of the numerator and denominator of the the Feynman diagram in Eq. (18), we obtain
(24)  
where in the second line we have plugged in the inequality from Eq. (21), replaced , and eliminated by solving Eq. (17). This is the master formula from which we will derive corresponding large behaviors in and shifts. As expected, the above bound can be improved for shifts because in this case the product of any two hard momenta only scales as rather than . We render the specific derivation in subsequent sections.
The general formula in Eq. (24) can be reduced to more illuminating forms by making the assumption of specific shifts. We consider the large behavior for the and shifts in turn.
3.2.1 ()
To start, we calculate the large behavior for a general momentum shift defined in Eq. (2). As noted earlier, for arbitrary reference spinors, as long as , which we assume here. The large behavior is given by Eq. (24). The offset is the number of propagators with as discussed before. As shown for an example topology in Fig. 1, there is at least one soft background associated with each propagator for which . The canonical dimensions of fields leads to . We conclude that
(25) 
The large convergence is best for the largest possible value for , which occurs if we only apply good shifts to external legs, so . As we will see, this particular choice has the best large behavior of any shfit. There is an inherent connection between and improved behavior of the amplitude, simply because in this case, propagators fall off with in diagrams.
3.2.2 ()
Next, we compute the large behavior of the momentum shift in Eq. (2) when . In these shifts, substituting and Eq. (23) into Eq. (24) yields
(26) 
For trivalent interactions, , the bound is independent of . For quadrivalent vertices, , the bound improves for larger numbers of shifted legs, .
We showed previously that can only occur for the , , , and line shifts defined in Eq. (12) and Eq. (13). Hence, we can learn more by considering the specific form of the large shifts. In the subsequent sections we consider each of these cases in turn to derive additional bounds on the large behavior.
Line and Line Shifts.
The line and line shifts defined in Eq. (12) are a generalization of the Risager momentum shift, for which . To begin, let us consider the large behavior of the line shift; an identical argument will of course hold for the line shift. We only have to keep track of holomorphic spinors, since antiholomorphic spinors are not shifted. To conservatively bound the large behavior of the numerator of Eq. (15), we can simply sum the total number of holomorphic spinors and divide by two, since the reference spinors are proportional and thus vanish when dotted into each other. However, note that we must remember to count the holomorphic spinors coming from the numerator as well as from the soft background and external wavefunctions. Overall Eq. (20) gives the correct number of holomorphic spinors. Including all contributions yields
(27) 
where is the number of holomorphic spinors indices that come from soft background insertions. Again solving for with Eq. (17), and applying our arguments to both shifts, the large behavior is
(28) 
where denotes helicity and we have defined
(29) 
In a theory with only spin fields, soft background insertions contribute at most one holomorphic or antiholomorphic spinor index to be contracted with. Thus, is balanced by the dimension , so in these theories. On the other hand, for a theory with spin fields, e.g., gravitons, then an insertion of a graviton background yields two spinor indices but only with one power of mass dimension. For these two cases we thus find
(30) 
Eqs. (28) and (30) together give our final answer. For an allline shift, , so and this bound reduces to known result from LABEL:Cohen:2010mi. Note that in some cases Eq. (26) is stronger than Eq. (28) so we have to consider both bounds at the same time.
Line and Line Shifts.
The line and line shifts defined in Eq. (13) are a generalization of the BCFW momentum shift, for which . To start, consider a line shift, where particle has a shifted in antiholomorphic spinor and all other shifts are on holomorphic spinors. To determine the large behavior of the line shift, we start with our earlier result on the line shift. By switching the deformation on particle from a shift of to a shift of , all the angle brackets associated with changes their scaling from to at large for generic choice of in Eq. (13). In the mean time, all square brackets involving particle reduce from to because the reference spinor is . The change in large behavior from a line shift to a line shift is exactly the difference of the degrees between antiholomorphic and holomorphic spinors of , which is fixed by little group. Applying the reasoning to both shifts, we obtain
(31) 
where is the helicity of particle . We then see that the line shift improves large behavior of line shift if .
The above argument has a caveat in the special case of the line shift, i.e. the BCFW shift. Shifting the antiholomorphic spinor of particle and the holomorphic spinor of particle , then the angle bracket does not scale as at large so Eq. (31) does not apply. Nevertheless, we can still use Eq. (26) which is valid for BCFW shift.
4 OnShell Constructible Theories
In this section we at last address the question posed in the introduction: what is the simplest recursion relation that constructs all onshell tree amplitudes in a given theory? To find an answer we consider the momentum shift defined in Eq. (2) and the momentum shifts defined in Eq. (12) and Eq. (13). We utilize our results for the large behavior in Eq. (25), Eq. (26), Eq. (28), and Eq. (30). Throughout the rest of the paper we restrict to the good momentum shifts defined in Eq. (3). Thus, we only shift the holomorphic spinors of plus helicity particles and the antiholomorphic spinors of negative helicity particles, and the weighted spin of each leg is equal to its spin, . Unless otherwise noted, we henceforth denote any scalar/fermion/gauge boson/graviton by .
4.1 Renormalizable Theories
To begin we consider the generic momentum shift defined in Eq. (2), which has large behavior derived in Eq. (25). Since a renormalizable theory only has marginal and relevant interactions, the mass dimension of the product of couplings in any scattering amplitude is . Plugging this into Eq. (25), we find that a 5line shift suffices to construct any amplitude. This is also true for the 5line shifts defined in Eq. (12) and Eq. (13), whose large scaling is shown in Eq. (28) and Eq. (31) by conservatively plugging in for renormalizable theories. Consequently, 5line recursion relations provide a purely onshell, treelevel definition of any renormalizable quantum field theory. We must take as input the three and four point onshell tree amplitudes, but this is quite reasonable, as a renormalizable Lagrangian is itself specified by interactions comprised of three or four fields.
Fortunately, simpler recursion relations are sufficient to construct a more restricted but still enormous class of renormalizable theories. To see this, consider a general 3line momentum shift and its associated large behavior shown in Eq. (26). The amplitude vanishes at large provided the sum of the spins of the three shifted legs is greater than one. This is automatic if all three shifted particles are vectors or fermions. Such a shift can always be chosen unless the amplitude is composed of i) one vector and scalars, ii) two fermions and scalars, or iii) all scalars. In case i), we can apply a 3line shift of the form or , while in case ii), we can apply a 3line shift of the form or . In both cases the large behavior is vanishing according to Eq. (31). Hence, any amplitude with an external vector or fermion is 3line constructible.
This leaves case , which is the trickiest scenario: an amplitude with only external scalars. In general, such an amplitude is not 3line constructible, but the story changes considerably if the scalars are covariant under a global or gauge symmetry. Concretely, consider a 3line shift of the form or . Moreover, let us assume that the shifted legs carry a net charge under the scalar which is not equal to the charge of any other scalar in the spectrum. In this case, invariance under the scalar requires that the amplitude has more than one additional external scalar with unshifted momenta. The charge cannot be accounted for by an external fermion with unshifted momenta, since the amplitude only has external scalars. From the perspective of the skeleton diagram describing the scattering of three hard particles in a soft background, the additional scalars correspond to more than one insertions of a soft scalar background, so as defined in Eq. (29), . Thus, according to Eq. (28), the 3line shift has vanishing large behavior and the associated amplitudes are constructible. Note that the charge condition we have assumed is automatically satisfied if every scalar in the theory has equal charge under the scalar and we shift three samesigned scalars.
It seems impossible for this 3line recursion to construct all equalcharged scalar amplitudes, especially with the presence of quartic potential. However, as three samesigned scalars only available from six points, this 3line recursion still takes three and four point amplitudes as seeds. The information of quartic potential still enters to this special 3line recursion. We will demonstrate with a simple theory in next section.
Putting everything together, we have shown that a 3line shift can construct any amplitude with a vector or fermion, and any amplitude with only scalars if every scalar carries equal charge under a symmetry. Immediately, this implies that any theory of solely vectors and fermions—i.e. any gauge theory with arbitrary matter content—is constructible^{3}^{3}3Note that such theories are constructible from BCFW, via a shift of any vector [7] or any same helicity fermions [8].. Moreover, all amplitudes in Yukawa theory necessarily carry an external fermion, so these are likewise constructible. The standard model is also 3line constructible simply because it has a single scalar—the Higgs boson—which carries hypercharge. Finally, we observe that all supersymmetric theories are constructible. The reason is that without loss of generality, the superpotential for such a theory takes the form , where we have shifted away Polonyi terms and eliminated quadratic terms to ensure a massless spectrum. For such a potential there is a manifest symmetry under which every chiral superfield has charge . Consequently, all complex scalars in the theory have equal charge under the symmetry and all amplitudes are 3line constructible. This then applies to theories with extended supersymmetry as well. The conditions for onshell constructibility in some familiar theories is summarized in Tab. 1.
4.2 Nonrenormalizable Theories
In what follows, we first discuss nonrenormalizable theories which are constructible, i.e. for which all amplitudes can be constructed. As we will see, this is only feasible for a subset of nonrenormalizable theories, so in general, the covering space of recursion relations does not provide an onshell formulation of all possible theories. Second, we consider scenarios in which some but not all amplitudes are constructible within a given nonrenormalizable theory. In many cases, amplitudes involving a finite number of higher dimension operator insertions can often be constructed by our methods.
Our analysis will depend sensitively on the dimensionality of coupling constants, which we saw earlier have a huge influence on the the large behavior under momentum shifts. Table 2 summarizes the dimensions of coupling constants in various theories^{4}^{4}4As pointed out in LABEL:Cohen:2010mi, we need to choose the highest dimension coupling if there are multiple of coupling constants.. Here is the (minimal) valency of the vertex. and is defined as vector field strength and Riemann tensor, respectively, and we have omitted indices and complex conjugations for simplicity. The superscript of an external state specifies its helicity. We keep the number of operator insertions, , as a free parameter. At treelevel, it is constrained by by the number of propagators, , where is given in Eq. (23).
Constructible Theories.
Theory  Einstein (+ Maxwell)  

To start, consider a theory of scalars interacting via a operator. Following Eq. (23), and using that the dimensionality of backgrounds is positive, , we can bound the number of propagators by for in a point skeleton amplitude. The number of interaction vertices exceeds the number of propagators by one, so . In a line shift, substituting from Table 2, and plugging into Eq. (28) with for scalars, we have
(32) 
Thus, we find that all amplitudes in theory are constructable for an line shift where and the point amplitude is taken as the input of the recursion relation^{5}^{5}5In fact, suffices to construct any amplitude with points or above. This can be derived if we treat soft background in more carefully.. Since the scalars have no spin, this large also applies for the conjugate line shift. Of course, this conclusion is completely obvious from the perspective of Feynman diagrams. In particular, since theory does not have any kinematic numerators, its amplitudes are constructible provided there is even one hard propagator, which happens as long as .
Analogously, consider a theory of fermions interacting via operators. Conservatively, we assume all soft fermions in the skeleton amplitude are emitted from propagators
(33) 
where is the number of soft fermion insertions. Substituting the above equation and the number of vertices into the large behavior for a general line shift in Eq. (24), we find exactly the same expression for in Eq. (32). Thus, all amplitudes in theory are constructible with generic line shift for , and taking the point amplitude as an input. Again, it is not surprising from Feynman diagrams. Note that we here required a general line shift with , such that the fermionic propagators scale as at large . On the other hand, the recursion relation cannot work for a momentum shift because the fermionic propagators do not fall off at large .
It is straightforward to generalize the arguments above to a theory of scalars and fermions interacting via a . We find that this theory is fully constructible with a general line shift for .
Finally we consider perhaps the most famous constructible nonrenormalizable theory: gravity. As is wellknown, all treelevel graviton scattering amplitudes can be recursed via BCFW [3], taking the 3point amplitudes as input. Still, let us see how each of our line shifts fare relative to BCFW. Throughout, we consider only good shifts, as defined in Eq. (3). Using Eq. (25) and Eq. (26), the large behaviors of line shifts are
(34) 
With the shifts, we can always construct an point amplitude with . Applying the above result to NMHV amplitudes for , we find under a Risager 3line shift, consistent with the known behavior [9]. Generally, graviton amplitude can be constructed with shifts if . LABEL:Cohen:2010mi shows amplitudes with total helicity cannot be constructed from antiholomorphic/holomorphic allline shift. We see this can be resolved if we choose to do “good” shift on only plus or negative helicity gravitons. Our large analysis predicts the scaling grows linearly with and this is indeed how the real amplitude behaves. From this point of view, the amplitude behaves surprisingly well under BCFW shift because the scaling doesn’t grow as increases.
An interesting comparison of our large behavior is to use the KLT relations [10]. Consider the large behavior of point amplitudes under a line shift. A point graviton amplitude can be schematically written as a “square” of gauge amplitudes by the KLT relation
(35) 
where we neglect all the permutation in particles and details of variables^{6}^{6}6The inequality holds for which is satisfied in any shift.. The KLT relation actually predicts a better large behavior than our dimensional analysis.
Constructible Amplitudes.
The above nonrenormalizable theories are some limited examples which can be entirely defined by our onshell recursions. Modifying these theories generally breaks the constructibility! For instrance, a theory of higher dimensional operator cannot be constructed. This is clear from Feynman diagrams because the derivatives in vertices compensate the large suppression from propagators. This implies the chiral Lagrangian is not constructible even with the best allline shift^{7}^{7}7The chiral Lagrangian has the additional complication that there is an infinite tower of interactions generated at each order in the pion decay constant. To overcome this, it is important to use soft limits to relate them and construct the amplitudes [11].. In gauge theories, we cannot construct amplitudes where all vertices are higher dimensional operators either.
Fortunately, we are usually interested in effective theories with some power counting on higher dimensional operators. If the number of operator insertions is fixed, then we can construct amplitudes with generic multiplicity. To illustrate this, consider amplitudes in a renormalizable theory (spin ) with a single insertion of a dimensional operator. If we apply a general line momentum shift, Eq. (25) gives
(36) 
In the worst case scenario, , we see an line shift suffices to construct any such amplitude. For  and line shifts, the sum of their large scaling is
(37) 
where we use for theories with spin . The amplitude can always be constructed from one of them provided . We see the input for recursion relations are all amplitudes with points and below. It is not surprising. After all, we need this input for a operator. If the amplitude has higher total spin/helicity, less deformation is needed to construct it. We will demonstrate this with operator in next section. The result is similar to the conclusion of LABEL:Cohen:2010mi, but we can be more economical by choosing line or less rather than an allline shift.
5 Examples
In this section, we illustrate the power of our recursion relations in various theories. The calculation is straightforward once the large behavior is known.
Ym + + .
Consider a gauge theory with fermion and scalar matter in the adjoint representation. In addition to the gauge interactions, there are Yukawa interactions of the form . Here we construct the colorordered amplitude via a 3line shift . The seed amplitudes for the recursion relation are
(38) 
where and are the Yukawa and gauge coupling constants, respectively. There are only two nonvanishing factorization channels. Based on these seeds, it’s straightforward to write down
(39) 
Note that the spurious pole cancels between terms. From the final answer, we see that neither the BCFW shifts, like and , nor the Risager shift on can construct the amplitude. Thus, a 3line shift such as is necessary to construct theories with both gauge and Yukawa interactions.
Susy.
We have shown all massless supersymmetric theories are 3line constructible. Consider a supersymmetric gauge theory with an flavor multiplet of adjoint chiral multiplets . We assume a superpotential
(40) 
where are fixed flavor indices, no summation implied. We apply our recursion relations on the (colorordered) 6point scalar amplitude , where the superscripts and subscripts denote symmetry and flavor indices, respectively. In the massless limit, all scalars in the chiral multiplets carry equal charge. Therefore we can shift the three holomorphic scalars, namely, . The relevant lower point amplitudes for recursion are
(41) 
Crucially, all of them are holomorphic in spinors. Under shift, it is straightforward to obtain the result by an MHV expansion from the above amplitudes [12, 2]
(42) 
where is the reference spinor and denotes the total momentum of the states in the factorization channel . We have verified numerically that the answer is, as expected, independent of reference . Since the scalar amplitude is independent of the fermions, this result applies to any theory with the same bosonic sector. When , the flavor symmetry together with the symmetry combine to form the symmetry of SYM. Our expression agrees with known answer in this limit.
Theory.
Next, consider amplitudes in a theory of interacting scalars. We have shown that a 5line shift is sufficient to construct all amplitudes, while a 3line shift suffices if every scalar has equal charge under a symmetry. It is straightforward to see how these apply to the 6point scalar amplitude in theory. Applying a 5line shift, the factorization channel is depicted in Fig. 2 where we sum over all nontrivial permutations of external particles. If the scalar is complex and carries charge, namely theory, then only channels satisfying charge conservation can appear. Thus, three plus charged scalars never appear on one side of factorization. Consequently, shifting three plus charge scalars will construct the amplitude by exposing all physical poles.
Theory.
From our previous discussion, we know four fermion theory can be constructed by a line shift. Consider a 6pt amplitude. Using a shift, we find
(43)  
(44)  
(45) 
where hatted variable is evaluated at factorization limit and are the two solutions of . The result is summed over permutation of and with being the number of total permutation. In the last line, we use the fact that is linear in and only nondeformed part survives after exchanging . We see the final answer has no square root as claimed before.
MaxwellEinstein Theory.
We discuss the theory where a photon minimally couples to gravity. The coupling constant has the same dimension as in GR (see Tabel 2). But as a photon has less spin than a graviton, the large behavior is worse. We focus on the amplitudes with only external photons given that any amplitude with a graviton can be recursed by BCFW shift[7]. Using a line shift, we find at large ; thus, it’s always possible to construct such an amplitude when . Together with BCFW shift on gravitons, the theory is fully constructible! Using Eqs. (28) and (31), the result for line shifts are
(46) 
For the 4pt amplitude, we choose a shift so . The inputs for recursions are pt functions obtained from consistency relation [13], and