arXiv++ Combinatorics

Given $r \in \mathbb{N}$ and an edge-coloured complete graph such that the average number of colours incident with a vertex is at most $r$, Conlon and Stein asked whether there is a vertex partition into a bounded number of monochromatic cycles, and proved this for $r=2$. We settle the first open case by proving the corresponding statement for $r=3$.

We show that, for every $\varepsilon>0$ and all sufficiently large $k$, any spanning subgraph of the $k$th power of a cycle with minimum degree at least $(1+\varepsilon)k$ contains a Hamilton cycle. This asymptotically settles a conjecture of Espuny Díaz, Lichev, and Wesolek.

We study minimum vertex-degree conditions in 3-uniform hypergraphs for (tight) spanning components and (combinatorial) surfaces. Our main results show that a 3-uniform hypergraph $G$ on $n$ vertices contains a spanning component if $δ_1(G) \gtrsim \tfrac{1}{2} \binom{n}{2}$ and a spanning copy of any surface if $δ_1(G) \gtrsim \tfrac{5}{9} \binom{n}{2}$, which in both cases is asymptotically optimal. This extends the work of Georgakopoulos, Haslegrave, Montgomery, and Narayanan who determined the corresponding minimum codegree conditions in this setting.

We study the appearance of Hamilton $\ell$-cycles in dense $k$-uniform hypergraphs when $\ell \leq k-2$ and $k-\ell$ does not divide $k$. Our main result reduces this problem to the robust existence of a connected $\ell$-cycle tiling in host graph families that are approximately closed under subsampling. As an application, we determine the minimum $d$-degree threshold for $d=k-2$ and all $1 \leq \ell \leq k-2$ when $k - \ell$ does not divide $k$. We also reduce the case $\ell < d$ entirely to the corresponding (non-connected) $\ell$-cycle tiling problem. In addition, our outcomes lead to counting and random robust versions of these results. The proofs are based on the recently introduced method of blow-up covers and thus avoid the use of the Regularity Lemma and the Absorption Method.

We show that every graph $G$ on $n$ vertices with $δ(G) \geq (1/2+\varepsilon)n$ is spanned by a complete blow-up of a cycle with clusters of nearly uniform size $Ω(\log n)$. The proof is based on a recently introduced approach for finding vertex-spanning substructures via blow-up covers.

A cornerstone of extremal graph theory due to Erdős and Stone states that the edge density which guarantees a fixed graph $F$ as subgraph also asymptotically guarantees a blow-up of $F$ as subgraph. It is natural to ask whether this phenomenon generalises to vertex-spanning structures such as Hamilton cycles. This was confirmed by Böttcher, Schacht and Taraz for graphs in the form of the Bandwidth Theorem. Our main result extends the phenomenon to hypergraphs. A graph on $n$ vertices that robustly contains a Hamilton cycle must satisfy certain conditions on space, connectivity and aperiodicity. Conversely, we show that if these properties are robustly satisfied, then all blow-ups of cycles on $n$ vertices with clusters of size at most $\operatorname{poly}(\log \log n)$ are guaranteed as subgraphs. This generalises to powers of cycles and to the hypergraph setting. As an application, we recover a series of classic results and recent breakthroughs on Hamiltonicity under degree conditions, which are then immediately upgraded to blown up versions. The proofs are based on a new setup for embedding large substructures into dense hypergraphs, which is of independent interest and does not rely on the Regularity Lemma or the Absorption Method.

We study a generalisation of Vizing's theorem, where the goal is to simultaneously colour the edges of graphs $G_1,\dots,G_k$ with few colours. We obtain asymptotically optimal bounds for the required number of colours in terms of the maximum degree $Δ$, for small values of $k$ and for an infinite sequence of values of $k$. This asymptotically settles a conjecture of Cabello for $k=2$. Moreover, we show that $\sqrt k Δ+ o(Δ)$ colours always suffice, which tends to the optimal value as $k$ grows. We also show that $\ell Δ+ o(Δ)$ colours are enough when every edge appears in at most $\ell$ of the graphs, which asymptotically confirms a conjecture of Cambie. Finally, our results extend to the list setting. We also find a close connection to a conjecture of Füredi, Kahn, and Seymour from the 1990s and an old problem about fractional matchings.

We study conditions under which an edge-coloured hypergraph has a particular substructure that contains more than the trivially guaranteed number of monochromatic edges. Our main result solves this problem for perfect matchings under minimum degree conditions. This answers recent questions of Gishboliner, Glock and Sgueglia, and of Balogh, Treglown and Zárate-Guerén.

