arxiv: v2 [math.co] 2 Apr 2008

Transcription

1 A bjecton for rooted maps on orentable surfaces arxv:07.69v [math.co] Apr 008 Gullaume Chapuy, LIX, École Polytechnque and Mchel Marcus, LaBRI, Unversté Bordeaux and Glles Schaeffer, LIX, CNRS and École Polytechnque The enumeraton of maps and the study of unform random maps have been classcal topcs of combnatorcs and statstcal physcs ever snce the semnal work of Tutte n the sxtes. Followng the bjectve approach ntated by Cor and Vauqueln n the eghtes, we descrbe a bjecton between rooted maps, or rooted bpartte quadrangulatons, on a surface of genus g and some smpler objects that generalze plane trees. Thanks to a rerootng argument, our bjecton allows to compute the generatng seres of rooted maps on a surface of genus g wth respect to the number of edges, and to recover the asymptotc numbers of such maps. Our constructon allows to keep track n a bpartte quadrangulaton of the dstances of all vertces to a random basepont. Ths s an analog for hgher genus surfaces of the basc result on whch were bult the recent advances n the comprehenson of the ntrnsec geometry of large random planar maps, hopefully openng the way to the study of a model of contnuum random surfaces of genus g. Categores and Subject Descrptors: Combnatorcs [G..]: Enumeraton; Graph theory Addtonal Key Words and Phrases: Graphs on surfaces, trees, random dscrete surfaces. INTRODUCTION Ths artcle s concerned wth the enumeratve and probablstc study of maps on orentable surfaces: rougly speakng a map of genus g s a proper embeddng of a graph n S g, the compact orented surface of genus g wthout boundary. Maps on the sphere S 0, also known as planar maps, have been studed n enumeratve combnatorcs ever snce the semnal papers of Wllam T. Tutte n the sxtes [Tut6], and our prmary motvaton s stll to explore the unexpected enumeratve propertes of these objects: For nstance, the number of rooted planar maps havng n edges s gven by the smple formula q 0,n = n (n)! (n + )! n!, () and the number of rooted maps of genus g havng n edges satsfes q g,n c g n 5 (g ) n, () when n goes to nfnty wth g fxed. The remarkable lnear dependency n g of the polynomal growth exponent of ths asymptotc formula has been observed as a common pattern of many classes of maps n combnatorcs [BC9; Gao9]. Formula () for the planar case was recovered also n the physcs lterature by G.S. acknowledges fnancal support from the french mnstery of research va grants ACI-MD Geocomp and ANR Sada.

2 Fg.. A rooted planar map, a graph drawng on S and a map of genus. mean of the so-called genus expansons of matrx ntegrals [BIPZ78], whch also led n the 90 s to ndependant dervatons of the asymptotc formula () [DGZJ95, and reference theren]. Untl now however t has remaned an open problem to gve a combnatoral explanaton of the lnear dependency n the genus [Ben9]. The am of ths paper s to descrbe a bjecton (Theorem ) whch reformulates and extends to hgher genus surfaces an earler bjecton of Cor and Vauqueln [CV8] between planar maps and well labelled trees. In the planar case, a rerootng argument then mmedately leads to Formula (Corollary ). In hgher genus, the combnaton of our bjecton wth a decomposton nspred from Wrght s works on labeled graphs wth fxed excess [Wr77; Wr78] leads to a smple combnatoral dervaton of Formula () (Corollary 9), and to a new expresson of the generatng seres for maps of genus g wth respect to the number of edges (Theorem ). Classcal results of sngularty analyss allow then to recover easly the asymptotc formula (), and provdes a new expresson to the constant c g n front of the formula (Corollary 9). One motvaton for the study of maps n statstcal physcs s the nterpretaton of random maps as dscrete models of surfaces n the context of two-dmensonal eucldean quantum gravty [ArDJ97]. From a probablstc pont of vew, t s natural to wonder about the geometry of these random dscrete surfaces. In the planar case our bjecton was already used n [CS0] to show that the dstance between two random vertces n a unform random planar quadrangulaton wth n faces s of order n /, and more generally to study the process descrbng the number of vertces at dstance k of a vertex. Ths lne of research has lead to remarkable progress n our understandng of the geometry of large random planar maps [BDFG0] and of ther contnuum lmt [MM06; LG07; LGP07]. From ths perspectve we provde here the basc buldng block for the study of hgher genus random dscrete surfaces.. MAPS, QUADRANGULATIONS AND G-TREES In ths secton we make precse our use of the graph termnology.. Graph drawngs and maps Let S g denote the compact orented surface of genus g wthout boundary. A graph drawng on S g s a proper embeddng (wthout edge crossngs) of a graph nto S g. Multple edges and loops are allowed. A graph drawng on S g s a map of genus g f moreover each face s homeomorphc to a dsc, or equvalently, f the complement of the graph n S g s a unon of dsjont smply connected components. In partcular the graph underlyng a map s necessarly connected. Maps of genus 0 are called

3 Fg.. The quadrangulaton of a map: local constructon and an exemple n the plane planar maps. For enumeratve purpose t s convenent to consder rooted maps, that s, pars m = (m, e) where e s an arc of m (an arc s an edge wth an orentaton). The arc e s called the root of m, ts orgn s the root vertex of m and the face on ts rght s the root face. In the rest of ths text, two maps are consdered the same f there exsts an orentaton preservng homeomorphsm of the embeddng surface that sends one map onto the other (carryng roots f there are some). These (equvalence classes of) maps can also be defned n a purely combnatoral way: for nstance a rooted map can be descrbed by lstng the local arrangement of arcs around each vertex usng any numberng of these arcs. A modern account of the equvalence between topologcal and combnatoral descrptons of maps can be found n [MT0, Ch. ]. To any rooted map m we assocate an arbtrary fxed numberng of ts edges (respectvely arcs, vertces, corners, or faces) that starts wth the root edge, whch we call the canoncal order of the edges (respectvely arcs, vertces, corners, or faces) of m. Ths numberng can for nstance be gven by the frst vst n a depth frst search turnng counterclockwse around each vertex, or by any other fxed procedure: n what follows we wll only need to nvoke ths canoncal order to fx notatons. A fundamental result of the theory of surfaces s the Euler characterstc formula: Lemma. If a map of genus g has v vertces, f faces and n edges then v n + f = g. The quantty χ = g s called the Euler characterstc of the map.. Maps and bpartte quadrangulatons The degree of a vertex s the number of edges ncdent to t, wth the conventon that a loop counts for two. The degree of a face s the number of edges ncdent to t, wth the conventon that an edge ncdent to the same face on both sdes counts for two. A quadrangulaton s a planar map havng all faces of degree. A map s bpartte f ts vertces are colored n two colors n such a way that adjacent vertces have dfferent colors (say black and whte). By conventon the color of the root vertex of a rooted bpartte map s always taken to be black. We recall two standard results of graph and map theory: () All planar quadrangulatons admt a bpartton. () For all n, v, f and g 0 wth v n + f = g, there s a bjecton between maps of genus g wth n edges, v vertces and f faces, and bpartte

