ELSEVIER

CrossMark

Available online at www.sciencedirect.com

ScienceDirect

Nuclear Physics B 881 (2014) 269-287

www.elsevier.com/locate/nuclphysb

Closed string amplitudes as single-valued open string amplitudes

Stephan Stiebergera*, Tomasz R. Taylorb

a Max-Planck-Institut für Physik, Werner-Heisenberg-Institut, 80805 München, Germany b Department of Physics, Northeastern University, Boston, MA 02115, USA

Received 10 January 2014; accepted 5 February 2014

Available online 13 February 2014

Abstract

We show that the single trace heterotic N-point tree-level gauge amplitude ^NET can be obtained from the corresponding type I amplitude ^N by the single-valued (sv) projection: = sv(^N)- This pro-

jection maps multiple zeta values to single-valued multiple zeta values. The latter represent a subclass of multiple zeta values originating from single-valued multiple polylogarithms at unity. Similar relations between open and closed string amplitudes or amplitudes of different string vacua can be established. As a consequence the a'-expansion of a closed string amplitude is dictated by that of the corresponding open string amplitude. The combination of single-valued projections, Kawai-Lewellen-Tye relations and Mellin correspondence reveal a unity of all tree-level open and closed superstring amplitudes together with the maximally supersymmetric Yang-Mills and supergravity theories.

© 2014 The Authors. Published by Elsevier B.V. This is an open access article under the CC BY license (http://creativecommons.org/licenses/by/3.0/). Funded by SCOAP3.

1. Introduction

Perturbative open and closed string amplitudes seem to be rather different due to their underlying different world-sheet topologies. On the other hand, mathematical methods entering their computations reveal some unexpected connections. For example, at the string tree-level, the Kawai-Lewellen-Tye (KLT) relations expose a non-trivial connection between open and closed

* Corresponding author.

E-mail address: stephan.stieberger@mpp.mpg.de (S. Stieberger).

http://dx.doi.Org/10.1016/j.nuclphysb.2014.02.005

0550-3213/© 2014 The Authors. Published by Elsevier B.V. This is an open access article under the CC BY license (http://creativecommons.org/licenses/by/3.0/). Funded by SCOAP3.

superstring amplitudes [1]. Similarly, tree-level scattering involving both open and closed strings can entirely be described by open string amplitudes only [2]. Furthermore, recently in Ref. [3] a new relation between open (type I) and closed (type II) superstring amplitudes has been found. The «'-expansion (with a' being the inverse string tension) of the closed superstring amplitude can be cast into the same algebraic form as the open superstring amplitude: the closed superstring amplitude is essentially the single-valued (sv) version of the open superstring amplitude.

All these encountered string properties of scattering amplitudes suggest that there is a deeper connection between perturbative gauge and gravity theories than expected. Furthermore, these observations in string theory are attended by results in field theory. There an apparent similarity between perturbative gauge- and gravity-theories is established through the double copy construction [4,5]. The latter can indeed be furnished by considering gauge amplitudes in heterotic string theory as a simple consequence of their underlying world-sheet structure [6,7]. Besides, recently in Ref. [8] an interesting uniform description of field-theoretical gauge- and gravity amplitudes has been presented and we shall see that some of its underlying structure is carried by the gauge amplitudes in heterotic string theory.

Yang-Mills (YMs) and supergravity amplitudes appear in the a' ^ 0 limit of superstring theory. The recently discovered Mellin correspondence [9] allows (re)constructing the full-fledged tree-level open superstring amplitudes (to all orders in a') from this field-theory limit. In this work, we employ the single-valued projection as a link between type I and heterotic string theory. Together with the sv connection between type I and type II, Mellin correspondence and KLT relations, it appears in the web of connections between full-fledged string and field-theoretical tree-level amplitudes. The basic building blocks of superstring amplitudes are supplied by gauge theory describing the string zero modes.

The paper is organized as follows. In Section 2 we review the subspace of single-valued multiple zeta values, in which a large class of complex sphere integrals of closed superstring amplitudes lives. After exhibiting results on the tree-level open superstring N -point disk amplitude in Section 3 we compute the analogous heterotic single trace N-gauge boson amplitude in a generic heterotic string vacuum. We shall find, that the two amplitudes are related by the sv projection. As a byproduct we verify that heterotic string subamplitudes fulfill the same amplitude relations, i.e. Kleiss-Kuijf (KK) and Bern-Carrasco-Johansson (BCJ) relations as field-theory subamplitudes. In Section 4 we discuss closed superstring amplitudes involving gravitons or scalars and relate them to open superstring amplitudes. In Section 5 we elucidate the generic basic building blocks of open and closed string world-sheet integrals and establish a relation between them. This correlation is responsible for the connection between open and closed su-perstring amplitudes. In Section 6, we discuss connections between string and field-theoretical amplitudes and comment on their relation to the web of string dualities.

2. Single-valued multiple zeta-values in superstring theory

The analytic dependence on the inverse string tension a' of string tree-level amplitudes furnishes an extensive and rich mathematical structure, which is related to modern developments in number theory and arithmetic algebraic geometry, cf. Refs. [10,3].

