Large almost monochromatic subsets in hypergraphs

We show that for all ℓ and ε > 0 there is a constant c = c(ℓ, ε) > 0 such that every ℓ-coloring of the triples of an N-element set contains a subset S of size $ c\sqrt {\log N} $ c\sqrt {\log N} such that at least 1 − ε fraction of the triples of S have the same color. This result is tight up to the constant c and answers an open question of Erdős and Hajnal from 1989 on discrepancy in hypergraphs. For ℓ ≥ 4 colors, it is known that there is an ℓ-coloring of the triples of an N-element set whose largest monochromatic subset has cardinality only Θ(log log N). Thus, our result demonstrates that the maximum almost monochromatic subset that an ℓ-coloring of the triples must contain is much larger than the corresponding monochromatic subset. This is in striking contrast with graphs, where these two quantities have the same order of magnitude. To prove our result, we obtain a new upper bound on the ℓ-color Ramsey numbers of complete multipartite 3-uniform hypergraphs, which answers another open question of Erdős and Hajnal.