4 0 Fg.. A quadrangulaton and ts dstance labelng quadrangulatons of genus g wth n faces, v black and f whte vertces, and n edges. Idem between rooted maps and rooted bpartte quadrangulatons. The frst result wll not be used but s recalled to stress the fact that, a contraro, a smlar statement does not hold for quadrangulatons of genus g: there exst non bpartte quadrangulatons of genus g for all g. The second result s based on a classcal constructon whch we now brefly recall: Gven a map m wth black vertces, trangulate each face from a new whte vertex; the new bpartte edges form wth black and whte vertces a quadrangulaton q, whch s the bpartte quadrangulaton assocated to m. Conversely gven a bpartte quadrangulaton q create nsde each face f a new edge connectng the two black vertces ncdent to f; these new edges form wth the black vertces a map m whose bpartte quadrangulaton s q. To get a correspondence n the rooted case, a rerootng conventon must be chosen: f m has a root edge e, then let the root of q be the arc of q wth orgn the orgn of e and wth the face contanng e on ts rght hand sde. Ths correspondence s the reason why, although we concentrate n the rest of ths text on bpartte quadrangulatons, our results have mplcatons for all maps.. Quadrangulatons, dstance labellng and g-trees A ponted quadrangulaton s a par q = (q, v 0 ), where v 0 s a vertex of q, called the basepont. The dstance labellng of (q, v 0 ) s a labellng of the vertces of q by ther dstance to v 0 n the underlyng graph: the label of a vertex v s the mnmum number of edges of a path returnng from v to v 0. Observe that n a ponted bpartte quadrangulaton the vertces wth the same color as the basepont are exactly the vertces at even dstance of t. In partcular two adjacent vertces have labels that dffer by one n the dstance labellng, and the faces are of two types dependng whether the cycle of ncdent labels s of the form (,,, ) or (,, + ) for some. A plane tree s a planar map wth only one face. In partcular a planar tree contans no smple cycle of edges, and the defnton of rooted planar trees agrees wth the usual recursve combnatoral defnton of ordered trees: a rooted plane tree can be unquely decomposed nto a root vertex and a (possbly empty) ordered sequence of rooted planar trees. By extenson, we call g-tree a map of genus g wth one face. Observe however that for g, any g-tree contans smple cycles of edges.

5 5 0 + Fg.. The mappng φ: local rules and an example. EMBEDDED G-TREES AND THE OPENING BIJECTION A map s called embedded f ts vertces are gven nteger labels that dffer at most by one along every edge, the root vertex (f the map s rooted) havng label. A map s well labeled f moreover the support of labels s an nterval of the form (, m). In other terms a well labeled map s an embedded map wth mnmum label.. The openng of a ponted bpartte quadrangulaton Gven a ponted bpartte quadrangulaton (q, v 0 ) of genus g havng n faces, we defne a mappng φ, the openng, whch we wll later clam produces a well labeled g-tree wth n edges (see Fgure ): Label vertces of q accordng to ther dstance to v 0. Recall that the extremtes of each edge have labels that dffer by one, so that the labels of vertces on the border of a face form ether a cycle (,,, ) or a cycle (,, +, ). Create a graph drawng φ(q, v 0 ) on S g wth vertex set the vertces of q except v 0 and wth one edge e f for each face f of q, whch connects the two corners of f that have a vertex label larger than ther predecessor n clockwse drecton around f: n a face wth border (,,, ) the resultng edge has label (, ), whle n a face wth border (,, +, ) t has label (, + ). Obvously the labels of the vertces of φ(q, v 0 ) are postve and the varatons along ts edges belong to {+, 0, }, so that φ(q, v 0 ) s well labelled. More nterestng s the followng lemma, whch proves that φ(q, v 0 ) s a well labelled g-tree. Lemma. The graph drawng φ(q, v 0 ) on S g has a unque and smply connected face. Proof. We gve here a quck proof whch requres some famlarty wth graph on surfaces, and postpone a more explct proof to the appendx. The graph drawng q = q φ(q, v 0 ) s obvously a map: each face of q s dvded n q nto smaller smply connected faces by an edge of φ(q, v 0 ) (see Fgure ). Draw a fake vertex v f n each face f of q, label t by the smallest label on the border of f, and connect these fake vertces by one fake edge for each edge of q: an edge e of q wth label (, + ) that separates faces f (on ts rght hand sde)

6 6 + f f Fg. 5. The orentaton of dual old edges n q : local confguratons and an example. Let us prove that the fake edges form a forest of orented trees attached to a unque orented cycle around v 0. Consder the types of faces of q as represented on Fgure 5: There s exactly one outgong fake edge n each face, that s, from each fake vertex, and all orented fake edges are weakly decreasng. Hence an orented cycle of fake edges connects fake vertces wth equal labels. But such a cycle turns counterclockwse around a unque vertex v of q, whch must be v 0 snce all ts neghbors have larger labels. To conclude the proof of the lemma, observe that there can be only one face n φ(q, v 0 ) snce the fake edges connect all faces of q, and that any loop n ths face can be retracted along the tree lke structure of fake edges.. Well labelled polygons, chords dagrams, and the closure of a well labelled g-tree We now descrbe a mappng ψ whch we later clam to be the nverse of φ. The constructon of ψ(t) wll take place n the unque face of t, whch s homeomorphc to a dsk by defnton of maps: n partcular the actual genus of S g wll be somewhat rrelevant for ths reverse constructon, whch wll reveal to be a smple adaptaton of the constructon used n [Sch98; CS0; MM06] for the planar (g = 0) case. More precsely, gven a labelled g-tree t wth n edges, we decompose t nto a rooted g-tree t 0 (forgettng the labels) and a well labelled rooted n-gon p (descrbng the sequence of labels along the border of the unque face of t). We wll use the followng folklore combnatoral result: Lemma. Let p be a rooted labelled m-gon wth labels a,..., a m n clockwse order startng after the root edge, and assume that the labels satsfy the Lukasewcz condton a + a, and a > a m for all.

