Brandt [Discrete Math. 183 (1998) 17–25] conjectured that the least signless Laplacian eigenvalue of every regular triangle-free graph of order is at most . Using flag algebras, Balogh, Clemen, Lidický, Norin and Volec [SIAM J. Discrete Math. 37 (2023) 1173–1179] established the stronger bound for all triangle-free graphs. We investigate the effect of additionally excluding pentagons and prove that every -free graph of order satisfies , without any regularity assumption. The proof combines seven-vertex flag inequalities with local Rayleigh constraints that retain the least eigenvalue throughout the counting argument. An exact integer certificate establishes the required inequality.

生成讲解博客的中文版本

生成AI智能校验的中文版本