arXiv++ Combinatorics

Scott and Seymour conjectured the existence of a function $f \colon \mathbb{N} \to \mathbb{N}$ such that, for every graph $G$ and tournament $T$ on the same vertex set, $χ(G) \geqslant f(k)$ implies that $χ(G[N_T^+(v)]) \geqslant k$ for some vertex $v$. In this note we disprove this conjecture even if $v$ is replaced by a vertex set of size $\mathcal{O}(\log{\lvert V(G)\rvert})$. As a consequence, we answer in the negative a question of Harutyunyan, Le, Thomassé, and Wu concerning the corresponding statement where the graph $G$ is replaced by another tournament, and disprove a related conjecture of Nguyen, Scott, and Seymour. We also show that the setting where chromatic number is replaced by degeneracy exhibits a quite different behaviour.

Colour the edges of the complete graph with vertex set $\{1, 2, \dotsc, n\}$ with an arbitrary number of colours. What is the smallest integer $f(l,k)$ such that if $n > f(l,k)$ then there must exist a monotone monochromatic path of length $l$ or a monotone rainbow path of length $k$? Lefmann, Rödl, and Thomas conjectured in 1992 that $f(l, k) = l^{k - 1}$ and proved this for $l \ge (3 k)^{2 k}$. We prove the conjecture for $l \geq k^3 (\log k)^{1 + o(1)}$ and establish the general upper bound $f(l, k) \leq k (\log k)^{1 + o(1)} \cdot l^{k - 1}$. This reduces the gap between the best lower and upper bounds from exponential to polynomial in $k$. We also generalise some of these results to the tournament setting.

Recently, Draganić, Munhá Correia, Sudakov and Yuster showed that every tournament on $(2+o(1))k^2$ vertices contains a $1$-subdivision of a transitive tournament on $k$ vertices, which is tight up to a constant factor. We prove a counterpart of their result for immersions. Let $f(k)$ be the smallest integer such that any tournament on at least $f(k)$ vertices must contain a $1$-immersion of a transitive tournament on $k$ vertices. We show that $f(k)=O(k)$, which is clearly tight up to a multiplicative factor. If one insists in finding an immersion of a complete directed graph on $k$ vertices then an extra condition on the tournament is necessary. Indeed, we show that every tournament with minimum out-degree at least $Ck$ must contain a $2$-immersion of a complete digraph on $k$ vertices. This is again tight up to the value of $C$ and tight on the order of the paths in the immersion.

A graph is said to be interval colourable if it admits a proper edge-colouring using palette $\mathbb{N}$ in which the set of colours incident to each vertex is an interval. The interval colouring thickness of a graph $G$ is the minimum $k$ such that $G$ can be edge-decomposed into $k$ interval colourable graphs. We show that $θ(n)$, the maximum interval colouring thickness of an $n$-vertex graph, satisfies $θ(n) =Ω(\log(n)/\log\log(n))$ and $θ(n)\leq n^{5/6+o(1)}$, which improves on the trivial lower bound and an upper bound of the first author and Zheng. As a corollary, we answer a question of Asratian, Casselgren, and Petrosyan and disprove a conjecture of Borowiecka-Olszewska, Drgas-Burchardt, Javier-Nol, and Zuazua. We also confirm a conjecture of the first author that any interval colouring of an $n$-vertex planar graph uses at most $3n/2-2$ colours.

Let $V$ be a set of $n$ points on the real line. Suppose that each pairwise distance is known independently with probability $p$. How much of $V$ can be reconstructed up to isometry? We prove that $p = (\log n)/n$ is a sharp threshold for reconstructing all of $V$ which improves a result of Benjamini and Tzalik. This follows from a hitting time result for the random process where the pairwise distances are revealed one-by-one uniformly at random. We also show that $1/n$ is a weak threshold for reconstructing a linear proportion of $V$.

We show that there is a constant $C$ such that for every $\varepsilon>0$ any $2$-coloured $K_n$ with minimum degree at least $n/4+\varepsilon n$ in both colours contains a complete subgraph on $2t$ vertices where one colour class forms a $K_{t,t}$, provided that $n\geq \varepsilon^{-Ct}$. Also, we prove that if $K_n$ is $2$-coloured with minimum degree at least $\varepsilon n$ in both colours then it must contain one of two natural colourings of a complete graph. Both results are tight up to the value of $C$ and they answer two recent questions posed by Kamčev and Müyesser.

