arXiv++ Combinatorics

The packing coloring problem has diverse applications, including frequency assignment in wireless networks, resource distribution and facility location in smart cities and post-disaster management, as well as in biological diversity. Formally, the packing coloring of a graph is a vertex coloring in which any two vertices assigned color $i$ are at a distance of at least $i+1$, and the smallest number of colors admitting such a coloring is called the packing chromatic number. Goddard et al.~\cite{goddard2008broadcast} showed that the packing chromatic numbers of paths and cycles are at most 3 and 4, respectively. In this paper, we introduce \emph{path-aligned graph products}, a natural extension of paths with unbounded diameter. We extend the result of~\cite{goddard2008broadcast} by proving that the packing chromatic number remains bounded by a constant for several families of path-aligned cycle and path-aligned complete products. We then investigate the packing chromatic number of caterpillars, another class of graphs characterized by long induced paths. Sloper~\cite{sloper} proved that the packing chromatic number of caterpillars is at most 7; here, we provide a complete structural characterization of caterpillars with packing chromatic number at most 3. Finally, several open research questions are posed.

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.

In this paper, we introduce and study a novel graph parameter called the $k$-defect number, denoted $φ_{k}(G)$, for a graph $G$ and an integer $0\leq k\leq |E(G)|$. Unlike traditional defective colorings that bound the local degree within monochromatic components, the $k$-defect number represents the smallest number of colors required to achieve a vertex coloring of $G$ having exactly \emph{$k$ monochromatic edges (also termed ``bad edges")}. This parameter generalizes the well-known chromatic number of a graph, $χ(G)$, which is precisely $φ_{0}(G)$. We establish fundamental properties of the $k$-defect number and derive bounds on $φ_{k}(G)$ for specific graph classes, including trees, cycles, and wheels. Furthermore, we extend and generalize several classical properties of the chromatic number to this new edge-centric $k$-defect framework for values of $1\leq k\leq |E(G)|$.

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.

Given a graph $G$, the \emph{reconfiguration graph of the $\ell$-colorings} of $G$, denoted by ${\cal R}_\ell(G)$, is the graph whose vertices are the $\ell$-colorings of $G$ and two $\ell$-colorings are joined by an edge if they differ on exactly one vertex of $G$. A graph $G$ is \emph{$\ell$-mixing} if ${\cal R}_\ell(G)$ is connected and the \emph{$\ell$-recoloring diameter} of $G$ is the diameter of ${\cal R}_\ell(G)$. An interesting classification problem that recently gathered a wide attention is the following: ``{\em Given a hereditary class of graphs $\cal C$ and any graph $G\in \cal C$, classify whether $G$ is $\ell$-mixing or not for any $\ell> χ(G)$}, where $χ(G)$ is the chromatic number of $G$." In this paper, we answer this problem for the class of $(P_2+P_3, C_4)$-free graphs, and moreover, if such a graph $G$ is recolorable, then for all $\ell >χ(G)$, the $\ell$-recoloring diameter of $G$ is at most 2$n^{2}$. Furthermore, Cereceda conjectured that if $G$ is a graph on $n$ vertices with degeneracy $d$, then for all $\ell \geq d+ 2$, the $\ell$-recoloring diameter of $G$ is at most $O(n^2)$. We prove that every ($P_2+P_3, C_4$)-free graph satifies Cereceda's conjecture.

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.

It is known that, for an oriented hypergraph with (vertex) coloring number $χ$ and smallest and largest normalized Laplacian eigenvalues $λ_1$ and $λ_N$, respectively, the inequality $χ\geq (λ_N-λ_1)/\min\{λ_N-1,1-λ_1\}$ holds. We provide necessary conditions for oriented hypergraphs for which this bound is tight. Focusing on $c$-uniform unoriented hypergraphs, we then generalize the bound to the setting of \emph{$d$-proper colorings}: colorings in which no edge contains more than $d$ vertices of the same color. We also adapt our proof techniques to derive analogous spectral bounds for \emph{$d$-improper colorings} of graphs and for edge colorings of hypergraphs. Moreover, for all coloring notions considered, we provide necessary conditions under which the bound is an equality.

Let $G$ be a finite or infinite graph and $m(G)$ the minimum number of vertices moved by the non-identity automorphisms of $G$. We are interested in bounds on the supremum $Δ(G)$ of the degrees of the vertices of $G$ that assure the existence of vertex colorings of $G$ with two colors that are preserved only by the identity automorphism, and, in particular, in the number $a(G)$ of such colorings that are mutually inequivalent. For trees $T$ with finite $m(T)$ we obtain the bound $Δ(T)\leq2^{m(T)/2}$ for the existence of such a coloring, and show that $a(T)= 2^{|T|}$ if $T$ is infinite. Similarly, we prove that $a(G) = 2^{|G|}$ for all tree-like graphs $G$ with $Δ(G)\le 2^{\aleph_0}$. For rayless or one-ended trees $T$ with arbitrarily large infinite $m(T)$, we prove directly that $a(T)= 2^{|T|}$ if $Δ(T)\le 2^{m(T)}$.

A distinguishing coloring of a graph is a vertex coloring such that only the identity automorphism of the graph preserves the coloring. A 2-distinguishable graph is a graph which can be distinguished using 2 colors. The cost $ρ(G)$ of a 2-distinguishable graph is the smallest size of a color set of a distinguishing coloring of $G$. The determining number of a graph, $Det(G)$, is the minimum number of nodes, which if fixed by a coloring, would ensure that the coloring distinguishes the entire graph. Boutin (J. Combin. Math. Combin. Comput. 85: 161-171, 2013) posed an open problem which asks if $ρ(G)$ and $Det(G)$ can be arbitrarily far apart. It is trivial that it cannot be so for the case $Det(G) = 1$ but the answer was unknown for $Det(G) \geq 2$. We solve this problem for the case $Det(G) = 2$. We show that for the case $Det(G) = 2$, that not only is the cost bounded but in fact it takes small values with $ρ(G) = 2, \ 3$ or $4$. In order to establish this, the concept of the automorphism representation of a graph is developed. Graphs having equivalent automorphism representations implies that they have the same distinguishing number (note that just having isomorphic automorphism groups is not enough for this to hold). This prompts a factoring of graphs by which two graphs are distinguishably equivalent iff they have equivalent automorphism representations.

Let $G$ be a graph of order $n$, maximum degree at most $Δ$, and no component of order $2$. Inspired by the famous 1-2-3-conjecture, Bensmail, Marcille, and Orenga define a proper pushing scheme of $G$ as a function $ρ:V(G)\to\mathbb{N}_0$ for which $$σ:V(G)\to\mathbb{N}_0:u\mapsto \left(1+ρ(u)\right)d_G(u)+\sum_{v\in N_G(u)}ρ(v)$$ is a vertex coloring, that is, adjacent vertices receive different values under $σ$. They show the existence of a proper pushing scheme $ρ$ with $\max\{ ρ(u):u\in V(G)\}\leq Δ^2$ and conjecture that this upper bound can be improved to $Δ$. We show their conjecture for cubic graphs and regular bipartite graphs. Furthermore, we show the existence of a proper pushing scheme $ρ$ with $\sum_{u\in V(G)}ρ(u)\leq \left(2Δ^2+Δ\right)n/6$.

Given a graph $G$, a subset $M\subseteq V(G)$ is a mutual-visibility (MV) set if for every $u,v\in M$, there exists a $u,v$-geodesic whose internal vertices are not in $M$. We investigate proper vertex colorings of graphs whose color classes are mutual-visibility sets. The main concepts that arise in this investigation are independent mutual-visibility (IMV) sets and vertex partitions into these sets (IMV colorings). The IMV number $μ_{i}$ and the IMV chromatic number $χ_{μ_{i}}$ are defined as maximum and minimum cardinality taken over all IMV sets and IMV colorings, respectively. Along the way, we also continue with the study of MV chromatic number $χ_μ$ (as the smallest number of sets in a vertex partition into MV sets), which was initiated in an earlier paper. We establish a close connection between the (I)MV chromatic numbers of subdivisions of complete graphs and Ramsey numbers $R(4^k;2)$. From the computational point of view, we prove that the problems of computing $χ_{μ_{i}}$ and $μ_{i}$ are NP-complete, and that it is NP-hard to decide whether a graph $G$ satisfies $\imv(G)=α(G)$ where $α(G)$ is the independence number of $G$. Several tight bounds on $χ_{μ_{i}}$, $χ_μ$ and $μ_{i}$ are given. Exact values/formulas for these parameters in some classical families of graphs are proved. In particular, we prove that $χ_{μ_{i}}(T)=χ_μ(T)$ holds for any tree $T$ of order at least $3$, and determine their exact formulas in the case of lexicographic product graphs. Finally, we give tight bounds on the (I)MV chromatic numbers for the Cartesian and strong product graphs, which lead to exact values in some important families of product graphs.

The Wiener index of a vertex coloring of a graph is defined to be the sum of all pairwise geodesic distances between vertices of the same color. We provide characterizations of vertex colorings of paths and cycles whose Wiener index is as large as possible over various natural collections. Along the way we establish a connection between the majorization order on tuples of integers and the Wiener index of vertex colorings on paths and cycles.

The vertex coloring problem to find chromatic numbers is known to be unsolvable in polynomial time. Although various algorithms have been proposed to efficiently compute chromatic numbers, they tend to take an enormous amount of time for large graphs. In this paper, we propose a recurrence relation to rapidly obtain the expected value of the chromatic number of random graphs. Then we compare the results obtained using this recurrence relation with other methods using an exact investigation of all graphs, the Monte Carlo method, the iterated random color matching method, and the method presented in Bollobás' previous studies.

We study an extension to directed graphs of the parameter called the $b$-chromatic number of a graph in terms of acyclic vertex colorings: the dib-chromatic number. We give general bounds for this parameter. We also show some results about tournaments and regular digraphs.

A proper vertex coloring of a graph is equitable if the sizes of all color classes differ by at most $1$. For a list assignment $L$ of $k$ colors to each vertex of an $n$-vertex graph $G$, an equitable $L$-coloring of $G$ is a proper coloring of vertices of $G$ from their lists such that no color is used more than $\lceil n/k\rceil$ times. Call a graph equitably $k$-choosable if it has an equitable $L$-coloring for every $k$-list assignment $L$. A graph $G$ is $(a,b)$-sparse if for every $A\subseteq V(G)$, the number of edges in the subgraph $G[A]$ of $G$ induced by $A$ is at most $a|A|+b$. Our first main result is that every $(\frac{7}{6},\frac{1}{3})$-sparse graph with minimum degree at least $2$ is equitably $3$-colorable and equitably $3$-choosable. This is sharp. Our second main result is that every $(\frac{5}{4},\frac{1}{2})$-sparse graph with minimum degree at least $2$ is equitably $4$-colorable and equitably $4$-choosable. This is also sharp. One of the tools in the proof is the new notion of strongly equitable (SE) list coloring. This notion is both stronger and more natural than equitable list coloring; and our upper bounds are for SE list coloring.

A vertex coloring $\varphi$ of a graph $G$ is $p$-centered if for every connected subgraph $H$ of $G$, either $\varphi$ uses more than $p$ colors on $H$, or there is a color that appears exactly once on $H$. We prove that for every fixed positive integer $t$, every $K_t$-minor-free graph admits a $p$-centered coloring using $\mathcal{O}(p^{t-1})$ colors.

For any positive integer $k$, the reconfiguration graph for all $k$-colorings of a graph $G$, denoted by $\mathcal{R}_k(G)$, is the graph where vertices represent the $k$-colorings of $G$, and two $k$-colorings are joined by an edge if they differ in color on exactly one vertex. Bonamy et al. established that for any $2$-chromatic $P_5$-free graph $G$, $\mathcal{R}_k(G)$ is connected for each $k\geq 3$. On the other hand, Feghali and Merkel proved the existence of a $7p$-chromatic $P_5$-free graph $G$ for every positive integer $p$, such that $\mathcal{R}_{8p}(G)$ is disconnected. In this paper, we offer a detailed classification of the connectivity of $\mathcal{R} _k(G) $ concerning $t$-chromatic $P_5$-free graphs $G$ for cases $t=3$, and $t\geq4$ with $t+1\leq k \leq {t\choose2}$. We demonstrate that $\mathcal{R}_k(G)$ remains connected for each $3$-chromatic $P_5$-free graph $G$ and each $k \geq 4$. Furthermore, for each $t\geq4$ and $t+1 \leq k \leq {t\choose2}$, we provide a construction of a $t$-chromatic $P_5$-free graph $G$ with $\mathcal{R}_k(G)$ being disconnected. This resolves a question posed by Feghali and Merkel.

Jaeger et al. in 1992 introduced group coloring as the dual concept to group connectivity in graphs. Let $A$ be an additive Abelian group, $ f: E(G)\to A$ and $D$ an orientation of a graph $G$. A vertex coloring $c:V(G)\to A$ is an $(A, f)$-coloring if $c(v)-c(u)\ne f(e)$ for each oriented edge $e=uv$ from $u$ to $v$ under $D$. Kochol recently introduced the assigning polynomial to count nowhere-zero chains in graphs--nonhomogeneous analogues of nowhere-zero flows in \cite{Kochol2022}, and later extended the approach to regular matroids in \cite{Kochol2024}. Motivated by Kochol's work, we define the $α$-compatible graph and the cycle-assigning polynomial $P(G, α; k)$ at $k$ in terms of $α$-compatible spanning subgraphs, where $α$ is an assigning of $G$ from its cycles to $\{0,1\}$. We prove that $P(G,α;k)$ evaluates the number of $(A,f)$-colorings of $G$ for any Abelian group $A$ of order $k$ and $f:E(G)\to A$ such that the assigning $α_{D,f}$ given by $f$ equals $α$. Such an assigning is admissible. Based on Kochol's work, we derive that $k^{-c(G)}P(G,α;k)$ is a polynomial enumerating $(A,f)$-tensions and counting specific nowhere-zero chains. Furthermore, by extending Whitney's broken cycle concept to broken compatible cycles, we show that the absolute value of the coefficient of $k^{|V(G)|-i}$ in $P(G,α;k)$ associated with admissible assignings $α$ equals the number of $α$-compatible spanning subgraphs that have $i$ edges and contain no broken $α$-compatible cycles. According to the combinatorial explanation, we establish a unified order-preserving relation from admissible assignings to cycle-assigning polynomials, and further show that for any admissible assigning $α$ of $G$ with $α(e)=1$ for every loop $e$, the coefficients of $P(G,α;k)$ are nonzero and alternate in sign.