[論文レビュー] The spectral radius of graphs with no intersecting triangles

Sebastian M. Cioabă, Lihua Feng+2 more|arXiv (Cornell University)|Nov 29, 2019

Graph theory and applications参考文献 25被引用数 9

ひとこと要約

本稿は、$ k $-ファン（共通頂点を共有する $ k $ 個の三角形）を含まない $ n $ 頂点グラフのうち、スペクトル半径が最大となる極値グラフを特定し、十分に大きな $ n $ に対して、そのような極値グラフが $ F_k $-フリーな条件下で辺数が最大となるグラフ（Turán型問題 $ \mathrm{ex}(n, F_k) $ の極値グラフ）と一致することを証明する。この結果は、古典的極値グラフ論におけるスペクトル的類似物を確立し、$ F_k $-フリー制約下で辺数が最大となる既知の極値グラフが、まさにスペクトル半径を最大にすることが示されている。

ABSTRACT

A graph on $2k+1$ vertices consisting of $k$ triangles which intersect in exactly one common vertex is called a $k$-fan and denoted by $F_k$. This paper aims to determine the graphs of order $n$ that have the maximum (adjacency) spectral radius among all graphs containing no $F_k$, for $n$ sufficiently large.

研究の動機と目的

• $ F_k $ が $ k $-ファン（共通頂点を共有する $ k $ 個の三角形）であるとき、$ n $ 頂点の $ F_k $-フリーなグラフの中で、隣接行列のスペクトル半径が最大となるグラフを特定すること。
• $ F_k $-フリーなグラフに対する古典的Turán型極値問題のスペクトル的類似物を確立すること。
• 十分に大きな $ n $ に対して、スペクトル半径が最大となるグラフが、$ F_k $-フリー条件下で辺数を最大にする既知の極値グラフ $ G_n^i $（$ i=1,2 $）に丁度一致することを証明すること。
• スペクトルグラフ論と極値グラフ論を結びつけることにより、$ F_k $-フリー制約下でのスペクトル半径最大化とTurán型極値辺数の関係を明確にすること。
• 固有値の入れ子性と三角形除去補題を用いて、$ F_k $-フリー制約下でスペクトル半径が最大となるグラフの構造を分析すること。

提案手法

• 候補となるグラフ $ G $ と $ \mathrm{ex}(n, F_k) $ 条件を満たす極値 $ F_k $-フリーなグラフ $ H $ のスペクトル半径を比較するために、Rayleigh商を用いる。
• $ H $ の最大カットに台を持つベクトル $ \mathbf{x} $ を構成し、固有値の入れ子性を適用してスペクトル半径の差を評価する。
• 辺集合 $ E_+ = E(H) \setminus E(G) $ と $ E_- = E(G) \setminus E(H) $ を定義し、$ e(G) < \mathrm{ex}(n, F_k) $ の仮定の下で $ |E_+| \geq |E_-| + 1 $ が成り立つことを用いる。
• $ |E_-| < 2k^2 $ の境界と、Rayleigh商における交差項の減衰を用いて、$ n $ が十分に大きい場合に $ \lambda_1(H) > \lambda_1(G) $ を示す。
• 三角形除去補題を用いて $ G $ の構造的仮定を正当化し、等分配分割と多項式固有値境界の適用を可能にする。
• $ \lambda_1(H) > \lambda_1(G) $ を示すことで矛盾を導き、$ e(G) = \mathrm{ex}(n, F_k) $ が成り立ち、したがって $ G \in \mathrm{Ex}(n, F_k) $ であると結論づける。

実験結果

リサーチクエスチョン

• RQ1 十分に大きな $ n $ に対して、$ F_k $-フリーな $ n $ 頂点グラフの中で、隣接行列のスペクトル半径が最大となるのはどのグラフか？
• RQ2 Turán型の辺数極値問題 $ \mathrm{ex}(n, F_k) $ の極値グラフは、$ F_k $-フリーなグラフの中でスペクトル半径を最大にするか？
• RQ3 $ F_k $-フリーなグラフのスペクトル半径は、辺数が最大となるグラフにのみ最大値をとるのか？
• RQ4 辺数が $ \mathrm{ex}(n, F_k) $ より小さい場合、スペクトル半径はどのように変化するのか？この挙動を用いて矛盾を導くことは可能か？
• RQ5 三角形除去補題は、$ F_k $-フリーなグラフのスペクトル極値構造を分析する上で果たす役割は何か？

主な発見

• 十分に大きな $ n $ に対して、スペクトル半径が最大となる $ F_k $-フリーなグラフ $ G $ は、必ず $ \mathrm{ex}(n, F_k) $ 条件を満たす辺数を持つ。
• $ F_k $-フリー条件下で辺数を最大にする極値グラフ $ G_n^i $（$ i=1,2 $）は、スペクトル半径を最大にするグラフとしても正確に一致する。
• $ e(G) < \mathrm{ex}(n, F_k) $ である場合、$ \mathrm{ex}(n, F_k) $ 条件を満たす任意の $ F_k $-フリーなグラフ $ H $ に対して $ \lambda_1(G) < \lambda_1(H) $ が成り立ち、$ n $ が十分に大きい場合にはこの関係が矛盾を引き起こす。
• 証明は、$ E_+ $ と $ E_- $ の辺集合差を用いてRayleigh商の差を評価し、$ e(G) < \mathrm{ex}(n, F_k) $ のとき $ \lambda_1(H) > \lambda_1(G) $ であることを示すことに依存している。
• 構造的ずれを制御するため、三角形除去補題を用いて分析を行い、極値グラフのみがスペクトル半径を最大にできることが保証される。
• この結果は $ n > 232k^2 $ となる十分に大きな $ n $ に対して成り立つが、三角形除去補題の使用のため、正確な閾値は特定されていない。