A note on connected formula for form factors

In this note we study the connected prescription, originally derived from Witten’s twistor string theory, for tree-level form factors in N\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$$ \mathcal{N} $$\end{document} = 4 super-Yang-Mills theory. The construction is based on the recently proposed four-dimensional scattering equations with n massless on-shell states and one off-shell state, which we expect to work for form factors of general operators. To illustrate the universality of the prescription, we propose compact formulas for super form factors with chiral stress-tensor multiplet operator, and bosonic ones with scalar operators Tr(ϕm) for arbitrary m.

What is special in four dimensions is that the scattering equations naturally split into n − 3 sectors [17], labeled by k = 2, 3, . . . , n − 2, and for each solution sector they reduce to the equations of the original connected prescription in the corresponding helicity sector k (for superamplitude this is the sector with Grassmann degree (4k)). It is convenient to use a specific form of four-dimensional equations equivalent to RSV-Witten equations [18,21]: for sector k we choose to split the n particles into a set of k particles we call "−", and the complimentary set "+" with n−k particles. We have 2n equations for 2n variables σ α=1,2 a for a = 1, 2, . . . , n: (1.1) Here and throughout the paper we use index I, i for labels in the two sets −, +, and denote (a b) := ǫ αβ σ α a σ β b . A connected formula expresses tree amplitudes as integrals over σ's JHEP12(2016)006 which are localized on the support of solutions of (1.1); for Yang-Mills amplitudes with k negative helicities in −, we have the simplest formula whose integrand is just a "Parke-Taylor" factor: (1.2) where we mod out the GL(2, C) redundancy: four of the variables are fixed, and four redundant delta functions can be pulled out to impose the overall momentum conservation. Very recently, the connected formula, (1.2), has been extended to amplitudes in the standard model, such as massless quark-gluon amplitudes and amplitudes with a Higgs and multiple partons [23]. The result for Higgs plus multi-gluon amplitude is particularly interesting for our purposes, because it opens up the exciting possibility for applying connected prescription to off-shell quantities.
Form factors provide a bridge between on-shell amplitudes and purely off-shell correlation functions, thus they are perfect for testing the applicability of on-shell techniques to off-shell generalizations. Recent years have witnessed considerable advances in the study of form factors in N = 4 SYM using on-shell methods and integrability, both at weak coupling  and strong coupling [47,48] (see [49] for a review). In particular, already at tree-level, form factors inherited remarkable structures from amplitudes, such as recursion relations, Grassmannian and polytope pictures (see [50] for a review); all these ideas are intimately related to connected prescription for amplitudes. Given the success of twistorstring and scattering-equation-based construction for amplitudes, it is natural to study their applications to form factors especially for N = 4 SYM, which is the subject of this note.
A n-point form factor is given by the overlap of a composite operator with off-shell momentum q, and n on-shell states with on-shell momenta p 1 , p 2 , . . . , p n : where the number of fields in O cannot exceed the number of external legs, n. In pure Yang-Mills theory, the simplest form factor is that with operator O m=2 = TrF 2 ; it is equivalent to the amplitude with n gluons and a Higgs boson with massive momentum q, through the effective coupling H TrF 2 [51]. As is well known, in (super-) Yang-Mills theories, it is useful to decompose the operator to chiral and anti-chiral parts, and study the corresponding form factors separately. For example, here we have F µν = F µν − + F µν + which are also known as self-dual and anti-self-dual parts, and we refer to their form factors as F F 2 − , n + F F 2 + , n . The key observation of [23] is to represent the operator effectively as two auxiliary, on-shell legs: the off-shell momentum is −q = λ xλx + λ yλy , and assign two additional punctures σ α x and σ α y for them. It is crucial that the x, y appear together with the + (or − resp.) set in the scattering equations, for the case of F F 2 ± ,n . For general chiral form factors,

