[論文レビュー] Bounded Degree Conjecture Holds Precisely for c-Crossing-Critical Graphs with c <= 12

Drago Bokal, Zdenĕk Dvořák+4 more|arXiv (Cornell University)|Jan 1, 2019

Advanced Graph Theory Research参考文献 19被引用数 2

ひとこと要約

この論文は、c-交差臨界グラフにおける有界次数予想を解消し、c ≤ 12 の場合、すべての such グラフの最大次数が定数 D(c) で有界であることを証明する。一方、c ≥ 13 の場合、任意の高い次数を持つ頂点を含む c-交差臨界グラフの明示的構成が存在する。著者らは、c ≥ 13 の場合に無限に多くの c-交差臨界グラフを生成するための新規なザイプ積構成法とエッジ再接続技術を用い、c = 12 が鋭い閾値であることを確立した。

ABSTRACT

We study $c$-crossing-critical graphs, which are the minimal graphs that require at least $c$ edge-crossings when drawn in the plane. For every fixed pair of integers with $c\ge 13$ and $d\ge 1$, we give first explicit constructions of $c$-crossing-critical graphs containing a vertex of degree greater than $d$. We also show that such unbounded degree constructions do not exist for $c\le 12$, precisely, that there exists a constant $D$ such that every $c$-crossing-critical graph with $c\le 12$ has maximum degree at most $D$. Hence, the bounded maximum degree conjecture of $c$-crossing-critical graphs, which was generally disproved in 2010 by Dvořák and Mohar (without an explicit construction), holds true, surprisingly, exactly for the values $c\le 12.$

研究の動機と目的

• c-交差臨界グラフにおける最大次数の有界性に関する予想を解消すること。これは、各 c に対して、このようなグラフの最大次数に上限 D(c) が存在するとするものである。
• 無限大の次数を持つグラフの構成が可能になる閾値を特定すること、特に c = 13 がその閾値であることを特定すること。
• c ≥ 13 の場合に、任意の高い次数を持つ頂点を含む c-交差臨界グラフの明示的で構成的証明を提供すること。
• 特に奇数次頂点や高次頂点の挙動に関する理解のギャップを埋め、交差臨界グラフにおける次数行動の理解を深めること。
• 3連結で単純な c-交差臨界グラフにおいて、高次頂点を含む構築の構造的制限と可能性を調査すること。

提案手法

• K3,3 と既存の 13-交差臨界グラフを用いた一般化されたザイプ積操作を用いて、c ≥ 13 の c-交差臨界グラフを構成する。
• ザイプ積による再帰的構成を用い、13-交差臨界グラフを c がより大きい値へと拡張し、c-交差臨界性を保つ。
• 頂点再接続技術（補題 6.1）を用い、交差数と臨界性を保ちながら頂点次数を増加させる。
• 特定のエッジ再接続および分割操作の下で交差数が変化しないことを証明し、c-交差臨界性の保持を保証する。
• 図のエッジ交差を分析し、構成中に新たな交差が導入されないことを確認することで、交差数の正当性を証明する。
• c に関する帰納法を用い、指定された次数分布と c-交差臨界性を満たすグラフ G(c, d, m) を c > 13 の場合に構築する。

実験結果

リサーチクエスチョン

• RQ1 c-交差臨界グラフの最大次数が有界となる c の値はどれか？
• RQ2 c ≥ 13 の場合に、任意の高い次数を持つ頂点を含む c-交差臨界グラフの明示的構成が可能か？
• RQ3 特に奇数次頂点に関して、無限に多くの c-交差臨界グラフにおいて高次頂点が存在する構造的性質は何か？
• RQ4 c = 12 が、無限大の次数行動が現れる閾値として鋭いものであるか？
• RQ5 c ≥ 13 の場合に、任意の大きな次数の頂点を含む 3連結で単純な c-交差臨界グラフが存在するか？

主な発見

• すべての c ≤ 12 に対して、定数 D(c) が存在し、すべての c-交差臨界グラフの最大次数が D(c) 以下である。これは、有界次数予想の確認である。
• すべての c ≥ 13 に対して、任意の固定された d よりも高い次数を持つ頂点を任意に多く含む c-交差臨界グラフの明示的構成が存在する。
• c ≥ 13 の場合のグラフ構成は、13-交差臨界グラフを出発点として、K3,3 との再帰的ザイプ積を用いることで達成される。
• この論文は、c-交差臨界性を保ちながら頂点次数を増加させる新規な手法（補題 6.1）を提供し、無限大の次数成長を可能にする。
• 13-交差臨界グラフ G(k1,…,km)13 を基本として、次数増加変換を繰り返し適用することで、任意の高い次数を持つグラフが得られる。
• 結果として、有界次数予想は c ≤ 12 の場合にのみ成り立ち、c = 13 が無限大の次数構成が可能な最初の値であることが示された。