arXiv++ Combinatorics

By the Strong Perfect Graph Theorem, every graph whose chromatic number exceeds its clique number contains an odd hole or an odd antihole. We investigate the structure of odd antiholes in critical graphs with fixed maximum degree. We prove that if $G$ is a $k$-critical graph with maximum degree $Δ$ then every odd antihole in $G$ has length at most $2(Δ-k)+7$, and conjecture that, in the odd-hole-free setting, equality forces the graph itself to be the corresponding odd antihole. We verify this extremal characterization when $Δ\geq 2k-5$, extending recent results for $Δ=k$, and construct $k$-critical odd-hole-free graphs showing that the next possible odd antihole length $2(Δ-k)+5$ below the extremal bound can occur. Our proofs use a list-coloring theorem for graphs on $2\ell-1$ vertices whose complements are hypomatchable. This motivates the conjecture that every odd antihole $\overline{C_{2\ell-1}}$ is strongly $\ell$-chromatic-choosable; we show that this conjecture would imply the full extremal characterization. We also obtain degree and attachment restrictions for odd antiholes in critical graphs.

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.