The topology of the string world-sheet describing tree-level scattering of open strings is a disk, while tree-level scattering of closed strings is characterized by a complex sphere. Open string amplitudes are expressed by integrals along the boundary of the world-sheet disk (real projective line) as iterated (real) integrals on RP1\{0,1, whose values (more precisely the coefficients in their power series expansion in a') are given by multiple zeta values (MZVs)

Zni„..,nr := Z(ni,...,nr) = J2 Ylkim' ni e N+, nr > 2, (2.1)

0<ki<---<kr l=1

with r specifying the depth and w = Y,r=1 nl denoting the weight of the MZV Zni,...,nr. On the other hand, closed string amplitudes are given by integrals over the complex world-sheet sphere as iterated integrals on P1\{0,1, integrated independently on all choices of paths. While in the a'-expansion of open superstring tree-level amplitudes generically the whole space of MZVs (2.1) enters [11,10], closed superstring tree-level amplitudes exhibit only a subset of MZVs appearing in their a'-expansion [11,10]. This subclass can be identified [3] as single-valued multiple zeta values (SVMZVs)

Zsv(n1,...,nr) e R (2.2)

originating from single-valued multiple polylogarithms (SVMPs) at unity [12]. SVMZVs have recently been studied by Brown in [13] from a mathematical point of view. They have been identified as the coefficients in an infinite series expansion of the Deligne associator [14] in two non-commutative variables. On the other hand, from a physical point of view SVMZVs appear in the computation of graphical functions for certain Feynman amplitudes [15].

The numbers (2.2) can be obtained from the MZVs (2.1) by introducing the following homo-morphism:

sv : Zn1,...,nr ^ Zsv(n1,...,nr). (2.3)

The numbers (2.2) satisfy the same double shuffle and associator relations than the usual MZVs (2.1) and many more relations [13]. For instance we have (cf. Ref. [3] for more examples):

svfe) = Zsv(2) = 0,

sv(Z2n+1) = Zsv(2n + 1) = 2Z2n+1, n > 1, sv(Z3,5) = -10Z3Z5, sv(Z3,7) = -28Z3Z7 - 12Z52,

o 12 o

sv(Z3,3,5) = 2Z3,3,5 - 5Z32Z5 + 90Z2Z9 + yZ22Z7 - 7Z23Z52, .... (2.4)

Strictly speaking, the map sv is defined in the Hopf algebra H of motivic MZVs Zm. Motivic MZVs1 Zm are defined as elements of the algebra H = 0w>0 Hw over Q, which is graded for the weight w and equipped with the period homomorphism per : H ^ R, which maps f^J ... nr to Zn1,...,nr, i.e. per(zn1 ...,nr) = Zn1 ,...,nr [16]. In the algebra H the homomorphism sv : H ^ Hsv, with

C1„..,nr ^ zm(ni,...,Ur), (2.5)

zm (2) = 0 (2.6)

can be constructed [13]. The motivic SVMZVs zm(n\,---,nr) generate the subalgebra Hsv of the Hopf algebra H and satisfy all motivic relations between MZVs.

1 Motivic aspects of MZVs have recently matured in describing tree-level open superstring amplitudes in Ref. [10] and tree-level closed superstring amplitudes in Ref. [3].

In practice, the map sv is constructed recursively in the (trivial) algebra-comodule U = U' ®q Q[f2] with the first factor U' = Q(f3,f5,...} generated by all non-commutative words in the letters f2i+i [17]. We have H ~ U, in particular f2i+1 ~ f2i+1. The homomorphism

sv: U ^ U, (2.7)

w ^ ^^ u iii v, (2.8)

sv(f2) = 0 (2.9)

maps (e.g. sv(f2i+1) = 2f2i+1) the algebra of non-commutative words w e U to the smaller subalgebra Usv, which describes the space of SVMZVs [13]. In Eq. (2.7) the word V is the reversal of the word v and iii is the shuffle product. For more details we refer the reader to the original reference [13] and subsequent applications in [3].

In supersymmetric Yang-Mills (SYM) theory a large class of Feynman integrals in four space-time dimensions lives in the subspace of SVMZVs or SVMPs, cf. Refs. [18]. As pointed out by Brown in [13], this fact opens the interesting possibility to replace general amplitudes with their single-valued versions (defined by the map sv), which should lead to considerable simplifications. In string theory this simplification occurs by replacing open superstring amplitudes by their single-valued versions describing closed superstring amplitudes.

3. Heterotic gauge amplitudes as single-valued type I gauge amplitudes

In this section we shall compute single trace N-gluon tree-level subamplitudes in heterotic string vacua. Our results will then be compared with the corresponding type I amplitudes.

Let us first review the latter. The open superstring N-gluon tree-level amplitude AN decomposes into a sum

AN = (sYm)N-2 J2 Tr(Tan(1>...Tan(N))A1(n(\),...,n(N}) (3.1)

n€Sn/Z2

over color ordered subamplitudes Al(n(1>,...,n(N>> supplemented by a group trace in the fundamental representation. Above, the YM coupling is denoted by #YM> which in type I super-string theory is given by #YM ~ e<P/2 with the dilaton field @. The sum runs over all permutations SN of labels i = 1,...,N modulo cyclic permutations Z2, which preserve the group trace. A vector A1 with its entries A^ = A(n> describing the (N — 3)! independent open N -point superstring subamplitudes

A\n> := A1(l,n(2,...,N — 2>,N — 1,N), n e SN—3 (3.2)

can be given by the matrix expression A1 = FA [19,20]. In components the latter reads

A\n> = J2 FnaA(o>, n e Sn—3, (3.3)

a eSN—3

with the (N — 3>! (independent) SYM subamplitudes

A(a> := A( 1,a(2,...,N — 2>, N — 1,N), a e SN—3,

which constitute the vector A with entries Aa = A(a) and the period matrix Fna. According to [21] the latter can be expressed in terms of basic open string world-sheet disk integrals (zij =

Zi - zj )

Zn (p) := Zn (1,p(2,..., N - 2), N, N - l)

N-2 • *j)___(3.5)

._ 2 . z1p(2)zp(2),p(3) ■■■Zp(N-3),p(N-2)

•j =2 D(n) '

Fna = (-1)N-3 J2 Zn(p)S[p\a]. (3.6)

peSN-3

Above we have the KLT kernel2 [1,22,23]

S[p\a ] := S[p(2,...,N - 2)\a(2,...,N - 2)] N-2 / j-1 \

^ J1,jp ^^jp^Sj^X (3.7)

j =2\ k=2 /

with jp = p(j) and 0(jp, kp) = 1 if the ordering of the legs jp,kp is the same in both orderings p(2,...,N - 2) and a(2,...,N - 2), and zero otherwise. Due to conformal invariance on the world-sheet in (3.5) we have fixed the world-sheet positions as z1 = 0, zN-1 = 1, zN = <x and the remaining N - 3 points zi are integrated along the boundary of the disk subject to the ordering D(n) = {zj e R \ 0 < zn(2) < ••• < zn(N-2) < 1}. Furthermore, we have the real numbers:

sij = a'(ki + kj)2 = 2a'kikj. (3.8)

The latter describe the 2 N(N - 3) independent kinematic invariants of the scattering process involving N external momenta ki, i = 1,...,N and a' is the inverse string tension. Note, that in the field-theory limit a' ^ 0 we have

Z\a'=0 = (-1)N-3S-1, i.e. F\a=0 = 1. (3.9)

Let us now move on to the gluon scattering in heterotic string vacua. The string world-sheet describing the tree-level scattering of N closed strings has the topology of a complex sphere with N insertions of vertex operators. The string S-matrix elements can be computed from the expression

AHBT_ v-1 / n I j2 AN = CKG

n f d2z^j {V(z1,z1,h,h) •••V(zN,zN,$N,kN)) (3.10)

j zjeC

involving N gluon vertex operators V(zi,zi,%i,ki). In heterotic string vacua in the RNS formalism the latter are given as [24]

2 The matrix S with entries Spa = S[p\a] is defined as a (N - 3)! x (N - 3)! matrix with its rows and columns

corresponding to the orderings p = {p(2),..., p(N - 2)} and a ={a(2),... ,a (N - 2)}, respectively. The matrix S is

symmetric, i.e. S' = S.

V(-1)(z,z,f,k) = gc^Ja{z)e-*(z)f^{z)eikPXP(z'z) / 2 \ 1/2

V(0)(z,z,f,k) = gJ-j fJa(z)

idx^(z) + 2 kxf\z)f(zt

eikpXp(z,z)

(3.11)

in the (-1)- and zero-ghost picture, respectively. The polarization f^ satisfies the on-shell condition f^k1 = 0, with the external space-time momenta k subject to the on-shell constraint k^k1 = 0. The heterotic closed string coupling gc is given by gc = (4n)-la' 1/2gHMT, with the heterotic YM coupling gHMT ~ e® .In order to cancel the background ghost charge on the sphere, two vertices in the correlator (3.10) will be inserted in the (-1)-ghost picture, with the remaining ones in the zero-ghost picture. Furthermore, in (3.10), the factor Vckg accounts for the volume of the conformal Killing group of the sphere after choosing the conformal gauge. It will be canceled by fixing three vertex positions and introducing the respective c-ghost correlator.

Since we are discussing tree-level string amplitudes and shall not be concerned with world-sheet modular invariance or finiteness of string loop amplitudes, our findings hold for any space-time dimensions, any amount of supersymmetries (N > 1) and any gauge group. In the following we shall discuss the case of a specific heterotic vacuum with gauge group SO(2n) at level one. Then we can write the gauge currents Ja as

Ja = 1 (Ta)..:fifj:, a = 1,...,n(2n - 1), (3.12)

with 2n free fermions in a real representation of the Lie group G. The normalization of the representation matrices Ta satisfies3 tr(TaTb) = 2Sab.

closed string amplitudes decompose into correlators involving only left-movers and correlators of only right-movers. Hence, the correlator of vertex operators in (3.10) is evaluated by performing all possible Wick contractions in both sectors separately.

In the scattering amplitude (3.10) the gauge vertex operators (3.11) contribute the current correlator (Ja1 (zi) ■ ■ ■ JaN(zN)) to the left moving sector. This correlator can be evaluated as a sum over permutations p e S'N without fixed points [25]

J1 (z1) ■■■JaN(zN)) = £ (-1)rn^, (3.13)

peSN l=1

p=£1...£r

with each permutation p written as product of cycles, p = f 1 ...%r and one cycle f = (i1,i2,...,im) contributing a factor ff with:

1 tr(Tai1 ■ ■ ■ Taim)

ff = 2 —-L. (3.14)

2 zl1l2 zl2'3 ' ' ' z'm'1

The number d(N) of derangements S'N is given by d(N) = N^N=2 , N > 2. Hence, we

have d(2) = 1, d(3) = 2, d(4) = 9, d(5) = 44,____E.g. for N = 4 we have the nine derangements

(2341), (2413), (3142), (3421), (4123), (4312) with r = 1 and (2143), (3412), (4321) with r = 2, respectively. In (3.13) these nine permutations give rise to [24]:

3 This normalization corresponds to taking the roots to have length two. An explicit representation of the SO(2n) generators Ta in the vector representation is (Tkl)ij = SkS^ — S^.S1:. With this the currents become Jkl = :.

I jau w at, !tr(Ta1 Ta2 ) tr(Ta3 Ta4 ) tr(Ta1 Ta2 Ta3 Ta4 )

Jai (zl)J"2 (Z2)Ja3 (Z3)Ja4 (Z4) =

4 zj2zj4 Z12Z23Z34Z41

— (2 ^ 3) - (2 ^ 4). (3.15)

In the following in (3.13) we shall be interested in the single trace (s.t.) contributions of (3.13). The latter appear for r = 1, i.e. cycles, which do not factorize into products. Hence the relevant part of (3.13) is:

I , 1 ^ tr(Ta1 TaP(2) ■ ■ ■ TaP(N)) Ja1 (Z1) ■■■JaN(ZN)s t=—1 V ---)-. (3.16)

.. 2 PS%—1 Z1P(2)ZP(2),P(3) ■■■ZP(N — 1),P(N)ZP(N),1

The correlator (3.16) is dressed with the Koba-Nielsen factor ]~[< \zijand for a generic group trace tr(Ta1 T1p(2) ■ ■ ■ T1p(N)) the total contribution form the left-moving part amounts to

AL(l,p(2,...,N)) =---. (3.17)

z1p(2)zp(2),p(3) ■ ■ ■ zp(N-1),p(N)zp(N),1

Alternatively, the single trace gauge correlator (3.16) may be written as sum over (N - 2)! permutations as

J (zi) ■ ■ ■ JaN(zN))&x

fa\a„(2)ci fciaa(3)02 . . . fCN-3aa(N)aN-1

= -2n-3 V -f-f-f-, (3.18)

a2 21,a(2)2a(2),a(3) ■ ■ ■ 2a(N-2),a(N)2a(N),N-12N-1,1

with the structure constants fabc = 2 tr([Ta,Tb]TC). Agreement between the two expressions (3.16) and (3.18) can be shown by using partial fraction decompositions in the positions zi, fa1 a2c1 f c1a3c2 ■ ■ ■ fcN-3 aNaN-1 = 22-n tr(Ta1 [Ta2, [Ta3,..., [T(n ,TaN-1 ]...]]) and the Jacobi relation fa1a2cfca3a4 - fa2a?,cfca4a1 - fa4a2cfca3a1 = o. The form (3.18), which uses a basis of (N - 2)! building blocks [26] (cf. also Eq. (3.5)), is suited4 to extract BCJ numerators [4] in terms of structure constants.

In (3.10) the right-moving sector of the vertex operators (3.11) constitutes the space-time dependent part of the heterotic amplitude. In fact, this part represents a copy5 of the open su-perstring and we may simply borrow the results from the N-gluon computation presented at the beginning of this section. Hence, before fixing conformal invariance the right-moving part gives rise to:

A« = (-1)N-3 £ A(a)

a SSn-3

nN \7--\Sii

X y --Z-■ < j .-z-S[p\a]. (3.19)

_ e z1p(2)zp(2),p(3) ■ ■ ■ zp(N-3),p(N-2)zp(N-2),NzN,N-1zN-1,1

p£oN-3

„ /ai 12 c ¿^1413 ¿ai (14c fcaja.3

4 Explicitly, for N = 4 we have {Ja1 (z1)^ ■ ■ Ja4 (z4))s.t. = -2(f-f- + f-f-), while for

N = 5 we obtain (JH (z1) ■ ■ ■ ^ (z5)>s t = ^f^f^OH + m ^f^4 + ¿W^/^2 14 +

1 5 s.t. 12 23 13 32 13 24

/11 15C fca3d /d1214 /1112C /CI5d fdlзl4 /11 15C/c12d fd^^

f-f-f--+ f-f-f--+ f-f-f-) for the gauge choice z1 = 0, zn—1 = 1, zn =

224232 212234 223234 ' 6 6 1 N 1 N

5 The right-moving parts of the vertex operators (3.11) agree with the open superstring gluon vertex operators after the replacement a' ^ a. As a consequence in all our subsequent heterotic results this rescaling still has to be performed.

Therefore, after putting together the pieces from the left-movers (3.17) and right-movers (3.19) and taking into account all normalizations the single trace part of (3.10), which constitutes

ANETt. = №T-2 J2 trT^1) ■■■Tan(N))AHET{n(1),...,n(N)), (3.20)

n S%/Z2

yields for a generic group trace tr(Ta1 Tap(2) ■ ■ ■ Tap(N-2) TaN-1 TaN) the heterotic subamplitude

AHET(p) = J d2z)j Al{1,p(2,...,N - 2), N - 1,N)A*

j zjsC

= (-1)N-3 J2 J2 J[p I P]S[p!a]A(a), (3.21)

aSSn-3 pssn-3

with the complex integral:

J[P I P] := V—g f N i d j N Zj I2S'}-1-

\ ' Z1p(2)Zp(2),p(3) ' ' ' Zp(N—2),N —1ZN —1,NZN, 1

Nj = :Zj SC ' l<j

(3.22)

Z1p(2)Zp(2),p(3) ' ' ' Zp(N—3),p(N—2)Zp(N—2),NZN,N — 1ZN-1,1

Note, that in (3.21) we are concentrating on a basis of (N - 3)! heterotic subamplitudes referring to the color ordering (1,p(2,...,N - 3), N - 1,N). All other heterotic subamplitudes can be expressed in terms of this basis as a result of partial fraction decomposition (cf. Eq. (3.18)) and partial integrations in the left-moving sector. In these lines by using partial fraction decompositions and partial integrations in the left-moving sector we can express the complex integral (3.22) as

J [p IP]= J2 K-1)/I[T IP]' (3.23)

t gsn-3

N-2 p \ N-1

I[pIP]:=m f d jn Izij I

\j =2 ^ <zC ' '<j

X-1-1-1-. (3.24)

z1p(2)zp(2),p(3) ' ' ' zp(N-3),p(N—2)z1p(2)zp(2),p(3) ■ ■ ■ zp(N-3),p(N-2)

In (3.24) we have chosen the gauge choice z1 = 0, zN-1 = 1, zN = œ and the remaining N - 3 positions zi are integrated on the whole complex sphere. The matrix Kap accounts for the basis change of SYM subamplitudes

A (p) = Kp°A(a) (3.25)

expressing the basis of (N - 3)! SYM subamplitudes

A(p) := A(1,p(2,...,N - 2),N,N - 1) (3.26)

in terms of the basis (3.4). According to the arguments given in [20,21], the inverse transposed matrix K* := (K-1)' describes the corresponding basis change on the open string world-sheet

integrand of the left-moving sector, i.e. ZK(l,p(2,...,N - 2),N - 1,N) = ZK(1,r(2,...,N -2), N,N - 1)(K *)rP .E.g. for N = 4 we have K = ^, while for N = 5 the matrix:

Kp° =

(S13+S15)S34 S14S35 S12S34 S14S25

_£13£24 S14S35 (S12+S15)S24 S14S25

(3.27)

For N = 6 the first row of Kpa reads

K\a = [S15S46(S34 + S46 + S36)] S45(S13 + S14 + si6)(s26 + S36 + S56 + ^35 + S61),

- S13S25S45,S14S25(S13 + S14 + S24 + S34 + S45), - ^13^25(^24 + S45),

- S14S35(S13 + S14 + S16), S35(S13 + S14 + S16)(S34 + S45 + S46)}, (3.28)

with the entry a s S3 referring to the permutations (2, 3,4), (3, 2,4), (4, 3, 2), (3,4,2), (4,2, 3) and (2,4, 3), respectively. The remaining entries of K may be obtained from (3.28) by permuting the numbers 2, 3 and 4 and changing the positions a in accord with the basis A(a) they refer to. A general formula for K can be derived by rewriting a similar formula given in [4]. After some adjustments we find (for N > 4)

K1* =0

c([\,a(2,...,N - 2),N - 1}; l)

(kN + kN-2 ■ with the functions c = c1 + c2

+ k,)2

(3.29)

d({1,a(2,...,N - 2),N - 1}; l) =( ^ Kl,p

l-E 0=1 Ki,

c2({1,a(2,...,N - 2),N - 1} ; l) =

Tl+1 < Tl,

Po, Tl + 1 > TU 2

(kN + kN-2 +-----+kl)

Tl+1 < Tl < Tl-1,

-(kN + kN-2 +-----+kl)2, Tl+1 > Tl> Tl-1

0 else,

(3.30)

associated to leg l. Above %i (with t1 := 0 and tn-1 := tn-3) is the position of leg l in the set p := {p1 ,...,pn-1} = {1,a(2,...,N - 2),N - 1}, and:

sij i >j, or j = N - 1, 0 else.

Finally, with (3.23) we can write (3.21) in matrix notation as Ahet = (-1)N-3 JSA = (-1)N-3K-1 ISA,

(3.31)

(3.32)

with the vector ^HET, whose entries ^HET = ^HET(p) are the (N - 3)! heterotic subamplitudes (3.21). With the identity I = K sv(Z), which we will prove in Eq. (4.10), the relations F = (-1)N-3Z S and A1 = FA following from Eqs. (3.6) and (3.3), respectively we finally have6:

Ahet = sv( A1).

(3.33)

6 Note, that with the comments from Footnote 5, the map (2.3) has to be accompanied by the rescaling of the inverse string tension a' ^ Op

To conclude, the single trace heterotic gauge amplitudes AHET(p) referring to the color ordering p are simply obtained from the relevant open string gauge amplitudes A-(p) by imposing the projection sv introduced in (2.3). Therefore, the a'-expansion of the heterotic amplitude AHET(p) can be obtained from that of the open superstring amplitude A-(p) by simply replacing MZVs by their corresponding SVMZVs according to the rules (2.4) introduced in (2.3).

As corollary let us recall the relations for the color ordered open superstring subamplitudes

AI(1, 2,...,N) + eins12 A1(2, 1, 3,...,N — 1,N) + ein(s12+S13)A1(2, 3, 1,...,N — 1,N)

+ ... + ein<S12+S13+-+S1,N—1)AI(2, 3,...,N — 1, 1,N) = 0, (3.34)

and permutations thereof following from considering monodromies on the open string world-sheet [2,27]. Applying the map (2.3) on (3.34), thereby using sv(n) = 0 and applying (3.33) gives the set of KK equations

Ahet(1, 2,...,N) + Ahet(2, 1, 3,...,N — 1,N) + Ahet(2, 3,1,...,N — 1,N) + ••• + Ahet(2, 3,...,N — 1, 1,N) = 0, (3.35)

and the BCJ relations

s12AHET(2, 1, 3,...,N — 1,N) + (s12 + s13)AHET(2, 3,1,...,N — 1,N) + ••• + (S12 + S13 + ••• + S!,N—1)Ahet(2, 3,...,N — 1, 1,N) = 0, (3.36)

for the heterotic subamplitudes, respectively in agreement with our comments after Eq. (3.22). To conclude, heterotic string subamplitudes fulfill the same amplitude relations, i.e. KK and BCJ relations as field-theory amplitudes.

4. Representation of gravitational amplitudes in superstring theory

In this section we shall elaborate on the graviton tree-level scattering amplitude in superstring theory and relate it to the heterotic gauge amplitude computed in the previous section. Furthermore, we will discuss type II and heterotic scalar amplitudes and related them to type I scalar amplitudes.

Thanks to the KLT relations [1] at tree-level closed string amplitudes can be expressed as sum over squares of (color ordered) open string subamplitudes arising from the left- and right-moving sectors. This map gives a relation between a closed string tree-level amplitude involving N closed strings and a sum of squares of (partial ordered) open string tree-level amplitudes each involving N open strings. E.g. for the N-graviton scattering amplitude M in (type I or type II) superstring theory we may write these identities as follows [1,22,23]

M(1,...,N) = (—1)N—3Kn—22 J2 A(1,ct(2, 3,...,N — 2),N — 1,N)

a s%—3

x J2 S[p|a]A(1,P(2, 3,...,N — 2),N,N — 1), (4.1)

peSN—3

with the gravitational coupling constant k and a product of sin-factors

5 [p\o ] := 5 [p(2,...,N - 2) | o(2,...,N - 2)]

N-2 / j-1 \

= n ^si,jp + EdUp'kp)sjp*p)' (4-2)

j=2 \ k=2 /

which depend on the kinematic invariants (3.8) and arise from the KLT relations [1,23]. In (4.2) we use the same notation as described below Eq. (3.7). In (4.1) the graviton amplitude is expressed as a sum over [(N - 3)!]2 terms each contributing a product of two full-fledged open superstring amplitudes A and A. The expression (4.1) is a very intricate way of writing a closed string amplitude M. In fact, in [3] it has already been anticipated, that there are more efficient and elegant ways in writing (4.1) in terms of a sum involving linearly (N - 3)! single full-fledged open superstring amplitudes A only.

Building up on the open superstring result (3.3) the N -graviton amplitude in superstring theory can be written as

M(1,...,N) = kn-2 J2 J2 A(o)G[o\o]A(o), (4.3)

o€Sn-3 o€SN-3

with the gravity kernel

G[o\o ] := G[o(2, 3,...,N - 2) | 0(2, 3,...,N - 2)]

= J2 J2 S[p\o]/[p\p]S[p\0], (4.4)

psSN-3 psSN-3

and the world-sheet sphere integrals introduced in Eq. (3.24). The field-theory limit of the gravi-ton amplitude (4.3) can be written as

Mft(1,...,N) = (-1)N-3Kn-2 J2 J2 A(o)So[o\o]A(o), (4.5)

o€SN-3 0€Sn-3

with the intersection matrix S0 whose entries are S0p,0 := S0[p\o]. The limit (4.5) has to agree with the expression (with A defined in (3.26))

Mft(1,...,N) = (-1)N-3Kn-2 J2 J2 A(o)S[o\0]AA(0), (4.6)

o€SN-3 o€SN-3

which directly follows from (4.1). Comparing the two expressions (4.5) and (4.6) and using the basis change (3.25) yields:

So = SK. (4.7)

One key observation in [3] is that the closed superstring amplitude (4.3) can be expressed in terms of a linear combination of (N - 3)! open superstring amplitudes (3.3) as

M = (-1)N-3 kn-2AiSosv(AI), (4.8)

subject to the map sv introduced in (2.3) and the intersection matrix S0 describing the field-theory limit (4.5) of the graviton amplitude (4.3). As a consequence of (4.8) for the gravity kernel (4.4) we have

G = S'lS = (-1)N-3S0sv(F), (4.9)

i.e. with F = (-1)N-3ZS from (3.6) and (4.7) we obtain:

I = K sv(Z). (4.10)

With our result (3.33) we can write the tree-level graviton N -point amplitude (4.8) of superstring theory as

M = (-1)N—3kn-2 А%ЛНЕТ, (4.11)

with the vector ЛНЕТ of (N — 3)! heterotic single trace tree-level gauge N-point amplitudes (3.33). Note, that by applying naively KLT relations we would not have arrived at (4.11). The relation (4.11) connects two seemingly different amplitudes from two different string vacua. This might provide an extension to the heterotic-type I duality [28], see also Section 6.

Obviously, in four-dimensional N = 8 type II superstring vacua the relationship (4.8) can be applied for closed string amplitudes involving scalars. The latter belong to the supergravity multiplet and a subclass Фij, i, j = 1,..., 6, of them denote geometric moduli fields describing the internal D = 6 toroidal compactification with the metric gij. For instance, the four-scalar amplitude in four-dimensional N = 8 type II string vacua reads

AII(Фiljl ф2 j ,ф™ фТ ) = -its!+s&2 + -53) (th+sh + -S3

st \ u J \ u

r(s)F(u)r(t)

x-( ) ( ) ( )—, (4.12)

Г(—s)Г(—u)Г(—t), ' ;

51 = gi1i2 gi3i4, S2 = gi1i3 gi2i4, S3 = gi1 i4 gi2i3,

Sj = gjlj2 gj3j4, S2 = gj1 j3 gj2j4, 53 = gj1j4 gj2j3. (4.13)

The kinematic invariants (3.8) are given by s — a(k\ + k2), t — a(k\ + k3), u — af(k\ + k4)2, with s + t + u = 0. On the other hand, in four-dimensional N = 4 type I string vacua the four-point subamplitude of scalar fields Фj, j = 1,..., 6, describing open string moduli (transversal D-brane positions or Wilson lines) reads

Л\Ф j1 фj2ф33,Ф44) = (th + sS2 + -S3) Гг(*)т +u)), (4.14)

4 1 2 3 4 / \ u J Г(1 + s + u)

w.r.t. to the color ordering (1, 2, 3,4) and the symbols defined in (4.13). Comparing the two amplitudes (4.12) and (4.14) and using Eq. (5.3) yields the correspondence

A\<pj ф^2ф33j3 Ф44к) = -u ^tSx + sS2 + ^53^)

