A bijective proof of the enumeration of maps in higher genus

11/15/2017
by   Mathias Lepoutre, et al.
0

Bender and Canfield proved in 1991 that the generating series of maps in higher genus is a rational function of the generating series of planar maps. In this paper, we give the first bijective proof of this result. Our approach starts with the introduction of a canonical orientation that enables us to construct a bijection between 4-valent bicolorable maps and a family of unicellular blossoming maps.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
12/13/2021

On Planarity of Graphs in Homotopy Type Theory

In this paper, we present a constructive and proof-relevant development ...
research
02/07/2022

Bijections between planar maps and planar linear normal λ-terms with connectivity condition

The enumeration of linear λ-terms has attracted quite some attention rec...
research
07/02/2018

Orientations and bijections for toroidal maps with prescribed face-degrees and essential girth

We present unified bijections for maps on the torus with control on the ...
research
06/16/2020

Computing Igusa's local zeta function of univariates in deterministic polynomial-time

Igusa's local zeta function Z_f,p(s) is the generating function that cou...
research
07/09/2019

A bijection for essentially 3-connected toroidal maps

We present a bijection for toroidal maps that are essentially 3-connecte...
research
08/02/2020

Extendability of simplicial maps is undecidable

We present a short proof of the Čadek-Krčál-Matoušek-Vokřínek-Wagner res...
research
11/17/2020

Natural Stratifications of Reeb Spaces and Higher Morse Functions

Both Reeb spaces and higher Morse functions induce natural stratificatio...

Please sign up or login with your details

Forgot password? Click here to reset