arXiv++ Combinatorics

We consider asymptotics behavior of Poissonized Plancharel measures as the poissonization parameter $N$ goes to infinity. Recently Moll proved a convergent series expansion for statistics of a measure $μ_λ$ which is the Kerov-Markov-Krein transform of the signed measure on corners a Jack-random partition $λ$. The measure $μ_λ$ is of interest because it behaves in some ways like the empirical measure on eigenvalues of a GUE-random matrix. We prove for the Poissonized Plancharel case that the large $N$ series for moments of $μ_λ$ have a recursive structure as rational expressions in the generating function for Catalan numbers. We discuss the analogy between our result and the fine structure of moments of the GUE.

We consider the large $N$ expansion of the partition function for the Hermitian one-matrix model. It is well known that the coefficients of this expansion are generating functions $F^{(g)}$ for a certain kind of graph embedded in a Riemann surface. Other authors have made a simplifying assumption that the potential $V$ is an even function. We present a method for computing $F^{(g)}$ in the case that $V$ is not an even function. Our method is based on the string equations, and yields "valence independent" formulas which do not depend explicitly on the potential. We introduce a family of differential operators, the "string polynomials", which make clear the valence independent nature of the string equations.

We derive a new formula for the equilibrium measure for eigenvalues of random matrices sampled from polynomial perturbations of the GUE, valid in the one-cut case. The virtue of our formula is that it depends on the potential only implicitly through the endpoints of support of the equilibrium measure. Our motivation is the problem of computing explicit formulas for generating functions which enumerate graphs embedded in a Riemann surface. To demonstrate the utility of our formula for the equilibrium measure, we derive a formula for the generating function $e_1$ enumerating maps on the torus. This formula is "valence independent" in the sense that it holds regardless of what numbers of edges are allowed to meet at vertices; furthermore it subsumes formulas for $e_1$ given by other authors as special cases.