Inverse of the String Theory KLT Kernel

The field theory Kawai-Lewellen-Tye (KLT) kernel, which relates scattering amplitudes of gravitons and gluons, turns out to be the inverse of a matrix whose components are bi-adjoint scalar partial amplitudes. In this note we propose an analogous construction for the string theory KLT kernel. We present simple diagrammatic rules for the computation of the $\alpha'$-corrected bi-adjoint scalar amplitudes that are exact in $\alpha'$. We find compact expressions in terms of graphs, where the standard Feynman propagators $1/p^2$ are replaced by either $1/\sin (\pi \alpha' p^2/2)$ or $1/\tan (\pi \alpha' p^2/2)$, as determined by a recursive procedure. We demonstrate how the same object can be used to conveniently expand open string partial amplitudes in a BCJ basis.


Introduction
In 1986, Kawai, Lewellen and Tye (KLT) revolutionized our understanding of the relations between scattering amplitudes [1].They discovered that tree-level amplitudes of closed strings can be written as a quadratic combination of the open string amplitudes.In the infinite tension limit, these relations tell us how to construct pure gravity amplitudes as a "square" of the Yang-Mills theory [2,3].
Nearly 30 years later, Cachazo, He and Yuan (CHY) refined this statement by showing that the coefficients of the field-theory KLT expansion are given by the inverse of a matrix whose components are nothing but the bi-adjoint scalar amplitudes [4][5][6].Schematically, we can write: Gravity = Yang-Mills 2 bi-adjoint scalar .
We make this relationship precise in section 2, where we also give a brief review of the bi-adjoint scalar theory.This new interpretation of the field-theory KLT kernel hints at a possible deeper understanding of the "squaring" procedure.A natural question is how it extends to the full string theory KLT kernel.In this note, we introduce a new object that generalizes the bi-adjoint scalar to include the α dependence.We propose that it leads to the KLT relation:
As it turns out, the new α -corrected amplitudes, which we denote by m α (β| β), display an interesting structure.We will explore it in this work.Before properly introducing the notation, let us take a glimpse on some examples of the amplitudes 1  Surprisingly, these objects have compact expressions in terms of trigonometric functions that are exact in α and can be calculated using simple diagrammatic rules!We present these rules in section 3. We will see that they correctly recover the standard bi-adjoint theory in the infinite tension limit, α → 0.
In section 4, we show how to construct string theory KLT relations based on the amplitudes in the α -corrected bi-adjoint theory.The KLT kernel will be given by the inverse of a matrix of the objects m α (β| β).As the first application, we show how the newly-found interpretation of the KLT kernel can be used to derive the leading soft factors of closed string amplitudes from the open string ones.
In section 5, we explain how the same structure can be used to generate a basis expansion of open string partial amplitudes.In the α → 0 limit, the expansion gives the Bern-Carrasco-Johansson (BCJ) basis for the Yang-Mills partial amplitudes [7].
It is important to mention that other string-like constructions that can be thought of as α -corrected versions of the bi-adjoint scalar have been previously studied in [8][9][10][11][12][13][14][15].In particular, the objects Z β (γ) introduced in [8,9] are used to construct open string amplitudes from super Yang-Mills amplitudes.In this case, the amplitudes Z β (γ) encapsulate all the α dependence of the string scattering amplitudes.We connect it to the object m α (β| β) studied in this work in section 6, where we also discuss possible future directions.
As an ancillary file to this arXiv submission, we have attached a Mathematica notebook which allows to reproduce all α -corrected amplitudes m α (β| β) studied in this work.It can be conveniently used to generate KLT and BCJ expansion coeffiecients in both string theory and field-theory.

