chromatic number
2106 papers tagged with this keyword
Computing Small Unit-Distance Graphs with Chromatic Number 5
We present a new method for reducing the size of graphs with a given property. Our method, which is based on clausal proof minimization, allowed us to compute several 553-vertex unit-distance graphs with chromatic number 5, while the smallest published unit-distance graph with chromatic number 5 has 1581 vertices. The latter graph was constructed by Aubrey de Grey to show that the chromatic number of the plane is at least 5. The lack of a 4-coloring of our graphs is due to a clear pattern enforced on some vertices. Also, our graphs can be mechanically validated in a second, which suggests that the pattern is based on a reasonably short argument.
On the chromatic number of generalized Kneser hypergraphs
Published
• View Publication
• BIB
The generalized Kneser hypergraph $KG^{r}(n,k,s)$ is the hypergraph whose vertices are all the $k$-subsets of $\{1,\ldots ,n\}$, and edges are $r$-tuples of distinct vertices such that any pair of them has at most $s$ elements in their intersection. In this note, we show that for each non-negative integers $k, n, r, s$ satisfying $n \geq r(k-1)+1$, $k > s\geq 0$, and $r\geq 2$, we have $$χ({KG}^{r}(n,k,s))\geq\left\lceil\frac{n-r(k-s-1)}{r-1}\right\rceil,$$ which improves the previously known result by Alon--Frankl--Lovász.
Spectral lower bounds for the quantum chromatic number of a graph
Published
• View Publication
• BIB
The quantum chromatic number, $χ_q(G)$, of a graph $G$ was originally defined as the minimal number of colors necessary in a quantum protocol in which two provers that cannot communicate with each other but share an entangled state can convince an interrogator with certainty that they have a coloring of the graph. We use an equivalent purely combinatorial definition of $χ_q(G)$ to prove that many spectral lower bounds for the chromatic number, $χ(G)$, are also lower bounds for $χ_q(G)$. This is achieved using techniques from linear algebra called pinching and twirling. We illustrate our results with some examples.
The Chromatic Number of Finite Group Cayley Tables
Published in Published in Electon. J. Combin. Vol. 26 P1.36 (2019)
• View Publication
• BIB
The chromatic number of a latin square $L$, denoted $χ(L)$, is the minimum number of partial transversals needed to cover all of its cells. It has been conjectured that every latin square satisfies $χ(L) \leq |L|+2$. If true, this would resolve a longstanding conjecture---commonly attributed to Brualdi---that every latin square has a partial transversal of size $|L|-1$. Restricting our attention to Cayley tables of finite groups, we prove two main results. First, we resolve the chromatic number question for Cayley tables of finite Abelian groups: the Cayley table of an Abelian group $G$ has chromatic number $|G|$ or $|G|+2$, with the latter case occurring if and only if $G$ has nontrivial cyclic Sylow 2-subgroups. Second, we give an upper bound for the chromatic number of Cayley tables of arbitrary finite groups. For $|G|\geq 3$, this improves the best-known general upper bound from $2|G|$ to $\frac{3}{2}|G|$, while yielding an even stronger result in infinitely many cases.
Ramsey Numbers of Interval 2-chromatic Ordered Graphs
Published in Graphs and Combinatorics (2019)
• View Publication
• BIB
An ordered graph $G$ is a graph together with a specified linear ordering on the vertices, and its interval chromatic number is the minimum number of independent sets consisting of consecutive vertices that are needed to partition the vertex set. The $t$-color Ramsey number $R_t(G)$ of an ordered graph $G$ is the minimum number of vertices of an ordered complete graph such that every edge-coloring from a set of $t$ colors contains a monochromatic copy of $G$ such that the copy of $G$ preserves the original ordering on $G$. An ordered graph is $k$-ichromatic if it has interval chromatic number $k$. We obtain lower bounds linear in the number of vertices for the Ramsey numbers of certain classes of 2-ichromatic ordered graphs. We also determine the exact value of the $t$-color Ramsey number for two families of 2-ichromatic ordered graphs, and we prove a linear upper bound for a class of 2-ichromatic ordered graphs.
Square-free graphs with no six-vertex induced path
Published
• View Publication
• BIB
We elucidate the structure of $(P_6,C_4)$-free graphs by showing that every such graph either has a clique cutset, or a universal vertex, or belongs to several special classes of graphs. Using this result, we show that for any $(P_6,C_4)$-free graph $G$, $\lceil\frac{5ω(G)}{4}\rceil$ and $\lceil\frac{Δ(G) + ω(G) +1}{2}\rceil$ are tight upper bounds for the chromatic number of $G$. Moreover, our structural results imply that every ($P_6$,$C_4$)-free graph with no clique cutset has bounded clique-width, and thus the existence of a polynomial-time algorithm that computes the chromatic number (or stability number) of any $(P_6,C_4)$-free graph.
Linear bounds on nowhere-zero group irregularity strength and nowhere-zero group sum chromatic number of graphs
Published in Applied Mathematics and Computation Volume 343, 15 February 2019, Pages 149-155
• View Publication
• BIB
We investigate the \textit{group irregularity strength}, $s_g(G)$, of a graph, i.e. the least integer $k$ such that taking any Abelian group $\mathcal{G}$ of order $k$, there exists a function $f:E(G)\rightarrow \mathcal{G}$ so that the sums of edge labels incident with every vertex are distinct. So far the best upper bound on $s_g(G)$ for a general graph $G$ was exponential in $n-c$, where $n$ is the order of $G$ and $c$ denotes the number of its components. In this note we prove that $s_g(G)$ is linear in $n$, namely not greater than $2n$. In fact, we prove a stronger result, as we additionally forbid the identity element of a group to be an edge label or the sum of labels around a vertex.
We consider also locally irregular labelings where we require only sums of adjacent vertices to be distinct. For the corresponding graph invariant we prove the general upper bound: $Δ(G)+{\rm col}(G)-1$ (where ${\rm col}(G)$ is the coloring number of $G$) in the case when we do not use the identity element as an edge label, and a slightly worse one if we additionally forbid it as the sum of labels around a vertex. In the both cases we also provide a sharp upper bound for trees and a constant upper bound for the family of planar graphs.
On local antimagic chromatic number of graphs with cut-vertices
Published
• View Publication
• BIB
An edge labeling of a connected graph $G = (V, E)$ is said to be local antimagic if it is a bijection $f:E \to\{1,\ldots ,|E|\}$ such that for any pair of adjacent vertices $x$ and $y$, $f^+(x)\not= f^+(y)$, where the induced vertex label $f^+(x)= \sum f(e)$, with $e$ ranging over all the edges incident to $x$. The local antimagic chromatic number of $G$, denoted by $χ_{la}(G)$, is the minimum number of distinct induced vertex labels over all local antimagic labelings of $G$. In this paper, the sharp lower bound of the local antimagic chromatic number of a graph with cut-vertices given by pendants is obtained. The exact value of the local antimagic chromatic number of many families of graphs with cut-vertices (possibly given by pendant edges) are also determined. Consequently, we partially answered Problem 3.1 in [Local antimagic vertex coloring of a graph, {\it Graphs and Combin.}, {\bf33} (2017), 275--285.].
On local antimagic chromatic number of cycle-related join graphs
Published
• View Publication
• BIB
An edge labeling of a connected graph $G = (V, E)$ is said to be local antimagic if it is a bijection $f:E \to\{1,\ldots ,|E|\}$ such that for any pair of adjacent vertices $x$ and $y$, $f^+(x)\not= f^+(y)$, where the induced vertex label $f^+(x)= \sum f(e)$, with $e$ ranging over all the edges incident to $x$. The local antimagic chromatic number of $G$, denoted by $χ_{la}(G)$, is the minimum number of distinct induced vertex labels over all local antimagic labelings of $G$. In this paper, several sufficient conditions for $χ_{la}(H)\le χ_{la}(G)$ are obtained, where $H$ is obtained from $G$ with a certain edge deleted or added. We then determined the exact value of the local antimagic chromatic number of many cycle related join graphs.
Affirmative Solutions On Local Antimagic Chromatic Number
Published
• View Publication
• BIB
An edge labeling of a connected graph $G = (V, E)$ is said to be local antimagic if it is a bijection $f:E \to\{1,\ldots ,|E|\}$ such that for any pair of adjacent vertices $x$ and $y$, $f^+(x)\not= f^+(y)$, where the induced vertex label $f^+(x)= \sum f(e)$, with $e$ ranging over all the edges incident to $x$. The local antimagic chromatic number of $G$, denoted by $χ_{la}(G)$, is the minimum number of distinct induced vertex labels over all local antimagic labelings of $G$. In this paper, we give counterexamples to the lower bound of $χ_{la}(G \vee O_2)$ that was obtained in [Local antimagic vertex coloring of a graph, Graphs and Combin., 33 : 275 - 285 (2017)]. A sharp lower bound of $χ_{la}(G\vee O_n)$ and sufficient conditions for the given lower bound to be attained are obtained. Moreover, we settled Theorem 2.15 and solved Problem 3.3 in the affirmative. We also completely determined the local antimagic chromatic number of complete bipartite graphs.
Criticality, The List Color Function, and List Coloring the Cartesian Product of Graphs
Published
• View Publication
• BIB
We introduce a notion of color-criticality in the context of chromatic-choosability. We define a graph $G$ to be strong $k$-chromatic-choosable if $χ(G) = k$ and every $(k-1)$-assignment for which $G$ is not list-colorable has the property that the lists are the same for all vertices. That is the usual coloring is, in some sense, the obstacle to list-coloring. We prove basic properties of strongly chromatic-choosable graphs such as chromatic-choosability and vertex-criticality, and we construct infinite families of strongly chromatic-choosable graphs. We derive a sufficient condition for the existence of at least two list colorings of strongly chromatic-choosable graphs and use it to show that: if $M$ is a strong $k$-chromatic-choosable graph with $|E(M)| \leq |V(M)|(k-2)$ and $H$ is a graph that contains a Hamilton path, $w_1, w_2, \ldots, w_m$, such that $w_i$ has at most $ρ\geq 1$ neighbors among $w_1, \ldots, w_{i-1}$, then $χ_{\ell}(M \square H) \le k+ ρ- 1$. We show that this bound is sharp for all $ρ\ge 1$ by generalizing the theorem to apply to $H$ that are $(M,ρ)$-Cartesian accommodating which is a notion we define with the help of the list color function, $ P_{\ell}(G,k)$, the list analogue of the chromatic polynomial. We also use the list color function to determine the list chromatic number of certain star-like graphs: $χ_{\ell}(M \square K_{1,s}) =$ $k \; \text{if } s < P_{\ell}(M,k)$, or $k+1 \; \text{if } s \geq P_{\ell}(M,k)$, where $M$ is a strong $k$-chromatic-choosable graph. We show that $ P_{\ell}(M,k)$ equals $P(M,k)$, the chromatic polynomial, when $M$ is an odd cycle, complete graph, or the join of an odd cycle with a complete graph.
Coloring even-hole-free graphs with no star cutset
A \emph{hole} is a chordless cycle of length at least $4$. A graph is \emph{even-hole-free} if it does not contain any hole of even length as an induced subgraph. In this paper, we study the class of even-hole-free graphs with no star cutset. We give the optimal upper bound for its chromatic number in terms of clique number and a polynomial-time algorithm to color any graph in this class. The latter is, in fact, a direct consequence of our proof that this class has bounded rank-width.
The chromatic number of the plane is at least 5 - a new proof
Published
• View Publication
• BIB
We present an alternate proof of the fact that given any 4-coloring of the plane there exist two points unit distance apart which are identically colored.
On Local Antimagic Chromatic Number of Graphs
A {\it local antimagic labeling} of a connected graph $G$ with at least three vertices, is a bijection $f:E(G) \rightarrow \{1,2,\ldots , |E(G)|\}$ such that for any two adjacent vertices $u$ and $v$ of $G$, the condition $ω_{f}(u) \neq ω_{f}(v)$ holds; where $ω_{f}(u)=\sum _{x\in N(u)} f(xu)$. Assigning $ω_{f}(u)$ to $u$ for each vertex $u$ in $V(G)$, induces naturally a proper vertex coloring of $G$; and $|f|$ denotes the number of colors appearing in this proper vertex coloring. The {\it local antimagic chromatic number} of $G$, denoted by $χ_{la}(G)$, is defined as the minimum of $|f|$, where $f$ ranges over all local antimagic labelings of $G$. In this paper, we explicitely construct an infinite class of connected graphs $G$ such that $χ_{la}(G)$ can be arbitrarily large while $χ_{la}(G \vee \bar{K_{2}})=3$, where $G \vee \bar{K_{2}}$ is the join graph of $G$ and the complement graph of $K_{2}$. This fact leads to a counterexample to a theorem of [Local antimagic vertex coloring of a graph, {\em Graphs and Combinatorics}\ {\bf 33} (2017), 275--285].
Unavoidable Subtournaments in Tournaments with Large Chromatic Number
For a set H of tournaments, we say H is heroic if every tournament, not containing any member of H as a subtournament, has bounded chromatic number. Berger et al. explicitly characterized all heroic sets containing one tournament. Motivated by this result, we study heroic sets containing two tournaments. We give a necessary condition for a set containing two tournaments to be heroic. We also construct infinitely many minimal heroic sets of size two.
Stability results on vertex Turán problems in Kneser graphs
Published
• View Publication
• BIB
The vertex set of the Kneser graph $K(n,k)$ is $V = \binom{[n]}{k}$ and two vertices are adjacent if the corresponding sets are disjoint. For any graph $F$, the largest size of a vertex set $U \subseteq V$ such that $K(n,k)[U]$ is $F$-free, was recently determined by Alishahi and Taherkhani, whenever $n$ is large enough compared to $k$ and $F$. In this paper, we determine the second largest size of a vertex set $W \subseteq V$ such that $K(n,k)[W]$ is $F$-free, in the case when $F$ is an even cycle or a complete multi-partite graph. In the latter case, we actually give a more general theorem depending on the chromatic number of $F$. These results generalize the celebrated Erd\H os-Ko-Rado theorem and Hilton-Milner theorem.
The chromatic number of the plane is at least 5
We present a family of finite unit-distance graphs in the plane that are not 4-colourable, thereby improving the lower bound of the Hadwiger-Nelson problem. The smallest such graph that we have so far discovered has 1581 vertices.
The exact chromatic number of the convex segment disjointness graph
Let $P$ be a set of $n$ points in strictly convex position in the plane. Let $D_n$ be the graph whose vertex set is the set of all line segments with endpoints in $P$, where disjoint segments are adjacent. The chromatic number of this graph was first studied by Araujo, Dumitrescu, Hurtado, Noy, and Urrutia [2005] and then by Dujmović and Wood [2007]. Improving on their estimates, we prove the following exact formula: $$χ(D_n) = n - \left\lfloor \sqrt{2n + \tfrac{1}{4}} - \tfrac{1}{2}\right\rfloor.$$
Dold's Theorem from Viewpoint of Strong Compatibility Graphs
Published
• View Publication
• BIB
Let $G$ be a non-trivial finite group. The well-known Dold's theorem states that: There is no continuous $G$-equivariant map from an $n$-connected simplicial $G$-complex to a free simplicial $G$-complex of dimension at most $n$. In this paper, we give a new generalization of Dold's theorem, by replacing "dimension at most $n$" with a sharper combinatorial parameter. Indeed, this parameter is the chromatic number of a new family of graphs, called strong compatibility graphs, associated to the target space. Moreover, in a series of examples, we will see that one can hope to infer much more information from this generalization than ordinary Dold's theorem. In particular, we show that this new parameter is significantly better than the dimension of target space "for almost all free $\mathbb{Z}_2$-simplicial complex." In addition, some other applications of strong compatibility graphs will be presented as well. In particular, a new way for constructing triangle-free graphs with high chromatic numbers from an n-sphere $\mathbb{S}^n$, and some new results on the limitations of topological methods for determining the chromatic number of graphs will be given.
Single-conflict colouring
Given a multigraph, suppose that each vertex is given a local assignment of $k$ colours to its incident edges. We are interested in whether there is a choice of one local colour per vertex such that no edge has both of its local colours chosen. The least $k$ for which this is always possible given any set of local assignments we call the {\em single-conflict chromatic number} of the graph. This parameter is closely related to separation choosability and adaptable choosability. We show that single-conflict chromatic number of simple graphs embeddable on a surface of Euler genus $g$ is $O(g^{1/4}\log g)$ as $g\to\infty$. This is sharp up to the logarithmic factor.