Application of the τ-function theory of Painlevé equations to random matrices: PVI , the JUE, CyUE, cJUE and scaled limits

Abstract Okamoto has obtained a sequence of τ-functions for the PVI system expressed as a double Wronskian determinant based on a solution of the Gauss hypergeometric equation. Starting with integral solutions of the Gauss hypergeometric equation, we show that the determinant can be re-expressed as multidimensional integrals, and these in turn can be identified with averages over the eigenvalue probability density function for the Jacobi unitary ensemble (JUE), and the Cauchy unitary ensemble (CyUE) (the latter being equivalent to the circular Jacobi unitary ensemble (cJUE)). Hence these averages, which depend on four continuous parameters and the discrete parameter N, can be characterised as the solution of the second order second degree equation satisfied by the Hamiltonian in the PVI theory. We show that the Hamiltonian also satisfies an equation related to the discrete PV equation, thus providing an alternative characterisation in terms of a difference equation. In the case of the cJUE, the spectrum singularity scaled limit is considered, and the evaluation of a certain four parameter average is given in terms of the general PV transcendent in σ form. Applications are given to the evaluation of the spacing distribution for the circular unitary ensemble (CUE) and its scaled counterpart, giving formulas more succinct than those known previously; to expressions for the hard edge gap probability in the scaled Laguerre orthogonal ensemble (LOE) (parameter a a non-negative integer) and Laguerre symplectic ensemble (LSE) (parameter a an even non-negative integer) as finite dimensional combinatorial integrals over the symplectic and orthogonal groups respectively; to the evaluation of the cumulative distribution function for the last passage time in certain models of directed percolation; to the τ-function evaluation of the largest eigenvalue in the finite LOE and LSE with parameter a = 0; and to the characterisation of the diagonal-diagonal spin-spin correlation in the two-dimensional Ising model.

[1]  Rene F. Swarttouw,et al.  Orthogonal Polynomials , 2005, Series and Products in the Development of Mathematics.

[2]  A. Borodin,et al.  Distribution of the First Particle in Discrete Orthogonal Polynomial Ensembles , 2002, math-ph/0204001.

[3]  P. Forrester,et al.  Correlations for superpositions and decimations of Laguerre and Jacobi orthogonal matrix ensembles with a parameter , 2002, math-ph/0211041.

[4]  J. Baik Painlevé expressions for LOE, LSE, and interpolating ensembles , 2002, nlin/0205010.

[5]  P. Forrester,et al.  τ-function evaluation of gap probabilities in orthogonal and symplectic matrix ensembles , 2002, math-ph/0203049.

[6]  P. Moerbeke,et al.  Recursion Relations for Unitary Integrals, Combinatorics and the Toeplitz Lattice , 2002, math-ph/0201063.

[7]  P. Forrester Ja n 20 02 Application of the τ-function theory of Painlevé equations to random matrices : , 2022 .

[8]  N. Witte,et al.  Integrability, random matrices and Painlevé transcendents , 2000, The ANZIAM Journal.

[9]  P. Deift,et al.  Fredholm determinants, Jimbo‐Miwa‐Ueno τ‐functions, and representation theory , 2001, math-ph/0111007.

[10]  A. Borodin Discrete gap probabilities and discrete Painlevé equations , 2001, math-ph/0111008.

[11]  P. Forrester,et al.  LETTER TO THE EDITOR: Random walks and random fixed-point free involutions , 2001, math/0107128.

[12]  J. Baik Riemann-Hilbert problems for last passage percolation , 2001, math/0107079.

[13]  H. Sakai,et al.  Rational Surfaces Associated with Affine Root Systems¶and Geometry of the Painlevé Equations , 2001 .

[14]  M. Taneda REPRESENTATION OF UMEMURA POLYNOMIALS FOR THE SIXTH PAINLEVÉ EQUATION BY THE GENERALIZED JACOBI POLYNOMIALS , 2001 .

[15]  P. Forrester,et al.  Application of the τ-Function Theory¶of Painlevé Equations to Random Matrices:¶PIV, PII and the GUE , 2001, math-ph/0103025.

[16]  A. Guttmann,et al.  The Susceptibility of the Square Lattice Ising Model: New Developments , 2001, cond-mat/0103074.

[17]  A. Guttmann,et al.  Critical behavior of the two-dimensional Ising susceptibility. , 2000, Physical review letters.

[18]  J. Borwein,et al.  Affine Weyl groups , 2001 .

[19]  N. Witte Gap probabilities for double intervals in hermitian random matrix ensembles as τ-functions - the Bessel kernel case , 2001 .

[20]  P. Moerbeke Integrable lattices: random matrices and random permutations , 2000, math/0010135.

[21]  G. Olshanski,et al.  Infinite Random Matrices and Ergodic Measures , 2000, math-ph/0010015.

[22]  P. Forrester,et al.  Gap probabilities in the finite and scaled Cauchy random matrix ensembles , 2000, math-ph/0009022.

[23]  P. Forrester,et al.  Exact Wigner Surmise Type Evaluation of the Spacing Distribution in the Bulk of the Scaled Random Matrix Ensembles , 2000, math-ph/0009023.

[24]  Y. Ohta,et al.  Discrete integrable systems from continuous Painlevé equations through limiting procedures , 2000 .

[25]  P. Forrester Painlevé transcendent evaluation of the scaled distribution of the smallest eigenvalue in the Laguerre orthogonal and symplectic ensembles , 2000, nlin/0005064.