JHEP12(2016)006
the prescription given in [23] is to use the following chiral off-shell scattering equations: 4) and the anti-chiral case is obtained by parity. Based on (1.4), (1.2) has been generalized to a connected formula for F F 2 [23], and a particularly nice form follows from fixing the four variables σ α x , σ α y and pull out their four delta functions: (1.5) where q 2 = x y [x y] and δ 4 (P ) := δ 4 a λ aλa + λ xλx + λ yλy . 1 Remarkably the result only depends on q but not on individual momenta of x, y. Moreover, the punctures x, y do not enter the Parke-Taylor factor since they do not carry color or little group weight.
In the following we consider extensions of (1.5) to more general form factors in N = 4 SYM. By supersymmetrizing TrF 2 − one obtains chiral part of the stress-tensor multiplet operator T 2 . It is well known how to supersymmetrize the Yang-Mills formula to N = 4 SYM: one defines the superamplitude in chiral superspace (λ,λ, η), with the supercharge Q α,A = n a=1 λ α a η A a ; then by inserting fermionic delta functions for η's, which are supersymmetric analog of the first half of (1.1) (those forλ's), (1.2) is extended to that for SYM. In a completely parallel way, we will see how to write down the formula for super form factor for T 2 based on supersymmetrizing (1.4). Note that super amplitudes or super form factors are permutation invariant (independent of the choice of sets + and −), which can be made manifest by going to RSV-Witten form.
As a more non-trivial extension, we go beyond bilinear half-BPS operators, and consider bosonic form factor with scalar operators of O m ≡ Tr [(φ 12 ) m ]. Note that for m = 2, O 2 = Tr (φ 12 ) 2 is nothing but the bottom component of T 2 we studied. For general m, O m is the bottom component of half-BPS operators dual to Kaluza-Klein modes in supergravity [27]. We will give a very compact formula for form factors with O m operator which requires external states to be m scalars and n−m gluons with arbitrary helicities: A prior it is not obvious what to do for such operators with m > 2 fields: we could either represent the operator using two on-shell legs as in (1.4), or using m of them. We find very strong evidence for the universality of scattering equations for form factors, (1.4).
Added note: in the completion of this manuscript, the paper [63] appeared on the arXiv, which has some overlap with our results for T 2 .

JHEP12(2016)006 2 Connected formulas for form factors
In this section we present the connected formulas for the super form factors with the chiral part of the stress-tensor multiplet operator T 2 in N = 4 SYM, as well as the bosonic form factor of O m (1.6), based on the chiral off-shell scattering equations (1.4).
Recall that in on-shell superspace, the super form factor for the operator T 2 is defined as where A = 1, 2, 3, 4 are SU(4) R-symmetry indices and φ AB = 1 2 ǫ ABCD φ CD are antisymmetric in A and B. Here T 2 = T (x, θ + , u) is the chiral part of the stress-tensor multiplet operator which has the form in harmonic superspace 2 Its (θ + ) 0 component is just the scalar operator, while the (θ + ) 4 component is the chiral form of the N = 4 on-shell Lagrangian: Note that only the chiral half of N = 4 multiplet, i.e. F αβ , ψ A α and φ AB , is needed for T 2 .

Connected formula for super form factor
Although TrF 2 − is contained in T 2 , a natural starting point for supersymmetrization is the form factor with its bottom component, the scalar operator O 2 = Tr (φ 12 ) 2 : Once the connected formula for F O 2 is obtained, it is straightforward to obtain the formula for F T 2 ,n (2.1). The connected formula for (2.5) turns out to be very similar to those for Tr F 2 − and for tree amplitudes: is the normalized harmonic matrix of SU(4). It is useful to work with harmonic variables for the super form factor of chiral operator. For more details about N = 4 harmonic superspace, cf. [52,53].

