coloring
4497 papers tagged with this keyword
Four-coloring $P_6$-free graphs. II. Finding an excellent precoloring
Published
• View Publication
• BIB
This is the second paper in a series of two. The goal of the series is to give a polynomial time algorithm for the $4$-coloring problem and the $4$-precoloring extension problem restricted to the class of graphs with no induced six-vertex path, thus proving a conjecture of Huang. Combined with previously known results this completes the classification of the complexity of the $4$-coloring problem for graphs with a connected forbidden induced subgraph.
In this paper we give a polynomial time algorithm that starts with a $4$-precoloring of a graph with no induced six-vertex path, and outputs a polynomial-size collection of so-called excellent precolorings. Excellent precolorings are easier to handle than general ones, and, in addition, in order to determine whether the initial precoloring can be extended to the whole graph, it is enough to answer the same question for each of the excellent precolorings in the collection. The first paper in the series deals with excellent precolorings, thus providing a complete solution to the problem.
Star Edge Coloring of the Cartesian Product of Graphs
A star edge coloring of a graph $G$ is a proper edge coloring of $G$ such that every path and cycle of length four in $G$ uses at least three different colors. The star chromatic index of a graph $G$, is the smallest integer $k$ for which $G$ admits a star edge coloring with $k$ colors. In this paper, we first obtain some upper bounds for the star chromatic index of the Cartesian product of two graphs. We then determine the exact value of the star chromatic index of $2$-dimensional grids. We also obtain some upper bounds on the star chromatic index of the Cartesian product of a path with a cycle, $d$-dimensional grids, $d$-dimensional hypercubes and $d$-dimensional toroidal grids, for every positive integer $d$.
Multicoloring of Graphs to Secure a Secret
Vertex coloring and multicoloring of graphs are a well known subject in graph theory, as well as their applications. In vertex multicoloring, each vertex is assigned some subset of a given set of colors. Here we propose a new kind of vertex multicoloring, motivated by the situation of sharing a secret and securing it from the actions of some number of attackers. We name the multicoloring a highly $a$-resistant vertex $k$-multicoloring, where $a$ is the number of the attackers, and $k$ the number of colors. For small values $a$ we determine what is the minimal number of vertices a graph must have in order to allow such a coloring, and what is the minimal number of colors needed.
On indicated coloring of some classes of graphs
Published
• View Publication
• BIB
Indicated coloring is a type of game coloring in which two players collectively color the vertices of a graph in the following way. In each round the first player (Ann) selects a vertex, and then the second player (Ben) colors it properly, using a fixed set of colors. The goal of Ann is to achieve a proper coloring of the whole graph, while Ben is trying to prevent the realization of this project. The smallest number of colors necessary for Ann to win the game on a graph $G$ (regardless of Ben's strategy) is called the indicated chromatic number of $G$, denoted by $χ_i(G)$. In this paper, we obtain structural characterization of connected $\{P_5,K_4,Kite,Bull\}$-free graphs which contains an induced $C_5$ and connected $\{P_6,C_5, K_{1,3}\}$-free graphs that contains an induced $C_6$. Also, we prove that $\{P_5,K_4,Kite,Bull\}$-free graphs that contains an induced $C_5$ and $\{P_6,C_5,\overline{P_5}, K_{1,3}\}$-free graphs which contains an induced $C_6$ are $k$-indicated colorable for all $k\geqχ(G)$. In addition, we show that $\mathbb{K}[C_5]$ is $k$-indicated colorable for all $k\geqχ(G)$ and as a consequence, we exhibit that $\{P_2\cup P_3, C_4\}$-free graphs, $\{P_5,C_4\}$-free graphs are $k$-indicated colorable for all $k\geqχ(G)$. This partially answers one of the questions which was raised by A. Grzesik in \cite{and}.
Graph limits of random unlabelled $k$-trees
Published
• View Publication
• BIB
We study random unlabelled $k$-dimensional trees by combining the colouring approach by Gainer-Dewar and Gessel (2014) with the cycle pointing method by Bodirsky, Fusy, Kang and Vigerske (2011). Our main applications are Gromov-Hausdorff-Prokhorov and Benjamini-Schramm limits, that describe their asymptotic geometric shape on a global and local scale as the number of hedra tends to infinity.
The zero forcing polynomial of a graph
Published in Discrete Applied Mathematics, Volume 258, 2019, Pages 35-48, ISSN 0166-218X
• View Publication
• BIB
Zero forcing is an iterative graph coloring process, where given a set of initially colored vertices, a colored vertex with a single uncolored neighbor causes that neighbor to become colored. A zero forcing set is a set of initially colored vertices which causes the entire graph to eventually become colored. In this paper, we study the counting problem associated with zero forcing. We introduce the zero forcing polynomial of a graph $G$ of order $n$ as the polynomial $\mathcal{Z}(G;x)=\sum_{i=1}^n z(G;i) x^i$, where $z(G;i)$ is the number of zero forcing sets of $G$ of size $i$. We characterize the extremal coefficients of $\mathcal{Z}(G;x)$, derive closed form expressions for the zero forcing polynomials of several families of graphs, and explore various structural properties of $\mathcal{Z}(G;x)$, including multiplicativity, unimodality, and uniqueness.
Intervals in the Hales-Jewett theorem
Published
• View Publication
• BIB
The Hales-Jewett theorem states that for any $m$ and $r$ there exists an $n$ such that any $r$-colouring of the elements of $[m]^n$ contains a monochromatic combinatorial line. We study the structure of the wildcard set $S \subseteq [n]$ which determines this monochromatic line, showing that when $r$ is odd there are $r$-colourings of $[3]^n$ where the wildcard set of a monochromatic line cannot be the union of fewer than $r$ intervals. This is tight, as for $n$ sufficiently large there are always monochromatic lines whose wildcard set is the union of at most $r$ intervals.
Introduction to total dominator edge chromatic number
We introduce the total dominator edge chromatic number of a graph $G$. A total dominator edge coloring (briefly TDE-coloring) of $G$ is a proper edge coloring of $G$ in which each edge of the graph is adjacent to every edge of some color class. The total dominator edge chromatic number (briefly TDEC-number) $χ'^t_d(G)$ of $G$ is the minimum number of color classes in a TDE-coloring of $G$. We obtain some properties of $χ'^t_d(G)$ and compute this parameter for specific graphs. We examine the effects on $χ'^t_d(G)$ when $G$ is modified by operations on vertex and edge of $G$. Finally, we consider the $k$-subdivison of $G$ and study TDEC-number of this kind of graphs.
Vector Coloring the Categorical Product of Graphs
Published
• View Publication
• BIB
A vector $t$-coloring of a graph is an assignment of real vectors $p_1, \ldots, p_n$ to its vertices such that $p_i^Tp_i = t-1$ for all $i=1, \ldots, n$ and $p_i^Tp_j \le -1$ whenever $i$ and $j$ are adjacent. The vector chromatic number of $G$ is the smallest real number $t \ge 1$ for which a vector $t$-coloring of $G$ exists. For a graph $H$ and a vector $t$-coloring $p_1,\ldots,p_n$ of a graph $G$, the assignment $(i,\ell) \mapsto p_i$ is a vector $t$-coloring of the categorical product $G \times H$. It follows that the vector chromatic number of $G \times H$ is at most the minimum of the vector chromatic numbers of the factors. We prove that equality always holds, constituting a vector coloring analog of the famous Hedetniemi Conjecture from graph coloring. Furthermore, we prove a necessary and sufficient condition for when all of the optimal vector colorings of the product can be expressed in terms of the optimal vector colorings of the factors. The vector chromatic number is closely related to the well-known Lovász theta function, and both of these parameters admit formulations as semidefinite programs. This connection to semidefinite programming is crucial to our work and the tools and techniques we develop could likely be of interest to others in this field.
Counting proper colourings in 4-regular graphs via the Potts model
Published
• View Publication
• BIB
We give tight upper and lower bounds on the internal energy per particle in the antiferromagnetic $q$-state Potts model on $4$-regular graphs, for $q\ge 5$. This proves the first case of a conjecture of the author, Perkins, Jenssen, and Roberts on extensions of their methods, and implies tight bounds on the antiferromagnetic Potts partition function.
The zero-temperature limit gives upper and lower bounds on the number of proper $q$-colourings of $4$-regular graphs, which almost proves the case $d=4$ of a conjecture of Galvin and Tetali. For any $q \ge 5$ we prove that the number of proper $q$-colourings of a $4$-regular graph is maximised by a union of $K_{4,4}$'s.
Fractional DP-Colorings of Sparse Graphs
Published
• View Publication
• BIB
DP-coloring (also known as correspondence coloring) is a generalization of list coloring developed recently by Dvořák and Postle. In this paper we introduce and study the fractional DP-chromatic number $χ_{DP}^\ast(G)$. We characterize all connected graphs $G$ such that $χ_{DP}^\ast(G) \leqslant 2$: they are precisely the graphs with no odd cycles and at most one even cycle. By a theorem of Alon, Tuza, and Voigt, the fractional list-chromatic number $χ_\ell^\ast(G)$ of any graph $G$ equals its fractional chromatic number $χ^\ast(G)$. This equality does not extend to fractional DP-colorings. Moreover, we show that the difference $χ^\ast_{DP}(G) - χ^\ast(G)$ can be arbitrarily large, and, furthermore, $χ^\ast_{DP}(G) \geq d/(2 \ln d)$ for every graph $G$ of maximum average degree $d \geq 4$. On the other hand, we show that this asymptotic lower bound is tight for a large class of graphs that includes all bipartite graphs as well as many graphs of high girth and high chromatic number.
Every planar graph without $i$-cycles adjacent simultaneously to $j$-cycles and $k$-cycles is DP-$4$-colorable when $\{i,j,k\}=\{3,4,5\}$
Published
• View Publication
• BIB
DP-coloring is a generalization of a list coloring in simple graphs. Many results in list coloring can be generalized in those of DP-coloring. Kim and Ozeki showed that planar graphs without $k$-cycles where $k=3,4,5,$ or $6$ are DP-$4$-colorable. Recently, Kim and Yu extended the result on $3$- and $4$-cycles by showing that planar graphs without triangles adjacent to $4$-cycles are DP-$4$-colorable. Xu and Wu showed that planar graphs without $5$-cycles adjacent simultaneously to $3$-cycles and $4$-cycles are $4$-choosable. In this paper, we extend the result on $5$-cycles and triangles adjacent to $4$-cycles by showing that planar graphs without $i$-cycles adjacent simultaneously to $j$-cycles and $k$-cycles are DP-$4$-colorable when $\{i,j,k\}=\{3,4,5\}.$ This also generalizes the result of Xu and Wu.
On generalized choice and coloring numbers
A well-known result of Alon shows that the coloring number of a graph is bounded by a function of its choosability. We explore this relationship in a more general setting with relaxed assumptions on color classes, encoded by a graph parameter.
Total dominator chromatic number of $k$-subdivision of graphs
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$. For any $k \in \mathbb{N}$, the $k$-subdivision of $G$ is a simple graph $G^{\frac{1}{k}}$ which is constructed by replacing each edge of $G$ with a path of length $k$. In this paper, we study the total dominator chromatic number of $k$-subdivision of $G$.
Total dominator coloring of central graphs
A total dominator coloring of a graph $G$ is a proper coloring of $G$ in which each vertex of the graph is adjacent to every vertex of some color class. The total dominator chromatic number of a graph is the minimum number of color classes in a total dominator coloring of it. Here, we study the total dominator coloring on central graphs by giving some tight bounds for the total dominator chromatic number of the central of a graph, join of two graphs and Nordhaus-Gaddum-like relations. Also we will calculate the total dominator chromatic number of the central of a path, a cycle, a wheel, a complete graph and a complete multipartite graph.
Matching, Path Covers, and Total Forcing Sets
Published
• View Publication
• BIB
A dynamic coloring of the vertices of a graph $G$ starts with an initial subset $S$ of colored vertices, with all remaining vertices being non-colored. At each discrete time interval, a colored vertex with exactly one non-colored neighbor forces this non-colored neighbor to be colored. The initial set $S$ is called a forcing set of $G$ if, by iteratively applying the forcing process, every vertex in $G$ becomes colored. If the initial set $S$ has the added property that it induces a subgraph of $G$ without isolated vertices, then $S$ is called a total forcing set in $G$. The minimum cardinality of a total forcing set in $G$ is its total forcing number, denoted $F_t(G)$. The path cover number of $G$, denoted $\pc(G)$, is the minimum number of vertex disjoint paths such that every vertex belongs to a path in the cover, while the matching number of $G$, denoted $α'(T)$, is the number of edges in a maximum matching of $G$. Let $T$ be a tree of order at least two. We observe that $\pc(T) + 1 \le F_t(T) \le 2\pc(T)$, and we prove that $F_t(T) \le α'(T) + \pc(T)$. Further, we characterize the extremal trees achieving equality in these bounds.
Improved bounds on the multicolor Ramsey numbers of paths and even cycles
Published
• View Publication
• BIB
We study the multicolor Ramsey numbers for paths and even cycles, $R_k(P_n)$ and $R_k(C_n)$, which are the smallest integers $N$ such that every coloring of the complete graph $K_N$ has a monochromatic copy of $P_n$ or $C_n$ respectively. For a long time, $R_k(P_n)$ has only been known to lie between $(k-1+o(1))n$ and $(k + o(1))n$. A recent breakthrough by Sárközy and later improvement by Davies, Jenssen and Roberts give an upper bound of $(k - \frac{1}{4} + o(1))n$. We improve the upper bound to $(k - \frac{1}{2}+ o(1))n$. Our approach uses structural insights in connected graphs without a large matching. These insights may be of independent interest.
Oddities of quantum colorings
Published in Baltic Journal on Modern Computing, 4(4), 846--859, 2016
• Search Publication
We study quantum analogs of graph colorings and chromatic number. Initially defined via an interactive protocol, quantum colorings can also be viewed as a natural operator relaxation of graph coloring. Since there is no known algorithm for producing nontrivial quantum colorings, the existing examples rely on ad hoc constructions. Almost all of the known constructions of quantum $d$-colorings start from $d$-dimensional orthogonal representations. We show the limitations of this method by exhibiting, for the first time, a graph with a 3-dimensional orthogonal representation which cannot be quantum 3-colored, and a graph that can be quantum 3-colored but has no 3-dimensional orthogonal representation. Together these examples show that the quantum chromatic number and orthogonal rank are not directly comparable as graph parameters. The former graph also provides an example of several interesting, and previously unknown, properties of quantum colorings. The most striking of these is that adding a new vertex adjacent to all other vertices does not necessarily increase the quantum chromatic number of a graph. This is in stark contrast to the chromatic number and many of its variants. This graph also provides the smallest known example (14 vertices) exhibiting a separation between chromatic number and its quantum analog.
Lifting a prescribed group of automorphisms of graphs
Published
• View Publication
• BIB
In this paper we are interested in lifting a prescribed group of automorphisms of a finite graph via regular covering projections. Here we describe with an example the problems we address and refer to the introductory section for the correct statements of our results.
Let $P$ be the Petersen graph, say, and let $\wp:\tilde{P}\to P$ be a regular covering projection. With the current covering machinery, it is straightforward to find $\wp$ with the property that every subgroup of $\Aut(P)$ lifts via $\wp$. However, for constructing peculiar examples and in applications, this is usually not enough. Sometimes it is important, given a subgroup $G$ of $\Aut(P)$, to find $\wp$ along which $G$ lifts but no further automorphism of $P$ does. For instance, in this concrete example, it is interesting to find a covering of the Petersen graph lifting the alternating group $A_5$ but not the whole symmetric group $S_5$. (Recall that $\Aut(P)\cong S_5$.) Some other time it is important, given a subgroup $G$ of $\Aut(P)$, to find $\wp$ with the property that $\Aut(\tilde{P})$ is the lift of $G$. Typically, it is desirable to find $\wp$ satisfying both conditions. In a very broad sense, this might remind wallpaper patterns on surfaces: the group of symmetries of the dodecahedron is $S_5$, and there is a nice colouring of the dodecahedron (found also by Escher) whose group of symmetries is just $A_5$.
In this paper, we address this problem in full generality.
Distinguishing density and the Distinct Spheres Condition
Published
• View Publication
• BIB
If a graph $G$ has distinguishing number 2, then there exists a partition of its vertex set into two parts, such that no nontrivial automorphism of $G$ fixes setwise the two parts. Such a partition is called a 2-distinguishing coloring of $G$, and the parts are called its color classes. If $G$ admits such a coloring, it is often possible to find another in which one of the color classes is sparse in a certain sense. In this case we say that $G$ has 2-distinguishing density zero. An extreme example of this would be an infinite graph admitting a 2-distinguishing coloring in which one of the color classes is finite.
If a graph $G$ contains a vertex $v$ such that, for all $n \in \mathbb N$, any two distinct vertices equidistant from $v$ have nonequal $n$-spheres, then we say that $G$ satisfies the Distinct Spheres Condition. In this paper we prove a general result: any countable connected graph that satisfies the Distinct Spheres Condition is 2-distinguishable with density zero. We present two proofs of this, one that uses a deterministic coloring, and another (that applies only to locally finite graphs) using a random coloring. From this result, we deduce that several important families of countably infinite and connected graphs are 2-distinguishable with density zero, including those that are locally finite and primitive. Furthermore, we prove that any connected graph with infinite motion and subquadratic growth is 2-distinguishable with density zero.