[論文レビュー] Face distributions of embeddings of complete graphs

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

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

ひとこと要約

本論文は、索引3の電流グラフと洗練された追加隣接技術を用いて、すべての完全グラフ $K_n$ が最大で1つの非三角形面をもつ最小 genus 埋め込みをもつことを証明することで、長年の未解決問題を解決した。唯一 $K_8$ のみがこのような埋め込みを持たない。著者らは、完全グラフの最小 genus 埋め込みによって実現可能なすべての面分布を完全に同定し、Gross と Furst が定義する埋め込み多項式における非ゼロ係数の完全分類を提供した。

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.

研究の動機と目的

• すべての完全グラフが最大で1つの非三角形面をもつ最小 genus 埋め込みをもつかどうかという未解決問題を解決すること。
• 完全グラフの最小 genus 埋め込みによって実現可能なすべての面分布（各長さの面の数）を同定すること。
• 非可換および最大 genus 埋め込みへの分析を拡張し、さまざまな面分布の実現可能性を同定すること。
• Gross と Furst が定義するように、完全グラフの埋め込み多項式における非ゼロ係数の完全分類を提供すること。

提案手法

• ほぼ完全グラフの対称的かつ構造的な埋め込みを構成するために、索引3の電流グラフを用いる。
• ハンドルまたはクロスキャップ操作による欠落辺の追加を通じて、ほぼ完全グラフから $K_n$ の埋め込みを完成させる、洗練された「追加隣接」手順を適用する。
• 可換および非可換曲面における埋め込みを符号化するために、回転系と巡回辺順序を用いる。
• Euler の多面体方程式を用いて、妥当な面分布を制約し、実現可能性を検証する。
• Gross (1975) のほぼ完全グラフの三角形埋め込みに関する結果を活用し、$K_{20}$ や $K_{12s+9}-K_3$ のような複雑なケースを解く。
• 非可換曲面に対して、生成度補間法を適用し、任意のほぼ三角形最小 genus 埋め込みが、連続するクロスキャップ追加によって1面埋め込みに変換可能であることを示す。

実験結果

リサーチクエスチョン

• RQ1 すべての完全グラフ $K_n$ は、最大で1つの非三角形面をもつ最小 genus 埋め込みをもつか？
• RQ2 完全グラフ $K_n$ の最小 genus 埋め込みによって実現可能なすべての面分布（面の長さの観点から）は何か？
• RQ3 Euler の多面体方程式が予測する面分布のうち、実現できない完全グラフはどれか？
• RQ4 指数的家族の非同型最小 genus 埋め込みを、ほぼ三角形埋め込みに限らず、すべての面分布に対して構成可能か？
• RQ5 非可換および最大生成度埋め込みへの結果の拡張は、完全グラフの埋め込みにどのように応用できるか？

主な発見

• 最大で1つの非三角形面をもつ最小 genus 埋め込みをもたない唯一の完全グラフは $K_8$ であり、これが証明された。
• $K_8$ を除くすべての $K_n$ に対して、最大で1つの非三角形面をもつ最小 genus 埋め込みが存在し、索引3の電流グラフを用いて明示的に構成された。
• 完全グラフ $K_n$ の最小 genus 埋め込みの面分布は完全に同定された：Euler の多面体方程式が許容するすべての分布が実現可能であるが、$K_5$ と $K_8$ を除く。これらの2つは実現可能性が制限されている。
• この構成法は、古典的な Ringel-Youngs 手法を拡張し、体系的な追加隣接ステップを組み込むことで、$K_{20}$ のような従来取り扱いが困難だったケースに対応可能となった。
• 非可換曲面では、$K_n$ の最小生成度から最大生成度までの任意の生成度に、ほぼ三角形埋め込みが存在することが、クロスキャップ追加を用いた生成度補間法により示された。
• Gross と Furst が定義する完全グラフの埋め込み多項式における非ゼロ係数が、完全に同定され、完全な組合せ的分類が得られた。