[論文レビュー] The Algebraic Connectivity and the Clique Number of Graphs

Ya-Lei Jin, Xiao‐Dong Zhang|arXiv (Cornell University)|Jun 30, 2013

Graph theory and applications参考文献 13被引用数 3

ひとこと要約

本稿は、代数的連結度を用いて、Erdős-Stone定理の最初のスペクトル的類似を確立し、サイズ $n$ のグラフでクライQUE数 $r$ を持つものの中で、代数的連結度を最大または最小にする極値グラフを同定する。この研究では、このようなグラフの代数的連結度が $n(1 - 1/\psi(\mathcal{H}))$ に漸近的に近づくことを証明し、$\psi(\mathcal{H})$ は族 $\mathcal{H}$ における最小の彩色数から1を引いたものである。また、上界と下界の極値構造としてそれぞれトーラングラフとキーティングラフを特定する。

ABSTRACT

This paper investigates some relationship between the algebraic connectivity and the clique number of graphs. We characterize all extremal graphs which have the maximum and minimum the algebraic connectivity among all graphs of order $n$ with the clique number $r$, respectively. In turn, an upper and lower bounds for the clique number of a graph in terms of the algebraic connectivity are obtained. Moreover, a spectral version of the Erdős-Stone theorem in terms of the algebraic connectivity of graphs is presented.

研究の動機と目的

• サイズ $n$ でクライQUE数 $r$ を持つすべてのグラフの中で、代数的連結度を最大および最小にする極値グラフを特定すること。
• グラフの代数的連結度を用いて、クライQUE数の上界と下界を導出すること。
• 代数的連結度をスペクトル的パラメータとして用いて、Erdős-Stone定理のスペクトル的バージョンを確立すること。
• クライQUE数の制約下で代数的連結度が極値をとるグラフの構造を同定すること。

提案手法

• 主なスペクトル的測度としてラプラシアン行列の2番目に小さい固有値（代数的連結度 $\alpha(G)$）を用いる。
• グラフの結合操作（$G_1 \vee G_2$）を用いて極値グラフを構成し、連結性の性質を分析する。
• エッジを反復して削除する手法を用い、連結性と代数的連結度の単調性を保ちながらグラフを簡略化する。
• 特にトーラングラフ $T_{n,r}$ を用いて、極値代数的連結度のベンチマークを提供する、既知の極値グラフ理論の結果を活用する。
• スペクトルグラフ理論の補題（例：補題4.1、補題4.2、推論4.6）を用いて、異なるグラフ族間での代数的連結度を比較する。
• クライQUEとパント成分間の頂点の隣接パターンに関する場合分けによる証明を用い、キーティングラフが最小代数的連結度を達成する最適性を示す。

実験結果

リサーチクエスチョン

• RQ1 サイズ $n$ でクライQUE数 $r$ を持つすべてのグラフの中で、代数的連結度の最大値は何か？
• RQ2 連結グラフでサイズ $n$ でクライQUE数 $r$ を持つすべてのグラフの中で、代数的連結度の最小値は何か？
• RQ3 一般のグラフにおいて、代数的連結度とクライQUE数の関係は何か？
• RQ4 Erdős-Stone定理は、代数的連結度をスペクトル的パラメータとして用いて再定式化可能か？
• RQ5 クライQUE数の制約下で代数的連結度が極値をとるグラフの構造的特徴は何か？

主な発見

• サイズ $n$ でクライQUE数 $r$ を持つグラフの中で、代数的連結度が最大になるのはトーラングラフ $T_{n,r}$ であり、$n = kr$ または $n = kr + r - 1$ のとき $\alpha(G) = n - \lceil n/r \rceil$ となる。それ以外の場合は、$t$ 個の孤立頂点と $K_r$-フリーなグラフの結合構造によって達成される。
• 連結グラフでサイズ $n$ でクライQUE数 $r$ を持つものの中で、代数的連結度が最小になるのはキーティングラフ $Ki_{n,r}$ であり、これは $K_r$ に長さ $n - r$ のパントパスが1つの頂点に接続されたものである。
• 漸近的スペクトル版のErdős-Stone定理が確立された：$\lim_{n \to \infty} \frac{\alpha(n, \mathcal{H})}{n} = 1 - \frac{1}{\psi(\mathcal{H})}$ であり、$\psi(\mathcal{H}) = \min\{\chi(H) \mid H \in \mathcal{H}\} - 1$ である。これにより、代数的連結度と極値グラフ理論が結びつけられる。
• クライQUE数 $r$ に対する上界が導出された：$r \leq n + 1 - \frac{4}{n\alpha(G)}$ であり、これはキーティングラフに対する下界 $\alpha(G) \geq \frac{4}{n(n - r + 1)}$ に基づく。
• クライQUE数 $r$ を持つグラフ $G$ に対して、$\frac{n}{n - \alpha(G)} \leq r$ が成り立つ。これは $\alpha(G)$ を用いた $r$ の下界を提供する。
• サイズ $n = kr + t$ で $0 < t < r - 1$ のとき、上界 $\alpha(G) \leq n - \lceil n/r \rceil$ における等号成立は、$t$ 個の孤立頂点と $K_{r+1-t}$-フリーなグラフの結合構造に限られ、トーラン型構成の極値性が裏付けられる。