arxiv:hep-th/ v2 7 Sep 2002

Transcription

1 PP-wave String Interactions from String Bit Model ian-ge Zhou arxiv:hep-th/ v2 7 Sep 2002 Physics Department, University of Lethbridge, Lethbridge, Alberta, Canada TK 3M4 Abstract We construct the string states O p >, O q > 2 and O 2 0 > 2 in the Hilbert space of the quantum mechanical orbifold model so as to calculate the three-point and one-loop amplitudes from the interacting string bit model by exploiting the operator Σ. We show that the three-point interaction functions between a one-string state and a two-string state derived from the interacting string bit model precisely match with those computed from the perturbative SYM theory in BMN limit. However, for the second order correction to the anomalous dimension of BMN operator Op, we find that there is a mismatch between two approaches. In our calculation, we heavily exploit the operator Σ. jiange.zhou@uleth.ca

2 Introduction Recently, Berenstein, Maldacena, and Nastase (BMN) [] argued that the IIB superstring theory on pp-wave background with RR-flux is dual to a sector of N = 4 SU(N) Yang- Mills thoery containing operators with large R-charge. The arguement was based on the exact solvability of the Green-Schwarz strings on pp-wave background obtained from AdS 5 S 5 in the Penrose limit [2]. In BMN limit, the effective t Hooft coupling is λ = g 2 Y MN/ 2. Under this limit, the duality allows one to compute the free string spectrum from the perturbative super Yang-Mills theory. Moreover, it was shown in [3] and [4] that in BMN limit some non-planar diagrams of arbitrary genus survive, so besides the effective t Hooft coupling is λ, the string interactions in pp-wave also involve genus parameter g 2 = 2 /N. In [4], it was proposed that the interaction amplitude for a single string to split into two strings (or two strings joining into one string) is related to the three point function of the corresponding operators in the dual CFT, and g 2 λ was identified with the effective coupling between a wide class of excited string states on the pp-wave backgound. By this proposal, the authors in [4] computed the second order correction to the anomalous dimension of the BMN operator from free planar three point functions and found exact agreement with the computation of the torus contributions to the two point function. Other related discussions on the string interaction on pp-wave backgound can be found in [5] [20]. More recently, Verlinde proposed a string bit model for interacting strings on the ppwave background in terms of the supersymmetric quantum mechanics with a symmetric product target-space [20]. In this interacting string bit model, the t Hooft coupling is λ 2 = gy 2 MN, but the effective string coupling is identified with the genus parameter g 2 = 2 /N. In [20], Verlinde presented some evidence that this effective interacting string bit model would reproduce the complete perturbation expansion of the N = 4 SYM theory in the BMN limit. In this string bit model, the first order interacting term is assumed to be V = [H 0, Σ], where H 0 is the light-cone Hamiltonian for free string and Σ is the sum of the simple transposition operators Σ mn. In [20], instead of using the

3 operator Σ to do calculation, Verlinde made a further assumption that the three-point function in the string bit model should be identified with that in the free SYM theory, so in his method it is hard to calculate the three-point interaction functions exactly from the string bit model. Then it is interesting to see how we can use Σ to do direct calculation, and whether we can reproduce the results derived from the perturbation expansion of the N = 4 SYM theory in the BMN limit, which would give a consistency check for the interacting string bit model on pp-wave background. Motivated by the above, in the present paper we construct the string states O p >, O q > 2 and O 2 0 > 2 in the Hilbert space of the quantum mechanical orbifold model so as to calculate the three-point and one-loop amplitudes from the interacting string bit model by exploiting the operator Σ. The Hilbert space of the quantum mechanical orbifold model is decomposed into the direct sum of the Hilbert spaces of the twisted sectors [2], and each twisted sector describes the states of several strings, so the construction of the string states O p >, O q > 2 and O 2 0 > 2 can be realized by the fact that the vacuum state of a twisted sector corresponds to a ground state twist operator. We show that the three-point interacting functions between a one-string state and a two-string state derived from the interacting string bit model precisely match with those computed from the perturbative SYM theory in BMN limit. However, for the second order correction to the anomalous dimension of BMN operator Op, we find that there is a mismatch between two approaches, which probably indicates that some extra terms need to be added to V. In our calculation, we heavily exploit the operator Σ, but need not to assume that the three-point function in the string bit model is the same as that in the free SYM theory. That is, we carry out our calculation from the first principles of the the quantum mechanical orbifold model without any further assumption. The paper is organized as follows. In the next section, we review some basic results for In [5], a mismatch between perturbative SYM and string field theory on the torus level anomalous dimensions was found. It was shown that the unitarity sum in [4] and the expression for the 3-string vertex in [6] yields contradictory results for the torus level anomalous dimension of some particular BMN operators. 2

