A combinatorial interpretation of the $κ^{\star}_{g}(n)$ coefficients
A combinatorial interpretation of the coefficients
Thomas J. X. Li, Christian M. Reidys
Institut for Matematik og Datalogi,
University of Southern Denmark,
Campusvej 55, DK5230 Odense M, Denmark
Email: thomasli@imada.sdu.dk, duck@santafe.edu
Abstract
Studying the virtual Euler characteristic of the moduli space of curves, Harer and Zagier compute the generating function of unicellular maps of genus . They furthermore identify coefficients, , which fully determine the series . The main result of this paper is a combinatorial interpretation of . We show that these enumerate a class of unicellular maps, which correspond to to a specific type of trees, referred to as Otrees. Otrees are a variant of the Cdecorated trees introduced by Chapuy, Féray and Fusy. We exhaustively enumerate the number of shapes of genus with edges, which is a specific class of unicellular maps with vertex degree at least three. Furthermore we give combinatorial proofs for expressing the generating functions and for unicellular maps and shapes in terms of , respectively. We then prove a two term recursion for and that for any fixed , the sequence is logconcave, where , for .
Keywords: unicellular map, fatgraph, Otree, shapepolynomial, recursion
1. Introduction
A unicellular map is a connected graph embedded in a compact orientable surface, in such a way that its complement is homeomorphic to a polygon. Equivalently, a unicellular map of genus with edges can also be seen as gluing the edges of gon into pairs to create an orientable surface of genus . It is related to the general theory of map enumeration, the study of moduli spaces of curves [11], the character theory of symmetric group [22, 13], the computation of matrix integrals [15], and also considered in a variety of application contexts [18, 2]. The most wellknown example of unicellular maps is arguably the class of plane trees, enumerated by the Catalan numbers (see for example [21]).
In [11] Harer and Zagier study the virtual Euler characteristic of the moduli space of curves. The number counting the ways of gluing the edges of gon in order to obtain an orientable surface of genus , i.e. , the number of unicellular maps of genus with edges turns out to play a crucial role in their computations and they discover the two term recursion
(1.1) 
Subsequently, they identify certain coefficients, , which they describe to “give the best coding of the information contained in the […] series”, , [11]. The key link is the following functional relation between the generating function of and the generating function of :
where .
The main result of this paper is a combinatorial interpretation of the coefficients discovered by Harer and Zagier. enumerates a class unicellular maps, which correspond to to certain Otrees. Otrees are a variant of the Cdecorated trees introduced in [7], see Theorem 2. Using Otrees, we exhaustively enumerate a specific class of unicellular maps with vertex degree at least three, called shapes. We give combinatorial proofs for expressing the generating functions and for unicellular maps and shapes in terms of , respectively. In particular the are positive integers that satisfy an analogue of eq. (1.1)
(1.2) 
see Corollary 2 and Theorem 3. Eq. (1.2) has been independently discovered by Chekhov et al. [1] using the matrix model. We furthermore prove in Proposition 8 that for any fixed , the sequence is logconcave, where , for . We conjecture that the sequences and are infinitely logconcave.
2. Background
A map of genus is a connected graph embedded on a closed compact orientable surface of genus , such that is homeomorphic to a collection of polygons, which are called the faces of . Loops and multiple edges are allowed. The (multi)graph is called the underlying graph of and its underlying surface. Maps are considered up to homeomorphisms between the underlying surfaces. A sector of consists of two consecutive edges around a vertex. A rooted map is a map with a marked sector, called the root; the vertex incident to the root is called the rootvertex. In figures, we represent the root, by drawing a dashed edge attaching the rootvertex and a distinguished vertex, called the plant. By convention, the plant, plantedge and its associated sector (around the plant) are not considered, when counting the number of vertices, edges or sectors. From now on, all maps are assumed to be rooted and accordingly the underlying graph of a rooted map is naturally vertexrooted. A unicellular map is a map with a unique face. By Euler’s characteristic formula , a unicellular map of genus with edges has vertices. A plane tree is a unicellular map of genus .
We next introduce Otrees, which are directly implied by the concept of Cdecorated trees by Chapuy et al. [7].
An Opermutation is a permutation where all cycles have odd length. For each Opermutation on elements, the genus of is defined as , where is the number of cycles of .
An Otree with edges is a pair , where is a plane tree with edges and is an Opermutation on elements, see Figure 2(a). The genus of is defined to be the genus of . We canonically number the vertices of from to according to a lefttoright, depthfirst traversal. Hence can be seen as a permutation of the vertices of , see Figure 2(b).
The underlying graph of is the (vertexrooted) graph with edges, that is obtained from by merging the vertices in each cycle of (so that the vertices of correspond to the cycles of ) into a single vertex, see Figure 2(c).
Definition 1.
For nonnegative integers, let denote the set of unicellular maps of genus with edges, let be the set of Opermutations of genus on elements and let denote the set of Otrees of genus with edges, i.e., .
For two finite sets and , let denote their disjoint union and denote the set made of disjoint copies of . We write if there exists a bijection between and .
Let us first recall a combinatorial result of [6]:
Proposition 1 (Chapuy [6]).
For , let denote the set of maps from in which a set of vertices is distinguished. Then for and ,
(2.1) 
In addition, if and are in correspondence, then the underlying graph of is obtained from the underlying graph of by merging the vertices in into a single vertex.
Remark: one key feature of this bijection is that it preserves the underlying graph of corresponding objects. By multiplying with the factor (which still preserves the underlying graph), we obtain
(2.2) 
In analogy to the above decomposition of unicellular maps, there exists a recursive way to decompose Opermutations:
Proposition 2 (Chapuy et al. [7]).
For , let be the set of Opermutations from having labeled cycles. Then for and ,
(2.3) 
Furthermore, if and are in correspondence, then the cycles of are obtained from the cycles of by merging labeled cycles in into a single cycle.
Along these lines we furthermore observe:
Proposition 3 (Chapuy et al. [7]).
For , denote by the set of Otrees from in which a set of cycles is distinguished. Then for and ,
Furthermore, if and are in correspondence, then the underlying graph of is obtained from the underlying graph of by merging the vertices corresponding to cycles from into a single vertex.
The proofs of Proposition 2 and Proposition 3 are reformulations of those of [7] in the context of Cpermutations and Cdecorated trees. For completeness we give them in the Appendix.
Remark: the bijection for Opermutations preserves the cycles, which implies that the bijection for Otrees preserves the underlying graph of corresponding objects.
Combining Proposition 1 and Proposition 3, we inductively derive a bijection preserving the underlying graphs.
Theorem 1 (Chapuy et al. [7]).
For any nonnegative integers and , there exists a bijection
In addition, the cycles of an Otree naturally correspond to the vertices of the associated unicellular map, such that the respective underlying graphs are the same.
Remark: in [7], Chapuy et al. prove the existence of a to correspondence between Cdecorated trees and unicellular maps. The notion of Cpermutation and Cdecorated tree therein can be viewed as Opermutation and Otree carrying a sign with each cycle, respectively. The reduction from Cdecorated trees to Otrees allows us derive a to correspondence between Otrees and unicellular maps. Furthermore all the results in [7] for Cdecorated trees have an Otree analogue.
3. Shapes
Definition 2.
A shape is a unicellular map having vertices of degree .
We adopt the convention that the plantedge is taken into account when considering the degree of the root vertex.
Proposition 4.
[19] Given a shape of genus with edges, we have .
Proof.
By Euler’s characteristic formula, we have , where denotes the vertex set of a shape of genus with edges. On the one hand, any shape contains at least one vertex, which implies , i.e., . On the other hand, each vertex of a shape has . Then we derive , that is, . (Here we consider the plant and the plantedge.) ∎
Let denote the set of shapes, i.e. , shapes of genus with edges. Let denote the set of Otrees from such that each vertex in the underlying graph of the Otree contains only vertices of degree , that is
Lemma 1.
For and , we have the bijection
In addition, the cycles of an Otree naturally correspond to the vertices of the associated unicellular map, in such a way that the respective underlying graphs are the same.
Note that a unicellular map is a shape if and only if each vertex in the underlying graph of the map has degree . Therefore, Lemma 1 follows directly from Theorem 1 by restricting the bijection to the set of shapes since the bijection therein preserves the underlying graph of corresponding objects.
Lemma 1 allows us to obtain deeper insight into shapes via Opermutations. To this end we consider the cycletype of an Opermutation, i.e., a partition with parts of odd size. Given an Opermutation from , its cycletype is a partition of with odd parts. We assume that , with . The partition naturally corresponds to the partition of . The fact that is a partition of follows from the identity . Here denotes the number of odd parts of , i.e., the number of parts of . Let denote number of parts of . It is clear that this a onetoone correspondence. Therefore the cycle type of an Opermutation from can be indexed by an partition of .
The number of Opermutations of elements with cycletype equal to is given by
where .
Let denote the set of Opermutations of genus with cycles of length and cycles of length . Note that the number of elements of an Opermutation from is . Then we have the following two cases:

