English

A sharp spectral extremal result for general non-bipartite graphs

Combinatorics 2025-12-16 v3

Abstract

For a graph family F\mathcal F, let ex(n,F)\mathrm{ex}(n,\mathcal F) and spex(n,F)\mathrm{spex}(n,\mathcal F) denote the maximum number of edges and maximum spectral radius of an nn-vertex F\mathcal F-free graph, respectively, and let EX(n,F)\mathrm{EX}(n,\mathcal F) and SPEX(n,F)\mathrm{SPEX}(n,\mathcal F) denote the corresponding sets of extremal graphs. Wang, Kang, and Xue showed that if r2r\ge 2 and ex(n,F)=e(Tn,r)+O(1)\mathrm{ex}(n,F)=e(T_{n,r})+O(1) then SPEX(n,F)EX(n,F)\mathrm{SPEX}(n,\mathcal F)\subseteq\mathrm{EX}(n,\mathcal F) for nn large enough. Fang, Tait, and Zhai extended this result by showing if e(Tn,r)ex(n,F)<e(Tn,r)+n/2re(T_{n,r})\le\mathrm{ex}(n,\mathcal F)<e(T_{n,r})+\lfloor n/2r\rfloor then SPEX(n,F)EX(n,F)\mathrm{SPEX}(n,\mathcal F)\subseteq\mathrm{EX}(n,\mathcal F) for nn large enough, and asked for the maximum constant c(r)c(r) such that ex(n,F)e(Tn,r)+(c(r)ε)n\mathrm{ex}(n,\mathcal F)\le e(T_{n,r})+(c(r)-\varepsilon)n guarantees such containment. In this paper we determine c(r)c(r) exactly for all r3r\ge 3.

Keywords

Cite

@article{arxiv.2411.18637,
  title  = {A sharp spectral extremal result for general non-bipartite graphs},
  author = {John Byrne},
  journal= {arXiv preprint arXiv:2411.18637},
  year   = {2025}
}

Comments

35 pages, 1 figure. Revised version for LAA

R2 v1 2026-06-28T20:15:03.722Z