We show that a $k$-uniform hypergraph on $n$ vertices has a spanning subgraph homeomorphic to the $(k - 1)$-dimensional sphere provided that $H$ has no isolated vertices and each set of $k - 1$ vertices supported by an edge is contained in at least $n/2 + o(n)$ edges. This gives a topological extension of Dirac's theorem and asymptotically confirms a conjecture of Georgakopoulos, Haslegrave, Montgomery, and Narayanan. Unlike typical results in the area, our proof does not rely on the Absorption Method, the Regularity Lemma or the Blow-up Lemma. Instead, we use a recently introduced framework that is based on covering the vertex set of the host graph with a family of complete blow-ups.

We show that for all $k\geq 4$, $\varepsilon >0$, and $n$ sufficiently large, every $k$-uniform hypergraph on $n$ vertices in which each set of $k-3$ vertices is contained in at least $(5/8 + \varepsilon) \binom{n}{3}$ edges contains a tight Hamilton cycle. This is asymptotically best possible.

We study conditions under which a given hypergraph is randomly robust Hamiltonian, which means that a random sparsification of the host graph contains a Hamilton cycle with high probability. Our main contribution provides nearly optimal results whenever the host graph is Hamilton connected in a locally robust sense, which translates to a typical induced subgraph of constant order containing Hamilton paths between any pair of suitable ends. The proofs are based on the recent breakthrough on Talagrand's conjecture, which reduces the problem to specifying a distribution on the desired guest structure in the (deterministic) host structure. We find such a distribution via a new argument that reduces the problem to the case of perfect matchings in a higher uniformity. As applications, we obtain asymptotically optimal results for perfect tilings in graphs and hypergraphs both in the minimum degree and uniformly dense setting. We also prove random robustness for powers of cycles under asymptotically optimal minimum degrees and degree sequences. We solve the problem for loose and tight Hamilton cycles in hypergraphs under a range of asymptotic minimum degree conditions. This includes in particular $k$-uniform tight Hamilton cycles under minimum $d$-degree conditions for $1\leq k-d \leq 3$. In all cases, our bounds on the sparseness are essentially best-possible.

We study the emergence of loose Hamilton cycles in subgraphs of random hypergraphs. Our main result states that the minimum $d$-degree threshold for loose Hamiltonicity relative to the random $k$-uniform hypergraph $H_k(n,p)$ coincides with its dense analogue whenever $p \geq n^{- (k-1)/2+o(1)}$. The value of $p$ is approximately tight for $d>(k+1)/2$. This is particularly interesting because the dense threshold itself is not known beyond the cases when $d \geq k-2$.

In the perfect tiling problem, we aim to cover the vertices of a hypergraph~$G$ with pairwise vertex-disjoint copies of a hypergraph $F$. There are three essentially necessary conditions for such a perfect tiling, which correspond to barriers in space, divisibility and covering. It is natural to ask in which situations these conditions are also asymptotically sufficient. Our main result confirms this for all hypergraph families that are hereditary in the sense of being approximately closed under taking typical induced subgraphs of constant order. Among others, this includes families parametrised by minimum degrees and quasirandomness, which have been studied extensively in this area. As an application, we recover and extend a series of well-known results for perfect tilings in hypergraphs and related settings involving vertex orderings and rainbow structures.

Lehel conjectured in the 1970s that every red and blue edge-coloured complete graph can be partitioned into two monochromatic cycles. This was confirmed in 2010 by Bessy and Thomassé. However, the host graph $G$ does not have to be complete. It it suffices to require that $G$ has minimum degree at least $3n/4$, where $n$ is the order of $G$, as was shown recently by Letzter, confirming a conjecture of Balogh, Barát, Gerbner, Gyárfás and Sárközy. This degree condition is asymptotically tight. Here we continue this line of research, by proving that for every red and blue edge-colouring of an $n$-vertex graph of minimum degree at least $2n/3 + o(n)$, there is a partition of the vertex set into three monochromatic cycles. This approximately verifies a conjecture of Pokrovskiy and is essentially tight.

We develop a method to study sufficient conditions for perfect mixed tilings. Our framework allows the embedding of bounded degree graphs $H$ with components of sublinear order. As a corollary, we recover and extend the work of Kühn and Osthus regarding sufficient minimum degree conditions for perfect $F$-tilings (for an arbitrary fixed graph $F$) by replacing the $F$-tiling with the aforementioned graphs $H$. Moreover, we obtain analogous results for degree sequences and in the setting of uniformly dense graphs. Finally, we asymptotically resolve a conjecture of Komlós in a strong sense.

