Work

A counting version of Petersen's $2$-factor theorem

Year: 2026
Type: preprint
Abstract: A classical result of Petersen states that every regular graph of even degree has a $2$-factor. We prove that every $n$-vertex $2r$-regular simple graph contains at least $\left((1 + o_r(1))\frac{2r}{e}\right)^n$ distinct $2$-factors. This improves the previously known lower bound $\left((1 + o_r(1))\frac{r}{e}\right)^n$ by a factor of $2^{(1 + o(1))n}$ and is asymptotically tight for large $r$. As a direct consequence, we determine asymptotically tight bounds on the number of $2$-factorizations of a given $2r$-regular simple graph for every sufficiently large $r$.
Author: Lee, Hyunwoo
Language: English
Open Access status: green
OpenAlex ID: W7220926017
Cites: 4
Cited by:
Related to: 10