We prove that there exists a constant $c > 0$ such that the vertices of every strongly $c \cdot kt$-connected tournament can be partitioned into $t$ parts, each of which induces a strongly $k$-connected tournament. This is clearly tight up to a constant factor, and it confirms a conjecture of Kühn, Osthus and Townsend (2016).

Ramsey theory is a central and active branch of combinatorics. Although Ramsey numbers for graphs have been extensively investigated since Ramsey's work in the 1930s, there is still an exponential gap between the best known lower and upper bounds. For $k$-uniform hypergraphs, the bounds are of tower-type, where the height grows with $k$. Here, we give a multidimensional generalisation of Ramsey's Theorem to Cartesian products of graphs, proving that a doubly exponential upper bound suffices in every dimension. More precisely, we prove that for every positive integers $r,n,d$, in any $r$-colouring of the edges of the Cartesian product $\square^{d} K_N$ of $d$ copies of $K_N$, there is a copy of $\square^{d} K_n$ such that the edges in each direction are monochromatic, provided that $N\geq 2^{2^{C_drn^{d}}}$. As an application of our approach we also obtain improvements on the multidimensional Erdős-Szekeres Theorem proved by Fishburn and Graham $30$ years ago. Their bound was recently improved by Bucić, Sudakov, and Tran, who gave an upper bound that is triply exponential in four or more dimensions. We improve upon their results showing that a doubly expoenential upper bounds holds any number of dimensions.

We prove that the vertices of every $(r + 1)$-uniform hypergraph with maximum degree $Δ$ may be coloured with $c(\fracΔ{d + 1})^{1/r}$ colours such that each vertex is in at most $d$ monochromatic edges. This result, which is best possible up to the value of the constant $c$, generalises the classical result of Erdős and Lovász who proved the $d = 0$ case.

Given graphs $G$ and $H$, we say $G \stackrel{r}{\to} H$ if every $r$-colouring of the edges of $G$ contains a monochromatic copy of $H$. Let $H[t]$ denote the $t$-blowup of $H$. The blowup Ramsey number $B(G \stackrel{r}{\to} H;t)$ is the minimum $n$ such that $G[n] \stackrel{r}{\to} H[t]$. Fox, Luo and Wigderson refined an upper bound of Souza, showing that, given $G$, $H$ and $r$ such that $G \stackrel{r}{\to} H$, there exist constants $a=a(G,H,r)$ and $b=b(H,r)$ such that for all $t \in \mathbb{N}$, $B(G \stackrel{r}{\to} H;t) \leq ab^t$. They conjectured that there exist some graphs $H$ for which the constant $a$ depending on $G$ is necessary. We prove this conjecture by showing that the statement is true in the case of $H$ being $3$-chromatically connected, which in particular includes triangles. On the other hand, perhaps surprisingly, we show that for forests $F$, the function $B(G \stackrel{r}{\to} F;t)$ is independent of $G$. Second, we show that for any $r,t \in \mathbb{N}$, any sufficiently large $r$-edge coloured complete graph on $n$ vertices with $Ω(n^{2-1/t})$ edges in each colour contains a member from a certain finite family $\mathcal{F}^r_t$ of $r$-edge coloured complete graphs. This answers a conjecture of Bowen, Hansberg, Montejano and Müyesser.

We prove that, for every graph $F$ with at least one edge, there is a constant $c_F$ such that there are graphs of arbitrarily large chromatic number and the same clique number as $F$ in which every $F$-free induced subgraph has chromatic number at most $c_F$. This generalises recent theorems of Briański, Davies and Walczak, and Carbonero, Hompe, Moore and Spirkl. Our results imply that for every $r\geq 3$ the class of $K_r$-free graphs has a very strong vertex Ramsey-type property, giving a vast generalisation of a result of Folkman from 1970. We also prove related results for tournaments, hypergraphs and infinite families of graphs, and show an analogous statement for graphs where clique number is replaced by odd girth.

Resolving a problem of Conlon, Fox, and Rödl, we construct a family of hypergraphs with arbitrarily large tower height separation between their $2$-colour and $q$-colour Ramsey numbers. The main lemma underlying this construction is a new variant of the Erdős--Hajnal stepping-up lemma for a generalized Ramsey number $r_k(t;q,p)$, which we define as the smallest integer $n$ such that every $q$-colouring of the $k$-sets on $n$ vertices contains a set of $t$ vertices spanning fewer than $p$ colours. Our results provide the first tower-type lower bounds on these numbers.

