# Can one make Erdős's Ramsey lower bound explicit?

Erdős's 1947 probabilistic trick provided a lower exponential bound for the Ramsey number R(k). Is it possible to explicitly construct 2-colourings on exponentially sized graphs without large monochromatic subgraphs?

That is, can we explicitly construct (edge) 2-colourings on graphs of size c^k, for some c>0, with no monochromatic complete subgraph of size k?

-
you mean c>1... –  Gil Kalai Nov 7 '09 at 16:17

I believe the answer is "no"; the best known constructions only give no clique or independent set of size about 2^\sqrt{n} in a graph with 2^n vertices. Bill Gasarch has a page on the subject here, although I don't know how frequently it updates.

-

Finding explicit constructions for Ramsey graphs is a central problem in extremal combinatorics. Indeed, computational complexity gives a way to formalize this problem. Asking for a graph which can be constructed in polynomial time is a fairly good definition although sometimes the definition is taken as having a log-space construction.

Until quite recently the best method for explicit construction was based on extremal combinatorics. The vertices of the graphs were certain sets (say k-subset of an n element sets) and the edges represented pairs of sets with presecibed intersection. The best result was by Frankl and Wilson and it gives a graph with n vertices whose edges are colored by 2 colors with no monochromatic clique of size exp (sqrt (log n)). (I think this translates to k^log k in the way the question was formulated here.) Using sum-products theorems Barak Rao Shaltiel and Wigderson improved the bound to exp (log n^o(1)).

Payley graphs are conjectured be explicit examples for the correct behavior. But proving it is much beyond reach.

-

I also believe the answer is "no". Another reference is this paper, which treats off-diagonal Ramsey numbers (e.g. graphs with no clique of size k and no anti-clique of size l).

-

As was mentioned in the previous answers, the answer is no. Or more accurately I'd say that the answer is currently no, but possibly yes.

Also, consider the related question of constructing a bipartite graph with parts of size 2^n, which contains no K_{k,k} and whose complement contains no K_{k,k} where k = O(n). Such an explicit construction will have as far as I can tell huge impact on derandomization of randomized algorithms, among other topics in theoretical computer science. See e.g. this paper (http://www.math.ias.edu/~avi/PUBLICATIONS/ABSTRACT/fp60ab.pdf), where such an explicit construction is given for k = 2^{n^{o(1)}}.

You might also be interested in the following accompanying paper (seems like I cannot post it, being a new user; you can google it though, its title is "Pseudorandomness and Combinatorial Constructions") to Luca Trvisan's talk at ICM`06. This may contain more connections between explicit constructions of combinatorial objects and applications in theoretical computer science.

-