arXiv++ Combinatorics

We show that, for sufficiently large $n$, every properly edge-coloured $n$-vertex complete graph contains a path with $n-1$ vertices which uses each colour at most once (that is, a rainbow path). This resolves a conjecture of Andersen from 1989 for all large $n$ and improves previous results of Alon-Pokrovskiy-Sudakov, and then Balogh-Molla, which showed that rainbow paths/cycles of length $n-O(n^{1/2}\log n)$ exist in this setting. Furthermore, with related methods, we show that, for every sufficiently large $n$, every Latin square of order $n$ contains a cycle-free transversal of order $n-2$, confirming a conjecture of Gyárfás and Sárközy from 2014 for large $n$.

We show that, when $d=o(n)$, every $d$-regular $n$-vertex graph contains a spanning subgraph whose degree distribution is nearly uniform, i.e., for each $0\leq i\leq d$, there are $(1+o(1))n/(d+1)$ vertices with degree $i$. This proves a conjecture of Alon and Wei on irregular subgraphs and strengthens a previous result of Fox, Luo and Pham.

Lovász' famous Hamiltonicity conjecture (1969) states that every connected vertex-transitive graph has a Hamiltonian path. A stronger version of the conjecture, often attributed to Thomassen (1978), states that every sufficiently large such graph even has a Hamiltonian cycle. Despite the great amount of attention these conjectures have attracted over the past decades both in the combinatorial and algebraic communities, for more than 40 years the best known lower bound for the maximum length of a cycle (path) in a connected vertex-transitive graph of order $n$ remained of the form $Ω(\sqrt{n})$, due to Babai (1979). A series of recent works has successively improved the exponent in this lower bound further. In this paper, improving the previous state-of-the-art bound $Ω(n^{9/14})$ due to Norin et al.~(2025), we prove that every connected vertex-transitive graph of order $n$ contains a cycle of length at least $n^{2/3-o(1)}$. This hits a natural barrier for several existing approaches from previous work. Our proofs combine recent embedding techniques for paths in sublinear expanders, sublinear expander decompositions of almost-regular graphs, and several additional combinatorial ideas.

In this paper, we prove that for every $k$ and every graph $H$ with $m$ edges and no isolated vertices, the Ramsey number $R(C_k,H)$ is at most $2m+\lfloor \frac{k-1}{2} \rfloor$, provided $m$ is sufficiently large with respect to $k$. This settles a problem of Erdős, Faudree, Rousseau and Schelp.

A variant of the Erdős-Sós conjecture, posed by Havet, Reed, Stein and Wood, states that every graph with minimum degree at least $\lfloor 2k/3 \rfloor$ and maximum degree at least $k$ contains a copy of every tree with $k$ edges. Both degree bounds are best possible. We confirm this conjecture for large trees with bounded maximum degree, by proving that for all $Δ\in \mathbb{N}$ and sufficiently large $k\in \mathbb{N}$, every graph $G$ with $δ(G)\geq \lfloor 2k/3 \rfloor$ and $Δ(G)\geq k$ contains a copy of every tree $T$ with $k$ edges and $Δ(T)\leq Δ$. We also prove similar results where alternative degree conditions are considered. For the same class of trees, this verifies exactly a related conjecture of Besomi, Pavez-Signé and Stein, and provides asymptotic confirmations of two others.

An $n$-vertex tree $T$ is said to be $\textit{graceful}$ if there exists a bijective labelling $φ:V(T)\to \{1,\ldots,n\}$ such that the edge-differences $\{|φ(x)-φ(y)| : xy\in E(T)\}$ are pairwise distinct. The longstanding graceful tree conjecture, posed by Rósa in the 1960s, asserts that every tree is graceful. The $\textit{gracesize}$ of an $n$-vertex tree $T$, denoted $\operatorname{gs}(T)$, is the maximum possible number of distinct edge-differences over all bijective labellings $φ:V(T)\to \{1,\ldots,n\}$. The graceful tree conjecture is therefore equivalent to the statement that $\operatorname{gs}(T)=n-1$ for all $n$-vertex trees. We prove an asymptotic version of this conjecture by showing that for every $\varepsilon>0$, there exists $n_0$ such that every tree on $n>n_0$ vertices satisfies $\operatorname{gs}(T)\geqslant (1-\varepsilon)n$. In other words, every sufficiently large tree admits an almost graceful labelling.

