{'fraction_non_alphanumeric': 0.05107651199835569, 'fraction_numerical': 0.021427470325265915, 'mean_word_length': 3.9096871846619576, 'pattern_counts': {'":': 0, '<': 0, '<?xml version=': 0, '>': 1, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 3, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
On Wess-Zumino terms of Brane-Antibrane systems

We calculate the disk level S-matrix element of one closed string RR field, two open string tachyons and one gauge field in type II superstring theory. An expansion for the S-matrix element has been found that its four leading order terms are reproduced exactly by the symmetric trace tachyon DBI and the Wess-Zumino actions of D-brane-anti-D-brane systems. Using this consistency, we have also found the first higher derivative correction to the some of the WZ terms.


Introduction
Study of unstable objects in string theory might shed new light in understanding properties of string theory in time-dependent backgrounds [1,2,3,4,5,6]. Generally speaking, source of instability in these processes is appearance of some tachyonic modes in the spectrum of these objects. It then makes sense to study them in a field theory which includes those modes. In this regard, it has been shown by A. Sen that an effective action of Born-Infeld type proposed in [7,8,9,10] can capture many properties of the decay of non-BPS D p -branes in string theory [2,3].
Recently, unstable objects have been used to study spontaneous chiral symmetry breaking in holographic model of QCD [11,12,13]. In these studies, flavor branes introduced by placing a set of parallel branes and antibranes on a background dual to a confining color theory [14]. Detailed study of brane-antibrane system reveals when brane separation is smaller than the string length scale, spectrum of this system has two tachyonic modes [15]. The effective action should then include these modes because they are the most important ones which rule the dynamics of the system.
The effective action of a D pDp -brane in Type IIA(B) theory should be given by some extension of the DBI action and the WZ terms which include the tachyon fields. The DBI part may be given by the projection of the effective action of two non-BPS D p -branes in Type IIB(A) theory with (−1) F L [16]. We are interested in this paper in the appearance of tachyon, gauge field and the RR field in these actions. These fields appear in the DBI part as the following [17]: The trace in the above action should be completely symmetric between all matrices of the form F ab , D a T , and individual T of the tachyon potential. These matrices are where F T . If one uses ordinary trace, instead, the above action reduces to the action proposed by A.Sen [18] after making the kinetic term symmetric and performing the trace. This latter action is not consistent with S-matrix calculation. The tachyon potential which is consistent with S-matrix element calculations has the following expansion: where T p is the p-brane tension , m 2 is the mass squared of tachyon, i.e., m 2 = −1/(2α ′ ). The above expansion is consistent with the potential V (|T |) = e πα ′ m 2 |T | 2 which is the tachyon potential of BSFT [19].
The terms of the above action which has contribution to the S-matrix element of one gauge field and two tachyons in which we are interested in this paper are the following [17]: Note that if one uses the on-shell value for the tachyon mass, i.e., m 2 = −1/(2α ′ ), the above terms would not be ordered in terms of power of α ′ . The WZ term describing the coupling of RR field to gauge field of brane-anti-brane is given by [20,21] where Σ (p+1) is the world volume and µ p is the RR charge of the branes. In above equation, C is a formal sum of the RR potentials C = n (−i) p−m+1 2 C m . Note that the factors of i disappear in each term of (4). The inclusion of the tachyon fields into this action has been proposed in [22,23,24] using the superconnection of noncommutative geometry [25,26,27] where the curvature of the superconnection is defined as: the superconnection is where β is a normalization constant with dimension 1/ √ α ′ which we shall find it later, and a "supertrace" is defined by Using the multiplication rule of the supermatrices [23] where x ′ is 0 if X is an even form or 1 if X is an odd form, one finds that the curvature is The WZ action (5) has the following terms: The appearance of C p−1 ∧ dT ∧ dT * has been checked in [22] by studying the disk level S-matrix element of one RR field and two tachyons. In the present paper we will check, among other things, the appearance of C p−1 ∧ DT ∧ (DT ) * and C p−1 ∧ |T | 2 (F (1) − F (2) ) terms and fix their coefficients using the S-matrix element of one RR field, two tachyons and one gauge field. The coupling of one RR field, two tachyons and one gauge field in the above terms can be combined into the following form: This combination actually appears naturally in the S-matrix element in the string theory side. An outline of the rest of paper is as follows. In the next section, we review the calculate of the S-matrix element of one RR and two tachyons [22]. The low energy expansion of this amplitude produces one massless pole and infinite number of contact terms. The massless pole is the one reproduce by the above field theories, and its first contact term by This fixes the normalization of tachyon in WZ action with respect to the tachyon in the DBI part. In section 3, we calculate the S-matrix element of one RR, two tachyons and one gauge field. We find an expansion for the amplitude whose leading order terms are fully consistent with the above field theories.
The three-point amplitude between one RR field and two tachyons has been studied in [22] where a non-zero coupling C ∧ dT ∧ dT * has been found. To fix the coefficient of this term we reexamine this amplitude in this section. The tachyon vertex operator corresponds to the real components of the complex tachyon, i.e., The three point amplitude between one RR and two tachyons is given by the following correlation functions: where the vertex operators are The tachyon vertex operator corresponds to either T 1 or T 2 . The projector in the RR vertex where n = 2, 4 for type IIA and n = 1, 3, 5 for type IIB. a n = i for IIA and a n = 1 for IIB theory. The spinorial indices are raised with the charge conjugation matrix, eg (P − H / (n) ) αβ = C αδ (P − H / (n) ) δ β (further conventions and notations for spinors can be found in appendix B of [28]). The RR bosons are massless so p 2 = 0 and for the tachyons k 2 = k ′2 = 1/4. In the string theory calculation we always set α ′ = 2. The world-sheet fields has been extended to the entire complex plane. That is, we have replaced Using these replacements, one finds the standard propagators for the world-sheet fields X µ , φ, i.e., One also needs the correlation function between two spin operators and one ψ. The correlation function involving an arbitrary number of ψ's and two S's is obtained using the following Wick-like rule [29]: where dots means sum over all possible contractions. In above equation, Γ µn...µ 1 is the totally antisymmetric combination of the gamma matrices and the Wick-like contraction, for real y i , is given by The number of ψ in the correlators (11) is one. Using the above formula for one ψ and performing the other correlators using (13), one finds that the integrand is invariant under SL(2, R) transformation. Gauge fixing this symmetry by fixing the position of vertex where u = −(k + k ′ ) 2 and conservation of momentum along the world volume of brane, i.e., k a + k ′a + p a = 0, has been used. We have also normalized the amplitude by iµ p /4. The trace is zero for p = n, and for n = p it is We are going to compare string theory S-matrix elements with field theory S-matrix element including their coefficients, however, we are not interested in fixing the overall sign of the amplitudes. Hence, in above and in the rest of equations in this paper, we have payed no attention to the sign of equations. The trace in (15) containing the factor of γ 11 ensures the following results also hold for p > 3 with H (n) ≡ * H (10−n) for n ≥ 5.
If one replaces k a in (15) with −k ′ a − p a and uses using the conservation of momentum, one will find that the p a term vanishes using the totally antisymmetric property of ǫ a 0 ...a p−1 a . Hence the amplitude (15) is antisymmetric under interchanging 1 ↔ 2. This indicates that the three point amplitude between one RR and two T 1 or two T 2 is zero. Figure 1 : The Feynman diagrams corresponding to the amplitudes (16) and (19).
The effective Lagrangian of massless and tachyonic particles, (3) and (8), produces the following massless pole: where the gauge field in the off-shell line is A (1) and A (2) . The propagator and vertexes are Replacing them in (16), one finds The field theory (8) has also the following contact term: The massless pole of field theory (18) can be obtained from the S-matrix element (15) by expanding it at low energy (u = −p 2 a → 0). The prefactor of (15) has the expansion The first term is exactly the field theory massless pole (18). The second term should be the contact term in (19). This fixes the normalization constant β to be Note that in the string theory calculations we have set α ′ = 2, so to compare the string theory amplitudes with the corresponding amplitudes in field theory one has to set α ′ = 2 in the field theory side too.
Since the expansion (20) is in terms of the powers of p 2 a , the other terms in (20) correspond to the higher derivative corrections of the WZ action. For example, it is easy to check that the following higher derivative term reproduces the third term in (20): On the other hand, one may write u = −p 2 a = −1/2 − 2k · k ′ using the on-shell condition k 2 = k ′2 = 1/4. Then one may conclude that because of the −1/2 term, the last term in (20) does not correspond to the higher derivative of the tachyons. As we mentioned, it is obvious that the O(u) terms in the expansion (20) correspond to the higher derivative of the tachyons, however, for other S-matrix elements, e.g., the S-matrix element of four tachyons, it is hard to prove it. It is speculated though that the non-leading terms of the expansion of any S-matrix element of tachyons correspond to the higher derivative of the tachyon field [30].
It is interesting to compare the above higher derivative term with the higher derivative term of one RR and two gauge fields. The string theory S-matrix element of one RR and two gauge fields is given by [31,32] where K is the kinematic factor. Expansion of the prefactor at low energy is In this case actually there is no massless pole at u = 0 as the kinematic factor provides a compensating factor of u. The amplitude has the following expansion: where and ε is the polarization of the RR potential. The first term is reproduced by the couplings in the ZW terms (8), and the second term by the following higher derivative term While the leading higher derivative term in (22) has two extra derivatives with respect to the corresponding coupling in the WZ terms, in above coupling there are four extra derivatives with respect to the corresponding coupling in (8).

The T − T − A − C amplitude
The S-matrix element of one RR field, two tachyons and one gauge field is given by the following correlation function: where we have chosen the vertex operators according to the rule that the total superghost number must be −2 . The tachyon and RR vertex operators are given in (12) and the gauge field vertex operator in (-1)-picture is where ξ a is the gauge field polarization. Introducing x 4 ≡ z = x + iy and x 5 ≡z = x − iy, the scattering amplitude reduces to the following correlators: The correlators in the first and the second lines can be calculated using the propagators in (13), and the correlator in the last line can read from (14). The result is One can show that the integrand is invariant under SL(2,R) transformation. Gauge fix this symmetry by fixing One finds where we have also introduced the Mandelstam variables and used the conservation of momentum along the brane, i.e., k a 1 + k a 2 + k a 3 + p a = 0. Using the fact that M p , H / (n) , and Γ cba are totally antisymmetric combinations of the Gamma matrices, one realizes that the first term is non-zero only for p = n + 2, and the last three terms are non-zero only for p = n. The integral in the above equation can be written in terms of the Gamma functions, using the following identity [33]: for d = 0, 1 and arbitrary a, b, c. The region of integration is the upper half complex plane, as in our case. Using this integral, one finds where we have normalized the amplitude by iµ p /2 √ 2π. In above equation, I, J are : The traces are: Examining the poles of the Gamma functions, one realizes that for the case that p = n + 2, the amplitude has massless pole and infinite tower of massive poles. Whereas for p = n case, there are tachyon, massless, and infinite tower of massive poles. Now the non trivial question is how to expand this amplitude such that its leading terms correspond to the effective actions (3) and (8), and its non leading terms correspond to the higher derivative terms? Let us study each case separately.

p = n + 2 case
For p = n + 2, the amplitude is antisymmetric under interchanging 2 ↔ 3, hence the fourpoint function between one RR, one gauge field and two T 1 or two T 2 is zero. The electric part of the amplitude for one RR, one gauge field, one T 1 and one T 2 is given by Note that the amplitude satisfies the Ward identity, i.e., the amplitude vanishes under replacement ξ a → k a 1 . The effective Lagrangian of the massless field and tachyon, (3) and (8), produces the following massless pole for p = n + 2: where The amplitude (32) becomes The WZ action (8) has also the following contact term: The massless pole (34) and the contact term (35) can be exactly reproduced by the string theory amplitude (29) if one expands it around In fact expansion of I around this point is replacing it in (31), one finds that the first term is reproduced by (34) and the second term by (35). Now what about the other terms of (37)? A natural extension of the higher derivative term (22) to C p−3 which is similar to the extension of C p−1 ∧ (DT ∧ DT * ) to C p−3 in (8) is the following: This higher derivative term in field theory reproduces exactly the contact term in the second line of (37). The last term in (37), on the other hand, is given by the Feynman amplitude (32) where the vertex V a (C p−3 , A (1) , A (1) ) should be derived from the higher derivative term (26), that is Note that the vertex V b (A (1) , T 1 , T 2 ) has no higher derivative correction as it arises from the kinetic term of the tachyon. The tachyon pole of string amplitude indicates that the kinetic term has no higher derivative correction. Now replacing V b (A (1) , T 1 , T 2 ) and the above vertex in (32) one again finds exact agreement with the string theory amplitude. Hence the expansion of the string amplitude (31) around (36) produces an expansion whose leading order terms are reproduced by the Feynman amplitudes resulting fron DBI and WZ actions and the next terms are related to the higher derivative corrections to the WZ action. In particular, its massless poles gives information about the higher derivative corrections of C p−3 ∧ F ∧ F and its contact terms about C p−3 ∧ F ∧ DT ∧ DT * .

p = n case
Now we consider n = p case. The string theory amplitude in this case is symmetric under interchanging 2 ↔ 3. On the other hand, there is no Feymann amplitude in field theory corresponding to four-point function of one RR, one gauge field, one T 1 and one T 2 . Hence, for p = n the string theory amplitude (29) is the S-matrix element of one RR, one gauge field and two T 1 or two T 2 . Its electric part is, Note that the amplitude satisfies the Ward identity, i.e., the amplitude vanishes under replacement ξ a → k a 1 . The effective field theory, (3) and (8), has the following massless pole for p = n: where A should be A (1) and A (2) . The propagator and vertexes V a (C p−1 , A) and The amplitude (41) then becomes The couplings in (9) has also the following contact term: Now in string theory side, expansion of (s + 1/4)(t + 1/4)J in (40) around (36) is + π 2 6 − 8 ln(2) 2 (s + t + u + 1/2) − π 2 3 (t + 1/4)(s + 1/4) (t + s + u + 1/2) + · · · Replacing it in (40), one finds that the first term above is reproduced by the field theory massless pole (43) and the second term by (44). To find the higher derivative term corresponding to the first term in the second line above, we note that the WZ terms in the third line of (8) indicates that the following higher derivative term should accompany the term in (22): Combining the above with the coupling of one RR, two tachyons and one gauge field of (22), one finds the following coupling: which reproduce exactly the first term in the second line of (45). The effective field theory has also the following poles for p = n: where the off-shell gauge field A should be A (1) and A (2) , and where k a is momentum of the off-shell tachyon. Replacing them in (48), one finds 4µ p −1 (s + 1/4)(t + s + u + 1/2) + 4 ln(2) (s + 1/4) Similar result appear for the Feynmann diagram in which k 2 ↔ k 3 . Now in string theory side, expansion of (t + 1/4)J around (36) is Replacing it in the string theory amplitude (40), one finds exact agreement between the first two terms and the field theory results (50). The first term in the second line should be reproduced by the following Feynman amplitude in field theory: where the propagator and the vertex V (T 2 , T 1 , A (1) ) is the same as in (49), however, the vertex V (C p−1 , T 1 , T 2 ) should be derived from the higher derivative term (22), that is − 8 ln(2) 2 1 p! ǫ a 0 ···a p−1 a H a 0 ···a p−1 k 2a (s + t + u + 1/2) Replacing them in (52), one finds exact agreement with the string theory result. Finally, the sum of last term in (51) and the corresponding term when k 2 ↔ k 3 , and the last term in (45) is − 4i 3 π 2 µ p ǫ a 0 ···a p−1 a H a 0 ···a p−1 p!(s + t + u + 1/2) k 2a (t + 1/4)(2ξ.k 3 ) − 1 2 ξ a (s + 1/4)(t + 1/4) + (1 ↔ 2) To find the corresponding term in field theory, consider the following Feynman amplitude: where the vertex V a (C p−1 , A) is the same as the one appears in (42) and V b (A, A (1) , T 1 , T 2 ) is derived from the second line of (3), that is where k a is the momentum of the off-shell gauge field. Replacing them in (53), one finds exact agreement with the string theory result. Note that the F (1) · F (2) term in the tachyon DBI action (3) is necessary for the above consistency. The above consistency indicates that the coupling C p−1 ∧ F has no higher derivative correction. Now let us speculate on the other terms of the string theory expansion. Since there is no higher derivative corrections to C p−1 ∧ F and to the kinetic term, the expansion should not have the double poles other than the one appears in the leading term. For the simple tachyonic poles, since the kinetic term has no correction, the non-leading poles of tachyon should gives information about the higher derivative corrections to C p−1 ∧ DT ∧ DT * . For the simple massless poles, since there is no correction to C p−1 ∧ F , the non-leading massless poles should give information about the higher derivative corrections to the coupling of two tachyons and two gauge fields. Finally, the contact terms of the string theory amplitude gives information about the higher derivative correction to C p−1 ∧ DT ∧ DT * and to C p−1 ∧ F T T * . It would be interesting to study these terms in details and find higher derivative corrections to tachyon DBI and to WZ actions.