coloring
4497 papers tagged with this keyword
$Δ+300$ is a Bound on the Adjacent Vertex Distinguishing Edge Chromatic Number
Published in J. Combin. Theory Ser. B 95(2) (2005) pp. 246-256
• Search Publication
An adjacent vertex distinguishing edge-coloring or an \avd-coloring of a simple graph $G$ is a proper edge-coloring of $G$ such that no pair of adjacent vertices meets the same set of colors. We prove that every graph with maximum degree $Δ$ and with no isolated edges has an \avd-coloring with at most $Δ+300$ colors, provided that $Δ>10^{20}$.
On the Oriented Chromatic Number of Dense Graphs
Published in Contributions to Discrete Mathematics 2(2):145-152, 2007
• View Publication
• BIB
Let $G$ be a graph with $n$ vertices, $m$ edges, average degree $δ$, and maximum degree $Δ$. The "oriented chromatic number" of $G$ is the maximum, taken over all orientations of $G$, of the minimum number of colours in a proper vertex colouring such that between every pair of colour classes all edges have the same orientation. We investigate the oriented chromatic number of graphs, such as the hypercube, for which $δ\geq\log n$. We prove that every such graph has oriented chromatic number at least $Ω(\sqrt{n})$. In the case that $δ\geq(2+ε)\log n$, this lower bound is improved to $Ω(\sqrt{m})$. Through a simple connection with harmonious colourings, we prove a general upper bound of $O(Δ\sqrt{n})$ on the oriented chromatic number. Moreover this bound is best possible for certain graphs. These lower and upper bounds are particularly close when $G$ is ($c\log n$)-regular for some constant $c>2$, in which case the oriented chromatic number is between $Ω(\sqrt{n\log n})$ and $O(\sqrt{n}\log n)$.
Colored loop-erased random walk on the complete graph
Published
• View Publication
• BIB
Starting from a sequence regarded as a walk through some set of values, we consider the associated loop-erased walk as a sequence of directed edges, with an edge from $i$ to $j$ if the loop erased walk makes a step from $i$ to $j$. We introduce a coloring of these edges by painting edges with a fixed color as long as the walk does not loop back on itself, then switching to a new color whenever a loop is erased, with each new color distinct from all previous colors. The pattern of colors along the edges of the loop-erased walk then displays stretches of consecutive steps of the walk left untouched by the loop-erasure process. Assuming that the underlying sequence generating the loop-erased walk is a sequence of independent random variables, each uniform on $[N]:=\{1, 2, ..., N\}$, we condition the walk to start at $N$ and stop the walk when it first reaches the subset $[k]$, for some $1 \leq k \leq N-1$. We relate the distribution of the random length of this loop-erased walk to the distribution of the length of the first loop of the walk, via Cayley's enumerations of trees, and via Wilson's algorithm. For fixed $N$ and $k$, and $i = 1,2, ...$, let $B_i$ denote the event that the loop-erased walk from $N$ to $[k]$ has $i +1$ or more edges, and the $i^{th}$ and $(i+1)^{th}$ of these edges are colored differently. We show that given that the loop-erased random walk has $j$ edges for some $1\leq j \leq N-k$, the events $B_i$ for $1 \leq i \leq j-1$ are independent, with the probability of $B_i$ equal to $1/(k+i+1)$. This determines the distribution of the sequence of random lengths of differently colored segments of the loop-erased walk, and yields asymptotic descriptions of these random lengths as $N \to \infty$.
An effective algorithm for the enumeration of edge colorings and Hamiltonian cycles in cubic graphs
We propose an effective algorithm that enumerates (and actually finds) all 3-edge colorings and Hamiltonian cycles in a cubic graph. The idea is to make a preliminary run that separates the vertices into two types: ``rigid'' (such that the edges incident to them admit a unique coloring) and ``soft'' ones (such that the edges incident to them admit two distinct colorings), and then to perform the coloring. The computational complexity of this algorithm is on a par with (or even below) the fastest known algorithms that find a single 3-edge coloring or a Hamiltonian cycle for a cubic graph.
A Note on (3,1)-Choosable Toroidal Graphs
An $(L,d)^*$-coloring is a mapping $φ$ that assigns a color $φ(v)\in L(v)$ to each vertex $v\in V(G)$ such that at most $d$ neighbors of $v$ receive colore $φ(v)$. A graph is called $(m,d)^*$-choosable, if $G$ admits an $(L,d)^*$-coloring for every list assignment $L$ with $|L(v)|\geq m$ for all $v\in V(G)$. In this note, it is proved that every toroidal graph, which contains no adjacent triangles and contains no 6-cycles and $l$-cycles for some $l \in \{5,7\}$, is $(3,1)^*$-choosable.
On the asymptotic minimum number of monochromatic 3-term arithmetic progressions
Published in Journal of Combinatorial Theory, Series A. Volume 115, Issue 1, January 2008, pp. 185-192.
• View Publication
• BIB
Let V(n) be the minimum number of monochromatic 3-term arithmetic progressions in any 2-coloring of {1,2,...,n}. We show that (1675/32768) n^2 (1+o(1)) <= V(n) <= (117/2192) n^2(1+o(1)). As a consequence, we find that V(n) is strictly greater than the corresponding number for Schur triples (which is (1/22) n^2 (1+o(1)). Additionally, we disprove the conjecture that V(n) = (1/16) n^2(1+o(1)), as well as a more general conjecture.
On distinguishing trees by their chromatic symmetric functions
Published in J. Combin. Theory Ser. A 115 (2008), pp. 237-253
• View Publication
• BIB
Let $T$ be an unrooted tree. The \emph{chromatic symmetric function} $X_T$, introduced by Stanley, is a sum of monomial symmetric functions corresponding to proper colorings of $T$. The \emph{subtree polynomial} $S_T$, first considered under a different name by Chaudhary and Gordon, is the bivariate generating function for subtrees of $T$ by their numbers of edges and leaves. We prove that $S_T = <Φ,X_T>$, where $<\cdot,\cdot>$ is the Hall inner product on symmetric functions and $Φ$ is a certain symmetric function that does not depend on $T$. Thus the chromatic symmetric function is a stronger isomorphism invariant than the subtree polynomial. As a corollary, the path and degree sequences of a tree can be obtained from its chromatic symmetric function. As another application, we exhibit two infinite families of trees (\emph{spiders} and some \emph{caterpillars}), and one family of unicyclic graphs (\emph{squids}) whose members are determined completely by their chromatic symmetric functions.
Note on the number of proper colorings of a graph
We present a simpler proof of a bound on the number of proper colorings of a graph that was obtained recently by Liu and Murty using Tur'an sieve (in fact, we prove a stronger inequality). We also point out that these results are subsumed in a stronger result due to Lazebnik in 1990.
Totally frustrated states in the chromatic theory of gain graphs
Published in European J. Combinatorics, 30 (2009), 133-156.
• View Publication
• BIB
We generalize proper coloring of gain graphs to totally frustrated states, where each vertex takes a value in a set of `qualities' or `spins' that is permuted by the gain group. (An example is the Potts model.) The number of totally frustrated states satisfies the usual deletion-contraction law but is matroidal only for standard coloring, where the group action is trivial or nearly regular. One can generalize chromatic polynomials by constructing spin sets with repeated transitive components.
Lattice point counts for the Shi arrangement and other affinographic hyperplane arrangements
Published in J. Combinatorial Theory Ser. A, 114 (2007), no. 1, 97-109.
• View Publication
• BIB
Hyperplanes of the form x_j = x_i + c are called affinographic. For an affinographic hyperplane arrangement in R^n, such as the Shi arrangement, we study the function f(M) that counts integral points in [1,M]^n that do not lie in any hyperplane of the arrangement. We show that f(M) is a piecewise polynomial function of positive integers M, composed of terms that appear gradually as M increases. Our approach is to convert the problem to one of counting integral proper colorations of a rooted integral gain graph. An application is to interval coloring in which the interval of available colors for vertex v_i has the form [(h_i)+1,M]. A related problem takes colors modulo M; the number of proper modular colorations is a different piecewise polynomial that for large M becomes the characteristic polynomial of the arrangement (by which means Athanasiadis previously obtained that polynomial). We also study this function for all positive moduli.
On the quantum chromatic number of a graph
Published in Electronic Journal of Combinatorics 14(1), 2007
• View Publication
• BIB
We investigate the notion of quantum chromatic number of a graph, which is the minimal number of colours necessary in a protocol in which two separated provers can convince an interrogator with certainty that they have a colouring of the graph.
After discussing this notion from first principles, we go on to establish relations with the clique number and orthogonal representations of the graph. We also prove several general facts about this graph parameter and find large separations between the clique number and the quantum chromatic number by looking at random graphs.
Finally, we show that there can be no separation between classical and quantum chromatic number if the latter is 2, nor if it is 3 in a restricted quantum model; on the other hand, we exhibit a graph on 18 vertices and 44 edges with chromatic number 5 and quantum chromatic number 4.
Homology tests for graph colorings
Published
• View Publication
• BIB
We describe a simple homological test for obstructions to graph colorings. The main idea is to combine the framework of Hom-complexes with the following general fact: an arbitrary Z_2-space has nontrivial homology with Z_2-coefficients in the dimension equal to its Stiefel-Whitney height.
Actually, as a result we have a whole family of homology tests, one for each test graph. In general, these tests will give different answers, depending heavily on the choice of the test graph. We illustrate this phenomenon with some examples.
The proof of Steinberg's three coloring conjecture
The well-known Steinberg's conjecture asserts that any planar graph without 4- and 5-cycles is 3 colorable. In this note we have given a short algorithmic proof of this conjecture based on the spiral chains of planar graphs proposed in the proof of the four color theorem by the author in 2004.
Spanning trees and Khovanov homology
Published in Proc. Amer. Math. Soc., 137 (2009), 2157-2167.
• View Publication
• BIB
The Jones polynomial can be expressed in terms of spanning trees of the graph obtained by checkerboard coloring a knot diagram. We show there exists a complex generated by these spanning trees whose homology is the reduced Khovanov homology. The spanning trees provide a filtration on the reduced Khovanov complex and a spectral sequence that converges to its homology. For alternating links, all differentials on the spanning tree complex are zero and the reduced Khovanov homology is determined by the Jones polynomial and signature. We prove some analogous theorems for (unreduced) Khovanov homology.
Distinguishing colorings of Cartesian products of complete graphs
Published
• View Publication
• BIB
We determine the values of s and t for which there is a coloring of the edges of the complete bipartite graph K_{s,t} which admits only the identity automorphism. In particular this allows us to determine the distinguishing number of the Cartesian product of complete graphs.
NP-completeness of 4-incidence colorability of semi-cubic graphs
Published
• View Publication
• BIB
The incidence coloring conjecture, proposed by Brualdi and Massey in 1993, states that the incidence coloring number of every graph is at most ${\it Δ}+2$, where ${\it Δ}$ is the maximum degree of a graph. The conjecture was shown to be false in general by Guiduli in 1997, following the work of Algor and Alon. However, in 2005 Maydanskiy proved that the conjecture holds for any graph with ${\it Δ}\leq 3$. It is easily deduced that the incidence coloring number of a semi-cubic graph is 4 or 5. In this paper, we show that it is already NP-complete to determine if a semi-cubic graph is 4-incidence colorable, and therefore it is NP-complete to determine if a general graph is $k$-incidence colorable.
Graph colourings, spaces of edges and spaces of circuits
Published
• View Publication
• BIB
By Lovasz' proof of the Kneser conjecture, the chromatic number of a graph G is bounded from below by the index of the Z_2-space Hom(K_2,G) plus two. We show that the cohomological index of Hom(K_2,G) is also greater than the cohomological index of the Z_2-space Hom(C_{2r+1}, G) for r>0. This gives a new and simple proof of the strong form of the graph colouring theorem by Babson and Kozlov, which had been conjectured by Lovasz, and at the same time shows that it never gives a stronger bound than can be obtained by Hom(K_2, G). The proof extends ideas introduced by Zivaljevic in a previous elegant proof of a special case. We then generalise the arguments and obtain conditions under which corresponding results hold for other graphs in place of C_{2r+1}. This enables us to find an infinite family of test graphs of chromatic number 4 among the Kneser graphs.
Our main new result is a description of the Z_2-homotopy type of the direct limit of the system of all the spaces Hom(C_{2r+1}, G) in terms of the Z_2-homotopy type of Hom(K_2, G). A corollary is that the coindex of Hom(K_2, G) does not exceed the coindex of Hom(C_{2r+1}, G) by more then one if r is chosen sufficiently large. Thus the graph colouring bound in the theorem by Babson & Kozlov is also never weaker than that from Lovasz' proof of the Kneser conjecture.
Some colouring problems for unit-quadrance graphs
The quadrance between two points $A_1 = (x_1, y_1)$ and $A_2 = (x_2, y_2)$ is the number $Q (A_1, A_2) = (x_1 - x_2)^2 + (y_1 - y_2)^2$. Let $q$ be an odd prime power and $F_q$ be the finite field with $q$ elements. The unit-quadrance graph $D_q$ has the vertex set $F_q^2$, and $X, Y \in F_q^2$ are adjacent if and only if $Q (A_1, A_2) = 1$. In this paper, we study some colouring problems for the unit-quadrance graph $D_q$ and discuss some open problems.
Two Color Off-diagonal Rado-type Numbers
Published
• View Publication
• BIB
We show that for any two linear homogenous equations $\mathcal{E}_0,\mathcal{E}_1$, each with at least three variables and coefficients not all the same sign, any 2-coloring of $\mathbb{Z}^+$ admits monochromatic solutions of color 0 to $\mathcal{E}_0$ or monochromatic solutions of color 1 to $\mathcal{E}_1$. We define the 2-color off-diagonal Rado number $RR(\mathcal{E}_0,\mathcal{E}_1)$ to be the smallest $N$ such that $[1,N]$ must admit such solutions. We determine a lower bound for $RR(\mathcal{E}_0,\mathcal{E}_1)$ in certain cases when each $\mathcal{E}_i$ is of the form $a_1x_1+...+a_nx_n=z$ as well as find the exact value of $RR(\mathcal{E}_0,\mathcal{E}_1)$ when each is of the form $x_1+a_2x_2+...+a_nx_n=z$. We then present a Maple package that determines upper bounds for off-diagonal Rado numbers of a few particular types, and use it to quickly prove two previous results for diagonal Rado numbers.
The Sylvester-Gallai Theorem, colourings and algebra
Published in Discrete Mathematics 309 (2009), 385--399
• View Publication
• BIB
Our point of departure is the following simple common generalisation of the Sylvester-Gallai theorem and the Motzkin-Rabin theorem:
Let S be a finite set of points in the plane, with each point coloured red or blue or with both colours. Suppose that for any two distinct points A,B in S sharing a colour there is a third point C in S, of the other colour, collinear with A and B. Then all the points in S are collinear.
We define a chromatic geometry to be a simple matroid for which each point is coloured red or blue or with both colours, such that for any two distinct points A,B in S sharing a colour there is a third point C in S, of the other colour, collinear with A and B. This is a common generalisation of proper finite linear spaces and properly two-coloured finite linear spaces, with many known properties of both generalising as well. One such property is Kelly's complex Sylvester-Gallai theorem. We also consider embeddings of chromatic geometries in Desarguesian projective spaces. We prove a lower bound of 51 for the number of points in a 3-dimensional chromatic geometry in projective space over the quaternions. Finally, we suggest an elementary approach to the corollary of an inequality of Hirzebruch used by Kelly in his proof of the complex Sylvester-Gallai theorem.