In 1989, Zehavi and Itai conjectured that every $k$-connected graph contains $k$ independent spanning trees rooted at any prescribed vertex $r$. That is, for each vertex $v$, the unique $r$-$v$ paths within these $k$ spanning trees are internally disjoint. This fundamental problem has received much attention, in part motivated by its applications to network reliability, but despite that has only been resolved for $k \le 4$ and certain restricted graph families. We establish the conjecture for almost all graphs of essentially any relevant density. Specifically, we prove that there exists a constant $C > 1$ such that, with high probability, the random graph $G(n,p)$ contains $δ(G)$ independent spanning trees rooted at any vertex whenever $C \log n/n \leq p < 0.99$. Since the lower bound on $p$ coincides (up to the constant $C$) with the connectivity threshold of $G(n,p)$, this result is essentially optimal. In addition, we show that $(n,d,λ)$-graphs with fairly mild bounds on the spectral ratio $d/λ$ contain $(1-o(1))d$ independent spanning trees rooted at each vertex, thereby settling the conjecture asymptotically for random $d$-regular graphs as well.

Consider an order $n$ abelian group $G$ and a tree $T$ on $n$ vertices. When is it possible to (bijectively) label $V(T)$ by $G$ so that along all edges $xy$ of $T$, the sums $x+y$ are distinct? This problem can be traced back to the work of Graham and Sloane on the harmonious labelling conjecture, and has been studied extensively since its introduction in 1980. We give a precise characterisation that holds for all bounded degree trees. In particular, our characterisation implies that if $G=\mathbb{Z}/n\mathbb{Z}$ and $T$ is a bounded degree tree, the desired labelling exists. This confirms a conjecture of Graham and Sloane from 1980, and another conjecture of Chang, Hsu, and Rogers from 1987, for bounded degree trees. Our results also have further applications for the study of graph coverings.

We show that for sufficiently large $d$, every balanced bipartite, connected biclaw-free graph with minimum degree $\geq d$ is Hamiltonian. This confirms a conjecture of Flandrin, Fouquet, and Li.

Ryser conjectured that every $r$-edge-coloured complete graph can be covered by $r-1$ monochromatic trees. Motivated by a question of Austin in analysis, Milićević predicted something stronger -- that every $r$-edge-coloured complete graph can be covered by $r-1$ monochromatic trees \emph{of bounded diameter}. Here we show that the two conjectures are equivalent. As immediate corollaries we obtain new results about Milićević's Conjecture, most notably that it is true for $r=5$. We also obtain several new cases of a generalization of Milićević's Conjecture to non-complete graphs due to DeBiasio-Kamel-McCourt-Sheats.

The $s$-colour size-Ramsey number of a hypergraph $H$ is the minimum number of edges in a hypergraph $G$ whose every $s$-edge-colouring contains a monochromatic copy of $H$. We show that the $s$-colour size-Ramsey number of the $r$-uniform tight path on $n$ vertices is linear in $n$, for every fixed $r$ and $s$, thereby answering a question of Dudek, La Fleur, Mubayi and Rödl (2017).

We study an old question in combinatorial group theory which can be traced back to a conjecture of Graham from 1971. Given a group $Γ$, and some subset $S\subseteq Γ$, is it possible to permute $S$ as $s_1, s_2, \ldots, s_d$ so that the partial products $\prod_{1 \leq i \leq t} s_i$, $t\in [d]$ are all distinct? Most of the progress towards this problem has been in the case when $Γ$ is a cyclic group. We show that for any group $Γ$ and any $S \subseteq Γ$, there is a permutation of $S$ where all but a vanishing proportion of the partial products are distinct, thereby establishing the first asymptotic version of Graham's conjecture under no restrictions on $Γ$ or $S$. To do so, we explore a natural connection between Graham's problem and the following very natural question attributed to Schrijver. Given a $d$-regular graph $G$ properly edge-coloured with $d$ colours, is it always possible to find a rainbow path with $d-1$ edges? We settle this question asymptotically by showing one can find a rainbow path of length $d - o(d)$. While this has immediate applications to Graham's question for example when $Γ= \mathbb{F}_2^k$, our general result above requires a more involved result we obtain for the natural directed analogue of Schrijver's question.

This is a companion paper to the paper "Hyperstability in the Erdos-Sos Conjecture". In that paper the following rough structure theorem was proved for graphs G containing no copy of a bounded degree tree T: from any such G, one can delete o(|G||T|) edges in order to get a subgraph all of whose connected components have a cover of order 3|T|. This theorem creates an incentive for studying graphs whose connected components have covers of order O(|T|) - and this is what will be explored here. It turns out that such graphs are amenable to regularity approaches which have been successful in studying dense T-free graphs. In this paper we will follow such an approach from the paper "On the Erdos-Sos conjecture for trees with bounded degree" by Besomi, Pavez-Signe, and Stein and show how it can be adapted from dense graphs to graphs with a small cover.

A rough structure theorem is proved for graphs $G$ containing no copy of a bounded degree tree $T$: from any such $G$, one can delete $o(|G||T|)$ edges in order to get a subgraph all of whose connected components have a cover of order $3|T|$. This theorem has the ability to turn questions about sparse $T$-free graphs (about which relatively little is known), into questions about dense $T$-free graphs (for which we have powerful techniques like regularity). There are various applications, the most notable being a proof of the Erdős-Sós Conjecture for large, bounded degree trees.

In 1995, Erdős and Gyárfás proved that in every $2$-edge-coloured complete graph on $n$ vertices, there exists a collection of $2\sqrt{n}$ monochromatic paths, all of the same colour, which cover the entire vertex set. They conjectured that it is possible to replace $2\sqrt{n}$ by $\sqrt{n}$. We prove this to be true for all sufficiently large $n$.

We show that the edges of any $d$-regular graph can be almost decomposed into paths of length roughly $d$, giving an approximate solution to a problem of Kotzig from 1957. Along the way, we show that almost all of the vertices of a $d$-regular graph can be partitioned into $n/(d+1)$ paths, asymptotically confirming a conjecture of Magnant and Martin from 2009.

An $n$-vertex graph $G$ is a $C$-expander if $|N(X)|\geq C|X|$ for every $X\subseteq V(G)$ with $|X|< n/2C$ and there is an edge between every two disjoint sets of at least $n/2C$ vertices. We show that there is some constant $C>0$ for which every $C$-expander is Hamiltonian. In particular, this implies the well known conjecture of Krivelevich and Sudakov from 2003 on Hamilton cycles in $(n,d,λ)$-graphs. This completes a long line of research on the Hamiltonicity of sparse graphs, and has many applications, including to the Hamiltonicity of random Cayley graphs.

A typical theme for many well-known decomposition problems is to show that some obvious necessary conditions for decomposing a graph $G$ into copies $H_1, \ldots, H_m$ are also sufficient. One such problem was posed in 1987, by Alavi, Boals, Chartrand, Erdős, and Oellerman. They conjectured that the edges of every graph with $\binom{m+1}2$ edges can be decomposed into subgraphs $H_1, \dots, H_m$ such that each $H_i$ has $i$ edges and is isomorphic to a subgraph of $H_{i+1}$. In this paper we prove this conjecture for sufficiently large $m$.

Let $G$ and $H$ be hypergraphs on $n$ vertices, and suppose $H$ has large enough minimum degree to necessarily contain a copy of $G$ as a subgraph. We give a general method to randomly embed $G$ into $H$ with good "spread". More precisely, for a wide class of $G$, we find a randomised embedding $f\colon G\hookrightarrow H$ with the following property: for every $s$, for any partial embedding $f'$ of $s$ vertices of $G$ into $H$, the probability that $f$ extends $f'$ is at most $O(1/n)^s$. This is a common generalisation of several streams of research surrounding the classical Dirac-type problem. For example, setting $s=n$, we obtain an asymptotically tight lower bound on the number of embeddings of $G$ into $H$. This recovers and extends recent results of Glock, Gould, Joos, Kühn, and Osthus and of Montgomery and Pavez-Signé regarding enumerating Hamilton cycles in Dirac hypergraphs. Moreover, using the recent developments surrounding the Kahn--Kalai conjecture, this result implies that many Dirac-type results hold robustly, meaning $G$ still embeds into $H$ after a random sparsification of its edge set. This allows us to recover a recent result of Kang, Kelly, Kühn, Osthus, and Pfenninger and of Pham, Sah, Sawhney, and Simkin for perfect matchings, and obtain novel results for Hamilton cycles and factors in Dirac hypergraphs. Notably, our randomised embedding algorithm is self-contained and does not require Szemerédi's regularity lemma or iterative absorption.

A common problem in graph colouring seeks to decompose the edge set of a given graph into few similar and simple subgraphs, under certain divisibility conditions. In 1987 Wormald conjectured that the edges of every cubic graph on $4n$ vertices can be partitioned into two isomorphic linear forests. We prove this conjecture for large connected cubic graphs. Our proof uses a wide range of probabilistic tools in conjunction with intricate structural analysis, and introduces a variety of local recolouring techniques.