7 7 0 e T e + T Fg. 6. The dssecton of a polygon and the two types of faces of ψ(t) Let π : {,...,m } {,...,m} be the applcaton that maps to ts predecessor, that s the smallest j > such that a j = a. Then there exsts a unque way to draw all the edges (, π()) nsde p so that the resultng graph drawng s a planar map. In ths map, each nner face s ncdent exactly once to the polygon, along an edge (a, a + ), and the labels on the border of ths face are then, n clockwse drecton, (a, a +, a +, a +,...,a + δ) where δ = a + a + (n partcular δ 0 and the face ncdent to (a, a + ) has degree δ + ). Proof. See [Sta99], or the detaled dscusson of the appendx. The closure of a well labeled g-tree t wth n edges s the graph drawng ψ(t) constructed as follows: Let p be the labelled n-gon descrbng the face f of t, and let k be the number of vertces wth label n p: these vertces corresponds to corners wth label of f. Let t be the map obtaned by addng a vertex v 0 wth label 0 n f and k edges that jon ths vertex to each of the corners wth label of f: the map t has k faces and the border of each face s a polygon p wth mnmal label 0 (taken as root) and labels that satsfes the Lukasewcz condton (the varatons are even n {+, 0, }). In each face of the map t (on S g ), that s n each polygon p, the above lemma can thus be used to add all the edges between corners wth postve labels and ther predecessor, n the unque way that provdes a map t on S g. The closure ψ(t) of t s the graph drawng t t on S g obtaned by removng the edges of t from t. Lemma. The graph drawng ψ(t) s a quadrangulaton of genus g wth n edges. Proof. Accordng to Lemma each face of t s ncdent exactly once to an edge of t. Each edge e of t thus separates two dfferent faces, whch are otherwse ncdent only to edges of t t. Moreover snce the varaton of labels are opposte ±δ on the two sdes of e, the removal of e creates a smply connected face of degree δ + + ( δ + ) =, as llustrated by Fgure 6. The removal of the n edges of t thus creates n quadrangular faces.

8 8. The man theorem The man combnatoral result of ths paper s the followng theorem, that states that not only φ(q, v 0 ) s a well labelled map on S g but the mappng φ s more precsely a bjecton. Theorem. The openng φ s a bjecton between ponted bpartte quadrangulatons of genus g that have n faces, n edges, and n + g vertces ( of whch are at odd dstance of the basepont), and well labeled g-trees that have n edges, and n + g vertces ( of them havng odd labels), such that the labels of the g-tree assocated to a bpartte quadrangulaton q wth basepont v 0 gve the dstances of vertces of q to v 0. Proof. The fact that φ(ψ(t)) = t follows from the comparson of Fgure 6 and Fgure : for the two types of faces created n ψ(t), the edge e s ndeed recovered correctly by the openng rules. The fact that ψ(φ(q, v 0 )) = (q, v 0 ) follows from the fact that n q = q φ(q, v 0 ), each edge of q jons a corner of φ(q, v 0 ) to ts predecessor, and from the uncty n Lemma. An alternatve drect proof s proposed n the appendx. In the enumeratve context one usually prefers to deal wth rooted maps to avod the dscusson of symmetres. The openng s readly extended to rooted bpartte quadrangulatons: defne the mage of a rooted quadrangulaton (q, e) wth root vertex v 0, to be (φ(q, v 0 ), e ) where e s the edge created n the root face of (q, e), orented so that ts orgn s the endpont of e (observe that, accordng to the rules and the defnton of the root face, the endpont of e s ndeed ncdent to e ). Corollary. The openng φ extends to a bjecton between rooted bpartte quadrangulatons wth genus g that have n faces, and rooted well labeled g-trees that have n edges. Proof. By constructon the orgn of e has label so that (φ(q, v 0 ), e ) s ndeed a rooted well labeled tree. Conversely gven a rooted well labeled tree t = (t, e ) wth root vertex v, takng as root edge of ψ( t) the edge e of t wth orgn v 0 whch follows e n counterclockwse drecton around v mmedately yelds the unque possble premage of t. It turns out that for our purpose an even better varant conssts n takng a basepont and a root ndependently. Defne the mage of a rooted ponted bpartte quadrangulaton (q, e, v 0 ) to be (φ(q, v 0 ), e, s) where e s the new edge created n the root face of q, orented so that ts orgn s the extremty of e wth largest label, and where s {+, } s a sgn recordng the orentaton of e (say + f e s ncreasng wth respect to the labelng). Let moreover ν be the relabelng mappng that smultaneously translates all labels of an embedded map so that the root vertex label s. Then Corollary. Openng followed by relabellng s a bjecton ν φ between rooted ponted bpartte quadrangulatons wth genus g that have n faces, and

9 pars consstng of a rooted embedded g-tree that has n edges and a sgn ±. 9 Proof. In vew of Theorem, φ can be used to map bjectvely rooted ponted bpartte quadrangulatons (q, v 0, e) of genus g wth n faces onto almost well labelled rooted g-trees (φ(q, v 0 ), e) wth n edges (almost well labeled means the mnmum label s but the root vertex has not necessarly label ). Now ν s bjectve between almost well labelled g-trees wth n edges and embedded rooted g-trees wth n edges: ndeed gven a rooted embedded map (wth root vertex label by defnton), there s a unque way to translate ts labels so that the mnmum becomes. The pont of ths last corollary s that, as we shall see n Secton, embedded g-trees are much easer to count than well labeled g-trees.. THE ENUMERATION OF QUADRANGULATIONS VIA SCHEMES In vew of Theorem and Corollary, the enumeraton of maps of genus g accordng to the number of vertces, faces and edges can be reduced to the enumeraton of rooted well labeled or embedded g-trees. It turns out that rooted embedded g- trees are easer to deal wth, so that we shall rely on the followng transposton of Corollary n terms of generatng seres: Corollary. The generatng seres Q g (z) = q g,n zn, and T g (z) = a g,n z n n g n g of rooted ponted bpartte quadrangulatons of genus g (wth respect to the number of faces) and of rooted embedded g-trees (wth respect to the number of edges) are related by the followng equaton: Q g (z) = Tg (z). Snce a quadrangulaton wth genus g and n faces has n + g vertces, q g,n = (n + g) q g,n, and the prevous equaton can also be rewrten n terms of the generatng seres of rooted bpartte quadrangulatons of genus g as Q g (z) = n g q g,n z n = z g Qg (y)y g dy () wth the ntal condton Q g (z) = O(z g ).. Planar maps and embedded trees Let T T(z) = T 0 (z) be the generatng seres of rooted embedded trees wth respect to the number of edges. A rooted embedded tree t whch has at least edge can be decomposed nto two rooted trees t and t by deletng ts root edge e. The subtree t rooted at the orgn of e has root label, so that t s agan a rooted embedded tree. The subtree t rooted at the endpont of e has root label δ {+, 0, } but, up to a translaton of labels by δ, t s also a rooted embedded tree. Ths decomposton s a bjecton t (δ, t, t ) between non empty rooted embedded trees wth n edges and trples consstng of an edge varaton and

