[论文解读] Face distributions of embeddings of complete graphs

Timothy Sun|arXiv (Cornell University)|Aug 7, 2017

Advanced Graph Theory Research参考文献 20被引用 7

一句话总结

该论文通过证明每个完全图 $K_n$ 均存在一个最小亏格嵌入，且该嵌入中至多有一个非三角形面——除了 $K_8$ 之外，无法实现此类嵌入——从而解决了长期悬而未决的开放问题。通过使用索引为3的电流图以及一种改进的附加邻接技术，作者全面刻画了完全图最小亏格嵌入可实现的所有面分布，提供了其嵌入多项式中非零系数的完整分类。

ABSTRACT

A longstanding open question of Archdeacon and Craft asks whether every complete graph has a minimum genus embedding with at most one nontriangular face. We exhibit such an embedding for each complete graph except $K_8$, the complete graph on 8 vertices, and we go on to prove that no such embedding can exist for this graph. Our approach also solves a more general problem, giving a complete characterization of the possible face distributions (i.e. the numbers of faces of each length) realizable by minimum genus embeddings of each complete graph. We also tackle analogous questions for nonorientable and maximum genus embeddings.

研究动机与目标

• 解决一个长期开放的问题：是否每个完全图都存在一个最小亏格嵌入，且其中至多有一个非三角形面。
• 刻画完全图的最小亏格嵌入可实现的所有可能的面分布（即每种长度的面的数量）。
• 将分析扩展至非可定向和最大亏格嵌入，确定各种面分布的可实现性。
• 提供Gross和Furst所定义的完全图嵌入多项式中所有非零系数的完整分类。

提出的方法

• 使用索引为3的电流图来构建近乎完全图的对称且高度结构化的嵌入。
• 应用改进的“附加邻接”步骤，通过柄或交叉帽操作将缺失的边添加到近乎完全图中，从而完成 $K_n$ 的嵌入。
• 使用旋转系统和循环边序来编码在可定向与非可定向曲面上的嵌入。
• 利用欧拉多面体方程来约束可行的面分布并验证其可实现性。
• 利用Gross（1975）关于近乎完全图的三角形嵌入结果，解决如 $K_{20}$ 和 $K_{12s+9}-K_3$ 等复杂情形。
• 对非可定向曲面应用亏格插值论证，表明任何近乎三角形的最小亏格嵌入均可通过连续添加交叉帽操作转化为单一面嵌入。

实验结果

研究问题

• RQ1 每个完全图 $K_n$ 是否都存在一个最小亏格嵌入，且其中至多有一个非三角形面？
• RQ2 哪些可能的面分布（以面长度计）可由 $K_n$ 的最小亏格嵌入实现？
• RQ3 哪些完全图无法实现由欧拉多面体方程所预测的所有面分布？
• RQ4 能否为所有面分布（而不仅近乎三角形的情况）构造出指数级的非同构最小亏格嵌入族？
• RQ5 这些结果如何推广到完全图的非可定向和最大亏格嵌入？

主要发现

• 唯一无法实现至多一个非三角形面的最小亏格嵌入的完全图是 $K_8$，该文已证明其不存在此类嵌入。
• 对于除 $K_8$ 外的所有 $K_n$，均存在一个至多一个非三角形面的最小亏格嵌入，且此类嵌入通过索引为3的电流图被显式构造出来。
• 完全图 $K_n$ 的最小亏格嵌入的面分布已被完全刻画：所有由欧拉多面体方程允许的分布均可实现，但 $K_5$ 和 $K_8$ 的实现受到限制。
• 该构造方法成功扩展了经典的Ringel-Youngs方法，通过系统性地引入附加邻接步骤，使得此前难以处理的情形（如 $K_{20}$）得以解决。
• 对于非可定向曲面，$K_n$ 的最小亏格与最大亏格之间的任意亏格均存在近乎三角形的嵌入，该结论通过使用交叉帽添加的亏格插值论证得以证明。
• 研究结果完全确定了Gross和Furst所定义的完全图嵌入多项式中哪些系数为非零，从而提供了完整的组合分类。