chromatic number
2051 papers tagged with this keyword
Chromatic numbers, morphism complexes, and Stiefel-Whitney characteristic classes
Published
• View Publication
• BIB
Combinatorics, in particular graph theory, has a rich history of being a domain of successful applications of tools from other areas of mathematics, including topological methods. Here, we survey the study of the Hom-complexes, and the ways these can be used to obtain lower bounds for the chromatic numbers of graphs, presented in a recent series of papers \cite{BK03a,BK03b,BK03c,CK1,CK2,K4,K5}.
The structural theory is developed and put in the historical context, culminating in the proof of the Lovász Conjecture, which can be stated as follows:
For a graph G, such that the complex Hom(C_{2r+1},G) is k-connected for some integers r>0 and k>-2, we have χ(G)>k+3.
Beyond the, more customary in this area, cohomology groups, the algebro-topological concepts involved are spectral sequences and Stiefel-Whitney characteristic classes. Complete proofs are included for all the new results appearing in this survey for the first time.
Hadwiger Number and the Cartesian Product Of Graphs
Published
• View Publication
• BIB
The Hadwiger number mr(G) of a graph G is the largest integer n for which the complete graph K_n on n vertices is a minor of G. Hadwiger conjectured that for every graph G, mr(G) >= chi(G), where chi(G) is the chromatic number of G. In this paper, we study the Hadwiger number of the Cartesian product G [] H of graphs.
As the main result of this paper, we prove that mr(G_1 [] G_2) >= h\sqrt{l}(1 - o(1)) for any two graphs G_1 and G_2 with mr(G_1) = h and mr(G_2) = l. We show that the above lower bound is asymptotically best possible. This asymptotically settles a question of Z. Miller (1978).
As consequences of our main result, we show the following:
1. Let G be a connected graph. Let the (unique) prime factorization of G be given by G_1 [] G_2 [] ... [] G_k. Then G satisfies Hadwiger's conjecture if k >= 2.log(log(chi(G))) + c', where c' is a constant. This improves the 2.log(chi(G))+3 bound of Chandran and Sivadasan.
2. Let G_1 and G_2 be two graphs such that chi(G_1) >= chi(G_2) >= c.log^{1.5}(chi(G_1)), where c is a constant. Then G_1 [] G_2 satisfies Hadwiger's conjecture.
3. Hadwiger's conjecture is true for G^d (Cartesian product of G taken d times) for every graph G and every d >= 2. This settles a question by Chandran and Sivadasan (They had shown that the Hadiwger's conjecture is true for G^d if d >= 3.)
On generalized Kneser hypergraph colorings
Published in Journal of Combinatorial Theory, Series A 114 (2007), pp. 159-166
• View Publication
• BIB
In Ziegler (2002), the second author presented a lower bound for the chromatic numbers of hypergraphs $\KG{r}{\pmb s}{\calS}$, "generalized $r$-uniform Kneser hypergraphs with intersection multiplicities $\pmb s$." It generalized previous lower bounds by Kriz (1992/2000) for the case ${\pmb s}=(1,...,1)$ without intersection multiplicities, and by Sarkaria (1990) for $\calS=\tbinom{[n]}k$. Here we discuss subtleties and difficulties that arise for intersection multiplicities $s_i>1$:
1. In the presence of intersection multiplicities, there are two different versions of a "Kneser hypergraph," depending on whether one admits hypergraph edges that are multisets rather than sets. We show that the chromatic numbers are substantially different for the two concepts of hypergraphs. The lower bounds of Sarkaria (1990) and Ziegler (2002) apply only to the multiset version.
2. The reductions to the case of prime $r$ in the proofs Sarkaria and by Ziegler work only if the intersection multiplicities are strictly smaller than the largest prime factor of $r$. Currently we have no valid proof for the lower bound result in the other cases.
We also show that all uniform hypergraphs without multiset edges can be represented as generalized Kneser hypergraphs.
Local chromatic number and distinguishing the strength of topological obstructions
Published
• View Publication
• BIB
The local chromatic number of a graph G is the number of colors appearing in the most colorful closed neighborhood of a vertex minimized over all proper colorings of G. We show that two specific topological obstructions that have the same implications for the chromatic number have different implications for the local chromatic number. These two obstructions can be formulated in terms of the homomorphism complex Hom(K_2,G) and its suspension, respectively.
These investigations follow the line of research initiated by Matousek and Ziegler who recognized a hierarchy of the different topological expressions that can serve as lower bounds for the chromatic number of a graph.
Our results imply that the local chromatic number of 4-chromatic Kneser, Schrijver, Borsuk, and generalized Mycielski graphs is 4, and more generally, that 2r-chromatic versions of these graphs have local chromatic number at least r+2. This lower bound is tight in several cases by results in an earlier paper of the first two authors.
A special case of Hadwiger's conjecture
Published
• View Publication
• BIB
We investigate Hadwiger's conjecture for graphs with no stable set of size 3. Such a graph on at least 2t-1 vertices is not t-1 colorable, so is conjectured to have a $K_t$ minor. There is a strengthening of Hadwiger's conjecture in this case, which states that there is always a minor in which the preimages of the vertices of $K_t$ are connected subgraphs of size one or two. We prove this strengthened version for graphs whose complement has an even number of vertices and fractional chromatic number less than 3. We investigate several possible generalizations and obtain counterexamples for some and improved results from others. We also show that for sufficiently large $n=|V(G)|$, a graph with no stable set of size 3 has a $K_{1/9 n^{4/5}}$ minor using only sets of size one or two as preimages of vertices.
Symplectic Graphs and Their Automorphisms
Published
• View Publication
• BIB
A new family of strongly regular graphs, called the general symplectic graphs $Sp(2ν, q)$, associated with nonsingular alternate matrices is introduced. Their parameters as strongly regular graphs, their chromatic numbers as well as their groups of graph automorphisms are determined.
Higher connectivity of graph coloring complexes
Published in IMRN 2005:25 (2005) 1543-1562.
• Search Publication
The main result of this paper is a proof of the following conjecture of Babson & Kozlov:
Theorem. Let G be a graph of maximal valency d, then the complex Hom(G,K_n) is at least (n-d-2)-connected.
Here Hom(-,-) denotes the polyhedral complex introduced by Lovász to study the topological lower bounds for chromatic numbers of graphs.
We will also prove, as a corollary to the main theorem, that the complex Hom(C_{2r+1},K_n) is (n-4)-connected, for $n\geq 3$.
A simple proof for folds on both sides in complexes of graph homomorphisms
Published in Proc. Amer. Math. Soc. 134 (2006), no. 5, 1265--1270
• View Publication
• BIB
In this paper we study implications of folds in both parameters of Lovász' Hom(-,-) complexes. There is an important connection between the topological properties of these complexes and lower bounds for chromatic numbers. We give a very short and conceptual proof of the fact that if G-v is a fold of G, then Bd(Hom(G,H)) collapses onto Bd Hom(G-v,H), whereas Hom(H,G) collapses onto Hom(H,G-v).
We also give an easy inductive proof of the only nonelementary fact which we use for our arguments: if $φ$ is a closure operator on P, then $Δ(P)$ collapses onto $Δ(φ(P))$.
Mean Ramsey-Turán numbers
Published
• View Publication
• BIB
A $ρ$-mean coloring of a graph is a coloring of the edges such that the average number of colors incident with each vertex is at most $ρ$. For a graph $H$ and for $ρ\geq 1$, the {\em mean Ramsey-Turán number} $RT(n,H,ρ-mean)$ is the maximum number of edges a $ρ$-mean colored graph with $n$ vertices can have under the condition it does not have a monochromatic copy of $H$. It is conjectured that $RT(n,K_m,2-mean)=RT(n,K_m,2)$ where $RT(n,H,k)$ is the maximum number of edges a $k$ edge-colored graph with $n$ vertices can have under the condition it does not have a monochromatic copy of $H$. We prove the conjecture holds for $K_3$. We also prove that $RT(n,H,ρ-mean) \leq RT(n,K_{χ(H)},ρ-mean)+o(n^2)$. This result is tight for graphs $H$ whose clique number equals their chromatic number. In particular we get that if $H$ is a 3-chromatic graph having a triangle then $RT(n,H,2-mean) = RT(n,K_3,2-mean)+o(n^2)=RT(n,K_3,2)+o(n^2)=0.4n^2(1+o(1))$.
The Chromatic Number of Random Regular Graphs
Published in Proc. RANDOM 2004
• View Publication
• BIB
Given any integer d >= 3, let k be the smallest integer such that d < 2k log k. We prove that with high probability the chromatic number of a random d-regular graph is k, k+1, or k+2, and that if (2k-1) \log k < d < 2k \log k then the chromatic number is either k+1 or k+2.
Tales of Hoffman
Hofmman's bound on the chromatic number of a graph states that $χ\geq 1 - \frac {λ_1} {λ_n}$. Here we show that the same bound, or slight modifications of it, hold for several graph parameters related to the chromatic number: the vector coloring number, the $ψ$-covering number and the $λ$-clustering number.
Local chromatic number, Ky Fan's theorem, and circular colorings
Published
• View Publication
• BIB
The local chromatic number of a graph was introduced by Erdos et al. in 1986. It is in between the chromatic and fractional chromatic numbers. This motivates the study of the local chromatic number of graphs for which these quantities are far apart. Such graphs include Kneser graphs, their vertex color-critical subgraphs, the Schrijver (or stable Kneser) graphs; Mycielski graphs, and their generalizations; and Borsuk graphs. We give more or less tight bounds for the local chromatic number of many of these graphs.
We use an old topological result of Ky Fan which generalizes the Borsuk-Ulam theorem. It implies the existence of a multicolored copy of the balanced complete bipartite graph on t points in every proper coloring of many graphs whose chromatic number t is determined via a topological argument. (This was in particular noted for Kneser graphs by Ky Fan.) This yields a lower bound of t/2+1 for the local chromatic number of these graphs. We show this bound to be tight or almost tight in many cases.
As another consequence of the above we prove that the graphs considered here have equal circular and ordinary chromatic numbers if the latter is even. This partially proves a conjecture of Johnson, Holroyd, and Stahl and was independently attained by F. Meunier. We also show that odd chromatic Schrijver graphs behave differently, their circular chromatic number can be arbitrarily close to the other extreme.
Homotopy types of box complexes
Published in Combinatorica, 27 (2007), no. 6, 669-682.
• View Publication
• BIB
In [MZ04] Matousek and Ziegler compared various topological lower bounds for the chromatic number. They proved that Lovasz's original bound [L78] can be restated as $\chr G \geq \ind (\B(G)) +2$. Sarkaria's bound [S90] can be formulated as $\chr G \geq \ind (\B_0(G)) +1$. It is known that these lower bounds are close to each other, namely the difference between them is at most 1. In this paper we study these lower bounds, and the homotopy types of box complexes. Some of the results was announced in [MZ04].
A counterexample to a conjecture of Björner and Lovász on the $χ$-coloring complex
Published
• View Publication
• BIB
Associated with every graph $G$ of chromatic number $χ$ is another graph $G'$. The vertex set of $G'$ consists of all $χ$-colorings of $G$, and two $χ$-colorings are adjacent when they differ on exactly one vertex. According to a conjecture of Björner and Lovász, this graph $G'$ must be disconnected. In this note we give a counterexample to this conjecture.
On generalised Kneser colourings
There are two possible definitions of the "s-disjoint r-uniform Kneser hypergraph'' of a set system T: The hyperedges are either r-sets or r-multisets. We point out that Ziegler's (combinatorial) lower bound on the chromatic number of an s-disjoint r-uniform Kneser hypergraph only holds if we consider r-multisets as hyperedges. We give a new proof of his result and show by example that a similar result does not hold if one considers r-sets as hyperedges.
In case of r-sets as hyperedges and $s \geq 2$ the only known lower bounds are obtained from topological invariants of associated simplicial complexes if r is a prime or the power of prime. This is also true for arbitrary r-uniform hypergraphs with r-sets or r-multisets as hyperedges as long as r is a power of a prime.
The upper bound on number of graphs, with fixed number of vertices, that vertices can be colored with n colors
In the paper we state and prove theorem describing the upper bound on number of the graphs that have fixed number of vertices |V| and can be colored with the fixed number of n colors. The bound relates both numbers using power of 2, while the exponent is the difference between |V| and n. We also state three conjectures on the number of graphs that have fixed number of vertices |V| and chromatic number n.
Box complexes, neighborhood complexes, and the chromatic number
Published in Journal of Combinatorial Theory, Series A 108 (2004), pp. 159-168.
• View Publication
• BIB
Lovasz's striking proof of Kneser's conjecture from 1978 using the Borsuk--Ulam theorem provides a lower bound on the chromatic number of a graph. We introduce the shore subdivision of simplicial complexes and use it to show an upper bound to this topological lower bound and to construct a strong Z_2-deformation retraction from the box complex (in the version introduced by Matousek and Ziegler) to the Lovasz complex. In the process, we analyze and clarify the combinatorics of the complexes involved and link their structure via several ``intermediate'' complexes.
Complexes of graph homomorphisms
Published in Israel Journal of Mathematics 152 (2006), pp. 285-312
• View Publication
• BIB
$Hom(G,H)$ is a polyhedral complex defined for any two undirected graphs $G$ and $H$. This construction was introduced by Lovász to give lower bounds for chromatic numbers of graphs. In this paper we initiate the study of the topological properties of this class of complexes. We prove that $Hom(K_m,K_n)$ is homotopy equivalent to a wedge of $(n-m)$-dimensional spheres, and provide an enumeration formula for the number of the spheres. As a corollary we prove that if for some graph $G$, and integers $m\geq 2$ and $k\geq -1$, we have $\varpi_1^k(\thom(K_m,G))\neq 0$, then $χ(G)\geq k+m$; here $Z_2$-action is induced by the swapping of two vertices in $K_m$, and $\varpi_1$ is the first Stiefel-Whitney class corresponding to this action. Furthermore, we prove that a fold in the first argument of $Hom(G,H)$ induces a homotopy equivalence. It then follows that $Hom(F,K_n)$ is homotopy equivalent to a direct product of $(n-2)$-dimensional spheres, while $Hom(\bar{F},K_n)$ is homotopy equivalent to a wedge of spheres, where $F$ is an arbitrary forest and $\bar{F}$ is its complement.
The Lovasz number of random graphs
Published in Combinatorics, Probability and Computing 14 (2005) 439 - 465
• View Publication
• BIB
We study the Lovasz number theta along with two further SDP relaxations theta1, theta1/2 of the independence number and the corresponding relaxations of the chromatic number on random graphs G(n,p). We prove that these relaxations are concentrated about their means Moreover, extending a result of Juhasz, we compute the asymptotic value of the relaxations for essentially the entire range of edge probabilities p. As an application, we give an improved algorithm for approximating the independence number in polynomial expected time, thereby extending a result of Krivelevich and Vu. We also improve on the analysis of an algorithm of Krivelevich for deciding whether G(n,p) is k-colorable.
The Order Dimension of the Poset of Regions in a Hyperplane Arrangement
Published
• View Publication
• BIB
We show that the order dimension of the weak order on a Coxeter group of type A, B or D is equal to the rank of the Coxeter group, and give bounds on the order dimensions for the other finite types. This result arises from a unified approach which, in particular, leads to a simpler treatment of the previously known cases, types A and B. The result for weak orders follows from an upper bound on the dimension of the poset of regions of an arbitrary hyperplane arrangement. In some cases, including the weak orders, the upper bound is the chromatic number of a certain graph. For the weak orders, this graph has the positive roots as its vertex set, and the edges are related to the pairwise inner products of the roots.