10 0 two rooted embedded trees wth a total of n edges. Hence the equaton T(z) = z t = + z + t + t = + zt(z). t ( t, t ) The unque formal power seres root of ths quadratc equaton T = + zt s T(z) = z. 6z In partcular a n = [z n ]T(z) = n n+( n n ) s the number of embedded trees wth n edges. For future reference, let us also observe the relatons z = T T, zt = T T zt, and + T T = T T. () The enumeraton of planar quadrangulatons then drectly follows from Corollary. Corollary. The generatng seres of planar rooted ponted quadrangulatons satsfes Q 0 (z) = T(z), and the number of planar rooted quadrangulatons wth n faces s q 0,n = q 0,n n + = n + n ( ) n. n + n. Reduced g-trees and tree graftng We say that a g-tree s reduced f t has no vertces of degree one. Upon deletng vertces of degree teratvely, a reduced g-tree can be extracted from any g-tree. Lemma 5. There s a bjecton between rooted embedded g-trees wth n edges and pars consstng of a rooted embedded reduced g-tree r wth k edges and a forest ( t,..., t k ), where, t,..., t k are rooted embedded planar trees. t s ether a rooted or a doubly rooted embedded planar tree, and the total number of edges n ( r; t,..., t k ) s n. Proof. Gven a g-tree t, a unque reduced g-tree r s obtaned by teratvely deletng n t the vertces of degree untl none s left. At the end of ths process, the deleted edges form a forest of rooted embedded planar trees: one (possbly trval) rooted tree s attached to each corner of r (see Fgure 7). The root e of t, then provdes a root for r: f e was not deleted t becomes the root of r, otherwse e belongs to one of the deleted trees t and the root of r s taken to be the arc of r on the rght hand sde of whch t s attached. Once r s rooted, ts corners are canoncally ordered startng wth the corner on the rght hand sde of the root, and the deleted trees can be arranged nto an ordered lst: the g-tree t can then be recovered from r and the ordered lst ( t,..., t k ) of trees. Fnally, when the root of t s not an edge of r t must be recorded as a secondary root of t.

11 Fg. 7. A -tree and ts decomposton nto a reduced -tree and a collecton of rooted planar trees attached on ts corners (only planar trees whch are not reduced to a sngle vertex are represented). Lemma 5 mmedately yelds the followng corollary. Corollary 5. The generatng seres of rooted embedded g-trees T g and of rooted embedded reduced g-trees R g are related by: T g (z) = R g (zt(z) ) ( + zt (z)) = Rg (zt T ) T(z) T. In terms of the prmtve R g (t), satsfyng t R t g (t) = R g (t), the prevous formula reads: T g (z) = z ( Rg (zt )). z Proof. The decomposton of a rooted g-tree t n a par ( r; t,..., t k ) where k s the number of edges of k s a combnatoral composton operaton that results n the composton of generatng seres: z t = z r + t + t t k T g (z) = t = r z r t r; t, t..., t k k= r ( + t )z t t z t r = R g (zt(z) ) ( + zt T ), where the notaton t stresses the fact that the frst tree can be doubly rooted: gven a tree t there are t ways to ntroduce a double root and one way not to. The multplcatve factor + zt (z)/t(z) can also be understood drectly, sayng that the frst rooted tree (wth generatng seres T(z)) can be replaced by a doubly rooted tree (wth generatng seres zt (z)). The second expresson can be checked by a drect comparson wth the frst formula: z ( Rg (zt )) = z(t + ztt ) z R g (zt )

12 = (zt ) R g (zt )( + zt /T) = R g (zt ) ( + zt ). T By defnton the seres R g s a generatng seres of rooted maps n whch rooted maps wth e edges are counted wth a weght /e: t s temptng to thnk about t as a generatng seres of unrooted maps, but then each unrooted map s counted wth a weght proportonal to the nverse of the sze of ts automorphsm group (because maps wth non trval automorphsms have less than e dstnct rootngs). In these terms the second expresson of Corollary 5 could be understood drectly as follows: rooted g-trees are frst constructed as unrooted by graftng trees n an unrooted reduced g-tree, and then rooted. However a rgourous proof along these lnes requres a careful dscusson of symmetres, whch s crcumvented by workng drectly wth rooted objects.. The standard scheme of a reduced g-tree A labeled scheme s a rooted g-tree wthout vertces of degree and that has nteger labels on vertces. A scheme s standard f ts labels form an nteger nterval wth mnmum 0. Observe that the labels of a scheme are not requred to vary at most by one along edges, and that n a standard scheme all the ntegers of the nterval must appear as labels. Let r be a rooted reduced g-tree. By defnton the map r has no vertces of degree. Its vertces of degree are organzed nto maxmal paths, connected together at vertces of degree at least. Let s 0 and s be the maps obtaned from r as follows: To get s 0 from r, replace each maxmal path made of vertces of degree by an edge, the path contanng the root of r provdng a rooted edge for s 0. To get s from s 0, standardze the labels of the vertces, so that they form an nteger nterval wth mnmum label 0: f the labels appearng on vertces of degree at least n r are l 0 < l <... < l p then the correspondng labels n s are 0,,...,p (a gven label can appear on several vertces of s 0, so that p may be smaller than the number of vertces of s.). The maps s 0 and s are labeled schemes, and s s standard: t s called the standard scheme of r. By extenson, s s called the standard scheme of q f r was tself extracted from the g-tree t assocated to a quadrangulaton q. Fnally, gven a rooted standard scheme s wth labels {0,..., p} and p postve ntegers l <... < l p let s(l,..., l p ) be the rooted labeled scheme obtaned by replacng labels by l n s. Observe that on every maxmal degree path of r, the labels perform a sequence of small varatons taken from {+, 0, }. A Motzkn walk w of length l s defned as a fnte sequence w... w l wth w {+, 0, }. The quantty l =0 w s called the ncrement of w. A Motzkn walk of ncrement 0 s called a Motzkn brdge. In these terms, on every maxmal path of r, the sequence of varatons of labels forms a Motzkn walk: hence, f the standard scheme s of r has k edges, a k-uple of Motzkn walks (m,..., m k ) can be extracted from r, wth m the Motzkn walk read along the path of r correspondng to th edge of s n the canoncal order. A k-uple of Motzkn walks s sad to be compatble wth a rooted standard scheme wth k edges f there exsts an embedded rooted reduced g-tree from whch they

