arXiv++ Combinatorics

In this paper, we give the first combinatorial proof of a rationality scheme for the generating series of maps in positive genus enumerated by both vertices and faces, which was first obtained by Bender, Canfield and Richmond in 1993 by purely computational techniques. To do so, we rely on a bijection obtained by the second author in a previous work between those maps and a family of decorated unicellular maps. Our main contribution consists in a fine analysis of this family of maps. As a byproduct, we also obtain a new and simpler combinatorial proof of the rationality scheme for the generating series of maps enumerated by their number of edges, originally obtained computationally by Bender and Canfield in 1991 and combinatorially by the second author in 2019.

We construct an explicit bijection between bipartite pointed maps of an arbitrary surface $\mathbb{S}$, and specific unicellular blossoming maps of the same surface. Our bijection gives access to the degrees of all the faces, and distances from the pointed vertex in the initial map. The main construction generalizes recent work of the second author which covered the case of an orientable surface. Our bijection gives rise to a first combinatorial proof of a parametric rationality result concerning the bivariate generating series of maps of a given surface with respect to their numbers of faces and vertices. In particular, it provides a combinatorial explanation of the structural difference between the aforementioned bivariate parametric generating series in the case of orientable and non-orientable maps.

In 1997, Schaeffer described a bijection between Eulerian planar maps and some trees. In this work we generalize his work to a bijection between bicolorable maps on a surface of any fixed genus and some unicellular maps with the same genus. An important step of this construction is to exhibit a canonical orientation for maps, that allows to apply the same local opening algorithm as Schaeffer. As an important byproduct, we obtain the first bijective proof of a result of Bender and Canfield from 1991, when they proved that the generating series of maps in higher genus is a rational function of the generating series of planar maps.

In the study of lattice walks there are several examples of enumerative equivalences which amount to a trade-off between domain and endpoint constraints. We present a family of such bijections for simple walks in Weyl chambers which use arc diagrams in a natural way. One consequence is a set of new bijections for standard Young tableaux of bounded height. A modification of the argument in two dimensions yields a bijection between Baxter permutations and walks ending on an axis, answering a recent question of Burrill et al. (2016). Some of our arguments (and related results) are proved using Schnyder woods. Our strategy for simple walks extends to any dimension and yields a new bijective connection between standard Young tableaux of height at most $2k$ and certain walks with prescribed endpoints in the $k$-dimensional Weyl chamber of type D.