Abstract
In previous works, we devised a differential operator for evaluating typical integrals appearing in the Cachazo–He–Yuan (CHY) forms and in this paper we further streamline this method. We observe that at tree level, the number of free parameters controlling the differential operator depends solely on the number of external lines, after solving the constraints arising from the scattering equations. This allows us to construct a reduction matrix that relates the parameters of a higher-order differential operator to those of a lower-order one. The reduction matrix is theory-independent and can be obtained by solving a set of explicitly given linear conditions. The repeated application of such reduction matrices eventually transforms a given tree-level CHY-like integral to a prepared form. We also provide analytic expressions for the parameters associated with any such prepared form at tree level. We finally give a compact expression for the multidimensional residue for any CHY-like integral in terms of the reduction matrices. We adopt a dual basis projector which leads to the CHY-like representation for the non-local Bern–Carrasco–Johansson (BCJ) numerators at tree level in Yang–Mills theory. These BCJ numerators are efficiently computed by the improved method involving the reduction matrix.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
Scattering amplitudes in a number of theories can be packaged in the compact expressions known as the Cachazo–He–Yuan (CHY) forms [1,2,3]. The CHY forms are originally proposed for tree-level scattering amplitudes and later generalized to loop levels [4,5,6,7,8,9,10,11,12,13]. In the CHY form, the scattering amplitude is represented as a contour integral around the solutions to the scattering equations [1,2,3], which can be transformed to a polynomial form [14, 15]. Such contour integrals can be evaluated using the integration rules and the cross-ratio method at tree and loop levels [16,17,18,19]. Systematic methods for computing these integrals are based on the analysis of multidimensional residues on the isolated solutions of the scattering equations. One method for computing multidimensional residues involving the Groebner basis or the H-basis is discussed in [20, 21]. A useful Mathematica package for computing such residues is given in [22].
In [23, 24] Cheung, Xu and the current authors proposed a method for evaluating the CHY forms using a differential operator and studied the combinatoric properties of the scattering equations. This method bypasses the need for solving the scattering equations and leads to the analytic evaluation of a particular class of CHY forms, called the prepared forms. In this paper, we further streamline the method at tree level by relating a generic CHY-like expression to a prepared form. A crucial observation in our approach is that the number of independent parameters appearing in such a differential operator is always \((n-3)!\) where n is the number of external lines, regardless of the order of the operator. As will become clear in later discussions, this observation allows us to develop a method that relates higher-order differential operators with lower-order ones, through the reduction matrices for each factor of the terms in the Pfaffian expansion. Our method is theory independent and it maintains the factorized form of CHY integrand. Due to the two advantages, the CHY integral is evaluated efficiently.
As a particular application of our method, we study the construction of the Bern–Carrasco–Johansson (BCJ) numerators [25] from the CHY forms. The color-kinematic duality is found to hold in a number of theories [25,26,27,28,29,30,31,32,33,34,35,36] and extensive studies have been dedicated to computing the BCJ numerators [37,38,39,40,41]. In [38, 42], the twistor string theory have been studied to extract the local Bern–Carrasco–Johansson (BCJ) [25] numerators. The CHY forms can also be used to study the BCJ numerators and in [43] the local BCJ numerators are constructed. In this paper, we extract the non-local BCJ numerators in the minimal basis at tree level from the CHY forms, by introducing a dual basis projector. This way the BCJ numerators also take CHY-like expressions and can be easily studied using the differential operator and the reduction matrix.
2 Preliminary: review of differential operator method
Here we briefly summarize our method for computing the multidimensional residue. Let \(g_1\), \(g_2\), ..., \(g_k\) be homogeneous polynomials in complex variables \(z_1\), \(z_2\), ..., \(z_k\). If their common zeros lie on a single isolated point p (for homogeneous polynomials, the point p is the origin), for a holomorphic function \({\mathcal {R}} (z_i)\) in a neighborhood of p, we conjecture that a differential operator \({\mathbb {D}}\) computes the residue of \({\mathcal {R}}\) at p as follows
where \({\mathbb {D}}^{(m)}\) is a differential operator of order-m and takes the following form,
Here \(\partial ^{r_1, r_2, \ldots , r_k}=(\frac{\partial }{\partial z_1})^{r_1}(\frac{\partial }{\partial z_2})^{r_2}\cdots (\frac{\partial }{\partial z_k})^{r_k}\) and \(r_i\)’s are non-negative integers satisfying the Frobenius equation \(\sum _{i=1}^{k} r_i= m \equiv \sum _{i=1}^k \text {deg}(g_i) -k\). The coefficients \(a_{r_1,r_2,\ldots ,r_k}\) are constants independent of \(z_i\)’s, determined uniquely by two sets of constraints arising from: 1. the local duality theorem [44] and 2. the intersection number of the divisors \(D_i=(g_i)\). Detailed discussions on these constraints can be found in [23]. This conjecture applies to any such multidimensional residues around an isolated pole.
The CHY form for a tree-level scattering amplitude or a loop-level integrand is an integral on a Riemann sphere completely localized by the scattering equations. Equivalently, it is a multi-dimensional residue around the common zeros of the scattering equations. The tree-level scattering equations for n external particles read
where we have already taken care of the \(SL(2,{\mathbb {C}})\) conformal symmetry by fixing \(\sigma _1\rightarrow 0, \sigma _{n-1} \rightarrow 1,\sigma _{n}\rightarrow \infty \). A simple transformation found in [14, 15] takes (3) to the polynomial ones
where \(s_{i_1\ldots i_t n} = {1\over 2}(k_{i_1}+\cdots + k_{i_t} +k_n)^2\). Here we have introduced an auxiliary variable \(\sigma _0\), which fomally renders the polynomials homogeneous for the above differential operator to apply. At \(\sigma _0\rightarrow 1\), the two versions of scattering equations, (3) and (4), are equivalent.Footnote 1 The Jacobian of the above transformation is given by a Vandermonde determinant \( J_n(\sigma )=\prod \nolimits _{1\le r< t\le n-1} (\sigma _t-\sigma _r)\).
Adopting the polynomial scattering equations, a tree-level n-point amplitude is schematically given by a combination of the following CHY-like integrals
where the integrand is a rational function specific to the underlying theory. Its explicit expressions in different contexts can be found in [1,2,3]. For our purpose, we only note that \(h_0(\sigma )\) is a homogeneous polynomial and factorizes into products of degree-one polynomials. In addition to the \((n-3)\) polynomial scattering equations, \(\sigma _0-1=0\) is also imposed to localize the auxiliary variable.
The global residue theorem allows us to consider the residue around the solution of \(h_1=\cdots =h_{n-3}=h_0=0\) insteadFootnote 2
The aforementioned differential operator then applies to (6) as follows
where \(\sigma \rightarrow 0\) is simply a shorthand for \(\sigma _r\rightarrow 0, r\in \{2,\ldots , n-2, 0\}\). Namely all \(\sigma _i\)’s are taken to zero after the action of the differential operator. The differential operator \({\mathbb {D}}^{(m)}_{h_0}\) takes the form given in (2) with the parameters \(a_{r_2, r_3,\ldots , r_{n-2},r_0}\) and
The parameters \(a_{r_2, r_3,\ldots , r_{n-2}, r_0}\) are determined by the polynomial scattering equations \(h_j~(j\in [1,n-3])\) and \(h_0\). As the scattering equations are universal for all CHY-like integrals, we only specify \(h_0\) in the labels of the differential operator. The order of this operator is again \(m = 0+1+\cdots + (n-4) + d_{h_0}-1\), with \(d_{h_0}\) denoting the degree of \(h_0\). We note that the scattering equations \(h_j=0~(j\in [1,n-3])\) and \(\sigma _0-1=0\) have multiple common solutions. Namely (5) has multiple poles. The differential operator in (7) gives the sum of (5) evaluated at each solution, by the global residue theorem. For details, see [23]. In particular, when \(h_0=\sigma _i\), the CHY-like integral is studied in [24] and the corresponding differential operator is worked out analytically.
3 Reduction matrix and evaluation of CHY integrals
In this section, we propose a method for relating two differential operators associated with two CHY-like integrals. To be more precise, the two CHY-like integrals of the form (5) share the numerator \(P(\sigma )\) and their respective \(h_0\) and \(h'_0\) are related as \(h_0(\sigma ) = h'_0(\sigma ) q(\sigma )\) with \(q(\sigma )\) being also a polynomial. In this case, the a-coefficients in the two corresponding differential operators can be related by a matrix, which we call the reduction matrix. This leads to a systematic evaluation of any tree-level CHY-like integral, which is given in a factorized form.
3.1 Canonical coefficients in differential operator
Consider the differential forms below
whose residue at the origin is the same as the CHY-like integral of the form (5). Recall that the corresponding differential operator \({\mathbb {D}}^{(m)}_{h_0}\) takes the form of (2) as follows
Since the polynomial scattering equations \(\{ h_1,\ldots , h_{n-3} \}\) are universal, we can always solve the local duality conditions [23] arising from these polynomials first. These conditions read
where \(q_j(\sigma )\) scans over all the monomials in \(\sigma \)’s of the degree \(\text {deg}(q_j) =m - j\). Substituting (9) into (10), we have
where we always identify \(r_{n-1}=r_0\) and \(v_{n-1}=v_0\). The summation is taken over the subsets \(\{i_1,\ldots , i_t\} \subset \{2,\ldots , n-1\}\) with \(t\in [1, n-3]\). Here \(r_s\)’s are non-negative integers and \(v_l\)’s are defined as
For a given n, the number of the a-coefficients and the number of local duality conditions both grow as \(d_{h_0}\) increases. However, we observe that the number of independent a-coefficients after solving the Eq. (11) is always \((n-3)!\), regardless of m.Footnote 3 This allows us to choose \((n-3)!\) a-coefficients as a basis and expand the rest on this basis.
For the purpose of this paper, we find a particularly convenient basis choice as follows,
where \(S_{n-3}\) denotes the permutations. Throughout this paper, the a-coefficients in the above set is called the canonical coefficients. The differential operator can then be rewritten only in the canonical coefficients
where each \(\gamma _i\) denotes a different permutation. The non-canonical a-coefficients are expanded into the canonical ones
with the coefficients \(c^{r_2, \ldots , r_{n-3}, r_0}_i\) obtained by solving (11). Collecting the canonical coefficients, we have
In (14), the differential operator \({\mathbb {D}}^{(m)}_{h_0}\) is expanded into the basis spanned by \({\mathcal {D}}_{i}^{(m)} , i\in [1, (n-3)!]\). We note that \({\mathcal {D}}_i^{(m)}\)’s are determined solely by the order m and the scattering equations, independent of the actual form of \(h_0\).
3.2 Reduction matrix
We now study the relation between the higher- and lower-order operators. Consider the meromorphic forms \(\varGamma \) and \(\varGamma '\) below
where \(h_0(\sigma ) = h'_0(\sigma ) q(\sigma )\) with \(q(\sigma )\) also being a polynomial of degree \(d_q\). Let \({\mathbb {D}}^{(m)}_{h_0}\) and \({\mathbb {D}}^{(m-d_q)}_{h'_0}\) denote their corresponding differential operators respectively. For an arbitrary homogeneous polynomial \(P(\sigma )\) of degree \(\text {deg}(P)\leqslant m-d_q\), we must have
Plugging in the solutions of the respective non-canonical a-coefficients on both sides and expressing both differential operators in terms of their canonical coefficients only, the equation above becomes
For this equation to hold for an arbitrary \(P(\sigma )\), the coefficients of the surviving derivatives \(\partial ^{r_2,\ldots , r_{n-3}, r_0} P\) with \(r_2+\cdots +r_{n-3}+r_0 < \text {deg}(P)\) must be the same on both sides. This leads to linear relations between the two sets of canonical a-coefficients, which can be written in the matrix form
We name the matrix \(M_{q(\sigma )}^{(n,m)}\) the reduction matrix. The reduction matrix depends only on the factor \(q(\sigma )\) and the orders of the differential operators while it knows nothing about the specific expression of the factor \(h'_0\). We note that although the reduction matrix depends on \(q(\sigma )\), its entries are only functions of momenta.
The reduction process can be performed repeatedly. Typically \(h_0\) in a CHY form is completely factorized as \(h_0 = q^{(1)} q^{(2)}\ldots q^{(d_{h_0})}\), where each \(q^{(r)}=\sigma _i-\sigma _j\) is a degree-one polynomial in \(\sigma \)’s. As a result, the canonical coefficients in \({\mathbb {D}}^{(m)}_{h_0}\) can eventually be related to those in an operator of order \(m _0\equiv m-(d_{h_0}-1)\). For such a degree-one \(q=\sigma _i-\sigma _j\), it is easy to check that (19) yields a simple relation between reduction matrices \(M^{(n,m)}_q={1\over m-m_0}M^{(n,m_0+1)}_q\). For notational brevity, we define \(M^{(n,m_0+1)}_q\equiv M^{(n)}_q\). Hence we have
We note that the ordering of these \(q^{(r)}\) factors do not affect the eventual evaluation of the CHY-like integral. The choice of \((d_{h_0} -1)\) factors for the reduction process is also irrelevant, although certain choices might be more convenient in particular cases.
The inverse of the reduction matrix is linear in the variables in the subscript, namelyFootnote 4
Hence we only need to construct \((M^{(n)}_{\sigma _{r}})^{-1}\), where \(r\in \{2,\ldots ,n-2, 0\}\). For \(q(\sigma )=\sigma _0\), it is easy to verify that the reduction matrix \(M^{(n)}_{\sigma _0}\) is the \((n-3)!\)-dimensional identity matrix. For \(q(\sigma )=\sigma _r\), the Eq. (19) reads
which holds for any \(\gamma \in S_{n-3}\). The a-coefficient on the left-hand side above is not a canonical coefficient and can be rewritten in terms of the canonical ones as follows
where the coefficients c’s are defined in (15) and are solely determined by (11). From this equation we read out the elements of \((M^{(n)}_{\sigma _{r}})^{-1}\) for \(r\in [2,n-2]\) as follows
Using the reduction matrices repeatedly, any CHY-like integral with a completely factorized \(h_0\) can be related to one with \(h'_0=\sigma _r\).Footnote 5 The latter is the so-called prepared form and in [24] such CHY-like integrals with the one-loop scattering equations are studied. Here we repeat the exercise for the tree-level scattering equations. Let \(a^{(\sigma _r)}\) denote the a-coefficients in the differential operator associated with the tree-level prepared form with \(h_0=\sigma _r\). We obtain the following analytical expressions for the canonical ones
where \(\text {sgn}(\gamma )\) denotes the signature of the permutation \(\gamma \). With the reduction matrices and the a-coefficients above, a generic CHY integral (7) can be evaluated straightforwardly
3.3 Examples
Here we consider a couple of examples in detail to demonstrate the evaluation of tree-level CHY integrals, using the reduction matrix discussed above.
At four points, we have only one scattering equation after gauge fixing \(\sigma _1\rightarrow 0, \sigma _3\rightarrow 1,\sigma _4\rightarrow \infty \). We consider the integral below as a simple example
where in the second equal sign we have homogenized the scattering equation and the original denominator of the integrand. We have also used the trick of multiplying \(1\over \sigma _0\) to the integrand for the later use of the prepared form. The homogenized polynomial scattering equation reads
We use the global residue theorem to change the integral contour around the solutions of \(h_1=(\sigma _2-\sigma _0)\sigma _0=0\)
This integral is then given by the action of a differential operator as follows
where \({\mathbb {D}}^{(1)}_{(\sigma _2-\sigma _0)\sigma _0}=a_{1,0}\partial ^{1,0}+a_{0,1}\partial ^{0,1}\) and \(\partial ^{r_2,r_0}=({\partial \over \partial {\sigma _2}})^{r_2}({\partial \over \partial {\sigma _0}})^{r_0}\). The non-canonical \(a_{1,0}\) is related to the canonical \(a_{0,1}\) via (11) and we have
The reduction matrix \(M^{(4)}_{\sigma _2-\sigma _0}\) can be obtained from (22) and (25) directly, which relates \(a_{0,1}\) above to \(a_{0,0}^{(\sigma _0)}\) given by (26). We have
Hence the integral reads simply
At five points, we consider below a typical CHY-like integral with a double pole and a nontrivial numerator
where we have homogenized the scattering equations and the denominator \((\sigma _3-1)^2\sigma _2\) with the auxiliary variable \(\sigma _0\). The numerator does not need to be homogenized for the application of our method. The homogenized polynomial scattering equations are
After using the global residues theorem, the integral contour is changed to the circle around the solutions of \(h_1=h_2=(\sigma _3-\sigma _0)^2\sigma _2=0\). This integral is then given by the action of the following differential operator
The differential operator takes the form below
where \(\partial ^{r_2,r_3,r_0}=({\partial \over \partial {\sigma _2}})^{r_2}({\partial \over \partial {\sigma _3}})^{r_3}({\partial \over \partial {\sigma _0}})^{r_0}\) and we have only written out the terms that have nonzero contributions. Here (11) gives the following equations
The canonical coefficients here are \(\{a_{0,1,2} , a_{1,0,2}\}\) and hence we have
where
Applying the reduction matrix for the factor \(\sigma _3-\sigma _0\) twice, the above canonical coefficients \(\{a_{0,1,2} , a_{1,0,2}\}\) are related to the canonical coefficients \(\{a^{(\sigma _2)}_{0,1,0}, a^{(\sigma _2)}_{1,0,0}\}\). Hence we only need to construct \(M^{(5)}_{\sigma _3-\sigma _0}\). The reduction matrix for \(\sigma _0\) is just two dimensional identity matrix. Recall the linearity property (22) and that \(M_{\sigma _0}^{(5)}\) is simply a two-dimensional identity matrix. The only nontrivial ingredient here is \((M_{\sigma _3}^{(5)})^{-1}\). Recall that \(M_{\sigma _3}^{(5)}\) is defined to relate an order-2 differential operator to an order-1 one. For \(q=\sigma _3\), the relation (23) reads
Moreover, the local duality conditions (11) for the a-coefficients in the order-2 differential operator read
Plugging (42) in (43) we obtain
where the matrix is \((M_{\sigma _3}^{(5)})^{-1}\). With this matrix obtained, we can compute \(M_{\sigma _3-\sigma _0}^{(5)}\) straightforwardly.
The canonical coefficients \(\{a^{(\sigma _2)}_{0,1,0}, a^{(\sigma _2)}_{1,0,0}\}\) are again given by (26) as follows
Hence we have
where \(\gamma _i\in S_2\).
4 Gauge invariant BCJ numerators of Yang–Mills
In previous sections, we have presented general discussions on the evaluation of tree-level CHY-like integrals, using the differential operator and the reduction matrix. This approach only hinges on the scattering equations and the factorized form of the integrand and therefore applies to all theories whose amplitudes admit the CHY representations. In this section, we consider a particular application of the method: the construction of the BCJ numerators for tree-level Yang–Mills amplitudes.
4.1 BCJ numerators from CHY form
The CHY form [1,2,3] for a color-ordered amplitude in Yang–Mills at tree level reads
where \(\alpha \) denotes a permutation of \(\{2,3,\ldots ,n-2\}\). Here we have used the shorthand notation \(\sigma _{i_1\ldots i_t}= (\sigma _{i_t}-\sigma _{i_1})\prod _{j=1}^{t-1}(\sigma _{i_j}-\sigma _{i_{j+1}})\) and introduced the measure
Recall that \( J_n(\sigma )=\prod \nolimits _{1\le r< t\le n-1} (\sigma _t-\sigma _r)\) denotes the Jacobian of the transformation to the polynomial scattering equations. We have adopted the gauge-fixing \(\sigma _1\rightarrow 0, \sigma _{n-1}\rightarrow 1, \sigma _n \rightarrow \infty \) and \(\sigma _{1\,n-1\,n}^2\) is the factor introduced after the gauge-fixing.
The Parke-Taylor factor corresponding to a given color ordering \((1,\alpha ,n-1,n)\) reads
\(\text {Pf}\,'[\Psi _{1n}(\sigma )]\) denotes the reduced Pfaffian of the matrix \(\Psi (\sigma )\) with the first and the last columns and rows removed. The explicit expression for the reduced Pfaffian is given in [3] and there is a freedom of removing the i-th and j-th rows and columns of \(\Psi \) for any (i, j). Here for simplicity, we choose \((i,j)=(1,n)\).
On the other hand, the above color-ordered amplitudes is related to the BCJ numerators as follows,
where \({\mathbf {m}}(\alpha | \beta )\) denotes the propagator matrix [45], whose rows and columns are labeled by the color orderings \((1,\alpha , n-1 ,n)\) and \((1,\beta , n-1 ,n)\). The BCJ numerators \(N(1\,\beta \, n-1\, n)\) are in the minimal basis. Similar to the color-ordered amplitude, the propagator matrix also admits a CHY-like representation
Thus, comparing (47) and (51), we see that if \(\text {Pf}\,'[\Psi _{1n}(\sigma )]\) can be expanded in the basis spanned by the Parke-Taylor factors \(\{ \text {PT}(1\,\beta \,n-1 \, n) | \beta \in S_{n-2} \} \) with \(\sigma \)-independent coefficients, these coefficients are the BCJ numerators. To extract the BCJ numerators, we adopt a dual basis projector \(\overline{\text {PT}}(1\,\alpha \, n-1\, n)\) that satisfies the condition
Recall that the propagator matrix \({\mathbf {m}}(\alpha |\beta )\) here is a \((n-3)!\times (n-3)!\) square matrix. In this case, \({\mathbf {m}}(\alpha |\beta )\) is invertible and its inverse is the KLT matrix \({\mathcal {S}}_{\alpha \beta }\) [37, 46, 47]. Thus the following is obviously the solution of the dual basis projector,
Using the dual basis, the BCJ numerator is given as a CHY-like integral
The CHY-representations of BCJ numerators can be easily evaluated using the differential-operator based method. Generally speaking, such BCJ numerators in the minimal basis are all non-local. They may contain poles that do not correspond to the propagators in trivalent diagrams. But these unphysical poles do not contribute to the amplitudes. As we will observe in examples, the numerators computed this way are gauge invariant in \(n-2\) legs and respect the crossing symmetry under the permutation of \(n-3\) legs.
4.2 Yang–Mills BCJ numerator at four and five points
In this section, we construct the BCJ numerators at four and five points to further illustrate the application of the differential operator and the reduction matrix. As discussed above, the BCJ numerator can be computed by a CHY-like integral, which is readily evaluated by our differential-operator based method.
At four points, the minimal basis consists of only one independent BCJ numerator, which we choose to be N(1234). In this case, (54) gives
where only one integration variable \(\sigma _2\) is left after gauge fixing \((\sigma _1\rightarrow 0, \sigma _3\rightarrow 1,\sigma _4\rightarrow \infty )\). The KLT matrix is given in [37] and this leads to the dual basis projector below
The reduced Pfaffian can be written as the following [48]
where we have adopted the following notations also used in [48]
We now demonstrate the evaluation of (55) using the reduction matrix. We consider the term below as an example and all other terms can be computed in the same way,
Plugging in (56) and homogenizing the scattering equations and the denominators, we have
Each term in the expression above equals to the action of a first-order differential operator, which can be written in terms of a common reduction matrix \(M_{\sigma _2-\sigma _0}^{(4)}\) and the canonical coefficients of two prepared forms. That is,
where \({\mathcal {D}}_1^{(1)}=\partial ^{0,1} -\frac{ s_{12}}{s_{13}}\partial ^{1,0}\), \(M_{\sigma _2-\sigma _0}^{(4)}\) has been computed previously in (33) and \(a^{(\sigma _r)}_{0,0}\) is given by (26). Explicitly, they read
Evaluating other terms in (57) similarly, we obtain the 4-point BCJ numerator in the minimal basis
As \(F_i\) vanishes under the gauge transformation \(\epsilon _i\rightarrow k_i\), N(1234) is manifestly gauge invariant in leg 2 and leg 3.
At five points, the minimal basis consists of two independent BCJ numerators N(12345) and N(13245). As pointed out before, the numerators computed this way is crossing symmetric and therefore it suffices to compute N(12345) only. This numerator reads
where the dual basis projector \(\overline{\text {PT}}(12345)\) can be easily computed from (53) and takes the form below
The reduced Pfaffian at five points reads [48]
Like the four-point case, we also consider the characteristic term below as an example here and the rest can all be computed in the same way,
Taking \(\sigma _1\rightarrow 0,\sigma _4\rightarrow 1,\sigma _5\rightarrow \infty \), we are only left with two variables \(\sigma _2\) and \(\sigma _3\). The scattering equations and the denominators above are homogenized with an auxiliary variable \(\sigma _0\). This process leads to
There are no other denominators in (67) after gauge fixing. The factor \(C_{(4)}\) can now be replaced by a matrix denoted as \(M_{C_{(4)}}^{(5)}\), which is a sum over three reduction matrices, each corresponding to the denominator of one of its three terms. These reduction matrices can all be constructed following the discussions in the previous section. This matrix \(M_{C_{(4)}}^{(5)}\) reads
Another common reduction matrix \(M_{\sigma _2-\sigma _3}^{(5)}\) renders (67) a prepared form. This reduction matrix reads
The canonical a-coefficients for the prepared form with \(h_0=\sigma _2\) are
Hence (67) is given by the action of the differential operator as follows
where \({\mathcal {D}}_j^{(3)}\) is given in (41) and \(\gamma _i\in S_2\). Plugging in the expressions (41), (69), (70) and (71), we obtain
All other terms in (66) are treated similarly and the explicit expression for the five-point BCJ numerator reads
The other numerator is obtained by the permuting indices
These non-local BCJ numerators are compact and again manifestly gauge invariant in the leg 2,3 and 4, due to the existence of the \(F_i\) factors.
5 Conclusion and outlooks
In this paper, we have developed a systematic method to construct the BCJ numerators, starting from the CHY forms of scattering amplitudes and using the differential operator proposed in our previous work [23]. This method is based on the key observation that the number of canonical coefficients in such a differential operator is always \((n-3)!\) for a n-point CHY form, independent of the order of the operator. In the process of solving for the canonical coefficients, we have built the reduction matrices to simplify the differential operator and improve the efficiency of computation. The reduction matrices are also universal for all the theories. In the end, as we have demonstrated, we always arrive at the prepared forms for which the coefficients are solved analytically in [24].
Both the BCJ numerators and the amplitudes obtained this way enjoy the manifest gauge invariance in \((n-2)\) out of the n external legs, and their final expressions are always of factorized forms. It is hopeful to formulate a closed form for the reduction matrix in future works, since a given reduction matrix \(M_{\sigma _{i}}\) is determined only by the factor \(\sigma _{i}\) and the polynomial scattering equations. Moreover, the polynomial scattering equations have nice combinatoric structures to exploit, which may allow us to produce analytical results for a general reduction matrix. As discussed in [21], the polynomial scattering equations is a Macaulay H-basis. This property may be helpful to prove the observation of the number \((n-3)!\) of independent a-coefficients.
In this paper, the concept of dual basis is adopted to extract the non-local BCJ numerators in the minimal basis, in which the non-local propagators can be removed using the BCJ relations. It is conceivable that similar projectors can be constructed for the local BCJ numerators as well. It can be expected that such projectors are constructed recursively, which may point to novel algebraic structures [49,50,51,52].
Our method can be easily generalized to loop levels. The one-loop scattering equations and the prepared forms have been studied in [24]. We expect the canonical coefficients can also be found at one loop and then the construction of reduction matrix is expected to be straightforward. Another future direction is to carry our method over to string theory. String amplitudes, written in the forms of worldsheet integrals, have a number of features in common with the CHY-like integrals. It is reasonable to hope that there exist similar differential operators and even reduction matrices which can help us evaluate those worldsheet integrals efficiently while preserving the factorized form.
Data Availability Statement
This manuscript has no associated data or the data will not be deposited. [Authors’ comment: The result of this paper is based on the theoretical analysis and mathematical computation. So there is no data from experiments.]
Notes
The polynomial scattering equations are equivalent to the original ones at tree level. At loop levels, there are extra solutions, which is beyond the scope of this paper.
Poles at infinity can in principle exist. Detailed discussions on poles at infinity are given in [23].
This is an observation from a large number of examples, both analytic and numeric. We don’t have a proof for this observation at the moment.
The relation (19) can be schematically rewritten as \(L_q \cdot \mathbf {a}_{d_{h_0}-1} = R \cdot \mathbf {a}_{d_{h_0}-d_q-1}\) where \(\mathbf {a}_{d_{h_0}-1}\) and \(\mathbf {a}_{d_{h_0}-d_q-1}\) are the two column vectors on the left and right sides of (20) respectively. \(L_q\) and R are matrices following directly from (19) and we note the matrix R is independent of q. Hence \(M_q = L^{-1}_q\cdot R\). For \(q=\sigma _{r_1}-\sigma _{r_2}\), (19) yields \(L_{\sigma _{r_1}-\sigma _{r_2}}=L_{\sigma _{r_1}}-L_{\sigma _{r_2}}\). Moreover, since \(M_{\sigma _{r_1}-\sigma _{r_2}} = L_{\sigma _{r_1}-\sigma _{r_2}}^{-1}\cdot R\) and \(M_{\sigma _{r_i}} = L_{\sigma _{r_i}}^{-1}\cdot R,~i=1,2\), taking the inverse of the three reduction matrices, we obtain the relation (22).
Even if \(h_0\) does not have a factor \(\sigma _r\), one can always multiply \(\sigma _r\over \sigma _r\) or \(1\over \sigma _0\) to the integrand and apply the reduction process to other factors.
References
F. Cachazo, S. He, E.Y. Yuan, Phys. Rev. Lett. 113(17), 171601 (2014). https://doi.org/10.1103/PhysRevLett.113.171601
F. Cachazo, S. He, E.Y. Yuan, JHEP 07, 033 (2014). https://doi.org/10.1007/JHEP07(2014)033
F. Cachazo, S. He, E.Y. Yuan, JHEP 01, 121 (2015). https://doi.org/10.1007/JHEP01(2015)121
E. Casali, Y. Geyer, L. Mason, R. Monteiro, K.A. Roehrig, JHEP 11, 038 (2015). https://doi.org/10.1007/JHEP11(2015)038
Y. Geyer, L. Mason, R. Monteiro, P. Tourkine, Phys. Rev. Lett. 115(12), 121603 (2015). https://doi.org/10.1103/PhysRevLett.115.121603
Y. Geyer, L. Mason, R. Monteiro, P. Tourkine, JHEP 03, 114 (2016). https://doi.org/10.1007/JHEP03(2016)114
Y. Geyer, L. Mason, R. Monteiro, P. Tourkine, Phys. Rev. D 94(12), 125029 (2016). https://doi.org/10.1103/PhysRevD.94.125029
F. Cachazo, S. He, E.Y. Yuan, JHEP 08, 008 (2016). https://doi.org/10.1007/JHEP08(2016)008
S. He, E.Y. Yuan, Phys. Rev. D 92(10), 105004 (2015). https://doi.org/10.1103/PhysRevD.92.105004
B. Feng, JHEP 05, 061 (2016). https://doi.org/10.1007/JHEP05(2016)061
H. Gomez, Phys. Rev. D 95(10), 106006 (2017). https://doi.org/10.1103/PhysRevD.95.106006
H. Gomez, C. Lopez-Arcos, P. Talavera, JHEP 10, 175 (2017). https://doi.org/10.1007/JHEP10(2017)175
S. He, O. Schlotterer, Y. Zhang, Nucl. Phys. B 930, 328 (2018). https://doi.org/10.1016/j.nuclphysb.2018.03.003
L. Dolan, P. Goddard, JHEP 05, 010 (2014). https://doi.org/10.1007/JHEP05(2014)010
L. Dolan, P. Goddard, JHEP 07, 029 (2014). https://doi.org/10.1007/JHEP07(2014)029
C. Baadsgaard, N.E.J. Bjerrum-Bohr, J.L. Bourjaily, P.H. Damgaard, JHEP 09, 129 (2015). https://doi.org/10.1007/JHEP09(2015)129
C. Baadsgaard, N.E.J. Bjerrum-Bohr, J.L. Bourjaily, P.H. Damgaard, B. Feng, JHEP 11, 080 (2015). https://doi.org/10.1007/JHEP11(2015)080
C. Cardona, B. Feng, H. Gomez, R. Huang, JHEP 09, 133 (2016). https://doi.org/10.1007/JHEP09(2016)133
R. Huang, Y.J. Du, B. Feng, JHEP 06, 133 (2017). https://doi.org/10.1007/JHEP06(2017)133
M. Sogaard, Y. Zhang, Phys. Rev. D 93(10), 105009 (2016). https://doi.org/10.1103/PhysRevD.93.105009
J. Bosma, M. Sogaard, Y. Zhang, Phys. Rev. D 94(4), 041701 (2016). https://doi.org/10.1103/PhysRevD.94.041701
K.J. Larsen, R. Rietkerk, Comput. Phys. Commun. 222, 250 (2018). https://doi.org/10.1016/j.cpc.2017.08.025
T. Wang, G. Chen, Y.K.E. Cheung, F. Xu, JHEP 01, 028 (2017). https://doi.org/10.1007/JHEP01(2017)028
T. Wang, G. Chen, Y.K.E. Cheung, F. Xu, JHEP 06, 015 (2017). https://doi.org/10.1007/JHEP06(2017)015
Z. Bern, J.J.M. Carrasco, H. Johansson, Phys. Rev. D 78, 085011 (2008). https://doi.org/10.1103/PhysRevD.78.085011
R. Monteiro, D. O’Connell, JHEP 07, 007 (2011). https://doi.org/10.1007/JHEP07(2011)007
J. Broedel, L.J. Dixon, JHEP 10, 091 (2012). https://doi.org/10.1007/JHEP10(2012)091
T. Bargheer, S. He, T. McLoughlin, Phys. Rev. Lett. 108, 231601 (2012). https://doi.org/10.1103/PhysRevLett.108.231601
A. Ochirov, P. Tourkine, JHEP 05, 136 (2014). https://doi.org/10.1007/JHEP05(2014)136
M. Chiodaroli, Q. Jin, R. Roiban, JHEP 01, 152 (2014). https://doi.org/10.1007/JHEP01(2014)152
S. Stieberger, T.R. Taylor, Phys. Lett. B 739, 457 (2014). https://doi.org/10.1016/j.physletb.2014.10.057
H. Johansson, A. Ochirov, JHEP 11, 046 (2015). https://doi.org/10.1007/JHEP11(2015)046
M. Chiodaroli, M. Gnaydin, H. Johansson, R. Roiban, JHEP 01, 081 (2015). https://doi.org/10.1007/JHEP01(2015)081
Yt Huang, H. Johansson, S. Lee, JHEP 11, 050 (2013). https://doi.org/10.1007/JHEP11(2013)050
G. Chen, Y.J. Du, JHEP 01, 061 (2014). https://doi.org/10.1007/JHEP01(2014)061
G. Chen, Y.J. Du, S. Li, H. Liu, JHEP 03, 156 (2015). https://doi.org/10.1007/JHEP03(2015)156
N.E.J. Bjerrum-Bohr, P.H. Damgaard, T. Sondergaard, P. Vanhove, JHEP 01, 001 (2011). https://doi.org/10.1007/JHEP01(2011)001
C.R. Mafra, O. Schlotterer, S. Stieberger, JHEP 07, 092 (2011). https://doi.org/10.1007/JHEP07(2011)092
C.H. Fu, Y.J. Du, B. Feng, JHEP 03, 050 (2013). https://doi.org/10.1007/JHEP03(2013)050
C.R. Mafra, O. Schlotterer, JHEP 03, 097 (2016). https://doi.org/10.1007/JHEP03(2016)097
N.E.J. Bjerrum-Bohr, J.L. Bourjaily, P.H. Damgaard, B. Feng, JHEP 09, 094 (2016). https://doi.org/10.1007/JHEP09(2016)094
C.R. Mafra, JHEP 07, 080 (2016). https://doi.org/10.1007/JHEP07(2016)080
Y.J. Du, F. Teng, JHEP 04, 033 (2017). https://doi.org/10.1007/JHEP04(2017)033
R. Hartshorne, Algebraic geometry, vol. 52 (Springer Science & Business Media, Berlin, 2013)
D. Vaman, Y.P. Yao, J. High Energy Phys. 2010(11), 28 (2010). https://doi.org/10.1007/JHEP11(2010)028
H. Kawai, D.C. Lewellen, S.H.H. Tye, Nucl. Phys. B 269, 1 (1986). https://doi.org/10.1016/0550-3213(86)90362-7
Z. Bern, L.J. Dixon, M. Perelstein, J.S. Rozowsky, Nucl. Phys. B 546, 423 (1999). https://doi.org/10.1016/S0550-3213(99)00029-2
C.S. Lam, Y.P. Yao, Phys. Rev. D 93(10), 105008 (2016). https://doi.org/10.1103/PhysRevD.93.105008
V. Drinfeld, Leningrad Math. J. 1, 1419 (1990). https://doi.org/10.1007/JHEP03(2013)050
S. Dascalescu, C. Nastasescu, S. Raianu, Hopf algebra: An introduction (CRC Press, London, 2000)
C.H. Fu, K. Krasnov, JHEP 01, 075 (2017). https://doi.org/10.1007/JHEP01(2017)075
C. Duhr, JHEP 08, 043 (2012). https://doi.org/10.1007/JHEP08(2012)043
Acknowledgements
G.C. and T.W. thank H. Johansson for useful discussion and kind suggestions. The research of G.C. is supported in part by the Knut and Alice Wallenberg Foundation under grant KAW 2013.0235, and the Ragnar Söderberg Foundation under grant S1/16. G.C. has been supported in parts by NSF of China Grant under Contract 11405084, the Open Project Program of State Key Laboratory of Theoretical Physics, Institute of Theoretical Physics, Chinese Academy of Sciences (No.Y5KF171CJ1). T.W. thanks the China Scholarship Council for support (File No. 201706190098).
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
Chen, G., Wang, T. BCJ numerators from differential operator of multidimensional residue. Eur. Phys. J. C 80, 37 (2020). https://doi.org/10.1140/epjc/s10052-019-7604-8
Received:
Accepted:
Published:
DOI: https://doi.org/10.1140/epjc/s10052-019-7604-8