Connected equitably $Δ$-colorable realizations with $k$-factors (2503.00222v1)

Abstract: A graph $G$ is said to be equitably $c$-colorable if its vertices can be partitioned into $c$ independent sets that pairwise differ in size by at most one. Chen, Lih, and Wu conjectured that every connected graph $G$ with maximum degree $\Delta(G)\geq 2$ has an equitable coloring with $\Delta(G)$ colors, except when $G$ is complete, an odd cycle, or a balanced bipartite graph with odd sized partitions. Suppose $G$ is a connected graph with a $k$-factor (a regular spanning subgraph) $F$ such that $G$ is not complete, a $1$-factor, nor an odd cycle. When $k\geq 1$ we demonstrate that there is a connected $(k-1)$ edge-connected equitably $\Delta(G)$-colorable graph $H$ with a $k$-factor $F'$ such that $G-E(F)=H-E(F')$. If we drop the requirement that $G-E(F)=H-E(F')$, then we can say more. Considering the non-increasing degree sequence $\pi=(d_{1},\ldots, d_{n})$ of $G$ where $d_{i}=deg_{G}(v_{i})$ for all vertices ${v_{1},\ldots,v_{n}}$ of $G$, we call $m(\pi)=\max{i|d_{i}\geq i}$ the strong index of $\pi$. For $k\geq 0$, we can show that for every $$c\geq \max_{l\leq m(\pi)}\bigg{\bigg\lfloor\frac{d_{l}+l}{2}\bigg\rfloor\bigg}+1$$ we can find a connected $(k-1)$ edge-connected equitably $c$-colorable realization $H$ of $\pi$ that has a $k$-factor. In a third theorem we show that if $d_{d_{1}-d_{n}+1}\geq d_{1}-d_{n}+k-1$, then some realization of $\pi$ has a $k$-factor. Together, these three theorems allow us to prove that for all $k$, there is a connected equitably $\Delta(G)$-colorable realization $H$ of $\pi$ with a $k$-factor. Thus, giving support to the validity of the Chen-Lih-Wu Conjecture.