New formulas for amplitudes from higher-dimensional operators

In this paper we study tree-level amplitudes from higher-dimensional operators, including F3 operator of gauge theory, and R2, R3 operators of gravity, in the Cachazo-He-Yuan formulation. As a generalization of the reduced Pfaffian in Yang-Mills theory, we find a new, gauge-invariant object that leads to gluon amplitudes with a single insertion of F3, and gravity amplitudes by Kawai-Lewellen-Tye relations. When reduced to four dimensions for given helicities, the new object vanishes for any solution of scattering equations on which the reduced Pfaffian is non-vanishing. This intriguing behavior in four dimensions explains the vanishing of graviton helicity amplitudes produced by the Gauss-Bonnet R2 term, and provides a scattering-equation origin of the decomposition into self-dual and anti-self-dual parts for F3 and R3 amplitudes.


Introduction and motivations
Higher-dimensional operators in gauge theory and gravity are important for various reasons: they are of phenomenological interests as potential corrections to Yang-Mills and Einstein theory; they can appear in effective actions of open and closed strings, and serve as potential counter terms for UV divergences of loop amplitudes. The simplest gauge-invariant, local operator that one can add to Yang-Mills action is the F 3 operator, where F µν ≡ F a µν T a is the gluon field strength, and f abc = Tr([T a , T b ]T c ) the structure constant of gauge group. This operator arises as the first correction to Yang-Mills Lagrangian F 2 ≡ Tr(F µν F µν ), from the α -expansion of bosonic open string theory [1]. It is the unique, CP-even dimension-six operator from gauge fields, and it is not supersymmetrizable. The amplitude produced by F 3 differs significantly from those produced by higher-dimensional operators in open superstrings. The polarization dependence of the latter is like in Yang-Mills case, e.g. no contractions of the form ( · k) n [2][3][4], but amplitudes produced by F 3 certainly contain such contractions. In this sense, F 3 is the first higher-dimensional operator with genuinely new polarization structures in the amplitudes. F 3 operator represents a possible deviation of gluon interactions from those in QCD, which could be produced by new physics [5][6][7]. There have been phenomenological studies on the effect of F 3 -modified amplitudes [5][6][7][8][9][10], which were systematically computed using MHV vertex expansion in [11] (for BCFW recursions see [12]). In the following we denote the matrix element with n gluons and a single insertion of F 3 as M F 3 n . 1 1 The effective Lagrangian is L = F 2 + α F 3 + O(α 2 ). We strip off the coupling g n−2 for pure Yang-Mills amplitude M YM n , and 3α g n−2 for M F 3 n . The F 3 modifications do not change the group theory structure of Yang-Mills action, and in particular the color decomposition of M F 3 n is identical to M YM n .

JHEP02(2017)019
Furthermore, in [13], it has been argued that M F 3 n satisfies a duality between color and kinematics first proposed for M YM n [14], then double-copy constructions [14] give gravity amplitudes from the low-energy effective action of the bosonic closed strings, up to O(α 2 ): +α 2 e −4φ 1 48 where G 2 is the usual Gauss-Bonnet term that contains two powers of Riemann tensor and we will refer it as R 2 , I 1 and G 3 contain three powers of Riemann tensors (see [13] for details). If we restrict ourselves to pure gravitons, then at O(α ) the amplitude is produced by the R 2 operator only, but at O(α 2 ) it receives contribution both from R 3 operator as well as two insertions of R 2 operators with exchange of a dilation φ. Nevertheless, in the following we will refer to gravity amplitudes from the effective action at O(α ) and O(α 2 ) as the R 2 and R 3 amplitudes, respectively. Equivalent to the double-copy construction, the corresponding amplitudes can be obtained from those in open strings using field-theory limit of Kawai-Lewellen-Tye (KLT) relations [15]. 2 Given that M F 3 n is the O(α ) correction to M YM n in open string theory, M R 3 n at O(α 2 ) comes from double-copy/KLT of two copies of M F 3 n , while M R 2 n at O(α ) can be obtained as the double-copy/KLT of M F 3 n with M YM n . In four dimensions, it is natural to split the field strength F into self-dual and anti-selfdual parts F µν ± = F µν ±F µν , and we have amplitudes produced by F 3 + and F 3 − accordingly. The only possible modification to the three-point on-shell gluon amplitudes are the while for any other helicities F 3 amplitudes vanish. R 3 amplitudes at O(α 2 ) are the squaring of A F 3 3 , and it is important to note that pure graviton amplitudes in four dimensions are from two copies of gauge-theory amplitudes with identical helicities: On the other hand, R 2 -modified three-graviton amplitude vanishes for any helicities because is non-vanishing only for (−, −, +) and (+, +, −). In fact, M R 2 n vanishes for any number of gravitons in four dimensions, because there R 2 is a total derivative and cannot produce non-vanishing matrix element. This immediately gives a very interesting relation observed in [13], namely in four dimensions the KLT of M F 3 n and M YM n with same helicity configurations must vanish. A similar relation also observed in [13] is that the KLT of M

