1: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
3: %%%% Chapter 2, PhD thesis, Caltech %%%%%%%%%%
4: %%%% Ian J. Swanson %%%%%%%%%%
5: %%%% Pasadena, CA %%%%%%%%%%
6: %%%% 2005 %%%%%%%%%%
7: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
8: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
9: %
10: % EDIT: Mar 07
11: %
12: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
13: \chapter{{${\cal N}=4$} super Yang-Mills theory}
14: \label{SYM}
15: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
16: As discussed in the introduction, the AdS/CFT correspondence
17: states that the energy spectrum of string excitations in an
18: anti-de-Sitter background should be equivalent (albeit related by
19: a strong/weak duality) to the spectrum of operator anomalous dimensions
20: of the field theory living on the conformal boundary of that background.
21: Any attempt to test the validity of this statement directly must therefore
22: involve a computation of operator dimensions in the
23: gauge theory, particularly for those operators that are non-BPS.
24: As discussed above, this is a nontrivial task for generic gauge theory
25: operators, but the advent of the BMN mechanism has led to dramatic
26: simplifications and insights.
27: Following the appearance of the original BMN paper \cite{Berenstein:2002jq},
28: the field witnessed remarkable progress in understanding the dilatation generator
29: of ${\cal N}=4$ SYM theory (see,e.g.,~\cite{Beisert:2002tn,Beisert:2003ea,Beisert:2003jb,Beisert:2003tq,Beisert:2003yb,Beisert:2003ys,Beisert:2004hm,Beisert:2004ry,Beisert:2004yq,Alday:2003zb,Arutyunov:2003rg,Arutyunov:2003uj,Arutyunov:2003za,Arutyunov:2004vx,Arutyunov:2004xy,Beisert:2004ag,Dolan:2003uh,Dolan:2004ps,Kazakov:2004nh,Kazakov:2004qf,Mandal:2002fs,Staudacher:2004tk,Tseytlin:2003ii,Beisert:2005bm,Alday:2005gi,Beisert:2005mq,Hernandez:2005nf,Fischbacher:2004iu}).
30: The review presented in this chapter
31: will focus on some of the major contributions to this understanding.
32: Since this work is dedicated primarily to understanding the
33: string theory side of the AdS/CFT correspondence,
34: special preference will be given to information that contributes
35: directly to our ability to interpret the dual spectrum of string excitations.
36: For a more comprehensive and detailed review of the gauge theory aspects
37: of these studies, the reader is referred to \cite{Beisert:2004ry}.
38:
39:
40: To arrange the calculation in a way that is
41: more useful for our subsequent comparison with string theory,
42: and to emphasize a few specific points, it is useful to rederive
43: several important results.
44: We will focus in Section~\ref{sec_two_imp}
45: on the dimensions and multiplicities
46: of a specific set of near-BPS (two-impurity) operators in the planar limit.
47: Most of the information to be covered
48: in this section originally appeared in \cite{Beisert:2002tn}, though we will
49: orient our review around a rederivation of these results first presented in
50: \cite{Callan:2003xr}. Section~\ref{gen_mult} generalizes these results to
51: the complete set of two-impurity, single-trace operators.
52: This will set the stage for a detailed analysis of the corresponding
53: string energy spectrum.
54:
55:
56:
57:
58: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
59: \section{Dimensions and multiplicities}
60: \label{sec_two_imp}
61: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
62: As explained above, the planar large-$N_c$
63: limit of the gauge theory
64: corresponds to the noninteracting sector ($g_s\to 0$) of the dual
65: string theory.\footnote{The Yang-Mills genus-counting parameter is $g_2 = J^2/N_c$
66: \cite{Kristjansen:2002bb,Constable:2002hw}.} In this limit the gauge theory
67: operators are single-trace field monomials classified by dimension $D$ and
68: the scalar $U(1)_R$ component (denoted by $R$) of the $SU(4)$ $R$-symmetry group.
69: We will focus in this section on the simple case of operators containing only
70: two $R$-charge impurities. The classical dimension will be
71: denoted by $K$, and the BMN limit is reached by taking $K,R \to \infty$ such that
72: $\Delta_0 \equiv K-R$ is a fixed, finite integer. The anomalous dimensions
73: (or $D-K$) are assumed to be finite in this limit, and the quantity
74: $\Delta \equiv D-R$ is defined for comparison with the
75: string lightcone Hamiltonian $P_+ = \omega - J$ (see Section~\ref{penrose} of the
76: introduction).
77:
78:
79: It is useful to classify operators in the gauge theory according to their
80: representation under the exact global $SU(4)$ $R$-symmetry group.
81: This is possible because the dimension operator commutes with the
82: $R$-symmetry. We therefore find it convenient to label
83: the component fields with Young boxes, which clarifies the
84: decomposition of composite operators into irreducible
85: tensor representations of $SU(4)$. More specifically, the tensor irreps
86: of $SU(4)$ are represented by Young diagrams composed of at most three rows
87: of boxes denoted by a set of three numbers $(n_1,n_2,n_3)$
88: indicating the differences in length of successive rows.
89: The fields available are a gauge field, a set of
90: gluinos transforming as ${\bf 4}$ and ${\bf\bar 4}$ under the
91: $R$-symmetry group, and a set of scalars transforming as a ${\bf 6}$.
92: In terms of Young diagrams, the gluinos transform as two-component
93: Weyl spinors in the $(1,0,0)$ fundamental $({\bf 4})$ and its
94: adjoint $(0,0,1)$ in the antifundamental $({\bf \bar 4})$:
95: \be
96: \suchi_{~a}~~({\bf 4})~, \qquad \qquad \suchib_{~\dot a}~~({\bf \bar 4})~.
97: \nn
98: \ee
99: The $a$ and $\dot a$ indices denote transformation in the $({\bf 2,1})$ or
100: $({\bf 1,2})$ representations of $SL(2,C)$ (the covering group of the
101: spacetime Lorentz group), respectively.
102: Likewise, the scalars appear as
103: \be
104: \suphi~~({\bf 6})~.
105: \nn
106: \ee
107:
108: In the planar large-$N_c$ limit the operators of interest are those
109: containing only a single gauge trace. To work through an explicit example,
110: we will restrict attention for the moment to operators comprising spacetime
111: scalars. It is convenient to further classify these operators under the
112: decomposition
113: \be
114: SU(4) \supset SU(2)\times SU(2)\times U(1)_R\ ,
115: \ee
116: since we are eventually interested in taking the scalar $U(1)_R$
117: component to be large (which corresponds to the large angular momentum limit
118: of the string theory). The $U(1)_R$ charge of the component fields above
119: can be determined by labeling the Young diagrams attached to each field
120: with $SU(4)$ indices, assigning $R=\frac{1}{2}$ to
121: the indices $1,2$ and $R=-\frac{1}{2}$ to the indices $3,4$:
122: \be
123: R=1: ~\phi^{\,\Yboxdim5pt\tiny\young(1,2)}~ (Z)~, \qquad
124: R=0: ~\phi^{\,\Yboxdim5pt\tiny\young(1,3)}~,
125: \phi^{\,\Yboxdim5pt\tiny\young(1,4)}~,
126: \phi^{\,\Yboxdim5pt\tiny\young(2,3)}~,
127: \phi^{\,\Yboxdim5pt\tiny\young(2,4)}~ (\phi^A)~, \qquad
128: R=-1: ~\phi^{\,\Yboxdim5pt\tiny\young(3,4)}~ (\bar Z)~, \nonumber\\
129: R=1/2: ~\chi^{\,\Yboxdim5pt\tiny\young(1)}~,
130: \chi^{\,\Yboxdim5pt\tiny\young(2)}~,
131: \bar\chi^{\,\Yboxdim5pt\tiny\young(1,2,3)}~,
132: \bar\chi^{\,\Yboxdim5pt\tiny\young(1,2,4)}~, \qquad
133: R=-1/2: ~\chi^{\,\Yboxdim5pt\tiny\young(3)}~,
134: \chi^{\,\Yboxdim5pt\tiny\young(4)}~,
135: \bar\chi^{\,\Yboxdim5pt\tiny\young(1,3,4)}~,
136: \bar\chi^{\,\Yboxdim5pt\tiny\young(2,3,4)}~.
137: \ee
138: To remain consistent with the literature we have labeled the scalars
139: using either $Z$ or $\bar Z$ for fields with $R=1$ or $R=-1$, respectively,
140: or $\phi^A$ (with $A\in 1,\ldots,4$) for fields with zero $R$-charge.
141: The types of operators of interest to us are those with large naive
142: dimension $K$ and large $R$-charge, with the quantity $\Delta_0 \equiv K-R$
143: held fixed. The number $\Delta_0$ is typically referred to as the
144: impurity number of the operator; as explained above, $N$-impurity SYM
145: operators map to string states created by $N$ oscillators acting on the
146: vacuum, subject to level matching. Operators in the gauge theory
147: with zero impurity number are BPS, and their dimensions are protected.
148: The first interesting set of non-BPS operators are those with
149: $\Delta_0 = 2$. Restricting to spacetime scalars with $\Delta_0\le 2$,
150: we have
151: \begin{eqnarray}
152: \label{optypes}
153: \tr\big((\suphi)^K\big), & \qquad \qquad
154: & (R_{\rm max} = K ) \nonumber\\
155: %%
156: \tr\big((\suchi\sigma_2\suchi)(\suphi)^{K-3}\big),
157: ~\tr\big((\suchi\suphi\sigma_2\suchi)(\suphi)^{K-4}\big), ~&\ldots \qquad
158: &(R_{\rm max} = K-2) \nonumber\\
159: %%
160: \tr\big((\suchib\sigma_2\suchib)(\suphi)^{K-3}\big),
161: ~\tr\big((\suchib\suphi\sigma_2\suchib)(\suphi)^{K-4}\big),&~ \ldots\qquad
162: &(R_{\rm max} = K-2) \nonumber\\
163: %%
164: \tr\big(\nabla_\mu\suphi\nabla^\mu\suphi(\suphi)^{K-4}\big),
165: & \qquad \qquad
166: &(R_{\rm max} = K-2 )\ ,
167: \nn\\
168: \end{eqnarray}
169: where $\nabla$ is the spacetime gauge-covariant derivative.
170:
171:
172: Starting with purely bosonic operators with no derivative insertions,
173: we must decompose into irreps an $SU(4)$ tensor of rank $2K$. These irreps
174: are encoded in Young diagrams with $2K$ total boxes, and the goal is to
175: determine the multiplicity with which each diagram appears.
176: (An alternative approach, taken in \cite{Beisert:2002tn},
177: is to use the bosonic $SO(6)$ sector of the $R$-symmetry group.)
178: For the purposes of this example, we restrict to irreducible tensors in the
179: expansion with $\Delta_0 = 0,2$.
180: For $K$ odd we have
181: \be
182: \label{phi_irrepodd}
183: %\Yvcentermath1
184: \tr\big({\suphi}^{~K}~\big) &\to&
185: 1\times{\underbrace{\tiny\yng(7,7)}_{ K}} ~\oplus ~~
186: \Yvcentermath1
187: \left(\frac{K-1}{2}\right)\times{\underbrace{\tiny\yng(6,4)}_{K-1}} ~\oplus ~~
188: \left(\frac{K-1}{2}\right)\times{\underbrace{\tiny\yng(5,5)}_{K-2}}
189: \nonumber\\
190: %\Yvcentermath1
191: &&
192: \kern-25pt \oplus \left(\frac{K-1}{2}\right)\times{\underbrace{\tiny\yng(6,6,2)}_{K-1}}
193: ~\oplus ~~
194: \left(\frac{K-3}{2}\right)\times{\underbrace{\tiny\yng(7,5,2)}_K}
195: ~\oplus~~ \dots\ ,
196: \ee
197: while for $K$ even we have
198: \be
199: \label{phi_irrep}
200: \Yvcentermath1
201: \tr\big({\suphi}^{~K}~\big) \to~
202: 1\times{\underbrace{\tiny\yng(7,7)}_{ K}} ~\oplus ~~
203: \Yvcentermath1
204: \left(\frac{K-2}{2}\right)\times{\underbrace{\tiny\yng(6,4)}_{K-1}} ~\oplus
205: ~~ \left(\frac{K}{2}\right)\times{\underbrace{\tiny\yng(5,5)}_{K-2}}
206: \nonumber
207: \\
208: \Yvcentermath1
209: \oplus \left(\frac{K-2}{2}\right)\times{\underbrace{\tiny\yng(6,6,2)}_{K-1}} ~\oplus
210: ~~ \left(\frac{K-2}{2}\right)\times{\underbrace{\tiny\yng(7,5,2)}_K}
211: ~\oplus~\dots~.~~
212: \ee
213: The irreps with larger minimal values of $\Delta_0=K-R$ have
214: multiplicities that grow as higher powers of $K$. This is very
215: significant for the eventual string theory interpretation of the
216: anomalous dimensions, but we will not expand on this point here.
217:
218: The bifermion operators (that are spacetime scalars)
219: with $\Delta_0 = 2$ contain products of two gluinos and $K-3$ scalars:
220: \begin{eqnarray}
221: \label{chi_irrep} \Yvcentermath1
222: \tr\big(\suchi~\sigma_2~\suchi~ {(\suphi)}^{ K-3}\big) \to~
223: 1\times{\underbrace{\tiny\yng(5,5)}_{K-2}} ~\oplus ~~
224: 1\times{\underbrace{\tiny\yng(6,4)}_{K-1}} ~\oplus ~\ldots~,
225: \\
226: \label{chib_irrep}
227: \Yvcentermath1
228: {\tr}\big(\suchib~\sigma_2~\suchib~
229: {(\suphi)}^{ K-3}\big) \to~
230: 1\times{\underbrace{\tiny\yng(6,6,2)}_{K-1}} ~\oplus ~~
231: 1\times{\underbrace{\tiny\yng(5,5)}_{K-2}} ~\oplus ~\dots~.
232: \end{eqnarray}
233: Note that products of $\suchi$ and $\suchib$ cannot be made to form spacetime
234: scalars because they transform under inequivalent irreps of $SL(2,C)$.
235:
236: Different operators are obtained by different orderings of the
237: component fields, but such operators are not necessarily independent
238: under cyclic permutations or permutations of the individual fields themselves,
239: subject to the appropriate statistics. Using an obvious
240: shorthand notation, the total multiplicities of bifermion irreps are as
241: follows for $K$ odd:
242: \be
243: \label{gluino_irrep_odd}
244: \Yvcentermath1
245: \tr\big(\suchi~\sigma_2~\suchi~
246: {(\suphi)}^{ K-3}\big) \to
247: \Yvcentermath1
248: \left(\frac{K-3}{2}\right)\times{\underbrace{\tiny\yng(5,5)}_{K-2}} \oplus
249: \left(\frac{K-1}{2}\right)\times{\underbrace{\tiny\yng(6,4)}_{K-1}}
250: \oplus \ldots~,
251: \Yvcentermath1
252: \\
253: \Yvcentermath1
254: {\tr}\big(\suchib~\sigma_2~\suchib~
255: {(\suphi)}^{ K-3}\big) \to
256: \left(\frac{K-3}{2}\right)\times{\underbrace{\tiny\yng(5,5)}_{K-2}} \oplus
257: \left(\frac{K-1}{2}\right)\times{\underbrace{\tiny\yng(6,6,2)}_{K-1}}
258: \oplus \ldots~.
259: \Yvcentermath1
260: \ee
261: The results for $K$ even are, once again, slightly different:
262: \begin{eqnarray}
263: \label{gluino_irrep_even}
264: \Yvcentermath1
265: \tr\big(\suchi~\sigma_2~\suchi~
266: {(\suphi)}^{ K-3}\big) \to
267: \Yvcentermath1
268: \left(\frac{K-2}{2}\right)\times{\underbrace{\tiny\yng(5,5)}_{K-2}} \oplus
269: \left(\frac{K-2}{2}\right)\times{\underbrace{\tiny\yng(6,4)}_{K-1}}
270: \oplus \ldots~,
271: \Yvcentermath1
272: \\
273: \Yvcentermath1
274: {\tr}\big(\suchib~\sigma_2~\suchib~
275: {(\suphi)}^{ K-3}\big) \to
276: \left(\frac{K-2}{2}\right)\times{\underbrace{\tiny\yng(5,5)}_{K-2}} \oplus
277: \left(\frac{K-2}{2}\right)\times{\underbrace{\tiny\yng(6,6,2)}_{K-1}}
278: \oplus \ldots~.
279: \Yvcentermath1
280: \end{eqnarray}
281: Since the dimension operator can only have
282: matrix elements between operators belonging to the same $SU(4)$
283: irrep, this decomposition amounts to a
284: block diagonalization
285: of the problem. The result of this program can be summarized
286: by first noting that the decomposition can be divided into a BPS and
287: non-BPS sector. The BPS states ($\Delta_0 = 0$)
288: appear in the $(0,K,0)$ irrep and do not mix with the remaining non-BPS
289: sectors, which yield irreps whose multiplicities scale
290: roughly as $K/2$ for large $K$. Even at this stage it is clear that
291: certain irreps only appear in the decomposition of certain types of
292: operators. The $(2,K-4,2)$ irrep, for example, will only appear
293: within the sector of purely bosonic operators (the same statement
294: does not hold for the $(0,K-3,2)$ irrep). Restricting to the $(2,K-4,2)$
295: irrep, we see that the dimension matrix cannot mix operators in the
296: purely bosonic sector with bifermions, for example. We will eventually
297: make these sorts of observations much more precise, as they will become
298: invaluable in subsequent analyses. The general problem involves
299: diagonalizing matrices that are approximately $K/2 \times K/2$ in
300: size. The operators of interest will have large $K=R+2$ and fixed
301: $\Delta_0 = K-R = 2$. As noted above, we expect that the anomalous
302: dimension spectrum should match the energy spectrum of string states
303: created by two oscillators acting on a ground state with angular
304: momentum $J=R$.
305:
306:
307: As an example we will start with the basis of $K-1$ purely bosonic
308: operators with dimension $K$ and $\Delta_0 = 2$. The anomalous dimensions
309: are the eigenvalues of the mixing matrix $d_1^{ab}$, appearing in the
310: perturbative expansion of the generic two-point function according to
311: \begin{equation}
312: \label{opprodexp} \langle O_a(x)O_b(0)\rangle \sim
313: (x)^{-2d_0}(\delta_{ab}+\ln(x^2)d_1^{ab})\ ,
314: \end{equation}
315: where $d_0$ is the naive dimension. The $\delta_{ab}$ term
316: implies that the operator basis is orthonormal in
317: the free theory (in the large-$N_c$ limit, this is enforced by
318: multiplying the operator basis by a common overall normalization
319: constant). The operator basis can be expressed as
320: \begin{eqnarray}
321: \label{singltrbasis}
322: \lbrace O^{AB}_{K,1},\ldots,O^{AB}_{K,K-1}
323: \rbrace =
324: \lbrace \tr(ABZ^{K-2}),~\tr(AZBZ^{K-3}),~\ldots~,
325: \nonumber\\
326: \tr(AZ^{K-3}BZ),~\tr(AZ^{K-2}B) \rbrace~,
327: \end{eqnarray}
328: where $Z$ stands for $\labphi{1}{2}$ and has $R=1$, while
329: $A,B$ stand for any of the four $\phi^A$ ($A=1,\ldots,4$) with
330: $R=0$ (the so-called $R$-charge impurities).
331: The overall constant needed to orthonormalize this basis
332: is easy to compute, but is not needed for the present purposes.
333: Since the $R$-charge impurities $A$ and $B$ are $SO(4)$ vectors,
334: the operators in this basis are rank-two $SO(4)$ tensors.
335: In the language of $SO(4)$ irreps, the symmetric-traceless
336: tensor descends from the $SU(4)$ irrep labeled by the
337: $(2,K-4,2)$ Young diagram. Likewise, the antisymmetric tensor
338: belongs to the pair $(0,K-3,2)+(2,K-3,0)$,
339: and the $SO(4)$ trace (when completed to a full $SO(6)$ trace)
340: belongs to the $(0,K-2,0)$ irrep. In what follows, we refer to
341: these three classes of operator as $\overline T_K^{(+)}$,
342: $\overline T_K^{(-)}$ and $\overline T_K^{(0)}$, respectively. If
343: we take $A\ne B$, the trace part drops out and the $\overline
344: T_K^{(\pm)}$ operators are isolated by symmetrizing and
345: antisymmetrizing on $A,B$.
346:
347: At one-loop order in the 't~Hooft coupling $g^2_{YM}N_c$ the
348: action of the dilatation operator on the basis in eqn.~(\ref{singltrbasis}),
349: correct to all orders in $1/K$, produces a sum of
350: interchanges of all nearest-neighbor fields in the trace.
351: All diagrams that exchange fields at greater separation (at this
352: loop order) are non-planar, and are suppressed by powers of
353: $1/N_c$. As an example, we may restrict to the $A\ne B$ case.
354: Omitting the overall factor coming from the details of the
355: Feynman diagram, the leading action of the anomalous dimension
356: on the $K-1$ bosonic monomials of (\ref{singltrbasis}) has the
357: following structure:
358: \begin{eqnarray}\label{bosopermute}
359: (ABZ^{K-2})\rightarrow
360: (BAZ^{K-2})+2(AZBZ^{K-3})+(K-3)(ABZ^{K-2})~,\nonumber\\
361: (AZBZ^{K-3})\rightarrow
362: 2(ABZ^{K-2})+2(AZ^2BZ^{K-4})+(K-4)(AZBZ^{K-3})~,\nonumber\\
363: \ldots\ldots\qquad\qquad \nonumber\\
364: (AZ^{K-2}B)\rightarrow
365: 2(AZ^{K-3}BZ)+(K-3)(BAZ^{K-2})+(ABZ^{K-2})~.
366: \end{eqnarray}
367: Arranging this into matrix form, we have
368: \be
369: \label{bigmat}
370: \bigl[~{\rm
371: Anom~~Dim}~\bigr]_{(K-1)\times(K-1)}~\sim~
372: {\scriptsize
373: \left(
374: \begin{array}{ccccc}
375: K-3&2&0&\ldots&1\\
376: 2&K-4&2&\ldots&0\\
377: & &\ddots& & \\
378: 0&\ldots&2&K-4&2\\
379: 1&\ldots&0&2&K-3\\
380: \end{array}
381: \right)}~.
382: \ee
383:
384: As a final step, we must observe that the anomalous dimension
385: matrix in eqn.\ (\ref{bigmat}) contains contributions from the
386: $SU(4)$ irrep $(0,K,0)$, which corresponds to the chiral
387: primary $\tr(Z^K)$. The eigenstate associated with this operator
388: is $\vec X_0=(1,\ldots,1)$, with eigenvalue $K$ (the naive dimension).
389: Since this operator is BPS, however, its anomalous dimension must be
390: zero: to normalize the (\ref{bigmat}) we therefore subtract $K$
391: times the identity, leaving
392: \begin{equation}
393: \label{renormbigmat}
394: \bigl[~{\rm
395: Anom~~Dim}~\bigr]_{(K-1)\times(K-1)}~\sim~
396: {\scriptsize
397: \begin{pmatrix}
398: -3&+2&0&\ldots&1\cr
399: +2&-4&+2&\ldots&0\cr
400: & &\ddots & & \cr
401: 0&\ldots&+2&-4&+2\cr
402: +1&\ldots&0&+2&-3\cr
403: \end{pmatrix}}~.
404: \end{equation}
405: The zero eigenvector belonging to the $(0,K,0)$ representation
406: should then be dropped. The anomalous dimensions are thus the
407: nonzero eigenvalues of (\ref{renormbigmat}).
408: This looks very much like the lattice Laplacian for a particle
409: hopping from site to site on a periodic lattice. The special
410: structure of the first and last rows assigns an extra energy to
411: the particle when it hops past the origin. This breaks strict
412: lattice translation invariance but makes sense as a picture of the
413: dynamics involving two-impurity states: the impurities propagate
414: freely when they are on different sites and have a contact
415: interaction when they collide. This picture has led people to
416: map the problem of finding operator dimensions onto the technically
417: much simpler one of finding the spectrum of an equivalent
418: quantum-mechanical Hamiltonian \cite{Beisert:2002ff}; this important
419: topic will be reserved for later chapters.
420:
421:
422: To determine the $SU(4)$ irrep assignment of each of the eigenvalues
423: of (\ref{renormbigmat}), note that the set of operator monomials
424: is invariant under $A\leftrightarrow B$.
425: For some vector $\vec C=(C_1,\ldots,C_{K-1})$ representing a given
426: linear combination of monomials, this transformation sends
427: $C_i\to C_{K-i}$. The matrix (\ref{renormbigmat}) itself is invariant
428: under $A\leftrightarrow B$, so its eigenvectors will either be even
429: ($C_i=C_{K-i}$) or odd ($C_i=-C_{K-i}$) under the same exchange.
430: The two classes of eigenvalues and
431: normalized eigenvectors are:
432: \begin{eqnarray}
433: \label{symspect}
434: \lambda^{(K+)}_{n}~=~8\sin^2\left(\frac{n\pi}{K-1}\right)~, \qquad
435: n=1,2,\ldots, n_{max} =
436: {\scriptsize
437: \begin{cases}
438: (K-3)/2~~K~{\rm odd}\cr
439: (K-2)/2~~K~{\rm even}
440: \end{cases}}~,
441: \nonumber\\
442: C^{(K+)}_{n,i} =
443: \frac{2}{\sqrt{K-1}}\cos\left[\frac{2\pi n}{K-1}(i-\frac{1}{2})\right]~,
444: \qquad i=1,\ldots,K-1~, \qquad
445: \end{eqnarray}
446: \begin{eqnarray}
447: \label{antisymspect}
448: \lambda^{(K-)}_{n}~=~8\sin^2\left(\frac{n\pi}{K}\right)~, \qquad n=1,2,\ldots,
449: n_{max} =
450: {\scriptsize
451: \begin{cases}
452: (K-1)/2~~K~{\rm odd}\cr (K-2)/2~~K~{\rm even}
453: \end{cases}}~,
454: \nonumber\\
455: C^{(K-)}_{n,i} =
456: \frac{2}{\sqrt{K}}\sin\left[\frac{2\pi n}{K}(i)\right]~,
457: \qquad i=1,\ldots,K-1~.\qquad
458: \end{eqnarray}
459: The eigenoperators are constructed from the eigenvectors according to
460: \begin{equation}
461: \label{eigenop}
462: \overline T^{(\pm)}_{K,n} (x) =
463: \sum_{i=1}^{K-1} C^{(K\pm)}_{n,i}O^{AB}_{K,i}(x) ~.
464: \end{equation}
465:
466:
467: By appending the appropriate overall normalization factor and adding
468: the zeroth order value $\Delta_0=2$, we obtain $\Delta=D-R$.
469: The results are divided according to operators
470: belonging to the $(2,K-4,2)$ irrep ($\overline T_K^{(+)}$),
471: the $(0,K-3,2)+(2,K-3,0)$ irreps ($\overline T_K^{(-)}$) and
472: $(0,K-2,0)$ ($\overline T_K^{(0)}$). In $SO(4)$ language, these
473: are the symmetric-traceless, antisymmetric and trace representations,
474: as described above. We therefore have the following, exact in $K$:
475: \begin{eqnarray}
476: \label{firstopdim}
477: {\Delta}(\overline T_K^{(+)}) = 2 +
478: \frac{g^2_{YM} N_c}{\pi^2} \sin^2\left(\frac{n\pi}{K-1}\right)~,
479: & ~~ &
480: n=1,2,\ldots,n_{max} =
481: {\scriptsize
482: \begin{cases}
483: (K-3)/2~~K~{\rm odd}\cr (K-2)/2~~K~{\rm even} \end{cases}}~,
484: \nn
485: \ee
486: \be
487: { \Delta}(\overline T_K^{(-)}) = 2 +
488: \frac{g^2_{YM} N_c}{\pi^2} \sin^2\left(\frac{n\pi}{K}\right)~,
489: & ~~ &
490: n=1,2,\ldots, n_{max}=
491: {\scriptsize
492: \begin{cases}(K-1)/2~~K~{\rm odd}\cr
493: (K-2)/2~~K~{\rm even}\end{cases}}~,
494: \nn
495: \ee
496: \be
497: { \Delta}(\overline T_K^{(0)}) = 2 +
498: \frac{g^2_{YM} N_c}{\pi^2} \sin^2\left(\frac{n\pi}{K+1}\right)~,
499: & ~ &
500: n=1,2,\ldots, n_{max}=
501: {\scriptsize
502: \begin{cases}(K-1)/2~~K~{\rm odd}\cr
503: (K/2)~~~~~~~K~{\rm even}\end{cases}}~.
504: \nonumber\\
505: &&
506: \end{eqnarray}
507: The multiplicities match the earlier predictions given by the
508: expansion in Young diagrams in eqns.~(\ref{phi_irrepodd}) and (\ref{phi_irrep}).
509:
510:
511: We will eventually be interested in exploring the overlap of such results
512: with that which can be predicted by the dual string theory. As described above,
513: the central assumption introduced by Berenstein, Maldacena and Nastase is
514: that the $R$-charge and the rank of the gauge group $N_c$ can be
515: taken to infinity such that the quantity $N_c/R^2$ remains fixed.
516: The perturbation expansion in the gauge theory is then controlled by
517: $g_{\rm YM}^2N_c$ (which is kept small in the $g_{\rm YM}^2 \to 0$ limit,
518: which is the classical $g_s \to 0$ limit of the string theory),
519: while worldsheet interactions in the string theory are controlled by $1/\Rhat$.
520: If we express the dimension formulas (\ref{firstopdim}) in terms of
521: $R$-charge $R$, rather than naive dimension $K$ (using $K=R+2$)
522: and take the limit in this way, we find
523: \begin{eqnarray} \label{finlopdim}
524: {\Delta}(\overline T_{R+2}^{(+)})
525: \rightarrow 2 +\frac{g^2_{YM} N_c}{R^2}~n^2~
526: \left(1-\frac{2}{R}+O(R^{-2})\right)~,
527: \nonumber\\
528: {\Delta}(\overline T_{R+2}^{(-)})
529: \rightarrow 2 +\frac{g^2_{YM} N_c}{R^2}~n^2~
530: \left(1-\frac{4}{R}+O(R^{-2})\right)~,
531: \nonumber\ee\be
532: {\Delta}(\overline T_{R+2}^{(0)})
533: \rightarrow 2 +\frac{g^2_{YM} N_c}{R^2}~n^2~
534: \left(1-\frac{6}{R}+O(R^{-2})\right)~.
535: \end{eqnarray}
536: The key fact is that the degeneracy of the full BMN limit
537: (at leading order in $1/R$) is lifted at subleading order
538: in $1/R$. By including these subleading terms we generate
539: an interesting spectrum that will prove to be a powerful
540: tool for comparison with string theory and testing the claims
541: of the AdS/CFT correspondence.
542:
543:
544: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
545: \section{The complete supermultiplet}
546: \label{gen_mult}
547: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
548: We have thus far reviewed the anomalous dimension
549: computation for a specific set of operators. For a complete comparison
550: with the string theory, we need to carry out some version of
551: the above arguments for all the relevant operators
552: with $\Delta_0 = 2$. While this is certainly possible, we can instead
553: rely on supersymmetry to determine the full spectrum of anomalous dimensions
554: for all single-trace, two-impurity operators.
555: The extended superconformal symmetry of the gauge theory
556: means that operator dimensions will be organized into
557: multiplets based on a lowest-dimension primary ${\cal O}_D$
558: of dimension $D$. Other conformal primaries within the multiplet
559: can be generated by acting on super-primaries with any of eight supercharges
560: that increment the anomalous dimension shifts by a fixed amount but leave the
561: impurity number unchanged.
562: We need only concern ourselves here
563: with the case in which ${\cal O}_D$ is a spacetime scalar (of
564: dimension $D$ and $R$-charge $R$). There are sixteen supercharges
565: and we can choose eight of them to be raising operators; there are
566: $2^8=256$ operators we can reach by `raising' the lowest one.
567: Since the raising operators increase the dimension and $R$-charge
568: by 1/2 each time they act, the operators at level $L$, obtained by
569: acting with $L$ supercharges, all have the same dimension and
570: $R$-charge. The corresponding decomposition of the 256-dimensional
571: multiplet is shown in table~\ref{table1}.
572: \bc
573: \begin{table}[ht!]
574: %\begin{center}
575: \begin{eqnarray}
576: {\footnotesize
577: \begin{array}{|l|l|l|l|l|l|l|l|l|l|}\hline
578: {\rm Level}& 0& 1& 2& 3& 4& 5& 6& 7& 8 \\ \hline {\rm
579: Multiplicity}& 1& 8& 28& 56& 70& 56& 28& 8& 1 \\ \hline {\rm
580: Dimension}& D& D+{1}/{2} & D+{1}& D+{3}/{2} & D+{2} & D+{5}/{2} &
581: D+{3} & D+{7}/{2} & D+4 \\ \hline R-{\rm charge} & R& R+{1}/{2} &
582: R+{1}& R+{3}/{2} & R+{2} & R+{5}/{2} & R+{3} & R+{7}/{2} & R+4 \\
583: \hline
584: \end{array} \nonumber }
585: \end{eqnarray}
586: %\end{center}
587: \caption{$R$-charge content of a supermultiplet} \label{table1}
588: \end{table}
589: \ec
590: The states at each level can be classified under the
591: Lorentz group and the $SO(4)\sim SU(2)\times SU(2)$ subgroup of
592: the $R$-symmetry group, which is unbroken after we have fixed the
593: $SO(2)$ $R$-charge. For instance, the 28 states at level 2
594: decompose under $SO(4)_{Lor}\times SO(4)_R$ as
595: $(6,1)+(1,6)+(4,4)$. For the present, the most important point is
596: that, given the dimension of one operator at one level, we can
597: infer the dimensions of all other operators in the supermultiplet.
598:
599: By working in this fashion we can generate complete anomalous
600: dimension spectra of all two-impurity operators. The results
601: obtained in this manner agree with work originally completed
602: by Beisert in \cite{Beisert:2002tn}. We will summarize these results
603: here, adding some further useful information that emerges
604: from our own $SU(4)$ analysis.
605: The supermultiplet of interest is
606: based on the set of scalars
607: $\sum_A \tr\left(\phi^AZ^p\phi^AZ^{R-p}\right)$, the operator
608: class we have denoted by $\overline T_{R+2}^{(0)}$. According to
609: (\ref{firstopdim}), the spectrum of $\Delta=D-R$ eigenvalues
610: associated with this operator basis is
611: \begin{eqnarray}
612: \label{multopdim}
613: \Delta(\overline T_{R+2}^{(0)}) =
614: 2 + \frac{g^2_{YM} N_c}{\pi^2} \sin^2\left(\frac{n\pi}{R+3}\right)
615: \rightarrow 2 +\frac{g^2_{YM} N_c}{R^2}~n^2~\left(1-\frac{6}{R}
616: +O(R^{-2})\right)~.
617: \end{eqnarray}
618: The remaining scalar operators $\overline T_{R+2}^{(\pm)}$ are
619: included in the supermultiplet and the dimension formulas are
620: expressed in terms of the $R$-charge of the lowest-dimension
621: member. It turns out that (\ref{multopdim})
622: governs {\it all} the operators at {\it all} levels in the
623: supermultiplet. The results of this program, carried out on the
624: spacetime scalar operators, are summarized in table~\ref{tableone}.
625:
626: \bc
627: \begin{table}[ht!]
628: \begin{eqnarray}
629: {\scriptsize
630: \begin{array}{|l|l|l|l|l|l|}\hline
631: L& R& SU(4) ~ {\rm Irreps} & {\rm Operator} & \Delta-2 & {\rm Multiplicity}
632: \\ \hline
633: 0 & R_0 & (0,R_0,0) & \Sigma_A\tr\left(\phi^AZ^p\phi^AZ^{R_0-p}\right) &
634: \frac{g^2_{YM} N_c}{\pi^2} \sin^2(\frac{n\pi}{(R_0)+3}) &
635: n=1,.,\frac{R_0+1}{2} \\ \hline
636: 2 & R_0+1 & (0,R_0,2)+c.c. & \tr\left(\phi^{[i}Z^p\phi^{j]}Z^{R_0+1-p}\right) &
637: \frac{g^2_{YM} N_c}{\pi^2} \sin^2(\frac{n\pi}{(R_0+1)+2}) &
638: n=1,.,\frac{R_0+1}{2} \\ \hline
639: 4 & R_0+2 & (2,R_0,2) & \tr\left(\phi^{(i}Z^p\phi^{j)}Z^{R_0+2-p}\right) &
640: \frac{g^2_{YM} N_c}{\pi^2} \sin^2(\frac{n\pi}{(R_0+2)+1}) &
641: n=1,.,\frac{R_0+1}{2} \\ \hline
642: 4&R_0+2&(0,R_0+2,0)\times 2&
643: \tr\left(\chi^{[\alpha}Z^p\chi^{\beta]}Z^{R_0+1-p}\right) &
644: \frac{g^2_{YM} N_c}{\pi^2} \sin^2(\frac{n\pi}{(R_0+2)+1}) &
645: n=1,.,\frac{R_0+1}{2} \\ \hline
646: 6&R_0+3&(0,R_0+2,2)+c.c.&\tr\left(\chi^{(\alpha}
647: Z^p\chi^{\beta)}Z^{R_0+2-p}\right) &
648: \frac{g^2_{YM} N_c}{\pi^2} \sin^2(\frac{n\pi}{(R_0+3)+0}) &
649: n=1,.,\frac{R_0+1}{2} \\ \hline
650: 8 & R_0+4 & (0,R_0,0) & \tr\left(\nabla_\mu Z Z^p\nabla^\mu Z Z^{R_0+2-p}
651: \right) &
652: \frac{g^2_{YM} N_c}{\pi^2} \sin^2(\frac{n\pi}{(R_0+4)-1}) &
653: n=1,.,\frac{R_0+1}{2} \\ \hline
654: \end{array} }
655: \nn\\ \nonumber
656: \end{eqnarray}
657: \caption{Dimensions and multiplicities of spacetime scalar
658: operators} \label{tableone}
659: \end{table}
660: \ec
661:
662: The supermultiplet contains operators that are not spacetime
663: scalars (i.e., that transform nontrivially under the $SU(2,2)$
664: conformal group) and group theory determines at what levels in
665: the supermultiplet they must lie. A representative sampling of
666: data on such operators (extracted from Beisert's paper) is
667: collected in table~\ref{tabletwo}. We have worked out neither the
668: $SU(4)$ representations to which these lowest-$\Delta$ operators
669: belong nor their precise multiplicities. The ellipses indicate
670: that the operators in question contain further monomials involving
671: fermion fields (so that they are not uniquely specified by their
672: bosonic content). This information will be useful in consistency
673: checks to be carried out below.
674:
675: \bc
676: \begin{table}[ht!]
677: \begin{eqnarray}
678: \begin{array}{|l|l|l|l|l|}\hline
679: L & R& {\rm Operator} & \Delta-2 & \Delta-2\to \\ \hline 2 & R_0+1 &
680: \tr\left(\phi^iZ^p\nabla_\mu Z Z^{R_0-p}\right)+\ldots &
681: \frac{g^2_{YM} N_c}{\pi^2} \sin^2(\frac{n\pi}{(R_0+1)+2}) &
682: \frac{g^2_{YM} N_c}{R_0^2}n^2(1-\frac{4}{R_0}) \\ \hline 4 & R_0+2 &
683: \tr\left(\phi^iZ^p\nabla_\mu Z Z^{R_0+1-p}\right) & \frac{g^2_{YM}
684: N_c}{\pi^2} \sin^2(\frac{n\pi}{(R_0+2)+1}) & \frac{g^2_{YM}
685: N_c}{R_0^2}n^2(1-\frac{2}{R_0}) \\ \hline 4 & R_0+2 &
686: \tr\left(\nabla_{(\mu}ZZ^p\nabla_{\nu)}Z Z^{R_0-p}\right) &
687: \frac{g^2_{YM} N_c}{\pi^2} \sin^2(\frac{n\pi}{(R_0+2)+1}) &
688: \frac{g^2_{YM} N_c}{R_0^2}n^2(1-\frac{2}{R_0}) \\ \hline 6 & R_0+3 &
689: \tr\left(\phi^iZ^p\nabla_\mu Z Z^{R_0+2-p}\right)+\ldots &
690: \frac{g^2_{YM} N_c}{\pi^2} \sin^2(\frac{n\pi}{R_0+3}) &
691: \frac{g^2_{YM} N_c}{R_0^2}n^2(1-\frac{0}{R_0}) \\ \hline 6 & R_0+3 &
692: \tr\left(\nabla_{[\mu}ZZ^p\nabla_{\nu]}Z Z^{R_0+1-p}\right) &
693: \frac{g^2_{YM} N_c}{\pi^2} \sin^2(\frac{n\pi}{R_0+3}) &
694: \frac{g^2_{YM} N_c}{R_0^2}n^2(1-\frac{0}{R_0}) \\ \hline
695: \end{array}\nonumber
696: \end{eqnarray}
697: \caption{Anomalous dimensions of some operators that are not
698: scalars} \label{tabletwo}
699: \end{table}
700: \ec
701:
702: \ \\
703:
704: \bc
705: \begin{table}[ht!]
706: \begin{eqnarray}
707: {\small
708: \begin{array}{|l|l|l|l|l|l|l|l|l|l|}\hline
709: {\rm Level} & 0& 1& 2& 3& 4& 5& 6& 7& 8 \\ \hline
710: {\rm Multiplicity} & 1& 8& 28& 56& 70& 56& 28& 8& 1 \\ \hline
711: \delta E\times (R^2/g_{YM}^2N_c n^2) & -{6}/{R} & -{5}/{R} &
712: -{4}/{R} & -{3}/{R} & -{2}/{R} & -{1}/{R} &
713: 0 & {1}/{R} & {2}/{R} \\ \hline
714: \end{array} \nonumber }
715: \end{eqnarray}
716: \caption{Predicted energy shifts of two-impurity string states}
717: \label{smultiplicity}
718: \end{table}
719: \ec
720:
721: \ \\
722:
723:
724: The complete dimension spectrum of operators with
725: $R$-charge $R$ at level $L$ in the supermultiplet are given by the
726: general formula (valid for large $R$ and fixed $n$):
727: \begin{eqnarray}
728: \label{deltalevel} \Delta^{R,L}_n
729: &=& 2 + \frac{g^2_{YM} N_c}{\pi^2}
730: \sin^2\left(\frac{n\pi}{R+3-L/2}\right)
731: \nn\\
732: &=& 2+\frac{g^2_{YM}
733: N_c}{R^2}~n^2\left(1-\frac{6-L}{R}+O(R^{-2})\right)~.
734: \end{eqnarray}
735: It should be emphasized that, for fixed
736: $R$, the operators associated with different levels are actually
737: coming from {\it different} supermultiplets; this is why they have
738: different dimensions! As mentioned before, we can also precisely
739: identify transformation properties under the Lorentz group and
740: under the rest of the $R$-symmetry group of the degenerate states
741: at each level.
742: This again leads to useful consistency checks, and
743: we will elaborate on this when we analyze the eigenstates of the
744: string worldsheet Hamiltonian.
745:
746:
747: