arXiv++ Combinatorics

A $B$-coloring of a graph is a proper edge-coloring in which every $4$-cycle is rainbow, and $q_B(G)$ denotes the minimum number of colors in such a coloring. Let $Δ_2(G)$ denote the maximum number of common neighbors of two distinct vertices of $G$. We prove that, for integers $1\le d\leΔ$, every finite simple $d$-degenerate graph $G$ with $Δ(G)\leΔ$ satisfies $$q_B(G)\le Δ+(d-1)Δ_2(G)\le dΔ.$$ Consequently, $dΔ$ is the exact maximum, with equality precisely for graphs containing $K_{d,Δ}$. More generally, if $q_B(G)\ge dΔ-s$, where $0\le s<Δ$, then $G$ contains $K_{d,Δ-s}$; if also $s<d$, then $G$ has at least $d-s$ vertices of degree $Δ$ with the same open neighborhood. For $Δ\ge3$, we further show that every $K_{3,Δ}$-free 3-degenerate graph satisfies $q_B(G)\le3Δ-2$; the example $K_{3,Δ-1}$ shows that this bound is best possible up to one. For loopless multigraphs, we establish a sharp gap in the possible values of $q_B(G)$. For every integer $Δ\ge3$, every finite loopless multigraph $G$ with $Δ(G)\leΔ$ satisfies $$q_B(G)\leΔ(Δ-1)$$ unless $G$ has a component isomorphic to $K_{Δ,Δ}$, in which case $q_B(G)=Δ^2$. The bound $Δ(Δ-1)$ is attained by both $K_{Δ,Δ-1}$ and $K_{Δ,Δ}-e$. Consequently, among finite loopless multigraphs with maximum degree at most $Δ$, no value of $q_B(G)$ lies strictly between $Δ^2-Δ$ and $Δ^2$.

A graph is 1-planar if it can be drawn in the plane so that each edge is crossed by at most one other edge. A graph is $k$-degenerate if each of its subgraphs contains a vertex of degree at most $k$. It was known that every 1-planar graph is 8-choosable. In this paper, we show that every 1-planar graph without 6-cycles is 5-degenerate and hence 6-choosable.

For an oriented graph $D$, let $\vecα(D)$ be the maximum order of an induced acyclic subdigraph, $\vecχ(D)$ its dichromatic number, and $\mathrm{fas}(D)$ the minimum number of arcs whose deletion makes $D$ acyclic. We prove that for every fixed $ζ\in (0, 1/2)$, there are triangle-free graphs $G_n$ on $n$ vertices such that a uniformly random orientation $D_n$ satisfies, $$ \left( \frac{1}{2} - ζ\right) e(G_n[U]) < \mathrm{fas}(D_n[U]) \leq \frac{1}{2} e(G_n[U]) $$ with probability at least $1-\exp\!\left[-Ω_ζ\!\left(\sqrt n\,(\log n)^{3/2}\right)\right]$ simultaneously for every vertex set $U$ of size at least $C_ζ\sqrt{n\log n}$. The upper bound is universal, so the feedback-arc ratio can be made arbitrarily close to the largest possible value, uniformly over all sufficiently large induced subdigraphs. In particular, $\vecα(D_n) = O(\sqrt{n \log n})$, and every linear-size induced subdigraph has dichromatic number $Ω(\sqrt{n/\log n})$. This yields $\vecα(n) = Θ(\sqrt{n \log n})$ and $\vec{t}(n) = Θ\left(\sqrt{\frac{n}{\log n}}\right)$, where $\vecα(n)$ and $\vec{t}(n)$ denote, respectively, the minimum of $\vecα(D)$ and the maximum of $\vecχ(D)$ over all oriented triangle-free graphs $D$ of order $n$. This confirms two conjectures of Aboulker, Havet, Pirot, and Schabanel.

The chromatic index $χ'(G)$ of a graph $G$ is the smallest $k$ for which $G$ admits an edge $k$-coloring such that any two adjacent edges have distinct colors. The strong chromatic index $χ'_s(G)$ of $G$ is the smallest $k$ such that $G$ has an edge $k$-coloring with the condition that any two edges at distance at most 2 receive distinct colors. A graph is 1-planar if it can be drawn in the plane so that each edge is crossed by at most one other edge. In this paper, we show that every graph $G$ with maximum average degree $\bar{d}(G)$ has $χ'_{s}(G)\le (2\bar{d}(G)-1)χ'(G)$. As a corollary, we prove that every 1-planar graph $G$ with maximum degree $Δ$ has $χ'_{\rm s}(G)\le 14Δ$, which improves a result, due to Bensmail et al., which says that $χ'_{\rm s}(G)\le 24Δ$ if $Δ\ge 56$.

The {\em chromatic edge-stability number} $es_χ(G)$ of a graph $G$ is the minimum number of edges whose removal results in a spanning subgraph with the chromatic number smaller than that of $G$. A graph $G$ is called {\em $(3,2)$-critical} if $χ(G)=3$, $es_χ(G)=2$ and for any edge $e\in E(G)$, $es_χ(G-e)<es_χ(G)$. In this paper, we characterize $(3,2)$-critical graphs which contain at least five odd cycles. This answers a question proposed by Brešar, Klavžar and Movarraei in [Critical graphs for the chromatic edge-stability number, {\it Discrete Math.} {\bf 343}(2020) 111845].

A graph $G$ is called $C_k$-saturated if $G$ is $C_k$-free but $G+e$ not for any $e\in E(\overline{G})$. The saturation number of $C_k$, denoted $sat(n,C_k)$, is the minimum number of edges in a $C_k$-saturated graph on $n$ vertices. Finding the exact values of $sat(n,C_k)$ has been one of the most intriguing open problems in extremal graph theory. In this paper, we study the saturation number of $C_6$. We prove that ${4n}/{3}-2 \le sat(n,C_6) \le {(4n+1)}/{3}$ for $n\ge9$, which significantly improves the existing lower and upper bounds for $sat(n,C_6)$.

An acyclic edge coloring of a graph $G$ is a proper edge coloring such that no bichromatic cycles are produced. The acyclic chromatic index $a'(G)$ of $G$ is the smallest integer $k$ such that $G$ has an acyclic edge coloring using $k$ colors. It was conjectured that $a'(G)\le Δ+2$ for any simple graph $G$ with maximum degree $Δ$. In this paper, we prove that if $G$ is a planar graph, then $a'(G)\leqΔ+7$. This improves a result by Basavaraju et al. [{\em Acyclic edge-coloring of planar graphs}, SIAM J. Discrete Math., 25 (2011), pp. 463-478], which says that every planar graph $G$ satisfies $a'(G)\leqΔ+12$.