arXiv++ Combinatorics

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.

A vertex coloring of a graph is said to be pseudocomplete if, for any two distinct colors, there exists at least one edge with those two colors as its end vertices. The pseudoachromatic number of a graph is the greatest number of colors possible used in a pseudocomplete coloring. This paper studies properties relating to additivity of the pseudoachromatic number under the join. Errors from the literature are corrected and the notion of weakly critical is introduced in order to study the problem.

A proper vertex coloring of the graph $G$ such that each vertex dominates at least one color class and the cardinalities of the color classes differ by at most $1$ is called an equitable dominator coloring of $G$. The minimum number of colors used in this coloring is called the equitable dominator chromatic number (EDCN), represented by $χ_{ed}(G)$. This article explores the concept of equitable dominator coloring for the line graph $L(G)$ of some graph classes.

Let $G$ be a simple graph and $c$ a proper vertex coloring of $G$. A vertex $u$ is called b-vertex in $(G,c)$ if all colors except $c(u)$ appear in the neighborhood of $u$. By a ${\rm b}^{\ast}$-coloring of $G$ using colors $\{1, \ldots, k\}$ we define a proper vertex coloring $c$ such that there is a b-vertex $u$ (called nice vertex) such that for each $j\in \{1, \ldots, k\}$ with $j\not=c(u)$, $u$ is adjacent to a b-vertex of color $j$. The ${\rm b}^{\ast}$-chromatic number of $G$ (denoted by ${\rm b}^{\ast}(G)$) is the largest integer $k$ such that $G$ has a ${\rm b}^{\ast}$-coloring using $k$ colors. Every graph $G$ admits a ${\rm b}^{\ast}$-coloring which is an improvement over the famous b-coloring. A z-coloring of $G$ is a coloring $c$ using colors $\{1, 2, \ldots, k\}$ containing a nice vertex of color $k$ such that for each two colors $i<j$, each vertex of color $j$ has a neighbor of color $i$ in the graph (i.e. $c$ is obtained from a greedy coloring of $G$). We prove that ${\rm b}^{\ast}(G)$ cannot be approximated within any constant factor unless $P=NP$. We obtain results for ${\rm b}^{\ast}$-coloring and z-coloring of block graphs, cacti, $P_4$-sparse graphs and graphs with girth greater than $4$. We prove that z-coloring and ${\rm b}^{\ast}$-coloring have a locality property. A linear 0-1 programming model is also presented for z-coloring of graphs. The positive results suggest that researches can be focused on ${\rm b}^{\ast}$-coloring (or z-coloring) instead of b-coloring of graphs.

We show that interlacing triangular arrays, introduced by Aggarwal-Borodin-Wheeler to study certain probability measures, can be used to compute structure constants for multiplying Schubert classes in the $K$-theory of Grassmannians, in the cohomology of their cotangent bundles, and in the cohomology of partial flag varieties. Our results are achieved by establishing a splitting lemma, allowing for interlacing triangular arrays of high rank to be decomposed into arrays of lower rank, and by constructing a bijection between interlacing triangular arrays of rank 3 with certain proper vertex colorings of the triangular grid graph that factors through generalizations of Knutson-Tao puzzles. Along the way, we prove one enumerative conjecture of Aggarwal-Borodin-Wheeler and disprove another.

Consider edge colorings of digraphs where edges $v_1 v_2$ and $v_2 v_3$ have different colors. This coloring induces a vertex coloring by sets of edge colors, in which edge $v_1 v_2$ in the graph implies that the set color of $v_1$ contains an element not in the set color of $v_2$, and conversely. We generalize to colorings of $k$(vertex)-walks, defined so two walks have different colors if one is the prefix $c_1$ and the other is the suffix $c_2$ of a common $(k+1)$-walk. Further, the colors can belong to a poset $P$ where $c_1$, $c_2$ must satisfy $c_1 \not\leq c_2$. This set construction generalizes the lower order ideal in $P$ from a set of $k$-walk colors; these order ideals are partially ordered by containment. We conclude that a $P$ coloring of $k$-walks exists iff there is a vertex coloring by $A$ iterated $k-1$ times on $P$, where Birkhoff's $A$ maps a poset to its poset of lower order ideals. Thus the directed chromatic index problem is generalized and reduced to poset coloring of vertices. This work uses ideas, results and motivations due to Cole and Vishkin on deterministic coin tossing and Becker and Simon on vertex covers for subsets of $(n-2)$-cubes.

