Year: 2026
Type: preprint
Abstract: For a fixed integer $k\ge 2$, let $W_{2k+1}=K_1\vee C_{2k}$ be an odd wheel graph. The fixed-size spectral extremal problem aims to determine \[ \operatorname{spex}(m,W_{2k+1}):=\max\{ρ(G): e(G)=m,\ G \text{ is } W_{2k+1}\text{-free}\}, \] where $ρ(G)$ denotes the adjacency spectral radius. Based on this problem, Yu, Li, and Peng [18] proposed the following conjecture: For large $m$, every $W_{2k+1}$-free graph of size $m$ satisfies $ρ(G)^2-(k-1)ρ(G)\le m-\binom{k}{2}$ with equality precisely for $K_k\vee qK_1$ and $m-\binom{k}{2}=kq$. Very recently, Fang, Zhai and Zhang [7] confirmed the Yu--Li--Peng conjecture. When $m$ is large, $k\ge 2$ and $m-\binom{k}{2}$ is not divisible by $k$, the exact solution for the above problem is still open. Regarding this problem, Yu, Zhang, and Zhang [19] proposed the following conjecture: Let $r$ be a nonzero remainder when $m-\binom{k}{2}$ is divided by $k$. Then $S_{k,m}$ is the unique graph among $W_{2k+1}$-free graphs of size $m$ having maximum spectral radius, where $S_{k,m}$ is obtained from $K_k\vee qK_1$ by adding a vertex $z$ and joining it to exactly $r$ vertices of the $K_k$. In this paper we address this problem in each nonzero residue class. Our result completely settles the Yu-Zhang-Zhang conjecture for $k\ge 3$.
Source: arXiv (Cornell University)
Authors: Chen, Honghao, Gao, Jing, Li, Shuchao
Institution: Central China Normal University
Language: English
Subfield: Discrete Mathematics and Combinatorics
Field: Mathematics
Domain: Physical Sciences
Open Access status: green
Awards: G3399293828, G3552376439
OpenAlex ID: W7213324004