arXiv++ Combinatorics

We study $\mathrm{U}(N)$ invariant polynomials on the space of $N\times N$ matrices first introduced by Capitaine and Casalis, that are precursors of free cumulants in various respects. First, they are polynomials of deterministic matrices, that are not yet evaluated over some probability law, contrary to what is usually meant by cumulants. Secondly, they converge towards the algebraic expression of free cumulants in terms of moments as $N\to \infty$, with $1/N^2$ corrections expressed in terms of monotone Hurwitz numbers. Their most crucial property is their additivity with respect to averaging over sums of $\mathrm{U}(N)$ conjugacy orbits, providing a finite $N$ version of the well-known additivity of free cumulants in free probability. Finally, they extend several properties of free cumulants at finite $N$, including a Wick rule for their average over a Gaussian weight and their appearance in various matrix integrals. Building on the additivity property of these precursors, we also define and compute a coproduct describing the behaviour of general invariant polynomials with respect to the addition of $\mathrm{U}(N)$ conjugacy orbits, as well as their expectation values on sums of $\mathrm{U}(N)$-invariant random matrices. In our construction, a central role is played by the so-called HCIZ integral, both for the definition of the precursors and for the derivation of their properties.

We study the enumeration of set partitions, according to their length, number of parts, cyclic type, and genus. We introduce genus-dependent Bell, Stirling numbers, and Faà di Bruno coefficients. Besides attempting to summarize what is already known on the subject, we obtain new generic results (in particular for partitions into two parts, for arbitrary genus), and present computer generated new data extending the number of terms known for sequences or families of such coefficients; this also leads to new conjectures.

The counting of partitions according to their genus is revisited. The case of genus 0 -- non-crossing partitions -- is well known. Our approach relies on two pillars: first a functional equation between generating functions, originally written in genus 0 and interpreted graphically by Cvitanovic, is generalized to higher genus; secondly, we show that all partitions may be reconstructed from the "(semi)-primitive" ones introduced by Cori and Hetyei. Explicit results for the generating functions of all types of partitions are obtained in genus 1 and 2. This gives a second order interpolation between expansions on ordinary or on free cumulants

The Minor problem, namely the study of the spectrum of a principal submatrix of a Hermitian matrix taken at random on its orbit under conjugation, is revisited, with emphasis on the use of orbital integrals and on the connection with branching coefficients in the decomposition of an irreducible representation of U(n), resp. SU(n), into irreps of U(n-1), resp. SU(n-1).

Horn's problem, i.e., the study of the eigenvalues of the sum $C=A+B$ of two matrices, given the spectrum of $A$ and of $B$, is re-examined, comparing the case of real symmetric, complex Hermitian and self-dual quaternionic $3\times 3$ matrices. In particular, what can be said on the probability distribution function (PDF) of the eigenvalues of $C$ if $A$ and $B$ are independently and uniformly distributed on their orbit under the action of, respectively, the orthogonal, unitary and symplectic group? While the two latter cases (Hermitian and quaternionic) may be studied by use of explicit formulae for the relevant orbital integrals, the case of real symmetric matrices is much harder. It is also quite intriguing, since numerical experiments reveal the occurrence of singularities where the PDF of the eigenvalues diverges. Here we show that the computation of the PDF of the symmetric functions of the eigenvalues for traceless $3\times 3$ matrices may be carried out in terms of algebraic functions;- roots of quartic polynomials;- and their integrals. The computation is carried out in detail in a particular case, and reproduces the expected singular patterns. The divergences are of logarithmic or inverse power type. We also relate this PDF to the (rescaled) structure constants of zonal polynomials and introduce a zonal analogue of the Weyl ${\rm SU}(n)$ characters.

The volume of the hive polytope (or polytope of honeycombs) associated with a Littlewood- Richardson coefficient of SU(n), or with a given admissible triple of highest weights, is expressed, in the generic case, in terms of the Fourier transform of a convolution product of orbital measures. Several properties of this function -- a function of three non-necessarily integral weights or of three multiplets of real eigenvalues for the associated Horn problem-- are already known. In the integral case it can be thought of as a semi-classical approximation of Littlewood-Richardson coefficients. We prove that it may be expressed as a local average of a finite number of such coefficients. We also relate this function to the Littlewood-Richardson polynomials (stretching polynomials) i.e., to the Ehrhart polynomials of the relevant hive polytopes. Several SU(n) examples, for n=2,3,...,6, are explicitly worked out.

We consider the problem of counting and of listing topologically inequivalent "planar" {4-valent} maps with a single component and a given number n of vertices. This enables us to count and to tabulate immersions of a circle in a sphere (spherical curves), extending results by Arnold and followers. Different options where the circle and/or the sphere are/is oriented are considered in turn, following Arnold's classification of the different types of symmetries. We also consider the case of bicolourable and bicoloured maps or immersions, where faces are bicoloured. Our method extends to immersions of a circle in a higher genus Riemann surface. There the bicolourability is no longer automatic and has to be assumed. We thus have two separate countings in non zero genus, that of bicolourable maps and that of general maps. We use a classical method of encoding maps in terms of permutations, on which the constraints of "one-componentness" and of a given genus may be applied. Depending on the orientation issue and on the bicolourability assumption, permutations for a map with n vertices live in S(4n) or in S(2n). In a nutshell, our method reduces to the counting (or listing) of orbits of certain subset of S(4n) (resp. S(2n)) under the action of the centralizer of a certain element of S(4n) (resp. S(2n)). This is achieved either by appealing to a formula by Frobenius or by a direct enumeration of these orbits. Applications to knot theory are briefly mentioned.

New conjectures are proposed on the numbers of FPL configurations pertaining to certain types of link patterns. Making use of the Razumov and Stroganov Ansatz, these conjectures are based on the analysis of the ground state of the Temperley-Lieb chain, for periodic boundary conditions and so-called ``identified connectivities'', up to size $2n=22$.