[論文レビュー] Sharp Bounds for the Signless Laplacian Spectral Radius in Terms of Clique Number

Bian He, Ya-Lei Jin+1 more|arXiv (Cornell University)|Sep 14, 2012

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

ひとこと要約

本稿は、クライク数 ω に基づいて、連結グラフの符号なしラプラシアン固有値半径の鋭い上界と下界を確立する。極値構造としてツーラングラフとキーティングラフを用い、ω ≥ 3 の場合に最大固有値半径はツーラングラフ $T_{n,\omega}$ で達成され、ω = 2 の場合に最大は完全二部グラフで達成され、最小はキーティングラフ $Ki_{n,\omega}$ で達成される。これらの結果は、ハンセンとルーカス（2010）の2つの予想を反証する。

ABSTRACT

In this paper, we present a sharp upper and lower bounds for the signless Laplacian spectral radius of graphs in terms of clique number. Moreover, the extremal graphs which attain the upper and lower bounds are characterized. In addition, these results disprove the two conjectures on the signless Laplacian spectral radius in [P. Hansen and C. Lucas, Bounds and conjectures for the signless Laplacian index of graphs, Linear Algebra Appl., 432(2010) 3319-3336].

研究の動機と目的

• クライク数 $\omega$ を用いて、連結グラフの符号なしラプラシアン固有値半径 $q_1(G)$ の鋭い上界と下界を導出すること。
• 特にツーラングラフとキーティングラフに注目して、これらの境界を達成する極値グラフを同定すること。
• ハンセンとルーカス（2010）が提示した、$q_1 - \omega$ および $q_1 / \omega$ に対する $n$ に関する上界に関する2つの予想を、極値グラフ構成を用いて反証すること。
• クライク数と固有値半径の境界を結びつけることで、符号なしラプラシアン行列へのツーラン型極値問題の拡張を含め、スペクトル極値グラフ理論に貢献すること。

提案手法

• ツーラングラフ $T_{n,\omega}$ の構造を用いて $q_1(G)$ の上界を導出し、$n = k\omega + r$（$0 \leq r < \omega$）の条件下で、$k$、$r$、$\omega$ を含む閉形式の式で表される境界を提示する。
• 頂点の複製と辺の追加の手法を適用し、連結グラフにおいて $q_1(G)$ が辺の追加とともに厳密に増加することを示し、極値グラフとの比較を可能にする。
• キーティングラフ $Ki_{n,\omega}$（$K_\omega$ がパス $P_{n-\omega}$ にブリッジで接続されたグラフ）の既知の固有値半径結果を下界の基準として用いる。
• 行列解析と固有値の交互性技術を用いて、$q_1(G)$ を $q_1(Ki_{n,\omega})$ および $q_1(T_{n,\omega})$ と比較する。
• 上界が $\omega \geq 3$ の場合にのみ $T_{n,\omega}$ で、$\omega = 2$ の場合にのみ完全二部グラフでのみ達成されることを証明することで、等号成立条件を確立する。
• 具体的な例（$T_{10,3}$ と 7 頂点グラフ $G_2$）を用いて境界の妥当性を検証し、既存の境界（11）–（14）と比較する。

実験結果

リサーチクエスチョン

• RQ1 クライク数 $\omega$ を用いて、連結グラフの符号なしラプラシアン固有値半径 $q_1(G)$ の最も鋭い上界は何か？
• RQ2 与えられた $n$ と $\omega$ に対して、$q_1(G)$ の最大値と最小値を達成するグラフはどれか？
• RQ3 ハンセンとルーカス（2010）の予想（$q_1 - \omega \leq \frac{3}{2}n - 4$ および $\frac{q_1}{\omega} \leq \frac{n}{2}$）は、極値グラフ構成を用いて反証可能か？
• RQ4 ツーラングラフとキーティングラフのスペクトル特性は、$q_1(G)$ の既知の境界とどのように比較されるか？
• RQ5 クライク数 $\omega$ を持つ位数 $n$ の連結グラフにおいて、$q_1(G)$ の最小値はどれほど小さくなるか？

主な発見

• 符号なしラプラシアン固有値半径 $q_1(G)$ の鋭い上界は、$\frac{(3\omega-4)k + 3r - 2 + \sqrt{k^2\omega^2 + [(2r+4)\omega - 8r]k + (r-2)^2}}{2}$ で与えられ、$n = k\omega + r$（$0 \leq r < \omega$）の下で、等号が成り立つのは $\omega \geq 3$ の場合に $G$ がツーラングラフ $T_{n,\omega}$ で、$\omega = 2$ の場合に完全二部グラフであるときのみである。
• 符号なしラプラシアン固有値半径 $q_1(G)$ の下界は $q_1(Ki_{n,\omega})$ であり、$Ki_{n,\omega}$ は $K_\omega$ がパス $P_{n-\omega}$ にブリッジで接続されたキーティングラフであり、等号が成り立つのは $G = Ki_{n,\omega}$ のときのみである。
• $\omega \geq 3$ の場合、最小固有値半径は $\frac{2\omega - 1 + \sqrt{4\omega^2 - 12\omega + 17}}{2}$ で下から抑えられ、等号が成り立つのは $\omega = n - 1$ かつ $G = Ki_{n,n-1}$ のときのみである。
• 上界は $2n(1 - \frac{1}{\omega})$ に簡略化され、$q_1(G) \leq 2n(1 - \frac{1}{\omega})$ が成り立ち、等号は $T_{n,\omega}$ で成立する。
• 結果として、ハンセンとルーカス（2010）の予想 1.1 は反証され、境界を達成する極値グラフは完全マッチングの補グラフではない。
• 数値的比較により、提案された境界（4）は、$T_{10,3}$ や $G_2$ のような特定のグラフにおいて、既存の境界（11）–（14）よりも鋭い上界推定を示している。