[論文レビュー] Hamiltonian cycles in 2-tough $2K_2$-free graphs

Katsuhiro Ota, Masahiro Sanka|arXiv (Cornell University)|Mar 11, 2021

Limits and Structures in Graph Theory被引用数 6

ひとこと要約

この論文は、3つ以上の頂点を持つ任意の2-トゥーリー $2K_2$-フリーなグラフがハミルトン的であることを証明し、GaoとPasechnikの予想を裏付ける。著者らは、Shanの3-トゥーリー $2K_2$-フリーなグラフに関する先行研究の技術を洗練させ、サイクルの構造的解析、頂点の種別（A/B型）、および共吸収可能性（co-absorbability）の議論を用いて、最小反例が2-トゥーリー性と $2K_2$-フリー条件の下で矛盾を生じることを示す。

ABSTRACT

A graph $G$ is called a $2K_2$-free graph if it does not contain $2K_2$ as an induced subgraph. In 2014, Broersma, Patel and Pyatkin showed that every 25-tough $2K_2$-free graph on at least three vertices is Hamiltonian. Recently, Shan improved this result by showing that 3-tough is sufficient instead of 25-tough. In this paper, we show that every 2-tough $2K_2$-free graph on at least three vertices is Hamiltonian, which was conjectured by Gao and Pasechnik.

研究の動機と目的

• GaoとPasechnikが提起した予想、すなわち、3つ以上の頂点を持つ任意の2-トゥーリー $2K_2$-フリーなグラフがハミルトン的である、という予想を解決すること。
• Shanの3-トゥーリー結果やBroersmaらの25-トゥーリーの境界といった先行結果を改善し、ハミルトニアン性に必要なトゥーリー値を2にまで低減すること。
• $2K_2$-フリーなグラフの文脈において、トゥーリー閾値の鋭さを確立すること。これは、$rac{3}{2}$-トゥーリーなスプリットグラフがすでにハミルトン的であることが知られていることから、その鋭さが裏付けられる。
• サイクル分解、頂点の種別（A/B型）、および $2K_2$-フリーなグラフにおける近傍関係を用いて、最小反例の構造を分析すること。
• 誘導部分グラフ $2K_2$ が存在しないことと2-トゥーリー性の両方が、共吸収可能性と辺接続性の議論によってハミルトニアンサイクルの存在を強制することを示すこと。

提案手法

• Shanの3-トゥーリー結果に基づく証明戦略を適応・洗練させ、$2K_2$-フリーなグラフにおけるサイクル構造と頂点の分割に焦点を当てる。
• 他のサイクルに対する近傍行動に基づき、サイクル上の頂点をA型とB型に分類する手法を導入する。
• 頂点の共吸収可能性（co-absorbability）を、隣接頂点とサイクルの延長を用いた辺の入れ替えによって、より長いサイクルへ統合できる能力として定義する。
• 部分グラフ内の頂点集合を追跡し、サイクル間の辺接続性を分析するために、$V_H(S)$ および $ar{V}_H(S)$ の概念を用いる。
• 最小反例グラフ $G$ を仮定し、$α(G) \leq \frac{n}{3}$ を満たすとし、2-トゥーリー性の下でこのようなグラフが存在できないことを示す対照的議論を適用する。
• 2つの素性サイクル $C$ と $D$ 間の対称的サイクルペア解析を用い、特定の頂点集合分割を誘導するB型エッジを同定する。

実験結果

リサーチクエスチョン

• RQ1 GaoとPasechnikが提起したように、3つ以上の頂点を持つ任意の2-トゥーリー $2K_2$-フリーなグラフはハミルトン的であるか？
• RQ2 先行研究で得られた25および3の境界を踏まえ、$2K_2$-フリーなグラフにおけるハミルトニアン性のためのトゥーリー閾値を3から2にまで低減できるか？
• RQ3 スプリットグラフの部分クラスにおいて鋭いと知られている $rac{3}{2}$-トゥーリー境界が、$2K_2$-フリーなグラフ全体に対しても鋭いか？
• RQ4 2-トゥーリー性の下で、$2K_2$-フリーなグラフのどのような構造的性質がハミルトニアンサイクルの存在を強制するか？
• RQ5 共吸収可能性の議論と頂点種別分類を用いて、最小反例においてハミルトニアンサイクルを構成できるか？

主な発見

• 3つ以上の頂点を持つ任意の2-トゥーリー $2K_2$-フリーなグラフはハミルトニアンサイクルを含む。これはGaoとPasechnikの予想を確認する。
• 最小反例を仮定した場合、そのようなグラフは頂点数 $\frac{n}{2}$ の頂点集合を持ち、独立数が $\leq \frac{n}{3}$ である必要があるが、これは既知の境界に反するため、矛盾が生じる。
• 任意の最小反例において $V_{bad}(C) = V_{bad}(D) = \emptyset$ であることが示され、これはサイクル上のすべての頂点がB型であることを意味する。
• $X_C \cap V_{bad}(C) = \emptyset$ および $X_D \cap V_{bad}(D) = \emptyset$ であることが示され、したがって $X_C \cup B_0$ と $X_D \cup B_0$ は独立集合である。
• 特定の頂点集合分割を誘導するB型エッジ $u_0u_0^+ \in E(C)$ および $v_0v_0^+ \in E(D)$ が存在する場合、$u_0$ が $v, v^+, v_0, v_0^+$ に隣接していると、$2K_2$-フリー条件に反する。
• 最終的な矛盾は、$u_0$ が $\{v, v^+, v_0, v_0^+\}$ のいずれかに隣接しなければならないが、サイクル構造と分割ルールがそのような隣接を不可能にしていることから生じ、最小反例の仮定が無効になる。