Hypergeometric \tau-functions, Hurwitz numbers and enumeration of paths

TL;DR

This paper introduces a family of 2D Toda tau-functions that generate signed Hurwitz numbers, counting branched covers of the sphere and paths in symmetric groups with specific ramification and monotonicity conditions.

Contribution

It establishes a novel connection between hypergeometric tau-functions, Hurwitz numbers, and path enumeration in Cayley graphs, with explicit combinatorial and geometric interpretations.

Findings

Provides generating functions for composite Hurwitz numbers.

Characterizes paths in Cayley graphs with monotonicity constraints.

Links tau-functions to enumeration of branched covers with prescribed ramification.

Abstract

A multiparametric family of 2D Toda $\tau$-functions of hypergeometric type is shown to provide generating functions for composite, signed Hurwitz numbers that enumerate certain classes of branched coverings of the Riemann sphere and paths in the Cayley graph of $S_n$. The coefficients $F^{c_1, ..., c_l}_{d_1, ..., d_m}(\mu, \nu)$ in their series expansion over products $P_\mu P'_\nu$ of power sum symmetric functions in the two sets of Toda flow parameters and powers of the $l+m$ auxiliary parameters are shown to enumerate $|\mu|=|\nu|=n$ fold branched covers of the Riemann sphere with specified ramification profiles $ \mu$ and $\nu$ at a pair of points, and two sets of additional branch paints, satisfying certain additional conditions on their ramification profile lengths. The first group consists of $l$ branch points, with ramification profile lengths fixed to be the numbers $(n-c_1, ..., n- c_l)$; the second consists of $m$ further groups of "coloured" branch points, of variable number, for which the sums of the complements of the ramification profile lengths within the groups are fixed to equal the numbers $(d_1, ..., d_m)$. The latter are counted with sign determined by the parity of the total number of such branch points. The coefficients $F^{c_1, ..., c_l}_{d_1, ..., d_m}(\mu, \nu)$ are also shown to enumerate paths in the Cayley graph of the symmetric group $S_n$ generated by transpositions, starting, as in the usual double Hurwitz case, at an element in the conjugacy class of cycle type $\mu$ and ending in the class of type $\nu$, but with the first $l$ consecutive subsequences of $(c_1, ..., c_l)$ transpositions strictly monotonically increasing, and the subsequent subsequences of $(d_1, ..., d_m)$ transpositions weakly increasing.