4 the interacting string bit model. In Section 3, we develope some approach to consistently construct the string states O p >, O q > 2 and O 2 0 > 2 in the Hilbert space of the quantum mechanical orbifold model. The three-point function is calculated from the interacting string bit model by exploiting the operator Σ. In Section 4, the second order correction to the anomalous dimension of the operator O p present our summary and discussion. is computed. In Section 5, we 2 The interacting string bit model Let us recapitulate some basic results for the interacting string bit model [20]. One can introduce copies of supersymmetric phase space coordinates {p i n, x i n, θ a n, θ a n}, with n =,...,, satisfying canonical commutation relations [ p i n, x j m ] = δ ij δ mn, {θ a n, θ b m} = δ ab δ mn, { θ a n, θ b m} = δ ab δ mn. () These copies can be regarded as obtained by the quantization of the -th symmetric product Sym M of the plane wave target space M. The Hilbert space of this quantum mechanical orbifold can be decomposed into the direct sum of twisted sectors H = [γ] H [γ] (2) labeled by conjugacy classes [γ] of the symmetric group S described by [γ] = () (2) 2...(s) s (3) where n is the multiplicity of the cyclic permutation (n) of n elements. In each twisted sector, one should keep only the states invariant under the centralizer subgroup C g of g C g = s n= S n Z n n (4) where each factor S n permutes the n cycles (n), while each Z n acts within one particular cycle (n). 3

5 The Hilbert space H [γ] of each twist sector can be decomposed into the grade n -fold symmetric tensor products of the Hilbert speces H n which correspond to the cycles of length n s s H {n} = S n H n = n= n= ( Hn Hn... H n }{{} n times ) Sn (5) where the space H n is Z n invariant subspace of the Hilbert space of the quantum mechanical orbifold model of 6n bosonic fields p i n and xi n, and 6n fermionic fields θa n and θ n a. The resulting Hilbert space of the quantum mechanical orbifold model is a sum over multi-string Hilbert spaces [22] [24]. via Consider the operator Σ mn that implement a simple transposition of two string bits Σ nm X m = X n Σ nm, Σ nm X k = X k Σ nm k m, n (6) with X n = {p i n, xi n, θa n, θ a n }. By acting with Σ mn on a given multi-string sector, we get a different multi-string sector via [2] Σ mn : H γ H γ with γ = γ (mn). (7) When two sites m and n in the sector γ correspond to one single string with length or two separate ones with lengths and ( ), the new sector γ corresponds to either splitting the single string in two pieces of length (m n) and ( m + n), or joining the two strings to one of length. The light-cone supersymmetry generators and Hamiltonian of the free string theory are [20] with Q 0 = Q (0) ȧ + λ Q () ȧ, H 0 = H (0) + λ H () γ + λ 2 H (2) γ (8) Q (0) ȧ = n (p i nγ i θ n x i n(γ i Π) θ n ), Q () ȧ = n (x i γ(n) x i n)γ i θ n H (0) = n ( 2 (p2 i,n + x2 i,n ) + 2i θ n Πθ n ), H () γ = n i(θ n θ γ(n) θ n θγ(n) ) (9) H (2) γ = n 2 (xi γ(n) x i n) 2 (0) 4

