Tur\'an-type and tiling problems in oriented graphs

TL;DR

This paper extends tiling results in large oriented graphs to more complex structures called $D_{a,b,c}$, establishing near-complete tilings under minimum semi-degree conditions and exploring related Turán-type problems for directed cycles and paths.

Contribution

It generalizes previous tiling theorems to arbitrary $D_{a,b,c}$ structures, providing bounds, sharpness, and stability results, and investigates semi-degree thresholds for powers of directed cycles and paths.

Findings

Every large oriented graph with semi-degree at least (1/2 - o(1))n contains a $D_{a,b,c}$-tiling covering all but few vertices.

The bounds for tilings are essentially sharp, with stability results characterizing extremal cases.

Lower bounds for semi-degree thresholds of powers of directed cycles and paths are established.

Abstract

Given $a,b,c\in\mathbb N$, let $D_{a,b,c}$ be the tournament on $a+b+c$ vertices obtained by replacing the vertices of the directed triangle $C_3$ with transitive tournaments $TT_a$, $TT_b$, and $TT_c$, respectively. Keevash and Sudakov (2009) showed that every sufficiently large oriented graph $G$ on $n$ vertices with $\delta^{0}(G)\geqslant (1/2-o(1))n$ contains a $C_3$-tiling, equivalently a $D_{1,1,1}$-tiling, covering all but at most three vertices. We generalize this result to arbitrary blow-ups $D_{a,b,c}$. Specifically, for any fixed $a,b,c$, every sufficiently large oriented graph $G$ on $n$ vertices with $\delta^{0}(G)\geqslant (1/2-o(1))n$ contains a $D_{a,b,c}$-tiling covering all but at most $2(a+b+c)-3$ vertices. Moreover, this bound is essentially sharp. We also establish a stronger stability result: if $(a+b+c)\mid n$, then either $G$ contains a $D_{a,b,c}$-factor, or $G$ is close to an extremal graph. Our interest in $D_{a,b,c}$ is also motivated by oriented Tur\'an theory: a seminal theorem of Bollob\'as and H\"aggkvist (1990) shows that a tournament $T$ is Tur\'anable (i.e., contained in every sufficiently large regular tournament) if and only if $T\subseteq D_{s,s,s}$ for some $s$. Complementing our tiling results, we also investigate related semi-degree thresholds for powers of directed cycles and paths. In particular, we present two $n$-vertex constructions that give lower bounds, showing that the minimum semi-degree thresholds for $C^2_l$ with $l\not\equiv 0\pmod 6$ and for $P^2_l$ with $l\geqslant 7$ are at least $4n/9$ and $3n/8$, respectively.