Abstract
In this short note, we propose an algorithm based on the expansions of amplitudes, the dimensional reduction technique and the approach by differential operators, to calculate the tree level scalar–graviton amplitudes with two massive scalars and the tree level scalar–photon–graviton amplitudes with two massive scalars and one photon. While applying the unitarity method, these amplitudes are necessary inputs for the calculation of post-Newtonian and post-Minkowskian expansions in general relativity for two massive charged objects interacting with gravity and the electromagnetic field.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The progress in the study of scattering amplitudes in the past decade has revealed deep physical insights in quantum field theory and inspired efficient methods for practical calculation. Recently, an effort has been made to connect the amplitudes program to the physics of gravitational waves, which were discovered at LIGO/Virgo [1, 2]. More explicitly, the modern tools for calculating scattering amplitudes at loop level provide a powerful new way to evaluate post-Newtonian and post-Minkowskian expansions in classical general relativity, giving rise to effective two-body Hamiltonians [3,4,5,6,7,8,9,10,11,12,13,14,15,16].
In this interesting new direction, an essential step is to calculate the scattering of two massive objects interacting with gravitons, at n-loop order. To achieve the goal, the tree level amplitudes with two massive scalars and \(n+1\) gravitons are required, due to the so-called unitarity method. Among several methods proposed to calculate these tree amplitudes, one remarkable approach based on the CHY formalism was suggested by Naculich [17]. The advantage of this method is that the CHY formalism is valid in arbitrary space-time dimensions [18,19,20,21,22]; thus the obtained results are more suitable for the dimensional regularization at intermediate steps. More recently, another more efficient way has made use of the CHY formalism and its extension to a double cover [23,24,25,26,27,28]; it was proposed by Bjerrum-Bohr, Cristofoli, Damgaard and Gomez [16]. Using their method, one can evaluate the desired amplitudes recursively, thus avoiding the treatments of contour integrals in the CHY formalism.
One can also consider the classical system including two charged massive objects, such as two charged black holes, interacting through both gravity and the electromagnetic field. Via an idea similar to that described above, one can seek the effective two-body Hamiltonian by calculating the scattering of two massive particles that interact with gravitons and photons, at loop level. Then the unitarity method motivated us to consider the tree level amplitudes whose external states include two massive scalars, gravitons, and photons, as shown in Fig. 1.
In this short note, we propose an algorithm based on the expansions of amplitudes [29,30,31,32,33,34,35,36,37,38,39,40,41]; we use the differential operators constructed by Cheung et al. [42,43,44], or equivalently the dimensional reduction technique [17, 22], to calculate the tree level scalar–graviton (SG) amplitudes with two massive scalars and the tree level scalar–photon–graviton (SPG) amplitudes with two massive scalars and one photon. The first step of the algorithm is to compute the gravity (GR) amplitude with two massive gravitons by expanding it to the bi-adjoint scalar (BAS) amplitudes. The methods for calculating basis and coefficients in the expansion will be discussed in Sect. 2. The SG amplitude with two massive scalars can be generated from the GR amplitude by converting two massive gravitons to scalars, via dimensional reduction manipulation, or applying the differential operators. The SPG amplitude with two massive scalars and one photon can be obtained by transmuting the GR amplitude to the single trace Einstein–Yang–Mills (EYM) amplitude with two massive and one massless gluons, then converting two massive gluons to scalars, and identifying the remaining massless gluon as a photon. Our approach is also regardless of the space-time dimensions, and can be easily implemented in MATHEMATICA. As will be explained, the SPG amplitudes with more than one photons is hard to compute by the method developed in this paper. We leave this problem to future work.
The remainder of this note is organized as follows. In Sect. 2, we introduce our algorithm in detail. In Sect. 3, we compute the SG examples via this algorithm and give the results, which coincide with those obtained in [16]. In Sect. 4, the SPG examples are considered. The full expressions of the 5-point SG and SPG amplitudes are exhibited in Appendix A.
2 The algorithm
Our algorithm evaluates tree level GR amplitudes with two massive gravitons via the expansion obtained in [31], then converts gravitons to massive scalars and massless photons through the dimensional reduction procedure [17, 22], or by applying differential operators [42,43,44], to obtain the desired scalar–graviton (SG) or scalar–photon–graviton (SPG) amplitudes. In Sect. 2.1, we will discuss the calculation of the GR amplitudes, including the techniques for computing coefficients in the expansion, and the BAS amplitudes which serve as a basis. In Sect. 2.2, we will study how to transmute gravitons to scalars or photons.
2.1 Calculating GR amplitude
When all external legs are massless, the tree level GR amplitude in D space-time dimensions can be expanded in terms of BAS amplitudes in D dimensions, in the following double copy formula [31]:
where \(\sigma ,\sigma '\in S_{n-2}\) are permutations of \(n-2\) elements in \(\{2,\ldots ,n-1\}\). Each basis \({{\mathcal {A}}}_{\mathrm{BAS}}(1\sigma n|1\sigma 'n)\) carries two color-orderings \((1\sigma n)\) and \((1\sigma 'n)\). We have chosen \((1\ldots n)\) to denote legs with a color-ordering, and \((1,\ldots ,n)\) to denote legs without any color-ordering. This convention will be used for all amplitudes throughout this paper. Coefficients \(C^\epsilon (\sigma )\) and \(C^{{\widetilde{\epsilon }}}(\sigma ')\) are just Bern–Carrasco–Johansson (BCJ) numerators for Yang–Mills amplitudes [45,46,47,48]. The superscripts \(\epsilon \) and \({\widetilde{\epsilon }}\) indicate the dependence on polarization vectors in two sets \(\{\epsilon _i\}\) and \(\{{\widetilde{\epsilon }}_i\}\), respectively. The GR amplitude carries two independent sets of polarization vectors as understood in a generalized version of the gravity theory, i.e., Einstein gravity couples to a dilaton and 2-form. It can be reduced to the amplitude for pure Einstein gravity, by setting all \({\widetilde{\epsilon }}_i=\epsilon _i\). For our purpose, we want to seek the SP and SPG amplitudes including gravitons for pure Einstein gravity. However, at intermediate steps, we will keep \(\{\epsilon _i\}\) and \(\{{\widetilde{\epsilon }}_i\}\) to be different, to make manifest the double copy structure. This structure ensures that the dimensional reduction procedure, or differential operators, act only on one piece, while keeping another one un-altered. After finishing these manipulations, we will turn all \({\widetilde{\epsilon }}_i\) to \(\epsilon _i\), to exclude the contributions from the dilaton and 2-form.
Now we use the CHY formula to explain that such an expansion is also correct when two external legs are massive (both GR and BAS amplitudes containing two massive legs). In the CHY formula, the GR and BAS amplitudes for massless external legs arise as the contour integrals [18,19,20,21,22]
with the universal measure \(d\mu _n\) given by
where \(|pqr|\equiv z_{pq}z_{qr}z_{rp}\), with \(z_{ij}\equiv z_i-z_j\). The poles of the contour are determined by the so-called scattering equations \({{\mathcal {E}}}_i(z)\), which are given by
To define the reduced Pfaffian \(\mathbf{Pf}'\Psi _n^\epsilon \), the three matrices A, B and C are introduced as follows:
The \(2n\times 2n\) antisymmetric matrix \(\Psi _n^\epsilon \) can be constructed from the matrices A, B and C, in the following form:
The reduced Pfaffian of \(\Psi _n^\epsilon \) is defined as \(\mathbf{Pf}'\Psi _n^\epsilon ={(-)^{i+j}\over z_{ij}}\mathbf{Pf}(\Psi _n^\epsilon )^{ij}_{ij}\), where the notation \((\Psi _n^\epsilon )^{ij}_{ij}\) means the \(i{\mathrm{th}}\) and \(j{\mathrm{th}}\) rows and columns in the matrix \(\Psi \) have been removed (with \(1\le i<j\le n\)), and \(\mathbf{Pf}(\Psi _n^\epsilon )^{ij}_{ij}\) stands for the Pfaffian of the antisymmetric matrix \((\Psi _n^\epsilon )^{ij}_{ij}\). Analogous notation holds for \(\mathbf{Pf}'\Psi _n^{{\widetilde{\epsilon }}}\). The Parke–Taylor factor for the ordering \((1\sigma n)\) is given by
From the CHY point of view, expanding the GR amplitude to BAS ones can be understood as the expansions
When two external legs are massive, the Parke–Taylor factors \(PT_n(1\sigma n)\) and \(PT_n(1\sigma 'n)\) will not be altered [16, 17, 49]. On the other hand, if one chooses the removed rows and columns for the reduced Pfaffians \(\mathbf{Pf}'\Psi _n^{\epsilon }\) and \(\mathbf{Pf}'\Psi _n^{{\widetilde{\epsilon }}}\) to be two massive legs, two reduced Pfaffians are also un-modified [16, 17, 49]. Thus one can conclude that the expansions in (8) still hold. When two external legs are massive, the measure part \(d\mu _n\) will be altered due to the modification for the scattering equations [16, 17, 49]. But it is still universal if the massive legs have the same nodes, i.e., if the \(i{\mathrm{th}}\) and \(j{\mathrm{th}}\) legs are massive gravitons for the GR amplitude, where i and j also denote massive scalars for the BAS amplitudes. Combining this fact with the expansions in (8), we arrive at the conclusion that the expansion in (1) is valid for amplitudes with two massive legs, if the massive legs have the same nodes.
Thus, one can use the expansion in (1) to compute the GR amplitude. To do so, one needs to calculate the BAS amplitudes which serve as the basis and the coefficients \(C^{\epsilon }(\sigma )\) and \(C^{{\widetilde{\epsilon }}}(\sigma ')\) in the expansion.
To calculate BAS amplitudes with two massive legs, we employ the method proposed by Cachazo, He and Yuan in [20]. For a BAS amplitude whose double color-orderings are given, this method provides the corresponding Feynman diagrams and the overall sign directly from the color-orderings. We find this method to be effective, since the Feynman diagrams for scalar theory carry no gauge redundancy. Furthermore, the double color-orderings reduce the number of diagrams greatly, since only configurations satisfy two orderings simultaneously are allowed. To see how the double color-orderings restrict the number of diagrams, let us consider the 5-point example \({{\mathcal {A}}}_{\mathrm{BAS}}(12345|14235)\). In Fig. 2, the first diagram satisfies both two color-orderings (12345) and (14235), while the second one satisfies the ordering (12345) but not (14235). Thus, the first diagram is allowed by the double color-orderings (12345|14235), while the second one is not. It is easy to see that other diagrams are also forbidden by the ordering (14235); thus the first diagram in Fig. 2 is the only diagram that contributes to the amplitude \({{\mathcal {A}}}_{\mathrm{BAS}}(12345|14235)\). Therefore, in this example, the number of Feynman diagrams is markedly reduced by two color-orderings.
The Feynman diagrams for a given BAS amplitude can be obtained via a systematic diagrammatic rule. 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 (12345).
-
Draw a loop of line segments connecting the points according to the second ordering (14235).
The obtained disk diagram is shown in Fig. 3. From the diagram, one can see that two orderings share the boundaries \(\{1,5\}\) and \(\{2,3\}\). These co-boundaries indicate channels \({1\over s_{15}}\) and \({1\over s_{23}}\); therefore we have the first Feynman diagram in Fig. 2. Then the BAS amplitude \({{\mathcal {A}}}_{\mathrm{BAS}}(12345|14235)\) can be computed as
up to an overall sign. In this paper the kinematic variables \(s_{ij\ldots k}\) are defined as
The advantage of this definition is that the propagators expressed by \({1\over s_{ij\ldots k}}\) are valid for both massless amplitudes and amplitudes with two massive external legs, in which we are interested, as can be seen through the following discussion. The typical Feynman diagram for BAS amplitudes with two massive scalars is shown in Fig. 4. Legs 1 and n are assumed to be massive, with \(P_1^2=P_n^2=m^2\). To distinguish them from massless particles, we have introduced \(P_1\) and \(P_n\) to denote two massive momenta. From Fig. 4, one can observe that each massive virtual particle provides the propagator in the form
Thus, the formula \({1\over s_{ij\ldots k}}\) is the correct expression for any propagator in the case of two massive scalars. Notice that when two massive legs belong to \({\varvec{\alpha }}\) where \({\varvec{\alpha }}\) is a subset of external legs \(\{1,\ldots ,n\}\), we must use \(s_{\{1,\ldots ,n\}{\setminus }{\varvec{\alpha }}}\) rather than \(s_{\varvec{\alpha }}\), since the second one cannot reproduce the correct propagator corresponding to the channel \({\varvec{\alpha }}\). For the other cases, it is easy to prove that \(s_{\varvec{\alpha }}=s_{\{1,\ldots ,n\}{\setminus }{\varvec{\alpha }}}\).
As another example, let us consider the BAS amplitude \({{\mathcal {A}}}_{\mathrm{BAS}}(12345|12435)\). The corresponding disk diagram is shown in Fig. 5, and one can see that two orderings have co-boundaries \(\{3,4\}\) and \(\{5,1,2\}\). The co-boundary \(\{3,4\}\) indicates the channel \({1\over s_{34}}\). The co-boundary \(\{5,1,2\}\) indicates the channel \({1\over s_{512}}\), as well as sub-channels \({1\over s_{12}}\) and \({1\over s_{51}}\) (\({1\over s_{52}}\) is forbidden by both two orderings). Notice that the channel \({1\over s_{512}}\) is equivalent to \({1\over s_{34}}\). Using the above decomposition, one can calculate \({{\mathcal {A}}}_{\mathrm{BAS}}(12345|12435)\) as
up to an overall sign.
The overall sign can be fixed by the following rule.
-
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 can apply this rule to the previous examples. In Fig. 3, the polygons are three triangles, namely 51A, A4B and B23, which contribute \(+\), −, \(+\), respectively, while two intersection points A and B contribute two −. In Fig. 5, the polygons are 512A and A43, which contribute two −, while the intersection point A contributes −. Then we arrive at the full results:
The BCJ numerators \(C^\epsilon (\sigma )\) and \(C^{{\widetilde{\epsilon }}}(\sigma ')\) in (1) can be obtained by the rule provided in [31, 38, 39]. To explain this rule, we chose a reference ordering \(n\prec j_2\prec \cdots \prec j_n\), with n being fixed at the lowest position. We denote the reference ordering as \(\varvec{{\mathcal {R}}}\), and denote the color-ordering \((1\sigma n)\) as \(1\dot{<} \sigma _2\dot{<}\cdots \dot{<} \sigma _{n-1}\dot{<}n\). Then the so-called ordered splittings for the ordering \((1\sigma n)\) can be constructed via the following procedure.
-
At the first step, we construct all possible ordered subsets \(\varvec{{\alpha }}_0=\{1,\alpha ^0_2,\ldots ,\alpha ^0_{|0|-1},n\}\), which satisfy two conditions, (1) \(\varvec{{\alpha }}_0\subset \{1,\ldots ,n\}\), (2) \(\alpha ^0_2\dot{<}\alpha ^0_3\dot{<}\cdots \dot{<}\alpha ^0_{|0|-1}\), respecting to the color-ordering \(1\dot{<} \sigma _2\dot{<}\cdots \dot{<} \sigma _{n-1}\dot{<}n\). Here |i| stands for the length of the set \(\varvec{\alpha }_i\). We call each ordered subset \(\varvec{{\alpha }}_0\) a root.
-
For each root \(\varvec{{\alpha }}_0\), we eliminate its elements in \(\{1,\ldots ,n\}\) and \(\varvec{{\mathcal {R}}}\), resulting in a reduced set \(\{1,\ldots ,n\}{\setminus }\varvec{{\alpha }}_0\), and a reduced reference ordering \(\varvec{{\mathcal {R}}}{\setminus }\varvec{{\alpha }}_0\). Suppose \(R_1\) is the lowest element in the reduce reference ordering \(\varvec{{\mathcal {R}}}{\setminus }\varvec{{\alpha }}_0\); we construct all possible ordered subsets \(\varvec{{\alpha }}_1\) as \(\varvec{{\alpha }}_1=\{\alpha _1^1,\alpha _2^1,\ldots ,\alpha _{|1|-1}^1,R_1\}\), with \(\alpha _1^1\dot{<}\alpha _2^1\dot{<}\cdots \dot{<}\alpha _{|1|-1}^1\dot{<}R_1\), with regard to the color-ordering.
-
By iterating the second step, one can construct \(\varvec{{\alpha }}_2,\varvec{{\alpha }}_3,\ldots \), until \(\varvec{\alpha }_0\cup \varvec{\alpha }_1\cup \cdots \cup \varvec{\alpha }_r=\{1,\ldots ,n\}\).
Each ordered splitting is given as an ordered set \(\{\varvec{{\alpha }}_0,\varvec{{\alpha }}_1,\ldots ,\varvec{{\alpha }}_r\}\), where the ordered sets \(\varvec{{\alpha }}_i\) serve as elements. For a given ordered splitting, the root \(\varvec{{\alpha }}_0\) corresponds to the kinematic factor
wile the other ordered sets \(\varvec{{\alpha }}_i\) with \(i\ne 0\) correspond to
In the above factors, the tensor \(f_i^{\mu \nu }\) is defined by
The combined momentum \(Z_{\alpha ^i_1}\) is the sum of momenta of external legs satisfying two conditions: (1) legs at the LHS of \(\alpha ^i_1\) in the color-ordering, (2) legs belonging to \(\varvec{{\alpha }}_j\) at the LHS of \(\varvec{{\alpha }}_i\) in the ordered splitting, i.e., \(j<i\). The coefficient \(C^\epsilon (\sigma )\) is the sum of contributions from all correct ordered splittings. An analogous algorithm holds for evaluating \(C^{{\widetilde{\epsilon }}}(\sigma ')\).
To illustrate the procedure more clearly, let us consider the 4-point BCJ numerator \(C^\epsilon (32)\) for the color-ordering \(1\dot{<}3\dot{<}2\dot{<}4\). The reference ordering is chosen to be \(4\prec 3\prec 2\prec 1\). The roots \(\varvec{{\alpha }}_0\) have the following candidates: \(\{1,4\}\), \(\{1,2,4\}\), \(\{1,3,4\}\), \(\{1,3,2,4\}\). The ordered set \(\{1,2,3,4\}\) violates the color-ordering \(3\dot{<}2\) and therefore can be excluded. For the root \(\varvec{{\alpha }}_0=\{1,4\}\), the lowest element in the reduced reference ordering \(3\prec 2\) is 3; then one can construct \({\varvec{\alpha }}_1=\{3\}\) or \(\varvec{{\alpha }}_1=\{2,3\}\). However, the ordered set \(\{2,3\}\) violates the color-ordering \(3\dot{<}2\) and therefore is forbidden. Thus, we obtain the ordered splitting \(\{\{1,4\},\{3\},\{2\}\}\) for the root \(\{1,4\}\). Similarly, one can get \(\{\{1,2,4\},\{3\}\}\), \(\{\{1,3,4\},\{2\}\}\) and \(\{\{1,3,2,4\}\}\) for the other roots. After giving kinematic factors for each of these splittings, the BCJ numerator \(C^\epsilon (32)\) is found to be
The coefficients \(C^\epsilon (\sigma )\) and \(C^{{\widetilde{\epsilon }}}(\sigma ')\), together with the BAS amplitudes \({{\mathcal {A}}}_{\mathrm{BAS}}(1\sigma n|1\sigma 'n)\) with two massive scalars, provide the GR amplitude \({{\mathcal {A}}}^{\epsilon ,{\widetilde{\epsilon }}}_{\mathrm{GR}}(1,\ldots ,n)\) with two massive gravitons, via the expansion in (1).
2.2 Converting gravitons to scalars or photons
After obtaining the GR amplitude with two massive gravitons, one can convert gravitons to scalars or photons through the dimensional reduction procedure, or by applying differential operators to the GR amplitude, to get the desired SG and SPG amplitudes.
To get the SG amplitude with two massive scalars in D dimensions, an effective way is to consider the GR amplitude with two massive gravitons in \(D+1\) dimensions. Roughly speaking, this method is to choose the polarization vectors of two massive gravitons to be in the extra dimension, while all other Lorentz vectors lie in D dimensions [17, 22]. More explicitly, one can set the momenta and polarization vectors of the external legs for the GR amplitude to be
where \(P_1\) and \(P_n\) are massive momenta satisfying \(P_1^2=P_n^2=m^2\), \(k_a\) are massless momenta with \(a\in \{2,\ldots ,n-1\}\). For each vector, the components at the LHS of | lie in D dimensions, while the component at the RHS of | lies in the extra dimension. Under the above choices, two massive gravitons behave as two massive scalars in D dimensions, thus the goal is achieved. This procedure is called dimensional reduction. An equivalent approach is to apply differential operators:
to the GR amplitude, as proposed in [42] and proved in [43, 44]. To exclude contributions from the dilaton and 2-form, one needs to turn all \({\widetilde{\epsilon }}_i\) to \(\epsilon _i\) at the final step.
To obtain the SPG amplitude with two massive scalars and one massless photon, we first apply the operator
to the GR amplitude, to generate the single trace EYM amplitude \({{\mathcal {A}}}^{\epsilon ,{\widetilde{\epsilon }}}_{\mathrm{EYM}}(1bn;\{1,\ldots ,n\}{\setminus }\{1,b,n\})\), with two massive gluons \(1\,,\,n\) and one massless gluon b, as well as \(n-3\) gravitons in the set \(\{1,\ldots ,n\}{\setminus }\{1,b,n\}\). Then we use the operator \({{\mathcal {T}}}^\epsilon [1n]\) to convert the massive gluons \(1\,,\,n\) to scalars. After this manipulation, the remaining gluon b can be identified as a photon. The reason is that, after converting two massive gluons to scalars, the vector boson b attached to the vertex including two scalars and b, bears the same structure as the photon–scalar vertex, as shown in Fig. 6 (The color-ordered partial amplitude does not contain any group-theoretic factor). When there is only one external gluon, the self-interaction of gluons does not occur. Thus, from the angle of scattering amplitudes, a gluon cannot be distinguished from a photon before adding the coupling constants. Consequently, we arrive at the SPG amplitude whose external particles are two scalars, one photon and \(n-3\) gravitonsFootnote 1.
For the SPG amplitude with two massive scalars and one photon, it is hard to find a dimensional reduction manipulation which is equivalent to applying the differential operators, since the insertion operator
cannot be interpreted directly by dimensional reduction.
It is worth to emphasize that the dimensional reduction technique and the method of applying differential operators, which are originally proposed for massless amplitudes, are also valid for amplitudes with two massive legs, as explained in [50].
Let us explain why it is hard to calculate the SPG amplitude with more than one photons by the method mentioned above. Suppose we naively apply this method, i.e., perform the trace operator \({{\mathcal {T}}}^{{\widetilde{\epsilon }}}[1bc\cdots n]\) to the GR amplitude to create the single tace EYM amplitude with more gluons; the self-interactions of gluons cannot then be removed by converting two gluons to scalars, as shown in Fig. 7. This fact indicates that the remaining external gluons can never be identified as photons. But one can ask if there are other ways to turn gravitons to photons. As is well known, the photon–graviton amplitude can be generated from the GR amplitude by dimensional reduction [22], or by applying the operator [43]
Here the set
is a partition of the length-2m set including two massive scalars and all photons into pairs, with \(i_1<i_2<\cdots <i_m\) and \(i_t<j_t\), \(\forall \,t\). The summation is over all partitions \(\rho \). For the case under consideration in this paper, it is hard to use the above manipulation to achieve the desired amplitude with correct coupling constants. On using the above method, the contributions from vertices describing that two photons interact with one graviton will occur, as shown in Fig. 8, a problem arises. For two types of vertices which include photons, as shown in Fig. 9, the coupling constants are different. Then different diagrams with the same external legs can carry different coupling constants, for instance two diagrams in Fig. 10. Since our method only concerns external states of amplitudes, and the coupling constants are omitted, how to separate different pieces with different coupling constants from a full amplitude becomes a difficult question. This is why we do not employ the dimensional reduction or the operator \({{\mathcal {T}}}^{{\widetilde{\epsilon }}}_{X_{2m}}\) to convert gravitons to photons.Footnote 2
Before ending this section, we point out there are alternative choices of expansions. For example, one can calculate the EYM amplitude with two massive and one massless gluons by expanding it to BAS amplitudes, then convert two massive gluons to scalars, to get the SPG amplitude with two massive scalars, one photon and \(n-3\) gravitons. The algorithm for evaluating coefficients for the EYM amplitude can be generated from the algorithm for computing coefficients for the GR amplitude via the differential operator \({{\mathcal {T}}}^{{\widetilde{\epsilon }}}[1bn]\), as can be found in [31]. Thus, the two methods are totally equivalent, since the differential operators only act on coefficients rather than the basis in the expanded formula of the GR amplitude (1).
3 Scalar–graviton examples
In this section, we use the method introduced in the previous section, to calculate SG amplitudes with two massive scalars and \(n-2\) gravitons. Before going to examples, let us do a little simplification of the algorithm. The dimensional reduction manipulation and the differential operators only act on two coefficients in the expanded GR amplitude in (1). The effect of them is turning all \(\epsilon _1\cdot \epsilon _n\) and \({\widetilde{\epsilon }}_1\cdot {\widetilde{\epsilon }}_n\) to 1, while annihilating all other terms that do not contain both \(\epsilon _1\cdot \epsilon _n\) and \({\widetilde{\epsilon }}_1\cdot {\widetilde{\epsilon }}_n\). Thus, one only needs to consider ordered splittings with the root \(\{1,n\}\), and turn the corresponding terms in \(C^\epsilon (\sigma )\) and \(C^{{\widetilde{\epsilon }}}(\sigma ')\) to \({{\mathcal {C}}}^\epsilon (\sigma )\) and \({{\mathcal {C}}}^{{\widetilde{\epsilon }}}(\sigma ')\), by setting \(\epsilon _1\cdot \epsilon _n=1\), \({\widetilde{\epsilon }}_1\cdot {\widetilde{\epsilon }}_n=1\), respectively. Then we arrive at
In this and the next sections, we use a bold number to denote massive external particles. The notation \({{\widetilde{\mathcal {A}}}}_{\mathrm{SG}}\) stands for the SG amplitude, which includes contributions from the dilaton and 2-form. The last step is turning all \({\widetilde{\epsilon }}_i\) to \(\epsilon _i\), to obtain the result
3.1 4-Point amplitude \({{\mathcal {A}}}_{\mathrm{SG}}(\mathbf{1}_\varphi ,2_h,3_h,\mathbf{4}_\varphi )\)
The simplest example is the 4-point amplitude \({{\mathcal {A}}}_{\mathrm{SG}}(\mathbf{1}_\varphi ,2_h,3_h,\mathbf{4}_\varphi )\) with two massive scalars \(\mathbf{1}_\varphi \), \(\mathbf{4}_\varphi \), and two massless gravitons \(2_h\), \(3_h\). This amplitude has been calculated in [16]. Our method leads to the equivalent expression.
According to the expansion in (25), we need to calculate the 4-point BAS amplitudes \({{\mathcal {A}}}_{\mathrm{BAS}}(\mathbf{1}\sigma \mathbf{4}|\mathbf{1}\sigma '\mathbf{4})\) and the coefficients \({{\mathcal {C}}}^\epsilon (\sigma )\) and \({{\mathcal {C}}}^{{\widetilde{\epsilon }}}(\sigma ')\). Using the diagrammatic technique introduced in Sect. 2, the 4-point BAS amplitudes with two massive scalars \(\mathbf{1}\) and \(\mathbf{4}\) fixed at two ends in the color-orderings can be calculated as
The coefficients can be computed by finding all correct ordered splittings, as discussed in Sect. 2. The expressions for the coefficients are given by
with the reference ordering \(4\prec 3\prec 2\prec 1\). Substituting these ingredients into the expansion (24), we get the desired SG amplitude expressed as
It is straightforward to verify the equivalence between this expression and the formula obtained in [16].
3.2 5-Point amplitude \({{\mathcal {A}}}_{\mathrm{SG}}(\mathbf{1}_\varphi ,2_h,3_h,4_h,\mathbf{5}_\varphi )\)
Then we consider the 5-point example \({{\mathcal {A}}}_{\mathrm{SG}}(\mathbf{1}_\varphi ,2_h,3_h,4_h,{} \mathbf{5}_\varphi )\), with two massive scalars \(\mathbf{1}_\varphi \), \(\mathbf{5}_\varphi \), and three massless gravitons \(2_h\), \(3_h\), \(4_h\). The 5-point BAS amplitudes with two massive legs \(\mathbf{1}\), \(\mathbf{5}\) and color-orderings \(({\mathbf{1}}{{234}}{\mathbf{5}}|\mathbf{1}\sigma \mathbf{5})\) can be computed as
Other 5-point BAS amplitudes can be obtained from them by changing nodes, for example, \({{\mathcal {A}}}_{\mathrm{BAS}}({\mathbf {1}}324{\mathbf {5}}|{\mathbf{1}}243{\mathbf {5}})\) can be generated from \({{\mathcal {A}}}_{\mathrm{BAS}}({{\mathbf {1}}}234{{\mathbf {5}}}|{\mathbf {1}}342{\mathbf {5}})\) via the replacement \(2\rightarrow 3\,,\,3\rightarrow 2\). The coefficients \({{\mathcal {C}}}^\epsilon (\sigma )\) can be calculated as
with the reference ordering \(5\prec 4\prec 3\prec 2\prec 1\). Substituting (29) and (30) into (25), we arrive at the SG amplitude with two massive scalars, as exhibited in Appendix A.
Higher point SG amplitudes with two massive scalars follow by the same method. Although the lengths of the expressions for higher points amplitudes are large, the calculation can be easily realized in MATHEMATICA.
4 Scalar–photon–graviton examples
In this section we consider SPG amplitudes with two massive scalars, one massless photon and \(n-3\) massless gravitons. As discussed in Sect. 2, such amplitudes can be obtained by applying \({{\mathcal {T}}}^\epsilon [1n]\) and \({{\mathcal {T}}}^{{\widetilde{\epsilon }}}[1bn]\equiv {{\mathcal {I}}}^{{\widetilde{\epsilon }}}_{1bn}{{\mathcal {T}}}^{{\widetilde{\epsilon }}}[1n]\) to the GR amplitude, then turning all \({\widetilde{\epsilon }}_i\) to \(\epsilon _i\). Performing \({{\mathcal {T}}}^\epsilon [1n]\) and \({{\mathcal {T}}}^{{\widetilde{\epsilon }}}[1n]\) to the GR amplitude gives rise to the SG amplitude \({{\widetilde{\mathcal {A}}}}_{\mathrm{SG}}(\mathbf{1}_\varphi ,2_h,\ldots ,(n-1)_h,\mathbf{n}_\varphi )\) discussed in the previous section, thus a more efficient way is to apply the insertion operator \({{\mathcal {I}}}^{{\widetilde{\epsilon }}}_{1bn}\) to \({{\widetilde{\mathcal {A}}}}_{\mathrm{SG}}(\mathbf{1}_\varphi ,2_h,\ldots ,(n-1)_h,\mathbf{n}_\varphi )\), and then turn all \({\widetilde{\epsilon }}_i\) to \(\epsilon _i\).
4.1 4-point amplitude \({{\mathcal {A}}}_{\mathrm{SPG}}(\mathbf{1}_\varphi ,2_p,3_h,\mathbf{4}_\varphi )\)
Our first example is the 4-Point amplitude \({{\mathcal {A}}}_{\mathrm{SPG}}(\mathbf{1}_\varphi ,2_p,3_h,{} \mathbf{4}_\varphi )\), with two massive scalars \(\mathbf{1}_\varphi \), \(\mathbf{4}_\varphi \), one massless photon \(2_p\), and one massless graviton \(3_h\). As discussed above, we will apply the operator
to the amplitude \({{\widetilde{\mathcal {A}}}}_{\mathrm{SG}}(\mathbf{1}_\varphi ,2_h,3_h,\mathbf{4}_\varphi )\). Using the BAS amplitudes in (26) and the coefficients in (27) (coefficients \({{\mathcal {C}}}^{{\widetilde{\epsilon }}}(\sigma )\) can be generated from \({{\mathcal {C}}}^{\epsilon }(\sigma )\) by turning all \(\epsilon _i\) to \({\widetilde{\epsilon }}_i\)), we have
After applying \({{\mathcal {I}}}^{{\widetilde{\epsilon }}}_{124}\), and turning all \({\widetilde{\epsilon }}_i\) to \(\epsilon _i\), we get the result
4.2 5-Point amplitude \({{\mathcal {A}}}_{\mathrm{SPG}}(\mathbf{1}_\varphi ,2_p,3_h,4_h,\mathbf{5}_\varphi )\)
The next example is the 5-point amplitude \({{\mathcal {A}}}_{\mathrm{SPG}}(\mathbf{1}_\varphi ,2_p,3_h,4_h,\mathbf{5}_\varphi )\), with two massive scalars \(\mathbf{1}_\varphi \), \(\mathbf{5}_\varphi \), one massless photon \(2_p\), and two massless gravitons \(3_h\), \(4_h\). The computation of this amplitude follows in a similar way. Substituting BAS amplitudes in (29) and the coefficients in (30) into (24), one can get the SG amplitude \({{\widetilde{\mathcal {A}}}}_{\mathrm{SG}}(\mathbf{1}_\varphi , 2_h,3_h,4_h,\mathbf{5}_\varphi )\). Then the amplitude \({{\mathcal {A}}}_{\mathrm{SPG}}(\mathbf{1}_\varphi ,2_p,3_h,4_h,\mathbf{5}_\varphi )\) can be obtained by applying the insertion operator \({{\mathcal {I}}}^{{\widetilde{\epsilon }}}_{125}\) to \({{\widetilde{\mathcal {A}}}}_{\mathrm{SG}}(\mathbf{1}_\varphi , 2_h,3_h,4_h,\mathbf{5}_\varphi )\) and turning all \({\widetilde{\epsilon }}_i\) to \(\epsilon _i\). The full result of \({{\mathcal {A}}}_{\mathrm{SPG}}(\mathbf{1}_\varphi ,2_p,3_h,4_h,\mathbf{5}_\varphi )\) is shown in Appendix A. Higher point SPG amplitudes with two massive scalars and one photon can be calculated by the same method.
Data Availability Statement
This manuscript has no associated data or the data will not be deposited. [Authors’ comment: We do not have any data related to this manuscript. It is a theoretical work only and no data is involved.]
Notes
One may worry about the color-ordering (1bn) from the single trace EYM amplitude, but for three elements any way of changing the ordering leads to nothing but an overall sign, thus this color-ordering has no physical effect.
In practical, if the number of photons is odd, there is another problem for the dimensional reduction method, or equivalently applying \({{\mathcal {T}}}^{{\widetilde{\epsilon }}}_{X_{2m}}\). When the number of photons is odd, at least one polarization vector \(\epsilon _b^\mu \) lies in the extra dimension and will contract with a vector the lies in D dimensions, thus the result will be 0.
References
B. P. Abbott et al.,. [LIGO Scientific and Virgo], Observation of gravitational waves from a binary black hole merger, Phys. Rev. Lett. 116(6), 061102 (2016) https://doi.org/10.1103/PhysRevLett.116.061102arXiv:1602.03837 [gr-qc]
B. P. Abbott et al.,. [LIGO Scientific and Virgo], GW170817: Observation of gravitational waves from a binary neutron star inspiral, Phys. Rev. Lett. 119(16), 161101 (2017) https://doi.org/10.1103/PhysRevLett.119.161101arXiv:1710.05832 [gr-qc]
F. Cachazo, A. Guevara, Leading singularities and classical gravitational scattering. JHEP 02, 181 (2020). https://doi.org/10.1007/JHEP02(2020)181. arXiv:1705.10262 [hep-th]
A. Guevara, Holomorphic classical limit for spin effects in gravitational and electromagnetic scattering. JHEP 04, 033 (2019). https://doi.org/10.1007/JHEP04(2019)033. arXiv:1706.02314 [hep-th]
T. Damour, High-energy gravitational scattering and the general relativistic two-body problem. Phys. Rev. D 97(4), 044038 (2018). https://doi.org/10.1103/PhysRevD.97.044038. arXiv:1710.10599 [gr-qc]
N.E.J. Bjerrum-Bohr, P.H. Damgaard, G. Festuccia, L. Plant, P. Vanhove, General relativity from scattering amplitudes. Phys. Rev. Lett. 121(17), 171601 (2018). https://doi.org/10.1103/PhysRevLett.121.171601. arXiv:1806.04920 [hep-th]
M. Levi, Effective field theories of post-newtonian gravity: a comprehensive review. Rept. Prog. Phys. 83(7), 075901 (2020). https://doi.org/10.1088/1361-6633/ab12bc. arXiv:1807.01699 [hep-th]
C. Cheung, I.Z. Rothstein, M.P. Solon, From scattering amplitudes to classical potentials in the post-Minkowskian expansion. Phys. Rev. Lett. 121(25), 251101 (2018). https://doi.org/10.1103/PhysRevLett.121.251101. arXiv:1808.02489 [hep-th]
M.Z. Chung, Y.T. Huang, J.W. Kim, S. Lee, The simplest massive S-matrix: from minimal coupling to Black Holes. JHEP 04, 156 (2019). https://doi.org/10.1007/JHEP04(2019)156. arXiv:1812.08752 [hep-th]
Z. Bern, C. Cheung, R. Roiban, C.H. Shen, M.P. Solon, M. Zeng, Scattering amplitudes and the conservative hamiltonian for binary systems at third post-Minkowskian order. Phys. Rev. Lett. 122(20), 201603 (2019). https://doi.org/10.1103/PhysRevLett.122.201603. arXiv:1901.04424 [hep-th]
Z. Bern, C. Cheung, R. Roiban, C.H. Shen, M.P. Solon, M. Zeng, Black hole binary dynamics from the double copy and effective theory. JHEP 10, 206 (2019). https://doi.org/10.1007/JHEP10(2019)206. arXiv:1908.01493 [hep-th]
A. Antonelli, A. Buonanno, J. Steinhoff, M. van de Meent, J. Vines, Phys. Rev. D 99(10), 104004 (2019). https://doi.org/10.1103/PhysRevD.99.104004. arXiv:1901.07102 [gr-qc]
A. Cristofoli, N.E.J. Bjerrum-Bohr, P.H. Damgaard, P. Vanhove, Phys. Rev. D 100(8), 084040 (2019). https://doi.org/10.1103/PhysRevD.100.084040. arXiv:1906.01579 [hep-th]
A.Koemans Collado, P. Di Vecchia, R. Russo, Phys. Rev. D 100(6), 066028 (2019). https://doi.org/10.1103/PhysRevD.100.066028. arXiv:1904.02667 [hep-th]
B. Maybee, D. O’Connell, J. Vines, JHEP 12, 156 (2019). https://doi.org/10.1007/JHEP12(2019)156. arXiv:1906.09260 [hep-th]
N. Bjerrum-Bohr, A. Cristofoli, P.H. Damgaard, H. Gomez, Scalar-graviton amplitudes. JHEP 11, 148 (2019). https://doi.org/10.1007/JHEP11(2019)148. arXiv:1908.09755 [hep-th]
S.G. Naculich, CHY representations for gauge theory and gravity amplitudes with up to three massive particles. JHEP 05, 050 (2015). https://doi.org/10.1007/JHEP05(2015)050. arXiv:1501.03500 [hep-th]
F. Cachazo, S. He, E.Y. Yuan, Scattering equations and Kawai–Lewellen–Tye orthogonality. Phys. Rev. D 90(6), 065001 (2014). https://doi.org/10.1103/PhysRevD.90.065001. 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). https://doi.org/10.1103/PhysRevLett.113.171601. arXiv:1307.2199 [hep-th]
F. Cachazo, S. He, E.Y. Yuan, Scattering of massless particles: scalars, gluons and gravitons. JHEP 1407, 033 (2014). https://doi.org/10.1007/JHEP07(2014)033. arXiv:1309.0885 [hep-th]
F. Cachazo, S. He, E.Y. Yuan, Einstein–Yang–Mills scattering amplitudes from scattering equations. JHEP 1501, 121 (2015). https://doi.org/10.1007/JHEP01(2015)121. 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). https://doi.org/10.1007/JHEP07(2015)149. arXiv:1412.3479 [hep-th]
H. Gomez, \(\Lambda \) scattering equations. JHEP 1606, 101 (2016). https://doi.org/10.1007/JHEP06(2016)101. arXiv:1604.05373 [hep-th]
C. Cardona, H. Gomez, Elliptic scattering equations. JHEP 1606, 094 (2016). https://doi.org/10.1007/JHEP06(2016)094. arXiv:1605.01446 [hep-th]
N.E.J. Bjerrum-Bohr, P.H. Damgaard, H. Gomez, New Factorization relations for yang mills amplitudes. Phys. Rev. D 99(2), 025014 (2019). https://doi.org/10.1103/PhysRevD.99.025014. arXiv:1810.05023 [hep-th]
H. Gomez, Scattering equations and a new factorization for amplitudes. Part I. Gauge theories. JHEP 1905, 128 (2019). https://doi.org/10.1007/JHEP05(2019)128. arXiv:1810.05407 [hep-th]
N.E.J. Bjerrum-Bohr, H. Gomez, A. Helset, New factorization relations for nonlinear sigma model amplitudes. Phys. Rev. D 99(4), 045009 (2019). https://doi.org/10.1103/PhysRevD.99.045009. arXiv:1811.06024 [hep-th]
H. Gomez, A. Helset, Scattering equations and a new factorization for amplitudes. Part II. Effective field theories. JHEP 1905, 129 (2019). https://doi.org/10.1007/JHEP05(2019)129. arXiv:1902.02633 [hep-th]
B. Feng, X. Li, K. Zhou, Expansion of Einstein–Yang–Mills theory by differential operators. Phys. Rev. D 100(12), 125012 (2019). https://doi.org/10.1103/PhysRevD.100.125012. arXiv:1904.05997 [hep-th]
S. Q. Hu, K. Zhou, Expansion of tree amplitudes for EM and other theories, arXiv:1907.07857 [hep-th]
K. Zhou, Unified web for expansions of amplitudes. JHEP 1910, 195 (2019). https://doi.org/10.1007/JHEP10(2019)195. arXiv:1908.10272 [hep-th]
S. Stieberger, T.R. Taylor, New relations for Einstein–Yang–Mills amplitudes. Nucl. Phys. B 913, 151 (2016). arXiv:1606.09616 [hep-th]
O. Schlotterer, Amplitude relations in heterotic string theory and Einstein–Yang–Mills. JHEP 1611, 074 (2016). arXiv:1608.00130 [hep-th]
M. Chiodaroli, M. Gunaydin, H. Johansson, R. Roiban, Explicit formulae for Yang–Mills–Einstein amplitudes from the double copy. JHEP 1707, 002 (2017). https://doi.org/10.1007/JHEP07(2017)002. arXiv:1703.00421 [hep-th]
V. Del Duca, L.J. Dixon, F. Maltoni, New color decompositions for gauge amplitudes at tree and loop level. Nucl. Phys. B 571, 51 (2000). https://doi.org/10.1016/S0550-3213(99)00809-3. arXiv:hep-ph/9910563
D. Nandan, J. Plefka, O. Schlotterer, C. Wen, Einstein–Yang–Mills from pure Yang–Mills amplitudes. JHEP 1610, 070 (2016). arXiv:1607.05701 [hep-th]
L. de la Cruz, A. Kniss, S. Weinzierl, Relations for Einstein–Yang–Mills amplitudes from the CHY representation. Phys. Lett. B 767, 86 (2017). arXiv:1607.06036 [hep-th]
C.H. Fu, Y.J. Du, R. Huang, B. Feng, Expansion of Einstein–Yang–Mills amplitude. JHEP 1709, 021 (2017). arXiv:1702.08158 [hep-th]
F. Teng, B. Feng, Expanding Einstein–Yang–Mills by Yang–Mills in CHY frame. JHEP 1705, 075 (2017). arXiv:1703.01269 [hep-th]
Y.J. Du, F. Teng, BCJ numerators from reduced Pfaffian. JHEP 1704, 033 (2017). arXiv:1703.05717 [hep-th]
Y.J. Du, B. Feng, F. Teng, Expansion of all multitrace tree level EYM amplitudes. JHEP 1712, 038 (2017). arXiv:1708.04514 [hep-th]
C. Cheung, C.H. Shen, C. Wen, Unifying relations for scattering amplitudes. JHEP 1802, 095 (2018). https://doi.org/10.1007/JHEP02(2018)095. arXiv:1705.03025 [hep-th]
K. Zhou, B. Feng, Note on differential operators, CHY integrands, and unifying relations for amplitudes. JHEP 1809, 160 (2018). arXiv:1808.06835 [hep-th]
M. Bollmann, L. Ferro, Transmuting CHY formulae. JHEP 1901, 180 (2019). arXiv:1808.07451 [hep-th]
Z. Bern, J.J.M. Carrasco, H. Johansson, Phys. Rev. D 78, 085011 (2008). arXiv:0805.3993 [hep-ph]
M. Chiodaroli, M. Günaydin, H. Johansson, R. Roiban, JHEP 1501, 081 (2015). https://doi.org/10.1007/JHEP01(2015)081. arXiv:1408.0764 [hep-th]
H. Johansson, A. Ochirov, JHEP 1601, 170 (2016). https://doi.org/10.1007/JHEP01(2016)170. arXiv:1507.00332 [hep-ph]
H. Johansson, A. Ochirov, JHEP 1909, 040 (2019). https://doi.org/10.1007/JHEP09(2019)040. arXiv:1906.12292 [hep-th]
C. Lam, Off-shell Yang–Mills amplitude in the Cachazo–He–Yuan formalism. Phys. Rev. D 100(4), 045009 (2019). https://doi.org/10.1103/PhysRevD.100.045009. arXiv:1905.05101 [hep-th]
K. Zhou, G. J. Zhou, Transmuting off-shell CHY integrals in the double-cover framework. arXiv:2006.12188 [hep-th]
Acknowledgements
This work is supported by Chinese NSF funding, under contracts No.11805163, and NSF of Jiangsu Province, under Grant No.BK20180897.
Author information
Authors and Affiliations
Corresponding author
Appendix A: Full results for 5-point examples
Appendix A: Full results for 5-point examples
In this appendix, we show the full results of two 5-point examples.
The SG amplitude \({{\mathcal {A}}}_{\mathrm{SG}}(\mathbf{1}_\varphi ,2_h,3_h,4_h,\mathbf{5}_\varphi )\) is given as follows:
where
The SPG amplitude \({{\mathcal {A}}}_{\mathrm{SPG}}(\mathbf{1}_\varphi ,2_p,3_h,4_h,\mathbf{5}_\varphi )\) is given by
where
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
Zhou, K., Zhou, GJ. Note on scalar–graviton and scalar–photon–graviton amplitudes. Eur. Phys. J. C 80, 930 (2020). https://doi.org/10.1140/epjc/s10052-020-8396-6
Received:
Accepted:
Published:
DOI: https://doi.org/10.1140/epjc/s10052-020-8396-6