x sv (Л1 (Ф j1 ,Ф? ,Ф3;3 ф14)), (4.15)

in lines of (4.8). Similar relation than (4.15) can also be derived for amplitudes involving more than four scalar fields.

Finally, let us briefly discuss the heterotic analog of the scalar amplitude (4.12). The four-scalar amplitude in four-dimensional N = 4 heterotic string vacua reads

ЛНЕТ(ф;1Л Ф*2 ф^3 фЧН) = Ч ' s1 + * 52 + ^s53 41 2 3 4 ' st \ 1 — s 1 — t 1 — uu

a ^si- \ r(s)r(u)r(t)

x tS1 + sS2 -—- , (4.16)

u / 1(—s)l (—u)l (—t)

with (4.13). An expression similar to (4.16) can be derived for the four-scalar amplitude involving scalars, which describe Wilson line moduli. In four-dimensional N = 4 heterotic string theory the scalars belong to vector multiplets. In (4.16) the spurious tachyonic poles, which arise from the exchange of fields from the massless N = 4 supergravity multiplet, have no counterpart in the tree-level perturbative type I superstring amplitude (4.14). Nevertheless, the full «'-dependence of the heterotic amplitude (4.16) can again be described by the open string amplitude (4.14). Comparing the two amplitudes (4.16) and (4.14) and using Eq. (5.3) yields:

