A strengthening of the spectral chromatic critical edge theorem: Books and theta graphs
Mingqing Zhai,Huiqiu Lin
DOI: https://doi.org/10.1002/jgt.22883
2022-09-03
Journal of Graph Theory
Abstract:A graph is color‐critical if it contains an edge whose removal reduces its chromatic number. Let T n , k be the Turán graph with n vertices and k parts. Given a graph H , let e x ( n , H ) be the Turán number of H . Simonovits' chromatic critical edge theorem states that if H is color‐critical with χ ( H ) = k + 1 , then there exists an n 0 ( H ) such that e x ( n , H ) = | E ( T n , k ) | and the Turán graph T n , k is the only extremal graph provided n ≥ n 0 ( H ) . Nikiforov proved a spectral chromatic critical edge theorem. It asserts that if H is color‐critical and χ ( H ) = k + 1 , then there exists an n 0 ( H ) (which is exponential with | V ( H ) | ) such that e x s p ( n , H ) = ρ ( T n , k ) and T n , k is the only extremal graph provided n ≥ n 0 ( H ) , where ρ ( G ) is the spectral radius of G and e x s p ( n , H ) = max { ρ ( G ) : | V ( G ) | = n and H ⊈ G } . In addition, if H is either a complete graph or an odd cycle, then n 0 ( H ) is linear with | V ( H ) | . A book graph B r is a set of r triangles sharing a common edge and a theta graph θ r is a graph which consists of two vertices connected by three internally disjoint paths with length one, two, and r . Notice that both B r and θ r are color‐critical. In this article, we prove that if ρ ( G ) ≥ ρ ( T n , 2 ) , then G contains a book B r with r > 2 13 n unless G = T n , 2 . Similarly, we prove that if ρ ( G ) ≥ ρ ( T n , 2 ) , then G contains a theta graph θ r with r > n 10 for odd r and r > n 7 for even r unless G = T n , 2 . Our results imply that n 0 ( H ) in the spectral chromatic critical edge theorem is linear with | V ( H ) | for book graphs and theta graphs. Our result for book graphs can be viewed as a spectral version of an Erdős conjecture (1962) stating that every n ‐vertex graph with | E ( G ) | > | E ( T n , 2 ) | contains a book graph B r with r > n 6 . Moreover, our result for theta graphs yields that every graph with ρ ( G ) > ρ ( T n , 2 ) contains a cycle of length t for each t ≤ n 7 . This is related to an open question by Nikiforov (2008) which asks for the maximum c such that every graph of large enough order n with ρ ( G ) > ρ ( T n , 2 ) contains a cycle of length t for every t ≤ c n .
mathematics