6 and 2 The interaction terms are assumed to be [20] λ 2 = g2 Y M N 8π 2. () Qȧ = Qȧ0 + g 2Sȧ, H = H 0 + g 2 V + g 2 2 V 2, (2) where g 2 is genus parameter 2 /N. By introducing the S invariant operator Σ = 2 n<m Σ nm (3) the interaction terms can be determined by the light-cone supersymmetry algebra, and are given by [20] Sȧ = [ Qȧ0, Σ ], V = [ H 0, Σ ], δȧḃ V 2 = {Sȧ, Sḃ } + { Sȧ, Sḃ } (4) where Qȧ0 and H 0 are the light-cone supersymmetry generators and Hamiltonian of the free strings. 3 Three-point interaction functions in the interacting string bit model To construct the twisted vacuum states, let us first introduce the ground state twist operator Σ (n) that translates the string bit X I within the individual string (n) by one unit The untwisted vacuum state 0 > is defined by Σ (n) X I = X I+ Σ (n) I =, 2,..., n. (5) a i m 0 >= 0, β a m 0 >= 0 (6) 2 From [],[4] and [26], we know that for free string, the λ 2 is identified as gn 2π with g2 Y M = 4π g, so the parameter λ 2 should be g2 Y M N 8π, which is different from that in [20] with extra factor 2 8π. 2 5

7 with a i m = 2 (x i m + pi m ) β a m = 2 (θ a m i θ a m ) ai + m = 2 (x i m pi m ) βa + m = (θm a + i θ m a ) (7) 2 and the untwisted vacuum state 0 > is normalized as < 0 0 >=. (8) Then the twisted vacuum state n > is defined as n >= Σ (n) 0 > (9) with a i m n >= 0, βa m n >= 0, < n n >= (20) which can be easily seen from the definition of Σ (n). The arbitrary group element γ S has the decomposition (n )(n 2 )... (n l ) (2) where each cycle of length n α has a definite set of indices ordered up to a cyclic permutation and generates the action of the subgroup Z nα. Due to this decomposition, the operator Σ (γ), V γ can be expressed l l Σ (γ) = Σ (nα), V γ = V (nα) (22) α= α= where V γ is the operator defined in the twisted sector H γ. To define an invariant operator V [γ], we first introduce the operator V γ corresponding to a fixed element γ S. Under the group action, V γ transforms into V h γ h [27], so the invariant operator V [γ] is the sum over all operators from a given conjugacy class V [γ] = V h! γ h. (23) h S 6

8 Any correlation function of the operators invariant under centralizer subgroup C g should be invariant with respect to the global action of the symmetric group [27] < V g V g2... V gl >=< V h g hv h g 2 h... V h g l h > (24) and the correlation function < V g V g2 V g3 > (25) does not vanish only if 3 g 3 g 2 g =. (26) The one-string state operator O p considered in [] O p = N +2 should be identified in the interacting string bit model as [20] e 2π ipl/ Tr(φ Z l ψ Z l ) (27) l= Op = ( a + k e 2π ipk/)( b + l e2π ipl/) (28) k= l= which describes the one-string state and is invariant under the centralizer subgroup Z. In [3] and [4], it was shown that the sum should start from l = 0 instead of l = and this small difference has drastic consequences. In particular the operator with sum beginning at l = does not reduce to a chiral primary for n 0. Thus the operator O p should be defined as Op = ( a + k e 2π ipk/)( b + l e2π ipl/) (29) k=0 l=0 however, one can easily show that for large in the interacting string bit model, the definition (29) gives the same results for the three-point and one-loop amplitudes as (28). So in the following calculation, we choose (28). 3 We should also include g g 2 g 3 =, however, the action of the operator Σ mn on the Hilbert space is defined Σ mn : H γ H γ with γ = γ (mn), so only g 3 g 2 g = is selected [20]. 7

9 To construct the invariant state O p >, we introduce the operator O p,γ Op,γ = ( a + γ (k) e 2π ipk/)( b + γ (l) e2π ipl/) (30) k= l= where γ indicates one-cycle, i.e., one-string state. The operator O p,γ is invariant under the transformation of the centralizer subgroup Z, and normalized as < 0 O + p,γ O p,γ 0 >=. (3) Then the invariant single string state O p > can be defined as Op >= α Op,h! γ h Σ (h γ h) 0 > (32) h S where α is the normalization factor which can be determined by < O p O p >=. (33) By the centralizer subgroup Z, the normalization of the state O p > determines α = The two-string state operator O q,γ 2 can be constructed as!. (34) O q,γ 2 = ( k= )( a + γ 2 (k) e 2π iqk/ l= ) b + γ 2 (l) e2π ipl/ (35) where γ 2 is decomposed as ( )( 2 ) with 2 =, that is, two cycles, and the operator O q,γ 2 is invariant under the transformation of the centralizer subgroup Z Z2. Then the invariant two-string state O q O q >= β! > can be described as h S O q,h γ 2 h Σ (h γ 2 h) 0 >. (36) The normalization of the state O q > gives! β = ( ) (37) 8

