arXiv++ Combinatorics

An $r$-dynamic coloring of a graph $G$ is a proper vertex coloring in which every vertex $v$ sees at least $\min\{r,d(v)\}$ distinct colors in its neighborhood. The minimum number of colors in such a coloring is the $r$-dynamic chromatic number $χ_r(G)$. We study dynamic colorings of regular graphs. A straighforward observation shows that $χ_r(G)=χ(G^2)$, for any $r$-regular graph $G$. We prove that $χ_3(G)=χ(G^2)\le6$ for every claw-free cubic graph $G$, and the bound is sharp. For Hamiltonian claw-free cubic graphs, we improve the bound to $5$ apart from four explicit exceptions. We also determine exactly the $r$-dynamic chromatic number of the $4$-regular circulant graph $C_p(1,3)$ for each $r\in\{2,3,4\}$. In particular, the case $r=4$ determines $χ(C^2_p(1,3))$.

Let $\mathcal{F}$ be a nonempty family of connected bipartite graphs, each with at least two edges. For a graph $G$, a proper vertex coloring of $G$ is $(2,\mathcal{F})$-avoiding if no member of $\mathcal{F}$ occurs bichromatically, and $χ_{2,\mathcal{F}}(G)$ denotes the minimum number of colors in such a coloring. A B-coloring of $G$ is a proper edge-coloring in which every $4$-cycle is rainbow, and $q_B(G)$ denotes the minimum number of colors in a B-coloring of $G$. For a fixed connected bipartite graph $F$ with at least one edge and bipartition classes $X_F$ and $Y_F$, define $k(F)=\min\{|I|:I\subseteq X_F\text{ or }I\subseteq Y_F,F-I\text{ is a forest}\}$. Let $m\ge2$ be the minimum number of edges in a member of $\mathcal{F}$. We prove that if $k(F)\le m-2$, then every $F$-free graph $G$ of sufficiently large maximum degree $Δ$ satisfies $χ_{2,\mathcal{F}}(G)=O((\frac{Δ^m}{\logΔ})^{\frac{1}{m-1}})$, which gives a positive answer to Chuet's Problem A and C in a sharp sense, thereby extending the results of Chuet [arXiv:2603.23379] from frugal colorings to $(2,\mathcal{F})$-avoiding colorings. For B-colorings, put $k=k(F)$, $h=|V(F)|$, and $s=\min\{|X_F|,|Y_F|\}$. We prove that every $F$-free graph $G$ of sufficiently large maximum degree $Δ$ satisfies \[ q_B(G)\le \begin{cases} Δ+Δ^{1-η}+1, & \text{if }s\le2,\\ (4h-2)(Δ-1)+1, & \text{if }s\ge3\text{ and }k\le1,\\ C\frac{Δ^{2-\frac{1}{k}}}{\logΔ}, & \text{if }k\ge2, \end{cases} \] where $η>0$ and $C>0$ depend only on $F$. For $k\le1$, the linear order is best possible, and for $k\ge2$, the bound is nearly sharp. To prove these results, we develop a common reduction of the coloring problems to $P$-perfect matching problems in auxiliary hypergraphs and apply the forbidden-submatching theorem of Delcourt and Postle.

A proper conflict-free coloring of a graph is a proper vertex coloring in which every non-isolated vertex has a color appearing exactly once in its neighborhood. A graph $G$ is proper conflict-free $(\mathrm{degree}+2)$-choosable if every list assignment $L$ with $|L(v)|\ge d_G(v)+2$ for each $v\in V(G)$ admits such a coloring from the lists. We prove that every graph with girth at least $7$ and maximum average degree less than $8/3$ is proper conflict-free $(\mathrm{degree}+2)$-choosable. Consequently, every planar graph of girth at least $8$ has this property, improving the previously established sufficient girth bound of $9$.

The dominated coloring of a graph $G$ is a proper vertex coloring such that each color class is dominated by a vertex. The minimum number of colors required for a dominated coloring of a graph $G$ is called the dominated chromatic number of the graph $G$ and is denoted by $χ_{dom}(G)$. A graph $G$ is said to be chromatic dominated if $χ(G)=χ_{dom}(G)$. In this paper, we characterized the perfect graphs, which are chromatic dominated. Also, we studied the dominated chromatic number of some classes of unicyclic graphs.

We prove the conjecture of Borowiecki and Broere that every finite simple planar graph admits a generalized total coloring with four colors: a proper vertex coloring with four colors together with an edge coloring with four colors in which each edge color class is a forest and no edge receives the color of either endpoint. In fact every proper four-coloring of such a graph extends to an edge coloring of the required kind. The proof combines a component-count inequality for planar graphs whose vertices are partitioned into four independent sets, obtained by completing to a triangulation, with the matroid partition theorem applied to four graphic matroids. A Lean 4 formalization relative to six named background assumptions is described below.

In a proper vertex coloring $c$ of a graph $G$, a vertex $u$ is called a b-vertex if $u$ is adjacent to a vertex in every other color class. A ${\rm b}^{\ast}$-coloring is a proper coloring in which a b-vertex is adjacent to a b-vertex in every other color class. A Grundy coloring is a proper coloring obtained by the First-Fit (greedy) coloring procedure. A $z$-coloring of $G$ is a ${\rm b}^{\ast}$-coloring that is also a Grundy coloring. The ${\rm b}^{\ast}$-chromatic number (resp., $z$-chromatic number), denoted by ${\rm b}^{\ast}(G)$ (resp., $z(G)$), is the maximum number of colors used in a ${\rm b}^{\ast}$-coloring (resp., $z$-coloring) of $G$. Every graph admits a ${\rm b}^{\ast}$-coloring and a $z$-coloring that can be found using a polynomial-time coloring heuristic. Let ${\rm m}^{\ast}(G)$ be the largest integer $k$ such that a vertex of degree at least $k$ in $G$ has $k$ neighbors of degree at least $k$. We employ list-coloring techniques to prove that if $G$ has a girth of at least $7$, then ${\rm b}^{\ast}(G) = {\rm m}^{\ast}(G)+ 1$. A similar result is obtained for graphs of girth at least $6$ when ${\rm m}^{\ast}=3$. Finally, we prove that if the girth is at least $2k+2$ and $G$ contains a specific tree as an ordinary subgraph, then $z(G)\geq k$.

A b-coloring is a proper vertex coloring such that every color class contains a vertex, a so-called b-vertex, which sees all colors in its closed neighborhood. This type of coloring has been intensively studied from both structural and algorithmic point of view. Recently, Zaker [DAM 2025] introduced the notion of a b*-coloring, which is a b-coloring in which there is a vertex that sees a b-vertex of every color in its closed neighborhood. The b*-chromatic number is the maximum integer k such that there is a b*-coloring with k colors. We partially answer a question posed by Zaker and prove that graphs of girth at least 7 are b*-monotonic, which means that the b*-chromatic number does not increase by taking an induced subgraph. In addition, we discover a class of d-regular graphs of girth at least 5 with b*-chromatic number d+1, which strengthens a result about b-colorings by Dettlaff, Furmańczyk, Peterin, Roux, and Ziemann [AMC 2024]. We also study the parameterized complexity of finding b*-colorings, and show that for many structural parameters, the complexity coincides with that of finding b-colorings. In particular, the b*-chromatic number can be computed in polynomial time on any class of bounded clique-width. For most parameters, the translation from b-colorings is straightforward but for the feedback edge number, the FPT algorithm for b*-colorings is actually much simpler than that for b-colorings by Balabán [MFCS 2026].

A proper conflict-free coloring is a proper vertex coloring in which every nonisolated vertex has a color occurring uniquely in its open neighborhood. We prove that every graph with neither a $K_5$-minor nor a $Q_6$-minor admits such a coloring with at most seven colors, where $Q_6=K_3\vee\overline{K_3}$. In particular, this improves the previous general upper bound of eight for planar graphs. The proof combines a previously developed iterated distance-three selector construction with a general anchor-contraction lifting principle. The first supplies independently colored witnesses in closed neighborhoods, while the second combines those witnesses with a proper coloring of a suitable minor. We also develop the parity analogue of the first mechanism and show that, whenever the $K_{k+1}$ case of Hadwiger's conjecture holds, every $K_{k+1}$-minor-free graph can be proper vertex colored with $2k-1$ colors such that every nonisolated vertex has a color occurring an odd number of times in its open neighborhood.

A b-coloring of a graph $G$ is a proper vertex coloring where each color class contains at least one vertex (a b-vertex) adjacent to a vertex in every other color class. The maximum number of colors in such a coloring is the b-chromatic number, ${\rm b}(G)$. A ${\rm b}^{\ast}$-coloring is a variation in which a b-vertex is adjacent to a b-vertex in every other color class. We employ the ${\rm b}^{\ast}$-coloring to prove that any $n$-vertex graph $G$ with independence number at most $t$ satisfies ${\rm b}(G) \leq ((t-1)n+tχ(G))/(2t-1)$. This bound extends the bounds of Kouider and Zaker (2006) and Alkhateeb and Kohl (2011). We show that this bound is sharp for all $t\geq 2$ and $χ(G)\geq 3$. Furthermore, we provide a refined bound based on the maximum number of vertex-disjoint independent sets of size $t$. Finally, we present an upper bound on the ${\rm b}^{\ast}$-chromatic number of $K_{1,s}$-free graphs.

Given a triangle-free graph $G$ with chromatic number $k$ and a proper vertex coloring $φ$ of $G$, it is conjectured that $G$ contains an induced rainbow path on $k$ vertices under $φ$. Scott and Seymour proved the existence of an induced rainbow path on $(\log \log \log k)^{\frac{1}{3}- o(1)}$ vertices. We improve this to $(\log k)^{\frac{1}{2}- o(1)}$ vertices. Further, we prove the existence of an induced path that sees $\frac{k}{2}$ colors.

A proper conflict-free coloring of a graph is a proper vertex coloring wherein each non-isolated vertex's open neighborhood contains at least one color appearing exactly once. For a non-negative integer $k$, a graph $G$ is said to be proper conflict-free (degree+$k$)-choosable if given any list assignment $L$ for $G$ where $|L(v)| = d(v) + k$ holds for every vertex $v \in V(G)$, there exists a proper conflict-free coloring $φ$ of $G$ such that $φ(v) \in L(v)$ for all $v \in V(G)$. Recently, Kashima, Škrekovski, and Xu proposed two related conjectures on proper conflict-free choosability: the first asserts the existence of an absolute constant $k$ such that every graph is proper conflict-free (degree+$k$)-choosable, while the second strengthens this claim by restricting to connected graphs other than the cycle of length 5 and reducing the constant to $k=2$. In this paper, we confirm the second conjecture for three graph classes: $K_4$-minor-free graphs with maximum degree at most 4, outer-1-planar graphs with maximum degree at most 4, and planar graphs with girth at least 12; we also confirm the first conjecture for these same graph classes, in addition to all outer-1-planar graphs (without degree constraints). Moreover, we prove that planar graphs with girth at least 12 and outer-1-planar graphs are proper conflict-free $6$-choosable.

This paper continues the study of a new variant of graph coloring with a connectivity constraint recently introduced by Hsieh et al. [COCOON 2024]. A path in a vertex-colored graph is called conflict-free if there is a color that appears exactly once on its vertices. A connected graph is said to be strongly conflict-free vertex-connection $k$-colorable if it admits a (proper) vertex $k$-coloring such that any two distinct vertices are connected by a conflict-free shortest path. Among others, we show that deciding, for a given graph $G$ and an integer $k$, whether $G$ is strongly conflict-free $k$-colorable is fixed-parameter tractable when parameterized by the vertex cover number. But under the standard complexity-theoretic assumption NP $\not\subseteq$ coNP/poly, deciding, for a given graph $G$, whether $G$ is strongly conflict-free $3$-colorable does not admit a polynomial kernel, even for bipartite graphs. This kernel lower bound is in stark contrast to the ordinal $k$-Coloring problem which is known to admit a polynomial kernel when parameterized by the vertex cover number.

