arXiv++ Combinatorics

This manuscript studies a special case of the Hurwitz enumeration problem: for branched covers from genus g compact Riemann surface to the Riemann sphere, with three branch points, and require the branching data at one of the branch points to be of the partition (m 1^{n-m}), obtain a formula of Hurwitz number. The Hurwitz enumeration problem can be transformed into enumeration of a class of unrooted hypermaps. We first provide a enumeration formula for rooted hypermaps, thereby obtaining the weighted Hurwitz numbers. Next give the quantitative relationship between the enumeration of unrooted hypermaps and that of rooted hypermaps in the general setting. Finally, combining these two results, we obtain a formula for the unrooted hypermaps or the Hurwitz numbers in the special setting.

This is the second of two papers on the uniform asymptotics for real double Hurwitz numbers with triple ramification. Using the modified tropical correspondence theorem established in the first paper of this series, we introduce a combinatorial invariant that serves as a lower bound for real double Hurwitz numbers with triple ramification. We derive a uniform lower bound for the large-degree and large-genus logarithmic asymptotics of these combinatorial invariants. This uniform lower bound yields the following results: (1) We establish a uniform lower bound for the large-degree and large-genus logarithmic asymptotics of real double Hurwitz numbers with triple ramification and their complex analogues. In particular, we provide a partial answer to an open question proposed by Dubrovin, Yang and Zagier on the uniform bound for simple Hurwitz numbers. (2) We prove logarithmic equivalence between real double Hurwitz numbers with triple ramification and their complex analogues as the degree tends to infinity and only simple branch points are added. (3) As the genus tends to infinity and only simple branch points are added, we show that the logarithms of real double Hurwitz numbers with triple ramification and their complex analogues are of the same order.

We show that the signed counts of normalized real polynomials, as defined by Itenberg and Zvonkine, provide the signed counts of genus zero real ramified coverings of the Riemann sphere with a point of total ramification and several other branch points with arbitrary ramification profiles.

In this paper, we study a certain type of Hurwitz numbers which count branched covers over the Riemann sphere admitting several branch points with fixed ramification types, one branch point with a fixed number of preimages, and one branch point with an arbitrary ramification type. We prove that the dependence of this kind of Hurwitz numbers on parts of the ramification type over the last point is a polynomial. Moreover, when expanding this polynomial in terms of products of binomial coefficients, we show that the coefficients are always non-negative integers via a pure combinatorial method. Our result generalizes the polynomiality in several models, including the one-part double Hurwitz numbers studied by Goulden-Jackson-Vakil, the one-part double Hurwitz numbers with completed cycles studied by Shadrin-Spitz-Zvonkine, and the generalized dessin counting.

We define a new class of enumerative invariants called $k$-leaky double Hurwitz descendants, generalizing both descendant integrals of double ramification cycles and the $k$-leaky double Hurwitz numbers introduced in previous work of Cavalieri, Markwig and Ranganathan. These numbers are defined as intersection numbers of the logarithmic DR cycle against $ψ$-classes and logarithmic classes coming from piecewise polynomials encoding fixed branch point conditions. We give a tropical graph sum formula for these new invariants, allowing us to show their piecewise polynomiality and a wall-crossing formula in genus zero. We also prove that in genus zero the invariants are always non-negative and give a complete classification of the cases where they vanish.

Hurwitz numbers with completed cycles are standard Hurwitz numbers with simple branch points replaced by completed cycles. In fact, simple branch points correspond to completed $2$-cycles. Okounkov and Pandharipande have established the remarkable GW/H correspondence, saying that the stationary sectors of the Gromov--Witten theory relative to $r$ points equal Hurwitz numbers with $r$ branch points besides the completed cycles. However, from the viewpoint of computation, known results for Hurwitz numbers (standard or with completed cycles) are mainly for $r\leq 2$. It is hard to obtain explicit formulas and then discuss the structural properties for the cases $r>2$. In this paper, we obtain explicit formulas for the case $r=3$ and uncover a number of structural properties of these Hurwitz numbers. For instance, we discover a piecewise polynomiality with respect to the orders of the completed cycles in addition to the parts of the profiles of branch points as usual, we show that certain hook-shape Hurwitz numbers are building blocks of all our Hurwitz numbers, and we prove an analogue of the celebrated $λ_g$-conjecture.

