Stability for Vertex Cycle Covers

  • József Balogh
  • Frank Mousset
  • Jozef Skokan
Keywords: Dirac's Theorem, Stability Theorem, Vertex Cycle Covers, Regularity

Abstract

In 1996 Kouider and Lonc proved the following natural generalization of Dirac's Theorem: for any integer k2, if G is an n-vertex graph with minimum degree at least n/k, then there are k1 cycles in G that together cover all the vertices.

This is tight in the sense that there are n-vertex graphs that have minimum degree n/k1 and that do not contain k1 cycles with this property. A concrete example is given by In,k=KnK(k1)n/k+1 (an edge-maximal graph on n vertices with an independent set of size (k1)n/k+1). This graph has minimum degree n/k1 and cannot be covered with fewer than k cycles. More generally, given positive integers k1,,kr summing to k, the disjoint union Ik1n/k,k1++Ikrn/k,kr is an n-vertex graph with the same properties.

In this paper, we show that there are no extremal examples that differ substantially from the ones given by this construction. More precisely, we obtain the following stability result: if a graph G has n vertices and minimum degree nearly n/k, then it either contains k1 cycles covering all vertices, or else it must be close (in ‘edit distance') to a subgraph of Ik1n/k,k1++Ikrn/k,kr, for some sequence k1,,kr of positive integers that sum to k.

Our proof uses Szemerédi's Regularity Lemma and the related machinery.

Published
2017-09-08
Article Number
P3.56