arXiv++ Combinatorics

For positive integers $r > \ell$, an $r$-uniform hypergraph is called an $\ell$-cycle if there exists a cyclic ordering of its vertices such that each of its edges consists of $r$ consecutive vertices, and such that every pair of consecutive edges (in the natural ordering of the edges) intersect in precisely $\ell$ vertices. Such cycles are said to be linear when $\ell = 1$, and nonlinear when $\ell > 1$. We determine the sharp threshold for nonlinear Hamiltonian cycles and show that for all $r > \ell > 1$, the threshold $p^*_{r, \ell} (n)$ for the appearance of a Hamiltonian $\ell$-cycle in the random $r$-uniform hypergraph on $n$ vertices is sharp and is $p^*_{r, \ell} (n) = λ(r,\ell) (\frac{\mathrm{e}}{n})^{r - \ell}$ for an explicitly specified function $λ$. This resolves several questions raised by Dudek and Frieze in 2011.

In this note, we study the emergence of Hamiltonian Berge cycles in random $r$-uniform hypergraphs. For $r\geq 3$, we prove an optimal stopping-time result that if edges are sequently added to an initially empty $r$-graph, then as soon as the minimum degree is at least 2, the hypergraph almost surely has such a cycle. In particular, this determines the threshold probability for Berge Hamiltonicity of the Erdős--Rényi random $r$-graph, and we also show that the $2$-out random $r$-graph almost surely has such a cycle. We obtain similar results for \textit{weak Berge} cycles as well, thus resolving a conjecture of Poole.

We study the existence of powers of Hamiltonian cycles in graphs with large minimum degree to which some additional edges have been added in a random manner. It follows from the theorems of Dirac and of Komlós, Sarközy, and Szemerédi that for every $k\geq 1$ and sufficiently large $n$ already the minimum degree $δ(G)\ge\tfrac{k}{k+1}n$ for an $n$-vertex graph $G$ alone suffices to ensure the existence of a $k$-th power of a Hamiltonian cycle. Here we show that under essentially the same degree assumption the addition of just $O(n)$ random edges ensures the presence of the $(k+1)$-st power of a Hamiltonian cycle with probability close to one.

The interplay of minimum degree conditions and structural properties of large graphs with forbidden subgraphs is a central topic in extremal graph theory. For a given graph $F$ we define the homomorphism threshold as the infimum over all $α\in[0,1]$ such that every $n$-vertex $F$-free graph $G$ with minimum degree at least $αn$ has a homomorphic image $H$ of bounded order (independent of $n$), which is $F$-free as well. Without the restriction of $H$ being $F$-free we recover the definition of the chromatic threshold, which was determined for every graph $F$ by Allen et al. [Adv. Math. 235 (2013), 261-295]. The homomorphism threshold is less understood and we address the problem for odd cycles.

We study forcing pairs for quasirandom graphs. Chung, Graham, and Wilson initiated the study of families $\\mathcal F$ of graphs with the property that if a large graph $G$ has approximately homomorphism density $p^{e(F)}$ for some fixed $p\in(0,1]$ for every $F\in \mathcal F$, then $G$ is quasirandom with density $p$. Such families $\mathcal F$ are said to be forcing. Several forcing families were found over the last three decades and characterising all bipartite graphs $F$ such that $(K_2,F)$ is a forcing pair is a well-known open problem in the area of quasirandom graphs, which is closely related to Sidorenko's conjecture. In fact, most of the known forcing families involve bipartite graphs only. We consider forcing pairs containing the triangle $K_3$. In particular, we show that if $(K_2,F)$ is a forcing pair, then so is $(K_3,F')$, where $F'$ is obtained from $F$ by replacing every edge of $F$ by a triangle (each of which introduces a new vertex). For the proof we first show that $(K_3,C'_4)$ is a forcing pair, which strengthens related results of Simonovits and Sós and of Conlon et al.

