arXiv++ Combinatorics

For a fixed integer $\ell \ge 2$, we study what values of chromatic index and chromatic number can be attained by some $\ell$-fold cyclic cover of a loopless multigraph. For edge-coloring, we first investigate the density, a fundamental lower bound for the chromatic index, and show that the density of every $\ell$-fold cyclic cover of a graph $G$ is at most that of $G$. We further prove that if $\ell$ is even, then the spectrum of chromatic indices over all $\ell$-fold cyclic covers of $G$ contains every integer between $Δ(G)$ and $χ'(G)$. When $\ell$ is odd, the chromatic-index spectrum need not be complete in general; for edge-chromatic critical graphs, we determine exactly which values are attainable. For vertex-coloring, we prove that if $χ(G)\ge 3$, then the spectrum of chromatic numbers over all $\ell$-fold cyclic covers of $G$ contains every integer between $3$ and $χ(G)$. Moreover, this spectrum contains $2$ if and only if $G$ is bipartite or $\ell$ is even.

Let $G$ be a loopless multigraph with maximum degree $Δ(G)$, average degree $\overline{d}(G)$, density $Γ(G)$, and chromatic index $χ'(G)$. A multigraph $G$ is called edge-$Δ$-critical if $Δ(G)=Δ$, $χ'(G)=Δ(G)+1$ and $χ'(H) \le Δ(G)$ for every proper subgraph $H\subset G$. Vizing conjectured that if $G$ is an edge-$Δ$-critical simple graph on $n$ vertices, then $\overline{d}(G) \ge Δ-1+\tfrac{3}{n}$. Motivated by this, we conjecture that every edge-$Δ$-critical multigraph $G$ satisfies $\overline{d}(G) \ge \tfrac{2Δ+2}{3}$, which is best possible. We first give a general lower bound in this direction. For any such graph $G$, \[ \overline{d}(G) \ge \begin{cases} \frac{\sqrt{17}-3}{2}(Δ+1) & \text{if } Δ\le 112;\\[4pt] \frac{Δ+\sqrt{2Δ-1}}{2} & \text{if } Δ\ge 113. \end{cases} \] This bound can be further improved under an additional condition on the multiplicity $μ$. In this case, \[ \overline{d}(G)\ge \min\left\{ \frac{2μΔ+2μ(2μ-1)}{4μ-1},\; \frac{\sqrt{17}-3}{2}(Δ+1) \right\}. \] We also confirm the conjecture for $Δ\in \{2,3,4,5,6,7,8\}$. As a consequence, Goldberg's conjecture~\cite{Goldberg1984} holds for $Δ(G)\in\{2,3,4,5\}$, that is, every multigraph $G$ with $χ'(G)\ge Δ(G)+1$ satisfies $Γ(G)\ge Δ(G)$.

Let $G$ be a simple graph. The $k$-th neighborhood of a vertex subset $S \subseteq V(G)$, denoted $Λ^k(S)$, is the set of vertices that are adjacent to at least $k$ vertices in $S$. The $k$-th binding number $β^k(G)$ is defined as the minimum ratio $|Λ^k(S)|/|S|$ over all subsets $S \subseteq V(G)$ with $|S| \ge k$ and $Λ^k(S) \ne V(G)$. This parameter generalizes the classical binding number introduced by Woodall. Andersen showed that the condition $β^1(G) \ge 1$ does not guarantee the existence of a $1$-factor in $G$, while Barát et al. proved that $β^2(G) \ge 1$ suffices for the existence of a $2$-factor. In this paper, we extend this result to general $k \ge 2$ by showing that any graph $G$ with even $k|V(G)|$ and $β^k(G) \ge 1$ contains a $k$-factor. Moreover, if $G$ is additionally a split graph of even order, then it admits a $(k+1)$-factor. We also prove that any graph $G$ with $β^k(G) \ge 1$ contains at least $k-1$ disjoint perfect or near-perfect matchings. Finally, for any bipartite graph $G$ with bipartition $(X, Y)$, we introduce an analogue of the $k$-th binding number and show that, under the condition $β^k(G, X) \ge 1$, the graph admits $k$ disjoint matchings, each covering $X$.

The super-neighborhood of a vertex set $A$ in a graph $G$, denoted by $Λ^2(A)$, is the set of vertices adjacent to at least two vertices in $A$. We say that a bipartite graph $G=(X, Y)$ with $|X| \geq 2$ satisfies the double Hall property (with respect to $X$) if $|Λ^2(A)| \geq |A|$ for any subset $A \subseteq X$ with $|A| \geq 2$. Kostochka et al. first conjectured that if a bipartite graph $G=(X, Y)$ satisfies a slightly weaker version of the double Hall property, then $G$ contains a cycle that covers all vertices of $X$. They verified their conjecture for $|X| \leq 6$. In this paper, we extend their result to $|X| = 7$. Later, Salia conjectured that every bipartite graph satisfying the double Hall property has a cycle covering all vertices of $X$. We show that Salia's conjecture is almost equivalent to a much weaker conjecture requiring vertices in $Y$ to have high degrees. By extending a result of Barát et al., we also show that Salia's conjecture holds for some graphs where the vertices of $Y$ have degree either $2$ or very high. Finally, we establish a lower bound for the maximum degree of graphs satisfying the double Hall property and present deterministic and probabilistic constructions of such graphs that approach this bound.