JHEP02(2017)019
where ⊗ KLT means combining two sets of gauge-theory amplitudes via KLT relations reviewed below, and every pair of gluons must have polarizations with identical helicity, ± . For general n, these are highly non-trivial relations or F 3 amplitudes in four dimensions. In this paper we study these amplitudes from higher-dimensional operators in the Cachazo-He-Yuan (CHY) formulation [16,17]. It expresses tree-level S-matrices of massless particles as integrals over the moduli space of punctured Riemann spheres, and naturally incorporates a large variety of theories [18][19][20]. As we will review shortly, in the formula for Yang-Mills or Einstein gravity, the most important ingredient is the reduced Pfaffian (or determinant) of a matrix Ψ n ( ), with manifest gauge/diffeomorphism invariance. The reduced Pfaffian encodes polarization dependence of amplitudes in Yang-Mills, as well as from higher-dimensional operators of open superstrings.
We will present remarkably simple formulas for M F 3 n , M R 3 n and M R 2 n , which are related to each other through KLT/double-copy constructions. The formulas are all based on one new, gauge-invariant ingredient, P n , constructed from the same matrix Ψ n ( ) with mass dimension higher than the reduced Pfaffian by two. Just as the reduced Pfaffian being the basic object for gluon amplitudes with supersymmetries, P n can be regarded as the basic object for non-supersymmetrizable operators, at least for this lowest dimension.
Furthermore, we study P n in four dimensions, where any CHY formula naturally becomes a sum of contributions from different sectors [21,22]. Given any helicity configuration, it has been known for some time that the reduced Pfaffian is only non-vanishing in one particular sector. This reproduces various twistor string formulas for (super)Yang-Mills and gravity amplitudes [23][24][25][26][27]. As we will see shortly, the reduction of P n to four dimensions is very different: it vanishes on exactly that sector where reduced Pfaffian is non-vanishing. 3 In this sense P n is strictly "orthogonal" to the reduced Pfaffian, which means that the product of them vanishes in all sectors and cannot produce any non-zero amplitudes in four dimensions! This is the origin of the vanishing R 2 amplitude in four dimensions, which is the KLT of F 3 and Yang-Mills amplitudes.
Remarkably, we will also learn how self-dual and anti-self-dual parts appear from our formulas in four dimensions. We find that all the solution sectors that contributes to F 3 and R 3 amplitudes can be naturally divided into two complementary groups; M  − n ) are given by the sum of contributions from the two groups respectively, which also explains their orthogonality. In addition to providing a proof for (1.4), our formulas show other nice features of F 3 amplitudes in four dimensions as well, such as the "Parke-Taylor-like" formula for M F 3 + n with three negative-helicity gluons [13]. The paper is organized as follows. After briefly review the CHY formulas for Yang-Mills and gravity as well as KLT relations in section 2, we introduce the new ingredient P n which lead to CHY formulas for all these amplitudes from higher-dimensional operators in section 3. In section 4, we discuss P n in four dimensions, including its orthogonality to the reduced Pfaffian, and the split into self-dual and anti-self dual parts. Discussions and an appendix on reducing to four dimensions will be presented in the end.

