coloring
4410 papers tagged with this keyword
Intersection Graph of a Module
Published
• View Publication
• BIB
Let $V$ be a left $R$-module where $R$ is a (not necessarily commutative) ring with unit. The intersection graph $\cG(V)$ of proper $R$-submodules of $V$ is an undirected graph without loops and multiple edges defined as follows: the vertex set is the set of all proper $R$-submodules of $V,$ and there is an edge between two distinct vertices $U$ and $W$ if and only if $U\cap W\neq 0.$ We study these graphs to relate the combinatorial properties of $\cG(V)$ to the algebraic properties of the $R$-module $V.$ We study connectedness, domination, finiteness, coloring, and planarity for $\cG (V).$ For instance, we find the domination number of $\cG (V).$ We also find the chromatic number of $\cG(V)$ in some cases. Furthermore, we study cycles in $\cG(V),$ and complete subgraphs in $\cG (V)$ determining the structure of $V$ for which $\cG(V)$ is planar.
On the chromatic number of a random hypergraph
Published
• View Publication
• BIB
We consider the problem of $k$-colouring a random $r$-uniform hypergraph with $n$ vertices and $cn$ edges, where $k$, $r$, $c$ remain constant as $n$ tends to infinity. Achlioptas and Naor showed that the chromatic number of a random graph in this setting, the case $r=2$, must have one of two easily computable values as $n$ tends to infinity. We give a complete generalisation of this result to random uniform hypergraphs.
Toward an uncountable analogue of Gallai's Theorem for colorings of the plane
Published in Geombinatorics, October 2012, Vol. 22, Issue 2, p. 45-50
• Search Publication
In this paper we prove that if $S$ is any finite configuration of points in $\mathbb{Z}^2$, then any finite coloring of $\mathbb{E}^2$ must contain uncountably many monochromatic subsets homothetic to $S$. We extend a result of Brown, Dunfield, and Perry on 2-colorings of $\mathbb{E}^2$ to any finite coloring of $\mathbb{E}^2$.
Nonrepetitive choice number of trees
Published
• View Publication
• BIB
A nonrepetitive coloring of a path is a coloring of its vertices such that the sequence of colors along the path does not contain two identical, consecutive blocks. The remarkable construction of Thue asserts that 3 colors are enough to color nonrepetitively paths of any length. A nonrepetitive coloring of a graph is a coloring of its vertices such that all simple paths are nonrepetitively colored. Assume that each vertex $v$ of a graph $G$ has assigned a set (list) of colors $L_v$. A coloring is chosen from $\{L_v\}_{v\in V(G)}$ if the color of each $v$ belongs to $L_v$. The Thue choice number of $G$, denoted by $π_l(G)$, is the minimum $k$ such that for any list assignment $\set{L_v}$ of $G$ with each $|L_v|\geq k$ there is a nonrepetitive coloring of $G$ chosen from $\{L_v\}$. Alon et al. (2002) proved that $π_l(G)=O(Δ^2)$ for every graph $G$ with maximum degree at most $Δ$. We propose an almost linear bound in $Δ$ for trees, namely for any $\epsi>0$ there is a constant $c$ such that $π_l(T)\leq cΔ^{1+\epsi}$ for every tree $T$ with maximum degree $Δ$. The only lower bound for trees is given by a recent result of Fiorenzi et al. (2011) that for any $Δ$ there is a tree $T$ such that $π_l(T)=Ω(\frac{\logΔ}{\log\logΔ})$. We also show that if one allows repetitions in a coloring but still forbid 3 identical consecutive blocks of colors on any simple path, then a constant size of the lists allows to color any tree.
Counting monochromatic copies of K_4: a new lower bound for the Ramsey multiplicity problem
Denote by k_4(n) the minimal number of monochromatic copies of a K_4 in a 2-colouring of the edges of K_n and let c_4 := lim k_4(n)/\binom{n}{4}. The best known bounds so far were given by Thomason, who proved that c_4 < 1/33 \approx 0.0303, and Giraud, who showed that c_4 > 1/46 \approx 0.0217. In this paper we prove the new lower bound c_4 > 204603019 / 7112448000 > 0.0287.
Online and quasi-online colorings of wedges and intervals
Published
• View Publication
• BIB
We consider proper online colorings of hypergraphs defined by geometric regions. We prove that there is an online coloring algorithm that colors $N$ intervals of the real line using $Θ(\log N/k)$ colors such that for every point $p$, contained in at least $k$ intervals, not all the intervals containing $p$ have the same color. We also prove the corresponding result about online coloring a family of wedges (quadrants) in the plane that are the translates of a given fixed wedge. These results contrast the results of the first and third author showing that in the quasi-online setting 12 colors are enough to color wedges (independent of $N$ and $k$). We also consider quasi-online coloring of intervals. In all cases we present efficient coloring algorithms.
Equitable chromatic threshold of complete multipartite graphs
A proper vertex coloring of a graph is equitable if the sizes of color classes differ by at most one. The equitable chromatic number of a graph $G$, denoted by $χ_=(G)$, is the minimum $k$ such that $G$ is equitably $k$-colorable. The equitable chromatic threshold of a graph $G$, denoted by $χ_=^*(G)$, is the minimum $t$ such that $G$ is equitably $k$-colorable for $k\ge t$. We develop a formula and a linear-time algorithm which compute the equitable chromatic threshold of an arbitrary complete multipartite graph.
The multivariate arithmetic Tutte polynomial
Published
• View Publication
• BIB
We introduce an arithmetic version of the multivariate Tutte polynomial, and (for representable arithmetic matroids) a quasi-polynomial that interpolates between the two. A generalized Fortuin-Kasteleyn representation with applications to arithmetic colorings and flows is obtained. We give a new and more general proof of the positivity of the coefficients of the arithmetic Tutte polynomial, and (in the representable case) a geometrical interpretation of them.
Essentially disjoint families, conflict free colorings and Shelah's Revised GCH
Published
• View Publication
• BIB
Using Shelah's revised GCH theorem we prove that if mu<beth_omega <= lambda are cardinals, then every mu-almost disjoint subfamily B of [lambda]^{beth_omega} is essentially disjoint, i.e. for each b from B there is a subset f(b) of b of size < |b| such that the family {b-f(b) b in B} is disjoint. We also show that if mu<=kappa<=lambda, and kappa is infinite, and (x) every mu-almost disjoint subfamily of [lambda]^kappa is essentially disjoint, then (xx) every mu-almost disjoint family B of subsets of lambda with |b|>=kappa for all b from B has a conflict-free colorings with kappa colors. Putting together these results we obtain that if mu<beth_omega<=lambda, then every mu-almost disjoint family B of subsets of lambda with |b|>=beth_omega for all b from B has a conflict-free colorings with beth_omega colors. To yield the above mentioned results we also need to prove a certain compactness theorem concerning singular cardinals.
Lattice Variant of the Sensitivity Conjecture
The Sensitivity Conjecture, posed in 1994, states that the fundamental measures known as the sensitivity and block sensitivity of a Boolean function f, s(f) and bs(f) respectively, are polynomially related. It is known that bs(f) is polynomially related to important measures in computer science including the decision-tree depth, polynomial degree, and parallel RAM computation time of f, but little is known how the sensitivity compares; the separation between s(f) and bs(f) is at least quadratic and at most exponential. We analyze a promising variant by Aaronson that implies the Sensitivity Conjecture, stating that for all two-colorings of the d-dimensional lattice $\mathbb{Z}^d$, d and the sensitivity s(C) are polynomially related, where s(C) is the maximum number of differently-colored neighbors of a point. We construct a coloring with the largest known separation between d and s(C), in which $d=O(s(C)^2)$, and demonstrate that it is optimal for a large class of colorings. We also give a reverse reduction from the Lattice Variant to the Sensitivity Conjecture, and using this prove the first non-constant lower bound on s(C). These results indicate that the Lattice Variant can help further the limited progress on the Sensitivity Conjecture.
Strong spatial mixing for list coloring of graphs
Published
• View Publication
• BIB
The property of spatial mixing and strong spatial mixing in spin systems has been of interest because of its implications on uniqueness of Gibbs measures on infinite graphs and efficient approximation of counting problems that are otherwise known to be #P hard. In the context of coloring, strong spatial mixing has been established for regular trees when $q \geq α^{*} Δ+ 1$ where $q$ the number of colors, $Δ$ is the degree and $α^* = 1.763..$ is the unique solution to $xe^{-1/x} = 1$. It has also been established for bounded degree lattice graphs whenever $q \geq α^* Δ- β$ for some constant $β$, where $Δ$ is the maximum vertex degree of the graph. The latter uses a technique based on recursively constructed coupling of Markov chains whereas the former is based on establishing decay of correlations on the tree. We establish strong spatial mixing of list colorings on arbitrary bounded degree triangle-free graphs whenever the size of the list of each vertex $v$ is at least $αΔ(v) + β$ where $Δ(v)$ is the degree of vertex $v$ and $α> α^*$ and $β$ is a constant that only depends on $α$. We do this by proving the decay of correlations via recursive contraction of the distance between the marginals measured with respect to a suitably chosen error function.
On the facial Thue choice index via entropy compression
Published in J. Graph Theory 77(3) (2014) 180-189
• View Publication
• BIB
A sequence is nonrepetitive if it contains no identical consecutive subsequences. An edge colouring of a path is nonrepetitive if the sequence of colours of its consecutive edges is nonrepetitive. By the celebrated construction of Thue, it is possible to generate nonrepetitive edge colourings for arbitrarily long paths using only three colours. A recent generalization of this concept implies that we may obtain such colourings even if we are forced to choose edge colours from any sequence of lists of size 4 (while sufficiency of lists of size 3 remains an open problem). As an extension of these basic ideas, Havet, Jendrol', Soták and Škrabul'áková proved that for each plane graph, 8 colours are sufficient to provide an edge colouring so that every facial path is nonrepetitively coloured. In this paper we prove that the same is possible from lists, provided that these have size at least 12. We thus improve the previous bound of 291 (proved by means of the Lovász Local Lemma). Our approach is based on the Moser-Tardos entropy-compression method and its recent extensions by Grytczuk, Kozik and Micek, and by Dujmović, Joret, Kozik and Wood.
A Generalization of Kochen-Specker Sets Relates Quantum Coloring to Entanglement-Assisted Channel Capacity
Published in IEEE Transactions on Information Theory (Volume:59 , Issue:6), June 2013
• View Publication
• BIB
We introduce two generalizations of Kochen-Specker (KS) sets: projective KS sets and generalized KS sets. We then use projective KS sets to characterize all graphs for which the chromatic number is strictly larger than the quantum chromatic number. Here, the quantum chromatic number is defined via a nonlocal game based on graph coloring. We further show that from any graph with separation between these two quantities, one can construct a classical channel for which entanglement assistance increases the one-shot zero-error capacity. As an example, we exhibit a new family of classical channels with an exponential increase.
On Rainbow Cycles and Paths
In a properly edge colored graph, a subgraph using every color at most once is called rainbow. In this thesis, we study rainbow cycles and paths in proper edge colorings of complete graphs, and we prove that in every proper edge coloring of K_n, there is a rainbow path on (3/4-o(1))n vertices, improving on the previously best bound of (2n+1)/3 from Gyarfas and Mhalla. Similarly, a k-rainbow path in a proper edge coloring of K_n is a path using no color more than k times. We prove that in every proper edge coloring of K_n, there is a k-rainbow path on (1-2/(k+1)!)n vertices.
Large stars with few colors
A recent question in generalized Ramsey theory is that for fixed positive integers $s\leq t$, at least how many vertices can be covered by the vertices of no more than $s$ monochromatic members of the family $\cal F$ in every edge coloring of $K_n$ with $t$ colors. This is related to an old problem of Chung and Liu: for graph $G$ and integers $1\leq s<t$ what is the smallest positive integer $n=R_{s,t}(G)$ such that every coloring of the edges of $K_n$ with $t$ colors contains a copy of $G$ with at most $s$ colors. We answer this question when $G$ is a star and $s$ is either $t-1$ or $t-2$ generalizing the well-known result of Burr and Roberts.
A note on coloring line arrangements
Published
• View Publication
• BIB
We show that the lines of every arrangement of $n$ lines in the plane can be colored with $O(\sqrt{n/ \log n})$ colors such that no face of the arrangement is monochromatic. This improves a bound of Bose et al. \cite{BCC12} by a $Θ(\sqrt{\log n})$ factor. Any further improvement on this bound will improve the best known lower bound on the following problem of Erdős: Estimate the maximum number of points in general position within a set of $n$ points containing no four collinear points.
Generation and Properties of Snarks
Published
• View Publication
• BIB
For many of the unsolved problems concerning cycles and matchings in graphs it is known that it is sufficient to prove them for \emph{snarks}, the class of nontrivial 3-regular graphs which cannot be 3-edge coloured. In the first part of this paper we present a new algorithm for generating all non-isomorphic snarks of a given order. Our implementation of the new algorithm is 14 times faster than previous programs for generating snarks, and 29 times faster for generating weak snarks. Using this program we have generated all non-isomorphic snarks on $n\leq 36$ vertices. Previously lists up to $n=28$ vertices have been published. In the second part of the paper we analyze the sets of generated snarks with respect to a number of properties and conjectures. We find that some of the strongest versions of the cycle double cover conjecture hold for all snarks of these orders, as does Jaeger's Petersen colouring conjecture, which in turn implies that Fulkerson's conjecture has no small counterexamples. In contrast to these positive results we also find counterexamples to eight previously published conjectures concerning cycle coverings and the general cycle structure of cubic graphs.
Linear colorings of subcubic graphs
Published in European Journal of Combinatorics, Volume 34, Issue 6, August 2013, Pages 1040-1050
• View Publication
• BIB
A linear coloring of a graph is a proper coloring of the vertices of the graph so that each pair of color classes induce a union of disjoint paths. In this paper, we prove that for every connected graph with maximum degree at most three and every assignment of lists of size four to the vertices of the graph, there exists a linear coloring such that the color of each vertex belongs to the list assigned to that vertex and the neighbors of every degree-two vertex receive different colors, unless the graph is $C_5$ or $K_{3,3}$. This confirms a conjecture raised by Esperet, Montassier, and Raspaud. Our proof is constructive and yields a linear-time algorithm to find such a coloring.
Total coloring of 1-toroidal graphs of maximum degree at least 11 and no adjacent triangles
Published in Journal of Combinatorial Optimization, 33 (2017) 1090--1105
• View Publication
• BIB
A {\em total coloring} of a graph $G$ is an assignment of colors to the vertices and the edges of $G$ such that every pair of adjacent/incident elements receive distinct colors. The {\em total chromatic number} of a graph $G$, denoted by $\chiup''(G)$, is the minimum number of colors in a total coloring of $G$. The well-known Total Coloring Conjecture (TCC) says that every graph with maximum degree $Δ$ admits a total coloring with at most $Δ+ 2$ colors. A graph is {\em $1$-toroidal} if it can be drawn in torus such that every edge crosses at most one other edge. In this paper, we investigate the total coloring of $1$-toroidal graphs, and prove that the TCC holds for the $1$-toroidal graphs with maximum degree at least~$11$ and some restrictions on the triangles. Consequently, if $G$ is a $1$-toroidal graph with maximum degree $Δ$ at least~$11$ and without adjacent triangles, then $G$ admits a total coloring with at most $Δ+ 2$ colors.
Counting Proper Mergings of Chains and Antichains
Published in Discrete Mathematics 327 (2014), pages 118-129
• View Publication
• BIB
A proper merging of two disjoint quasi-ordered sets $P$ and $Q$ is a quasi-order on the union of $P$ and $Q$ such that the restriction to $P$ and $Q$ yields the original quasi-order again and such that no elements of $P$ and $Q$ are identified. In this article, we consider the cases where $P$ and $Q$ are chains, where $P$ and $Q$ are antichains, and where $P$ is an antichain and $Q$ is a chain. We give formulas that determine the number of proper mergings in all three cases, and introduce two new bijections from proper mergings of two chains to plane partitions and from proper mergings of an antichain and a chain to monotone colorings of complete bipartite digraphs. Additionally, we use these bijections to count the Galois connections between two chains, and between a chain and a Boolean lattice respectively.