The numbers *R*(*r*,*s*) in Ramsey's theorem (and their extensions to more than two colours) are known as **Ramsey numbers**. A major research problem in Ramsey theory is to find out Ramsey numbers for various values of *r* and *s*. We will derive the classical bounds here for any general Ramsey number *R*(*r*,*s*). This will just mean the exact value of that *R*(*r*,*s*) lies between the two professed bounds, the lower bound and the upper bound.

## Upper boundEdit

The upper bound is actually weaned off from the proof of Ramsey's theorem itself. Since *R*(*r*, *s*) ≤ *R*(*r* − 1, *s*) + *R*(*r*, *s* − 1) so this automatically gives an upper bound, although not in the closed form that we expect. The closed form expression is . To derive this use double induction on r and s. The base case *r* = *s* = 2 is easily established as . Now assume the expression holds for *R*(*r* − 1, *s*) and *R*(*r*, *s* − 1). Then gives us our upper bound. Note that we have used Pascal's relation in the last equivalence.

A slight improvement is possible if both *R*(*r* − 1, *s*) and *R*(*r*, *s* − 1) are even numbers. In that case the inequality is strict.

**Result:** If both *R*(*r* − 1, *s*) + *R*(*r*, *s* − 1) are even numbers then *R*(*r*, *s*) < *R*(*r* − 1, *s*) + *R*(*r*, *s* − 1).

**Proof:** Suppose *R*(*r*, *s*) = *R*(*r* − 1, *s*) + *R*(*r*, *s* − 1) where both *R*(*r* − 1, *s*) and *R*(*r*, *s* − 1) are even numbers. Let *n* = *R*(*r* − 1, *s*) + *R*(*r*, *s* − 1) − 1. Now by our choice of *n* there exists a complete graph on *n* vertices, i.e. a *K*_{n}, with neither a red *K*_{r} nor a blue *K*_{s}. Fix this *K*_{n} in the discussion. Also fix a vertex *v* in *K*_{n}.

Now clearly if the number of red edges from *v* is less then *R*(*r* − 1, *s*) − 1 and the number of blue edges is less then *R*(*r*, *s* − 1) − 1 then the total edges from *v* would be less then *R*(*r* − 1, *s*) + *R*(*r*, *s* − 1) − 2, a contradiction as *v* is connected with exactly *R*(*r* − 1, *s*) + *R*(*r*, *s* − 1) − 2 vertices. So either the number of red edges from *v* is at least *R*(*r* − 1, *s*) − 1 or the number of blue edges from *v* is at least *R*(*r*, *s* − 1) − 1. WLOG assume the first. Now we shall show that the number of red edges from *v* cannot exceed *R*(*r* − 1, *s*) − 1. Suppose they do. Now, pick any *R*(*r* − 1, *s*) of the vertices adjoined to *v* by red edges and consider the *K*_{R(r − 1, s)} formed by these vertices. By Ramsey's theorem it should contain either a red *K*_{r-1} or a blue *K*_{s}. It cannot contain the latter by our choice of *n*. Hence it contains a red *K*_{r-1}. But adjoining the vertices of this red *K*_{r-1} to *v* gives us a red *K*_{r}, which is also not possible. Hence, the number of red edges cannot exceed *R*(*r* − 1, *s*) − 1. So they must be precisely *R*(*r* − 1, *s*) − 1. Then the remaining number of blue edges are *R*(*r*, *s* − 1) − 1. In summary we can say that each vertex in our *K*_{n} is connected to the other *n* − 1 vertices by precisely *R*(*r* − 1, *s*) − 1 red edges and *R*(*r*, *s* − 1) − 1 blue edges.

The total number of red edges in *K*_{n} is therefore which must be an integer. However as both *R*(*r* − 1, *s*) and *R*(*r*, *s* − 1) are even numbers this is impossible. Hence the initial equality was impossible. So *R*(*r*, *s*) < *R*(*r* − 1, *s*) + *R*(*r*, *s* − 1).

## Lower boundEdit

The classical lower bound, by an argument given essentially by Paul Erdős, is developed below. The argument is referred to as the probabilistic method. It provides a lower bound for *R*(*r*,*r*), which is abbreviated to *R*(*r*).

To begin note that if we are given a set of *r* vertices in any *K*_{n} whose edges are randomly colored, red or blue, then the probability that *K*_{r} is monochromatic is . To see this that there are 2 ways to color each of the edges and so the total possibilities for the colorings are . Out of these only 2 are favorable: a red *K*_{r} or a blue *K*_{r}. Hence the probability that our given *K*_{r} is monochromatic is .

Now what is the probability that there will be a monochromatic *K*_{r} if a set of *r* vertices is not fixed in the begining? There are ways to choose *r* vertices out of *n*. By the addition law of probability we could just take any r-vertex set, get its probability as above to be , then move to another r-set, get its probability as and so on; then we could add up all the probabilities to get the probability of getting a monochromatic *K*_{r}. But it may happen that two of the chosen batches of r-sets both give monochromatic *K*_{r}'s. This is another way of saying that the events are not necessarily mutually exclusive. So the addition theorem doesn't apply and the total probability is definitely not guaranteed to be . However by the Boole's inequality we can at least conclude that the probability that there is a monochromatic *K*_{r} in *K*_{n} can't exceed .