JHEP02(2017)019 2 A brief review of CHY and KLT
The universal part of CHY formulas contains the so-called scattering equations [16,17,21] where s a b = (k a + k b ) 2 = 2k a · k b , σ a is the a th puncture. The tree-level S-matrix of n massless particles is written as an integral localized on the support of (2.1) where the precise definition of the integral measure including delta functions can be found in [17], and I n is the CHY integrand that defines the theory. In the second equality one sums over (n−3)! solutions of (2.1), with J n the Jacobian of delta functions. In particular, the integrands for tree amplitudes in gravity, in Yang-Mills and a bi-adjoint φ 3 theory are [18]: The two ingredients are the Parke-Taylor factor which can be dressed with color factors, PT(α) := 1 σ α(1),α(2) · · · σ α(n),α (1) , C n = α∈S n−1 and a 2n × 2n skew matrix Ψ n that depends on polarization vectors: 4 Note that the matrix is degenerate since it has two null vectors, but we can define its reduced Pfaffian by deleting two columns and rows among the first n: This definition is permutation invariant, and it has the appropriate SL(2, C) weight and correct mass dimension, [mass] n−2 for producing Yang-Mills and gravity amplitudes via (2.2) and (2.3). The most important property of Pf Ψ n is that on the support of scattering equations, it is invariant under gauge transformation µ a → µ a + αk µ a [17] JHEP02(2017)019 After color decomposition, one obtains color-ordered, partial amplitudes, M YM (α), for Yang-Mills and double-partial amplitudes, m(α|β), for bi-adjoint scalar theory, with PT factors in the integrands. The field-theory limit of KLT relations can now be expressed as: where α, β are in a basis of (n − 3)! orderings [30,31], and the KLT product of two sets of amplitudes is defined as their bilinear with the kernel given by the inverse of the matrix (n−3)! × (n−3)! matrix m [32]. It is a simple linear-algebra proof [20] that (2.7) follows from (2.2) and (2.3), which applies to general theories. Given any theory with CHY formula with its integrand of the form I target n = L n R n , we can define two sets of partial amplitudes M L(R) n from CHY formula with integrands I L(R) n = PT L n (R n ) respectively. Then we have a general KLT relations among these amplitudes, M target n = M L n ⊗ KLT M R n . Now we can write down the general form of the CHY formula for these amplitudes from higher-dimensional operators. Given that F 3 amplitudes have the same colordecomposition as well as BCJ relations as Yang-Mills amplitudes, one can always write its CHY integrand as the product of C n (Parke-Taylor factor for partial amplitude) and a permutation invariant object that depends on polarizations. Let us call this new object as P n ( ), which must also be gauge invariant, and have mass dimension higher than Pf Ψ by two. Now the KLT relations formulated above immediately imply CHY formulas for M . The form of CHY integrands for these amplitudes are: In the remainder of the paper, we will present the result for P n and study its various interesting properties, such as soft limits and reduction to four dimensions.

A new ingredient in CHY formulation
In this section we will generalize Pf Ψ n to the new object P n . As basic requirements, it must be permutation and gauge invariant, must have the same SL(2, C) weight and dimension [mass] n . The most natural and perfect candidate would of course be Pf Ψ n if it had not been zero! Nevertheless, we will see that P n can be built from Pf Ψ n . Let's first give a natural decomposition of Pf Ψ n into objects that already satisfy all the conditions above individually. These will be the building blocks for our P n . This interesting decomposition was essentially introduced in [33]. From the definition of Pfaffian and thanks to the special structure of 2n × 2n matrix Ψ n , we can expand PfΨ n as a sum over n! permutations of labels 1, 2, . . . , n, denoted as p ∈ S n where sgn(p) denotes the signature of the permutation p and in the second equality, we use the unique decomposition of any permutation p into disjoint cycles I, J, · · · , K given by

