Spectral extremal problems for non-bipartite graphs without odd cycles
arXiv:2507.11817 · doi:10.1016/j.disc.2025.114670
Abstract
A well-known result of Mantel asserts that every -vertex triangle-free graph has at most edges. Moreover, Erdős proved that if is further non-bipartite, then . Recently, Lin, Ning and Wu [Combin. Probab. Comput. 30 (2021)] established a spectral version by showing that if is a triangle-free non-bipartite graph on vertices, then , with equality if and only if , where is obtained from by subdividing an edge. In this paper, we investigate the maximum spectral radius of a non-bipartite graph without some short odd cycles. Let be the graph obtained by identifying a vertex of and a vertex of the smaller partite set of . We prove that for and , if is an -vertex -free non-bipartite graph, then , with equality if and only if . This result could be viewed as a spectral analogue of a min-degree result due to Yuan and Peng [European J. Combin. 127 (2025)]. Moreover, our result extends a result of Guo, Lin and Zhao [Linear Algebra Appl. 627 (2021)] as well as a recent result of Zhang and Zhao [Discrete Math. 346 (2023)] since we can get rid of the condition that is sufficiently large. The argument in our proof is quite different and makes use of the classical spectral stability method and the double-eigenvector technique. The main innovation lies in a more clever argument that guarantees a subgraph to be bipartite after removing few vertices, which may be of independent interest.
23 pages. Any suggestions are welcome
References in corpus (9)
- Eigenvalues and triangles in graphs
- Extensions of Erdős-Gallai Theorem and Luo's Theorem with Applications
- Spectral extremal graphs for the bowtie
- The maximum spectral radius of non-bipartite graphs forbidding short odd cycles
- Refinement on spectral Turán's theorem
- Eigenvalues and cycles of consecutive lengths
- A spectral Erdős-Faudree-Rousseau theorem
- Spectral supersaturation: Triangles and bowties
- Tight bound on the minimum degree to guarantee graphs forbidding some odd cycles to be bipartite