10 where we have used the centralizer subgroup Z Z2. The two-string state (36) corresponds to the state in N = 4 SYM theory [] and [4] N +2 e 2π iql/ Tr(φ Z l ψ Z l ) 0 >. (38) l= The other type two-string state operator O 2 0,γ 2 can be constructed by O 2 0,γ 2 = ( ) ( )( a + ) γ 2 (k) b + γ 2 (l) k= l= + (39) which is invariant under the transformation of the centralizer subgroup Z Z2, and normalized as < 0 O 2 + 0,γ 2 O 2 0,γ 2 0 >=. (40) The corresponding normalized and invariant two-string state is O 2 0 >= β! O 2 0,h γ 2 h Σ (h γ 2 h) 0 > (4) h S where the centralizer subgroup Z Z2 is exploited. The two-string state O 2 0 > corresponds to the following state in N = 4 SYM theory [] and [4] N +2Tr(φ Z ) Tr(ψ Z ) 0 >. (42) Now let us consider the three point interaction between the single string state O p > and the two-string state O q > Inserting (4), (30) and (36) into (43), we have Op g 2V O q 2 Op g 2 V O q. (43) 2 = g 2 λ 2 αβ (!) 2 h,h S 0 Σ (h γ h)o + p,h γ h [H(2) γ, Σ] O q,h γ 2 h Σ (h γ 2 h ) 0 (44) where the leading order Hamiltonian H (0) has been removed, since it is permutation invariant. The states O p >, O q > do not contain the fermionic operator, so the first 9

11 order Hamiltonian λ H γ () does not contribute to the above three-point interaction function. Only the second order Hamiltonian λ 2 H γ (2) does not vanish. On the subspace of one-string and two-string state, the operator [H γ (2), Σ] takes form 0 H γ (2) Σ ΣH γ (2) 2 γ (45) H γ (2) 2 Σ ΣH γ (2) 0 γ 2 where γ, γ 2 represent one-string, two-string state respectively. By exploiting (3), (24) and (45), the three-point interaction function (44) can be recast into Op g 2V O q = 2 g 2 λ 2 0 Σ (h 2 ( ) γ h)o + p,h γ h h S m<n (H (2) h γ h Σ mn Σ mn H (2) γ 2 )O q,γ 2 Σ (γ2 ) 0. (46) Since the state O q is two-string state, to obtain the single string state Op, the 2 variables m and n should take the following values m,, + n (47) and the above three-point interaction function can be rewritten as Op g 2V O q = 2 g 2 λ 2 2 ( ) h S m= n= + 0 Σ (h γ h)o + p,h γ h (H (2) h γ h Σ mn Σ mn H (2) γ 2 )O q,γ 2 Σ (γ2 ) 0. (48) Applying the centralizer subgroup Z Z2, the (48) can be reduced to Op g 2 V O q = g 2 λ 2 ( ) 2 2 ( ) h S 0 Σ (h γ h)o + p,h γ h (H (2) h γ h Σ Σ H (2) γ 2 )O q,γ 2 Σ (γ2 ) 0. (49) By the centralizer subgroup Z and the condition (26), we arrive at Op g 2V O q 2 = g 2 λ 2 ( ) 0 Σ (γ )O + p,γ (H (2) γ Σ Σ H (2) γ 2 )O q,γ 2 Σ (γ2 ) 0 (50) 0