JHEP02(2017)019
each Ψ p is the product of its "cycle factors" Ψ I Ψ J · · · Ψ K , which we define now. When the length of a cycle equals one, its cycle factor Ψ (a) is given by the diagonal of C-matrix: and when the length exceeds one e.g. i > 1, the cycle factor is given by Here the trace is over Lorentz indices and f µν are the linearized field strengths of gluons. Note that the decomposition is manifestly gauge invariant: for cycle factors with length more than 1 (3.4), the trace of linearized field strengths is gauge invariant, while for 1cycles, (3.3), the factor is gauge invariant on the support of scattering equations. The proof for the decomposition is elementary and we refer to [33] for more details. Let us look at some examples to illustrate the procedure. For Pf Ψ 2 we immediately have (12) . (3.5) In the second equality, C 11 C 22 = Ψ (1) Ψ (2) corresponds to the permutation (1)(2); the terms A 12 B 21 and C 12 C 21 have a common denominator σ 12 σ 21 , and the numerators combine to , thus we have the desired cycle factor Ψ (12) . For PfΨ 3 , there are new building blocks of length 3, (123) and (321). Four terms from the expansion of PfΨ 3 corresponds to (123) with a common denominator σ 12 σ 23 σ 31 , and similarly for (321) (with denominator σ 32 σ 21 σ 13 = −σ 12 σ 23 σ 31 ). Note that neither of them is gauge invariant, but the sum of the two is: the eight terms of their numerators nicely combine to tr(f 1 f 2 f 3 )! It is convenient to assign to each of them half of the trace, i.e. 1 2 tr(f 1 f 2 f 3 ), as the numerator. Thus we arrive at (3.4) as expected, and we have Given the decomposition of PfΨ n as in (3.1), we can classify Ψ p 's by the lengths of its cycles {i, j, . . . , k}. For example, in (3.7) the first term is of the type {1, 1, 1} as it is the product of three 1-cycles; the three terms in the bracket are all of the type {1, 2}, and the last two terms are {3}. The reason for doing so is of course to group together terms in (3.1) of the same type, and write a manifestly permutation invariant decomposition of Pf Ψ n . Furthermore, note that the signature of a permutation is given by n minus the number of cycles, so one can sum over all permutations of the same type with identical signs. Let's define permutation invariant building blocks as follows: which is a sum of Ψ p 's for all permutations of the same type {i 1 , i 2 , . . . , i r }, with i 1 + i 2 + · · · + i r = n , and the convention : Here each P is by construction permutation invariant. Let's again see some examples: With (3.8), (3.1) can be rewritten as a permutation invariant decomposition of Pf Ψ n : Let us spell out the decomposition for n = 3 (see (3.7)) and n = 4, 5: Note that each P and thus any linear combination of them immediately satisfy our conditions above: correct SL(2, C) weight and mass dimension, permutation and gauge invariance. PfΨ n = 0 means that these building blocks are not all independent: (3.11) gives linear relations between different P 's. In the following, we will present a very special linear combination that leads to the correct CHY formula F 3 amplitudes. Let us first present the answer and then discuss its special properties. It turns out one only needs to modify coefficients of (3.11) a bit to obtain P n : 13) were N i>1 denotes the number of indices in i 1 , i 2 , · · · , i m which are larger than 1, or the number of cycles with length at least 2; c is just any constant because we can add any multiple of (3.11) without changing the answer. The formula can simplify when we choose the constant c to be certain integers. For example, two convenient choices are c = −1 and c = 0 respectively, and we have: JHEP02 (2017)019 where in the first representation P 11···1 is always present with −1 but any P with only one index i > 1 are always absent (including P n ); in the second one P 11···1 is always absent. To give one more example, here is P 6 with c = −1: We have checked thoroughly that (3.13) gives correct F 3 amplitudes. First of all, one can easily verify that for n = 3, 4, the formula reproduces correct amplitudes as computed from Feynman diagrams. In the next section we will provide very strong evidence for its validity, including checks for all helicities up to n = 8 and some all-multiplicity results.
Here we provide another important check, that is its behavior under soft limits.
Recall that in CHY formula for gravity and Yang-Mils, Weinberg's soft theorem [34] becomes manifest due to the simple soft limits of Pf Ψ n . Let us take the a-th particle to be soft, that is k µ a = τ q µ with τ → 0. The soft graviton and soft gluon theorems are guaranteed by CHY formula in as long as we have Pf Ψ n → C aa Pf Ψ n−1 + O(τ ) where Pf Ψ n−1 has only hard particles. What is important here is that soft theorems are universal, thus apply to amplitudes from higher-dimensional operators as well [12]. For this to work the soft behavior of P n must be identical to that of Pf Ψ n . Let's check this explicitly.
Note that in any term of P n , a must be in one of the cycles, and there are two possibilities. If it is a cycle of length at least 2, then in the numerator f µν a → O(τ ) as τ → 0 while the denominator remains finite, thus the cycle factor vanishes, Ψ (...a) → O(τ ). On the other hand, if it is in an 1-cycle then it remains finite For any P i 1 i 2 ···im with lengths of all cycles being at least 2, i.e. i m ≥ i m−1 ≥ . . . ≥ i 1 > 1 (note that here N i>1 = m), it vanishes as O(τ ) in any single soft limit. Therefore requiring P n to have correct soft behavior cannot constrain coefficients of such terms at all. On the contrary, the soft limit puts very strong constraints on those P 's that have at least one cycle with length 1, i.e. i 1 = 1. In the k a → 0 limit only those terms with a in an 1-cycle survive and dominate in the limit (other terms still vanish). Thus for any single soft limit, P 1,i 2 ,...,im → C aa P i 2 ,...,im where P i 2 ,...,im is the (n − 1)-point building block with particle a removed. Note that in (3.13) the coefficients are determined by N i>1 and independent of 1-cycles, thus P 1,i 2 ,...,im and P i 2 ,...,im have exactly identical coefficients. Thus we see that (3.13) indeed satisfies (P n−1 contains all particles except a): In other words, P n splits into two parts that behave very differently under soft limit where the first part is essentially fixed by soft limit, namely the coefficients for any P 1,... must be the same as that for the P with 1 removed. This explains why the coefficient