Let $G$ be a graph and let $C$ be a color set of cardinality $k$. Suppose $c \colon V(G) \to C$ is a (not necessarily proper) vertex coloring whose all color classes are $V_1$, $V_2$, $\dots$, $V_k$, each of which is nonempty. The vertex coloring $c$ is said to be a {\it FAT $k$-coloring of $G$} if there exist real numbers $α$ and $β$, both in $[0,1]$, such that for every vertex $v\in V(G)$ and every color class $V_i$ the following equalities hold: $$ \bigl| V_i \cap N(v) \bigr| = \begin{cases} α°(v) & \mbox{ if } \ \ v \notin V_i β°(v) & \mbox{ if } \ \ v \in V_i . \end{cases} $$ Let $k > 1$ be a fixed integer, and let $α\in \left[ 0 , \frac{1}{k-1} \right) \cap \mathbb{Q}$ and $β\in [ 0 , 1 ] \cap \mathbb{Q}$ be some fixed rational numbers satisfying $ β+ (k-1) α= 1 $. It was asked for the existence of a graph $G$ with $δ(G) > 0$ admitting some FAT $k$-coloring with the corresponding parameters $α$ and $β$. This paper settles the question in the affirmative. We explicitly construct a sequence $\displaystyle\left\{G_n\right\}_{n=1}^{\infty}$ of pairwise non-homomorphically equivalent graphs, each being a regular graph of positive degree, admitting a FAT $k$-coloring with the corresponding parameters $α$ and $β$.

Given a graph or multigraph $G$, let $χ'_{trans}(G)$ denote the minimum integer $n$ such that any proper $χ'(G)$--edge coloring of $G$ can be transformed into any other proper $χ'(G)$--edge coloring of $G$ by a series of transformations such that each of the intermediate colorings is a proper $χ'(G)$--edge coloring of $G$ and each of the transformations involves at most $n$ color classes of the previous coloring. We call $χ'_{trans}(G)$ the {\it edge chromatic transformation index of $G$}. In this paper we show that if $G$ is a graph with maximum degree at least $4$, where every block is either a bipartite graph, a series-parallel graph, a chordless graph, a wheel graph or a planar graph of girth at least $7$, then $χ'_{trans}(G)\leq 4$. This bound is sharp for series-parallel and wheel graphs. We also show that $χ'_{trans}(G)\leq 8$ for all planar graphs $G$, $χ'_{trans}(G)\leq 5$ if $G$ is a Halin graph and $χ'_{trans}(G)=2$ if $G$ is a regular bipartite planar multigraph. Finally, we consider the analogous problem for vertex colorings, and show that for any $k\geq 3$ there is an infinite class $\cal G$$(k)$ of graphs with chromatic number $k$ such that for every $G\in \cal G$$(k)$ any two proper $k$-vertex colorings of $G$ can be transformed to each other only by a transformation, involving all $k$ color classes.

