An exponential-type upper bound for Folkman numbers
arXiv:1603.00521 · doi:10.1007/s00493-015-3298-1
Abstract
For given integers and , the Folkman number is the smallest number of vertices in a graph which contains no clique on vertices, yet for every partition of its edges into parts, some part contains a clique of order . The existence (finiteness) of Folkman numbers was established by Folkman (1970) for and by Nešetřil and Rödl (1976) for arbitrary , but these proofs led to very weak upper bounds on . Recently, Conlon and Gowers and independently the authors obtained a doubly exponential bound on . Here, we establish a further improvement by showing an upper bound on which is exponential in a polynomial function of and . This is comparable to the known lower bound . Our proof relies on a recent result of Saxton and Thomason (2015) (or, alternatively, on a recent result of Balogh, Morris, and Samotij (2015)) from which we deduce a quantitative version of Ramsey's theorem in random graphs.
17 pages, to appear in Combinatorica