arXiv++ Combinatorics

The equivariant cohomology ring of a regular semisimple Hessenberg variety in type A is a free module over the equivariant cohomology ring of a point. When equipped with Tymoczko's dot action, it becomes a twisted representation of the symmetric group, and the character of this representation is given by the chromatic quasisymmetric function of an indifference graph. In this note, we use divided difference operators to decompose this representation as a direct sum of sub-representations in a way that categorifies the modular relation between chromatic quasisymmetric functions.

Given a permutation, there is a well-developed literature studying the number of ways one can factor it into a product of other permutations subject to certain conditions. We initiate the analogous theory for the type A Iwahori-Hecke algebra by generalizing the notion of factorization in terms of the Jucys-Murphy elements. Some of the oldest and most foundational factorization results for the symmetric groups pertain to the long cycle. Our main results give q-deformations of these long cycle factorizations and reveal q-binomial, q-Catalan, and q-Narayana numbers along the way.

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.

This is a set of working notes which give a second proof of the Shareshian--Wachs conjecture, the first (and recent) proof being by Brosnan and Chow in November 2015. The conjecture relates some symmetric functions constructed combinatorially out of unit interval graphs (their $q$-chromatic quasisymmetric functions), and some symmetric functions constructed algebro-geometrically out of Tymoczko's representation of the symmetric group on the equivariant cohomology ring of a family of subvarieties of the complex flag variety, called regular semisimple Hessenberg varieties. Brosnan and Chow's proof is based in part on the idea of deforming the Hessenberg varieties. The proof given here, in contrast, is based on the idea of recursively decomposing Hessenberg varieties, using a new Hopf algebra as the organizing principle for this recursion. We hope that taken together, each approach will shed some light on the other, since there are still many outstanding questions regarding the objects under study.

We investigate the combinatorics of real double Hurwitz numbers with real positive branch points using the symmetric group. Our main focus is twofold. First, we prove correspondence theorems relating these numbers to counts of tropical real covers and study the structure of real double Hurwitz numbers with the help of the tropical count. Second, we express the numbers as counts of paths in a subgraph of the Cayley graph of the symmetric group. By restricting to real double Hurwitz numbers with real positive branch points, we obtain a concise translation of the counting problem in terms of tuples of elements of the symmetric group that enables us to uncover the beautiful combinatorics of these numbers both in tropical geometry and in the Cayley graph.

Double Hurwitz numbers enumerating weighted $n$-sheeted branched coverings of the Riemann sphere or, equivalently, weighted paths in the Cayley graph of $S_n$ generated by transpositions are determined by an associated weight generating function. A uniquely determined $1$-parameter family of 2D Toda $τ$-functions of hypergeometric type is shown to consist of generating functions for such weighted Hurwitz numbers. Four classical cases are detailed, in which the weighting is uniform: Okounkov's double Hurwitz numbers, for which the ramification is simple at all but two specified branch points; the case of Belyi curves, with three branch points, two with specified profiles; the general case, with a specified number of branch points, two with fixed profiles, the rest constrained only by the genus; and the signed enumeration case, with sign determined by the parity of the number of branch points. Using the exponentiated quantum dilogarithm function as weight generator, three new types of weighted enumerations are introduced. These determine {\em quantum} Hurwitz numbers depending on a deformation parameter $q$. By suitable interpretation of $q$, the statistical mechanics of quantum weighted branched covers may be related to that of Bosonic gases. The standard double Hurwitz numbers are recovered in the classical limit.

We study joint free cumulants of u_t and u_t^{*}, where u_t is a free unitary Brownian motion at time t. We determine explicitly some special families of such cumulants. On the other hand, for a general joint cumulant of u_t and u_t^{*}, we "calculate the derivative" for t going to infinity, when u_t approaches a Haar unitary. In connection to the latter calculation we put into evidence an "infinitesimal determining sequence" which naturally accompanies an arbitrary R-diagonal element in a tracial *-probability space.

Two methods of constructing 2D Toda $τ$-functions that are generating functions for certain geometrical invariants of a combinatorial nature are related. The first involves generation of paths in the Cayley graph of the symmetric group $S_n$ by multiplication of the conjugacy class sums $C_λ\in C[S_n]$ in the group algebra by elements of an abelian group of central elements. Extending the characteristic map to the tensor product $C[S_n]\otimes C[S_n]$ leads to double expansions in terms of power sum symmetric functions, in which the coefficients count the number of such paths. Applying the same map to sums over the orthogonal idempotents leads to diagonal double Schur function expansions that are identified as $τ$-functions of hypergeometric type. The second method is the standard construction of $τ$-functions as vacuum state matrix elements of products of vertex operators in a fermionic Fock space with elements of the abelian group of convolution symmetries. A homomorphism between these two group actions is derived and shown to be intertwined by the characteristic map composed with fermionization. Applications include Okounkov's generating function for double Hurwitz numbers, which count branched coverings of the Riemann sphere with nonminimal branching at two points, and various analogous combinatorial counting functions.