AHET«U1 ■ *j) = -7(1-7 *+ T-7S2+ 7-7 Z*)

X sv(AI(^j1 ,03j3,®J44)). (4.17)

Amplitudes involving more than four scalar fields can be cast into a similar form than (4.17). Note, that by applying naively KLT relations we would not have arrived at (4.17). Connections in lines of (4.17) can also be established for heterotic gravitational amplitudes or non-single trace gauge amplitudes subject to gravitational exchanges.

The lesson to learn from the example (4.17) is that also closed string amplitudes other than heterotic (single-trace) gauge (3.33) or superstring gravitational amplitudes (4.8) can be expressed as single-valued image of some open string amplitudes. Generically, after performing partial fraction decompositions and partial integration relations any complex integral referring to a closed string world-sheet integral can be expressed in terms of the fundamental basis (3.22), which serves as building block for complex integrals. The elements of this basis can be written as single-valued image of some open string world-sheet integrals (cf. Section 5). Therefore, any closed string amplitude can be written as single-valued image of open string amplitudes by expressing the underlying closed string world-sheet integrals as single-valued image of open string integrals. As a consequence the whole «'-dependence of closed string amplitudes is entirely encapsulated in the corresponding open string amplitude.

5. Complex vs. iterated integrals: closed vs. open string world-sheet integrals

