PreprintarXiv licencearXiv
A counting version of Petersen's $2$-factor theorem
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 ((1 + or(1))2r/e)n distinct $2$-factors. This improves the previously known lower bound ((1 + or(1))r/e)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.
Related
BibTeX
@misc{lee2026counting,
title = {{A counting version of Petersen's $2$-factor theorem}},
author = {Hyunwoo Lee},
howpublished = {arXiv},
year = {2026},
month = oct,
doi = {10.48550/arxiv.2610.10424},
eprint = {2610.10424},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2610.10424},
}
RIS
TY - UNPB
TI - A counting version of Petersen's $2$-factor theorem
AU - Hyunwoo Lee
PY - 2026
DA - 2026/10/07
PB - arXiv
DO - 10.48550/arxiv.2610.10424
UR - https://arxiv.org/abs/2610.10424
AB - 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 ((1 + o_r(1))2r/e)^n distinct $2$-factors. This improves the previously known lower bound ((1 + o_r(1))r/e)^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.
ER -