A Three-Round Peeling Bound for Internal Partitions of 5- and 8-Regular Graphs
Manuscript 25 October 2026 · Online 25 October 2026
Abstract
Lin and Zeng proved that every 5-regular or 8-regular graph with at least 10000000 vertices has an internal partition. We refine their argument to the explicit threshold 500000. A third round of degree-p deletion in their weighted local-density argument bounds the number of degree-p vertices by N/p^3 + (2 + 2/p + 2/p^2)|X| under a local inequality on sets of at most 53 vertices. Explicit integer choices in the final small-surplus-set argument yield the improved threshold. More precisely, each side of every minimum bisection contains a ceil(r/2)-cohesive set. The existence results for these two degrees, the bisection strategy and the small-surplus-set lemma are prior work. This is a quantitative refinement, not a solution for arbitrary regular degree or an optimal-threshold claim. Exact finite computations supplement the written proof. This is an unrefereed, AI-assisted preprint; no independent review, formal verification or absolute priority certification is claimed.
Record
- Affiliation
- Mercury Software GmbH
- Contact
- [email protected] · GitHub
- Result
- Quantitative refinement
- Categories
- math.CO
- Manuscript
- 25 October 2026
- Online release
- 25 October 2026
- Version
- 1.0
- License
- Creative Commons Attribution 4.0 International
Files and verification
The PDF is the canonical reading copy. The source archive contains the LaTeX manuscript, bibliography, reproducibility material, and audit documents without build artefacts.
Citation
Alper Ferudun, “A Three-Round Peeling Bound for Internal Partitions of 5- and 8-Regular Graphs,” EulerSolve Research Papers, OPG-37163, 2026. https://doi.org/10.5281/zenodo.23634287.
BibTeX
@misc{ferudun2026threeroundpeeling,
author = {Ferudun, Alper},
title = {A Three-Round Peeling Bound for Internal Partitions of 5- and 8-Regular Graphs},
year = {2026},
howpublished = {EulerSolve Research Papers},
url = {https://eulersolve.org/papers/opg-37163/},
doi = {10.5281/zenodo.23634287},
note = {OPG-37163; unrefereed preprint}
}