arXiv++ Combinatorics

Lattice gauge theories of permutation groups with a simple topological action (henceforth permutation-TFTs) have recently found several applications in the combinatorics of quantum field theories (QFTs). They have been used to solve counting problems of Feynman graphs in QFTs and ribbon graphs of large $N$, often revealing inter-relations between different counting problems. In another recent development, tensor theories generalizing matrix theories have been actively developed as models of random geometry in three or more dimensions. Here, we apply permutation-TFT methods to count gauge invariants for tensor models (colored as well as non-colored), exhibiting a relationship with counting problems of branched covers of the 2-sphere, where the rank $d$ of the tensor gets related to a number of branch points. We give explicit generating functions for the relevant counting and describe algorithms for the enumeration of the invariants. As well as the classic count of Hurwitz equivalence classes of branched covers with fixed branch points, collecting these under an equivalence of permuting the branch points is relevant to the color-symmetrized tensor invariant counting. We also apply the permutation-TFT methods to obtain some formulae for correlators of the tensor model invariants.

We study rational double Hurwitz cycles, i.e. loci of marked rational stable curves admitting a map to the projective line with assigned ramification profiles over two fixed branch points. Generalizing the phenomenon observed for double Hurwitz numbers, such cycles are piecewise polynomial in the entries of the special ramification; the chambers of polynomiality and wall crossings have an explicit and "modular" description. A main goal of this paper is to simultaneously carry out this investigation for the corresponding objects in tropical geometry, underlining a precise combinatorial duality between classical and tropical Hurwitz theory.

In this paper, we collect a number of facts about double Hurwitz numbers, where the simple branch points are replaced by their more general analogues --- completed (r+1)-cycles. In particular, we give a geometric interpretation of these generalised Hurwitz numbers and derive a cut-and-join operator for completed (r+1)-cycles. We also prove a strong piecewise polynomiality property in the sense of Goulden-Jackson-Vakil. In addition, we propose a conjectural ELSV/GJV-type formula, that is, an expression in terms of some intrinsic combinatorial constants that might be related to the intersection theory of some analogues of the moduli space of curves. The structure of these conjectural "intersection numbers" is discussed in detail.

In this paper, we study factorizations of cycles. The main result is that under certain condition, the number of ways to factor a $d$-cycle into a product of cycles of prescribed lengths is $d^{r-2}.$ To prove our result, we first define a new class of combinatorial objects, multi-noded rooted trees, which generalize rooted trees. We find the cardinality of this new class which with proper parameters is exactly $d^{r-2}.$ The main part of this paper is the proof that there is a bijection from factorizations of a $d$-cycle to multi-noded rooted trees via factorization graphs. This implies the desired formula. The factorization problem we consider has its origin in geometry, and is related to the study of a special family of Hurwitz numbers: pure-cycle Hurwitz numbers. Via the standard translation of Hurwitz numbers into group theory, our main result is equivalent to the following: when the genus is $0$ and one of the ramification indices is $d,$ the degree of the covers, the pure-cycle Hurwitz number is $d^{r-3},$ where $r$ is the number of branch points.

Consider genus g curves that admit degree d covers to an elliptic curve simply branched at 2g-2 points. Vary a branch point and the locus of such covers forms a one-parameter family W. We investigate the geometry of W by using admissible covers to study its slope, genus and components. The results can also be applied to study slopes of effective divisors on the moduli space of genus g curves.

Hubbard trees are invariant trees connecting the points of the critical orbits of postcritically finite polynomials. Douady and Hubbard \cite{Orsay} introduced these trees and showed that they encode the essential information of Julia sets in a combinatorial way. The itinerary of the critical orbit within the Hubbard tree is encoded by a (pre)periodic sequence on $\{\0,\1\}$ called \emph{kneading sequence}. We prove that the kneading sequence completely encodes the Hubbard tree and its dynamics, and we show how to reconstruct the tree and in particular its branch points (together with their periods, their relative posititions, their number of arms and their local dynamics) in terms of the kneading sequence alone. Every kneading sequence gives rise to an abstract Hubbard tree, but not every kneading sequence occurs in real dynamics or in complex dynamics. Milnor and Thurston \cite{MT} classified which kneading sequences occur in real dynamics; we do the same for complex dynamics in terms of a complex \emph{admissibility condition}. This complex admissibility condition fails if and only if the abstract Hubbard tree has a so-called \emph{evil} periodic branch point that is incompatible with local homeomorphic dynamics on the plane.

We study "pure-cycle" Hurwitz spaces, parametrizing covers of the projective line having only one ramified point over each branch point. We start with the case of genus-0 covers, using a combination of limit linear series theory and group theory to show that these spaces are always irreducible. In the case of four branch points, we also compute the associated Hurwitz numbers. Finally, we give a conditional result in the higher-genus case, requiring at least 3g simply branched points. These results have equivalent formulations in group theory, and in this setting complement results of Conway-Fried-Parker-Volklein.

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.

Double Hurwitz numbers count branched covers of the projective line with fixed branch points, with simple branching required over all but two points 0 and infinity, and the branching over 0 and infinity specified by partitions of the degree (with m and n parts respectively). Single Hurwitz numbers have a rich structure, explored by authors in many fields. The ELSV formula relates single Hurwitz numbers to intersection theory on the moduli space of curves, and has led to many consequences. We determine the structure of double Hurwitz numbers using geometry, algebra, and representation theory. Our motivation is geometric: we give strong evidence that double Hurwitz numbers are top intersections on a universal Picard variety. In particular, we prove a piecewise-polynomiality result analogous to that implied by the ELSV formula. In the case m=1 and n is arbitrary, we conjecture an ELSV-type formula, and show it to be true in genus 0 and 1. The corresponding Witten-type correlation function has a better structure than that for single Hurwitz numbers, and it satisfies many geometric properties, such as the string and dilaton equations, and a genus expansion ansatz analogous to that of Itzykson and Zuber. We give a symmetric function description of the double Hurwitz generating series, which leads to explicit formulae for double Hurwitz numbers with given m and n. In the case where m is fixed but not necessarily 1, we prove a topological recursion on the corresponding generating series, which leads to closed-form expressions for double Hurwitz numbers and an analogue of the Goulden-Jackson polynomiality conjecture (an early conjectural variant of the ELSV formula).

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.

An explicit expression is obtained for the generating series for the number of ramified coverings of the sphere by the torus, with elementary branch points and prescribed ramification type over infinity. This proves a conjecture of Goulden, Jackson and Vainshtein for the explicit number of such coverings.

An explicit expression is obtained for the generating series for the number of ramified coverings of the sphere by the double torus, with elementary branch points and prescribed ramification type over infinity. Thus we are able to prove a conjecture of Graber and Pandharipande, giving a linear recurrence equation for the number of these coverings with no ramification over infinity. The general form of the series is conjectured for the number of these coverings by a surface of arbitrary genus that is at least two.