A (not necessarily proper) vertex coloring of a graph $G$ with color classes $V_1$, $V_2$, $\dots$, $V_k$, is said to be a {\it Fair And Tolerant vertex coloring of $G$ with $k$ colors}, whenever $V_1$, $V_2$, $\dots$, $V_k$ are nonempty and there exist two real numbers $α$ and $β$ such that $α\in [0,1]$ and $β\in [0,1]$ and the following condition holds for each arbitrary vertex $v$ and every arbitrary color class $V_i$: $$ \bigl| V_i \cap N (v) \bigr| = \begin{cases} α°(v) & \mbox{ if } \ \ v \notin V_i β°(v) & \mbox{ if } \ \ v \in V_i . \end{cases} $$ The {\it FAT chromatic number} of $G$, denoted by $χ^{\rm FAT} (G)$, is defined as the maximum positive integer $k$ for which $G$ admits a Fair And Tolerant vertex coloring with $k$ colors. The concept of the FAT chromatic number of graphs was introduced and studied by Beers and Mulas, where they asked for the existence of a function $f \colon \mathbb{N} \to \mathbb{R}$ in such a way that the inequality $χ^{\rm FAT} (G) \ \leq \ f \big( χ(G) \big)$ holds for all graphs $G$. Another similar interesting question concerns the existence of some function $g \colon \mathbb{N} \to \mathbb{R}$ such that the inequality $χ(G) \ \leq \ g \left( χ^{\rm FAT} (G) \right)$ holds for every graph $G$. In this paper, we establish that both questions admit negative resolutions.

Given a graph $G$ and a target graph $H$, an $H$-coloring of $G$ is an adjacency-preserving vertex map from $G$ to $H$. By appropriate choice of $H$, these colorings can express, for instance, the independent sets or proper vertex colorings of $G$. Sidorenko proved that for any $H$, the $n$-vertex star admits at least as many $H$-colorings as any other $n$-vertex tree, but the minimization question remains open in general. For many graphs $H$, path graphs are among the trees with the fewest $H$-colorings, but work of Leontovich and subsequently Csikvári and Lin shows that there is a graph $E_7$ on seven vertices and a target graph $H$ for which there are strictly fewer $H$-colorings of $E_7$ than of the path on seven vertices. We introduce a new strategy for enumerating homomorphisms from path-like trees to highly symmetric target graphs that allows us to make the previous observations completely explicit and extend them to infinitely many $n$ beyond $n=7$. In particular, we exhibit a target graph $H$ with the property that for each sufficiently large $n$, there is a tree $E_n$ on $n$ vertices that admits strictly fewer $H$-colorings than the path on $n$ vertices.

An odd independent set $S$ in a graph $G=(V,E)$ is an independent set of vertices such that, for every vertex $v \in V \setminus S$, either $N(v) \cap S = \emptyset$ or $|N(v) \cap S| \equiv 1$ (mod 2), where $N(v)$ stands for the open neighborhood of $v$. The largest cardinality of odd independent sets of a graph $G$, denoted $α_{od}(G)$, is called the odd independence number of $G$. This new parameter is a natural companion to the recently introduced strong odd chromatic number. A proper vertex coloring of a graph $G$ is a strong odd coloring if, for every vertex $v \in V(G)$, each color used in the neighborhood of $v$ appears an odd number of times in $N(v)$. The minimum number of colors in a strong odd coloring of $G$ is denoted by $χ_{so}(G)$. A simple relation involving these two parameters and the order $|G|$ of $G$ is $α_{od}(G)\cdotχ_{so}(G) \geq |G|$, parallel to the same on chromatic number and independence number. In the present work, which is a companion to our first paper on the subject [The odd independence number of graphs, I: Foundations and classical classes], we focus on grid-like and chessboard-like graphs and compute or estimate their odd independence number and their strong odd chromatic number. Among the many results obtained, the following give the flavour of this paper: (1) $0.375 \leq \varrho_{od}(P_\infty \Box P_\infty) \leq 0.384615...$, where $\varrho_{od}(P_\infty \Box P_\infty)$ is the odd independence ratio. (2) $χ_{so}(G_d) = 3$ for all $d \geq 1$, where $G_d$ is the infinite $d$-dimensional grid. As a consequence, $\varrho_{od}(G_d) \geq 1/3$. (3) The $r$-King graph $G$ on $n^2$ vertices has $α_{od}(G) = \lceil n/(2r+1) \rceil^2$. Moreover, $χ_{so}(G) = (2r + 1)^2$ if $n \geq 2r + 1$, and $χ_{so}(G) = n^2$ if $n \leq 2r$. Many open problems are given for future research.

