arXiv++ Combinatorics

We determine Turán numbers for the family of 3-uniform minimal paths of length four \emph{for all $n$}. We also establish the second and third order Turán numbers and use them to compute the corresponding Ramsey numbers for up to four colors.

We determine, up to a multiplicative constant, the optimal number of random edges that need to be added to a $k$-graph $H$ with minimum vertex degree $Ω(n^{k-1})$ to ensure an $F$-factor with high probability, for any $F$ that belongs to a certain class $\mathcal{F}$ of $k$-graphs, which includes, e.g., all $k$-partite $k$-graphs, $K_4^{(3)-}$ and the Fano plane. In particular, taking $F$ to be a single edge, this settles a problem of Krivelevich, Kwan and Sudakov [Combin. Probab. Comput. 25 (2016), 909--927]. We also address the case in which the host graph $H$ is not dense, indicating that starting from certain such $H$ is essentially the same as starting from an empty graph (namely, the purely random model).

For integers $k \geq 3$ and $r\geq 2$, we show that for every $α> 0$, there exists $\varepsilon > 0$ such that the union of $k$-uniform hypergraph on $n$ vertices with minimum codegree at least $αn$ and a binomial random $k$-uniform hypergraph $G^{(k)}(n,p)$ with $p\geq n^{-{\binom{k+r-2}{k-1}}^{-1}-\varepsilon}$ on the same vertex set contains the $r^{th}$ power of a tight Hamilton cycle with high probability. Moreover, a construction shows that one cannot take $\varepsilon > Cα$, where $C=C(k,r)$ is a constant. Thus the bound on $p$ is optimal up to the value of $\varepsilon$ and this answers a question of Bedenknecht, Han, Kohayakawa, and Mota.

We show that for any fixed $α>0$, cherry-quasirandom 3-graphs of positive density and sufficiently large order $n$ with minimum vertex degree $α\binom n2$ have a tight Hamilton cycle. This solves a conjecture of Aigner-Horev and Levy.

Let $H$ be an $n$-vertex 3-uniform hypergraph such that every pair of vertices is in at least $n/3+o(n)$ edges. We show that $H$ contains two vertex-disjoint tight paths whose union covers the vertex set of $H$. The quantity two here is best possible and the degree condition is asymptotically best possible. This result also has an interpretation as the \emph{deficiency problems}, recently introduced by Nenadov, Sudakov and Wagner: every such $H$ can be made Hamiltonian by adding at most two vertices and all triples intersecting them.

For any even integer $k\ge 6$, integer $d$ such that $k/2\le d\le k-1$, and sufficiently large $n\in (k/2)\mathbb N$, we find a tight minimum $d$-degree condition that guarantees the existence of a Hamilton $(k/2)$-cycle in every $k$-uniform hypergraph on $n$ vertices. When $n\in k\mathbb N$, the degree condition coincides with the one for the existence of perfect matchings provided by Rödl, Ruciński and Szemerédi (for $d=k-1$) and Treglown and Zhao (for $d\ge k/2$), and thus our result strengthens theirs in this case.

We investigate the emergence of spanning structures in sparse pseudo-random $k$-uniform hypergraphs, using the following comparatively weak notion of pseudo-randomness. A $k$-uniform hypergraph $H$ on $n$ vertices is called $(p,α,ε)$-pseudo-random if for all (not necessarily disjoint) vertex subsets $A_1,\dots, A_k{\subseteq} V(H)$ with $|A_1|\cdots |A_k|{\geq}αn^{k}$ we have $$e(A_1,\dots, A_k)=(1\pmε)p |A_1|\cdots |A_k|.$$ For any linear $k$-uniform $F$ we provide a bound on $α=α(n)$ in terms of $p=p(n)$ and $F$, such that (under natural divisibility assumptions on $n$) any $k$-uniform $\big(p,α, o(1)\big)$-pseudo-random $n$-vertex hypergraph $H$ with a mild minimum vertex degree condition contains an $F$-factor. The approach also enables us to establish the existence of loose Hamilton cycles in sufficiently pseudo-random hypergraphs and all results imply corresponding bounds for stronger notions of hypergraph pseudo-randomness such as jumbledness or large spectral gap. As a consequence, $\big(p,α, o(1)\big)$-pseudo-random $k$-graphs as above contain: $(i)$ a perfect matching if $α=o(p^{k})$ and $(ii)$ a loose Hamilton cycle if $α=o(p^{k-1})$. This extends the works of Lenz--Mubayi, and Lenz--Mubayi--Mycroft who studied the analogous problems in the dense setting.

Keevash and Mycroft [\emph{Mem.~Amer.~Math.~Soc., 2015}] developed a geometric theory for hypergraph matchings and characterized the dense simplicial complexes that contain a perfect matching. Their proof uses the hypergraph regularity method and the hypergraph blow-up lemma recently developed by Keevash. In this note we give a new proof of their results, which avoids these complex tools. In particular, our proof uses the lattice-based absorbing method developed by the author and a recent probabilistic argument of Kohayakawa, Person and the author.

Given a hypergraph $H$, the size-Ramsey number $\hat{r}_2(H)$ is the smallest integer $m$ such that there exists a graph $G$ with $m$ edges with the property that in any colouring of the edges of $G$ with two colours there is a monochromatic copy of $H$. We prove that the size-Ramsey number of the $3$-uniform tight path on $n$ vertices $P^{(3)}_n$ is linear in $n$, i.e., $\hat{r}_2(P^{(3)}_n) = O(n)$. This answers a question by Dudek, Fleur, Mubayi, and Rödl for $3$-uniform hypergraphs [On the size-Ramsey number of hypergraphs, J. Graph Theory 86 (2016), 417-434], who proved $\hat{r}_2(P^{(3)}_n) = O(n^{3/2} \log^{3/2} n)$.

Let $k\ge 2$ and $n_1\ge n_2\ge n_3\ge n_4$ be integers such that $n_4$ is sufficiently larger than $k$. We determine the maximum number of edges of a 4-partite graph with parts of sizes $n_1,\dots, n_4$ that does not contain $k$ vertex-disjoint triangles. For any $r> t\ge 3$, we give a conjecture on the maximum number of edges of an $r$-partite graph that does not contain $k$ vertex-disjoint cliques $K_t$.

A perfect $K_r$-tiling in a graph $G$ is a collection of vertex-disjoint copies of $K_r$ that together cover all the vertices in $G$. In this paper we consider perfect $K_r$-tilings in the setting of randomly perturbed graphs; a model introduced by Bohman, Frieze and Martin where one starts with a dense graph and then adds $m$ random edges to it. Specifically, given any fixed $0< α<1-1/r$ we determine how many random edges one must add to an $n$-vertex graph $G$ of minimum degree $δ(G) \geq αn$ to ensure that, asymptotically almost surely, the resulting graph contains a perfect $K_r$-tiling. As one increases $α$ we demonstrate that the number of random edges required `jumps' at regular intervals, and within these intervals our result is best-possible. This work therefore closes the gap between the seminal work of Johansson, Kahn and Vu (which resolves the purely random case, i.e., $α=0$) and that of Hajnal and Szemerédi (which demonstrates that for $α\geq 1-1/r$ the initial graph already houses the desired perfect $K_r$-tiling).

Given an $n$-vertex pseudorandom graph $G$ and an $n$-vertex graph $H$ with maximum degree at most two, we wish to find a copy of $H$ in $G$, i.e.\ an embedding $\varphi\colon V(H)\to V(G)$ so that $\varphi(u)\varphi(v)\in E(G)$ for all $uv\in E(H)$. Particular instances of this problem include finding a triangle-factor and finding a Hamilton cycle in $G$. Here, we provide a deterministic polynomial time algorithm that finds a given $H$ in any suitably pseudorandom graph $G$. The pseudorandom graphs we consider are $(p,λ)$-bijumbled graphs of minimum degree which is a constant proportion of the average degree, i.e.\ $Ω(pn)$. A $(p,λ)$-bijumbled graph is characterised through the discrepancy property: $\left|e(A,B)-p|A||B|\right |<λ\sqrt{|A||B|}$ for any two sets of vertices $A$ and $B$. Our condition $λ=O(p^2n/\log n)$ on bijumbledness is within a log factor from being tight and provides a positive answer to a recent question of Nenadov. We combine novel variants of the absorption-reservoir method, a powerful tool from extremal graph theory and random graphs. Our approach is based on that of Nenadov (\emph{Bulletin of the London Mathematical Society}, to appear) and on ours (arXiv:1806.01676), together with additional ideas and simplifications.

An edge coloring of the $n$-vertex complete graph, $K_n$, is a Gallai coloring if it does not contain any rainbow triangle, that is, a triangle whose edges are colored with three distinct colors. We prove that for $n$ large and every $k$ with $k\le 2^{n/4300}$, the number of Gallai colorings of $K_n$ that use at most $k$ given colors is $(\binom{k}{2}+o_n(1))\,2^{\binom{n}{2}}$. Our result is asymptotically best possible and implies that, for those $k$, almost all Gallai $k$-colorings use only two colors. However, this is not true for $k \ge Ω(2^{2n})$.

Given a positive integer $s$, a graph $G$ is $s$-Ramsey for a graph $H$, denoted $G\rightarrow (H)_s$, if every $s$-colouring of the edges of $G$ contains a monochromatic copy of $H$. The $s$-colour size-Ramsey number ${\hat{r}}_s(H)$ of a graph $H$ is defined to be ${\hat{r}}_s(H)=\min\{|E(G)|\colon G\rightarrow (H)_s\}$. We prove that, for all positive integers $k$ and $s$, we have ${\hat{r}}_s(P_n^k)=O(n)$, where $P_n^k$ is the $k$th power of the $n$-vertex path $P_n$.

We prove that for any $t\ge 3$ there exist constants $c>0$ and $n_0$ such that any $d$-regular $n$-vertex graph $G$ with $t\mid n\geq n_0$ and second largest eigenvalue in absolute value $λ$ satisfying $λ\le c d^{t}/n^{t-1}$ contains a $K_t$-factor, that is, vertex-disjoint copies of $K_t$ covering every vertex of $G$.

We prove that, for any $t\ge 3$, there exists a constant $c=c(t)>0$ such that any $d$-regular $n$-vertex graph with the second largest eigenvalue in absolute value~$λ$ satisfying $λ\le c d^{t-1}/n^{t-2}$ contains vertex-disjoint copies of $K_t$ covering all but at most $n^{1-1/(8t^4)}$ vertices. This provides further support for the conjecture of Krivelevich, Sudakov and Szábo [\emph{Triangle factors in sparse pseudo-random graphs}, Combinatorica \textbf{24} (2004), pp.~403--426] that $(n,d,λ)$-graphs with $n\in 3\mathbb{N}$ and $λ\leq cd^{2}/n$ for a suitably small absolute constant~$c>0$ contain triangle-factors.

For $k\ge 2$ and $r\ge 1$ such that $k+r\ge 4$, we prove that, for any $α>0$, there exists $ε>0$ such that the union of an $n$-vertex $k$-graph with minimum codegree $\left(1-\binom{k+r-2}{k-1}^{-1}+α\right)n$ and a binomial random $k$-graph $\mathbb{G}^{(k)}(n,p)$ with $p\ge n^{-\binom{k+r-2}{k-1}^{-1}-ε}$ on the same vertex set contains the $r^{\text{th}}$ power of a tight Hamilton cycle with high probability. This result for $r=1$ was first proved by McDowell and Mycroft.

For integers $k\ge 3$ and $1\le \ell\le k-1$, we prove that for any $α>0$, there exist $ε>0$ and $C>0$ such that for sufficiently large $n\in (k-\ell)\mathbb{N}$, the union of a $k$-uniform hypergraph with minimum vertex degree $αn^{k-1}$ and a binomial random $k$-uniform hypergraph $\mathbb{G}^{(k)}(n,p)$ with $p\ge n^{-(k-\ell)-ε}$ for $\ell\ge 2$ and $p\ge C n^{-(k-1)}$ for $\ell=1$ on the same vertex set contains a Hamiltonian $\ell$-cycle with high probability. Our result is best possible up to the values of $ε$ and $C$ and answers a question of Krivelevich, Kwan and Sudakov.

We solve a problem of Krivelevich, Kwan and Sudakov [SIAM Journal on Discrete Mathematics 31 (2017), 155-171] concerning the threshold for the containment of all bounded degree spanning trees in the model of randomly perturbed dense graphs. More precisely, we show that, if we start with a dense graph $G_α$ on $n$ vertices with $δ(G_α)\ge αn$ for $α>0$ and we add to it the binomial random graph $G(n,C/n)$, then with high probability the graph $G_α\cup G(n,C/n)$ contains copies of all spanning trees with maximum degree at most $Δ$ simultaneously, where $C$ depends only on $α$ and $Δ$.

Let $c\in (0, 1]$ be a real number and let $n$ be a sufficiently large integer. We prove that every $n$-vertex $c n$-regular graph $G$ contains a collection of $\lfloor 1/c \rfloor$ paths whose union covers all but at most $o(n)$ vertices of $G$. The constant $\lfloor 1/c \rfloor$ is best possible when $1/c\notin \mathbb{N}$ and off by $1$ otherwise. Moreover, if in addition $G$ is bipartite, then the number of paths can be reduced to $\lfloor 1/(2c) \rfloor$, which is best possible.