Polynomial-to-exponential transition in 3-uniform Ramsey numbers

TL;DR

This paper proves a long-standing conjecture about the growth rate of certain 3-uniform hypergraph Ramsey numbers, showing a polynomial-to-exponential transition, by solving a new Turán-type extremal problem.

Contribution

It establishes the conjecture for all s in the case k=3, using a novel Turán-type problem and extremal hypergraph constructions.

Findings

Confirmed the polynomial-to-exponential transition in 3-uniform Ramsey numbers for all s.

Solved a new Turán-type problem related to tripartite tight components.

Identified the balanced iterated blowup of an edge as the extremal hypergraph.

Abstract

Let $r_k(s, e; t)$ denote the smallest $N$ such that any red/blue edge coloring of the complete $k$-uniform hypergraph on $N$ vertices contains either $e$ red edges among some $s$ vertices, or a blue clique of size $t$. Erd\H os and Hajnal introduced the study of this Ramsey number in 1972 and conjectured that for fixed $s>k\geq 3$, there is a well defined value $h_k(s)$ such that $r_k(s, h_k(s)-1; t)$ is polynomial in $t$, while $r_k(s, h_k(s); t)$ is exponential in a power of $t$. Erd\H os later offered \$500 for a proof. Conlon, Fox, and Sudakov proved the conjecture for $k=3$ and $3$-adically special values of $s$, and Mubayi and Razborov proved it for $s > k \geq 4$. We prove the conjecture for $k=3$ and all $s$, settling all remaining cases of the problem. We do this by solving a novel Tur\'an-type problem: what is the maximum number of edges in an $n$-vertex $3$-uniform hypergraph in which all tight components are tripartite? We show that the balanced iterated blowup of an edge is an exact extremizer for this problem for all $n$.