P e r t u r b a t i v e S t u d y o f C o n c e n t r i c B r a n e s i n P l a n e - W a v e M a t r i x M o d e l and Development of Mathematical Formalism for Wigner J-Symbols by Ali Reza Mohazab B . A S c , The University of British Columbia, 2004 A THESIS S U B M I T T E D IN P A R T I A L F U L F I L M E N T O F T H E R E Q U I R E M E N T S F O R T H E D E G R E E O F Master of Science in The Faculty of Graduate Studies (Physics) The University Of British Columbia March 2007 © Ali Reza Mohazab 2007 Abstract Expansion and computation of quantities around various (fc x N) x (fc x N) vacuua in B M N theory results in introduction of Matrix spherical harmonics and various traces of their products. In this thesis the formalism to deal with these harmonics is developed and a few bosonic diagrams that arise in computation of Tr(XaXa) are computed as an example. It is then seen that the large N limit is dominated by a planar subclass of these diagrams with a particular topology. This suggests a stronger constraint than that of 't Hooft. 11 Table of Contents Abstract ii Table of Contents iii List of Figures v Acknowledgements vi Dedication vii 1 Introduction 1 1.1 Matrix Model .4 1.2 Matrix Theory and M-theory 4 1.3 Plane-Wave Matrix Model 5 2 Math Machinery 7 2.1 Matrix Spherical Harmonics 7 2.1.1 Matrix Scalar Spherical Harmonics . . . : 8 2.2 Matrix Vector Spherical Harmonics 9 2.2.1 Matrix Spinor Spherical Harmonics 10 2.3 Wigner Symbols 10 2.3.1 Wigner 3j-symbols 10 2.3.2 Wigner 6j-symbols 12 2.3.3 Wigner 9j-symbols 12 2.3.4 Wigner Symbols Summation Identities 13 2.4 Traces over Spherical Harmonics 14 3 Further Study of B M N 19 3.1 Vacuum Solution 19 3.1.1 Membrane Interpretation 20 3.1.2 Fivebrane Interpretation 20 3.2 Expansion About the Vacuua 20 iii Table of Contents 3.3 Exact Spectrum in the Large fj, Limit 21 3.4 t' Hooft Limit 23 3.4.1 Some Intro Material 23 3.4.2 Double-Line Notation 24 4 Some Expl ic i t Calculations 25 4.1 Large N Behaviour 29 5 Conclusion and W r a p U p 35 Bibl iography 36 Lis t of Figures 1.1 Open strings and D-Branes 2 1.2 Dualities between various string theories 3 3.1 Planar and non-planar diagrams in t' Hooft double line notation 24 4.1 Al l possible second order diagrams 31 Acknowledgements I would like to thank the faculty members and students of the string group especially Greg Van Anders whose various collaborations especially on J-symbol identities is much appreciated, and my dear Supervisor Dr. Mark Van Raamsdonk who has been a role model both academically and non-academically. I would also like to thank Dr. Ariel Zhitnitsky, who first introduced me the joy of theoretical physics. vi Dedicat ion To my family. vii C h a p t e r 1 Introduction String theory is a theory that seeks to combine all the fundamental forces in nature in one fundamental theory. These forces are Electro-magnetism, the Weak force, the Strong force and gravity. The first three have been successfully combined in what is called the Standard Model. The Standard Model is essentially a gauge theory with SU(3) x 5(7(2) x U(l) symmetry. To deal with gravity, one has the theory of General Relativity that ex-plains gravity in large scales quite well. But this theory is classical in nature and is bound to fail in small scales in which quantum effects come into play. One example that such situation arises is in study of black holes. In other words the real challenge is coming up with a quantum theory of gravity. Numerous attempts to incorporate gravity into the Standard Model, as a simple gauge theory, have failed thus far. So far string theory is the only theory that has provided a consistent theory of quantum gravity. But string theory is more than a mere consistent quantum gravity the-ory. Contrary to the Standard Model, string theory does not have any free parameters. This means that all properties of the nature including that of the elementary particles should be derived from basic principles. In the Standard Model one has free parameters whose values are set by experiments and are not derived from fundamental principles. In string theory it is assumed that the elementary particles are not really particles but rather different modes of string like extended objects called fundamental string. This theory was first proposed as a theory to explain the strong force, but it turned out that Quantum Chromodynamics or Q C D (which is now part of the Standard Model) does a much better job. Naturally string theory was abandoned in favour of Q C D . It was once again revived as a consistent theory of quantum gravity, by Green and Schwarz. This time the size and scale of the strings were considered to be much smaller than of the strings that were supposed to explain the strong force. This revival of string theory is commonly referred to as the first superstring revolution. The fact that one has the prefix super in front of the word string is that in order to have a consistent string theory free 1 Chapter 1. Introduction of anomalies, and also having the possibility to have fermionic strings (that can lead to explaining fermions), one needs to introduce a new symmetry to string action, namely the supersymmetry. Coming up with a consistent string theory, free of anomalies, is not an easy job. After the first string revolution people came up with only five such theories: Type I, Type IIA, Type IIB and two theories called Heterotic superstring theories which are denoted by HE and HO. Yet the question remained that which one of these theories was the true description of nature. Closely related to the concept of string are D-branes. D-branes or Dp-branes are objects in string theory that emerge when dealing with open strings. Open strings (which are oriented) start and terminate on D-branes. The D at the beginning of brane stands for Dirichlet, and has roots in Dirichlet boundary condition that is imposed to string ends. D-branes have gained much importance in recent years and are consid-ered important objects in their own merit and are related to other fundamen-tal objects that appeared after the second superstring revolution, explained shortly. For example, by arranging D-branes in space and therefore con-stricting where Open strings can live (or rather start and end) , one can generate different gauge theories. It is also possible to write an action which describes a particular Dp-Brane. In 1995 Ed. Witten and others showed that the five different superstring theories are related to one another through some dualities and they all seem to be limits of a more fundamental theory, that he named the Ad-theory. This is commonly referred to as the the second superstring revolution. Since the second superstring revolution, M-theory has emerged as the Figure 1.1: Open strings and D-Branes 2 Chapter 1. Introduction primary candidate for the (yet unknown) theory of everything combining standard model and the general theory of relativity. Nobody completely un-derstands or has fully formulated M-theory yet. When formulated, M-theory would combine all five superstring theories and the eleven-dimensional su-pergravity. As mentioned earlier, it was shown that various string theories are related to each-other, supergravity and M-theory through a series of dualities and limits. Figure 1.2: Dualities between various string theories M-theory can be thought of in a number of ways. • It can be understood as a quantized version of the 11D supergravity. The problem is that nobody really knows how to quantize supergravity. • It can be understood as strong coupling limit of type IIA string theory. More precisely, the weak coupling of M-theory when the 11th dimen-sion is compactified (S1 Topology) results in 10D IIA string theory. The smaller the coupling the smaller the radius of the circle is. • It can also be understood as the strong coupling limit of H E . This 3 \ Chapter 1. Introduction time the 11th dimension is a line interval (rather than a circle), and gets smaller as the coupling gets smaller. M-theory contains two kinds of extended objects: supermembranes (2-branes) and 5-branes. P-branes (where p is the dimension) in M-theory are related to Dp-Branes in string theory. For example a 2-brane can be thought as a string in type IIA string theory (if it is wrapped around the eleventh dimension) or as a D2-brane (if it is not wrapped around the eleventh di-mension). 1.1 M a t r i x M o d e l Matrix theory first appeared as light-front quantization of membrane theory, in which infinitely many degrees of freedom of the membrane were replaced with N x N (finitely many) degrees of freedom of matrices. The theory approaches continuous membrane theory for N —> oo. The Hamiltonian is H0 = R T r ( ^ U 2 A - ^ [ X A , X B ] 2 - ^ T ^ A [ X A , ^ A,B = !,-•• ,9. (1.1) X and \I/ are Hermitian N x N matrices. 11^ is the matrix of the canon-ically conjugate momenta. One'remarkable fact is that the same U(N) matrix theory arises as the regularization of a theory describing a membrane of any genus g. Although the matrix action arises from regularizing a single membrane, it contains more structure than the smooth membrane theory that one is approximat-ing. For example, matrix configuration with large values of N can approxi-mate any system of multiple membranes with arbitrary topologies, whereas the original continuous membrane theory clearly describes only one mem-brane. The greater structure of Matrix theory has to do with its second-quantized nature. 1.2 M a t r i x Theory and M - t h e o r y In 1996, motivated by developments in D-Branes and dualities, Banks, Fis-cher, Shenker and Susskind (BFSS) conjectured that large N limit of the above supersymmetric matrix quantum mechanics model should describe all of M-theory in a light-front coordinate system. Susskind later argued that the finite N matrix quantum mechanics theory should be equivalent to the 4 Chapter 1. Introduction discrete light-front quantized sector of M-theory with N units of compact momentum. It should be emphasized that although the matrix model of BFSS con-jecture is precisely the same matrix model that is obtained from super-membrane theory, the starting point and the derivation of the two were completely different. BFSS matrix model comes from the low-energy La-grangian for the system of N type IIA DO-branes, which is the matrix quan-tum mechanics Lagrangian arising from the dimensional reduction to 0 + 1 dimensions of the 10D super Yang-Mills Lagrangian. BFSS model is a very difficult model to study for a variety of reasons. It has flat directions in the potential. Furthermore it is difficult to distinguish single-particle and multi-particle states. It doesn't have a tunable coupling constant either, so perturbation theory or any other similar weak interaction approximation does not make sense for it. 1.3 Plane-Wave Ma t r ix Mode l A massive deformation of BFSS model was proposed by Berenstein, Malda-cena, and Nastase with the Hamiltonian: i=i a = 4 It was shown that this model, in its large N limit, describes M-theory on maximally supersymmetric pp-wave: 9 / 3 2 9 2 \ ds2 = -2dx+dx~ + dxAdxA - + Yl dx+dx+ A=l \i=1 9 a=4 3 6 / ^123+ = P (1.3) As a matter of fact it can be shown that this matrix model can be derived as regularized theory of light-cone gauge supermembranes in the maximally supersymmetric pp-wave background. This model for a non-zero p is much nicer than BFSS and allows further study and perturbative expansion. The focus from hereon will be on this model. Plane-wave matrix model is sometimes called B M N matrix model. As mentioned earlier, M-theory has 5D extended objects known as 5-branes. In this thesis these 5-brane objects for pp-wave matrix model will be studied in more detail and some perturbative calculations will be performed. 5 Chapter 1. Introduction Before examining B M N model any further, it is necessary to develop some math formalism that becomes useful in later analysis. 6 C h a p t e r 2 M a t h Mach ine ry 2.1 Matrix Spherical Harmonics It is known from quantum mechanics and basic group theory that spherical harmonics form a complete basis for expanding scalar functions on a sphere. A formalism exists through which the concept of spherical harmonics can be generalized to expand any-spin spinor field on a sphere. Although in principle one can expand different components of say a vector field that lives on a sphere, with regular spherical harmonic, this expansion will not behave nicely under rotation. It is desired that the eigenfunctions behave similarly to the expanded spinor function under rotation. Below one formalism is explained which is based after Edmonds[4]. For another formalism see [1]. The formal way to generate any-spin spherical harmonics is YjlM(d,<i>) = ^2Yltmeg(s,m;s,g\J,M) (2.1) m,q where Y^m is a regular spherical harmonic, (s, m; s, q\J, Mi}is the Clebsch-Gordan coefficient, s is the desired spin and eq is an appropriate basis for unit spinors. For example vector spherical harmonics can be generated as YjhM{0A) = Y/Yl,meQ(s,m;s,q\J,M) (2.2) m,q and the basis is defined as follows. 1 e + i = -^{ex + tey) eo = e2 e-i = —f={ex-iey) 7 Chapter 2. Math Machinery 2.1.1 Matr ix Scalar Spherical Harmonics The concept of continuous Spherical Harmonics can be generalized to matri-ces. In this case an N x N matrix A can be expanded as A = ClmYim where repetition of index implies summation and matrix indices are suppressed and Y / m ' s are Matrix Spherical Harmonics. Matrix Spherical Harmonics satisfy the following equations: mYjm, [ J + , Yjm] = \J{j — m)(j + 1 + m,)Yj m + 1 [J\ [J\Yjm]] = j(j + l)Yjm [J-,Y]m] = y/(j + m)(j + i - m ) Y j ^2$) and (Yjm)i = {—l)mYj_m. We also choose the normalization Tr(Y}m,Yjm) = N5fj5m,m. (2.4) Here Y ' s are N x N matrices and J l ' s are N x N generators of SU(2) in the irreducible representation. It is possible, though not much useful for the purposes here, to construct these matrices explicitly. For an extensive treatment refer to [5] For illustration purposes the explicit example of 3 x 3 matrix spherical harmonics will be provided shortly. The reason that the 2 x 2 matrices are not discussed is that it turns out that in 2 x 2 case matrix spherical harmonics are proportional to cr + , a~, and CT° respectively and of-course the identity which is loo- This behaviour is expected because one knows that Pauli matrices together with the identity matrix form a complete basis in 2 x 2 case. Y i i Yoo = A) -0 \o Y20 = 0 0 0 0 0N 0 0 0 x/3 0 o, f ° - [z V2 0 0 \o 0 0 / Y22 = Similar to the case of regular scalar spherical harmonics, matrix scalar spherical harmonics can be generalized to higher-spin spherical harmonics. 8 Chapter 2. Math Machinery 2.2 M a t r i x Vector Spherical Harmonics Analogous to the regular spherical harmonics case matrix vector spherical harmonics can be defined as Y J I M = J2Yi^q(l,m;l,q\J,M) (2.5) ?n, q These matrices reduce to regular spherical harmonics in large N limit. [4] As Edmonds states as a result of angular momentum addition rules I is not independent of J. For any J , I can assume one of the three values of J + 1, J and J — 1. Below some properties of Vector Spherical Harmonics are listed: J2Y.RM = J(J + l)YjiM (2.6) JZYJIM = MY J I M (2.7) where J1 is angular momentum operator. The vector spherical harmonics, as defined in (2.5), are solutions of the eigenvalue problem Y;<„,~"sjk\-l"-y"i,n: (2.8) where the eigenvalue corresponding to j = I + 1 is / + 1, to j = I — 1 is —Z and to j — I vanishes. Under hermitian conjugation, the vector spherical harmonics transform as {YJ^^M)^ = (—l)J+l+M+'iYj,i,-M- As in the case of normal vector spherical harmonics, the action of J on the scalar matrix spherical harmonics can be written as [J,Yjrri] - V J ( J + i f e n - (2-9) One can also check that [Ji,(XJlm)i] = 8jiiy/j(j + l)YJM, (2.10) The following property is also useful: [J\Y]lM] = y/l(l + l)YYim(l,n^J\J,M)(l,m]l,i\l,n) (2.11) 71,771 . 9 Chapter 2. Math Machinery 2.2.1 Matrix Spinor Spherical Harmonics In a similar fashion spin half Matrix spherical harmonics can be defined as: yjlM = YsYl,™Xq{l,rn:\,q\J,M) (2.12) m,q The spinor spherical harmonics, given in (2.12), are solutions of the eigen-value problem 5-[J,yjim} = Wjim (2.13) where the eigenvalues in the cases of j = I + 1/2 and j = I — 1/2 are I and — (l + l) respectively.' The following normalization property is satisfied: T r ( ( 3 ; j ] / ] M 1 ) t 3 ; j 2 / 2 M 2 ) = N5j^j25h}i25Ml,M2- ( 2 - 1 4 ) 2.3 W i g n e r Symbols 2.3.1 Wigner 3j-symbols Wigner 3j-symbols or Wigner coefficients arise in couplings of three angular momenta. Therefore as one expects, they will appear when one is calculating traces, over spherical harmonics, that soon becomes necessary. ji J2 J3 3i-symbols have six parameters and are usually shown as \mi m2 m3 where m,j and ji can be integers or half integers. The selection rules are as follows: m 6 • • • + \ji\} mi + m2 + T7i3 = 0 (2-15) \jo,-jb\<jc<ja+jb These rules imply that ^ ji is an integer. If these rules are not satisfied the value is 0. 3j-symbols are related to the more renowned Clebsch-Gordan coefficients as follows: (3imij2m2\j3m3)= \/2h + l ^ j j j j (2.16) One way to calculate 3j-symbols is using the Racah formula: 10 Chapter 2. Math Machinery (T m m ) = ( - l ) ( j I - j 2 - m 3 ) V / A ( j i J 2 j 3 ) V ( J l + miWi -y / H i f!t>2 >' ' ' 3 / V{J2 + m2)\(J2 - m 2 ) ! ( J 3 + m3y.(j3 - m3)\ •i) 7^ * ! ( J 3 - 33 + t + mi) ! ( j 3 - j i + t - m 2 )!( j i + j2 - h ~ t)Kh - t + m 2 ) ! (2.17) &{3i323z) is called triangle coefficient as is denned as follows: A / . • • N _ ( j i + 32 ~ hV-tii ~ 32 + J 3 ) ! ( - J i + 32 + J 3 ) ! ^ U U 2 j 3 j = r:——:——.—-———rr; U l + 32 + 33 + 33 + 1)! t in (2.17) runs over all integers for which all factorials have non-negative arguments. 3j-symbols have the following symmetries: If we define P as a permutation of columns then: for even P: prf 3i 32 33 V _ (ji 32 J 3 \ (2 18) for odd P: '' 31 32 h\\_(_i\ji+h+j3(Jl 02 33 p(l J 1 J Z J i )) = (_]yi+j2-h?3 -*1 J z (2.19) \mi m 2 m% J \mi m 2 m 3 ) Another useful equation is: 31 32 33 \ = r^h+ji+ja ( 3 i 32 33 \ rri\ m 2 777,3 J \—m\ —m2 —m3 J • It should be noted that 3j-symbols obey a number of orthogonality rela-tion as follows: £ ( 2 J 1 + i ) ( J 1 •')(•'[ » A , \ m i m 2 ml l m , m 2 ml j,m N ' v. ' = Sm,,m^m2,m>2 I ] ( 2 i l + !) f ^ ^ 3m ) f ^ ^ ^ / — fij,j'fim,m' (2-21) 11 Chapter 2. Math Machinery where 5a^ is the Kronecker delta It is often necessary to sum over a number of m's in the product of several 3j-symbols. Since the results are usually expressed in terms of higher j symbols the corresponding identities are introduced after defining higher j symbols. 2.3.2 Wigner 6j-symbols Wigner 6j-symbols or just 6j-symbols are quantities that arise in couplings of four angular momenta. They are denoted as ji J2 J3 Ji J2 J3 where J's (and j's) are integers or half integers. For the purposes of this thesis it is easiest and enough to define them in terms of Wigner 3j-symbols: y> y> Y ( J5 J L J 6 ^ ( J6 J 2 I 4 -—^ -—^ Vm5 —ml —m6/ I m6 —m2 —m4 m6=—j6 mb=—jb m4=— j4 ^ ^j4+j5+j6—m4—?n5—?n6 'jl j2 j3\ (jl j2 j3 ml m2 m3J \ j4 j5 j6 (2.22) 7l ?9 7^ I For the 6-j symbol <^ ^ ^ J> the triads (J1J2J3) (ji, J2, J3) (J1J2, J3) and ( J i , J 2 , J 3 ) must satisfy two conditions: 1. Each triad should satisfy the triangular inequality: 2. The sum of the elements of each triad should be an integer, (so either no half integers or two half integer) If the conditions are not satisfies the value of 6-j symbol is 0. 6j-symbols are invariant under permutation of columns. 2.3.3 Wigner 9j-symbols Wigner 9-j symbols arise in the coupling of four angular momenta. They are r ji j2 J 1 2 ] denoted by: < J 3 j\ J 3 4 > For the purposes of this thesis it is easier and \Ji3 J24 J J enough to write them in terms of Wigner 3j-symbols or Wigner 6j symbols. 12 Chapter 2. Math Machinery In terms of 3j-symbols: Ji3 J24 J M 1 3 M 2 4 M allm's 33 J4 ^34 \ / J l J3 ^13 m 3 m 4 M 3 4 y \ m i m 3 M i 3 J2 J4 J24 \ (J\2 J34 J m 2 m 4 M 2 4 i \ M i 2 M 3 4 M (2.23) In terms of 6j symbols: ji 32 J\2\ ( • • T * i, * . = E<-i)*ff. + i > { » 3 j , . ^13 «^24 •/ J 9 fj3 J4 ^34 1 [J\3 J24 J [32 g J24 J 1 5 j i J3 (2.24) A 9j-symbol is invariant under the reflection through one of the diago-nals. If one exchanges two rows or columns the 9j-symbol is multiplied by ^ _ ^ y u m o f a i i n i n e j s Q j - S y m b o l s also satisfy the following orthogonality condi-tion: ' £ (2J 1 3 + 1)(2J 2 4 + 1) ^ 1 3 , ^ 2 4 (2Ji 2 + l ) (2J 3 4 + l) (2.25) 2.3.4 Wigner Symbols Summation Identities In calculating the traces of spherical harmonics one is usually encountered with the problem of summing over m's for a product of several 3j-symbols. This can be done either by some diagrammatic scheme or explicitly by ap-plying a number of identities For discussion of two of these diagrammatic schemes see [11] and [8]. 13 Chapter 2. Math Machinery Below a number of identities that become handy are listed. £ (- 1) j l _ m l (™i - l i JQ) = y/W+lSj3fi;2jl e N (2.26) ml=-jl ^ ' V - f j l J'2 j3 \ / j4 j2 • j4 A gjl J3<W,m4 ^ ^ - - ^ 1ml m2 m3/ Vm4 m2 m3 / 2?1 + 1 1 ' ' m 2 = - j 2 m 3 = - j 3 x ' v J6 j5 j4 , E V ^ / ^ i4+ j5 - t - j6 -m4-m5-m6 / J ° J 1 J D -—- lm5 —ml —m6 m6=—j6 m5=—j5 m4=—j'4 'j6 j2 j4 \ = A l j2 j 3 \ f j l j2 j3 vm6 —m2 —m4y y m l m2 m3J \j4 j5 j6 j l j2 j4 j5 j6 E E E E E ml=—jl m2=—j2 m4=—j4 m5=— j5 m6=—j6 j2 j3 J 1 W J 2 j3 j l m2 —m3 m l / 1^2 —m3 m l /_1 y ' l + j 2 + j 3 + j 4 + j 5 + j 6 - m l - m 2 - m 3 - m 4 - m 5 - m 6 [ j l J5 j6 \ fo 281 y—ml m5 m6 J 2.4 Traces over Spherical Harmonics In this section the formalism introduced above will be put in action and various traces over spherical harmonics are computed. The traces that are computed here appear in computing various diagrams in matrix theory. The orthogonality relation of scalar matrix spherical harmonics was introduced in (2.25). The next most basic equation would be trace of three scalar spherical harmonics. This expression is taken directly from [5] MYnmiYj2m2Yj3m3) = i V 3 / V ( 2 j i + l)(2j 2 + l)(2j 3 + l) ( _ 1 ) N - i + . 1 + . a + i 3 (n 32 n \ \ n n_ J3 , ( 2 2 9 ) \ m i m 2 m3J {— — — J Having that in hand, and with the aid of the introduced identities compu-tation of other traces are conceptually easy: In principle any monstrous looking trace over any number of different spin spherical harmonics can be dealt with in three steps. First one gets rid of non-zero spin spherical harmonics by writing them in terms of scalar spherical harmonics multiplied by some coefficient involving 3j-symbols ( C G 1 4 Chapter 2. Math Machinery coefficients written in terms of 3j-symbols) and summation over some in-dices. In next step each (YiirniYi2m2)ab term can be expanded in terms of ClJfrYim with repeated - index indicating summation. This produces more coefficients but less number of spherical harmonics. At the end of the day one is left with a number of Wigner j symbols multiplied together and summed over a number of indices. Then one can simplify them by invoking the above identities. Needless to say that various tricks can be used to shorten the path, and the heuristic way is not necessarily the easiest or the shortest way. These traces have been computed and the results are quoted below. Before quoting the results, an elaborate calculation is performed: ^ ( ^ j l ' i / i m i 'Yj2l2m2Yj3m3) = {~I)'1 + m l + ' 2 + m 2 T r ( Y ^ M i Y[2M2Y\3M3] M\,M2,q\,q2 VJ JV 3/V(2j, + l)(2j2 + l)(2j3 + i ) ( _ i ) » - " + « + ™ . + m a Mi,M2,qi,q2 j i J2 33 \ f h 1 h \ ( h 1 32 Knii m2 m3) \M\ q\ —mi) \M2 q2 -vn2 {A T £ I i £ i ) \ / (2ji + l)(2j 2 + l)<Jgi-g2 (2.30) I 2 2 2 J Now using the third 3j summation identity and some phase simplification: Once gets: ^-T(Yjihmi ' Yj2l2rri2Yj J3m3y JV 3 / V (2 j i + l)(2j 2 + l)(2j 3 + l)(2h + 1)(2Z2 + l)(-l)N-i+n+h h h 33 \ / j l J2 jz\ / j l J2 h \ , 0 o-p N-l N-l N-l M 7 / 1 L ™ „_ I —3— — 2 ~ —~2~ J 1^ 2 '1 I J \ m l m2 rri3/ The key identities are listed below: T r ( Y j ] m i y j 2 m 2 Y j 3 m 3 ) = i V 3 / 2 V / ( 2 j i +. l)(2j 2 .+ l)(2j 3 + lX-lf-i+K+i'+J* J l J2 J3 \ . J J l J2 J3 mi 7712 m.3 ' ' J 1 (2.32) 15 Chapter 2. Math Machinery AT 3 / 2(2J3 + l)VMh + l ) (2 j 2 + l ) (2j i + 1)(2Z2 + i ) ( - i ) ^ - i + i - + i 2 j l 2^ J3 \ J j l J2 J3 l ( j l J2 J3 ¥ ^ ^ J U J3 / 2 / U 1 m 2 m 3 T r ( [ J , K , i m i ] • Y j 2 ; 2 m 2 K , - 3 m 3 ) — 7V 3 / 2 (2J! + l J V j i f j i + l ) (2 j 2 + l ) (2 j 3 + l ) (2/ 2 + \ ) { - \ ) N - x / j l 2^ J3 1 J j l J2 J 3 \ (jl J2 J3 t ^ j - l ^ 1 J l 1 / U i ™2 m 3 v/ ( 2 j i + l ) (2 j 2 + l ) (2 j 3 + l)(2Zi + 1)(2Z2 + 1)(2Z3 + 1) (2.33) (2.34) h h h X ] h h h ) ( J l 3 2 n ) (2.35) JV-1 N - l JV-1 ^ ( ^ i l l l T O l ' Yj2l2m2Yj3m3) — i V 3 / 2 V ^ j i + l ) (2 j 2 + l ) (2 j 3 + l)(2Zi + 1)(2Z2 + l X - l ) " " ^ ^ h h J3 1 J j l J2 J 3 \ ( j l J2 J3 JV-l N-l N-l h h I f V m i m 2 m 3 (2.36) T r ( y l i m Y J 2 m 2 y j 3 l 3 m 3 ) = j V 3 7 2 ( _ 1 ) w + i 1 + h 4 ™ 1 + i 3 - H , + i y ( 2 J ! + l ) (2 j 2 + l ) (2 j 3 + l)(2Zi + 1)(2Z3 + 1) h J2 Z3 \ \j\ J 2 J 3 \ / j l J2 J3 (2.37) j V 3 / 2 ( - l ) J V + - i + i ( 2 j 1 + l ) (2 j 2 + l ) (2 j 3 + l)(2h + 1)(2Z2 + 1) ' l k J3 1 / j l J2 J3\ f j l 32 33 \ /c\ oo\ N-l N-l N-l M l ' I I f ™ ™ ™ l ^ - O O ) - 2 ~ " 2 " J I'2 *1 2 J \ _ m l m 2 m 3 / 16 Chapter 2. Math Machinery y/6(2J! + l)(2j 2 + l)(2j 3 + l)(2Zi + 1)(2Z2 + 1)(2Z3 + 1) ' l *2 \ J ,2 ] ? \ ( 31 32 33 j V - 1 N-l N-l f \ ' l ' 2 ' 3 / 1 1 ' ' 1 —mi 7T12 777,3 (2.39) T r ( ^ ] i h m i ffyj3l3m3 • Yj2hm2) = T<yLm^-fnhm2yJ3i3m3) (2.40) r^r(ea(3yj\l1miyj2l2m2Y33m3) ~ N3'2(-l)N+»+l*+3 y/(2h + l)(2j 2 + l)(2j 3 + l)(2Zi + 1)(2Z2 + 1) fe J 3 \ Jj'l J 2 J 3 \ // j l 32 33 N-l N-l N-l (Si 1 1 „ ™ ™ — 2 ~ — 5 — — 3 — J t ' 2 ' 1 2 J V T l l W 2 7773 (2.41) V ^ j i + l)(2j 2 + l)(2j 3 + l)(2Zi + 1)(2Z2 + 1) '1 fe 33 \ jji 32 J 3 I ( 3i 32 33 N-l N-l N-l M 7 7 1 f I , m ™ (2.42) jy £ ] ( )^ " 5 T r ( l ^ ' 1 j n 1 ^ / j r 2 m 2 ^ j 5 " l 5 ) (1^ 5 ,-7715 ^ 3 m 3 ) (2.43) ^(Xj\hmi ' Yj2l-1m2Yj3m3Yj4ni4) — 5^ (—1) 5 I^C^MITH ' Yj2l2m2Yj5m5) Ti(Yj5-m5Yj3m3Yj4m4) (2.44) 17 Chapter 2. Math Machinery r^T(Yj1iimiYj2m2 • Yj3i3Tri3Yj4m4) — ~ (—iy5+5+ 5 Tr(Yjbi5in5 • Yj^iimiYJ2m2j Tr(^jr'5/5,-m5 ' Yj3i3m.3Yj4mii) (2.45) (2Zi + l)VM*i + l)(2ji + l)(2j 2 + l)(2j 3 + 1)(2Z2 + 1)(2Z3 + 1) -^T ^T-) U2 Zi 1J | Z 3 1 Zi I Vmi rr?,2 m 3 y / Tr(y j j7 i m i • Yj2i2m2Yj3i3lTl3 •Yj4i47ri4) — T r ( ^ j3 (37n 3 • Yj4i4ril4Yj5t-m5) (2.47) Tr("K i Yi y J 1 = jihrm1 j2l2m2 jshms1 J4I41714 J i V 2 (-1 +^+J3+ i 4 X/(2Z 3 + 1)(2Z4 + 1) y/(2h + l ) (2 j 2 + 1)(2 J 3 + l)(2j4 + l)(2Zj + 1)(2Z2 + 1) 2 ( - l ) ' 5 + J ' 6 - m 6 (2J5 + l)(2Z5 + l)(2j 6 + l) Z] Z2 Z5 1 J Z3 Z4 z5 N - l N - l N - l ( \ N - l N - l N - l 2 2 2 J I 2 2 2 Zl Z2 Z51 fZ 3 Z4 Z51 fj] j 2 j6 3b 1 J l J \jb 1 J3 J 1 1 J5 Z2 33 34 Jel / J l J2 J6 A Z J3 J4 J6 1 J5 4^ J \ m l m 2 - ' m 6 / \ m 3 m 4 m 6 (2.48) 18 Chapter 3 Further Study of B M N One can write down the B M N action in a convenient form which makes 50(3) x 50(6) symmetries manifest. It means that we divide the scalars into two categories X1 with i = 1, 2, 3 and Xa with 4 < a < 9. We also write the fermions as 'ipja where I is a fundamental index of SU(4) ~ 50(6) and a is a fundamental index of 5(7(2) ~ 50(3). These fermions can be related to real 16 component spinor <]/. For a complete treatment see [3]. £ = Tr^—D0XiD0Xl + —D0XaDoXa + i^IaD0'<pIa) ' -^loal/[X\<<pw} + \ e a ^ a I g a j j { X a ^ J ] -\ea^Ql{g^)IJ[Xa^aj] +\[X\Xif + \[Xa,Xb}2 + l-[X\Xaf^ (3.1) o% are the familiar Pauli matrices, gjj relate the antisymmetric product of two 5(7(4) fundamentals to an 50(6) fundamental. As mentioned earlier all matrices are N x N Hermitian matrices. Fur-thermore one has a Gauss law constrained for physical states being that these states have to be invariant under U(N) similarity transformation M -> UMIJ-1. 3.1 Vacuum Solution As discussed in [3] one can see that the bosonic part of the potential can be written as a sum of positive definite terms: V = 2 T r (wxi + " ' • v A a ' j a ' / ' ' ) 2 + ^ [ * a > * 6 ] ) 2 + [i[xa,x%2 + (^ )2 (xa)2 19 Chapter 3. Further Study of BMN For vacuum solution all the terms should be zero, independently. It therefore follows that Xa = 0 and X ~ 3 R J where J1 form some representation of SU(2) algebra, obeying the commu-tation rule A full solution thus corresponds to any representation of 5(7(2) or more elaborately any block-diagonal matrix where each block forms an irreducible representation of 5(7(2) algebra. For N x N matrices X1 the number of possible solutions is the number of partitions of N into sums of positive integers. The order of partitioning (which number comes first) does not matter and is taken care by the gauge condition. As discussed in [6] a solution labelled by a partition {Ni,..., N^} can be interpreted in two ways. Either a number of membranes or a number of five-branes. 3.1.1 Membrane Interpretation A general vacuum corresponding to a partition N = N\ + • • • Nm can be interpreted as m concentric fuzzy sphere membranes with radii being rj ~ 3.1.2 Fivebrane Interpretation A vacuum state can also be thought as a collection of fivebranes where the number of fivebranes is equal to the size of the largest irreducible represen-tation, and the momentum Mn carried by the nth fivebrane is equal to the number of irreducible representations with size greater than or equal to n. As discussed in [6] membrane interpretation is more appropriate when one keeps the ratio of the block sizes fixed and takes N to infinity. Fivebrane interpretation is more appropriate when one keeps the sizes of the blocks fixed and takes the number of blocks to infinity. 3.2 Expansion About the Vacuua The action can be expanded about each of the vacuua. [J\ Ji] = ie^kJk (3.2) 20 Chapter 3. Further Study of BMN for any desired J. One can rescale the variables for making the quadratic part of the action look much nicer as follows: J T — J-Y\ Xa-> J-Xa, *-> -t (3.3) V p v ^ ^ The quadratic part of the resultant action looks like: S = S 2 y + S? + St where S? = ^(^{Xa)2-\(\)\\(Xa)2-[J\X*]2) St = T r ( V ^ _ V 0 _ \ a ^ [ J \ ^ ] \ (3.4) are quadratic actions for X, Y, and tp, and the interaction (cubic and quar-tic) terms are S 3 and S 4 defined as 3 S 3 = (-)Tr(-[J\Xa}[Y\Xa} + -{J\Yi][Y\Yi}--eijkYiYiYk \Pj V3 3 3 -^o*[Y\iP] + 1-e^ga[Xa,^] - \ e ^ ) a \ X a ^ } s 4 = ( ^ - J T r ^ - [ y l , y ^ ] 2 + i [ x a , x ^ + - [ y l , x 0 ] 2 J . (3.5) Also note that the gauge field A is set to zero. Of course for full treatment regular derivatives should be replaced with covariant ones for Y's. It is seen that by taking to infinity one is suppressing the interaction terms. Therefore the theory can be solved exactly and the spectrum can be obtained in the limit (^) —» oo 3.3 Exact Spectrum in the Large \i L imi t For fixed and R and sending p to infinity one can proceed and find the complete spectrum of the action in such limit. The energy spectrum can be found once the quadratic terms are diag-onalized. The task is accomplished if one expands the fluctuation matrices 21 Chapter 3. Further Study of BMN in a basis which behaves nicely under the commutator part of the quadratic part of the action. With the machinery introduced earlier and knowing the behaviour of matrix spherical harmonics under the commutator it is not hard to see that this can be done once the matrices are expanded in terms of matrix spherical harmonics. It should be noted that the correct family of (scalar, vector or spinor) spherical harmonics should be chosen to expand different matrices. The choice comes from the form of the commutator of the quadratic part. One needs a family which behaves nicely under the corresponding commutator. It is seen that the commutator part of the quadratic part of the action of Xl,s is suitable for vector spherical harmonics. Spinor spherical harmonics are suitable for '</>'s. 50(6) bosons seem a bit complicated. After noting that the potential part of the corresponding quadratic part can be written as y X = \ h T l (xa{\xa + [<r,[J i,xa}])) it becomes apparent that scalar spherical harmonics should be used for ex-pansion. Below the steps that were sketched are actually performed: As mentioned earlier we consider expansions around particular form of vacuua namely fc copies (direct sum) of an N x N irreducible'representation of SU(2). One can expand the bosons in the 50(6) directions in terms of the matrix spherical harmonics as " ^ a = rj-j XjmXjm (3-6) x°-m is as fc x fc matrix. Xa is Hermitian, so (x°jm)^ = ( — l)mx^_m. Similarly for the bosons in the 50(3) directions we have Y% = -kY,allrnYJlm (3.7) jlm where the Yjim are matrix vector spherical harmonics, which are defined in (2.5) Y J I M = £ Yitmeg(l, m; l,q\J, M) (3.8) m,q where I = j ± 1 (I = j we eliminate with our gauge choice). 22 Chapter 3. Further Study of BMN The fermions can also be expanded, in this case in terms of spinor spher-ical harmonics, as ^ = -7= £ Tpjimyjim (3.9) N .. jlm where yjiM = £ - Y i , m X 9 ^ m ; i ; g | J , A f ) (3.10) where xQ a r e eigenstates of a0. After expanding our fields in terms of the matrix spherical harmonics we find that the quadratic terms in the action have the form S2 = E ^ Q l ^ m P - ^ A ^ I a ^ l 2 ) jlm S? = T r f i l / J o x ^ p - ^ A , ) 2 ! ^ ! 2 S't = Tr (iip]lmD0ihjlm ~ {\~ ^ ) ^ m ^ , n ) • (3.11) where Aj are the eigenvalues of the eigen-equation of corresponding spherical harmonics. . As it can be seen for the modes (j = I) the resulting mass (eigenvalue) is zero. It was shown in [3] that these modes are non-physical modes. These modes can be eliminated by the gauge choice. 3.4 t' Hooft Limit 3.4.1 Some Intro Material In field theory to do perturbative calculations one usually expands he action in powers of the coupling constant, 't Hooft realized that for a rank N gauge theory, the expansion parameter is not really g Y M , rather it is a combination of the rank N and Yang-Mills coupling which is now known as 't Hooft coupling A: X = g2YMN (3.12) 't Hooft also realized that one can categorize Feynman diagrams based on their topology (genus number g) of the surface that they can be drawn on without edges overlap. The lowest g is zero which corresponds to a planar diagram or a diagram that can be drawn on a sphere without edges overlapping. A diagram of g — 1 can cannot be drawn on a sphere, with 23 Chapter 3. Further Study of BMN the condition specified and instead can be drawn on a torus. Each genus contributes a factor of 1/N9 to the overall diagram pre-factor. This comes from summing over indices of N x N matrices and is most easily seen in double line notation which is introduced later on. For a nice little proof refer to [7] From this it is seen that for large N planar diagrams dominate, because they are not suppressed by factors of (1/N). 3.4.2 Double-Line Notation If one has matrices as the fundamental degrees of freedom then one can write the propagator with two lines with each line having a direction that shows the follow of the index and the arrows point in opposite direction. Looking at the way indices of the matrices appear in the in the propaga-tor (far indices are coupled together through Kronecker 5 and near indices coupled together) double line notation is easily justifiable. Figure 3.1: Planar and non-planar diagrams in t' Hooft double line notation Each index loop contributes a factor of N. As it can be seen in fig.3.1 the planar diagram has three index loops and the non- planar (g = 1) only one. So indeed the results agree with 't Hooft's claim and the non-planar diagram is suppressed by a factor of 1/N2. Propagator, Non-Planar Diagram 24 Chapter 4 Some Explici t Calculations Having the machinery and infrastructure it is now desired to perform some explicit calculations and study the behaviour of different types of diagram for large N limit. By ' t Hooft analysis we already know that planar diagrams dominate so the goal is to classify the behaviour of different planar diagrams. We are explicitly interested in behaviour of a subclass of diagrams that arise in computation of quantities like (TT (X0)2^. Before doing so it is necessary to carefully write down the Lagrangian in Lorentzian gauge, along with ghosts arising from gauge fixing and the gauge field. s% = T r Q y ^ - l ( i ) 2 ( y l + ^ f c [ ^ , y f e ] ) 2 ) S? = T r Q ( X ° ) 2 - i ( i ) 2 ( i ( X a ) 2 - [ A X a ] 2 ; Sf . = Tr (i^H - i ^ t y _ l-a^[J\^] si = Tr(-^'jf S'i = T,{-l-{J\f)][J\V]^ (4.1) The cubic part of the interaction becomes: S 3 = ( - \ 2 Tr (hj\Xa][Y\Xa} + l{J\Yj}[Y\Yj] - L^kYlYjYk \3 3 3 -V>V[nV>] + \e^g°'[Xa,^} - l-e^)a\Xa^\ -iYl[A,Yl] - \[A, Ji][A,Yi]-iXa[A,Xa] o \{J\fj\[Y\r]\+^[A^. (4.2) The quartic part is: s4 = ( ^ \ r ^ [ y J , y ^ ] 2 + i [ x Q , x 6 ] 2 + i [ y I , x a ] 2 ) . (4.3) 25 Chapter 4. Some Explicit Calculations Using the procedure described above and expanding the spherical har-monics exactly as followed we get the following expression for the propaga-tors: where < {X°lm)pq(t) ( 4 , M , ) F > ) ) = 5abSjf 8 w 5 m m , 5 ^ q / \ m x (t) (4.4) 2i + 1 mx = (4.5) j + l + l 6 (4.6) m, = 4(j-0(4Z-3, + l) + 3 ( 4 ? ) A m ( t ) = -^(^( t )e-i m t 2m v w 1 27T7 + 6(-t)e kt imt\ k2 — m 2 + ie (4-F _ I e-imt6{t) m > 0 m ~ \-e" i m te(-t) m < 0 1 /• „ i(k + m)e-ikt , . " ^ j " " k m ? + « ( 4 - 9 ) We explicitly evaluate some of the diagrams: 1\ \ p J J 6 6 6 (—1) 1 2 Ti(Yj-l^miYjimiYj2-m2Yj2m2) QXki (R\ (-V E / ^Ay + t l + 1 (0 )A4 + 1 ( t )A4 + 1 ( t ) Kr1 / , • 1 J 6 6 6 / • - i Vi+'i+™i+™2 T r f y * v v i v. 1J X L \ J j i h - m i 1 jihm-i 1J2-m21j2m2) 26 Chapter 4. Some Explicit Calculations dt j dit'A$ 1 + 1 (f)A%-1+1 (t)A£ + , 2 + 1 ( 0 ) A y ( f - t) -4\ki (RV v p 7 {i,/,m} 2 Tr([J, Y * m i ] • Y~}2i2in2Yjimi) (Tr([J 1 , ^ j ^ J ^ i j ^ Y j 3 i 3 m 3 ) + T r ( [ < A ^ g m g l ^ k m z ^ 3 7 7 1 3 ) + T r ( [ ^ > ^ s m s ^ k m s ^ ^ r ^ ) ) + t j 3 T r ( [ J , y / ] m J • Yj2l2mYjim.i) T*(eijkYj2i2m2Yj2i3Tn3Yj3i3m3 Ai Before going any further and expand the expressions that are obtained for the diagrams so far, the integrals are needed to be evaluated. The final expression for these are quoted below. However before that some convention is introduced: Since the general form of A ^ and A y ^ is the same A , n is used for both of them. A m ( 0 ) dtAm(t) dtAm(t)Am(t) dt J dt'(Am(t)Am(t') Am2(t-t')Am3{t-t')) dt J d'{Am(t)Am(t') 2m i 2 m -i 4m 3 — (2m + 777-2 + m 3 ) 8 m 3 m , 2 m 3 ( m + m 2 + 777,3) (4.16) (4.17) (4.18) (4.19) (4.14) (4.15) 27 Chapter 4. Some Explicit Calculations 2 4 3 0 f c A i V ^ ( - l ) ^ 2 ( 2 j i + l)"r(2j2 + 1)5 0'} i i i i 0 \ J 0 J2 32 N-l N-l N-l ( S N-l N-l N-l (4.21) 9 7 2 f c A / V y ( - l ) ^ + ^ + 1 { 2 j l + 1 ) ? ( 2 Z l + 1 } 0} (ji + Zi + l ) (2 j 2 + l ) fe fe 0 \ / 0 J2 32 \ fji 31 0 fe fe J V - l N-l N-l ( \ N-l N-l N-l | 1 | i | (4.22) 108k\N ]T VhUi + l ) (2 j 2 + 1)(J 3)(J3 + l ) (2 j 3 + 1) (2j2 + l ) (2 i 2 + 1) / 2 j i + 1\ / 2 j 3 + 1\ / j 2 + fe + 1 j2 + fe + l V 6 J V 6 ( •Q2?H-1 + J2-H2 + I + 2J3 + 1 ) 2J3 + l\ (2,n+l .72+/2 + 1 , 2J3 + A 2 6 ) \ 6 f 6 6 ^ ' i i J2 h \ \ h h h \ (A<rx\ 1 33 fej \fe J i 1 J [ 6 ) /o 2,71 + 1 , 4 ( J2 - ^ ) ( 4 f 2 -2J2+ l ) + 3 , 4 ( j 3 -k ) ( 4*3-2J3+ l ) + 3 6 12 "t" 12 f 2 ; ' l + l 3 \ / j'2+i2 + l I 6 A 6 j l fe J3 J V - l J V - l i V - 1 2 2 2 its o ( 2 J i + 1 ) 2 ^ 2 j i + l + 4(J2-t2)(4*2-2J2+l)+3 + 4 ( J3-<3 ) (4/ 3-2i3 -H V ) 12 1 12 139968fcAiVy • I j A y . - M ) V - - " - J S J V - l J V - l J V - l f S J V - l J V - l N-l 2 2 0 1 1 1 f 0 1 1 3i 3i 3i) [32 32 32 (4.25) ^ ( 2 ^ + 1)03 4-/3 + 1) 3i 1 J i I f 1 fe fell J i 0 i ! A ' - l N - l N-l ( S N-l N-l N-l i i i i . 28 Chapter 4. Some Explicit Calculations ( 4 v / 6 ( - l ) 1 - ^ + ' 3 ( 2 Z 3 + + 1 ^3 k\{0 j3 j3\ j3 1 lj\k 1 1 J + 4 ( - i ) - ^ ^ V i i O ' i + i)h(h + i)(2/ 3 + i) \o z3 i / \ z 3 1 kj + 4 ( _ 1 ) - J I + J 3 ( 2 Z 3 + + 1 ) Z 3 ( Z 3 + 1) f*3 *3 l l fj3 33 0 \ [33 h 1 h) +dV6I(-l)l^(2k + l )Vj'i(ii + 1) 4.1 Large N Behaviour From a topological point of view, there are three different types of diagrams: _ 0 - , - O - and The behaviour of these diagram can be analyzed as N changes. Before applying brute force and evaluating the diagrams for different iV's, one may wish to have some heuristic estimate of the behaviour. The matrices are k blocks of N x N sub-matrices. Before bringing the results of spherical harmonics into play k and JV factors come into the game as follows: • from expansion parameter of Lagrangian • (fc x JV)2 for the two index loops. • ^= for each field expansion in terms of spherical harmonics stemming from our expansion conventions described in precious section By looking at the traces of spherical harmonics one sees that for each y , there is TV 2 contribution which effectively cancels out the contribution coming form the field expansion parameters as one expects. So at the end of the day one has a j}r factor at front, multiplied by big sum over j's and Z's of a product of j-symbols and factors. So naively all diagrams have apparent same N dependence, and only differ in the summation arguments including the j-symbols. 2 9 Chapter 4. Some Explicit Calculations Below the log-log graph of the value of the diagram as a function of N (or number of M5 branes) is plotted and the slope of best fitted line is provided. All results are calculated with Maple symbolically and only at the final stage the result is converted to floating numbers. Obviously, the modification to the exact integer dependence of N is be-cause of the summation. For ~0— type diagrams the sum slightly suppresses the effect of N and for the case of Q , type diagrams the sum increases the N dependence power slightly. For type diagrams, however the sum contributes slightly more than a full order of N and therefore for large ATs one can ignore other diagrams with different topologies in favour of these ones. It is rather interesting that type diagrams are zero for the special case of N = 1, or having only one fivebrane. 30 Chapter 4. Some Explicit Calculations Chapter 4. Some Explicit Calculations 10.5 10 9.5-9-8.5' 8-0 0.5 1 1.5 2 2.5 3 y = 7.857627816 + 1.052319183a: y = 7.386301167 + 1.134267388a; 32 Chapter 4. Some Explicit Calculations 7.8-7.6-7.2 7-6 8 -6.6-62 6 1 1.5 2 2 5 3 <=€>=< y = 5.802976127 + .7113185375x 13 12 1V 10 91-1 1.5 2 2.5 3 y = 7.498191559 + 2.259245284.x Chapter 4. Some Explicit Calculations ii 10 9-8-71-1 1.5 2 2.5 3 y = 5.571100960 + 2.310262782x 34 Chapter 5 Conclusion and W r a p U p In this thesis two subjects related to B M N matrix theory were explored. It was seen that expansion and computation of quantities around various vac-uua in B M N theory results in introduction of Matrix spherical harmonics and various traces of their products. The formalism regarding such expan-sions and computation of these traces was developed and all different kinds of traces that may appear in such computation were computed and pre-sented. In the next section as an example, a few bosonic diagrams that arise in computation of Tr(XaXa) were computed. Having the formalism to compute such diagrams, one can ask a variety of questions. One question would be the relation between the topology of a diagram and its behaviour as a function of the number of five-branes (N). Thanks to the work of't Hooft, it is already known that such a relation is indeed present in a weaker sense. As explained above when the sizes of matrices (k x A )^ get larger planar diagrams dominate because of factors of N that appear due to traces over internal indices. By keeping k (number of two-branes) constant and only increasing N one is indeed increasing the size of matrices, so again the planar diagrams dominate over non-planar ones. But the N dependence of our diagrams are much more subtle than their k dependence. It was shown that, naively looking at the diagrams, their explicit N dependence is the same and can be obtained by heuristic arguments. The actual N dependence can not be obtained easily as it is apparent from the expressions. Therefore the value of diagrams were computed numerically and the dependence was obtained by means of line fitting. It was shown that a certain subclass of the dia-grams have a much greater dependence: Depending on N quadratically as opposed to linearly which is expected from naive heuristic arguments. Since these results were obtained numerically not much can be said about other non-computed diagrams and the full merit of dominance of shape diagrams. 35 Bibl iography [1] G. Arfken, "Vector Spherical Harmonics." 12.11 in Mathematical Methods for Physicists, 3rd ed. Orlando, F L : Academic Press, pp. 707-711, 1985. [2] T . Banks, W . Fischler, S. H . Shenker and L . Susskind, "M theory as a matrix model: A conjecture," Phys. Rev. D 55, 5112 (1997) [arXiv:hep-th/9610043]. [3] K. Dasgupta, M . M . Sheikh-Jabbari and M . Van Raamsdonk, "Matrix perturbation theory for M-theory on a PP-wave," J H E P 0205, 056 (2002) [arXiv:hep-th/0205185]. [4] R. A. Edmonds 'Angular Momentum in Quantum Mechanics'. Prince-ton University Press. [5] J . Hoppe, Ph.D. thesis, MIT, 1982, www.aei-potsdam.mpg.de/~hoppe [6] J. M . Maldacena, M . M . Sheikh-Jabbari and M . Van Raamsdonk, "Transverse fivebranes in matrix theory," J H E P 0301, 038 (2003) [arXiv:hep-th/0211139]. [7] D. Sadri, M . M . Sheikh-Jabbari "The plane-wave Super Yang-Mills Duality" 0310119 [8] G . E . Stedman, "Diagram Techniques in Group Theory," Cambridge 1985. [9] M . Spradlin, M . Van Raamsdonk and A. Volovich, "Two-loop partition function in the planar plane-wave matrix model," Phys. Lett. B 603, 239 (2004) [arXiv:hep-th/0409178]. [10] Washington Taylor, "M(atrix) Theory: Matrix Quantum Mechan-ics as a Fundamental Theory" Rev.Mod.Phys. 73 (2001) [arXiv:hep-th/0101126] 36 Bibliography [11] A.P. Yutsis, L B . Levinson, and V . V . Vanagas "Mathematical Appara-tus of the Theory of Angular Momentum" Israel Program of Scientific Translations 1962. 37
- Library Home /
- Search Collections /
- Open Collections /
- Browse Collections /
- UBC Theses and Dissertations /
- Perturbative study of concentric 5-branes in plane-wave...
Open Collections
UBC Theses and Dissertations
Featured Collection
UBC Theses and Dissertations
Perturbative study of concentric 5-branes in plane-wave matrix model and development of mathematical… Mohazab, Ali Reza 2007
pdf
Notice for Google Chrome users:
If you are having trouble viewing or searching the PDF with Google Chrome, please download it here instead.
If you are having trouble viewing or searching the PDF with Google Chrome, please download it here instead.
Page Metadata
Item Metadata
Title | Perturbative study of concentric 5-branes in plane-wave matrix model and development of mathematical formalism for wigner j-symbols |
Creator |
Mohazab, Ali Reza |
Publisher | University of British Columbia |
Date Issued | 2007 |
Description | Expansion and computation of quantities around various (k x N) x (k x N) vacuua in BMN theory results in introduction of Matrix spherical harmonics and various traces of their products. In this thesis the formalism to deal with these harmonics is developed and a few bosonic diagrams that arise in computation of Tr(XªXª) are computed as an example. It is then seen that the large N limit is dominated by a planar subclass of these diagrams with a particular topology. This suggests a stronger constraint than that of 't Hooft. |
Genre |
Thesis/Dissertation |
Type |
Text |
Language | eng |
Date Available | 2011-03-04 |
Provider | Vancouver : University of British Columbia Library |
Rights | For non-commercial purposes only, such as research, private study and education. Additional conditions apply, see Terms of Use https://open.library.ubc.ca/terms_of_use. |
DOI | 10.14288/1.0084926 |
URI | http://hdl.handle.net/2429/32059 |
Degree |
Master of Science - MSc |
Program |
Physics |
Affiliation |
Science, Faculty of Physics and Astronomy, Department of |
Degree Grantor | University of British Columbia |
Campus |
UBCV |
Scholarly Level | Graduate |
AggregatedSourceRepository | DSpace |
Download
- Media
- 831-ubc_2007-0194a.pdf [ 1.56MB ]
- Metadata
- JSON: 831-1.0084926.json
- JSON-LD: 831-1.0084926-ld.json
- RDF/XML (Pretty): 831-1.0084926-rdf.xml
- RDF/JSON: 831-1.0084926-rdf.json
- Turtle: 831-1.0084926-turtle.txt
- N-Triples: 831-1.0084926-rdf-ntriples.txt
- Original Record: 831-1.0084926-source.json
- Full Text
- 831-1.0084926-fulltext.txt
- Citation
- 831-1.0084926.ris
Full Text
Cite
Citation Scheme:
Usage Statistics
Share
Embed
Customize your widget with the following options, then copy and paste the code below into the HTML
of your page to embed this item in your website.
<div id="ubcOpenCollectionsWidgetDisplay">
<script id="ubcOpenCollectionsWidget"
src="{[{embed.src}]}"
data-item="{[{embed.item}]}"
data-collection="{[{embed.collection}]}"
data-metadata="{[{embed.showMetadata}]}"
data-width="{[{embed.width}]}"
data-media="{[{embed.selectedMedia}]}"
async >
</script>
</div>
Our image viewer uses the IIIF 2.0 standard.
To load this item in other compatible viewers, use this url:
https://iiif.library.ubc.ca/presentation/dsp.831.1-0084926/manifest