hep-th0511072/v2.tex
1: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
2: %%                                                                       %%
3: %%  Point-Like Graviton Scattering in Plane-Wave Matrix Model            %%
4: %%                                                                       %%
5: %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
6: \documentclass[12pt]{ronbun}
7: 
8: % Used Package 
9: \usepackage{amsmath,amssymb,graphicx,color}
10: \usepackage{cite}
11: \usepackage{bm}
12: \usepackage{dcolumn}
13: 
14: % My Macro 
15: \newcommand{\hx}{\hat{x}}
16: \newcommand{\hxm}{\hat{x}^{\mu}}
17: \newcommand{\hxn}{\hat{x}^{\nu}}
18: \newcommand{\tmn}{\theta^{\mu\nu}}
19: \newcommand{\hD}{\hat{\Delta}}
20: \newcommand{\mo}{\mathcal{O}}
21: \newcommand{\mL}{\mathcal{L}}
22: \newcommand{\pd}{\partial}
23: \newcommand{\vp}{\varphi}
24: \newcommand{\bR}{\mathbb{R}}
25: \newcommand{\nn}{\nonumber}
26: \newcommand{\e}{{\rm e}}
27: \newcommand{\tr}{\rm Tr}
28: \newcommand{\del}{\delta}
29: \newcommand{\ra}{\rangle}
30: \newcommand{\la}{\langle}
31: \newcommand{\rar}{\rightarrow}
32: \newcommand{\lar}{\leftarrow}
33: \newcommand{\lra}{\longrightarrow}
34: \newcommand{\lla}{\longleftarrow}
35: \newcommand{\pdm}{\partial_{\mu}}
36: \newcommand{\pdn}{\partial_{\nu}}
37: \newcommand{\fmn}{F_{\mu\nu}}
38: \newcommand{\am}{A_{\mu}}
39: \newcommand{\an}{A_{\nu}}
40: \newcommand{\dg}{\dagger}
41: \newcommand{\db}{\delta_{\rm B}}
42: \newcommand{\bdb}{\bar{\delta}_{\rm B}}
43: \newcommand{\bx}{\bar{x}}
44: \newcommand{\fx}{x_{f}}
45: \newcommand{\ix}{x_{i}}
46: \newcommand{\vph}{\vec{\phi}}
47: \newcommand{\ph}{\phi}
48: \newcommand{\hphi}{\hat{\phi}}
49: \newcommand{\al}{\alpha}
50: \newcommand{\be}{\beta}
51: \newcommand{\fr}{\frac}
52: \newcommand{\bfx}{{\bf x}}
53: \newcommand{\lam}{\lambda}
54: \newcommand{\lag}{{\mathcal L}}
55: \newcommand{\cpn}{\mathbb{C}P^N}
56: \newcommand{\bfn}{{\bf n}}
57: \newcommand{\Dm}{D_{\mu}}
58: \newcommand{\Dn}{D_{\nu}}
59: \newcommand{\ep}{\epsilon}
60: \newcommand{\bfw}{{\bf w}}
61: \newcommand{\epmn}{\epsilon_{\mu\nu}}
62: \newcommand{\cp}{\mathbb{C}P}
63: \newcommand{\bz}{\bar{z}}
64: \newcommand{\bpd}{\bar{\pd}}
65: \newcommand{\sig}{\sigma}
66: \newcommand{\emn}{\eta_{\mu\nu}}
67: \newcommand{\iemn}{\eta^{\mu\nu}}
68: \newcommand{\mN}{\mathcal{N}}
69: \newcommand{\slD}{\not{\! \mbox{D}}}
70: \newcommand{\da}{a^{\dagger}}
71: \renewcommand{\th}{\theta}
72: \newcommand{\xmu}{x^{\mu}}
73: \newcommand{\xnu}{x^{\nu}}
74: \newcommand{\bth}{\bar{\theta}}
75: \newcommand{\delb}{\delta_{\rm B}}
76: \newcommand{\bdelb}{\bar{\delta}_{\rm B}}
77: \newcommand{\red}{\textcolor{red}}
78: \newcommand{\green}{\textcolor{green}}
79: \newcommand{\magenta}{\textcolor{magenta}}
80: \newcommand{\cyan}{\textcolor{cyan}}
81: \newcommand{\blue}{\textcolor{blue}}
82: \newcommand{\black}{\textcolor{black}}
83: \newcommand{\tg}{\tilde{\gamma}}
84: \newcommand{\s}{\scriptscriptstyle}
85: \newcommand{\hu}{\hat{u}}
86: \newcommand{\hv}{\hat{v}}
87: \newcommand{\I}{\bf 1}
88: \newcommand{\up}{\uparrow}
89: \newcommand{\down}{\downarrow}
90: \newcommand{\Rb}{\mathbb{R}}
91: \newcommand{\Cb}{\mathbb{C}}
92: \newcommand{\non}{\nonumber\\}
93: \newcommand{\dis}{\displaystyle}
94: \newcommand{\1}{\mathbb I}
95: \newcommand{\CC}{\mathcal C}
96: \newcommand{\CM}{\mathcal M}
97: \newcommand{\CO}{\mathcal O}
98: \newcommand{\CP}{\mathcal P}
99: 
100: % Layout Parameter 
101: \renewcommand{\baselinestretch}{1.4}
102: \setlength{\jot}{3pt}
103: \setlength{\voffset}{-2.4cm}
104: \setlength{\textwidth}{17cm}
105: \setlength{\textheight}{23cm}
106: \setlength{\hoffset}{-1.9cm}
107: \numberwithin{equation}{section}
108: \renewcommand{\thefootnote}{\fnsymbol{footnote}}
109: \setcounter{figure}{0}
110: 
111: % Main Body of Paper 
112: 
113: \begin{document}
114: 
115: \begin{flushright}
116: \parbox{4.2cm}
117: {KEK-TH-1049 \hfill \\
118: {\tt hep-th/0511072}
119:  }
120: \end{flushright}
121: 
122: \vspace*{1.1cm}
123: 
124: \begin{center}
125:  \Large\bf  Point-Like Graviton Scattering \\ 
126: in Plane-Wave Matrix Model 
127: \end{center}
128: \vspace*{1.0cm}
129: \centerline{\large  Hyeonjoon Shin$^{\dagger\ast a}$ and Kentaroh
130: Yoshida$^{\ddagger b}$}
131: \begin{center}
132: $^{\dagger}$\emph{CQUeST K209,
133: Sogang University,
134: Seoul 121-742, South Korea 
135: }\\ 
136: $^{\ast}$\emph{BK 21 Physics Research
137:     Division and Institute of Basic Science\\ 
138:     Sungkyunkwan University,
139:     Suwon 440-746, South Korea 
140: }\\ 
141: $^{\ddagger}$\emph{Theory Division, High Energy Accelerator Research 
142: Organization (KEK),\\
143: Tsukuba, Ibaraki 305-0801, Japan.} 
144: \\
145: \vspace*{1cm}
146:  $^{a}$hshin@sogang.ac.kr \qquad $^{b}$kyoshida@post.kek.jp
147: \end{center}
148: 
149: \vspace*{1.0cm}
150: 
151: \centerline{\bf Abstract}
152: \vspace*{0.5cm} 
153: In a plane-wave matrix model we discuss a two-body scattering of
154: gravitons in the $SO(3)$ symmetric space. In this case the graviton
155: solutions are point-like in contrast to the scattering in the $SO(6)$
156: symmetric space where spherical membranes are interpreted as
157: gravitons. We concentrate on a configuration in the 1-2 plane where a
158: graviton rotates with a constant radius and the other one elliptically
159: rotates. Then the one-loop effective action is computed by using the
160: background field method. As the result, we obtain the $1/r^7$-type
161: interaction potential, which strongly suggests that the scattering in
162: the matrix model would be
163: closely related to that in the light-front eleven-dimensional
164: supergravity. 
165: 
166: \vfill
167: \noindent {\bf Keywords:}~~{\footnotesize pp-wave matrix model, M(atrix)
168: theory, graviton scattering}
169: 
170: \thispagestyle{empty}
171: \setcounter{page}{0}
172: 
173: \newpage 
174: 
175: \section{Introduction and Summary} 
176: 
177: M-theory is considered as the unified theory of superstring
178: theories. The basic degrees of freedom of string theory and M-theory are
179: fully encoded in matrix models \cite{BFSS,IKKT,DVV}. The matrix model
180: approaches lead to non-perturbative formulations of superstring theory
181: and M-theory. For example, the BFSS matrix model is a supersymmetric
182: matrix quantum mechanics, which is believed to be a discrete light-cone
183: quantized M-theory (light-front M-theory). The matrix model also
184: describes the low-energy dynamics of $N$ D0-branes of type IIA
185: superstring theory \cite{Witten}. Furthermore it goes to the light-cone
186: action for the supermembrane in eleven dimensions \cite{dWHN} in the
187: large $N$ limit. The same type of matrix model as the BFSS matrix model
188: can be obtained from the supermembrane theory via a matrix regularization
189: \cite{dWHN}.
190: 
191: \vspace*{0.3cm}
192: 
193: The matrix model on a pp-wave background was proposed by
194: Berenstein-Maldacena-Nastase (BMN) \cite{BMN}, and it is often called
195: plane-wave matrix model or BMN matrix model. The pp-wave 
196: background is given by the following metric and the constant 
197: four-form field strength \cite{KG}:
198: \begin{eqnarray}
199: \label{pp}
200: ds^2 &=& -2dx^+dx^- -\left(
201: \sum_{i=1}^3\left(\frac{\mu}{3}\right)^2 (x^i)^2 + \sum_{a=4}^6\left(
202: \frac{\mu}{6}\right)^2 (x^a)^2
203: \right)(dx^+)^2 + \sum_{I=1}^9(dx^{I})^2\,, \\
204: F_{+123} &=& \mu\,. \nn
205: \end{eqnarray}
206: This background is maximally supersymmetric and preserves 32
207: supersymmetries. The action of the matrix model is given
208: by\footnote{Hereafter we will rescale the gauge field and parameters as
209: $ A \rightarrow R A\,,~ t \rightarrow t/R\,,~ \mu \rightarrow R \mu$\,.}
210: \begin{eqnarray}
211: && S_{\rm pp} = \int\!\! dt\, 
212: \mathrm{Tr} \Bigl[ \frac{1}{2R} D_t X^I D_t X^I + \frac{R}{4} ( [
213: X^I, X^J] )^2 + i \Theta^\dagger D_t \Theta - R \Theta^\dagger \gamma^I
214: [ \Theta, X^I ]  \nn \\ 
215: && \qquad \quad -\frac{1}{2R} \left( \frac{\mu}{3} \right)^2 (X^i)^2
216: -\frac{1}{2R} \left( \frac{\mu}{6} \right)^2 (X^a)^2 - i \frac{\mu}{3}
217: \epsilon^{ijk} X^i X^j X^k - i \frac{\mu}{4} \Theta^\dagger \gamma^{123}
218: \Theta \Bigr]\,, 
219: \end{eqnarray}
220: where the indices of the transverse nine-dimensional space are
221: $I,J=1,\ldots,9$ and $R$ is the radius of the circle compactified along
222: $x^-$\,. All degrees of freedom are $N\times N$ Hermitian matrices and
223: the covariant derivative $D_t$ with the gauge field $A$ is defined by
224: $D_t = \partial_t-i[A,~~]$\,. The plane-wave matrix model can be
225: obtained from the supermembrane theory on the pp-wave background
226: \cite{DSR,SY} via the matrix regularization \cite{dWHN}.  In particular,
227: in the case of the pp-wave, the correspondence of superalgebra
228: \cite{BSS} between the supermembrane theory and the matrix model,
229: including brane charges, is established by the works \cite{SY} and
230: \cite{HS1}. Then an $\mathcal{N}=(4,4)$ type IIA string theory can be
231: constructed from the supermembrane theory on the pp-wave
232: \cite{SY4,HS2}. The corresponding matrix string theory on
233: the pp-wave has been constructed in \cite{SY4} by using the method 
234: \cite{Sekino} (For other matrix string
235: theories on pp-waves, see \cite{Bonelli}). 
236: 
237: 
238: This matrix model may be considered as a deformation of the BFSS matrix
239: model while it still preserves 32 supersymmetries. The plane-wave matrix
240: model allows a static 1/2 BPS fuzzy sphere with zero light-cone energy
241: to exist as a classical solution, since the action of the matrix model
242: includes the Myers term \cite{Myers}. The structure of the vacua of the
243: plane-wave matrix model is enriched by the fuzzy sphere. The spectra
244: around the vacua are now fully clarified \cite{DSR,DSR2,KP,KP2}. The
245: trivial vacuum $X^I=0$ has also been identified with a single spherical
246: five-brane vacuum in \cite{TM5}. Except for the static fuzzy sphere,
247: there are various classical solutions and those are well studied
248: \cite{Bak,HS1,Park,sol}. Stabilities of the fuzzy sphere are shown in
249: several papers \cite{DSR,SY3,HSKY}. Thermal stabilities of classical
250: solutions are also investigated in \cite{Huang,HSKY-thermal,Furuuchi}. 
251: 
252: 
253: \vspace*{0.3cm}
254: 
255: In our previous papers \cite{HSKY,HSKY-potential}, we have discussed a
256: two-body scattering of spherical membranes which are considered as giant
257: gravitons. Then we considered a configuration in a sub-plane in the
258: $SO(6)$ symmetric space where a spherical membrane (with $p^+=N_1/R$)
259: rotates with a constant radius $r_1$ and another one (with $p^+=N_2/R$)
260: elliptically rotates with $r_2 \pm \epsilon$\,. For this setup we have
261: computed the effective action by using the background field method. The
262: resulting effective action with respect to $r \equiv r_2 - r_1$
263: is\footnote{In fact, $r$ should be understood as $|r_2-r_1|$\,, as noted in
264: \cite{HSKY-potential}.}
265: \begin{align}
266: \Gamma_{\rm eff} = \epsilon^4 \int dt \left[
267:  \frac{35}{2^7 \cdot 3} \frac{N_1 N_2}{r^7}
268: -\frac{385}{2^{11} \cdot 3^3}
269:   \big[ 2 (N_1^2 + N_2^2) -1 \big] \frac{N_1 N_2}{r^9}
270: +  \mathcal{O} \left( \frac{1}{r^{11}} \right) \right]
271: + \mathcal{O} ( \epsilon^6)\,. \nn 
272: \end{align}
273: This result strongly suggests that the spherical membranes should be
274: interpreted as spherical gravitons as discussed by Kabat and Taylor
275: \cite{KT}. Here we should remark that the subleading term is $1/r^9$ and
276: it is repulsive. In the BFSS case the subleading term is $1/r^{11}$
277: order and it implies the dipole-dipole interaction. According to the
278: interpretation, the $1/r^9$ term would imply the dipole-graviton
279: interaction. This is a new effect intrinsic to the pp-wave background.
280: 
281: \vspace*{0.3cm}
282: 
283: In this paper we will discuss a two-body scattering in the $SO(3)$
284: symmetric space. Then the configuration for the computation consists of
285: two {\it point-like} gravitons in contrast to the spherical membrane
286: cases. The one rotates with a constant radius $r_1$ and the other
287: elliptically rotates with $r_2\pm\epsilon$\,, as drawn in Fig.\
288: \ref{gravs:fig}. The resulting effective action is obtained as
289: \begin{align}
290: \Gamma_{\rm eff} &=
291: \epsilon^4\int dt \left[~\frac{35}{24} \frac{1}{r^7}
292: + \frac{385}{576} \frac{1}{r^9} + \mathcal{O}\left(\frac{1}{r^{11}}
293: \right)~\right] + \mathcal{O}(\epsilon^6)\,. \nn
294: \end{align}
295: In contrast to the spherical membrane cases, the subleading term becomes 
296: attractive. 
297: 
298: \begin{figure}
299:  \begin{center}
300:   \includegraphics[scale=.6]{gravs.eps} 
301:  \end{center}
302: \vspace*{-1cm}
303: \caption{The configurations of two gravitons.}
304: \label{gravs:fig} 
305: \end{figure}
306: 
307: \vspace*{0.3cm}
308: The organization of this paper is as follows: In section 2, by using the
309: background field method around the setup mentioned above, we compute the
310: functional determinants. Before performing the path integral for the
311: fluctuations, it is necessary to take care of the time-dependence of the
312: configuration of classical solutions. In section 3 the functional
313: determinants are evaluated by expanding them with respect to the
314: infinitesimal parameter $\epsilon$\,. The evaluation is too complicated,
315: and so we use the Mathematica \cite{wolfram}. The resulting effective
316: action gives rise to the $1/r^7$-type potential as the leading
317: term. Section 4 is devoted to a conclusion and discussions.
318: 
319: 
320: \section{Two-Body Interaction of Point-Like Gravitons}
321: 
322: From now on, let us examine the interaction potential between the
323: point-like gravitons by using the setup proposed in
324: Fig.\,\ref{gravs:fig}. We will use the background field method as
325: usual. Then the matrix fields are decomposed into backgrounds and 
326: fluctuations as follows: 
327: \begin{eqnarray}
328: \label{cl+qu}
329:  X^I = B^I + Y^I\,, \quad \Theta = 0 + \Psi\,. 
330: \end{eqnarray}
331: Here $B^I$ are classical backgrounds while $Y^I$ and 
332: $\Psi$ are quantum fluctuations around them. The fermionic background 
333: is taken to be zero. 
334: 
335: The background for the configuration in Fig.\,\ref{gravs:fig} is
336: described by the following $2\times 2$ matrices: 
337: \begin{eqnarray}
338: && B^I = \begin{pmatrix} 
339: B^I_{(1)}  &  0 \\ 0 & B^I_{(2)} 
340: \end{pmatrix}
341:  \qquad (I=1,\ldots,9)\,, \nn \\
342: && B^{1}_{(1)} = r_1\cos\left(\frac{\mu}{3}t\right)\,, \qquad 
343: B^{2}_{(1)} = r_1 \sin\left(\frac{\mu}{3}t\right)\,, \nn \\ 
344: && B^{1}_{(2)} = (r_2+\epsilon)\cos\left(\frac{\mu}{3}t\right)\,, \qquad  
345: B^2_{(2)} = (r_2-\epsilon)\sin\left(\frac{\mu}{3}t\right) \nn \\
346: && B^3_{(s)} = B^a_{(s)} = 0 \qquad (s=1,2~;~a=4,\ldots,9)\,. 
347: \end{eqnarray}
348: Two gravitons rotating in the 1-2 plane are diagonally embedded.  
349: Each of the gravitons carries a unit of the light-cone momentum and 
350: it is represented by a $1\times 1$ matrix. 
351: One of them rotates with a constant radius $r_1$ 
352: and the other one rotates elliptically with $r_2\pm\epsilon$\,. 
353: %as depicted in Fig.\,\ref{gravs:fig}\,. 
354: 
355: In order to perform the path integral for the fluctuations, we need to fix
356: the gauge symmetry. In the matrix model computation, it is convenient
357: to choose the background field gauge,
358: \begin{equation}
359: D_\mu^{\rm bg} A^\mu_{\rm qu} \equiv D_t A + i [ B^I, X^I ] = 0\,.
360: \label{bg-gauge}
361: \end{equation}
362: Then the corresponding gauge-fixing $S_\mathrm{GF}$ and Faddeev-Popov
363: ghost $S_\mathrm{FP}$ terms are given by
364: \begin{equation}
365: S_\mathrm{GF} + S_\mathrm{FP} = \int\!dt \,{\rm Tr} \left( - \frac{1}{2}
366: (D_\mu^{\rm bg} A^\mu_{\rm qu} )^2 - \bar{C} \partial_{t} D_t C + [B^I,
367: \bar{C}] [X^I,\,C] \right)\,.  \label{gf-fp}
368: \end{equation}
369: Now, by inserting the decomposition of the matrix fields (\ref{cl+qu})
370: into the matrix model action, we get the gauge fixed plane-wave action
371: $S$ $(\equiv S_{\rm pp} + S_\mathrm{GF} + S_\mathrm{FP})$ expanded around
372: the background.  The resulting action is read as 
373: $S =  S_0 + S_2 + S_3 + S_4$\,,  
374: where $S_n$ represents the action of order $n$ with respect to the
375: quantum fluctuations and, for each $n$, its expression is
376: \begin{align}
377: S_0 = \int dt \, \mathrm{Tr} \bigg[ \,
378: &      \frac{1}{2}(\dot{B}^I)^2  
379:         - \frac{1}{2} \left(\frac{\mu}{3}\right)^2 (B^i)^2 
380:         - \frac{1}{2} \left(\frac{\mu}{6}\right)^2 (B^a)^2 
381:         + \frac{1}{4}([B^I,\,B^J])^2
382:         - i \frac{\mu}{3} \epsilon^{ijk} B^i B^j B^k 
383:     \bigg] ~,
384: \notag \\
385: S_2 = \int dt \, \mathrm{Tr} \bigg[ \,
386: &       \frac{1}{2} ( \dot{Y}^I)^2 - 2i \dot{B}^I [A, \, Y^I] 
387:         + \frac{1}{2}([B^I , \, Y^J])^2 
388:         + [B^I , \, B^J] [Y^I , \, Y^J]
389:         - i \mu \epsilon^{ijk} B^i Y^j Y^k
390: \notag \\
391: &       - \frac{1}{2} \left( \frac{\mu}{3} \right)^2 (Y^i)^2 
392:         - \frac{1}{2} \left( \frac{\mu}{6} \right)^2 (Y^a)^2 
393:         + i \Psi^\dagger \dot{\Psi} 
394:         -  \Psi^\dagger \gamma^I [ \Psi , \, B^I ] 
395:         -i \frac{\mu}{4} \Psi^\dagger \gamma^{123} \Psi  
396: \notag \\ 
397: &       - \frac{1}{2} \dot{A}^2  - \frac{1}{2} ( [B^I , \, A])^2 
398:         + \dot{\bar{C}} \dot{C} 
399:         + [B^I , \, \bar{C} ] [ B^I ,\, C] \,
400:      \bigg] ~,
401: \notag \\
402: S_3 = \int dt \, \mathrm{Tr} \bigg[
403: &       - i\dot{Y}^I [ A , \, Y^I ] - [A , \, B^I] [ A, \, Y^I] 
404:         + [ B^I , \, Y^J] [Y^I , \, Y^J] 
405:         +  \Psi^\dagger [A , \, \Psi] 
406: \notag \\
407: &       -  \Psi^\dagger \gamma^I [ \Psi , \, Y^I ] 
408:         - i \frac{\mu}{3} \epsilon^{ijk} Y^i Y^j Y^k
409:         - i \dot{\bar{C}} [A , \, C] 
410:         +  [B^I,\, \bar{C} ] [Y^I,\,C]  \,
411:      \bigg] ~,
412: \notag \\
413: S_4 = \int dt \, \mathrm{Tr} \bigg[
414: &       - \frac{1}{2} ([A,\,Y^I])^2 + \frac{1}{4} ([Y^I,\,Y^J])^2 
415:      \bigg] ~.
416: \label{bgaction} 
417: \end{align}
418: Here the action of the first order becomes zero by using the equations
419: of motion. 
420: 
421: For the justification of one-loop computation or the semi-classical
422: analysis, it should be made clear that $S_3$ and $S_4$ can be regarded
423: as perturbations.  For this purpose, following \cite{DSR}, we rescale
424: the fluctuations and parameters as
425: \begin{eqnarray}
426: && A   \rightarrow \mu^{-1/2} A\,, \quad 
427: Y^I \rightarrow \mu^{-1/2} Y^I\,, \quad 
428: C  \rightarrow \mu^{-1/2} C\,, \quad 
429: \bar{C} \rightarrow \mu^{-1/2} \bar{C}\,, \nn \\
430: && r_{1,2} \rightarrow \mu r_{1,2}\,, \quad \epsilon \rightarrow
431:  \mu\epsilon\,, \quad t \rightarrow \mu^{-1} t\,. 
432: \label{rescale}
433: \end{eqnarray}
434: Under this rescaling, the action $S$ becomes
435: \begin{align}
436: S =  S_2 + \mu^{-3/2} S_3 + \mu^{-3} S_4\,,
437: \label{ssss}
438: \end{align}
439: where the parameter $\mu$ in $S_2$, $S_3$ and $S_4$ has been replaced by
440: 1 and so those do not have $\mu$ dependence.  Now it is obvious that, in
441: the large $\mu$ limit, $S_3$ and $S_4$ can be treated as perturbations
442: and the one-loop computation gives the sensible result. Note that the
443: analysis in the $S_2$ part is exact in the $\mu\rightarrow \infty$
444: limit. 
445: %We can calculate the exact spectra around an $N$-dimensional
446: %irreducible fuzzy sphere in the $\mu \rightarrow \infty$ limit, by
447: %following the method in the work \cite{DSR} (For the detail of the
448: %calculation, see \cite{DSR,HSKY}).
449: 
450: Based on the structure of the classical background, we now take the 
451: quantum fluctuations in the $2\times 2$ off-diagonal matrices:  
452: %in the $2\times 2$ block matrix form as follows: 
453: \begin{eqnarray}
454: && A = \begin{pmatrix}
455: 0 & \Phi^0 \\ \Phi^{0\dagger} & 0 
456: \end{pmatrix}
457: \,,  \quad Y^I = \begin{pmatrix} 
458: 0 & \Phi^I \\ \Phi^{I\dagger} & 0 
459: \end{pmatrix}
460: \,, \quad \Psi = \begin{pmatrix}
461: 0 & \chi \\ 
462: \chi^{\dagger} & 0 \\
463: \end{pmatrix}
464: \,, \nn \\ && 
465: C = \begin{pmatrix}
466: 0 & C \\ C^{\dagger} & 0 
467: \end{pmatrix}
468: \,, \quad \bar{C} = \begin{pmatrix}
469: 0 & \bar{C} \\ \bar{C}^{\dagger} & 0  
470: \end{pmatrix}
471: \,.
472: \end{eqnarray}
473: Here we are interested in the interaction between the gravitons 
474: and so we set the diagonal components to zero. 
475: It is an easy task to show the quantum stability of each of the
476: gravitons by following the method in \cite{HSKY,HSKY-potential}. 
477: 
478: It is convenient to introduce the following quantities:
479:  \begin{eqnarray}
480: r\equiv r_2-r_1\,, \qquad g(t) = \epsilon^2 + 2\epsilon r
481: \cos\left(\frac{2}{3}t\right)\,, \quad 
482: G_m \equiv \frac{1}{\partial_t^2 + r^2 + m^2}\,. 
483: \end{eqnarray}
484: Here $G_m$ is a propagator for a mass $m$\,. 
485: By using them we can express the functional determinants after the path
486: integral in simpler forms.  We will perform the path integral below for
487: each of the parts, bosons, ghosts and fermions.
488: 
489: 
490: \subsection{Boson Fluctuation} 
491: 
492: Let us first consider the bosonic parts. The Lagrangian
493: $L_{\rm B}$ is composed of two parts: 
494: %the $SO(3)+$gauge part $L_{SO(3)}$
495: %and the $SO(6)$ part $L_{SO(6)}$\,, and these are given by
496: \begin{eqnarray} 
497:  L_{\rm B} &=& L_{SO(3)} + L_{SO(6)}\,, \\ 
498:  L_{SO(3)} &=& - |\dot{\Phi}^0|^2 + \left(
499: r^2+g(t)\right)|\Phi^0|^2  + |\dot{\Phi}^i|^2 - (r^2 + g(t))|\Phi^i|^2 
500: - \frac{1}{3^2}|\Phi^i|^2   \\ 
501: && + \frac{2}{3}i(r+\epsilon)\sin\left(\frac{t}{3}\right)
502: (\Phi^{0\dagger}\Phi^1-\Phi^{1\dagger}\Phi^0) 
503:  - \frac{2}{3}i(r-\epsilon)\cos\left(\frac{t}{3}\right)
504: \left(\Phi^{0\dagger}\Phi^2-\Phi^{2\dagger}\Phi^0\right) \nn \\
505: && -i(r+\epsilon)\cos\left(\frac{t}{3}\right)(\Phi^{2\dagger}\Phi^3
506: -\Phi^{3\dagger}\Phi^2)
507: -i(r-\epsilon)\sin\left(\frac{t}{3}\right)(\Phi^{3\dagger}\Phi^1
508: -\Phi^{1\dagger}\Phi^3)\,, \nn \\ 
509: L_{SO(6)} &=&  |\dot{\Phi}^a|^2 - (r^2 + g(t))|\Phi^a|^2 
510: - \frac{1}{6^2}|\Phi^a|^2\,. 
511: \end{eqnarray}
512: Here the gauge field is included in $L_{SO(3)}$\,. 
513: The next task is to evaluate each of the parts.  
514: 
515: 
516: \subsubsection*{SO(3) part} 
517: 
518: Now we shall consider the $SO(3)$ part. In the Lagrangian for the
519: $SO(3)$ part, the four variables $\Phi^0$\,, $\Phi^i$~$(i=1,2,3)$ are
520: contained. The analysis of this part is complicated since these
521: are coupled. In order to carry out the path integral, it is convenient
522: to decouple the variables as much as possible. 
523: For this purpose we first take the coordinate transformation 
524: \begin{eqnarray}
525: && \Phi^1 \equiv \cos\left(\frac{t}{3}\right)\Phi^r 
526: - \sin\left(\frac{t}{3}\right)\Phi^{\theta}\,, \quad 
527: \Phi^2 \equiv \sin\left(\frac{t}{3}\right)\Phi^r 
528: + \cos\left(\frac{t}{3}\right)\Phi^{\theta}\,, 
529: \end{eqnarray}
530: and introduce the new variables $\Phi^r$ and $\Phi^{\theta}$ instead of
531: $\Phi^1$ and $\Phi^2$\,. 
532: The Lagrangian after the transformation is rewritten as 
533: \begin{eqnarray}
534: L_{SO(3)} &=& -|\dot{\Phi}^0|^2 + (r^2+g(t))|\Phi^0|^2 + 
535: |\dot{\Phi}^r|^2 - (r^2 + g(t))|\Phi^r|^2 + |\dot{\Phi}^{\theta}|^2 
536: - (r^2 + g(t))|\Phi^{\theta}|^2 \nn \\ 
537: && + |\dot{\Phi}^3|^2 - (r^2+g(t) + (1/3^2))|\Phi^3|^2 + 
538: \frac{2}{3}(\Phi^{r\dagger}\dot{\Phi}^{\theta} 
539: - \Phi^{\theta\dagger}\dot{\Phi}^r) \nn \\ 
540: && +
541:  \frac{2}{3}i\epsilon\sin(2t/3)(\Phi^{0\dagger}\Phi^r - \Phi^{r\dagger}\Phi^0) 
542: - \frac{2}{3}i(r - \epsilon\cos(2t/3))(\Phi^{0\dagger}\Phi^{\theta}
543: - \Phi^{\theta\dagger}\Phi^0) \nn \\ 
544: &&  +
545: i\epsilon\sin(2t/3)(\Phi^{3\dagger}\Phi^r - \Phi^{r\dagger}\Phi^3) 
546: + i(r + \epsilon\cos(2t/3))(\Phi^{3\dagger}\Phi^{\theta}
547: - \Phi^{\theta\dagger}\Phi^3)\,. 
548: \end{eqnarray} 
549: Taking the shift of $\Phi^0$ and $\Phi^3$ defined by 
550: \begin{eqnarray}
551: && \Phi^0 \equiv \Phi^0{}' - \frac{2}{3}i(G_0^{-1} + g(t))^{-1}\left[
552: \epsilon \sin\left(\frac{2}{3}t\right)\Phi^r - (r-\epsilon\cos\left(\frac{2}{3}t\right))\Phi^{\theta}
553: \right]\,, \nn \\ 
554: && \Phi^3 \equiv \Phi^3{}' + i(G_{1/3}^{-1} + g(t))^{-1}\left[
555: \epsilon \sin\left(\frac{2}{3}t\right)\Phi^r + (r+\epsilon\cos\left(\frac{2}{3}t\right))\Phi^{\theta}
556: \right]\,, \nn
557: \end{eqnarray}
558: we obtain the following Lagrangian:
559: \begin{eqnarray}
560: && \hspace*{-1cm} 
561: L_{SO(3)} = \Phi^{0}{}'{}^{\dagger}(G_0^{-1} +g(t))\Phi^{0}{}' 
562: - \Phi^3{}'{}^{\dagger}(G_{1/3}^{-1}+g(t))\Phi^3{}' - \Phi^{r\dagger}(G_0^{-1}+g(t))\Phi^r 
563: \nn \\ 
564: \qquad 
565: && - \Phi^{\theta\dagger}(G_0^{-1} +g(t))\Phi^{\theta} 
566: + \frac{2}{3}\Phi^{r\dagger}\dot{\Phi}^{\theta} 
567: -\frac{2}{3} \Phi^{\theta\dagger}\dot{\Phi}^r  \\
568: \qquad 
569: && - \Phi^{r\dagger}\left\{\epsilon^2\sin\left(2t/3\right) 
570: \left[
571: \frac{4}{9}(G_0^{-1} + g(t))^{-1} - (G_{1/3}^{-1} + g(t))^{-1}\right]
572: \sin\left(2t/3\right)\right\}\Phi^r \nn \\
573: \qquad 
574: && - \Phi^{\theta\dagger}\left\{
575: \left(r-\epsilon\cos\left(2t/3\right)\right) 
576: \left[\frac{4}{9}(G_0^{-1} + g(t))^{-1} - (G_{1/3}^{-1}+g(t))^{-1} \right]
577: \left(r-\epsilon\cos\left(2t/3\right)\right) 
578: \right\}\Phi^{\theta} \nn \\ 
579: \qquad 
580: && + \Phi^{\theta\dagger}\left\{
581: \left(r-\epsilon\cos\left(2t/3\right)\right) \left[
582: \frac{4}{9}(G_0^{-1} + g(t))^{-1} + (G_{1/3}^{-1}+g(t))^{-1}\right]
583: \epsilon\sin(2t/3) \right\}\Phi^r \nn \\ 
584: \qquad 
585: && + \Phi^{r\dagger}\left\{\epsilon\sin\left(2t/3\right) 
586: \left[ \frac{4}{9}(G_0^{-1} + g(t))^{-1} + (G_{1/3}^{-1} +g(t))^{-1} \right] 
587: \left(r-\epsilon\cos\left(2t/3\right)\right) 
588: \right\}\Phi^{\theta}\,. \nn 
589: \end{eqnarray} 
590: Note that $\Phi^0$ and $\Phi^3$ are decoupled from $\Phi^r$ and
591: $\Phi^{\theta}$ at this stage, but $\Phi^r$ and $\Phi^{\theta}$ 
592: are still coupled. We can however perform the path integral for $\Phi^r$ and
593: $\Phi^{\theta}$ by using the formula 
594: \begin{eqnarray}
595: \begin{pmatrix}
596: A & B \\ C & D 
597: \end{pmatrix}
598: = \begin{pmatrix}
599: A & 0 \\ C & 1 
600: \end{pmatrix}
601: \begin{pmatrix}
602: 1 & A^{-1}B \\ 0 & D-CA^{-1}B 
603: \end{pmatrix}
604: \,. \label{formula}
605: \end{eqnarray}
606: The resulting effective action for the $SO(3)$ part is given by 
607: \begin{eqnarray} 
608: && \hspace*{-0.75cm} \e^{i\Gamma_{SO(3)}} = \left[
609: \det(G_0^{-1} + g(t))\cdot\det(G_{1/3}^{-1}+g(t))\cdot 
610: \det A \cdot\det(D-CA^{-1}B)\right]^{-1}  
611: \,,  \\ 
612: \quad && A = G_0^{-1} + g(t) + \epsilon^2\sin\left(2t/3\right) 
613: \left[
614: \frac{4}{9}\,\frac{1}{G_0^{-1} + g(t)} - \frac{1}{G_{1/3}^{-1} + g(t)}\right]
615: \sin\left(2t/3\right)\,, \nn \\ 
616: \quad && D = G_0^{-1} + g(t) 
617: + \frac{4}{9} \left(r-\epsilon\cos\left(2t/3\right)\right) 
618: \frac{1}{G_0^{-1} + g(t)} 
619: \left(r-\epsilon\cos\left(2t/3\right)\right) \nn \\
620: && \qquad\qquad  - \left(r+\epsilon\cos\left(2t/3\right)\right) 
621: \frac{1}{G_{1/3}^{-1}+g(t)}\left(r+\epsilon\cos\left(2t/3\right)\right) 
622: \,, \nn \\ 
623: \quad 
624: && B = -\frac{2}{3}\partial_t - \frac{4}{9}\epsilon\sin\left(2t/3\right) 
625: \frac{1}{G_0^{-1} + g(t)}
626: \left(r-\epsilon\cos\left(2t/3\right)\right) \nn \\ 
627: && \qquad\qquad  
628: - \epsilon\sin\left(2t/3\right)\frac{1}{G_{1/3}^{-1} +g(t)} 
629: \left(r+\epsilon\cos\left(2t/3\right)\right)\,, 
630: \nn \\ 
631: \quad && C = \frac{2}{3}\partial_t - \frac{4}{9}
632: \left(r-\epsilon\cos\left(2t/3\right)\right)
633: \frac{1}{G_0^{-1} + g(t)}\epsilon\sin(2t/3) \nn \\ 
634: && \qquad \qquad 
635: - \left(r+\epsilon\cos\left(2t/3\right)\right)
636: \frac{1}{G_{1/3}^{-1}+g(t)}\epsilon\sin(2t/3)\,. \nn 
637: \end{eqnarray}
638: Then we will examine the $SO(6)$ part. 
639: 
640: \subsubsection*{SO(6) part}
641: 
642: It is straightforward to perform the path integral for the $SO(6)$ part. 
643: The result is 
644: \begin{eqnarray}
645: \e^{\Gamma_{SO(6)}} = \e^{i\Gamma_{SO(6)}^{(0)}}
646: (\det\left(1+G_{1/6}\,g(t)\right))^{-6}\,,
647: \end{eqnarray}
648: where the $\epsilon$-independent part is written as 
649: \begin{eqnarray}
650: \e^{i\Gamma^{(0)}_{SO(6)}} = (\det G_{1/6}^{-1})^{-6}\,. 
651: \end{eqnarray}
652: 
653: 
654: \subsection{Ghost Fluctuation} 
655: 
656: Next we shall consider the ghost part. 
657: The Lagrangian for the ghost part is given by 
658: \begin{eqnarray}
659: L_{\rm G} = 
660: \dot{\bar{C}}\dot{C}^{\dagger} + \dot{\bar{C}}^{\dagger}\dot{C} 
661: - (r^2 + g(t))(\bar{C}C^{\dagger} + \bar{C}^{\dagger}C)\,. 
662: \label{gho} 
663: \end{eqnarray}
664: The path integral for (\ref{gho}) is immediately evaluated as 
665: \begin{eqnarray}
666: [\det\left(G_0^{-1} + g(t)\right)]^2\,. 
667: \end{eqnarray}
668: 
669: 
670: 
671: \subsection{Fermion Fluctuation} 
672: 
673: Finally, let us discuss the fermionic part. 
674: The Lagrangian for the fermion fluctuations is given by 
675: \begin{eqnarray}
676: L_{\rm F} &=& 2\Bigl[i\chi^{\dagger}\dot{\chi} -r\chi^{\dagger}\left(
677: \gamma^1\cos\left(\frac{t}{3}\right) + \gamma^2 \sin\left(\frac{t}{3}\right)
678: \right)\chi \nn \\ 
679: && - \epsilon\chi^{\dagger}\left(\gamma^1\cos\left(\frac{t}{3}\right) - \gamma^2\sin\left(\frac{t}{3}\right)\right)\chi 
680: - \frac{i}{4}\chi^{\dagger}\gamma^{123}\chi \Bigr]\,. 
681: \end{eqnarray}
682: Then we decompose the spinor $\chi$ into two components as follows: 
683: \begin{eqnarray}
684: \chi = \dbinom{\chi_{A\al}}{\hat{\chi}_{\al}^A}\,, \qquad \hat{\chi}_{\al}^A 
685: \equiv \epsilon_{\al\beta}\hat{\chi}^{A\beta}\,.  
686: \end{eqnarray} 
687: According to this decomposition, the $SO(9)$ gamma matrices should also
688: be decomposed. In our analysis only $\gamma^1$\,, $\gamma^2$ and
689: $\gamma^3$ are necessary and hence we write down only them here,  
690: \begin{eqnarray} 
691: \gamma^i = \begin{pmatrix} 
692: -\sigma^i \times 1 & 0 \\ 0 & \sigma^i \times 1 \\ 
693: \end{pmatrix}
694: \qquad (i=1,2,3)\,. 
695: \end{eqnarray} 
696: For the detail of the decomposition of the gamma matrices, see
697: \cite{DSR,HSKY}.  The Lagrangian after the decomposition is written as
698: \begin{eqnarray}
699: L_{\rm F} &=& i\chi^{\dagger A\al}\dot{\chi}_{A\al} 
700: - \frac{1}{4}\chi^{\dagger A\al}\chi_{A\al} + i\hat{\chi}^{\dagger\al}_A\dot{\hat{\chi}}_{\al}^A  
701: + \frac{1}{4}\hat{\chi}^{\dagger\al}_A\hat{\chi}_{\al}^A  \\ 
702: && + \chi^{\dagger A\al}\left[ 
703: (r+\epsilon) \cos(t/3)\cdot \sigma^1 + (r-\epsilon) \sin(t/3)\cdot 
704: \sigma^2\, 
705: \right]_{\al}^{~\beta}\chi_{A\beta} \nn \\
706: && - \hat{\chi}^{\dagger\al}_A\left[ 
707: (r+\epsilon) \cos(t/3)\cdot \sigma^1 + (r-\epsilon) \sin(t/3)\cdot 
708: \sigma^2\, 
709: \right]_{\al}^{~\beta}\hat{\chi}_{\beta}^A\,. \nn 
710: \end{eqnarray}
711: Here it is convenient to introduce new spinors $\chi'$ and
712: $\tilde{\chi}$ defined by
713: \begin{eqnarray}
714: \chi_{A\al} = (\e^{-i\sigma^3 \frac{t}{6}})_{\al}^{~\beta}\,
715: \chi'_{A\beta}\,, \qquad 
716: \hat{\chi} = (\e^{-i\sigma^3 \frac{t}{6}})_{\al}^{~\beta}\,\tilde{\chi}_{\beta}^A\,. 
717: \end{eqnarray}
718: By using the formulae:
719: \begin{eqnarray} 
720: && \e^{i\sigma^3\frac{t}{6}}\left[\sigma^1 \cos(t/3) + \sigma^2 \sin(t/3) 
721: \right] \e^{-i\sigma^3\frac{t}{6}} = \sigma^1\,, \nn \\
722: && \e^{i\sigma^3\frac{t}{6}}\left[\sigma^1 \cos(t/3) - \sigma^2 \sin(t/3) 
723: \right] \e^{-i\sigma^3\frac{t}{6}} = \sigma^1 \cos(2t/3) 
724: - \sigma^2 \sin(2t/3)\,,  
725: \end{eqnarray}
726: we can rewrite the Lagrangian as 
727: \begin{eqnarray}
728: L_{\rm F} &=& i\chi'{}^{\dagger A\al}\dot{\chi}'_{A\al} - \frac{1}{4}\chi'{}^{\dagger A\al}\chi'_{A\al} + \frac{1}{6}\chi'{\dagger A\al}(\sigma^3)_{\al}^{~\beta}\chi'_{A\beta} 
729: + i\tilde{\chi}^{\dagger\al}_A\dot{\tilde{\chi}}_{\al}^A + \frac{1}{4}\tilde{\chi}^{\dagger\al}_A\tilde{\chi}_{\al}^A + \frac{1}{6}\tilde{\chi}^{\dagger A\al}
730: (\sigma^3)_{\al}^{~\beta}\tilde{\chi}_{A\beta} \nn \\ 
731: && + \chi'{}^{\dagger A\al}\left[
732: \sigma^1 (r + \epsilon\cos(2t/3)) - \sigma^2 \epsilon\sin(2t/3)
733: \right]_{\al}^{~\beta} \chi'_{A\beta} \nn \\ 
734: && - \tilde{\chi}^{\dagger \al}_A \left[
735: \sigma^1 (r + \epsilon\cos(2t/3)) - \sigma^2 \epsilon\sin(2t/3)
736: \right]_{\al}^{~\beta} \tilde{\chi}^A_{\beta}\,. \nn
737: \end{eqnarray}
738: Then we express the two components 
739: of the spinors $\chi'$ and $\tilde{\chi}$ as 
740: \begin{eqnarray}
741: \chi' = (\pi,\eta)\,, \qquad \tilde{\chi} =
742:  (\tilde{\pi},\tilde{\eta})\,.  
743: \end{eqnarray}
744: When the Lagrangian is described in terms of $\pi,~\eta,~\tilde{\pi},$
745: and $\tilde{\eta}$\,, it is decomposed into two parts: 
746: $(\pi,\eta)$-system and $(\tilde{\pi},\tilde{\eta})$-system. 
747: The Lagrangian for each of these system are given by  
748: \begin{eqnarray}
749: L_{\rm F} &=& L_{\pi,\eta} + L_{\tilde{\pi},\tilde{\eta}}\,, \\ 
750: L_{\pi,\eta} &=& i\pi^{\dagger}\dot{\pi} -\frac{1}{12}\pi^{\dagger}\pi 
751: + i\eta^{\dagger}\dot{\eta}-\frac{5}{12}\eta^{\dagger}\eta \nn \\
752: && + (r+\epsilon\e^{\frac{2}{3}it})\pi^{\dagger}\eta +
753:  (r+\epsilon\e^{-\frac{2}{3}it})\eta^{\dagger}\pi\,,  \\ 
754: L_{\tilde{\pi},\tilde{\eta}} &=& i\tilde{\pi}^{\dagger}\dot{\tilde{\pi}}
755:  + 
756: \frac{5}{12}\tilde{\pi}^{\dagger}\tilde{\pi} +
757: i\tilde{\eta}^{\dagger}\dot{\tilde{\eta}} +
758: \frac{1}{12}\tilde{\eta}^{\dagger}\tilde{\eta} \nn \\
759: && - (r+\epsilon\e^{\frac{2}{3}it})\tilde{\pi}^{\dagger}\tilde{\eta} 
760: - (r+\epsilon\e^{-\frac{2}{3}it}) \tilde{\eta}^{\dagger}\tilde{\pi}\,. 
761: \end{eqnarray}
762: By using the formula (\ref{formula})\,, we can perform the path
763: integral for $\pi$\,, $\eta$\,, $\tilde{\pi}$ and $\tilde{\eta}$\,.   
764: The effective action is given by  
765: \begin{eqnarray}
766: && \hspace*{-1cm}
767: \e^{i\Gamma_{\rm F}} = \det\left[(i\partial_t - \frac{1}{12})(i\partial_t -
768:      \frac{5}{12})-r^2\right]^4
769: \det\left[1-\frac{1}{(i\partial_t-\frac{1}{12})
770: (i\partial_t-\frac{5}{12})-r^2}E\right]^4 \times \nn \\ 
771: && \quad \times \det\left[(i\partial_t + \frac{1}{12})(i\partial_t + 
772:      \frac{5}{12})-r^2\right]^4
773: \det\left[1-\frac{1}{(i\partial_t+\frac{1}{12})
774: (i\partial_t+\frac{5}{12})-r^2}\tilde{E}\right]^4\,,  
775: \end{eqnarray}
776: where $E$ and $\tilde{E}$ are defined by, respectively, 
777: \begin{eqnarray}
778: && E =
779:  r\epsilon\e^{\frac{2}{3}it}+(i\partial_t-\frac{1}{12})\epsilon\e^{-\frac{2}{3}it}\frac{1}{i\partial_t
780:  - \frac{1}{12}}(r+\epsilon\e^{\frac{2}{3}it})\,, \nn \\
781: && \tilde{E} =
782:  r\epsilon\e^{\frac{2}{3}it}+(i\partial_t +\frac{5}{12})\epsilon\e^{-\frac{2}{3}it}\frac{1}{i\partial_t
783:  + \frac{5}{12}}(r+\epsilon\e^{\frac{2}{3}it})\,. 
784: \end{eqnarray}
785: 
786: Now we have finished the path integration for the fluctuations. 
787: The remaining task is to evaluate the functional determinant. 
788: This will be discussed in the next section. 
789: 
790: 
791: \section{Effective Action}
792: 
793: From now on we evaluate the determinant factors obtained in the
794: previous section. In the evaluation we use the formula,
795: \[
796:  \det(1+\epsilon g) = \exp\left(\epsilon {\rm
797:  tr}g-\frac{1}{2}\epsilon^2{\rm tr}g^2 + \cdots\right)\,,
798: \]
799: and therefore the resulting effective action is expressed as an 
800: expansion in terms of $\epsilon$\,, 
801: \begin{eqnarray}
802: \Gamma_{\rm eff} = \Gamma^{(0)}_{\rm eff} + \epsilon^2\Gamma^{(2)}_{\rm
803:  eff} + \epsilon^4 \Gamma^{(4)}_{\rm eff} + \mathcal{O}(\epsilon^6)\,,
804: \end{eqnarray} 
805: where the terms of 
806: order $\epsilon^n$ with odd $n$ are absent in our computation in accordance
807: with the logic of our previous work \cite{HSKY-potential}.
808: 
809: Before going to the analysis of the $\epsilon$-dependent part, 
810: let us consider the $\epsilon$-independent part 
811: $\Gamma^{(0)}_{\rm eff}$ and show the one-loop flatness:  
812: \[
813:  \Gamma^{(0)}_{\rm eff} = 0\,. 
814: \]
815: 
816: 
817: \subsection{One-Loop Flatness}
818: 
819: For the $SO(3)$ part, the effective action is  
820: \begin{eqnarray}
821: \e^{i\Gamma_{SO(3)}} = \left[\det(G_0^{-1})\cdot\det(G_{1/3}^{-1})\cdot 
822: \det A \cdot \det(D-CA^{-1}B)\right]^{-1}\,,
823: \end{eqnarray}
824: where the components $A,B,C$ and $D$ are given by 
825: \begin{eqnarray}
826: A = G_0^{-1}\,, \quad B = -\frac{2}{3}\partial_t\,, \quad
827: C=\frac{2}{3}\partial_t \quad D = G_0^{-1} + \frac{4}{9}r^2G_0 -r^2
828: G_{1/3}\,.
829: \end{eqnarray}
830: Then we obtain that 
831: \begin{eqnarray}
832: D-CA^{-1}B = \partial_t^2 + r^2 + \frac{4}{9} - \frac{r^2}{\partial_t^2+r^2+\frac{1}{9}}\,. 
833: \end{eqnarray}
834: Hence we can rewrite a part of the determinant factors as follows:  
835: \begin{eqnarray}
836: && \det(G_{1/3}^{-1})\cdot \det(D-CA^{-1}B) =  
837: \det\left[\left(\partial_t^2+r^2+\frac{4}{9}\right)
838: \left(\partial_t^2+r^2+\frac{1}{9}\right)-r^2 
839: \right]\nn \\ 
840: &=& \det\left[\partial_t^2 + \left(\partial_t^2 +r^2 -\frac{2}{9}\right)^2
841: \right] = \det\left[
842: \left(\partial_t^2 + i\partial_t +r^2 - \frac{2}{9}\right)
843: \left(\partial_t^2 -i\partial_t +r^2 - \frac{2}{9}\right)
844: \right]\,. \nn 
845: \end{eqnarray} 
846: By using the formula 
847: %used in our previous paper \cite{HSKY}, 
848: \begin{eqnarray}
849: \int^{\infty}_{-\infty}\frac{dk}{2\pi}\,\ln(-k^2+2pk+m^2-i\epsilon) 
850: = i\sqrt{m^2+p^2}\,,
851: \end{eqnarray}
852: the contribution to the effective action is evaluated as
853: \begin{eqnarray}
854: 2\sqrt{r^2+\frac{1}{36}}\,. \nn
855: \end{eqnarray}
856: This includes the only contribution from the physical degrees of freedom
857: and the unphysical mode related to the gauge field is surely canceled
858: out with the ghost contribution.
859: 
860: Turning to the $SO(6)$ part, we see that the contribution from the $SO(6)$
861: part is given by 
862: \begin{eqnarray}
863: 6\sqrt{r^2 +\frac{1}{36}}\,.\nn
864: \end{eqnarray}
865: Hence the total bosonic contribution is 
866: \begin{eqnarray}
867: \Gamma^{(0)}_{\rm B} = 8\sqrt{r^2 +\frac{1}{36}}\,.
868: \end{eqnarray}
869: 
870: Finally, let us examine the fermionic contribution. 
871: The effective action is given by 
872: \begin{eqnarray}
873: \e^{i\Gamma_{\rm F}} = \det\left[\left(i\partial_t - \frac{1}{12}\right) 
874: \left(i\partial_t - \frac{5}{12}\right) - r^2 \right]^4 
875: \cdot \det\left[\left(i\partial_t + \frac{1}{12}\right) 
876: \left(i\partial_t + \frac{5}{12}\right) - r^2 \right]^4 
877: \end{eqnarray}
878: Here, noting that 
879: \begin{eqnarray}
880: \left(i\partial_t - \frac{5}{12}\right) - r^2 
881: = - \left(\partial_t^2 +\frac{1}{2}i\partial_t - \frac{5}{144}\right)\,,\nn
882: \end{eqnarray}
883: the total fermionic contribution is evaluated as 
884: \begin{eqnarray}
885: \Gamma^{(0)}_{\rm F} = -8\sqrt{r^2 + \frac{1}{36}}\,. 
886: \end{eqnarray}
887: Therefore the total contribution from the $\epsilon$-dependent parts  
888: becomes zero:
889: \begin{eqnarray}
890: \Gamma^{(0)}_{\rm eff} &=& \Gamma^{(0)}_{\rm B} + \Gamma^{(0)}_{\rm F}
891:  \nn \\  
892: &=& 8\sqrt{r^2 + \frac{1}{36}} -8 \sqrt{r^2 + \frac{1}{36}} = 0\,.  \nn
893: \end{eqnarray}
894: Thus, the one-loop flatness:  
895: \begin{align}
896: \Gamma^{(0)}_{\rm eff} = 0\,, 
897: \end{align}
898: has been shown in our setup.     
899: 
900: 
901: \subsection{Evaluation of $\epsilon$-Dependent Part}
902: 
903: The evaluation of the $\epsilon$-dependent parts is quite complicated 
904: and hence we need to use the Mathematica \cite{wolfram}. 
905: Here we shall show only the results after evaluating the functional
906: traces.  We note that, due to the enormous complexity of computation,
907: the results are obtained in the large-distance expansion, $r \gg 1$.
908: 
909: First of all, at $\epsilon^2$ order, we obtain 
910: \begin{align}
911: \Gamma^{(2)}_{\rm B} 
912: &= - \Gamma^{(2)}_{\rm F}  \notag \\
913: &= - \int dt \left( \frac{2}{r} + \frac{17}{2^2 \cdot 3^2} \frac{1}{r^3}
914: + \frac{61}{2^6 \cdot 3^3} \frac{1}{r^5} 
915: + \frac{1129}{2^9 \cdot 3^6} \frac{1}{r^7}
916: + \frac{26891}{2^{14} \cdot 3^8} \frac{1}{r^9} \right)
917: + \mathcal{O} (r^{-11})\,. 
918: \end{align}
919: We can see the cancellation between contributions of bosons and
920: fermions up to  the $1/r^9$ order. 
921: It is, however, possible to show that the cancellation is exact from the 
922: numerical analysis. Hence we have shown that the effective action with 
923: $\epsilon^2$ order should vanish: 
924: \begin{align}
925: \Gamma^{(2)}_{\rm eff}=0\,. 
926: \end{align}
927: 
928: Now let us see the effective action at $\epsilon^4$ order. 
929: The contribution from the physical modes in the $SO(3)$ part is given by 
930: \begin{align}
931: \widehat{\Gamma}^{(4)}_{SO(3)} =
932: \int dt \left( - \frac{1}{2^5} \frac{1}{r^3}
933: - \frac{883}{2^8 \cdot 3} \frac{1}{r^5}
934: + \frac{11\cdot 19 \cdot 443}{2^{12} \cdot 3^3} \frac{1}{r^7}
935: + \frac{11 \cdot 29 \cdot 28793}{2^{15} \cdot 3^6} \frac{1}{r^9}
936: \right) + \mathcal{O} (r^{-11})\,, 
937: \end{align}
938: and, for the $SO(6)$ part, the contribution is  
939: \begin{align}
940: \Gamma^{(4)}_{SO(6)} =
941: \int dt \left( - \frac{3}{2^5} \frac{1}{r^3}
942: + \frac{77}{2^8} \frac{1}{r^5}
943: + \frac{19 \cdot 131}{2^{12} \cdot 3} \frac{1}{r^7}
944: + \frac{13^2 \cdot 4271}{2^{15} \cdot 3^5} \frac{1}{r^9}
945: \right) + \mathcal{O} (r^{-11})\,. 
946: \end{align} 
947: Hence the total contribution of the bosonic parts is   
948: \begin{align}
949: \Gamma^{(4)}_{\rm B}
950: &= \widehat{\Gamma}^{(4)}_{SO(3)} + \Gamma^{(4)}_{SO(6)}
951: \notag \\
952: &=
953: \int dt \left( - \frac{1}{2^3} \frac{1}{r^3}
954: - \frac{163}{2^6 \cdot 3} \frac{1}{r^5}
955: + \frac{17 \cdot 19 \cdot 89}{2^{10} \cdot 3^3} \frac{1}{r^7}
956: + \frac{131 \cdot 21661}{2^{13} \cdot 3^6} \frac{1}{r^9}
957: \right) + \mathcal{O} (r^{-11})\,. 
958: \end{align}
959: The contribution of the fermions is totally 
960: represented by 
961: \begin{align}
962: \Gamma^{(4)}_{\rm F} =
963: \int dt \left( \frac{1}{2^3} \frac{1}{r^3}
964: + \frac{163}{2^6 \cdot 3} \frac{1}{r^5}
965: + \frac{71 \cdot 163}{2^{10} \cdot 3^3} \frac{1}{r^7}
966: + \frac{773 \cdot 1493}{2^{13} \cdot 3^6} \frac{1}{r^9}
967: \right) + \mathcal{O} (r^{-11})\,. 
968: \end{align}
969: Thus the net effective action at $\epsilon^4$ order is given by 
970: \begin{align}
971: \Gamma^{(4)}_{\rm eff} &= \Gamma^{(4)}_{\rm B} + \Gamma^{(4)}_{\rm F} 
972: \notag \\
973: &=
974: \int dt \left(\,\frac{35}{24} \frac{1}{r^7}
975: + \frac{385}{576} \frac{1}{r^9}\,\right) + \mathcal{O} (r^{-11})\,.
976: \end{align}
977: The contributions of the parts with $1/r$\,, $1/r^3$ and $1/r^5$ are
978: exactly canceled out. These cancellations would be basically due to
979: the supersymmetries. And the resulting effective potential is
980: $1/r^7$-type as in the case of the BFSS matrix model.  We should note
981: that the above expression is written in the Minkowski formulation and so
982: the leading term of the potential is attractive. Then we should note
983: that the subleading term of order $1/r^9$ exists and it is also
984: attractive. Firstly, the term of $1/r^9$-type does not appear in the
985: BFSS case where the subleading term is $1/r^{11}$ and this corresponds
986: to the dipole-dipole interaction\,. The presence of the $1/r^9$ term
987: implies the existence of the dipole-graviton interaction or the
988: interaction between single poles. The appearance of this term is a new
989: effect intrinsic to the pp-wave case. Furthermore, we should note that
990: the subleading term is attractive while the subleading term in the
991: spherical membrane cases is repulsive. Since the transverse $SO(9)$
992: symmetry is broken due to the effect of non-vanishing curvature of the
993: pp-wave background, it is not a mystery to obtain the different graviton
994: potential in each of the $SO(3)$ and $SO(6)$ symmetric spaces.  It is, 
995: however, still interesting to see the apparent difference between the graviton
996: interactions in the $SO(3)$ and the $SO(6)$ symmetric spaces.
997: 
998: 
999: \section{Conclusion and Discussion}
1000: 
1001: We have computed the two-body interaction potential between the
1002: point-like graviton solutions in a sub-plane in the $SO(3)$ symmetric
1003: space by considering the configuration drawn in Fig.\ref{gravs:fig}.
1004: The leading term of the potential is $1/r^7$ and thus strongly suggests
1005: that our result should be closely related to the scattering in the
1006: light-front eleven-dimensional supergravity. We expect that this
1007: potential should be realized from the computation in the supergravity
1008: side by using the spectrum of the linearized supergravity around the
1009: pp-wave background \cite{Kimura}. In this direction the work \cite{LMW}
1010: would be helpful.  
1011: 
1012: % Outlook
1013: 
1014: So far we have computed the interaction of the spherical membrane fuzzy
1015: spheres (giant gravitons) in the $SO(6)$ space and the scattering of the
1016: point-like gravitons in the $SO(3)$ symmetric space.  It is interesting
1017: to consider the interaction between a point-like graviton and
1018: a spherical membrane graviton. We hope that the result will be reported in
1019: the near future as another publication \cite{future}. 
1020: 
1021: Our analysis and results will be an important clue to study some 
1022: features of M-theory on the pp-wave background and to shed light on the
1023: substance of M-theory. 
1024: 
1025: 
1026: 
1027: 
1028: \section*{Acknowledgments} 
1029: 
1030: One of us, K.~Y., would like to thank Hiroyuki Fuji, Suguru Dobashi,
1031: Naoyuki Kawahara, Jun Nishimura and Xinkai Wu for useful discussions. 
1032: K.~Y. is also grateful to the Third Simons Workshop in Mathematics and
1033: Physics at YITP and the Sapporo Autumn School 2005 at Hokkaido
1034: University for their hospitality.  The work of H.~S. was supported by
1035: grant No. R01-2004-000-10651-0 from the Basic Research Program of the
1036: Korea Science and Engineering Foundation (KOSEF).  The work of K.~Y.\ is
1037: supported in part by JSPS Research Fellowships for Young Scientists. 
1038: 
1039: 
1040: \begin{thebibliography}{99}
1041: 
1042: \bibitem{BFSS} T.~Banks, W.~Fischler, S.~H.~Shenker and L.~Susskind, 
1043: ``M theory as a matrix model: A conjecture,'' 
1044: Phys.\ Rev.\ D {\bf 55} (1997) 5112 [arXiv:hep-th/9610043]. 
1045: 
1046: \bibitem{IKKT} N.~Ishibashi, H.~Kawai, Y.~Kitazawa and A.~Tsuchiya, 
1047: ``A large-N reduced model as superstring,'' 
1048: Nucl.\ Phys.\ B {\bf 498} (1997) 467 [arXiv:hep-th/9612115]. 
1049: 
1050: \bibitem{DVV} R.~Dijkgraaf, E.~Verlinde and H.~Verlinde, 
1051: ``Matrix string theory,'' 
1052: Nucl.\ Phys.\ B {\bf 500} (1997) 43 [arXiv:hep-th/9703030]. 
1053: 
1054: \bibitem{Witten} E.~Witten, 
1055: ``String theory dynamics in various dimensions,'' 
1056: Nucl.\ Phys.\ B {\bf 443} (1995) [arXiv:hep-th/9503124]. 
1057: 
1058: \bibitem{dWHN} B.~de Wit, J.~Hoppe and H.~Nicolai, 
1059: ``On the quantum mechanics of supermembranes,'' 
1060: Nucl.\ Phys.\ B {\bf 305} (1988) 545. 
1061: 
1062: \bibitem{BMN} D.~Berenstein, J.~M.~Maldacena and H.~Nastase, ``Strings
1063: in flat space and pp waves from N = 4 super Yang Mills,'' JHEP {\bf
1064: 0204} (2002) 013 [arXiv:hep-th/0202021].
1065: 
1066: \bibitem{KG} J.~Kowalski-Glikman, ``Vacuum states in supersymmetric 
1067: Kaluza-Klein theory,'' Phys.\ Lett.\ B {\bf 134} (1984) 194. 
1068: 
1069: \bibitem{DSR}
1070: K.~Dasgupta, M.~M.~Sheikh-Jabbari and M.~Van Raamsdonk,
1071: ``Matrix perturbation theory for M-theory on a PP-wave,''
1072: JHEP {\bf 0205} (2002) 056
1073: [arXiv:hep-th/0205185]. 
1074: 
1075: \bibitem{SY}K.~Sugiyama and K.~Yoshida, ``Supermembrane on the pp-wave
1076: background,'' Nucl.\ Phys.\ B {\bf 644} (2002) 113
1077: [arXiv:hep-th/0206070]; ``BPS conditions of
1078: supermembrane on the pp-wave,'' Phys.\ Lett.\ B {\bf 546} (2002) 143
1079: [arXiv:hep-th/0206132]; 
1080: N.~Nakayama, K.~Sugiyama and K.~Yoshida,
1081: ``Ground state of the supermembrane on a pp-wave,'' 
1082: Phys.\ Rev.\ D {\bf 68} (2003) 026001, [arXiv:hep-th/0209081].
1083: 
1084: \bibitem{BSS}T.~Banks, N.~Seiberg and S.~H.~Shenker, 
1085: ``Branes from matrices,'' 
1086: Nucl.\ Phys.\ B {\bf 490} (1997) 91 [arXiv:hep-th/9612157].
1087: 
1088: \bibitem{HS1} S.~Hyun and H.~Shin, ``Branes from matrix
1089: theory in pp-wave background,'' Phys.\ Lett.\ B {\bf 543} (2002)
1090: 115, hep-th/0206090.
1091: 
1092: \bibitem{SY4}
1093: K.~Sugiyama and K.~Yoshida, 
1094: ``Type IIA string and matrix string on pp-wave,'' 
1095: Nucl.\ Phys.\ B {\bf 644} (2002) 128 [arXiv:hep-th/0208029]. 
1096: 
1097: \bibitem{HS2}
1098: S.~Hyun and H.~Shin, 
1099: `$`\mathcal{N}$ = (4,4) type IIA string theory on pp-wave background,'' 
1100: JHEP {\bf 0210} (2002) 070 [arXiv:hep-th/0208074].
1101: 
1102: \bibitem{Sekino} 
1103: Y.~Sekino and T.~Yoneya,
1104: ``From supermembrane to matrix string,'' 
1105: Nucl.\ Phys.\ B {\bf 619} (2001) 22 [arXiv:hep-th/0108176].
1106: 
1107: \bibitem{Bonelli}
1108: G.~Bonelli, 
1109: ``Matrix strings in pp-wave backgrounds from deformed super Yang-Mills 
1110: theory,'' JHEP {\bf 0208} (2002) 022 [arXiv:hep-th/0205213].
1111: 
1112: \bibitem{Myers} R.~C.~Myers, ``Dielectric-branes,''
1113: JHEP {\bf 9912} (1999) 022 [arXiv:hep-th/9910053].
1114: 
1115: \bibitem{DSR2}
1116: K.~Dasgupta, M.~M.~Sheikh-Jabbari and M.~Van Raamsdonk, 
1117: ``Protected multiplets of M-theory on a plane wave,'' 
1118: JHEP {\bf 0209} (2002) 021 [arXiv:hep-th/0207050].
1119: 
1120: \bibitem{KP}N.~Kim and J.~Plefka, 
1121: ``On the spectrum of pp-wave matrix theory,'' 
1122: Nucl.\ Phys.\ B {\bf 643} (2002) 31 [arXiv:hep-th/0207034].
1123: 
1124: \bibitem{KP2}
1125: N.~Kim and J.~H.~Park, ``Superalgebra for M-theory on a pp-wave,'' 
1126: Phys.\ Rev.\ D {\bf 66} (2002) 106007 [arXiv:hep-th/0207061]. 
1127: 
1128: \bibitem{TM5}
1129: J.~Maldacena, M.~M.~Sheikh-Jabbari and M.~Van Raamsdonk,
1130: ``Transverse fivebranes in matrix theory,''
1131: JHEP {\bf 0301} (2003) 038
1132: [arXiv:hep-th/0211139].
1133: 
1134: \bibitem{Bak} D.~Bak, ``Supersymmetric branes in PP wave
1135: background,'' Phys.\ Rev.\ D {\bf 67} (2003) 045017, hep-th/0204033.
1136: 
1137: \bibitem{Park}
1138: J.~H.~Park,
1139: ``Supersymmetric objects in the M-theory on a pp-wave,''
1140: JHEP {\bf 0210} (2002) 032
1141: [arXiv:hep-th/0208161]. 
1142: 
1143: \bibitem{sol}
1144:  D.~Bak, S.~Kim and K.~Lee,
1145: ``All higher genus BPS membranes in the plane wave background,''
1146:   arXiv:hep-th/0501202.
1147: 
1148: \bibitem{SY3} K.~Sugiyama and K.~Yoshida,
1149: ``Giant graviton and quantum stability in matrix model on PP-wave background,''
1150: Phys.\ Rev.\ D {\bf 66} (2002) 085022
1151: [arXiv:hep-th/0207190]. 
1152: 
1153: \bibitem{HSKY} H.~Shin and K.~Yoshida, 
1154: ``One-loop flatness of membrane fuzzy sphere interaction 
1155: in plane-wave matrix model,'' Nucl.\ Phys.\ B {\bf 679} (2004) 99  
1156: [arXiv:hep-th/0309258]. 
1157: 
1158: \bibitem{Huang}W.~H.~Huang, 
1159: ``Thermal instability of giant graviton in matrix model on pp-wave 
1160: background,'' 
1161: Phys.\ Rev.\ D {\bf 69} (2004) 067701 [arXiv:hep-th/0310212].
1162: 
1163: \bibitem{HSKY-thermal}
1164:   H.~Shin and K.~Yoshida,
1165:   ``Thermodynamics of fuzzy spheres in pp-wave matrix model,''
1166:   Nucl.\ Phys.\ B {\bf 701} (2004) 380
1167:   [arXiv:hep-th/0401014]; 
1168: ``Thermodynamic behavior of fuzzy membranes in PP-wave matrix model,''
1169:   Phys.\ Lett.\ B {\bf 627} (2005) 188
1170:   [arXiv:hep-th/0507029]. 
1171: 
1172: \bibitem{Furuuchi}
1173: K.~Furuuchi, E.~Schreiber and G.~W.~Semenoff,
1174: ``Five-brane thermodynamics from the matrix model,''
1175: arXiv:hep-th/0310286, \\ 
1176: G.~W.~Semenoff, ``Matrix model thermodynamics,'' 
1177: arXiv:hep-th/0405107; \\ 
1178: S.~Hadizadeh, B.~Ramadanovic, G.~W.~Semenoff and D.~Young, 
1179: ``Free energy and phase transition of the matrix model on a plane-wave,'' 
1180: Phys.\ Rev.\ D {\bf 71} (2005) 065016 [arXiv:hep-th/0409318].
1181: 
1182: \bibitem{HSKY-potential} 
1183: H.~Shin and K.~Yoshida, 
1184: ``Membrane fuzzy sphere dynamics in plane-wave matrix model,'' 
1185: Nucl.\ Phys.\ B {\bf 709} (2005) 69 [arXiv:hep-th/0409045]. 
1186: 
1187: \bibitem{KT}
1188: D.~Kabat and W.~I.~Taylor, ``Spherical
1189: membranes in matrix theory,'' Adv.\ Theor.\ Math.\ Phys.\ 
1190: {\bf 2} (1998) 181 [arXiv:hep-th/9711078]. 
1191: 
1192: \bibitem{Kimura}
1193: T.~Kimura and K.~Yoshida, 
1194: ``Spectrum of eleven-dimensional supergravity on a pp-wave background,''
1195: Phys.\ Rev.\ D {\bf 68} (2003) 125007 [arXiv:hep-th/0307193]. 
1196: 
1197: \bibitem{wolfram} S. Wolfram, {\it the Mathematica book}, 4th edition
1198:   (Cambridge, 1999).
1199: 
1200: \bibitem{LMW}
1201: H.~K.~Lee, T.~McLoughlin and X.~k.~Wu, 
1202: ``Gauge / gravity duality for interactions of spherical membranes in 
1203: 11-dimensional pp-wave,'' 
1204: Nucl.\ Phys.\ B {\bf 728} (2005) 1 [arXiv:hep-th/0409264].
1205: 
1206: \bibitem{future}
1207: H.~Shin and K.~Yoshida, in preparation. 
1208: 
1209: 
1210: \end{thebibliography}
1211: 
1212: \end{document}
1213: