[論文レビュー] Maxima of the Q-index: forbidden 4-cycle and 5-cycle

Maria Aguieiras A. de Freitas, Vladimir Nikiforov+1 more|arXiv (Cornell University)|Aug 7, 2013

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

ひとこと要約

本稿は、4-サイクルと5-サイクルを含まないグラフにおける最大の符号なしラプラシアン固有値半径（Q-インデックス）を決定する。n ≥ 4 に対して、4-サイクルが存在しない場合、Q-インデックスは友愛グラフ $F_n$ によって厳密に最大化され、5-サイクルが存在しない場合、結合 $S_{n,2}$ によって最大化される。等号成立はこれらの極値グラフに限る。これらの結果は、禁止サイクル問題におけるタイトなスペクトル的極値境界を確立し、古典的辺極値理論とは顕著な相違を示している。

ABSTRACT

This paper gives tight upper bounds on the largest eigenvalue q(G) of the signless Laplacian of graphs with no 4-cycle and no 5-cycle. If n is odd, let F_{n} be the friendship graph of order n; if n is even, let F_{n} be F_{n-1} with an edge hanged to its center. It is shown that if G is a graph of order n, with no 4-cycle, then q(G)

研究の動機と目的

• 4-サイクルを含まないn次グラフの最大Q-インデックス（符号なしラプラシアンの最大固有値）を特定すること。
• 5-サイクルを含まないn次グラフの最大Q-インデックスを特定すること。
• 極値グラフが一意であり、それぞれ $F_n$（4-サイクルを含まないグラフ）および $S_{n,2}$（5-サイクルを含まないグラフ）という特定の構成に対応することを確立すること。
• Q-インデックスのスペクトル的極値結果と、古典的辺極値理論およびスペクトル半径極値理論の結果を対比すること。
• 長さの異なる奇数および偶数サイクルに対するQ-インデックス極値グラフに関する予想を提示し、それを支持すること。

提案手法

• 証明はスペクトルグラフ理論と固有値のインタラーシングを用い、最大Q-インデックスを達成する頂点の近傍構造を特に分析する。
• Erdős–Gallai定理を適用して、$P_4$ を含まない部分グラフの構造を制約し、このような部分グラフは互いに素な三角形の直和でなければならないことを示す。
• 頂点の近傍とグラフの残りの部分との間の辺数を、次数制約と関数 $f(x) = x + (n-3)/x$ における凸性の議論を用いて評価する。
• Rayleigh商と符号なしラプラシアン行列のトレースを用いて、Q-インデックスを含む不等式を導出する。
• 証明は背理法を用いる：$q(G) \neq q(F_n)$ または $q(G) \neq q(S_{n,2})$ であるようなグラフ $G$ を仮定すると、Q-インデックスの導出された上界と矛盾する。
• 既知の極値グラフ構成を活用する：奇数nに対しては、友愛グラフ（共通頂点を持つ三角形の集合）$F_n$ であり、偶数nに対しては $F_{n-1}$ に中心部に辺を追加したものである。

実験結果

リサーチクエスチョン

• RQ1 4-サイクルを含まないn次グラフの最大Q-インデックスは何か？ また、どのグラフがそれを達成するか？
• RQ2 5-サイクルを含まないn次グラフの最大Q-インデックスは何か？ また、どのグラフがそれを達成するか？
• RQ3 禁止サイクルに対するQ-インデックスの極値挙動は、隣接行列スペクトル半径および辺極値関数のそれとどのように異なるか？
• RQ4 禁止サイクル制約下で、Q-インデックス問題の極値グラフは一意か？
• RQ5 より長い偶数および奇数サイクルに対する極値グラフは、同様の方法で特徴付けられるか？

主な発見

• n ≥ 4 に対して、4-サイクルを含まないグラフ $G$ について、$q(G) < q(F_n)$ が成り立ち、$G = F_n$ である場合に限り等号が成立する。ここで $F_n$ は友愛グラフである。
• n ≥ 6 に対して、5-サイクルを含まないグラフ $G$ について、$q(G) < q(S_{n,2})$ が成り立ち、$G = S_{n,2}$ である場合に限り等号が成立する。ここで $S_{n,2}$ は $K_2$ とサイズ $n-2$ の独立集合の結合である。
• 友愛グラフ $F_n$ はすべての $C_4$-フリーなグラフの中で最大のQ-インデックスを達成し、$S_{n,2}$ はすべての $C_5$-フリーなグラフの中で最大のQ-インデックスを達成する。
• 禁止サイクル制約下でのQ-インデックスの極値グラフは、古典的極値グラフ理論におけるそれらとは構造的に異なる。特に、辺を最大化する構成とは顕著に異なる。
• 結果は、Q-インデックス極値問題と隣接行列スペクトル半径のそれとの間で顕著な相違を示しており、特に禁止偶数サイクルの下での挙動において顕著である。
• 本稿では2つの予想を提示する：奇数サイクル $C_{2k+1}$ に対しては極値グラフは $S_{n,k}$ である。偶数サイクル $C_{2k+2}$ に対しては $S_{n,k}^+$ である。ここで $S_{n,k}^+$ は $S_{n,k}$ に辺を1本追加して得られるグラフである。