arXiv++ Combinatorics

An $\ell$-cycle decomposition of a graph $G$ is a set of $\ell$-cycles in $G$ whose edge sets partition the edge set of $G$. The $\ell$-cycle decomposition threshold $δ_{C_\ell}$ is then the least real number such that any $n$-vertex graph $G$ with minimum degree at least $(δ_{C_\ell}+o(1))n$ has an $\ell$-cycle decomposition if and only if $\ell$ divides $|E(G)|$ and each vertex of $G$ has even degree. Nash-Williams' famous conjecture on triangle decompositions states, asymptotically, that $δ_{C_3}=\frac{3}{4}$. A very recent breakthrough result of Delcourt and Postle completely resolved this conjecture, however, Glock, Kühn, and Osthus have posed the problem of determining $δ_{C_\ell}$ for larger odd values of $\ell$ (the behaviour of $δ_{C_\ell}$ for even $\ell$ is different and well understood). A natural generalisation of Nash-Williams' conjecture implies that $δ_{C_\ell}=\frac{\ell}{2\ell-2}$ for all odd $\ell \geq 3$. Here we prove that this conjecture holds for all $\ell \geq 73$.

Let $k\geq 2$. We show that, for a sufficiently small $\varepsilon>0$, any sufficiently large $n$-vertex Hamiltonian graph of minimum degree at least $n^{1-\varepsilon}$ contains a $2$-factor consisting of exactly $k$ cycles. This is the first minimum-degree condition which is polynomially smaller than linear. Our methods yield an analogous result when the host graph is not required to contain a Hamilton cycle, but only a $2$-factor consisting of at most $k$ cycles; this answers a question of Bucić, Jahn, Pokrovskiy and Sudakov.

