I know of 2(.5) proofs of Ramsey's theorem, which states (in its simplest form) that for all $k, l\in \mathbb{N}$ there exists an integer $R(k, l)$ with the following property: for any $n>R(k, l)$, any $2$-coloring of the edges of $K_n$ contains either a red $K_k$ or a blue $K_l$.

Both the finite and the infinite versions (the latter being--a 2-coloring of the edges of $K_\mathbb{N}$ contains an infinite monochrome $K_\mathbb{N}$) are proven on Wikipedia, and one may deduce the finite version from the infinite one by compactness, or equivalently using Konig's lemma. The infinitary proof does not give effective bounds on $R(k, l)$, but can be converted to one that does as follows (this is the .5 proof):

Consider a $2$-coloring of the edges of a complete graph on $N=2^{k+l}$ vertices, $v_1, ..., v_N$. Let $V_0$ be the set of all vertices, and let $V_i$ be the largest subset of $V_{i-1}$ connected to $v_i$ by edges of a single color, $c_i$. After $k+l$ steps, at least $k$ of the $c_i$ are read or $l$ of the $c_i$ are blue by pigeonhole; let the set of indices for which this happens be denoted $S$. Then $(v_i)_{i\in S}$ is the desired subgraph.

My question is:

Does anyone have a fundamentally different proof of this theorem? In particular, I am curious to know if there are any of a less combinatorial flavor.

  • $\begingroup$ A side note you may find interesting: it is a standard result of Reverse Mathematics that (over a very weak "base theory") Infinite Ramsey's Theorem for triples is equivalent to "every function has a range;" this latter principle is essentially what is used in the standard proof of infinite Ramsey's theorem, so - at least up to logical strength - all proofs must be "at least as hard" as the usual one. (Of course, "two proofs are the same if they use the same axioms" is completely bonkers, which is why this isn't an answer; but it's still neat.) $\endgroup$ Nov 3 '14 at 17:49

I hope this is close to what you are asking. The following compactness principle turns out to be useful in certain construction in dynamical systems and in probability (in particular, in the theory of exchangeable random variables), and it may be seen as a topological version of the infinitary Ramsey theorem.

Lemma. Let $X,d$ a compact metric space, and $u:\mathbb{N}^2\to X$ a double sequence in $X$. Then, there exists a strictly increasing $\sigma:\mathbb{N}\to\mathbb{N}$ such that, denoting $v(i,j):=u(\sigma(i),\sigma(\, j)),$ the following limits exist, and coincide:

$$\lim_{i\to\infty} \lim_{j\to\infty} v(i,j) \, = \lim_{ i< j, \,(i,j)\to\infty} v(i,j). $$

The proof is just routine (iterated) application of the usual diagonal argument for sequences. How does it implies the infinitary Ramsey theorem? Take $X$ a discrete space of colors and $u$ an $X$-coloring of the complete graph with vertices set $\mathbb{N}$. Then the existence of the limit in the RHS means that the set $\{\sigma(i):i> c\}$ for some c is a monocromatic complete subgraph.

One can even state a more general version for multi-sequences $u(i)$ indicized on increasing $n$-ples $i:=(i_1< i_2\dots < i_n)$ of natural numbers; the game is that any parenthesization


produces a different iterated way of letting $i$ go to infinity (like when making the beads sliding from left to right in an abacus: in small clusters, one at a time, or all together ). The corresponding limits for u(i) may or may not exist and/or coincide; but, up to a selection of indices via a strictly increasing $\sigma:\mathbb{N}\to\mathbb{N}$, all these iterated limits do exist and coincide.

Actually, it may be argued whether it really gives a fundamentally different proof of Ramsey theorem as you are asking. Nevertheless, if you try submitting it to an analyst or to a geometer, I think you are much more likely to obtain an immediate proof of it than with the original set theoretic version (please confirm my guess). On the other hand, it may sound quite weird to a pure set theorist (do not necessarily confirm this statement).

  • $\begingroup$ This is interesting! $\endgroup$ Jun 24 '10 at 22:08
  • 6
    $\begingroup$ +1! Speaking as a set theorist, I sometimes give this as an application of Ramsey's Theorem - mathoverflow.net/questions/12211/… - Speaking as a reverse mathematician, I don't think of it as an alternate proof. $\endgroup$ Jun 24 '10 at 22:55

One can prove Ramsey's theorem by using a minimal ultrafilter on the infinite permutation group to make a graph monochromatic, see


(This proof was first discovered by Neil Hindman.) But this proof is somewhat idiosyncratic and might not be to most people's taste. (Also, on some level it is equivalent to the usual iterated pigeonhole proof, though heavily disguised through several applications of the axiom of infinity and axiom of choice.) It is also closely related to the proof that Pietro mentioned.

  • $\begingroup$ These "special ultrafilter" proofs are always beautiful but are somehow unsatisfying to me; they always feel very mysterious (perhaps because we can't get our hands on any non-principal ultrafilters). The ultrafilte proof of Hindman's theorem is amazing though. $\endgroup$ Jun 25 '10 at 17:14

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.