论曲面上给定基础图地图.pdf

中文摘要 地图源于曲面分解的研究．拓扑学中有一个十分著名的定理：任意 得任意一个曲面均可以分解成一组不相交的2维胞腔的并，同时奠定 了采用组合方法研究地图的理论，这就是拓扑图论，包括图的曲面嵌 入和曲面上地图计数两大分支． 学者相继完成了一大批地图计数，特别是平面地图计数的研究工侮 目前已经形成了一套计数理论．该理论中的计数方法主要有三种：f分 ‘ 别介绍如下．厂y 双射方法f 证明了节点数v、边数s且次为2i的非根节点数为qi，根次为2m的 平面标根Euler地图数为， 7’ 11 (￡一∥+2)!m!(m一)!。‘怂c黜1户．、i!(i一)1 qi 告蒜×蒜‰×曩上qi 实际上，这种方法本身就是组合计数的基础，同时它还广泛地应用 于后面介绍的解析方法和代数方法中．给定一个3一连通图，通过建立 射影平面地图的平面双覆盖与3．连通平面地图的l一1对应，Negami 得到了其在射影平面上的不等价嵌入的计数结果【60】．在【37]中，Jin Ho Kwak和JaeunLee得到了图的不同余嵌入计数结果．-严格讲，文献 【37】和f60】中讨论的计数并不等价于不标根地图的计数．力呵一 解析方法f这种方法，目前是地图计数，特别是标根地图计数的核 等，曾先后在这一领域作出过贡献．如今，它已经发展成为一种计数 标根地图的系统方法，分解为以下四步， 第一步，对地图集合进行适当分解； 第二步：建立函数方程； 第三步：寻找参数变换； 第四步：利用Lagrange反演求解计数函数． 中文摘要 们证明了计数函数R(叫=姜Fn∥4，这里R，；表示节点数为i+1，边 数为n+i的标根地图数，满足以下方程【80】一【s。】： n R(z)=z∑以(。)R～k(。)+(2n k=0 里m(s，，j表示可定向曲面上节点数为s，边数为，的标根地图数，满足 Riccati方程【2】l 舟 222豪f^，(∥，。)]=-y+(1一z)M(y，。)一zM(y．。)2． 事实上，刘[44J在此之前就已经给出了这个方程在Y=l的情形，其分 解理论是相同的． 的计数函数f(z，g)有下面形式纠， ．， 、 2幻只fp) 八枷卜灭再研石蒋而而’ 这里，P=饥—丁西，n，b，e为正整数，B(p)为P的多项式． 法进行地图计数的成功范例．小／7一。 代数方法f采用代数方法计数地图，主要包括对称群的群代数和Burn— Visentln开创了群代数理论用于地图计数的方法．他们得到了以节点 数、边数和面数为参数的计数函数朋(孔，z，Y，。)， —^，f(u。，o，y，Z)=《julogR(x，y{z)， 这里 n。f(x,y,z)=2u2毫zf(XU-I，yu-1,扣 和 R(训蜘萎莉磊，。x＆n】He(0n’～、…，‘2n 。)胁(y) 中文摘要 这里，，8表示口的阶，He(z)= 兀(3一i+1)(日“，且口：(口。．口2．…．‰1) 为整数2n的划分，巩≠o，。(”j=z(x+1)…(。+n一1) 作为一个特例，他们得到了[33】： M(y．：)=2z豪log∑石衰了Ⅳ(g+1)···(Ⅳ+2n一1)：“ 与标根地图计数相比，不标根地图的计数结果从数量上则相形见 得到了关于一般平面地图、正则平面地图、Euler平面地图、平面自对 偶地图和2一连通平面地图等的许