chromatic number
2106 papers tagged with this keyword
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.
The strong perfect graph conjecture
Published in Proceedings of the ICM, Beijing 2002, vol. 3, 547--560
• Search Publication
A graph is {\em perfect} if, in all its induced subgraphs, the size of a largest clique is equal to the chromatic number. Examples of perfect graphs include bipartite graphs, line graphs of bipartite graphs and the complements of such graphs. These four classes of perfect graphs will be called {\em basic}. In 1960, Berge formulated two conjectures about perfect graphs, one stronger than the other. The weak perfect graph conjecture, which states that a graph is perfect if and only if its complement is perfect, was proved in 1972 by Lovász. This result is now known as the perfect graph theorem. The strong perfect graph conjecture (SPGC) states that a graph is perfect if and only if it does not contain an odd hole or its complement. The SPGC has attracted a lot of attention. It was proved recently (May 2002) in a remarkable sequence of results by Chudnovsky, Robertson, Seymour and Thomas. The proof is difficult and, as of this writing, they are still checking the details. Here we give a flavor of the proof.
List colouring of graphs with at most $\big(2-o(1)\big)χ$ vertices
Published in Proceedings of the ICM, Beijing 2002, vol. 3, 587--604
• Search Publication
Ohba has conjectured \cite{ohb} that if the graph $G$ has $2χ(G)+1$ or fewer vertices then the list chromatic number and chromatic number of $G$ are equal. In this paper we prove that this conjecture is asymptotically correct. More precisely we obtain that for any $0<ε<1$, there exist an $n_0=n_0(ε)$ such that the list chromatic number of $G$ equals its chromatic number, provided $$n_0 \leq |V(G) | \le (2-ε)χ(G).$$
The strong perfect graph theorem
Published
• View Publication
• BIB
A graph G is perfect if for every induced subgraph H, the chromatic number of H equals the size of the largest complete subgraph of H, and G is Berge if no induced subgraph of G is an odd cycle of length at least 5 or the complement of one. The "strong perfect graph conjecture" (Berge, 1961) asserts that a graph is perfect if and only if it is Berge.
A stronger conjecture was made recently by Conforti, Cornuejols and Vuskovic -- that every Berge graph either falls into one of a few basic classes, or it has a kind of separation that cannot occur in a minimal imperfect graph.
In this paper we prove both these conjectures.
Topological lower bounds for the chromatic number: A hierarchy
This paper is a study of ``topological'' lower bounds for the chromatic number of a graph. Such a lower bound was first introduced by Lovász in 1978, in his famous proof of the \emph{Kneser conjecture} via Algebraic Topology. This conjecture stated that the \emph{Kneser graph} $\KG_{m,n}$, the graph with all $k$-element subsets of $\{1,2,...,n\}$ as vertices and all pairs of disjoint sets as edges, has chromatic number $n-2k+2$. Several other proofs have since been published (by Bárány, Schrijver, Dolnikov, Sarkaria, Kriz, Greene, and others), all of them based on some version of the Borsuk--Ulam theorem, but otherwise quite different. Each can be extended to yield some lower bound on the chromatic number of an arbitrary graph. (Indeed, we observe that \emph{every} finite graph may be represented as a generalized Kneser graph, to which the above bounds apply.)
We show that these bounds are almost linearly ordered by strength, the strongest one being essentially Lovász' original bound in terms of a neighborhood complex. We also present and compare various definitions of a \emph{box complex} of a graph (developing ideas of Alon, Frankl, and Lovász and of \kriz). A suitable box complex is equivalent to Lovász' complex, but the construction is simpler and functorial, mapping graphs with homomorphisms to $\Z_2$-spaces with $\Z_2$-maps.
A Heawood-type result for the algebraic connectivity of graphs on surfaces
We prove that the algebraic connectivity a(G) of a graph embedded on a nonplanar surface satisfies a Heawood-type result. More precisely, it is shown that the algebraic connectivity of a surface S, defined as the supremum of a(G) over all graphs that can be embedded in S, is equal to the chromatic number of S. Furthermore, and with the possible exception of the Klein bottle, we prove that this bound is attained only in the case of the maximal complete graph that can be embedded in S. In the planar case, we show that, at least for some classes of graphs which include the set of regular graphs, a(G) is less than or equal to four. As an application of these results and techniques, we obtain a lower bound for the genus of Ramanujan graphs.
We also present some bounds for the asymptotic behaviour of a(G) for certain classes of graphs as the number of vertices goes to infinity.