An odd independent set $S$ in a graph $G=(V,E)$ is an independent set of vertices such that, for every vertex $v \in V \setminus S$, either $N(v) \cap S = \emptyset$ or $|N(v) \cap S| \equiv 1$ (mod 2), where $N(v)$ stands for the open neighborhood of $v$. The largest cardinality of odd independent sets of a graph $G$, denoted $α_{od}(G)$, is called the odd independence number of $G$. This new parameter is a natural companion to the recently introduced strong odd chromatic number. A proper vertex coloring of a graph $G$ is a strong odd coloring if, for every vertex $v \in V(G)$, each color used in the neighborhood of $v$ appears an odd number of times in $N(v)$. The minimum number of colors in a strong odd coloring of $G$ is denoted by $χ_{so}(G)$. A simple relation involving these two parameters and the order $|G|$ of $G$ is $α_{od}(G)\cdot χ_{so}(G) \geq |G|$, parallel to the same on chromatic number and independence number. We develop several basic inequalities concerning $α_{od}(G)$, and use already existing results on strong odd coloring, to derive lower bounds for odd independence in many families of graphs. We prove that $α_{od}(G) = α(G^2)$ holds for all claw-free graphs $G$, and present many results, using various techniques, concerning the odd independence number of cycles, paths, Moore graphs, Kneser graphs, the complete subdivision $S(K_n)$ of $K_n$, the half graphs $H_{n,n}$, and $K_p \Box K_q$. Further, we consider the odd independence number of the hypercube $Q_d$ and also of the complements of triangle-free graphs. Many open problems for future research are stated.

In this note we introduce a family of polynomials on a matroid derived from chain Tutte polynomials which generalize the classic and ubiquitous characteristic polynomial. We show that the coefficients of these polynomials alternate and present a recursion for any matroid. The classic characteristic polynomials were motivated by the chromatic polynomial on graphs. We define a generalized proper vertex coloring on a graph, which we call coupled multicoloring. We also define a generalized nowhere zero flow, which we call coupled multicommodity flow. Then we show that these chain characteristic polynomials enumerate the number of coupled multicolorings and coupled multicommodity flows on a graph. We conclude by listing multiple problems on enumerative properties of chain characteristic polynomials.

A total coloring of a simple undirected graph $G$ is an assignment of colors to its vertices and edges such that the colors given to the vertices form a proper vertex coloring, the colors given to the edges form a proper edge coloring, and the color of every edge is different from that of its two endpoints. That is, $φ:V(G)\cup E(G)\rightarrow\mathbb{N}$ is a total coloring of $G$ if $φ(u)\neqφ(v)$ and $φ(uv)\neqφ(u)$ for all $uv\in E(G)$, and $φ(uv)\neqφ(uw)$ for any $u \in V(G)$ and distinct $v,w \in N(u)$ (here, $N(u)$ denotes the set of neighbours of $u$). A total coloring $φ$ of a graph $G$ is said to be ``Adjacent Vertex Distinguishing'' (or AVD for short) if for all $uv\in E(G)$, we have that $φ(\{u\}\cup\{uw:w\in N(u)\})\neqφ(\{v\}\cup\{vw\colon w\in N(v)\})$. The AVD Total Coloring Conjecture of Zhang, Chen, Li, Yao, Lu, and Wang (Science in China Series A: Mathematics, 48(3):289--299, 2005) states that every graph $G$ has an AVD total coloring using at most $Δ(G)+3$ colors, where $Δ(G)$ denotes the maximum degree of $G$. For some $s\in\mathbb{N}$, a graph $G$ is said to be $s$-degenerate if every subgraph of $G$ has minimum degree at most $s$. Miao, Shi, Hu, and Luo (Discrete Mathematics, 339(10):2446--2449, 2016) showed that the AVD Total Coloring Conjecture is true for 2-degenerate graphs. We verify the conjecture for 3-degenerate graphs.