In a 1977 paper, Diaconis and Graham studied what Knuth calls the total displacement of a permutation $w$, which is the sum of the distances $|w(i)-i|$. In recent work of the first author and Tenner, this statistic appears as twice the type $A_{n-1}$ version of a statistic for Coxeter groups called the depth of $w$. There are various enumerative results for this statistic in the work of Diaconis and Graham, codified as exercises in Knuth's textbook, and some other results in the work of Petersen and Tenner. However, no formula for the generating function of this statistic appears in the literature. Knuth comments that "the generating function for total displacement does not appear to have a simple form." In this paper, we translate the problem of computing the distribution of total displacement into a problem of counting weighted Motzkin paths. In this way, standard techniques allow us to express the generating function for total displacement as a continued fraction.

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.

We consider a linear relation which expresses Stanley's chromatic symmetric function for a poset in terms of the chromatic symmetric functions of some closely related posets, which we call the modular law. By applying this in the context of (3+1)-free posets, we are able to reduce Stanley and Stembridge's conjecture that the chromatic symmetric functions of all (3+1)-free posets are e-positive to the case of (3+1)-and-(2+2)-free posets, also known as unit interval orders. In fact, our reduction can be pushed further to a much smaller class of posets, for which we have no satisfying characterization. We also obtain a new proof of the fact that all 3-free posets have e-positive chromatic symmetric functions.

A poset is (3+1)-free if it does not contain the disjoint union of chains of length 3 and 1 as an induced subposet. These posets play a central role in the (3+1)-free conjecture of Stanley and Stembridge. Lewis and Zhang have enumerated (3+1)-free posets in the graded case by decomposing them into bipartite graphs, but until now the general enumeration problem has remained open. We give a finer decomposition into bipartite graphs which applies to all (3+1)-free posets and obtain generating functions which count (3+1)-free posets with labelled or unlabelled vertices. Using this decomposition, we obtain a decomposition of the automorphism group and asymptotics for the number of (3+1)-free posets.

A poset is (3+1)-free if it does not contain the disjoint union of chains of length 3 and 1 as an induced subposet. These posets are the subject of the (3+1)-free conjecture of Stanley and Stembridge. Recently, Lewis and Zhang have enumerated \emph{graded} (3+1)-free posets, but until now the general enumeration problem has remained open. We enumerate all (3+1)-free posets by giving a decomposition into bipartite graphs, and obtain generating functions for (3+1)-free posets with labelled or unlabelled vertices.

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.

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.

In this article, we prove that the complex convergence of the HCIZ free energy is equivalent to the non-vanishing of the HCIZ integral in a neighbourhood of $z=0$. Our approach is based on a combinatorial model for the Maclaurin coefficients of the HCIZ integral together with classical complex-analytic techniques.

Motivated by results for the HCIZ integral in Part I of this paper, we study the structure of monotone Hurwitz numbers, which are a desymmetrized version of classical Hurwitz numbers. We prove a number of results for monotone Hurwitz numbers and their generating series that are striking analogues of known results for the classical Hurwtiz numbers. These include explicit formulas for monotone Hurwitz numbers in genus 0 and 1, for all partitions, and an explicit rational form for the generating series in arbitrary genus. This rational form implies that, up to an explicit combinatorial scaling, monotone Hurwitz numbers are polynomial in the parts of the partition.

We consider avoiding squares and overlaps over the natural numbers, using a greedy algorithm that chooses the least possible integer at each step; the word generated is lexicographically least among all such infinite words. In the case of avoiding squares, the word is 01020103..., the familiar ruler function, and is generated by iterating a uniform morphism. The case of overlaps is more challenging. We give an explicitly-defined morphism phi : N* -> N* that generates the lexicographically least infinite overlap-free word by iteration. Furthermore, we show that for all h,k in N with h <= k, the word phi^{k-h}(h) is the lexicographically least overlap-free word starting with the letter h and ending with the letter k, and give some of its symmetry properties.