Given a (proper) vertex coloring $f$ of a graph $G$, say $f\colon V(G)\to \mathbb{N}$, the difference edge labelling induced by $f$ is a function $h\colon E(G)\to \mathbb{N}$ defined as $h(uv)=|f(u)-f(v)|$ for every edge $uv$ of $G$. A graceful coloring of $G$ is a vertex coloring $f$ of $G$ such that the difference edge labelling $h$ induced by $f$ is a (proper) edge coloring of $G$. A graceful coloring with range $\{1,2,\dots,k\}$ is called a graceful $k$-coloring. The least integer $k$ such that $G$ admits a graceful $k$-coloring is called the graceful chromatic number of $G$, denoted by $χ_g(G)$. We prove that $χ(G^2)\leq χ_g(G)\leq a(χ(G^2))$ for every graph $G$, where $a(n)$ denotes the $n$th term of the integer sequence A065825 in OEIS. We also prove that graceful coloring problem is NP-hard for planar bipartite graphs, regular graphs and 2-degenerate graphs. In particular, we show that for each $k\geq 5$, it is NP-complete to check whether a planar bipartite graph of maximum degree $k-2$ is graceful $k$-colorable. The complexity of checking whether a planar graph is graceful 4-colorable remains open.

A graceful $l$-coloring of a graph $G$ is a proper vertex coloring with $l$ colors which induces a proper edge coloring with at most $l-1$ colors, where the color for an edge $ab$ is the absolute difference between the colors assigned to the vertices $a$ and $b$. The graceful chromatic number $χ_g(G)$ is the smallest $l$ for which $G$ permits graceful $l$-coloring. The problem of computing the graceful chromatic number of regular graphs is still open, though the existence of the lower bound was proved in \cite{3}. Hence, we pay attention to the computation of the graceful chromatic number of a special class of regular graphs namely complete graphs using set theoretic approach. Also, a few characterization of graphs based on their graceful chromatic number were examined.

A majority coloring of an undirected graph is a vertex coloring in which for each vertex there are at least as many bi-chromatic edges containing that vertex as monochromatic ones. It is known that for every countable graph a majority 3-coloring always exists. The Unfriendly Partition Conjecture states that every countable graph admits a majority 2-coloring. Since the 3-coloring result extends to countable DAGs, a variant of the conjecture states that 2 colors are enough to majority color every countable DAG. We show that this is false by presenting a DAG for which 3 colors are necessary. Presented construction is strongly based on a StackExchange conversation regarding labellings of infinite graphs that is linked in the references.

The chromatic symmetric function $X_G$ is a sum of monomials corresponding to proper vertex colorings of a graph $G$. Crew, Pechenik, and Spirkl (2023) recently introduced a $K$-theoretic analogue $\overline{X}_G$ called the Kromatic symmetric function, where each vertex is instead assigned a nonempty set of colors such that adjacent vertices have nonoverlapping color sets. $X_G$ does not distinguish all graphs, but a longstanding open question is whether it distinguishes all trees. We conjecture that $\overline{X}_G$ does distinguish all graphs. As evidence towards this conjecture, we show that $\overline{X}_G$ determines the number of copies in $G$ of certain induced subgraphs on 4 and 5 vertices as well as the number of induced subgraphs isomorphic to each graph consisting of a star plus some number of isolated vertices.

We investigate the distribution of monochromatic subgraph counts in random vertex $2$-colorings of large graphs. We give sufficient conditions for the asymptotic normality of these counts and demonstrate their essential necessity (particularly for monochromatic triangles). Our approach refines the fourth-moment theorem to establish new, local influence-based conditions for asymptotic normality; these findings more generally provide insight into fourth-moment phenomena for a broader class of Rademacher and Gaussian polynomials.

An odd coloring of a graph $G$ is a proper vertex coloring $\varphi$ with the property that for each non-isolated vertex $v\in V(G)$, there exists a color $c$ such that the cardinality of $\varphi^{-1}(c)\cap N(v)$ is odd. The concept of odd colorings is introduced by Petruševski and Škrekovski. In this paper, we investigate upper bounds of the odd chromatic number of a graph in terms of its thickness and other graphical parameters. In particular, we show that a graph $G$ with the minimum degree at least $2θ(G)-1$ and girth at least $6$ is odd $6θ(G)$-colorable, where $θ(G)$ is the thickness of $G$.