Open string world-sheet disk integrals (3.5) are described as iterated (real) integrals on RP1\{0,1, to), while closed string world-sheet sphere integrals (3.22) are given by integrals over the full complex plane. The latter, which can be considered as iterated integrals on P1\{0,1, to) integrated independently on all choices of paths, are more involved than the real iterated integrals appearing in open string amplitudes. Nevertheless, in the previous two sections we have exhibited non-trivial relations between open and closed string amplitudes and in this section we shall elaborate on these connections at the level of the world-sheet integrals. In this section we shall show, that quite generally complex integrals can be expressed as real iterated integrals subject to the projection sv.

Recall, that Eq. (4.10) expresses complex sphere integrals (3.24) in terms of a linear combination of disk integrals (3.5) subject to the map sv. This is to be contrasted with the KLT formula (4.1), where squares of disk integrals (3.5) appear. In light of (4.10) let us discuss the simplest case describing the scattering of four closed strings. For N = 4 the real integral (3.5) becomes

f s 1 u r(s)r(1 + u)

Z := Z1(1) = - dxxs-1(1 - x)u = ), (5.1)

J r(1 + s + u)

while the complex integral (3.24) boils down to:

I:= ,[1|1]= , A^-2:! -z|2" = X^r) (5i)

st I (—s)l (—u)l (-t)