Now if then this tells us that the probability of a monochromatic *K*_{r} in *K*_{n} is less then 1 and so a monochromatic *K*_{r} in *K*_{n} is not guaranteed. This is just another way of saying that .

Now fix *r* and let *N* be the minimum value of *n* satisfying . Since the collection of numbers satisfying this inequality is non-empty; *R*(*r*) itself is an example, and is bounded below; *r* and any number less then *r* are lower bounds not belonging to this collection, so the minimum value is guaranteed to exist.

Also note that as if then . But this contradicts which is true as . Hence .

So,

Now use Stirlings approximation for the factorial, valid for large values of r; that is . Hence for large r, on simplification we get,

- .

Since the terms in the brackets on the right hand side always exceed 1 so we can conclude by saying that for large r, .

## Known Ramsey numbersEdit

*R*(*r*,*s*) for values of *r* and *s* up to 10 are shown in the table below. Where the exact value is unknown, the table lists the best known bounds. *R*(*r*,*s*) for values of *r* and *s* less than 3 are given by *R*(1,*s*) = 1 and *R*(2,*s*) = *s* for all values of *s*. The standard survey on the development of Ramsey number research has been written by Stanisław Radziszowski, who also found the exact value of R(4,5) (with Brendan McKay).

r,s |
1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 |
---|---|---|---|---|---|---|---|---|---|---|

1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 | 1 |

2 | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 |

3 | 1 | 3 | 6 | 9 | 14 | 18 | 23 | 28 | 36 | 40–43 |

4 | 1 | 4 | 9 | 18 | 25 | 35–41 | 49–61 | 56–84 | 73–115 | 92–149 |

5 | 1 | 5 | 14 | 25 | 43–49 | 58–87 | 80–143 | 101–216 | 125–316 | 143–442 |

6 | 1 | 6 | 18 | 35–41 | 58–87 | 102–165 | 113–298 | 127–495 | 169–780 | 179–1171 |

7 | 1 | 7 | 23 | 49–61 | 80–143 | 113–298 | 205–540 | 216–1031 | 233–1713 | 289–2826 |

8 | 1 | 8 | 28 | 56–84 | 101–216 | 127–495 | 216–1031 | 282–1870 | 317–3583 | ≤ 6090 |

9 | 1 | 9 | 36 | 73–115 | 125–316 | 169–780 | 233–1713 | 317–3583 | 565–6588 | 580–12677 |

10 | 1 | 10 | 40–43 | 92–149 | 143–442 | 179–1171 | 289–2826 | ≤ 6090 | 580–12677 | 798–23556 |

There is a trivial symmetry across the diagonal.

This table is extracted from a larger table compiled by Stanisław Radziszowski.

## A Multicolour Example: *R*(3,3,3) = 17Edit

A multicolour Ramsey number is a Ramsey number using 3 or more colours. There is only one nontrivial multicolour Ramsey number for which the exact value is known, namely *R*(3,3,3) = 17.

Suppose that you have an edge colouring of a complete graph using 3 colours, red, yellow and green. Suppose further that the edge colouring has no monochromatic triangles. Select a vertex *v*. Consider the set of vertices which have a green edge to the vertex *v*. This is called the green neighborhood of *v*. The green neighborhood of *v* cannot contain any green edges, since otherwise there would be a green triangle consisting of the two endpoints of that green edge and the vertex *v*. Thus, the induced edge colouring on the green neighborhood of *v* has edges coloured with only two colours, namely yellow and red. Since *R*(3,3) = 6, the green neighborhood of *v* can contain at most 5 vertices. Similarly, the red and yellow neighborhoods of *v* can contain at most 5 vertices each. Since every vertex, except for *v* itself, is in one of the green, red or yellow neighborhoods of *v*, the entire complete graph can have at most 1 + 5 + 5 + 5 = 16 vertices. Thus, we have *R*(3,3,3) ≤ 17.

To see that *R*(3,3,3) ≥ 17, it suffices to draw an edge colouring on the complete graph on 16 vertices with 3 colours, which avoids monochromatic triangles. It turns out that there are exactly two such colourings on *K*_{16}, the so-called untwisted and twisted colourings. Both colourings are shown in the figure to the right, with the untwisted colouring on the top, and the twisted colouring on the bottom. In both colourings in the figure, note that the vertices are labeled, and that the vertices *v*_{11} through *v*_{15} are drawn twice, on both the left and the right, in order to simplify the drawings.

Thus, *R*(3,3,3) = 17.

It is known that there are exactly two edge colourings with 3 colours on *K*_{15} which avoid monochromatic triangles, which can be constructed by deleting any vertex from the untwisted and twisted colourings on *K*_{16}, respectively.

It is also known that there are exactly 115 edge colourings with 3 colours on *K*_{14} which avoid monochromatic triangles, provided that we consider edge colourings which differ by a permutation of the colours as being the same.