[26]  Janko Gravner,et al.  Limit Theorems for Height Fluctuations in a Class of Discrete Space and Time Growth Models , 2000 .

[27]  B. Nickel ADDENDUM: Addendum to `On the singularity structure of the 2D Ising model susceptibility' , 2000 .

[28]  M. Noumi,et al.  Affine Weyl group symmetries in Painlev'e type equations , 2000 .

[29]  C. Howls,et al.  Toward the Exact WKB Analysis of Differential Equations, Linear or Non-Linear , 2000 .

[30]  Mark Adler,et al.  Integrals over classical groups, random permutations, toda and Toeplitz lattices , 1999, math/9912143.

[31]  J. Baik,et al.  Symmetrized Random Permutations , 1999, math/9910019.

[32]  Y. Ohta,et al.  Determinant Formulas for the Toda and Discrete Toda Equations , 1999, solv-int/9908007.

[33]  P. Forrester,et al.  Interrelationships between orthogonal, unitary and symplectic matrix ensembles , 1999, solv-int/9907008.

[34]  G. Olshanski,et al.  Z-Measures on Partitions, Robinson-Schensted-Knuth Correspondence, and beta=2 Random Matrix Ensembles , 1999, math/9905189.

[35]  B. Nickel On the singularity structure of the 2D Ising model susceptibility , 1999 .

[36]  J. Baik,et al.  Algebraic aspects of increasing subsequences , 1999, math/9905083.

[37]  G. Olshanski,et al.  Asymptotics of Plancherel measures for symmetric groups , 1999, math/9905032.

[38]  L. Haine,et al.  The Jacobi polynomial ensemble and the Painlevé VI equation , 1999 .

[39]  K. Johansson Shape Fluctuations and Random Matrices , 1999, math/9903134.

[40]  P. Forrester,et al.  Correlations for the orthogonal-unitary and symplectic-unitary transitions at the hard and soft edges , 1998, cond-mat/9811142.

[41]  M. Noumi,et al.  Affine Weyl Groups, Discrete Dynamical Systems and Painlevé Equations , 1998, math/9804132.

[42]  Y. Ohta,et al.  Degeneration through coalescence of the q-Painlevé VI equation , 1998 .

[43]  Eric M. Rains,et al.  Increasing Subsequences and the Classical Groups , 1998, Electron. J. Comb..

[44]  Humihiko Watanabe Birational canonical transformations and classical solutions of the sixth Painlevé equation , 1998 .

[45]  Alexander Its,et al.  A Riemann-Hilbert approach to asymptotic problems arising in the theory of random matrix models, and also in the theory of integrable statistical mechanics , 1997 .

[46]  A. Sakka,et al.  Schlesinger transformations for Painlevé VI equation , 1995 .

[47]  P. Forrester,et al.  Normalization of the Wavefunction for the Calogero-Sutherland Model with Internal Degrees of Freedom , 1994, cond-mat/9412058.

[48]  P. Forrester Exact results and universal asymptotics in the Laguerre random matrix ensemble , 1994 .

[49]  H. Widom The Asymptotics of a Continuous Analogue of Orthogonal Polynomials , 1994 .

[50]  P. Forrester Addendum to ‘Selberg correlation integrals and the 1/r2 quantum many body system’ , 1994 .

[51]  C. Tracy,et al.  Fredholm determinants, differential equations and matrix models , 1993, hep-th/9306042.

[52]  C. Tracy,et al.  Level spacing distributions and the Bessel kernel , 1993, hep-th/9304063.

[53]  P. Forrester The spectrum edge of random matrix ensembles , 1993 .

[54]  P. Forrester Exact integral formulas and asymptotics for the correlations in the quantum many body system , 1993 .

[55]  Jyoichi Kaneko,et al.  Selberg integrals and hypergeometric functions associated with Jack polynomials , 1993 .

[56]  C. M. Cosgrove,et al.  Painlevé Classification of a Class of Differential Equations of the Second Order and Second Degree , 1993 .

[57]  P. Forrester Selberg correlation integrals and the 1/r2 quantum many-body system , 1992 .

[58]  Z. Yan A Class of Generalized Hypergeometric Functions in Several Variables , 1992, Canadian Journal of Mathematics.

[59]  K. Aomoto,et al.  Jacobi polynomials associated with Selberg integrals , 1987 .

[60]  Kazuo Okamoto Studies on the Painlevé equations II. Fifth Painlevé equation PV , 1987 .

[61]  Kazuo Okamoto Studies on the Painlevé equations , 1986 .

[62]  Kazuo Okamoto,et al.  Studies on the Painlev equations: III. Second and fourth painlev equations,P II andP IV , 1986 .

[63]  R. Baxter Exactly solved models in statistical mechanics , 1982 .

[64]  Michio Jimbo,et al.  Monodromy preserving deformation of linear ordinary differential equations with rational coefficients. III , 1981 .

[65]  M. Jimbo,et al.  Monodromy perserving deformation of linear ordinary differential equations with rational coefficients. II , 1981 .

[66]  M. Jimbo,et al.  Density matrix of an impenetrable Bose gas and the fifth Painlevé transcendent , 1980 .

[67]  佐藤 幹夫,et al.  Studies on Holonomic Quantum Fields (超局所解析) , 1977 .

[68]  M. Jimbo,et al.  Studies on holonomic quantum fields, XI , 1977 .

[69]  G. M. The Theory of Determinants in the Historical Order of Development , 1906, Nature.