proof of chromatic number and girth
Let denote the size of the largest independent set in, and the chromatic number of . We want to showthat there is a graph with girth larger than and, for any .
We first prove the following claim.
Claim: Given a positive integer and a positive realnumber , for all sufficiently large , there is agraph on vertices satisfying properties
- 1.
the number of cycles of length at most is less than,
- 2.
.
Proof of claim: Let be a random graph on vertices,in which each pair of vertices joint by an edge independently withprobability . Let be the number of cycles of lengthat most in . The expected value of is
By Markov inequality,
we have
as , since .
On the other hand, let , and bethe number of independent sets of size in . By Markovinequality again,
However,
Using the inequalities, and , we get
Our choice of guarantees that for some , and as approachesinfinity. Therefore,
We can thus find such that for all , both and are strictly less than. For all ,
Therefore there exists a graph that satisfies the two propertiesin the claim. This ends the proof of the claim.
Let be a graph that satisfies the two properties in theclaim. Remove a vertex from each cycle of length at most in. The resulting graph has girth larger than , morethan vertices, and . Sincehttp://planetmath.org/node/6037, we have
We can pick sufficiently large such that is largerthan . Then the chromatic number of is larger than andgirth is larger than .
Reference: N. Alon and J. Spencer, The probabilistic method, 2nd, John Wiley.