13 t s 0 s Fg. 8. A reduced -tree and ts rooted scheme. can be both extracted. Observe that the g-tree s unque up to translaton of all labels, snce t s recovered by replacng the th edge of the scheme by a chan of vertces wth varatons gven by the th Motzkn walk. Lemma 6. There s a bjecton between embedded rooted reduced g-trees wth n edges such that the root vertex has degree at least, and pars formed of a rooted standard scheme of genus g wth k edges, and a compatble k-uple of non empty walks wth a total of n steps. Proof. In vew of the defnton of compatble k-uples of walks, t suffces to show that f the par ( s; (m,..., m k )) s extracted from embedded rooted reduced g-tree t then t can be recovered from the par: ths s mmedate upon replacng the th edge of s by a path wth labels gven by m, and choosng the root to be the frst edge of the frst path. In partcular, gven a rooted standard scheme s and a compatble k-uple of Motzkn walks (m,...,m k ) let r( s; m,..., m k ) be the unque correspondng rooted reduced g-tree, and s 0 ( s; m,...,m k ) be the rooted labeled scheme extracted from r( s; m,...,m k ) before standardzaton. Lemma 7. Let s be a rooted standard scheme wth k edges and labels {0,,..., p}, and let l <... < l p be postve ntegers. Then the set of compatble k-uples such that s 0 ( s; m,..., m k ) = s(l,...,l k ) s exactly the set of k-uples (m,..., m k ) such that, for all, m has ncrement l e + l e e of s., where e and e + are the labels of the orgn and endpont of the th edge Proof. If a k-uple s compatble wth s and nduces l 0...l p then the labels of the correspondng reduced g-tree satsfy the condtons of the lemma. Conversely, gven l 0,...,l p, a correspondng embedded reduced g-tree s obtaned by replacng, for =,...,k, the th edge e of s by a labelled path constructed as follows: f m = w... w l and e s the label of the orgn of e then the nserted path has length l and ts jth vertex has label l e + jm= w m, for j = 0,...,l. The condton on ncrements ensures that each vertces of s get the same label from all ts ncdent edges. A root can be chosen arbtrarly on the frst path and labels smultaneously translated to obtan an embedded rooted reduced g-tree. Let s be a rooted standard scheme wth v vertces, k edges and labels {0,...,p}.

14 We defne the weght of s as the followng power seres: W s (t) = k k 0<l <...<l p = M le + l e (t), where e and e + denote the label of the extremtes of the th edge e of s, and, for all j 0, M j (t) s the generatng seres of non-empty Motzkn walks of ncrement j wth respect to the length: M j (t) = m t m, where the sum s over all Motzkn walks wth ncrement j and length at least. Lemma 8. The prmtve R g (t) of the generatng seres of embedded rooted reduced g-trees satsfes R g (t) = s W s (t) where the sum s taken over all rooted standard schemes of genus g. Proof. Let us group together n a seres R g,k (t) the contrbutons to the generatng seres R g (t) of the embedded reduced g-trees whose standard scheme has k edges, so that R g (t) = k R g,k(t). Then kr g,k (t) s the generatng seres of rooted embedded reduced g-trees whose standard scheme has k edges and carres a secondary root-edge leavng a vertex of degree at least : ndeed, each maxmal path of a gven reduced g-tree provdes choces of such a secondary root. Now, these rooted embedded reduced g-trees havng a secondary root can also be obtaned by consderng frst a rooted reduced g-tree wth a root vertex of degree at least (and whose standard scheme has k edges), and then choosng a root edge. Hence we have: kr g,k (t) = td dt s =k R s (t) (5) where the sum s taken over rooted standard schemes of genus g wth k edges, and where R s (t) s the generatng seres of embedded reduced g-trees of scheme s wth a root vertex of degree at least (the dervatve accounts for the choce of the root edge, and the factor for the choce of ts orentaton). Now, n vew of Lemmas 6 7, for each scheme s wth k edges, the generatng seres R s (t) s obtaned by summng over all relabellngs and compatble k-uples of Motzkn paths. Therefore: R s (t) = k 0<l <...<l p = M le + l e (t). (6) Puttng Equatons 5 and 6 together and usng the defnton of W s gves: R g,k (t) = td dt W s (t). s =k Summng on k and comparng wth the defnton of R g (t) yelds the result.