Going beyond the studies of single and double Hurwitz numbers, we report some progress towards studying Hurwitz numbers which correspond to ramified coverings of the Riemann sphere involving three nonsimple branch points. We first prove a recursion which implies a fundamental identity of Frobenius enumerating factorizations of a permutation in group algebra theory. We next apply the recursion to study Hurwitz numbers involving three nonsimple branch points (besides simple ones),two of them having deterministic ramification profiles while the remaining one having a prescribed number of preimages. The recursion allows us to obtain recurrences as well as explicit formulas for these numbers which also generalize a number of existing results on single and double Hurwitz numbers. The case where one of the nonsimple branch points with deterministic profile has a unique preimage (one-part quasi-triple Hurwitz numbers {or $(1,m)$-part triple Hurwitz numbers}) is particularly studied in detail. We prove an attractive dimension-reduction formula from which any one-part quasi-triple Hurwitz number can be reduced to quasi-triple Hurwitz numbers where both with deterministic profiles are fully ramified. We also obtain the polynomiality of one-part quasi-triple Hurwitz numbers analogous to that implied by the remarkable ELSV formula for single Hurwitz numbers, and discuss the potential connection to intersection theory.

This is the first of two papers on the uniform asymptotics for real double Hurwitz numbers with triple ramification. Real double Hurwitz numbers with triple ramification count the number of real ramified coverings of the complex projective line $\mathbb{C}\mathbb{P}^1$ by real Riemann surfaces of genus $g$, where the ramification profiles over $0$ and $\infty$ are $λ$ and $μ$ respectively, and the ramification profiles over the remaining real branch points consist of either $(3,1,\ldots,1)$ or $(2,1,\ldots,1)$. We apply a modified version of the tropical computation framework developed by Markwig and Rau for real Hurwitz numbers (Math. Z. 281 (2015), no. 1-2, 501-522) to compute the real double Hurwitz numbers with triple ramification. The new ingredient in our computation is the application of real simple resolution, a technique that enables us to resolve a triple branch point into a pair of simple branch points. Using real simple resolution, we establish a correspondence between real double Hurwitz numbers with triple ramification and weighted counts of tropical covers. This modified tropical correspondence simplifies the asymptotic analysis of real double Hurwitz numbers with triple ramification.

There is a remarkable connection between the boundary structure of the positive kinematic region and branch points of integrated amplitudes in planar $\mathcal{N}=4$ SYM. A long standing question has been precisely how algebraic branch points emerge from this picture. We use wall crossing and scattering diagrams to systematically study the boundary structure of the positive kinematic regions associated with MHV amplitudes. The notion of asymptotic chambers in the scattering diagram naturally explains the appearance of algebraic branch points. Furthermore, the scattering diagram construction also motivates a new coordinate system for kinematic space that rationalizes the relations between algebraic letters in the symbol alphabet. As a direct application, we conjecture a complete list of all algebraic letters that could appear in the symbol alphabet of the 8-point MHV amplitude.

Weighted constellations give graphical representations of weighted branched coverings of the Riemann sphere. They were introduced to provide a combinatorial interpretation of the $2$D Toda $τ$-functions of hypergeometric type serving as generating functions for weighted Hurwitz numbers in the case of polynomial weight generating functions. The product over all vertex and edge weights of a given weighted constellation, summed over all configurations, reproduces the $τ$-function. In the present work, this is generalized to constellations in which the weighting parameters are determined by a rational weight generating function. The associated $τ$-function may be expressed as a sum over the weights of doubly labelled weighted constellations, with two types of weighting parameters associated to each equivalence class of branched coverings. The double labelling of branch points, referred to as "colour" and "flavour" indices, is required by the fact that, in the Taylor expansion of the weight generating function, a particular colour from amongst the denominator parameters may appear multiply, and the flavour labels indicate this multiplicity.

