1: \documentclass[12pt]{JHEP3}

2: \usepackage{graphicx,amsmath,times,cite}

3: \setcounter{tocdepth}{1}

4: 

5: \newcommand{\link}[1]{\langle#1\rangle}

6: \newcommand{\tr}{\text{tr}}

7: \newcommand{\Disc}{\text{Disc}}

8: \newcommand{\bL}{\mathfrak{b}}

9: 

10: \newcommand{\FIG}[3]{

11: \FIGURE[t]{\includegraphics[width=14cm]{#1}\caption{#2}\label{#3}}}

12: 

13: \preprint{IPhT-T08/193 \\ KIAS-P08079}

14: \title{Boundary operators in the O(n) and RSOS matrix models}

15: \author{Jean-Emile Bourgine$^1$ and Kazuo Hosomichi$^2$ \\ \\

16: $^1$ Institut de Physique Th\'eorique, CNRS-URA 2306  \\ ~~

17:      C.E.A.-Saclay, F-91191 Gif-sur-Yvette, France    \\

18: $^2$ Korea Institute for Advanced Study, Seoul 103-722, Korea \\

19: \email{jean-emile.bourgine@cea.fr},

20: \email{hosomiti@kias.re.kr}

21: }

22: 

23: \abstract{

24: We study the new boundary condition of the $O(n)$ model proposed

25: by Jacobsen and Saleur using the matrix model.

26: The spectrum of boundary operators and their conformal weights

27: are obtained by solving the loop equations.

28: Using the diagrammatic expansion of the matrix model as well as

29: the loop equations, we make an explicit correspondence

30: between the new boundary condition of the $O(n)$ model

31: and the ``alternating height'' boundary conditions in RSOS model.

32: }

33: \keywords{Matrix theory, Noncritical string theory}

34: 

35: 

36: \begin{document}

37: 

38: \section{Introduction}

39: 

40: Boundary conformal field theories play an important role

41: in many fields of theoretical physics, such as

42: statistical mechanics, condensed matter or string theory.

43: In order to study the properties of boundary conditions

44: and boundary operators, it is useful to have at our disposal

45: a microscopic description of the conformal field theories (CFT).

46: The $O(n)$ model and solid-on-solid (SOS) models are

47: the familiar examples which provide us with such a description

48: of, in general irrational, CFTs with central charge $c<1$.

49: In the $O(n)$ model each lattice site is assigned an $O(n)$ spin,

50: whereas in SOS models one associates an integer-valued height

51: to each lattice point.

52: In both theories, neighbouring sites are then coupled

53: via suitable interactions.

54: The heights are bounded from both sides in the so called

55: restricted SOS (or RSOS) models; these models are known to describe

56: rational CFTs with $c<1$.

57: 

58: Both the $O(n)$ and SOS models can be

59: reformulated as loop gas models \cite{Kostov:1991cg}.

60: In this formulation, the $O(n)$ model makes sense for

61: arbitrary real $n$ and exhibit critical behaviour for $|n|\le2$.

62: The phase structure of these models is well understood.

63: Interestingly, they are known to describe two CFTs of different

64: central charges connected by a renormalization group flow.

65: The loops behave differently in the UV (or {\it dilute})

66: phase and the IR ({\it dense}) phase.

67: 

68: Some properties of the $O(n)$ and SOS models can be studied

69: by putting them on a fluctuating lattice, i.e.,

70: coupling them to the two-dimensional gravity.

71: The partition function of such theories is given by

72: summing up the partition functions of the model

73: on all the different lattices weighted by their area.

74: Actually, the $O(n)$ and SOS models on random

75: -- or dynamical -- lattice are known to be described by

76: the Feynman graph expansion of certain matrix models

77: \cite{Kostov:1991cg,Kazakov:1986hy,Boulatov:1986sb,Duplantier:1988wc,

78:       Kazakov:1988fv,Kostov:1988fy,Kostov:1989eg}.

79: In this context, the continuum limit is achieved by tuning the

80: potential couplings while sending the size of the matrices to infinity.

81: In this limit one recovers the dynamics of the irrational CFT with

82: $c<1$ coupled to the Liouville gravity and reparametrization ghosts.

83: 

84: The $O(n)$ and SOS matrix models are also useful

85: in studying the conformally invariant boundary conditions

86: from the microscopic viewpoint.

87: In this paper, we will be particularly interested

88: in the boundary conditions of the $O(n)$ model

89: recently proposed by Jacobsen and Saleur \cite{Jacobsen:2006bn}.

90: Instead of allowing the loops to touch the boundary freely,

91: they weighted the loops touching the boundary differently

92: from those which do not.

93: They also considered the ``$L$-leg''

94: boundary operators on which $L$ open lines end.

95: The properties of such boundary conditions and operators were studied

96: on a fixed annular lattice with $L$ non-contractible loops introduced.

97: They obtained a continuous spectrum of boundary operators

98: and determined their conformal weights.

99: The new boundary conditions were also put on a dynamical lattice

100: by Kostov \cite{Kostov:2007jj}, where the correlation functions

101: and the conformal weights of the $L$-leg operators were computed.

102: The $L$-leg operators were also considered in some earlier

103: works \cite{Kazakov:1991pt,Kostov:2003uh,Kostov:2002uq}.

104: 

105: Another interesting fact is that the $O(n)$ model becomes

106: equivalent to the RSOS model for some special values of $n$.

107: In \cite{Jacobsen:2006bn} it was proposed that the new boundary conditions

108: of Jacobsen and Saleur correspond to the boundary conditions

109: in RSOS model which force the boundary height to alternate

110: between two values \cite{Saleur:1988zx}.

111: 

112: In this paper we study the property of boundary conditions

113: and boundary operators of these models using the loop equations

114: along the line of \cite{Kostov:2007jj}, but with more help of

115: the matrix model formulation which is much simpler to handle

116: than the combinatorics employed in the earlier work.

117: We will be focusing on the dense phase, leaving

118: the analysis of the dilute phase as a future work.

119: 

120: The organization of this paper is as follows.

121: In section \ref{sec:On} we introduce the new boundary conditions

122: and boundary $L$-leg operators in the $O(n)$ matrix model following

123: \cite{Kostov:2007jj}, and rederive the correlation functions and

124: conformal weights of the $L$-leg operators from the loop equations.

125: Then in section \ref{sec:sos} we propose a description of

126: the boundary conditions of alternating heights in RSOS matrix models.

127: Using this we derive the spectrum of boundary operators

128: as well as their conformal weights and correlators, again by

129: solving the loop equations.

130: Finally, in section \ref{sec:map} we show the equivalence

131: of the $O(n)$ and RSOS models on discs

132: by establishing a map between their Feynman graphs.

133: We use this to derive some relations between the disc

134: correlators, which are then shown to map the loop equations of

135: one theory to the other.

136: The last section \ref{sec:concl} is devoted to some conluding remarks.

137: 

138: In Appendix \ref{sec:kpz} we review some basic facts on the

139: Liouville theory approach to conformal field theories coupled

140: to two-dimensional gravity, and summarize the formulae

141: for the conformal weight and gravitational dimension of

142: the operators.

143: Some detail of solving the loop equation and reading off the

144: gravitational dimension are given in Appendix \ref{sec:sol}.

145: 

146: 

147: \section{Boundary operators in the $O(n)$ model}\label{sec:On}

148: 

149: \subsection{Definition of the model}\label{sec:defOn}

150: 

151: Let us consider a triangular lattice $\Gamma$ with

152: an $O(n)$ spin component associated to each site $r$,

153: normalized so that $\tr\,S_a(r)S_b(r')=\delta_{ab}\delta_{rr'}$.

154: The partition function of the $O(n)$ model is defined by

155: \cite{Nienhuis:1982fx, Nienhuis:1984wm}

156: \begin{equation}

157:  Z_\Gamma(T)=\tr\prod_{\link{rr'}}

158:  \left(1+\frac1T\sum_a S_a(r)S_a(r')\right),

159: \end{equation}

160: where $T$ is called the temperature and the product

161: runs over all links $\link{rr'}$ of $\Gamma$.

162: Expanding the product into a sum of monomials,

163: the partition function can be written as a sum over all

164: configurations of self avoiding, mutually avoiding loops on $\Gamma$,

165: \begin{equation}

166: Z_\Gamma(T)=\sum_{\text{loops}}T^{-(\text{length})}n^{\#(\text{loops})}.

167: \end{equation}

168: Each loop is counted with a factor $n$, and the temperature

169: $T$ controls the average total length of the loops.

170: When formulated in this way, the model

171: makes sense for arbitrary real $n$.

172: This model is known to exhibit a critical behaviour for $|n|\le2$.

173: Hereafter we parameterize $n$ in terms of $g$ or $\theta$ as follows,

174: \begin{equation}

175: n=-2\cos{(\pi g)}=2\cos{(\pi\theta)}.

176: \end{equation}

177: As a function of $n$, $g$ is multi-valued.

178: Different branches are known to correspond to

179: different phases of the model \cite{Kostov:1991cg}.

180: 

181: The temperature controls the phase of the model.

182: It is in the dilute phase at some critical temperature $T=T^*$,

183: and below $T^*$ it is in the dense phase.

184: For generic $n$, the two phases are described by two irrational

185: conformal field theories with central charges

186: \begin{equation}

187: c_\text{dense}=1-\frac{6\theta^2}{1-\theta},\qquad

188: c_\text{dilute}=1-\frac{6\theta^2}{1+\theta}.

189: \end{equation}

190: We will be focusing on the physics in the dense phase,

191: which has the same behaviour as the fully packed loop model

192: corresponding to $T=0$.

193: Hereafter we assume $\theta\in [0,1]$ and $\theta=1-g$.

194: 

195: Turning on the gravity corresponds to taking the sum

196: over all the triangulated surfaces with a suitable weight,

197: \begin{equation}

198:  Z_{\text{dyn}}(\kappa,T)=\sum_\Gamma\kappa^{-A(\Gamma)}Z_\Gamma(T).

199: \end{equation}

200: The parameter $\kappa$ controls the average

201: area $A(\Gamma)$ (the number of triangles)

202: and is regarded as the bare cosmological constant.

203: The continuum limit is obtained from the vicinity

204: of the critical line $\kappa=\kappa^*(T)$

205: where the average area of the surface diverges.

206: One can also allow the surfaces to have boundaries.

207: For example, a disc partition function can be defined

208: as the sum over the surfaces of disc topology,

209: \begin{equation}

210:  Z_{\text{dyn}}(\kappa,x,T)=

211:  \sum_{\Gamma:\;\text{disc}}\frac1{L(\Gamma)}

212:  \kappa^{-A(\Gamma)}x^{-L(\Gamma)}Z_\Gamma(T),

213: \end{equation}

214: where $x$ is the boundary cosmological constant controlling

215: the average boundary length (the number of edges along the boundary).

216: In this case, we have to send $x$ also to a critical value as

217: $\kappa\to\kappa^*(T)$ so that the average boundary length

218: diverges in the limit.

219: The continuum limit is therefore parametrized by

220: the renormalized couplings $\mu\sim\kappa^*-\kappa$

221: and $\xi\sim x-x^*$.

222: Note that, when the disc has more than one boundary,

223: a boundary cosmological constant may be introduced for each.

224: 

225: Until recently, the only boundary condition

226: studied in the $O(n)$ model was the Neumann boundary condition

227: in which the spins at the boundary fluctuate freely.

228: Based on earlier work \cite{Nichols:2004fb,Pearce:2006sz},

229: Jacobsen and Saleur \cite{Jacobsen:2006bn}

230: proposed a new kind of boundary conditions in which the boundary

231: spins are forced to take the first $k$ of the $n$ values.

232: We call this the $k$-th JS boundary condition.

233: Neumann and Dirichlet boundary conditions correspond

234: to the special cases with $k=n$ and $k=1$, respectively.

235: In the loop gas picture, the $k$-th JS boundary condition amounts

236: to giving a weight $k$, instead to the usual $n$, to the

237: loops that touch the boundary at lease once.

238: Defined in this way, the JS boundaries make sense for non-integer $k$.

239: 

240: Following \cite{Kostov:2007jj}, we consider the model on the disc

241: with one Neumann and one JS boundaries connected by the boundary

242: changing operators,

243: \begin{equation}

244:  \mathbb{S}_L^\parallel = 

245:  \sum_{1\leq a_1<\cdots<a_L\leq k}S_{a_1}\cdots S_{a_L},

246:  \qquad

247:  \mathbb{S}_L^\perp =

248:  \sum_{k<a_1<\cdots<a_L\leq n}S_{a_1}\cdots S_{a_L}.

249: \label{Llegop}

250: \end{equation}

251: In the loop gas picture, they have $L$ legs of open lines attached.

252: They are called the blobbed and unblobbed $L$-leg operators

253: \cite{Jacobsen:2006bn}.

254: They were named after the underlying Temperley-Lieb algebra though

255: we will not need its detailed property in this paper.

256: One of the important characteristics of these operators is that the

257: lines from blobbed operators can touch the JS boundary whereas

258: the line from unblobbed operators cannot.

259: We will give the matrix model equivalent of these operators

260: in the next subsection.

261: 

262: \subsection{The $O(n)$ matrix model}\label{sec:Onmm}

263: 

264: The $O(n)$ matrix model is an integral over $N\times N$ hermitian

265: matrices $X$ and $Y_a$, with $a$ running from 1 to $n$.

266: The partition function is given by \cite{Kostov:1988fy}

267: \begin{equation}

268:  Z=\int dX\prod_{a=1}^ndY_a

269:  \exp\left[ \beta\tr\Big(

270:   -\frac12X^2+\frac13X^3

271:   -\frac T2\sum_{a=1}^n Y_a^2+\sum_{a=1}^n XY_a^2 \Big)\right]\,.

272: \label{ZOnMM}

273: \end{equation}

274: The Feynman graph expansion of $Z$ generates all the

275: dynamical lattices of arbitrary genus but without boundaries.

276: The bare cosmological constant $\kappa$ is given by

277: \begin{equation}

278:  \beta=N\kappa^2,

279: \end{equation}

280: and each loop formed by the propagators of $Y_a$ is

281: multiplied by $nT^{-(\text{length})}$.

282: Graphs of genus $h$ are weighted by $N^{2-2h}$, so that

283: the planar graphs dominate the partition function

284: in the large $N$ limit for a fixed $\kappa$.

285: Continuum limit is obtained by sending $\kappa\to\kappa^*(T)$

286: and $N\to\infty$ in a correlated manner.

287: 

288: The physics in the continuum limit depends on the temperature.

289: Below the critical temperature $T<T^*$, partition function

290: is dominated by graphs with densely packed loops.

291: Since the vertices with three legs of $X$ do not play any role,

292: one could study the dense phase using the definition (\ref{ZOnMM})

293: without the $X^3$ term.

294: Before proceeding, we make a slight redefinitions of the matrices

295: $X$ and $Y_a$ so as to simplify the integrand of (\ref{ZOnMM}),

296: \begin{equation}

297:  Z=\int dX\prod_{a=1}^ndY_a

298:  \exp\left[-\beta\tr\Big(V(X)-\sum_{a=1}^nXY_a^2\Big)\right]\,.

299: \end{equation}

300: The potential $V(X)$ is then given by

301: \begin{equation}

302: V(X)=\frac12\big(X+\frac T2)^2 -\frac13\big(X+\frac T2\big)^3.

303: \label{defpot}

304: \end{equation}

305: As was mentioned above, generic quadratic potential $V(X)$ could

306: capture the physics in the dense phase.

307: 

308: 

309: The disc partition function with Neumann boundary condition

310: is given in the large $N$ limit by

311: \begin{equation}

312: \Phi(x)=-\frac1\beta\langle\tr\log(x-X)\rangle.

313: \end{equation}

314: Because of the prefactor $1/\beta$,

315: the leading contribution is independent of $N$ and

316: the higher genus contributions are subleading at large $N$.

317: What will become more important later is its derivative,

318: the resolvent

319: \begin{equation}

320: W(x)=-\frac{\partial}{\partial x}\Phi(x)

321: =\frac1\beta\Big\langle\tr\frac{1}{x-X}\Big\rangle\,.

322: \label{OnRes}

323: \end{equation}

324: The derivative introduces one marked point along the boundary.

325: One is supposed to take $x\to x^*=0$ in the continuum limit

326: \cite{Kostov:2006ry}.

327: The disc partition function with the $k$-th JS boundary condition

328: and one marked point is given by

329: \begin{equation}

330: \tilde W(y)=

331: \frac1\beta\Big\langle\tr\frac{1}{y-\sum_{a=1}^k{Y_a^2}}\Big\rangle\,,

332: \end{equation}

333: where we suppress the $k$-dependence of $\tilde W$

334: for notational simplicity.

335: To study the boundary changing operators, we also introduce

336: disc two-point functions with one Neumann

337: and one JS boundary conditions,

338: \begin{equation}

339: D_0(x,y)=\frac1\beta

340:    \Big\langle\tr\Big(\frac{1}{x-X}\frac{1}{y-\sum_{a=1}^k{Y_a^2}}

341:    \Big)\Big\rangle\,.

342: \label{defD0}

343: \end{equation}

344: We also consider the correlation functions of the $L$-leg operators,

345: \begin{align}

346: \begin{split}

347: D_L^\parallel(x,y) = \displaystyle\frac1\beta\Big\langle\tr\Big(

348:  \frac{1}{x-X}\mathbb{Y}_L^\parallel

349:  \frac{1}{y-\sum_{a=1}^k{Y_a^2}}\mathbb{Y}_L^\parallel \Big)\Big\rangle\,, \\

350: D_L^\perp(x,y) = \displaystyle\frac1\beta\Big\langle\tr\Big(

351:  \frac{1}{x-X}\mathbb{Y}_L^\perp

352:  \frac{1}{y-\sum_{a=1}^kY_a^2}\mathbb{Y}_L^\perp\Big)\Big\rangle\,,

353: \end{split}

354: \label{defDLOn}

355: \end{align}

356: where the operators $\mathbb{Y}_L^\parallel$ and

357: $\mathbb{Y}_L^\perp$ are defined analogously to (\ref{Llegop}),

358: \begin{equation}

359:  \mathbb{Y}_L^\parallel=

360:  \sum_{\{a_1,\cdots,a_L\}\subset\{1,\cdots,k\}}Y_{a_1}\cdots Y_{a_L},

361:  \qquad

362:  \mathbb{Y}_L^\perp=

363:  \sum_{\{a_1,\cdots,a_L\}\subset\{k+1,\cdots,n\}}Y_{a_1}\cdots Y_{a_L}.

364: \end{equation}

365: The sums are taken over all different sets of $L$ letters

366: (so $\mathbb{Y}_L^\parallel$ consists of $k!/L!$ terms).

367: These operators are the analogues in matrix model of the

368: blobbed and unblobbed $L$-leg operators.

369: 

370: In the following, we study the loop equations for the above

371: correlators that are associated to $Y_a$-derivatives.

372: We will see that the $Y_a$-derivative adds or removes one open line

373: between boundary operators, so that the loop equations relate the

374: correlators $D_L^{\perp,\parallel}$ with  $D_{L+1}^{\perp,\parallel}$.

375: Among those correlators, $D_1^\parallel$ and $D_0$ will be of

376: particular importance because they can be determined from a closed

377: system of shift equations.

378: 

379: 

380: \subsection{Loop equations}

381: 

382: We start from the loop equation which follows from the translation

383: invariance of the measure $dY_a$.

384: For any matrix $F$ made of $X$ and $Y_a$, the following equality holds:

385: \begin{equation}

386: \frac1\beta\sum_{ij}\Big\langle

387: \frac\partial{\partial Y_{aij}}F_{ij}\Big\rangle

388:  =-\big\langle\tr (FX+XF)Y_a \big\rangle.

389: \end{equation}

390: If we introduce $G=-(XF+FX)$, then $F$ is formally expressed

391: in terms of $G$ as

392: \begin{equation}

393:  F=\int_0^\infty d\ell e^{\ell X}Ge^{\ell X},

394: \end{equation}

395: Using them, the loop equation can be rewritten as

396: \begin{equation}

397: \sum_{ij}\frac1\beta

398:  \Big\langle \frac{\partial}{\partial Y_{aij}}\int_0^\infty d\ell

399:  (e^{\ell X}Ge^{\ell X})_{ij}

400:  \Big\rangle =\langle \tr\, GY_a \rangle.

401: \label{le}

402: \end{equation}

403: In the following we will apply this central identity

404: to different $G$ and derive some relations among our correlators

405: $D_L^\parallel$ and $D_L^\perp$.

406: 

407: \subsubsection{Loop equations for $D_0$ and $D_1^\parallel$}

408: 

409: For later convenience, we begin by introducing the notation

410: \begin{equation}

411: H(y)=\frac{1}{y-\sum_{a=1}^k{Y^2_a}}\,.

412: \end{equation}

413: Let us first apply (\ref{le}) to $G=e^{\ell'X}HY_a$ with $a\le k$.

414: Using the well known large $N$ factorization

415: $\langle\tr A\,\tr B\rangle\simeq

416:  \langle\tr A\rangle\langle\tr B\rangle$

417: and dropping the terms containing odd powers of $Y_a$ in a correlator,

418: we find

419: \begin{equation}

420: \beta\langle\tr\, e^{\ell'X}HY_a^2\rangle \;=\;

421:  \int d\ell

422:  \langle\tr\, e^{(\ell+\ell')X}H\rangle

423:  \Big(

424:  \langle\tr\, e^{\ell X}Y_aHY_a \rangle

425: +\langle\tr\, e^{\ell X}\rangle

426:  \Big).

427: \label{le1}

428: \end{equation}

429: Another relation can be obtained by applying (\ref{le})

430: to $G=e^{\ell'X}Y_aH$:

431: \begin{equation}

432: \beta\langle\tr\, e^{\ell'X}Y_aHY_a\rangle\;=\; 

433: \int d\ell \left(

434:   \langle\tr\, e^{(\ell+\ell')X}Y_aHY_a\rangle

435:  +\langle\tr\, e^{(\ell+\ell')X}\rangle

436: \right)

437:  \langle\tr\, e^{\ell X}H\rangle.

438: \label{le2}

439: \end{equation}

440: Now we make a Laplace transform with respect to $\ell$ and $\ell'$,

441: using the relations

442: \begin{align}

443: \begin{split}

444: & \int_0^\infty d\ell e^{-\ell x}\tr(e^{\ell X}A) =

445:  \tr\Big(\frac{1}{x-X}A\Big)\,, \\

446: & \int_0^\infty d\ell d\ell'

447:   e^{-x\ell'}\tr(e^{(\ell+\ell')X}A)\tr(e^{\ell X}B) =

448:  \tr\Big(\frac{1}{x-X}A\Big)\ast\tr\Big(\frac{1}{x-X}B\Big)\,.

449: \end{split}

450: \end{align}

451: Here we denoted by $\ast$ the Laplace transform of the convolution

452: \begin{equation}

453: F(x)\ast G(x)=\oint \frac{dx'}{2\pi i}\frac{F(x')-F(x)}{x-x'}G(-x')\,,

454: \label{defstar}

455: \end{equation}

456: and the contour of $x'$ integration here encircles around the cut

457: where $F(x)$ has discontinuity.

458: The loop equations (\ref{le1}) and (\ref{le2}) can then be rewritten

459: into the form

460: \begin{align}

461: \begin{split}

462: & \Big\langle\tr\Big( HY_a^2\frac{1}{x-X}\Big)\Big\rangle =

463:   D_0(x,y)\ast\left(

464:   \Big\langle\tr\Big( Y_aHY_a\frac{1}{x-X}\Big)\Big\rangle

465:  +\beta W(x) \right)\,,\\

466: & \Big\langle\tr\Big( Y_aHY_a\frac{1}{x-X}\Big)\Big\rangle =

467:   \left(\Big\langle\tr\Big( Y_aHY_a\frac{1}{x-X}\Big)\Big\rangle

468:  +\beta W(x)\right) \ast D_0(x,y)\,.

469: \end{split}

470: \end{align}

471: It only remains to sum over $a$ from $1$ to $k$.

472: Using the definitions (\ref{defD0}) and (\ref{defDLOn})

473: for $D_0$ and $D_1^\parallel$ as well as the equality

474: \begin{equation}

475:  \frac1\beta\sum_{a=1}^k

476:  \Big\langle\tr\Big(HY_a^2\frac{1}{x-X}\Big)\Big\rangle~=~

477:  yD_0(x,y)-W(x),

478: \end{equation}

479: we obtain

480: \begin{align}

481: \begin{split}

482: & yD_0(x,y)-W(x) = D_0(x,y)\ast\left(D_1^\parallel(x,y)+kW(x)\right), \\

483: &  D_1^\parallel(x,y) = \left(kW(x)+D_1^\parallel(x,y)\right)\ast D_0(x,y).

484: \end{split}

485: \label{leOn}

486: \end{align}

487: 

488: To obtain more useful equations for $D_0$ and $D_1^\parallel$,

489: we subtract their non-critical parts and define

490: \begin{align}

491: \begin{split}

492: & d_0(x,y)=D_0(x,y)-1, \\

493: & kd_1(x,y)=D_1^\parallel(x,y)+kW(x)-y.

494: \end{split}

495: \label{defOn}

496: \end{align}

497: It is natural to assume that $d_0$ and $d_1$ have

498: the same cut in the $x$-plane as that of $W(x)$,

499: since the cut is determined by the eigenvalue distribution of $X$

500: and therefore does not depend on the correlators considered.

501: The loop equation (\ref{leOn}) can then be rewritten in terms of

502: the discontinuity along the cut,

503: \begin{align}

504: \begin{split}

505: &d_0(-x,y)\Disc\, d_1(x,y) + \Disc\, W(x)=0, \\

506: &d_1(-x,y)\Disc\, d_0(x,y) + \frac1k\Disc\, W(x)=0,

507: \end{split}

508: \label{leOn00}

509: \end{align}

510: where $\Disc f(x) \equiv f(x+i0)-f(x-i0)$.

511: Using this one can show that the following quantity has

512: no discontinuities and no poles in the complex $x$-plane,

513: \begin{equation}

514: P_{10}(x,y)=d_1(x,y)d_0(-x,y)+W(x)+\frac1kW(-x)-\frac yk .

515: \end{equation}

516: Moreover, its behaviour at large $x$ is found from (\ref{defOn}),

517: \begin{equation}

518:  d_0 = -1+{\cal O}\big(\frac1x\big), \qquad

519:  d_1 = -\frac yk+{\cal O}\big(\frac1x\big), \qquad

520:  P_{10} = {\cal O}\big(\frac1x\big).

521: \end{equation}

522: Therefore $P_{10}$ should be identically zero.

523: \begin{align}

524: \begin{split}

525: &d_1(x,y)d_0(-x,y)+ W(x)+\frac1k W(-x)-\frac yk =0,\\

526: &d_0(x,y)d_1(-x,y)+W(-x)+\frac1k W( x)-\frac yk =0.

527: \end{split}

528: \label{leOn0}

529: \end{align}

530: 

531: As compare to our loop equation (\ref{leOn00}),

532: the equation obtained in \cite{Kostov:2007jj} (equations 3.13 and 3.14)

533: has one additional term coresponding to the JS boundary

534: touching itself to break the disc into two pieces.

535: Including such a term may be reasonable from the standpoint

536: of the combinatorics because the JS boundary

537: has fractal dimension $1/g$. In the matrix model description, this

538: boundary has classical dimension one and the term is missing. This

539: discrepency comes from two different possibilities for defining the

540: boundary Liouville potential. Because of the symmetry 

541: $\Delta_{r,s}(g)=\Delta_{s,r}(1/g)$ between the dressed scaling dimensions,

542:  both point of view give the same scaling dimension for the boundary operators.

543: 

544: 

545: 

546: \subsubsection{Loop equations for $D_L^\perp$ and $D_L^\parallel$}

547: 

548: Let us next take $G=e^{\ell'X}Y_aH$ with $a>k$ and apply (\ref{le}).

549: Following the similar steps as in the previous subsubsection, we get

550: \begin{equation}

551:  D_1^\perp(x,y)=(n-k)W(x)\ast D_0(x,y).

552: \end{equation}

553: This is actually a special case of more general recursion relations

554: between $D_{L+1}^\perp$ and $D_L^\perp$, and similarly between

555: $D_{L+1}^\parallel$ and $D_L^\parallel$.

556: To derive them, let us denote by $\{a_i\}, \{b_i\}$ two arbitrary

557: sets of order $L+1$.

558: They are both chosen to be subsets of $\{1,\cdots,k\}$

559: or $\{k+1,\cdots,n\}$ depending on whether we are interested

560: in $D_L^\parallel$ ot $D_L^\perp$.

561: Then we apply the loop equation (\ref{le}) to

562: \begin{equation}

563: G\;=\;Y_{a_L}\cdots Y_{a_1}

564:  \frac{1}{y-\sum_{c=1}^k{Y_c^2}}Y_{b_1}\cdots Y_{b_{L+1}}e^{\ell'X},

565: \end{equation}

566: where the derivative is with respect to $Y_{a_{L+1}}$,

567: and sum over the sets $\{a_i\}$ and $\{b_i\}$.

568: The final result is

569: \begin{align}

570: \begin{split}

571: & D_{L+1}^\parallel(x,y) = (k-L)W(x)\ast D_L^\parallel(x,y), \\

572: & D_{L+1}^\perp(x,y) = (n-k-L)W(x)\ast D_L^\perp(x,y).

573: \end{split}

574: \label{leOnL}

575: \end{align}

576: These relations agree with the result of \cite{Kostov:2007jj}.

577: In terms of discontinuity along the cut, the loop equations become

578: \begin{align}

579: \begin{split}

580: &\Disc\, D_{L+1}^\parallel(x,y)=(k-L) D_L^\parallel(-x,y) \Disc\, W(x), \\

581: &\Disc\, D_{L+1}^\perp(x,y)=(n-k-L) D_L^\perp(-x,y) \Disc\, W(x).

582: \end{split}

583: \label{leOnL2}

584: \end{align}

585: The second equation can be extended to the case $L=0$ if one defines

586: \begin{equation}

587:  D_0^\perp(x,y)=D_0(x,y), \qquad

588:  D_0^\parallel(x,y)=\frac{D_0}{1-D_0}.

589: \end{equation}

590: It was pointed out in \cite{Kostov:2007jj} that these relations

591: follow naturally if the Neumann and JS boundaries are allowed to

592: touch in $D_0^\parallel$ but not allowed in $D_0^\perp$.

593: 

594: \subsection{Solution in the continuum limit}

595: 

596: \subsubsection{The disc amplitude $W$}

597: 

598: To study the continuum limit, we introduce a small parameter $\epsilon$

599: and set the unit lattice length to $\epsilon$.

600: We define the renormalized bulk and boundary cosmological constants

601: $(\mu,\xi,\zeta)$ by \cite{Kostov:1991cg}

602: \begin{equation}

603:  \epsilon^2\mu = \kappa-\kappa^*,\qquad

604:  \epsilon^{1/g}\xi = x-x^*, \qquad

605:  \epsilon\zeta = y-y^*.

606: \end{equation}

607: They blow up the neighbourhood of the critical point

608: $(\kappa^*,x^*, y^*)$ in the scaling limit $\epsilon\to 0$.

609: Note that the JS boundaries have classical dimension $1$

610: whereas the Neumann boundary has fractal dimension $1/g$.

611: The renormalized resolvent $w(\xi)$ is defined by

612: \begin{equation}

613: W(x)-\frac{2V'(x)-nV'(-x)}{4-n^2}=\epsilon w(\xi).

614: \label{renorW}

615: \end{equation}

616: In \cite{Kostov:1991cg} the resolvent was

617: obtained in the following parametric form,

618: \begin{equation}

619: \xi=M\cosh\tau, \qquad

620: w(\xi)=-\frac{M^g}{2g}\cosh g\tau.

621: \label{wxitau}

622: \end{equation}

623: Here $M$ is related to the cosmological constant $\mu$ and

624: the string susceptibility $u$ via

625: \begin{equation}

626:   M^{2g}=2g\mu,\qquad

627:   u=\frac{\partial^2 Z_\text{sphere}}{\partial\mu^2}=M^{2\theta}.

628: \label{Mmuu}

629: \end{equation}

630: As a function of $\xi$, the resolvent has a cut along the interval

631: $\,]\!-\!\infty,-M]$ where the eigenvalues of the matrix $X$ are distributed.

632: 

633: \subsubsection{The disc amplitudes $D_0^\perp$ and $D_1^\parallel$}

634: 

635: Here we wish to solve (\ref{leOn0}) in the continuum limit.

636: To begin with, we need to find the critical value $y^*$ of

637: the $k$-th JS boundary cosmological constant.

638: Since it should not depend on $x$ and $\kappa$,

639: one can determine it by requiring that $d_0$ and $d_1$ vanish at

640: the critical point $(x,y,\kappa)=(0,y^*,\kappa^*)$,

641: \begin{equation}

642: y^*=(k+1)W(0).

643: \label{yOn}

644: \end{equation}

645: With a slight abuse of notations, we define

646: the renormalized two-point functions by

647: \begin{equation}

648: d_i(x,y)=\epsilon^{\alpha_i/g}d_i(\xi,\zeta),

649: \end{equation}

650: where the scaling exponents $\alpha_0$, $\alpha_1$

651: will be determined shortly.

652: To the leading order in small $\epsilon$,

653: the loop equations (\ref{leOn0}) become

654: \begin{align}

655: \begin{split}

656: & d_1(\xi,\zeta)d_0(-\xi,\zeta)+w( \xi)+\frac1k w(-\xi)-\frac\zeta k = 0,\\

657: & d_0(\xi,\zeta)d_1(-\xi,\zeta)+w(-\xi)+\frac1k w( \xi)-\frac\zeta k = 0.

658: \end{split}

659: \label{leOnc}

660: \end{align}

661: We dropped several terms in (\ref{leOn0}) such as polynomial terms

662: in $W(x)$ because they are subdominant for small $\epsilon$.

663: By noticing $d_i\sim \xi^{\alpha_i}$ for $\zeta=\mu=0$ and

664: using the loop equations, one can determine the scaling exponents

665: \cite{Kostov:2007jj},

666: \begin{equation}

667:  \alpha_0=r\theta, \qquad

668:  \alpha_1=1-\theta-r\theta,

669: \label{a0a1}

670: \end{equation}

671: where $r$ is related to $k$ by

672: \begin{equation}

673: k(r)=\frac{\sin{(r+1)\pi\theta}}{\sin{r\pi\theta}}.

674: \label{defk}

675: \end{equation}

676: Hereafter we use $r$ as the label of JS boundaries;

677: it has a clear physical meaning as we will see later.

678: We also express $\zeta$ in terms of a new parameter $\sigma$ as

679: \begin{equation}

680: \zeta(\sigma)=

681: \frac{M^g}{2g}\frac{\sin\pi\theta}{\sin\pi r\theta}\cosh g\sigma.

682: \label{zetas}

683: \end{equation}

684: 

685: Using (\ref{wxitau}), (\ref{defk}) and (\ref{zetas})

686: the loop equations can be rewritten as

687: \begin{equation}

688:    d_1\big(\tau\mp\frac{i\pi}2,\sigma\big)

689:    d_0\big(\tau\pm\frac{i\pi}2,\sigma\big)

690:   = CM^g\cosh\frac{g(\tau+\sigma)\pm\alpha}{2}

691:         \cosh\frac{g(\tau-\sigma)\pm\alpha}{2},

692: \label{d0d1le}

693: \end{equation}

694: where

695: \begin{equation}

696: C=\frac{\sin\pi\theta}{g\sin\pi(r+1)\theta},\qquad

697: \alpha =\frac{i\pi}{2}(2r\theta+\theta-1).

698: \end{equation}

699: We solve these shift relations in Appendix \ref{sec:sol}

700: using a slight generalization of \cite{Kazakov:1991pt}.

701: The result is that $d_0, d_1$ are given by the Liouville boundary

702: two-point function \cite{Fateev:2000ik}.

703: See Appendix \ref{sec:kpz} for its explicit form.

704: The scaling exponents of the correlators $d_i\propto\xi^{\alpha_i}$

705: are then read from their dependence on the boundary cosmological constant,

706: and agree precisely with (\ref{a0a1}).

707: This is enough to determine the gravitational dimensions of

708: the boundary changing operators in the correlators $d_0$ and $d_1$,

709: \begin{equation}

710:  \Delta_0^\perp=\Delta_{r,r}, \qquad

711:  \Delta_1^\parallel=\Delta_{-r,-r-1},

712: \end{equation}

713: where the gravitational dimension for the $(r,s)$ operator

714: is given by

715: \begin{equation}

716:  \Delta_{r,s}=\frac{r-1-g(s-1)}{2g},

717: \end{equation}

718: and is related to the conformal weight of the operators in CFT by

719: KPZ relation (\ref{EquKPZ}).

720: See Appendix \ref{sec:kpz} for more detail.

721: 

722: \subsubsection{The disc amplitudes $D_L^\perp$ and $D_L^\parallel$}

723: 

724: Using the parameters $(\tau,\sigma)$ in the continuum limit and

725: the equality

726: \begin{equation}

727: w(\tau+i\pi)-w(\tau-i\pi)= \frac{M^g}{ig}\sin\pi\theta\sinh g\tau,

728: \end{equation}

729: the loop equations (\ref{leOnL2}) can be rewritten into the form

730: \begin{align}

731: \begin{split}

732: & D_{L+1}^\parallel(\tau+i\pi,\sigma)

733:  -D_{L+1}^\parallel(\tau-i\pi,\sigma)

734:  =\frac{(k-L)M^g}{ig}\sin\pi\theta\sinh g\tau

735:   D_L^\parallel(\tau,\sigma),\\

736: & D_{L+1}^\perp(\tau+i\pi,\sigma)

737:  -D_{L+1}^\perp(\tau-i\pi,\sigma)

738:  =\frac{(n-k-L)M^g}{ig}\sin\pi\theta\sinh g\tau D_L^\perp(\tau,\sigma).

739: \end{split}

740: \end{align}

741: These shift relations take the same form as (\ref{shiftFZZ})

742: satisfied by the Liouville boundary two-point function.

743: So, in the continuum limit the correlators $D_L^\parallel$ and

744: $D_L^\perp$ are again given by Liouville boundary two-point functions

745: up to factors independent of $\tau,\sigma$.

746: The gravitational dimensions of the $L$-legs boundary operators

747: are given by

748: \begin{equation}

749:  \Delta_L^\parallel=\Delta_{-r,-r-L}, \qquad

750:  \Delta_L^\perp=\Delta_{r,r-L}.

751: \end{equation}

752: Through KPZ relation (\ref{EquKPZ}) this determines

753: the conformal weight of the blobbed and unblobbed operators.

754: The results are in complete agreement with \cite{Jacobsen:2006bn}

755: and confirm our identification of matrix model correlators

756: with those of the $O(n)$ model coupled to gravity.

757: 

758: As was noticed in \cite{Jacobsen:2006bn}, there is no reason

759: for the parameter $r$ to be quantized in the $O(n)$ model.

760: So we have a continuous spectrum of JS boundary conditions

761: and the associated boundary-changing operators.

762: We conclude this section with a few remarks on some special values of $r$.

763: First, for $k=n$ or $r=1$ the JS boundary becomes the Neumann boundary.

764: In this case the conformal weights of the boundary operators become

765: $\delta_L^\perp=\delta_{1,L+1}$ and $\delta_L^\parallel=\delta_{1,L+1}$,

766: in agreement with the result \cite{Saleur:1987rn} on flat lattice

767: and \cite{Kazakov:1991pt} on dynamical lattice.

768: Another interesting special case is the Dirichlet case,

769: which corresponds to $k=1$ or

770: \begin{equation}

771: r=\frac{1-\theta}{2\theta}.

772: \end{equation}

773: In this limit, using the fact that the correlators of odd powers

774: of $Y_a$ matrices vanish, one can prove the relations

775: \begin{align}

776: \begin{split}

777: & D_0^\perp(x,y)

778:  =\Big\langle\tr\frac{1}{x-X}\frac{1}{y-Y_a^2}\Big\rangle

779:  =\frac1{\sqrt y}

780:   \Big\langle\tr\frac{1}{x-X}\frac{1}{\sqrt y-Y_a}\Big\rangle,\\

781: & D_1^\parallel(x,y)

782:  =yD_0^\perp(x,y)-W(x)

783:  =\sqrt y\Big\langle\tr\frac{1}{x-X}\frac{1}{\sqrt{y}-Y_a}\Big\rangle-W(x).

784: \end{split}

785: \end{align}

786: The loop equation for $k=1$ then involves only one undetermined quantity,

787: \begin{equation}

788: yd_0(x,y)d_0(-x,y)+W(x)+W(-x)-y=0.

789: \end{equation}

790: We recovered the loop equation for the correlation functions

791: of twist operators in loop gas model \cite{Kazakov:1991pt}

792: up to normalization of correlators and parameters.

793: Note that this simplification is a special feature of $k=1$

794: because the resolvents for the JS boundaries with $k>1$ involve

795: $k$ non-commuting matrices $Y_a$.

796: 

797: 

798: 

799: \section{Boundary operators in RSOS model}\label{sec:sos}

800: 

801: \subsection{Definition of the model}

802: 

803: In the RSOS height model \cite{Andrews:1984af},

804: the local fluctuation variable (height) takes values

805: in the integer set $\{1,\cdots,h-1\}$.

806: This model is also called $A_{h-1}$-model,

807: the integer set being identified with the nodes

808: of the Dynkin graph for the $A$ series.

809: This graph is characterized by its adjacency matrix

810: \begin{equation}

811: G_{ab}=\begin{cases}

812: 1& \text{if}~ a\sim b\,,  \cr

813: 0& \text{otherwise}.    

814: \end{cases}

815: \end{equation}

816: The indices $a,b$ run over the nodes of the Dynkin graph,

817: and $a\sim b$ means that the nodes $a,b$ are linked.

818: One can define the so called ADE-models in the same way from

819: the Dynkin graphs of the ADE Lie algebras \cite{Pasquier:1986jc}.

820: 

821: The RSOS model on a fixed triangular lattice with possible

822: curvature defects is defined as the statistical sum over all

823: the height configurations.

824: Each height configuration is weighted according to

825: the following rule \cite{Kostov:1995xw}.

826: To each site of height $a$ one assigns the local Boltzmann weight

827: \begin{equation}

828:  W_\circ(a)=S_a,

829: \label{wsite}

830: \end{equation}

831: and to each triangle with the heights $a,b,c$ at the three vertices

832: one assigns

833: \begin{equation}

834:  W_\Delta(a,b,c)=\frac{1}{\sqrt{S_a}}\delta_{ab}\delta_{bc}+

835:   \frac{1}{T\sqrt{S_a}}\Big(

836:       \delta_{ab}G_{bc}+\delta_{bc}G_{ca}+\delta_{ca}G_{ab}\Big).

837: \label{wtrig}

838: \end{equation}

839: Here $T$ is the temperature, and $S_a$ are the components of

840: the Perron-Frobenius vector

841: \begin{equation}

842: S_a=\sqrt{\frac2h}\sin{\left(\frac{\pi a}{h}\right)},

843: \label{eIiv}

844: \end{equation}

845: which is the eigenvector of the adjacency matrix

846: with the largest eigenvalue $2\cos{(\pi/h)}$.

847: The weight (\ref{wtrig}) in particular requires that

848: the heights of any two adjacent sites can differ at most by a unit.

849: Thanks to this, the height configurations can also be described

850: by the contour lines (loops) along the edges of the dual lattice

851: \cite{Nienhuis:1984wm}.

852: The average total length of the loop is

853: then controlled by the temperature.

854: 

855: The phase diagram of the RSOS model is

856: the same as that for the $O(n)$ model;

857: it is in the dilute phase at some critical temperature $T^*$,

858: and in the dense phase at lower temperatures.

859: Since the lattice is filled by the loops in the dense phase,

860: one can study this phase using the Boltzmann weight (\ref{wtrig})

861: without the first term.

862: 

863: Conformal boundary conditions are realized microscopically

864: as suitable restrictions on the heights on the boundary.

865: In the dense phase there are two kinds of boundary conditions.

866: The ``fixed'' boundary condition $a$ requires the boundary

867: to take the constant height $a$.

868: The ``alternating'' boundary conditions $\link{ab}$ require

869: the sites at the boundary to take the two adjacent heights

870: $a$ and $b$ alternately, like $ababab...ab$.

871: Bauer and Saleur \cite{Saleur:1988zx} studied both types of boundary conditions

872: on the flat lattice, and found that conformal weights of

873: the boundary changing operators ${}^1\!B{}^a$ and

874: ${}^{\link{12}}\!B{}^{\link{ab}}$ are given by $\delta_{1,a}$

875: and $\delta_{a,1}$.

876: In the following we will show that the boundary operators of

877: conformal weight $\delta_{r,s}$ can be realized as

878: ${}^s\!B{}^{\link{r\,r+1}}$ when $r\ge s$ and

879: ${}^s\!B{}^{\link{r+1\,r}}$ when $r<s$.

880: 

881: \subsection{The RSOS matrix model}

882: 

883: The RSOS matrix models \cite{Kostov:1992ie} are the simplest examples

884: of the $ADE$-matrix models.

885: The fluctuating variables are $h-1$ hermitian matrices $X_a$

886: associated to the nodes $a=1,\cdots,h-1$,

887: and $h-2$ rectangular complex matrices $C_{ab} =C^\dagger_{ba}$

888: associated with the oriented links $\link{ab}$.

889: $X_a$ has the size $N_a\times N_a$ while $C_{ab}$ has the size

890: $N_a\times N_b$.

891: The partition function is given by the integral

892: \begin{align}

893: \begin{split}

894: & Z=\int\prod_adX_a\prod_{\link{ab}}dC_{ab}

895:   \exp\big(-\beta S[X,C]\big), \\

896: & S[X,C]=\sum_a S_a\tr\left(\frac12X_a^2-\frac13X_a^3\right)

897:         +\sum_{\link{ab}}\tr\left(\frac T2 C_{ab}C_{ba}

898:                      -X_aC_{ab}C_{ba}\right),

899: \end{split}

900: \end{align}

901: where $\link{ab}$ runs over oriented links of the Dynkin graph.

902: 

903: We take the limit of large $\beta$, large $N_a$ keeping their

904: ratio fixed,

905: \begin{equation}

906:  \frac{N_a}{\beta S_a}\equiv\kappa^2= \text{fixed}.

907: \label{defb}

908: \end{equation}

909: The constant $\kappa$ plays the role of the bare cosmological constant.

910: Perturbative expansion of $Z$ gives the sum

911: over height configurations with Boltzmann weights

912: (\ref{wsite}) and (\ref{wtrig}), but now on dynamical lattice.

913: The planar graphs dominate the partition function

914: in the large $\beta$ limit, and the higher genus terms are

915: suppressed by powers of $\beta^{-2}$.

916: 

917: One can view the system as the gas of loops on dynamical lattice

918: which are formed by the propagators of $C_{ab}, C_{ba}$

919: and separating the domains of heights $a$ and $b$.

920: The temperature $T$ is regarded as the fugacity for the total loop length.

921: Again, the term $X_a^3$ in $S[X,C]$ can be dropped when one is interested

922: in the dense phase.

923: 

924: Also, the Feynman rule is such that each connected domain

925: of height $a$ gives rise to a factor

926: \begin{equation}

927:  (S_a)^\chi,

928: \label{flSOS}

929: \end{equation}

930: where $\chi$ is the Euler number of that domain.

931: For disc graphs, this rule amounts to assigning the factor

932: $S_a$ to each ``outermost'' domain of height $a$ touching the boundary, and

933: $S_a/S_b$ to each domain of height $a$ surrounded by that of height $b$.

934: 

935: Before proceeding, we make a certain linear change of matrix variables

936: to rewrite the partition function as

937: \begin{equation}

938:  Z = \int\prod_a dX_a\prod_{\link{ab}}dC_{ab}

939:    \exp\Big(-\beta\sum_aS_a\tr V(X_a)

940:   +\beta\sum_{\link{ab}}X_aC_{ab}C_{ba}\Big),

941: \end{equation}

942: where the potential $V(x)$ is the same as the one (\ref{defpot})

943: for the $O(n)$ model.

944: As was mentioned above, generic quadratic $V$ can describe the

945: physics in the dense phase.

946: 

947: We will consider the following correlators

948: \begin{align}

949: \begin{split}

950: &\Phi_a(x)=-\frac1\beta\big\langle\tr\log(x-X_a)\big\rangle, \\

951: &\Phi_{\link{ab}}(y)=-\frac1\beta\big\langle\tr\log(y-C_{ab}C_{ba})\big\rangle.

952: \end{split}

953: \end{align}

954: They correspond respectively to the disc partition function with

955: the boundary conditions $a$ or $\link{ab}$.

956: The more important quantities in the following analysis are

957: their derivatives, the loop amplitudes

958: \begin{align}

959: \begin{split}

960: & W_a(x)  = -\frac{\partial}{\partial x}\Phi_a(x)

961:           =\frac1\beta\Big\langle\tr\,\frac{1}{x-X_a}\Big\rangle\,,\\

962: & W_{\link{ab}}(y) = -\frac{\partial}{\partial y}\Phi_{\link{ab}}(y)

963:           =\frac1\beta\Big\langle\tr\,\frac{1}{y-C_{ab}C_{ba}}\Big\rangle\,.

964: \end{split}

965: \label{defWa}

966: \end{align}

967: The loop amplitudes $W_a(x)$ are the Laplace images of the loop

968: amplitudes with fixed boundary length,

969: \begin{equation}

970:  \tilde W_a(\ell) = \frac1\beta\big\langle\tr\, e^{\ell X_a}\big\rangle\, .

971: \label{defWl}

972: \end{equation}

973: To study the spectrum of boundary operators, we also consider

974: the disc two-point functions with $a$ and $\link{bc}$ boundary

975: segments,

976: \begin{equation}

977:  D_{a,\link{bc}}(x,y)=\frac1\beta\Big\langle\tr\Big(

978:  \frac{1}{x-X_a}{\bf S}^L_{ab}\frac{1}{y-C_{bc}C_{cb}}{\bf S}^L_{ba}

979:  \Big)\Big\rangle\,.

980: \label{DefDL}

981: \end{equation}

982: Here 

983: \begin{equation}

984:  {\bf S}^L_{ab} \equiv C_{a d_1}C_{d_1d_2}\cdots C_{d_{L-1} b}

985: \end{equation}

986: is the product of $C$'s along the shortest path from $a$ to $b$,

987: so that each height $d_i$ appears only once.

988: We also assume that the path does not contain the node $c$.

989: There are $L$ open contour lines stretching between

990: the two boundary changing operators ${\bf S}^L_{ab}$.

991: Their Laplace transform,

992: \begin{equation}

993: \tilde D_{a,\link{bc}}(\ell,y)

994: =\frac1\beta \Big\langle\tr\Big( e^{\ell X_a}

995:  {\bf S}^L_{ab}\,\frac{1}{y-C_{bc}C_{cb}}{\bf S}^L_{ba}\Big)\Big\rangle\,,

996: \label{Dabcl}

997: \end{equation}

998: will also appear in the derivation of the loop equation.

999: 

1000: \subsection{Loop equations}

1001: 

1002: Here we derive some loop equations for disc correlators by

1003: using the same technique that was used in the $O(n)$ model.

1004: Let us start from

1005: \begin{equation}

1006:  \frac1\beta\Big\langle

1007:  \frac{\partial F_{ij}}{\partial C_{ab\;ij}}\Big\rangle

1008:  =-\big\langle\tr\, F(C_{ba}X_a+X_bC_{ba})\big\rangle\,,

1009: \end{equation}

1010: where $F$ is a $N_a\times N_b$ matrix made of $X$ and $C$ matrices.

1011: By inserting

1012: \begin{equation}

1013: F=\int_0^\infty{d\ell e^{\ell X_a}Ge^{\ell X_b}},

1014: \end{equation}

1015: we obtain the following equation

1016: \begin{equation}

1017:  \sum_{ij}\frac1\beta

1018:  \Big\langle\frac{\partial}{\partial C_{ab\;ij}}

1019:  \int_0^\infty dl\big(e^{\ell X_a}G e^{\ell X_b}\big)_{ij}\Big\rangle

1020:  = \big\langle\tr\, C_{ba}G \big\rangle\,.

1021: \label{Rle}

1022: \end{equation}

1023: 

1024: \subsubsection{Recursion relation for $D_{a,\link{bc}}$}

1025: 

1026: To begin with, we derive a loop equation involving $D_{a,\link{bc}}$

1027: assuming $a\ne b$ and that $c$ is not on the shortest path connecting

1028: $a$ and $b$.

1029: Let $d$ be the node adjacent to $a$ along that shortest path,

1030: so that ${\bf S}^L_{ab}=C_{ad}{\bf S}^{L-1}_{db}$ and

1031: ${\bf S}^L_{ba}={\bf S}^{L-1}_{bd}C_{da}$.

1032: Applying (\ref{Rle}) to

1033: \begin{equation}

1034: G=e^{\ell'X_a}C_{ad}\,{\bf S}^{L-1}_{db}\frac{1}{y-C_{bc}C_{cb}}

1035:                     {\bf S}^{L-1}_{bd}\,,

1036: \end{equation}

1037: gives the following recursion relation

1038: \begin{equation}

1039:  \tilde D_{a,\link{bc}}(\ell',y)

1040:  =\int_0^\infty d\ell\,\tilde W_a(\ell+\ell')

1041:   \tilde D_{d,\link{bc}}(\ell,y)\,.

1042: \end{equation}

1043: Its Laplace image reads

1044: \begin{equation}

1045:  D_{a,\link{bc}}(x,y) = W_a(x)\ast D_{d,\link{bc}}(x,y),

1046: \label{recIntz}

1047: \end{equation}

1048: with the $\ast$ product defined in (\ref{defstar}).

1049: In this derivation, it is important that $C_{ad}$ appears only once.

1050: The relation (\ref{recIntz}) can also be obtained by an explicit

1051: integration over the $C_{ad}$ matrix using the Gaussian measure.

1052: From the viewpoint of height configuration, this can be understood

1053: as cutting the disc into two pieces along the contour line

1054: that stretches between the two boundary operators

1055: and separates the domains of height $a$ and $d$.

1056: See Figure \ref{fig:sos1}.

1057: \FIG{figure1.eps}

1058:     {The disc graph contributing to $D_{a,\link{bc}}$ can be decomposed into

1059:      two discs along the contour line separating the domains of height

1060:      $a$ and $d$ and connecting the two boundary operators.

1061:      $D_{a,\link{bc}}$ is therefore written as a $\ast$-product of

1062:      $W_a$ and $D_{d,\link{bc}}$.

1063:     }{fig:sos1}

1064: This recursion relation allows us to express all the disc correlators

1065: $D_{a,\link{bc}}$ in terms of the $2h-2$ basic correlators

1066: $D_{a,\link{a\,a\pm1}}$.

1067: 

1068: 

1069: \subsubsection{Bilinear functional equation for $D_{a,\link{ab}}$}

1070: 

1071: Let us next apply (\ref{Rle}) to

1072: \begin{equation}

1073: G=e^{\ell'X_a}\frac{1}{y-C_{ab}C_{ba}}C_{ab}\,.

1074: \end{equation}

1075: Following the similar steps as before we obtain the loop equation

1076: \begin{equation}

1077:  y\int_0^\infty d\ell \tilde D_{a,\link{ab}}(\ell+\ell',y)

1078:  \tilde D_{b,\link{ba}}(\ell,y) =

1079:  y\tilde D_{a,\link{ab}}(\ell',y)-\tilde W_a(\ell').

1080: \end{equation}

1081: After the Laplace transform with respect to $\ell$,

1082: it becomes

1083: \begin{equation}

1084:  D_{a,\link{ab}}(x,y)=\frac1y W_a(x)

1085: +D_{a,\link{ab}}(x,y)\ast D_{b,\link{ba}}(x,y).

1086: \label{Rleb}

1087: \end{equation}

1088: This relation can also be understood from the viewpoint of the

1089: height configurations.

1090: Recall first of all that the $\link{ab}$ boundary emanates

1091: contour lines separating the heights $a$ and $b$.

1092: Let us then think of a graph participating in $D_{a,\link{ab}}$,

1093: and cut it along the contour line whose endpoint is

1094: the closest to the right end of the $\link{ab}$ boundary.

1095: There may be no such contour line because the $\link{ab}$

1096: boundary may have zero length; in such a case the graph has

1097: constant boundary height $a$ and contributes to $W_a(x)$.

1098: Otherwise the graph can be decomposed into two pieces contributing

1099: respectively to $D_{a,\link{ab}}$ and $D_{b,\link{ba}}$.

1100: See Figure \ref{fig:sos2}.

1101: \FIG{figure2.eps}

1102:     {There are two types of graphs contributing to $D_{a,\link{ab}}$.

1103:      The graph may have $\link{ab}$ boundary of length zero so that the

1104:      whole boundary has height $a$.

1105:      If $\link{ab}$ boundary has nonzero length, one can cut it into two

1106:      pieces contributing to $D_{a,\link{ab}}$ and $D_{b,\link{ba}}$,

1107:      respectively.

1108:     }{fig:sos2}

1109: These two possibilities correspond to the two terms in the RHS of

1110: (\ref{Rleb}).

1111: 

1112: The disc correlators $D_{a,\link{ab}}$ and $D_{b,\link{ba}}$

1113: satisfy two relations, namely (\ref{Rleb}) and another equation

1114: obtained by exchanging $a$ and $b$.

1115: To get the more useful equation we take the discontinuity of

1116: these equations along the cut in the $x$-plane,

1117: \begin{align}

1118: \begin{split}

1119:  \Disc D_{a,\link{ab}}(x,y)=

1120:  \frac1y\Disc W_a(x)+D_{b,\link{ba}}(-x,y)\Disc D_{a,\link{ab}}(x,y),\\

1121:  \Disc D_{b,\link{ba}}(x,y)=

1122:  \frac1y\Disc W_b(x)+D_{a,\link{ab}}(-x,y)\Disc D_{b,\link{ba}}(x,y).

1123: \end{split}

1124: \end{align}

1125: Using these and taking into account the large-$x$ asymptotics

1126: of $W_a$ and $D_{a,\link{ab}}$, we find

1127: \begin{align}

1128: &  yD_{a,\link{ab}}(x,y)D_{b,\link{ba}}(-x,y)  \nonumber \\

1129: & -yD_{a,\link{ab}}(x,y)-yD_{b,\link{ba}}(-x,y)

1130:   +W_a(x)+W_b(-x) ~=~ 0.

1131: \label{leRSOS}

1132: \end{align}

1133: By introducing

1134: \begin{equation}

1135: d_{a,\link{ab}}(x,y)=\sqrt{y}\big(D_{a,\link{ab}}(x,y)-1\big)

1136: \end{equation}

1137: we can rewrite the equation (\ref{leRSOS}) into a simpler form,

1138: \begin{equation}

1139: d_{a,\link{ab}}(x,y)d_{b,\link{ba}}(-x,y)+W_a(x)+W_b(-x)=y.

1140: \label{renorleRSOS}

1141: \end{equation}

1142: Here the normalization of $d_{a,\link{ab}}$ is somewhat arbitrary,

1143: and we chose the symmetric normalization for simplicity.

1144: 

1145: \subsection{Solution in the continuum limit}

1146: 

1147: To study the continuum limit, we introduce a small parameter

1148: $\epsilon$ and the renormalized couplings $(\mu,\xi,\zeta)$

1149: in the same way as we did for the $O(n)$ model,

1150: \begin{equation}

1151:  \epsilon^2\mu = \kappa-\kappa^*,\qquad

1152:  \epsilon^{1/g}\xi = x-x^*, \qquad

1153:  \epsilon \zeta = y-y^*.

1154: \end{equation}

1155: In \cite{Kostov:1991cg,Kostov:1989eg} the loop equations for $W_a(x)$

1156: has been solved under the natural ansatz,

1157: \begin{equation}

1158: W_a(x) = S_aW(x).

1159: \label{waw}

1160: \end{equation}

1161: $W(x)$ was then shown to satisfy the loop equation

1162: (\ref{OnRes}) for the resolvent of the $O(n)$ matrix model

1163: with $n=2\cos(\pi/h)$.

1164: So we borrow the solution from the $O(n)$ model

1165: under the identification

1166: \begin{equation}

1167:   \theta=1-g=\frac 1h.

1168: \end{equation}

1169: We define the renormalized resolvent $w(\xi)$ in the same way

1170: as in (\ref{renorW}).

1171: The solution in the continuum limit is given by

1172: \begin{equation}

1173: \xi=M\cosh\tau, \qquad

1174: w(\xi)=-\frac{M^g}{2g}\cosh g\tau.

1175: \label{xiwtau2}

1176: \end{equation}

1177: Again, $M$ is related to $\mu$ via (\ref{Mmuu}).

1178: 

1179: Now let us solve the loop equation (\ref{renorleRSOS}) for

1180: the correlators $d_{a,\link{ab}}$.

1181: First we need to determine the critical value

1182: of the $\link{ab}$-boundary cosmological constant $y^\ast$.

1183: We require that $d_{a,\link{ab}}$ and $d_{b,\link{ba}}$ vanish

1184: at the critical point $(\kappa^*,x^*,y^*)$ and find

1185: \begin{equation}

1186: y^*=W_a(0)+W_b(0)=(S_a+S_b)W(0).

1187: \label{yRSOS}

1188: \end{equation}

1189: Next we renormalize the disc correlators near the critical point as

1190: \begin{align}

1191: \begin{split}

1192: & d_{a,\link{ab}}(x,y)=\epsilon^{\alpha_{a,\link{ab}}/g}

1193:   d_{a,\link{ab}}(\xi,\zeta), \\

1194: & \alpha_{a,\link{ab}}+\alpha_{b,\link{ba}}=g=1-\frac1h\,.

1195: \end{split}

1196: \end{align}

1197: The loop equation in the limit of small $\epsilon$ is

1198: \begin{equation}

1199:  d_{a,\link{ab}}(\xi,\zeta)

1200:  d_{b,\link{ba}}(-\xi,\zeta)+S_aw(\xi)+S_bw(-\xi)=\zeta.

1201: \label{renorleRSOS2}

1202: \end{equation}

1203: By substituting (\ref{xiwtau2}) and

1204: \begin{equation}

1205: \zeta=\frac{M^gS_1}{2g}\cosh{g\sigma}

1206: \end{equation}

1207: into (\ref{renorleRSOS2}), the loop equation finally becomes

1208: \begin{align}

1209: \begin{split}

1210: & d_{a,\link{ab}}\big(\tau-i\pi/2,\sigma\big)

1211:   d_{b,\link{ba}}\big(\tau+i\pi/2,\sigma\big)

1212:  \\ &

1213:  =\frac{M^gS_1}{g}

1214:         \cosh\Big(\frac{g(\tau+\sigma)+\alpha_{ab}}{2}\Big)

1215:         \cosh\Big(\frac{g(\tau-\sigma)+\alpha_{ab}}{2}\Big),

1216: \end{split}

1217: \end{align}

1218: where $\alpha_{ab}$ for $b=a\pm1$ is given by

1219: \begin{equation}

1220: \alpha_{ab}=\pm\frac{i\pi}{2}\left(1-\frac{a+b}{h}\right)=-\alpha_{ba}.

1221: \end{equation}

1222: 

1223: The above equation has the same structure as (\ref{d0d1le}),

1224: so the solution is given in terms of the Liouville boundary

1225: two-point functions.

1226: We can now use the formulae in Appendix \ref{sec:kpz} and \ref{sec:sol}

1227: and determine the gravitational dimensions of the boundary

1228: changing operators

1229: \begin{alignat}{3}

1230:  \Delta_{a,\link{ab}}&=\Delta_{a,a},   \quad

1231: &\Delta_{b,\link{ba}}&=\Delta_{1-b,-b} \quad

1232: &\text{when }b=a+1, \nonumber \\

1233:  \Delta_{a,\link{ab}}&=\Delta_{1-a,-a},\quad 

1234: &\Delta_{b,\link{ba}}&=\Delta_{b,b}    \quad

1235: &\text{when }b=a-1.

1236: \end{alignat}

1237: This implies that the boundary operators ${}^a\!B{}^{\link{a\,a+1}}$

1238: and ${}^a\!B{}^{\link{a\,a-1}}$ in RSOS model have conformal weights

1239: $\delta_{a,a}$ and $\delta_{a-1,a}$, in full agreement

1240: with the result of Saleur and Bauer.

1241: 

1242: From the comparison of the loop equation (\ref{recIntz})

1243: with (\ref{shiftFZZ}), it follows that the correlators $d_{a,\link{bc}}$

1244: are all given by Liouville boundary two-point functions.

1245: The operators ${}^{a-L}\!B{}^{\link{a\,a+1}}$ and

1246: ${}^{a+L}\!B{}^{\link{a\,a-1}}$ are then shown to have

1247: conformal weights $\delta_{a,a+L}$ and $\delta_{a-1,a+L}$,

1248: respectively.

1249: By varying the integer parameters $a$ and $L$,

1250: the whole spectrum of boundary operators for this rational CFT

1251: is recovered.

1252: This result proves the conjecture of \cite{Saleur:1988zx}

1253: on the scaling dimensions of boundary changing operators

1254: in the RSOS model.

1255: 

1256: \section{The map between the two models}\label{sec:map}

1257: 

1258: It has been known for a long time that the $O(n)$ model and SOS models

1259: are described by the same class of conformal field theories.

1260: In particular, the RSOS model with $h-1$ nodes was known to have

1261: the same partition function on the plane as the rational $O(n)$ model

1262: with $n=2\cos(\pi/h)$.

1263: Here we wish to explore this correspondence further, focusing

1264: mainly on the theories on the disc.

1265: 

1266: As was used in the previous section, the $O(n)$ model on the disc

1267: with Neumann boundary condition is equivalent to the RSOS model

1268: with fixed-height boundary condition.

1269: The disc partition functions are related via

1270: \begin{equation}

1271: W_a(x_\text{RSOS})=S_aW(x_\text{O(n)}).

1272: \label{waw2}

1273: \end{equation}

1274: In \cite{Jacobsen:2006bn} it was shown that the $\link{ab}$-type boundaries

1275: of RSOS model correspond to the JS boundaries of the $O(n)$ model

1276: labeled by integer $r$.

1277: The annulus partition functions of the $O(n)$ model with

1278: Neumann-JS boundary conditions were shown to agree with those

1279: of RSOS model with $a$-$\link{bc}$ boundary conditions.

1280: It was also noticed there that one needs to introduce

1281: $L$ non-contractible loops on the annulus of the $O(n)$ model,

1282: corresponding to the distance between $a$

1283: and $\link{bc}$ labelling the two boundaries

1284: of the RSOS model.

1285: 

1286: Following their idea, we wish to relate the disc correlators of

1287: the two models on dynamical lattice.

1288: More explicitly, we will find out the relation between

1289: $D_L^\parallel$, $D_L^\perp$ of the $O(n)$ model and

1290: $D_{a+L,\link{a\,a-1}}$, $D_{a-L,\link{a\,a+1}}$ of the RSOS model.

1291: Our derivation of the relation is based on the loop equations

1292: and the diagrammatics of the matrix models,

1293: and does not rely on the continuum limit.

1294: 

1295: The first step is to relate the boundary cosmological constants.

1296: From the relation (\ref{waw2}) we simply relate the $x$'s by

1297: \begin{equation}

1298: x_\text{RSOS}=x_\text{O(n)}

1299: \end{equation}

1300: for Neumann boundary of the $O(n)$ model and the fixed height

1301: boundary in RSOS model.

1302: Similarly, it follows from (\ref{yOn}) and (\ref{yRSOS}) that

1303: the $y$'s for the $r$-th JS boundary and the $\link{ab}$ boundary

1304: should be related via

1305: \begin{align}

1306: \begin{split}

1307: y_\text{O(n)}&=\frac{y_\text{RSOS}}{S_a}

1308: \quad\big(\link{a,b}=\link{r,r+1}~~\text{or}~~\link{h-r,h-r-1}\big),\\

1309: y_\text{O(n)}&=\frac{y_\text{RSOS}}{S_b}

1310: \quad\big(\link{a,b}=\link{r+1,r}~~\text{or}~~\link{h-r-1,h-r}\big).

1311: \end{split}

1312: \label{yy}

1313: \end{align}

1314: 

1315: \subsection{Relations between Feynman graphs}

1316: 

1317: Instead of finding the correspondence of disc correlators quickly from

1318: loop equations, let us explain how the correlators of the two

1319: matrix models should be related from the viewpoint of Feynman

1320: graph expansion.

1321: 

1322: The underlying idea is very simple.

1323: Each Feynman graph of the RSOS matrix model describes a dynamical

1324: lattice with a height assigned to every face, so that one can

1325: draw contour lines separating the domains of adjacent heights.

1326: If we focus only on the contour lines and forget about the heights,

1327: then what we get is nothing but the Feynman graph of

1328: the $O(n)$ matrix model.

1329: We thus compare each Feynman graph of the $O(n)$ matrix model

1330: with the sum over all the Feynman graphs of the RSOS model

1331: having the same contour line configuration but different height assignments.

1332: 

1333: \subsubsection{Resolvents}

1334: 

1335: To begin with, let us consider the relation between the resolvents

1336: of the RSOS and the $O(n)$ matrix models,

1337: \begin{equation}

1338:  W_a(x)= S_aW(x).

1339: \label{waw3}

1340: \end{equation}

1341: Each graph contributing to $W_a(x)$ has the unique

1342: outermost domain of height $a$, and is inscribed by

1343: several subdomains of height $a\pm1$.

1344: Each subdomain may be inscribed by several subdomains

1345: of adjacent heights, and by iterating this a finite number of times

1346: one can cover the entire disc.

1347: Now let us sum over all the height assignments in the interior.

1348: Using the rule explained after (\ref{flSOS}), we first assign $S_a$

1349: to the outermost domain of height $a$.

1350: To each of its subdomains one can assign the height $a+1$ or $a-1$,

1351: which gives rise to a factor

1352: \begin{equation}

1353:   \frac{S_{a+1}}{S_{a}}+\frac{S_{a-1}}{S_{a}}=2\cos\frac\pi h =n.

1354: \end{equation}

1355: By repeating this and going step by step to the interior,

1356: one ends up with the Feynman graph of the $O(n)$ matrix model

1357: with a factor $n$ assigned to each loop.

1358: This explains the relation (\ref{waw3}) at the level of the Feynman

1359: graph sum.

1360: 

1361: \subsubsection{Disc correlators $D_0^\perp$ and $D_{a,\link{ab}}$}

1362: 

1363: Next, we use a similar argument to show the relation

1364: \begin{equation}

1365: D_{a,\link{ab}}(x,y)=D_0^\perp\big(x,y/S_a\big),

1366: \label{dad0}

1367: \end{equation}

1368: where we assume $b=a+1$ for simplicity, and the JS boundary

1369: is expected to be labelled by $r=a$ from (\ref{yy}).

1370: To show this, we consider Feynman graphs contributing

1371: to the LHS with the power $1/y^{m+1}$.

1372: Such graphs have the $\link{ab}$-boundary of length $m$, and

1373: there are therefore $m$ open contour lines ending on the

1374: $\link{ab}$-boundary.

1375: If we cut the graph along these contours, it would decompose into

1376: $m_a$ pieces of boundary height $a$ and $m_b$ pieces

1377: of boundary height $b$, where $m_a+m_b=m+1$ and $m_a>0$.

1378: This means that the graphs have $m+1$ outermost domains of

1379: heights $a$ or $b$.

1380: 

1381: We now take the sum of such graphs over

1382: different height assignments in the interior

1383: but for a fixed contour line configuration,

1384: to obtain a graph of the $O(n)$ matrix model.

1385: Each contour line in the interior is assigned a factor $n$

1386: in the same way as before.

1387: Collecting the factors associated to the outermost domains we find,

1388: \begin{equation}

1389:   y^{-m-1}S_a^{m_a}S_b^{m_b}~=~

1390:   \big(S_a/y\big)^{m+1}

1391:   \times \big(S_b/S_a\big)^{m_b}.

1392: \label{mapD0}

1393: \end{equation}

1394: 

1395: We then deform the contour line configuration to a loop configuration

1396: by shrinking the $b$-part of the $\link{ab}$-boundary as shown

1397: in Figure \ref{fig:rel1}.

1398: \FIG{figure3.eps}

1399:     {The graphs contributing to $D_{a,\link{ab}}$ have

1400:      open contour lines separating the domains of height $a$ and $b$.

1401:      By shrinking the $b$ part of the $\link{ab}$-boundary,

1402:      those contour lines turn to form loops touching the boundary.

1403:      }{fig:rel1}

1404: The $m$ open contour lines then turn into $m_b$ closed loops

1405: touching the boundary $m$ times in total.

1406: The expression for the weight (\ref{mapD0}) then implies that

1407: the $\link{ab}$-boundary of the RSOS matrix model is mapped

1408: to the $k$-th JS boundary of the $O(n)$ model, with boundary

1409: cosmological constant $y/S_a$ and

1410: \begin{equation}

1411: k(a)=\frac{S_{a+1}}{S_a}=\frac{\sin{\pi(a+1)/h}}{\sin{\pi a/h}}.

1412: \end{equation}

1413: Thus we have shown (\ref{dad0}).

1414: It also implies $a=r$ in agreement with (\ref{yy}).

1415: 

1416: \subsubsection{Disc correlators $D_1^\parallel$ and $D_{b,\link{ba}}$}

1417: 

1418: Using the same argument, let us next show the equation

1419: \begin{equation}

1420:  D_{b,\link{ba}}(x,y)=\frac{S_b}{y}

1421:  \Big(W(x)+\frac1kD_1^{\parallel}\big(x,y/S_a\big)\Big).

1422: \label{dbd1}

1423: \end{equation}

1424: We again focus on the graphs contributing to the LHS with

1425: power $1/y^{m+1}$, which have $m$ open contour lines

1426: ending on the $\link{ba}$-boundary.

1427: Such graphs have $m_a$ outermost domains of height $a$

1428: and $m_b$ outermost domains of height $b$, with the condition

1429: \begin{equation}

1430:  m_a+m_b=m+1,\qquad m_b>0.

1431: \end{equation}

1432: We perform the sum over the height assignments in the interior and

1433: map the graphs to those of the $O(n)$ matrix model.

1434: 

1435: By shrinking the $b$-part of the $\link{ba}$-boundary, we get

1436: the graph in the $O(n)$ matrix model which generically has

1437: one open line connecting the two boundary changing operators

1438: in addition to $m_b-1$ loops.

1439: They altogether touch the JS boundary $m-1$ times in total.

1440: It is important to notice that the open line can

1441: end on the JS boundary.

1442: We should therefore identify the boundary operators

1443: as the one-leg blobbed operators $\mathbb{Y}_1^\parallel$.

1444: The situation is illustrated in Figure \ref{fig:rel2}.

1445: \FIG{figure4.eps}

1446:     {The graphs contributing to $D_{b,\link{ba}}$ have open contour lines

1447:      separating the domains of height $a$ and $b$.

1448:      By shrinking the $b$ part of the $\link{ba}$-boundary, those contour lines

1449:      turn into some loops touching the boundary and a line connecting

1450:      the two boundary-changing operators.

1451:      }{fig:rel2}

1452: The graph of the $O(n)$ model we thus obtained has the

1453: following weight from the outermost domains,

1454: \begin{equation}

1455:   y^{-m-1}S_a^{m_a}S_b^{m_b}~=~

1456:   \big(S_b/y\big)\times

1457:   \big(S_a/y\big)^m

1458:   \times \big(S_b/S_a\big)^{m_b-1}.

1459: \label{mapD1}

1460: \end{equation}

1461: The same graph and weight can be obtained from the Feynman graph

1462: expansion of the second term in the RHS of (\ref{dbd1}).

1463: Note that the additional factor $1/k$ is inserted because

1464: the line connecting the two $\mathbb{Y}_1^\parallel$

1465: can be made from propagators of $Y_1,\cdots$ or $Y_k$, leading to

1466: a factor $k$.

1467: The first term of the RHS, on the other hand,

1468: is the sum over the exceptional graphs of the RSOS model

1469: corresponding to $m=0$, namely, those graphs which have

1470: the $\link{ba}$ boundary of length zero.

1471: The sum over such graphs is simply the leading term in the

1472: $1/y$-expansion of the LHS and therefore given by $W_b(x)/y$.

1473: This finishes the diagrammatic proof of (\ref{dbd1}).

1474: 

1475: The relations (\ref{dad0}) and (\ref{dbd1}) can be used

1476: to show that the loop equations of the $O(n)$ matrix model

1477: (\ref{leOn0}) and the RSOS model (\ref{leRSOS}) are mapped to each other.

1478: These relations also explain that the operators ${}^a\!B^{\link{a\,a+1}}$ and

1479: ${}^{a+1}\!B^{\link{a+1\,a}}$ have the same conformal weight as

1480: that of $\mathbb{S}_0^\perp$ and $\mathbb{S}_1^\parallel$ between

1481: the Neumann and the $k(a)$-th JS boundaries.

1482: 

1483: 

1484: 

1485: \subsubsection{Disc correlators of $L$-leg operators}

1486: 

1487: It is obvious how to extend the correspondence

1488: to the disc correlators of $L$-leg operators using the argument

1489: of summing over height configurations and shrinking the $b$-part

1490: of the $\link{ab}$ boundary.

1491: We skip the details and present the final results.

1492: \begin{align}

1493: \begin{split}

1494:  D_{a-L,\link{a\,a+1}}(x,y) &=

1495:  S_{a-1}\cdots S_{a-L}\;\frac{(n-k-L)!}{(n-k)!} D_L^\perp(x,y/S_a), \\

1496:  D_{a+L,\link{a+1\,a}}(x,y) &=

1497:  \frac{S_{a+1}\cdots S_{a+L}}{y}\Big(

1498:  W_L(x)+ \frac{(k-L)!}{k!}D_L^\parallel(x,y/S_a)

1499:  \Big),

1500: \end{split}

1501: \label{dldl}

1502: \end{align}

1503: where $W_L(x)$ is determined by the recursion relation

1504: \begin{equation}

1505:  \Disc W_{L+1}(x) = W_L(-x) \Disc W(x),\qquad

1506:  W_1(x)=W(x).

1507: \end{equation}

1508: These include the results of the previous subsubsection as special cases.

1509: It is also easy to show that they relate the recursion relation

1510: of the $O(n)$ model (\ref{leOnL}) to that of the RSOS model

1511: (\ref{recIntz}).

1512: They also explain that the operator $^{a-L}\!B^{\link{a\,a+1}}$

1513: has the same conformal weight as $\mathbb{S}_L^\perp$

1514: between the Neumann and the $k(a)$-th JS boundaries,

1515: and similarly for $^{a+L}\!B^{\link{a+1\,a}}$ and $\mathbb{S}_L^\parallel$.

1516: 

1517: The first term in the second line of (\ref{dldl}) is equal to

1518: the leading term in the $1/y$-expansion of the LHS, and the

1519: corresponding graphs have $\link{a+1\,a}$ boundary of zero length.

1520: Therefore, $W_L(x)$ is a disc one-point function of a boundary

1521: operator with $L$ nested loops attached, corresponding to

1522: the fusion product of two $L$-leg operators.

1523: Such an operator should be described in terms of

1524: {\it star operators} \cite{Kostov:2003uh};

1525: the star operator $S_L$ is a source of $L$ open lines and is

1526: allowed to exist between two Neumann boundaries.

1527: In \cite{Kostov:2003uh} its gravitational dimension was found to be

1528: $\Delta_{1,L+1}$, and the disc two-point functions were computed

1529: in the continuum limit.

1530: Our $W_L$ can be calculated in the same way.

1531: Using the standard parameterization $\xi=M\cosh\tau$

1532: in the continuum limit we find,

1533: \begin{equation}

1534:  W_L(\tau)=\prod_{k=1}^L\frac{\sin\pi g}{\sin\pi g (k+1)}

1535:            \prod_{k=0}^L W\big(\tau+i\pi(L-2k)\big).

1536: \end{equation}

1537: 

1538: \section{Concluding remarks}\label{sec:concl}

1539: 

1540: In this paper we studied the new boundary condition

1541: of the $O(n)$ model proposed by Jacobsen and Saleur.

1542: By using the matrix model formulation, we were able to relate

1543: them to the boundary conditions of RSOS model with alternating heights.

1544: The loop equations turned out to be a very efficient tool

1545: in calculating the spectrum and the conformal weights

1546: of boundary changing operators.

1547: 

1548: Our techniques based on matrix model and loop equations are

1549: applicable to the analysis of more involved situations,

1550: such as discs with several JS boundaries labelled by different $k$.

1551: An interesting problem is to study the spectrum of boundary operators

1552: between two JS boundaries.

1553: (On a regular lattice this has been done in the recent

1554:  work \cite{dlh}.)

1555: 

1556: Another natural and interesting question will be to ask how our

1557: results can be extended to the dilute phase.

1558: Since the lattice will no longer be packed densely by the loops,

1559: one would expect a conformal boundary condition for which

1560: some sites on the boundary have no open line attached.

1561: We will therefore need to generalize the JS boundary

1562: so that it can have vacancies.

1563: It will be an interesting problem to study the renormalization group

1564: flow for the fugacity associated to the vacancy.

1565: We hope to address this issue in the future.

1566: 

1567: 

1568: 

1569: \section*{Acknowledgments}

1570: 

1571: We would like to thank I. Kostov for helpful discussions and a

1572: careful reading of the manuscript. One of the author (J.E.B.)

1573: would like to thank J. Dubail for useful discussions.

1574: 

1575: 

1576: \newpage

1577: \appendix

1578: 

1579: \section{Gravitational dressing, Liouville theory and KPZ}\label{sec:kpz}

1580: 

1581: Here we summarize some basic facts on conformal field theories

1582: coupled to gravity and boundary Liouville field theory.

1583: More details can be found in \cite{Kostov:2003uh,Kostov:2002uq}

1584: and the original paper

1585: \cite{Fateev:2000ik, Ponsot:2001ng, Hosomichi:2001xc}.

1586: 

1587: Let us consider the `matter CFT' of the central charge

1588: \begin{equation}

1589: c=1-\frac{6\theta^2}{1-\theta} < 1.

1590: \end{equation}

1591: When $\theta=1/h$ for a positive integer $h\ge 3$, the theory is rational

1592: and corresponds to the minimal model of the unitary series $(h-1,h)$.

1593: Turning on the gravity corresponds to summing over different

1594: metrics and topology of the two-dimensional space.

1595: After gauge fixing it amounts to coupling the CFT to

1596: the Liouville field $\phi$ and $bc$ ghost system.

1597: 

1598: Let us take the matter CFT to be the Coulomb gas model

1599: \cite{Nienhuis:1982fx, Nienhuis:1984wm}

1600: described by a scalar $\chi$.

1601: The vanishing of the total central charge puts a certain condition

1602: on the matter and the Liouville background charges $e_0$ and $Q$.

1603: We can parameterize them as

1604: \begin{equation}

1605: Q   =\frac1\bL+\bL\,, \qquad

1606: e_0 =\frac1\bL-\bL\,.

1607: \end{equation}

1608: Here $\bL =\sqrt{1-\theta}$ is the Liouville coupling constant.

1609: 

1610: In this model we consider the matter field $e^{ie_{r,s}\chi}$

1611: of conformal weight $\delta_{r,s}$.

1612: With a suitable gravitational dressing it becomes an operator of conformal

1613: weight one,

1614: \begin{equation}

1615:  B_{r,s}=\frac{\Gamma(2\bL P_{r,s})}{\pi}

1616:  \exp\left(ie_{r,s}\chi+\beta_{r,s}\phi\right).

1617: \end{equation}

1618: Here various parameters are related as follows,

1619: \begin{equation}

1620:  e_{r,s}=\frac{e_0}2-P_{r,s},\qquad

1621:  \beta_{r,s}=\frac Q2-|P_{r,s}|,\qquad

1622:  P_{r,s}=\frac{r}{2\bL}-\frac{s\bL}2,

1623: \end{equation}

1624: and $(r,s)$ is a pair of positive integers labelling degenerate

1625: representations of the matter CFT.

1626: The matter conformal weight $\delta_{r,s}$ is given by

1627: \begin{equation}

1628: \delta_{r,s}=\frac{(r/\bL -s\bL )^2-(1/\bL -\bL )^2}{4}\,.

1629: \end{equation}

1630: Introducing {\it gravitational dimension} $\Delta\equiv (2P-e_0)/2\bL$

1631: and {\it string susceptibility} $\gamma_\text{str}\equiv-\theta/(1-\theta)$,

1632: one can write the KPZ scaling formula

1633: \cite{Knizhnik:1988ak,David:1988hj,Distler:1988jt},

1634: \begin{equation}

1635: \delta=\frac{\Delta(\Delta-\gamma_\text{str})}{1-\gamma_\text{str}}.

1636: \label{EquKPZ}

1637: \end{equation}

1638: Note that there is another way of gravitational dressing,

1639: $\tilde\beta=Q/2+|P|$, as was considered in \cite{Kostov:2007jj}.

1640: As an example, the boundary identity operator can be dressed by

1641: $e^{\phi/\bL}$ instead of $e^{\bL\phi}$.

1642: This suggests that there are two boundary cosmological couplings,

1643: and one has a fractional dimension with respect to the other.

1644: 

1645: After turning on the gravity, correlators no longer depend on the

1646: positions of the operators inserted because one has to integrate

1647: over the positions of those operators.

1648: The dimensions of the operators therefore cannot be read from

1649: the position-dependence of their correlators.

1650: Instead, they should be read off from the dependence

1651: of correlators on the cosmological constant $\mu$.

1652: If we restrict to discs, then the amplitudes with $n$ boundary

1653: operators $B_{P_i}$ and $m$ bulk operators $V_{K_j}$ scale with $\mu$ as

1654: \begin{equation}

1655:  \big\langle {}^{\xi_1}\!B_{P_1}\!\!{}^{\xi_2}\cdots

1656:             {}^{\xi_n}\!B_{P_n}\!\!{}^{\xi_1}\;

1657:   V_{K_1}\cdots V_{K_m} \big\rangle \propto \mu^\gamma,

1658: \end{equation}

1659: with

1660: \begin{equation}

1661:  \gamma=\big(1-m-\frac n2\big)

1662:        \big(1-\frac{\gamma_\text{str}}{2}\big)

1663:  +\frac{1}{2\bL }\Big(\sum_{i=1}^n{|P_i|}+\sum_{j=1}^m{|K_j|}\Big).

1664: \label{muscal}

1665: \end{equation}

1666: Of course, the gravitational dimensions of the operators can be

1667: read more explicitly from the more detailed form of the amplitudes.

1668: 

1669: As an example, let us consider a disc with two boundary segments,

1670: labelled by boundary cosmological constants $\zeta_1$ and $\zeta_2$

1671: and connected by the operators ${}^{\zeta_1}\!B^{\zeta_2}$.

1672: In boundary Liouville theory, boundary cosmological constant $\zeta$

1673: is the coefficient of the boundary interaction $e^{\bL\phi}$.

1674: Following \cite{Fateev:2000ik} we use a parametrization of $\zeta$ similar to

1675: (\ref{zetas}),

1676: \begin{equation}

1677: \zeta=\sqrt{\frac{\mu}{\sin{\pi\bL^2}}}\cosh{\bL^2\tau}.

1678: \end{equation}

1679: The computation of the disc amplitude involves the disc two-point

1680: functions of the Liouville and matter CFTs.

1681: The Liouville and matter part of the correlator factorize,

1682: and the matter part gives only a $\zeta$-independent factor.

1683: The Liouville part is given by \cite{Fateev:2000ik}

1684: \begin{equation}

1685: \big\langle {}^{\zeta_1}\!B_P{}^{\zeta_2}(x)\,

1686:             {}^{\zeta_2}\!B_P{}^{\zeta_1}(0)\big\rangle_\text{Liouville}

1687:  = A(P)d(|P|,\tau_1,\tau_2)|x|^{-2\beta(Q-\beta)}\,,

1688: \label{2points}

1689: \end{equation}

1690: with

1691: \begin{align}

1692: \begin{split}

1693: \ln d(P,\tau_1,\tau_2)=

1694:  -\int_{-\infty}^\infty

1695:  \frac{d\omega}{\omega}\left(

1696:  \frac{\cos\omega\tau_1\cos\omega\tau_2\sinh 2\pi P\omega/\bL}

1697:       {\sinh\pi\omega\sinh\pi\omega/\bL^2}

1698:  -\frac{2P\bL}{\pi\omega}\right).

1699: \end{split}

1700: \label{exprd}

1701: \end{align}

1702: Here $A(P)$ is a known function of $P$ and is related to

1703: the ``leg factor'' arising from different normalization of the

1704: wave functions.

1705: It is independent of $\tau$'s and therefore unimportant.

1706: On the other hand, the $\tau$-dependent part (\ref{exprd}) is

1707: expressed in terms of the double-sine function

1708: of pseudo-periods $\bL$ and $1/\bL$ \cite{Kharchev:2001rs}.

1709: It satisfies an important shift relation involving

1710: both $P$ and $\tau_i$,

1711: \begin{equation}

1712:  d(P,\tau_1+i\pi,\tau_2)-d(P,\tau_1-i\pi,\tau_2)

1713:  \;\propto\; \sinh{\bL^2\tau_1}\, d(P-\bL/2,\tau_1,\tau_2),

1714: \label{shiftFZZ}

1715: \end{equation}

1716: up to a $\tau$-independent factor.

1717: Shifting $P$ by $-\bL/2$ corresponds to changing the label

1718: of the operator from $(r,s)$ to $(r,s+1)$.

1719: 

1720: \section{Solving the loop equation}\label{sec:sol}

1721: 

1722: Here we solve the loop equation (\ref{d0d1le})

1723: \begin{align*}

1724:    d_1\big(\tau\mp\frac{i\pi}2,\sigma\big)

1725:    d_0\big(\tau\pm\frac{i\pi}2,\sigma\big)

1726:   = CM^g\cosh\frac{g(\tau+\sigma)\pm\alpha}{2}

1727:         \cosh\frac{g(\tau-\sigma)\pm\alpha}{2}\;.

1728: \end{align*}

1729: We define the function $u_a(\tau,\sigma)$ by

1730: \begin{equation}

1731: d_a(\tau,\sigma)=\frac{\sqrt{C}}2M^{\alpha_a}\exp u_a(\tau,\sigma)

1732: \end{equation}

1733: with $\alpha_a+\alpha_b=g$, and denote by $\hat u_a(\omega,\sigma)$

1734: their Fourier transform with respect to $\tau$.

1735: 

1736: Let us take the log and the Fourier transform of the loop equation.

1737: Using

1738: \begin{equation}

1739:  \int_{-\infty}^\infty d\tau e^{i\omega\tau}

1740:  \log\Big(2\cosh\frac{g\tau+\alpha}2\Big)

1741:  = -\frac{\pi e^{-i\alpha\omega/g}}{\omega\sinh(\pi\omega/g)},

1742: \end{equation}

1743: the loop equation for $\hat u_a(\omega,\sigma)$ becomes algebraic,

1744: \begin{equation}

1745:   e^{\pm\frac{\pi\omega}2}\hat u_1(\omega,\sigma)

1746:  +e^{\mp\frac{\pi\omega}2}\hat u_0(\omega,\sigma)

1747:  \;=\; -\frac{2\pi}\omega\frac{\cos\omega\sigma}{\sinh(\pi\omega/g)}

1748:  e^{\pm i\omega\alpha/g}.

1749: \end{equation}

1750: Solving this in favor of $\hat u_a$ and Fourier transforming back,

1751: we find

1752: \begin{equation}

1753:  u_a(\tau,\sigma) ~=~

1754: -\int_{-\infty}^\infty \frac{d\omega}{\omega}

1755:  \frac{\cos\sigma\omega\cos\tau\omega}

1756:       {\sinh\pi\omega\sinh\pi\omega/g}

1757:  \sinh\Big(\frac{\pi\omega}2\pm\frac{i\alpha\omega}g\Big),

1758: \label{ua}

1759: \end{equation}

1760: where plus sign is for $u_1$ and minus sign for $u_0$.

1761: One recognizes the same functional form as the Liouville

1762: boundary two-point function (\ref{exprd}).

1763: 

1764: By comparing (\ref{ua}) with (\ref{exprd}) one finds the value of $P$

1765: for the boundary-changing operators.

1766: Then by using the scaling law (\ref{muscal}) one can determine

1767: the exponents $\alpha_0$ and $\alpha_1$

1768: \begin{equation}

1769:  2\bL P_0 = \alpha_0 = r\theta, \qquad

1770:  2\bL P_1 = \alpha_1 = 1-\theta-r\theta.

1771: \label{aa}

1772: \end{equation}

1773: Another way to find $\alpha_a$ is to analyze the two-point

1774: function at $\zeta=\mu=0$,

1775: \begin{equation}

1776: d(\xi,\zeta=0,\mu=0)\sim\xi^{\alpha_a}\sim e^{\alpha_a|\tau|}.

1777: \label{pe3}

1778: \end{equation}

1779: Setting $\sigma=i\pi/2g$ and $\tau\to\infty$ in (\ref{ua}),

1780: the dominant contribution to the integral is from the vicinity

1781: of the second order pole at $\omega=0$.

1782: Using

1783: \begin{equation}

1784: \int_{-\infty}^\infty \frac{d\omega e^{i\omega\tau}}{\omega^2}

1785:  = -\pi|\tau|,

1786: \end{equation}

1787: one finds $u_a \simeq 2\bL P|\tau|$ and recovers (\ref{aa}) again.

1788: 

1789: \newpage

1790: 

1791: \begin{thebibliography}{99}

1792: \bibitem{Kostov:1991cg}

1793:   I.~K.~Kostov,

1794:   {\it ``Strings with discrete target space,''}

1795:   Nucl.\ Phys.\  B {\bf 376}, 539 (1992)

1796:   {\tt [hep-th/9112059]}.

1797: 

1798: \bibitem{Kazakov:1986hy}

1799:   V.~A.~Kazakov,

1800:   {\it ``Exact solution of the Ising model

1801:          on a random two-dimensional lattice,''}

1802:   JETP Lett.\  {\bf 44}, 133 (1986)

1803:   [Pisma Zh.\ Eksp.\ Teor.\ Fiz.\  {\bf 44}, 105 (1986)].

1804: 

1805: \bibitem{Boulatov:1986sb}

1806:   D.~V.~Boulatov and V.~A.~Kazakov,

1807:   {\it ``The Ising model on random planar lattice: the structure of

1808:    	 phase transition and the exact critical exponents,''}

1809:   Phys.\ Lett.\  {\bf 186B}, 379 (1987).

1810: 

1811: \bibitem{Duplantier:1988wc}

1812:   B.~Duplantier and I.~Kostov,

1813:   {\it Conformal spectra of polymers on a random surface,''}

1814:   Phys.\ Rev.\ Lett.\  {\bf 61}, 1433 (1988);

1815:   %\bibitem{Duplantier:1989sx}

1816:   %B.~Duplantier and I.~K.~Kostov,

1817:   {\it Geometrical critical phenomena on a random surface of arbitrary genus,''}

1818:   Nucl.\ Phys.\  B {\bf 340}, 491 (1990).

1819: 

1820: \bibitem{Kazakov:1988fv}

1821:   V.~K.~Kazakov,

1822:   {\it ``Percolation on a fractal with the statistics

1823:          of planar Feynman graphs: exact solution,''}

1824:   Mod.\ Phys.\ Lett.\  A {\bf 4}, 1691 (1989).

1825: 

1826: \bibitem{Kostov:1988fy}

1827:   I.~K.~Kostov,

1828:   {\it ``$O(n)$ vector model on a planar random lattice:

1829:          spectrum of anomalous dimensions,''}

1830:   Mod.\ Phys.\ Lett.\  A {\bf 4}, 217 (1989).

1831: 

1832: \bibitem{Kostov:1989eg}

1833:   I.~K.~Kostov,

1834:   {\it ``The ADE face models on a fluctuating planar lattice,''}

1835:   Nucl.\ Phys.\  B {\bf 326}, 583 (1989).

1836: 

1837: \bibitem{Jacobsen:2006bn}

1838:   J.~L.~Jacobsen and H.~Saleur,

1839:   {\it ``Conformal boundary loop models,''}

1840:   Nucl.\ Phys.\  B {\bf 788}, 137 (2008)

1841:   {\tt [math-ph/0611078]}.

1842: 

1843: \bibitem{Kostov:2007jj}

1844:   I.~Kostov,

1845:   {\it ``Boundary loop models and 2D quantum gravity,''}

1846:   J.\ Stat.\ Mech.\  {\bf 0708}, P08023 (2007)

1847:   {\tt [hep-th/0703221]}.

1848: 

1849: \bibitem{Kazakov:1991pt}

1850:   V.~A.~Kazakov and I.~K.~Kostov,

1851:   {\it ``Loop gas model for open strings,''}

1852:   Nucl.\ Phys.\  B {\bf 386}, 520 (1992)

1853:   {\tt [hep-th/9205059]}.

1854: 

1855: \bibitem{Kostov:2003uh}

1856:   I.~K.~Kostov, B.~Ponsot and D.~Serban,

1857:   {\it ``Boundary Liouville theory and 2D quantum gravity,''}

1858:   Nucl.\ Phys.\  B {\bf 683}, 309 (2004)

1859:   {\tt [hep-th/0307189]}.

1860: 

1861: \bibitem{Kostov:2002uq}

1862:   I.~K.~Kostov,

1863:   {\it ``Boundary correlators in 2D quantum gravity:

1864:          Liouville versus discrete approach,''}

1865:   Nucl.\ Phys.\  B {\bf 658}, 397 (2003)

1866:   {\tt [hep-th/0212194]}.

1867: 

1868: \bibitem{Saleur:1988zx}

1869:   H.~Saleur and M.~Bauer,

1870:   {\it ``On some relations between local height probabilities and

1871:   	 conformal invariance,''}

1872:   Nucl.\ Phys.\  B {\bf 320}, 591 (1989).

1873: 

1874: \bibitem{Nienhuis:1982fx}

1875:   B.~Nienhuis,

1876:   {\it ``Exact critical point and critical exponents of

1877:          $O(n)$ models in two-dimensions,''}

1878:   Phys.\ Rev.\ Lett.\  {\bf 49}, 1062 (1982).

1879: 

1880: \bibitem{Nienhuis:1984wm}

1881:   B.~Nienhuis,

1882:   {\it ``Critical behavior of two-dimensional spin models

1883:          and charge asymmetry in the Coulomb gas,''}

1884:   J.\ Statist.\ Phys.\  {\bf 34}, 731 (1984)

1885:   and in

1886:   %\bibitem{Domb:1987eg}

1887:   C.~Domb and J.~L.~Lebowitz,

1888:   {\it ``Phase transitions and critical phenomena. vol. 11,''}

1889:   London, Uk: Academic (1987) 210p.

1890: 

1891: \bibitem{Nichols:2004fb}

1892:   A.~Nichols, V.~Rittenberg and J.~de Gier,

1893:   {\it ``One-boundary Temperley-Lieb algebras in the XXZ and loop models,''}

1894:   J.\ Stat.\ Mech.\  {\bf 0503}, P003 (2005)

1895:   {\tt [cond-mat/0411512]};

1896:   %\bibitem{Nichols:2005mv}

1897:   A.~Nichols,

1898:   {\it ``The Temperley-Lieb algebra and its generalizations

1899:          in the Potts and XXZ models,''}

1900:   J.\ Stat.\ Mech.\  {\bf 0601}, P003 (2006)

1901:   {\tt [hep-th/0509069]};

1902:   %\bibitem{Nichols:2005gf}

1903:   A.~Nichols,

1904:   {\it ``Structure of the two-boundary XXZ model with

1905:          non-diagonal boundary terms,''}

1906:   J.\ Stat.\ Mech.\  {\bf 0602}, L004 (2006)

1907:   {\tt [hep-th/0512273]}.

1908: 

1909: \bibitem{Pearce:2006sz}

1910:   P.~A.~Pearce, J.~Rasmussen and J.~B.~Zuber,

1911:   {\it ``Logarithmic minimal models,''}

1912:   J.\ Stat.\ Mech.\  {\bf 0611}, P017 (2006)

1913:   {\tt [hep-th/0607232]}.

1914: 

1915: \bibitem{Kostov:2006ry}

1916:   I.~K.~Kostov,

1917:   {\it ``Thermal flow in the gravitational $O(n)$ model,''}

1918:   {\tt hep-th/0602075}.

1919: 

1920: \bibitem{Fateev:2000ik}

1921:   V.~Fateev, A.~B.~Zamolodchikov and A.~B.~Zamolodchikov,

1922:   {\it ``Boundary Liouville field theory. I:

1923:          Boundary state and boundary two-point function,''}

1924:   {\tt hep-th/0001012}.

1925: 

1926: \bibitem{Saleur:1987rn}

1927:   H.~Saleur and B.~Duplantier,

1928:   {\it ``Exact determination of the percolation hull exponent

1929:          in two dimensions,''}

1930:   Phys.\ Rev.\ Lett.\  {\bf 58}, 2325 (1987).

1931: 

1932: \bibitem{Andrews:1984af}

1933:   G.~E.~Andrews, R.~J.~Baxter and P.~J.~Forrester,

1934:   {\it ``Eight vertex SOS model and generalized

1935:          Rogers-Ramanujan type identities,''}

1936:   J.\ Statist.\ Phys.\  {\bf 35}, 193 (1984).

1937: 

1938: \bibitem{Pasquier:1986jc}

1939:   V.~Pasquier,

1940:   {\it ``Two-dimensional critical systems labelled by Dynkin diagrams,''}

1941:   Nucl.\ Phys.\  B {\bf 285}, 162 (1987).

1942: 

1943: \bibitem{Kostov:1995xw}

1944:   I.~K.~Kostov,

1945:   {\it ``Solvable statistical models on a random lattice,''}

1946:   Nucl.\ Phys.\ Proc.\ Suppl.\  {\bf 45A}, 13 (1996)

1947:   {\tt [hep-th/9509124]}.

1948: 

1949: \bibitem{Kostov:1992ie}

1950:   I.~K.~Kostov,

1951:   {\it ``Gauge invariant matrix model for the A-D-E closed strings,''}

1952:   Phys.\ Lett.\  B {\bf 297}, 74 (1992)

1953:   {\tt [hep-th/9208053]}.

1954: 

1955: \bibitem{dlh}

1956:   J.~ Dubail, J.~L.~Jacobsen and H.~Saleur,

1957:   {\it ``Conformal two-boundary loop model on the annulus,''}

1958:   {\tt arXiv:0812.2746.}

1959: 

1960: \bibitem{Ponsot:2001ng}

1961:   B.~Ponsot and J.~Teschner,

1962:   {\it ``Boundary Liouville field theory: Boundary three point function,''}

1963:   Nucl.\ Phys.\  B {\bf 622}, 309 (2002)

1964:   {\tt [hep-th/0110244]}.

1965: 

1966: \bibitem{Hosomichi:2001xc}

1967:   K.~Hosomichi,

1968:   {\it ``Bulk-boundary propagator in Liouville theory on a disc,''}

1969:   JHEP {\bf 0111}, 044 (2001)

1970:   {\tt [hep-th/0108093]}.

1971: 

1972: \bibitem{Knizhnik:1988ak}

1973:   V.~G.~Knizhnik, A.~M.~Polyakov and A.~B.~Zamolodchikov,

1974:   {\it ``Fractal structure of 2d-quantum gravity,''}

1975:   Mod.\ Phys.\ Lett.\  A {\bf 3}, 819 (1988).

1976: 

1977: \bibitem{David:1988hj}

1978:   F.~David,

1979:   {\it ``Conformal field theories coupled to 2D graviry

1980:          in the conformal gauge,''}

1981:   Mod.\ Phys.\ Lett.\  A {\bf 3}, 1651 (1988).

1982: 

1983: \bibitem{Distler:1988jt}

1984:   J.~Distler and H.~Kawai,

1985:   {\it ``Conformal field theory and 2d quantum gravity or

1986:          who's afraid of Joseph Liouville?''}

1987:   Nucl.\ Phys.\  B {\bf 321}, 509 (1989).

1988: 

1989: \bibitem{Kharchev:2001rs}

1990:   S.~Kharchev, D.~Lebedev and M.~Semenov-Tian-Shansky,

1991:   {\it ``Unitary representations of $U_q(\mathfrak{sl}(2,\mathbb{R}))$,

1992:          the modular double, and the multiparticle q-deformed Toda chains,''}

1993:   Commun.\ Math.\ Phys.\  {\bf 225}, 573 (2002)

1994:   {\tt [hep-th/0102180]}.

1995: 

1996: \end{thebibliography}

1997: 

1998: \end{document}