1: \documentclass{article}

2: 

3: \usepackage{amsmath,amsfonts,amssymb,amsthm,pstricks,pst-plot,pst-node,eucal}

4: \usepackage[dvips]{graphics}

5: 

6: %\def\Sb{_\multilimits@}

7: %\def\endSb{\crcr\egroup\egroup\egroup}

8: 

9: 

10: 

11: \newcommand{\Z}{\mathbb{Z}}

12: \newcommand{\R}{\mathbb{R}}

13: \newcommand{\N}{\mathbb{N}}

14: \newcommand{\oh}{\tfrac12}

15: %\newcommand{\fS}{\mathfrak{S}}

16: \newcommand{\tfS}{\widetilde{\mathfrak{S}}}

17: \newcommand{\fM}{\mathfrak{M}}

18: \newcommand{\bK}{\mathsf{K}}

19: \newcommand{\bE}{\mathsf{E}}

20: \newcommand{\bB}{\mathsf{B}}

21: \newcommand{\cL}{\mathcal{L}}

22: \newcommand{\bS}{\mathsf{S}}

23: \newcommand{\bfS}{\boldsymbol{\mathfrak{S}}}

24: \DeclareMathOperator{\Prob}{Prob}

25: \DeclareMathOperator{\Ad}{Ad}

26: \DeclareMathOperator{\Var}{Var}

27: \DeclareMathOperator{\Ai}{Ai}

28: \DeclareMathOperator{\Res}{Res}

29: \DeclareMathOperator{\Li}{Li}

30: \newcommand{\cdd}{\,\cdot\,}

31: \newcommand{\cl}{\{\lambda(t)\}}

32: \newcommand{\vac}{v_\emptyset}

33: \newcommand{\Dt}{\Delta t}

34: \newcommand{\Dh}{\Delta h}

35: \newcommand{\Pl}{\text{Planch}}

