[論文レビュー] The spectral even cycle problem

Sebastian M. Cioabă, Dheer Noal Desai+1 more|arXiv (Cornell University)|May 2, 2022

Graph theory and applications被引用数 5

ひとこと要約

この論文は、2010年にニキフォロフが提起したスペクトル的ターラン問題に関する予想を、偶数長のサイクルに対して解決した。十分に大きな $n$ に対して、$C_{2k+2}$-自由なグラフの中で最大のスペクトル半径をもつのは $S_{n,k}^+$ であり、${C_{2k+1}, C_{2k+2}}$-自由なグラフの中で最大のスペクトル半径をもつのは $S_{n,k}$ である。ここで $S_{n,k}$ は $k$-クリークとサイズ $n-k$ の独立集合の直和であり、$S_{n,k}^+$ は独立集合に1本の辺を追加したものである。証明はスペクトルグラフ理論、ペロンベクトル解析、および極値グラフ構造の議論を用い、極値グラフが完全二部グラフ $K_{k,n-k}$ を含む必要があることを示し、結果として一意な極値構造が得られる。

ABSTRACT

In this paper, we study the maximum adjacency spectral radii of graphs of large order that do not contain an even cycle of given length. For $n>k$, let $S_{n,k}$ be the join of a clique on $k$ vertices with an independent set of $n-k$ vertices and denote by $S_{n,k}^+$ the graph obtained from $S_{n,k}$ by adding one edge. In 2010, Nikiforov conjectured that for $n$ large enough, the $C_{2k+2}$-free graph of maximum spectral radius is $S_{n,k}^+$ and that the $\{C_{2k+1},C_{2k+2}\}$-free graph of maximum spectral radius is $S_{n,k}$. We solve this two-part conjecture.

研究の動機と目的

• ニキフォロフの2010年の予想、偶数サイクルに対するスペクトル的ターラン問題を解決すること。
• 禁止された偶数サイクルの制約下で隣接行列のスペクトル半径を最大にする一意な極値グラフを特定すること。
• $S_{n,k}^+$ が十分に大きな $n$ に対して一意に $C_{2k+2}$-自由グラフの中で最大のスペクトル半径をもつことを証明すること。
• $S_{n,k}$ が十分に大きな $n$ に対して一意に ${C_{2k+1}, C_{2k+2}}$-自由グラフの中で最大のスペクトル半径をもつことを証明すること。
• スペクトル的手法とペロンベクトル解析を用いて、極値グラフの構造的剛性を確立すること。

提案手法

• 古典的ターラン問題における辺数の代わりに、極値パラメータとしてスペクトル半径 $\lambda(G)$ を用いる。
• $S_{n,k} = K_k \vee \overline{K}_{n-k}$ および $S_{n,k}^+ = K_k \vee (\overline{K}_{n-k-2} \cup K_2)$ を候補となる極値グラフとして定義する。
• 辺の変更後のスペクトル半径を比較するためにレイリー商を適用し、グラフが $S_{n,k}^+$ や $S_{n,k}$ でない限り $\lambda$ が増加することを示す。
• ペロンベクトルを用いて近傍の重みを分析し、近傍におけるペロン重みの和の下界を導出する。
• 頂点集合を $L'$（$k$-クリーク）、$R$（残りの頂点）、$E$（$L'$ のすべての頂点に隣接しない例外的頂点）に分割する。
• $E = \emptyset$ を背理法で証明する：$E \ne \emptyset$ ならば、$E$ に誘導される部分グラフのスペクトル半径が大きくなり、$C_{2k+2}$-自由性および既知の評価と矛盾する。

実験結果

リサーチクエスチョン

• RQ1 十分に大きな $n$ に対して、$n$ 頂点の $C_{2k+2}$-自由グラフの中で隣接行列のスペクトル半径が最大となるのはどれか？
• RQ2 十分に大きな $n$ に対して、$n$ 頂点の ${C_{2k+1}, C_{2k+2}}$-自由グラフの中で隣接行列のスペクトル半径が最大となるのはどれか？
• RQ3 $S_{n,k}^+$ は $C_{2k+2}$-自由グラフの中で最大のスペクトル半径を達成する唯一の極値グラフか？
• RQ4 $S_{n,k}$ は ${C_{2k+1}, C_{2k+2}}$-自由グラフの中で最大のスペクトル半径を達成する唯一の極値グラフか？
• RQ5 スペクトル的手法を用いて、偶数サイクルに対するターラン問題における極値グラフを完全に特徴づけられるか？

主な発見

• 十分に大きな $n$ に対して、$C_{2k+2}$-自由グラフの中で最大のスペクトル半径をもつのは $S_{n,k}^+$ であり、$\mathrm{SPEX}(n, C_{2k+2}) = \{S_{n,k}^+\}$ である。
• 十分に大きな $n$ に対して、$\u007bC_{2k+1}, C_{2k+2}\u007d$-自由グラフの中で最大のスペクトル半径をもつのは $S_{n,k}$ であり、$\mathrm{SPEX}(n, \u007bC_{2k+1}, C_{2k+2}\u007d) = \{S_{n,k}\}$ である。
• 極値グラフ $S_{n,k}^+$ および $S_{n,k}$ は、それぞれの禁止部分グラフ制約下でそのスペクトル半径によって一意に特徴づけられる。
• 任意の極値グラフ $H_k$ の頂点集合には、完全二部グラフ $K_{k,n-k}$ が含まれる。ここで $k$-集合はクリークをなし、残りの $n-k$ 個の頂点は独立集合または1つの辺をなす。
• $L'$ の $k$ 個の頂点すべてに隣接しない頂点の集合 $E$ は空集合である。これは、クリークでない頂点がすべて $k$-クリークに完全に隣接していることを示している。
• スペクトル半径の単調性およびペロンベクトル解析により、極値グラフは禁止サイクル集合に応じて $S_{n,k}^+$ または $S_{n,k}$ と同型であることが強制される。