[论文解读] The spectral even cycle problem

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

Graph theory and applications被引用 5

一句话总结

该论文通过证明：对于足够大的 $n$，在 $C_{2k+2}$-free 图中，具有最大谱半径的图是 $S_{n,k}^+$，而在 $\{C_{2k+1}, C_{2k+2}\}$-free 圖中，具有最大谱半径的圖是 $S_{n,k}$，从而解决了 Nikiforov 于 2010 年提出的关于偶圈谱 Turán 问题的猜想。其中 $S_{n,k}$ 是一个 $k$-团与大小为 $n-k$ 的独立集的连通图，而 $S_{n,k}^+$ 在独立集中额外增加一条边。证明过程运用了谱图论、Perron 向量分析以及极值图结构论证，表明极值图必须包含一个完全二部图子图 $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.

研究动机与目标

• 解决 Nikiforov 于 2010 年提出的关于偶圈谱 Turán 问题的猜想。
• 确定在禁止偶圈约束下，使邻接谱半径最大的唯一极值图。
• 证明当 $n$ 足够大时，$S_{n,k}^+$ 是唯一 $C_{2k+2}$-free 图中具有最大谱半径的图。
• 证明当 $n$ 足够大时，$S_{n,k}$ 是唯一 $\{C_{2k+1}, C_{2k+2}\}$-free 圖中具有最大谱半径的图。
• 通过谱方法和 Perron 向量分析，建立极值图的结构刚性。

提出的方法

• 以谱半径 $\lambda(G)$ 作为极值参数，替代经典 Turán 问题中的边数。
• 定义 $S_{n,k} = K_k \vee \overline{K}_{n-k}$ 和 $S_{n,k}^+ = K_k \vee (\overline{K}_{n-k-2} \cup K_2)$ 作为候选极值图。
• 应用 Rayleigh 商比较边修改后的谱半径，表明除非图是 $S_{n,k}^+$ 或 $S_{n,k}$，否则偏离将导致 $\lambda$ 增大。
• 利用 Perron 向量分析邻域权重，并推导出邻域中 Perron 权重之和的下界。
• 将顶点集划分为 $L'$（一个 $k$-团）、$R$（其余顶点）和 $E$（不与 $L'$ 中所有顶点相邻的异常顶点）。
• 通过反证法证明 $E = \emptyset$：若 $E \ne \emptyset$，则 $E$ 诱导的子图的谱半径将较大，与 $C_{2k+2}$-freeness 及已知界矛盾。

实验结果

研究问题

• RQ1 对于足够大的 $n$，$n$ 个顶点的 $C_{2k+2}$-free 图中，邻接谱半径最大的图是什么？
• RQ2 对于足够大的 $n$，$n$ 个顶点的 $\{C_{2k+1}, C_{2k+2}\}$-free 圖中，邻接谱半径最大的图是什么？
• RQ3 $S_{n,k}^+$ 是否是唯一实现 $C_{2k+2}$-free 图中最大谱半径的极值图？
• RQ4 $S_{n,k}$ 是否是唯一实现 $\{C_{2k+1}, C_{2k+2}\}$-free 圖中最大谱半径的极值图？
• RQ5 谱方法能否完全刻画偶圈 Turán 问题中的极值图？

主要发现

• 对于足够大的 $n$，$C_{2k+2}$-free 圖中具有最大谱半径的图是 $S_{n,k}^+$，且 $\mathrm{SPEX}(n, C_{2k+2}) = \{S_{n,k}^+\}$。
• 对于足够大的 $n$，$\{C_{2k+1}, C_{2k+2}\}$-free 圖中具有最大谱半径的图是 $S_{n,k}$，且 $\mathrm{SPEX}(n, \{C_{2k+1}, C_{2k+2}\}) = \{S_{n,k}\}$。
• 在各自禁止子图约束下，极值图 $S_{n,k}^+$ 和 $S_{n,k}$ 通过其谱半径被唯一刻画。
• 任意极值图 $H_k$ 的顶点集必须包含一个完全二部图子图 $K_{k,n-k}$，其中 $k$-集合构成一个团，其余 $n-k$ 个顶点构成一个独立集或一条单边。
• $L'$ 中的 $k$ 个顶点不相邻的顶点集合 $E$ 为空，意味着所有非团顶点均与 $k$-团完全相邻。
• 谱半径的单调性与 Perron 向量分析迫使极值图同构于 $S_{n,k}^+$ 或 $S_{n,k}$，具体取决于禁止的圈集合。