JHEP12(2016)006
where the measure in N k−2 MHV sector (note | − | = k and | + | = n − k) is defined as and it is exactly the same measure as that for the form factor of Tr F 2 − in (1.5). The only difference is that there is an additional factor that depends on x, y and i, j (positions of external scalars) (2.8) A remarkable property is that the function I 2 (i, j; x, y) is independent of the information of external gluon legs such it has the exact same form for all helicity sectors. Now we can generalize our formula (2.6) along two directions -one is to supersymmetrize it to for the super form factor (2.1), and the other is to extend it to the bosonic form factors (1.6). Let us address the super form factor first. In addition to the bosonic part, (1.4), N = 4 SUSY also requires fermionic delta functions which can be viewed as the super partner of scattering equations. Our notation is that γ α +a stands for the Grassmann variable conjugate to θ +a α for T 2 (there is no γ − because we only consider the chiral part of the stress tensor), and we introduce for each on-shell external leg i. Thus the supermomentum Q α A can be written as: Note that we need to split the indices of γ + into two parts by projecting it along two directions, η +a,x ≡ λ y,α γ α +a y x , η +a,y ≡ λ x,α γ α +a x y , (2.11) which imply that γ + = λ x η +,x + λ y η +,y . The fermonic delta functions for η's then take the same form as the delta functions forλ (the first line of (1.4)). By combining the bosonic and fermionic parts together, we obtain the supersymmetric measure in the k-sector of the connected formula: where we take − = {1, . . . , k} and + = {k + 1, . . . , n} to make it completely explicit.

JHEP12(2016)006
To write down the complete formula, let us take a closer look at formula (2.6) again. An interesting observation is that the function I 2 (i, j; x, y) (2.8) can be understood as coming from the η-projection when we evaluate the fermonic delta functions of the supersymmetric formula. To conclude, all we need for the super form factor (2.1) is simply the Parke-Taylor factor! F (k) x y 4 (1 2) · · · (n 1) . (2.13) In (2.13), one has fixed the four variables σ α x , σ α y and pulled out their four delta functions as δ 4 (P ) when removing GL(2, C) redundancy. As we have mentioned, (2.13) is very similar to that for superamplitudes in N = 4 SYM -the only modification is to include two on-shell legs x, y in a supersymmetric way, to represent the operator T 2 .
As discussed in [21], it is straightforward to translate the formula to a manifestly permutation-invariant form, similar to the RSV-Witten formula for SYM amplitudes [1,2]. By applying the same procedure to (2.13), we obtain an equivalent formula for the super form factor with T 2 F (k) x y 2 (1 2) · · · (n 1) (2.14) with the supersymmetric measure similar to the RSV-Witten form ..,n,x,y

Connected formula for bosonic form factors
Now we consider the bonsonic form factor with the operator O m , (1.6). The key observation is that no matter how many fields in the operator, we only need two additional legs/punctures x, y, and the measure (including delta functions imposing (1.4)) is exactly the same as in the m = 2 case.
For O m , all we need is simple modification of Parke-Taylor factor which takes into account the positions of the m on-shell scalars. This supports our general conjecture that all the information of the operator and external states is encoded in the integrand of connected formula. In other words, what we find is that similar to m = 2 case, now we have a function I m that incorporates the information of O m and m on-shell scalars. Our proposal is the following formula The validity for both formulas (2.13) and (2.16) may be established by careful study of their behavior under factorization and soft limits, which are almost identical to the amplitude case [23]. We leave the proof for future works, and content ourselves here with examples of explicit calculations.

Examples
As consistency checks for both formulas (2.13) and (2.16), we evaluate them and compare with known results for some form factors. These include MHV and maximally-non-MHV super form factors for all multiplicities, as well as some more complicated component form factors.

MHV
First we consider the MHV sector which corresponds to k = 0. The MHV scattering equations have only a unique solution after fixing the GL(2)-redundancy [17,54,55]. Here it is convenient to fix the locations for two "additional" punctures σ x , σ y such that (x y) = 1. 3 Thus the unique solutions for the MHV equations is given by: x y i y , (i y) = x y x i , (i j) = x y 3 i j x i y i x j y j . (2.18) Here (i j) is nothing but the reciprocal of link variable, c i,j := 1/(i j). Note that the integral measure can be written nicely in terms of the 2n 2-brackets (ix), (iy) and all the delta functions can also be rewritten in terms of them, Plugging the solution (2.18) and the Jacobian for measure and deltafunctions, (2.19), (2.20), into (2.16) and (2.13) respectively, we obtain immediately the correct results for the bosonic form factor F MHV Om,n = δ 4 (P ) i 1 i 2 i 2 i 3 · · · i m i 1 1 2 2 3 · · · n1 , (2.21)