We study structural conditions in dense graphs that guarantee the existence of vertex-spanning substructures such as Hamilton cycles. It is easy to see that every Hamiltonian graph is connected, has a perfect fractional matching and, excluding the bipartite case, contains an odd cycle. A simple consequence of the Robust Expander Theorem of Kühn, Osthus and Treglown tells us that any large enough graph that robustly satisfies these properties must already be Hamiltonian. Our main result generalises this phenomenon to powers of cycles and graphs of sublinear bandwidth subject to natural generalisations of connectivity, matchings and odd cycles. This answers a question of Ebsen, Maesaka, Reiher, Schacht and Schülke and solves the embedding problem that underlies multiple lines of research on sufficient conditions for spanning structures in dense graphs. As applications, we recover and establish Bandwidth Theorems in a variety of settings including Ore-type degree conditions, Pósa-type degree conditions, deficiency-type conditions, locally dense and inseparable graphs, multipartite graphs as well as robust expanders.

In 1980, Akiyama, Exoo and Harary posited the Linear Arboricity Conjecture which states that any graph $G$ of maximum degree $Δ$ can be decomposed into at most $\left\lceil \fracΔ{2}\right\rceil$ linear forests. (A forest is linear if all of its components are paths.) In 1988, Alon proved the conjecture holds asymptotically. The current best bound is due to Ferber, Fox and Jain from 2020 who showed that $\fracΔ{2}+ O(Δ^{.661})$ suffices for large enough $Δ$. Here, we show that $G$ admits a decomposition into at most $\fracΔ{2}+ 3\sqrtΔ \log^4 Δ$ linear forests provided $Δ$ is large enough. Moreover, our result also holds in the more general list setting, where edges have (possibly different) sets of permissible linear forests. Thus our bound also holds for the List Linear Arboricity Conjecture which was only recently shown to hold asymptotically by Kim and the second author. Indeed, our proof method ties together the Linear Arboricity Conjecture and the well-known List Colouring Conjecture; consequently, our error term for the Linear Arboricity Conjecture matches the best known error-term for the List Colouring Conjecture due to Molloy and Reed from 2000. This follows as we make two copies of every colour and then seek a proper edge colouring where we avoid bicoloured cycles between a colour and its copy; we achieve this via a clever modification of the nibble method.

The famous List Colouring Conjecture from the 1970s states that for every graph $G$ the chromatic index of $G$ is equal to its list chromatic index. In 1996 in a seminal paper, Kahn proved that the List Colouring Conjecture holds asymptotically. Our main result is a local generalization of Kahn's theorem. More precisely, we show that, for a graph $G$ with sufficiently large maximum degree $Δ$ and minimum degree $δ\geq \ln^{25} Δ$, the following holds: for every assignment of lists of colours to the edges of $G$, such that $|L(e)| \geq (1+o(1)) \cdot \max\left\{\rm{deg}(u),\rm{deg}(v)\right\}$ for each edge $e=uv$, there is an $L$-edge-colouring of $G$. Furthermore, Kahn showed that the List Colouring Conjecture holds asymptotically for linear, $k$-uniform hypergraphs, and recently Molloy generalized Kahn's original result to correspondence colouring as well as its hypergraph generalization. We prove local versions of all of these generalizations by showing a weighted version that simultaneously implies all of our results.

We develop a new framework to study minimum $d$-degree conditions in $k$-uniform hypergraphs, which guarantee the existence of a tight Hamilton cycle. Our main theoretical result deals with the typical absorption, path cover and connecting arguments for all $k$ and $d$ at once, and thus sheds light on the underlying structural problems. Building on this, we show that one can study minimum $d$-degree conditions of $k$-uniform tight Hamilton cycles by focusing on the inner structure of the neighbourhoods. This reduces the matter to an Erdős--Gallai-type question for $(k-d)$-uniform hypergraphs, which is of independent interest. Once this framework is established, we can easily derive two new bounds. Firstly, we extend a classic result of Rödl, Ruciński and Szemerédi for $d=k-1$ by determining asymptotically best possible degree conditions for $d = k-2$ and all $k \ge 3$. This was proved independently by Polcyn, Reiher, Rödl and Schülke. Secondly, we provide a general upper bound of $1-1/(2(k-d))$ for the tight Hamilton cycle $d$-degree threshold in $k$-uniform hypergraphs, thus narrowing the gap to the lower bound of $1-1/\sqrt{k-d}$ due to Han and Zhao.

Given a family of graphs $\mathcal{F}$, we prove that the normalized edit distance of any given graph $Γ$ to being induced $\mathcal{F}$-free is estimable with a query complexity that depends only on the bounds of the Frieze--Kannan Regularity Lemma and on a Removal Lemma for $\mathcal{F}$.