arXiv++ Combinatorics

For a graph $G$ and $p\in[0,1]$, we denote by $G_p$ the random sparsification of $G$ obtained by keeping each edge of $G$ independently, with probability $p$. We show that there exists a $C>0$ such that if $p\geq C(\log n)^{1/3}n^{-2/3}$ and $G$ is an $n$-vertex graph with $n\in 3\mathbb{N}$ and $δ(G)\geq \tfrac{2n}{3}$, then with high probability $G_p$ contains a triangle factor. Both the minimum degree condition and the probability condition, up to the choice of $C$, are tight. Our result can be viewed as a common strengthening of the seminal theorems of Corrádi and Hajnal, which deals with the extremal minimum degree condition for containing triangle factors (corresponding to $p=1$ in our result), and Johansson, Kahn and Vu, which deals with the threshold for the appearance of a triangle factor in $G(n,p)$ (corresponding to $G=K_n$ in our result). It also implies a lower bound on the number of triangle factors in graphs with minimum degree at least $\tfrac{2n}{3}$ which gets close to the truth.

We prove that for all integers $Δ,r \geq 2$, there is a constant $C = C(Δ,r) >0$ such that the following is true for every sequence $\mathcal{F} = \{F_1, F_2, \ldots\}$ of graphs with $v(F_n) = n$ and $Δ(F_n) \leq Δ$, for each $n \in \mathbb{N}$. In every $r$-edge-coloured $K_n$, there is a collection of at most $C$ monochromatic copies from $\mathcal{F}$ whose vertex-sets partition $V(K_n)$. This makes progress on a conjecture of Grinshpun and Sárközy.

In 1967, Gerencsér and Gyárfás proved a result which is considered the starting point of graph-Ramsey theory: In every 2-coloring of $K_n$ there is a monochromatic path on $\lceil(2n+1)/3\rceil$ vertices, and this is best possible. There have since been hundreds of papers on graph-Ramsey theory with some of the most important results being motivated by a series of conjectures of Burr and Erd\H os regarding the Ramsey numbers of trees, graphs with bounded maximum degree, and graphs with bounded degeneracy. In 1993, Erd\H os and Galvin \cite{EG} began the investigation of a countably infinite analogue of the Gerencsér and Gyárfás result: What is the largest $d$ such that in every $2$-coloring of $K_\mathbb{N}$ there is a monochromatic infinite path with upper density at least $d$. Erd\H os and Galvin showed that $2/3\leq d\leq 8/9$, and after a series of recent improvements, it was finally shown that $d={(12+\sqrt{8})}/{17}$. This paper begins a systematic study of quantitative countably infinite graph-Ramsey theory, focusing on infinite analogues of the Burr-Erdős conjectures. We obtain some results which are analogous to what is known in finite case, and other (unexpected) results which have no analogue in the finite case.

We study the positional game where two players, Maker and Breaker, alternately select respectively $1$ and $b$ previously unclaimed edges of $K_n$. Maker wins if she succeeds in claiming all edges of some odd cycle in $K_n$ and Breaker wins otherwise. Improving on a result of Bednarska and Pikhurko, we show that Maker wins the odd cycle game if $b \leq ((4 - \sqrt{6})/5 + o(1)) n$. We furthermore introduce "connected rules" and study the odd cycle game under them, both in the Maker-Breaker as well as in the Client-Waiter variant.

Extending a result of Rado to hypergraphs, we prove that for all $s, k, t \in \mathbb{N}$ with $k \geq t \geq 2$, the vertices of every $r = s(k-t+1)$-edge-coloured countably infinite complete $k$-graph can be partitioned into the cores of at most $s$ monochromatic $t$-tight Berge-paths of different colours. We further describe a construction showing that this result is best possible.

Confirming a conjecture of Gyárfás, we prove that, for all natural numbers $k$ and $r$, the vertices of every $r$-edge-coloured complete $k$-uniform hypergraph can be partitioned into a bounded number (independent of the size of the hypergraph) of monochromatic tight cycles. We further prove that, for for all natural numbers $p$ and $r$, the vertices of every $r$-edge-coloured complete graph can be partitioned into a bounded number of $p$-th powers of cycles, settling a problem of Elekes, Soukup, Soukup and Szentmiklóssy. In fact we prove a common generalisation of both theorems which further extends these results to all host hypergraphs of bounded independence number.

We prove that in every $2$-colouring of the edges of $K_\mathbb{N}$ there exists a monochromatic infinite path $P$ such that $V(P)$ has upper density at least ${(12+\sqrt{8})}/{17} \approx 0.87226$ and further show that this is best possible. This settles a problem of Erdős and Galvin.

The grid Ramsey number $ G(r) $ is the smallest number $ n $ such that every edge-colouring of the grid graph $Γ_{n,n} := K_n \times K_n$ with $r$ colours induces a rectangle whose parallel edges receive the same colour. We show $ G(r) \leq r^{\binom{r+1}{2}} - \left( 1/4 - o(1) \right) r^{\binom{r}{2}+1} $, slightly improving the currently best known upper bound due to Gyárfás.

A finite set $A \subset \mathbb{R}^d$ is called $\textit{diameter-Ramsey}$ if for every $r \in \mathbb N$, there exists some $n \in \mathbb N$ and a finite set $B \subset \mathbb{R}^n$ with $\mathrm{diam}(A)=\mathrm{diam}(B)$ such that whenever $B$ is coloured with $r$ colours, there is a monochromatic set $A' \subset B$ which is congruent to $A$. We prove that sets of diameter $1$ with circumradius larger than $1/\sqrt{2}$ are not diameter-Ramsey. In particular, we obtain that triangles with an angle larger than $135^\circ$ are not diameter-Ramsey, improving a result of Frankl, Pach, Reiher and Rödl. Furthermore, we deduce that there are simplices which are almost regular but not diameter-Ramsey.

A classical theorem of Simonovits from the 1980s asserts that every graph $G$ satisfying ${e(G) \gg v(G)^{1+1/k}}$ must contain $\gtrsim \left(\frac{e(G)}{v(G)}\right)^{2k}$ copies of $C_{2k}$. Recently, Morris and Saxton established a balanced version of Simonovits' theorem, showing that such $G$ has $\gtrsim \left(\frac{e(G)}{v(G)}\right)^{2k}$ copies of $C_{2k}$, which are `uniformly distributed' over the edges of $G$. Moreover, they used this result to obtain a sharp bound on the number of $C_{2k}$-free graphs via the container method. In this paper, we generalise Morris-Saxton's results for even cycles to $Θ$-graphs. We also prove analogous results for complete $r$-partite $r$-graphs.