coloring
4497 papers tagged with this keyword
Coloring Hardness on Low Twin-Width Graphs
Published
• View Publication
• BIB
As the class $\mathcal T_4$ of graphs of twin-width at most 4 contains every finite subgraph of the infinite grid and every graph obtained by subdividing each edge of an $n$-vertex graph at least $2 \log n$ times, most NP-hard graph problems, like Max Independent Set, Dominating Set, Hamiltonian Cycle, remain so on $\mathcal T_4$. However, Min Coloring and k-Coloring are easy on both families because they are 2-colorable and 3-colorable, respectively.
We show that Min Coloring is NP-hard on the class $\mathcal T_3$ of graphs of twin-width at most 3. This is the first hardness result on $\mathcal T_3$ for a problem that is easy on cographs (twin-width 0), on trees (whose twin-width is at most 2), and on unit circular-arc graphs (whose twin-width is at most 3). We also show that for every $k \geqslant 3$, k-Coloring is NP-hard on $\mathcal T_4$. We finally make two observations: (1) there are currently very few problems known to be in P on $\mathcal T_d$ (graphs of twin-width at most $d$) and NP-hard on $\mathcal T_{d+1}$ for some nonnegative integer $d$, and (2) unlike $\mathcal T_4$, which contains every graph as an induced minor, the class $\mathcal T_3$ excludes a fixed planar graph as an induced minor; thus it may be viewed as a special case (or potential counterexample) for conjectures about classes excluding a (planar) induced minor. These observations are accompanied by several open questions.
Hoffman-London graphs: When paths minimize $H$-colorings among trees
Given a graph $G$ and a target graph $H$, an $H$-coloring of $G$ is an adjacency-preserving vertex map from $G$ to $H$. The number of $H$-colorings of $G$, $\hom(G,H)$, has been studied for many classes of $G$ and $H$. In particular, extremal questions of maximizing and minimizing $\hom(G,H)$ have been considered when $H$ is a clique or $G$ is a tree.
In this paper, we develop a new technique using automorphisms of $H$ to show that $\hom(T,H)$ is minimized by paths as $T$ varies over trees on a fixed number of vertices. We introduce the term Hoffman-London to refer to graphs that are minimal in this sense. In particular, we define an automorphic similarity matrix which is used to compute $\hom(T,H)$ and give matrix conditions under which $H$ is Hoffman-London.
We then apply this technique to identify several families of graphs that are Hoffman-London, including loop threshold graphs and some with applications in statistical physics (e.g. the Widom-Rowlinson model). By combining our approach with a few other observations, we fully characterize the minimizing trees for all graphs $H$ on three or fewer vertices.
Proper conflict-free choosability of planar graphs
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.
Fast algorithm for $S$-packing coloring of Halin graphs
Published
• View Publication
• BIB
Motivated by frequency assignment problems in wireless broadcast networks, Goddard, Hedetniemi, Hedetniemi, Harris, and Rall introduced the notion of $S$-packing coloring in 2008. Given a non-decreasing sequence $S = (s_1, s_2, \ldots, s_k)$ of positive integers, an $S$-packing coloring of a graph $G$ is a partition of its vertex set into $k$ subsets $\{V_1, V_2, \ldots, V_k\}$ such that for each $1 \leq i \leq k$, the distance between any two distinct vertices $u, v \in V_i$ is at least $s_i + 1$. In this paper, we study the $S$-packing coloring problem for Halin graphs with maximum degree $Δ\leq 5$. Specifically, we present a linear-time algorithm that constructs a $(1,1,2,2,2)$-packing coloring for any Halin graph satisfying $Δ\leq 5$. It is worth noting that there are Halin graphs that are not $(1,2,2,2)$-packing colorable.
Distinctive power and comparability of Harary polynomial
Let $\mathcal{P}$ be a graph property. A $\mathcal{P}$-coloring with at most $k$ colors is a coloring of the vertices of a simple graph $G$ such that each color class induces a graph in $\mathcal{P}$. Harary polynomials are generalizations of the chromatic polynomial for simple graphs based on conditional colorings. We denote by $χ_{\mathcal{P}}(G; k)$ the number of $\mathcal{P}$-colorings of $G$ with at most $k$ colors. $χ_{\mathcal{P}}(G; k)$ is a polynomial in $\Z[k]$. A first paper studying Harary polynomials systematically was published in 2021 by O.Herscovici, J.A. Makowsky and V. Rakita. It studies under which conditions on $\mathcal{P}$ is $χ_{\mathcal{P}}(G; k)$ definable in Monadic Second Order Logic and under which conditions is $χ_{\mathcal{P}}(G; k)$ a chromatic invariant. Let $\mathcal{P}, \mathcal{Q}$ be two graph properties. Two graphs $G, H$ are $\mathcal{P}$-mates if $χ_{\mathcal{P}}(G; k) = χ_{\mathcal{P}}(H; k)$. $χ_{\mathcal{Q}}$ is at least as distinctive as $χ_{\mathcal{P}}$, $χ_{\mathcal{P}} \leq χ_{\mathcal{Q}}$, if for all graphs $G, H$ we have that $χ_{\mathcal{Q}}(G; k) = χ_{\mathcal{Q}}(H; k)$ implies $χ_{\mathcal{P}}(G; k) = χ_{\mathcal{P}}(H; k)$. In this paper we study under which conditions on $\mathcal{P}$ are there any (many) $\mathcal{P}$-mates and under which conditions on $\mathcal{P}, \mathcal{Q}$ is $χ_{\mathcal{Q}}$ is at least as distinctive as $χ_{\mathcal{P}}$.
On the size edge-ordered Ramsey numbers of graphs
For edge-ordered graphs $G^{\prec}$ and $H^{\prec}$, the size edge-ordered Ramsey number $\hat{r}_{\text{edge}}(G^{\prec}, H^{\prec})$ is defined as the smallest integer $m$ for which there exists an edge-ordered graph $F^{\prec}$ (with underlying graph $F$) having $m$ edges, such that every $2$-coloring of the edges of $F^{\prec}$ contains a monochromatic edge-ordered subgraph isomorphic to $G^{\prec}$ or a monochromatic edge-ordered subgraph isomorphic to $H^{\prec}$. Fox and Li posed a foundational question: which families of edge-ordered graphs have linear or near-linear size edge-ordered Ramsey numbers? In this paper, we apply Szemerédi's regularity lemma to prove that, even for sparse graph families, specifically the well-defined class of edge-ordered book graphs, the size edge-ordered Ramsey numbers of this family exhibit non-linear growth. Furthermore, we show that three families of edge-ordered graphs exhibit linear or near-linear size edge-ordered Ramsey numbers.
Chromatic numbers from edge ideals: Graph classes with vanishing syzygies are polynomially $χ$-bounded
The chromatic number $χ$ of a graph is bounded from below by its clique number $ω,$ but it can be arbitrary large. Perfect graphs are defined by $χ=ω$ for all induced subgraphs. An interesting relaxation are $χ$-bounded graph classes, where $χ\leq f(ω).$ It is not always possible to achieve this with a polynomial $f.$
The edge ideal $I_G$ of a graph $G$ is generated by monomials $x_ux_v$ for each edge $uv$ of $G.$ The bi-graded betti numbers $β_{i,j}(I)$ are central algebraic geometric invariants. We study the graph classes where for some fixed $i,j$ that syzygy vanishes, that is, $β_{i,j}(I_G)=0.$
We prove that $χ\leq f(ω),$ where $f$ is a polynomial of degree $2j-2i-4.$ For the elementary special case $β_{i,2i+2}(I_G)=0,$ this amounts to that $(i+1)K_2$-free graphs are ${ω-1+2i \choose 2i}$-colorable, improving on an old combinatorial result by Wagon. We also show that triangle-free graphs with $β_{i,j}(I_G)=0$ are $(j-1)$-colorable.
Complexity wise, we show that these colorings can be derived in time $O(n^3)$ for graphs on $n$ vertices. Moreover, we show that for almost all graphs with parabolic $i,j,$ there are better bounds on $χ.$
Total colouring of circulant graphs $C_{n}(1, 3)$
Total colouring of 4-regular circulant graphs is an interesting but challenging topic, and has attracted much attention. However, it still remains an open question to determine the total chromatic numbers of $C_{n}(1, 3)$, a subclass of 4-regular circulant graphs, even after many efforts. In this paper, we investigate the total colouring of these graphs and determine their total chromatic numbers. Our results show that the total chromatic numbers of $C_{n}(1, 3)$ are 6 for $n=7,8,12,13,17$, and 5 for all others.
Categorification of Chromatic, Dichromatic and Penrose Polynomials
This paper discusses ways to categorify chromatic, dichromatic and Penrose polynomials, including categorifications of integer evaluations of chromatic polynomials.
We show that with an appropriate choice of variables the coefficients of the Potts partition function at different energy levels are given by Euler characteristics of appropriate parts of a bigraded homology theory associated with the model. In the case of the dichromatic polynomial for graphs, we show that the two variable polynomial can be seen as a sum of powers of one variable multiplied by coefficients that are "impropriety" coloring polynomials for the underlying graph. An impropriety polynomial $C_{G}^{i}(n)$ counts the number of colorings in $n$ colors of the graph that are not proper at a given number $i$ of edges in the graph. The last section of the paper categorifies coloring evaluations rather than coloring polynomials. We then obtain a range of possible chain complexes and homology theories such that the chromatic evaluation is equal to the Euler characteristic of the homology. The freedom of choice in making such chain complexes is related to possible associative algebra structures on the set of colors.
Choosability of multipartite hypergraphs
A $k$-uniform hypergraph (or $k$-graph) $H = (V, E)$ is $k$-partite if $V$ can be partitioned into $k$ sets $V_1, \ldots, V_k$ such that each edge in $E$ contains precisely one vertex from each $V_i$. We show that $k$-partite $k$-graphs of maximum degree $Δ$ are $q$-choosable for $q \geq \left(\frac{4}{5}(k-1 + o(1))Δ/\log Δ\right)^{1/(k-1)}$. Our proof yields an efficient randomized algorithm for finding such a coloring, which shows that the conjectured algorithmic barrier for coloring pseudorandom $k$-graphs does not apply to $k$-partite $k$-graphs.
The $d$-chromatic Ramsey number for stars
Published
• View Publication
• BIB
In 1978, Chung and Liu generalized the definition of the Ramsey number. They introduced the $d$-chromatic Ramsey number as follows. Let $1\leq d< c$ be integers and let $A_{1}, \dots, A_{t}$ be subsets with size $d$ of $[c]$, where $t= {c\choose d}$. For given graphs $G_{1}, \dots, G_{t}$, {\it the $d$-chromatic Ramsey number}, $r^{d, c}(G_{1}, \dots, G_{t})$, is the minimum positive integer $N$ such that every $c$-coloring of $E(K_{N})$ yields a copy of $G_{i}$ whose edges are colored by colors in the color set $A_{i}$ for some $i\in [t]$. The {\it star-critical $d$-chromatic Ramsey number}, $r_{*}^{d, c}(G_{1}, \dots, G_{t})$, is the minimum positive integer $k$ such that every $c$-coloring of $E(K_{N}- K_{1, N- 1- k})$ yields a copy of $G_{i}$ whose edges are colored by colors in the color set $A_{i}$ for some $i\in [t]$, where $N= r^{d, c}(G_{1}, \dots, G_{t})$. If $G_{1}, \dots, G_{t}= G$, then we simplify them as $r^{d, c}(G)$ (it also call {\it the weakened Ramsey number}) and $r^{d, c}_{*}(G)$, respectively. In this paper, we determine all the value of $r^{d, c}(K_{1, n})$, $r_{*}^{d, c}(K_{1, n})$ and part of the value of $r^{d, c}(K_{1, n_{1}}, \dots, K_{1, n_{t}})$.
Graphings with few circulations
In 2021, motivated by graph limit theory Lovász extended most of the theory of flows to a measure theoretic setting. Using this framework, the first author constructed $d$-regular treeings that are measurably bipartite, and have no nonzero measurable circulations, that is, flows without sources or sinks. In particular, these treeings do not admit a measurable perfect matching.
In this paper, we develop tools to build $d$-regular treeings where the space of circulations is exactly $k$-dimensional for any positive integer $k$. As applications, we construct 1) a treeing with a single balanced orientation, but no Schreier decoration; 2) a treeing with a single Schreier decoration; 3) and a treeing with a proper edge $d$-coloring, but no further perfect matchings.
The first answers a question raised by Lovász, as this particular balanced orientation does not decompose as a linear combination of finite cycles and infinite paths.
Completely Independent Spanning Trees in Split Graphs: Structural Properties and Complexity
Published
• View Publication
• BIB
We study completely independent spanning trees (CIST), \textit{i.e.}, trees that are both edge-disjoint and internally vertex-disjoint, in split graphs. We establish a correspondence between the existence of CIST in a split graph and some types of hypergraph colorings (panchromatic and bipanchromatic colorings) of its associated hypergraph, allowing us to obtain lower and upper bounds on the number of CIST. Using these relations, we prove that the problem of the existence of two CIST in a split graph is NP-complete. Finally, we formulate a conjecture on the bipanchromatic number of a hypergraph related to the results obtained for the number of CIST.
Ramsey problems for graphs in Euclidean spaces and Cartesian powers
Given a graph $H$, let $χ_H(\mathbb{R}^n)$ be the smallest positive integer $r$ such that there exists an $r$-coloring of $\mathbb{R}^n$ with no monochromatic unit-copy of $H$, that is a set of $|V(H)|$ vertices of the same color such that any two vertices corresponding to an edge of $H$ are at distance one.
This Ramsey-type function extends the famous Hadwiger--Nelson problem on the chromatic number $χ(\mathbb{R}^n)=χ_{K_2}(\mathbb{R}^n)$ of the space from a complete graph $K_2$ on two vertices to an arbitrary graph $H$. It also extends the classical Euclidean Ramsey problem for congruent monochromatic subsets to the family of those defined by a specific subset of unit distances.
Among others, we show that $χ_H(\mathbb{R}^n)=χ(\mathbb{R}^n)$ for any even cycle $H$ of length $8$ or at least $12$ as well as for any forest and that $χ_H(\mathbb{R}^n)=\lceilχ(\mathbb{R}^n)/2\rceil$ for any sufficiently long odd cycle. Our main tools and results, which are of independent interest, establish that Cartesian powers enjoy Ramsey-type properties for graphs with favorable Turán-type characteristics, such as zero hypercube Turán density.
In addition, we prove induced variants of these results, find bounds on $χ_H(\mathbb{R}^n)$ for growing dimensions $n$, and prove a canonical-type result. We conclude with many open problems. One of these is to determine $χ_{C_4}(\mathbb{R}^2)$, for a cycle $C_4$ on four vertices.
A verified implementation of the Misra and Gries edge coloring algorithm
Vizing's theorem states that every simple undirected graph can be edge-colored using fewer than $Δ+ 1$ colors, where $Δ$ is the graph's maximum degree. The original proof was given through a polynomial-time algorithmic procedure that iteratively extends a partial coloring until it becomes complete. In this work, I used the Lean theorem prover to produce a verified implementation of the Misra and Gries edge-coloring algorithm, a modified version of Vizing's original method. The focus is on building libraries for relevant mathematical objects and rigorously maintaining required invariants.
Ramsey numbers for partially-ordered sets
We say that a poset $Q$ contains a copy (resp.~an induced copy) of a poset $P$ if there is an injection $f : P \to Q$ such that for any $x,y \in P$, $f(x)\leq f(y)$ in $Q$ if (resp.~if and only if) $x\leq y$ in $P$. Let $\mathcal{Q}=\{Q_{n} : n\geq 1\}$ be a family of posets such that $Q_n\subseteq Q_{n+1}$ and $|Q_n|<|Q_{n+1}|$ for each $n$. For given $k$ posets $P_1, P_2, \dots , P_k$, the \emph{weak (resp.~strong) poset Ramsey number for $t$-chains} is the smallest number $n$ such that for any coloring of $t$-chains in $Q_n\in \mathcal{Q}$ with $k$ colors, say $1,2, \dots, k$, there is a monochromatic (resp.~induced) copy of the poset $P_i$ in color $i$ for some $1\leq i\leq k$. In this paper, we give several lower and upper bounds on the weak and strong poset Ramsey number for $t$-chains.
Tales of Hoffman: from a distance
Hoffman proved that a graph $G$ with adjacency eigenvalues $λ_1\geq \cdots \geq λ_n$ and chromatic number $χ(G)$ satisfies $χ(G)\geq 1+κ,$ where $κ$ is the smallest integer such that $$λ_1+\sum_{i=1}^κλ_{n+1-i}\leq 0.$$ We extend this eigenvalue bound to the distance-$k$ setting, and also show a strengthening of it by proving that it also lower bounds the corresponding quantum distance coloring graph parameter. The new bound depends on a degree-$k$ polynomial which can be chosen freely, so one needs to make a good choice of the polynomial to obtain as strong a bound as possible. We thus propose linear programming methods to optimize it. We also investigate the implications of the new bound for the quantum distance chromatic number, showing that it is sharp for some classes of graphs. Finally, we extend the Hoffman bound to the distance setting of the vector chromatic number. Our results extend and unify several previous bounds in the literature.
Mutual-visibility Coloring of Graphs
Published
• View Publication
• BIB
The mutual-visibility chromatic number of a graph $G$ is the smallest number of colors needed to color the vertices of $G$ such that each color class is a mutual-visibility set. In this paper, we prove that determining the mutual-visibility chromatic number of a graph is NP-complete even when restricted to the class of graphs having diameter four and mutual-visibility chromatic number two. We further determine the exact value of the mutual-visibility chromatic number for glued binary trees and glued $t$-ary trees.
The parameterized complexity of Strong Conflict-Free Vertex-Connection Colorability
Published
• View Publication
• BIB
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.
Bell coloring graphs: realizability and reconstruction
Given a graph $G$, the Bell $k$-coloring graph $\mathcal{B}_k(G)$ has vertices given by partitions of $V(G)$ into $k$ independent sets (allowing empty parts), with two partitions adjacent if they differ only in the placement of a single vertex. We first give a structural classification of cliques in Bell coloring graphs. We then show that all trees and all cycles arise as Bell coloring graphs, while $K_4-e$ is not a Bell coloring graph and, more generally, $K_n-e$ is not an induced subgraph of any Bell coloring graph whenever $n \geq 6$. We also prove two reconstruction results: the Bell $3$-coloring graph is a complete invariant for trees, and the Bell $n$-coloring multigraph determines any graph up to universal vertices.