On a conjecture that strengthens Kundu's k ‐factor theorem

James M. Shook
DOI: https://doi.org/10.1002/jgt.23177
2024-10-08
Journal of Graph Theory
Abstract:Let π=(d1,...,dn) be a nonincreasing degree sequence with even n . In 1974, Kundu showed that if Dk(π)=(d1−k,...,dn−k) is graphic, then some realization of π has a k ‐factor. For r≤2 , Busch et al. and later Seacrest for r≤4 showed that if r≤k and Dk(π) is graphic, then there is a realization with a k ‐factor whose edges can be partitioned into a (k−r) ‐factor and r edge‐disjoint 1‐factors. We improve this to any r≤min{k+53,k} . In 1978, Brualdi and then Busch et al. in 2012, conjectured that r=k . The conjecture is still open for k≥6 . However, Busch et al. showed the conjecture is true when d1≤n2+1 or dn≥n2+k−2 . We explore this conjecture by first developing new tools that generalize edge‐exchanges. With these new tools, we can drop the assumption Dk(π) is graphic and show that if dd1−dn+k≥d1−dn+k−1, then π has a realization with k edge‐disjoint 1‐factors. From this we confirm the conjecture when dn≥d1+k−12 or when Dk(π) is graphic and d1≤max{n∕2+dn−k,(n+dn)∕2} .
mathematics
What problem does this paper attempt to address?