Wiki
Wiki

Research notes on every problem, and a library of the papers behind them. Built from the open erdos repository.

Updated


Conlon, Fox and Pham's Theorem 1.1 (arXiv:2104.14766v1, p. 3) fixes two absolute constants CC and c>0c>0 that work for every number of colors r≥2r\ge2: some rr-Ramsey complete sequence AA has at most Crlog⁡2nCr\log^2n terms up to nn for every nn, while a sequence with at most crlog⁡2ncr\log^2n terms up to nn for every large nn is never rr-Ramsey complete. For r≥3r\ge3 this answers Problem 55, which asks for any non-trivial bound on the growth of an rr-Ramsey complete set: the construction is such a bound, since before it no rr-Ramsey complete sequence with ∣A∩[n]∣=no(1)|A\cap[n]|=n^{o(1)} was known even for r=3r=3, and the lower bound adds the factor rr to the two-color bound clog⁡2nc\log^2n, the counting form of Burr and Erdős's Theorem 2a (stated in their paper without proof), which carries over to every r≥2r\ge2 because an rr-Ramsey complete sequence is 22-Ramsey complete (refine any two-class partition into rr classes). The theorem thus determines the sparsest possible growth for every number of colors up to an absolute constant factor. The paper identifies the problem as the one for which Erdős offered a prize and says its first theorem solves it together with the two-color question, which is Problem 54. Adding the integers below the paper's threshold n(A)n(A) makes the constructed sequence entirely rr-Ramsey complete.

Acceptance. Reviewed: the site's curator, T. F. Bloom, labels the problem SOLVED and credits the solution to the paper in the problem's commentary, which records the construction for every r≥2r\ge2 and the matching lower bound (accessed 2026-09-17; the page shows no last-edited date); the discussion thread and the proof-claim tab are empty. The curator is independent of the authors. Not refereed: the paper is an arXiv preprint, version 1 of 30 April 2021 and the only version on the listing on 2026-09-17, with no journal version found (Crossref bibliographic query of the same date). The eight works citing the paper in the Semantic Scholar record of 2026-09-17 concern subset sums and knapsack algorithms and dispute nothing. Read depth: this page rests on the statement of Theorem 1.1 and the paragraphs around it, not on the proof, which the paper builds on its density Lemma 2.8; nothing here is independent review.

Depends on. Nothing in this wiki; the result is the paper's own theorem.