[論文レビュー] Large connected strongly regular graphs are Hamiltonian

László Pyber|arXiv (Cornell University)|Sep 10, 2014

Finite Group Theory Research参考文献 10被引用数 4

ひとこと要約

この論文は、十分に大きな連結な強正則グラフがすべてハミルトン閉路を含むことを証明し、代数的グラフ理論における重要な結果を確立している。著者らは、例外的な強正則グラフが強く擬似ランダムであることを示し、強いスペクトルギャップ $k/\Lambda > v^{1/10}/2$ によって裏付けられた。この結果を用いて、KrivelevichとSudakovのハミルトニシティ基準を適用することで、あるサイズの閾値を超えると、このようなグラフがハミルトン的であることが確認された。

ABSTRACT

We prove that every connected strongly regular graph on sufficiently many vertices is Hamiltonian. We prove this by showing that, apart from three families, connected strongly regular graphs are (highly) pseudo-random. Our results suggest a number of new questions and conjectures.

研究の動機と目的

• すべての連結な強正則グラフが有限個の例外を除きハミルトン的であるという予想を解決すること。
• 完全マルチパーティ値、ステイナー型、ラテン平方型グラフを除く例外的な強正則グラフが、スペクトル的性質によって高い擬似ランダム性を示すことを確立すること。
• 固有値解析を通じて、距離正則グラフおよび高対称性を持つグラフにおける擬似ランダム性の理解を拡張すること。
• 正則グラフにおけるハミルトニシティの十分条件をスペクトル的条件として提供し、特に強正則グラフに適用可能なものとする。
• 自己同型群の構造が、正則グラフにおけるスペクトル的挙動と擬似ランダム性に与える影響を調査すること。

提案手法

• Krivelevich-Sudakovのハミルトニシティ基準を用い、$k/\Lambda > 1000 \log v (\log \log \log v)/(\log \log v)^2$ を要求する。
• Seidelの絶対的上限を適用し、原始的強正則グラフにおけるスペクトル比 $k/\Lambda$ の下界を導出する。
• 例外的な強正則グラフに対して、$k/\Lambda > v^{1/10}/2$ が成り立つことを確立し、これは十分に大きな $v$ に対してKrivelevich-Sudakov条件を満たす。
• 隣接行列からの固有値の重複度とトレース恒等式を分析し、$\Lambda = \max\{|\lambda_i|\}$（$i \geq 2$）の上限を求める。
• 置換群の表現論を用いて、$\Lambda(G)$ を $\text{Aut}(G)$ の最大アーベル正規部分群の指数の観点から評価する。
• Jordanの定理（$GL(n,\mathbb{C})$ の有限部分群に関するもの）を用い、非自明な非可約表現の最小次元とスペクトル境界との関係を確立する。

実験結果

リサーチクエスチョン

• RQ1 十分に大きな連結な強正則グラフはすべてハミルトン的か？
• RQ2 既知の族を除く例外的な強正則グラフ（例外的強正則グラフ）は、どの程度擬似ランダムなスペクトル挙動を示すか？
• RQ3 自己同型群の構造（特に原始性とアーベル正規部分群）は、スペクトルギャップと擬似ランダム性にどのように影響を与えるか？
• RQ4 $k/\Lambda$ に対するスペクトル境界を用いて、正則グラフにおけるハミルトニシティを導出できるか？
• RQ5 距離正則グラフ、特に直径が有界でないものについては、有限個の例外を除きハミルトニシティを満たすか？

主な発見

• すべての頂点数が $N$ を超える連結な強正則グラフがハミルトン閉路を含むような閾値 $N$ が存在する。
• 例外的な強正則グラフに対して、比 $k/\Lambda$ は $v^{1/10}/2$ を上回り、強い擬似ランダム性を示している。
• 原始的自己同型群をもつ連結な強正則グラフは、その自己同型群がほとんどアーベルでない限り、擬似ランダムである。
• 原始的自己同型群と増大する最大アーベル正規部分群の指数をもつ $k_n$-正則グラフの系列に対して、$\Lambda(G) = o(k_n)$ が成り立つ。
• 原始的一貫配置のマージドグラフへも結果を拡張でき、一様な密度条件の下で $\Lambda(M_n) = o(p_n)$ が成り立つ。
• 系3.4では、原始的自己同型群 $A$ とアーベル正規部分群 $S$ をもつ $k$-正則グラフに対して、$\Lambda(G) < c_1 (vk / \sqrt{\log(|A/S|)})^{1/2}$ というスペクトル境界が得られる。