15 . The algebra of Motzkn walks 5 A Motzkn walk s prmtve f t has ncrement but none of ts prefx has ncrement. In other terms a Motzkn walk w = w... w l s prmtve f t satsfes the Lukasewcz property: l = w = but for all j < l, l = w 0. Let U U(t) = w t w be the generatng seres of prmtve Moztkn walks accordng to the length, and B B(t) = M 0 (t) be the generatng seres of nonempty brdges. Usng a decomposton at the frst step for U, and at the frst return to the x-axs for B, one gets: U = t( + U + U ) B = t( + U)( + B) = Then the explct value of U and B are t( + U) t( + U). U = t ( t (( t t ) / ), and + B = In terms of U, the seres B satsfes B = U( + U) U, and + B = + U + U U. ( t t ) /. Decomposng walks at ther last passage tme at each postve nteger, one obtans the generatng functon of Motzkn walks of ncrement > 0: M (t) = ( + B)U The algebra of Laurent power seres generated by the seres U contans t snce t = U + U + U = U + + U. More generally we would lke to characterze ratonal expressons n U that are n fact ratonal expressons n t. Obvously these expressons are symmetrc n the exchange U U. Ths s also a suffcent condton snce the polynomals (U ++U ) k form a base of the set of polynomals n {U, U } that are symmetrc n these two ndetermnates. Lemma 9. A ratonal seres n U s a ratonal seres n t f and only f t s symmetrc n the exchange U U..5 The torus Let r be a reduced -tree wth k edges, and let d be the number of vertces of degree n r. Then the vertex-edge ncdence relaton and Euler s formula gve the followng relatons: { k = d, k = + d. Elmnatng k and recordng that d = 0 snce r s reduced, ths yelds ( )d =.

16 6 Hence, apart from vertces of degree, there can be only one vertex of degree (d = 0, d = ) or two vertces of degree (d =, d = 0). Let us compute the standard schemes and weghts assocated to these two types of reduced -trees: vertex of degree. If the -tree conssts of vertex of degree and vertces of degree, ts standard scheme has just vertex of degree and edges that are loops. There s a unque rooted -tree t wth one vertex of degree four, and gvng label 0 to ts unque vertex we obtan the unque rooted standard scheme s wth vertex. The assocated weght s therefore W s = M 0 = B = ( + U) U ( U) ( + U). vertces of degree. If nstead the -tree conssts of two vertces of degree and vertces of degree, ts standard scheme has two vertces of degree and edges connectng them. There s agan a unque rooted -tree wth vertces of degree but the choce of a label a for the root vertex and b for the second vertex yelds three dfferent rooted standard schemes s, s, s : a = b = 0: n ths case the endponts of all three edges have label 0, so that the assocated weght s W s = B = ( + U) U ( U) ( + U). a = 0, b = : n ths case the assocated weght s W s = l >0 ( ( + B)U l ) = ( + U B) U = ( + U + U ) U ( U) ( + U) a =, b = 0: ths case yelds the same weght as the prevous one, W s = W s. Summng over the dfferent cases, we get R = W s + W s + W s + W s U + + U = (( U)( U )) ( + U)( + U ). We thus obtaned R as a ratonal functon of U. Its symmetry w.r.t. the exchange U U shows that t s n fact a ratonal functon of t: ndeed one easly checks that R = t ( + t) ( t) ( + t). In vew of Corollary 5 we obtan the generatng functon of rooted -trees as T (z) = z z R (zt(z) ) and deduce from Corollary an expresson for the generatng seres of ponted rooted bpartte quadrangulaton on the torus as Q g (z) = T (z). However, n vew of Formula, one can derve drectly the generatng seres of rooted bpartte

17 7 quadrangulatons on the torus from R : dy dy yd Q (z) = Q (y) = y y dy R (yt(y) ) = R (zt(z) ) = R ( T(z) ) = n agreement wth the result of [BC9]..6 General surfaces (T ) T ( T) ( + T), In general the ncdence and Euler relatons for reduced g-trees wth k edges and d vertces of degree are { k = d, k = g + d. Elmnatng k and usng d = 0, ths yelds ( )d = g. There s thus agan a fnte number of possble combnatons for the d wth : n partcular the two extremal possbltes n terms of number of edges are: d g =, and d = 0 otherwse, whch leads to schemes wth vertex of degree g and g edges, the mnmal number of edges for a scheme of genus g. d = g, and d = 0 otherwse, whch leads to schemes wth g vertces of degree and 6g edges, the maxmal number of edges for a scheme of genus g. Let s be a rooted standard scheme wth q vertces and k edges (k = g + q), Let us call p the number of dstnct nonzero labels n s (n partcular 0 p q), e the set of edges wth equal extremtes, and e ts complement. Then we have by defnton: W s = k B e M le l e+, e e 0<l <...<l p where e and e + denote the vertex labels of the extremtes of the edge e of e. Observe that for 0 < v, we have l < l and so that M l l = ( + B)U l l = ( + B) W s = k B e ( + B) e j=+ e + 0<l <...<l p e e j=e + U lj lj, U lj lj. Snce the expresson summand only nvolves the dfferences δ j = l j l j, the sum can be rewrtten n terms of these p new varables: W s = k B e ( + B) e e + δ,...,δ p e e j=e + U δj,

18 8 where the δ j are ndependant summaton ndces over postve ntegers. Now for each couple (j, e) such that e < j e + a contrbuton U δj s obtaned. Let d(j) denote the number of edges e such that the couple (j, e) satsfes the prevous condton. Observe that the d(j) only depend on s, not on the δ j. Then W s = k B e ( + B) e = k B e ( + B) e p δ,...,δ vp j= p j= U d(j) U d(j). U d(j)δj Settng e = = e and e = e, and expressng B n terms of U we obtan W s = U e= ( + U) e= ( + U + U ) e k ( U ) k p j= U d(j) U d(j). In vew of Lemma 8, the generatng seres of reduced labeled g-trees s obtaned upon summng these ndvdual contrbutons for all rooted standard schemes of genus g. Theorem. Let W g denote the (fnte) set of rooted standard schemes of genus g. Gven such a standard scheme s wth k edges and labels {0,,..., p}, let e = denote the number of edges wth equal labels at both ends, and e = k e =. For j =,...,p, denote moreover by d(j) the number of edges e wth endpont labels satsfyng e < j e +, and d = p j= d(j). Then R g (t) = U d+e= ( + U) e= ( + U + U ) e k ( U) k+p ( + U) k s W g p j= (7) + U Ud(j) where U s the formal power seres n t satsfyng U = t( + U + U ). Moreover T g (z) = z z R g (zt ), Q g (z) = Tg (z) where T s the formal power seres n z satsfyng T = + zt. In partcular we expressed Q g (z) as a ratonal functon of U(zT ), whch s an algebrac functon of degree. It s proved however n [BC9] that Q g (z) s n fact a ratonal functon n z and z. One can verfy that ths result mples that our seres R g (t) s n fact a ratonal functon n t, or n other terms that the expresson of R g (t) n terms of U s n fact symmetrc n the exchange U U. We are currently unable to gve a combnatoral proof of ths fact..7 Asymptotcs In Equaton (7), there are a fnte number of crtcal values of U, all beng roots of unty, and U = s one of them. As a fucton of t, U reaches the value U = at ts sngularty t = /. Moreover, U beng a power seres n t wth postve coeffcents, one has U(t) for every complex number t wth t /, wth equalty only at t = /. Ths mples that t = / s the only domnant sngularty

19 9 of R g (t). Fnally, U(t) s an algebrac functon, whch admts a Puseux expanson at ts sngularty: Ths mples the followng corollary: U = t + O( t). Corollary 6. The domnant sngularty of the algebrac functon R g (t) s at t = /, around whch the followng Puseux expanson holds: R g (t) = ( ) k ( ) k+p p k s W t d(j) ( + O( t)), g j= where for each s n the summaton, k s the number of edges and {0,,..., p} the set of dstnct labels. The domnant terms n ths sum are gven by the standard schemes s wth k + p maxmal: p s at most q f s has q vertces and all labels are dstnct. Then k + q = q + g, whch s maxmal for q = d = g, resultng n k + q = 0g 6. Corollary 7. Let Wg m denote the set of rooted standard schemes of genus g wth g vertces of degree that are labelled by dstnct ntegers. Then R g (t) = g g ( ) 5g 6g 6g ( + O( t)). d() t s W m g = In order to obtan the asymptotc behavor of Q g (z), we need to consder the behavor of T: ths algebrac seres has a unque domnant sngularty at z = / and so that T = z + O( z), zt = T = z + O( z). Snce T s a power seres n z wth postve coeffcents, one has zt < / for every z / such that z /, so that we can compose the sngular expansons of T and R g n the expresson Q g (z) = zd dz R g (zt ) of Corollary to obtan: Corollary 8. The algebrac seres Q g (z) has a unque domnant sngularty at z = /, around whch the followng Puseux expanson holds: 5g g Q g (z) = g ( ) 5g 6g g 6 ( + O(( z) / ) d() z s W m g = It s a well known fact that algebrac functons are amenable to sngularty analyss (see [FO90; FS08]). In other words, classcal transfer theorems apply to the prevous expanson, leadng to:

20 0 Corollary 9. The number q g,n of rooted ponted bpartte quadrangulatons of genus g wth n faces satsfes: q g,n Γ ( ) 5g g g 5g 6g g 6 n 5g n. d() s W m g Recallng that q g,n = (n + g) q g,n and usng the product relaton Γ( ) 5g = 5g Γ ( ) 5g, we fnally have: Corollary 0. The number of rooted bpartte quadrangulatons of genus g wth n faces satsfes g q g,n (6g ) g 7 Γ ( ) g 5g n 5 (g ) n. d() s W m g Observe that the maps n Wg m are vertex labeled rooted maps wth g vertces of degree, one face and degree g. Ther number s (g )!ε g where ε g s the number of cubc maps of genus g wth one face (or dually trangulatons wth one vertex), known to be [WL7]: = = ε g = g (6g )! g!(g )!. In partcular ths allows to gve bounds on the constant s W g m d(). For fxed g, ths constant s n prncple a computable fnte sum. However, n practce, snce the number of maps n Wg m grows superexponentally n g, the computaton s dffcult to perform n a reasonable tme. In partcular we were able to obtan n ths way the explct value of the constants only for g =,, leadng to the followng asymptotcs, n agreement wth [BC9]: q,n n and q,n 7 0 π n5/ n. Several dfferent explct non lnear recursons are known for these constants (see [BC9; DGZJ95; Wt9]), but we were unable to derve them from our expressons. 5. CONCLUSION As n the planar case, our man bjecton maps the dstances to the basepont of a quadrangulaton onto the labels of vertces of the assocated g-tree. In partcular t allows to prove that the dstances of a random vertex to the basepont n a unform random quadrangulaton wth n faces s agan of order n / : a detaled analyss n ths drecton was recently done n [Me07] for the Bolzmann dstrbuton on quadrangulatons of genus g. A natural problem, partally consdered there, s more generally to construct a contnuum lmt of large quadrangulatons n ths n / scalng: n vew of the results of [LG07; LGP07] n the planar case, a contnuum lmt of quadrangulatons of genus g s expected to have the topology of S g. We conjecture that the resultng contnuum random quadrangulaton of genus g would be unversal enough to descrbe the contnuum lmt of all models of unform

21 random maps wth smple face degree or connectvty constrants, but also the contnuum lmt of unform random graphs wth n vertces and mnmum genus g. As we have seen the domnant terms n the asymptotc of the number of maps on a surface of genus g arses from maps wth schemes that have the maxmum number of vertces and edges. More precsely wth probablty gong to as n goes to nfnty, a random map of genus g has a scheme wth g vertces of degree. The asymptotc behavor appears to have an nterestng structure. As shown n [Cha] the more general constructon of Boutter et al [BDFG0] n terms of labeled mobles extends to hgher genus n a smlar way as our orgnal quadrangular constructon. As a result one obtans a more general class of labeled g-trees, say g-mobles. The decomposton of [Cha] s more nvolved but leads to the same domnant standard schemes, wth weghts nvolvng, nstead of U and T, a fnte number of algebrac seres dependng on the set of allowed degrees. In partcular the same constant τ g = s W m g g = d() drves the multplcatve constant n the asymptotc behavor, n agreement wth the pattern that was observed by [Gao9], and wth the unversalty descrbed n the physcs lterature [DGZJ95]. ACKNOWLEDGMENTS Ths paper s based n part on early unpublshed works of the last two authors [Mar97; Sch98] n ther PhD theses under the drecton of Robert Cor. We wsh here to express our warm thanks to Robert Cor for hs nterest and support for ths project. We also thank Gregory Mermont for communcatng us [Me07] and for nterestng dscussons. REFERENCES Jan Ambjø rn, Bergfnnur Durhuus, and Thordur Jónsson. Quantum gravty, a statstcal feld theory approach. Cambrdge Monographs on Mathematcal Physcs, 997. Edward A. Bender and E. Rodney Canfeld. The number of rooted maps on an orentable surface. J. Combn. Theory Ser. B, 5():9 99, 99. Jéréme. Boutter, Phlppe D Francesco, and Emmanuel Gutter. Planar maps as labeled mobles. Electron. J. Combn., ():Research Paper 69, 7 pp. (electronc), 00. Edward Bender. Some unsolved problems n map enumeraton. Bull. Inst. Combn. Appl., :5 56, 99. Edouard Brézn, Claude Itzykson, Gorgo Pars, and Jean-Bernard Zuber. Planar dagrams. Comm. Math. Phys., 59():5 5, 978. Gullaume Chapuy. On the asymptotc number of constellatons on orentable surfaces. manuscrpt, n preparaton. Phlppe Chassang and Glles Schaeffer. Random planar lattces and ntegrated superbrownan excurson. Probab. Theory Related Felds, 8():6, 00. Robert Cor and Bernard Vauqueln. Planar maps are well labeled trees. Canad. J. Math., (5):0 0, 98. Phlppe D Francesco, Paul Gnsparg, and Jean Znn-Justn. d gravty and random matrces. Physcs Reports, 5:, 995.

22 Phlppe Flajolet and Andrew Odlyzko. Sngularty analyss of generatng functons. SIAM J. Dscrete Math., ():6 0, 990. Phlppe Flajolet and Robert Sedgewck. Analytc Combnatorcs. prelmnary verson avalable on the web : Zhcheng Gao. The number of degree restrcted maps on general surfaces. Dscrete Math., (- ):7 6, 99. Jean-Franços Le Gall. The topologcal structure of scalng lmts of large planar maps. Inventones Mathematca, 69:6 670, 007. Jean-Franços Le Gall and Frédérc Pauln. Scalng lmts of bpartte planar maps are homeomorphc to the -sphere. preprnt (see legall/), 007. Mchel Marcus. Cartes, hypercartes, et dagrammes de cordes. PhD thess, Unversté Bordeaux, 997. Grégory Mermont. Tessellatons of random maps of arbtrary genus. manuscrpt, 60pp, december, 007. Jean-Franços Marckert and Abdelkader Mokkadem. Lmt of normalzed quadrangulatons: the Brownan map. Ann. Probab., (6): 0, 006. Bojan Mohar and Carsten Thomassen. Graphs on surfaces. The Johns Hopkns Unversty Press, Baltmore and London, 00. Glles Schaeffer. Conjugason d arbres et cartes combnatores aléatores. PhD thess, Unversté Bordeaux, 998. Rchard Stanley. Enumeratve Combnatorcs, volume II. Cambdrdge Seres n Advanced Mathematcs, 999. Wllam T. Tutte. A census of planar maps. Canad. J. Math., 5:9 7, 96. Edward Wtten. Two-dmensonal gravty and ntersecton theory on modul space. Surveys Dff. Geom., : 0, 99. Tmothy R. S. Walsh and Alfred B. Lehman. Countng rooted maps by genus. I. J. Combnatoral Theory Ser. B, :9 8, 97. Edward M. Wrght. The number of connected sparsely edged graph. J. Graph Theory, (7 0), 977. Edward M. Wrght. The number of connected sparsely edged graph.. smooth graphs and blocks. J. Graph Theory, (99 05), 978. A. ELEMENTARY MAP SURGERY A. Corners, edge addton and deleton Let v be a vertex of degree k of a map m. The k arcs wth orgn v n m form a cycle around v and the corner c aa between two successve arcs a and a n counterclockwse order around v s the sector of a small neghborhood of v between these arcs. The corner c aa s sad to be ncdent to v and to the face whch s on the left hand sde of a (and on the rght hand sde of a ). A corner c s ncdent to a unque vertex v and a unque face f, so we sometme smply say that c s a corner of v or a corner of f. Gven a map m and two (possbly dentcal) corners c and c ncdent to a same face f, there s a unque way to create a map m by addng nsde f an edge e that connects the vertces ncdent to c and c at these corners: by ths operaton the face f of m s naturally dvded n m nto two faces f and f separated by the edge e, and the corners c and c are respectvely dvded nto c and c and c and c accordngly. Observe that f m s a map of genus g wth n edges, v vertces and f faces, then m s a map of genus g wth n + edges, v vertces and f + faces, n accordance wth Euler s formula.

23 Gven a map m and a subset e of ts edge set, we now consder the problem of deletng e from m. Let us denote by m e the graph drawng obtaned by gnorng the edges of e n the map m. A pror, m e can only be consdered as a graph drawng because the removal of some edges from m can dsconnect the underlyng graph or more generally t can create non smply connected faces. The followng lemma gves suffcent condtons on e that garanty that m e s a map. From a topologcal pont of vew, t s an elementary applcaton of Van Kampen theorem. Lemma 0. Let f and f be adjacent faces of a map m on S g, and e an edge separatng f and f. Then m {e} s a map on S g. Let v 0 be a vertex of degree d of a map m on S g such that v 0 s ncdent to d dfferent faces, and let e,...,e d be the edges ncdent to v 0. Then m {v 0, e,..., e d } s a map on S g. Proof. For the frst alnea, Van Kampen theorem can be appled drectly: the unon of two smply connected regons wth a smply connected ntersecton s smply connected. The second alnea follows by teraton. Implctely n the prevous dscusson and n the rest of the text we use the fact that the deleton or adjuncton of edges and vertces to a graph drawng that preserve the surface and the map structure commute to the homeomorphsms of the surface, so that these operatons make sense up to homeomorphsms. As already sad, the nterested reader can refer to [MT0] for a purely combnatoral treatment of these questons. A. Dualty and spannng trees Gven a map m, the dual map s obtaned by exchangng the role of vertces and faces and keepng ncdence relatons: more precsely to construct the dual map m of m, put a vertex n each face of m and connect these vertces by a dual edge e across each edge of m. Gven a map m and a set of edges e of m, let e denote the subset {e e e} of the set of edges of the dual map m. In terms of dual edges, the frst alnea of Lemma 0 admts an mmedate extenson: Lemma. Let e be a set of edges of a map m such that e s a forest (that s, the edges of e do not form any cycle n m ). Then m e s a map on S g. Proof. Let e e. We wsh to apply Lemma 0 to show that m {e} s a map and conclude by nducton snce (e \ {e}) s a forest wth less edges. The only problem could be that e s ncdent twce to the same face f: but ths would mean, n dual terms, that e s ncdent twce to the same vertex, a contradcton wth the assumpton that the edges of e form no cycle. We shall use the followng mmedate corollary of the prevous lemma. Corollary. If e s a spannng tree of m (that s, the edges of e do not form any cycle, and any two vertces of m can be joned by a path made of edges of e ), then m e s a g-tree. Proof. By Lemma, m e s a map on S g. Let f and f be two faces of m e. Each of them contans at least one vertex of m, and snce e s a spannng tree these two vertces are connected by a path made of edges of e. By defnton of