arXiv++ Combinatorics

We show that any matrix-polynomial combination of free noncommutative random variables each having an algebraic law has again an algebraic law. Our result answers a question raised by a recent paper of Shlyakhtenko and Skoufranis. The result belongs to a family of results with origins outside free probability theory, including a result of Aomoto asserting algebraicity of the Green function of random walk of quite general type on a free group.

It is well-known that the number of planar maps with prescribed vertex degree distribution and suitable labeling can be represented as the leading coefficient of the $\frac{1}{N}$-expansion of a joint cumulant of traces of powers of an $N$-by-$N$ GUE matrix. Here we undertake the calculation of this leading coefficient in a different way. Firstly, we tridiagonalize the GUE matrix in the manner of Trotter and Dumitriu-Edelman and then alter it by conjugation to make the subdiagonal identically equal to $1$. Secondly, we apply the cluster expansion technique (specifically, the Brydges-Kennedy-Abdesselam-Rivasseau formula) from rigorous statistical mechanics. Thirdly, by sorting through the terms of the expansion thus generated we arrive at an alternate interpretation for the leading coefficient related to factorizations of the long cycle $(12\cdots n)\in S_n$. Finally, we reconcile the group-theoretical objects emerging from our calculation with the labeled mobiles of Bouttier-Di Francesco-Guitter.

Our main result is an explicit operator-theoretic formula for the number of colored planar maps with a fixed set of stars each of which has a fixed set of half-edges with fixed coloration. The formula bounds the number of such colored planar maps well enough to prove convergence near the origin of generating functions arising naturally in the matrix model context. Such convergence is known but the proof of convergence proceeding by way of our main result is relatively simple. Besides Voiculescu's generalization of Wigner's semicircle law, our main technical tool is an integration identity representing the joint cumulant of several functions of a Gaussian random vector. The latter identity in the case of cumulants of order 2 reduces to one well-known as a means to prove the Poincare inequality. We derive the identity by combining the heat equation with the so-called BKAR formula from constructive quantum field theory and rigorous statistical mechanics.