arXiv++ Combinatorics

We give a hyperpfaffian formulation for correlation functions in $β$-ensembles of $M \times M$ random matrices when $β= L^2$ is an even square integer. More specifically, to the $m$th correlation function $R_m : \R^m \rightarrow [0, \infty)$ we associate the $L$-vector valued function $ω_m : \R^m \rightarrow Λ^L \R^{L(M-m)}$ such that $R_m(\mathbf y)$ is given by the Vandermonde determinant in $y_1, \ldots, y_M$ times the hyperpfaffian of $ω_m.$ The partition function of the ensemble was previously shown to be the hyperpfaffian of a {\it Gram} $L$-form $ω$ in $Λ^L \R^{LM},$ and we demonstrate the relationship between $ω_m(\mathbf y)$ and $ω$, both having coefficients built from integrals of Wronskians of monic polynomials. Assuming the existence of families of polynomials sympathetic with the weight of the ensemble, we may construct $ω(\mathbf y)$ so it is very sparse (relative to the expected ${L(M-m) \choose L}$ coefficients of a general $L$-vector). These generalize skew-orthogonal polynomials arising in the well-understood $β= 4$ situation. Finally we explore the situation in the circular $β= L^2$ ensembles. Here the monomials give a prototype, and we give explicit formulas for (the circular versions of) $ω$ and $ω_m.$ We use our hyperpfaffian framework to produce exact formulas for the two point function when $β= 16$ for small values $M.$ Along the way we will record hyperpfaffian evaluations using known values of partition functions of $β$-ensembles.

Mahler's measure is generalized to create the class of {\it multiplicative distance functions}. These functions measure the complexity of polynomials based on the location of their zeros in the complex plane. Following work of S.-J. Chern and J. Vaaler in \cite{chern-vaaler}, we associate to each multiplicative distance function two families of analytic functions which encode information about its range on \C[x] and \R[x]. These {\it moment functions} are Mellin transforms of distribution functions associated to the multiplicative distance function and demonstrate a great deal of arithmetic structure. For instance, we show that the moment function associated to Mahler's measure restricted to real reciprocal polynomials of degree 2N has an analytic continuation to rational functions with rational coefficients, simple poles at integers between -N and N, and a zero of multiplicity 2N at the origin. This discovery leads to asymptotic estimates for the number of reciprocal integer polynomials of fixed degree with Mahler measure less than T as $T \to \infty$. To explain the structure of this moment functions we show that the real moment functions of a multiplicative distance function can be written as Pfaffians of antisymmetric matrices formed from a skew-symmetric bilinear form associated to the multiplicative distance function.