JHEP02(2017)019
should not depend on how many 1-cycle are there. However, we have seen that soft limits put no constraints on the coefficients of the second part, which vanishes term by term. We believe that correct behavior under factorization limits of P n can completely fix the coefficients of the second part. However, even without resorting to that, we will now show that the coefficients in (3.13) are strongly constrained by another remarkable property of P n in four dimensions, namely it is orthogonal to Pf Ψ n .

Four dimensions, orthogonality and self-duality
In this section we study important properties of P n in four dimensions. Details for the reduction to four dimensions will be presented in [28]. As discussed in [21,22] and briefly reviewed in appendix A, in four dimensions, the (n−3)! solutions of scattering equations fall into n − 3 sectors labeled by k = 2, 3, . . . , n − 2, thus (2.2) becomes a sum over sectors and we define the contribution from sector k as T (k ) : On the other hand, for massless particles with spin in four dimensions, we specify helicities of the n particles, which can be divided into a set of particles with negative helicities, −, and the complementary one +. We denote the helicity sectors by the number of negativehelicity particles, k := | − | = 0, 1, . . . , n (| + | = n − k) and call the helicity amplitude in this sector, M n,k . A priori there is no relation between solution sector and helicity sector. However, it is known that Pf Ψ n vanishes unless k = k (in particular it vanishes for k = 0, 1, n−1, n), which means Yang-Mills and gravity amplitudes in helicity sector k only receives contribution from solutions in sector k = k T (k ) n,k = 0 , for any k = k , ⇒ M n,k = T Now we show that exactly the opposite is true for P n , namely it vanishes for k = k, thus The starting point of the reduction is the simple reduction of trace of linearized field strengths in four dimensions for any assignment of helicities: , (4.4) Here b 1 , b 2 , · · · , b y are all the particles of negative helicity from a 1 , a 2 , · · · , a x with its ordering unchanged and similarly p 1 , p 2 , · · · , p z are all the particles of positive helicity from a 1 , a 2 , · · · , a x with its ordering unchanged. Note that tr (f a 1 f a 2 · · · f ax ) directly vanishes

