arXiv++ Combinatorics

A $(k,d)$-edge coloring of a loopless multigraph $G$ is an edge coloring using at most $k$ colors such that the subgraph formed by each color class has maximum degree at most $d$. The least such $k$ is denoted by $χ'_d(G)$. Let $G$ be a loopless non-bipartite multigraph with maximum degree $Δ(G)$ and odd girth $g_0(G)$, and let $d\ge1$ be odd. We prove that \[ χ'_d(G)\le\left\lceil\frac{g_0(G)Δ(G)-1}{dg_0(G)-1}\right\rceil. \] For $d=1$, this is Goldberg's odd-girth refinement of Shannon's theorem, while for $g_0(G)=3$ it is the defective Shannon bound of Aboulker, Aubian, and Huang. For every odd $d>1$, every odd $g_0\ge3$, and every $Δ>d$, an almost full ring multigraph $R(Δ,g_0)$, an odd cycle with edge multiplicities alternating between $\lfloorΔ/2\rfloor$ and $\lceilΔ/2\rceil$, except that two consecutive edges have multiplicity $\lfloorΔ/2\rfloor$, attains equality. We also derive a range in which the defective Goldberg--Seymour conjecture holds.

Vizing and Gupta showed that the chromatic index $χ'(G)$ of a graph $G$ is bounded above by $Δ(G) + μ(G)$, where $Δ(G)$ and $μ(G)$ denote the maximum degree and the maximum multiplicity of $G$, respectively. Steffen refined this bound, proving that $χ'(G) \leq Δ(G) + \left\lceil μ(G)/\left\lfloor g(G)/2 \right\rfloor \right\rceil$, where $g(G)$ is the girth of the graph $G$. A {\it ring graph} is a graph obtained from a cycle by duplicating some edges. The equality in Steffen's bound is achieved by ring graphs of the form $μC_g$, obtained from an odd cycle $C_g$ by duplicating each edge $μ$ times. We answer two questions posed by Stiebitz et al. regarding the characterization of graphs which achieve Steffen's bound. In particular, we show that if $G$ is a critical graph which achieves Steffen's bound with $g(G)\geq 5$ and $χ'(G)\geq Δ+2$, then $G$ must be a ring graph of odd girth.