With K = u Eq. (4.10) gives rise to:

u r(s)r(u)r(t) u / r(s)r(1 + u) \

--= — sv - , (5.3)

str(—s)r(—u)r(—t) t \r(1 + s + u) '

d2z |z|2s—211 — z|2u = — U- s^ J dxxs—1 (1 — x)uY (5.4)

Similar explicit correspondences (4.10) between complex sphere integrals I and real disk integrals Z can be made for N > 5. Finally, let us note, that with (3.9) the complex integrals (3.24) have the following field-theory limit:

I L=o = (—1)N—3KS—1. (5.5)

Moreover, a direct correspondence between complex sphere integrals and real disk integrals can be made for the (heterotic) world-sheet integrals (3.22). Indeed, with (3.23), i.e. I = KJ Eq. (4.10) becomes:

J = sv(Z). (5.6)

As one implication of (5.6) to each single complex sphere integral J[n |p] one real integral Zn (p) corresponds. For our N = 4 example we now have:

J := J[111] = — f d2z |z|2s—2|1 — z|2u(1 — z)—1 = -r(r()L(u)rrt) t). (5.7)

J s T(—s)T(—u)r(—t)

With (5.1) Eq. (5.6) gives rise to:

idh Z^r—Zt = sv(/dxxs—1a — xA (5,)

C xo '

Hence, in (3.22) the effect of inserting the left-moving gauge part (3.17) is simply the projection (2.3) acting on the right-moving part (3.5). Similar explicit and direct correspondences (5.6) between the complex sphere integrals Z and the real disk integrals Z can be made for N > 5. In order to familiarize with the matrix notation let us explicitly write the case (5.6) for N = 5 (with

Z1 = 0, Z4 = 1):

.......................-¡4 .¿sj

,4,Z3SC d2Z2 d V

d2Z d2Z n4</ Zij ^ r d2Z d2Z ntj Zj |2sij

,a Z2 d Z3--—=—=— „ d z? d Z3--—=—=—

Z13 Z32Z24Z12Z23 j Z2,Z3sc ^ Z13Z32Z24Z13 Z32

■>Z2,Z3sC

n4<j |Zij |2sij | 1

Z12 Z23Z34Z12Z23 J Z2,Z3 SC

n4<j |Zij |2sij r

Z13 Z32Z24Z12Z23 Z2,Z3SC

dZ2 dZ3 n4<j |Zij |sj C

Z12Z23 0

dZ2 dZ3 n4<j |Zij |sj C

Z12Z23 0

n4<j |Zij tij z13z32

sv I " u<Z2<Z3<i Z12Z23 .*u<Z2<Z3<i Z13Z32 I (5 9)

1 - |s;; n4<, |zj\s-> 1. ()

0<Z3<Z2<1 Z12Z23 J0<Z3<Z2<1 Z13Z32

In (5.9) we explicitly see how the presence of the left-moving gauge insertion in the complex integrals results in the projection onto real integrals involving only the right-moving part. Besides, let us compute the closed string analog of (3.9). With (5.6) and (3.9) we find:

J i«'=0 = (-1)N-3 S-1. (5.10)

Hence, the set of complex world-sheet sphere integrals (3.22) are the closed string analogs of the open string world-sheet disk integrals (3.5).

To conclude, after applying partial integrations to remove double poles, which are responsible for spurious tachyonic poles, all closed superstring amplitudes can be expressed in terms of the basis (3.22), which in turn through (5.6) can be related to the basis of open string amplitudes (3.5). As a consequence the «'-dependence of any closed string amplitude is given by that of the underlying open string amplitudes, cf. Eqs. (3.33), (4.8) and (4.17) as some examples.

Finally, we would like to make a connection to Ref. [8]. In this reference it has been argued, that the field-theory limit (3.9) of the open string world-sheet disk integrals (3.5) is related to the double partial amplitudes of a massless colored cubic scalar theory

(0) f dna Ua '&(Y.h=ajh)

mN0>(aiP) =--a-h=ajah-, (5.11)

J Vol(SL(2, C)) ^«(DaCi) ■ ■ ■ ja(N),a(l))(j?(l),?(2) ■ ■ ■ j?(N),?(1))

evaluated at the solutions of the scattering equations Y.h=a jf^ = 0. More precisely, with

(mscalar)«? := mN°)(1,«(2,...,N - 2),N - 1,N|1,?(2,...,N -2),N,N - 1) we have [8]:

(mscalar)«? = Z|«/=0 = (-1)N-3 (S-1)«?. (5.12)

With (5.10) we now also obtain a relation to the building blocks (3.22) of the heterotic string amplitudes as:

(mscalar)«? = J i«'=0 = (-1)N-3(S-1)«?. (5.13)

It is quite striking, that the structure of (5.11) and (5.12), furnished by the permutations « and ?, is captured by the left- and right-moving parts in (3.22), respectively. Recently in Ref. [29], a similar observation has been made in the heterotic version of Berkovits new twistor-like super-string theory [30]. It would be very interesting to find further connections between the work [8] (and also [29]) and perturbative heterotic string amplitudes presented here.

6. Unity of tree-level superstring amplitudes

