Paul Erdös is an inspiring figure. Not only for mathematicians and computer scientists but for everyone. His simplicity, his love for his friends, for music and of course for mathematics indicate a man who followed his feelings which had the word love in them. If you get to meet people that knew him personally and well you will see how much they love him and keep his memory alive. Anyway, this post is about one of his gems. The proof of the existence of graphs with large girth and chromatic number. For completeness, let us mention that the girth of a graph is the length of the shortest cycle in . The chromatic number of is the minimum number of colors needed to color properly the vertices of , i.e., no two adjacent vertices get the same color. First, try to think the problem on your own and notice that the existence of such graphs is not obvious at all. The gem of Erdös follows.
Theorem: For any positive integers there exists a graph with girth and chromatic number .
The proof introduces techniques, therefore let us take a close look at it.
Proof: Pick a random graph from for . Note that we are above the connectivity threshold which is . Let be the number of cycles of length . Let’s compute the expectation of . The probability of a cycle of length is clearly for any . To finish the computation we need to count how many cycles of length exist. First we need to pick the vertices. There are ways to do so. Now we have our vertices and we need to put them in a cycle. Clearly there are ways to do so but notice that we have to divide by since we don’t care about the starting position (we have a cyclic permutation) nor about the orientation. Now we can write down the expectation: . As a simple exercise try to show that . Given the latter fact, by Markov’s inequality.
Now we turn our attention to the independent set of maximum size in . Let that size be and the chromatic number . The reason is that there is a straight-forward connection between , namely . Since our graph is sparse we expect to be able to find a large independent set but how large can it be? With some foresight by setting , it is straight-forward to show that .
Hence, we have shown so far two facts: , . Hence there exists a graph such that it has less than n/2 cycles of length <l and also it’s maximum independent set has size < 3log(n)/p.
Now here is a neat trick: we kill the cycles by removing one vertex from each cycle. Therefore we force the girth of the resulting graph to be . Furthermore, the number of vertices we removed was less than and therefore we are left with at least vertices. Also the size of the maximum independent set cannot have increased! Therefore, you can now check that the chromatic number is at least as .
You can find the original article in this link