[Paper Review] On the relation between orthogonal, symplectic and unitary matrix ensembles

Harold Widom|arXiv (Cornell University)|Apr 3, 1998

Random Matrices and Applications9 references20 citations

TL;DR

This paper establishes explicit formulas expressing the matrix kernels for orthogonal and symplectic matrix ensembles in terms of the scalar kernel from the corresponding unitary ensemble, without using skew-orthogonal polynomials. The key result shows that for semi-classical weights (where w'/w is rational), the matrix kernel entries differ from the scalar kernel by a finite number of extra terms—equal to the order of w'/w in the extended complex plane—providing exact, analytically continued expressions for Laguerre and Gaussian ensembles.

ABSTRACT

For the unitary ensembles of $N imes N$ Hermitian matrices associated with a weight function $w$ there is a kernel, expressible in terms of the polynomials orthogonal with respect to the weight function, which plays an important role. For the orthogonal and symplectic ensembles of Hermitian matrices there are $2 imes2$ matrix kernels, usually constructed using skew-orthogonal polynomials, which play an analogous role. These matrix kernels are determined by their upper left-hand entries. We derive formulas expressing these entries in terms of the scalar kernel for the corresponding unitary ensembles. We also show that whenever $w'/w$ is a rational function the entries are equal to the scalar kernel plus some extra terms whose number equals the order of $w'/w$. General formulas are obtained for these extra terms. We do not use skew-orthogonal polynomials in the derivations.

Motivation & Objective

• To derive explicit expressions for the matrix kernels in orthogonal and symplectic ensembles without relying on skew-orthogonal polynomials.
• To relate the matrix kernels of orthogonal and symplectic ensembles to the scalar kernel of the corresponding unitary ensemble.
• To provide general formulas for the extra terms in the matrix kernels when the weight function w satisfies w'/w being rational, particularly in semi-classical cases.
• To extend known results for Laguerre and Gaussian ensembles to general α > -1 via analytic continuation.

Proposed method

• Derives the matrix kernels S_Nβ(x,y) for β=1 (orthogonal) and β=4 (symplectic) in terms of the scalar kernel K_N(x,y) from the unitary ensemble.
• Uses operator-theoretic expressions from [8] to relate the matrix kernels to the scalar kernel, avoiding skew-orthogonal polynomials.
• Applies the condition that w'/w is rational on the support D to show that extra terms in the kernel are finite in number and depend on the order of poles of w'/w.
• Introduces a general formula for the extra terms in terms of the scalar kernel and the poles of w'/w, including endpoints of D where w'/w is analytic but behaves like a simple pole.
• Uses analytic continuation to extend results from α > 0 to the full range α > -1 for Laguerre ensembles, particularly for the case α = 0.
• Applies the method to compute explicit forms for the Laguerre and Gaussian ensembles, verifying known results and deriving new ones.

Experimental results

Research questions

• RQ1 How can the matrix kernels for orthogonal and symplectic ensembles be expressed directly in terms of the scalar kernel from the unitary ensemble?
• RQ2 What is the structure of the extra terms that arise in the matrix kernel when w'/w is rational?
• RQ3 Can the results for Laguerre ensembles with general α > -1 be derived from the α > 0 case via analytic continuation?
• RQ4 How do the extra terms in the kernel relate to the poles of w'/w in the extended complex plane?
• RQ5 What is the explicit form of the matrix kernel for the Laguerre ensemble at α = 0, and how does it compare to known results?

Key findings

• For semi-classical weights where w'/w is rational, the matrix kernel entries S_Nβ(x,y) are equal to the scalar kernel K_N(x,y) plus a finite number of extra terms, with the number equal to the order of w'/w in the extended complex plane.
• In the Laguerre ensemble with α > 0, the extra terms are explicitly given by expressions involving the derivatives of Laguerre polynomials and integrals of e^{-z/2}L_N'(z).
• For the Laguerre ensemble at α = 0, the matrix kernel S_N^{(4)}(x,y) is K_N(x,y) plus (1/2)e^{-x/2}L_N'(x) ∫₀^y e^{-z/2}L_N'(z) dz, and S_N^{(1)}(x,y) includes an additional constant term of 1 in the integral.
• The extra terms for the Gaussian ensemble (w(x) = e^{-x²}) arise from a simple pole at infinity and are equal to one extra term, consistent with known results.
• The Jacobi ensemble (w(x) = (1−x)^α(1+x)^β) has two extra terms due to simple poles at ±1, even though w'/w = 0 in the interior.
• The method provides a systematic way to compute the matrix kernel for any semi-classical weight by counting poles of w'/w and constructing the corresponding extra terms, valid for all α > -1 via analytic continuation.