It is well known that various formulations/compactifications of superstring theory are connected by a web of dualities. They can be interpreted as different vacua of a universal M-theory [31]. The classic example is type IIA/K3-heterotic/T4 duality in six dimensions [32]. Similar to many other examples, it is a strong-weak coupling duality. Perturbative states on one side, like heterotic gauge bosons, are mapped to non-perturbative states on the other side, like D-branes wrapping on K3 cycles. There are convincing arguments, in all known duality cases, that such correspondence holds at the massless level. It is not clear, however, what is the role of Regge excitations in strong-weak coupling dualities. It is regrettable because, without exaggerating, the Regge states, as arising from string vibrations, are the true essence of string theory. The «'-dependence of the amplitudes discussed in this paper are due to such Regge states propagating in all possible channels.

Fig. 1. Unity of tree-level superstring amplitudes.

One notable exception is type I-heterotic duality in four dimensions [28]. There is a class of effective action terms, essentially describing the (generalized) non-Abelian Born-Infeld action, which appears at the tree-level on type I side, while it is generated by loop corrections on the heterotic side [33]. Massive string excitations appear to play some role in this correspondence because on type I side, the Born-Infeld terms appear in the «'-loop expansion of the two-dimensional world-sheet sigma model, while in space-time, the corresponding interactions are mediated by Regge states at the tree level. The comparison with heterotic theory works well at the one-loop level O(F4), but runs into problems at two loops O(F6) [34].

