{"id":"arxiv/2609.32461","url":"https://arxiv.org/abs/2609.32461","tags":["math.CO"],"score":0,"title":"Optimally pseudorandom $K_4$-free graphs","domain":"math.CO","source":"arxiv","authors":["Jie Han","Ferdinand Ihringer","Hendrik Van Maldeghem"],"reviews":0,"subject":"math.CO","summary":"We show that optimally pseudorandom $K_4$-free graphs of order $n$ and degree $d = Θ(n^{4/5})$ exist by constructing a graph in the split Cayley hexagon, matching the known upper bound. This resolves the first open case for $K_k$-free graphs after $k=3$ for which Alon gave a tight construction in 1994. This has a variety of implications for $K_4$-free pseudorandom graphs. Furthermore, it implies an explicit lower bound on the Ramsey number of $r(4, t) \\geq t^{1.\\overline{6} - o(1)}$, improving the previous record by Kostochka, Pudlák, and Rödl of $r(4, t) \\geq t^{1.6-o(1)}$.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-26","reactions":{}}