arXiv++ Combinatorics

The last two decades have witnessed a growing trend towards proving sparse random analogues of combinatorial theorems. One unified approach to proving such theorems, formalised by Conlon and Gowers [Ann. of Math. 2016], involves establishing a 'transference principle' which allows one to translate between robust properties in the dense setting and the sparse $p$-random setting, provided $p$ is not too small. Our results provide a more general transference theorem, extending the results of Conlon and Gowers and also those of Schacht [Ann. of Math. 2016]. Among a variety of other applications, we use this to obtain a sparse counting lemma for graphs and hypergraphs which are not necessarily strictly balanced. Our method achieves asymptotically optimal bounds on the probability $p$, and the probability of success.

We prove that every $n$-vertex 4-uniform hypergraph with minimum codegree at least $\lfloor n/4 \rfloor$ has a spanning tight component. This is tight, and it settles the 4-uniform case of a conjecture of Illingworth, Lang, Müyesser, Parczyk, and Sgueglia.

Kühn and Osthus conjectured in 2013 that regular tripartite tournaments are decomposable into Hamilton cycles. Somewhat surprisingly, Granet gave a simple counterexample to this conjecture almost 10 years later. In this paper, we show that the conjecture of Kühn and Osthus nevertheless holds in an approximate sense, by proving that every regular tripartite tournament admits an approximate decomposition into Hamilton cycles. We also study Hamilton cycle packings of directed graphs in the same regime, and show that for large $n$, every balanced tripartite digraph on $3n$ vertices which is $d$-regular for $d\ge (1+o(1))n$ admits a Hamilton decomposition.

Consider the hypergraph bootstrap percolation process in which, given a fixed $r$-uniform hypergraph $H$ and starting with a given hypergraph $G_0$, at each step we add to $G_0$ all edges that create a new copy of $H$. We are interested in maximising the number of steps that this process takes before it stabilises. For the case where $H=K_{r+1}^{(r)}$ with $r\geq3$, we provide a new construction for $G_0$ that shows that the number of steps of this process can be of order $Θ(n^r)$. This answers a recent question of Noel and Ranganathan. To demonstrate that different running times can occur, we also prove that, if $H$ is $K_4^{(3)}$ minus an edge, then the maximum possible running time is $2n-\lfloor \log_2(n-2)\rfloor-6$. However, if $H$ is $K_5^{(3)}$ minus an edge, then the process can run for $Θ(n^3)$ steps.

Balogh, Csaba, Jing and Pluhár recently determined the minimum degree threshold that ensures a $2$-coloured graph $G$ contains a Hamilton cycle of significant colour bias (i.e., a Hamilton cycle that contains significantly more than half of its edges in one colour). In this short note we extend this result, determining the corresponding threshold for $r$-colourings.