[論文レビュー] A strengthening of the spectral color critical edge theorem: books and theta graphs

Mingqing Zhai, Huiqiu Lin|arXiv (Cornell University)|Feb 8, 2021

Limits and Structures in Graph Theory参考文献 38被引用数 6

ひとこと要約

本稿は、本とシータグラフ—2つの新しい色臨界グラフのクラス—について、トゥーラン型極値問題のスペクトル版が線形閾値を持つことを確立する。つまり、グラフのスペクトル半径が $T_{n,2}$ のそれを超えるならば、$n/6.5$ より大きなサイズの本を含むか、$n/7$ までのすべての長さのサイクルを含む。これらの結果は、これらのグラフ族に関して、エドーシュの1962年の本の予想とニキフォロフのサイクル長に関する問いのスペクトル類似を解決する。

ABSTRACT

The chromatic critical edge theorem of Simonovits states that for a given color critical graph $H$ with $\chi(H)=k+1$, there exists an $n_0(H)$ such that the Turan graph $T_{n,k}$ is the only extremal graph with respect to $ex(n,H)$ provided $n \geq n_0(H)$. Nikiforov's pioneer work on spectral graph theory implies that the color critical edge theorem also holds if $ex(n,H)$ is replaced by the maximum spectral radius and $n_0(H)$ is an exponential function of $|H|$. We want to know which color critical graphs $H$ satisfy that $n_0(H)$ is a linear function of $|H|$. Previous graphs include complete graphs and odd cycles. In this paper, we find two new classes of graphs: books and theta graphs. Namely, we prove that every graph on $n$ vertices with $ ho(G)> ho(T_{n,2})$ contains a book of size greater than $\frac{n}{6.5}$. This can be seen as a spectral version of a 1962 conjecture by Erdős, which states that every graph on $n$ vertices with $e(G)>e(T_{n,2})$ contains a book of size greater than $\frac{n}{6}$. In addition, our result on theta graphs implies that if $G$ is a graph of order $n$ with $ ho(G)> ho(T_{n,2})$, then $G$ contains a cycle of length $t$ for every $t\leq \frac{n}{7}$. This is related to an open question by Nikiforov which asks to determine the maximum $c$ such that every graph $G$ of large enough order $n$ with $ ho(G)> ho(T_{n,2})$ contains a cycle of length $t$ for every $t\leq cn$.

研究の動機と目的

• 色臨界グラフ $H$ で、スペクトル版の彩色臨界辺定理における線形 $n_0(H)$ が $|H|$ に関して成立するものを同定すること。
• ニキフォロフのスペクトルトゥーラン定理を拡張し、極値閾値が $|H|$ に関して線形である新しいグラフ族を同定すること。
• 古典的極値予想のスペクトル類似を証明すること、特にエドーシュの1962年の本の予想とニキフォロフのサイクル長予想の類似を含む。
• スペクトル半径が $\rho(T_{n,2})$ を超えるグラフが、大きな本や長いサイクルなどの密な部分構造を含むことを確立すること。

提案手法

• グラフ $G$ のスペクトル半径 $\rho(G)$ を分析し、完全2部グラフ $T_{n,2}$ のスペクトル半径 $\rho(T_{n,2})$ と比較するスペクトルグラフ理論を用いる。
• インタリーシング技術と固有値の上限を適用し、高いスペクトル半径から生じる構造的含意を導出する。
• 極値スペクトル的議論を用いて、$\rho(G) > \rho(T_{n,2})$ ならば、サイズ $> n/6.5$ の本が存在することを証明する。
• スペクトル安定性およびサイクル包含定理を用いて、そのようなグラフがすべての長さ $t \leq n/7$ のサイクルを含むことを確立する。
• 既知の本とサイクルに関する極値結果を活用し、組合せ的極値性をスペクトル的条項に翻訳することでスペクトル閾値を導出する。
• 帰納法と構造的分解を用いて、高いスペクトル半径を持つグラフにおける最大の本のサイズと、欠落している最短サイクルのサイズを評価する。

実験結果

リサーチクエスチョン

• RQ1 どの色臨界グラフ $H$ に対して、$|H|$ に関して線形閾値 $n_0(H)$ を持つスペクトルトゥーラン定理が成立するか？
• RQ2 すべてのグラフ $G$ で $\rho(G) > \rho(T_{n,2})$ ならば、$n/6.5$ より大きなサイズの本を含むか？
• RQ3 スペクトル半径条件 $\rho(G) > \rho(T_{n,2})$ は、すべての長さ $t \leq n/7$ のサイクルの存在を保証するか？
• RQ4 スペクトル半径閾値は、極値グラフにおけるエドーシュの1962年予想の本のサイズとどのように関係するか？
• RQ5 $\rho(G) > \rho(T_{n,2})$ ならば、長さ $t \leq cn$ のサイクルが存在することを保証する最良の定数 $c$ は何か？

主な発見

• すべての位数 $n$ のグラフ $G$ で $\rho(G) > \rho(T_{n,2})$ ならば、$n/6.5$ より大きなサイズの本を含む。これは、エドーシュの1962年予想のスペクトル版を確立する。
• 同じスペクトル条件は、$t \leq n/7$ すべての長さのサイクルを含むことを示し、ニキフォロフの未解決のサイクル包含に関する問いに定量的解答を与える。
• 本とシータグラフが、極値スペクトル閾値が $|H|$ に関して線形であるという点で、2つの新しい色臨界グラフ族として同定される。これは、完全グラフや奇サイクルに関する先行結果を拡張する。
• 本のサイズに関する $n/6.5$ の境界は、エドーシュの予想における古典的極値閾値 $n/6$ よりも改善されており、より強いスペクトル的保証を示している。
• 結果は、特定のグラフ族において、スペクトル半径の閾値が古典的極値数え上げよりも強い構造的保証をもたらす可能性を示している。
• 証明技法は、スペクトルグラフ理論と古典的極値組合せ論の橋渡しを果たし、スペクトル的条件が大きな本や多様なサイクル長といった密な部分構造を含むことを示している。