chromatic number
2106 papers tagged with this keyword
Triangle-free graphs of tree-width t are ceil((t + 3)/2)-colorable
We prove that every triangle-free graph of tree-width t has chromatic number at most ceil((t + 3)/2), and demonstrate that this bound is tight. The argument also establishes a connection between coloring graphs of tree-width t and on-line coloring of graphs of path-width t.
Vertex transitive graphs $G$ with $χ_D(G) > χ(G)$ and small automorphism group
Published
• View Publication
• BIB
For a graph $G$ and a positive integer $k$, a vertex labelling $f:V(G)\to\{1,2\ldots,k\}$ is said to be $k$-distinguishing if no non-trivial automorphism of $G$ preserves the sets $f^{-1}(i)$ for each $i\in\{1,\ldots,k\}$. The distinguishing chromatic number of a graph $G$, denoted $χ_D(G)$, is defined as the minimum $k$ such that there is a $k$-distinguishing labelling of $V(G)$ which is also a proper coloring of the vertices of $G$. In this paper, we prove the following theorem: Given $k\in\mathbb{N}$, there exists an infinite sequence of vertex-transitive graphs $G_{i}=(V_i,E_i)$ such that $χ_D(G_i)>χ(G_i)>k$ and $|\mathrm{Aut}(G_i)|=O_k(|V_i|)$, where $\mathrm{Aut}(G_i)$ denotes the full automorphism group of $G_i$. In particular, this answers a problem raised in the paper $χ_D(G)$, $|\mathrm{Aut}(G)|$ and a variant of the Motion lemma.
More on the total dominator chromatic number of a graph
Published
• View Publication
• BIB
Let $G$ be a simple graph. A total dominator coloring of $G$, is a proper coloring of the vertices of $G$ in which each vertex of the graph is adjacent to every vertex of some color class. The total dominator chromatic (TDC) number $χ_d^t(G)$ of $G$, is the minimum number of colors among all total dominator coloring of $G$. The neighbourhood corona of two graphs $G_1$ and $G_2$ is denoted by $G_1 \star G_2$ and is the graph obtained by taking one copy of $G_1$ and $|V(G_1)|$ copies of $G_2$, and joining the neighbours of the $i$th vertex of $G_1$ to every vertex in the $i$th copy of $G_2$. In this paper, we study the total dominator chromatic number of the neighbourhood of two graphs and investigate the total dominator chromatic number of $r$-gluing of two graphs. Stability (bondage number) of total dominator chromatic number of $G$ is the minimum number of vertices (edges) of $G$ whose removal changes the TDC-number of $G$. We study the stability and bondage number of certatin graphs.
Proof of a local antimagic conjecture
Published in Discrete Mathematics & Theoretical Computer Science, Vol. 20 no. 1, Graph Theory (June 4, 2018) dmtcs:3887
• View Publication
• BIB
An antimagic labelling of a graph $G$ is a bijection $f:E(G)\to\{1,\ldots,E(G)\}$ such that the sums $S_v=\sum_{e\ni v}f(e)$ distinguish all vertices. A well-known conjecture of Hartsfield and Ringel (1994) is that every connected graph other than $K_2$ admits an antimagic labelling. Recently, two sets of authors (Arumugam, Premalatha, Bača \& Semaničová-Feňovčíková (2017), and Bensmail, Senhaji \& Lyngsie (2017)) independently introduced the weaker notion of a local antimagic labelling, where only adjacent vertices must be distinguished. Both sets of authors conjectured that any connected graph other than $K_2$ admits a local antimagic labelling. We prove this latter conjecture using the probabilistic method. Thus the parameter of local antimagic chromatic number, introduced by Arumugam et al., is well-defined for every connected graph other than $K_2$ .
The tessellation problem of quantum walks
Published in Theoretical Computer Science 801, 175-191, 2020
• View Publication
• BIB
Quantum walks have received a great deal of attention recently because they can be used to develop new quantum algorithms and to simulate interesting quantum systems. In this work, we focus on a model called staggered quantum walk, which employs advanced ideas of graph theory and has the advantage of including the most important instances of other discrete-time models. The evolution operator of the staggered model is obtained from a tessellation cover, which is defined in terms of a set of partitions of the graph into cliques. It is important to establish the minimum number of tessellations required in a tessellation cover, and what classes of graphs admit a small number of tessellations. We describe two main results: (1) infinite classes of graphs where we relate the chromatic number of the clique graph to the minimum number of tessellations required in a tessellation cover, and (2) the problem of deciding whether a graph is $k$-tessellable for $k\ge 3$ is NP-complete.
On Star Coloring of Splitting Graphs
In this paper, we consider the problem of a star coloring. In general case the problems in NP-complete. We establish the star chromatic number for splitting graph of complete and complete bipartite graphs, as well of paths and cycles. Our proofs are constructive, so they lead to appropriate star colorings of graphs under consideration.
Generalized bilinear forms graphs and MDR codes
Published
• View Publication
• BIB
We investigate the generalized bilinear forms graph $Γ_d$ over a residue class ring $\mathbb{Z}_{p^s}$. We show that $Γ_d$ is a connected vertex transitive graph, and completely determine its independence number, clique number, chromatic number and maximum cliques. We also prove that cores of both $Γ_d$ and its complement are maximum cliques. The graph $Γ_d$ is useful for error-correcting codes. We show that every largest independent set of $Γ_d$ is both an MRD code over $\mathbb{Z}_{p^s}$ and a usual MDS code. Moreover, there is a largest independent set of $Γ_d$ to be a linear code over $\mathbb{Z}_{p^s}$.
Infinite combinatorics plain and simple
Published
• View Publication
• BIB
We explore a general method based on trees of elementary submodels in order to present highly simplified proofs to numerous results in infinite combinatorics. While countable elementary submodels have been employed in such settings already, we significantly broaden this framework by developing the corresponding technique for countably closed models of size continuum. The applications range from various theorems on paradoxical decompositions of the plane, to coloring sparse set systems, results on graph chromatic number and constructions from point-set topology. Our main purpose is to demonstrate the ease and wide applicability of this method in a form accessible to anyone with a basic background in set theory and logic.
Four NP-complete problems about generalizations of perfect graphs
We show that the following problems are NP-complete.
1. Can the vertex set of a graph be partitioned into two sets such that each set induces a perfect graph?
2. Is the difference between the chromatic number and clique number at most $1$ for every induced subgraph of a graph?
3. Can the vertex set of every induced subgraph of a graph be partitioned into two sets such that the first set induces a perfect graph, and the clique number of the graph induced by the second set is smaller than that of the original induced subgraph?
4. Does a graph contain a stable set whose deletion results in a perfect graph?
The proofs of the NP-completeness of the four problems follow the same pattern: Showing that all the four problems are NP-complete when restricted to triangle-free graphs by using results of Maffray and Preissmann on $3$-colorability and $4$-colorability of triangle-free graphs
Induced subgraphs of graphs with large chromatic number. X. Holes of specific residue
Published
• View Publication
• BIB
A large body of research in graph theory concerns the induced subgraphs of graphs with large chromatic number, and especially which induced cycles must occur. In this paper, we unify and substantially extend results from a number of previous papers, showing that, for every positive integer k, every graph with large chromatic number contains either a large complete subgraph or induced cycles of all lengths modulo k. As an application, we prove two conjectures of Kalai and Meshulam from the 1990's connecting the chromatic number of a graph with the homology of its independence complex.
Validity of Borodin & Kostochka Conjecture for a Class of Graphs
Borodin & Kostochka conjectured that if maximum degree of a graph is greater than or equal to 9, then the chromatic number of the graph is less than or equal to maximum of ω and maximum degree minus 1. Here we prove that this Conjecture is true for {P3 UNION K1}-free graphs and {K2 UNION complement of K2}-free graphs.
Coloring Properties of Categorical Product of General Kneser Hypergraphs
Published
• View Publication
• BIB
More than 50 years ago Hedetniemi conjectured that the chromatic number of categorical product of two graphs is equal to the minimum of their chromatic numbers. This conjecture has received a considerable attention in recent years. Hedetniemi's conjecture were generalized to hypergraphs by Zhu in 1992. Hajiabolhassan and Meunier (2016) introduced the first nontrivial lower bound for the chromatic number of categorical product of general Kneser hypergraphs and using this lower bound, they verified Zhu's conjecture for some families of hypergraphs. In this paper, we shall present some colorful type results for the coloring of categorical product of general Kneser hypergraphs, which generalize the Hajiabolhassan-Meunier result. Also, we present a new lower bound for the chromatic number of categorical product of general Kneser hypergraphs which can be extremely better than the Hajiabolhassan-Meunier lower bound. Using this lower bound, we enrich the family of hypergraphs satisfying Zhu's conjecture.
List colourings of multipartite hypergraphs
Published
• View Publication
• BIB
Let $χ_l(G)$ denote the list chromatic number of the $r$-uniform hypergraph~$G$. Extending a result of Alon for graphs, Saxton and the second author used the method of containers to prove that, if $G$ is simple and $d$-regular, then $χ_l(G)\ge (1/(r-1)+o(1))\log_r d$.
To see how close this inequality is to best possible, we examine $χ_l(G)$ when $G$ is a random $r$-partite hypergraph with $n$ vertices in each class. The value when $r=2$ was determined by Alon and Krivelevich, here we show that $χ_l(G)= (g(r,α)+o(1))\log_r d$ almost surely, where $d$ is the expected average degree of~$G$ and $α=\log_nd$.
The function $g(r,α)$ is defined in terms of "preference orders" and can be determined fairly explicitly. This is enough to show that the container method gives an optimal lower bound on $χ_l(G)$ for $r=2$ and $r=3$, but, perhaps surprisingly, apparently not for $r\ge4$.
A new lower bound for the chromatic number of general Kneser hypergraphs
Published
• View Publication
• BIB
A general Kneser hypergraph ${\rm KG}^r(\mathcal{H})$ is an $r$-uniform hypergraph that somehow encodes the edge intersections of a ground hypergraph $\mathcal{H}$. The colorability defect of $\mathcal{H}$ is a combinatorial parameter providing a lower bound for the chromatic number of ${\rm KG}^r(\mathcal{H})$ which is addressed in a series of works by Dol'nikov [Sibirskii Matematicheskii Zhurnal, 1988}], Kříž [Transaction of the American Mathematical Society, 1992], and Ziegler~[Inventiones Mathematicae, 2002]. In this paper, we define a new combinatorial parameter, the equitable colorability defect of hypergraphs, which provides some common improvements of these works. Roughly speaking, we propose a new lower bound for the chromatic number of general Kneser hypergraphs which substantially improves Ziegler's lower bound. It is always as good as Ziegler's lower bound and we provide several families of hypergraphs for which the difference between these two lower bounds is arbitrary large. This specializes to a substantial improvement of the Dol'nikov-Kříž lower bound for the chromatic number of general Kneser hypergraphs as well. Furthermore, we prove a result ensuring the existence of a colorful subhypergraph in any proper coloring of general Kneser hypergraphs which strengthens Meunier's result [The Electronic Journal of Combinatorics, 2014].
Coloring dense digraphs
Published
• View Publication
• BIB
The chromatic number of a digraph $D$ is the minimum number of acyclic subgraphs covering the vertex set of $D$. A tournament $H$ is a hero if every $H$-free tournament $T$ has chromatic number bounded by a function of $H$. Inspired by the celebrated Erdős--Hajnal conjecture, Berger et al. fully characterized the class of heroes in 2013. We extend this framework to dense digraphs: A digraph $H$ is a superhero if every $H$-free digraph $D$ has chromatic number bounded by a function of $H$ and $α(D)$, the independence number of the underlying graph of $D$. We prove here that a digraph is a superhero if and only if it is a hero, and hence characterize all superheroes. This answers a question of Aboulker, Charbit and Naserasr.
Automorphism group of the subspace inclusion graph of a vector space
Published
• View Publication
• BIB
In a recent paper [Comm. Algebra, 44(2016) 4724-4731], Das introduced the graph $\mathcal{I}n(\mathbb{V})$, called subspace inclusion graph on a finite dimensional vector space $\mathbb{V}$, where the vertex set is the collection of nontrivial proper subspaces of $\mathbb{V}$ and two vertices are adjacent if one is properly contained in another. Das studied the diameter, girth, clique number, and chromatic number of $\mathcal{I}n(\mathbb{V})$ when the base field is arbitrary, and he also studied some other properties of $\mathcal{I}n(\mathbb{V})$ when the base field is finite. In this paper, the automorphisms of $\mathcal{I}n(\mathbb{V})$ are determined when the base field is finite.
Surprising Examples of Manifolds in Toric Topology!
We investigate small covers and quasitoric over the duals of neighborly simplicial polytopes with small number of vertices in dimensions $4$, $5$, $6$ and $7$. In the most of the considered cases we obtain the complete classification of small covers. The lifting conjecture in all cases is verified to be true. The problem of cohomological rigidity for small covers is also studied and we have found a whole new series of weakly cohomologically rigid simple polytopes. New examples of manifolds provide the first known examples of quasitoric manifolds in higher dimensions whose orbit polytopes have chromatic numbers $χ(P^n)\geq 3n-5$.
Automorphisms of the subspace sum graphs on a vector space
The subspace sum graph $\mathcal{G}(\mathbb{V})$ on a finite dimensional vector space $\mathbb{V}$ was introduced by Das [Subspace Sum Graph of a Vector Space, arXiv:1702.08245], recently. The vertex set of $\mathcal{G}(\mathbb{V})$ consists of all the nontrivial proper subspaces of $\mathbb{V}$ and two distinct vertices $W_1$ and $W_2$ are adjacent if and only if $W_1+W_2=\mathbb{V}$. In that paper, some structural indices (e.g., diameter, girth, connectivity, domination number, clique number and chromatic number) were studied, but the characterization of automorphisms of $\mathcal{G}(\mathbb{V})$ was left as one of further research topics. Motivated by this, we in this paper characterize the automorphisms of $\mathcal{G}(\mathbb{V})$ completely.
The Theta Number of Simplicial Complexes
Published
• View Publication
• BIB
We introduce a generalization of the celebrated Lovász theta number of a graph to simplicial complexes of arbitrary dimension. Our generalization takes advantage of real simplicial cohomology theory, in particular combinatorial Laplacians, and provides a semidefinite programming upper bound of the independence number of a simplicial complex. We consider properties of the graph theta number such as the relationship to Hoffman's ratio bound and to the chromatic number and study how they extend to higher dimensions. Like in the case of graphs, the higher dimensional theta number can be extended to a hierarchy of semidefinite programming upper bounds reaching the independence number. We analyze the value of the theta number and of the hierarchy for dense random simplicial complexes.
Disjointness graphs of segments
Published
• View Publication
• BIB
The {\em disjointness graph} $G=G({\cal S})$ of a set of segments ${\cal S}$ in $R^d$, $d\ge 2,$ is a graph whose vertex set is ${\cal S}$ and two vertices are connected by an edge if and only if the corresponding segments are disjoint. We prove that the chromatic number of $G$ satisfies $χ(G)\le(ω(G))^4+(ω(G))^3$, where $ω(G)$ denotes the clique number of $G$. It follows, that $\cal S$ has $Ω(n^{1/5})$ pairwise intersecting or pairwise disjoint elements. Stronger bounds are established for lines in space, instead of segments.
We show that computing $ω(G)$ and $χ(G)$ for disjointness graphs of lines in space are NP-hard tasks. However, we can design efficient algorithms to compute proper colorings of $G$ in which the number of colors satisfies the above upper bounds. One cannot expect similar results for sets of continuous arcs, instead of segments, even in the plane. We construct families of arcs whose disjointness graphs are triangle-free ($ω(G)=2$), but whose chromatic numbers are arbitrarily large.