1: \section{The Klebanov-Strassler system}
2: \label{KS}
3: In this section we review the \emph{warped deformed conifold},
4: or the Klebanov-Strassler solution \cite{Klebanov:2000hb}.
5: We will be particularly interested in the ``gluino sector'',
6: the 3-scalar system of fluctuations that contains the field dual to
7: the gluino bilinear $\Tr \lambda \lambda$.
8:
9: \subsection{Review of the background}
10: \label{KSbackground}
11: %
12: The KS system is obtained from the general PT system by relating the
13: fields $a$ and $g$ by the relation
14: %
15: \begin{equation}
16: \label{KS:agrel}
17: a = \tanh y~,\quad \e{-g}= \cosh y \qquad \text{(KS)}~,
18: \end{equation}
19: %
20: whereby a new field $y$ (not to be confused with the 5-d
21: coordinates $y^\mu$ used in Sec.~\ref{sugratrunc}) is introduced.
22: This relation renders the constraint \eqref{partialchi} integrable and implies
23: $\chi=0$. Moreover, one can check that the equations of motion for $a$
24: and $g$, \eqref{eoma} and \eqref{eomg}, become equivalent.
25:
26: There exists an even more restricted truncation, which gives
27: rise to the singular 10-d conifold background of KT and certain
28: fluctuations thereof. It contains four scalars and is obtained by
29: imposing
30: %
31: \begin{equation}
32: \label{KS:KTrels}
33: a=b=g=h_2=0 \qquad \text{(KT)}~,
34: \end{equation}
35: %
36: which also implies $\chi=0$. We shall not consider the KT system
37: separately, but discuss the KS system in a way similar to the
38: treatment of the MN system in Sec.~\ref{MN}. That is, we will consider
39: a class of background solutions characterized by a parameter $c$,
40: that formally interpolates between the KT and KS backgrounds. As in the MN
41: case, the background solutions are typically
42: singular, except for the KS endpoint of the family.
43: %
44: \begin{table}[ht]
45: \caption{Comparison of symbol and field conventions used by Apreda
46: \cite{Apreda:2003gc} (see also \cite{Bigazzi:2000uu}),
47: Papadopoulos and Tseytlin
48: \cite{Papadopoulos:2000gj}, and Klebanov and Strassler (KS)
49: \cite{Klebanov:2000hb}. The entries N/A mean that
50: these fields do not appear explicitly in the KS paper.
51: Apreda's fields diagonalize the mass matrix in the
52: AdS background for $P=0$, $Q=2/\sqrt{27}$. The last two columns
53: contain, respectively, the mass squared of the bulk fields and the
54: conformal dimensions of the dual operators in the AdS background
55: for $P=0$. \label{KS:conventions}}
56: \renewcommand\arraystretch{1.4}
57: \[
58: \begin{array}{|c|c|c|c|c|c|}
59: \hline
60: {\rm Apreda} & {\rm PT} & {\rm KS} & m^2 & \Delta
61: \\ \hline\hline
62: %
63: q & \frac15(x-2p)+\frac{3}{20}\ln(3)+\frac{1}{10}\ln(2)
64: & {\rm N/A} & 32 & 8 \\ \hline
65: %
66: f_{\rm Apreda} & \frac15(x+3p)+\frac{1}{10}\ln(2/3) & {\rm N/A}
67: & 12 & 6 \\ \hline
68: %
69: y & \sinh^{-1}(a \e{-g}) & {\rm N/A} & -3 & 3 \\ \hline
70: %
71: \Phi & \Phi & \Phi & 0 & 4 \\ \hline
72: %
73: s & -2h_1 & M (k+f_{\rm KS}) & 0 & 4 \\ \hline
74: %
75: N_1 & -h_2-P_{\rm PT} (b+1) & \frac{M}{2}(k-f_{\rm KS})- M F
76: & 21 & 7 \\ \hline
77: %
78: N_2 & -h_2+ P_{\rm PT}(b+1) & \frac{M}{2} (k-f_{\rm KS})+MF
79: & -3 & 3 \\ \hline\hline
80: %
81: P_{\rm Apreda} & -P_{\rm PT} \equiv -P & M/2 & - & - \\ \hline
82: \end{array}
83: \]
84: \end{table}
85:
86: For the remaining fields of the KS system,
87: there exist a variety of conventions in the
88: literature, some of which we list for reference in
89: Tab.~\ref{KS:conventions}.\footnote{Note that there
90: are typos in the first three equations of (5.24) in
91: \cite{Papadopoulos:2000gj}, which relate
92: the variables used in that paper to those used in \cite{Klebanov:2000hb}.
93: The correct relations can be read off from Tab.~\ref{KS:conventions}.}
94: For the purpose of rederiving the
95: background solutions, we shall start with the PT variables
96: $(x,p,y,\Phi,b,h_1,h_2)$, where $y$ was introduced in
97: \eqref{KS:agrel}. The sigma-model metric \eqref{actionPT}
98: for the KS system reduces to
99: %
100: \begin{multline}
101: \label{KS:Gab}
102: G_{ab} \partial_\mu \phi^a \partial^\mu \phi^b =
103: \partial_\mu x \partial^\mu x
104: + 6 \partial_\mu p \partial^\mu p
105: + \frac12 \partial_\mu y \partial^\mu y
106: + \frac14 \partial_\mu \Phi \partial^\mu \Phi
107: + \frac{P^2}2 \e{\Phi-2x} \partial_\mu b \partial^\mu b +\\
108: +\frac14 \e{-\Phi-2x} \left[
109: \e{-2y} \partial_\mu (h_1-h_2) \partial^\mu (h_1-h_2)
110: +\e{2y} \partial_\mu (h_1+h_2) \partial^\mu (h_1+h_2) \right]~,
111: \end{multline}
112: %
113: and the superpotential reads
114: \cite{Papadopoulos:2000gj}
115: %
116: \begin{equation}
117: \label{KS:W}
118: W = -\frac12 \left( \e{-2p-2x} +\e{4p} \cosh y \right)
119: +\frac14 \e{4p-2x} \left( Q + 2Pb h_2 + 2Ph_1 \right)~.
120: \end{equation}
121: %
122: Setting $P=0$, there exists an AdS fixed point. The choice
123: $Q=2/\sqrt{27}$ leads to the corresponding AdS background with unit length
124: scale, and Apreda's fields vanish in this background.
125:
126: For the KS system,
127: the background equations \eqref{background1}, \eqref{background2}
128: become%
129: \begin{equation}
130: \label{KS:backgrdeq}
131: \begin{aligned}
132: \partial_r (x+3p) &= \frac32 \e{-2p-2x} -\e{4p} \cosh y~,\\
133: \partial_r (x-6p) &= 2 \e{4p} \cosh y - \frac32 \e{4p-2x}
134: \left[ Q + 2Pbh_2 +2P h_1 \right]~,\\
135: \partial_r y &= -\e{4p} \sinh y~,\\
136: \partial_r \Phi &= 0~,\\
137: \partial_r b &= \frac1{P\e{\Phi}} \e{4p} h_2~,\\
138: \partial_r h_1 &= P\e{\Phi} \e{4p} \left[\cosh(2y) -b \sinh(2y)
139: \right]~,\\
140: \partial_r h_2 &= P\e{\Phi} \e{4p} \left[b \cosh(2y) -\sinh(2y)
141: \right]~.
142: \end{aligned}
143: \end{equation}
144: %
145: We shall, in the following, rederive the background solutions of this
146: system by following the calculations of KS \cite{Klebanov:2000hb}, but
147: adding the relevant integration constants.
148: From \eqref{KS:backgrdeq} we can immediately read off $\Phi=\Phi_0=\const$, and
149: after introducing the KS radial coordinate $\tau$ by
150: %
151: \begin{equation}
152: \label{KS:taudef}
153: \partial_\tau = \e{-4p} \partial_r~,
154: \end{equation}
155: %
156: we easily find
157: %
158: \begin{equation}
159: \label{KS:ysol}
160: \e{y} = \tanh \frac{\tau+c}2~.
161: \end{equation}
162: %
163: For generality, we shall keep the integration constant $c$. In
164: particular, $c$ takes the values $\infty$ and $0$ for the KT and KS
165: solutions, respectively. Similar to the parameter $c$ in the MN
166: solution discussed in Sec.~\ref{MN}, it determines whether the supergravity
167: solution is regular ($c=0$) or not ($c \neq 0$). We note that \eqref{KS:ysol}
168: restricts the range of $\tau$ to $\tau > -c$.
169:
170: From the equations for $b$, $h_1$ and $h_2$ one can derive the
171: differential equation
172: %
173: \begin{equation}
174: \label{KS:beq}
175: \partial_\tau^2 b = b \cosh(2y) -\sinh(2y)~,
176: \end{equation}
177: %
178: whose general solution is
179: %
180: \begin{equation}
181: \label{KS:bsol}
182: b = b_1 \cosh(\tau+c) -\frac{(b_1+1)\tau +b_2}{\sinh(\tau+c)}~.
183: \end{equation}
184: %
185: We must set $b_1=0$ in order to avoid the exponential blow-up for
186: large $\tau$, and $b_2$ can be absorbed into a redefinition of
187: $\tau$ and $c$. Hence, we have
188: %
189: \begin{equation}
190: \label{KS:bsol2}
191: b = -\frac{\tau}{\sinh(\tau+c)}~,
192: \end{equation}
193: %
194: from which follows immediately
195: %
196: \begin{equation}
197: \label{KS:h2sol}
198: h_2 = P\e{\Phi_0} \frac{\tau\coth(\tau+c)-1}{\sinh(\tau+c)}~.
199: \end{equation}
200: %
201: Then, we obtain also
202: \begin{equation}
203: \label{KS:h1sol}
204: h_1 = P\e{\Phi_0}\coth(\tau+c)
205: [ \tau \coth(\tau+c) -1] +\tilde{h}~,
206: \end{equation}
207: %
208: where $\tilde{h}$ is an integration constant.
209:
210: The functions $b$, $h_1$ and $h_2$ determine the function $K$, which
211: measures the 5-form flux in the 10-d configuration
212: \eqref{PTansatz}.\footnote{Note that this is not the $K$ of KS.}
213: From \eqref{kconstraint}, \eqref{KS:bsol2}, \eqref{KS:h2sol} and
214: \eqref{KS:h1sol} we find
215: %
216: \begin{equation}
217: \label{KS:K}
218: K = K_0 +P^2 \e{\Phi_0} \frac{\tau\coth(\tau+c)-1}{\sinh^2(\tau+c)}
219: [\sinh(2\tau+2c) -2\tau]~,
220: \end{equation}
221: %
222: where we have abbreviated
223: %
224: \begin{equation}
225: \label{KS:K0}
226: K_0 = Q +2 P \tilde{h}~.
227: \end{equation}
228:
229: Now, let us calculate the backgound fields $x$ and $p$. It is
230: convenient to use Apreda's fields $f$ and $q$, the definitions of
231: which are given in Tab.~\ref{KS:conventions}.
232: Then, from the equation for $(x+3p)$ we find
233: %
234: \begin{equation}
235: \label{KS:feq}
236: 5 \partial_\tau f = \e{-10f} -\cosh y~,
237: \end{equation}
238: %
239: with the general solution
240: %
241: \begin{equation}
242: \label{KS:fsol}
243: \e{10f} = \coth(\tau+c) -\frac{\tau+f_0}{\sinh^2(\tau+c)}~,
244: \end{equation}
245: %
246: where $f_0$ is again an integration constant. The remaining background
247: equation gives rise to
248: %
249: \begin{equation}
250: \label{KS:qeq}
251: \left( \partial_\tau -\frac43 \coth y \right) \e{6q-8f/3} =
252: - 2 \cdot3^{1/2} K \e{-20f/3}~,
253: \end{equation}
254: %
255: where $K$ is given by \eqref{KS:K}. Isolating the homogeneous solution
256: by the ansatz\footnote{The constant factor
257: $2^{4/3}e^{-4c/3}$
258: has been inserted to normalize the
259: forefactor to unity in the $c\to \infty$ limit.}
260: %
261: \begin{equation}
262: \label{KS:hdef}
263: \e{6q-8f/3} = 2^{4/3} \e{-4c/3} \sinh^{4/3}(\tau+c)\, h(\tau)~,
264: \end{equation}
265: %
266: we obtain from \eqref{KS:qeq} that $h(\tau)$ satisfies
267: %
268: \begin{equation}
269: \label{KS:heq}
270: \begin{split}
271: \partial_\tau h &= -2^{1/3} 3^{1/2} \e{4c/3} [\sinh(2\tau+2c)
272: -2\tau-2f_0]^{-2/3} \times \\
273: & \quad\times \left\{ K_0 +P^2 \e{\Phi_0}
274: \frac{\tau\coth(\tau+c)-1}{\sinh^2(\tau+c)} [\sinh(2\tau+2c)
275: -2\tau] \right\}~.
276: \end{split}
277: \end{equation}
278: %
279:
280: It is instructive to consider the limit $c \to \infty$, which
281: describes the large-$\tau$ behaviour of all background solutions.
282: In this case, we obtain explicitly
283: \begin{equation}
284: \label{KS:hsolcinf}
285: h = \frac12 3^{3/2} \e{-4\tau/3} \left[ K_0 +2P^2 \e{\Phi_0}
286: \left(\tau-\frac14\right) \right]+h_0~,
287: \end{equation}
288: %
289: The choice $h_0=0$, needed in order to avoid the exponential growth in
290: \eqref{KS:hdef}, removes the asymptotically flat region from the 10-d
291: solution.
292:
293: Finally, one can show that the equation for the warp factor $A$ in
294: \eqref{background1} yields
295: %
296: \begin{equation}
297: \label{KS:Asol}
298: \e{-2A} = C^2 \e{-2x/3} (2\e{-c})^{-2/3} \sinh^{-2/3} (\tau+c)~,
299: \end{equation}
300: %
301: where the integration constant $C$ sets the 4-d scale and will be
302: fixed later.\footnote{Note that in this formula
303: most of the complicated $\tau$-dependence of $\e{-2A}$
304: is hidden in the factor $\e{-2x/3}$.}
305:
306: The regular KS solution is given by fixing
307: the integration constants as follows:
308: \begin{equation}
309: \label{KS:constants}
310: c=f_0=K_0=0~,
311: \end{equation}
312: and imposing vanishing $h$ for large $\tau$, which yields
313: %
314: \begin{equation}
315: \label{KS:hsol}
316: h= 2^{1/3} 3^{1/2} P^2 \e{\Phi_0} \int\limits_{\tau}^\infty
317: \rmd \vartheta \, \frac{\vartheta\coth \vartheta -1}{\sinh^2
318: \vartheta} \left[ \sinh(2\vartheta)-2\vartheta
319: \right]^{1/3}~.
320: \end{equation}
321: Note that our definition of $h$ differs from the one in
322: \cite{Klebanov:2000hb} by a constant involving a factor $\epsilon^{-8/3}$. (Although \cite{Klebanov:2000hb} fix $\epsilon$ to a numerical
323: value early on, it is clear from (65) in \cite{Herzog:2001xk}
324: that their $h \sim \epsilon^{-8/3}$.)
325: Our constant $C^2$ of \eqref{KS:Asol}, which
326: appears in front of the external 4-dimensional metric
327: in \eqref{background1}, corresponds to
328: $\epsilon^{-4/3}$ of \cite{Klebanov:2000hb} up to numerical factors.
329:
330:
331: \subsection{Fluctuation equations}
332: \label{KSeoms}
333: %
334: We are now in a position to write down the equations of
335: motion for fluctuations \eqref{eqphi} about the background solutions
336: found in the previous subsection. Let us begin by expressing
337: the equation of motion
338: in terms of the KS radial coordinate $\tau$. After multiplying
339: \eqref{eqphi} by $\e{-8p}$ and using \eqref{KS:taudef} we obtain
340: %
341: \begin{equation}
342: \label{KS:eqmot}
343: \left[ (\partial_\tau + M )(\partial_\tau -N) +\e{-8p-2A} \Box
344: \right] \mfa =0~,
345: \end{equation}
346: %
347: where the matrices $M$ and $N$ are given by
348: %
349: \begin{equation}
350: \label{KS:MNdef}
351: \begin{split}
352: N^a_b &= \e{-4p} \left( \partial_b W^a -\frac{W^aW_b}W \right)~,\\
353: M^a_b &= N^a_b +2\e{-4p} \left( \G{a}{bc}W^c +\e{-2p-2x} \delta^a_b
354: \right)~.
355: \end{split}
356: \end{equation}
357: %
358: When we substitute the KS background in \eqref{KS:MNdef},
359: the matrices become quite complicated and are relegated to Appendix \ref{sec:KSmatrices}.
360: We view it as an important step to have obtained them explicitly,
361: and we intend to come back to a more detailed study of
362: them at a later date.
363:
364: In the following, we shall consider fluctuations about the KT
365: background, which is given by the choice of integration constants
366: %
367: \begin{equation}
368: \label{KS:KTbackground}
369: c= \infty~,\quad K_0=f_0=h_0=\Phi_0=0~.
370: \end{equation}
371: %
372: The motivation for this choice is essentially the same as for the MN
373: system: this background describes correctly the asymptotic region of
374: the KS solution, and the equations of motion have a simpler form,
375: which can be treated analytically (with a further approximation
376: described in Sec.~\ref{KSnearIR}).
377:
378: For the background specified by the integration constants
379: \eqref{KS:KTbackground}, the matrices $M$ and $N$ have quite a simple form.
380: Using Apreda's variables for the fluctuation fields, $\mfa=
381: \delta(q,f,\Phi,s,y,N_1,N_2)$,
382: and $P\equiv P_{\rm PT} = -P_{\rm Apreda}$,
383: we find
384: %
385: \begin{align}
386: \label{KS:Minf}
387: M &= \begin{pmatrix}
388: \frac{4(8\tau-3)}{3(4\tau+1)} & 0 & 0 &
389: \frac{32(\tau-1)}{45P(16\tau^2-1)} & 0 & 0 & 0 \\
390: 0 &-\frac{2}{3} & 0 & -\frac{4}{15P(4\tau-1)} & 0 & 0 & 0 \\
391: 0 & 0 & \frac{4}{3} & -\frac{8}{3P(4\tau-1)} & 0 & 0 & 0 \\
392: \frac{20P(4\tau-1)}{4\tau+1} & 0 & 0 &
393: \frac{8(2\tau+1)(4\tau-3)}{3(16\tau^2-1)} & 0 & 0 & 0 \\
394: 0 & 0 & 0 & 0 & \frac{1}{3} & \frac{8}{3P(4\tau-1)} &
395: \frac{8}{3P(4\tau-1)} \\
396: 0 & 0 & 0 & 0 & 0 & \frac{28\tau-19}{3(4\tau-1)} & 0 \\
397: 0 & 0 & 0 & 0 & 0 & 0 & \frac{4\tau-13}{3(4\tau-1)}
398: \end{pmatrix}~,\\
399: \label{KS:Ninf}
400: N &= \begin{pmatrix}
401: \frac{16(\tau-1)}{3(4\tau+1)} & 0 & 0 & \frac{4}{9P(4\tau+1)} &
402: 0 & 0 & 0 \\
403: 0 & -2 & 0 & 0 & 0 & 0 & 0 \\
404: 0 & 0 & 0 & 0 & 0 & 0 & 0 \\
405: \frac{32P(\tau-1)}{4\tau+1} & -8P & -2P & \frac{8}{3(4\tau+1)} &
406: 0 & 0 & 0 \\
407: 0 & 0 & 0 & 0 & -1 & 0 & 0 \\
408: 0 & 0 & 0 & 0 & 2P & 1 & 0 \\
409: 0 & 0 & 0 & 0 & 2P & 0 & -1
410: \end{pmatrix}~.
411: \end{align}
412: %
413: The block-diagonal form of these matrices is a nice
414: feature of the KT background. Remember that \eqref{KS:KTrels} defines
415: a consistent truncation of the KS to the KT system, so that the lower
416: left $3\times 4$ off-diagonal blocks of $M$ and $N$ are expected to be
417: zero, but vanishing of the upper right block
418: is a bonus feature.
419: It is a particularly welcome bonus, since the gluino sector
420: $\delta(y,N_1,N_2)$ is where we would expect much of the interesting
421: physics to be encoded.
422:
423: We also see from \eqref{KS:Minf} and \eqref{KS:Ninf} that the UV limit
424: $\tau\rightarrow \infty$ and the conformal limit $P\rightarrow 0$ do
425: not commute. One might have considered performing an expansion in $P$
426: to study a ``near-conformal'' regime, but the
427: order of limits would pose a problem. This is not surprising, because among other things we have imposed $K_0=0$
428: on the solution, which is not possible for $P=0$, as can be seen from
429: \eqref{KS:K}. It is of course possible to study the conformal
430: (Klebanov-Witten \cite{Klebanov:1998hh}) system directly, but this would
431: require changing field variables.
432:
433: For the KT background, it is useful to change the radial variable by
434: introducing\footnote{Our $\sigma$ corresponds to $r$ of KT up to a
435: multiplicative factor, whereas our $r$ corresponds to their $u$.}
436: %
437: \begin{equation}
438: \label{KS:sdef}
439: \tau= 3\ln \sigma +\frac14~.
440: \end{equation}
441: %
442: Using \eqref{KS:Asol}, \eqref{KS:hdef} and \eqref{KS:hsolcinf},
443: we find that the term in \eqref{KS:eqmot} with the
444: 4-dimensional box operator is proportional to
445: %
446: \begin{equation}
447: \label{KS:momentumterm}
448: \e{-2A-8p} \sim \frac{C^2 P^2}{\sigma^2} \ln \sigma~,
449: \end{equation}
450: %
451: where we have suppressed a numerical factor. Hence, from \eqref{KS:eqmot}
452: and with a suitable choice of the constant $C$ follows, in momentum space,
453: %
454: \begin{equation}
455: \label{KS:eqmot2}
456: \left[ (\sigma\partial_\sigma + 3 M )(\sigma \partial_\sigma -3N) -
457: \frac{k^2 P^2}{\sigma^2} \ln \sigma \right] \mfa =0~.
458: \end{equation}
459: %
460: We see that fixing $C$ indeed sets the 4-dimensional energy scale,
461: as claimed in the previous section.
462:
463: We further introduce\footnote{Our $v$ corresponds to Krasnitz's
464: $y$.}
465: %
466: \begin{equation}
467: \label{KS:ydef}
468: v = \frac{kP}{\sigma}~,
469: \end{equation}
470: %
471: in terms of which \eqref{KS:eqmot2} becomes
472: %
473: \begin{equation}
474: \label{KS:eqmot3}
475: \left[ v^3 \partial_v v^{-3} \partial_v
476: - Y v^{-1} \partial_v
477: - Z v^{-2} - \ln \frac{kP}{v} \right]\mfa =0~,
478: \end{equation}
479: %
480: where the matrices $Y$ and $Z$ are given by
481: %
482: \begin{equation}
483: \label{KS:YZdef}
484: Y = 3 (M-N) - 4~,\quad Z = 9MN+3\sigma \partial_\sigma N~.
485: \end{equation}
486: %
487: In \cite{Krasnitz:2002ct}, fluctuations of the 4-scalar KT system were
488: studied in a particular gauge, leading to equations more complicated
489: than, but presumably equivalent to \eqref{KS:eqmot3}.
490:
491: \subsection{``Moderate UV'' approximation}
492: \label{KSnearIR}
493:
494: Despite its apparent simplicity,
495: equation \eqref{KS:eqmot3} has no analytic solution.
496: A method to extract the
497: response functions at leading order in the high-energy limit
498: was developed by Krasnitz \cite{Krasnitz:2000ir, Krasnitz:2002ct}. We
499: proceed to briefly review this method, but first we pause for a short
500: comment on our motivation to use the method in the first place.
501:
502: We are, of course, ultimately interested in all energy ranges and the
503: confining phase, not just the high-energy limit. Nevertheless, we
504: have seen that the matrices in appendix \ref{sec:KSmatrices} are
505: prohibitively complicated for analytical work, so we view the
506: approximation in this subsection as a simple way to get a handle on
507: the full problem in one particular regime (high energy),
508: which should provide good cross-checks for a numerical treatment.
509: In addition, since renormalization is a UV problem, KT counterterms
510: should be sufficient to renormalize KS correlators, so the UV regime
511: seems a good place to start.
512:
513: Here is the brief review.
514: In \cite{Krasnitz:2000ir, Krasnitz:2002ct},
515: the KT solution was divided into two overlapping regions, which we
516: will call ``moderate UV'' (or ``mUV'') region and ``extreme UV'' (or ``xUV'')
517: region. For the purposes of this discussion, let us set $P=1$; it
518: can be restored by $k \rightarrow kP$.
519: In the mUV region, $|\log v| \ll |\log k|$, so
520: we can approximate the troublesome $\log (k / v)$
521: in \eqref{KS:eqmot3} by a constant $\log k$. This clearly does not
522: work for $v$ too small, hence ``moderate'' UV, but when it does work,
523: exact solutions of the approximated equation can be found
524: \cite{Krasnitz:2000ir, Krasnitz:2002ct}. In the xUV region,
525: \cite{Krasnitz:2000ir, Krasnitz:2002ct} treats
526: $\log (k/v)$ as a perturbation, and expands iteratively in it.
527: Then, there is an intermediate overlap region (see
528: Fig.~\ref{KS:krasnitzfig}) where both solutions should be valid
529: simultaneously. For large $k$, the solutions naively appear to differ
530: appreciably in the intermediate regime, unless there is some relation
531: between large-$k$ terms in the two solutions: this allows us to match the
532: leading-order terms in $k$. Analytic correlators can in principle be
533: extracted from this matching at leading order in $k$, but we reiterate
534: that the dictionary and renormalization problems should be completely
535: solved before any gauge theory correlators can be quoted with certainty.
536: (Thus we will not perform the xUV analysis here, but we mentioned it for
537: completeness).
538:
539: \begin{figure}[th]
540: \begin{center}
541: \psfrag{fmUV}[bc][bc][1][0]{$\phi_{\mathrm{mUV}}(v)$}
542: \psfrag{fxUV}[bc][bc][1][0]{$\phi_{\mathrm{xUV}}(v)$}
543: \psfrag{v2logkv}[bc][bc][.8][0]{$v^2 \log (k/v)$}
544: \psfrag{ll1}[bc][bc][.8][0]{$\ll 1$}
545: \psfrag{1/kllv}[bc][bc][.8][0]{$1/k \ll v$}
546: \psfrag{vll1/slogk}[bc][bc][.8][0]{$v \ll 1/\sqrt{\log k}$}
547: \psfrag{abslogv}[bc][bc][.8][0]{$|\log v|$}
548: \psfrag{llabslogk}[bc][bc][.8][0]{$\ll |\log k|$}
549: \psfrag{IR}[bc][bc][1][0]{IR}
550: \psfrag{arrow}[bc][bc][1.2][0]{$\longrightarrow$}
551: \psfrag{veq0}[bc][bc][1][0]{$v=0$}
552: \includegraphics[width=0.8\textwidth]{krasnitz.eps}
553: \caption{Krasnitz matching for a generic field $\phi$.
554: The solution denoted $\phi_{\mathrm{mUV}}$ is regular in the IR,
555: and analogous to our solutions below. The solutions
556: are matched to approximately agree in the cross-hatched overlap
557: region.}
558: \label{KS:krasnitzfig}
559: \end{center}
560: \end{figure}
561:
562: Here, we will show that the 7-scalar system is analytically
563: solvable in the mUV approximation, generalizing
564: the analysis of \cite{Krasnitz:2000ir, Krasnitz:2002ct}
565: to the present case.
566: We will then check our solutions numerically.
567:
568: The mUV regime is obtained
569: in two steps.
570: First, we consider the UV region, \ie large
571: $\tau$, which implies large $\sigma$. To leading order,
572: the matrices $Y$ and $Z$ become
573: %
574: \begin{equation}
575: \label{KS:Yapprox}
576: Y = \begin{pmatrix}
577: 0 & 0 & 0 & 0 & 0 & 0 & 0 \\
578: 0 & 0 & 0 & 0 & 0 & 0 & 0 \\
579: 0 & 0 & 0 & 0 & 0 & 0 & 0 \\
580: 36P & 24P & 6P & 0 & 0 & 0 & 0 \\
581: 0 & 0 & 0 & 0 & 0 & 0 & 0 \\
582: 0 & 0 & 0 & 0 & -6P & 0 & 0 \\
583: 0 & 0 & 0 & 0 & -6P & 0 & 0
584: \end{pmatrix}~,
585: \end{equation}
586: and
587: \begin{equation}
588: \label{KS:Zapprox}
589: Z = \begin{pmatrix}
590: 32 & 0 & 0 & 0 & 0 & 0 & 0 \\
591: 0 & 12 & 0 & 0 & 0 & 0 & 0 \\
592: 0 & 0 & 0 & 0 & 0 & 0 & 0 \\
593: 336 P & -96P & -24P & 0 & 0 & 0 & 0 \\
594: 0 & 0 & 0 & 0 & -3 & 0 & 0 \\
595: 0 & 0 & 0 & 0 & 42P & 21 & 0 \\
596: 0 & 0 & 0 & 0 & 6P & 0 & -3
597: \end{pmatrix}~.
598: \end{equation}
599: %
600: As a check, we see that $Z$ reproduces the masses in table
601: \ref{KS:conventions} in the conformal limit $P\rightarrow 0$, although
602: we noted earlier that one would need rescaled field variables to study
603: this limit. (The mass does not depend on the field normalization.)
604:
605: Second, as discussed earlier,
606: the mUV region is isolated by considering
607: large external momenta\footnote{We recall that we use dimensionless variables.}
608: $|\log k| \gg |\log v|$. (As in the discussion above, note that this limits
609: $v$ from below as well as from above.). This
610: means that we can neglect $\ln v$ from
611: \eqref{KS:eqmot3}. When this is done, $k$ is easily removed from
612: \eqref{KS:eqmot3} by defining
613: %
614: \begin{equation}
615: \label{KS:zdef}
616: z = \sqrt{\ln (kP)}\, v~,
617: \end{equation}
618: %
619: so that we obtain the equation
620: %
621: \begin{equation}
622: \label{KS:eqmotz}
623: \left[ z^3 \partial_z z^{-3} \partial_z -Y z^{-1} \partial_z -
624: Z z^{-2} -1 \right] \mfa =0~.
625: \end{equation}
626: %
627: The variable $z$ blows up in the conformal limit $P\rightarrow 0$
628: (cf.\ the order-of-limits discussion in the previous subsection). If needed, one can always go back to \eqref{KS:eqmot2} and set $P=0$ there.
629:
630: With $Y$ and $Z$ given by the constant matrices \eqref{KS:Yapprox} and
631: \eqref{KS:Zapprox}, the equation
632: \eqref{KS:eqmotz} admits analytical solutions. We are, as
633: usual in AdS/CFT, interested in the solutions that are regular for
634: large $z$.
635:
636: For the four scalars of the KT system, we obtain
637: %
638: \renewcommand{\arraystretch}{0.8}
639: \begin{align}
640: \notag
641: \mfa_1 &= z^2 \rmK_6(z)
642: {\scriptstyle \begin{pmatrix} 1 \\ 0 \\ 0 \\ 6P \\ \mathbf{0}_3\end{pmatrix}}
643: -6P\left[ 4 z^2 \rmK_4(z) +6z \rmK_1(z)
644: +6\rmK_0(z) -3 z^2 \rmK_2(z) \ln z \right]
645: {\scriptstyle \begin{pmatrix} 0 \\ 0 \\ 0 \\ 1 \\ \mathbf{0}_3 \end{pmatrix}}~,
646: \\[1mm]
647: \notag
648: \mfa_2 &= z^2 \rmK_4(z)
649: {\scriptstyle \begin{pmatrix} 0 \\ 1 \\ 0 \\ 0 \\ \mathbf{0}_3 \end{pmatrix}}
650: -12P\left[ z^2 \rmK_4(z)+ 2z \rmK_1(z) +2 \rmK_0(z) - z^2
651: \rmK_2(z) \ln z \right]
652: {\scriptstyle \begin{pmatrix} 0 \\ 0 \\ 0 \\ 1 \\ \mathbf{0}_3 \end{pmatrix}}~,
653: \\[1mm]
654: \notag
655: \mfa_3 &= z^2 \rmK_2(z)
656: {\scriptstyle \begin{pmatrix} 0 \\ 0 \\ 1 \\ 0 \\ \mathbf{0}_3 \end{pmatrix}}
657: -3P\left[ 2z \rmK_1(z) + 2\rmK_0(z) -z^2 \rmK_2(z) \ln z \right]
658: {\scriptstyle \begin{pmatrix} 0 \\ 0 \\ 0 \\ 1 \\ \mathbf{0}_3 \end{pmatrix}}~,
659: \\[1mm]
660: \label{KS:flucsols4}
661: \mfa_4 &= z^2 \rmK_2(z)
662: {\scriptstyle \begin{pmatrix} 0 \\ 0 \\ 0 \\ 1 \\ \mathbf{0}_3 \end{pmatrix}}~,
663: \end{align}
664: %
665: where the $K_n$ are Bessel functions of order $n$. For the gluino sector, we find
666: %
667: \begin{align}
668: \notag
669: \mfa_5 &= z^2 \rmK_1(z)
670: {\scriptstyle \begin{pmatrix} \mathbf{0}_4 \\ 1 \\ 0 \\ 0 \end{pmatrix}}
671: -3P\left[ z^2 \rmK_5(z) \ln z +21 z \rmK_4(z) +\frac76 z^2
672: \rmK_1(z) + \right. \\
673: \notag &\quad
674: \left. +\frac{80}{z} \rmK_2(z) +\frac{240}{z^2} \rmK_1(z)
675: +\frac{384}{z^3} \rmK_0(z)\right]
676: {\scriptstyle \begin{pmatrix} \mathbf{0}_4 \\ 0 \\ 1 \\ 0 \end{pmatrix}} -\\
677: \notag &\quad
678: -3P\left[z^2 \rmK_1(z)\ln z + z \rmK_0(z) \right]
679: {\scriptstyle \begin{pmatrix} \mathbf{0}_4 \\ 0 \\ 0 \\ 1 \end{pmatrix}}~,
680: \\
681: \notag
682: \mfa_6 &= z^2 \rmK_5(z)
683: {\scriptstyle \begin{pmatrix} \mathbf{0}_4 \\ 0 \\ 1 \\ 0 \end{pmatrix}}~,
684: \\[1mm]
685: \label{KS:flucsols3}
686: \mfa_7 &= z^2 \rmK_1(z)
687: {\scriptstyle \begin{pmatrix} \mathbf{0}_4 \\ 0 \\ 0 \\ 1 \end{pmatrix}}~.
688: \end{align}
689: \renewcommand{\arraystretch}{1}
690: A few comments on these solutions are in order. We note that from the
691: approximate matrices $Y$ and $Z$, given in \eqref{KS:Yapprox} and
692: \eqref{KS:Zapprox},
693: it could have been gleaned already that the component $y$ is a source
694: for $N_1$ and $N_2$, but not the other way around.
695: Hence, it is not surprising that the solutions $\mfa_6$ and $\mfa_7$,
696: where only $N_1$ or $N_2$ are non-zero, are significantly simpler
697: than $\mfa_5$, where also the $y$-component is turned on. Our next
698: observation is that $y$ sources the other two gluino-sector fields by
699: terms linear in $P$. Indeed, the matrices $Y$ and $Z$ in \eqref{KS:Yapprox},
700: \eqref{KS:Zapprox} make manifest the fact that the Apreda basis
701: diagonalizes the mass matrix in the conformal ($P=0$) limit. It makes
702: it equally manifest that the gauge/gravity dictionary
703: problem is significantly more pressing in the $P \neq 0$ case than in
704: the conformal limit.
705:
706: These analytical solutions are remarkably simple.
707: In the face of dark \emph{Shelob} horror like
708: the full KS matrices shown in appendix \ref{sec:KSmatrices},
709: these solutions may prove to be our saving
710: \emph{E\"arendil} light,\footnote{see \texttt{wikipedia.org}}
711: provided we can convince ourselves that they actually do solve the
712: exact KT equation \eqref{KS:eqmot3} in a suitably approximate sense.
713: The Krasnitz approximation is valid for very large $k$,
714: so we give a representative check for moderately large $k$,
715: when the approximation should just begin to work.
716:
717: \begin{figure}[th]
718: \begin{center}
719: \psfrag{y}[bc][bc][1][0]{$y$}
720: \includegraphics[width=0.5\textwidth]{comparison.eps}
721: \caption{\label{fig:compnumerics}
722: Moderate-UV analysis: comparison of the
723: analytical solutions \eqref{KS:flucsols3} of equation
724: \eqref{KS:eqmotz} with the
725: corresponding numerical solution of \eqref{KS:eqmot3} found by shooting
726: (marked by crosses) for $k=10^3$, $P=1$. The ``response functions''
727: agree to an accuracy of 8\%.}
728: \end{center}
729: \end{figure}
730:
731:
732: The numerical solutions were found by shooting for approximately
733: regular solutions of \eqref{KS:eqmot3}, that is, minimizing field
734: values at the grid endpoint by tuning the derivative at a UV
735: cutoff.\footnote{Further details will be given in future work.}
736: Superimposing a linear combination of
737: the solutions $\mfa_5$, $\mfa_6$, $\mfa_7$ of
738: the approximate equation \eqref{KS:eqmotz},
739: and normalizing them to unity at the cutoff,
740: we find good qualititative
741: agreement in Fig.~\ref{fig:compnumerics}. The derivatives at the cutoff essentially give the response
742: functions for the given value of $k$ (since we normalized the fields
743: at the cutoff to unity). The numerical responses agree with the
744: analytical solutions of the approximate equation
745: within fairly good accuracy, and the accuracy will improve with energy.
746: Above and beyond any matching procedure \`a la Krasnitz, we
747: take the good agreement in Fig.~\ref{fig:compnumerics} as evidence
748: that the solutions \eqref{KS:flucsols4},
749: \eqref{KS:flucsols3} may give us the crutch we need as we embark on a
750: numerical study of the full KS system.
751:
752: