arXiv++ Combinatorics

We prove that the number of natural exact covering systems of cardinality $k$ is equal to the coefficient of $x^k$ in the reversion of the power series $\sum_{k \ge 1} μ(k) x^k$, where $μ(k)$ is the usual number-theoretic Möbius function. Using this result, we deduce an asymptotic expression for the number of such systems.

We consider closed meandric systems, and their equivalent description in terms of the Hasse diagrams of the lattices of non-crossing partitions $NC(n)$. In this equivalent description, the number of components of a random meandric system of order $n$ translates into the distance between two partitions in $NC(n)$. We focus on a class of couples $(π,ρ)\in NC(n)^2$ -- namely the ones where $π$ is conditioned to be an interval partition -- for which it turns out to be tractable to study distances in the Hasse diagram. As a consequence, we observe a non-trivial class of meanders (i.e. connected meandric systems), which we call "meanders with shallow top", and which can be explicitly enumerated. Moreover, the expected number of components for a random "meandric system with shallow top", is asymptotically $(9n+28)/27$. Our calculations concerning expected number of components are related to the idea of taking the derivative at $t=1$ in a semigroup for the operation $\boxplus$ of free probability (but the underlying considerations are presented in a self-contained way, and can be followed without assuming a free probability background). Let $c_{n}'$ denote the expected number of components of a general, unconditioned, meandric system of order $n$. A variation of the methods used in the shallow-top case allows us to prove that $\mathrm{lim\ inf}_{n\to\infty}c_{n}'/n\geq0.17$. We also note that, by a direct elementary argument, one has $\mathrm{lim\ sup}_{n\to\infty}c_{n}'/n\leq0.5$. These bounds support the conjecture that $c_{n}'$ follows a regime of "constant times $n$" (where numerical experiments suggest that the constant should be $\approx0.23$).

In a pair of recent papers, Andrews, Fraenkel and Sellers provide a complete characterization for the number of $m$-ary partitions modulo $m$, with and without gaps. In this paper we extend these results to the case of coloured $m$-ary partitions, with and without gaps. Our method of proof is different, giving explicit expansions for the generating functions modulo $m$

The central object of study is a formal power series that we call the content series, a symmetric function involving an arbitrary underlying formal power series $f$ in the contents of the cells in a partition. In previous work we have shown that the content series satisfies the KP equations. The main result of this paper is a new partial differential equation for which the content series is the unique solution, subject to a simple initial condition. This equation is expressed in terms of families of operators that we call $\mathcal{U}$ and $\mathcal{D}$ operators, whose action on the Schur symmetric function $s_λ$ can be simply expressed in terms of powers of the contents of the cells in $λ$. Among our results, we construct the ${\mathcal{U}}$ and ${\mathcal{D}}$ operators explicitly as partial differential operators in the underlying power sum symmetric functions. We also give a combinatorial interpretation for the content series in terms of the Jucys-Murphy elements in the group algebra of the symmetric group. This leads to an interpretation for the content series as a generating series for branched covers of the sphere by a Riemann surface of arbitrary genus $g$. As particular cases, by suitable choice of the underlying series $f$, the content series specializes to the generating series for three known classes of branched covers: Hurwitz numbers, monotone Hurwitz numbers, and $m$-hypermap numbers. We apply our pde to give new proofs of the explicit formulas for these three classes of number in genus $0$. In the case of the $m$-hypermap numbers of Bousquet-Mélou and Schaeffer, this is the first algebraic proof of this result.

Monotone Hurwitz numbers were introduced by the authors as a combinatorially natural desymmetrization of the Hurwitz numbers studied in enumerative algebraic geometry. Over the course of several papers, we developed the structural theory of monotone Hurwitz numbers and demonstrated that it is in many ways parallel to that of their classical counterparts. In this note, we identify an important difference between the monotone and classical worlds: fixed-genus generating functions for monotone double Hurwitz numbers are absolutely summable, whereas those for classical double Hurwitz numbers are not. This property is crucial for applications of monotone Hurwitz theory in analysis. We quantify the growth rate of monotone Hurwitz numbers in fixed genus by giving universal upper and lower bounds on the radii of convergence of their generating functions.

We give an account of our work on transitive factorizations of permutations. The work has had impact upon other areas of mathematics such as the enumeration of graph embeddings, random matrices, branched covers, and the moduli spaces of curves. Aspects of these seemingly unrelated areas are seen to be related in a unifying view from the perspective of algebraic combinatorics. At several points this work has intertwined with Richard Stanley's in significant ways.

A number of hook formulas and hook summation formulas have previously appeared, involving various classes of trees. One of these classes of trees is rooted trees with labelled vertices, in which the labels increase along every chain from the root vertex to a leaf. In this paper we give a new hook summation formula for these (unordered increasing) trees, by introducing a new set of indeterminates indexed by pairs of vertices, that we call edge weights. This new result generalizes a previous result by Féray and Goulden, that arose in the context of representations of the symmetric group via the study of Kerov's character polynomials. Our proof is by means of a combinatorial bijection that is a generalization of the Prüfer code for labelled trees.

This article introduces mixed double Hurwitz numbers, which interpolate combinatorially between the classical double Hurwitz numbers studied by Okounkov and the monotone double Hurwitz numbers introduced recently by Goulden, Guay-Paquet and Novak. Generalizing a result of Okounkov, we prove that a certain generating series for the mixed double Hurwitz numbers solves the 2-Toda hierarchy of partial differential equations. We also prove that the mixed double Hurwitz numbers are piecewise polynomial, thereby generalizing a result of Goulden, Jackson and Vakil.

Hurwitz numbers count branched covers of the Riemann sphere with specified ramification, or equivalently, transitive permutation factorizations in the symmetric group with specified cycle types. Monotone Hurwitz numbers count a restricted subset of these branched covers, related to the expansion of complete symmetric functions in the Jucys-Murphy elements, and have arisen in recent work on the the asymptotic expansion of the Harish-Chandra-Itzykson-Zuber integral. In previous work we gave an explicit formula for monotone Hurwitz numbers in genus zero. In this paper we consider monotone Hurwitz numbers in higher genera, and prove a number of results that are reminiscent of those for classical Hurwitz numbers. These include an explicit formula for monotone Hurwitz numbers in genus one, and an explicit form for the generating function in arbitrary positive genus. From the form of the generating function we are able to prove that monotone Hurwitz numbers exhibit a polynomiality that is reminiscent of that for the classical Hurwitz numbers, i.e., up to a specified combinatorial factor, the monotone Hurwitz number in genus g with ramification specified by a given partition is a polynomial indexed by g in the parts of the partition.

Several hook summation formulae for binary trees have appeared recently in the literature. In this paper we present an analogous formula for unordered increasing trees of size r, which involves r parameters. The right-hand side can be written nicely as a product of linear factors. We study two specializations of this new formula, including Cayley's enumeration of trees with respect to vertex degree. We give three proofs of the hook formula. One of these proofs arises somewhat indirectly, from representation theory of the symmetric groups, and in particular uses Kerov's character polynomials. The other proofs are more direct, and of independent interest.

Hurwitz numbers count branched covers of the Riemann sphere with specified ramification data, or equivalently, transitive permutation factorizations in the symmetric group with specified cycle types. Monotone Hurwitz numbers count a restricted subset of the branched covers counted by the Hurwitz numbers, and have arisen in recent work on the the asymptotic expansion of the Harish-Chandra-Itzykson-Zuber integral. In this paper we begin a detailed study of monotone Hurwitz numbers. We prove two results that are reminiscent of those for classical Hurwitz numbers. The first is the monotone join-cut equation, a partial differential equation with initial conditions that characterizes the generating function for monotone Hurwitz numbers in arbitrary genus. The second is our main result, in which we give an explicit formula for monotone Hurwitz numbers in genus zero.

We consider an operator of Bernstein for symmetric functions, and give an explicit formula for its action on an arbitrary Schur function. This formula is given in a remarkably simple form when written in terms of some notation based on the code of a partition. As an application, we give a new and very simple proof of a classical result for the KP hierarchy, which involves the Plucker relations for Schur function coefficients in a tau function for the hierarchy. This proof is especially compact because of a restatement that we give for the Plucker relations that is symmetrical in terms of partition code notation.

The KP hierarchy is a completely integrable system of quadratic, partial differential equations that generalizes the KdV hierarchy. A linear combination of Schur functions is a solution to the KP hierarchy if and only if its coefficients satisfy the Plucker relations from geometry. We give a solution to the Plucker relations involving products of variables marking contents for a partition, and thus give a new proof of a content product solution to the KP hierarchy, previously given by Orlov and Shcherbin. In our main result, we specialize this content product solution to prove that the generating series for a general class of transitive ordered factorizations in the symmetric group satisfies the KP hierarchy. These factorizations appear in geometry as encodings of branched covers, and thus by specializing our transitive factorization result, we are able to prove that the generating series for two classes of branched covers satisfies the KP hierarchy. For the first of these, the double Hurwitz series, this result has been previously given by Okounkov. The second of these, that we call the m-hypermap series, contains the double Hurwitz series polynomially, as the leading coefficient in m. The m-hypermap series also specializes further, first to the series for hypermaps and then to the series for maps, both in an orientable surface. For the latter series, we apply one of the KP equations to obtain a new and remarkably simple recurrence for triangulations in a surface of given genus, with a given number of faces. This recurrence leads to explicit asymptotics for the number of triangulations with given genus and number of faces, in recent work by Bender, Gao and Richmond.

In the symmetric group on a set of size 2n, let P_{2n} denote the conjugacy class of involutions with no fixed points (equivalently, we refer to these as ``pairings'', since each disjoint cycle has length 2). Harer and Zagier explicitly determined the distribution of the number of disjoint cycles in the product of a fixed cycle of length 2n and the elements of P_{2n}. Their famous result has been reproved many times, primarily because it can be interpreted as the genus distribution for 2-cell embeddings in an orientable surface,of a graph with a single vertex attached to n loops. In this paper we give a new formula for the cycle distribution when a fixed permutation with two cycles (say the lengths are p,q, where p+q=2n) is multiplied by the elements of P_{2n}. It can be interpreted as the genus distribution for 2-cell embeddings in an orientable surface, of a graph with two vertices, of degrees p and q. In terms of these graphs, the formula involves a parameter that allows us to specify, separately, the number of edges between the two vertices and the number of loops at each of the vertices. The proof is combinatorial, and uses a new algorithm that we introduce to create all rooted forests containing a given rooted forest.

We determine the rank generating function, the zeta polynomial and the Moebius function for the poset NC^B(p,q) of annular non-crossing partitions of type B, where p and q are two positive integers. We give an alternative treatment of some of these results in the case q=1, for which this poset is a lattice. We also consider the general case of multiannular non-crossing partitions of type B, and prove that this reduces to the cases of non-crossing partitions of type B in the annulus and in the disc.

Although powers of the Young-Jucys-Murphya elements X_i = (1 i) + ... +(i-1 i), i = 1, ..., n, in the symmetric group S_n acting on {1, ...,n} do not lie in the centre of the group algebra of S_n, we show that transitive powers, namely the sum of the contributions from elements that act transitively on {1, >...,n}, are central. We determine the coefficients, which we call star factorization numbers, that occur in the resolution of transitive powers with respect to the class basis of the centre of S_n, and show that they have a polynomiality property. These centrality and polynomiality properties have seemingly unrelated consequences. First, they answer a question raised by Pak about reduced decompositions; second, they explain and extend the beautiful symmetry result discovered by Irving and Rattan; and thirdly, we relate the polynomiality to an existing polynomiality result for a class of double Hurwitz numbers associated with branched covers of the sphere, which therefore suggests that there may be an ELSV-type formula associated with the star factorization numbers.

The problem of counting ramified covers of a Riemann surface up to homeomorphism was proposed by Hurwitz in the late 1800's. This problem translates combinatorially into factoring a permutation of specified cycle type, with certain conditions on the cycle types of the factors, such as minimality and transitivity. Goulden and Jackson have given a proof for the number of minimal, transitive factorizations of a permutation into transpositions. This proof involves a partial differential equation for the generating series, called the Join-Cut equation. Recently, Bousquet-Mélou and Schaeffer have found the number of minimal, transitive factorizations of a permutation into arbitrary unspecified factors. This was proved by a purely combinatorial argument, based on a direct bijection between factorizations and certain objects called $m$-Eulerian trees. In this paper, we give a simple partial differential equation for Bousquet-Mélou and Schaeffer's generating series, and for Goulden and Jackson's generating series, as well as a new proof of the result by Bousquet-Mélou and Schaeffer. We apply algebraic methods based on Lagrange's theorem, and combinatorial methods based on a new use of Bousquet-Mélou and Schaeffer's $m$-Eulerian trees.

Kerov considered the normalized characters of irreducible representations of the symmetric group, evaluated on a cycle, as a polynomial in free cumulants. Biane has proved that this polynomial has integer coefficients, and made various conjectures. Recently, Sniady has proved Biane's conjectured explicit form for the first family of nontrivial terms in this polynomial. In this paper, we give an explicit expression for all terms in Kerov's character polynomials. Our method is through Lagrange inversion.

We consider the determination of the number $c_k(α)$ of ordered factorisations of an arbitrary permutation on n symbols, with cycle distribution $α$, into k-cycles such that the factorisations have minimal length and such that the group generated by the factors acts transitively on the n symbols. The case k=2 corresponds to the celebrated result of Hurwitz on the number of topologically distinct holomorphic functions on the 2-sphere that preserve a given number of elementary branch point singularities. In this case the monodromy group is the alternating group, and this is another case that, in principle, is of considerable interest. We conjecture an explicit form, for arbitrary k, for the generating series for $c_k(α)$, and prove that it holds for factorisations of permutations with one, two and three cycles ($α$ is a partition with at most three parts). The generating series is naturally expressed in terms of the symmetric functions dual to those introduced by Macdonald for the ``top'' connection coefficients in the class algebra of the symmetric group. Our approach is to determine a differential equation for the generating series from a combinatorial analysis of the creation and annihilation of cycles in products under the minimality condition.

We show that the virtual Euler characteristics of the moduli spaces of $s$-pointed algebraic curves of genus $g$ can be determined from a polynomial in $1/γ$ where $γ$ permits specialization, through $γ=1,$ to the complex case treated by Harer and Zagier and, through $γ=1/2$, to the real case. This polynomial appears to have geometric significance, and may be the virtual Euler characteristic of some moduli space, as yet unidentified. This is related to a conjecture that the indeterminate $b=γ^1-1$ is associated with a combinatorial invariant of cell-decompositions through matrix models and the Jack symmetric functions. The development uses Strebel differentials to triangulate the moduli spaces, and the identification of $γ$ both as a parameter in a Jack symmetric function and as a parameter in a matrix model through generalized Selberg integrals.