On the Corr\'adi-Hajnal Theorem and a question of Dirac

TL;DR

This paper characterizes graphs with minimum degree just below the Corrádi-Hajnal threshold that contain k disjoint cycles, answering a longstanding question of Dirac and refining existing Ore-type cycle conditions.

Contribution

It provides a complete characterization of graphs with minimum degree 2k-1 containing k disjoint cycles, extending Corrádi-Hajnal and Dirac's questions, and refines Ore-type cycle conditions for larger k.

Findings

Characterization of graphs with δ(G) ≥ 2k-1 containing k disjoint cycles.

Refinement of Ore-type conditions for k ≥ 3 and n ≥ 3k+1.

Connection of the case k=2 to Lovász's characterization of multigraphs without two disjoint cycles.

Abstract

In 1963, Corr\'adi and Hajnal proved that for all $k\geq1$ and $n\geq3k$, every graph $G$ on $n$ vertices with minimum degree $\delta(G)\geq2k$ contains $k$ disjoint cycles. The bound $\delta(G) \geq 2k$ is sharp. Here we characterize those graphs with $\delta(G)\geq2k-1$ that contain $k$ disjoint cycles. This answers the simple-graph case of Dirac's 1963 question on the characterization of $(2k-1)$-connected graphs with no $k$ disjoint cycles. Enomoto and Wang refined the Corr\'adi-Hajnal Theorem, proving the following Ore-type version: For all $k\geq1$ and $n\geq3k$, every graph $G$ on $n$ vertices contains $k$ disjoint cycles, provided that $d(x)+d(y)\geq 4k-1$ for all distinct nonadjacent vertices $x,y$. We refine this further for $k\geq3$ and $n\geq3k+1$: If $G$ is a graph on $n$ vertices such that $d(x)+d(y)\geq 4k-3$ for all distinct nonadjacent vertices $x,y$, then $G$ has $k$ vertex-disjoint cycles if and only if the independence number $\alpha(G)\leq n-2k$ and $G$ is not one of two small exceptions in the case $k=3$. We also show how the case $k=2$ follows from Lov\'asz' characterization of multigraphs with no two disjoint cycles.