We consider the class of compact Riemann surfaces which are ramified coverings of the Riemann sphere $\hat{\mathbb{C}}$. Based on a triangulation of this covering of the sphere $\mathbb{S}^2\cong \hat{\mathbb{C}}$ and its stereographic projection, we define discrete (multi-valued) harmonic and holomorphic functions. We prove that the corresponding discrete period matrices converge to their continuous counterparts. In order to achieve an error estimate, which is linear in the maximal edge length of the triangles, we suitably adapt the triangulations in a neighborhood of every branch point. Finally, we also prove a convergence result for discrete holomorphic integrals for our adapted triangulations of the ramified covering.

We study the real counterpart of double Hurwitz numbers, called real double Hurwitz numbers here. We establish a lower bound for these numbers with respect to their dependence on the distribution of branch points. We use it to prove, under certain conditions, existence of real Hurwitz covers as well as logarithmic equivalence of real and classical Hurwitz numbers. The lower bound is based on the \enquote{tropical} computation of real Hurwitz numbers in arXiv:1412.4235.

We exploit three classical characterizations of smooth genus two curves to study their tropical and analytic counterparts. First, we provide a combinatorial rule to determine the dual graph of each algebraic curve and the metric structure on the associated minimal Berkovich skeleton. Our main tool is the description of genus two curves via hyperelliptic covers of P^1 with six branch points. Given the valuations of these six points and their differences, our algorithm provides an explicit harmonic 2-to-1 map to a metric tree on six leaves. Second, we use tropical modifications to produce a faithful tropicalization in dimension three starting from a planar hyperelliptic embedding. Finally, we consider the moduli space of abstract genus two tropical curves and translate the classical Igusa invariants characterizing isomorphism classes of genus two algebraic curves into the tropical realm. While these tropical Igusa functions do not yield coordinates in the tropical moduli space, we propose an alternative set of invariants that provides new length data.

In this work for the first time we enumerate unlabelled maps on orientable genus $g$ surfaces with respect to all homeomorphisms, including both orientation-preserving and orientation-reversing. We show that in the latter case as an intermediate step one has to enumerate rooted maps of a special kind (quotient maps) on orientable and non-orientable surfaces possibly having a boundary and a certain number of branch points. In this work we develop a special technique for enumerating such maps.

We study the problem of counting real simple rational functions $\varphi$ with prescribed ramification data (i.e. a particular class of oriented real Hurwitz numbers of genus $0$). We introduce a signed count of such functions that is invariant under change of the branch locus, thus providing a lower bound for the actual count (which does depend on such change). We prove (non-)vanishing theorems for these signed counts and study their asymptotic growth when adding further simple branch points. The approach is based on the works of Itenberg and Zvonkine (arXiv:1609.05219) which treat the polynomial case.

We consider the problem of defining and computing real analogs of polynomial Hurwitz numbers, in other words, the problem of counting properly normalized real polynomials with fixed ramification profiles over real branch points. We show that, provided the polynomials are counted with an appropriate sign, their number does not depend on the order of the branch points on the real line. We study generating series for the invariants thus obtained, determine necessary and sufficient conditions for the vanishing and nonvanishing of these generating series, and obtain a logarithmic asymptotic for the invariants as the degree of the polynomials tends to infinity.

The Witten-Kontsevich theorem states that a certain generating function for intersection numbers on the moduli space of stable curves is a tau-function for the KdV integrable hierarchy. This generating function can be recovered via the topological recursion applied to the Airy curve $x=\frac{1}{2}y^2$. In this paper, we consider the topological recursion applied to the irregular spectral curve $xy^2=\frac{1}{2}$, which we call the Bessel curve. We prove that the associated partition function is also a KdV tau-function, which satisfies Virasoro constraints, a cut-and-join type recursion, and a quantum curve equation. Together, the Airy and Bessel curves govern the local behaviour of all spectral curves with simple branch points.

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.

A multiparametric family of 2D Toda $τ$-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}(μ, ν)$ in their series expansion over products $P_μP'_ν$ 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 $|μ|=|ν|=n$ fold branched covers of the Riemann sphere with specified ramification profiles $ μ$ and $ν$ 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}(μ, ν)$ 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 $μ$ and ending in the class of type $ν$, 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.