For , the cardinality , denoted by , counts Opermutations of genus on elements without cycles of length (or cycletype having the form ). Hence it is given by
where runs over all partitions of with parts.

For arbitrary , each Opermutation in consists of an Opermutation from together with cycles of length . Then the set can be counted by first picking up elements from elements and then choosing an Opermutation from . Therefore
By definition,
Set . Let denote the set of Otrees from such that their associated Opermutation has cycles of length and cycles of length , i.e.,
Hence
Lemma 2.
For , we have
Therefore
where is the th Catalan number and runs over all partitions of with parts.
Proof.
By definition, . Given , each cycle of Opermutation has length . Then the underlying graph of , obtained from by merging into a single vertex the vertices in each cycle of , must have all vertices with degree . It implies that . Hence . ∎
To enumerate Otrees from for arbitrary , we observe that they can be reduced to Otrees from . The key idea is to eliminate the vertices corresponding to cycles from an Otree, thereby reducing to an Otree without cycles, i.e., Otree from . This elimination on Otrees is reminiscent of Rémy’s bijection [20] on plane trees, which is briefly recalled below.
Rémy’s bijection reduces a plane tree with edges and a labeled vertex to a plane tree with edges and a sector labeled by or as follow

if the labeled vertex is a leaf, is obtained from by contracting the edge connecting the labeled vertex and its father. Label by the sector associated with the labeled vertex,

