Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.
Updated
Claim. Theorem 1.1 of Conlon, Fox and Sudakov, quoted from p. 3 of the preprint read: "For sufficiently large, every -coloring of the edges of the complete graph on the interval contains a monochromatic clique with vertex set such that
Hence, ." Here is the least, over all -colorings of the pairs of , of the largest weight of a monochromatic clique , and the upper half of the order is Rödl's coloring. The passage to the problem's question is one line: given , every above the theorem's threshold with has a monochromatic of weight at least . The theorem answers the question on its own, without Rödl's paper, and is paged at Theorem 1.1 of the library's source card, which cites arXiv v2 as the version read (16 October 2013, headed as accepted for Duke Mathematical Journal); v1 was posted on 7 December 2011.
Depends on. Nothing in this wiki; the theorem rests on the cited paper alone, and Rödl's coloring supplies only the upper half of the order, which is not the claim.
Acceptance. Refereed: Duke Math. J. 162 (2013), no. 15, 2903--2927 (the arXiv record's journal reference and the Crossref record); the journal text was not compared with the preprint read, so locators are preprint pages. Reviewed: the site's curator, T. F. Bloom, labels the problem PROVED (LEAN) and credits the paper, in the problem's commentary, with the theorem above and with showing Rödl's order best possible (page last edited 8 February 2026).
Read depth. Claims checked: Theorem 1.1, the definitions and the attributions of pp. 2--3 and Conjecture 5.1 with the remarks of p. 15 were read; the proof (Section 3, with the dependent random choice lemma of Section 2 and a weighted Ramsey theorem, built on Rödl's argument) was not read, and nothing is independently reviewed in this corpus. The constant in is open (the paper's Conjecture 5.1) and is not this problem's question.