[論文レビュー] The signless Laplacian spectral radius of graphs without intersecting odd cycles

Mingzhu Chen, A-Ming Liu+1 more|arXiv (Cornell University)|Aug 9, 2021

Graph theory and applications参考文献 22被引用数 5

ひとこと要約

本稿は、交差する奇数サイクルを含まないグラフ、特に族 $F_{a_1,\dots,a_k}$ を避けるグラフに対して、符号なしラプラシアン固有値半径の鋭い上界を確立し、この上界に達する極値グラフを同定する。安定性手法とスペクトルグラフ理論を用いて、最大固有値半径が一意に完全スプリットグラフ $S_{n,t}$ によって達成されることを証明し、奇数サイクルの構造的制約下で、トゥーラン型結果をスペクトル設定に拡張する。

ABSTRACT

Let $F_{a_1,\dots,a_k}$ be a graph consisting of $k$ cycles of odd length $2a_1+1,\dots, 2a_k+1$, respectively which intersect in exactly a common vertex, where $k\geq1$ and $a_1\ge a_2\ge \cdots\ge a_k\ge 1$. In this paper, we present a sharp upper bound for the signless Laplacian spectral radius of all $F_{a_1,\dots,a_k}$-free graphs and characterize all extremal graphs which attain the bound. The stability methods and structure of graphs associated with the eigenvalue are adapted for the proof.

研究の動機と目的

• $k$ つの奇数サイクルが共通の頂点で交差するのを避けるグラフ、すなわち $F_{a_1,\dots,a_k}$-フリーなグラフにおいて、符号なしラプラシアン固有値半径の最大値を特定すること。
• この最大固有値半径に達する極値グラフを同定すること。
• 隣接行列固有値半径から符号なしラプラシアン固有値半径へのブリュアルディ＝ソルヘイド＝トゥーラン型問題の拡張を、サイクルの交差制約下で行うこと。
• 奇数サイクルに関する既知のトゥーラン型結果を、スペクトル極値設定に一般化すること。

提案手法

• $F_{a_1,\dots,a_k}$-フリーな条件下で、符号なしラプラシアン固有値半径が最大となるグラフの構造を分析するため、スペクトルグラフ理論における安定性手法を用いる。
• スペクトル半径の比較と非最適なグラフ構造の除外のため、ペロン＝フロベニウスの定理を適用する。
• 中央頂点 $u$ を削除した $G - u$ の成分を分析するための構造的補題を適用し、$P_{2t+1}$ や $F_{a_1,\dots,a_k}$ などの禁止部分グラフが形成されないことを保証する。
• 最小次数の制約を用いて部分グラフ間の辺数を評価し、既知の極値グラフ境界 $ex(n, C_{2a+1}) = \lfloor n^2/4 \rfloor$ を活用する。
• $G - u$ に誘導される部分グラフ $H_i$ の構造を分析し、それらが $S_{h_i,t-1}$ に含まれるか、または $L_{r_i,t-1}$ に同型である必要があることを示し、複数のこのような成分が存在すると矛盾が生じることを示す。
• 一意にそのような成分が存在できることを、背理法と辺数の数え上げにより証明し、極値グラフが $S_{n,t}$、すなわち完全スプリットグラフであることを結論づける。

実験結果

リサーチクエスチョン

• RQ1 共通の頂点で交差する $k$ 個の奇数サイクルを避けるグラフにおいて、符号なしラプラシアン固有値半径の最大値は何か？
• RQ2 $F_{a_1,\dots,a_k}$-フリーな条件下で、この最大固有値半径に達するグラフはどのようなものか？
• RQ3 特に奇数サイクルの共通頂点周辺のグラフ構造が、固有値半径にどのように制約を加えるか？
• RQ4 このスペクトル的および構造的制約下で、極値グラフは一意に同定可能か？

主な発見

• $F_{a_1,\dots,a_k}$-フリーなグラフの符号なしラプラシアン固有値半径の鋭い上界は $q(S_{n,t})$ であり、ここで $S_{n,t}$ は位数 $n$ およびパrameter $t$ の完全スプリットグラフである。
• この上界に達する極値グラフは一意に $S_{n,t}$ であり、これは完全グラフ $K_t$ とサイズ $n-t$ の独立集合の結合である。$n$ が十分に大きい場合に成立する。
• 固有値半径が $q(S_{n,t})$ に等しい任意のグラフは、$S_{n,t}$ に同型でなければならない。これは、ペロン＝フロベニウスの定理により、任意の真の部分グラフは厳密に小さい固有値半径を持つためである。
• $G$ が $G - u$ において最小次数 $t-1$ を持つ部分グラフを複数の成分が持つならば、$G$ は $F_{a_1,\dots,a_k}$ を部分グラフとして含むことになり、$F_{a_1,\dots,a_k}$-フリーの仮定に反する。
• 証明により、$L_{r,t-1}$ が真の部分グラフとして存在する場合、禁止されたパスやサイクルが導入され、$G = S_{n,t}$ でなければ矛盾が生じることを示している。
• この同定は $n$ が十分に大きい場合に成立し、構造的基盤として $ex(n, H_{k,s}) = \lfloor n^2/4 \rfloor + (k-1)^2$ が用いられる。