1: \documentclass[12pt]{article}
2: \usepackage{epsf}
3:
4: \hsize 6in
5: \newcommand{\eeq}{\end{equation}}
6: \newcommand{\vs}[1]{\rule[- #1 mm]{0mm}{#1 mm}}
7: \newcommand{\beq}{\begin{equation}}
8: \newcommand{\beql}{\begin{eqnarray}}
9: \newcommand{\eeql}{\end{eqnarray}}
10:
11: \newcommand{\lp}{\left(}
12: \newcommand{\rp}{\right)}
13: \newcommand{\scr}{\scriptstyle}
14:
15: \newcommand{\om}{\omega}
16: \newcommand{\al}{\alpha}
17: \newcommand{\lam}{\lambda}
18:
19: \newcommand{\Lam}{\Lambda}
20: \newcommand{\eps}{\epsilon}
21:
22: \newcommand{\dV}{\frac{d}{dV}}
23: \newcommand{\dxi}{\frac{dx_i}{dV}(p)}
24: \newcommand{\parV}{\frac{\partial}{\partial V}}
25: \newcommand{\mP}{\mathcal{P}}
26: \newcommand{\mS}{\mathcal{S}}
27: \newcommand{\mR}{\mathcal{R}}
28: \newcommand{\mW}{\mathcal{W}}
29: \newcommand{\mY}{\mathcal{Y}}
30: \newcommand{\mV}{\mathcal{V}}
31:
32: \newcommand{\sect}[1]{\setcounter{equation}{0}\section{#1}}
33: \renewcommand{\theequation}{\thesection.\arabic{equation}}
34:
35: \begin{document}
36:
37: \begin{titlepage}
38:
39: \vs{5}
40:
41: \begin{center}
42:
43: {\LARGE {\bf Chiral Random Matrix Models:\\[.5cm]
44: A Novel Intermediate Asymptotic Regime}}\\[2cm]
45: %or The Gaussian Penner Model Re-visited}}\\[2cm]
46:
47: {\Large N. Deo$^{1,2}$}\\
48: {$^1$ Poornaprajna Institute of Scientific Research}\\
49: {4 Sadashiva Nagar, Bangalore 560080, India}\\
50: {$^2$ Abdus Salam International Center}\\
51: {for Theoretical Physics, Trieste, Italy}\\
52: {ndeo@vsnl.net}\\
53:
54: \end{center}
55:
56: \vs{10}
57:
58: \centerline{ {\bf Abstract}}
59:
60: \noindent
61:
62: The Chiral Random Matrix Model or
63: the Gaussian Penner Model (generalized Laguerre ensemble)
64: is re-examined in the light of the results
65: which have been found in double well matrix models \cite{D97,BD99}
66: and subtleties discovered in the single well matrix models \cite{BH99}.
67: The orthogonal polynomial method is used to extend the
68: universality to include non-polynomial potentials.
69: The new asymptotic ansatz is derived (different from Szego's
70: result) using saddle point techniques.
71: The density-density correlators are the same
72: as that found for the double well models ref. \cite{BD99}
73: (there the results have been derived for arbitrary potentials).
74: In the smoothed large $N$ limit they
75: are sensitive to odd and even $N$ where $N$ is the size
76: of the matrix \cite{BD99}. This is a more realistic
77: random matrix model of mesoscopic systems with density
78: of eigenvalues with gaps. The eigenvalues see a brick-wall
79: potential at the origin.
80: This would correspond to sharp edges in a real mesoscopic
81: system or a reflecting boundary. Hence the results
82: for the two-point density-density correlation function may
83: be useful in finding one eigenvalue effects in
84: experiments in mesoscopic systems or small metallic grains.
85: These results may also be relevant for studies of structural
86: glasses as described in ref. \cite{D02}.
87:
88: PACS: 02.70.Ns, 61.20.Lc, 61.43.Fs
89:
90: \end{titlepage}
91:
92: \renewcommand{\thefootnote}{\arabic{footnote}}
93: \setcounter{footnote}{0}
94:
95: \sect{Introduction}\label{intro}
96:
97: In this work we re-visit the Penner model in the context of disordered
98: mesoscopic systems where they naturally appear
99: e.g. in disordered models of metal-insulator transitions \cite{CIM92,SN94},
100: superconducting-normal interface with Andreev reflection
101: (the openning of a gap) \cite{B97}
102: and also as models of structural glasses \cite{D02}.
103: Historically the Penner matrix model was studied in the context
104: of the moduli space of a punctured surface \cite{PHZ86}. There
105: an equality between the Penner matrix model and the Euler characteristic
106: of moduli space of punctured surfaces was computed, before taking
107: the continuum limit. Later in \cite{DV91} it was shown that even after
108: taking the continuum limit the Euler characteristic of moduli
109: space of unpunctured surfaces was obtain as the free energy of
110: the Penner model. This was done in an effort to understand
111: 2-dimensional gravity coupled to matter at the critical point
112: c=1. Recent advances in this direction are contained in \cite{DV02}.
113: There has also been recent work on the generalized Laguerre
114: ensemble in the context of the Chiral Random
115: Matrix models of QCD (see \cite{A02,FS02} and references therein)
116: and in describing a novel group structure associated
117: with scattering in disordered mesoscopic wires \cite{SN94}.
118:
119: This study focuses on the Gaussian Penner model
120: with potential $V(M)={1\over 2} \mu M^2 - {t\over 2} \ln M^2$
121: where M is a $N\times N$ random matrix; after some work on gapped
122: matrix models has been reported and clarified \cite{D97,BD99,D02}.
123: In the recent work two basic ideas have been implemented.
124: First the idea of symmetry breaking (see \cite{BDJT93,D02})
125: and then a new asymptotic ansatz of the orthogonal
126: polynomials \cite{D97}. Here for the Gaussian Penner model the corresponding
127: polynomials are the associated Laguerre polynomials, $L^{\alpha}_N (x)$,
128: where both the $\alpha$ and $N$ asymptotes are to be taken,
129: in previous work only the $N$ asymptote was found. It
130: turns out that it is in this asymtotic region that the singular
131: models make contact with the double well random matrix models and
132: the universality of the gapped matrix model is extended to include
133: non-polynomial potentials. Ideas of symmetry breaking are also true
134: for the Gaussian Penner model \cite{BDJT93,D02} but because of the brick
135: wall potential at the origin, which involves one electron quantum
136: tunneling through an infinite barrier, it is harder to give an
137: intuitive picture. These ideas will be ellaborated on in future papers.
138:
139: The paper is divided as follows. It starts by
140: describing completely the model and establishing
141: the notation and conventions. In section 2, the old asymptotic
142: ansatz of Szego for the associative Laguerre polynomials
143: is taken and shown to not correspond to the new
144: universality of the double well matrix model studied in \cite{D97,BD99}.
145: In section 3, the new asymptotic ansatz is derived using saddle point
146: techniques. This corresponds to the asymptotic ansatz discussed in
147: \cite{D97,BD99}. Section 4 ends with conclusions and open
148: questions.
149:
150: \sect{The Model, Notation and Conventions}\label{notation}
151:
152: We consider models of the type (see \cite{T92} for details of
153: notation and definitions)
154:
155: \beq
156: Z = exp{(-F)} = \int dM e^{-N Tr V(M)}
157: \eeq
158:
159: where $V(M)=V_0 (M) - {t\over 2} ~~ \ln M^2$ and here $V_0 (M)
160: = {1\over 2} \mu M^2$. See Fig. \ref{penner}.
161:
162: \begin{figure}
163: \leavevmode
164: \epsfxsize=4in
165: \epsffile{Vpenner.eps}
166: \caption{The potential for the Gaussian Penner Random Matrix Model
167: with $V(M)={1 \over 2} \mu M^2 - {t\over 2} \ln M^2$,
168: $\mu=1$ and $t=1$.}
169: \label{penner}
170: \end{figure}
171:
172: In general the orthogonal polynomials are $P_n (\lam) = \lam^n + l.o.$
173: where $\lam$ are the eigenvalues of $M$ and the orthogonality conditions
174: are $\int_{-\infty}^{\infty}d\lam e^{-NV(\lam)}P_n(\lam)P_m(\lam)
175: =h_n \delta_{nm}$. The partition function can be expressed in terms
176: of the $h_n$'s as $Z=N!h_0h_1h_2......h_{N-1}$.
177:
178: For the large N limit, the density of eigenvalues, $\rho(z)\equiv
179: ({1\over N}) \sum_{i=1}^N \delta(z-\lambda_i)$, can be found by
180: solving either a saddle point equation or the Schwinger-Dyson equation.
181: In terms of the generating function $F(z)={1\over N}
182: \left[ tr{1\over z-M} \right] \rightarrow \int {dz^{\prime}}
183: {\rho(z^{\prime})\over {z-z^{\prime}}}$ the Schwinger-Dyson
184: equation reads $F(z)^2 - V^{\prime} (z) F(z) = M(z)$, where $M(z)$
185: is a meromorphic function. The density of eigenvalues is given by
186: $\rho(z)=-{1\over \pi} Im F(z)$. The
187: generating function $F(z)$ in the large N limit for $t>0$ is
188: \beq
189: F(z) ={ {\mu z}\over 2} - {t\over {2 z}} -
190: {\mu \over {2 z}}\sqrt{(z^2-a^2)(z^2-b^2)}
191: \eeq
192: where $a^2={(2+t)\over \mu}+{2\over \mu}\sqrt{(1+t)}$
193: and $b^2={(2+t)\over \mu}-{2\over \mu}\sqrt{(1+t)}$.
194: See Fig. \ref{pennerdos} for the corresponding density of eigenvalues.
195:
196: \begin{figure}
197: \leavevmode
198: \epsfxsize=4in
199: \epsffile{pennerdos.eps}
200: \caption{The density of eigenvalues for the
201: Gaussian Penner Random Matrix Model for $\mu=1$ and $t=1$.}
202: \label{pennerdos}
203: \end{figure}
204:
205: \sect{Exact Solution for the Symmetric Gaussian Model}\label{exact}
206:
207: The orthogonal polynomials satisfy the recurrence relation
208:
209: \beq
210: (z-S_n) P_n (z) = P_{n+1} (z) + R_n P_{n-1} (z)
211: \label{rec}
212: \eeq
213: where $S_n, R_n$ are the recurrence coefficients.
214: For symmetric models $S_n=0$. For even potentials instead of
215: recurrence relation
216:
217: \beq
218: z P_n (z) = P_{n+1} (z) + R_n P_{n-1} (z)
219: \label{pzero}
220: \eeq
221:
222: one can use
223:
224: \beq
225: z^2 P_{2n} (z) = P_{2n+2} (z) + (R_{2n+1}+R_{2n}) P_{2n} (z)
226: + R_{2n-1} R_{2n} P_{2n-2} (z)
227: \label{pone}
228: \eeq
229:
230: and
231:
232: \beq
233: z^2 P_{2n+1} (z) = P_{2n+3} (z) + (R_{2n+1}+R_{2n+2}) P_{2n+1} (z)
234: + R_{2n+1} R_{2n} P_{2n-1} (z).
235: \label{ptwo}
236: \eeq
237:
238: Where we have multiplied z to Eq. (\ref{pzero}) and expanded. Then
239: eq. (\ref{pone}) contains only even polynomials
240: $P_{2n} (-z) = P_{2n} (z)$ and
241: eq. (\ref{ptwo}) contains only odd polynomials
242: $P_{2n+1} (-z) = - P_{2n+1} (z)$. This simplifies the solution
243: as we will see.
244:
245: (1). Let us first work with the even set. Let $y=z^2$ and define
246: functions $\mathcal{P}_{n} (y) = P_{2n} (z)$. In terms of these
247: `new' polynomials
248:
249: \beq
250: y \mP_n (y) = \mP_{n+1} (y) + \mS_n \mP_n (y) + \mR_n \mP_{n-1} (y)
251: \eeq
252:
253: where $\mS_n = R_{2n} + R_{2n+1} = A_n + B_n$ and
254: $\mR_n = R_{2n-1} R_{2n} = A_n B_{n-1}$. These polynomials obey
255:
256: \beq
257: \int_0^{\infty} dy e^{-N^{\prime} [ \mV_0 (y) - t^{\prime} log y ]}
258: \mP_n (y) \mP_m (y) = h_n \delta_{n,m}
259: \eeq
260: where
261: $
262: \mV_0 (y) = 2 V_0 (z) = \mu y + .......
263: $, $t^{\prime} = t - {1\over {2 N^{\prime}}}$ and
264: $N^{\prime} = {N\over 2}$.
265:
266: This is the same as the brick wall problem i.e. the linear
267: Penner model if $t \leftrightarrow t^{\prime}$,
268: $N \leftrightarrow N^{\prime}$ and $t^{\prime} N^{\prime}
269: = (t-{1\over N}) {N\over 2} = {(Nt-1)\over 2}.$
270:
271: (2). A similar analysis can be carried out for the odd set. Define
272:
273: \beq
274: \bar{\mP}_n (y) = z^{-1} P_{2n+1} (z).
275: \eeq
276:
277: Then
278:
279: \beq
280: y \bar{\mP}_n (y) = \bar{\mP}_{n+1} (y) + \bar{\mS}_n \bar{\mP}_n (y)
281: + \bar{\mR}_n \bar{\mP}_{n-1} (y)
282: \eeq
283: where
284: \beq
285: \bar{\mS}_n = R_{2n+1} + R_{2n+2}
286: \eeq
287: and
288: \beq
289: \bar{\mR}_n = R_{2n+1} R_{2n}.
290: \eeq
291:
292: Because of the extra factor of z associated with the odd series
293: the `barred' polynomials satisfy orthogonality condition
294:
295: \beq
296: \int_0^{\infty} dy e^{-N^{\prime} [\mV_0 (y) -\bar{t}^{\prime} log y]}
297: \bar{\mP}_n (y) \bar{\mP}_m (y) = \bar{h}_n \delta_{n,m}
298: \eeq
299:
300: where $\bar{t}^{\prime}=t+{1\over 2 N^{\prime}}$. This barred system
301: can be solved as a brick-wall problem. Original recurrence coefficients
302: are obtained by
303:
304: \beq
305: R_{2n+1} = {1\over 2} \{ \mS_n + \sqrt{\mS^2_n-4\bar{\mR}_n} \}
306: \eeq
307:
308: \beq
309: R_{2n} = {1\over 2} \{ \mS_n - \sqrt{\mS^2_n -4 \bar{\mR}_n} \}.
310: \eeq
311:
312: Using $\mW_{n+1} + \mW_n + S_n \mY_n = {{2n+1+Nt}\over N}$ and
313: $S_n {\mW_{n+1}-\mW_n-{1\over N}}=-R_{n+1} \mY_{n+1}+R_n \mY_{n-1}$
314: (see ref. \cite{T92} for details and definitions of $\mW$ and $\mY$)
315: we get
316:
317: \beq
318: \mS_n = {{2n+1+t^{\prime}N^{\prime}}\over {\mu N^{\prime}}}
319: ={{4n+1+tN}\over {\mu N}}
320: \eeq
321:
322: \beq
323: \bar{\mS}_n = {{2n+1+\bar{t}^{\prime} N^{\prime}}
324: \over {\mu N^{\prime}}} = {{4n+3+tN}\over {\mu N}}
325: \eeq
326:
327: \beq
328: \mR_n = {n(n+t^{\prime}N^{\prime})\over {\mu^2 N^{\prime 2}}}
329: ={{2n(2n-1+tN)}\over {\mu^2 N^2}}
330: \eeq
331:
332: \beq
333: \bar{\mR}_n = {{n(n+\bar{t}^{\prime} N^{\prime})}\over
334: {\mu^2 N^{\prime 2}}} = {{2n(2n+1+tN)} \over {\mu^2 N^2}}.
335: \eeq
336:
337: (1). For the even set the orthogonality relation
338:
339: \beq
340: \int_0^{\infty} dy e^{-N^{\prime}[\mV_0 (y) - t^{\prime} log y]}
341: \mP_n (y) \mP_m (y) = h_n \delta_{n,m} \nonumber \\
342: \eeq
343:
344: simplifies to
345:
346: \beq
347: \int_0^{\infty} dy e^{-N^{\prime} \mV_0 (y)} y^{N^{\prime} t^{\prime}}
348: \mP_n (y) \mP_m (y) = h_n \delta_{n,m}.\nonumber \\
349: \eeq
350:
351: Now as
352:
353: \beq
354: \mR_n = {{n(n+t^{\prime}N^{\prime})}\over {\mu^2 N^{\prime 2}}}
355: ={{2n(2n-1+tN)}\over {\mu^2 N^2}}, \nonumber \\
356: \eeq
357:
358: \beq
359: \mR_1 = {{2(2-1+tN)}\over {\mu^2 N^2}}
360: = {{2(1+tN)}\over {\mu^2 N^2}},\nonumber \\
361: \eeq
362:
363: \beq
364: \mR_2 = {{4(4-1+tN)} \over {\mu^2 N^2}}\nonumber \\
365: \eeq
366: etc. Note the following
367: \beq
368: \mR_n={h_n\over h_{n-1}}.
369: \eeq
370:
371: %\beql
372: %h_n &=& R_n h_{n-1} \nonumber \\
373: % &=& R_n R_{n-1} h_{n-2}\nonumber \\
374: % &=& R_n R_{n-1} ............... R_1 h_0 \nonumber \\
375: % &=& {{2n(2n-1+tN)}\over {\mu^2 N^2}} \nonumber \\
376: % &=& {{(2n-2)(2n-3+tN)}\over {\mu^2 N^2}} \nonumber \\
377: % & & .......{{2(1+tN)}\over {\mu^2 N^2}}h_0 \nonumber \\
378: % &=& {{2^n n! (2n-1+tN)(2n-3+tN)......(1+tN)}\over
379: % {(\mu N)^{2n}}}
380: %\eeql
381: %\beq
382: %R_n ={{n(n+t^{\prime}N^{\prime})}
383: %\over {\mu^2 N^{\prime 2}}}
384: %\eeq
385:
386: Thus $h_n$ is
387: \beql
388: h_n &=& \mR_n h_{n-1}=\mR_n \mR_{n-1}h_{n-2} \nonumber \\
389: &=&\mR_n \mR_{n-1}\mR_{n-2}.........\mR_1 h_0 \nonumber \\
390: &=& {{n(n+t^{\prime}N^{\prime})}\over {\mu^2 N^{\prime 2}}}
391: {{(n-1)(n-1+t^{\prime}N^{\prime})}\over {\mu^2 N^{\prime 2}}}\nonumber \\
392: && ...............\nonumber \\
393: &&{{(1+t^{\prime}N^{\prime})}
394: \over {\mu^2 N^{\prime 2}}}h_0 \nonumber \\
395: &=& {n!\over {(\mu N^{\prime})^{2n}}}
396: {{\Gamma(n+t^{\prime}N^{\prime}+1)}\over
397: {\Gamma(t^{\prime}N^{\prime}+1)}} h_0.
398: \eeql
399:
400: Note:
401:
402: \beq
403: \mP_n (y) = P_{2n} (z)
404: \eeq
405:
406: for $n=0$
407:
408: \beq
409: \mP_n (y) = P_0 (z) = 1.
410: \eeq
411:
412: Then
413:
414: \beql
415: h_0 &=& \int_0^{\infty} dy e^{-N^{\prime} \mV_0 (y)}
416: y^{N^{\prime} t^{\prime}}
417: \mP_0 (y) \mP_0 (y)\nonumber \\
418: &=& \int_0^{\infty} dy e^{-N^{\prime}
419: \mV_0 (y)} y^{N^{\prime} t^{\prime}}.
420: \eeql
421:
422: For
423:
424: \beq
425: \mV_0 (y) = \mu y,
426: \eeq
427:
428: \beq
429: h_0=\int_0^{\infty} dy e^{-N^{\prime}\mu y}
430: y^{N^{\prime}t^{\prime}}.
431: \eeq
432:
433: Defining
434:
435: \beq
436: u=N^{\prime}\mu y,
437: \eeq
438:
439: \beq
440: du=N^{\prime}\mu dy \nonumber
441: \eeq
442:
443: we get
444:
445: \beql
446: h_0 &=& \int_0^{\infty} {du\over {N^{\prime}\mu}} e^{-u}
447: ({u\over {N^{\prime}\mu}})^{N^{\prime} t^{\prime}}\nonumber \\
448: &=& {1 \over {(N^{\prime}\mu)^{N^{\prime}t^{\prime}+1}}}
449: \Gamma (N^{\prime}t^{\prime}+1)
450: \eeql
451:
452: and
453:
454: \beql
455: h_n &=& {{n! \Gamma(n+1+t^{\prime}N^{\prime})}\over
456: {(\mu N^{\prime})^{2n+N^{\prime}t^{\prime}+1}}}.\\
457: \eeql
458:
459: Rewritting
460:
461: \beq
462: \mP_n (y) = Q_n (u)
463: \eeq
464:
465: the orthogonality condition is
466:
467: \beql
468: \int_0^{\infty} du u^{N^{\prime} t^{\prime}} e^{-u}
469: Q_n (u) Q_m (u) &=& (N^{\prime} \mu)^{N^{\prime}
470: t^{\prime}+1} h_n \delta_{n,m} \nonumber\\
471: &=& {{(n!)^2 \Gamma (n+1+t^{\prime} N^{\prime})}
472: \over {(\mu N^{\prime})^{2n} \Gamma (n+1)}} \delta_{n,m}.\nonumber
473: \eeql
474:
475: Redefine $Q^{\prime}_n (u) = {{(\mu N^{\prime})^n}\over n!} Q_n (u)$.
476: Then
477:
478: \beq
479: \int_0^{\infty} du u^{N^{\prime} t^{\prime}} e^{-u} Q_n^{\prime} (u)
480: Q_n^{\prime} (u) = {\Gamma (n+1+t^{\prime}N^{\prime})\over
481: \Gamma (n+1)} \delta_{n,m},
482: \eeq
483:
484: comparing with the Associated Laguerre Polynomials $L^{(\alpha)}_n(x)$
485: we get
486:
487: \beq
488: Q_n^{\prime} (u) = (-1)^n L_n^{N^{\prime}t^{\prime}} (u),
489: \eeq
490:
491: then ($\alpha=N^{\prime}t^{\prime}$ Associated Laguerre Polynomials)
492:
493: \beq
494: \mP_n (y) = Q_n (u) = {n!\over {(\mu N^{\prime})^n}}
495: (-1)^n L_n^{N^{\prime}t^{\prime}} (u)
496: \eeq
497:
498: and
499:
500: \beql
501: \hat{\mP}_n (y) &=& {\mP_n (y) \over {\sqrt{h_n}}} \nonumber\\
502: &=& \sqrt{(\mu N^{\prime})^{N^{\prime}t^{\prime}+1}
503: \over {(n!)\Gamma(n+1+t^{\prime}N^{\prime})}}
504: (n!)(-1)^n L_n^{N^{\prime}t^{\prime}} (N^{\prime}\mu y).
505: \eeql
506:
507: Thus the normalized even set of orthogonal polynomials are
508:
509: \beql
510: \psi_{2n} (y) &=&
511: e^{-{N^{\prime}\over 2}[\mu y - t^{\prime}log y]}
512: \hat{\mP}_n (y)\nonumber \\
513: &=&
514: [{n!(N^{\prime}\mu)^{N^{\prime}t^{\prime}+1}
515: \over {\Gamma (n+1+N^{\prime}t^{\prime})}}]^{1\over 2}
516: y^{N^{\prime}t^{\prime}\over 2}
517: e^{-{N^{\prime}\mu y}\over 2} L_n^{N^{\prime}t^{\prime}}
518: (N^{\prime}\mu y).
519: \label{peven}
520: \eeql
521:
522: (2). For odd set
523:
524: \beq
525: \int_0^{\infty} dy e^{-N^{\prime}{[\mu y-\bar{t}^{\prime}log y]}}
526: \bar{\mP}_n (y) \bar{\mP}_m (y) = \bar{h}_n \delta_{nm}\nonumber
527: \eeq
528:
529: where $\bar{t}^{\prime}=t+{1\over {2N^{\prime}}}$ and $N^{\prime}
530: \bar{t}^{\prime}={{Nt+1}\over 2}$. The orthogonality condition are
531:
532: \beq
533: \int_0^{\infty} dy e^{-N^{\prime} \mu y}
534: y^{N^{\prime} \bar{t}^\prime} \bar{\mP}_n (y) \bar{\mP}_m (y)=
535: \bar{h}_n \delta_{nm}. \nonumber
536: \eeq
537:
538: Note that
539:
540: \beq
541: \bar{\mR}_n = {\bar{h}_n\over {\bar{h}_{n-1}}}.
542: \eeq
543:
544: For
545:
546: \beq
547: \bar{\mR}_n = {n(n+\bar{t}^{\prime})
548: \over {\mu^2 N^{\prime 2}}}.
549: \eeq
550:
551: we get
552:
553: \beql
554: \bar{h}_n &=& \bar{\mR}_n \bar{h}_{n-1}\nonumber\\
555: &=& \bar{\mR}_n \bar{\mR}_{n-1} \bar{\mR}_{n-2}..........
556: \bar{\mR}_1 \bar{h}_0\nonumber\\
557: &=& {{n!(n+\bar{t}^{\prime}N^{\prime})!}\over
558: {(\mu N^{\prime})^{2n} (\bar{t}^{\prime} N^{\prime})!}}
559: \bar{h}_0.
560: \eeql
561:
562: Note:
563:
564: $
565: \bar{\mP}_n (y) = z^{-1} P_{2n+1} (z)
566: $
567: and
568: $
569: \bar{\mP}_0 (y) = z^{-1} P_1 (z).
570: $
571:
572: But $P_1 (z) = z$ hence $\bar{\mP}_0 (y) = z^{-1} z =1$. Therefore
573:
574: \beql
575: \bar{h}_0 &=& \int_0^{\infty} dy e^{-N^{\prime} \mu y}
576: y^{N^{\prime}\bar{t}^{\prime}} \bar{\mP}_0 (y) \bar{\mP}_0 (y)\nonumber\\
577: &=& \int_0^{\infty} dy e^{-N^{\prime}\mu y}
578: y^{N^{\prime}\bar{t}^{\prime}}.
579: \eeql
580:
581: Defining
582:
583: \beq
584: u = N^{\prime} \mu y
585: \eeq
586:
587: and
588:
589: \beq
590: du = N^{\prime} \mu dy, \nonumber
591: \eeq
592:
593: we get
594:
595: \beql
596: \bar{h}_0 &=& \int_0^{\infty} {du\over {N^{\prime}\mu}}
597: e^{-u} ({u\over {N^{\prime} \mu}})^{N^{\prime}\bar{t}^{\prime}}\nonumber\\
598: &=& {1\over {(N^{\prime}\mu)^{N^{\prime}\bar{t}^{\prime}+1}}}
599: \int_0^{\infty} du e^{-u} u^{N^{\prime} \bar{t}^{\prime}}.
600: \eeql
601:
602: So that
603:
604: \beq
605: \bar{h_n} = {{\Gamma (n+1) \Gamma (n+1+\bar{t}^{\prime} N^{\prime})}
606: \over {(N^{\prime} \mu)^{2n+N^{\prime}\bar{t}^{\prime}+1}}}.
607: \eeq
608:
609: Now let $\bar{Q}_n (u) = \bar{\mP}_n (y)$. Therefore
610:
611: \beql
612: \int_0^{\infty} du e^{-u} u^{N^{\prime}\bar{t}^{\prime}}
613: \bar{Q}_n (u) \bar{Q}_m (u) &=&
614: (N^{\prime}\mu)^{N^{\prime}\bar{t}^{\prime}+1} \bar{h}_n \delta_{nm}
615: \nonumber\\
616: &=& {{\Gamma(n+1) \Gamma(n+1+\bar{t}^{\prime}N^{\prime})}\over
617: {(\mu N^{\prime})^{2n}}} \delta_{nm}\nonumber\\
618: &=& ({{n!}\over {(\mu N^{\prime})^n}})^2
619: {{\Gamma (n+1+\bar{t}^{\prime}N^{\prime})}\over {n!}} \delta_{nm}.
620: \eeql
621:
622: Define $\bar{Q}_n^{\prime} (u)= {(\mu N^{\prime})^n\over n!}
623: \bar{Q}_n (u)$ then
624:
625: \beq
626: \int_0^{\infty} du e^{-u} u^{N^{\prime}\bar{t}^{\prime}}
627: \bar{Q}^{\prime}_n (u) \bar{Q}_m^{\prime} (u) =
628: {\Gamma (n+1+\bar{t}^{\prime} N^{\prime}) \over {n!}} \delta_{nm}.
629: \eeq
630:
631: For
632:
633: \beql
634: \bar{Q}_n^{\prime} (u) &=& {(\mu N^{\prime})^n\over n!} Q_n (u)\nonumber\\
635: & = & (-1)^n L_n^{N^{\prime}\bar{t}^{\prime}} (u) \nonumber\\
636: \eeql
637:
638: where $\alpha=N^{\prime}\bar{t}^{\prime}$. Now
639:
640: \beq
641: \bar \mP_n (y) = \bar{Q}_n (u) = {n! (-1)^n \over (\mu N^{\prime})^n}
642: L^{N^{\prime}\bar{t}^{\prime}}_n (N^{\prime}\mu y).
643: \eeq
644:
645: hence
646:
647: \beql
648: \hat{\bar{\mP}}_n (y) & = & {\bar{\mP}_n (y)\over
649: {\sqrt{\bar{h_n}}}}\nonumber\\
650: &=& \sqrt{(\mu N^{\prime})^{N^{\prime}\bar{t}^{\prime}+1} n!
651: \over {\Gamma(n+1+\bar{t}^{\prime}N^{\prime})}}
652: (-1)^n L_n^{N^{\prime}\bar{t}^{\prime}} (N^{\prime}\mu y).
653: \eeql
654:
655: Thus the normalized odd orthogonal polynomials are
656:
657: \beql
658: \psi_{2n+1} (y) &=&
659: e^{-{N^{\prime}\over 2}[\mu y - \bar{t}^{\prime}log y]}
660: \hat{\bar{\mP}}_n (y)\nonumber \\
661: &=&
662: [{n!(N^{\prime}\mu)^{N^{\prime}\bar{t}^{\prime}+1}
663: \over {\Gamma (n+1+N^{\prime}\bar{t}^{\prime})}}]^{1\over 2}
664: y^{N^{\prime}\bar{t}^{\prime}\over 2}
665: e^{-{N^{\prime}\mu y}\over 2} L_n^{N^{\prime}\bar{t}^{\prime}}
666: (N^{\prime}\mu y).
667: \label{podd}
668: \eeql
669:
670: The important lesson to learn from this exercise is that
671: $\alpha={{(Nt-(-1)^{n^\prime})}\over 2}$ for $n^{\prime}$ an
672: integer which is even or odd and $x=N^{\prime}\mu y$
673: for the orthogonal polynomials, which are proportional to the
674: generalized Laguerre polynomials $L^{(\alpha)}_n (x)$,
675: of the Gaussian Penner Matrix Model.
676:
677: \sect{The Old Asymtotic Formula for Associative Laguerre Ensemble}
678:
679: Consider the asymptotic formula given in Szego's book on
680: orthogonal polynomials. The formulas of Plancherel-Rotach type for
681: Laguerre polynomials for $\alpha$ arbitrary and real, $\epsilon$
682: fixed positive number for $x=(4n+2\alpha+2)\cos^2\phi$,
683: $\epsilon \le \phi \le {\pi\over 2} - \epsilon n^{-1\over 2}$
684: are given below
685:
686: \beql
687: &&e^{-x\over 2} L_n^{(\alpha)} (x) = (-1)^n (\pi sin \phi)^{-1\over 2}
688: x^{-{\alpha\over 2}- {1\over 4}} n^{{\alpha\over 2}-{1\over 4}}\nonumber\\
689: &&\{ Cos [ (n+{{(\alpha+1)}\over 2})(sin 2\phi - 2 \phi) + {\pi\over 4}]
690: +(nx)^{-1\over 2} O(1) \}.
691: \eeql
692:
693: For the Gaussian Penner model with $\alpha={{(Nt-(-1)^{n^\prime})}\over 2}$
694: and $x=N^{\prime}\mu y$
695:
696: \beql
697: &&e^{-x\over 2} L_n^{(\alpha)} (x) = (-1)^n (\pi sin \phi)^{-1\over 2}
698: x^{{-\alpha\over 2}-{1\over 4}} n^{{\alpha\over 2}-{1\over 4}}\nonumber\\
699: &&\{ Cos [ (n+{1\over 2})(sin 2\phi - 2\phi) +
700: {{(Nt-(-1)^{n^\prime})}\over 4} (sin 2\phi - 2\phi) + {\pi\over 4}]\nonumber\\
701: && + (nx)^{-1\over 2} O(1) \}.
702: \eeql
703:
704: The combined asymptotic ansatz for the even and odd results
705: eq. (\ref{peven}) and eq. (\ref{podd}) for the Gaussian Penner
706: model in this asymtotic region is ($n^\prime$ stands for both
707: even $2n$ and odd $2n+1$ integers)
708:
709: \beql
710: &&\psi_{n^\prime} (x) = e^{-x\over 2} L_n^{(\alpha)} (x)
711: = (-1)^n (\pi sin \phi)^{-1\over 2} x^{{-\alpha\over 2} - {1\over 4}}
712: n^{{\alpha\over 2}-{1\over 4}} \nonumber \\
713: &&\{ Cos [ (n+{1\over 2}+{Nt\over 4})
714: (sin 2\phi - 2\phi) + {\pi\over 4} - {(-1)^{n^\prime}\over 4}
715: (sin 2\phi -2\phi) ] \nonumber\\
716: &&+ (nx)^{-{1\over 2}} O(1) \}
717: \eeql
718:
719: Note that the term ${(-1)^{n^\prime}\over 4}(sin 2\phi -2\phi)$ is
720: not the extra term (with $\eta$ see ref. \cite{D97,BD99} or
721: eq. (\ref{fzpec}) below) that was
722: found for the asymptotic ansatz in the double well problem.
723:
724: \sect{The New Asymptotic Formula for Associative Laguerre Ensemble}
725: \label{alag}
726:
727: Let us start with an expression which has a well defined $\alpha=0$ limit.
728: Using
729:
730: \beq
731: {d\over dx} f(x) = {d\over du} f(u+x)|_{u=0}
732: \eeq
733:
734: we can write using Cauchy's theorem
735:
736: \beql
737: L^{(\alpha)}_n (x) &=& {e^x\over n!} x^{-\alpha}
738: ({d\over du})^n [(x+u)^{n+\alpha} e^{-(x+u)}]_{u=0}\nonumber\\
739: &=& {x^{-\alpha}\over n!} ({d\over du})^n
740: [(x+u)^{(n+\alpha)} e^{-(u)}]|_{u=0}\nonumber\\
741: &=& x^{-\alpha} \int_c {dz\over 2i\pi} {1\over z^{n+1}}
742: (z+x)^{n+\alpha} e^{-z}\nonumber\\
743: \eeql
744:
745: in which the countour C is a small circle around the origin
746: ($|z|<x$) change $z\rightarrow nz$ ($|z|<{x\over n}$)
747:
748: \beql
749: L^{(\alpha)}_n (x) &=& ({x\over n})^{-\alpha} \int_c {dz\over 2i\pi}
750: {1\over z^{n+1}} (z+{x\over n})^{n+\alpha} e^{-nz}\nonumber \\
751: &=& ({x\over n})^{-\alpha} \int_c {dz\over 2i\pi} {1\over z}
752: e^{-n f(z)}
753: \eeql
754:
755: \beq
756: f(z) = z + log z - (1+{\alpha\over n}) log (z+{x\over n})
757: \eeq
758:
759: we explore ${\alpha\over n}$ and ${x\over n}$ finite.
760: In this representation the limit $\alpha=0$ is well defined.
761: C is a circle around the origin. The saddle point is given
762: by an expression
763:
764: \beq
765: z^2 + z ({{x-\alpha}\over n}) + {x\over n} = 0.
766: \eeq
767:
768: With the parametrization
769:
770: \beq
771: {\alpha-x\over n} = 2 \sqrt{x\over n} cos\phi
772: \eeq
773:
774: \beq
775: z_0 = \sqrt{x\over n} e^{i\phi}
776: \eeq
777:
778: and $\bar{z_0}$ are the saddle points. This is valid in the range
779: $|{\alpha-x\over n}| < 2 \sqrt{x\over n}$; if the parameters are
780: such that this inequality is reversed, there is only one real
781: saddle-point. This is where the new saddle points will have to be
782: taken into account.
783:
784: If there is a saddle-point in the integral
785:
786: \beq
787: I=\int_c {dz\over 2i\pi} {1\over z} e^{-n f(z)}
788: \eeq
789:
790: at $z_0$ then
791:
792: \beq
793: I \approx {e^{-n f(z_0)} \over z_0} \sqrt{2\pi\over n |f''(z_0)|}
794: e^{-i\theta\over 2}
795: \eeq
796:
797: with $f''(z_0)=|f''(z_0)|e^{i\theta}$. Indeed expand $f(z)$ around
798: $z_0$
799:
800: \beq
801: f(z) = f(z_0) + {1\over 2} (z-z_0)^2 |f''(z_0)| e^{i\theta}
802: \eeq
803:
804: path is $ z-z_0 = x e^{{-i\theta}\over 2}$
805:
806: \beq
807: I \approx e^{-i{\theta\over 2} - n f(z_0)} \int_{-\infty}^{+\infty}
808: dx e^{-{n\over 2} x^2 |f''(z_0)|}.
809: \eeq
810:
811: Here we need to add the contributions of $z_0$, $\bar{z}_0$ and
812: the other saddle points. Therefore if $f(z_0)=A+iB$
813:
814: \beq
815: I \approx e^{-nA} \sqrt{2\pi\over x |f''(z_0)|}
816: 2 \cos (nB+\phi+{\theta\over 2})(x)
817: \eeq
818:
819: with
820:
821: \beq
822: f''(z_0)= \sqrt{n\over x} {2i ~~ sin \phi ~~ e^{-i\phi}\over
823: \sqrt{x\over n}+e^{i\phi}}
824: \eeq
825:
826: and $\theta$ is it's phase. The $(-1)^n$ would only show up in B.
827: This is a new asymptotic expansion of the generalized Laguerre
828: ensemble in a novel asymptotic regime. It would be nice to
829: have a physical picture of this asymptotic regime.
830:
831: On simplifying the above expression it will give the
832: asymtotic ansatz found in ref.\cite{D97} for the double well
833: matrix model. Following ref. \cite{D97} for $N$ large but
834: $N-n\approx O(1)$ and $x$ lying in the two cuts the asymptotic ansatz
835: for the orthogonal polynomials of the Gaussain Penner Matrix Model
836: can be approximated by
837:
838: \beq
839: \psi_n (x) = {1\over \sqrt{f}}
840: \left [ \cos ( N \zeta - (N-n)\phi + \chi + (-1)^n \eta )(x)
841: + O ({1\over N}) \right ]
842: \eeq
843:
844: where $f, \zeta, \phi, \chi$ and $\eta$ are functions of $x$ and
845: are given by
846:
847: \beql
848: f(x) &=& {\pi\over 2 x} {(b^2-a^2)\over 2}
849: \sin 2\phi (x) \nonumber \\
850: \zeta^{\prime} (x) &=& - \pi \rho (x) \nonumber \\
851: \cos 2 \phi (x) &=& {x^2-{(a^2+b^2)\over 2}\over
852: {(b^2-a^2)\over 2}} \nonumber \\
853: \cos 2 \eta (x) &=& b {\cos \phi (x) \over x}
854: \nonumber \\
855: \sin 2 \eta (x) &=& a {\sin \phi (x) \over x}
856: \nonumber \\
857: \chi (x) &=& {1\over 2} \phi (x) - {\pi\over 4}
858: \label{fzpec}
859: \eeql
860: with $a^2$ and $b^2$ as given in sec. (2) for the
861: Gaussian Penner model.
862:
863: All the corresponding correlation functions of
864: this model will be as obained in ref. \cite{D97} and ref. \cite{BD99}.
865: Following ref. \cite{BD99} and using the contour of integration
866: for the Gaussian Penner model, see Fig. \ref{pennerc}, the
867: the smoothed density-density correlation function can be derived
868: in the thermodynamic limit and is an oscillating function of $N$:
869:
870: \begin{figure}
871: \leavevmode
872: \epsfxsize=4in
873: \epsffile{contor.eps}
874: \caption{The contour of integration for the two-cut Gaussian
875: Penner model.}
876: \label{pennerc}
877: \end{figure}
878:
879: \beql
880: 2 \pi^2 N^2 \rho^c_2 (\lambda,\mu) =
881: {{\epsilon_{\lambda}\epsilon_{\mu}} \over {\beta \sqrt{|\sigma(\lambda)|}
882: \sqrt{|\sigma(\mu)|}}} {1\over {(\mu -\lambda)^2}}\nonumber \\
883: \left( \lambda \mu (\lambda \mu - a^2 - b^2) + a^2 b^2
884: + (-1)^N ab (\mu-\lambda)^2 \right).\nonumber \\
885: \label{dd}
886: \eeql
887:
888: Here for the symmetric Gaussian Penner Model
889: $\sigma(z)=(z^2-a^2)(z^2-b^2)$,
890: $a^2={(2+t)\over \mu}+{2\over \mu}\sqrt{(1+t)}$, $b^2={(2+t)\over \mu}
891: -{2\over \mu}\sqrt{(1+t)}$,
892: $\epsilon_{\lambda}=+1$ for $b<\lambda<a$, $\epsilon_{\lambda}=-1$ for
893: $-a<\lambda<-b$ and $\beta=1,2,4$ depending on whether $M$ the matrix
894: is real orthogonal, hermitian or self-dual quartonian.
895:
896: Using this expression in the
897: formulas for the mesoscopic fluctuation \cite{B94}
898: would give rise to terms depending on $N$.
899: This may be observed in single electron experiments on mesoscopic
900: samples which have gaps in their eigenvalue spectrum. Work to explicitly
901: obtain all these expressions in the Chiral Matrix Model in this asymptotic
902: regime is in progress.
903:
904: \sect{Conclusion}
905:
906: Finally let us note that in matrix models
907: when the number of connected components
908: for the support of the eigenvalues
909: changes, one finds a new universality class for the correlators
910: which has been extended here to include the non-polynomial potentials.
911: It is not completely obvious that
912: it is legitimate to use the simple one cut function
913: in the application to mesoscopic fluctuations as the
914: correlation function are different for these gapped random
915: matrix models because of single electron tunneling effects.
916: Further questions of symmetry breaking in these singular
917: random matrix models are open questions to be explored
918: in the future.
919:
920: \vskip 5mm
921:
922: \setcounter{equation}{0}
923: \renewcommand{\theequation}{A.\arabic{equation}}
924: \noindent
925:
926: \vskip 5mm
927:
928: \begin{flushleft}
929: \underline{Acknowledgements}:\hfill\break
930:
931: ND thanks Prof. E. Br\'ezin for discussions. ND also thanks
932: the Abdus Salam International Centre for Theoretical Studies
933: for hospitality and facilities.
934:
935: \end{flushleft}
936:
937: \vskip 5mm
938:
939: %\bibliography{herm}
940: %\bibliographystyle{unsrt}
941:
942: \newcommand{\NP}[3]{{\it Nucl. Phys. }{\bf B#1} (#2) #3}
943: \newcommand{\PL}[3]{{\it Phys. Lett. }{\bf B#1} (#2) #3}
944: \newcommand{\PR}[3]{{\it Phys. Rev. }{\bf #1} (#2) #3}
945: \newcommand{\PRL}[3]{{\it Phys. Rev. Lett. }{\bf #1} (#2) #3}
946: \newcommand{\IMP}[3]{{\it Int. J. Mod. Phys }{\bf #1} (#2) #3}
947: \newcommand{\MPL}[3]{{\it Mod. Phys. Lett. }{\bf #1} (#2) #3}
948: \newcommand{\JP}[3]{{\it J. Phys. }{\bf A#1} (#2) #3}
949:
950: \begin{thebibliography}{99}
951:
952: \bibitem{D97} N. Deo, \NP{504}{1997}{609}.
953:
954: \bibitem{BD99} E. Br\'ezin and N. Deo, \PR{E59}{1999}{3901}.
955:
956: \bibitem{BH99} E. Br\'ezin and S. Hikami, math-ph/9910005.
957:
958: %\bibitem{KF97} E. Kanzieper and V. Freilikher,
959: %\PR{E57}{1998}{6604}.
960:
961: \bibitem{D02} N. Deo, \PR{E65}{2002}{056115} and references therein.
962:
963: \bibitem{BDJT93} R. C. Brower, N. Deo, S. Jain and C. I. Tan,
964: \NP{405}{1993}{166}.
965:
966: \bibitem{CIM92} Y. Chen, M.E.H. Ismail, K.A. Muttalib,
967: {\it J. Phys.:Cond. Mat. } {\bf 4} {(1992)} {L417}; {\bf 5} {(1993)} {177};
968: K.A.Muttalib, Y. Chen, M.E.H. Ismail, V.N.Nicopoulos, {\it J. Phys. Rev.
969: Lett. } {\bf 71} {(1993)} {471}; C.Blecken, Y. Chen, K.A. Muttalib,
970: {\it J. Phys. } {\bf A27} {(1994)} {L563}.
971:
972: \bibitem{SN94} T. Nagao and K. Slevin, {\it J. Math. Phys. } {\bf 34} {(1993)}
973: {2075}; {\it J. Math. Phys. } {\bf 34} {(1993)} {2317};
974: K. Slevin and T. Nagao, \PR{B50} {1994} {2380}.
975:
976: \bibitem{B97} C.W.J. Beenakker, {\it Rev. Mod. Phys. } {\bf 69} {(1997)} {731};
977: I. Adagideli and C.W.J. Beenakker, cond-mat/0202206 and references therein.
978:
979: \bibitem{PHZ86} R.C. Penner, {\it Bull. Am. Math. Soc. } {\bf 15}
980: {(1986)} {73}; {\it J. Diff. Geom. } {\bf 27} {(1988)} {35};
981: J. Harer and D. Zagier, {\it Invent. Math. } {\bf 85} {(1986)} {457}.
982:
983: \bibitem{DV91} J. Distler and C. Vafa, {\it Mod. Phys. Lett. }{\bf 85}
984: {(1986)}{457}.
985:
986: \bibitem{DV02} R. Dijkgraaf and C. Vafa, hep-th/0207106 and
987: hep-th/0206255.
988:
989: \bibitem{A02} G. Akemann, hep-th/0204068 and references therein.
990:
991: \bibitem{FS02} Y.V.Fyodorov and E. Strahov, hep-th/0205215 and
992: references therein.
993:
994: \bibitem{T92} C-I Tan, \PR{D45}{1992}{2862}.
995:
996: %\bibitem{AJM90} J. Ambjorn, J. Jurkiewicz and Yu. M. Makeenko,
997: %\PL{251}{1990}{517}.
998:
999: %\bibitem{BZ93} E. Br\'ezin and A. Zee,
1000: %\NP{402}{1993}{613}.
1001:
1002: \bibitem{B94} C. W. J. Beenakker,
1003: \NP{422}{1994}{515}; \PRL{70}{1993}{1155}.
1004:
1005: %\bibitem{BZinn92} E. Br\'ezin and J. Zinn-Justin,
1006: %\PL{288}{1992}{54}.
1007:
1008: %\bibitem{AA96} G. Akemann and J. Ambjorn, \JP{29}{1996}{L555}.
1009:
1010: %\bibitem{SLA93} B. D. Simons, P. A. Lee and B. L. Altshuler,
1011: %\PRL{70}{1993}{4122}; \NP{409}{1993}{487}
1012:
1013: \end{thebibliography}
1014:
1015: \end{document}
1016:
1017:
1018:
1019:
1020:
1021:
1022:
1023:
1024:
1025:
1026:
1027:
1028:
1029:
1030:
1031: