Abstract
This note provides a new point of view for bootstrapping the tree amplitudes of the nonlinear sigma model (NLSM). We use the universality of single soft behavior, together with the double copy structure, to completely determine the tree amplitudes of the NLSM. We first observe Adler’s zero for four-point NLSM amplitudes, by considering kinematics. Then we assume the universality of Adler’s zero and use this requirement to construct general tree amplitudes of the NLSM in the expanded formula, i.e., the formula of expanding NLSM amplitudes to bi-adjoint scalar amplitudes, which allows us to give explicit expressions of amplitudes with arbitrary numbers of external legs. The construction does not require the assumption of quartic diagrams. We also derive double soft factors for NLSM tree amplitudes based on the resulting expanded formula, and the results are consistent with those in the literature.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Soft theorems describe the universal infrared (IR) behavior of scattering amplitudes when one or more external massless momenta are taken to near zero. This limit can be achieved by rescaling the massless momenta via a soft parameter as \(k^\mu \rightarrow \tau k^\mu \), and taking the limit \(\tau \rightarrow 0\). Soft theorems then state the factorization of amplitudes. For instance, when one of the external gravitons is taken to be soft, the \((n+1)\)-point general relativity (GR) amplitude factorizes as [1,2,3]
where \(\mathcal{A}_n\) is the sub-amplitude of \(\mathcal{A}_{n+1}\), which is generated from \(\mathcal{A}_{n+1}\) by removing the soft external graviton. The universal operators \(S^{(0)}_h\), \(S^{(1)}_h\), and \(S^{(2)}_h\) are called soft factors, or soft operators, at leading, sub-leading, and sub-sub-leading orders.
Soft theorems have been exploited in the construction of tree amplitudes, such as the related on-shell recursion relations, the inverse soft theorem program, and so on [4, 6,7,8,9,10,11,12]. Impressively, in [10], it was shown that soft theorems uniquely fix tree amplitudes. However, the previous constructions mentioned above require the explicit forms of soft factors. To derive soft factors, one needs a certain expression for amplitudes, for example, summations of contributions from Feynman diagrams [13, 14], Britto–Cachzo–Feng–Witten (BCFW) on-shell recursion relations [1, 15,16,17], or Cachazo–He–Yuan (CHY) contour integrals [2, 3, 18,19,20,21,22]. Then the question arises: of the tree amplitude and the soft factor, which one determines the other one?
On the other hand, the factorization in (1) has an intuitive physical picture. Roughly speaking, in the soft limit, the soft particle can be thought of as vanishing, leaving a lower-point amplitude with the soft external leg removed, and the universal soft factors carried by the soft particle. Thus, to avoid the logical confusion mentioned previously, it is natural to ask whether we can take the soft behavior in (1) as the principle and use it to construct tree amplitudes without knowing the explicit forms of soft factors. In the recent work of one of the authors for the present note, it was shown that such construction can be realized at least for tree amplitudes of the Yang–Mills scalar, pure Yang–Mills, Einstein–Yang–Mills, and pure gravitational theories [23]. The factorization behaviors and the universality of soft factors, together with the double copy structure [24,25,26,27,28], completely determine tree amplitudes of these theories.
This note is a generalization of the previous work in [23] and applies a similar idea to consider the tree amplitudes of the NLSM. The NLSM tree amplitudes vanish in the single soft limit (one of the external legs being soft), known as Adler’s zero [29]. For such a case, the factorization behavior in (1) does not occur. However, one can still talk about the universality of the single soft behavior. As will be seen in Sect. 3.1, it is easy to determine Adler’s zero for the four-point NLSM tree amplitude by considering kinematics. Then, the universality of soft behavior indicates that all NLSM tree amplitudes vanish in the single soft limit. This condition, together with the double copy structure and the requirement for manifest permutation invariance among external legs, uniquely determines the general NLSM tree amplitudes. We obtain the general expression of NLSM tree amplitudes with an arbitrary even number of external legs in the expanded formula, i.e., the formula of expanding NLSM amplitudes to bi-adjoint scalar (BAS) amplitudes. Using the resulting expanded formula, we also re-derive double soft factors for the NLSM tree amplitudes [30, 31], which describe the behavior when two external scalars are taken to be soft simultaneously.
It is well known that Adler’s zero together with other constraints completely determines the tree-level NLSM amplitudes [32,33,34]—for instance, using the Adler’s zero condition with the singularity structure [4, 5, 34] or using Adler’s zero with the double soft theorem for the NLSM [10]. Meanwhile, imposing Bern–Carrasco–Johansson (BCJ) relations and the assumption of quartic diagrams also uniquely fixes NLSM tree amplitudes [34, 35]. Compared with constructions in the literature, our method in this note is based on different assumptions, which are listed as follows:
-
The amplitude describes the scattering of massless scalars with a single coupling constant.
-
The kinematic part of the amplitude has a mass dimension of 2.
-
The amplitude is color-ordered.
-
The universality of single soft behavior: the single soft behavior of low-point amplitudes holds for general higher-point ones.
-
The double copy structure: when expanding to a double-ordered BAS basis, coefficients depend on only one ordering.
-
The manifest permutation symmetry among external legs.
First, our method does not assume the locality, i.e, does not assume quartic diagrams. Secondly, we do not employ the double soft theorem. An advantage of our construction is that we obtain the explicit expression for general NLSM amplitudes with an arbitrary number of external legs, while in other studies, the explicit formula is absent. This is because we have chosen the expanded formula to represent general amplitudes, and the coefficients have an elegant universal form.
Let us offer some remarks for the universality of soft behaviors. As will be seen, Adler’s zero plays a central role in our bottom-up construction. However, from the bottom-up perspective, without the aid of a Lagrangian, one needs to explain why the amplitudes should exhibit Adler’s zero. In this note, Adler’s zero is observed from the four-point amplitude determined by bootstrapping, then imposed to higher-point amplitudes due to the universality of soft behaviors. In other words, logically, we did not know Adler’s zero at the beginning. For example, suppose that the four-point NLSM amplitudes behave similarly to the gravitational ones in (1) when taking one of the external momenta to be soft; then we will impose the universal soft factors to higher-point amplitudes. We emphasize that Adler’s zero for four-point amplitudes is well known and obvious, and technically there is no difference between assuming the universality of soft behaviors and assuming Adler’s zero. However, it seems that the universality is a more general feature since it also holds for the Yang–Mills scalar, pure Yang–Mills, Einstein–Yang–Mills, and pure gravitational amplitudes [23]. Furthermore, we want to determine whether the method developed in our previous work [23] based on the universality of soft behaviors and double copy structure can be applied to other theories. Thus, we assume the universality instead of Adler’s zero.
The remainder of this note is organized as follows. In Sect. 2, we provide a quick introduction to the necessary background, including BAS tree amplitudes and expansions of other amplitudes to them. In Sect. 3, we use the the universality of single soft behavior to construct the NLSM tree amplitudes in the expanded formula. In Sect. 4, we derive the double soft factor for NLSM tree amplitudes based on the expanded formula obtained in Sect. 3. Finally, we close with a brief summary in Sect. 5.
2 Background
In this section we briefly review the necessary background. In Sect. 2.1, we introduce the tree-level amplitudes of bi-adjoint scalar (BAS) theory. Some notations and techniques which will be used in subsequent sections are also included. In Sect. 2.2, we introduce the expansions of tree amplitudes to BAS amplitudes, including the choice of basis, as well as the double copy structure for coefficients.
2.1 Tree-level BAS amplitudes
The BAS theory describes the bi-adjoint scalar field \(\phi _{a\bar{a}}\) with the Lagrangian
where the structure constant \(f^{abc}\) and generator \(T^a\) satisfy
and the dual-color algebra encoded by \(f^{\bar{a}\bar{b}\bar{c}}\) and \(T^{\bar{a}}\) is analogous. The tree-level amplitudes of this theory contain only propagators and can be decomposed into double-color-ordered partial amplitudes via the standard technique. Each double-color-ordered partial amplitude is simultaneously planar with respect to two color orderings, arising from expanding the full n-point amplitude to \(\mathop {\textrm{Tr}}(T^{a_{\sigma _1}}\cdots T^{a_{\sigma _n}})\) and \(\mathop {\textrm{Tr}}(T^{\bar{a}_{\bar{\sigma }_1}}\cdots T^{\bar{a}_{\bar{\sigma }_n}})\), respectively, where \(\sigma _i\) and \(\bar{\sigma }_i\) denote the permutations among all external scalars. Here we give the five-point example \(\mathcal{A}_\textrm{S}(1,2,3,4,5|1,4,2,3,5)\). In Fig. 1, the first diagram satisfies both of the two color orderings (1, 2, 3, 4, 5) and (1, 4, 2, 3, 5), while the second one satisfies the ordering (1, 2, 3, 4, 5) but not (1, 4, 2, 3, 5). Thus, the first diagram is allowed by the dual-color orderings (1, 2, 3, 4, 5|1, 4, 2, 3, 5), while the second one is not. It is easy to see that other diagrams are also forbidden by the ordering (1, 4, 2, 3, 5); thus, the first diagram in Fig. 1 is the only diagram that contributes to the amplitude \(\mathcal{A}_\textrm{S}(1,2,3,4,5|1,4,2,3,5)\).
It is convenient to calculate double-color-ordered partial amplitudes via the diagrammatical rules proposed by Cachazo, He, and Yuan [20]. For the above example, one can draw a disk diagram as follows:
-
Draw points on the boundary of the disk according to the first ordering (1, 2, 3, 4, 5).
-
Draw a loop of line segments connecting the points according to the second ordering (1, 4, 2, 3, 5).
The obtained disk diagram is shown in the first diagram in Fig. 2. One can see that two orderings share the boundaries \(\{1,5\}\) and \(\{2,3\}\). These co-boundaries indicate channels \({1/s_{15}}\) and \({1/s_{23}}\), therefore the first Feynman diagram in Fig. 1. Then the BAS amplitude \(\mathcal{A}_\textrm{S}(1,2,3,4,5|1,4,2,3,5)\) can be computed as
up to an overall sign. The Mandelstam variable \(s_{i\cdots j}\) is defined as
where \(k_a\) is the momentum carried by the external leg a.
As another example, let us consider the BAS amplitude \(\mathcal{A}_\textrm{S}(1,2,3,4,5|1,2,4,3,5)\). The corresponding disk diagram is shown in the second configuration in Fig. 2, and one can see that the two orderings have co-boundaries \(\{3,4\}\) and \(\{5,1,2\}\). The co-boundary \(\{3,4\}\) indicates the channel \({1/ s_{34}}\). The co-boundary \(\{5,1,2\}\) indicates the channel \({1/s_{512}}\), which is equivalent to \(1/s_{34}\), as well as sub-channels \({1/ s_{12}}\) and \({1/ s_{51}}\). Using the above decomposition, one can calculate \(\mathcal{A}_\textrm{S}(1,2,3,4,5|1,2,4,3,5)\) as
up to an overall sign.
The overall sign, determined by color algebra, can be fixed by the following rules:
-
Each polygon with an odd number of vertices contributes a plus sign if its orientation is the same as that of the disk, and a minus sign if opposite.
-
Each polygon with an even number of vertices always contributes a minus sign.
-
Each intersection point contributes a minus sign.
We now apply these rules to previous examples. In the first diagram in Fig. 2, the polygons are three triangles, namely, 51A, A4B, and B23, which contribute a plus sign, minus sign, and plus sign, respectively, while two intersection points A and B contribute two minus signs. In the second one in Fig. 2, the polygons are 512A and A43, which contribute two minus signs, while the intersection point A contributes a minus sign. Then we arrive at the full results
In the remainder of this note, we adopt another convention for the overall sign. If the line segments form a convex polygon, and the orientation of the convex polygon is the same as that of the disk, then the overall sign is a plus sign. For instance, the disk diagram in Fig. 3 indicates that the overall sign is a plus sign under the new convention, while the old convention gives a minus sign according to the square formed by the four line segments. Note that the diagrammatical rules described previously still give the related sign between different disk diagrams. For example, the two disk diagrams in Fig. 2 show that the relative sign between \(\mathcal{A}_\textrm{S}(1,2,3,4,5|1,4,2,3,5)\) and \(\mathcal{A}_\textrm{S}(1,2,3,4,5|1,2,4,3,5)\) is a plus sign. The advantage of the new convention is that when removing a soft external scalar, the resulting sub-amplitude carries the same sign as the original one.
When considering the soft limit, the two-point channels play the central role. Since the partial BAS amplitude carries two color orderings, if the two-point channel contributes \(1/s_{ab}\) to the amplitude, the external legs a and b must be adjacent to each other in both orderings. Suppose the first color ordering is \((\cdots ,a,b,\cdots )\); then \(1/s_{ab}\) is allowed by this ordering. To denote whether it is allowed by the other one, we introduce the symbol \(\delta _{ab}\), whose ordering of the two subscripts a and b is determined by the first color ordering.Footnote 1 The value of \(\delta _{ab}\) is \(\delta _{ab}=1\) if the other color ordering is \((\cdots ,a,b,\cdots )\), and \(\delta _{ab}=-1\) if the other color ordering is \((\cdots ,b,a,\cdots )\), due to the anti-symmetry of the structure constant, i.e., \(f^{abc}=-f^{bac}\), and \(\delta _{ab}=0\) otherwise. From the definition, it is straightforward to see that \(\delta _{ab}=-\delta _{ba}\), and a simple but useful identity
Before ending this subsection, we discuss the single soft behavior of BAS amplitudes at the leading order. Consider the double-color-ordered BAS amplitude \(\mathcal{A}_\textrm{S}(1,\ldots ,n|\sigma _n)\). We rescale \(k_i\) as \(k_i\rightarrow \tau k_i\) and expand the amplitude in \(\tau \). The leading-order contribution manifestly arises from two-point channels \(1/s_{1(i+1)}\) and \(1/ s_{(i-1)i}\), which provide the \(1/\tau \)-order contributions, namely,
where \(\not {i}\) stands for removal of the leg i, and \(\sigma _n{\setminus }1\) signifies the color ordering generated from \(\sigma _n\) by eliminating i. The leading soft operator \(S^{(0)}_s(i)\) for the scalar i is extracted as
which acts on external scalars that are adjacent to i in two-color orderings.
2.2 Expanding tree-level amplitudes to the BAS basis
Tree-level amplitudes for massless particles and cubic interactions can be expanded to double-color-ordered BAS amplitudes, given the observation that each Feynman diagram for pure propagators can be mapped to at least one disk diagram whose polygons are all triangles. An illustrative example is given in Fig. 4. For higher-point vertices, one can decompose them into cubic ones via the well-known technique, i.e., inserting \(1=D/D\) with the propagator 1/D and the numerator D. An example is shown in Fig. 5. Based on such insertions, one can decompose each tree amplitude to tree Feynman diagrams with only cubic interactions. Since each Feynman diagram contributes propagators which can be provided by BAS amplitudes, along with a numerator that is dependent on kinematic variables, one can conclude that each tree amplitude for massless particles can be expanded to double-color-ordered partial BAS amplitudes, with coefficients which are polynomials that are dependent on Lorentz-invariant combinations of external kinematic variables.
To realize the expansion, one needs to find the basis that consists of BAS amplitudes. Such basis can be determined by the well-known Kleiss–Kuijf (KK) relation [36]
Here, \(\vec {\pmb {{\alpha }}}\) and \(\vec {\pmb {{\beta }}}\) are two ordered subsets of external scalars, and \(\vec {\pmb {{\beta }}}^T\) represents the ordered set generated from \(\vec {\pmb {{\beta }}}\) by reversing the original ordering. The n-point BAS amplitude \(\mathcal{A}_\textrm{S}(1,\vec {\pmb {{\alpha }}},n,\vec {\pmb {{\beta }}}|\sigma _n)\) on the l.h.s of (11) carries two color orderings: one is \((1,\vec {\pmb {{\alpha }}},n,\vec {\pmb {{\beta }}})\), and the other is denoted by \(\sigma _n\). The symbol means summing over all possible shuffles of two ordered sets \(\vec {\pmb {{\beta }}}_1\) and \(\vec {\pmb {{\beta }}}_2\), i.e., all permutations in the set \(\vec {\pmb {{\beta }}}_1\cup \vec {\pmb {{\beta }}}_2\), while preserving the orderings of \(\vec {\pmb {{\beta }}}_1\) and \(\vec {\pmb {{\beta }}}_2\). For instance, suppose that \(\vec {\pmb {{\beta }}}_1=\{1,2\}\) and \(\vec {\pmb {{\beta }}}_2=\{3,4\}\); then
The analogous KK relation holds for the other color ordering \(\sigma _n\). The KK relation implies that different double-color-ordered BAS amplitudes are not independent; thus, the basis can be chosen as BAS amplitudes \(\mathcal{A}_\textrm{S}(1,\sigma _1,n|1,\sigma _2,n)\), with 1 and n fixed at two ends in each color ordering. We call such a basis the KK BAS basis. Based on the discussion above, the KK BAS basis can provide any structure of massless propagators; thus, any amplitude which includes only massless particles can be expanded to this basis.Footnote 2 In other words, the basis provides propagators, and the coefficients in expansions provide numerators. From this point of view, one can regard the BAS KK basis as the complete set of different structures of propagators, and disregard the corresponding Lagrangian in (2).
In this note, we will consider the expansion of NLSM amplitudes. The color-ordered NLSM amplitude \(\mathcal{A}_\textrm{N}(1,\sigma _{n-2},n)\) can be expanded to the KK BAS basis as
where \(\sigma _{n-2}\) and \(\sigma '_{n-2}\) are permutations among \((n-2)\) external legs in \(\{2,\cdots ,n-1\}\). The double copy structure [24,25,26,27,28] indicates that the coefficient \(\mathcal{C}(\sigma '_{n-2},k_i)\) is dependent on momenta \(k_i\) carried by external scalars, and permutations \(\sigma '_{n-2}\), but is independent of the permutation \(\sigma _{n-2}\).Footnote 3 Thus, suppose we replace \((1,\sigma _{n-2},n)\) by the more general ordering \(\sigma _n\) among all external legs, without fixing 1 and n at any position; the expansion in (13) still holds. The coefficients \(\mathcal{C}(\sigma '_{n-2},k_i)\) will be constructed in the next section.
Note that the expanded formula (13) indicates the BCJ relations among NLSM amplitudes with different \(\sigma _n\), since amplitudes \(\mathcal{A}_\textrm{S}(1,\sigma '_{n-2},n|\sigma _n)\) with fixed \(\sigma '_{n-2}\) satisfy BCJ relations individually. This means that we do not need to solve constraints from BCJ relations as in [35]. Indeed, using BCJ relations, together with the appropriate structure of poles, one can also completely determine the NLSM amplitudes, as shown in [34, 35]. In this note, we take a different path: we regard the universality of soft behaviors as the principle, and do not use unitarity and locality as tools for construction.
3 Expanded NLSM amplitudes
Tree amplitudes can be expressed in various formulas, and in this note we choose the expansions of tree amplitudes to the KK BAS basis as discussed in Sect. 2.2. To determine the NLSM tree amplitudes, it is sufficient to fix coefficients \(\mathcal{C}(\sigma '_{n-2},k_i)\) in (13). This is the goal in the present section.
The standard NLSM Lagrangian in the Cayley parameterization is given as
with
where \(\mathbb {I}\) is the identity matrix, and \(\Phi =\phi _IT^I\), with \(T^I\) the generators of U(N). Fields \(\phi _I\) describe massless scalars, and the accompanying generators \(T^I\) indicate the color ordering for the corresponding partial tree amplitudes. From the Lagrangian in (14), we see that the mass dimension of coupling constant \(\lambda \) is \((2-d)/2\), in d-dimensional spacetime. The mass dimension of the n-point amplitude is \(d-{d-2\over 2}n\), and the coupling constants contribute \((2-d)(n-2)/2\); thus the kinematic part must have mass dimension 2.
Our purpose, therefore, is to find the n-point amplitude (kinematic part) \(\mathcal{A}_\textrm{N}(\sigma _n)\) for pure massless scalars that carry the color ordering \(\sigma _n\) among n external scalars, which has mass dimension 2. As will be seen, the requirements mentioned above, together with the universality of soft behavior and the permutation symmetry among external scalars, are sufficient to determine the NLSM tree amplitudes completely, without using any other information. In this sense, in the remainder of this section, one can disregard the traditional Lagrangian and Feynman rules and concentrate only on the color ordering and mass dimension. Since the propagators contribute the mass dimension \(-2(n-3)\), the mass dimension of numerators can be fixed as \(2(n-2)\). This is the mass dimension of coefficients \(\mathcal{C}(\sigma '_{n-2},k_i)\) in the expansion (13), which plays an important role in the subsequent subsections.
We will argue that the three-point NLSM tree amplitude does not exist, while the four-point one has vanishing single soft behavior at the \(\tau ^0\) order, via the general consideration of Mandelstam variables. Such consideration also yields the statement that the non-vanishing NLSM tree amplitudes only have an even number of external legs. Then, by imposing the universality of single soft behavior observed from the four-point case, we will construct the general \(\mathcal{C}(\sigma '_{n-2},k_i)\) for \(n\geqq 6\). The whole process uses only the mass dimension, the universality of soft behavior, and the permutation invariance among external scalars.
3.1 Four-point NLSM amplitude
The three-point NLSM tree amplitude has mass dimension 2 and contains no pole. However, one can never use three on-shell massless momenta satisfying momentum conservation to construct any non-vanishing Lorentz invariant with mass dimension 2. Thus, the three-point NLSM amplitude does not exist.
The simplest NLSM amplitudes are the four-point ones \(\mathcal{A}_\textrm{N}(\sigma _4)\). The absence of the three-point amplitude implies that the four-point ones have no pole. Then, the mass dimension requires the four-point amplitudes to be linear combinations of Mandelstam variables s, t, and u, where \(s=s_{12}\), \(t=s_{14}\), and \(u=s_{13}\), satisfying \(s+u+t=0\). Such combinations can be fixed via the symmetry. For \(\mathcal{A}_\textrm{N}(1,2,3,4)\), the color ordering indicates symmetry between s and t; thus, \(\mathcal{A}_\textrm{N}(1,2,3,4)\) is proportional to \(s+t\) or u. We can choose
via an overall rescaling of amplitude. Similarly, we have
It is straightforward to observe that all of the above amplitudes vanish when taking any external momentum to be soft, due to the definition of s, t, and u. Thus, we conclude that the single soft behavior of the four-point NLSM amplitude does not exist at \(\tau ^{-1}\) and \(\tau ^0\) orders. Such behavior is known as Adler’s zero.
The vanishing of the four-point amplitude in the single soft limit is further evidence for the vanishing of the three-point one. Suppose that the n-point and \((n+1)\)-point NLSM amplitudes exist; by taking an external leg to be soft, one can always factorize the latter one as the product of the former one and a non-vanishing leading soft factor. Thus, the vanishing of the \((n+1)\)-point amplitude in the single soft limit indicates the vanishing of the n-point amplitude.
In this note, one of the basic assumptions is the universality of soft behaviors. As a consequence of universality, the vanishing of amplitude at \(\tau ^{-1}\) and \(\tau ^0\) orders holds for any NLSM amplitude with an arbitrary number of external legs. If we adopt the existence of the four-point amplitudes, then the five-point ones must vanish; otherwise the vanishing of five-point amplitudes in the single soft limit will imply the vanishing of four-point ones. One can further generalize the above argument and conclude that the number of external legs for each non-vanishing NLSM amplitude should be even.
The four-point NLSM tree amplitudes can be expanded to the KK BAS basis; the double copy assumption requires the following expanded formula:
where the coefficients \(\mathcal{C}_1\) and \(\mathcal{C}_2\) have mass dimension 4. Using (16) and (17), we obtain the following equations:
After evaluating the BAS amplitudes via the diagrammatical rules introduced in Sect. 2.1=, the above equations can be reduced to
The solution of this equation is not unique, and it is hard to choose a particular one since all these solutions lead to the correct four-point amplitudes. Thus, we do not give the explicit formula of \(\mathcal{C}_1\) and \(\mathcal{C}_2\) in the current subsection. In Sect. 3.2, we will use the universality of soft behaviors to determine the n-point NLSM amplitudes in the expanded formula, with \(n\ge 6\). In the next section, we will use this expanded formula to derive the double soft factors for NLSM amplitudes at \(\tau ^0\) and \(\tau ^1\) orders. Imposing the universality of the double soft factor, the four-point amplitude can be generated by removing two soft legs from the six-point one; then the expansion for the four-point case can be fixed through such manipulation, as will be shown in Sect. 4.1.
3.2 The n-point case
As noted at the end of Sect. 3.1, the universality of soft behaviors indicates that each NLSM amplitude vanishes at \(\tau ^{-1}\) and \(\tau ^0\) orders when one of the external legs is soft. This subsection aims to find \(\mathcal{C}(\sigma '_{n-2},k_i)\) for the n-point NLSM amplitude with \(n\ge 6\), by imposing the above requirement, as well as the permutation symmetry among external legs in \(\{2,\ldots ,n-1\}\), which is evident in (13).
Coefficients \(\mathcal{C}(\sigma '_{n-2},k_i)\) have mass dimension \(2(n-2)\) and depend on color orderings \((1,\sigma '_{n-2},n)\) carried by \(\mathcal{A}_\textrm{S}(1,\sigma '_{n-2},n|\sigma _n)\). Consider \(k_2\rightarrow \tau k_2\), and expand \(\mathcal{A}_\textrm{N}(\sigma _n)\) in \(\tau \). In order to construct \(\mathcal{A}_\textrm{N}(\sigma _n)\) which vanishes at \(\tau ^{-1}\) and \(\tau ^0\) orders, the simplest idea is to require each term in \(\mathcal{C}(\sigma '_{n-2},k_i)\) to contain the factor \((k_2\cdot \mathcal{K}_{a_2})\,(k_2\cdot \mathcal{K}_{b_2})\), where \(\mathcal{K}_{a_2}\) and \(\mathcal{K}_{b_2}\) are combinations of external momenta. Then, considerations for \(k_i\rightarrow \tau k_i\) for other \(i\in \{2,\ldots ,n-1\}\) yield the conclusion that each term in \(\mathcal{C}(\sigma '_{n-2},k_i)\) also contains \((k_i\cdot \mathcal{K}_{a_i})\,(k_i\cdot \mathcal{K}_{b_i})\). The total number of \(k_i\) required by the above construction is \(2(n-2)\), which satisfies the correct mass dimension of \(\mathcal{C}(\sigma '_{n-2},k_i)\). This means that each \(\mathcal{C}(\sigma '_{n-2},k_i)\) can be decomposed as the linear combination of building blocks \(\prod _{j=1}^{n-2}\,k_{a_j}\cdot k_{b_j}\), where the set \(\{a_j,b_j\}\) contains two i for each \(i\in \{2,\ldots ,n-1\}\), since when expanding to the KK basis, the coefficients do not contain any pole. When taking \(k_1\rightarrow \tau k_1\) or \(k_n\rightarrow \tau k_n\) and expanding in \(\tau \), the coefficients \(\mathcal{C}(\sigma '_{n-2},k_i)\) constructed in this way are at the \(\tau ^0\) order, which causes the single soft behavior of \(\mathcal{A}_\textrm{N}(\sigma _n)\) to be at the \(\tau ^{-1}\) order, therefore violating the universality of the soft behavior. Consequently, the above naive construction is not correct.
To find the correct answer, we consider \(k_2\rightarrow \tau k_2\) and express the leading-order contribution of \(\mathcal{A}_\textrm{N}(\sigma _n)\) as
where the soft theorem (9) for the external BAS scalar has been used. The leading-order contribution \(\mathcal{C}^{(0)}(\sigma '_{n-2},k_i)\) is obtained from \(\mathcal{C}(\sigma '_{n-2},k_i)\) as follows. For each \(\mathcal{K}_a\cdot \mathcal{K}_b\) contained in \(\mathcal{C}(\sigma '_{n-2},k_i)\), where \(\mathcal{K}_a\) and \(\mathcal{K}_b\) are again two combinations of external momenta, we turn it as \(\mathcal{K}_a\cdot \mathcal{K}_b\rightarrow \mathcal{K}^{(0)}_a\cdot \mathcal{K}^{(0)}_b\). The combinatorial momentum \(\mathcal{K}^{(0)}_a\) is defined as
The definition of \(\mathcal{K}^{(0)}_b\) is analogous. The universality of soft behavior requires \(\mathcal{A}_\textrm{N}^{(0)}(1,\ldots ,n)\) to be of the \(\tau ^1\) order. The simplest and most natural solution to the above condition can be obtained by assuming the independence of BAS amplitudes in the KK BAS basis. This assumption indicates that at \(\tau ^{-1}\) and \(\tau ^0\) orders, coefficients for different \(\mathcal{A}_\textrm{S}(1,\sigma '_{n-2}{\setminus }2,n|\sigma _n{\setminus }2)\) vanish individually, that is,
therefore,
Here, we abbreviated as \(C(a,{\not 2})\), where \((a,{\not 2})\) emphasizes the position of external leg 2 in the color ordering \((\cdots ,a,2,\cdots )\). The symbol in the first line of (23) means the summation over particular permutations, which preserves the ordering \((\sigma _3,\cdots ,\sigma _{n-1})\), as explained below (11). The notation \({\not 2}\) means delaying the leg 2, and thus all are the same BAS amplitude. Note that since our first attempt has failed, we must assume that \(C(a,{\not 2})\) are at the \(\tau ^0\) or \(\tau ^1\) order.
Since the ordering of \(\sigma _n\) is arbitrary, which means that the values of \(\delta _{ab}\) have not been fixed, the only way to obtain the nonzero solution of \(C(a,{\not 2})\) to the Eq. (24) is to employ the identity
which is the special case of identity (8). In other words, Eq. (24) should be reduced to
where \(\widetilde{C}\) is Lorentz-invariant, constructed from external momenta. The formula (26) requires that all \(\delta _{i2}\) have a common coefficient \(\widetilde{C}\). Applying this condition to \(\delta _{12}\), we immediately find that \(C(1,{\not 2})=2(k_2\cdot k_1)\,\widetilde{C}\). Then, applying the same condition to \(\delta _{\sigma _32}\), we have
and the only solution is \(C(\sigma _3,{\not 2})=2(k_2\cdot K_{1\sigma _3})\,\widetilde{C}\), where \(K_{a_1\cdots a_m}\equiv \sum _{i=1}^m k_{a_i}\). Repeating the above process recursively, we obtain
for arbitrary \(a\in \{3,\ldots ,n-1\}\).
Some remarks are in order. First, when expanding the NLSM amplitude to the KK basis, the coefficients do not contain any poles. Thus, \(\widetilde{C}\) is Lorentz-invariant without any pole; otherwise, one cannot ensure that no \(C(a,{\not 2})\) contains any pole. Secondly, we previously assumed that \(C(a,{\not 2})\) are at the \(\tau ^0\) or \(\tau ^1\) order. Since \(C(a,{\not 2})\) includes the factor \(k_2\cdot K_{1\sigma _3\cdots \sigma _a}\) accompanied by \(\tau \) under the rescaling of \(k_2\rightarrow \tau k_2\), we now exclude the \(\tau ^0\) case and conclude that \(C(a,{\not 2})\) and \(\widetilde{C}\) are at the \(\tau ^1\) order. Finally, for a given color ordering \((1,\sigma _3,\ldots ,\sigma _{n-1},n)\) carried by \(\mathcal{A}_\textrm{S}(1,\sigma _3,\ldots ,\sigma _{n-1},n|\sigma _n{\setminus }2)\), \(\widetilde{C}\) is independent of the position of leg 2 in the original orderings .
The solution (28) indicates that the coefficients \(\mathcal{C}(\sigma '_{n-2},k_i)\) contain the component \(k_2\cdot X_2\), where the combinatorial momentum \(X_i\) is defined as the summation of momenta carried by external legs on the l.h.s of i in the color ordering. This result can be generalized as \(\mathcal{C}(\sigma '_{n-2},k_i)\propto k_i\cdot X_i\) for each \(i\in \{2,\ldots ,n-1\}\), because of the permutation symmetry among external legs \(i\in \{2,\ldots ,n-1\}\) in the expansion (13). Since the coefficients \(\mathcal{C}(\sigma '_{n-2},k_i)\) have mass dimension \(2(n-2)\), the above information fixes them completely, namely,
where \({\alpha }\) is an constant with mass dimension 0. Since \(\mathcal{C}(\sigma '_{n-2},k_i)\) contains no pole, \({\alpha }\) is independent of any kinematic variable. Furthermore, \({\alpha }\) is also independent of the color ordering \((1,\sigma '_{n-2},n)\), due to the permutation invariance. Substituting the solution (29) into (13), the expanded formula of the n-point NLSM amplitude is found to be
Here we have fixed the constant \({\alpha }\) as \({\alpha }=1\) via an overall rescaling of the amplitude. The expression in (30) is the desired expanded formula of the NLSM amplitude with \(n\ge 6\). In Sect. 4.1, we will show that (30) is also correct for the four-point case.
It is not hard to verify that \(\mathcal{A}_\textrm{N}(\sigma _n)\) given in (30) vanishes at \(\tau ^{-1}\) and \(\tau ^0\) orders under the rescaling \(k_1\rightarrow \tau k_1\) or \(k_n\rightarrow \tau k_n\); thus the expanded formula (30) satisfies the correct single soft behavior for any external leg being soft. Taking \(k_2\rightarrow \tau k_2\), \(\widetilde{C}\) in the solution (28) can be calculated from(30) as
which satisfies our expectations: \(\widetilde{C}\) is Lorentz-invariant, with no pole, and is independent of the position where leg 2 is inserted. The situations for other \(k_i\rightarrow \tau k_i\) are analogous.
The solution (29) is obtained by assuming the independence of BAS amplitudes in the KK BAS basis. Indeed, such independence is violated by the well-known Bern–Carrasco–Johansson (BCJ) relations among BAS amplitudes. BCJ relations allow for more solutions to Eq. (24). For instance, one can modify the expanded formula in (30) by adding terms which vanish automatically, such as
where \(\mathcal{T}\) is Lorentz-invariant with mass dimension \(2(n-3)\). The above modification is guaranteed by the fundamental BCJ relation
Thus, when considering BCJ relations, the expanded formula (30) should be understood as an equivalent class rather than a unique expression.
The disadvantage of the modified formula (32) is the breaking of manifest permutation symmetry among legs in \(\{2,\ldots ,n-1\}\). Let us focus only on the expanded formulas that manifest such permutation invariance, and ask whether the BCJ relations lead to different solutions to Eq. (24) which satisfy this symmetry, and the coefficients \(\mathcal{C}(\sigma '_{n-2},k_i)\) do not contain any poles. Quite surprisingly, for the six-point and eight-point cases, such a new solution which is nonequivalent to (30) cannot be found. Thus, we conjecture that this situation is a general one and claim that the expansion in (30) is the only solution which manifests the desired permutation invariance, although the general proof is absent.
4 Double soft factors
As discussed in Sect. 3.1, using the single soft theorem, one can generate the n-point tree amplitude from the \((n+1)\)-point one by removing the soft external leg. The NLSM tree amplitude does not have such luxuries, since the number of external legs must be even. However, it is natural to think of the n-point NLSM amplitude as the resulting object of removing two soft legs from the \((n+2)\)-point one. This picture leads to the consideration of the double soft behavior of NLSM tree amplitudes.
The double soft theorems for NLSM tree amplitudes have been obtained by different methods [30, 31]. The leading soft factor is at the \(\tau ^0\) order, while the sub-leading one is at the \(\tau ^1\) order. Such leading-order behavior coincides with the picture of generating the n-point amplitude from the \((n+2)\)-point one, since such manipulation forbids the vanishing of the \((n+2)\)-point amplitude in the limit \(\tau \rightarrow 0\). In this section, we propose an efficient new approach to derive the leading and sub-leading double soft factors, based on the expansion in (30).
Without loss of generality, we consider \(k_a\rightarrow \tau k_a,\,k_b\rightarrow \tau k_b\) and expand \(\mathcal{A}_\textrm{N}(1,\cdots ,n,a,b)\) by \(\tau \). We chose as the basis BAS amplitudes whose external legs 1 and n are fixed at two ends in the first color ordering; thus the \(n+2\)-point amplitude \(\mathcal{A}_\textrm{N}(1,\ldots ,n,a,b)\) can be expanded as
According to the meaning of mentioned below (11), one can rewrite the expansion in (30) as
We used this notation in (34) to emphasize the positions of special legs a and b in the first color ordering carried by \(\mathcal{A}_\textrm{S}(1,\sigma _1,\cdots ,\sigma _n,n|1,\ldots ,n,a,b)\). For later convenience, in the remainder of this section, we denote the BAS amplitude \(\mathcal{A}_\textrm{S}(1,\sigma _1,\ldots ,\sigma _n,n|1,\ldots ,n,a,b)\) as \(\textrm{A}(\sigma _1,\ldots ,\sigma _n)\), where \(\{\sigma _1,\ldots ,\sigma _n\}=\{a,b,2,\ldots ,n-1\}\).
4.1 Leading order
To derive the double soft factor at leading order, let us consider Feynman diagrams for BAS amplitudes whose external legs a and b are coupled to a common vertex. Such diagrams allowed by the second color ordering are shown in Fig. 6. Among terms on the r.h.s of the expansion (34), contributions from the first configuration in Fig. 6 are contained in
while contributions from the second configuration are included in
After taking \(k_a\rightarrow \tau k_a,\,k_b\rightarrow \tau k_b\) and expanding in \(\tau \), the leading-order contribution from (36) can be calculated as
where \(X^{(0)}_i\) arises from \(X_i\) by deleting \(k_a\) and \(k_b\), and \(s^{(0)}_{ab}\) and \(s^{(0)}_{ab1}\) stand for leading-order contributions of \(s_{ab}\) and \(s_{ab1}\), respectively. Therefore, \(s^{(0)}_{ab}=2\tau ^2\,k_a\cdot k_b\), and \(s^{(0)}_{ab1}=2\tau \,(k_a+k_b)\cdot k_1\). Here, the relative minus sign in the first equality can be determined via the diagrammatic rules, and a more direct way to see it is by employing the anti-symmetry of the structure constant \(f^{abc}\) of the Lie group, which indicates a minus sign when swapping legs a and b. Because of this minus sign, terms at the \(\tau ^{-1}\) order cancel each other, leaving the non-vanishing \(L_1\) at the \(\tau ^0\) order. The last equality uses the observation
based on the expansion (30) and the definition of \(X^{(0)}_i\).
The consideration for (37) is analogous and gives
which is also at the \(\tau ^0\) order. We claim that (38) and (40) provide the full double soft behavior of \(\mathcal{A}_\textrm{N}(1,\ldots ,n,a,b)\) at leading order. The reasoning can be explained as follows. For diagrams whose legs a and b are coupled to different vertices, the double soft limit can be achieved by taking single soft limits for a and b successively. Since the single soft behavior for a or b vanishes at the \(\tau ^0\) order, one can conclude that taking two single soft limits consecutively contributes nothing at the \(\tau ^0\) order. Thus, the leading double soft factor can be found by combining (38) and (40), which gives
where
This result is the same as that obtained in [30, 31] by different approaches.
The universality of the leading soft factor (42) indicates that the expanded formula (30) is valid for the four-point NLSM amplitude. The reasoning is as follows. The universality imposes
which is a special case of (41). Since the relation (41) is based on the expansion (39), \(\mathcal{A}_\textrm{N}(1,2,3,4)\) in (43) must satisfy the expansion (39), which is equivalent to (30).
4.2 Sub-leading order
The sub-leading double soft factor is more complicated, since Feynman diagrams whose a and b are coupled to different vertices also have non-vanishing contributions at the \(\tau ^1\) order. We will consider the corresponding diagrams one by one.
Let us start with the first configuration in Fig. 6 and express corresponding terms contained in (36) as
The relative minus sign was interpreted in Sect. 4.1 around (38). When \(k_a\rightarrow \tau k_a,\,k_b\rightarrow \tau k_b\), (44) behaves as
Our purpose is to extract the \(\tau ^1\)-order terms from (45). First, one can expand \(\mathcal{M}(\tau )\) as
and pick up the second term. One can observe that the parameter \(\tau \) enters \(\mathcal{M}(\tau )\) only through the combinatorial momentum \(k_1+\tau (k_a+k_b)\); thus
which leads to
where the observation was used. Consequently, the first piece is found to be
where
Secondly, one can expand the denominator in (45) and pick up the second terms on the r.h.s of
which gives the second piece
Finally, each \(X_i(\tau )\) contains \(\tau \,(k_a+k_b)\); thus the third piece is found to be
Similarly, considering the second configuration in Fig. 6 yields
as well as
The process is parallel to those for obtaining (49), (52), and (53). To derive (56), one should use momentum conservation to replace the explicit form of \(X_i\) by the equivalent one \(\mathcal{X}_i=X_i-\big (k_a+k_b+\sum _{i=1}^n\,k_i\big )\). The special expressions for \(X_i\) imply that the individual results in (53) and (56) are inconsistent with momentum conservation. In (56), suppose one uses momentum conservation to remove \(k_n\) in \(X^{(0)}_i\); then \(k_i\cdot X^{(0)}_i\) will be annihilated by the operator \(\partial _{k_n}\). A similar phenomenon occurs for (53). However, after combining (53) and (56), the resulting object is consistent with momentum conservation. One can use momentum conservation to freely modify the explicit expression of any \(X_i\); the combination \(\mathcal{P}_{4;1}+\mathcal{P}_{4;2}\) always gives the correct result. Similarly, the individual pieces (49) and (54) are inconsistent with momentum conservation, while the combination \(\mathcal{P}_{1;1}+\mathcal{P}_{1;2}\) does not have this problem.
Now we turn to a new type of Feynman diagram, which can be seen in Fig. 7. We focus on the first configuration in Fig. 7, and the second one can be treated similarly. On the r.h.s of (34), contributions from such diagrams are included in
and can thus be expressed as
Taking \(k_a\rightarrow \tau k_a,\,k_b\rightarrow \tau k_b\) turns (58) into
and one can extract four pieces at the \(\tau ^1\) order. In the first one, expanding \(\mathcal{N}(\tau )\) by \(\tau \) gives
where the observation is used, and the minus sign can be verified via diagrammatical rules. The second piece arises from expanding the denominator of (59), which is given by
The third one is obtained by expanding the denominator of (59), which is found to be
The final one comes from \(\tau \,(k_a+k_b)\) contained in \(X_{i}(\tau )\), and thus is given as
Considering the second configuration in Fig. 7 gives analogous results
and
Combinations \(\mathcal{P}_{4;1}+\mathcal{P}_{4;2}\) and \(\mathcal{P}_{7;1}+\mathcal{P}_{7;2}\) allow the expressions of \(X^{(0)}_i\) to be rewritten via momentum conservation, while individual pieces do not.
We then consider the configuration in Fig. 8, which corresponds to
on the r.h.s of (34). Here, we have used on-shell and momentum conservation conditions to rewrite \(X_a\) as \(-k_n\). Under the rescaling \(k_a\rightarrow \tau k_a,\,k_b\rightarrow \tau k_b\), the leading-order contributions from these terms are the \(\tau ^1\) order, which provides
Only one of the operators \(\partial _{k_1}\) and \(\partial _{k_n}\) is effective, since the definition of \(X^{(0)}_i\) implies that \(k_1\) and \(k_n\) cannot be included in \(X^{(0)}_i\) simultaneously. The formula (69) gives a correct result for any expression of \(X^{(0)}_i\), and thus is consistent with momentum conservation.
Next we deal with the configuration in Fig. 9, in which legs a and b are coupled to a common vertex and then coupled to an internal line. On the r.h.s of (34), this type of Feynman diagram corresponds to
When \(k_a\rightarrow \tau k_a,\,k_b\rightarrow \tau k_b\), the leading-order contributions corresponding to Fig. 9 are at the \(\tau ^1\) order and can be calculated as
The last equality is obtained by replacing \(K_{1\cdots i}\) with \(-K_{i+1\cdots n}\) via momentum conservation. Note that since \(s_{1\cdots i}\) is defined as \(s_{1\cdots i}=K_{1\cdots i}^2\) which contains \(k_1^2\), we have \(\partial _{k_{1,\mu }}\,s_{1\cdots i}=2K^\mu _{1\cdots i}\), although \(k_1^2=0\), and we usually omit it when expressing \(s_{1\cdots i}\) explicitly. The analogous situation holds for \(\partial _{k_{n,\mu }}\,s_{i+1\cdots n}\). Summing over all possible i leads to the piece
The operator \( (k_a-k_b)\cdot \partial _{k_1}+(k_b-k_a)\cdot \partial _{k_n}\) is introduced for two reasons. First, this operator is consistent with momentum conservation. Secondly, this operator annihilates terms from Feynman diagrams in Fig. 10, which also contributes to and leaves only the desired contributions corresponding to the configuration in Fig. 9.
Finally, we should consider diagrams provided in Fig. 11. Let us focus on the first configuration in Fig. 11. On the r.h.s of (34), the corresponding terms are
When \(k_a\rightarrow \tau k_a,\,k_b\rightarrow \tau k_b\), leading contributions are at the \(\tau ^1\) order and are given by
Summing over all possible i, we obtain
Applying the same manipulation to the second configuration in Fig. 11 gives
Again, the combination \(\mathcal{P}_{10;1}+\mathcal{P}_{10;2}\) is consistent with momentum conservation, while individual pieces are not.
Now we are ready to determine the sub-leading double soft operator. To realize this, we need to regroup the sub-leading contributions at the \(\tau ^1\) order as
where \(S^{(1)}_\textrm{N}(a,b)\) is an operator at the \(\tau ^1\) order. We first add \(\mathcal{P}_{2;1}\), \(\mathcal{P}_{5;1}\), \(\mathcal{P}_{6;1}\), \(\mathcal{P}_{2;2}\), \(\mathcal{P}_{5;2}\), and \(\mathcal{P}_{6;2}\) in (52), (61), (62), (55), (65), and (66) together to get
Then by combining \(\mathcal{P}_{3;1}\), \(\mathcal{P}_{7;1}\), \(\mathcal{P}_{3;2}\), \(\mathcal{P}_{7;2}\), and \(\mathcal{P}_8\) in (53), (63), (56), (67), and (69), we obtain
where
In the second line on the r.h.s, \(J^{\mu \nu }_a\) is the angular momentum operator of the scalar particle a, which is defined by
Putting pieces \(\mathcal{P}_{1;1}\), \(\mathcal{P}_{4;1}\), \(\mathcal{P}_{10;1}\), \(\mathcal{P}_{1;2}\), \(\mathcal{P}_{4;2}\), \(\mathcal{P}_{10;2}\), and \(\mathcal{P}_9\) in (49), (60), (75), (54), (64), (76), and (72) together, we find
One can combine \(\mathcal{R}_{21}\) and \(\mathcal{R}_{22}\) to obtain
Consequently, we can express \(\mathcal{A}^{(1)}_\textrm{N}(1,\ldots ,n,a,b)\) as
where the soft operator \(S^{(1)}_\textrm{N}(a,b)\) is given as
5 Summary
In this note, we bootstrapped NLSM tree amplitudes based on the assumptions listed in Sect. 1. Note that the existence of expansions and the characteristic wherein coefficients do not involve any pole are proven rather than assumed, as can be seen in Sect. 2.2. Within the above assumptions, we first observed Adler’s zero for four-point NLSM amplitudes by considering kinematics. Then we determined the expanded formula of general NLSM tree amplitudes, which manifests the permutation invariance among external legs, by using the universality of Adler’s zero. The whole process does not require the assumption of quartic diagrams. We also re-derived double soft factors for NLSM tree amplitudes at leading and sub-leading orders, via the resulting expanded formula. The obtained double soft factors are coincident with those in the literature.
Our soft bootstrap method, based on the universality of soft behaviors and a double copy structure, is proven to be useful for constructing tree amplitudes of Yang–Mills scalar, Yang–Mills, Einstein–Yang–Mills, gravity [23], and nonlinear sigma models. It will be interesting to apply this method to a wider range of theories. Another potential future direction is to generalize this method from the tree level to the loop level.
Data Availability Statement
This manuscript has no associated data or the data will not be deposited. [Authors’ comment: This work is formal, without dealing with any explicit data.]
Notes
The Kronecker symbol will not appear in this paper; thus we hope that the notation \(\delta _{ab}\) will not confuse the readers.
The well-known Bern–Carrasco–Johansson (BCJ) relation [25,26,27,28] links BAS amplitudes in the KK basis together, and the independent BAS amplitudes can be obtained by fixing three legs at three particular positions in the color orderings. However, in the BCJ relation, the coefficients of BAS amplitudes depend on Mandelstam variables, which leads to poles in coefficients when expanding to the BCJ basis. On the other hand, when expanding to the KK basis, one can find the expanded formula in which the coefficients contain no poles. In this paper, we choose the KK basis since we hope that all poles of tree amplitudes are included in the basis, and the coefficients serve only as numerators.
Originally, the double copy meant that the GR amplitude could be factorized as \(\mathcal{A}_\textrm{G}=\mathcal{A}_\textrm{Y}\times \mathcal{S}\times \mathcal{A}_\textrm{Y}\), where the kernel \(\mathcal{S}\) was obtained by inverting propagators. Our assumption that the coefficients depend on only one color ordering is equivalent to the original version; see [23].
References
F. Cachazo, A. Strominger, Evidence for a new soft graviton theorem. arXiv:1404.4091 [hep-th]
B.U.W. Schwab, A. Volovich, Subleading soft theorem in arbitrary dimensions from scattering equations. Phys. Rev. Lett. 113(10), 101601 (2014). https://doi.org/10.1103/PhysRevLett.113.101601. arXiv:1404.7749 [hep-th]
N. Afkhami-Jeddi, Soft graviton theorem in arbitrary dimensions. arXiv:1405.3533 [hep-th]
C. Cheung, K. Kampf, J. Novotny, J. Trnka, Effective field theories from soft limits of scattering amplitudes. Phys. Rev. Lett. 114(22), 221602 (2015). https://doi.org/10.1103/PhysRevLett.114.221602. arXiv:1412.4095 [hep-th]
C. Cheung, K. Kampf, J. Novotny, C.H. Shen, J. Trnka, On-shell recursion relations for effective field theories. Phys. Rev. Lett. 116(4), 041601 (2016). https://doi.org/10.1103/PhysRevLett.116.041601. arXiv:1509.03309 [hep-th]
H. Luo, C. Wen, Recursion relations from soft theorems. JHEP 03, 088 (2016). https://doi.org/10.1007/JHEP03(2016)088. arXiv:1512.06801 [hep-th]
C. Cheung, K. Kampf, J. Novotny, C.H. Shen, J. Trnka, C. Wen, Vector effective field theories from soft limits. Phys. Rev. Lett. 120(26), 261602 (2018). https://doi.org/10.1103/PhysRevLett.120.261602. arXiv:1801.01496 [hep-th]
H. Elvang, M. Hadjiantonis, C.R.T. Jones, S. Paranjape, Soft bootstrap and supersymmetry. JHEP 01, 195 (2019). https://doi.org/10.1007/JHEP01(2019)195. arXiv:1806.06079 [hep-th]
F. Cachazo, P. Cha, S. Mizera, Extensions of theories from soft limits. JHEP 06, 170 (2016). https://doi.org/10.1007/JHEP06(2016)170. arXiv:1604.03893 [hep-th]
L. Rodina, Scattering amplitudes from soft theorems and infrared behavior. Phys. Rev. Lett. 122(7), 071601 (2019). https://doi.org/10.1103/PhysRevLett.122.071601. arXiv:1807.09738 [hep-th]
C. Boucher-Veronneau, A.J. Larkoski, Constructing amplitudes from their soft limits. JHEP 09, 130 (2011). https://doi.org/10.1007/JHEP09(2011)130. arXiv:1108.5385 [hep-th]
D. Nguyen, M. Spradlin, A. Volovich, C. Wen, The tree formula for MHV graviton amplitudes. JHEP 07, 045 (2010). https://doi.org/10.1007/JHEP07(2010)045. arXiv:0907.2276 [hep-th]
F.E. Low, Bremsstrahlung of very low-energy quanta in elementary particle collisions. Phys. Rev. 110, 974 (1958)
S. Weinberg, Infrared photons and gravitons. Phys. Rev. 140, B516 (1965)
E. Casali, Soft sub-leading divergences in Yang–Mills amplitudes. JHEP 08, 077 (2014). https://doi.org/10.1007/JHEP08(2014)077. arXiv:1404.5551 [hep-th]
R. Britto, F. Cachazo, B. Feng, New recursion relations for tree amplitudes of gluons. Nucl. Phys. B 715, 499–522 (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
F. Cachazo, S. He, E.Y. Yuan, Scattering equations and Kawai–Lewellen–Tye orthogonality. Phys. Rev. D 90(6), 065001 (2014). arXiv:1306.6575 [hep-th]
F. Cachazo, S. He, E.Y. Yuan, Scattering of massless particles in arbitrary dimensions. Phys. Rev. Lett. 113(17), 171601 (2014). arXiv:1307.2199 [hep-th]
F. Cachazo, S. He, E.Y. Yuan, Scattering of massless particles: scalars, gluons and gravitons. JHEP 1407, 033 (2014). arXiv:1309.0885 [hep-th]
F. Cachazo, S. He, E.Y. Yuan, Einstein–Yang–Mills scattering amplitudes from scattering equations. JHEP 1501, 121 (2015). arXiv:1409.8256 [hep-th]
F. Cachazo, S. He, E.Y. Yuan, Scattering equations and matrices: from Einstein To Yang–Mills, DBI and NLSM. JHEP 1507, 149 (2015). arXiv:1412.3479 [hep-th]
K. Zhou, Tree level amplitudes from soft theorems. JHEP 03, 021 (2023). https://doi.org/10.1007/JHEP03(2023)021. arXiv:2212.12892 [hep-th]
H. Kawai, D.C. Lewellen, S.H. Tye, A relation between tree amplitudes of closed and open strings. Nucl. Phys. B 269, 1 (1986)
Z. Bern, J.J.M. Carrasco, H. Johansson, New relations for gauge-theory amplitudes. Phys. Rev. D 78, 085011 (2008). arXiv:0805.3993 [hep-ph]
M. Chiodaroli, M. Gnaydin, H. Johansson, R. Roiban, Scattering amplitudes in \( mathcal N =2 \) Maxwell–Einstein and Yang–Mills/Einstein supergravity. JHEP 1501, 081 (2015). https://doi.org/10.1007/JHEP01(2015)081. arXiv:1408.0764 [hep-th]
H. Johansson, A. Ochirov, Color-kinematics duality for QCD amplitudes. JHEP 1601, 170 (2016). https://doi.org/10.1007/JHEP01(2016)170. arXiv:1507.00332 [hep-ph]
H. Johansson, A. Ochirov, Double copy for massive quantum particles with spin. JHEP 1909, 040 (2019). https://doi.org/10.1007/JHEP09(2019)040. arXiv:1906.12292 [hep-th]
S.L. Adler, Consistency conditions on the strong interactions implied by a partially conserved axial vector current. Phys. Rev. 137, B1022–B1033 (1965)
F. Cachazo, S. He, E.Y. Yuan, Phys. Rev. D 92(6), 065030 (2015). https://doi.org/10.1103/PhysRevD.92.065030. arXiv:1503.04816 [hep-th]
Y.J. Du, H. Luo, JHEP 08, 058 (2015). https://doi.org/10.1007/JHEP08(2015)058. arXiv:1505.04411 [hep-th]
N. Arkani-Hamed, L. Rodina, J. Trnka, Phys. Rev. Lett. 120(23), 231602 (2018). https://doi.org/10.1103/PhysRevLett.120.231602. arXiv:1612.02797 [hep-th]
L. Rodina, Uniqueness from gauge invariance and the Adler zero. JHEP 09, 084 (2019). https://doi.org/10.1007/JHEP09(2019)084. arXiv:1612.06342 [hep-th]
J.J.M. Carrasco, L. Rodina, UV considerations on scattering amplitudes in a web of theories. Phys. Rev. D 100(12), 125007 (2019). https://doi.org/10.1103/PhysRevD.100.125007. arXiv:1908.08033 [hep-th]
T.V. Brown, K. Kampf, U. Oktem, S. Paranjape, J. Trnka, arXiv:2305.05688 [hep-th]
R. Kleiss, H. Kuijf, Multi-gluon cross-sections and five jet production at hadron colliders. Nucl. Phys. B 312, 616 (1989)
Acknowledgements
It is our great pleasure to thank Prof. Yijian Du for useful discussions and comments.
Funding
This work is supported by Chinese NSF funding under contracts No. 11805163.
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. SCOAP3 supports the goals of the International Year of Basic Sciences for Sustainable Development.
About this article
Cite this article
Zhou, K., Wei, FS. Note on NLSM tree amplitudes and soft theorems. Eur. Phys. J. C 84, 68 (2024). https://doi.org/10.1140/epjc/s10052-023-12378-x
Received:
Accepted:
Published:
DOI: https://doi.org/10.1140/epjc/s10052-023-12378-x