P. Erdős [On extremal problems of graphs and generalized graphs, Israel Journal of Mathematics 2 (1964), 183-190] characterised those hypergraphs $F$ that have to appear in any sufficiently large hypergraph $H$ of positive density. We study related questions for $3$-uniform hypergraphs with the additional assumption that $H$ has to be uniformly dense with respect to vertex sets. In particular, we characterise those hypergraphs $F$ that are guaranteed to appear in large uniformly dense hypergraphs $H$ of positive density. We also review the case when the density of the induced subhypergraphs of $H$ may depend on the proportion of the considered vertex sets.

We prove for all $k\geq 4$ and $1\leq\ell<k/2$ the sharp minimum $(k-2)$-degree bound for a $k$-uniform hypergraph $\mathcal H$ on $n$ vertices to contain a Hamiltonian $\ell$-cycle if $k-\ell$ divides $n$ and $n$ is sufficiently large. This extends a result of Han and Zhao for $3$-uniform hypegraphs.

Bal and DeBiasio [Partitioning random graphs into monochromatic components, Electron. J. Combin. 24 (2017), Paper 1.18] put forward a conjecture concerning the threshold for the following Ramsey-type property for graphs $G$: every $k$-colouring of the edge set of $G$ yields $k$ pairwise vertex disjoint monochromatic trees that partition the whole vertex set of $G$. We determine the threshold for this property for two colours.

We show that every 3-uniform hypergraph with $n$ vertices and minimum vertex degree at least $(5/9+o(1))\binom{n}2$ contains a tight Hamiltonian cycle. Known lower bound constructions show that this degree condition is asymptotically optimal.

Erdős conjectured that every $n$-vertex triangle-free graph contains a subset of $\lfloor n/2\rfloor$ vertices that spans at most $n^2/50$ edges. Extending a recent result of Norin and Yepremyan, we confirm this conjecture for graphs homomorphic to so-called Andrásfai graphs. As a consequence, Erdős' conjecture holds for every triangle-free graph $G$ with minimum degree $δ(G)>10n/29$ and if $χ(G)\leq 3$ the degree condition can be relaxed to $δ(G)> n/3$. In fact, we obtain a more general result for graphs of higher odd-girth.

For a $k$-uniform hypergraph $F$ let $\textrm{ex}(n,F)$ be the maximum number of edges of a $k$-uniform $n$-vertex hypergraph $H$ which contains no copy of $F$. Determining or estimating $\textrm{ex}(n,F)$ is a classical and central problem in extremal combinatorics. While for $k=2$ this problem is well understood, due to the work of Turán and of Erdős and Stone, only very little is known for $k$-uniform hypergraphs for $k>2$. We focus on the case when $F$ is a $k$-uniform hypergraph with three edges on $k+1$ vertices. Already this very innocent (and maybe somewhat particular looking) problem is still wide open even for $k=3$. We consider a variant of the problem where the large hypergraph $H$ enjoys additional hereditary density conditions. Questions of this type were suggested by Erd\H os and Sós about 30 years ago. We show that every $k$-uniform hypergraph $H$ with density $>2^{1-k}$ with respect to every large collections of $k$-cliques induced by sets of $(k-2)$-tuples contains a copy of $F$. The required density $2^{1-k}$ is best possible as higher order tournament constructions show. Our result can be viewed as a common generalisation of the first extremal result in graph theory due to Mantel (when $k=2$ and the hereditary density condition reduces to a normal density condition) and a recent result of Glebov, Král', and Volec (when $k=3$ and large subsets of vertices of $H$ induce a subhypergraph of density $>1/4$). Our proof for arbitrary $k\geq 2$ utilises the regularity method for hypergraphs.

We show that every 3-uniform hypergraph with minimum vertex degree at least $0.8\binom{n-1}{2}$ contains a tight Hamiltonian cycle.

We prove that for all $k\geq 4$ and $1\leq\ell<k/2$, every $k$-uniform hypergraph $\mathcal{H}$ on $n$ vertices with $δ_{k-2}(\mathcal{H})\geq\left(\frac{4(k-\ell)-1}{4(k-\ell)^2}+o(1)\right)\binom{n}{2}$ contains a Hamiltonian $\ell$-cycle if $k-\ell$ divides $n$. This degree condition is asymptotically best possible. The case $k=3$ was addressed earlier by Buß et al.

