A lower bound on the Ramsey number $R_k(k+1,k+1)$
Combinatorics
2026-04-27 v4
Abstract
We will prove that , where is the tower function defined by and . We also give proofs of , , and .
Cite
@article{arxiv.2412.16637,
title = {A lower bound on the Ramsey number $R_k(k+1,k+1)$},
author = {Pavel Pudlák and Vojtěch Rödl and William J. Wesley},
journal= {arXiv preprint arXiv:2412.16637},
year = {2026}
}
Comments
In this version we have replaced the 2-coloring of the bridge hypergraph found by a SAT-solver with a coloring defined by two equation in Z_3 found by Jack Wesley, who is now a coauthor