Review of the Bi-adjoint Scalar Theory
Before introducing the new theory, we review the field theory bi-adjoint scalar [16] [5,6].It is a massless scalar field, φ aã , that derives its name from the two flavour groups, U (N ) × U ( Ñ ), under which it transforms in the adjoint representation.The theory contains a single selfinteraction of the form f abc f ãb c φ aã φ b b φ cc , where f abc and f ãb c are the structure constants of the two flavour groups.
The full scattering amplitude of n bi-adjoint scalars can be expanded in the trace decomposition: where the sum goes over all the permutations β and β modulo cyclicity.The partial amplitudes, m(β| β), are the objects of our interest.They can be written as a sum over all trivalent graphs that are planar with respect to the first partial ordering, G β , and the second partial ordering, G β , at the same time.Every internal edge, e, is decorated with an appropriate propagator, where s e = p 2 e /2 is the norm of the momentum flowing through the edge e.In particular, if there are no diagrams consistent with both permutations, the amplitude vanishes.The overall sign can be determined using the rules described in [6].We will introduce an alternative construction later in section 3.1, after the discussion of the diagrammatic rules.
Examples of the amplitudes are as follows: ) In the last two cases there are no diagrams consistent with both orderings and hence the corresponding amplitudes vanish.
Using the CHY representation [4][5][6] of the bi-adjoint scalar, a simple linear algebra derivation [6] leads to the field theory KLT relation, which we take as a definition of the operation KLT ⊗ .Here, M GR n is a pure gravity amplitude and A(β) is a Yang-Mills partial amplitude obtained from the decomposition, (2.1).By m −1 (β| β) we mean the inverse of the matrix of bi-adjoint amplitudes, with columns and rows labelled by permutations β and β respectively.The vectors A YM (β) and A YM ( β) are defined similarly.The sum over repeated indices β and β is implied.Here β and β range over sets of (n − 3)! permutations forming a BCJ basis, in which case the (n Let us illustrate this construction with an example.For n = 5, we choose two sets of orderings to be β ∈ {(12345), (12435)} and β ∈ {(13254), (14253)}.We can then use the amplitudes computed in (2.5) to construct the KLT kernel matrix as follows: The bi-adjoint scalar can be used to build the matrix m(β| β) with arbitrary permutations, as long as the matrix is invertible.Using the CHY representation, it was found that the KLT relation (2.6) generalizes to other theories as well [17][18][19][20].For instance, Born-Infeld theory can be written as a KLT product of Yang-Mills with the non-linear sigma model [18].Despite the fact that the relations are linking different theories, the kernel stays the same.
In addition to this, the bi-adjoint scalar also generates a basis expansion of partial amplitudes [6].Taking the example of the Yang-Mills theory, we can write: which in fact can be understood as a KLT of a bi-adjoint scalar with the Yang-Mills theory.
Here, A YM (β) on the left hand side is a vector of size p, m(β| β) is an p × (n − 3)! matrix, m −1 ( β|γ) is an (n − 3)! × (n − 3)! matrix and finally A YM (γ) is a vector of size (n − 3)!.Hence, each of the p partial amplitudes on the left hand side is being written as a linear combination of (n − 3)! Yang-Mills partial amplitudes.The latter forms a basis.For instance, let us expand A YM (12354) in the basis {A YM (13254), A YM (14253)}.We can reuse the matrix from (2.7) to write: In similarity to the KLT relations, the basis expansion is valid in any dimension and for any choice of polarization vectors.The same expansion also extends to the supersymmetric case [21].
3 Diagrammatic Rules for m α (β| β) In this section we investigate the analogue of (2.6) in string theory.Let us assume there exist some amplitudes that compute the inverse of the KLT kernel exactly in α , such that,2 Here string KLT ⊗ is the original KLT operation [1], now defined in terms of a new object, m α (β| β).Since the open and closed string amplitudes become the Yang-Mills and gravity ones in the α → 0 limit, we require that the same happens for the α -corrected bi-adjoint theory.In our normalization, where n in the number of particles.The new theory can be understood as a bi-adjoint scalar with additional interaction terms that vanish in the infinite tension limit.As we will see, however, the precise knowledge of these terms is not necessary to compute the amplitudes.Instead, we will employ graphical rules that compute them exactly in α .
Before explaining the rules, let us provide some examples of m α (β| β) that are useful to keep in mind.From the direct inversion of the string KLT kernel we obtain: As before, we use the notation It is straightforward to see these amplitudes collapse to (2.3-2.5) in the α → 0 limit.Since the Mandelstam invariants are always multiplied by the factor πα , from now on we will set πα = 1 for the sake of brevity.
We also introduce the notation I n to denote the identity permutation with n labels.Then, some more interesting examples become: These amplitudes factorize into products of inverse sine factors times the amplitude m α (I 4 |I 4 ) from (3.4).As we will find out, in general any off-diagonal amplitude, i.e., one with β = β, can be reduced into a product of the diagonal ones, m α (β|β), connected by 1/ sin(πα s e ) propagators.This motivates a separate discussion of the two cases.
For convenience, we have attached a Mathematica notebook as an ancillary file to this arXiv submission, which allows to reconstruct all the objects m α (β| β) studied in this work, using the diagrammatic rules described below.

Off-diagonal Amplitudes
We can compute the off-diagonal terms, i.e., β = β, by adapting the diagrammatic rules of the usual bi-adjoint theory [6].It provides a convenient way of listing all the graphs allowed in both permutations at the same time.The procedure is as follows.First, draw points on a circle according to the permutation β.Next, connect the points with a loop joining them with respect to the other ordering, β.As a result, we obtain a set of polygons defined by the interior of this loop.For instance, for the examples given above, m α (I 6 |126435), m α (I 6 |126345) and m α (I 7 |1276345), we have respectively: (3.9) Here, the permutations β and β are drawn with black and red lines respectively.The polygons are shown in grey.Starting from these diagrams, the prescription for obtaining the amplitude is very simple.Each shaded polygon corresponds to a sub-amplitude, and each vertex of the polygons corresponds to a single leg.As a result, this recipe has given us all the diagrams that are planar with respect to both β and β [6].
Let us now specialize to the theory under consideration.We find the following rules.Internal legs are decorated with propagators of the form 1/ sin(πα s e ), where s e = p 2 e /2 is the norm of the momentum flowing through the leg e.In this way, we have introduced an infinite number of simple poles at α s e = 0, ±1, ±2, . . .for each of the internal states.This means that if we choose to interpret the new object as a physical theory, it would contain massless, massive and tachyonic states.Note that in the α → 0 limit we obtain the usual massless propagator 1/s e , which is consistent with the field theory bi-adjoint scalar.
Let us now dissect each diagram in turn.Firstly, In this example, all the sub-amplitudes, here denoted with white circles, are trivalent.From (3.3) we now that each of them evaluates to 1. Therefore, the amplitude under consideration is just a product of propagators given by sines.Secondly, The amplitude can be written as a product of the propagators times the sub-amplitudes, two of which are trivial.In the last equality we have used the diagonal four-point amplitude given in (3.4).We will explain the origin of the minus sign shortly.Finally, we have: Here we have used (3.4) twice.
The overall signs of the amplitudes will be important later on.They are given in terms of the relative winding number between the two permutations, w(β| β).The rule is to first draw the permutation β on a circle, and then follow the points according to the other permutation β by always going clockwise.The relative winding number, w(β| β) is then given by the total number of cycles completed.For instance, for the above example (3.11) we have: (3.13) The sign of the amplitude m α (β| β) is then simply given by (−1) w(β| β)+1 .We give a proof of this statement in appendix A. In the above example, this prescription leads to a minus sign.Similarly, both (3.10) and (3.12) have winding number 3, thus yielding a plus sign.The above method allows for a convenient reduction of any off-diagonal amplitude to a product of propagators and the diagonal sub-amplitudes.Diagonal amplitudes, m α (β|β), are the ones containing the information about the α corrections.Before we proceed to explaining how to compute them, let us comment on the vanishing amplitudes.When it is impossible to construct a tree-level graph compatible with two partial orderings, the amplitude necessarily vanishes.In the diagrammatic language, it means that the duals of the polygons form a loop. 3e have, for example: In all the cases, it is impossible to find a tree-level graph consistent with planar embeddings β and β.Vanishing amplitudes will be exploited later on, in order to construct matrices with zero entries, which are easier to invert.

Diagonal Amplitudes
The diagonal amplitudes, m α (β|β), contain the whole information about the higher-order interactions in this theory.Even without the full knowledge of their precise form, we will see that the on-shell amplitudes have a simple form amenable to a diagrammatic expansion.Without loss of generality we can focus on the identity permutations, i.e., β = β = I n .So far we have met the diagonal amplitudes (3.3) and (3.4).Let us rewrite them as follows: Here, we have introduced a new expansion that is not related to the previous sub-section.Of course, the m α (β| β) amplitudes could still be written in the expansion of sine propagators plus additional interaction terms.The reason for introducing a different set of rules is that the amplitudes turn out to have a very simple expressions in this new language.This time, each red internal line, e, corresponds to a propagator of the form 1/ tan(πα s e ).Hence, again, it produces an infinite number of simple poles at α s e = 0, ±1, ±2, . ... Each trivalent red vertex carries the same factor as before, 1.It turns out that these graphical rules extend to higher multiplicities.
The trick is to always place the labels that are neighbouring in both orderings at infinitesimal separation [6].For instance, in the last diagram of (3.14), we have placed labels 1 and 2 very close to each other.
Let us see how they work for the next case, n = 5: The first five terms are produced by trivalent graphs with the same vertex as before.These terms are fixed by requiring that the amplitude factorizes correctly on all of the massless poles.
There is also a contribution that stays finite on all the factorization channels.It takes a very simple form of a contact term carrying a dimensionless factor 1. Note that in the infinite tension limit α → 0, the contact term does not contribute and we recover the usual bi-adjoint scalar amplitude.We continue with n = 6: As we can see, the presence of the new five-valent vertex introduced a hierarchy in the expansion.The terms in the first bracket go as α −3 close to the field theory limit, while the second bracket behaves as α −1 .Because of this, only the first family survives the α → 0 limit, as expected.There are no new vertices introduced at this stage.Now that the general rule is established, we want to find out the form of the additional contact terms appearing at higher multiplicities.We find: where the last term is a seven-valent vertex equal to 2. Here, we have again sorted the terms depending on their leading α order.Finally: We find that the last nine-valent vertex carries a factor 5. To summarize, we have found that the diagonal amplitudes m α (β|β) can be calculated from a graph expansion, where each propagator carries an inverse tangent factor, and 3, 5, 7, 9-valent vertices come with factors 1, 1, 2, 5 respectively.This pattern seems to generate Catalan numbers.It is tempting to conjecture that all the remaining vertices follow this pattern, i.e., where C k is the k-th Catalan number [34].

KLT Relations
KLT relations were originally derived in [1] using the holomorphic factorization properties of the closed string amplitudes.The explicit formula for all multiplicities in the α → 0 limit was given in [2] and later proven in a more general setting in [3].In this section, we show how to construct KLT relations from the objects m α (β| β) introduced in this work.We have verified validity of this construction numerically for n ≤ 10 and it remains a conjecture for higher multiplicities.
Using the graphical rules introduced in the previous section, we can calculate the KLT relations according to Here, we treat m α (β| β) as an (n − 3)! × (n − 3)! matrix with columns and rows labelled by the permutations β and β.There is no restriction on the permutations we use for the open string partial amplitudes, as long as they form an independent basis, so that m α (β| β) is an invertible matrix.
We can also use any other basis for the KLT expansion, for example: or alternatively, For n = 5, the original KLT relation has permutations β ∈ {(12345), (12435)} and β ∈ {(13254), (14253)}.Reinterpreted in our new language, the expression reads which correctly reduces to the field theory relation given in (2.7).Note how the special choice of permutations gave a diagonal matrix, which is easier to invert.In general, the original KLT matrix will be block diagonal with each block of size n−3 It is straightforward to see how the specific ordering chosen in [1,2] leads to the "star" configurations annihilating all the α -corrected bi-adjoint amplitudes outside of the diagonal blocks, as in the example above.
The rules for the computation of m α (β| β) presented in this work, including the sign, can be automated.We have checked numerically that they reproduce entries in the KLT matrix in the form of [3] up to n = 10.

Soft Limits of Closed Strings
As the first application of the newly-found interpretation of the KLT kernel, we compute the leading soft factor of the closed string amplitudes, given the knowledge of the open string soft factors.Closed string soft limits have been previously considered in various different ways [39][40][41][42].The leading soft factor is equal to the Weinberg soft factor for pure gravity [43,44].The novelty of our approach is that it does not require the precise knowledge of the KLT kernel, other than the diagrammatic rules of section 3.
We follow the construction of [3,20] by choosing the permutations labelled by two particles a, b = 1, n − 1, n: where ω a and ωb denote the permutations of the remaining n − 4 labels.We can arrange the matrix m α (β| β) so that a and b label its (n − 4)! × (n − 4)! blocks.Let us consider the behaviour of the α -corrected bi-adjoint amplitudes, with this specific ordering, under the soft limit of the particle n, p n = τ pn with τ → 0. We keep α finite.
In the case of the off-diagonal blocks, a = b, the particle n is adjacent to different particles in both orderings β and β.Therefore, there are no trivalent vertices involving the particle n and hence all the propagators stay finite.We conclude that the off-diagonal blocks go as O(τ 0 ) is the soft limit.
In the case of the diagonal blocks, a = b, the soft particle interacts with a through a trivalent vertex, thus making the corresponding propagator diverge.Of course, it is also allowed to interact via higher-order vertices, but these give rise to finite contributions.Hence, the diagonal blocks behave as O(τ −1 ) in the soft limit.
We have learned that the matrix m α (β| β) becomes block diagonal in the soft limit.More precisely, near τ = 0 we have: where the minus sign comes about since the winding number changes by 1.Each of the (n − 4)! × (n − 4)! diagonal blocks on the right hand side becomes a small inverse KLT matrix for n − 1 particles.We know that under the same soft limit, the open string partial amplitudes factorize as follows [9]: and similarly for the other ordering.We see that in each of the diagonal blocks, a = b, the bi-adjoint matrices (4.12) and the open string factors (4.13) combine to produce a closed string amplitude with n − 1 particles.Working to leading order and neglecting constant factors, let us now collect all the terms together to obtain the result, where µν = µ ˜ ν is the polarization vector of the massless state.In the last line we have used momentum conservation.This is indeed the correct soft factor for closed string amplitudes [39], coinciding with the pure gravity result.

Basis Expansion
Open string partial amplitudes can be expanded in a basis of size (n − 3)! [21,45].This can be seen as a consequence of the monodromy relations [21,45,46].In the infinite tension limit, the basis reduces to the BCJ relations [7] among Yang-Mills partial amplitudes.In this section, we show how to construct a basis expansion of open strings in an alternative way, utilizing the object m α (β| β) introduced in this work.
Let us consider an (n − 3)! + 1 × (n − 3)! + 1 matrix constructed from four blocks: an (n − 3)! × (n − 3)! matrix m α (γ| β) with γ and β ranging in a set forming a BCJ basis, an (n − 3)! vector A open (γ), and additionally (n − 3)! transposed vector m α (β| β) and a scalar A open (β) for a single permutation β.Since the first two objects form the same BCJ basis in γ, the latter two are linearly dependent.Hence the following determinant vanishes: where we have used a determinant expansion and Sylvester's determinant theorem [47] in the first equality.Since the sets over which β and β range form a BCJ basis, the determinant of m α (γ| β) is non-vanishing, so we conclude that: A open (1234). (5.3) These two examples can be easily verified using the monodromy relations [45].Both cases yield the correct field theory limit.Of course, in practical calculations we would put both of the above amplitudes (5.2) and (5.3) into a vector, so that the KLT kernel has to be inverted only once.

Future Directions
In this work, we have shown that the inverse of the string theory KLT kernel can be understood as a matrix of amplitudes in an α -corrected bi-adjoint theory, m α (β| β).Given that a closed string amplitude is calculated from a correlation function of vertex operators on a genus-0 Riemann surface, and an open string amplitude comes from a correlator of operators inserted on a disk boundary of a genus-0 Riemann surface, the KLT relations (3.1) can be graphically summarized in a cartoon: α (β| β).The sum proceeds over all independent ways of performing the gluing, with β and β ranging over a set of (n − 3)! permutations.Similar picture can be made to intuitively understand the change of basis relation (5.1).This interpretation of the KLT kernel departs from the original understanding [1] of the coefficients of KLT expansion as simply coming from a contour deformation argument, where the factors of sines arise from monodromy properties of string integrals.We have argued that m α (β| β) can be understood as an interesting object on its own right.In fact, we propose that it could itself originate from a string integral with two disk orderings.We present some supporting evidence for this conjecture below.
The main results of this work concerns simplicity of the inverse string theory KLT kernel.We have shown how the objects m α (β| β) take a compact form, which is amenable to a diagrammatic expansion.This fact has an immediate application in expanding open string amplitudes BCJ bases, as described in section 5.As it is usual in the study of scattering amplitudes, such simplicity hints at the existence of some underlying structure.Perhaps it can be related to the work on planar algebras [48] or intersection matrices associated to Selberg integrals [49,50]. 4dditionally, the field theory bi-adjoint amplitudes have a CHY representation that allowed for its identification with the inverse KLT kernel in the first place [6].In an ongoing program of finding connections between the CHY formalism and string theory [51][52][53][54][55][56][57][58][59], understanding of the α -corrected KLT procedure in the CHY language could shed a new light on the relations between the two.
We can relate the α -corrected bi-adjoint theory to other objects studied in the context of string amplitudes.Our starting point is an intriguing new identity conjectured by Huang, Siegel and Yuan in [60].The claim is that supergravity amplitudes can be obtained from a string theory KLT of open string amplitudes with a small "twist," Here, the bar over the second open string vector denotes a flip of the space-time signature, also equivalent to a change α → −α .In addition, it is known [8][9][10][11] that open string amplitudes can be expanded in a basis of the super Yang-Mills ones as follows: where Z β (γ) is an amplitude of a string-like theory [14,15] carrying all the α dependence.Its disk integral representation, up to an overall factor, reads: Here the overbar has the same meaning as in (6.1).It is also possible to define the α -corrected bi-adjoint theory in terms of other string-like objects defined in [12,13].Due to the relation (6.4), the α -corrected bi-adjoint amplitudes m α (β| β) inherit some symmetries of the integrals Z β (γ), namely, the cyclicity and parity properties in the orderings β and β, as well as monodromy relations [9] in both orderings separately.Since monodromy relations are a consequence of the disk integrals, this fact provides support to the claim that m α (β| β) should have a representation as a string integral with two disk orderings.

. 1 )
which is a basis expansion for the open string amplitude A open (β) in terms of a BCJ basis.It is a direct analogue of the expansion (2.8) for the field-theory amplitudes.Using the same argument one can prove similar relations for other BCJ-satisfying amplitudes.In the following, we illustrate the expansion (5.1) with a few examples.As a first example for n = 4, we expand A open (1243) in the one-element basis {A open (1234)}.This corresponds to taking β = {(1243)}, γ = {(1234)}, and say β = {(1324)}.We obtain: involved example is:

β) m − 1 α
(β| β) Here, the closed amplitude M closed n is understood as gluing of two open string partial amplitudes, A open (β) and A open ( β).The object stitching the two amplitudes together is the KLT kernel, m −1