12 with γ 2 γ γ =. (5) To simplify the following the calculation, we choose then (5) gives γ = (, 2, 3,..., ) (52) γ 2 = γ γ = ( ,, }{{} times )( ), +,... 2, }{{} times (53) and the operators O + p,γ and O q,γ 2 are simply given by Op,γ + = ( m= O a + me 2π ipm/)( q,γ 2 = ( a + m e 2π iqm/ + a + m= b + ipl/) l e 2π l= )( l= b + l e2π iql/ + b + ) (54) where we have used the fact that the operators O + p,γ and O q,γ 2 are invariant under the transformation of the centralizer subgroup Z, Z Z2 respectively. From (0), (52) and (53), the second order Hamiltonians H γ (2), H γ (2) 2 for the one-string and two-string state can be read off Then we have H (2) γ = 2 H (2) γ 2 = i= 8 i= 2 m= + [ m= [ 2 m= H (2) γ Σ Σ H (2) γ 2 = (x i m+ xi m )2 + (x i xi )2] (x i m+ xi m )2 + (x i xi )2 + (x i + xi ) 2 (x i m+ x i m) 2 + (x i x i ) 2 + (x i x i ) 2]. (55) 8 i= ( a i+ + ai + ai+ ai + + ai+ ai + a i+ a i a i+ + ai a i+ a i + ai+ ai ai+ ai ) Σ. (56)

13 Plugging (54) and (56) into (50), we get Op g 2V O q = g 2λ 2 π 2 x sin π( p + q ) x sin π( p q ) sin2 π px (57) where x = / and we have used the relation 0 Σ γ Σ Σ γ γ 0 = which can be derived by (7) and (5). In the BMN operators, p, q are very small [], so (57) can be approximated as Op g 2V O q g 2λ 2 π 2 x x q + px q px sin2 π px (58) which agrees with the three-point interaction function calculated from the perturbative SYM theory [4]. Here we should stress that the three-point interaction function calculated from the interacting string bit model is (57). Only in the case of the small p and q, the (57) can be approximated to (58). From the interacting string bit model point, the (58) is not proper expression for general value of p and q, which is crucial in the below to understand why the second order correction to the anomalous dimension derived from the interacting string bit model differs from that from the N = 4 SYM theory. Next we consider the other three-point interaction function including the operator O 2 0,γ 2 Op g 2V O = g 2 λ 2 αβ (!) 2 h,h S 0 Σ (h γ h)o + p,h γ h [H(2) γ, Σ] O 2 0,h γ 2 h Σ (h γ 2 h ) 0. (59) In the similar way, we have Op g 2V O = g 2 λ 2 ( ) 0 Σ (γ )Op,γ + (H (2) γ Σ Σ H (2) γ 2 )O 2 0,γ 2 Σ (γ2 ) 0. (60) Inserting (54), (39), (52), (53), (56) into (60), we obtain that Op g 2V O 2 0 = g 2λ sin 2 π px (6) 2 π 2 2

14 which is exactly the same as that derived from the perturbative SYM theory [4]. From (58), (6), we find that the three-point interaction functions Op g 2V O and Op g 2 V O 2 0 obtained from the interacting string bit model precisely match 2 to those derived from the N = 4 SYM thoery. Instead of identifying the three-point function in the string bit model with those in the free SYM theory [20], in the above we have heavily exploited the first order interacting operator V = [H (2) γ, Σ] or the invariant permutation operator Σ to carry out our calculation. 4 The second order correction to the anomalous dimension In [4], the anomalous dimensions of BMN operators at the order g 2 2 and λ was calculated from the formula of the non-degenerate second order perturbation theory (2) p = q p V pq 2 E (0) p E (0) q In terms of the interacting string bit language, the (2) p is given by [20] (2) p = O p g2 2 V Σ O p Plugging (3), (4) and (32) into (63), we have (2) p = α2 g2λ Σ 4 (!) 2 (h γ h)o + p,h γ h h,h S r<s k<l. (62). (63) (H (2) h γ h Σ rsσ kl Σ rs H (2) h γ h γ kl Σ kl )O p,h γ h Σ (h γ h ) 0. (64) Since the correlation function is invariant with respect to the global action of the symmetric group (24), and the one-string state () can be split into two-string state (n)( n), (64) can be expressed (2) p = g2 2 λ2 5 h S r<s n 0 Σ (h γ h)o + p,h γ h n= k= { 3

15 (H (2) h γ h Σ rsσ k,k+ n Σ rs H (2) γ γ k,k+ n Σ k,k+ n)o p,γ Σ (γ ) 0 + n n= k= 0 Σ (h γ h)o + p,h γ h (H (2) h γ h Σ rsσ k,k+n Σ rs H (2) γ γ k,k+n Σ k,k+n)o p,γ Σ (γ ) 0 }. (65) By the centralizer subgroup Z and the identity Cγ,n+ C = γ n with C = (,, 2,...,32) (66) we can transform Σ k,k+ n and Σ k,k+n into Σ n. Gluing the intermediate two-string state (n)( n) into one-string state (), r, s have to take the following value then (65) can be reduced to (2) p = g2 2λ 2 3 r n n + s (67) n n= r= s=n+ 0 Σ (γ )O + p,γ (H (2) γ Σ rs Σ n Σ rs H (2) γ γ n Σ n)o p,γ Σ (γ ) 0 (68) with γ γ nγ rs γ = (69) which can be derived from (7). To simplify the following calculation, we choose γ = (23..., ) (70) then we have γ γ n = (23... n)(n +, n + 2,...,, ) γ = (2..., r, r, s +, s + 2,...,,, n +, n + 2,...,s, s, r +, r + 2,...,n, n). (7) 4

16 From (70), the operator Op,γ can be written as Op,γ = ( a + k e 2π ipk/)( b + l e2π ipl/) (72) k= l= where we have used the invariance of the operator Op,γ under the transformation of the centralizer subgroup Z. From (7), the operator Op,γ can be read off O p,γ = + + s ( r k=n ( r l= s l=n k= a + k+ e 2π ipk/ + k=s a + k+ e 2π ip(+r s n+k)/ + b + l+ e2π ipl/ + l=s b + l+ e2π ip(+r s n+l)/ + a + ip(r s+k)/ k+e 2π n k=r b + ip(r s+l)/ l+e2π n l=r a + k+ e 2π ip( n+k)/ + a + b + l+ e2π ip( n+l)/ + b + ). (73) By exploiting the invariance of the operator O p,γ under the transformation of the centralizer subgroup Z, the operator O p,γ can be expressed as Op,γ = ( r n a + k e 2π ipk/ + a + ip( n+k)/ k e 2π k= k=r+ s + a + k e 2π ip(r s n+k)/ + a + ip(r s+k)/) k e 2π k=n+ k=s+ ( r n b + l e2π ipl/ + b + ip( n+l)/ l e2π l= l=r+ s + b + l e2π ip(r s n+l)/ + b + l e2π ip(r s+l)/). (74) l=n+ l=s+ From (7) and (0), the operators H (2) γ, H (2) γ γ n H (2) γ = 2 8 i= [ r m= + (x i xi n )2 + can be read off (x i m+ xi m )2 + (x i s+ xi r )2 + s m=n+ n m=r+ (x i m+ xi m )2 + (x i r+ xi s )2 5 ) (x i m+ xi m )2

17 H (2) γ γ n + = 2 + m=s+ 8 [ n i= m=n+ From (75) and (6), we have (x i m+ x i m) 2 + (x i n+ x i ) 2] m= (x i m+ xi m )2 + (x i xi n )2 (x i m+ x i m) 2 + (x i n+ x i ) 2]. (75) Σ rs Σ n δ H = H γ (2) Σ rs Σ n Σ rs H (2) γ γ Σ n n 8 [ = Σ rs Σ n (x i 2 s x i r )2 + (x i r xi s )2 i= (x i r x i r ) 2 (x i s x i s ) 2]. (76), the nonvanish- Since the operators Op,γ, Op,γ only contain the bosonic operators a + k, b+ l ing contribution for δ H Op,γ is δ H O p,γ Σ (γ ) 0 = ( a + r a r + a + r a r + a + s a s + a + s a s a + s a r a + r a s a + r a s a + s a r Inserting (77), (74) into (68), we have (2) p = g2 2 λ2 5 + b + r b r + b + r b r + b + s b s + b + s b s b + s b r b + r b s b + r b s b + s b ) r ( a + k e 2π ipk/)( b + l e2π ipl/) Σ (γ ) 0. (77) k= l= n n= r= s=n+ (e 2π ip/ e 2π ip/ ) { r[2e 2π ip(s r)/ e 2π ip(s r n)/ e 2π ip(s r+n)/ ] + s[2e 2π ip(s r)/ e 2π ip(s r n)/ e 2π ip(s r+n)/ ] + n[ 2e 2π ipn/ + e 2π ip(s r n)/ + e 2π ip(s r+n)/ ] + [ e 2π ipn/ + e 2π ip(s r n)/ e 2π ip(s r)/ ] (p p) }. (78) 6

18 For large, we can replace the variables by z r = r/, z s = s/, z n = n/, then the sum can be approximated by the integral. After integrating z r, z s, we have (2) p = g2 2 λ 4π 2π ip 2 0 dz n [ 24 (2π ip) 3 + (2z n 3 3z n 2 + z n )(e 2π ipzn e 2π ipzn ) ] = 0. (79) The second order correction to the anomalous dimension derived from the perturbative SYM theory is [4] (2) p = g2 2λ 4π ( π 2 p2) (80) which is different from that obtained from the interacting string bit model (79). In the interacting string bit model, (0) p (0) q is (0) p (0) q = g2 Y M N (sin 2 π p 4π 2 π q sin2 ). (8) Plugging a complete set of the intermediate states into (63), and exploiting (57), (6) and (8), then (63) can be written as (2) p = 0 dx ( B (p) + q Z A p q ) (82) with and B (p) = g2 2λ 3 π 2 sin 4 π px sin 2 π p (83) A p q = g 2 2 2λ sin 2 π ( p x( x) + q ) π2 sin 2 π ( p q )(sin 2 π p sin2 π q ) sin4 π px. (84) When p and q are very small, A p q is approxiamted to A p q g2 2 λ (px + q) x( x) π4 (px q) 3 sin4 π px. (85) In [4], the (80) is obtained by exploiting (85) and the relation q Z (px + q) (px q) 3 = π2 csc 2 π px ( + 2π px cot π px). (86) 7

19 with However, in the interacting string bit model, we should consider the sum Only when p and q are very small, S p q Sq p (87) q Z S p q = sin 2 π ( p + q ) sin 2 π ( p q )(sin 2 π p sin2 π q ). (88) can be reduced to S p q (px + q) (px q) 3 (89) but in the sum q Z Sq, p q is not always small. This is the reason that the second order correction to the anomalous dimension calculated from the interacting string bit model does not match with that derived from the perturbative SYM theory. 5 Summary and discussion In the above, we have developed new approach to consistently construct the string states O p >, O q > 2 and O 2 0 > 2 in the Hilbert space of the quantum mechanical orbifold model in order to calculate the three-point and one-loop amplitudes from the interacting string bit model by exploiting the operator Σ. Since the Hilbert space of the quantum mechanical orbifold model can be decomposed into the direct sum of the Hilbert spaces of the twisted sectors, and each twisted sector describes the states of several strings, the construction of the string states O p >, O q > 2 and O 2 0 > 2 has been realized by the fact that the vacuum state of a twisted sector can be described by the ground state twist operator. We have shown that for three-point interaction between a one-string state and a two-string state, the results obtained by interacting string bit model precisely match with those computed from the perturbative SYM theory in BMN limit. However, for the second order correction to the anomalous dimension of BMN operator O p, we have found there is a discrepancy between two approaches. This is because in the SYM theory the sum is q Z T p q with T p q = (px + q)/(px q) 3, but in the interacting string bit model, 8

20 we have the sum q Z Sq p with Sp q = sin2 π ( p + q )/ sin 2 π ( p q )(sin 2 π p sin2 π q ). Only when p and q are very small, Sq p can be reduced to T q p. However, in the sum q Z Sq p, q is not always small, thus the difference arises. We should emphasize that in our calculation, we have heavily exploited the operator Σ, but have not identified the three-point function in the string bit model with that in the free SYM theory. In (), we have introduced copies of supersymmetric phase space coordinates, and the operator Op is identified in the interacting string bit model as (28). One may wonder if the second order correction to the anomalous dimension derived from the interacting string bit model can be modified so as to match with that in the SYM theory by introducing + copies of supersymmetric phase space coordinates, and the operator O p instead defined as (29), but after some calculation, we find that is not the case 4. One possible remedy to this mismatch is to add some extra terms to V. These extra terms should be highly constrained by the requirement that they preserve the space-time supersymmetry algebra, and keep three-point interaction unchanged, as well as the existence of a continuum limit. In [5], a mismatch between perturbative SYM and string results on the torus level anomalous dimensions was found. It was shown that the unitarity sum in [4] and the expression for the 3-string vertex in [6] yields contradictory results for the torus level anomalous dimension of some particular BMN operators. The resolution suggested in [5] was to include the contact terms in string perturbation theory computations. This might give us a hint about how to reconcile the torus level contradiction between N = 4 SYM thoery and the interacting string bit model. The other possible remedy is to introduce Cuntz osillators [28] instead of the harmonic ones. It would be interesting to construct the interacting string bit model in terms of Cuntz osillators and see whether both approaches match with each other. We hope to return to these issues in near future. Acknowledgments I thank M. Walton for useful discussion. This work was supported by NSERC. 4 The importance of the summation range 0... was recognized in the SYM theory in [3] and [4]. 9

21 References [] D. Berenstein,. Maldacena, H. Nastase, Strings in flat space and pp waves from N = 4 super Yang Mills, hep-th/ [2] R. R. Metsaev, Type IIB Green-Schwarz superstring in plane wave Ramond- Ramond background, Nucl. Phys. B 625, 70 (2002), hep-th/02044; R. R. Metsaev, A. A. Tseytlin, Exactly solvable model of superstring in plane wave Ramond-Ramond background, hep-th/ [3] C. Kristjansen,. Plefka, G. W. Semenoff, M. Staudacher, A New double-scaling limit of N=4 super Yang-Mills theory and pp-wave strings, hep-th/ [4] N.R. Constable, D.Z. Freedman, M. Headrick, S. Minwalla, L. Motl, A. Postnikov, W. Skiba, PP-wave string interactions from perturbative Yang-Mills theory, hepth/ [5] D. Berenstein and H. Nastase, On lightcone string field theory from super Yang-Mills and holography, hep-th/ [6] M. Spradlin, A. Volovich, Superstring interactions in a pp-wave background, hepth/ [7] R. Gopakumar, String Interactions in PP-waves, hep-th/ [8] Y. Kiem, Y. Kim, S. Lee,. Park, PP-wave/Yang-Mills Correspondence: An explicit check, hep-th/ [9] M. Huang, Three point functions of N=4 super Yang Mills from light cone string field theory in pp-wave, hep-th/02053; String interactions in PP-wave from N = 4 super Yang-Mills, hep-th/ [0] C. Chu, V.V. Khoze, G. Travaglini, Three-point functions in N=4 super Yang-Mills theory and pp-wave, hep-th/

22 [] P. Lee, S. Moriyama,. Park, Cubic Interactions in PP-wave light cone string field theory, hep-th/ [2] M. Spradlin and A. Volovich, Superstring interactions in a pp-wave background II, hep-th/ [3] C. Chu, V.V. Khoze, G. Travaglini, PP-wave string interactions from n-point correlators of BMN operators, hep-th/ [4] I. R. Klebanov, M. Spradlin, A. Volovich, New Effects in Gauge Theory from pp-wave Superstrings, hep-th/ [5] U. Gursoy, Vector operators in the BMN correspondence, hep-th/ [6] C. Chu, V.V. Khoze, M. Petrini, R. Russo, A. Tanzini, A note on string interaction on pp-wave background, hep-th/ [7] N. Beisert, C. Kristjansen,. Plefka, G.W. Semenoff, M. Staudacher, BMN correlators and operator mixing in N=4 Super Yang-Mills theory, hep-th/ [8]. H. Schwarz, Comments on superstring interactions in a plane-wave background, hep-th/ [9] A. Pankiewicz, More comments on superstring interactions in the pp-wave background, hep-th/ [20] H. Verlinde, Bits, matrices and /N, hep-th/ [2] C. Vafa, E. Witten, Strong coupling test of S-duality, Nucl.Phys. B43 (994) 3, hep-th/ [22] L. Motl, Proposals on nonpertubative superstring interactions, hep-th/ [23] T. Banks, N. Seiberg, Strings from matrices, Nucl. Phys. B497 (997) 4, hepth/

23 [24] R. Dijkgraaf, E. Verlinde and H. Verlinde, Matrix string theory, Nucl. Phys. B 500 (997) 43, hep-th/ [25] G. Bonelli, Matrix strings in pp-wave backgrounds from deformed super Yang-Mills theory, hep-th/ [26] D.. Gross, A. Mikhailov, R. Roiban, Operators with large R charge in N=4 Yang- Mills theory, hep-th/ [27] G. Arutyunov, S. Frolov, Four graviton scattering amplitude from S N R 8 supersymmetric orbifold sigma model, Nucl.Phys. B524 (998) 59, hep-th/ [28] R. Gopakumar, D.. Gross, Mastering the Master Field, Nucl.Phys. B45 (995) 379, hep-th/