References & Citations
Mathematics > Combinatorics
Title: Polynomial to exponential transition in Ramsey theory
(Submitted on 17 Jan 2019 (v1), last revised 25 Feb 2020 (this version, v2))
Abstract: Given $s \ge k\ge 3$, let $h^{(k)}(s)$ be the minimum $t$ such that there exist arbitrarily large $k$-uniform hypergraphs $H$ whose independence number is at most polylogarithmic in the number of vertices and in which every $s$ vertices span at most $t$ edges. Erd\H os and Hajnal conjectured (1972) that $h^{(k)}(s)$ can be calculated precisely using a recursive formula and Erd\H os offered \$500 for a proof of this. For $k=3$ this has been settled for many values of $s$ including powers of three but it was not known for any $k\geq 4$ and $s\geq k+2$.
Here we settle the conjecture for all $s \ge k \ge 4$. We also answer a question of Bhat and R\"odl by constructing, for each $k \ge 4$, a quasirandom sequence of $k$-uniform hypergraphs with positive density and upper density at most $k!/(k^k-k)$. This result is sharp.
Submission history
From: Dhruv Mubayi [view email][v1] Thu, 17 Jan 2019 23:06:14 GMT (27kb)
[v2] Tue, 25 Feb 2020 14:17:28 GMT (29kb)
Link back to: arXiv, form interface, contact.