JHEP12(2016)006
and similarly for the super form factor where in the fermonic delta functions we have pulled out two overall factors of 1/ x y 2 : (2.23)

Maximally non-MHV
Similarly, it is also easy to get the MHV (usually called maximally non-MHV) form factor with T 2 by simply flipping the helicities of spinors for the MHV formula, i.e.,  Its (η x ) 0 (η y ) 0 component is the famous Sudakov form factor.

NMHV and NNMHV form factors
We have evaluated our formulas for more involved examples where one needs to sum over multiple solutions to scattering equations. For the form factor of O 2 , we have evaluated it numerically for four-point NMHV, five-point NMHV and NNMHV, as well as six-point NMHV and NNMHV cases. This is done by first solving (1.4) and then summing over the resulting 4, 11, 11, 26 and 66 solutions respectively. In addition, for the form factor of O 3 , we have checked up to five-point NMHV case. These results can be computed from MHV rules or recursion relations as in [26], and in all these cases we find the perfect agreement. These checks provide very strong evidence that our formulas (2.6), (2.13) and (2.16) are correct.

JHEP12(2016)006
More interestingly, we have evaluated the following two NMHV form factors analytically, and verified that they give correct results [26,27]:  [41] . (2.28) Here we need the six-point NMHV scattering equations: (2.29) where I = 3, i = 1, 2, 4 for the first form factor, (2.27), and I = 4, i = 1, 2, 3 for the second, (2.28). In this special case, one can evaluate the formula (2.16) by following the same procedure of [56,57]. One first introduces 9 link variables c I,i := 1/(I i) and treat (2.29) as 8 linear equations for these variables, subject to an additional "Veronese constraint". The formula (2.16) thus turns to a one-dimensional contour integral, and by residue theorem, it become sum over residues which coincide with (2.27) and (2.28) respectively. This serves as not only further consistency checks, but also examples for evaluating our formulas using link variables in general.

Discussions and outlook
In this note we have initiated the investigation on connected prescription for tree-level form factors in N = 4 SYM, which can be viewed as the natural generalizations of (1.5) proposed in [23]. An example we considered is the chiral part of stress-tensor multiplet operator T 2 , which has O 2 = Tr (φ 12 ) 2 as its bottom component. The formula, (2.13), is the supersymmetrization of (1.5), which one can also naturally written in the RSV-Witten form. More interestingly, we studied generalizations to half-BPS operator O m for arbitrary m which are generally no longer bilinear, and obtained again very compact formula (2.16). Our result strongly support the universality of the scattering equations (1.4) for chiral form factors. In [58], an interesting "duality" has been proposed, which relates connected formula and G(k, n) Grassmannian formula for amplitudes in N = 4 SYM. By the repeated use of the Global residue theorem, one can rewrite the connected formula as particular sums of residues of the Grassmannian contour integral, which give tree amplitudes in the socalled link representation. The same conclusion holds for our connected formula for form factor, as we have seen in the two NMHV examples above. In general, the formula must admit the link representation which is given by particular contours for the integrals over G(k + 2, n + 2) (or G(k, n + 2) for anti-chiral part), where x, y do not enter the cyclic measure. This agrees with the Grassmannian formula for F T 2 in [41], and we expect a careful investigation can pick out the precise contour that gives the tree form factor. Generic residues of the Grassmannian contour integral correspond to on-shell diagrams, which have manifest symmetry properties and significance for loops. It would be very tempting to see if the connected formula shed new lights on these ideas for form factors.

JHEP12(2016)006
We expect that our results can be generalized to form factors for general operators in N = 4 SYM at tree level. Very recently, a closed formula for all MHV form factors with most general operators was given in [59], and it is likely that with connected prescription it can be generalized to any N k MHV sector. It would also be very interesting to compare with these recent works on SYM form factors using twistor space method [60,61], which can help us understand better off-shell quantities in twistor space. It is plausible that the idea of connected prescriptions and twistor strings can be applied to correlation functions in SYM (see [62]). Last but not least, most results have been restricted to four dimensions, but scattering-equation-based construction can be useful for studying form factors in general dimensions as well. Given the success of scattering equations at loop level, a natural next step would be applying them to loop-level form factors.