The renowned theorem of Dirac states that if $G$ is a graph with minimum degree at least $n/2$ then $G$ has a Hamilton cycle. A natural generalisation asks what properties of an edge-colouring of $G$ guarantee the existence of a properly edge-coloured Hamilton cycle in $G$. This concept can be further generalised as follows: an \emph{incompatibility system} for $G$ is a set~$\mathcal{F}$ of `forbidden' pairs of adjacent edges, that is, $\mathcal{F}\subseteq \{\{uv,vw\}\in \binom{E(G)}2\}$. A cycle in $G$ is then \emph{compatible} if no two of its edges form a pair in $\mathcal{F}$. The system $\mathcal{F}$ is called \emph{$μn$-bounded} if for all $v\in V(G)$ and $uv\in E(G)$, there are at most $μn$ pairs $\{uv,vw\}\in \mathcal{F}$. How small must $μ$ be to guarantee the existence of a compatible Hamilton cycle in $G$? Krivelevich, Lee and Sudakov showed that $μ=10^{-16}$ suffices (for $n$ large), while an example of Bollobás and Erdős shows that $μ\leq 1/4$ is necessary. We significantly reduce this gap for large graphs of minimum degree at least $(1/2+\varepsilon)n$, by showing that $μ=1/8$ suffices but $μ\leq 1/6$ is necessary for such graphs. In fact, we give more precise bounds which are functions of $δ(G)/n$.

Let $H$ be a $k$-edge-coloured graph and let $n$ be a positive integer. What is the maximum number of copies of $H$ in a $k$-edge-coloured complete graph on $n$ vertices? This paper studies the case $k=2$, which we call the semi-inducibility problem. This problem is a generalisation of the inducibility problem of Pippenger and Golumbic which is solved only for some small graphs and limited families of graphs. We prove sharp or almost sharp results for alternating walks, for alternating cycles of length divisible by 4, and for 4-cycles of every colour pattern. Liu, Mubayi and Reiher asked whether there is a graph $F$ for which the binomial random graph is an asymptotically extremal graph in the inducibility problem over all graphs of a given edge density. This was recently answered in a strong negative sense by Jain, Michelen and Wei. In contrast, we find a \emph{quantum} graph $Q$ with positive coefficients and an interval of edge densities for which the only extremal graphs are quasirandom.

Fix $k\geq 2$, choose $\frac{\log n}{n^{(k-1)/k}}\leq p\leq 1-Ω(\frac{\log^4 n}{n})$, and consider $G\sim G(n,p)$. For any pair of vertices $v,w\in V(G)$, we give a simple and precise formula for the expected number of steps that a random walk on $G$ starting at $w$ needs to first arrive at $v$. The formula only depends on basic structural properties of $G$. This improves and extends recent results of Ottolini and Steinerberger, as well as Ottolini, who considered this problem for constant as well as for mildly vanishing $p$.

A longstanding conjecture of Seymour states that in every oriented graph there is a vertex whose second outneighbourhood is at least as large as its outneighbourhood. In this short note we show that, for any fixed $p\in[0,1/2)$, a.a.s. every orientation of $G(n,p)$ satisfies Seymour's conjecture (as well as a related conjecture of Sullivan). This improves on a recent result of Botler, Moura and Naia. Moreover, we show that $p=1/2$ is a natural barrier for this problem, in the following sense: for any fixed $p\in(1/2,1)$, Seymour's conjecture is actually equivalent to saying that, with probability bounded away from $0$, every orientation of $G(n,p)$ satisfies Seymour's conjecture. This provides a first reduction of the problem. For a second reduction, we consider minimum degrees and show that, if Seymour's conjecture is false, then there must exist arbitrarily large strongly-connected counterexamples with bounded minimum outdegree. Contrasting this, we show that vertex-minimal counterexamples must have large minimum outdegree.

We prove that in all regular robust expanders $G$ every edge is asymptotically equally likely contained in a uniformly chosen perfect matching $M$. We also show that given any fixed matching or spanning regular graph $N$ in $G$, the random variable $|M\cap E(N)|$ is approximately Poisson distributed. This in particular confirms a conjecture and a question due to Spiro and Surya, and complements results due to Kahn and Kim who proved that in a regular graph every vertex is asymptotically equally likely contained in a uniformly chosen matching. Our proofs rely on the switching method and the fact that simple random walks mix rapidly in robust expanders.

A regular bipartite tournament is an orientation of a complete balanced bipartite graph $K_{2n,2n}$ where every vertex has its in- and outdegree both equal to $n$. In 1981, Jackson conjectured that any regular bipartite tournament can be decomposed into Hamilton cycles. We prove this conjecture for all sufficiently large bipartite tournaments. Along the way, we also prove several further results, including a conjecture of Liebenau and Pehova on Hamilton decompositions of dense bipartite digraphs.

In 1976, Alspach, Mason, and Pullman conjectured that any tournament $T$ of even order can be decomposed into exactly ${\rm ex}(T)$ paths, where ${\rm ex}(T):= \frac{1}{2}\sum_{v\in V(T)}|d_T^+(v)-d_T^-(v)|$. We prove this conjecture for all sufficiently large tournaments. We also prove an asymptotically optimal result for tournaments of odd order.

We make progress on three long standing conjectures from the 1960s about path and cycle decompositions of graphs. Gallai conjectured that any connected graph on $n$ vertices can be decomposed into at most $\left\lceil \frac{n}{2}\right\rceil$ paths, while a conjecture of Hajós states that any Eulerian graph on $n$ vertices can be decomposed into at most $\left\lfloor \frac{n-1}{2}\right\rfloor$ cycles. The Erdős-Gallai conjecture states that any graph on $n$ vertices can be decomposed into $O(n)$ cycles and edges. We show that if $G$ is a sufficiently large graph on $n$ vertices with linear minimum degree, then the following hold. (i) $G$ can be decomposed into at most $\frac{n}{2}+o(n)$ paths. (ii) If $G$ is Eulerian, then it can be decomposed into at most $\frac{n}{2}+o(n)$ cycles. (iii) $G$ can be decomposed into at most $\frac{3 n}{2}+o(n)$ cycles and edges. If in addition $G$ satisfies a weak expansion property, we asymptotically determine the required number of paths/cycles for each such $G$. (iv) $G$ can be decomposed into $\max \left\{\frac{odd(G)}{2},\frac{Δ(G)}{2}\right\}+o(n)$ paths, where $odd(G)$ is the number of odd-degree vertices of $G$. (v) If $G$ is Eulerian, then it can be decomposed into $\frac{Δ(G)}{2}+o(n)$ cycles. All bounds in (i)-(v) are asymptotically best possible.