36: \newcommand{\qd}[1]{(#1;q)_\infty}

37: \newcommand{\lang}{\left\langle}

38: \newcommand{\rang}{\right\rangle}

39: \newcommand{\gl}{\mathfrak{gl}}

40: 

41: 

42: \newcommand{\timeprod}{\operatornamewithlimits{\overleftarrow{\prod}}}

43: 

44: \newpsobject{showgrid}{psgrid}{subgriddiv=1,griddots=5,gridlabels=0pt}

45: 

46: 

47: \newtheorem{lemma}{Lemma}

48: \newtheorem{theorem}{Theorem}

49: \newtheorem{corollary}{Corollary}

50: \newtheorem{conjecture}{Conjecture}

51: \DeclareMathOperator{\dil}{dilog}

52: \DeclareMathOperator{\dilq}{dilog_q}

53: \DeclareMathOperator{\grad}{grad}

54: 

55: \newcommand{\LV}{\Lambda^{\frac\infty2}V}

56: \newcommand{\ul}{\underline}

57: \newcommand{\al}{\alpha}

58: \newcommand{\e}{\varepsilon}

59: \newcommand{\zp}{z\frac{\partial}{\partial z}}

60: 

61: 

62: \theoremstyle{definition}

63: \newtheorem{remark}{Remark}

64: \newtheorem{definition}{Definition}

65: 

66: \begin{document}

67: 

68: \title

69: {Random skew plane partitions and the Pearcey process}

70: \author{Andrei Okounkov \thanks{Department of Mathematics, Princeton

71:     University, Princetion NJ 08544-1000. E-mail: okounkov@math.princetion.edu}

72: and Nicolai Reshetikhin\thanks{Department of Mathematics, University of California at

73: Berkeley, 

74: Berkeley, CA 94720-3840. E-mail:  

75: reshetik@math.berkeley.edu }}

76: \date{}

77: \maketitle

78: 

79: 

80: \begin{abstract}

81: We study random skew 3D partitions weighted by $q^{\textup{vol}}$ and, 

82: specifically, the $q\to 1$ asymptotics of local correlations near various

83: points of the limit shape. We obtain sine-kernel asymptotics for 

84: correlations in the bulk of the disordered region, Airy kernel 

85: asymptotics near a general point of the frozen boundary, and 

86: a Pearcey kernel asymptotics near a cusp of the frozen 

87: boundary.  

88: \end{abstract}

89: 

90: 

91: \section{Introduction}

92: 

93: 

94: 

95: 

96: A plane partition $\pi=(\pi_{ij})$ is an array of nonnegative numbers

97: indexed by $(i,j)\in \N^2$ that is monotone, that is, 

98: $$

99: \pi_{ij} \ge \pi_{i+r,j+s}\,, \quad r,s\ge 0 

100: $$

101: and  finite in the sense that $\pi_{ij}=0$ when $i+j\gg 0$. 

102: Plane partitions have a obvious generalization which we 

103: call \emph{skew plane partitions}. A skew plane partition is again 

104: a monotone array $(\pi_{ij})$ which is now indexed by points 

105: $(i,j)$ of a skew shape $\lambda/\mu$, where $\mu\subset\lambda$ is a pair

106: of ordinary partitions. We call $\mu$ and $\lambda$ the 

107: \emph{inner} and \emph{outer} shape of $\pi$, respectively. 

108: In fact, in this paper we will only consider the case when 

109: the outer shape $\lambda$ is a $a\times b$ rectangle. 

110: Here is an example with $\mu=(1,1)$ and $a=b=5$.  

111: %

112: \begin{equation}

113:   \label{pi}

114:  \pi =

115: \begin {array}{ccccc}

116: &7&4&2&1\\

117: &5&3&2&0\\

118: 6&3&1&1&0\\

119: 4&1&1&0&0\\

120: 2&0&0&0&0

121: \end {array}

122: \quad \,. 

123:  \end{equation}

124: %

125: Placing $\pi_{ij}$ cubes over the $(i,j)$ square in $\lambda/\mu$

126: gives a three-dimensional object which we will call a 

127: \emph{skew 3D partition} and denote by the same letter $\pi$. 

128: Its volume is $|\pi|=\sum \pi_{ij}$. 

129: For $\pi$ as in \eqref{pi}, it shown in Figure \ref{fig_skew}. 

130: 

131: \begin{figure}[!htbp]

132:   \centering

133:   \scalebox{0.33}{\includegraphics{3d_skew_part.ps}}

134:   \caption{A skew 3D partition}

135:   \label{fig_skew}

136: \end{figure}

137: 

138: 

139: 

140: Given a parameter $0<q<1$, define a probability measure on 

141: the set of all skew plane partitions with given inner and outer 

142: shapes by setting

143: %

144: \begin{equation}\label{distr_}

145: \Prob(\pi)\propto q^{|\pi|} \,.

146: \end{equation}

147: %

148: The corresponding random skew 3D partition model has 

149: a natural random growth interpretation, the parameter

150: $q$ being the fugacity. Also, a simple bijection, which 

151: should be clear from Figure \ref{fig_skew} and is 

152: recalled below, relates this model to a random tiling 

153: problem. 

154: 

155: We are interested in the thermodynamic limit in which 

156: $q\to 1$ and both inner and outer shapes are rescaled by $1/r$

157: where

158: $$

159: r=-\ln q \to + 0 \,.  

160: $$

161: The results of \cite{CKP} imply the following form of the law of 

162: large numbers: scaled by $r$ in all directions, the surface of 

163: our random skew 3D partition converges to a nonrandom surface ---

164: the limit shape. This limit shape will be easy to see in the exact

165: formulas discussed below. A simulation showing the formation 

166: of the limit shape is presented in Figure \ref{skew-random}. 

167: 

168: \begin{figure}[!htbp]

169:   \begin{center}

170:     {\scalebox{0.4}{\includegraphics*[50,110][520,650]{simul.ps}}}

171:    \caption{A large random skew 3D partition}

172:     \label{skew-random}

173:   \end{center}

174: \end{figure}

175: 

176: An important qualitative feature of limit shape is 

177: the presence of both ordered and disordered regions, 

178: separated by the \emph{frozen boundary}.  Furthermore, 

179: the frozen boundary has various special points, namely, 

180: it has \emph{cusps} (there is one forming in Figure \ref{skew-random}, it 

181: can be seen more clearly in Figures \ref{shape1} and 

182: \ref{shape2}) and also 

183: \emph{turning points} where the limit shape is 

184: not smooth. In Figure \ref{bc1}--\ref{shape2}, the turning points 

185: are the points of tangency to 

186: any of the lines in the same figure. 

187: 

188: One expects that the microscopic properties of the random surface, 

189: in particular, the correlation functions of local operators, are 

190: \emph{universal} in the sense that they are determined by 

191: the macroscopic behavior of the limit shape at that point.  

192: More specifically, one expects that:  

193: \begin{enumerate}

194: \item in the bulk of the disordered region, the correlation are 

195: given by the incomplete beta kernel \cite{K,OR} with the 

196: parameters determined by slope of the limit shape (a special 

197: case of this is the discrete sine kernel);

198: \item at a general point of the frozen boundary, suitably scaled, 

199: the correlation are given by the extended Airy kernel \cite{PS,J1,TW1};

200: \item at a cusp of the frozen boundary, correlation, suitably

201: scaled, are given by the extended Pearcey kernel, discussed 

202: below and in  \cite{TW2}.  

203: \end{enumerate}

204: In this paper we prove all these statements for the model 

205: at hand. The required techniques were developed in our paper \cite{OR}, 

206: of which this one is a continuation. Namely, as will be 

207: reviewed below, our random skew

208: plane partition model is a special case of \emph{Schur process}. 

209: This yields an exact contour integral formulas for correlation 

210: functions. The asymptotics is then extracted by a direct

211: albeit laborious saddle point analysis. The striking resemblance 

212: of the above list to classification of singularities is not 

213: accidental for, as we will see, these three situation correspond 

214: precisely to the saddle point being a 

215:  simple, double, or triple critical point.  

216: 

217: We will also see that the 

218: frozen boundary is essentially an algebraic curve and 

219: that it has precisely one cusp per each exterior corner 

220: of the inner shape $\mu$.  

221:  

222: We expect that near a turning point the correlations 

223: behave like eigenvalues of a $k\times k$ corner 

224: of a GUE random $N\times N$ matrix, where $N\gg 0$ and 

225: $k$ plays the role of time. We hope to return to this 

226: question in a future paper. 

227: 

228: 

229: The results presented here were obtained in 2002-03 and were reported 

230: by us at several conferences. The period between then and now saw

231: many further developments in the field. Most notably, the 

232: Pearcey process, which we found describes the behavior near a cusp 

233: of the frozen boundary arose in the random matrix context in the 

234: work of Tracy and Widom \cite{TW2}. Pearcey asymptotics for equal time 

235: correlations of eigenvalues were obtained earlier by Brezin and Hikami 

236: \cite{BH1,BH2}

237: and also by Aptekarev, Bleher, and Kuijlaars \cite{ABK}. We enjoyed and 

238: benefited from the correspondence with C.~Tracy on 

239: subject. 

240: 

241: In \cite{FS},

242: Ferrari and Spohn derived from the exact formulas of \cite{OR} the 

243: Airy process asymptotics in the case of unrestricted 3D partitions

244: (the $\mu=\emptyset$, $a=b=\infty$ case in our notation). In a 

245: related but technically more involved 

246: context, the Airy process asymptotics was found by 

247: K.~Johansson in \cite{J2}. 

248: 

249: In \cite{ORV}, the partition function of the 

250: random surface model studied here was related to 

251: the \emph{topological vertex} of \cite{AKMV} and, 

252: thus, to the Gromov-Witten theory 

253: of toric Calabi-Yau threefolds. They were many 

254: subsequent developments, some of which

255: are reviewed in \cite{O}. The papers \cite{DST,SV} may 

256: the closest to the material presented here. 

257:  Also, much more general results on algebraicity 

258: of the frozen boundary are now available \cite{KO}. We would like 

259: to thank R.~Kenyon and C.~Vafa for numerous discussions.  

260: 

261: N.~R.\ is grateful to Laboratoire de Physique

262: Theorique at Saclay for the hospitality, where

263: part of this work was done and to J.-B.\ Zuber and Ph.\ Di Francesco

264: for interesting discussions. His work was supported by the NSF grant

265: DMS-0070931 and by the Humboldt Foundation. The work of A.~O.\ was 

266: partially supported by the Packard Foundation. 

267: 

268: 

269: 

270: \section{Preliminaries}\label{comb}

271: \subsection{Skew 3D partition as a sequence of its slices}

272: 

273: We associate to $\pi$ the sequence $\cl$ of its diagonal slices,

274: that is, the sequence of partitions

275: %

276: \begin{equation}

277:   \label{pila}

278:  \lambda(t)=(\pi_{i,t+i})\,, \quad i\ge\max(0,-t), \ t\in {\mathbb Z} \,.

279: \end{equation}

280: %

281: Throughout this paper, we assume that the outer shape of our 

282: skew partition is an $a\times b$ box and, in particular, we 

283: will use the letter $\lambda$ to denote diagonal slices, not 

284: the outer shape. 

285: 

286: 

287: Notation $\lambda \succ \nu$ as usual

288: means that $\lambda$ and $\nu$ interlace,

289: that is,

290: $$

291: \lambda_1 \ge \mu_1 \ge \lambda_2 \ge \mu_2 \ge \lambda_3 \ge \dots \,.

292: $$

293: It is easy to see that the sequence $\cl$ corresponds

294: to a skew plane partition if and only if it satisfies the

295: following conditions:

296: \begin{itemize}

297: \item if the slice $\lambda(t_0)$ is passing through an inner

298: corner of the skew plane partition then 

299: \begin{equation}

300:   \label{laint}

301:  \dots \prec \lambda(t_0-2) \prec \lambda(t_0-1) \prec \lambda(t_0)

302: \succ \lambda(t_0+1) \succ \lambda(t_0+2) \succ \dots\,; 

303: \end{equation}

304: \item if the slice $\lambda(t_0)$ is passing through an

305: outer corner of the skew plane partition then 

306: \begin{equation}

307:   \label{inner}

308:  \dots \succ \lambda(t_0-2) \succ \lambda(t_0-1) \succ \lambda(t_0)

309: \prec \lambda(t_0+1) \prec \lambda(t_0+2) \prec \dots\,. 

310: \end{equation}

311: \end{itemize}

312: %

313: 

314: \noindent

315: For example, the configuration $\cl$ corresponding to

316: the partition \eqref{pi} is

317: %

318: \begin{equation*}

319: (2)\prec (4)\prec (6,1)\succ (3,1) \prec (5,1) \prec 

320: (7,3,1) \succ (4,2) \succ (2) \succ(1) \,.

321: \end{equation*}

322: %

323: We will denote the sequence of inner and outer corners of the inner shape 

324: by $\{v_i\}_{1\leq i

325: \leq N}$ and $\{u_i\}_{1\leq i\leq

326: N-1}$, respectively. We assume that they are numbered so that 

327: $$

328: v_1<u_1<v_2<u_2<\dots u_{N-1}<v_N \,. 

329: $$

330: We also assume that the point $t=0$ is chosen so that 

331: %

332: \begin{equation}\label{norm-uv}

333: \sum_{1\leq

334: i\leq  N}v_i=\sum_{1\leq i\leq  N-1}u_i \,.

335: \end{equation}

336: 

337: 

338: 

339: \subsection{Connection to tilings}

340: 

341: 

342: There is a well-known mapping of 3D diagrams to tilings of the

343: plane by rhombi. Namely, the tiles

344: are the images of faces of the 3D diagram under the projection

345: %

346: \begin{equation}

347: (x,y,z)\mapsto (t,h)=(y-x,z-(x+y)/2)\,.\label{xyz}

348: \end{equation}

349: %

350: This mapping is a bijection between 3D diagrams and tilings with

351: appropriate boundary conditions. The horizontal tiles of the 

352: tiling corresponding to the

353: diagram in Figure \ref{fig_skew} are shown in Figure \ref{f3}.

354: 

355: %

356: \begin{figure}[htbp]\psset{unit=0.5cm}

357:   \begin{center}

358:     \begin{pspicture}(-5,-5)(5,7)

359: \scriptsize \showgrid 

360: \psset{dimen=middle}

361: \psaxes[axesstyle=frame,Ox=-5,Oy=-5,Dx=2,Dy=2,ticks=none](-5,-5)(5,7)

362: \psdiamond[fillstyle=solid,fillcolor=lightgray](-4,-.5)(1,0.5)

363: \psdiamond[fillstyle=solid,fillcolor=lightgray](-3,-3)(1,0.5)

364: \psdiamond[fillstyle=solid,fillcolor=lightgray](-3,2)(1,0.5)

365: \psdiamond[fillstyle=solid,fillcolor=lightgray](-2,-3.5)(1,0.5)

366: \psdiamond[fillstyle=solid,fillcolor=lightgray](-2,-1.5)(1,0.5)

367: \psdiamond[fillstyle=solid,fillcolor=lightgray](-2,4.5)(1,0.5)

368: \psdiamond[fillstyle=solid,fillcolor=lightgray](-1,-4)(1,0.5)

369: \psdiamond[fillstyle=solid,fillcolor=lightgray](-1,-2)(1,0.5)

370: \psdiamond[fillstyle=solid,fillcolor=lightgray](-1,1)(1,0.5)

371: \psdiamond[fillstyle=solid,fillcolor=lightgray](0,-4.5)(1,0.5)

372: \psdiamond[fillstyle=solid,fillcolor=lightgray](0,-3.5)(1,0.5)

373: \psdiamond[fillstyle=solid,fillcolor=lightgray](0,-1.5)(1,0.5)

374: \psdiamond[fillstyle=solid,fillcolor=lightgray](0,3.5)(1,0.5)

375: \psdiamond[fillstyle=solid,fillcolor=lightgray](1,-4)(1,0.5)

376: \psdiamond[fillstyle=solid,fillcolor=lightgray](1,-2)(1,0.5)

377: \psdiamond[fillstyle=solid,fillcolor=lightgray](1,1)(1,0.5)

378: \psdiamond[fillstyle=solid,fillcolor=lightgray](1,6)(1,0.5)

379: \psdiamond[fillstyle=solid,fillcolor=lightgray](2,-3.5)(1,0.5)

380: \psdiamond[fillstyle=solid,fillcolor=lightgray](2,-.5)(1,0.5)

381: \psdiamond[fillstyle=solid,fillcolor=lightgray](2,2.5)(1,0.5)

382: \psdiamond[fillstyle=solid,fillcolor=lightgray](3,-3)(1,0.5)

383: \psdiamond[fillstyle=solid,fillcolor=lightgray](3,0)(1,0.5)

384: \psdiamond[fillstyle=solid,fillcolor=lightgray](4,-1.5)(1,0.5)

385: \end{pspicture}

386:     \caption{Horizontal tiles of the tiling corresponding to the partition 

387:     in Figure \ref{fig_skew} in $(t,h)$-coordinates}

388:     \label{f3}

389:   \end{center}

390: \end{figure}

391: 

392: 

393: 

394: It is clear that the positions of

395: horizontal tiles uniquely determine both the tiling and the

396: partition $\pi$. The set

397: %

398: \begin{equation}

399:   \label{def_sigm}

400:     \sigma(\pi)= \{(i-j,\pi_{ij}-(i+j-1)/2)\}\subset \Z \times \oh \, \Z

401: \end{equation}

402: %

403: is precisely the set of the centers of the horizontal tiles.

404: Notice that if $(h,t)$ is a center of a tile $h+t/2+1/2$ is always

405: an integer.

406: 

407: Define

408: $$

409: B(t)= \frac12\sum_{i=1}^N \left| t - v_i \right| -

410: \frac12\sum_{i=1}^{N-1} \left| t - u_i \right| \,.

411: $$

412: 

413: The image of the inner boundary of our skew plane partitions  in

414: the $(h,t)$-plane is the curve

415: \[

416: h=-B(t)\,,

417: \]

418: see an example of this curve in Figure \ref{uv.eps}. 

419: In particular, the highest layer of horizontal

420: rhombi for an empty plane partitions is the set of points with

421: coordinates $h=-B(t)-1/2$.

422: 

423: 

424: \begin{figure}[htbp]

425:   \begin{center}

426:     \scalebox{0.3}{\includegraphics{uv.eps}}

427:     \caption{Coordinates of corners}

428:     \label{uv.eps}

429:   \end{center}

430: \end{figure}

431: 

432: 

433: 

434: \subsection{Partition function and correlation functions}

435: 

436: Generalizing \eqref{distr_}, introduce a probability measure 

437: on skew plane partitions by 

438: \begin{equation}\label{epschur}

439: \Prob(\{\lambda(t)\}) \,\propto\,

440: \prod_{t\in \Z} q_{t}^{|\lambda(t)|}\,,

441: \end{equation}

442: where $0\leq q_t <1$ are parameters. 

443: 

444: We assume that $q_t=0, \ t<u_0=-a$ or $t>u_N=b$ and so 

445: the plane partition is confined to a  $a\times b$ outer box. 

446: The homogeneous case when all nonzero $q_t$ are equal corresponds

447: to \eqref{distr_}. 

448: 

449: For fixed inner shape $\mu$, the partition function is 

450: defined by 

451: \[

452: Z(\{q_t\},\mu)=\sum_{\cl}

453: \prod_{t\in \Z} q_{t}^{|\lambda(t)|}=\sum_\pi\prod_{t\in \Z}q_t^{|\pi_t|}\, .

454: \]

455: where $|\pi_t|=\sum_i \pi_{i,t+i}$.

456: 

457: 

458: 

459: The correspondence 

460: $\pi\mapsto \sigma(\pi)$ defined in \eqref{def_sigm} makes a 

461: random skew partition a random subset of $\Z\times

462: (\Z+\oh)$, that is, a random point field on a lattice. 

463: This motivates the following 

464: 

465: \begin{definition}

466:  Given a subset $U\subset \Z\times (\Z+\oh)$, define

467: the corresponding correlation function by

468: \begin{equation}\label{cor}

469: \rho(U)=\Prob\left(U\subset \sigma(\pi)\right)

470: =\frac{1}{Z}\sum_{\pi, U\subset \sigma(\pi)} \prod_{t\in \Z}q_t^{|\pi_t|}\,.

471: \end{equation}

472: These correlation functions depend

473: on parameters $q_t$ and on the fixed inner shape $\mu$ of skew

474: plane partitions.

475: \end{definition}

476: 

477: Consider the following ``local''  functions  on skew

478: plane partitions :

479: \[

480: \rho_{h,t}(\pi)=\left\{\begin{array}{ll}1& \mbox{if} \

481: (h,t)\in \sigma(\pi),\\

482: 0 & \mbox{otherwise} .

483: \end{array}\right.

484: \]

485: 

486: If $U=\{(h_1,t_1),\dots, (h_n,t_n)\}$ with $t_1\geq \dots \geq t_n$

487: and $(h_i,t_i)\neq (h_j,t_j)$, the

488: correlation function (\ref{cor}) can be written as:

489: \begin{equation}\label{cor1}

490: \rho(U)=\lang\rho_{h_1,t_1}\dots \rho_{h_n,t_n}\rang=\frac{1}{Z}\sum_{\pi}

491: \rho_{h_1,t_1}(\pi)\dots\rho_{h_n,t_n}(\pi)\prod_{t\in\Z}q_t^{|\pi_t|} \,. 

492: \end{equation}

493: 

494: 

495: 

496: \section{Schur processes}\label{schur}

497: 

498: \subsection{General Schur processes}

499: Schur process, introduced in \cite{OR} is a 

500: probability measure on

501: sequences of partitions. 

502: 

503: Parameters of the Schur process are

504: sequences of pairs of functions $\{\phi_t^\pm(z)\}_{t\in \Z}$

505: such that $\phi^+(z)$ is analytic at $z=0$ and $\phi^-(z)$ is

506: analytic at $z=\infty$.

507: For such  pair of functions $\phi(z)^\pm$  consider

508: skew Schur functions

509: \[

510: s_{\lambda/\mu}[\phi^+]=\det(\phi^+_{\lambda_i-\mu_j-i+j}) \ ,

511: \]

512: and

513: \[

514: s_{\lambda/\mu}[\phi^-]=\det(\phi^-_{-\lambda_i+\mu_j+i-j}) \ .

515: \]

516: Some basic notions about Schur functions are recalled in the 

517: Appendix \ref{app_schur}. 

518: 

519: Define the transition weight by the formula

520: \[

521: S_\phi(\lambda,\mu)=\sum_\nu s_{\lambda/\nu}[\phi^+]s_{\mu/\nu}[\phi^-]

522: \]

523: 

524: \begin{definition}\label{defS}

525: The

526: probabilities of the Schur process are given by

527: $$

528: \Prob(\{\lambda(t)\}) = \frac1Z \, \prod_{m\in \Z+1/2}

529: S_{\phi_m}\left(\lambda(m-\oh),\lambda(m+\oh)\right)\,,

530: $$

531: where the transition weight $S_\phi$ is defined above, by $\phi_t$

532: we denoted the pair of functions $\phi_t^\pm$ and $Z$ is the

533: normalizing factor (partition function)

534: $$

535: Z=\sum_{\cl} \prod_{m\in \Z+1/2}

536: S_{\phi[m]}\left(\lambda(m-\oh),\lambda(m+\oh)\right) \,.

537: $$

538: \end{definition}

539: 

540: If instead of infinite sequences $\cl$ we have  finite  sequences of

541: length $N$ 

542: we will say that the Schur

543: process is of length $N$.

544: 

545: 

546: \subsection{Polynomial Schur processes and height distributions on

547: skew plane partitions}

548: We will say that the Schur process is {\it polynomial} if functions

549: $\phi^\pm_t(z)$ are polynomials in $z^\pm$.

550: Let us show that the measure (\ref{epschur}) is closely

551: related to  a polynomial Schur process.

552: 

553: We will parametrize the inner shape as before by

554: assuming that $v_i, \ 1\leq i\leq N , \ v_i\in \Z$

555: are positions of inner corners of the inner shape of the plane

556: partition (see Fig. \ref{uv.eps}) and $u_i\in (v_i, v_{i+1}), \

557: 1\leq i\leq N-1$

558: are positions of outer corners.

559: 

560: 

561: 

562: 

563: \begin{theorem}The restriction of the measure (\ref{epschur})

564: to random variables supported on subsequences $\{\lambda(m)\}

565: , \ m<v_1$, \ $\{\lambda(v_i)\}, \ 1\leq i

566: \leq N$, \ $\{\lambda(m)\}, \ m>v_N$ coincides with the polynomial Schur

567: process with parameters

568: \begin{eqnarray}\label{x-pm}

569: \phi_m^-(z)&=&(z-x^-_m)\,,\quad \phi_m^+(z)=1, \ \\

570: \phi_i^+(z)&=&\prod_{v_i<m<u_i, \ m\in \Z+\oh}(z-x^+_m) \ , \\

571: \phi_i^-(z)&=&\prod_{u_i<m<v_{i+1}, \ m\in \Z+\oh}(z-x^-_m) \ ,\\

572: \phi_m^+(z)&=&(z-x^+_m)\,, \quad \phi_m^-(z)=1 , \

573: \end{eqnarray}

574: where parameters $x^\pm_t$ and $q_t$ are related as follows:

575: \begin{eqnarray}\label{q-x}

576: \frac{x^+_{m+1}}{x^+_m}&=&q_{m+\oh}, \  v_i<m<u_i-1, \mbox{or} \ m>v_N\\

577: x^+_{u_i-\oh}x^-_{u_i+\oh}&=&q_{u_i}^{-1}, \\

578: x^-_{v_i-\oh}x^+_{v_i+\oh}&=&q_{v_i}, \\

579: \frac{x^-_m}{x^-_{m+1}}&=&q_{m+\oh},  u_i<m<v_{i+1}-1, \mbox{or} \

580: m<v_1

581: \end{eqnarray}

582: \end{theorem}

583: \begin{proof}Let us restrict the process (\ref{epschur}) to the

584: subsequence $\{\lambda_{v_i}\}$.

585: It is easy to see that transition probability from $v_{i+1}$ to $v_i$ in

586: such subprocess are

587: \begin{eqnarray}

588: S^i(\lambda(v_i), \lambda(v_{i+1})&=\sum s_{\lambda(v_i)/\lambda(u_i)}

589: (x^+_{v_i+1/2},x^+_{v_i+3/2},\dots,x^+_{u_i-1/2}) \\

590: &s_{\lambda(v_{i+1})/\lambda(u_i)}

591: (x^-_{v_{i+1}-1/2},x^-_{v_{i+1}-3/2},\dots ,x^-_{u_i+1/2})

592: \end{eqnarray}

593: where $x^\pm_m$ are related to $q_t$ as in (\ref{q-x}). Thus this process

594: (\ref{epschur}) is a polynomial Schur process with $\phi^\pm_i$ given

595: by (\ref{x-pm}).

596: Conversely, it is clear, that due to the identity

597: (\ref{recurschur}) any polynomial Schur

598: process can be extended to a probability measure (\ref{epschur})

599: on sequences of interlacing partitions with parameters

600: $\{q_t\}$ defined as in (\ref{x-pm})(\ref{q-x}).

601: \end{proof}

602: 

603: 

604: 

605: \section{Fermionic representation for correlation functions}\label{ferm}

606: 

607: \subsection{}

608: 

609: 

610: For  $m\in \Z + \oh$ define $\e(m)=+$ if $v_i<m<u_i$ and $1\leq

611: i\leq N$, and $\e(m)=-$ if $u_i<m<v_{i+1}$ and $0\leq i\leq N-1$.

612: This is shown on Fig.\ref{uv.eps}. Define $ D^+=\{m|\e(m)=+\}$ and

613: $D^-=\{m|\e(m)=-\}$.

614: 

615: 

616: Let $x^{\pm}_m$ be positive numbers related to $q_t$ as in

617: (\ref{q-x}). 

618: Notice that for given $q_t$ the numbers $x^\pm_m$ are

619: defined up to a transformation $x^\pm_m\to x^\pm_m a^{\pm 1}$.

620: 

621: 

622: \begin{theorem}\begin{enumerate}

623: \item The partition function for the height distribution on skew

624: plane partitions can be represented as the matrix element of the

625: product of vertex operator described in the Appendix \ref{vo} as

626: follows

627: \begin{multline}

628: Z=\Bigg(\prod_{u_N>m>v_N}\Gamma_-(x^+_m)\dots

629: \prod_{u_i<m<v_{i+1}}\Gamma_+(x^-_m)

630: \prod_{v_i<m<u_{i}}\Gamma_-(x^+_m)

631: \\

632: \prod_{v_1>m>u_0}\Gamma_+(x^-_m)v^{(m)}_0,

633: v^{(m)}_0\Bigg)= \Bigg(\prod_{m\in \Z+\oh,

634: u_0<m<u_N}\Gamma_{-\e(m)}(x^{\e(m)}_m)v^{(0)}_0, v^{(0)}_0\Bigg)

635: \end{multline}

636: and

637: \[

638: Z=\prod_{m_1<m_2, m_1\in D^-, m_2\in D^+}(1-x^-_{m_1}x^+_{m_2})^{-1},\  m_i\in

639: \Z+\oh

640: \]

641: \item Assume $t_1 >\dots > t_n$, then

642: \begin{multline}\label{corr}

643: \lang\rho_{h_1,t_1}\dots \rho_{h_n,t_n}\rang=\frac{1}{Z}\Bigg(\prod_{m\in

644: \Z+\oh, u_N>m>t_1}

645: \Gamma_{-\e(m)}(x^{\e(m)}_m)\psi_{j_1}\psi^*_{j_1}\dots\\

646: \prod_{t_i<m<t_{i-1}}\Gamma_{-\e(m)}(x^{\e(m)}_m)\psi_{j_i}\psi^*_{j_i}

647: \prod_{t_{i+1}<m<t_i}\Gamma_{-\e(m)}(x^{\e(m)}_m)\\

648: \dots \psi_{j_n}\psi^*_{j_n} \prod_{t_n>m>u_0}

649: \Gamma_{-\e(m)}(x^{\e(m)}_m)v^{(0)}_0,v^{(0)}_0\Bigg)

650: \end{multline}

651: Here and below $j_i=h_i-B(t_i)+1/2$.

652: \item Correlation functions

653: (\ref{cor1}) are determinants:

654: \begin{equation}\label{main-corr}

655: \lang\rho_{h_1,t_1}\dots \rho_{h_n,t_n}\rang=

656: \det(K(t_i,h_i),(t_k,h_k)))_{1\leq i,k\leq n}

657: \end{equation}

658: where

659: \begin{multline}\label{main-corr2}

660: K((t_1,h_1),(t_2,h_2))=\\ \frac{1}{(2\pi i)^2}

661: \int_{|z|<R(t_1)}\int_{R^*(t_2)<|w|}

662: \frac{\Phi_-(z,t_1)\Phi_+(w,t_2)}{\Phi_+(z,t_1)\Phi_-(w,t_2)}\\

663: \frac{\sqrt{zw}}{z-w}z^{-h_1+B(t_1)-1/2}w^{h_2-B(t_2)+1/2}\frac{dzdw}{zw}

664: \end{multline}

665: Here $|w|<|z|$ for $t_1\geq t_2$, $|w|>|z|$ for $t_1<t_2$,

666: $R(t)=\min_{m>t}(|x^+_m|^{-1})$ and $R^*(t)=\max_{m<t}(|x^-_m|)$. Functions

667: $\Phi_\pm(z,t)$ are:

668: \begin{eqnarray}

669: \Phi_+(z,t)&=&\prod_{m>t, m\in D^+, m\in \Z+\oh}(1-zx_m^+)\\

670: \Phi_-(z,t)&=&\prod_{m<t, m\in D^-, m\in \Z+\oh}(1-z^{-1}x_m^-)

671: \end{eqnarray}

672: \end{enumerate}

673: \end{theorem}

674: \begin{proof}

675: 

676: The fact that the partition function and correlation functions for

677: the height distribution of plane partitions the  matrix element of

678: the product of vertex operators as above follows form the formula

679: (\ref{me}) for matrix elements of products of vertex operators

680: $\Gamma_\pm(x)$.

681: 

682: Using the commutation relations (\ref{gg}), and the fact that

683: $\Gamma_-(x)v^(m)_0=0$ we obtain the product formula for the

684: partition function.

685: 

686: The operators $\psi_j\psi_j^*$ act on the vector $v_\lambda^{(0)}$

687: as follows:

688: \[

689: \psi_j\psi_j^*v_\lambda^{(0)}=v_\lambda^{(0)}

690: \]

691: if $j=\lambda_i-i+1/2$ for some $i=1,2,\dots$ and

692: \[

693: \psi_j\psi_j^*v_\lambda^{(0)}=0

694: \]

695: otherwise. Using this fact and the formula for the matrix elements

696: of $\Gamma_\pm(x)$ we obtain the formula (\ref{corr}) for the

697: correlation functions of densities.

698: 

699: Moving operators $\Gamma_-$ to the right and $\Gamma_+$ to the

700: left  we obtain the following formula for the correlation

701: functions

702: \begin{multline*}

703: \lang\rho_{h_1,t_1}\dots \rho_{h_n,t_n}\rang=\\

704: (\psi_{j_1}(t_1)\psi^*_{j_1}(t_1)\dots\psi_{j_i}(t_i)\psi^*_{j_i}(t_i)

705: \dots  \psi_{j_n}(t_n)\psi^*_{j_n}(t_n)v^{(0)}_0,v^{(0)}_0)

706: \end{multline*}

707: where

708: \begin{multline}\label{psi}

709: \psi_j(t)=\prod_{m>t, m\in D^+}\Gamma_-(x^+_m)\prod_{m<t, m\in

710: D^-} \Gamma_+(x^-_m)^{-1}\psi_j \\

711:  \prod_{m<t, m\in D^-} \Gamma_+(x^-_m)\prod_{m>t, m\in

712: D^+}\Gamma_-(x^+_m)^{-1}

713: \end{multline}

714: and

715: \begin{multline}\label{psi-star}

716: \psi^*_j(t)=\prod_{m>t, m\in D^+}\Gamma_-(x^+_m)\prod_{m<t, m\in

717: D^-} \Gamma_+(x^-_m)^{-1}\psi_j^* \\

718:  \prod_{m<t, m\in D^-} \Gamma_+(x^-_m)\prod_{m>t, m\in

719: D^+}\Gamma_-(x^+_m)^{-1}

720: \end{multline}

721: 

722: Here the operators on the right are given by power series.

723: Commuting formal power series gives the following

724: identities:

725: \[

726: \Gamma_+(x)^{-1}\psi_k\Gamma_+(x)=\psi_k-x\psi_{k+1}

727: \]

728: \[

729: \Gamma_-(x)\psi_k\Gamma_-(x)^{-1}=\sum_{n\geq 0}x^n\psi_{k-n}

730: \]

731: \[

732: \Gamma_+(x)^{-1}\psi^*_k\Gamma_+(x)=\sum_{n\geq 0} x^n\psi^*_{k-n}

733: \]

734: \[

735: \Gamma_-(x)\psi^*_k\Gamma_-(x)^{-1}=\psi^*_k-x\psi^*_{k+1}

736: \]

737: %Each of these identities except the third one, being applied to a

738: %vector $v\in F$, have only finitely many summands. The third

739: %identity make sense only for $|x|<1$. Thus, the operator

740: %$\psi^*_j(t)$ is defined only if $\max_{m<t}(|x^-_m|)<1$.

741: 

742: %The correlation functions are invariant with respect to

743: %transformation $x^\pm_m\mapsto a^\pm x^\pm_m$. We can choose $a$

744: %to ensure the convergence of $\psi^*_j(t)$. We will see how to

745: %choose it later.

746: 

747: %Using commutation relations between vertex operators and Clifford

748: %operators we get the following formulae for

749: 

750: 

751: Applying these identities to the formal Fourier transform

752: of $\psi_j(t)$ and $\psi^*_j(t)$ we obtain:

753: \begin{equation}\label{ps}

754: \psi(z,t)=\prod_{m>t, m\in D^+}(1-zx_m^+)^{-1}\prod_{m<t,

755: m\in D^-}(1-z^{-1}x_m^-)

756: \psi(z) \ ,

757: \end{equation}

758: \begin{equation}\label{ps-star}

759: \psi^*(z,t)=\prod_{m>t, m\in D^+}(1-zx_m^+)\prod_{m<t, m\in D^-}

760: (1-z^{-1}x_m^-)^{-1} \psi^*(z)\,,

761: \end{equation}

762: %

763: where both sides are power series in $x^\pm_m$ and are

764: formal Laurent power series in $z$. If $v\in F$, then

765: $\psi(z)v\in z^{1/2}F[z^{-1}, z]]$ and

766: $\psi^*(z)v=z^{1/2}F[z^{-1}, z]]$.

767: 

768: For the inverse Fourier transform of $\psi(z,t)v$ and $\psi(z,t)$

769: we obtain the following

770: integral representations:

771: \begin{equation}\label{p}

772: \psi_k(t)v=\frac{1}{2\pi

773: i}\int_{|z|<R(t)}\frac{\Phi_-(z,t)}{\Phi_+(z,t)}z^{-k-1}\psi(z)vdz

774: \end{equation}

775: \begin{equation}\label{p-star}

776: \psi^*_k(t)v=\frac{1}{2\pi

777: i}\int_{R^*(t)<|w|<1}\frac{\Phi_+(w,t)}{\Phi_-(w,t)}w^{k-1}\psi^*(w)vdw

778: \end{equation}

779: Here $v\in F$, both sides are vectors in $F[[x^\pm_m]]$ and these

780: power series converge for sufficiently small $x$'s.

781: 

782: The contour of integration for $z$ is

783: chosen in such a way that none of the poles of $\Phi_+(z,t)$ will

784: be inside of it, this gives $|z|<R(t)=\min_{m>t}(|x^+_m|^{-1})$. The

785: contour of integration for $w$ is such that none of the poles of

786: $\Phi_-(w,t)$ are outside the contour. This gives

787: $|w|>R^*(t)=\max_{m<t}(|x^-_m|)$.

788: 

789: 

790: %This gives

791: %$R^*(t)=\max_{m<t}(|x^-_m|)<|w|$. Since for any vector $v\in F$ the

792: %powers series $\psi_j^*(w)v$ converges only for $|w|<1$. Together

793: %with the previous inequality this gives the condition $R^*(t)<1$.

794: %We assume that $a$ is chosen such that $R^*(t_i)<1$ for all $t_i$

795: %which appear in the correlation function.

796: 

797: As it follows from the Wick's lemma (\ref{wl}) that correlation

798: functions (\ref{cor1}) are determinants of matrices of correlation

799: functions of two Clifford operators (\ref{psi})(\ref{psi-star}).

800: \[

801: \lang\rho_{h_1,t_1}\dots \rho_{h_n,t_n}\rang= \det(K_{a,b})_{1\leq a,b\leq

802: n}

803: \]

804: where

805: \[

806: K_{a,b}=K((t_a,h_a),(t_b,h_b))=

807: \begin{cases}

808:   \left(\psi_{j_a}(t_a)\, \psi^*_{j_b}(t_b) \, v_0,v_0\right)\,,

809: & a \le b \,,\\

810: -\left(\psi^*_{j_b}(t_b)\, \psi_{j_a}(t_a) \, v_0,v_0\right) \,,

811: & a > b \,.\\

812: \end{cases}

813: \]

814: Notice that $a\leq b$ iff $t_a\geq t_b$ and $a>b$ iff $t_a<t_b$. Now,

815: substitute (\ref{p}) and (\ref{p-star}) into $K_{ab}$ and take into

816: account (\ref{pmel}). This proves the formula for correlation

817: functions.

818: 

819: \end{proof}

820: 

821: 

822: \subsection{}Notice that operators $\psi(z,t)$ and $\psi^*(z,t)$

823: satisfy the difference equations:

824: \[

825: \psi(z,t+1)=(1-zx^+_{t+1/2})\psi(z,t), \ \ t\in D_+

826: \]

827: \[

828: \psi(z,t+1)=(1-z^{-1}x^-_{t+1/2})\psi(z,t), \ \ t\in D_-

829: \]

830: \[

831: \psi^*(z,t-1)=(1-zx^+_{t-1/2})\psi^*(z,t), \ \ t\in D_+

832: \]

833: \[

834: \psi^*(z,t-1)=(1-z^{-1}x^-_{t-1/2})\psi(z,t), \ \ t\in D_-

835: \]

836: 

837: These difference equations give the following difference equations for

838: correlation functions:

839: \begin{multline}\label{REC1}

840: K((t_1,h_1),(t_2,h_2))-K((t_1-1,h_1+1/2),(t_2,h_2)) \\

841: +x^+_{t_1-1/2}

842: K((t_1-1,h_1-1/2),(t_2,h_2))=\delta_{t_1,t_2}\delta_{h_1,h_2},

843: \  t_1\in D_+ \ ,

844: \end{multline}

845: 

846: \begin{multline}\label{REC2}

847: K((t_1,h_1),(t_2,h_2))-K((t_1-1,h_1-1/2),(t_2,h_2))\\

848: +x^-_{t_1-1/2}

849: K((t_1-1,h_1+1/2),(t_2,h_2))=\delta_{t_1,t_2}\delta_{h_1,h_2},

850: \ t_1\in D_- \ ,

851: \end{multline}

852: 

853: 

854: Using these equations and similar difference equations in $t_2$

855: one can express all correlation functions in terms of equal time

856: correlation functions.

857: \begin{remark}

858: The equations (\ref{REC1}) and (\ref{REC2}) together with

859: appropriate boundary conditions are the equations for the

860: inverse Kasteleyn matrix for the corresponding dimer model.

861: \end{remark}

862: 

863: \subsection{ The homogeneous restricted case}

864: In the homogeneous restricted case $0<q_t=q<1$ for $u_0\leq t\leq

865: u_N$ and $q_t=0$ otherwise.

866: 

867: In the homogeneous case $x^\pm_m=a^{\pm 1}q^{\pm m}$. The

868: partition function does not depend on $a$.  The functions

869: $\Phi_\pm(z,t)$ are:

870: \begin{eqnarray}

871: \Phi_+(z,t)&=&\prod_{m>t, m\in D^+}(1-zq^{m}a), \\

872: \Phi_-(z,t)&=&\prod_{m<t, m\in D^-}(1-z^{-1}q^{-m}a^{-1})

873: \end{eqnarray}

874: 

875: In this case we have

876: \[

877: R(t)=\left\{ \begin{array}{ll} a^{-1}q^{-v_i},& \ u_i<t<v_i\\

878: a^{-1}q^{-t},& \ v_{i-1}<t<u_i\end{array} \right.

879: \]

880: \[

881: R^*(t)=\left\{ \begin{array}{ll} a^{-1}q^{-t},& \ u_i<t<v_i\\

882: a^{-1}q^{-v_{i-1}},& \ v_{i-1}<t<u_i\end{array} \right.

883: \]

884: 

885: Notice, that when $q\to 0$ the density of horizontal tiles

886: converges to

887: \[

888: \rho(h,t)= \frac1{(2\pi i)^2} \int_{|z|=1+\epsilon}

889: \int_{|w|=1\-\epsilon} \frac1{z-w} \frac{dz \, dw}{z^{h+B(t)+\oh}

890: w^{-h-B(t)+\frac12}}\,.

891: \]

892: This integral is $1$ when $(h,t)$ is on a ``floor'' and is $0$

893: when it is on the ``wall''.

894: 

895: 

896: 

897: \section{The thermodynamic limit}\label{contlim}

898: 

899: Here we will study the limit $q\to 1$ of the homogeneous Gauss

900: distribution on restricted skew plane partitions when the number

901: of corners in the inner shape of diagrams remain finite.

902: 

903: We assume that $q=\exp(-r)$, \ $r\to +0$ and $U_i=ru_i, \

904: V_i=rv_i$ and  $ N$ remain fixed and that

905: $U_0<V_1<U_1<\dots<V_N<U_N$.

906: 

907: \subsection{Asymptotics of the partition function}

908: 

909: 

910: It is easy to compute the free energy of the system in this limit:

911: \begin{multline*}

912: F=-\log Z=- \sum_{ m<n, m \in D^-,

913: n\in D^+} \log(1-q^{n-m})= \\

914: -\frac{1}{r^2}\Bigg(\sum_{1\leq i\leq j\leq N}

915:   \int_{U_{i-1}<\mu<V_i}\int_{V_j<\nu<U_j}

916: \log (1-e^{\mu-\nu})d\mu d\nu\Bigg)+o\Big(\frac{1}{r^2}\Big)

917: \end{multline*}

918: 

919: 

920: Similarly, one can compute the asymptotic of the average volume of

921: a 3D partition:

922: \begin{multline*}

923: \lang|\pi|\rang= q\frac{\partial}{\partial q}Z= \sum_{m<n, m\in  D^-

924: n\in D^+}\frac{n-m}{1-q^{n-m}}=\\

925: \frac{1}{r^3}\Bigg(\sum_{i\leq j}

926:   \int_{U_{i-1}<\mu < V_i}\int_{V_j<\nu < U_j}

927: \frac{\nu-\mu}{1-e^{\mu-\nu}}d\mu d\nu\Bigg)+ o\Big(\frac{1}{r^3}\Big)

928: \end{multline*}

929: 

930: The first formula reflects essentially two dimensional nature of

931: the problem. The second formula implies that $r^{-1}$ is the

932: characteristic length of the system when $r\to 0$. 

933: 

934: \subsection{The function $S(z)$} Now let

935: us analyze the correlation functions (\ref{main-corr2}) in the 

936: limit $r\to +0$. Since $r^{-1}$ is a characteristic scale of the

937: system  in this limit we assume $\tau=t_ir, \ \chi=h_ir$ 

938:  remain finite. Depending on the value of $(\chi,\tau)$ we will either

939: keep the differences $t_i-t_j$ and \ $h_i-h_j$  finite, 

940: or we  will scale them as appropriate powers of 

941: $r$.

942: 

943:  When $r\to +0$ the

944: functions in the integral defining correlation functions behave as

945: $$

946: \frac{\Phi_-(z,t)}{\Phi_+(z,t)}z^{-h-B(t)-\frac12}=

947: \exp\left(\frac{S(z)}{r}\right)F(z)(1+O(r))

948: $$

949: where

950: \[

951: S(z)=\int_{\mu <\tau, \ \mu \in D_-} \log (1-z^{-1}e^\mu)d\mu

952: -\int_{\mu > \tau, \  \mu \in D_+} \log (1-ze^{-\mu})d\mu- (\chi

953: +B(\tau))\ln(z)

954: \]

955: and $F(z)$ can be computed explicitly.

956: 

957: In this limit the integral \eqref{main-corr2} becomes

958: 

959: \begin{multline}\label{Corr-as}

960: K(h_1,t_1),(h_2,t_2))=\frac{1}{(2\pi i)^2}\times  \\

961: \int_{C_z} \int_{C_w}

962: e^{\tfrac{S(z;\chi_1,\tau_1)-S(w,\chi_2,\tau_2)}{r}}\frac{F(z;\chi_1,\tau_1)}{F(w;\chi_2,\tau_2)}

963: \frac{\sqrt{zw}}{z-w}\frac{dz}{z}\frac{dw}{w}\, (1+o(1)) \,. 

964: \end{multline}

965: 

966: The integration contours are described in the previous section.

967: For example, if $N=2$ and $U_1<\tau_1,\tau_2<V_2$ the contours

968: are:

969: \[

970: C_z\times C_w=\left\{ \begin{array}{ll}

971: e^{V_2}> |z|, |w|>|z|, |w|>e^{\tau}& \mbox{ if $\tau_1>\tau_2$} \\

972: e^{V_2}>|z|>|w|>e^{\tau} & \mbox{ if $\tau_1\geq\tau_2$}

973: \end{array}\right.

974: \]

975: 

976: The integral (\ref{Corr-as})  can be computed by the steepest descent method.

977: In order to do this

978: one should first analyze critical points of $S(z)$ and then

979: deform contours of integration accordingly.

980: 

981: 

982: 

983: \section{Critical points of $S(z)$ and the deformation of contours}\label{crpoints}

984: 

985: The function $S(z)$ can be written as a sum of dilogarithms:

986: $$

987: S(z)=-(\chi +B(\tau))\ln(z)+\sum^N_{i=0} \Li_2(ze^{-U_i})

988: -\sum_{i=1}^N\Li_2(ze^{-V_i}) -\Li_2(ze^{-\tau}) \ .

989: $$

990: where

991: $$

992: \Li_2(z)=\int_0^z\frac{\ln(1-x)}{x}dx

993: $$

994: 

995: Critical points of $S(z)$ are zeros of

996: \[

997: z\frac{\partial}{\partial z}S(z)=-(\chi +B(\tau))+ \int_{\mu

998: > \tau, \  \mu \in D_+}\frac{ze^{-\mu}}{1-ze^{-\mu}}d\mu

999: +\int_{\mu  <\tau, \  \mu \in D_-}

1000: \frac{z^{-1}e^{\mu}}{1-z^{-1}e^{\mu}}d\mu

1001: \]

1002: 

1003: This is equivalent to the following equations.

1004: \[

1005: -(\chi +B(\tau))-\sum_{0\leq

1006:  j<i}\log(\frac{1-z^{-1}e^{V_{j+1}}}{1-z^{-1}e^{U_j}})

1007: +\log(\frac{1-ze^{-U_i}}{1-ze^{-\tau}})+\sum_{

1008:  N\geq j>i}\log(\frac{1-ze^{-U_j}}{1-ze^{-V_j}})=0

1009: \]

1010: when $V_i<\tau<U_i$ and

1011: \[

1012: -(\chi +B(\tau))-\sum_{0\leq

1013:  j<i}\log(\frac{1-z^{-1}e^{V_{j+1}}}{1-z^{-1}e^{U_j}})

1014: -\log(\frac{1-z^{-1}e^{\tau}}{1-z^{-1}e^{U_i}})+\sum_{

1015:  N\geq j>i}\log(\frac{1-ze^{-U_j}}{1-ze^{-V_j}})=0

1016: \]

1017: when $U_i<\tau <V_{i+1}$.

1018: 

1019: Exponentiating these equations we obtain

1020: \begin{equation}\label{cp}

1021: \exp(-\chi -B(\tau)-L(\tau)) \prod_{0\leq j\leq

1022: N}(1-ze^{-U_j})=(1-ze^{-\tau})\prod_{1\leq

1023:   j\leq N}(1-ze^{-V_j})

1024: \end{equation}

1025: where

1026: \[

1027: L(\tau)=\left\{\begin{array}{ll}

1028: \sum_{0\leq j < i}(V_{j+1}-U_j) & \mbox{if $V_i< \tau <U_i$} \\

1029: \sum_{0\leq j< i}(V_{j+1}-U_j) +\tau- U_i& \mbox{if $U_i< \tau

1030: <V_{i+1}$}

1031: \end{array}

1032: \right.

1033: \]

1034: The number $L(\tau)$ is the total length of $(-)$ intervals which

1035: are to the left of $\tau$.

1036: 

1037: It is easy to see that

1038: \[

1039: L(t)+B(t)=t/2 - u_0 \,.

1040: \]

1041: Therefore the equation (\ref{cp}) can be written as

1042: %

1043: \begin{equation}\label{cp2}

1044: e^{\chi-\tau/2} z - e^{\chi+\tau/2} = f(z)\,

1045: \end{equation}

1046: %

1047: where

1048: $$

1049: f(z) = e^{U_0} \frac{\prod_0^N (z e^{-U_i} -1)} {\prod_1^N (z

1050: e^{-V_i} -1)}  \,.

1051: $$

1052: 

1053: \subsection{The number of roots}

1054: \begin{theorem} \label{realroots}The equation (\ref{cp2}) has either $N$ real

1055: solutions or $N-2$ real solutions and two complex conjugate.

1056: \end{theorem}

1057: \begin{proof}

1058: The function $f(z)$ has simple poles at $z=v_i$ and $z=\infty$ and

1059: simple zeros at $z=u_i$. A sample graph of the function $f(z)$ is

1060: plotted in Figure \ref{fofz}

1061: 

1062: \begin{figure}[htbp]

1063:   \begin{center}

1064:     {\scalebox{0.5}{\includegraphics{f-of-z.eps}}}

1065:     \caption{The graph of $f(z)$ for $\{U_0,V_1,U_1,V_2,U_2\}=\{-2,-0.5,1.5,2,3\}$}

1066:     \label{fofz}

1067:   \end{center}

1068: \end{figure}

1069: 

1070: Solutions to the equation (\ref{cp2}) are intersection points of

1071: the line $e^{\chi-\tau/}z-e^{\chi+\tau/2}$ with the graph of the

1072: function $f(z)$.  Any straight line of non-infinite slope

1073: obviously intersects the graph of $f(z)$ in at least $N-2$ points

1074: (and in at most $N$ points, since the degree of $f$ equals $N$).

1075: Hence among the roots of \eqref{cp2} there is at most one complex

1076: conjugate pair.

1077: \end{proof}

1078: 

1079: \subsection{The $N=1$ case} First, consider the equation

1080: (\ref{cp}) When $N=1$ the normalization of $U$'s and $V$'s given

1081: by the equation (\ref{norm-uv}) implies $V_1=0$. Introduce variables

1082: \[

1083: X=e^{\chi +\tau/2}, \ T=e^{-\tau},  \alpha=e^{U_0}, \

1084: \beta=e^{-U_1},

1085: \]

1086: The equation for critical points of $S(z)$ is quadratic:

1087: \begin{equation}\label{qe}

1088: (\beta-XT) z^2+(X+XT-(1+\alpha\beta)) z + (\alpha-X)=0

1089: \end{equation}

1090: The discriminant of this equation is:

1091: \begin{equation}\label{dis}

1092: \Delta=

1093: (X-XT-\alpha+\beta)^2-(X+XT)2(1-\alpha)(1-\beta)+(1-\alpha^2)(1-\beta^2).

1094: \end{equation}

1095: 

1096: The structure of solutions depend on the value of the discriminant

1097: $\Delta$.

1098: \begin{itemize}

1099: \item When $\Delta<0$ there are two complex conjugated critical

1100: points

1101: 

1102: \item When $\Delta>0$ these critical points are real.

1103: 

1104: \item When $\Delta=0$ the two simple critical points degenerate

1105: into one double critical point.

1106: 

1107: \end{itemize}

1108: 

1109: \subsection{The $N=2$ case}

1110: This is the smallest value of $N$ when the function $S(z)$ can have

1111: a triple critical point.

1112: 

1113: The function $S(z)$ for the case when $N=2$,  and $V_1+V_2<\tau<V_2$ is

1114: \[

1115: S(z)=\int_{U_0}^{v_1}\ln(1-z^{-1}e^\mu)d\mu+

1116: \int_{v_1+v_2}^{\tau}\ln(1-z^{-1}e^\mu)d\mu-\int_{v_2}^{U_2}\ln(1-z^{-1}e^\mu)d\mu

1117: -(\chi+B(\tau))\ln z

1118: \]

1119: We choose branches of logarithms such that the derivative of $S(z)$

1120: has brunch cuts $[e^{U_0},e^{V_1}]$, \ $[e^{V_1+V_2}, e^\tau]$, and $[e^{V_2},

1121: e^{U_2}]$.

1122: 

1123: 

1124: The function $S(z)$ has three critical points. They are either all

1125: real or there is a complex conjugate pair of simple complex critical points. 

1126: Geometrically these critical points correspond to intersection points of

1127: the line $e^{\chi-\tau/2}z-e^{\chi+\tau/2}$ with the graph of the

1128: function $f(z)$. 

1129: 

1130: When the line $e^{\chi-\tau/}z-e^{\chi+\tau/2}$

1131: intersects the graph of the function $f(z)$ transversally, the

1132: intersection points are simple critical points of $S(z)$. 

1133: 

1134: At double critical points the the line

1135: $e^{\chi-\tau/}z-e^{\chi+\tau/2}$ is tangent to $f(z)$ but it does  not

1136: bisect the graph of $f(z)$ at the point where it is tangent to the graph. 

1137: 

1138: At a triple critical point the line is

1139: tangent to the graph of $f(z)$ and bisects it.

1140: 

1141: By the definition, a double critical point $z$ of the function

1142: $S(z)$ satisfies the two equations $S'(z)=0$ and $S''(z)=0$. We

1143: have

1144: \[

1145: \zp S(z)=-\chi -\ln(ze^{-\frac{\tau}{2}}-e^{\frac{\tau}{2}})+\ln

1146: f(z)

1147: \]

1148: \[

1149: (\zp)^2S(z)=-\frac{ze^{-\frac{\tau}{2}}}{

1150: ze^{-\frac{\tau}{2}}-e^{\frac{\tau}{2}}}+ z\frac{f'(z)}{f(z)}

1151: \]

1152: This gives the system of equations for double critical points:

1153: \begin{eqnarray}\label{dcrit}

1154: e^{\chi-\tau/2} z - e^{\chi+\tau/2}& = &f(z)\, \\

1155: e^{\chi_0-\tau_0/2} & = & f'(z) \,

1156: \end{eqnarray}

1157: 

1158: These equations define the curve in the $(\chi,\tau)$ plane. We

1159: will say the point $(\chi,\tau)$ on this curve is {\it generic} if it is

1160: not a triple critical point, i. e. if $S'''(z)\neq 0$ where $z$ is

1161: the corresponding double critical point of $S(z)$ ( a solution to (\ref{dcrit}).

1162: 

1163: Denote by $z_0$ the triple critical point of $S(z)$ and by $(\chi_0,\tau_0)$

1164: the corresponding values of $\chi$ and $\tau$. By definition

1165: $S'(z_0)=S''(z_0)=S'''(z_0)=0$, which gives one more equation in

1166: addition to (\ref{dcrit}) :

1167: \[

1168: f''(z_0)=0

1169: \]

1170: 

1171: 

1172: It is clear from the shape graph of $f(z)$ that for each value of

1173: $\tau$ there are either $2$ or $4$ double critical points of

1174: $S(z)$. They satisfy the following inequalities:

1175: \begin{enumerate}

1176: \item $-\infty <\tau < V_1$, then $z_1<0$ and $0<z_2<e^{V_1}$

1177: 

1178: \item $V_1<\tau <U_1$, then $z_1<0$ and $e^{V_1}<z_2<e^\tau$

1179: 

1180: \item $U_1<\tau <\tau_0$, then $z_1<0$, \ $e^{V_1}<z_2< z_0$,

1181:  \ $z_0< z_3<e^{U_1}$, and $e^\tau <z_4< e^{V_2}$.

1182: 

1183: \item $\tau_0<\tau <V_2$, then $z_1<0$ and $e^\tau< z_2<e^{V_2}$.

1184: 

1185: \item $V_2<\tau< U_2$, then $z_1<0$ and $e^{V_2}<z_2$.

1186: 

1187: \end{enumerate}

1188: 

1189: It is also clear that if $\tau_0>U_1$, then

1190: \[

1191: e^{V_1}<z_0<e^{U_1}

1192: \]

1193: 

1194: 

1195: \subsection{Deformation of integration

1196: contours}\label{cont-deform} We want to deform contours of

1197: integration in (\ref{Corr-as}) to position them in the way the

1198: steepest descent methods requires. If $z_c$ is a critical point of

1199: $S(z)$, and if it does not lie on a branch cut of the function

1200: $S(z)$, the integration contour should be deformed to a contour

1201: which lies on the curve $\Im(S(z))=\Im(S(z_c))$.

1202: 

1203: The function $S(z)$ has branch cuts along the real line. However,

1204: only $\exp(\frac{S(z)}{r})F(z)$, which is the leading term of the

1205: asymptotic of $\frac{\Phi_-(z,t)}{\Phi_+(z,t)}z^{-h-B(t)-\frac12}$

1206: appear in the integral (\ref{Corr-as}).

1207: 

1208: Zeros of $\Phi_+(z)$ are accumulating along $(e^{V_2},e^{U_2})$.

1209: Therefore we can not deform $C_z$ through this segment but we can

1210: deform through any other part of the real line.

1211: 

1212: Similarly, zeros of $\Phi_-(w)$ are accumulating in the segments

1213: $(e^{U_0}, e^{V_1})$ and $(e^{U_1},e^\tau)$. Thus, the contour

1214: $C_w$ can not be deformed through these segments but can be

1215: deformed through any other segment of the real line.

1216: 

1217: Therefore we have to deform contours $C_z$ and $C_w$ to the union

1218: of appropriate branches of curves $\Im(S(z))=\Im(S(z_c+i0))$ and

1219: $\Im(S(z))=\Im(S(z_c-i0))$. Figures \ref{level-Im-simp},

1220: \ref{level-Im-double}, and \ref{level-Im-triple} show  these

1221: curves for simple critical points, double critical points and the

1222: triple critical point, respectively. 

1223: 

1224: \begin{figure}[htbp]

1225:   \begin{center}

1226:     \rotatebox{270}{\scalebox{0.3}{\includegraphics{level-Im-simp.eps}}}

1227:     \caption{Level curves of $\Im(S)$ when all critical points are simple}

1228:     \label{level-Im-simp}

1229:   \end{center}

1230: \end{figure}

1231: 

1232: 

1233: \begin{figure}[htbp]

1234:   \begin{center}

1235:     \rotatebox{270}{\scalebox{0.3}{\includegraphics{level-Im-double.eps}}}

1236:     \caption{Level curves of $\Im(S)$ when there is a double critical

1237:     point}

1238:     \label{level-Im-double}

1239:   \end{center}

1240: \end{figure}

1241: 

1242: \begin{figure}[htbp]

1243:   \begin{center}

1244:     \rotatebox{270}{\scalebox{0.3}{\includegraphics{level-Im-triple.eps}}}

1245:     \caption{Level curves of $\Im(S)$ when there is a triple critical point}

1246:     \label{level-Im-triple}

1247:   \end{center}

1248: \end{figure}

1249: 

1250: Deformed contours of

1251: integration $C_z$ and $C_w$ are shown in  Figures \ref{cont-simple-12},

1252: \ref{cont-simple-21}, \ref{cont-double-z}, \ref{cont-double-w},

1253: \ref{cont-triple-z}, \ref{cont-triple-w} for simple, double,

1254: and triple critical points respectively.

1255: 

1256: %\begin{figure}[htbp]

1257:  % \begin{center}

1258:   %  \rotatebox{270}{\scalebox{0.5}{\includegraphics{cont-simple-z.eps}}}

1259:    % \caption{Deformation of the integration contour $C_z$

1260: %for simple critical points}

1261:  %   \label{cont-simple-z}

1262: %  \end{center}

1263: %\end{figure}

1264: 

1265: %\begin{figure}[htbp]

1266: %  \begin{center}

1267: %    \rotatebox{270}{\scalebox{0.5}{\includegraphics{cont-simple-w.eps}}}

1268: %    \caption{Deformation of the integration contour $C_w$

1269: %for simple critical points}

1270: %    \label{cont-simple-w}

1271: %  \end{center}

1272: %\end{figure}

1273: 

1274: \begin{figure}[htbp]

1275:   \begin{center}

1276:     {\scalebox{0.3}{\includegraphics{cont-double-z.eps}}}

1277:     \caption{Deformation of the integration contour $C_z$ for

1278: a double critical point}

1279:     \label{cont-double-z}

1280:   \end{center}

1281: \end{figure}

1282: 

1283: \begin{figure}[htbp]

1284:   \begin{center}

1285:     {\scalebox{0.3}{\includegraphics{cont-double-w.eps}}}

1286:    \caption{Deformation of the integration contour $C_w$ for

1287: a double critical point}

1288:     \label{cont-double-w}

1289:   \end{center}

1290: \end{figure}

1291: 

1292: \begin{figure}[htbp]

1293:   \begin{center}

1294:     {\scalebox{0.3}{\includegraphics{cont-triple-z.eps}}}

1295:     \caption{Deformation of the integration contour $C_z$ for a  triple

1296: critical point}

1297:     \label{cont-triple-z}

1298:   \end{center}

1299: \end{figure}

1300: 

1301: \begin{figure}[htbp]

1302:   \begin{center}

1303:     {\scalebox{0.3}{\includegraphics{cont-triple-w.eps}}}

1304:     \caption{Deformation of the integration contour $C_w$ for a triple

1305:     critical point}

1306:     \label{cont-triple-w}

1307:   \end{center}

1308: \end{figure}

1309: 

1310: \begin{figure}[htbp]

1311:   \begin{center}

1312:     {\scalebox{0.3}{\includegraphics{cont-simple-12.eps}}}

1313:    \caption{Deformation of the integration contour for

1314: a simple critical point when $t_1\geq t_2$}

1315:     \label{cont-simple-12}

1316:   \end{center}

1317: \end{figure}

1318: 

1319: \begin{figure}[htbp]

1320:   \begin{center}

1321:     {\scalebox{0.3}{\includegraphics{cont-simple-21.eps}}}

1322:    \caption{Deformation of the integration contours for

1323: a simple critical point when $t_1< t_2$}

1324:     \label{cont-simple-21}

1325:   \end{center}

1326: \end{figure}

1327: 

1328: While deforming contours $C_z$ and $C_w$ one should keep track on

1329: the residues at the pole $z=w$. We will discuss this later.

1330: 

1331: 

1332: \section{Simple critical points and bulk limit}

1333: 

1334: \subsection{Bulk limit of correlation functions}

1335: Here we will compute the asymptotic of the integral

1336: (\ref{Corr-as}) when there is a pair of complex conjugate critical

1337: points and when $\Delta h=h_1-h_2$ and $\Delta t=t_1-t_2$ are

1338: fixed in the limit $r\to 0$.

1339: 

1340: Deform contours $C_z$ and $C_w$ to $C_1$ and $C_2$ respectively as

1341: it is  shown on Fig. \ref{cont-simple-12} for $t_1\geq t_2$ and 

1342: as it is shown on Fig. \ref{cont-simple-21} for $t_1<t_2$.

1343: 

1344: 

1345: 

1346: Taking into account the residue at $z=w$ we have the identity:

1347: \begin{equation}\label{simple-deform}

1348: \int_{C_z}\int_{C_w}...=\int_{C_1}\int_{C_2}....+\int_{\gamma_\pm}...

1349: \end{equation}

1350: Here we take $+$ for $\Delta t\geq 0$ and $-$ otherwise. If

1351: $U_i<\tau<V_{i+1}$ then $\gamma_+$ is a simple curve connecting

1352: $z_c$ and $\bar{z_c}$ and passing through positive part of the

1353: real line with $e^{V_{i+1}}<z$. Similarly, $\gamma_-$ is a simple

1354: curve connecting $z_c$ and $\bar{z_c}$ and passing through the

1355: negative part of the real line. If $V_i<\tau<U_i$ then

1356: $\gamma_\pm$ are again simple curves connecting $z_c$ and

1357: $\bar{z_c}$ in such a  way that $\gamma_-$ intersects the negative

1358: part of the real line and $\gamma_+$ intersects the positive part

1359: of the real line at $e^\tau<z$.

1360: 

1361: 

1362: As $r\to 0$ only the second term in the right hand side of

1363: (\ref{simple-deform}) will have finite limit. The first term will

1364: vanish. The computations are similar to \cite{OR}. The integrals

1365: along $\gamma_\pm$ converge as $r\to 0$ to

1366: \begin{equation}

1367: \kappa(\Delta h,\Delta

1368: t)=\left\{\begin{array}{ll}B_{\gamma_+}^{(\e(\tau))}(\Delta

1369: t,\Delta h+\e(\tau)\Delta t/2) &, \ \Delta t\geq 0

1370: \\ B_{\gamma_-}^{(\e(\tau))}(\Delta t,\Delta h+\e(\tau)\Delta t/2) &, \ \Delta t<0

1371: \end{array}\right.

1372: \end{equation}\label{cf}

1373: where

1374: \[ B_\gamma^{(\pm)}(k,l)= \frac{1}{2\pi i}\int_{\gamma}

1375: (1-e^{\mp\tau}w^{\pm 1})^{k} w^{-l-1} \, dw \ ,

1376: \]

1377: Here $\e(\tau)=1$ when $ \ V_i<\tau<U_i$ and $\e(\tau)=-1$ when

1378: $U_i<\tau <V_{i+1}$. The contours $\gamma_\pm$ are as above.

1379: 

1380: For the limit of correlation functions we obtain the following

1381: answer:

1382: \[

1383: \lim_{r\to 0}\lang\rho_{h_1,t_1}\dots \rho_{h_n,t_n}\rang=

1384: \det(\kappa_{a,b})_{1\leq a,b\leq n}

1385: \]

1386: where

1387: \[

1388: \kappa_{a,b}=\kappa((h_a-h_b),(t_a-t_b))= \lim_{r\to +0}

1389: K((t_a,h_a),(t_b,h_b))

1390: \]

1391: 

1392: Correlation functions for finite $q$ satisfy recurrense equations

1393: (\ref{REC1}) and (\ref{REC2}). In the limit these

1394: recurrence relations turn into difference equations for correlation

1395: functions (\ref{cf}):

1396: \[

1397: \kappa(h, t )-\kappa( h +\e(\tau) 1/2,  t-1)+

1398: e^{-\e(\tau)\tau}\kappa(h -\e(\tau) 1/2 , t-1 )= \delta_{ h,

1399: 0}\delta_{ t, 0}

1400: \]

1401: where $\epsilon(\tau)=+1$ when $\tau\in D^+$, $\epsilon(\tau) =-1$

1402: when $\tau \in D^-$. These equations can also be directly deduced

1403: from the integral representation of correlation functions.

1404: 

1405: \begin{remark} The

1406: difference operator in these equations is the Kasteleyn matrix

1407: on the infinite hexagonal lattice. The pairwise correlation function

1408: (\ref{cf}) can be regarded as the inverse for this matrix

1409: with the boundary conditions determined by $(\tau, \chi)$.

1410: \end{remark}

1411: 

1412: For one-time correlation functions we have:

1413: \[

1414: \kappa(h,0)=|z_c|^{-h}\frac{\sin(\theta h)}{\pi h}

1415: \]

1416: where $\theta$ is the argument  of $z_c$, that is,  $z_c=|z_c|e^{i\theta}$.

1417: 

1418: Notice that the factor $|z_c|^h$ does not contribute to the

1419: equal-time density correlation functions and we have:

1420: 

1421: $$

1422: \lim_{r\to 0}\lang\rho_{h_1,t}\dots \rho_{h_n,t}\rang=

1423: \det\left(\frac{\sin(\theta(h_a-h_b))}{\pi (h_a-h_b)}

1424: \right)_{1\leq a,b\leq

1425: n}

1426: $$

1427: Here we assume that $h_1>h_2>\dots h_n$.

1428: 

1429: \subsection{Limit shape}

1430: The form of the one-point correlation function implies that 

1431: the density of horizontal tiles is

1432: \[

1433: \rho(\tau,\chi)=\frac{\theta}{\pi}

1434: \]

1435: where $\theta$ is the argument of $z_c$. The limit shape 

1436: can reconstructed from this density by integration: 

1437: %

1438: \begin{equation}

1439: z(\tau,\chi)=\int_{-b(\tau)}^\chi (1-\rho_(\tau,s)) \, ds \,.

1440: \end{equation}

1441: \begin{equation}

1442: x(\tau,\chi)=z(\tau,\chi)-\chi-\frac\tau2\,, \quad

1443: y(\tau,\chi)=z(\tau,\chi)-\chi+\frac\tau2\,,

1444: \end{equation}

1445: Here $b(\tau)=\max(-\tau/2+U_0, \tau/2+U_N)$.

1446: Thus, the information about the limit shape is in the structure of

1447: critical points of the function $S(z)$. 

1448: 

1449: When the point $(\tau,

1450: \chi)$ is such that all critical points of $S(z)$ are real the

1451: limit of correlation functions (\ref{cf}) is either $1$ or $0$. It

1452: is zero if the maximum of $S(z)$ is inside of the cycle of

1453: integration and it is $1$ if it is outside. The corresponding 

1454: point $(x,y,z)$ lies on a facet (flat 

1455: part of the limit shape). 

1456: 

1457: If $(\tau,\chi)$ is such that  there is a pair of complex

1458: conjugate simple critical points, the point $(x,y,z)$

1459: lies  in the disordered region (curved part of the limit 

1460: shape). 

1461: 

1462: The frozen boundary (that is, the boundary between the 

1463: disordered region and the facets)

1464: limit shape correspond to $(\chi,\tau)$ for which 

1465: there exists a real zero of $S(z)$ of the multiplicity at least

1466: $2$. Cusps of the frozen boundary correspond to triple

1467: critical points.

1468: 

1469: We plotted the frozen boundary in the 

1470: $(\tau,\chi)$-plane on Fig. \ref{bc1} for $N=1$ and on

1471: Fig. \ref{shape1}

1472: for $N=1$. The vicinity of the cusp is magnified on Fig. \ref{shape2}.

1473: It is instructive to compare these curves with the result of 

1474: numeric simulation in Figure \ref{skew-random}.

1475: 

1476: \begin{figure}[htbp]

1477:   \begin{center}

1478:     {\scalebox{0.3}{\includegraphics{bc1.eps}}}

1479:    \caption{An example of frozen boundary for $N=1$}

1480:     \label{bc1}

1481:   \end{center}

1482: \end{figure}

1483: 

1484: 

1485: \begin{figure}[htbp]

1486:   \begin{center}

1487:     {\scalebox{0.3}{\rotatebox{-90}{\includegraphics{shape1.ps}}}}

1488:    \caption{An example of frozen boundary  for $N=2$}

1489:     \label{shape1}

1490:   \end{center}

1491: \end{figure}

1492: 

1493: 

1494: \begin{figure}[htbp]

1495:   \begin{center}

1496:     {\scalebox{0.3}{\rotatebox{-90}{\includegraphics{shape2.ps}}}}

1497:    \caption{The vicinity of a cusp}

1498:     \label{shape2}

1499:   \end{center}

1500: \end{figure}

1501: 

1502: 

1503: 

1504: \section{Double critical points and the scaling limit near the

1505: boundary}

1506: \subsection{}Now, let us assume that $(\chi_0,\tau_0)$ are such that

1507: $z_0$ is a double critical point of $S(z)$. Consider the vicinity

1508: of $(z_0,\chi_0, \tau_0)$ with coordinates $z=z_0\exp(\xi),

1509: \chi=\chi_0+\delta\chi, \tau=\tau_0+\delta\tau$. Lowest degree

1510: terms in the Taylor expansion around $(z_0,\chi_0,\tau_0)$ are:

1511: \begin{eqnarray*}

1512: S(z,\chi,\tau)&=&S(z_0,\chi_0,\tau_0)+\frac{A}{3!}\xi^3-(\delta\chi-B\delta\tau)\xi+

1513: \frac{1}{2}C\delta\tau\xi^2 + \frac{1}{2}D\delta\tau^2\xi \\

1514: &+& \frac{1}{3!}E\delta\tau^3

1515: +H\delta\tau+\frac{1}{2}G\delta\tau^2-\ln(z_0)\delta\chi+ \dots

1516: \end{eqnarray*}

1517: where

1518: \begin{equation}\label{B}

1519: A= (\zp)^3S(z)|_{z_0,\tau_0}=\frac{z_0^2f''(z_0)}{f(z_0)}

1520: \end{equation}

1521: \begin{equation}\label{A}

1522: B=z\frac{\partial^2}{\partial \tau\partial

1523: z}S(z)|_{z_0,\tau_0}=

1524: \frac{z_0e^{-\frac{\tau_0}{2}}+e^{\frac{\tau_0}{2}}}

1525: {2(z_0e^{-\frac{\tau_0}{2}}-e^{\frac{\tau_0}{2}})}

1526: \end{equation}

1527: \begin{equation}\label{C}

1528: C=(\zp)^2\frac{\partial}{\partial

1529: \tau}S(z)|_{z_0,\tau_0}=-\frac{z_0}{(z_0e^{-\frac{\tau_0}{2}}-e^{\frac{\tau_0}{2}})^2}

1530: \end{equation}

1531: \begin{equation}\label{D}

1532: D=z\frac{\partial}{\partial z}\frac{\partial^2}{\partial

1533: \tau^2}S(z)|_{z_0,\tau_0}=\frac{z_0}{(z_0e^{-\frac{\tau_0}{2}}-e^{\frac{\tau_0}{2}})^2}

1534: \end{equation}

1535: \begin{equation}\label{E}

1536: E= \frac{\partial^3}{\partial

1537: \tau^3}S(z)|_{z_0,\tau_0}=-\frac{z_0}

1538: {(z_0e^{-\frac{\tau_0}{2}}-e^{\frac{\tau_0}{2}})^2}

1539: \end{equation}

1540: \begin{equation}\label{H}

1541: H=\frac{\partial}{\partial

1542: \tau}S(z)|_{z_0,\tau_0}=\left\{\begin{array}{ll}

1543: -\frac{1}{2}\ln(z_0)+\ln(z_0-e^{\tau_0)},& \ \tau_0\in D_- \\

1544: -\frac{1}{2}\ln(z_0)+\ln(e^\tau-z_0)-\tau_0,& \ \tau_0\in D_+

1545: \end{array}\right.

1546: \end{equation}

1547: \begin{equation}\label{G}

1548: G=\frac{\partial^2}{\partial

1549: \tau^2}S(z)|_{z_0,\tau_0}=\left\{\begin{array}{ll}

1550: -\frac{e^{\tau_0}}{z_0-e^{\tau_0}},& \ \tau_0\in D_- \\

1551: -\frac{z_0}{e^{\tau_0}-z_0},& \ \tau_0\in D_+

1552: \end{array}\right.

1553: \end{equation}

1554:  Notice that $C=-D, E=-D, D>0, A/B>0$.

1555: The sign of $A$ depends on the nature of the interface. It is

1556: positive if the frozen region is above the melted region and it is

1557: negative otherwise. It changes signs at the points $z_0=\exp(U_i)$

1558: and at the triple critical points where $f''(z_0)=0$.

1559: 

1560: Rescaling local coordinates $\xi$, $\delta\chi$ and $\delta\tau$

1561: as

1562: \[

1563: \xi=r^{\frac{1}{3}}\sigma, \ \

1564: \delta\chi-B\delta\tau=r^{\frac{2}{3}}x, \ \

1565: \delta\tau=r^{\frac{1}{3}}y \,

1566: \]

1567: we have

1568: \[

1569: \frac{S(z,\chi,\tau)-S(z_0,\chi_0,\tau_0)}{r}=\frac{A}{3!}\sigma^3-x\sigma+

1570: \frac{1}{2}Cy\sigma^2+\frac{1}{2}Dy^2\sigma+\frac{1}{3!}Ey^3

1571: +o(1)

1572: \]

1573: 

1574: 

1575: \subsection{}

1576: As  $r\to 0$ the leading asymptotic of the integral

1577: (\ref{Corr-as}) is determined by the leading asymptotic of the

1578: integral:

1579: \begin{equation}\label{Air-as}

1580: K(h_1,t_1),(h_2,t_2))=\frac{1}{(2\pi i)^2}\int_{C_z} \int_{C_w}

1581: e^{\frac{S(z;\chi_1,\tau_1)-S(w,\chi_2,\tau_2)}{r}}

1582: \frac{\sqrt{zw}}{z-w}\frac{dz}{z}\frac{dw}{w}(1+O(r^{1/3})

1583: \end{equation}

1584: If $V_1<\tau<V_2$, the contour of integration is

1585: \[

1586: C_z\times C_w=\left\{ \begin{array}{ll}

1587: 1>|z|>|w|>e^{V_1} & \mbox{ if $V_1<\tau<U_1$} \\

1588: e^{V_2}>|z|>|w|>e^{\tau} & \mbox{ if $U_1<\tau<V_2$}

1589: \end{array}\right.

1590: \]

1591: for $t_1\geq t_2$. When $t_1<t_2$ the only difference is that

1592: $|z|<|w|$.

1593: 

1594: Assume that coordinates $(h_i,t_i)$ are in the vicinity of the

1595: point $(\chi_0,\tau_0)$, and that as $r\to 0$ they scale in the

1596: following way:

1597: \begin{equation}\label{Axyscale}

1598: \chi_i=rh_i=\chi_0+r^{\frac{2}{3}}x_i-Br^{\frac{1}{3}}y_i, \

1599: \tau_i=rt_i= \tau_0+r^{\frac{1}{3}}y_i \,.

1600: \end{equation}

1601: In this limit condition $t_1\geq t_2$, $t_2> t_1$ translate to

1602: $y_1\geq y_2$ and $y_2>y_1$ respectively.

1603: 

1604: Deform contours of integration in such a way that they will pass

1605: through this critical point and will follow the branches of curves

1606: $\Im(S(z))=\Im(S(z_0))$ and $\Im(S(w))=\Im(S(z_0))$ where $\Re(S(z))$

1607: and $-\Re(S(w))$ have local maximum. Deformed contours are described in

1608: the section \ref{cont-deform}.

1609: 

1610: 

1611: The leading contribution to

1612: the asymptotic comes the vicinity of the point $z_0$ where

1613: we will use local coordinates

1614: $z=z_0(1+r^{\frac{1}{3}}\sigma)$ and

1615: $w=z_0(1+r^{\frac{1}{3}}\kappa)$. The saddle point integration

1616: contours for $\sigma$ and $\kappa$ in the limit $r\to 0$ are shown

1617: on Fig. \ref{cont-airy-p.eps} and Fig. \ref{cont-airy-m.eps} for $A>0$.

1618: 

1619: 

1620: \begin{figure}[htbp]

1621:   \begin{center}

1622:     \scalebox{0.3}{\includegraphics{airy-c-p.eps}}

1623: \caption{Integration contour for $\sigma$}

1624:     \label{cont-airy-p.eps}

1625:   \end{center}

1626: \end{figure}

1627: 

1628: \begin{figure}[htbp]

1629:   \begin{center}

1630:     \scalebox{0.3}{\includegraphics{airy-c-m.eps}}

1631: \caption{Integration contour for $\kappa$}

1632:     \label{cont-airy-m.eps}

1633:   \end{center}

1634: \end{figure}

1635: 

1636: 

1637: The leading term of the asymptotic of the integral (\ref{Air-as})

1638: is given by

1639: \begin{multline}

1640: K((h_1,t_1),(h_2,t_2))=

1641: \exp(\frac{H}{r^{2/3}}(y_1-y_2)+\frac{G}{r^{1/3}}(y_1^2-y_2^2)

1642: -\frac{\ln(z_0)}{r^{1/3}}(x_1-x_2)\\

1643: -\frac{B\ln(z_0)}{r^{2/3}}(y_1-y_2)+\frac{1}{3!}E(y_1^3-y_2^3))

1644: K_A((x_1-\frac{D}{2}y_1^2,y_1),(x_2-\frac{D}{2}y_2^2,y_2))(1+O(r^{1/3}))

1645: \end{multline}

1646: For $y_1\geq y_2$ the function $K_A$ is

1647: \begin{multline}\label{K-Airy}

1648: K_A((a_1,b_1),(a_2,b_2))=\\

1649: \frac{1}{(2\pi i)^2}\int_{C_+}\int_{C_-}

1650: \exp(\frac{A}{3!}(\sigma^3-\kappa^3)-\frac{D}{2}(b_1\sigma^2-b_2\kappa^2)-

1651: a_1\sigma+a_2\kappa) \frac{d\sigma d\kappa}{\sigma-\kappa} \, .

1652: \end{multline}

1653: For $y_1<y_2$ it has an extra term which comes from the residue at

1654: $\sigma=\tau$:

1655: \begin{multline}\label{K-Airy1}

1656: K_A((a_1,b_1),(a_2,b_2))= \frac{1}{(2\pi i)^2}\int_{C_+}\int_{C_-}

1657: \exp(\frac{A}{3!}(\sigma^3-\kappa^3)-\frac{D}{2}(b_1\sigma^2-b_2\kappa^2)-\\

1658: a_1\sigma+a_2\kappa) \frac{d\sigma d\kappa}{\sigma-\kappa} +

1659: \frac{1}{2\pi i}\int_{C_+}\exp(-\frac{D}{2}(b_1-b_2)\sigma^2-

1660: (a_1-a_2)\sigma) d\sigma  \, .

1661: \end{multline}

1662: 

1663: The function $K_A((x_1,y_1),(x_2,y_2))$ is discontinuous at

1664: $y_1=y_2$. The discontinuity is determined by the second term. It

1665: is not difficult to see that it is equal to

1666: \[

1667: \sqrt{\frac{1}{2\pi

1668: D|y_1-y_2|}}\exp(-\frac{(x_1-x_2)^2}{2D|y_1-y_2|})

1669: \]

1670: 

1671: 

1672: Notice that since correlation functions (\ref{corr}) are given by

1673: determinants, the exponential factors in front of the integral in

1674: (\ref{K-Airy}) will be canceled and we have:

1675: \[

1676: \lim_{r\to 0}\lang\rho_{h_1,t_1}\dots

1677: \rho_{h_n,t_n}\rang=\det(K_A((x_a-\frac{D}{2}y_a^2,y_a),(x_b-\frac{D}{2}y_b^2,y_b,y_b)))

1678: \]

1679: Here we assume that $(h_i,t_i)$ are scaled as in \ref{Axyscale}.

1680: 

1681: It is easy to verify that

1682: \[

1683: K_{A}((x_1,0),(x_2,0))=\frac{\Ai(\lambda x_1)\Ai'(\lambda x_2)-

1684: \Ai(\lambda x_2)\Ai'(\lambda x_1)}{\lambda(x_1-x_2)}

1685: \]

1686: where $\Ai(x)$ is the Airy function:

1687: \[

1688: \Ai(x)=\frac{1}{2\pi}\int_{\R}\exp(\frac{i}{3}t^3+ixt)dt ,

1689: \]

1690: and $\lambda=(\frac{2}{A})^{1/3}$.

1691: 

1692: For the scaling limit of the density of horizontal tiles

1693: we have:

1694: \begin{multline}

1695: \rho_{A}(x,y)=\\-i\frac{1}{(2\pi)^2\lambda}\int_{\R}\int_{\R}

1696: \exp\left(-i\frac{s^3-t^3}{3!}-\frac{i}{A^{1/3}}\left(\frac{C^2y^2}{2A}-x\right)(s-t)\right)

1697: \frac{ ds dt}{s-t-i 0} \ .

1698: \end{multline}

1699: 

1700: It can also be written as

1701: \[

1702: \rho_{A}(x,y)=\int_{-\infty}^{\lambda(\frac{C^2y^2}{2A}-x)}\Ai(v)^2dv

1703: \]

1704: In this form it is clear that the density function is positive.

1705: 

1706: \section{Triple critical points and the scaling limit near the

1707: cusp}

1708: \subsection{The singularity of the limit curve}

1709: Then the following holds if $z_0$ is a triple critical point

1710: \begin{equation}\label{s4}

1711: (\zp)^4S(z)|_{z_o}=z_0^3\frac{f^{(3)}(z_0)}{f(z_0)}

1712: \end{equation}

1713: The proof is straightforward. First, one computes the fourth

1714: derivative:

1715: \[

1716: (\zp)^4S(z)=\frac{z}{(ze^{-\frac{\tau}{2}}-e^{\frac{\tau}{2}})^2}-

1717: \frac{2z^2e^{-\frac{\tau}{2}}}{(ze^{-\frac{\tau}{2}}-e^{\frac{\tau}{2}})^3}+

1718: (z\frac{f'}{f}+3z^2(\frac{f'}{f})'+z^3(\frac{f'}{f})'')

1719: \]

1720: This expression reduces to (\ref{s4}) after taking into account

1721: equations for $z_0$. The second derivative of $f(z)$ vanishes at

1722: $z_0$ and, as it follows from the graph of $f(z)$, it is negative

1723: for $z<z_0$ and positive for $z>z_0$. This implies the positivity

1724: of $f^{(3)}(z_0)$. This means that the sign of $A$ is determined

1725: by the sign of $f(z_0)$. The later is negative if $z_0<\exp(U_1)$

1726: ( when the cusp on the limit shape is turned to the right) and

1727: is positive otherwise (i.e. when the cusp is turned to the left).

1728: 

1729: Now, let us find the behavior of the boundary curve near the cusp.

1730: Assume that $z_0$  is a triple critical point corresponding to the

1731: cusp with singularity at $(\chi_0,\tau_0)$, i.e. $z_0$,$a_0$ and

1732: $b_0$ satisfy the system:

1733: \begin{eqnarray}\label{c2}

1734: e^{\chi_0-\tau_0/2}&=&f'(z_0), \\

1735: e^{\chi_0+\tau_0/2}&=&z_0f'(z_0)-f(z_0), \\

1736: 0&=&f''(z_0)  .

1737: \end{eqnarray}

1738: 

1739: If a point $(\chi,\tau)$ is at the boundary curve, it satisfies the

1740: equations:

1741: \begin{equation}\label{c1}

1742: e^{\chi-\tau/2}=f'(z), \ \ e^{\chi+\tau/2}=zf'(z)-f(z),

1743: \end{equation}

1744: Let $(z,\chi,\tau)$ be a double critical point in a small vicinity of $(z_0,\chi_0,\tau_0)$:

1745: \[

1746: \chi=\chi_0+\delta\chi, \ \tau=\tau_0+\delta\tau, \

1747: z=z_0+\e

1748: \]

1749: Then from the equations (\ref{c1},\ref{c2}) we obtain the

1750: following asymptotic of the boundary curve near the cusp:

1751: \[

1752: \exp(\chi_0-\tau_0/2)(\delta\chi-\delta\tau/2)=\frac12f^{(3)}(z_0)\e^2+\frac{1}{6}f^{(4)}(z_0)\e^3+O(\e^4)

1753: \]

1754: \[

1755: \exp(\chi_0+\tau_0/2)(\delta\chi+\delta\tau/2)=\frac12z_0f^{(3)}(z_0)\e^2+\frac{1}{6}(z_0f^{(4)}(z_0)+2f^{(3)}(z_0))\e^3+O(\e^4)

1756: \]

1757: when $\e\to 0$. From here we have:

1758: \begin{multline}

1759: \delta\chi=\frac{1}{4}\exp(-\chi_0-\frac{\tau_0}{2})((z_0+\exp(\tau_0))f^{(3)}(z_0)\e^2+\\

1760: \frac{1}{3}((z_0+\exp(\tau_0))

1761: f^{(4)}(z_0)+2f^{(3)}(z_0))\e^3+...)

1762: \end{multline}

1763: \begin{multline}

1764: \delta\tau=\frac{1}{2}\exp(-\chi_0-\frac{\tau_0}{2})((z_0-\exp(\tau_0))f^{(3)}(z_0)\e^2+\\

1765: \frac{1}{3}((z_0-\exp(\tau_0))

1766: f^{(4)}(z_0)-2f^{(3)}(z_0))\e^3+...)

1767: \end{multline}

1768: 

1769: After reparametrization

1770: $$\e=\sigma-\frac{(z_0-e^{\tau_0})f^{(4)}(z_0)-2f^{(3)}(z_0)}

1771: {6f^{(3)}(z_0)(z_0-e^{\tau_0})}$$ we have:

1772: \[

1773: \delta\tau=\frac{1}{2}\exp(-\chi_0-\frac{\tau_0}{2})(z_0-\exp(\tau_0))

1774: f^{(3)}(z_0)\sigma^2+O(\sigma^3)

1775: \ ,

1776: \]

1777: \[

1778: \delta\chi=\frac{1}{4}\exp(-\chi_0-\frac{\tau_0}{2})((z_0+\exp(\tau_0))

1779: f^{(3)}(z_0)\sigma^2-\frac{4}{3}\frac{\exp(\tau_0)}{z_0-\exp(\tau_0)}

1780: f^{(3)}(z_0)\sigma^3)+O(\sigma^4) \ .

1781: \]

1782: 

1783: This is a parametrization of a cusp singularity in the boundary of the 

1784: limit shape.

1785: 

1786: \subsection{ The asymptotic of correlation functions}

1787: 

1788: Expanding the function $S(z,\chi,\tau)$ near the triple critical

1789: point $z_0$ we obtain the following lowest degree terms of the

1790: Taylor expansion:

1791: \begin{multline*}

1792: S(z,\chi_0+\delta\chi,\tau_0+\delta\tau)=S(z_0,\chi_0,\tau_0)+

1793: \frac{A}{4!}\xi^4-\delta\chi\xi+B\delta\tau\xi+\frac{1}{2}C\delta\tau\xi^2+\\

1794: +\frac{1}{2}D\delta\tau^2-\ln(z_0)\delta\chi+H\delta\tau+o(1)

1795: \end{multline*}

1796: where

1797: \[

1798: A=z_0^3\frac{f^{(3)}(z_0)}{f(z_0)}

1799: \]

1800: and $B$ and $C$ are as before, given by (\ref{B})(\ref{C}). Recall

1801: that $A<0$ is the cusp in the limit shape is turned right and

1802: $A>0$ if it is turned left.

1803: 

1804: Scaling local coordinates as

1805: \[

1806: \xi=r^{\frac{1}{4}}\sigma, \ \delta\chi -B\delta\tau

1807: =r^{\frac{3}{4}}x, \ \delta\tau=r^\frac{1}{2}y \,

1808: \]

1809: we obtain the following asymptotic for $S$:

1810: \begin{multline*}

1811: \frac{S(z,\chi,\tau)-S(z_0,\chi_0,\tau_0)}{r}=\frac{A}{4!}\sigma^4

1812: -x\sigma+ \frac{C}{2}y\sigma^2 +

1813: \frac{D}{2}y^2+\\ \frac{H}{r^{1/2}}y-\frac{\ln(z_0)}{r^{1/4}}x+

1814: \frac{B\ln(z_0)}{r^{3/4}}y+o(1)

1815: \end{multline*}

1816: 

1817: 

1818: Now let us find the asymptotic of the integral (\ref{Air-as}) as

1819: $r\to 0$ assuming that coordinates are scaled as

1820: \begin{equation}\label{Pxyscale}

1821: rh_i=\chi_0+r^{\frac{3}{4}}x_i-Br^\frac{1}{4}y_i, \

1822: rt_i=\tau_0+r^\frac{1}{2}y_i \, .

1823: \end{equation}

1824: where $(\chi_0, \tau_0)$ are coordinates of the tip of the cusp.

1825: 

1826: The asymptotic of the integral (\ref{Air-as}) as $r\to 0$ and 

1827: \[

1828: rh_i=\chi_0+r^{\frac{3}{4}}x_i-Br^\frac{1}{4}y_i, \

1829: rt_i=\tau_0+r^\frac{1}{2}y_i \, .

1830: \]

1831: can be evaluated by the steepest descent method.

1832: It is determined by the contribution

1833: from the triple critical point $z_0$ and after deforming contours

1834: of integration as it described in section \ref{cont-deform} the

1835: leading term of the asymptotic is given by the integral

1836: \begin{multline}

1837: K((h_1,t_1)(h_2,t_2))=

1838: \exp(-\frac{\ln(z_0)}{r^{1/4}}(x_1-x_2)+\frac{H}{r^{1/2}}(y_1-y_2)+\frac{B\ln(z_0)}{r^{3/4}}(y_1-y_2)+\\

1839: \frac{D}{2}(y_1^2-y_2^2))K_P((x_1,y_1),(x_2,y_2)) (1+O(r^{1/4})

1840: \end{multline}

1841: where for $y_1>y_2$ we have

1842: \begin{multline}

1843: K_P((x_1,y_1),(x_2,y_2))=\\

1844: \frac{1}{(2\pi i)^2}\int_{C_1}\int_{C_2}

1845: \exp(\frac{A}{4!}(\sigma^4-\kappa^4)

1846: +\frac{C}{2}(y_1\sigma^2-y_2\kappa^2)-x_1\sigma+x_2\kappa)

1847: \frac{d\sigma d\kappa}{\sigma -\kappa} +\\

1848: \sqrt{\frac{1}{2\pi

1849: D|y_1-y_2|}}\exp(-\frac{(x_1-x_2)^2}{2D|y_1-y_2|})\, .

1850: \end{multline}

1851: 

1852: For $y_1<y_2$ there is an extra term coming from the residue at

1853: $\sigma=\tau$:

1854: 

1855: \begin{multline}

1856: K_P((x_1,y_1),(x_2,y_2))=\\

1857: \frac{1}{(2\pi i)^2}\int_{C_1}\int_{C_2}

1858: \exp(\frac{A}{4!}(\sigma^4-\kappa^4)

1859: +\frac{C}{2}(y_1\sigma^2-y_2\kappa^2)-x_1\sigma+x_2\kappa)

1860: \frac{d\sigma d\kappa}{\sigma -\kappa} \, .

1861: \end{multline}

1862: 

1863: Integration contours for $A>0$ are shown on Fig.

1864: \ref{cont-per-c2.eps}, and 

1865: \ref{cont-per-c1.eps}.

1866: 

1867: 

1868: \begin{figure}[htbp]

1869:   \begin{center}

1870:     \scalebox{0.3}{\includegraphics{cont-per-c1.eps}}

1871:     \caption{Integration contour  for $\kappa$}

1872:     \label{cont-per-c1.eps}

1873:   \end{center}

1874: \end{figure}

1875: 

1876: \begin{figure}[htbp]

1877:   \begin{center}

1878:     \scalebox{0.3}{\includegraphics{cont-per-c2.eps}}

1879: \caption{Integration contour for $\sigma$}

1880:     \label{cont-per-c2.eps}

1881:   \end{center}

1882: \end{figure}

1883: 

1884: Notice that the exponential factors cancels in the limit of

1885: correlation functions and we have:

1886: 

1887: \[

1888: \lim_{r\to 0}\lang\rho_{h_1,t_1}\dots

1889: \rho_{h_n,t_n}\rang=\det(K_P((x_a,y_a),(x_b,y_b)))

1890: \]

1891: Here we assume $(h_i,t_i)$ scale  as in \ref{Pxyscale}).

1892: 

1893: \section{Some properties of Pearcey kernel}

1894: 

1895: Recall that the asymptotic of correlation functions is determined by the

1896: following integral, which we will call Pearcey kernel

1897: 

1898: \begin{multline}

1899: K_P((x_1,y_1),(x_2,y_2))=\\

1900: \frac{1}{(2\pi i)^2}\int_{C_1}\int_{C_2}

1901: \exp(\frac{A}{4!}(\sigma^4-\kappa^4)

1902: +\frac{C}{2}(y_1\sigma^2-y_2\kappa^2)-x_1\sigma+x_2\kappa)

1903: \frac{d\sigma d\kappa}{\sigma -\kappa} \, .

1904: \end{multline}

1905: 

1906: After the appropriate scaling of variables we can set $A=6$ and  $C=1$.

1907: Below we will review some of its properties.

1908: 

1909: \subsection{}

1910: 

1911: The function $K_P( (x_1,y_1),(x_2,y_2)))$  (with $A=6$ and $C=1$)satisfies the following

1912: differential  equations:

1913: \[

1914: (\frac{\partial}{\partial y_i}-\frac{1}{2}\frac{\partial^2}{{\partial x_i}^2})K_P=0

1915: \]

1916: for $i=1,2$ and 

1917: \[

1918: (\frac{\partial}{\partial x_1}+\frac{\partial}{\partial x_2})K_P=-P_+(x_1,y_1)P_-(x_2,y_2)

1919: \]

1920: where 

1921: \[

1922: P_\pm(x,y)=\frac{1}{2\pi i}\int_{C_\pm} \exp(\pm(\frac{\sigma^4}{4}+\frac{1}{2}y\sigma^2-x\sigma))d\sigma

1923: \]

1924: 

1925: For functions $P_\pm$ we have:

1926: \[

1927: (\frac{\partial^3}{{\partial x}^3}\pm x+y\frac{\partial}{\partial x})P_\pm=0

1928: \]

1929: \[

1930: (\pm \frac{\partial}{\partial y}-\frac{1}{2}\frac{\partial^2}{{\partial x^2}})P_\pm=0

1931: \]

1932: 

1933: \subsection{}

1934: 

1935: The function $P_+(x,y)$ can be written as

1936: \[

1937: P_+(x,y)=\frac{1}{2\pi i}(-\int_{\omega \R_+}+\int_{\omega^{-1}\R_+}-\int_{\omega^{-3}\R_+}+

1938: \int_{\omega^{3}\R_+})

1939: \]

1940: 

1941: or, as

1942: \[

1943: P_+(x,y)=\frac{1}{\pi}\Im(\omega\int_o^\infty \exp(-\frac{s^4}{4}-\frac{i}{2}ys^2)(e^{x\omega s}-e^{-x\omega s})

1944: ds)

1945: \]

1946: 

1947: From this integral representation one can find a power series formula

1948: for the integral:

1949: \[

1950: P_+(x,y)=\frac{2}{\pi}\sum_{n\geq o, m\geq o, n+m=0(2)}\frac{(-1)^{\frac{n+m}{2}}2^{n-1}\Gamma(\frac{n+m+1}{2})}

1951: {(2n+1)!m!}x^{2n+1}(-y)^m

1952: \]

1953: or, 

1954: \begin{eqnarray*}

1955: P_+(x,y)=&\frac{1}{\pi}&\sum_{k,l\geq 0}\frac{(-1)^{k+l}2^{2k}\Gamma(k+l+1/2)}{(4k+1)!(2l)!}x^{4k+1}y^{2l}

1956: +\\

1957: &\frac{1}{\pi}&\sum_{k, l\geq 0}\frac{(-1)^{k+l}2^{2k+1}\Gamma(k+l+3/2)}{(4k+3)!(2l+1)!}x^{4k+3}y^{2l+1}

1958: \end{eqnarray*}

1959: 

1960: Now, using the identity $\Gamma(k+1/2)=2^{-2k+1}\sqrt{\pi}\frac{(2k)!}{k!}$ we arrive to

1961: the formula

1962: \begin{eqnarray*}

1963: P_+(x,y)=&\frac{2}{\sqrt{\pi}}&\sum_{k,l\geq 0}\frac{(-1)^{k+l}2^{-2l+1}(2k+2l)!}{(4k+1)!(2l)!(k+l)!}x^{4k+1}y^{2l}

1964: +\\

1965: &\frac{2}{\sqrt{\pi}}&\sum_{k,l\geq 0}\frac{(-1)^{k+l}2^{-2l}(2k+2l+2)!}{(4k+3)!(2l+1)!(k+l+1)!}x^{4k+3}y^{2l+1}

1966: \end{eqnarray*}

1967: 

1968: \subsection{}

1969: 

1970: The integral

1971: \[

1972: P_-(x,y)=\frac{1}{2\pi i}\int_{-\infty}^\infty\exp(-\frac{t^4}{4}+\frac{1}{2}yt^2+ixt)dt

1973: \]

1974: can be easily expanded into a power series in $x$ and $y$:

1975: \[

1976: P_-(x,y)=\frac{1}{\pi}\sum_{n,m\geq 0}\frac{(-1)^n2^{n-3/2}\Gamma(\frac{n+m}{2}+1/4)}{(2n)!m!}x^{2n}y^m,

1977: \]

1978: 

1979: \subsection{}

1980: One-time correlation functions can be expressed in terms of $P_\pm$ as follows::

1981: \begin{multline}\label{1-time}

1982: K(x_1,x_2|y)= \\

1983: \frac{P''_+(x_1,y)P_-(x_2,y)-P'_+(x_1,y)P'_-(x_2,y)+P_+(x_1,y)P''_-(x_2,y)+yP_+(x_1,y)P_-(x_2,y)}{x_1-x_2}

1984: \end{multline}

1985: 

1986: Here $P'(x,y)=\frac{\partial}{\partial x}P(x,y)$. This identity follows from

1987: \begin{multline}

1988: \int_{C_1}\int_{C_2}(\frac{\partial}{\partial \sigma}+\frac{\partial}{\partial \kappa})\\

1989: \exp(\frac{A}{4!}(\sigma^4-\kappa^4)

1990: +\frac{C}{2}(y_1\sigma^2-y_2\kappa^2)-x_1\sigma+x_2\kappa)

1991: \frac{d\sigma d\kappa}{\sigma -\kappa}=0 \, .

1992: \end{multline}

1993: 

1994: Taking the limit $x_1\to x_2=x$ in (\ref{1-time}) we obtain the

1995: following expression for the 

1996: scaling limit of the density of tiles near the cusp:

1997: \[

1998: \rho(x,y)=P'_+(x,y)P''_-(x,y)-P''_+(x,y)P'_-(x,y)-xP_+(x,y)P_-(x,y)

1999: \]

2000: 

2001: This function is plotted on Fig \ref{Density}.

2002: 

2003: \begin{figure}[htbp]

2004:   \begin{center}

2005:     \scalebox{0.5}{\includegraphics{Density.ps}}

2006: \caption{The scaling limit of the density of horizontal tiles near the

2007: cups}

2008:     \label{Density}

2009:   \end{center}

2010: \end{figure}

2011: 

2012: 

2013: 

2014: 

2015: 

2016: 

2017: \appendix

2018: 

2019: \section{Schur functions}\label{app_schur} 

2020: Recall that a partition is a

2021: sequence of integers

2022: \[

2023: \lambda=(\lambda_1\ge\lambda_2\ge\dots\ge \lambda_n\ge 0)

2024: \]

2025: A diagram of a partition $\lambda$ (also known as its 

2026: \emph{Young diagram}) has

2027: $\lambda_1$ boxes in the upper row, $\lambda_2$ boxes in the next

2028: row etc.,  see Figure 

2029: \ref{yd.eps}. Unless this leads to a confusion, 

2030: we identify partitions with their diagrams. The sum

2031: \[

2032: |\lambda|=\sum_{i\ge 1} \lambda_i

2033: \]

2034: is the area of the diagram $\lambda$.

2035: 

2036: 

2037: %\begin{figure}

2038: %\centerline{\psfig{figure=yd.eps,width=1.2in}}

2039: %\caption{\label{yd.eps}}

2040: %\end{figure}

2041: 

2042: \begin{figure}[htbp]

2043:   \begin{center}

2044:     \scalebox{0.3}{\includegraphics{yd.eps}}

2045:     \caption{A Young diagram}

2046:     \label{yd.eps}

2047:   \end{center}

2048: \end{figure}

2049: 

2050: 

2051: A skew diagram $\lambda/\mu$ is a pair of two partitions

2052: $\lambda$ and $\mu$ such that $\lambda_1\ge \mu_1, \

2053: \lambda_2\ge \mu_2, \ \dots $. 

2054: Graphically, it is obtained from $\lambda$ by removing $\mu_1$

2055: first boxes from the first row, $\mu_2$ first boxes from the

2056: second row etc. The size of the skew diagram $\lambda/\mu$ is

2057: \[

2058: |\lambda/\mu|=|\lambda|-|\mu|

2059: \]

2060: 

2061: A semistandard tableau of the shape $\lambda/\mu$ with entries

2062: $1,2,3,\dots$ is the result of writing numbers $1,2,3,\dots$ in

2063: boxes of the diagram, one in each box, in such a way that the

2064: numbers weakly descrease along the rows and strictly descrease 

2065: along the colums, see an example in Figure \ref{sst.eps}

2066: 

2067: %\begin{figure}

2068: %\centerline{\psfig{figure=sst.eps,width=1.2in}}

2069: %\caption{\label{sst.eps}}

2070: %\end{figure}

2071: 

2072: \begin{figure}[htbp]

2073:   \begin{center}

2074:     \scalebox{0.3}{\includegraphics{sst.eps}}

2075:     \caption{A semi-standard  tableau}

2076:     \label{sst.eps}

2077:   \end{center}

2078: \end{figure}

2079: 

2080: The Schur function corresponding to the skew  tableau

2081: $\lambda/\mu$ is a symmetric function of variables $x_1,x_2,\dots$

2082: which can be defined as the sum over all semi-standard tableaux of

2083: shape $\lambda$ of monomials in $x_i$:

2084: \[

2085: s_{\lambda/\mu}(x_1,x_2,\dots)=\sum_{T_{\lambda/\mu}}

2086: x_1^{m_1}x_2^{m_2}\dots

2087: \]

2088: where $m_i$ is the number of occurrences of $i$ in the tableau.

2089: 

2090: A semi-standard tableaux of shape $\lambda/\mu$ can be identified

2091: with sequences of skew  diagrams in the following way.

2092: 

2093: Let us say that $\lambda\succ\mu$ if $\lambda$ and $\mu$

2094: interlace, that is,

2095: $$

2096: \lambda_1 \ge \mu_1 \ge \lambda_2 \ge \mu_2 \ge \lambda_3 \ge

2097: \dots \,.

2098: $$

2099: Let us call the sequence of  diagrams

2100: $\lambda(1),\lambda(2),\dots \lambda(n)$ interlacing if

2101: $\lambda(1)\succ\lambda_2\succ\dots\succ\lambda(n)$. It is clear

2102: that if we will associate with such sequence the semi-standard

2103:  tableau with $|\lambda(1)|-|\lambda(2)|$ entrees of $n$,

2104: $|\lambda(2)|-|\lambda(3)|$ entries of $n-1$, etc. It is also

2105: clear that this correspondence gives a bijection between

2106: semi-standard tableaux of shape $\lambda(1)/\lambda(n)$ and

2107: interlacing sequences of  diagrams which start with

2108: $\lambda(1)$ and ends with $\lambda(n)$.

2109: 

2110: For skew Schur functions this bijection gives the following

2111: formula

2112: \begin{multline}\label{ssmon}

2113: s_{\lambda/\mu}(x_1,\dots,x_n,0,0,\dots)= \\

2114: \sum_{\lambda\succ\lambda(1)\succ\dots \succ\lambda(n-1)\succ\mu}

2115: x_1^{|\lambda|-|\lambda(1)|}x_2^{|\lambda(1)| -|\lambda(2)|}\dots

2116: x_n^{|\lambda(n-1)|-|\mu|}

2117: \end{multline}

2118: from now on we will write $s_{\lambda/\mu(x_1,x_2,\dots,x_n)}$ for

2119: $s_\lambda(x_1,\dots,x_n,0,0,\dots)$.

2120: 

2121: Notice that

2122: \begin{equation}\label{simpleschur}

2123: s_{\lambda/\mu}(x_1,0,\dots)=\begin{cases}

2124: x_1^{|\lambda|-|\mu|}\,, &  \mu \prec \lambda\,,\\

2125: 0\,, & \mu \not\prec \lambda\,.

2126: \end{cases}

2127: \end{equation}

2128: and therefore we can write

2129: \begin{multline}\label{recurschur}

2130: s_{\lambda/\mu}(x_1,\dots,x_n)=\\

2131: \sum_{\lambda\succ\lambda(1)\succ\dots \succ\lambda(n-1)\succ\mu}

2132: s_{\lambda/\lambda(1)}(x_1) s_{\lambda(1)/\lambda(2)}(x_2)\dots

2133: s_{\lambda(n-1)/\mu}(x_n)

2134: \end{multline}

2135: 

2136: The function $s_\lambda(x_1,x_2,\dots,x_n)$ is the character of

2137: the irreducible representation of $GL_n$ with the highest weight

2138: $\lambda$ computed on the diagonal element with entries

2139: $x_1,x_2,\dots,x_n$. The formula (\ref{ssmon}) is the result of

2140: the computation this character in the Gelfand-Tsetlin basis.

2141: 

2142: 

2143: 

2144: 

2145: \section{Semiinfinite forms and vertex operators}

2146: \subsection{Semiinfinite forms}

2147: Let the space $V$ be spanned by $\ul{k}$, $k\in\Z+\oh$.

2148: The space $F=\LV$  is, by definition, spanned by vectors

2149: $$

2150: v_S=\ul{s_1} \wedge \ul{s_2} \wedge  \ul{s_3} \wedge  \dots\,,

2151: $$

2152: where $S=\{s_1>s_2>\dots\}\subset \Z+\oh$ is such a subset that

2153: both sets

2154: $$

2155: S_+ = S \setminus \left(\Z_{\le 0} - \oh\right) \,, \quad

2156: S_- = \left(\Z_{\le 0} - \oh\right) \setminus S

2157: $$

2158: are finite. We equip $\LV$ with the inner product $(.  , . )$ in

2159: which the basis $\{v_S\}$ is orthonormal. The space $F$ is also

2160: called the fermionic Fock space.

2161: 

2162: The infinite Clifford algebra $Cl(V)$ is generated by elements

2163: $\psi_k, \ \psi_k^*, \ k\in \Z+\oh$ with defining relations

2164: \[

2165: \psi_k\psi_l+\psi_l\psi_k=0, \ \psi_k^*\psi_l^*+\psi_l^*\psi_k^*=0, \

2166: \psi_k\psi_l^*+\psi_l^*\psi_k=\delta_{k,l},

2167: \]

2168: It acts on the Fock space $F$ as

2169: 

2170: \[

2171: \psi_k \left(\ul{s_1} \wedge \ul{s_2} \wedge  \ul{s_3} \wedge  \dots\right)

2172: = \ul{k} \wedge \ul{s_1} \wedge \ul{s_2} \wedge  \ul{s_3} \wedge

2173: \dots ,

2174: \]

2175: \begin{multline*}

2176: \psi_k^*\left(\ul{s_1} \wedge \ul{s_2} \wedge \dots \ul{s_l}\wedge\ul{k}

2177: \wedge\ul{s_{l+1}}\wedge  \dots \right) = \\

2178: (-1)^l\ul{s_1} \wedge \ul{s_2}

2179: \wedge \dots \ul{s_l}\wedge\ul{s_{l+1}}\wedge  \dots  ,

2180: \end{multline*}

2181: \[

2182: \psi_k^* \left(\ul{s_1} \wedge \ul{s_2} \wedge  \ul{s_3} \wedge

2183: \dots\right)= 0, k\in \Z\backslash S

2184: \]

2185: 

2186: The space $F$ is an irreducible representation of $Cl(V)$.

2187: Notice that the operator representing $\psi_k^*$ is conjugate to the operator

2188: representing $\psi_k$ with the respect to the scalar product in $F$.

2189: 

2190: The Lie algebra $\gl_\infty$ of $\Z\times \Z$-matrices with

2191: finitely many entries acts naturally on $V$ and therefore acts

2192: diagonally on semi-infinite wedge space $F$. This action extends

2193: to the action of $a_\infty$ \cite{Kac} and is reducible. Irreducible

2194: components $F(m)$ are eigenspaces of the operator

2195: \[

2196: C=\sum_{k<0}\psi_k^*\psi_k-\sum_{k<0}\psi_k\psi_k^*

2197: \]

2198: The Fock space decomposes into the direct sum

2199: \[

2200: F=\oplus_{m\in \Z} F(m)

2201: \]

2202: of irreducible representations of $a_\infty$ \cite{Kac}.

2203: 

2204: The subspace $F(m)$ is spanned by vectors $\ul{s_1} \wedge

2205: \ul{s_2} \wedge \ul{s_3} \wedge  \dots$ with $s_i=m-i+1/2$ for

2206: sufficiently large $i$. It is generated by the action of

2207: $a_\infty$ on the vacuum vector ( the $a_\infty$ highest weight

2208: vector in $F^{(m)}$ ):

2209: \[

2210: v^{(m)}_0=\ul{m-1/2}\wedge\ul{m-3/2}\wedge\ul{m-5/2}\wedge\dots

2211: \]

2212: 

2213: The operators $\psi_k$ and $\psi_k^*$ act on $v^{(m)}_0$ as

2214: \begin{eqnarray}

2215: \psi_kv^{(m)}_0 &=&0, \ k\le m-1/2 , \\

2216: \psi_k^*v^{(m)}_0&=&0, \ k > m-1/2 ,

2217: \end{eqnarray}

2218: They can be regarded as $a_\infty$-intertwining operators $\psi:

2219: V\otimes F^{(m)}\to F^{(m+1)}$. where $V={\mathbb C}^{\mathbb

2220: Z+\oh}$ is the vector representation of $\gl_\infty$.

2221: 

2222: Vectors in the space $F^{(m)}$ can be parameterized by partitions.

2223: For a partition $\lambda$ define

2224: \[

2225: v^{(m)}_\lambda=\ul{\lambda_1+m-1/2}\wedge\ul{\lambda_2+m-3/2}\wedge\dots

2226: \]

2227: It is clear that these vectors span $F^{(m)}$.

2228: 

2229: \subsection{Clifford algebra and vertex operators}\label{vo}

2230: 

2231: Consider elements

2232: $$

2233: \al_n = \sum_{k\in\Z+\frac12} \psi_{k+n}\, \psi^*_k \,,

2234: \quad n=\pm 1,\pm2, \dots \,,

2235: $$

2236: 

2237: They satisfy commutation relations

2238: \begin{eqnarray}\label{cmm}

2239: \left[\al_n, \al_m\right] &=& -n \, \delta_{n,-m} , \\

2240: \left[\alpha_n,\psi_k\right]&=&\psi_{k+n} , \\

2241: \left[\alpha_n,\psi_k^*\right]&=-&\psi_{k-n}^*

2242: \end{eqnarray}

2243: 

2244: 

2245: It is clear that

2246: \[

2247: \alpha_n v^{(m)}_o=0

2248: \]

2249: for $n<0$ and $m\in \Z$.

2250: Vertex operators are the formal power series

2251: \[

2252: \Gamma_+(x)=\exp(\sum_{n\ge 1}\frac{x^n}{n}\alpha_n), \

2253: \Gamma_-(x)=\exp(\sum_{n\ge 1}\frac{x^n}{n}\alpha_{-n})

2254: \]

2255: The operator $\Gamma_-(x)$ acts finitely

2256: in the space $F$ ( applied to any vector

2257: of $F$ it acts as a polynomial in $x$). In particular

2258: \[

2259: \Gamma_-(x)v^{(m)}_0=v^{(m)}_0

2260: \]

2261: 

2262: The operator $\Gamma_+(x)$ is conjugate to $\Gamma_-(x)$:

2263: \begin{equation}\label{Gpm}

2264: (\Gamma_-(x)v,w)=(v,\Gamma_+(x)w)

2265: \end{equation}

2266: and since the scalar product is symmetric

2267: \[

2268: (\Gamma_-(x)v,w)=(\Gamma_+(x)w,v)

2269: \]

2270: 

2271: Notice that its action is defined in $F$

2272: not only as a formal power series in $x$.

2273: In a weak sense operators $\Gamma_\pm$ are operator-

2274: valued functions which are analytic at $x=0$.

2275: 

2276: Define the formal Fourier transform of $\psi_k,\ \psi_k^*$ as

2277: power series

2278: \begin{equation}

2279: \psi(z)=\sum_{k\in\Z+1/2} z^k \, \psi_k \,,

2280: \quad

2281: \psi^*(z)=\sum_{k\in\Z+1/2} z^{-k} \, \psi^*_k \,.\label{psiz}

2282: \end{equation}

2283: 

2284: These operators and vertex operators satisfy the following

2285: commutation relations:

2286: \begin{equation} \label{gg}

2287: \Gamma_+(x)\Gamma_-(y)=(1-xy)\Gamma_-(y)\Gamma_+(x),

2288: \end{equation}

2289: \begin{eqnarray}\label{crel}

2290: \Gamma_+(x)\psi(z)&=&(1-z^{-1}x)^{-1}\psi(z)\Gamma_+(x) \\

2291: \Gamma_-(x)\psi(z)&=&(1-xz)^{-1}\psi(z)\Gamma_-(x) \\

2292: \Gamma_+(x)\psi^*(z)&=&(1-z^{-1}x)\psi^*(z)\Gamma_+(x) \\

2293: \Gamma_-(x)\psi^*(z)&=&(1-xz)\psi^*(z)\Gamma_-(x)

2294: \end{eqnarray}

2295: Here left and right sides are corresponding formal power series.

2296: 

2297: The following is a well known statement.

2298: \begin{theorem} The following identity holds:

2299: \begin{equation}\label{me}

2300: (\Gamma_-(x_1)\Gamma_-(x_2)\dots\Gamma_-(x_n)v^{(m)}_\lambda,

2301: v^{(m)}_\mu)=

2302: s_{\lambda/\mu}(x_1,\dots,x_n)

2303: \end{equation}

2304: \end{theorem}

2305: 

2306: This is a well known statement, for a proof see for example \cite{Kac}.

2307: we will give a proof of it here. The key step is to show that the

2308: identity (\ref{me}) holds for $n=1$ which can be easily derived from

2309: the fact that

2310: \[

2311: v_\lambda^{(m)}=\psi_{j_1}\dots\psi_{j_n}v_0^{(m-n)}

2312: \]

2313: where $j_1=\lambda_1+m-1/2,j_2=\lambda_2+m-3/2,\dots$.

2314: and from the identity

2315: \[

2316: \Gamma_-(x)\psi(z_1)\dots\psi(z_n)v_0^{(m-n)}=\prod_{i=1}^n(1-xz_i)^{-1}

2317: \psi(z_1)\dots\psi(z_n)v_0^{(m-n)}

2318: \]

2319: for generating functions.

2320: 

2321: For matrix elements of generating functions $\psi(z)$ and $\psi^*(z)$

2322: we have:

2323: \begin{equation}\label{pmel}

2324: \begin{array}{lc}

2325: (\psi^*(w)\psi(z)v^{(m)}_0,v^{(m)}_0)=\left(\frac{z}{w}\right)^{m+1/2}

2326: \frac{1}{1-z/w} & , \  |z|<|w| \\

2327: (\psi(z)\psi^*(w)v^{(m)}_0,v^{(m)}_0)=\left(\frac{z}{w}\right)^{m-1/2}

2328: \frac{1}{1-w/z} & , \  |z|>|w| .

2329: \end{array}

2330: \end{equation}

2331: 

2332: These identities follows from the summation of a geometric

2333: series.

2334: 

2335: Let $A_i^a=\sum_jA^a_{ij}\psi_j$ and $B_i^a=\sum_j

2336: B^a_{ij}\psi_j^*$ for $a=1,\dots, n$. The following identity is

2337: known as a Wick's lemma:

2338: 

2339: \begin{equation}\label{wl}

2340: (A^1_{i_1}B^1_{j_1}A^2_{i_2}B^2_{j_2}\dots A^n_{i_n}B^1_{j_n}

2341: v^{(m)}_0,v^{(m)}_0)=\det( K_{ab})_{1\leq a,b\leq n}

2342: \end{equation}

2343: where

2344: \[

2345: K_{ab}=\left\{\begin{array}{ll}

2346: (A^a_{i_a}B^b_{j_b},v^{(m)}_0,v^{(m)}_0), & \ \ a\leq b \\

2347: -(B^b_{i_b}A^a_{j_a},v^{(m)}_0,v^{(m)}_0), & \ \ a> b

2348: \end{array} \right.

2349: \]

2350: 

2351: \section{Some asymptotic for limit shapes}

2352: 

2353: %\subsection{}

2354: %Let

2355: %\[

2356: %P(z)=e^{-\chi-\tau/2+U_0}\prod_{0\leq j\leq N}(1-ze^{-U_j})-(1-ze^{-\tau})\prod_{1\leq j\leq

2357: %N}(1-ze^{-V_j})

2358: %\]

2359: 

2360: 

2361: %Critical points of $S(z)$ are roots of $P(x)$. Degenerate critical

2362: %points of $S(z)$ are double roots of $P(z)$, i.e. if $z_c$ is a

2363: %degenerate critical point of $S(z)$ then in addition to

2364: %\begin{equation}\label{P}

2365: % P(z_c)=0 \ ,

2366: %\end{equation}

2367: %we have

2368: %\begin{equation}\label{p-pr}

2369: %P'(z_c)=0 \ .

2370: %\end{equation}

2371: %According to the theorem \ref{realroots} all double critical points are

2372: %real. Thus, equations (\ref{P}) and (\ref{p-pr}) define a real

2373: %algebraic curve defining the boundary of the limit shape.

2374: 

2375: 

2376: 

2377: %Fix $l\in \{1,2,\dots,N\}$ and assume that $\tau\neq V_j, \

2378: %j=1,2,\dots, N$ and $\tau\neq U_i, \ i=0,\dots, N$.

2379: 

2380: %\begin{theorem}\label{zass}

2381: %Let $\epsilon_k=V_{k}-U_{k}$ for $1\leq k< l$ and

2382: %$\epsilon_k=V_{k-1}-U_k$ for $l< k \leq N$. If $\epsilon_k$ are

2383: %sufficiently small there are two real solutions to (\ref{z}) given

2384: %by the following power series in $\epsilon_k$:

2385: %\begin{equation}\label{z+}

2386: %z_+=z^{(+)}(1+\sum_{k_i\geq 0, k_1+\dots +k_N\geq 1}

2387: %a_{\{k_i\}}\prod_{i}\epsilon_i^{k_i}) \ ,

2388: %\end{equation}

2389: %\begin{equation}\label{z-}

2390: %z_-=z^{(-)}(1+\sum_{k_i\geq 0, k_1+\dots +k_N\geq 1}

2391: %b_{\{k_i\}}\prod_{i}\epsilon_i^{k_i}) \ ,

2392: %\end{equation}

2393: %where $z^{(\pm)}$ are two solutions to the quadratic equation

2394: %(\ref{z}).

2395: 

2396: %These power series have finite radius of convergence.

2397: 

2398: 

2399: %\end{theorem}

2400: 

2401: %\begin{proof}Equations (\ref{P})(\ref{p-pr}) can also be written as

2402: %\begin{equation}\label{X}

2403: %e^{-\chi-\tau/2+U_0}=\prod_{j=0}^N\frac{1-zb_j}{1-za_j},

2404: %\end{equation}

2405: %\begin{equation}\label{z}

2406: %\sum_{j=0}^N(\frac{a_j}{1-za_j}-\frac{b_j}{1-zb_j})=0

2407: %\end{equation}

2408: %where $a_j=e^{-U_j}, 0\leq j\leq N$, \ $ b_j=e^{-V_j}, \ 1\leq

2409: %j\leq N$, and $b_0=e^{-\tau}$.

2410: 

2411: %We can rewrite the equation (\ref{z}) as

2412: %\begin{multline*}

2413: %\frac{a_0}{1-za_0}-\frac{b_0}{1-zb_0} +\frac{a_N}{1-za_N}

2414: %-\frac{b_l}{1-zb_l}+ \\  \sum_{j=1}^{l-1}\frac{a_j-b_j}{(1-za_j)(1-zb_j)}

2415: %+\sum_{j=l+1}^N\frac{a_{j-1}-b_j}{(1-za_{j-1})(1-zb_j)} =0

2416: %\end{multline*}

2417: %Notice that $z^{(\pm)}$ given by (\ref{zpm}) solutions to the

2418: %equation

2419: %\[

2420: %\frac{a_0}{1-za_0}-\frac{b_0}{1-zb_0} +\frac{a_N}{1-za_N}

2421: %-\frac{1}{1-z}=0

2422: %\]

2423: %which is a quadratic equation

2424: %\[

2425: %(a_0-b_0+a_N-1)-2z(a_Na_0-b_0)+z^2(a_N(a_0-b_0)+a_0b_0(a_N-1))=0

2426: %\]

2427: %Thus

2428: %\begin{equation}\label{zpm}

2429: %z^{(\pm)}=\frac{a_Na_0-b_0\pm\sqrt{D}}{a_N(a_0-b_0)+a_0b_0(a_N-1)}

2430: %\end{equation}

2431: %The discriminant of this equation

2432: %\[

2433: %D=(a_0-b_0)(a_N-1)(a_N-b_0)(a_0-1)

2434: %\]

2435: %is positive, so $z^{(\pm)}$ are real. These are critical points of

2436: %the function $S(z)$ for non-skew 3D  diagrams bounded by $U_0$

2437: %and $U_N$.

2438: 

2439: %Now we can find coefficients of power series for $z_\pm$ by

2440: %substituting them into (\ref{z}). The convergence in a

2441: %sufficiently small neighborhood of $\epsilon_k+0$ follows from the

2442: %fact that these series are solutions to an algebraic

2443: %equation.

2444: 

2445: 

2446: %\end{proof}

2447: 

2448: %\subsection{}

2449: %\begin{theorem}\label{zcusp} Let $\epsilon=V_j-\tau$, then there

2450: %exists a solution to (\ref{z}) given by the power series

2451: %\begin{equation}\label{zsing}

2452: %z_+(\tau)=e^{V_j}(1-\frac{\epsilon}{2}+\sum_{k\geq 2}a_k\epsilon^k)

2453: %\end{equation}

2454: %and this power series converges for sufficiently small $\epsilon$.

2455: %\end{theorem}

2456: %\begin{proof} Let us look for solutions to (\ref{z}) of the form

2457: %$z=b_j^{-1}(1+\zeta)$ where $\zeta\to 0$ as $\epsilon\to 0$. We

2458: %have:

2459: %\begin{multline*}

2460: %\frac{b_0}{1-zb_0}+\frac{b_j}{1-zb_j}=\frac{b_j(1+\epsilon)}{1-(1+\zeta)(1+\epsilon)}

2461: %+\frac{b_j}{1-(1+\zeta)} = \\

2462: %-\frac{b_j(1+\epsilon)}{\epsilon+\zeta+\epsilon\zeta}-\frac{b_j}{\zeta}=

2463: %-b_j\frac{2\zeta+\epsilon+2\epsilon\zeta}{\zeta(\epsilon

2464: %+\zeta)+\zeta^2\epsilon}

2465: %\end{multline*}

2466: 

2467: 

2468: 

2469: %Here we assume $b_j$ is fixed and $b_0=b_j(1+\epsilon)$. It is

2470: %clear that if $\zeta=-\frac{\epsilon}{2} +\sum_{n\geq 2} c_n

2471: %\epsilon^n $ the coefficients $c_n$ can be found recursively from

2472: %(\ref{z}). This power series converges since it represent a

2473: %solution to an algebraic equation.

2474: %\end{proof}

2475: 

2476: \subsection{}

2477: 

2478: The frozen boundary is singular at $\tau=V_j$.

2479: When $\tau\to V_j$ the singular branch of the boundary curve

2480: behave as

2481: \begin{multline*}

2482: \chi(\tau)=2\ln(\frac{|\tau-V_j|}{2})+|V_j|/2+\sum_{i=0}^{j-1}

2483: (V_{i+1}-U_i)+ \\ \ln(\frac{\prod_{k\neq j, 1\leq k\leq

2484: N}|1-e^{-U_k+U_j}|}{\prod_{1\leq k\leq N}|1-e^{-U_k+V_j}|})

2485: +O(|\tau-V_j|) \ .

2486: \end{multline*}

2487: 

2488: 

2489: 

2490: \subsection{}The limit curve is tangent to the lines $\tau=U_0$ and $\tau=U_N$

2491: at the points $(\chi_L,U_0)$ and $(\chi_R,U_N)$ where

2492: \[

2493: \chi_L=\sum_{j=1}^N\ln(\frac{1-e^{U_0-V_j}}{1-e^{U_0-U_j}})+\frac{U_0}{2}

2494: \]

2495: \[

2496: \chi_R=\sum_{j=1}^N\ln(\frac{1-e^{U_N-V_j}}{1-e^{U_N-U_j}})+U_0-\frac{U_N}{2}

2497: \]

2498: 

2499: If $\tau=U_0+\epsilon$ or $\tau=U_N-\epsilon$ and

2500: $\epsilon\to +0$ the asymptotic of two double critical points

2501: $z^{(\pm)}(\tau)$ is

2502: \[

2503: z^{(\pm)}(\tau)=\left\{\begin{array}{ll}

2504: e^{U_0}(1 \pm \sqrt{\epsilon}\sqrt C_L

2505: +O(\epsilon)) \mbox{ if $\tau=U_0+\epsilon$}\\

2506: e^{U_N}(1 \pm \sqrt{\epsilon}\sqrt C_R

2507: +O(\epsilon)) \mbox{ if $\tau=U_N-\epsilon$}

2508: \end{array}\right.

2509: \]

2510: where $C_L$ and $C_R$ are some constants.

2511: 

2512: The boundary curve near this point behave as:

2513: \[

2514: \chi(\tau)=\left\{\begin{array}{ll}

2515: \chi_L(1+\sqrt{(\tau-U_0}D_L+O(|U_0-\tau)|,  \mbox{ if $\tau\to U_0+0$}\\

2516: \chi_L(1+\sqrt{(U_N-\tau}D_R+O(|U_N-\tau|),  \mbox{ if $\tau\to U_N-0$}

2517: \end{array}\right.

2518: \]

2519: where, again, $D_L$ and $D_R$ are some constants.

2520: 

2521: Similar solution exists near each point $\tau=U_j$, $j=1,\dots,

2522: N-1$.

2523: 

2524: \subsection{}

2525: 

2526: Let us find the asymptotic of the density function near the

2527: left boundary of the limit shape. Assume

2528: \[

2529: \chi=\chi_L+\delta\chi, \ \tau=U_0+\delta\tau

2530: \]

2531: for some positive $\delta\tau\to 0$.

2532: 

2533: Solutions to (\ref{cp2}) have the asymptotic $z=\exp(U_0)(1+\delta

2534: z)$. Let us find $\delta z$ as a function of $\delta\chi$ and

2535: $\delta\tau$. We have the following asymptotical expansions:

2536: \[

2537: \prod_{j=1}^N\frac{1-ze^{-V_j}}{1-ze^{-U_j}}=\prod_{j=1}^N\frac{1-e^{U_0-V_j}}{1-e^{U_0-U_j}}

2538: (1-C\delta z +O({\delta z}^2))

2539: \]

2540: where

2541: \[

2542: C=\sum_{i=1}^N(\frac{e^{U_0-V_j}}{1-e^{U_0-U_j}}-\frac{e^{U_0-U_j}}{1-e^{U_0-U_j}}>0

2543: \]

2544: Keeping leading orders in $\delta\chi,\delta\tau$, and $\delta z$

2545: in (\ref{cp2}) we obtain the equation for $\delta z$:

2546: \[

2547: C{\delta z}^2+\delta z((C+1/2)\delta\tau-\delta\chi)+\delta\tau=0

2548: \]

2549: In the region $\delta\tau\propto(\delta\chi)^2$ we have two

2550: asymptotical solutions

2551: \[

2552: \delta z_{1,2}\simeq

2553: \frac{\delta\chi}{2}\pm\sqrt{\frac{\delta\chi^2}{2}-\frac{\delta\tau}{C}}

2554: \]

2555: From here we obtain the asymptotic of the density function in this

2556: region:

2557: \[

2558: \rho=\frac{\theta}{\pi}\simeq\arctan(\sqrt{\frac{4\delta\tau}{C\delta\chi^2}-1})

2559: \]

2560: Here $\theta$ is the argument of $\delta z_1$.

2561: Notice that $\rho\to 1/2-0$ as $\delta\chi\to +0$. 

2562: 

2563: \section{The symmetry of correlation functions}

2564: 

2565: Change variables in the integral

2566: \begin{multline}

2567: K((t_1,h_1),(t_2,h_2))=\\ \frac{1}{(2\pi i)^2}

2568: \int_{|z|<min\{1,R(t_1)}\int_{R^*(t_2)<|w|<1}

2569: \frac{\Phi_-(z,t_1)\Phi_+(w,t_2)}{\Phi_+(z,t_1)\Phi_-(w,t_2)}

2570: \frac{\sqrt{zw}}{z-w}z^{-j_1}w^{j_2}\frac{dzdw}{zw}

2571: \end{multline}

2572: from $z$ to $w^{-1}$ and from $w$ to $z^{-1}$. It becomes

2573: \begin{multline}

2574: K((t_1,h_1),(t_2,h_2))=\\ \frac{1}{(2\pi i)^2}

2575: \int_{|w|^{-1}<min\{1,R(t_1)}\int_{R^*(t_2)<|z|^{-1}<1}

2576: \frac{\tilde{\Phi}_-(z,-t_2)\tilde{\Phi}_+(w,t_1)}{\tilde{\Phi}_+(z,t_2)

2577: \tilde{\Phi}_-(w,t_1)}

2578: \frac{\sqrt{zw}}{z-w}z^{-j_2}w^{j_1}\frac{dzdw}{zw}

2579: \end{multline}

2580: where

2581: \[

2582: \tilde{\Phi}_+(z,t)=\prod_m(1-z\tilde{x}^+_m)

2583: \]

2584: \[

2585: \tilde{\Phi}_-(z,t)=\prod_m(1-z^-\tilde{x}^-_m)

2586: \]

2587: and $\tilde{x}^\pm_m=x^\mp_{-m}$.

2588: 

2589: Thus, we have the following ``reflection'' symmetry of correlation

2590: functions:

2591: \[

2592: K((j_1,t_1),(j_2,t_2))=\tilde{K}((j_2,-t_1)(j_1,-t_1)) \ ,

2593: \]

2594: 

2595: This symmetry is obvious on the ``microscopical level''.

2596: It corresponds to the reflection of the tiling in $t$-direction.

2597: 

2598: 

2599:   \begin{thebibliography}{99}

2600: 

2601: 

2602: \bibitem{AKMV}

2603: M.~Aganagic, A.~Klemm, M.~Marino, and  C.~Vafa, 

2604: \emph{The Topological Vertex}, 

2605: hep-th/0305132, Commun.\ Math.\ Phys.\ \textbf{254} (2005) 425-478. 

2606: 

2607: 

2608: \bibitem{ABK}

2609:  A.~Aptekarev, P.~Bleher, and A.~Kuijlaars, 

2610: \emph{Large $n$ limit of Gaussian random matrices with external source, part II}, 

2611: math-ph/0408041.

2612: 

2613: 

2614: %\bibitem{BOO}

2615: % A.~Borodin, A.~Okounkov, G.~Olshanski, 

2616: %\emph{Asymptotics of Plancherel measures for symmetric groups}, 

2617: %math.CO/9905032. 

2618: 

2619: \bibitem{BH1}

2620: E.~Brezin and S.~Hikami, 

2621: \emph{Universal singularity at the closure 

2622: of a gap in a random matrix theory}, cond-mat/9804023. 

2623: Phys.\ Rev.\ E (3)  \textbf{57}  (1998),  no.\ 4, 4140--4149. 

2624: 

2625: \bibitem{BH2}

2626: E.~Brezin and S.~Hikami, 

2627: \emph{Level Spacing of Random Matrices in an External Source}, 

2628: cond-mat/9804024, 

2629: Phys.\ Rev.\ E (3)  \textbf{58}  (1998),  no.\ 6, 

2630: part A, 7176--7185. 

2631: 

2632: \bibitem{CK}

2633: R.~Cerf and R.~Kenyon,

2634: \emph{The low-temperature expansion of the Wulff

2635: crystal in the 3D Ising model},

2636: 

2637: 

2638: \bibitem{CKP}

2639:  H.~Cohn, R.~Kenyon, and J.~Propp,

2640: \emph{A variational principle for domino tilings},

2641: math.CO/0008220,  J.~Amer.\ Math.\ Soc.\ \textbf{14} (2001), 297-346. 

2642: 

2643: 

2644: 

2645: \bibitem{DST}

2646: R.~Dijkgraaf, A.~Sinkovics, and M.~Temurhan, 

2647: \emph{Universal Correlators from Geometry},

2648: hep-th/0406247. 

2649: 

2650: 

2651: \bibitem{FS}

2652:  P.~L.~Ferrari and  H.~Spohn, 

2653: \emph{Step fluctuations for a faceted crystal}, 

2654: cond-mat/0212456, J.~Stat.\ Phys.\ \textbf{113} (2003), 1-46. 

2655: 

2656: 

2657: 

2658: 

2659: \bibitem{J1}

2660:  K.~Johansson, 

2661: \emph{Discrete polynuclear growth and determinantal processes}, 

2662: math.PR/0206208. 

2663: 

2664: \bibitem{J2}

2665:  K.~Johansson, 

2666: \emph{The Arctic circle boundary and the Airy process}, 

2667: math.PR/0306216. 

2668: 

2669: \bibitem{Kac}

2670: V.~Kac,

2671: \emph{Infinite dimensional Lie algebras},

2672: Cambridge University Press.

2673: 

2674: 

2675: 

2676: 

2677: 

2678: \bibitem{K}

2679: R.~Kenyon, 

2680: \emph{Local statistics of lattice dimers}, 

2681: Ann.\ Inst.\ H.\  Poincar\'e Probab.\ Statist.\  

2682: \textbf{33}  (1997),  no.~5, 591--618.

2683: 

2684: 

2685: \bibitem{KO}

2686: R.~Kenyon and A.~Okounkov, 

2687: \emph{Limit shapes and complex Burgers equation}, 

2688: in preparation. 

2689: 

2690: 

2691: 

2692: \bibitem{O}

2693: A.~Okounkov, 

2694: \emph{Random surfaces enumerating algebraic curves}, 

2695: math-ph/0412008. 

2696: 

2697: \bibitem{OR}

2698: A.~Okounkov and N.~Reshetikhin, 

2699: \emph{Correlation function of Schur process with application to local

2700: geometry of a random 3-dimensional Young diagram}

2701: math.CO/0107056,  J.~Amer.\ Math.\ Soc.\  \textbf{16}  (2003),  no.~3, 581--603. 

2702:  

2703: \bibitem{ORV}

2704: A.~Okounkov, N.~Reshetikhin, and C.~Vafa, 

2705: \emph{Quantum Calabi-Yau and Classical Crystals}, 

2706: hep-th/0309208. 

2707: 

2708: 

2709: 

2710: \bibitem{PS}

2711: M.~Praehofer and H.~Spohn, 

2712: \emph{Scale Invariance of the PNG Droplet and the Airy Process}, 

2713: math.PR/0105240, J.~Stat.\ Phys.\ \textbf{108}  1071-1106 (2002). 

2714: 

2715: 

2716: 

2717: \bibitem{SV}

2718: N.~Saulina and C.~Vafa, 

2719: \emph{D-branes as Defects in the Calabi-Yau Crystal}, 

2720: hep-th/0404246. 

2721: 

2722: 

2723: \bibitem{TW1}

2724: C.~Tracy and H.~Widom,

2725: \emph{Differential equations for  Dyson process}, 

2726: Commun. Math. Phys. \ \textbf{252} (2003), 7-41. 

2727: 

2728: 

2729: \bibitem{TW2}

2730: C.~Tracy and H.~Widom,

2731: \emph{The Pearcey Process}, math.PR/0412005. 

2732: 

2733: 

2734: 

2735: 

2736:   \end{thebibliography}

2737: 

2738: 

2739: \end{document}

2740: % LocalWords:  Reshetikhin asymptotics Pearcey Pearsey ij ccccc fugacity Schur

2741: % LocalWords:  GUE Widom Brezin Hikami Aptekarev Bleher Kuijlaars Spohn toric

2742: % LocalWords:  Johansson Calabi Yau threefolds algebraicity Vafa Laboratoire de

2743: % LocalWords:  Theorique Sacley Zuber di rhombi dimen axesstyle Oy Dx fillstyle

2744: % LocalWords:  fillcolor lightgray distr injectively Fermionic zw dzdw zx vdz

2745: % LocalWords:  vdw iff Kasteleyn zq dw ru rv ir ze dilogarithms NLi dx cp XT Im

2746: % LocalWords:  Saclay ds yz Ey rh ixt dt dv zf reparametrization ys yt yP xP GL

2747: % LocalWords:  semistandard Gelfand Tsetlin Semiinfinite fermionic Fock gl kv

2748: % LocalWords:  eigenspaces xy xz lc jA zb za

2749: