Proof of the Kohayakawa--Kreuter conjecture for the majority of cases

TL;DR

This paper proves the Kohayakawa--Kreuter conjecture for most cases by reducing the probabilistic problem to a deterministic coloring problem and solving it for hypergraphs, advancing understanding of Ramsey properties in random graphs.

Contribution

It reduces the conjecture's 0-statement to a deterministic problem and solves it for nearly all cases, including hypergraphs, significantly broadening previous results.

Findings

Resolved the 0-statement of the Kohayakawa--Kreuter conjecture for most cases.

Extended the reduction approach to hypergraphs, solving the coloring problem there.

Established the conjecture for cases where $H_2$ is strictly 2-balanced with density > 2 or non-bipartite.

Abstract

For graphs $G, H_1,\dots,H_r$, write $G \to (H_1, \ldots, H_r)$ to denote the property that whenever we $r$-colour the edges of $G$, there is a monochromatic copy of $H_i$ in colour $i$ for some $i \in \{1,\dots,r\}$. Mousset, Nenadov and Samotij proved an upper bound on the threshold function for the property that $G_{n,p} \to (H_1,\dots,H_r)$, thereby resolving the $1$-statement of the Kohayakawa--Kreuter conjecture. We reduce the $0$-statement of the Kohayakawa--Kreuter conjecture to a natural deterministic colouring problem and resolve this problem for almost all cases, which in particular includes (but is not limited to) when $H_2$ is strictly $2$-balanced and either has density greater than $2$ or is not bipartite. In addition, we extend our reduction to hypergraphs, proving the colouring problem in almost all cases there as well.