Stability results on the circumference of a graph
In this paper, we extend and refine previous Turán-type results on graphs with a given circumference. Let Wn,k,c be the graph obtained from a clique Kc−k+1 by adding n−(c−k+1) isolated vertices each joined to the same k vertices of the clique, and let f(n,k,c)=e(Wn,k,c). Improving a celebrated theorem of Erdős and Gallai, Kopylov proved that for c<n, any 2-connected graph G on n vertices with circumference c has at most maxf(n,2,c),f(n,⌊2c⌋,c) edges. Recently, Füredi et al. proved a stability version of Kopylov's theorem. Their main result states that if G is a 2-connected graph on n vertices with circumference c such that 10≤c<n and e(G)>maxf(n,3,c),f(n,⌊2c⌋−1,c), then either G is a subgraph of Wn,2,c or Wn,⌊2c⌋,c, or c is odd and G is a subgraph of a member of two well-characterized families which we define as Xn,c and Yn,c. We prove that if G is a 2-connected graph on n vertices with minimum degree at least k and circumference c such that 10≤c<n and e(G)>maxf(n,k+1,c),f(n,⌊2c⌋−1,c), then one of the following holds: (i) G is a subgraph of Wn,k,c or Wn,⌊2c⌋,c, (ii) k=2, c is odd, and G is a subgraph of a member of Xn,c∪Yn,c, or (iii) k≥3 and G is a subgraph of the union of a clique Kc−k+1 and some cliques Kk+1's, where any two cliques share the same two vertices. This provides a unified generalization of the above result of Füredi et al. as well as a recent result of Li et al. and independently, of Füredi et al. on non-Hamiltonian graphs. Moreover, we prove a stability result on a classical theorem of Bondy on the circumference.