coloring
4405 papers tagged with this keyword
The maximum distinguishing number of a group
Published
• View Publication
• BIB
Let G be a group acting faithfully on a set X. The distinguishing number of the action of G on X is the smallest number of colors such that there exists a coloring of X where no nontrivial group element induces a color-preserving permutation of X. In this paper, we show that if G is nilpotent of class c or supersolvable of length c then G always acts with distinguishing number at most c+1. We obtain that all metacyclic groups act with distinguishing number at most 3; these include all groups of squarefree order. We also prove that the distinguishing number of the action of the general linear group over a field K on the vector space K^n is 2 if K has at least n+1 elements.
The distinguishing number of the augmented cube and hypercube powers
Published
• View Publication
• BIB
The distinguishing number of a graph G, denoted D(G), is the minimum number of colors such that there exists a coloring of the vertices of G where no nontrivial graph automorphism is color-preserving. In this paper, we show that the distinguishing number of p-th graph power of the n-dimensional hypercube is 2 whenever 2 < p < n-1. This completes the study of the distinguishing number of hypercube powers. We also compute the distinguishing number of the augmented cube, a variant of the hypercube, answering an open question.
An inequality on broken chessboards
For any partition of a positive integer we consider the chess (or draughts) colouring of its associated Ferrers graph. Let b denote the total number of black unit squares, and w the number of white squares. In this note we characterize all pairs (b,w) which arise in this way. This simple combinatorical result was discovered by characterizing Hilbert series of certain right modules over cubic three-dimensional Artin-Schelter algebras. However in this note we present a purely combinatorical proof.
The result is (at least partially) known in literature, however we found it interesting to present an elementary proof. All additional references and remarks will be mostly appreciated.
Edge-choosability and total-choosability of planar graphs with no adjacent 3-cycles
Published in Discussiones Mathematicae Graph Theory. Vol. 29 (1), 2009, pp. 163-178
• View Publication
• BIB
Let $G$ be a planar graph with no two 3-cycles sharing an edge. We show that if $Δ(G)\geq 9$, then $χ'_l(G) = Δ(G)$ and $χ''_l(G)=Δ(G)+1.$ We also show that if $Δ(G)\geq 6$, then $χ'_l(G)\leqΔ(G)+1$ and if $Δ(G)\geq 7$, then $χ''_l(G)\leqΔ(G)+2$. All of these results extend to graphs in the projective plane and when $Δ(G)\geq 7$ the results also extend to graphs in the torus and Klein bottle.
This second edge-choosability result improves on work of Wang and Lih and of Zhang and Wu. All of our results use the discharging method to prove structural lemmas about the existence of subgraphs with small degree-sum. For example, we prove that if $G$ is a planar graph with no two 3-cycles sharing an edge and with $Δ(G)\geq 7$, then $G$ has an edge $uv$ with $d(u)\leq 4$ and $d(u)+d(v)\leq Δ(G)+2$.
All of our proofs yield linear-time algorithms that produce the desired colorings.
Monochromatic and Zero-Sum Sets of Nondecreasing Diameter
Let k, r, s in the natural numbers where r \geq s \geq 2. Define f(s,r,k) to be the smallest positive integer n such that for every coloring of the integers in [1,n] there exist subsets S_1 and S_2 such that: (a) S_1 and S_2 are monochromatic (but not necessarily of the same color), (b) |S_1| = s, |S_2| = r, (c)max(S_1) < min(S_2), and (d) diam(S_1) \leq diam(S_2). We prove that the theorems defining f(s,r,2) and f(s,r,3) admit a partial generalization in the sense of the Erdos-Ginzburg-Ziv theorem. This work begins the off-diagonal case of the results of Bialostocki, Erdos, and Lefmann.
Colouring powers of cycles from random lists
Published in European J. of Combinatorics 25 (2004), 961-968
• View Publication
• BIB
Let $C_n^k$ be the $k$-th power of a cycle on $n$ vertices (i.e. the vertices of $C_n^k$ are those of the $n$-cycle, and two vertices are connected by an edge if their distance along the cycle is at most $k$). For each vertex draw uniformly at random a subset of size $c$ from a base set $S$ of size $s=s(n)$. In this paper we solve the problem of determining the asymptotic probability of the existence of a proper colouring from the lists for all fixed values of $c,k$, and growing $n$.
Colouring complete bipartite graphs from random lists
Published
• View Publication
• BIB
Let $K_{n,n}$ be the complete bipartite graph with $n$ vertices in each side. For each vertex draw uniformly at random a list of size $k$ from a base set $S$ of size $s=s(n)$. In this paper we estimate the asymptotic probability of the existence of a proper colouring from the random lists for all fixed values of $k$ and growing $n$. We show that this property exhibits a sharp threshold for $k\geq 2$ and the location of the threshold is precisely $s(n)=2n$ for $k=2$, and approximately $s(n)=\frac{n}{2^{k-1}\ln 2}$ for $k\geq 3$.
Colourings of the Cartesian Product of Graphs and Multiplicative Sidon Sets
Published in Combinatorica 29.4:449-466, 2009
• Search Publication
Let $F$ be a family of connected bipartite graphs, each with at least three vertices. A proper vertex colouring of a graph $G$ with no bichromatic subgraph in $F$ is $\F$-free. The $F$-free chromatic number $χ(G,F)$ of a graph $G$ is the minimum number of colours in an $F$-free colouring of $G$. For appropriate choices of $F$, several well-known types of colourings fit into this framework, including acyclic colourings, star colourings, and distance-2 colourings. This paper studies $F$-free colourings of the cartesian product of graphs.
Let $H$ be the cartesian product of the graphs $G_1,G_2,...,G_d$. Our main result establishes an upper bound on the $F$-free chromatic number of $H$ in terms of the maximum $F$-free chromatic number of the $G_i$ and the following number-theoretic concept. A set $S$ of natural numbers is $k$-multiplicative Sidon if $ax=by$ implies $a=b$ and $x=y$ whenever $x,y\in S$ and $1\leq a,b\leq k$. Suppose that $χ(G_i,F)\leq k$ and $S$ is a $k$-multiplicative Sidon set of cardinality $d$. We prove that $χ(H,F) \leq 1+2k\cdot\max S$. We then prove that the maximum density of a $k$-multiplicative Sidon set is $Θ(1/\log k)$. It follows that $χ(H,F) \leq O(dk\log k)$. We illustrate the method with numerous examples, some of which generalise or improve upon existing results in the literature.
Small models of graph colouring manifolds and the Stiefel manifolds Hom(C_5, K_n)
We show Péter Csorba's conjecture that the graph homomorphism complex Hom(C_5,K_{n+2}) is homeomorphic to a Stiefel manifold, the space of unit tangent vectors to the n-dimensional sphere. For this a general tool is developed that allows to replace the complexes Hom(G, K_n) by smaller complexes that are homeomorphic to them whenever G is a graph for which those complexes are manifolds. The equivariant version of Csorba's conjecture is proved up to homotopy.
We also study certain subdivisions of simplicial manifolds that are related to the interval poset of their face posets and their connection with geometric approximations to diagonal maps.
Combinatorial groupoids, cubical complexes, and the Lovasz conjecture
A foundation is laid for a theory of combinatorial groupoids, allowing us to use concepts like ``holonomy'', ``parallel transport'', ``bundles'', ``combinatorial curvature'' etc. in the context of simplicial (polyhedral) complexes, posets, graphs, polytopes and other combinatorial objects. A new, holonomy-type invariant for cubical complexes is introduced, leading to a combinatorial ``Theorema Egregium'' for cubical complexes non-embeddable into cubical lattices. Parallel transport of Hom-complexes and maps is used as a tool for extending Babson-Kozlov-Lovasz graph coloring results to more general statements about non-degenerate maps (colorings) of simplicial complexes and graphs.
Graph coloring manifolds
Published in Algebraic and Geometric Combinatorics, 51--69, Contemp. Math., 423, Amer. Math. Soc., Providence, RI, 2006
• View Publication
• BIB
We introduce a new and rich class of graph coloring manifolds via the Hom complex construction of Lovasz. The class comprises examples of Stiefel manifolds, series of spheres and products of spheres, cubical surfaces, as well as examples of Seifert manifolds. Asymptotically, graph coloring manifolds provide examples of highly connected, highly symmetric manifolds.
Notes on Nonrepetitive Graph Colouring
Published in Electronic J. Combinatorics 15:R99, 2008
• Search Publication
A vertex colouring of a graph is \emph{nonrepetitive on paths} if there is no path $v_1,v_2,...,v_{2t}$ such that v_i and v_{t+i} receive the same colour for all i=1,2,...,t. We determine the maximum density of a graph that admits a k-colouring that is nonrepetitive on paths. We prove that every graph has a subdivision that admits a 4-colouring that is nonrepetitive on paths. The best previous bound was 5. We also study colourings that are nonrepetitive on walks, and provide a conjecture that would imply that every graph with maximum degree $Δ$ has a $f(Δ)$-colouring that is nonrepetitive on walks. We prove that every graph with treewidth k and maximum degree $Δ$ has a $O(kΔ)$-colouring that is nonrepetitive on paths, and a $O(kΔ^3)$-colouring that is nonrepetitive on walks.
Latin squares and their defining sets
A Latin square $L(n,k)$ is a square of order $n$ with its entries colored with $k$ colors so that all the entries in a row or column have different colors. Let $d(L(n,k))$ be the minimal number of colored entries of an $n \times n$ square such that there is a unique way of coloring of the yet uncolored entries in order to obtain a Latin square $L(n, k)$. In this paper we discuss the properties of $d(L(n,k))$ for $k=2n-1$ and $k=2n-2$. We give an alternate proof of the identity $d(L(n, 2n-1))=n^2-n$, which holds for even $n$, and we establish the new result $d(L(n, 2n-2)) \geq n^2-\lfloor\frac{8n}{5}\rfloor$ and show that this bound is tight for $n$ divisible by 10.
Colouring an Orthogonality Graph
Published
• View Publication
• BIB
We deal with a graph colouring problem that arises in quantum information theory. Alice and Bob are each given a $\pm1$-vector of length $k$, and are to respond with $k$ bits. Their responses must be equal if they are given equal inputs, and distinct if they are given orthogonal inputs; however, they are not allowed to communicate any information about their inputs. They can always succeed using quantum entanglement, but their ability to succeed using only classical physics is equivalent to a graph colouring problem. We resolve the graph colouring problem, thus determining that they can succeed without entanglement exactly when $k\leq3$.
Grad and classes with bounded expansion I. decompositions
Published in KAM-DIMATIA Series 2005-739 (2005) 1-21
• Search Publication
We introduce classes of graphs with bounded expansion as a generalization of both proper minor closed classes and degree bounded classes. Such classes are based on a new invariant, the greatest reduced average density (grad) of G with rank r, grad r(G). For these classes we prove the existence of several partition results such as the existence of low tree-width and low tree-depth colorings. This generalizes and simplifies several earlier results (obtained for minor closed classes).
Grad and Classes with Bounded Expansion II. Algorithmic Aspects
Published in KAM-DIMATIA Series 2005-740 (2005) 1-20
• Search Publication
Classes of graphs with bounded expansion are a generalization of both proper minor closed classes and degree bounded classes. Such classes are based on a new invariant, the greatest reduced average density (grad) of G with rank r, ∇r(G). These classes are also characterized by the existence of several partition results such as the existence of low tree-width and low tree-depth colorings. These results lead to several new linear time algorithms, such as an algorithm for counting all the isomorphs of a fixed graph in an input graph or an algorithm for checking whether there exists a subset of vertices of a priori bounded size such that the subgraph induced by this subset satisfies some arbirtrary but fixed first order sentence. We also show that for fixed p, computing the distances between two vertices up to distance p may be performed in constant time per query after a linear time preprocessing. We also show, extending several earlier results, that a class of graphs has sublinear separators if it has sub-exponential expansion. This result result is best possible in general.
Grad and classes with bounded expansion III. restricted dualities
Published in KAM-DIMATIA Series 2005-741 (2005) 1-14
• Search Publication
We study restricted homomorphism dualities in the context of classes with bounded expansion. This presents a generalization of restricted dualities obtained earlier for bounded degree graphs and also for proper minor closed classes. This is related to distance coloring of graphs and to the ''approximative version'' of Hadwiger conjecture.
On the degree of regularity of generalized van der Waerden triples
Published
• View Publication
• BIB
Let $1 \leq a \leq b$ be integers. A triple of the form $(x,ax+d,bx+2d)$, where $x,d$ are positive integers is called an {\em (a,b)-triple}. The {\em degree of regularity} of the family of all $(a,b)$-triples, denoted dor($a,b)$, is the maximum integer $r$ such that every $r$-coloring of $\mathbb{N}$ admits a monochromatic $(a,b)$-triple. We settle, in the affirmative, the conjecture that dor$(a,b) < \infty$ for all $(a,b) \neq (1,1)$. We also disprove the conjecture that dor($a,b) \in \{1,2,\infty\}$ for all $(a,b)$.
A general lower bound for mixing of single-site dynamics on graphs
Published in Annals of Applied Probability 2007, Vol. 17, No. 3, 931-952
• View Publication
• BIB
We prove that any Markov chain that performs local, reversible updates on randomly chosen vertices of a bounded-degree graph necessarily has mixing time at least $Ω(n\log n)$, where $n$ is the number of vertices. Our bound applies to the so-called ``Glauber dynamics'' that has been used extensively in algorithms for the Ising model, independent sets, graph colorings and other structures in computer science and statistical physics, and demonstrates that many of these algorithms are optimal up to constant factors within their class. Previously, no superlinear lower bound was known for this class of algorithms. Though widely conjectured, such a bound had been proved previously only in very restricted circumstances, such as for the empty graph and the path. We also show that the assumption of bounded degree is necessary by giving a family of dynamics on graphs of unbounded degree with mixing time O(n).
On lengths of rainbow cycles
Published in Electron. J. Combin. 13 (2006), no. 1, Research Paper 105, 14 pp. (electronic)
• View Publication
• BIB
We prove several results regarding edge-colored complete graphs and rainbow cycles, cycles with no color appearing on more than one edge. We settle a question posed by Ball, Pultr, and Vojtěchovský by showing that if such a coloring does not contain a rainbow cycle of length $n$, where $n$ is odd, then it also does not contain a rainbow cycle of length $m$ for all $m$ greater than $2n^2$. In addition, we present two examples which demonstrate that this result does not hold for even $n$. Finally, we state several open problems in the area.