We study thresholds for extremal properties of random discrete structures. We determine the threshold for Szemerédi's theorem on arithmetic progressions in random subsets of the integers and its multidimensional extensions and we determine the threshold for Turán-type problems for random graphs and hypergraphs. In particular, we verify a conjecture of Kohayakawa, Łuczak, and Rödl for Turán-type problems in random graphs. Similar results were obtained by Conlon and Gowers.

For two graphs, $G$ and $F$, and an integer $r\ge2$ we write $G\rightarrow (F)_r$ if every $r$-coloring of the edges of $G$ results in a monochromatic copy of $F$. In 1995, the first two authors established a threshold edge probability for the Ramsey property $G(n,p)\to (F)_r$, where $G(n,p)$ is a random graph obtained by including each edge of the complete graph on $n$ vertices, independently, with probability $p$. The original proof was based on the regularity lemma of Szemerédi and this led to tower-type dependencies between the involved parameters. Here, for $r=2$, we provide a self-contained proof of a quantitative version of the Ramsey threshold theorem with only double exponential dependencies between the constants. As a corollary we obtain a double exponential upper bound on the 2-color Folkman numbers. By a different proof technique, a similar result was obtained independently by Conlon and Gowers.

For given integers $k$ and $r$, the Folkman number $f(k;r)$ is the smallest number of vertices in a graph $G$ which contains no clique on $k+1$ vertices, yet for every partition of its edges into $r$ parts, some part contains a clique of order $k$. The existence (finiteness) of Folkman numbers was established by Folkman (1970) for $r=2$ and by Nešetřil and Rödl (1976) for arbitrary $r$, but these proofs led to very weak upper bounds on $f(k;r)$. Recently, Conlon and Gowers and independently the authors obtained a doubly exponential bound on $f(k;2)$. Here, we establish a further improvement by showing an upper bound on $f(k;r)$ which is exponential in a polynomial function of $k$ and $r$. This is comparable to the known lower bound $2^{Ω(rk)}$. Our proof relies on a recent result of Saxton and Thomason (2015) (or, alternatively, on a recent result of Balogh, Morris, and Samotij (2015)) from which we deduce a quantitative version of Ramsey's theorem in random graphs.

We establish a so-called counting lemma that allows embeddings of certain linear uniform hypergraphs into sparse pseudorandom hypergraphs, generalizing a result for graphs [Embedding graphs with bounded degree in sparse pseudorandom graphs, Israel J. Math. 139 (2004), 93-137]. Applications of our result are presented in the companion paper [Counting results for sparse pseudorandom hypergraphs II].

We present a variant of a universality result of Rödl [On universality of graphs with uniformly distributed edges, Discrete Math. 59 (1986), no. 1-2, 125-134] for sparse, $3$-uniform hypergraphs contained in strongly jumbled hypergraphs. One of the ingredients of our proof is a counting lemma for fixed hypergraphs in sparse ``pseudorandom'' uniform hypergraphs, which is proved in the companion paper [Counting results for sparse pseudorandom hypergraphs I].

Motivated by a conjecture of Gyárfás, recently Böttcher, Hladký, Piguet, and Taraz showed that every collection $T_1,\dots,T_t$ of trees on $n$ vertices with $\sum_{i=1}^te(T_i)\leq \binom{n}{2}$ and with bounded maximum degree, can be packed into the complete graph on $(1+o(1))n$ vertices. We generalise this result where we relax the restriction of packing families of trees to families of graphs of any given non-trivial minor-closed class of graphs.

We estimate Ramsey numbers for bipartite graphs with small bandwidth and bounded maximum degree. In particular we determine asymptotically the two and three color Ramsey numbers for grid graphs. More generally, we determine asymptotically the two color Ramsey number for bipartite graphs with small bandwidth and bounded maximum degree and the three color Ramsey number for such graphs with the additional assumption that the bipartite graph is balanced.