if the labeled vertex is a nonleaf, is obtained from by contracting the edge connecting the labeled vertex and its leftmost child. Label by the sector separating the leftmost subtree and the remaining subtree of the labeled vertex.
Therefore , see Figure 3. Rémy’s bijection has been applied in [7, 12, 16].
Given an Otree , its traversal is defined as that of its underlying plane tree (traveling around the boundary of starting from the rootsector). A vertex of is called a cycle if the corresponding element in is in a cycle of length . All sectors around the vertex are ordered according to the traversal of . A sector at in is called permissible if

is not the last sector around according to the traversal of ,

if vertex is cycle, then is not the first two sectors around according to the traversal of .
Proposition 5.
Any Otree has exactly permissible sectors.
Proof.
By definition of , each vertex in the underlying graph has degree . Then each cycle vertex has degree in since it has the same degree as its corresponding vertex in the underlying graph.
Accordingly, any cycle vertex has no less than sectors, whence its first two sectors never coincide with its last sector. Note that any has edges, sectors and cycle vertices. Thus in , the set of permissible sectors is the set of all sectors excluding all last sectors of vertices and all the first two sectors of cycle vertices. Hence the number of permissible sectors is given by . ∎
Let denote the set of Otrees with permissible, labeled sectors. By Proposition 5, and .
Let denote the set of Otrees with one labeled cycle vertex. Since each Otree has cycle vertices, we have .
Lemma 3.
For , there exists a bijection between , the set of Otrees with one labeled cycle vertex and , the set of Otrees with one permissible, labeled sector. Accordingly we have
Proof.
Suppose we are given , and a cycle vertex . has degree and is not a leaf.
We construct an Otree from as follows: we apply Rémy’s bijection to the plane tree with respect to the nonleaf , i.e., contracting the edge connecting and its leftmost child. We obtain a plane tree together with a labeled sector . The correspondence between vertices in and those in gives us a canonical relabelling of elements of the permutation excluding the cycle corresponding to . Let denote the permutation obtained from by deleting cycle corresponding to and relabeling, see Figure 4.
We define the mapping
First we show that is welldefined. By construction, has edges and all cycles in have odd length, i.e., is an Opermutation. Further has elements, cycles of length and odd cycles of length . Hence . Let denote the vertex in , to which sector belongs to. is not the last sector around , since otherwise, by construction of Rémy’s bijection, the cycle vertex in has degree at most two, a contradiction. If is a cycle in , then the leftmost child of is a cycle in and has degree at least in . By the way of contracting the edge connecting and and labeling the sector, is then not one of the first two sectors around . This shows that is permissible, whence and is welldefined.
To recover from , we apply the inverse of Rémy’s bijection to with respect to the sector , which is labeled and obtain a plane tree with nonleaf vertex . By construction of Rémy’s bijection and the definition of permissible sector, has degree . Set to be the permutation obtained from by adding the cycle corresponding to and relabeling according to the correspondence between vertices in and those in , see Figure 4. It is clear that this is the inverse of , whence is bijective. ∎
Lemma 4.
For any , there exists a bijection from to , the set of Otrees with permissible, labeled sectors:
Remark: given an Otree, the number of cycle vertices is bounded by .
In Figure 5, we show how to generate all and Otrees from Otrees.
Let
where is a partition of with parts.
For , let be the number of shapes of genus with edges and denote the corresponding generating polynomial . Then
Lemma 5.
[12] For any , the generating polynomial of shapes is given by
Corollary 1.
We have
(3.1) 
where if or .
Proof.
By Lemma 5, we have
Set . By comparing both sides of the above identity, we obtain the corresponding formula for . ∎
Corollary 2.
The number is a positive integer.
Proof.
The positivity of is clear by definition. We proceed by induction on : assume that is an integer for and set . By eq. (3.1), we have
i.e.,
Since and are integers for , is an integer. ∎
4. The coefficients
Let denote the number of unicellular maps of genus with edges. In the following we derive an explicit formula for the generating function of unicellular maps of genus , which has the same coefficients as in the generating polynomial of shapes of genus in Lemma 5. This result has been observed in [12] by a different construction.
Lemma 6.
For any , the generating function of unicellular maps of genus is given by
Let
then [11] shows that
In view of Lemma 1 and Lemma 6 this provides the following combinatorial interpretation of :
Theorem 2.
, where and counts the shapes of genus , which correspond to via the bijection in Lemma 1.
Combining this with Lemma 6, we obtain an explicit formula for the polynomials in terms of :
Corollary 3.
For any , the polynomial is given by
Corollary 4.
For , we have
(4.1) 
where the generating function of plane trees with edges is given by
This functional relation can also be derived via symbolic methods [9]. More precisely, we can construct a general unicellular map from a shape by first replacing each edge by a path and then attaching a plane tree to each sector.
We shall proceed by giving a bijective proof of a recurrence of .
Proposition 6.
For any , there exists a bijection