[論文レビュー] Spectral Condition for a Graph to be Hamiltonian with respect to Normalized Laplacian

Yi-Zheng Fan, Guidong Yu|arXiv (Cornell University)|Jul 30, 2012

Graph theory and applications参考文献 7被引用数 10

ひとこと要約

本稿は、正規化ラプラシアン行列を用いて、グラフがハミルトン的であるためのスペクトル的条件を確立する。すべての非自明な固有値が1に十分に近く、最大次数と最小次数の比が √2 以上で抑えられている場合、グラフはハミルトン的である。この結果は、非正則グラフを含む一般化された設定に適用可能であり、次数の変動が制御された擬似ランダムなグラフに対しても適用可能である。

ABSTRACT

Let G be a graph and let Δ,δbe the maximum and minimum degrees of G respectively, where Δ/δ

研究の動機と目的

• 正規化ラプラシアン行列を用いた、グラフがハミルトン的であるための十分条件を導出すること。
• 既存のスペクトル的条件を、正則または稠密なグラフに限らず、次数比が有界なグラフにまで拡張すること。
• 正規化ラプラシアンの固有値が1に近い場合、次数比の制約のもとでハミルトニアン性が保証されることを示すこと。
• クリーヴェレヴィッチとスダコフ、バトラーとチュンの結果を非正則グラフに一般化すること。
• 反例を用いて次数比制約の必要性を示し、条件のより広範な適用可能性を検証すること。

提案手法

• 標準ラプラシアン $L = D - A$ を用い、正規化ラプラシアン行列を $\mathcal{L} = D^{-1/2} L D^{-1/2}$ と定義する。
• パスをサイクルに変換するためのポーザ回転技術を用い、頂点の次数および近傍拡張性に依存する。
• 正規化ラプラシアンの固有値 $\lambda_i$ に対するスペクトルの境界を適用し、$i \neq 0$ に対して $|1 - \lambda_i| \leq \frac{\log^2 \log n}{7500 \log n \log \log \log n}$ を要求する。
• 不規則性を制御し、固有値が1に集まることを保証するため、次数比制約 $\Delta / \delta < c < \sqrt{2}$ を導入する。
• 体積に基づく議論および近傍拡張を用いて、パスの回転から得られる頂点集合 $V_1$ と $V_2$ が十分に大きな共通部分集合を持つことを示し、サイクルを閉じることを可能にする。
• 補題2.4と次数拡張推定値を活用し、回転されたパスの端点間に辺が存在することを保証し、ハミルトンサイクルを完成させる。

実験結果

リサーチクエスチョン

• RQ1 正規化ラプラシアン固有値に基づくスペクトル的条件は、正則でないグラフに対してもハミルトニアン性を保証できるか？
• RQ2 最大次数と最小次数の比 $\Delta/\delta$ は、ハミルトニアン性のスペクトル的閾値にどのように影響するか？
• RQ3 固有値が1に非常に近い集合に集中している場合でさえ、スパarsなまたは不規則なグラフに対し、ハミルトニアン性が保証されるか？
• RQ4 ポーザ回転法は、正規化ラプラシアンのスペクトル的境界を用いて、ハミルトニアン性を示すために適応可能か？
• RQ5 この条件は、隣接行列または標準ラプラシアン行列に基づく既存のスペクトル的結果と比較して、一般性および適用範囲においてどのように異なるか？

主な発見

• 十分に大きな $n$ に対して、正規化ラプラシアンのすべての非自明な固有値 $\lambda_i$ が $|1 - \lambda_i| \leq \frac{(\log \log n)^2}{7500 \log n (\log \log \log n)}$ を満たす場合、グラフ $G$ はハミルトン的である。
• 条件は $\Delta / \delta < c < \sqrt{2}$ の制約のもとで成り立ち、極端な次数の差を防ぎ、反例により必要であることが示されている（$\Delta / \delta \to \infty$ の場合）。
• 本結果は、$K_{n-1}$ に pendant edge が $\lceil \alpha(n-1) \rceil$ 個の頂点に接続されたような、ほぼ正則でないグラフに対しても適用可能であり、これまではラプラシアンに基づく条件で除外されていた。
• スペクトルの境界により、固有値が1に非常に密に集まっていることが保証され、これは擬似ランダム性およびパス拡張性と相関する。
• 証明ではポーザ回転を用いてハミルトンサイクルを構成し、二つの部分パスから得られるパスの端点集合が十分に大きく、重複していることを示している。
• 本手法により、密度や正則性の仮定よりも厳密に弱いスペクトル的閾値が確立され、より広範なスパースグラフのクラスへの適用が可能になった。