Pith. sign in

REVIEW 3 cited by

Optimizing the CGMS upper bound on Ramsey numbers

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2407.19026 v1 pith:BV5BZIMB submitted 2024-07-26 math.CO

classification math.CO
keywords boundnumbersramseyupperdiagonalparametersproofunderlying
verification ladder T0 review T1 audit T2 compute T3 formal
0 comments
abstract

In a recent breakthrough Campos, Griffiths, Morris and Sahasrabudhe obtained the first exponential improvement of the upper bound on the diagonal Ramsey numbers since 1935. We shorten their proof, replacing the underlying book algorithm with a simple inductive statement. This modification allows us - to give a very short proof of an improved upper bound on the off-diagonal Ramsey numbers, which extends to the multicolor setting, and - to clarify the dependence of the bounds on underlying parameters and optimize these parameters, obtaining, in particular, an upper bound $$R(k,k) \leq (3.8)^{k+o(k)}$$ on the diagonal Ramsey numbers.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 3 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Ramsey numbers of trees

    math.CO 2025-09 conditional novelty 8.0 of 10

    Every n-vertex tree with maximum degree at most cn has Ramsey number max{t1 + 2t2, 2t1} - 1, where t1 >= t2 are the sizes of its bipartition classes.

  2. On Ramsey-type problems for paths and cycles with few colour changes

    math.CO 2026-07 accept novelty 6.5 of 10

    In 3-edge-coloured complete graphs, R_3^1(P_n) equals 3n/2 + O(1) and R_3^2(C_n) equals 3n/2 + o(n) for even n.

  3. Upper bounds on diagonal Ramsey numbers [after Campos, Griffiths, Morris, and Sahasrabudhe]

    math.CO 2024-11 accept novelty 2.0 of 10

    An expository Bourbaki survey presenting the 2023 proof that r(k) ≤ (4−δ)^k via the CGMS book algorithm and the Balister et al. geometric refinement lemma, with explicit marking of every non-rigorous step.

Pith tools