Abstract
The on-shell recursion relation has been recognized as a powerful tool for calculating tree-level amplitudes in quantum field theory, but it does not work well when the residue of the deformed amplitude \(\hat{A}(z)\) does not vanish at infinity of z. However, in such a situation, we still can get the right amplitude by computing the boundary contribution explicitly. In Arkani-Hamed and Kaplan (JHEP 04:076. https://doi.org/10.1088/1126-6708/2008/04/076. arXiv:0801.2385, 2008), the background field method was first used to analyze the boundary behaviors of amplitudes with two deformed external lines in different theories. The same method has been generalized to calculate the explicit boundary operators of some amplitudes with BCFW-like deformation in Jin and Feng (JHEP 04:123. https://doi.org/10.1007/JHEP04(2016)123. arXiv:1507.00463, 2016). In this paper, we will take a step further to generalize the method to the case of multiple-line deformation, and to show how the boundary behaviors (even the boundary contributions) can be extracted in the method.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Recent decades have witnessed the prosperity in the area of scattering amplitudes, including the discovery of new mathematical structures, the new formalisms of scattering amplitudes, and even more important, the new methods for calculating the scattering amplitude more efficiently. Among these methods the on-shell recursion relations, pioneered by the BCFW recursion relations [3, 4], have been proved to be very powerful tools, which can be used to construct higher-point tree-level amplitudes from lower-point ones. After the idea of deforming two external momenta to capture the analytic structures of tree-level amplitudes was introduced, quickly the deformation of multiple lines and even all lines was used in [5,6,7] to discuss on-shell constructibility or other aspects of the amplitudes.
The on-shell recursion relations are based on the Cauchy theorem. It says that under an appropriate deformation of a subset of n momenta, \(p_i \rightarrow \hat{p}_i(z)=p_i+zq_i\), with z being a complex parameter, the residue of \(\hat{A}_n(z)/ z\) at \(z=0\), which is nothing but the n-point physical amplitude \(A_n\), equals the minus of the sum of all other residues. We divide the latter into two parts: \(A_n=-\sum _{z_I} \text {Res}_{z=z_I}\hat{A}_n(z)/z - B_n\). Here \(\text {Res}_{z=z_I}\hat{A}_n(z)/z\) is a residue at finite \(z_I\) and it factorizes into \(\sum _{z_I} \hat{A}_L(z_I) \frac{1}{P^2_I} \hat{A}_{R}(z_I)\) with \(\hat{A}_L\) and \(\hat{A}_R\) being lower-point amplitudes, while \(B_n\) is the residue at \(z=\infty \) and does not have a similar factorization, called the boundary contribution (or boundary term). Then we can see that if the boundary contribution vanishes, the on-shell recursion relations provide an efficient method for calculating n-point amplitudes by lower-point amplitudes, but these relations will meet with problems when \(B_n\) does not vanish, which means \(\hat{A}_n(z)\) does not vanish at \(z=\infty \).Footnote 1
Since the boundary term \(B_n\) is vital for the on-shell recursion relation, many methods were proposed to deal with it. The first step is to determine for which theories the boundary contributions vanish in the on-shell recursion relations. In [1, 8], the authors demonstrated that the deformed amplitudes of a wide variety of theories vanish at infinity by splitting the scattering process into a hard part and a soft background. However, there are also some theories or some cases where the boundary contributions do not vanish. Then in [9, 10], the authors choose to introduce auxiliary fields to eliminate the boundary term. However, if the boundary term does exist, we can also try to separate \(B_n\) from others and compute it explicitly. Then in [11,12,13] the authors try to isolate the boundary term by analyzing the properties of Feynman diagrams. And in [14], collecting factorization limits of all physical poles is applied to finding the boundary contribution. Another progress in this direction was made in [15,16,17], where the idea of expressing boundary terms as roots of amplitudes are introduced, although it is not very practical. Then in [2, 18,19,20], multiple steps of a BCFW-like deformation were used to calculate the boundary contribution step by step until getting the final results.
However, all these methods can only be applied to limited types of theories, and thus a more general method is needed. Hence, we want to develop a general method which is applicable for broader theories. In [1, 7, 8], the background field method was proved to be a good method to analyze the boundary behavior of deformed amplitudes; then in [2] the authors used the background field method to calculate the boundary term explicitly in the case of two momenta being deformed. All these suggest that we can generalize this background field method to more general cases of multiple-leg deformation for better efficiency. Although the same idea has been exploited in [1, 7, 8], and especially in [7] the boundary behavior of deformed amplitudes of a lot of different theories in four dimensions was analyzed, we should emphasize that our objective is to compute the boundary term explicitly rather than just analyze the boundary behavior, and our discussions are in a general number of dimensions.
Now we roughly explain the basic idea. First when \(z\rightarrow \infty \), m deformed momenta \(\hat{p}_i(z)\sim zq_i\) are much larger than the other undeformed momenta \(p_j\), so the original scattering process can be regarded as the process of some hard particles, \(\hat{p}_i(z)\), scattering in the soft background of other soft particles, \(p_j\). From this point of view, the z-dependence of m-deformed n-point amplitude \(\widetilde{B}_m(z)\)Footnote 2 is nothing but the m-point scattering amplitudes in the nontrivial soft background, which can be calculated by the corresponding Feynman diagrams. With such an understanding, the technical difficulty becomes the reading of the Feynman rules, including the interactive vertices and the nontrivial propagators, which will be discussed carefully in this paper.
The structure of the paper is as follows. In Sect. 2, we briefly introduce the method of the background field to calculate the boundary term. In Sect. 3, we begin to consider the simplest example of real scalar theory. Then in Sect. 4, the boundary contribution in Yukawa theory is computed and some results of examples are represented. In Sect. 5, we give the general discussions of Yang–Mills theory, then apply it to some explicit examples. In Sect. 6, we give the conclusion.
2 Boundary term of on-shell recursion relation
In this paper we will follow the method proposed in [2], which will be briefly reviewed in this section. In [2], the authors considered an n-point correlation function with two deformed momenta given byFootnote 3
After splitting the field \(\Phi \) into a high energy (or hard) part \(\Phi ^{\Lambda }\) and a soft part (again denoted by \(\Phi \)) according to the energy scale \(\Lambda \sim |zq_i|\gg p_j\), and expanding the action, then the leading contribution is
with
where \(S_2^{\Lambda }[\Phi ^{\Lambda },\Phi ]\) is the sum of terms quadratic in \(\Phi ^{\Lambda }\) in the expansion of the action.Footnote 4 After applying the LSZ reduction to the n-point correlation function with two hard fields, we can get the large z-dependent part of the deformed amplitude with only two legs being deformed,
Since only \(\hat{G}_2\) depends on z, the question of calculating the z-dependence of a deformed amplitude \(\widetilde{B}_n(z)\) is transformed to the calculation of the two-point correlation function of hard fields \(\hat{G}_2(z)\) in a soft background.
The above consideration is limited to the case with only two external momenta deformed, and only the terms quadratic in \(\Phi ^{\Lambda }\) contribute. We want to generalize this method to the multi-leg deformed case, for example, the Risagger deformation in [5]. Similar to the two-leg deformed case, the central part is the corresponding m-leg deformed correlation function
where \(S^{\Lambda }[\Phi ^{\Lambda },\Phi ]\) is the hard part of the expansion of the action after splitting the field. After doing the LSZ reduction, it will become the large z-dependent part of a m-leg deformed amplitude \(\widetilde{B}_m(z)\), just like (2.4). Particularly, this large z-dependent part \(\hat{G}_{m}(z)\) can be calculated by Feynman diagrams of hard fields in the soft background.
Now we show how to read off Feynman rules in the nontrivial soft background. After splitting the fields into a hard part and a soft part, we expand the Lagrangian,
where \(\cdots \) represents higher order terms of \(\Phi _i^{\Lambda }\) and we have used the integration by part and the equation of motion in the third equation to eliminate the terms linear in \(\Phi _i^{\Lambda }\). From the above expansion, we can easily see that we do not need to consider \(\mathcal {L}(\Phi ,\partial _{\mu }\Phi )\), which is not involved with the hard fields \(\Phi _i^{\Lambda }\).
There exist terms that are quadratic of \(\Phi _i^{\Lambda }\), which will produce the nontrivial propagators by their inverse, just like in the ordinary Lagrangian. One non-trivial thing is that in general all fields \(\Phi _i^{\Lambda }\) are mixed together through the coefficients of quadratic terms, then physically these coefficients act as different propagators linking with different fields (or a particle of one type changes into another type in the process of propagation). And the derivatives in those coefficients are important for the z-dependence of the deformed amplitude, since the derivatives produce deformed momenta in the Feynman rules.
There are also higher order terms of \(\Phi _i^{\Lambda }\), which produce interaction vertices. When we consider m-leg deformed amplitudes, correspondingly we should consider m-leg Feynman diagrams of hard fields in the soft background. This means that if we want to compute the m-deformed correlation function \(\hat{G}_m(z)\), we should consider the Feynman diagrams with m hard external lines constructed by an k-point vertex with \(k\le m\). For example, in the 2-deformed case, we only consider \(S_2^{\Lambda }[\Phi ^{\Lambda },\Phi ]\), which only gives a propagator with two hard external lines, and in the 3-deformed case, we should consider the terms in the expansion of action up to cubic order of \(\Phi _i^{\Lambda }\) and the corresponding Feynman diagram is constructed by three-vertices. In the rest of paper, we will mainly focus on three-leg deformed case to demonstrate our main idea, and there are no differences for the more general m-leg deformed case.
3 Real scalar field theory
In this section, we will focus on the simplest theory, i.e., real scalar field theory, as an example to show our method. More complicated theories will be considered in later sections. From now on, we are limited to the three-leg deformed case. The Lagrangian of real scalar field theory we are considering is
with \(m\ge 3\). We make the substitution \(\phi \rightarrow \phi +\Phi \) with \(\Phi \) representing the hard part of the field and \(\phi \) representing the soft part; then the expansion is
Here we have omitted the terms proportional to \(\Phi \) following the same arguments as in the previous section. \(\mathcal {L}(\phi )\) represents the soft part of the Lagrangian, and \(\mathcal {L}(\phi ,\Phi )\) represents the hard part of the Lagrangian, called the hard Lagrangian.
We regroup \(\mathcal {L}(\phi ,\Phi )\) into a quadratic part and a higher order part, then the quadratic terms of \(\Phi \) produce the propagator and the other terms give the interactive vertices
Here we have used integration by parts and ignored the total derivative. We can read off the Feynman rules for propagator and vertices from the hard Lagrangian directly: the propagator is \(-iD^{-1}\) with \(\partial ^2\) replaced by \(-p^2\) and the three-vertex is \(i\frac{\lambda _{m}}{(m-3)!}\phi ^{m-3}\). Because we only consider a three-leg deformation, then only the cubic vertex can contribute. For the deformed correlation function, \(\langle \Phi _1\Phi _2\Phi _3\rangle \), there is only one contributing Feynman diagram with a cubic vertex and three hard propagator lines, as shown in Fig. 1.
Now we calculate explicitly the z-dependent part of a n-point amplitude of real scalar theory. After doing the LSZ reduction, the deformed correlation function \(\hat{G}_3(z)\) becomes \(\widetilde{B}_3(z)\)
where we expanded the propagators and dots represent higher order terms in the expansion. Now we address the physical meaning of the above formula. In (3.4), each double-line propagator in soft background is expanded by a geometric series with each term being a product of a propagator \(1/\hat{P}^2\) and a vertex \(\phi ^{m-2}\) to some power, and the expansion can be depicted by the diagram in Fig. 2. In Diagram 2, every solid line represents a propagator of the hard field without soft background, every two-vertex represents a real vertex connected with \((m-2)\) soft lines and 2 hard lines and the cubic vertex connected with \((m-3)\) soft lines and 3 hard lines because of the interaction term \(\frac{\lambda _{m}}{3!(m-3)!}\phi ^{m-3}\Phi ^3\). Then we can see that the diagram in Fig. 1 exactly describes the propagation and interaction of hard particles in a soft background. So \(\widetilde{B}_3(z)\) represents the complete contribution of all Feynman diagrams containing the boundary part of deformed amplitude \(\hat{A}_n(z)\).
The Feynman diagram represents the real scatting process without soft background after expanding the double-line propagators in Fig. 1
From the general picture, we can specify the boundary behavior or large z behavior of deformed amplitude \(\hat{A}_n(z)\). If we choose the 3-deformed momenta \(\hat{p}_i(z)=p_i+zq_i\) with \(i=1,2,3\) satisfying the conditions
we will get \(\hat{p}_i^2=0\), i.e., the on-shell condition for three hard legs. We should emphasize that although \(\hat{p}_i^2=0\), the expansion in (3.4) is \(\hat{P}_i\), which contains not only the hard momentum \(\hat{p}_i\), but some soft momenta \(p_j\)’s (\(j=4,\ldots ,n\)) for the vertex \(\frac{\lambda _{m}}{(m-2)!}\phi ^{m-2}\). With this explanation, we see that
where \(P_S=\sum _{j\in S}p_j\) with \(S\subset \{4,\ldots ,n\}\) and in the last step we take \(z\rightarrow \infty \). Then the contribution of every propagator \(1/\hat{P}_i^2\) in (3.4) is \(O(\frac{1}{z})\), so we can easily see that the leading term of the expansion, \(\frac{\lambda _{m}}{(m-3)!}\phi ^{m-3}\), is of the order O(1) and all other terms in the expansion vanish for the additional propagators \(1/\hat{P}_i^2\). We conclude that \(\widetilde{B}_3(z)\) is non-vanishing in the three-leg deformed amplitude of real scalar theory.
Although the above method is general, however the three-leg deformed case is a little special since the diagram in Fig. 1 has only a cubic vertex and does not have any internal propagators. Then a question arises: what happens if we make a four-deformation or even higher s-deformation? Now let us assume we have made a s-leg deformation with \(s\ge 4\). The situation becomes a little different for there are two cases, \(m\ge s\) and \(m<s\), where m is the power of the leading term in (3.1). If \(m\ge s\), then in the expansion of Lagrangian there is always a term \(\phi ^{m}\Phi ^{m-s}\) which will give a Feynman diagram having only one \((m-s)\)-leg vertex, and the boundary contribution of this diagram does not vanish, so in this case the boundary contribution does not vanish for the s-leg deformed on-shell recursion relation. For the second case \(m<s\), all interaction terms in the expansion of Lagrangian are like \(\phi ^{m}\Phi ^{m-t}\) with \(t<s\), so all contributing diagrams for the z-dependent part of s-leg deformed amplitude must have an extra hard propagator which acts as \(O(\frac{1}{z})\); in this case the boundary contribution vanishes. So for the real scalar Lagrangian with finite terms, we can always use on-shell recursion relations with enough legs being deformed, whose boundary term vanishes.Footnote 5
4 Yukawa theory
In this section, we will move on to consider a little more complicated theory, i.e. Yukawa theory. The Lagrangian of the Yukawa theory considered here isFootnote 6
In comparison with the real scalar field theory, Yukawa theory shows some differences. First, the appearance of fermionic fields \(\psi \) and \(\bar{\psi }\) bring about some extra minus signs in the process of calculation for commutating two fermionic fields. Second, since the number of fields is higher than 1 and they interact with each other, then after doing the expansion, there will appear some propagators connecting different fields.Footnote 7 For these reasons, the number of diagrams we should consider will be higher than 1.
Just like before, we split the fields into hard parts and soft parts: \(\phi \rightarrow H+\phi , \bar{\psi }\rightarrow \bar{\Psi }+\psi ,\psi \rightarrow \Psi +\psi \), then the Lagrangian is also divided into two parts:
where we have used the equations of motion to drop those terms proportional to hard fields. Then we only focus on the hard part of the Lagrangian and recast it in the form
where we have used integration by parts and transposition of fermionic fields like \(\bar{\Psi }\Psi =-\Psi ^{T}\bar{\Psi }^T\), \(\bar{\Psi }\gamma ^{\mu }\partial _{\mu }\Psi =-(\partial _{\mu }\Psi ^T) (\gamma ^{\mu })^T\bar{\Psi }^T\). Here \(\mathcal {L}_0(H,\Psi ,\bar{\Psi })\) represents the free part of hard Lagrangian, from which we can get the expressions of propagators, and \(\mathcal {L}_1(H,\Psi ,\bar{\Psi })\) is the interaction part, which gives use the cubic vertex. And we can simply infer that there are six propagators for D being antisymmetric.
To get the concrete expressions for these propagators, we first divide the matrix D into two parts, \(D_0\) and V, because the inverse of \(D_0\) is easy to calculate, then we apply the geometric series expansion to D,
with
![](http://media.springernature.com/lw394/springer-static/image/art%3A10.1140%2Fepjc%2Fs10052-020-08523-5/MediaObjects/10052_2020_8523_Equ17_HTML.png)
where we have used the formula of inverse of a multiplication of two operators, \((AB)^{-1}=B^{-1}A^{-1}\). The inverse of \(D_0\) is easy to get as
![](http://media.springernature.com/lw192/springer-static/image/art%3A10.1140%2Fepjc%2Fs10052-020-08523-5/MediaObjects/10052_2020_8523_Equ18_HTML.png)
where the arrows represent the directions of the action of the derivatives in numerators, and we can easily check \(D_0 D_0^{-1}=D_0^{-1}D_0=1\).Footnote 8 So the inverse of D is given by the expansion (4.4) as
![](http://media.springernature.com/lw822/springer-static/image/art%3A10.1140%2Fepjc%2Fs10052-020-08523-5/MediaObjects/10052_2020_8523_Equ19_HTML.png)
where
\(\cdots \) represents the higher order terms in the expansion (4.4). From Eq. (4.7), we should note that there are totally n derivatives
\(-\frac{1}{\partial ^2}\), or
multiplied together in every element of the nth order matrix, and the frst order has no \(\lambda \), the second order elements are linear in
\(\lambda \), then the elements of the nth order matrix should be proportional to \(\lambda ^{n-1}\).Footnote 9 Furthermore, we should note that \(D^{-1}_{22},D^{-1}_{33}\ne 0\) for the corrections of high order terms, which is different from the ordinary Yukawa theory.
After replacing by
, we can get the concrete expressions of all propagators from (4.7), as shown in Fig. 3, where \(\mathcal {D}_{ij}=D_{ij}^{-1}(\partial \rightarrow P)\). We can also derive the expression of vertex of the hard Lagrangian, as drawn in Fig. 4 following the above conventions.
Just as in the previous seciton, we choose to deform the same momenta and impose the same conditions; then the large z behaviors of elements of \(D_0^{-1}\) are
![](http://media.springernature.com/lw268/springer-static/image/art%3A10.1140%2Fepjc%2Fs10052-020-08523-5/MediaObjects/10052_2020_8523_Equ20_HTML.png)
since the elements of V do not contribute, so the deformed correlation function is only dependent on \(D_0^{-1}\) in the expansion of \(D^{-1}\). When we consider higher order terms in the expansion of \(D^{-1}\), new things appear:
![](http://media.springernature.com/lw322/springer-static/image/art%3A10.1140%2Fepjc%2Fs10052-020-08523-5/MediaObjects/10052_2020_8523_Equ21_HTML.png)
where we have used \(q_1\cdot q_2=0\). From the above results, we can conclude that non-vanishing elements of the second order \(D_0^{-1}VD_0^{-1}\) behave as 1/z when \(z\rightarrow \infty \), and elements of higher order terms vanish even faster. So when we consider the large z behavior of deformed correlation functions, we should focus on only one of the propagators, \(-i\mathcal {D}_{23}^{-1}\), since only the first order term of the expansion of the propagator may contribute.
Now we begin to calculate the z-dependence of deformed amplitudes \(\widetilde{B}_3(z)\) explicitly. For the cases with three-leg deformation, there are only four cases \(\langle H_1H_2H_3\rangle \), \(\langle H_1\Psi _{2\alpha }\bar{\Psi }_{3\beta }\rangle \), \(\langle \Psi _{1\alpha }\bar{\Psi }_{2\beta }\Psi _{3\gamma }\rangle \) and \(\langle \bar{\Psi }_{1\alpha }\Psi _{2\beta }\bar{\Psi }_{3\gamma }\rangle \), and the third one \(\langle \Psi _{1\alpha }\bar{\Psi }_{2\beta }\Psi _{3\gamma }\rangle \) is just the Hermitian conjugate of the fourth one \(\langle \bar{\Psi }_{1\alpha }\Psi _{2\beta }\bar{\Psi }_{3\gamma }\rangle \). The procedure is the same as in the previous section: we will draw the corresponding Feynman diagrams, then write down the expressions, and calculate \(\widetilde{B}_3(z)\) by LSZ reduction.
For the first case \(\langle H_1H_2H_3\rangle \), its corresponding Feynman diagrams are shown in Fig. 5, where we only draw one digram since the other two diagrams can be got by making permutations of (123). Then the deformed correlation function is
with \(\mathcal {P}(123)\) represent the terms got by permuting the three propagators.Footnote 10 Under the LSZ reduction, the deformed correlation function gives the z-dependence of deformed amplitude:
![](http://media.springernature.com/lw366/springer-static/image/art%3A10.1140%2Fepjc%2Fs10052-020-08523-5/MediaObjects/10052_2020_8523_Equ23_HTML.png)
where we just write the first order terms in the expansion of each propagator. When \(z\rightarrow \infty \) (see also (4.9)),
![](http://media.springernature.com/lw453/springer-static/image/art%3A10.1140%2Fepjc%2Fs10052-020-08523-5/MediaObjects/10052_2020_8523_Equ24_HTML.png)
where \(P_1,P_3\) appear for the same reasons as we have explained in the previous section, i.e., with the added soft momenta. The above result shows that the leading term vanish in the limit of \(z\rightarrow \infty \), and the next terms will also vanish because they contain more derivatives as showed in (4.7).
For the second case \(\langle H_1\Psi _{2\alpha }\bar{\Psi }_{3\beta }\rangle \), the corresponding Feynman diagrams are showed in Fig. 5. Since there are five contributing digrams, the expression of \(\hat{G}_3\) is a little complicated,
After LSZ reduction, we get the z-dependence of the 3-deformed amplitude,
![](http://media.springernature.com/lw376/springer-static/image/art%3A10.1140%2Fepjc%2Fs10052-020-08523-5/MediaObjects/10052_2020_8523_Equ48_HTML.png)
where \(s_2,s_3\) label the helicities of fermions. In the above formula the leading order is given by the first term with two \(\mathcal {D}_{23}^{-1}\) as
![](http://media.springernature.com/lw329/springer-static/image/art%3A10.1140%2Fepjc%2Fs10052-020-08523-5/MediaObjects/10052_2020_8523_Equ26_HTML.png)
then the large z behavior of \(\widetilde{B}_3(z)\) depends on the external wavefunction of fermions. The reason why the first term in (4.14) contributes as the leading order is that its three propagators are all in the first order in the expansion of \(D^{-1}\) with the least derivatives. For example, in four dimensions, if we make a three-leg deformation like (5.16), the external wavefunctions are also deformed as showed in [21], then the leading order is at least of the order \(O(z^0)\). So we conclude that \(\widetilde{B}_3(z)\) always has non-zero boundary contributions in four dimensions.Footnote 11
For the third case \(\langle \Psi _{1\alpha }\bar{\Psi }_{2\beta }\Psi _{3\gamma }\rangle \), there are three Feynman diagrams contributing as showed in Fig. 6. The deformed correlation function \(\hat{G}_3\) is
After LSZ reduction,
![](http://media.springernature.com/lw348/springer-static/image/art%3A10.1140%2Fepjc%2Fs10052-020-08523-5/MediaObjects/10052_2020_8523_Equ28_HTML.png)
just like in the previous case we only need to focus on the third term and analyze the large z behavior of it, since the term contains the propagator \(\mathcal {D}_{12}^{-1}\), which contributes as O(z) after LSZ reduction. So when considering the contributions from the wavefunctions, in some helicity configurations \(\widetilde{B}_3(z)\) vanishes, but also in some other helicity configurations non-zero boundary contributions appear. As for the last case \(\langle \bar{\Psi }_{1\alpha }\Psi _{2\beta }\bar{\Psi }_{3\gamma }\rangle \), whose Feynman diagrams are shown in Fig. 6, the discussions are the same as for the third case, since the two are related by complex conjugation.
5 Yang–Mills theory
In this section we apply the same method to Yang–Mills theory. In [8], the author used the background field method by splitting the YM field into a hard field and a soft field, but only wrote down quadratic terms of the hard field since one only considered the significance of propagators of hard field. However, because we consider the on-shell recursion relations of the three-legs deformed case, we need to calculate the interaction part of the hard field. As before, we consider the Lagrangian of the pure Yang–Mills theory,
If we split the Yang–Mills field \(A_{\mu }\) into \(A_{\mu }\rightarrow a_{\mu }+A_{\mu }\), where \(a_{\mu }\) is the soft field and \(A_{\mu }\) is the hard field, the field strength becomes
where \(\bar{F}_{\mu \nu }^c\) is the field strength for the soft field and \(\bar{\mathcal {D}}_{\mu }^{ab}=\partial _{\mu }\delta ^{ab}-g f^{cab}a^c_{\mu }\) is the background covariant derivative. Substituting it into the Lagrangian, we obtain
where the terms without A or linear in A have been dropped. Then we consider adding the gauge-fixing term,Footnote 12
with \(\xi =1\). So we get
then we can get the expression of the propagator from the first line and vertices from the second line.
First, to write down the expression of propagator, we need to consider the first line of (5.5) and after using integration by parts we get
where \(V^{ab}_{\mu \nu } = -gf^{abc}g_{\mu \nu }(\partial ^{\rho } a_{\rho }^c)-2gf^{abc}g_{\mu \nu } a_{\rho }^c\partial ^{\rho } + 2gf^{abc}\bar{F}_{\mu \nu }^c -g^2f^{adc}f^{ceb}{a_{\rho }^d}a^{\rho e}g_{\mu \nu }\). Then we take the inverse of \(M_{\mu \nu }^{ab}\) formlly as
the momentum is got by replacing \(\partial ^2,\partial _{\mu }\) by \(-p^2,i p_{\mu }\). Second, from (5.5), we know there are two kinds of cubic vertices and one quartic vertex; we need to write the explicit expressions of these vertices one by one. The first cubic vertex contains three hard momenta only and is given by
The second cubic vertex connects three hard fields and one soft field,
Although we will not use the quartic vertex \(iV^{abcd}_{\mu \nu \rho \sigma }\) of the hard fields in this paper, when four or more momenta are deformed, the quartic vertex should be included to analyze the boundary behavior, so we give its expression,
for completeness.
Having obtained the Feynman rules, we begin to calculate the deformed correlation function of an amplitude. Since we only deform three external momenta, we need only consider these diagrams with three hard particles. So there are only two diagrams contributing as shown in Fig. 7, the first is the one given by the first kind of cubic vertex, denoted by \(G_1\), the second is the one given by the second kind of cubic vertex denoted by \(G_2\).
The expressions of the two diagrams are given as
Then we do the LSZ reduction and get the boundary contribution of the three-leg deformed amplitude,
where \(s_i\) represents the helicity of the ith particle. Since there are two diagrams contributing, we discuss them one by one. The first contribution comes from the first line of (5.10),
If we expand the above equation and look at the first order term, we obtain
For the higher order terms, although \(V^{ad,\mu \alpha }\) may contribute in the order z, \((\hat{p}_2^2)^{-1}\) is also \(z^{-1}\), so higher order terms contribute the same order as the first ones. So the large z behavior of \(\hat{A}^{(1)}_3(z)\) is more complicated, which depends on the z behaviors of polarization vectors as well as 3-deformed momenta. The contribution from the second diagram is
where terms of the first order are
and higher order terms behave similar to the terms mentioned before. Combining the two contributions, since the first contribution depends on deformed momenta and always has larger order of z than the second one, when we analyze the large z behavior of amplitude, we need only consider the first diagram and ignore the second one.
After calculating the boundary terms, to specify the explicit boundary behavior of amplitude, we should know the z-dependences of the polarization vectors. Since the z-dependence of polarization vectors in the three-leg deformed (or even more deformed) case are not so easily determined, we take an amplitude in four dimensions as an example. The three-leg deformation is chosen asFootnote 13
Next we write down the corresponding polarization vectors,
From the above form of the polarization vectors, we can know that the polarization vectors \(\epsilon _1^-(z), \epsilon _2^+(z), \epsilon _3^+(z) \) are of order \(\mathcal {O}(z)\), while the polarization vectors \(\epsilon _1^+(z), \epsilon _2^-(z), \epsilon _3^-(z) \) are of order \(O(z^{-1})\). There are in total 8 helicity configurations for the three particles; since the analyses for all cases are the same, we focus on one case, \((1^+,2^-,3^-)\), to illustrate our method. When \(z\rightarrow \infty \), the leading contributions for the amplitude of the helicity configuration are the leading terms in the first diagram,
If we choose \(q_2=q_3\), then the first term in the above formula vanish for \(\left[ \epsilon _2^-(z)\cdot \epsilon _3^-(z)\right] =0\), and after calculations we can see that \(\left[ \epsilon _3^-(z)\cdot \epsilon _1^+(z)\right] \sim 1/z^2, \left[ \epsilon _1^+(z)\cdot \epsilon _2^-(z)\right] \sim 1/z^2\) and \(\left[ (\hat{p}_3-\hat{p}_1) \cdot \epsilon _2^-(z)\right] \sim z, \left[ (\hat{p}_1-\hat{p}_2) \cdot \epsilon _3^-(z)\right] \sim z\). So when \(z\rightarrow \infty \), the boundary terms vanish for a gluon amplitude with \((1^+,2^-,3^-)\) for 3-deformed particles. However, we should note that, for other helicity configurations, the boundary terms do not always vanish, which can be inferred from the z dependences of \(\epsilon _1^-(z), \epsilon _2^+(z), \epsilon _3^+(z) \).
6 Conclusion
The vanishing of the boundary contribution \(B_n\) of a deformed amplitude \(\hat{A}_n\) is vital for the existence of on-shell recursion relations; thus much literature has paid special attention to analyzing how a deformed amplitude \(\hat{A}_n\) behaves when z approaches infinity and to determining when these recursion relations are applicable. However, in general the boundary contribution is unavoidable in many theories, so the understanding of the boundary becomes an interesting problem.
In this paper, we try to calculate the z-denpendence of a deformed amplitude by using the background field method in the case of multiple legs being deformed. The method relies on the key idea proposed in [1, 8] that we can view the particles with momenta being deformed as hard particles while we can view the others as soft particles when \(z\rightarrow \infty \), and the deformed amplitude is the description of hard particles scattering in the background of soft particles. To apply the interpretation to practical calculations, we need another tool, LSZ reduction, to relate the deformed amplitude with its corresponding deformed correlation function in [2], where hard particles correspond to fields with deformed momenta. Once the correspondence is established, the computation of the z-dependence of the deformed amplitude is transformed into a simple computation of the sum of several Feynman diagrams, which exactly depict hard particles scattering in the soft background. The key point is to write down the correct Feynman rules for the hard Lagrangian, draw the corresponding Feynman diagrams and calculate the expressions of them. The whole procedure is the same as what we learn from any standard QFT textbook, so the method is very simple. Although in this paper we are limited to the case with only three external legs being deformed, it can also be generalized to situations where more legs are deformed.
After having given the general discussions of how to combine the background field method with on-shell recursion relations, we presented three examples to illustrate our method, ranging from the simplest one, real scalar theory, to more complicated Yukawa theory and pure YM theory. There are some noteworthy features of these examples. First, the Feynman diagrams in the background field method are actually the combination of all diagrams which depict the real scattering process without background, so it is possible to get the explicit expressions of the z-dependent part of deformed amplitude. When we expand the propagator in a soft background, we can find these diagrams to depict real scattering process again. Secondly, the large z contributions are dominated by the leading terms of the expansion of the propagators in soft background, especially those with less derivatives, because these derivatives will produce some \(\hat{p}_i^2\sim z\) in denominators. Thirdly, the external wave functions are also important and actually determine if the on-shell recursion relations exist in some critical cases, just as shown by those examples in Yukawa theory and YM theory.
Data Availability Statement
This manuscript has no associated data or the data will not be deposited. [Authors’ comment: This paper is to develop the theoretical method of calculating the boundary contributions of multiple-leg deformed amplitudes, and we provide three examples to illustrate the method, so it doesn’t need experiment data.]
Notes
It is equivalent to saying that \(\hat{A}_n(z)= \sum _{n=0}^{\infty } a_n z^n \), when we expand it around infinity.
The z-dependent part of the m-deformed n-point amplitude \(\widetilde{B}_m(z)\) is not exactly equal to the boundary term \(B_n\), since \(\lim _{z\rightarrow \infty }\hat{A}_n(z)\approx \widetilde{B}_m(z)\), and \(B_n=\text {Res}_{z=\infty }\hat{A}_n(z)/z \approx \text {Res}_{z=\infty }\widetilde{B}_m(z)/z \).
Here we consider the n-point correlation function in momentum space. Under the LSZ reduction, each field \(\Phi \) in \(x_i\) of the correlation function \(\langle \Phi (x_1)\Phi (x_2)\cdots \Phi (x_n) \rangle \) in position space is associated with an external momentum \(p_i\) in amplitude. So if we make the two-line deformation \(p_1\rightarrow \hat{p}_1(z), p_n\rightarrow \hat{p}_n(z)\) for an amplitude \(A_n\), then the corresponding fields \(\Phi (x_1), \Phi (x_n)\) in the correlation function are assigned \(\hat{p}_1\) and \(\hat{p}_n\) by LSZ reduction.
The terms linear in \(\Phi ^{\Lambda }\) vanish because of the equation of motion, and in the case of two hard particles we only need to consider quadratic terms, ignoring higher terms.
Using the terminology in other literature, the real scalar theory with finite interaction terms is always on-shell constructible.
Here we do not consider the interaction of saclar field.
It is because we are only considering the hard fields and ignoring the soft fields, that there appear such unphysical propagators. But if we do the series expansion of these propagators, then we will find they are actually physical, just like Fig. 2.
We choose the convention \(\{\gamma ^{\mu },\gamma ^{\nu }\}=2g^{\mu \nu }\).
The two facts are consistent with (4.4), since every element of V has a \(\lambda \) and derivatives are only contained by \(D_0^{-1}\).
Note that we are not distinguishing the propagators in position or momentum space, but this does not matter because we will always apply LSZ reduction and only use the propagators in momentum space.
In general dimensions, the deformation of external wavefunctions are complicated, then we do not talk about these here.
We do not consider the ghost term for our considerations are limited in the tree diagrams.
We can easily check that they satisfy the previous mentioned conditions. Here the conventions follow [21].
References
N. Arkani-Hamed, J. Kaplan, On tree amplitudes in gauge theory and gravity. JHEP 04, 076 (2008). https://doi.org/10.1088/1126-6708/2008/04/076. arXiv:0801.2385
Q. Jin, B. Feng, Boundary operators of BCFW recursion relation. JHEP. 04, 123 (2016). https://doi.org/10.1007/JHEP04(2016)123. arXiv:1507.00463
R. Britto, F. Cachazo, B. Feng, New recursion relations for tree amplitudes of gluons. Nucl. Phys. B. 715, 499 (2005). https://doi.org/10.1016/j.nuclphysb.2005.02.030. arXiv:hep-th/0412308
R. Britto, F. Cachazo, B. Feng, E. Witten, Direct proof of tree-level recursion relation in Yang–Mills theory. Phys. Rev. Lett. 94, 181602 (2005). https://doi.org/10.1103/PhysRevLett.94.181602. arXiv:hep-th/0501052
K. Risager, A direct proof of the CSW rules. JHEP. 12, 003 (2005). https://doi.org/10.1088/1126-6708/2005/12/003. arXiv:hep-th/0508206
T. Cohen, H. Elvang, M. Kiermaier, On-shell constructibility of tree amplitudes in general field theories. JHEP 04, 053 (2011). https://doi.org/10.1007/JHEP04(2011)053. arXiv:1010.0257
C. Cheung, C.-H. Shen, J. Trnka, Simple recursion relations for general field theories. JHEP 06, 118 (2015). https://doi.org/10.1007/JHEP06(2015)118. arXiv:1502.05057
C. Cheung, On-shell recursion relations for generic theories. JHEP 03, 098 (2010). https://doi.org/10.1007/JHEP03(2010)098. arXiv:0808.0504
P. Benincasa, F. Cachazo, Consistency conditions on the S-matrix of massless particles. arXiv:0705.4305
R.H. Boels, No triangles on the moduli space of maximally supersymmetric gauge theory. JHEP 05, 046 (2010). https://doi.org/10.1007/JHEP05(2010)046. arXiv:1003.2989
B. Feng, J. Wang, Y. Wang, Z. Zhang, BCFW recursion relation with nonzero boundary contribution. JHEP 01, 019 (2010). https://doi.org/10.1007/JHEP01(2010)019. arXiv:0911.0301
B. Feng, C.-Y. Liu, A note on the boundary contribution with bad deformation in gauge theory. JHEP 07, 093 (2010). https://doi.org/10.1007/JHEP07(2010)093. arXiv:1004.1282
B. Feng, Z. Zhang, Boundary contributions using fermion pair deformation. JHEP 12, 057 (2011). https://doi.org/10.1007/JHEP12(2011)057. arXiv:1109.1887
K. Zhou, C. Qiao, General tree-level amplitudes by factorization limits. Eur. Phys. J. C. 75, 163 (2015). https://doi.org/10.1140/epjc/s10052-015-3391-z. arXiv:1410.5042
P. Benincasa, E. Conde, On the tree-level structure of scattering amplitudes of massless particles. JHEP 11, 074 (2011). https://doi.org/10.1007/JHEP11(2011)074. arXiv:1106.0166
P. Benincasa, E. Conde, Exploring the S-matrix of massless particles. Phys. Rev. D. 86, 025007 (2012). https://doi.org/10.1103/PhysRevD.86.025007. arXiv:1108.3078
B. Feng, Y. Jia, H. Luo, M. Luo, Roots of amplitudes. arXiv:1111.1547
B. Feng, K. Zhou, C. Qiao, J. Rao, Determination of boundary contributions in recursion relation. JHEP 03, 023 (2015). https://doi.org/10.1007/JHEP03(2015)023. arXiv:1411.0452
B. Feng, J. Rao, K. Zhou, On multi-step BCFW recursion relations. JHEP 07, 058 (2015). https://doi.org/10.1007/JHEP07(2015)058. arXiv:1504.06306
Q. Jin, B. Feng, Recursion relation for boundary contribution. JHEP 06, 018 (2015). https://doi.org/10.1007/JHEP06(2015)018. arXiv:1412.8170
H. Elvang, Y.-t. Huang, Scattering amplitudes. arXiv:1308.1697
Acknowledgements
We thank Bo Feng for giving us the idea and helpful discussions. We would also like to thank Qingjun Jing, Rijun Huang, Junjie Rao for helpful discussions. This work is support by Qiu-Shi Funding and the National Natural Science Foundation of China (NSFC) with Grant No. 11935013, No. 11575156.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
Funded by SCOAP3.
About this article
Cite this article
Hu, C., Li, XD. & Li, Y. Boundary contributions of on-shell recursion relations with multiple-line deformation. Eur. Phys. J. C 80, 962 (2020). https://doi.org/10.1140/epjc/s10052-020-08523-5
Received:
Accepted:
Published:
DOI: https://doi.org/10.1140/epjc/s10052-020-08523-5