[論文レビュー] Realizing the chromatic numbers and orders of spinal quadrangulations of surfaces

Serge Lawrencenko|arXiv (Cornell University)|Jul 8, 2012

Graph Labeling and Dimension Problems参考文献 7被引用数 4

ひとこと要約

本稿では、グラフスプライスとその2重相互接続を用いて、所定の genus、彩色数、順序を持つ閉じた向きつけ可能曲面上の脊椎的四角形分割を構成する新規な手法を提示する。主な貢献は、HartsfieldとRingelの結果を一般化し、従来の制限を超えて無限に多くの genus に対して最小四角形分割を実現可能にする点にあり、特に辺を削除した完全グラフをスプライスとして用いることで達成される。

ABSTRACT

A method is suggested for construction of quadrangulations of the closed orientable surface with given genus g and either (1) with given chromatic number or (2) with given order allowed by the genus g. In particular, N. Hartsfield and G. Ringel's results [Minimal quadrangulations of orientable surfaces, J. Combin. Theory, Series B 46 (1989) 84-95] are generalized by way of generating new minimal quadrangulations of infinitely many other genera.

研究の動機と目的

• 閉じた向きつけ可能曲面上の四角形分割を、指定された位相的・組合せ的性質を満たす体系的な方法で構成すること。
• HartsfieldとRingelの最小四角形分割に関する結果を、無限に多くの追加の genus へ一般化すること。
• 与えられた genus に対する脊椎的四角形分割の可能な彩色数と順序の全範囲を特定すること。
• 脊椎的四角形分割が頂点数の観点で最小であるための条件を確立すること。
• 脊椎的四角形分割の最小順序を示す公式を提示し、理論的上限に一致する場合を同定すること。

提案手法

• 本手法は、スプライスグラフ $ G $ の2重相互接続グラフ $ G[:] $ を用いる。ここで $ G[:] $ は、$ G $ の2つの互いに素なコピーをとり、一方のコピーの各頂点を他方のコピーにおけるその近隣頂点と接続することで構成される。
• 得られる脊椎的四角形分割の genus は、第一ベッチ数 $ \beta(G) $ によって決定され、$ G[:] \hookrightarrow \Sigma_{\beta(G)} $ が保証される。
• 与えられた genus $ g $ に対して、スプライスは $ K_p - me $ の形に構成され、ここで $ K_p $ は完全グラフで $ m $ 条の辺が削除され、$ \beta(K_p) - m = g $ となるようにする。
• 頂点数の最小化を保証するため、$ 2p \leq \frac{1}{2}(5 + \sqrt{32g - 7}) $ を解くことで、$ |V|_{\min}^{\rm{sp}}(g) = 2\left\lceil \frac{1}{2}(3 + \sqrt{8g + 1}) \right\rceil $ という公式が得られる。
• 本手法は、$ m \geq 2 $ を許容することで、HartsfieldとRingelが以前に研究した $ m = 0,1 $ の場合を越えて一般化している。
• 最小性を保証するための二重不等式条件 $ p \geq 4 + 4m $ が導出され、最小脊椎的四角形分割を構成するための基準が提供される。

実験結果

リサーチクエスチョン

• RQ1 パラメータが整合的である限り、任意の指定された genus $ g $、彩色数 $ n $、順序 $ 2p $ に対して脊椎的四角形分割を構成可能か？
• RQ2 固定された genus $ g $ の四角形分割が実現可能な彩色数の全範囲は何か？
• RQ3 どの genus $ g $ に対して、脊椎的四角形分割の最小順序が理論的上限に達するか？
• RQ4 本手法は、$ m = 0,1 $ の場合に限らず、新たな最小四角形分割を生成するためにどのように拡張可能か？
• RQ5 脊椎的四角形分割が頂点数の観点で最小であるための条件は何か？

主な発見

• 本手法により、$ \beta(K_n) \leq g $ を満たすすべての彩色数 $ n $ が実現可能であり、与えられた genus $ g $ に対して可能な彩色数の全範囲がカバーされる。
• 任意の $ g \geq 0 $ および $ p \geq 2 $ で $ g \leq \beta(K_p) $ を満たす場合、$ 2p $ 個の頂点を持つ genus $ g $ の脊椎的四角形分割が存在する。
• 脊椎的四角形分割の最小順序は $ |V|_{\min}^{\rm{sp}}(g) = 2\left\lceil \frac{1}{2}(3 + \sqrt{8g + 1}) \right\rceil $ で与えられ、これは無限回にわたり達成される。
• 公式 $ |V|_{\min}(g) = 2\lceil a(g) \rceil $ は、$ \lceil a(g) \rceil = \lfloor b(g) \rfloor $ のとき成り立ち、ここで $ a(g) = \frac{1}{2}(3 + \sqrt{8g + 1}) $、$ b(g) = \frac{1}{4}(7 + \sqrt{32g - 15}) $ であり、これは無限に多くの $ g $ に対して成立する。
• 本手法により、HartsfieldとRingelがカバーしなかった新たな最小四角形分割が得られ、例えば $ (K_{12} - 2e)[:] \hookrightarrow \Sigma_{53} $ は最小であり、128の領域を持つ。
• 本手法により、最小順序の上限が無限回にわたりタイトであることが確認され、特に $ g = \beta(K_p) $ の場合、$ |V|_{\min}(g) = 2p $ を得る。