JHEP02(2017)019
if there is only one particle of negative helicity or only one particle of positive helicity in a 1 , a 2 , · · · , a x . However we see that the remaining case still effectively vanish as we always add up all permutations (see (3.8 Here the sum is over ordered permutations "OP", namely permutations of the labels in the joined set {b 1 , b 2 , · · · , b y }, {c 1 , c 2 , · · · , c z } such that the ordering within {b 1 , b 2 , · · · , b y } and {c 1 , c 2 , · · · , c z } is preserved. Therefore, in the sum of (3.1), we can effectively write tr (f a 1 f a 2 · · · f ax ) in 4d in a remarkably simple way: Motivated by (4.6), we recall the off-diagonal elements of the k × k matrix h k and (n−k) × (n−k) oneh n−k essentially introduced in [35] (see also [26,27]): As discussed above, it is clear that when we have any cycle factor with length at least 2, effectively it reduces to the chain product of such off-diagonal elements in 4d: To this point we have not used scattering equations or solution sectors in four dimensions. As we prove in the appendix A, the really non-trivial part of the reduction concerns 1-cycle, or the diagonal entries of C-matrix. Note that Ψ (a) = C aa is only gauge invariant on the support of scattering equations, so it is not surprising that to reduce it nicely one needs to use scattering equations in four dimensions. We first discuss the k = k case: miraculously, by plugging in scattering equations in k = k sector, C aa reduces to diagonal entries of h k orh n−k [35] depending on the helicity: The details of the proof is given in appendix A; t's andt's are determined by scattering equations in 4d but here we can just view them as free variables, and the important thing is that each diagonal entry is a linear combination of off-diagonal entries in that row/column.
Before we prove the vanishing of P n in k = k sector, let us again return to our favorite PfΨ n , and first show the following identity as a warm up: (4.10) Obviously both det h k and deth n−k vanish since they both have a null vector; this is consistent with the fact that PfΨ n vanishes due to the two null vectors. To show (4.10), we decompose det h k , deth n−k in a way similar to that of PfΨ n , e.g. for det h k we have where the sum is over all permutations of particles of negative helicity, i.e. q ∈ S k and I 1 , I 2 , · · · , I s are the cycles of the permutation q. We can further define then det h k can be rewritten as a sum of H and similarly works deth n−k , where we have introduced shorthand notation for the summation range, {i} k means i 1 + i 2 + . . . i = k and i 1 ≤ i 2 ≤ · · · ≤ i and similarly for {ĩ}˜ n−k . Both P n and PfΨ n are built from P 's, so the key identity here is for the reduction of the P 's, which nicely follow from (3.8), (4.12) and (4.8): where, recall that any cycle factor in P is only non-vanishing when all particles belong to the same helicity set, thus the sum in P "factorizes" into sums in − set and those in + set, which give H andH; the additional sum in (4.14) is over all distinct partition of i 1 i 2 · · · i m into two parts j 1 j 2 · · · j andj 1j2 · · ·j˜ , with j 1 + j 2 + · · · + j = k and j 1 +j 2 + · · · +j˜ = n − k. For example, any P 11···1 reduces to H 11···1 andH 11···1 : We have more examples for n = 4, k = 2 and n = 7, k = 3, Given (4.14), it is trivial to show (4.10) using (3.11) and (4.13). Although both sides vanish, this is still an example of the remarkable simplifications in a given sector in four dimensions: we see that most of the terms vanish and the number of terms are reduced from JHEP02(2017)019 n! to k! × (n−k)!. Along the same line but in a more non-trivial way, similar simplification happens for the reduction of Pf Ψ n which will be present in [28]. We turn to the reduction of P n . By dividing N i>1 in (3.13) into two parts N j>1 and Nj >1 (set c = 0) which depend on − and + sets respectively, and P n reduces to: Thanks to the vanishing of deth n−k and det h k , we immediately see that P n vanishes for k = k . Before proceeding, let's provide a few explicit examples of (4.17) for P 4 and P 5 : It is a remarkable fact that P n vanishes for k = k sector. As we mentioned before, this property can be used to constrain the second part of P n which are not constrained by soft limits at all. Up to n = 8, we found that the constraints that P n vanishes for k = k sector for all helicity sectors uniquely fix all coefficients in P n .
This property means that P n is completely orthogonal to Pf Ψ n in four dimensions. For evaluating helicity amplitudes for Yang-Mills/gravity vs. those for F 3 or R 3 , one always uses complementary set of solutions of scattering equations. This seems to be the scattering-equation origin of the vanishing of 4d R 2 amplitudes, which has a CHY integrand P n Pf Ψ n . In general dimensions, the integrand is of course non-zero, but once we reduce to four dimensions, it vanishes for every solution of scattering equations! The derivation of (4.17) applies to any k = k case as well, with the only difference being that the reduction of 1-cycle i.e. C aa needs to be modified. As shown in appendix A, we can generalize the diagonal entries of the two matrices h k k andh k n−k depending on the solution sector k and helicity sector k. The upshot is that (4.17) still holds for any k = k sector with generalized matrices h k k andh k n−k . Just by inspecting the matrices, it turns out that we again have det h k k = 0 for k < k and deth k n−k = 0 for k > k, thus for any k , only one of the two terms in (4.17) remain non-vanishing.
In view of this, it becomes very natural to divide the sectors into two groups: those with k < k and those with k > k, and the question is does this separation means anything sensible for F 3 and R 3 amplitudes in four dimensions? The answer is affirmative: the sum of contributions from the two complementary groups correspond to self-dual and anti-selfdual amplitudes, respectively. Let's write down this proposal for F 3 amplitudes:  3  4  5  6  7  8   3  2  -----4  2  2,3  ----5  2  2,3  2,3  ---6  2  2,3  2,3,4  2,3,4  --7  2 2,3 2,3,4 2,3,4,5 2,3,4,5 -8 2 2,3 2,3,4 2,3,4,5 2,3,4,5,6 2,3,4,5,6 An immediate consequence of (4.20) is that self-dual and anti-self-dual parts are orthogonal, which implies the second part of the (1.4). These are very non-trivial relations from usual representation of the amplitudes, but become totally obvious from (4.20). Given that their KLT vanishes, it immediately follows that (4.20) also applies to R 3 amplitude. There is very strong evidence that (4.20) must be correct. First of all, it implies the well-known fact that for k = 0, 1, 2, self-dual amplitudes vanishes (no k < 2) and there are only anti-self-dual amplitudes, while for k = n, n−1, n−2 there are only selfdual amplitudes (no k > n−2). To provide more non-trivial evidence for (4.20), we have checked our proposal for self-dual, F 3 + amplitudes against [13] for all helicities up to eight points. We have evaluated our formula numerically for solutions in all sectors of k = k, and find that the self-dual amplitude is the sum of those sectors listed in table 1.
Our proposal suggests that there is a natural origin for self-dual and anti-self-dual amplitudes from solution sectors of scattering equations in 4d. Note that individually T (k ) n,k are not physical for general k and k , since they can contain spurious poles, as is familiar from the reduction of bi-adjoint φ 3 to four dimensions [36]. The interesting thing is that unlike in the scalar case where one has to sum over all sectors, here by summing over subsets of sectors, namely those with k < k and those with k > k, we already obtain physical amplitudes, M There is a special case when we do not need to sum over sectors at all, and it also serves as an important check of the proposal (4.20). This is the F 3 − amplitudes with three negative-helicity gluons, i.e. k = 3, which receives the contribution only from k = 2 sector, n,3 ; moreover it is well known that there is a just a unique solution in that sector. To be concrete, let's choose the three particles of negative helicity as p, q, r. Note that for k = 3 and k = 2 the generalized version of (4.17) has the first term vanishes and the second term evaluates to (the details are given in appendix A):

Discussions
In this paper we studied tree-level amplitudes from higher-dimensional operators, including the F 3 modification to Yang-Mills action, and those to Einstein gravity from bosonic closed strings at lowest orders. We proposed new CHY formulas for these amplitudes, (2.8), and all the modifications are naturally encoded in one new ingredient, P n as given in (3.13). The reduced Pfaffian is the natural object for Yang-Mills and gravity amplitudes, and P n is the first genuinely new object that generalizes it for higher-dimensional operators. By construction it is manifestly permutation invariant and gauge invariant, and has the correct behavior under soft limits. Moreover P n has very interesting properties in four dimensions with a helicity configuration; it vanishes in exactly the only solution sector that Pf Ψ n is non-vanishing (4.3), and it is natural to divide the remaining sectors to obtain self-dual and anti-self-dual parts of F 3 and R 3 amplitudes, (4.20). where the sum is over (n − 3)! orderings, with scalar coefficients F 's containing the full α -dependence. Therefore, at any order in the α -expansion (see [38]), the amplitude always admits a CHY representation with the reduced Pfaffian Pf Ψ n (times a linear combination of Parke-Taylor factors). To give a very nice example, let's work out the CHY integrand for gluon amplitude from F 4 operator at O(α 2 ) of the open superstring effective action. This is the first supersymmetrizable correction to Yang-Mills theory, and the amplitude with one insertion of F 4 has been studied in four dimensions [39] and in general dimensions [40] from superstring theory. There is also an interesting observation that MHV F 4 amplitude is proportional to the famous all-plus amplitude at one-loop level [41]. It turns out that F 4 color-ordered amplitude have a remarkably compact CHY formula which has been verified against the all-multiplicity result in [42]. The prefactor can be viewed as a CHY D-dimension "uplift" of the spinor numerator i j [j k] k l [l i] for allplus/MHV F 4 amplitude, which the formula reduces to for MHV helicities.
To all orders in α , no new ingredient for polarizations is needed for amplitudes from any operator from superstrings, which is in sharp contrast with P n for F 3 amplitude! Our JHEP02(2017)019 results for F 3 amplitudes and the double copies may open up a new direction for encoding more higher-dimensional operators in CHY formulation. Among other things, this can shed new lights in understanding amplitudes from the bosonic string effective action along the line of [43]. Besides, from our formulas we can obtain BCJ numerators for F 3 amplitudes, similar to the Yang-Mills case in [18]. Along this line (also see [44] from string theory), we hope to understand better the color/kinematics duality for F 3 and beyond.
The most intriguing feature of the new object P n is its properties when reduced to four dimensions. With the only exception of bi-adjoint scalar theory [36], every CHY formula so far is only non-vanishing in one sector of the 4d scattering equations (for given helicities), and they all nicely correspond to ambitwistor string theory [45] with worldsheet supersymmetries [46,47]. P n is totally different and it is likely to correspond to correlators from some bosonic version of the worldsheet models. It would be highly desirable to find such models. It would also be very interesting to see how these features in four dimensions can be derived from some four-dimensional ambitwistor string models directly [35].
Our formula in gauge theory is for gluon amplitudes with a single insertion of F 3 operator, so it is also a formula for form factors in the soft limit. In the limit, it can be viewed as a very non-trivial generalization of earlier four-dimensional results on form factors for F 2 operator [48] and those in N = 4 SYM [49]. An outstanding open question in this direction is about extending the construction to include multiple insertions of operators. Last but not least, recently there has been progress on loop integrands from scattering equations [50][51][52][53][54], and it would be highly desirable to see if our results can shed new lights on obtaining integrated loop amplitudes in this formulation. In particular, the amplitudes we studied here can be considered as counterterms for UV divergences of such loop amplitudes (see very interesting recent studies of Gauss-Bonnet term in quantum gravity [55,56]), and it certainly deserves further investigations along this direction.

JHEP02(2017)019
Here − and + are arbitrary two sets of the n external particles, with their length equal to k and n − k separately. The variables are σ's and t's, which can be combined into n variables in C 2 , σ α a = 1 ta (σ a , 1), and the two bracket is defined as (a b) := (σ a − σ b )/(t a t b ). Each solution of (2.1) corresponds to a unique solution {σ a , t a } of (A.1) for some k , with identical cross-ratios of the σ's. For each k , (A.1) have Eulerian number of solutions, E n−3,k −2 , and the union of them for all sectors give (n−3)! solutions of (2.1), with (n−3)! = n−2 k =2 E n−3,k −2 [21]. When reducing CHY formulas to 4d, it is convenient to view (A.1) as a change of variables: we refer to λ I=1,...,k ,λ i=k+1,...,n and t a , σ a as "data" and (A.1) as writing λ i=k+1,...,n andλ I=1,...,k in terms of the data. This is equivalent to evaluation on the support of solutions in the k sector.
Based on these considerations, now we derive the explicit expression when reducing C aa to four dimensions. When a ∈ − and a ∈ − , By plugging in the solutions in k sector, or equivalently a change of variable, we have Similarly we can work out the other two cases, and the final result is where the diagonal elements of the matrixh 2 n−3 are given bỹ Thus we have seen thath 2 n−3 is nothing but the reduced matrix |h n−2 | r r . The 4d formula for the self-dual F 3 amplitude with k = 3 now reads