The single-valued projection connecting type I and heterotic single-trace amplitudes creates a new link in the web of relations shown in Fig. 1. Although similar to the duality web, the "web of amplitudes" links the scattering amplitudes evaluated (to all orders in «') not only in different string vacua but, what is most important, it also includes some links between the amplitudes involving external particles not related by supersymmetry or any known symmetry, like gravitons and gauge bosons.

Type I open string theory appears to play a central role in the web of amplitudes. By single-valued projections, it generates single-trace heterotic gauge amplitudes (3.33) and type II gravi-ton amplitudes (4.8) [3]. E.q. (4.11) provides though a bridge from gauge heterotic to type II graviton amplitude bypassing type I, without using sv projections. Type I connects also, via Mellin correspondence, to N = 8 supergravity [9]. On the other hand, KLT allows constructing supergravity amplitudes from N = 4 SYM which supplies the basic building blocks for all tree-level open and closed string amplitudes.

It should be made clear that the connections depicted in Fig. 1 appear in perturbation theory, at the tree-level, in four space-time dimensions. The form of vertex operators is determined by world-sheet supersymmetry, but their world-sheet correlators are decoupled from the internal sector of SCFT associated to compact dimensions. In order to see the effects of internal dimensions, one would have to consider the amplitudes involving moduli fields like in Eq. (4.17); one could also go beyond the tree-level to observe internal states and their Regge excitations propagating in the loops. One of the nodes obviously missing in Fig. 1 are the heterotic amplitudes involving external gravitons, which must be sensitive to the massive string spectrum with a lower, N = 4 supersymmetry, as compared to N = 8 of type II, cf. also the comments at the end of Section 4.

There must be a deep reason for the universal«' dependence of all tree-level string amplitudes and their connection to SYM and supergravity. It is possible that some new insights can be gained by connecting the web of amplitudes with string dualities.

7. Concluding remarks

In this work we have found a correspondence between closed and open superstring amplitudes communicated by the sv map (2.3). This map relates two string amplitudes of different world-sheet topologies. One basic example is the relation (3.33) between the single trace het-erotic tree-level gauge amplitudes (3.20) and open superstring tree-level gauge amplitudes (3.1). Based on this example many other closed/open amplitude connections can be established, e.g. relations (4.15) or (4.17) between type II or heterotic and type I scalar amplitudes, respectively. The essential property common to all such relationships is that the full «'-dependence of the type II or heterotic closed string amplitudes is encapsulated in the type I open string amplitudes. These relations give rise to a much deeper connection between open and closed string amplitudes than what is implied by KLT relations. It would be interesting to understand the sv map (2.3) in the framework of sigma-model expansion in the underlying superconformal world-sheet theory. Also important is to clarify the role of the map (2.3) at the level of perturbation theory of open and closed strings from the nature of their underlying string world-sheets.

Furthermore, we have established a connection between the single trace heterotic tree-level gauge amplitudes and graviton amplitudes of superstring theory, cf. (4.11). This result is quite surprising because it relates gauge and gravitational amplitudes in two different string vacua. On the other hand, in four space-time dimensions one has the relation [35,36]

- ¿e8 = 12F1, (7.1)

which connects type II one-loop superstring corrections to R2 expressed by the topological one-loop partition function F1 (which in turn is related to the generalized N = 2 index) to a difference of one-loop gauge corrections of heterotic (2, 2) Calabi-Yau vacua. In Ref. [36] the relation (7.1) is explained at the level of the underlying world-sheet superconformal field theory as a consequence of the bosonic/supersymmetric map [37]. It is possible that the sv map is connected to such a bosonic/supersymmetric map.

The growing set of interconnections hints towards a fascinating unity of closed and open string amplitudes with gauge theory and supergravity.

Acknowledgements

We gratefully acknowledge support from the Simons Center for Geometry and Physics, Stony Brook University at which a substantial portion of the research for this work was performed. This material is based in part upon work supported by the National Science Foundation under Grants No. PHY-0757959 and PHY-1314774. Any opinions, findings, and conclusions or recommendations expressed in this material are those of the authors and do not necessarily reflect the views of the National Science Foundation.

References

[1] H. Kawai, D.C. Lewellen, S.H.H. Tye, A relation between tree amplitudes of closed and open strings, Nucl. Phys. B 269 (1986) 1.

[2] S. Stieberger, Open & closed vs. pure open string disk amplitudes, arXiv:0907.2211 [hep-th].

[3] S. Stieberger, Closed superstring amplitudes, single-valued multiple zeta values and Deligne associator, arXiv: 1310.3259 [hep-th].

[4] Z. Bern, J.J.M. Carrasco, H. Johansson, New relations for gauge-theory amplitudes, Phys. Rev. D 78 (2008) 085011, arXiv:0805.3993 [hep-ph].

[5] Z. Bern, J.J.M. Carrasco, H. Johansson, Perturbative quantum gravity as a double copy of gauge theory, Phys. Rev. Lett. 105 (2010) 061602, arXiv:1004.0476 [hep-th];

Z. Bern, T. Dennen, Y.-t. Huang, M. Kiermaier, Gravity as the square of gauge theory, Phys. Rev. D 82 (2010) 065003, arXiv:1004.0693 [hep-th].

[6] S.H.H. Tye, Y. Zhang, Dual identities inside the gluon and the graviton scattering amplitudes, J. High Energy Phys. 1006 (2010) 071, arXiv:1003.1732 [hep-th];

S.H.H. Tye, Y. Zhang, J. High Energy Phys. 1104 (2011) 114 (Erratum);

N.E.J. Bjerrum-Bohr, P.H. Damgaard, T. Sondergaard, P. Vanhove, Monodromy and Jacobi-like relations for color-ordered amplitudes, J. High Energy Phys. 1006 (2010) 003, arXiv:1003.2403 [hep-th].

[7] A. Ochirov, P. Tourkine, BCJ duality and double copy in the closed string sector, arXiv:1312.1326 [hep-th].

[8] F. Cachazo, S. He, E.Y. Yuan, Scattering of massless particles: scalars, gluons and gravitons, arXiv:1309.0885 [hep-th].

[9] S. Stieberger, T.R. Taylor, Superstring amplitudes as a Mellin transform of supergravity, Nucl. Phys. B 873 (2013) 65, arXiv:1303.1532 [hep-th];

S. Stieberger, T.R. Taylor, Superstring/supergravity Mellin correspondence in Grassmannian formulation, Phys. Lett. B 725 (2013) 180, arXiv:1306.1844 [hep-th].

[10] O. Schlotterer, S. Stieberger, Motivic multiple zeta values and superstring amplitudes, J. Phys. A 46 (2013) 475401, arXiv:1205.1516 [hep-th].

[11] S. Stieberger, Constraints on tree-level higher order gravitational couplings in superstring theory, Phys. Rev. Lett. 106 (2011) 111601, arXiv:0910.0180 [hep-th].

[12] F. Brown, Single-valued multiple polylogarithms in one variable, C. R. Acad. Sci. Paris, Ser. 1338 (2004) 527-532.

[13] F. Brown, Single-valued periods and multiple zeta values, arXiv:1309.5309 [math.NT].

[14] P. Deligne, Le groupe fondamental de la droite projective moins trois points, in: Galois Groups over Q, in: MSRI Publications, vol. 16, Springer, 1989, pp. 72-297;

P. Deligne, Periods for the fundamental group, in: Arizona Winter School 2002.

[15] O. Schnetz, Graphical functions and single-valued multiple polylogarithms, arXiv:1302.6445 [math.NT].

[16] A.B. Goncharov, Galois symmetries of fundamental groupoids and noncommutative geometry, Duke Math. J. 128 (2005) 209-284, arXiv:math/0208144v4;

F. Brown, Mixed Tate motives over Z, Ann. Math. 175 (2012) 949-976.

[17] F. Brown, On the decomposition of motivic multiple zeta values, in: Galois-Teichmuller Theory and Arithmetic Geometry, in: Advanced Studies in Pure Mathematics, vol. 63, 2012, pp. 31-58, arXiv:1102.1310 [math.NT].

[18] S. Leurent, D. Volin, Multiple zeta functions and double wrapping in planar N = 4 SYM, Nucl. Phys. B 875 (2013) 757, arXiv:1302.1135 [hep-th];

L.J. Dixon, C. Duhr, J. Pennington, Single-valued harmonic polylogarithms and the multi-Regge limit, J. High Energy Phys. 1210 (2012) 074, arXiv:1207.0186 [hep-th];

F. Chavez, C. Duhr, Three-mass triangle integrals and single-valued polylogarithms, J. High Energy Phys. 1211 (2012) 114, arXiv:1209.2722 [hep-ph];

V. Del Duca, L.J. Dixon, C. Duhr, J. Pennington, The BFKL equation, Mueller-Navelet jets and single-valued harmonic polylogarithms, arXiv:1309.6647 [hep-ph].

[19] C.R. Mafra, O. Schlotterer, S. Stieberger, Complete N-point superstring disk amplitude I. Pure spinor computation, Nucl. Phys. B 873 (2013) 419, arXiv:1106.2645 [hep-th].

[20] C.R. Mafra, O. Schlotterer, S. Stieberger, Complete N-point superstring disk amplitude II. Amplitude and hyperge-ometric function structure, Nucl. Phys. B 873 (2013) 461, arXiv:1106.2646 [hep-th].

[21] J. Broedel, O. Schlotterer, S. Stieberger, Polylogarithms, multiple zeta values and superstring amplitudes, Fortschr. Phys. 61 (2013) 812, arXiv:1304.7267 [hep-th].

[22] Z. Bern, L.J. Dixon, M. Perelstein, J.S. Rozowsky, Multileg one loop gravity amplitudes from gauge theory, Nucl. Phys. B 546 (1999) 423, arXiv:hep-th/9811140.

[23] N.E.J. Bjerrum-Bohr, P.H. Damgaard, T. Sondergaard, P. Vanhove, The momentum kernel of gauge and gravity theories, J. High Energy Phys. 1101 (2011) 001, arXiv:1010.3933 [hep-th].

[24] D.J. Gross, J.A. Harvey, E.J. Martinec, R. Rohm, Heterotic string theory. 2. The interacting heterotic string, Nucl. Phys. B 267 (1986) 75.

[25] I.B. Frenkel, Y. Zhu, Vertex operator algebras associated to representations of affine and Virasoro algebras, Duke Math. J. 66 (1992) 123;

L. Dolan, P. Goddard, Current algebra on the torus, Commun. Math. Phys. 285 (2009) 219, arXiv:0710.3743 [hep-th].

[26] C.R. Mafra, O. Schlotterer, S. Stieberger, Explicit BCJ numerators from pure spinors, J. High Energy Phys. 1107 (2011) 092, arXiv:1104.5224 [hep-th].

[27] N.E.J. Bjerrum-Bohr, P.H. Damgaard, P. Vanhove, Minimal basis for gauge theory amplitudes, Phys. Rev. Lett. 103 (2009) 161602, arXiv:0907.1425 [hep-th].

[28] J. Polchinski, E. Witten, Evidence for heterotic-type I string duality, Nucl. Phys. B 460 (1996) 525, arXiv:hep-th/ 9510169.

[29] H. Gomez, E.Y. Yuan, N-point tree-level scattering amplitude in the new Berkovits' string, arXiv:1312.5485 [hep-th].

[30] N. Berkovits, Infinite tension limit of the pure spinor superstring, arXiv:1311.4156 [hep-th].

[31] E. Witten, String theory dynamics in various dimensions, Nucl. Phys. B 443 (1995) 85, arXiv:hep-th/9503124.

[32] C.M. Hull, P.K. Townsend, Unity of superstring dualities, Nucl. Phys. B 438 (1995) 109, arXiv:hep-th/9410167.

[33] A.A. Tseytlin, On SO(32) heterotic type I superstring duality in ten-dimensions, Phys. Lett. B 367 (1996) 84, arXiv:hep-th/9510173;

A.A. Tseytlin, Heterotic type I superstring duality and low-energy effective actions, Nucl. Phys. B 467 (1996) 383, arXiv:hep-th/9512081.

[34] S. Stieberger, T.R. Taylor, Non-Abelian Born-Infeld action and type I-heterotic duality I: Heterotic F 6 terms at two loops, Nucl. Phys. B 647 (2002) 49, arXiv:hep-th/0207026;

S. Stieberger, T.R. Taylor, Non-Abelian Born-Infeld action and type I-heterotic duality II: Nonrenormalization theorems, Nucl. Phys. B 648 (2003) 3, arXiv:hep-th/0209064.

[35] M. Bershadsky, S. Cecotti, H. Ooguri, C. Vafa, Holomorphic anomalies in topological field theories, Nucl. Phys. B 405 (1993) 279, arXiv:hep-th/9302103.

[36] V. Kaplunovsky, J. Louis, On gauge couplings in string theory, Nucl. Phys. B 444 (1995) 191, arXiv:hep-th/9502077.

[37] W. Lerche, A.N. Schellekens, N.P. Warner, Lattices and strings, Phys. Rep. 177 (1989) 1.