We prove that for any $r\in \mathbb{N}$, there exists a constant $C_r$ such that the following is true. Let $\mathcal{F}=\{F_1,F_2,\dots\}$ be an infinite sequence of bipartite graphs such that $|V(F_i)|=i$ and $Δ(F_i)\leq Δ$ hold for all $i$. Then in any $r$-edge coloured complete graph $K_n$, there is a collection of at most $\exp(C_rΔ)$ monochromatic subgraphs, each of which is isomorphic to an element of $\mathcal{F}$, whose vertex sets partition $V(K_n)$. This proves a conjecture of Corsten and Mendonça in a strong form and generalizes results on the multicolour Ramsey numbers of bounded-degree bipartite graphs.

A digraph $G$ \emph{immerses} a digraph $H$ if there is an injection $f : V(H) \to V(G)$ and a collection of pairwise edge-disjoint directed paths $P_{uv}$, for $uv \in E(H)$, such that $P_{uv}$ starts at $u$ and ends at $v$. We prove that every Eulerian digraph with minimum out-degree $t$ immerses a complete digraph on $Ω(t)$ vertices, thus answering a question of DeVos, Mcdonald, Mohar, and Scheide.

We show that for every positive integer $k$, any tournament can be partitioned into at most $2^{ck}$ $k$-th powers of paths. This result is tight up to the exponential constant. Moreover, we prove that for every $\varepsilon>0$ and every integer $k$, any tournament on $n\ge \varepsilon^{-Ck}$ vertices which is $\varepsilon$-far from being transitive contains the $k$-th power of a cycle of length $Ω(\varepsilon n)$; both bounds are tight up to the implied constants.

We study Hamiltonicity and pancyclicity in the graph obtained as the union of a deterministic $n$-vertex graph $H$ with $δ(H)\geqαn$ and a random $d$-regular graph $G$, for $d\in\{1,2\}$. When $G$ is a random $2$-regular graph, we prove that a.a.s. $H\cup G$ is pancyclic for all $α\in(0,1]$, and also extend our result to a range of sublinear degrees. When $G$ is a random $1$-regular graph, we prove that a.a.s. $H\cup G$ is pancyclic for all $α\in(\sqrt{2}-1,1]$, and this result is best possible. Furthermore, we show that this bound on $δ(H)$ is only needed when $H$ is `far' from containing a perfect matching, as otherwise we can show results analogous to those of random $2$-regular graphs. Our proofs provide polynomial-time algorithms to find cycles of any length.

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.

Kostochka and Thomason independently showed that any graph with average degree $Ω(r\sqrt{\log r})$ contains a $K_r$ minor. In particular, any graph with chromatic number $Ω(r\sqrt{\log r})$ contains a $K_r$ minor, a partial result towards Hadwiger's famous conjecture. In this paper, we investigate analogues of these results in the directed setting. There are several ways to define a minor in a digraph. One natural way is as follows. A strong $\overrightarrow{K}_r$ minor is a digraph whose vertex set is partitioned into $r$ parts such that each part induces a strongly-connected subdigraph, and there is at least one edge in each direction between any two distinct parts. We investigate bounds on the dichromatic number and minimum out-degree of a digraph that force the existence of strong $\overrightarrow{K}_r$ minors as subdigraphs. In particular, we show that any tournament with dichromatic number at least $2r$ contains a strong $\overrightarrow{K}_r$ minor, and any tournament with minimum out-degree $Ω(r\sqrt{\log r})$ also contains a strong $\overrightarrow{K}_r$ minor. The latter result is tight up to the implied constant, and may be viewed as a strong-minor analogue to the classical result of Kostochka and Thomason. Lastly, we show that there is no function $f: \mathbb{N} \rightarrow \mathbb{N}$ such that any digraph with minimum out-degree at least $f(r)$ contains a strong $\overrightarrow{K}_r$ minor, but such a function exists when considering dichromatic number.

In this short note we prove that every tournament contains the $k$-th power of a directed path of linear length. This improves upon recent results of Yuster and of Girão. We also give a complete solution for this problem when $k=2$, showing that there is always a square of a directed path of length $\lceil 2n/3 \rceil-1$, which is best possible.

A square of a path on $k$ vertices is a directed path $x_1\ldots x_k$, where $x_i$ is directed to $x_{i+2}$, for every $i\in \{1,\ldots, k-1\}$. Recently, Yuster showed that any tournament on $n$ vertices contains a square of a path of length at least $n^{0.295}$. In this short note, we improve this bound. More precisely, we show that for every $\varepsilon>0$, there exists $c_{\varepsilon}>0$ such that any tournament on $n$ vertices contains a square of a path on at least $c_{\varepsilon}n^{1-\varepsilon}$ vertices.