Hostname: page-component-7c8c6479df-xxrs7 Total loading time: 0 Render date: 2024-03-26T13:08:51.069Z Has data issue: false hasContentIssue false

Dirac-type results for tilings and coverings in ordered graphs

Published online by Cambridge University Press:  21 November 2022

Andrea Freschi
Affiliation:
School of Mathematics, University of Birmingham, United Kingdom; E-mail: axf079@bham.ac.uk
Andrew Treglown
Affiliation:
School of Mathematics, University of Birmingham, United Kingdom; E-mail: a.c.treglown@bham.ac.uk

Abstract

A recent paper of Balogh, Li and Treglown [3] initiated the study of Dirac-type problems for ordered graphs. In this paper, we prove a number of results in this area. In particular, we determine asymptotically the minimum degree threshold for forcing

  1. (i) a perfect H-tiling in an ordered graph, for any fixed ordered graph H of interval chromatic number at least $3$ ;

  2. (ii) an H-tiling in an ordered graph G covering a fixed proportion of the vertices of G (for any fixed ordered graph H);

  3. (iii) an H-cover in an ordered graph (for any fixed ordered graph H).

The first two of these results resolve questions of Balogh, Li and Treglown, whilst (iii) resolves a question of Falgas-Ravry. Note that (i) combined with a result from [3] completely determines the asymptotic minimum degree threshold for forcing a perfect H-tiling. Additionally, we prove a result that, combined with a theorem of Balogh, Li and Treglown, asymptotically determines the minimum degree threshold for forcing an almost perfect H-tiling in an ordered graph (for any fixed ordered graph H). Our work therefore provides ordered graph analogues of the seminal tiling theorems of Kühn and Osthus [Combinatorica 2009] and of Komlós [Combinatorica 2000]. Each of our results exhibits some curious, and perhaps unexpected, behaviour. Our solution to (i) makes use of a novel absorbing argument.

Type
Discrete Mathematics
Creative Commons
Creative Common License - CCCreative Common License - BY
This is an Open Access article, distributed under the terms of the Creative Commons Attribution licence (https://creativecommons.org/licenses/by/4.0/), which permits unrestricted re-use, distribution, and reproduction in any medium, provided the original work is properly cited.
Copyright
© The Author(s), 2022. Published by Cambridge University Press

1 Introduction

In recent years there has been a significant effort to develop both Turán and Ramsey theories in the setting of vertex ordered graphs. A (vertex) ordered graph or labelled graph H on h vertices is a graph whose vertices have been labelled with $[h]:=\{1,\dots ,h\}$ . An ordered graph G with vertex set $[n]$ contains an ordered graph H on $[h]$ if (i) there is an injection $\phi : [h] \rightarrow [n]$ such that $\phi (i) < \phi (j)$ for all $1\leq i < j \leq h$ and (ii) $\phi (i)\phi (j)$ is an edge in G whenever $ij$ is an edge in H.

Turán-type problems concern edge density conditions that force a fixed graph H as a subgraph in a host graph G. Whilst the Erdős–Stone–Simonovits theorem [Reference Erdős and Simonovits8, Reference Erdős and Stone9] determines, up to a quadratic error term, the number of edges in the densest H-free n-vertex graph, there is still active interest in the Turán problem for bipartite H. Indeed, for bipartite H, the error term in the Erdős–Stone–Simonovits theorem is, in fact, the dominant term, so more refined results are sought. Similarly, a result of Pach and Tardos [Reference Pach and Tardos24] determines asymptotically the number of edges an ordered graph requires to force a copy of a fixed ordered graph H with so-called interval chromatic number $\chi _<(H)$ at least $3$ . Therefore, again there is significant interest in the ‘bipartite’ case of this problem (i.e., when $\chi _<(H)=2$ ); see Tardos [Reference Tardos, Lo, Mycroft, Perarnau and Treglown28] for a recent survey on such results.

The study of Ramsey theory for ordered graphs has also gained significant traction. For example, results of Conlon, Fox, Lee and Sudakov [Reference Conlon, Fox, Lee and Sudakov5], and of Balko, Cibulka, Král and Kynčl [Reference Balko, Cibulka, Král and Kynčl2], demonstrate that there are ordered graphs H for which the behaviour of the Ramsey number is vastly different to their underlying unordered graph.

Other than Turán and Ramsey problems, another central branch of extremal graph theory concerns Dirac-type results: that is, minimum degree conditions that force fixed (spanning) structures in graphs. In a recent paper, Balogh, Li and the second author [Reference Balogh, Li and Treglown3] initiated the study of Dirac-type results for ordered graphs. Their main focus was on perfect H-tilings, although they also raised other Dirac-type problems (see [Reference Balogh, Li and Treglown3, Section 8]). In both the ordered and unordered settings, an H-tiling in a graph G is a collection of vertex-disjoint copies of H contained in G. An H-tiling is perfect if it covers all the vertices of G. Perfect H-tilings are also often referred to as H-factors, perfect H-packings or perfect H-matchings. H-tilings can be viewed as generalisations of both the notion of a matching (which corresponds to the case when H is a single edge) and the Turán problem (i.e., a copy of H in G is simply an H-tiling of size one).

Balogh, Li and Treglown [Reference Balogh, Li and Treglown3] raised the following question.

Problem 1.1 [Reference Balogh, Li and Treglown3]

Given any ordered graph H and any $n \in \mathbb N$ divisible by $|H|$ , determine the smallest integer $\delta _{<}(H, n)$ such that every n-vertex ordered graph G with $\delta (G)\geq \delta _{<}(H, n)$ contains a perfect H-tiling.

The analogous problem in the (unordered) graph setting has been studied since the 1960s (see, e.g., [Reference Alon and Yuster1, Reference Corrádi and Hajnal6, Reference Hajnal and Szemerédi13, Reference Komlós, Sárkozÿ and Szemerédi17, Reference Kühn and Osthus20, Reference Kühn and Osthus21]), and 45 years later, a complete solution, up to an additive constant term, was obtained via a theorem of Kühn and Osthus [Reference Kühn and Osthus21]. We will discuss this result further when comparing this problem with Problem 1.1.

In [Reference Balogh, Li and Treglown3, Theorem 1.9], Balogh, Li and Treglown asymptotically resolved Problem 1.1 for H with $\chi _<(H)=2$ . Further, they developed approaches to the absorbing and regularity methods for ordered graphs, including providing general absorbing and almost perfect tiling lemmas. In this paper, we build on their results to asymptotically resolve Problem 1.1 in all remaining cases (i.e., for all H with interval chromatic number at least $3$ ). Our main result shows that Problem 1.1 does exhibit a somewhat different behaviour when $\chi _<(H)\geq 3$ compared to when $\chi _<(H) = 2$ ; we discuss this further in Section 1.3.

In addition to this result, we also resolve the Dirac-type problems for H-covers in ordered graphs (see Section 1.2) and H-tilings covering a fixed proportion x of the vertices of an ordered graph for $x \in (0,1)$ (see Section 1.4).

1.1 A Dirac-type theorem for perfect H-tilings

In this subsection, we state Theorem 1.8, which asymptotically resolves Problem 1.1 when $\chi _<(H)\geq 3$ . This result will depend on several definitions and parameters that we now introduce.

Definition 1.2 (Interval chromatic number)

Given $r \in \mathbb N$ , an interval r-colouring of an ordered graph H is a partition of the vertex set $[h]$ of H into r (possibly empty) intervals so that no two vertices belonging to the same interval are adjacent in H. The interval chromatic number $\chi _{<}(H)$ of an ordered graph H is the smallest $r\in {\mathbb N}$ such that there exists an interval r-colouring of H.

One can think of the interval chromatic number as the natural ordered analogue of the chromatic number of a graph. Moreover, whilst the Erdős–Stone–Simonovits theorem [Reference Erdős and Simonovits8, Reference Erdős and Stone9] asserts that $1-1/(\chi (H)-1)+o(1)$ is the edge density threshold for ensuring a copy of a graph H in G, the Erdős–Stone–Simonovits theorem for ordered graphs due to Pach and Tardos [Reference Pach and Tardos24] asserts the corresponding threshold in the ordered graph setting is $1-1/(\chi _< (H)-1)+o(1)$ .

The next definition is the relevant parameter for studying almost perfect H-tilings in graphs.

Definition 1.3 (Critical chromatic number)

The critical chromatic number $\chi _{cr}(F)$ of an unordered graph F is defined as

$$\begin{align*}\chi_{cr}(F):=(\chi(F) - 1)\frac{|F|}{|F| - \sigma(F)}, \end{align*}$$

where $\sigma (F)$ denotes the size of the smallest possible colour class in any $\chi (F)$ -colouring of F.

Note that $\chi (H)-1<\chi _{cr}(H)\leq \chi (H)$ for all graphs H, and $\chi _{cr}(H)=\chi (H)$ precisely when every $\chi (H)$ -colouring of H has colour classes of equal size.

We informally refer to an H-tiling in an n-vertex (ordered) graph G as an almost perfect H-tiling if it covers all but at most $o(n)$ vertices of G. Komlós [Reference Komlós16] proved that $(1-1/\chi _{cr}(H))n$ is the minimum degree threshold for forcing an almost perfect H-tiling in an n-vertex graph G. In fact, it was later shown [Reference Shokoufandeh and Zhao26] that such graphs G contain H-tilings covering all but a constant number of the vertices in G. In the setting of ordered graphs, a related parameter $\chi ^*_{cr}(H)$ turns out to be the relevant parameter for forcing an almost perfect H-tiling. To introduce this parameter, we need the following definitions.

For two subsets $X, Y$ of $[n]$ , we write $X<Y$ if $x<y$ for all $x\in X$ and $y\in Y$ . Let B be a complete k-partite unordered graph with parts $U_1,\ldots , U_k$ and $\sigma $ be a permutation of the set $[k]$ . An interval labelling of B with respect to $\sigma $ is a bijection $\phi : V(B)\rightarrow [|B|]$ such that $\phi (U_i)<\phi (U_j)$ if $\sigma (i)<\sigma (j)$ : that is,

$$ \begin{align*} \phi(U_{\sigma^{-1}(1)})<\cdots<\phi(U_{\sigma^{-1}(k)}). \end{align*} $$

For brevity, we will usually drop $\phi $ and just write $U_{\sigma ^{-1}(1)}<\cdots <U_{\sigma ^{-1}(k)}.$ Given $t \in \mathbb N$ , write $B(t)$ for the blow-up of B with vertex set $\bigcup _{x\in V(B)}V_x$ , where the $V_x$ s are sets of t independent vertices; so there are all possible edges between $V_x$ and $V_y$ in $B(t)$ if $xy \in E(B)$ . Given an interval labelling $\phi $ of B, let $(B(t), \phi )$ be the ordered graph obtained from $B(t)$ by equipping $V(B(t))$ with a vertex ordering, satisfying $V_x < V_y$ for every $x, y\in V(B)$ with $\phi (x)<\phi (y)$ . We refer to $(B(t), \phi )$ as an ordered blow-up of B.

Definition 1.4 (Bottlegraph)

For an ordered graph H, we say that a complete k-partite unordered graph B is a bottlegraph of H if, for every permutation $\sigma $ of $[k]$ and every interval labelling $\phi $ of B with respect to $\sigma $ , there exists a constant $t=t(B, H, \phi )$ such that the ordered blow-up $(B(t), \phi )$ contains a perfect H-tiling. We say that B is a simple bottlegraph of H if, for any choice of $\sigma $ and $\phi $ , we can take $t=1$ .

Note that in Definition 1.4, we did not impose any restriction on the size of the parts of a bottlegraph. However, as we will see in Proposition 5.1, it suffices to consider bottlegraphs $B'$ , where all parts are of the same size except for perhaps one smaller part. More precisely, given any bottlegraph B of H, there is another bottlegraph $B'$ with this structure such that $\chi _{cr}(B')=\chi _{cr}(B)$ . This bottle-like structure is where the name bottlegraph is derived and was first used by Komlós [Reference Komlós16] in the setting of unordered graphs.

Definition 1.5 (Ordered critical chromatic number)

The ordered critical chromatic number $\chi ^*_{cr}(F)$ of an ordered graph F is defined as

$$ \begin{align*} \chi_{cr}^*(F):=\inf\{\chi_{cr}(B):B\text{ is a bottlegraph of }F\}. \end{align*} $$

We say a bottlegraph B of F is optimal if $\chi _{cr}(B)=\chi _{cr}^*(F)$ .

Notice that $\chi _<(H)-1 \leq \chi _{cr}^*(H)$ for all ordered graphs H as each bottlegraph B of H must have chromatic number at least $\chi _<(H)$ so $\chi _<(H)-1 < \chi _{cr}(B)$ . In fact, Proposition 2.6 in Section 2 yields a stronger lower bound on $\chi _{cr}^*(H)$ . On the other hand, (in contrast to $\chi _{cr}(F)$ for unordered graphs F), we will also see examples of ordered graphs where $\chi _{cr}^*(H)$ is much larger than $\chi _<(H)$ . Note though that $\chi _{cr}^*(H)\leq h$ for any ordered graph H on $[h]$ as $K_{h}$ is a bottlegraph of H. In fact, this upper bound is attained when H is such that $1$ and $2$ are adjacent or $h-1$ and h are adjacent; this is an immediate consequence of Proposition 11.1. To aid the reader’s intuition, in Section 3.3, we give examples of ordered graphs H, where we compute $\chi ^*_{cr}(H)$ . Various bounds on $\chi ^*_{cr}(H)$ are given in Section 11.

The next result, a simple corollary of [Reference Balogh, Li and Treglown3, Theorem 4.3], shows that $\chi ^*_{cr}(H)$ is a relevant parameter for forcing an almost perfect H-tiling in an ordered graph.Footnote 1

Theorem 1.6 (Balogh, Li and Treglown [Reference Balogh, Li and Treglown3])

Let H be an ordered graph. Then for every $\eta>0$ , there exists an integer $n_0=n_0(H,\eta )$ so that every ordered graph G on $n\geq n_0$ vertices with

$$ \begin{align*} \delta(G)\geq\left(1-\frac{1}{\chi^*_{cr}(H)}\right)n \end{align*} $$

contains an H-tiling covering all but at most $\eta n$ vertices.

At first sight, it is not clear if the minimum degree threshold in Theorem 1.6 is best possible. However, Theorem 12.1 in Section 12 shows that Theorem 1.6 is best possible in the sense that one cannot replace the $1-{1}/{\chi ^*_{cr}(H)}$ term in the minimum degree condition with any other fixed constant term $a< 1-{1}/{\chi ^*_{cr}(H)}$ . Thus, Theorem 12.1 and Theorem 1.6 provide an analogue of Komlós’ theorem in the ordered setting.

Unusually, in the proof of Theorem 12.1, for most ordered graphs H, we do not simply produce an explicit extremal example. Indeed, if one has not explicitly computed the value of $\chi ^*_{cr}(H)$ and the ‘reason’ it takes this value, then it seems difficult to produce such an explicit extremal example. Instead, the proof splits into a few cases and uses various tools and results that we introduce in the paper.

At this point, the reader may wonder if the conclusion of Theorem 1.6 can be strengthened to ensure a perfect H-tiling. For some ordered graphs H, this is possible. However, for other ordered graphs, one will require a significantly higher minimum degree condition. The following definition is the critical concept for articulating this dichotomy for H with $\chi _<(H) \geq 3$ .

Definition 1.7 (Local barrier)

Let H be an ordered graph on $[h]$ with $r:=\chi _<(H)\geq 2$ . We say that H has a local barrier if for some fixed $i\ne j\in [r+1]$ , the following condition holds. Given any interval $(r+1)$ -colouring of H with colour classes $V_1<\cdots <V_{r+1}$ such that $V_i=\{v\}$ is a singleton class, there is at least one edge between v and $V_j$ in H.

Note that in this definition, we may have that a colour class $V_k$ is empty. If H is the ordered complete graph on r vertices, then H does not have a local barrier; it is also easy to check that $\chi ^*_{cr}(H)=\chi _<(H)=r$ . Given $r \geq 2,$ let $H'$ be any complete r-partite (unordered) graph with at least $2$ vertices in each colour class. Let H be any ordered graph obtained from $H'$ by assigning an interval labelling to $H'$ ; so $\chi _<(H)=r$ . Then one can check that H has a local barrier with parameters $i=1$ and $j=r+1$ as in Definition 1.7.

We are now able to state our main result, which resolves Problem 1.1 for all ordered graphs H with $\chi _<(H) \geq 3$ .

Theorem 1.8. Let H be an ordered graph with $\chi _<(H)\geq 3$ . Given any $\eta>0$ , there exists an integer $n_0=n_0(H,\eta )$ so that if $n\geq n_0$ and $|H|$ divides n, then

  1. (i) $ \left (1-\frac {1}{\chi ^*_{cr}(H)} \right )n \leq \delta _<(H,n)\leq \left (1-\frac {1}{\chi ^*_{cr}(H)} +\eta \right )n $ if $\chi ^*_{cr}(H) \geq \chi _<(H)$ ;

  2. (ii) $ \left (1-\frac {1}{\chi _<(H)} \right )n< \delta _<(H,n)\leq \left (1-\frac {1}{\chi _<(H)} +\eta \right )n $ if $\chi ^*_{cr}(H) < \chi _<(H)$ and H has a local barrier;

  3. (iii) $ \left (1-\frac {1}{\chi ^*_{cr}(H)} \right )n \leq \delta _<(H,n)\leq \left (1-\frac {1}{\chi ^*_{cr}(H)} +\eta \right )n $ if $\chi ^*_{cr}(H) < \chi _<(H)$ and H has no local barrier.

Therefore Problem 1.1 is now asymptotically resolved. The reader might find it hard to see why the value of $\delta _<(H,n)$ behaves as in Theorem 1.8, and indeed, it took the authors quite some time to discover the correct behaviour of this problem. In Section 1.3, we give further intuition on this result. In Section 3, we give examples of H in each case (i)–(iii) of the theorem. In Section 2, we give the extremal constructions for Theorem 1.8. In particular, in cases (i) and (iii), the extremal examples are ‘bottlegraphs’ – complete multipartite ordered graphs where each part has the same size except at most one smaller part; in Section 11, we explicitly compute the value of $\chi ^*_{cr}(H)$ for a range of H and thus the minimum degree threshold in Theorem 1.8 also. The explanation for why these extremal ‘bottlegraphs’ do not have perfect H-tilings revolves around ‘space barrier’ constraints (i.e., one runs out of space in some subset of vertices in the extremal bottlegraph).Footnote 2 However, the ‘reason’ for obtaining a space barrier can be somewhat involved (and unlike any other space barrier extremal example we have ever seen before); we discuss this in Section 3.1.

The proof of Theorem 1.8 applies an absorbing theorem from [Reference Balogh, Li and Treglown3, Theorem 4.1] and Theorem 1.6 above. The main novelty is to prove an absorbing theorem for ordered graphs H as in Theorem 1.8(iii). Whilst our argument makes use of a lemma of Lo and Markström [Reference Lo and Markström23] and seems rather natural, it is different to any absorbing proof we have previously seen (in particular, we do not use local-global absorbing as in [Reference Balogh, Li and Treglown3]). See Section 9 for an overview of our absorbing strategy.

1.2 A Dirac-type theorem for vertex covers

Given (ordered) graphs H and G, we say that G has an H-cover if every vertex in G lies in a copy of H. Note that the notion of an H-cover is an ‘intermediate’ between seeking a single copy of H and a perfect H-tiling; in particular, a perfect H-tiling in G is itself an H-cover. Given any $n \in \mathbb N$ and any (ordered) graph H, let $\delta _{\text {cov}}(H,n)$ denote the smallest integer k such that every n-vertex (ordered) graph G with $\delta (G)\geq k$ contains an H-cover. As noted in [Reference Kühn, Osthus and Treglown22], an easy application of Szemerédi’s regularity lemma asymptotically determines $\delta _{\text {cov}}(H,n)$ for all graphs H.

Proposition 1.9 [Reference Kühn, Osthus and Treglown22, Proposition 6]

For every graph H and every $\eta>0$ , there exists an integer $n_0=n_0(H,\eta )$ so that if $n \geq n_0$ , then

$$ \begin{align*} \left (1-\frac{1}{\chi(H)-1} \right )n-1 \leq \delta_{\text{cov}}(H,n)\leq \left (1-\frac{1}{\chi(H)-1} +\eta \right )n. \end{align*} $$

Proposition 1.9 implies that, asymptotically, the minimum degree threshold for ensuring an H-cover in a graph G is the same as the minimum degree threshold for ensuring a single copy of H in G. In [Reference Kühn, Osthus and Treglown22, Theorem 5], Kühn, Osthus and Treglown asymptotically determined the Ore-type degree condition that forces an H-cover for any fixed graph H. There have also been several recent papers concerning minimum $\ell $ -degree conditions that force H-covers in k-uniform hypergraphs; see, for example, [Reference Falgas-Ravry, Markström and Zhao11, Reference Falgas-Ravry and Zhao12, Reference Han, Lo and Sanhueza-Matamala14].

Falgas-Ravry [Reference Falgas-Ravry10] raised the question of determining $\delta _{\text {cov}}(H,n)$ for all ordered graphs H. Our next result asymptotically answers this question.

Theorem 1.10. Let H be an ordered graph and $\eta>0$ . Then there exists an integer $n_0=n_0(H,\eta )$ so that if $n \geq n_0$ , then

  1. (i) $ \left (1-\frac {1}{\chi _<(H)-1} \right )n < \delta _{\text {cov}}(H,n)\leq \left (1-\frac {1}{\chi _<(H)-1} +\eta \right )n $ if H has no local barrier;

  2. (ii) $ \left (1-\frac {1}{\chi _<(H)} \right )n <\delta _{\text {cov}}(H,n)\leq \left (1-\frac {1}{\chi _<(H)} +\eta \right )n $ if H has a local barrier.

Theorem 1.10 is a direct consequence of some of the auxiliary results we use in the proof of Theorem 1.8. Note that the behaviour of the threshold in Theorem 1.10 is perhaps unexpected. Indeed, unlike in the unordered setting, Theorem 1.10 and the Erdős–Stone–Simonovits theorem for ordered graphs imply that the asymptotic minimum degree thresholds for forcing a copy of H and an H-cover are different if H has a local barrier.

Furthermore, a key moral of the Erdős–Stone–Simonovits theorem (and Proposition 1.9) is that once a graph G is dense enough (or has large enough minimum degree) to ensure a copy of $K_r$ (or a $K_r$ -cover), then G must contain every fixed graph H (or an H-cover) for every H of chromatic number r. An intuition for this comes from Szemerédi’s regularity lemma. However, the analogous moral is not true for H-covers in ordered graphs. Indeed, if H is an ordered complete graph on r vertices (so $\chi _<(H)=r$ and H has no local barrier), then Theorem 1.10 tells us the minimum degree threshold for forcing an H-cover in an n-vertex ordered graph is $(1-\frac {1}{r-1}+o(1) )n$ whilst the corresponding threshold for any ‘blow-up’ $H'$ of H (so $\chi _<(H')=\chi _<(H)=r$ and H has a local barrier) is significantly higher, namely $(1-\frac {1}{r}+o(1) )n$ . This should hint to the reader that the regularity method behaves differently in the ordered setting; in particular, if H has a local barrier, this provides an obstruction when applying the regularity lemma. More discussion on the regularity method for ordered graphs can be found in [Reference Balogh, Li and Treglown3, Section 3.1].

1.3 Intuition behind the threshold in Theorem 1.8

In this subsection, we build up further intuition behind the threshold in Theorem 1.8. For this, it will be useful to first take a step back and consider perfect H-tilings in unordered graphs. In this setting, the Dirac-type threshold is governed by two factors:

  • $(C1)$ The minimum degree needs to be large enough to force an almost perfect H-tiling.

  • $(C2)$ The minimum degree must be large enough to prevent ‘divisibility’ barriers within the host graph that constrain us from turning an almost perfect H-tiling into a perfect H-tiling.

This is made precise by the following theorem of Kühn and Osthus [Reference Kühn and Osthus21]. (See [Reference Kühn and Osthus21, Section 1.2] for the definition of $\text {hcf}(H)=1$ .)

Theorem 1.11 (Kühn and Osthus [Reference Kühn and Osthus21])

Let $\delta (H, n)$ denote the smallest integer k such that every graph G whose order n is divisible by $|H|$ and with $\delta (G)\geq k$ contains a perfect H-tiling. For every unordered graph H,

$$\begin{align*}\delta(H, n)=\left(1 - \frac{1}{\chi^*(H)}\right)n +O(1), \end{align*}$$

where $\chi ^*(H):=\chi _{cr} (H)$ if $\text {hcf}(H)=1$ and $\chi ^*(H):=\chi (H)$ otherwise.

Recall that every graph H satisfies $\chi _{cr} (H)\le \chi (H)$ . So by Komlós’ aforementioned almost perfect tiling theorem [Reference Komlós16], the minimum degree condition in Theorem 1.11 is enough to ensure that $(C1)$ holds. Meanwhile, those graphs H with $\text {hcf}(H)=1$ are precisely the graphs for which, at the almost perfect tiling threshold, $(C2)$ is satisfied. Furthermore, for graphs H with $\text {hcf}(H)\ne 1$ , $(C2)$ is only guaranteed to be satisfied once the n-vertex host graph has minimum degree around $(1-1/\chi (H))n$ .

We do not state the precise definition of $\text {hcf}(H)=1$ here; however, the following example is instructive. Let H be any connected bipartite graph, and let $n \in \mathbb N $ be divisible by $|H|$ . Consider the n-vertex graph G that consists of two disjoint cliques whose sizes are as equal as possible so that neither is divisible by $|H|$ . Then whilst G contains an almost perfect H-tiling, the divisibility constraint on the clique sizes prevents a perfect H-tiling. Thus all such H are examples of graphs with $\text {hcf}(H) \ne 1$ . In particular, $\delta (G)=n/2-O(1)=(1-1/\chi (H))n-O(1)$ , so G is an extremal example for Theorem 1.11 in this case.

As mentioned earlier, another necessary condition for a Dirac-type threshold for perfect H-tilings is the following:

  • $(C3)$ The minimum degree needs to be large enough to force an H-cover.

Condition $(C3)$ , however, does not factor into the statement of Theorem 1.11 as Proposition 1.9 shows that one can ensure an H-cover ‘earlier’ than an almost perfect H-tiling (recall that $\chi (H)-1< \chi _{cr}(H)$ ).

Interestingly, the opposite is true in the ordered graph setting when H has a local barrier and $\chi _<(H)\geq 3$ is such that $\chi _<(H)> \chi _{cr}^* (H)$ . Indeed, in this case, Theorem 1.8(ii) essentially states that the H-cover condition is the ‘last’ of conditions $(C1)$ $(C3)$ to be satisfied. In particular, Extremal Example 1 in Section 2 shows that for every H satisfying Definition 1.7, there are n-vertex ordered graphs with $\delta (G)> (1-1/\chi _<(H))n-1$ for which a certain vertex does not lie in a copy of H.

In all other cases when $\chi _<(H)\geq 3$ , Theorem 1.8 essentially states that the almost perfect tiling condition is the ‘last’ of conditions $(C1)$ $(C3)$ to be satisfied. Therefore, surprisingly (at least to the authors!), divisibility barriers play no role in Problem 1.1 for H with $\chi _<(H)\geq 3$ . In contrast, Theorem 1.9 in [Reference Balogh, Li and Treglown3] shows that in the case when $\chi _<(H)=2$ , each of $(C1)$ , $(C2)$ and $(C3)$ can be the condition that governs the Dirac-type threshold for perfect H-tiling, depending on the choice of H.

1.4 A Dirac-type theorem for H-tilings

In addition to determining the Dirac-type threshold for almost perfect tilings in unordered graphs, Komlós [Reference Komlós16] provided a best-possible minimum degree condition for forcing an H-tiling covering a certain proportion of the vertices in a graph G.

Definition 1.12 ( $(x,H)$ -tilings)

Let G and H be (ordered) graphs and $x\in [0,1]$ . An $(x,H)$ -tiling in G is an H-tiling covering at least $x|G|$ vertices. So a $(1,H)$ -tiling is simply a perfect H-tiling.

Theorem 1.13 (Komlós [Reference Komlós16])

Let H be a graph and $x\in (0,1)$ . Define

$$ \begin{align*} g(x,H):=\left(1-\frac{1}{\chi(H)-1}\right)(1-x)+\left(1-\frac{1}{\chi_{cr}(H)}\right)x. \end{align*} $$

Given any $\eta>0$ , there exists some $n_0=n_0(x,H,\eta )\in \mathbb {N}$ such that if G is a graph on n vertices where $n\geq n_0$ and $\delta (G)\geq g(x,H)\cdot n$ , then there exists an $(x-\eta ,H)$ -tiling in G.

Note that the minimum degree condition in Theorem 1.13 is the best possible in the sense that given any fixed H and x ∈ (0, 1), one cannot replace g(x, H) with any fixed g′(x, H) < g(x, H) (see [Reference Komlós16, Theorem 7] for a proof of this).

The function $g(x,H)$ is quite well-behaved. Indeed, for fixed H, $g(x,H)$ grows linearly in x. Note that $g(0,H)\cdot n$ and $g(1,H)\cdot n$ are the asymptotic minimum degree thresholds for ensuring an n-vertex graph contains a copy of H and an almost perfect H-tiling, respectively. From this perspective, the function $g(x,H)$ can be viewed as a linear interpolation of these two thresholds.

The question of obtaining an ordered graph analogue of Theorem 1.13 was raised in [Reference Balogh, Li and Treglown3, Question 8.2]. We provide an answer to this problem; for this, we require the following definitions.

Definition 1.14 (x-bottlegraphs)

Let H be an ordered graph and $x\in (0,1]$ . An unordered graph B is an x-bottlegraph of H if it satisfies the following properties:

  1. (i) B is a complete k-partite graph with parts $U_1,U_2,\dots ,U_k$ for some $k\in \mathbb {N}$ .

  2. (ii) There exists some $m\in \mathbb {N}$ such that $|U_1|\leq m$ and $|U_i|=m$ for every $i>1$ .

  3. (iii) Given any permutation $\sigma $ of $[k]$ and any interval labelling of B with respect to $\sigma $ , the resulting ordered graph contains an $(x,H)$ -tiling.

Definition 1.15. Let H be an ordered graph and $x\in (0,1]$ . We define $\chi _{cr}^*(x,H)$ as

$$ \begin{align*} \chi_{cr}^*(x,H):=\inf \{\chi_{cr}(B) \, : \, B \, \text{is an } x\text{-bottlegraph of } H\}. \end{align*} $$

Given any ordered graph H, if B is an x-bottlegraph of H, then $\chi (B) \geq \chi _<(H)$ . This implies that $\chi _{cr}(B)> \chi _<(H)-1$ , so

(1) $$ \begin{align} \chi ^* _{cr}(x,H) \geq \chi _< (H)-1. \end{align} $$

An application of Theorem 1.13 together with a tool from [Reference Balogh, Li and Treglown3, Lemma 6.2] yields the following minimum degree condition for the existence of $(x,H)$ -tilings in ordered graphs.

Theorem 1.16. Let H be an ordered graph and $x\in (0,1)$ , and define

$$ \begin{align*} f(x,H):=\left(1-\frac{1}{\chi_{cr}^*(x,H)}\right). \end{align*} $$

Given any $\eta>0$ , there exists some $n_0=n_0(x,H,\eta )\in \mathbb {N}$ such that if G is an ordered graph on n vertices with $n\geq n_0$ and $\delta (G)\geq (f(x,H)+\eta ) n$ , then G contains an $(x,H)$ -tiling.

The minimum degree condition in Theorem 1.16 is the best possible in the following sense. Let H and $x\in (0,1)$ be fixed. Given any $0<a <1-1/\chi _{cr}^*(x,H)$ and any sufficiently large $n \in \mathbb N$ , consider any n-vertex graph B that satisfies (i) and (ii) of Definition 1.14 for some choice of $k,m \in \mathbb N$ and where

$$ \begin{align*} an < \delta (B) = n-m= \left(1-\frac{1}{\chi_{cr}(B)}\right)n< f(x,H)\cdot n. \end{align*} $$

So $\chi _{cr}(B) <\chi _{cr}^*(x,H)$ . (Note such a graph B exists for any choice of $0<a <1-1/\chi _{cr}^*(x,H)$ .) Then by definition of $\chi _{cr}^*(x,H)$ , there is a permutation $\sigma $ of $[k]$ and an interval labelling $\phi $ of B with respect to $\sigma $ such the resulting ordered graph $(B,\phi )$ does not contain an $(x,H)$ -tiling.

A drawback of Theorem 1.16 is that it seems hard to compute $\chi _{cr}^*(x,H)$ in general. However, in Section 14, we describe the behaviour of the function $f(x,H)$ for some fixed ordered graphs H. In particular, akin to Theorem 1.13, if H has $\chi _<(H)=2$ , then $f(x,H)$ is linear in x. Perhaps surprisingly, though, there are ordered graphs where $f(x,H)$ is only piecewise linear. We also compute $f(x,H)$ for every ordered graph H and every x that is not too big.

1.5 Organisation of the paper

The paper is organised as follows. In Section 2, we give the extremal constructions for Theorems 1.8 and 1.10. In Section 3, we give some examples of ordered graphs H that fall into each of the three cases of Theorem 1.8. In Section 4, we state a new absorbing theorem (Theorem 4.2) and an absorbing theorem from [Reference Balogh, Li and Treglown3] and combine them with Theorem 1.6 to prove Theorem 1.8. The subsequent sections therefore build up tools for the proof of Theorem 4.2: in Section 5, we state a couple of useful properties of bottlegraphs; in Section 6, we introduce Szemerédi’s regularity lemma and related useful results; some tools for absorbing are given in Section 7; Section 8 contains several results that give flexibility in how one can interval colour certain ordered graphs H.

In Section 9, we give a sketch of the proof of Theorem 4.2 before proving it and Theorem 1.10 in Section 10. In Section 11, we give general upper and lower bounds on $\chi ^*_{cr}(H)$ and also compute $\chi ^*_{cr}(H)$ for a few general classes of ordered graphs H.

In Section 12, we prove that the minimum degree condition in Theorem 1.6 is the best possible. The proof of Theorem 1.16 is given in Section 13; in the subsequent section, we describe the behaviour of the function $f(x,H)$ for some choices of H. We conclude the paper with some open problems in Section 15.

1.6 Notation

Given $n\in \mathbb N$ , let $[n]:=\{1, \ldots , n\}$ . A nearly balanced interval partition of $[n]$ is a partition of $[n]$ into intervals $W_1<\dots <W_t$ , where $||W_i|-|W_j||\leq 1$ for every $1\leq i, j \leq t$ . Similarly, a t-partite graph with vertex classes $V_1,\ldots , V_t$ is nearly balanced if $||V_i|-|V_j||\leq 1$ for every $1\leq i, j \leq t$ .

If G is an (ordered) graph, $|G|$ denotes the size of its vertex set, and $e(G)$ denotes the number of edges in G. Given $A\subseteq V (G)$ , the induced subgraph $G[A]$ is the subgraph of G whose vertex set is A and whose edge set consists of all of the edges of G with both endpoints in A. We define $G\setminus A:=G[V(G)\setminus A]$ . For two disjoint subsets $A, B\subseteq V (G)$ , the induced bipartite subgraph $G[A, B]$ is the subgraph of G whose vertex set is $A\cup B$ and whose edge set consists of all of the edges of G with one endpoint in A and the other endpoint in B. We write $e(A,B):=e(G[A,B])$ .

For an (ordered) graph G and a vertex $x \in V(G)$ , we define $N_G(x)$ as the set of neighbours of x in G and $d_G (x):=|N_G(x) |$ . For $X \subseteq V(G)$ , we define $d_G (x,X):=|N_G(x)\cap X |$ . Given (ordered) graphs G and H and $X \subseteq V(G)$ , we say that $G[X]$ spans a copy of H in G if H is a spanning subgraph of $G[X]$ .

Given an ordered graph G, we say that $V_1<\dots <V_r$ is an interval r-colouring of G to mean there is an interval r-colouring of G with colour classes $V_1< \dots <V_r$ . We say that an ordered graph G is complete r-partite if there exists an interval r-colouring $V_1<\cdots <V_r$ such that $xy\in E(G)$ for every $x\in V_i$ and $y\in V_j$ with $i\not =j$ . We refer to the $V_i$ s as the parts of G.

Given an unordered graph G and a positive integer t, let $G(t)$ be the graph obtained from G by replacing every vertex $x\in V(G)$ by a set $V_x$ of t vertices spanning an independent set and joining $u\in V_x$ to $v\in V_y$ precisely when $xy$ is an edge in G; that is, we replace the edges of G by copies of $K_{t,t}$ . We will refer to $G(t)$ as a blown-up copy of G. If $U_i$ is a vertex class in G, then we write $U_i(t)$ for the corresponding vertex class in $G(t)$ . We use analogous notation when considering blown-up copies of complete k-partite ordered graphs. In particular, given a complete k-partite ordered graph B with parts $B_1<\dots < B_k$ , the ordered blow-up $B(t)$ of B consists of parts $B_1(t)<\dots < B_k(t)$ , where $|B_i(t)|=t|B_i|$ for all $i \in [k]$ .

Throughout the paper, we omit all floor and ceiling signs whenever they are not crucial. The constants in the hierarchies used to state our results are chosen from right to left. For example, if we claim that a result holds whenever $0< a\ll b\ll c\le 1$ , then there are nondecreasing functions $f:(0,1]\to (0,1]$ and $g:(0,1]\to (0,1]$ such that the result holds for all $0<a,b,c\le 1$ with $b\le f(c)$ and $a\le g(b)$ . Note that $a \ll b$ implies that we may assume in the proof that, for example, $a < b$ or $a < b^2$ .

2 Extremal constructions

In this section, we provide the extremal examples for Theorems 1.8 and 1.10. First, consider the case when H has a local barrier. We now construct an n-vertex ordered graph that does not contain an H-cover (and thus no perfect H-tiling) and whose minimum degree is more than $(1-1/\chi _<(H))n-1$ , thereby giving the lower bounds in Theorem 1.8(ii) and Theorem 1.10(ii).

Extremal Example 1. Let $n,r\in \mathbb {N}$ and $i,j\in [r+1]$ with $i\not =j$ . Let $F_1(n,r,i,j)$ be an n-vertex ordered graph consisting of vertex classes $U_1<\cdots <U_{r+1}$ that satisfy the following conditions:

  • $U_i=\{u\}$ is a singleton class while the remaining vertex classes are as equally sized as possible, and in particular, $|U_j|=\left \lfloor \frac {n-1}{r}\right \rfloor $ ;

  • $F_1(n,r,i,j) \setminus \{u\}$ is a complete r-partite ordered graph with parts $U_1,\dots , U_{i-1}, U_{i+1}, \dots U_{r+1}$ ;

  • u is adjacent to all other vertices except those in $U_j$ .

Note that

(2) $$ \begin{align} \delta(F_1(n,r,i,j))=n-1-|U_j|=n-1-\left\lfloor\frac{n-1}{r}\right\rfloor>\left(1-\frac{1}{r}\right)n-1. \end{align} $$

Furthermore, we now prove that $F_1(n,r,i,j)$ does not contain an H-cover (or a perfect H-tiling), provided that $\chi _<(H)=r$ and H has a local barrier with respect to parameters $i,j\in [r+1]$ .

Lemma 2.1. Let H be an ordered graph, let $r:=\chi _<(H)$ , and let $n\in \mathbb {N}$ . If H has a local barrier, then there exist $i,j\in \mathbb {N}$ , with $i\not =j$ and a vertex $u\in F_1(n,r,i,j)$ , such that there is no copy of H in $F_1(n,r,i,j)$ covering the vertex u. In particular, $F_1(n,r,i,j)$ does not contain an H-cover or a perfect H-tiling.

Proof. Suppose H has a local barrier with respect to $i\ne j\in [r+1]$ , as defined in Definition 1.7. Let u be the vertex in the singleton class $U_i$ of $F_1(n,r,i,j)$ . Suppose there is a copy of H in $F_1(n,r,i,j)$ covering the vertex u. Then the interval $(r+1)$ -colouring $U_1<\cdots <U_{r+1}$ of $F_1(n,r,i,j)$ induces an interval $(r+1)$ -colouring $V_1<\cdots <V_{r+1}$ of H such that $V_i=\{v\}$ is a singleton class and there is no edge between v and $V_j$ . This contradicts the assumption that H has a local barrier with respect to $i,j$ ; thus, there is no copy of H in $F_1(n,r,i,j)$ covering the vertex u.

We immediately obtain the following corollary of Lemma 2.1 and (2).

Corollary 2.2. Let H be an ordered graph, and let $n\in \mathbb N$ . If H has a local barrier, then

$$ \begin{align*} \delta_{cov}(H,n)>\left(1-\frac{1}{\chi_<(H)}\right)n \end{align*} $$

and, if $|H|$ divides n

$$ \begin{align*} \delta_<(H,n)>\left(1-\frac{1}{\chi_<(H)}\right)n. \end{align*} $$

Next we prove a general lower bound on $\delta _<(H,n)$ , which is asymptotically sharp if the ordered graph H does not have a local barrier. Similarly to before, we construct an n-vertex ordered graph that does not contain a perfect H-tiling and whose minimum degree is at least $(1-1/\chi _{cr}^*(H))n-1$ , thereby giving the lower bound in cases (i) and (iii) of Theorem 1.8.

Extremal Example 2. Let H be an ordered graph and $n\in \mathbb {N}$ . Set $\ell :=\left \lfloor \frac {n}{\chi _{cr}^*(H)}+1\right \rfloor $ . Define $F_2(H,n)$ to be the unordered complete $\lceil n/\ell \rceil $ -partite graph on n vertices such that all classes have size $\ell $ except one class of size at most $\ell $ .

It is easy to check that the minimum degree of $F_2(H,n)$ is

(3) $$ \begin{align} \delta(F_2(H,n))=n-\ell=n-\left\lfloor\frac{n}{\chi_{cr}^*(H)}+1\right\rfloor\geq\left(1-\frac{1}{\chi_{cr}^*(H)}\right)n-1. \end{align} $$

Additionally, there exists a certain ordering of the vertices of $F_2(H,n)$ such that the resulting ordered graph does not contain a perfect H-tiling:

Lemma 2.3. Let H be an ordered graph and $n\in \mathbb {N}$ such that $|H|$ divides n. There exists an interval labelling $\phi $ of $F_2(H,n)$ such that the ordered graph $(F_2(H,n),\phi )$ does not contain a perfect H-tiling.

Proof. The critical chromatic number of $F_2(H,n)$ is

$$ \begin{align*} \chi_{cr}(F_2(H,n))=\frac{n}{\ell}<\frac{n}{n/\chi_{cr}^*(H)}=\chi_{cr}^*(H). \end{align*} $$

It follows that $F_2(H,n)$ is not a bottlegraph of H. Hence, by definition, there exists a permutation $\sigma $ of $[\lceil n/\ell \rceil ]$ and an interval labelling $\phi $ of $F_2(H,n)$ with respect to $\sigma $ such that $(F_2(H,n),\phi )$ does not contain a perfect H-tiling.

Lemma 2.3 and (3) immediately imply the following corollary.

Corollary 2.4. Let H be an ordered graph. Then given any $n \in \mathbb N$ divisible by $|H|$ ,

$$ \begin{align*} \delta_<(H,n)\geq \delta(F_2(H,n))+1 \geq\left(1-\frac{1}{\chi_{cr}^*(H)}\right)n. \end{align*} $$

Next we give a general lower bound for $\delta _{cov}(H,n)$ , which is asymptotically sharp if the ordered graph H does not have a local barrier, thereby giving the lower bound in Theorem 1.10(i).

Extremal Example 3. Let H be an ordered graph and $n\in \mathbb {N}$ . Let $F_3(H,n)$ be the complete $(\chi _<(H)-1)$ -partite ordered graph on n vertices with parts of size as equal as possible.

It is easy to check that the minimum degree of $F_3(H,n)$ is

$$ \begin{align*} \delta(F_3(H,n))= n-\left\lceil\frac{n}{\chi_<(H)-1}\right\rceil>\left(1-\frac{1}{\chi_<(H)-1}\right)n-1. \end{align*} $$

As $\chi _<(F_3(H,n))< \chi _<(H)$ , $F_3(H,n)$ does not contain a copy of H and thus does not contain an H-cover. We therefore obtain the following result.

Lemma 2.5. Let H be an ordered graph and $n \in \mathbb N$ . Then

$$ \begin{align*} \delta_{cov}(H,n)\geq \delta(F_3(H,n))+1>\left(1-\frac{1}{\chi_<(H)-1}\right)n. \end{align*} $$

For n divisible by $\chi _<(H)-1$ , $F_3(H,n)$ also shows that the minimum degree threshold that ensures an almost perfect H-tiling in an n-vertex ordered graph is more than $(1-1/(\chi _<(H)-1))n$ . Thus, combined with Theorem 1.6, this immediately implies that, for all ordered graphs H,

(4) $$ \begin{align} \chi_<(H)-1 < \chi^*_{cr}(H). \end{align} $$

Actually, we close the section by proving an even stronger lower bound on $\chi _{cr}^*(H)$ .

Proposition 2.6 (A lower bound for $\chi _{cr}^*(H)$ )

Let H be an ordered graph on h vertices and $r:=\chi _<(H)$ . Then

$$ \begin{align*} \chi_{cr}^*(H)\geq(r-1)+\frac{r-1}{h-1}. \end{align*} $$

Proof. Let B be an arbitrary bottlegraph of H. It suffices to show that $\chi _{cr}(B)\geq (r-1)+\frac {r-1}{h-1}$ . If $\chi _{cr}(B)\geq r$ , then we are done (since $h\geq r$ ), so for the rest of the proof, we assume that $\chi _{cr}(B)<r$ . In particular, as (4) implies that $\chi _{cr}(B)>r-1$ , this means B has exactly r parts. Let $B_1$ denote the part of B of the smallest size. Pick any interval labelling $\phi $ of B; then there exists some $t\in \mathbb {N}$ such that the ordered blow-up $(B(t),\phi )$ contains a perfect H-tiling $\mathcal {H}$ . Since B has exactly r parts, it follows that every copy of H in $(B(t),\phi )$ intersects all parts of B. Hence,

$$ \begin{align*} |B_1(t)|\geq|\mathcal{H}|=\frac{|B(t)|}{|H|}=t|B|/h\implies|B_1|\geq|B|/h, \end{align*} $$

and so

$$ \begin{align*} \chi_{cr}(B)=(r-1)\frac{|B|}{|B|-|B_1|}\geq(r-1)\frac{|B|}{|B|-|B|/h}=(r-1)+\frac{r-1}{h-1}.\\[-40pt] \end{align*} $$

In Section 3.3, we give a family of ordered graphs H for which the lower bound on $\chi _{cr}^*(H)$ in Proposition 2.6 is tight.

3 Motivating examples

3.1 An example for Theorem 1.8(i)

Recall that Extremal Example 2 yields the lower bound in cases (i) and (iii) of Theorem 1.8. The argument in Lemma 2.3 is rather straightforward. This is because of the definition of $\chi ^*_{cr}(H)$ ; if one takes a complete multipartite graph G with $\chi _{cr}(G)<\chi ^*_{cr}(H)$ , then by definition, there is a vertex labelling of G so that the resulting ordered graph does not contain a perfect H-tiling.

Therefore, if one provides an argument that justifies why a bottlegraph of H is optimal, this equivalently can be translated into an argument that explains why an ordered graph is an extremal example for cases (i) and (iii) of Theorem 1.8. In this way, one can view $\chi ^*_{cr}(H)$ as ‘encoding’ properties of the extremal example.

In Section 11, we will compute $\chi ^*_{cr}(H)$ for various classes of ordered graphs H. Often these arguments will be somewhat involved; thus, in these cases, the reason the extremal example for Theorem 1.8 does not contain a perfect H-tiling is also ‘involved’. That is, in general, the reason extremal examples do not contain perfect H-tilings is not as immediate as Lemma 2.3 might suggest. We illustrate this point through the following example.

Example 3.1 (An example for Theorem 1.8(i))

Let $\ell \geq 2$ , and let H be the complete $3$ -partite ordered graph with parts $H_1<H_2<H_3$ of size $\ell ,1,\ell $ , respectively.

For H as in Example 3.1, we have that $\chi _{cr}^*(H)=(4\ell ^2-1)/\ell ^2>3=\chi _<(H)$ . (In fact, in Proposition 11.5, we compute $\chi _{cr}^*(F)$ for all complete $3$ -partite ordered graphs F.) Thus, for such H, we are in case (i) of Theorem 1.8, so

$$ \begin{align*} \delta_<(H,n)=\left(1-\frac{\ell^2}{4\ell^2-1}+o(1)\right)n. \end{align*} $$

We now describe an extremal example for Theorem 1.8 for such H. Let $n\in \mathbb {N}$ such that $|H|$ divides n and $n\geq 20$ . Let G be the complete $4$ -partite ordered graph on n vertices with parts $G_1<G_2<G_3<G_4$ , where

$$ \begin{align*} |G_1|=|G_2|=|G_3|=\left\lfloor\frac{n\ell^2}{4\ell^2-1}\right\rfloor+1\quad\text{and}\quad|G_4|= n-3\left\lfloor\frac{n\ell^2}{4\ell^2-1}\right\rfloor-3. \end{align*} $$

Note that $G_4$ is the smallest part since $|G_i|\geq n/4$ for $i=1,2,3$ and $|G_4|\leq n/4$ . In particular,

$$ \begin{align*} \delta(G)=n-\left\lfloor\frac{n\ell^2}{4\ell^2-1}\right\rfloor-1\geq n-\frac{n\ell^2}{4\ell^2-1}-1=\left(1-\frac{\ell^2}{4\ell^2-1}\right)n-1.\\[-16pt] \end{align*} $$

Suppose for a contradiction that G contains a perfect H-tiling $\mathcal {H}$ . Let $\mathcal {A}\subseteq \mathcal {H}$ be the set of copies of H in $\mathcal {H}$ that have exactly $\ell $ vertices in $G_1$ and set $\mathcal {B}:=\mathcal {H}\setminus \mathcal {A}$ . This immediately implies

(5) $$ \begin{align} |G_1|\geq \ell|\mathcal{A}|. \\[-16pt]\nonumber\end{align} $$

Note that if $H'\in \mathcal {A}$ , then $H'$ has at most $\ell +1$ vertices in $G_1\cup G_2$ , while if $H'\in \mathcal {B}$ , then $H'$ has at most $\ell $ vertices in $G_1\cup G_2$ . It follows that

(6) $$ \begin{align} |G_1|+|G_2|\leq (\ell+1)|\mathcal{A}|+\ell|\mathcal{B}|.\\[-16pt]\nonumber \end{align} $$

Combining (5) and (6) yields the following:

$$ \begin{align*} |\mathcal{A}|+|\mathcal{B}|\stackrel{(6)}{\geq}&\frac{|G_1|+|G_2|-|\mathcal{A}|}{\ell}\stackrel{(5)}{\geq}\frac{\ell|G_1|+\ell|G_2|-|G_1|}{\ell^2} \\ =&\frac{2\ell-1}{\ell^2}\left(\left\lfloor\frac{n\ell^2}{4\ell^2-1}\right\rfloor+1\right)>\frac{2\ell-1}{\ell^2}\left(\frac{n\ell^2}{4\ell^2-1}\right)=\frac{n}{2\ell+1}.\\[-16pt] \end{align*} $$

The above is a contradiction since

$$ \begin{align*}| \mathcal{A}|+|\mathcal{B}|=|\mathcal{H}|=\frac{|G|}{|H|}=\frac{n}{2\ell+1}.\\[-16pt] \end{align*} $$

Hence, G does not contain a perfect H-tiling.

Note that G is a ‘space barrier’ construction as our argument tells us that $G_1 \cup G_2$ is ‘too big’ to ensure a perfect H-tiling in G; moreover, the reason $G_1 \cup G_2$ is ‘too big’, whilst not difficult, is not obvious at first sight (i.e., we needed to consider how two types of copies of H intersect $G_1\cup G_2$ ).

Space barrier constructions occur in many other settings, too (e.g., the Kühn–Osthus perfect tiling theorem [Reference Kühn and Osthus20]). However, all previous graph space barrier constructions we are aware of have a different flavour to the above space barrier G. Indeed, previously known examples fail to contain the desired substructure due to some very immediate property that means one vertex class is ‘too small’ or ‘too big’.

In Section 11, we compute $\chi ^*_{cr}(H)$ precisely for several classes of ordered graphs. In particular, we give other ordered graphs H that fall into the case (i) of Theorem 1.8, namely all complete $3$ -partite ordered graphs and all complete r-partite ordered graphs whose smallest part is the first or last part (see Propositions 11.3 and 11.5).

3.2 An example for Theorem 1.8(ii)

The next example provides a family of ordered graphs that fall into case (ii) of Theorem 1.8.

Example 3.2 (An example for Theorem 1.8(ii))

Let $r,k\geq 3$ , and let H be the ordered graph with vertex set $V(H)=[(r-1)k+2]$ and edge set $E(H)=\{(1,(r-1)k+2)\}\cup \{((s-1)k+2,sk+2):s\in [r-1]\}$ (see Figure 1). So $\chi _<(H)=r$ .

Figure 1 The ordered graph H as in Example 3.2 for $r=4$ and $k=3$

Let B be the complete r-partite graph with parts $B_1,\dots ,B_r$ , where $|B_i|=k$ for $i\in [r-1]$ and $|B_r|= 2$ . Observe that $\chi _{cr}(B)=(r-1)+2/k$ . It is straightforward to check that for any permutation $\sigma $ of $[r]$ and any interval labelling $\phi $ of B with respect to $\sigma $ , the ordered graph $(B,\phi )$ contains a spanning copy of H; hence B is a simple bottlegraph of H. It follows that

$$ \begin{align*} \chi_{cr}^*(H)\leq\chi_{cr}(B)=(r-1)+\frac{2}{k}<r=\chi_<(H).\\[-16pt] \end{align*} $$

Furthermore, H has a local barrier: for any interval $(r+1)$ -colouring $\{1\}<V_1<\cdots <V_r$ of H, we have that $(r-1)k+2\in V_r$ , and thus there is one edge between $\{1\}$ and $V_r$ .

3.3 An example for Theorem 1.8(iii)

Next we consider a family of ordered graphs that fall into case (iii) of Theorem 1.8.

Example 3.3 (An example for Theorem 1.8(iii))

Let $r,k\geq 2$ , and let H be the ordered graph with vertex set $V(H)=[(r-1)k+1]$ and edge set $E(H)=\{((s-1)k+1,sk+1):s\in [r-1]\}$ . So H is the path $(1)(k+1)(2k+1)\dots ((r-1)k+1)$ and $\chi _<(H)=r$ (see Figure 2).

Figure 2 The ordered graph H as in Example 3.3 for $r=4$ and $k=2$

We will explicitly compute $\chi ^*_{cr}(H)$ . In particular, we prove that $\chi ^*_{cr}(H)<\chi _<(H)$ and that H does not have a local barrier. We first construct a bottlegraph of H. Let B denote the complete r-partite graph with parts $B_1,\dots ,B_r$ , where $|B_i|=k$ for $i\in [r-1]$ and $|B_r|= 1$ . Observe that $\chi _{cr}(B)=(r-1)+1/k$ . It is straightforward to check that for any permutation $\sigma $ of $[r]$ and any interval labelling $\phi $ of B with respect to $\sigma $ , the ordered graph $(B,\phi )$ contains a spanning copy of H. Thus B is a simple bottlegraph of H, so $\chi _{cr}^*(H)\leq \chi _{cr}(B)=(r-1)+1/k$ . Moreover, Proposition 2.6 implies that in fact $\chi _{cr}^*(H)= (r-1)+1/k$ .

Finally, we show that H does not have a local barrier. Let $i\not =j\in [r+1]$ . If $i\not \in \{1,r+1\}$ , there exists an interval $(r+1)$ -colouring $V_1<\cdots <V_{r+1}$ of H such that $V_i=\{x\}$ with $x\not =(s-1)k+1$ for every $s\in [r]$ . Then x is isolated in H, so clearly there is no edge between x and $V_j$ . If $i=1$ , there exists an interval $(r+1)$ -colouring $V_1<\cdots <V_{r+1}$ of H such that $V_i=\{1\}$ and $V_j=\emptyset $ ; so again, there is no edge between $V_i$ and $V_j$ . The case $i=r+1$ is analogous; we take $V_i=\{(r-1)k+1\}$ and $V_j=\emptyset $ .

4 Proof of Theorem 1.8

In this section, we present some intermediate results and explain how they imply Theorem 1.8. Crucial to our approach will be the use of the absorbing method, a technique that was introduced systematically by Rödl, Ruciński and Szemerédi [Reference Rödl, Ruciński and Szemerédi25] but that has roots in earlier work (see, e.g., [Reference Krivelevich19]). Given ordered graphs $G,H$ and a set $W\subseteq V(G)$ , a set $S\subseteq V(G)$ is called an H-absorbing set for W if both $G[S]$ and $G[W\cup S]$ contain perfect H-tilings. In [Reference Balogh, Li and Treglown3, Theorem 4.1], Balogh, Li and the second author provided a minimum degree condition that ensures an ordered graph G contains a set $Abs$ that is an H-absorbing set for every not too large set $W\subseteq V(G)\setminus Abs$ .

Theorem 4.1 (Balogh, Li and Treglown [Reference Balogh, Li and Treglown3])

Let H be an ordered graph on h vertices, and let $\eta>0$ . Then there exists an $n_0\in \mathbb {N}$ and $0<\nu \ll \eta $ so that the following holds. Suppose that G is an ordered graph on $n\geq n_0$ vertices and

$$ \begin{align*} \delta(G)\geq\left(1-\frac{1}{\chi_<(H)}+\eta\right)n. \end{align*} $$

Then $V(G)=[n]$ contains a set $Abs$ so that

  • $|Abs|\leq \nu n$ ;

  • $Abs$ is an H-absorbing set for every $W\subseteq V (G)\setminus Abs$ such that $|W|\in h\mathbb {N}$ and $|W|\leq \nu ^3n$ .

Theorems 1.6 and 4.1 can be combined to yield a minimum degree condition that forces a perfect H-tiling. Indeed, let G and H be ordered graphs, and suppose that

$$ \begin{align*} \delta(G)\geq\left(1-\frac{1}{\max\{\chi_<(H),\chi_{cr}^*(H)\}}+o(1)\right)n. \end{align*} $$

We first invoke Theorem 4.1 to find a set $Abs\subseteq V(G)$ , which is an H-absorbing set for any not too large set $W\subseteq V(G)\setminus Abs$ . Then we apply Theorem 1.6 to $G\setminus Abs$ to find an H-tiling $\mathcal {M}_1$ , which covers all but a small proportion of vertices in $G\setminus Abs$ . Let W denote the set of such vertices in $G\setminus Abs$ . Since W is relatively small, $Abs$ is an H-absorbing set for W, and thus $G[W\cup Abs]$ contains a perfect H-tiling $\mathcal {M}_2$ . Finally, observe that $\mathcal {M}_1\cup \mathcal {M}_2$ is a perfect H-tiling in G.

Thus we have proven that

$$ \begin{align*} \delta_<(H,n)\leq\left(1-\frac{1}{\max\{\chi_<(H),\chi_{cr}^*(H)\}}+o(1)\right)n. \end{align*} $$

In particular, this is asymptotically sharp if $\chi _{cr}^*(H)\geq \chi _<(H)$ (by Corollary 2.4) or if $\chi _{cr}^*(H)<\chi _<(H)$ and H has a local barrier (by Corollary 2.2), therefore proving cases (i) and (ii) of Theorem 1.8. However, if $\chi _{cr}^*(H)<\chi _<(H)$ and H does not have a local barrier, then this minimum degree condition can be substantially lowered. To achieve this, we need a new absorbing result:

Theorem 4.2 (Absorbing theorem for nonlocal barriers)

Let H be an ordered graph on h vertices with $\chi _<(H)\geq 3$ , and let $\eta>0$ . If H does not have a local barrier and $\chi _{cr}^*(H)<\chi _<(H)$ , then there exists an $n_0\in \mathbb {N}$ and $0<\nu \ll \eta $ so that the following holds. Suppose that G is an ordered graph on $n\geq n_0$ vertices and

$$ \begin{align*} \delta(G)\geq\left(1-\frac{1}{\chi_<(H)-1}+\eta\right)n. \end{align*} $$

Then $V(G)=[n]$ contains a set $Abs$ so that

  • $|Abs|\leq \nu n$ ;

  • $Abs$ is an H-absorbing set for every $W\subseteq V(G)\setminus Abs$ such that $|W|\in h\mathbb {N}$ and $|W|\leq \nu ^3n$ .

Note that the statement of Theorem 4.2 is false if one allows $\chi _<(H)=2$ ; indeed, the conclusion of the theorem fails for so-called divisibility barriers H.Footnote 3 However, one can adapt our proof and relax the hypothesis of Theorem 4.2 to $\chi _<(H)\geq 2$ if one additionally assumes H is not a divisibility barrier. We will not do this in this paper, however, as [Reference Balogh, Li and Treglown3, Theorem 1.9] already resolves the perfect H-tiling problem for ordered graphs H with $\chi _<(H)=2$ .

We postpone the proof of Theorem 4.2 to Section 10. With Theorem 4.2 at hand, we can now give the proof of Theorem 1.8.

Proof of Theorem 1.8

First note that the lower bounds in parts (i)–(iii) of the theorem follow immediately from Corollary 2.4 (for (i) and (iii)) and Corollary 2.2 (for (ii)). Thus it remains to prove the upper bounds.

Let H be an ordered graph with $\chi _<(H)\geq 3$ , and let $\eta>0$ . Let $n\in \mathbb {N}$ be sufficiently large and such that $|H|$ divides n. Let G be an ordered graph on n vertices with minimum degree so that

  1. (i) $ \delta (G)\geq \left (1-\frac {1}{\chi ^*_{cr}(H)}+\eta \right )n $ if $\chi ^*_{cr}(H) \geq \chi _<(H)$ ;

  2. (ii) $ \delta (G)\geq \left (1-\frac {1}{\chi _<(H)}+\eta \right )n $ if $\chi ^*_{cr}(H) < \chi _<(H)$ and H has a local barrier;

  3. (iii) $\delta (G)\geq \left (1-\frac {1}{\chi ^*_{cr}(H)}+\eta \right )n $ if $\chi ^*_{cr}(H) < \chi _<(H)$ and H has no local barrier.

Recall that $\chi ^* _{cr}(H)> \chi _<(H)-1$ . Thus, by Theorem 4.1 (for cases (i) and (ii)) and Theorem 4.2 (for case (iii)), there exists some $0<\nu \ll \eta $ and a set $Abs\subseteq V(G)$ such that

  • $|Abs|\leq \nu n$ ;

  • $Abs$ is an H-absorbing set for every $W\subseteq V (G)\setminus Abs$ such that $|W|\in |H|\mathbb {N}$ and $|W|\leq \nu ^3n$ .

Let $G':=G\setminus Abs$ . In all cases, we have that $\delta (G')\geq (1-{1}/{\chi ^*_{cr}(H)} )|G'| .$

Since n was chosen to be sufficiently large, by Theorem 1.6, there exists an H-tiling $\mathcal {M}_1$ in $G'$ covering all but at most $\nu ^3n$ vertices. Let $W\subseteq V(G')$ denote the set of vertices not covered by $\mathcal {M}_1$ . Since $|H|$ divides n, $|V(\mathcal {M}_1)|$ and $|Abs|$ , we have that $|H|$ divides $|W|$ too. Also, $|W|\leq \nu ^3n$ , and hence $G'[W\cup Abs]$ contains a perfect H-tiling $\mathcal {M}_2$ . Finally, observe that $\mathcal {M}_1\cup \mathcal {M}_2$ is a perfect H-tiling of G, as desired.

5 Bottlegraphs

In the following proposition, we show that it suffices to consider bottlegraphs where all parts are of the same size except perhaps one smaller part.

Proposition 5.1. Let H be an ordered graph and B be a bottlegraph of H. There exist a bottlegraph $B'$ of H and an integer $m\in \mathbb {N}$ such that $\chi _{cr}(B')=\chi _{cr}(B)$ and all parts of $B'$ have size m except one part with size at most m.

Proof. Let B be a bottlegraph of H so B is a complete k-partite unordered graph with parts $B_1,\dots ,B_k$ for some $k\in \mathbb {N}$ . Without loss of generality, we may assume that $|B_1|\leq |B_i|$ for every $i>1$ . Let $B'$ be the complete k-partite unordered graph with parts $B^{\prime }_1,\dots ,B^{\prime }_k$ , where

$$ \begin{align*}|B^{\prime}_i|=\begin{cases} (k-1)|B_1| &\text{ if } i=1\\ |B|-|B_1| &\text{ otherwise.} \end{cases} \end{align*} $$

So $|B'|=(k-1)|B|$ . Furthermore, we have

$$ \begin{align*} |B^{\prime}_1|=(k-1)|B_1|=k|B_1|-|B_1|\leq|B|-|B_1|=|B^{\prime}_i| \end{align*} $$

for every $i>1$ . It follows that

$$ \begin{align*} \chi_{cr}(B')=\frac{(k-1)|B'|}{|B'|-|B^{\prime}_1|}=\frac{(k-1)^2|B|}{(k-1)|B|-(k-1)|B_1|}= \frac{(k-1)|B|}{|B|-|B_1|}=\chi_{cr}(B). \end{align*} $$

It remains to show that $B'$ is a bottlegraph of H. Observe that the vertices in $B^{\prime }_1$ can be partitioned into $(k-1)$ sets of size $|B_1|$ , while the vertices in $B^{\prime }_i$ can be partitioned into $(k-1)$ sets of sizes $|B_2|,\dots ,|B_k|$ , respectively, for every $i>1$ . This implies that $B'$ contains a perfect B-tiling consisting of $(k-1)$ copies of B.

Let $\{C_1,\dots ,C_{k-1}\}$ be a perfect B-tiling in $B'$ (i.e., each $C_i$ is a copy of B in $B'$ ). Let $\sigma $ be a permutation of $[k]$ , and let $\phi $ be an interval labelling of $B'$ with respect to $\sigma $ . For every $C_i$ , $\phi $ induces an interval labelling $\phi _i$ of $C_i$ with respect to some permutation $\sigma _i$ of $[k]$ . Since B is a bottlegraph, given any $i\in [k-1]$ , there exists some $t_i\in \mathbb {N}$ such that the ordered blow-up $(C_i(t_i),\phi _i)$ contains a perfect H-tiling. Set $t:=t_1t_2\dots t_{k-1}$ . Then the ordered blow-up $(C_i(t),\phi _i)$ contains a perfect H-tiling $\mathcal {M}_i$ , for each $i\in [k-1]$ .

Finally, $\mathcal {M}_1\cup \cdots \cup \mathcal {M}_{k-1}$ is a perfect H-tiling of the ordered blow-up $(B'(t),\phi )$ . Since $\sigma ,\phi $ were arbitrary, $B'$ is a bottlegraph of H.

Note that the notion of a bottlegraph of H (Definition 1.4) and $1$ -bottlegraph (Definition 1.14) are not quite the same. However, the next result implies that $\chi ^*_{cr}(H)=\chi ^*_{cr}(1,H)$ .

Proposition 5.2. Let H be an ordered graph. Then $\chi ^*_{cr}(H)=\chi ^*_{cr}(1,H)$ .

Proof. Let $\mathcal X:= \{ \chi _{cr}(B) : \ B \text { is a bottlegraph of } H\}$ and $\mathcal X_1:= \{ \chi _{cr}(B) : \ B \text { is a } 1\text {-bottlegraph of } H\}.$ Thus, $\inf \mathcal X= \chi ^*_{cr} (H)$ and $\inf \mathcal X_1= \chi ^*_{cr} (1,H)$ . By definition of a bottlegraph and $1$ -bottlegraph, we have that $\mathcal X_1 \subseteq \mathcal X$ ; so to prove the proposition, it suffices to show that $\mathcal X \subseteq \mathcal X_1$ .

Given any bottlegraph B of H, let $B'$ be the bottlegraph of H obtained by applying Proposition 5.1. So $B'$ satisfies conditions (i) and (ii) in the definition of a $1$ -bottlegraph of H and $\chi _{cr}(B')=\chi _{cr}(B)$ . As $B'$ is a bottlegraph of H, there is some $t\in \mathbb N$ so that $B'(t)$ satisfies condition (iii) of the definition of a $1$ -bottlegraph of H. Then $B'(t)$ is a $1$ -bottlegraph of H with $\chi _{cr}(B'(t))=\chi _{cr}(B')=\chi _{cr}(B)$ . Thus, $\mathcal X \subseteq \mathcal X_1$ , as desired.

6 The regularity lemma

In the proof of Theorem 4.2, we will make use of the regularity method. In this section, we state a multipartite version of Szemerédi’s regularity lemma and some other related tools. First we introduce some basic notation.

The density of an (ordered) bipartite graph with vertex classes A and B is defined to be

$$ \begin{align*} d(A,B):=\frac{e(A,B)}{|A||B|}. \end{align*} $$

Given $\varepsilon>0$ , a graph G and two disjoint sets $A, B\subset V(G)$ , we say that the pair $(A, B)_G$ (or simply $(A, B)$ when the underlying graph is clear) is $\varepsilon $ -regular if for all sets $X \subseteq A$ and $Y \subseteq B$ with $|X|\ge \varepsilon |A|$ and $|Y|\ge \varepsilon |B|$ , we have $|d(A,B)-d(X,Y)|< \varepsilon $ . Given $d\in [0, 1]$ , the pair $(A, B)_G$ is $(\varepsilon ,d)$ -regular if G is $\varepsilon $ -regular and $d(A,B)\geq d$ .

We now state some well-known properties of $\varepsilon $ -regular pairs. The first (see, e.g., [Reference Komlós and Simonovits18, Fact 1.5]) implies that one can delete many vertices from an $(\varepsilon ,d)$ -regular pair and still retain such a regularity property.

Lemma 6.1 (Slicing lemma)

Let $(A,B)_G$ be an $\varepsilon $ -regular pair of density d, and for some $\alpha>\varepsilon $ , let $A'\subseteq A$ , $B'\subseteq B$ with $|A'|\geq \alpha |A|$ and $|B'|\geq \alpha |B|$ . Then $(A', B')_G$ is $(\varepsilon ', d-\varepsilon )$ -regular with $\varepsilon ':=\max \{\varepsilon /\alpha , 2\varepsilon \}$ .

The following theorem is a multipartite version of Szemerédi’s regularity lemma [Reference Szemerédi27] (presented, e.g., as Lemma 5.5 in [Reference Balogh, Li and Treglown3]).

Theorem 6.2 (Multipartite regularity lemma)

Given any integer $t\geq 2$ , any $\varepsilon>0$ and any $\ell _0\in \mathbb {N}$ , there exists $L_0=L_0(\varepsilon , t, \ell _0)\in \mathbb {N}$ such that for every $d\in (0, 1]$ and for every nearly balanced t-partite graph $G=(W_1,\dots , W_t)$ on $n\geq L_0$ vertices, there exists an $\ell \in \mathbb {N}$ , a partition $W^0_i, W^1_i,\dots , W^{\ell } _i$ of $W_i$ for each $i\in [t]$ and a spanning subgraph $G'$ of G such that the following conditions hold:

  1. 1. $\ell _0\leq \ell \leq L_0$ ;

  2. 2. $d_{G'}(x)\geq d_G(x)-(d+\varepsilon )n$ for every $x\in V(G)$ ;

  3. 3. $|W^0_i|\leq \varepsilon n/t$ for every $i\in [t]$ ;

  4. 4. $|W^j_i| = |W^{j'}_{i'}|$ for every $i,i'\in [t]$ and $j,j'\in [\ell ]$ ;

  5. 5. For every $i,i'\in [t]$ and $j,j'\in [\ell ]$ either $(W^j_i, W^{j'}_{i'})_{G'}$ is an $(\varepsilon ,d)$ -regular pair or $G'[W^j_i, W^{j'}_{i'}]$ is empty.

We call the $W^j_i$ clusters, the $W^0_i$ the exceptional sets and the vertices in the $W^0_i$ exceptional vertices. We refer to $G'$ as the pure graph. The reduced graph R of G with parameters $\varepsilon $ , d and $\ell _0$ is the graph whose vertices are the $W^j_i$ (where $i \in [t]$ and $j\in [\ell ])$ and in which $W^j_i W^{j'}_{i'}$ is an edge precisely when $(W^j_i, W^{j'}_{i'})_{G'}$ is $(\varepsilon , d)$ -regular. The following well-known corollary of the regularity lemma shows that the reduced graph almost inherits the minimum degree of the original graph.

Proposition 6.3. Let $0<\varepsilon ,d,k<1$ , and let G be an n-vertex graph with $\delta (G)\geq kn$ . If R is the reduced graph of G obtained by applying Theorem 6.2 with parameters $\varepsilon ,d,\ell _0$ , then $\delta (R)\geq (k-2\varepsilon -d)|R|$ .

A useful tool to embed subgraphs into G using the reduced graph R is the so-called key lemma.

Lemma 6.4 (Key lemma [Reference Komlós and Simonovits18])

Let $0<\varepsilon <d$ and $q,t\in \mathbb {N}$ . Let R be a graph with $V(R)=\{v_1,\dots ,v_k\}$ . We construct a graph G as follows: replace every vertex $v_i\in V(R)$ with a set $V_i$ of q vertices, and replace each edge of R with an $(\varepsilon ,d)$ -regular pair. For each $v_i\in V(R)$ , let $U_i$ denote the set of t vertices in $R(t)$ corresponding to $v_i$ . Let H be a subgraph of $R(t)$ on h vertices with maximum degree $\Delta $ . Set $\delta :=d-\varepsilon $ and $\varepsilon _0:=\delta ^{\Delta }/(2+\Delta )$ . If $\varepsilon \leq \varepsilon _0$ and $t-1\leq \varepsilon _0q$ , then there are at least $(\varepsilon _0q)^h$ labelled copies of H in G so that if $x\in V(H)$ lies in $U_i$ in $R(t)$ , then x is embedded into $V_i$ in G.

As in [Reference Balogh, Li and Treglown3], some of our applications of Lemma 6.4 will take the following form: suppose that within an ordered graph G we have vertex classes $V_1<\ldots <V_k$ so that each pair $(V_i,V_j)_G$ is $(\varepsilon ,d)$ -regular. Then Lemma 6.4 tells us G contains many copies of any fixed size ordered graph H with $\chi _< (H)=k$ , where the ith vertex class of each such copy of H is embedded into $V_i$ .

7 Absorbing tools

In this section, we state some useful results for proving the existence of H-absorbing sets. The first result is the following crucial lemma of Lo and Markström [Reference Lo and Markström23]; we present the ordered version of their result, which appeared as Lemma 7.1 in [Reference Balogh, Li and Treglown3].

Lemma 7.1 (Lo and Markström [Reference Lo and Markström23])

Let $h,s\in \mathbb {N}$ and $\xi>0$ . Suppose that H is an ordered graph on h vertices. Then there exists an $n_0\in \mathbb {N}$ such that the following holds. Suppose that G is an ordered graph on $n\geq n_0$ vertices so that for any $x,y\in V(G)$ , there are at least $\xi n^{sh-1}$ $(sh-1)$ -sets $X\subseteq V(G)$ such that both $G[X\cup \{x\}]$ and $G[X\cup \{y\}]$ contain perfect H-tilings. Then $V(G)$ contains a set M so that

  • $|M|\leq (\xi /2)^hn/4$ ;

  • M is an H-absorbing set for any $W\subseteq V (G)\setminus M$ such that $|W|\in h\mathbb {N}$ and $|W|\leq (\xi /2)^{2h}n/(32s^2h^3)$ .

Informally, we will sometimes refer to a set X satisfying the assumptions of Lemma 7.1 as a chain of size $|X|$ between vertices x and y. The next lemma states that it is in some sense possible to concatenate chains.

Lemma 7.2. Let H be an (ordered) graph on h vertices, and let $\alpha ,\beta ,\gamma>0$ and $s_1,s_2, n\in \mathbb {N}$ , where

$$ \begin{align*} 0<1/n \ll \gamma\ll\alpha,\beta, 1/h, 1/s_1, 1/s_2. \end{align*} $$

Let G be an (ordered) graph on n vertices, $x,y\in V(G)$ and $A\subseteq V(G)\setminus \{x,y\}$ , where $|A|\geq \alpha n$ . Suppose that for every $z\in A$ , there exist at least $\beta n^{s_1h-1} \ (s_1h-1)$ -sets $X\subseteq V(G)$ such that both $G[X\cup \{x\}]$ and $G[X\cup \{z\}]$ contain perfect H-tilings and similarly there exist at least $\beta n^{s_2h-1} \ (s_2h-1)$ -sets $Y\subseteq V(G)$ such that both $G[Y\cup \{y\}]$ and $G[Y\cup \{z\}]$ contain perfect H-tilings. Then there exist at least $\gamma n^{(s_1+s_2)h-1} \ ((s_1+s_2)h-1)$ -sets $Z\subseteq V(G)$ such that both $G[Z\cup \{x\}]$ and $G[Z\cup \{y\}]$ contain perfect H-tilings.

Proof. Let $z\in A$ , and let $X,Y$ be an $(s_1h-1)$ -set and an $(s_2h-1)$ -set, respectively, which satisfy the above properties, with $X,Y$ disjoint so that $y \not \in X$ and $x \not \in Y$ . Then $X\cup \{z\}\cup Y$ is an $((s_1+s_2)h-1)$ -set and both $G[(X\cup \{z\}\cup Y)\cup \{x\}]$ and $G[(X\cup \{z\}\cup Y)\cup \{y\}]$ contain perfect H-tilings. Thus, it is enough to lower-bound the number of such triples $(z,X,Y)$ . There are at least $\alpha n$ choices for z. Given a fixed choice of z, there are at least $\beta n^{s_1h-1}-n^{s_1h-2}\geq \beta n^{s_1h-1}/2$ suitable choices for X. For a fixed X, there are at least $\beta n^{s_2h-1}-s_1hn^{s_2h-2}\geq \beta n^{s_2h-1}/2$ choices for Y. Therefore, in total, there are at least

$$ \begin{align*} \frac{(\alpha n)\cdot(\beta n^{s_1h-1}/2)\cdot(\beta n^{s_2h-1}/2)}{((s_1+s_2)h-1)!}\geq\gamma n^{(s_1+s_2)h-1} \end{align*} $$

choices for Z, where the denominator here is because different choices of the triple $(z,X,Y)$ can yield the same set Z.

8 Flexible colouring

In this section, we prove several auxiliary results, which will be particularly important for the proofs of Theorem 4.2 and Theorem 12.1. We start with the following definition.

Definition 8.1. Let H be an ordered graph, and let $r:=\chi _<(H)$ . We say that H is flexible if for every $i\in [r-1]$ , there exists an interval $(r+1)$ -colouring

$$ \begin{align*} V_1<\cdots<V_i<\{x\}<V_{i+1}<\cdots<V_r \end{align*} $$

of H such that both $V_1<\cdots <V_i\cup \{x\}<V_{i+1}<\cdots <V_r$ and $V_1<\cdots <V_i<V_{i+1}\cup \{x\}<\cdots <V_r$ are interval r-colourings of H.

In the next lemma, we show that given a flexible ordered graph H, there exists a complete $\chi _<(H)$ -partite ordered graph F such that F contains a perfect H-tiling and any complete r-partite ordered graph $F'$ , whose parts have approximately the same sizes as the corresponding parts in F, contains a perfect H-tiling too.

Lemma 8.2. Let H be an ordered graph on h vertices, and let $r:=\chi _<(H)$ . If H is flexible, then the following holds. For every $i\in [r-1]$ , let $V_1^i<\cdots <V_i^i<\{x_i\}<V_{i+1}^i<\cdots <V_r^i$ be an interval $(r+1)$ -colouring of H as described in Definition 8.1. Let F be the complete r-partite ordered graph with parts $F_1<\cdots <F_r$ such that

$$ \begin{align*}|F_k|=\begin{cases} rh+2rh\cdot\sum\limits_{i=1}^{r-1}|V_k^i| \quad\text{for } k\in\{1,r\}; \\ 2rh+2rh\cdot\sum\limits_{i=1}^{r-1}|V_k^i| \quad\text{otherwise.} \end{cases}\end{align*} $$

Thus, $|F|=2r(r-1)h^2$ . Let $s_1,\dots ,s_r\in \mathbb {Z}$ such that $s_1+\cdots +s_r=0$ and $|s_i|\leq h$ for every $i\in [r]$ . Let $F'$ be the complete r-partite ordered graph with parts $F^{\prime }_1<\cdots <F^{\prime }_r$ such that $|F^{\prime }_k|=|F_k|+s_k$ for every $k\in [r]$ . Then both F and $F'$ contain perfect H-tilings.

Proof. First we explicitly construct a perfect H-tiling in F. For every $i\in [r-1]$ , consider $rh$ copies of the interval r-colouring $V_1^i<\cdots <V_i^i\cup \{x_i\}<V_{i+1}^i<\cdots <V_r^i$ of H and $rh$ copies of the interval r-colouring $V_1^i<\cdots <V_i^i<V_{i+1}^i\cup \{x_i\}<\cdots <V_r^i$ of H. For every $k\in [r]$ , we take the union of all the kth colour classes from the interval r-colourings above to obtain r new classes. It is easy to check that the size of the new kth class is exactly the size of $F_k$ , so we have just constructed a perfect H-tiling in F. In particular, as there are $2r(r-1)h$ copies of H in this tiling, $|F|=2r(r-1)h^2$ .

Note that for every pair of consecutive classes $(F_k,F_{k+1})$ , we could independently move $rh$ vertices from $F_k$ to $F_{k+1}$ to yield a new complete r-partite ordered graph that still contains a perfect H-tiling; similarly, we could move $rh$ vertices from $F_{k+1}$ to $F_k$ (these $2rh$ vertices fulfil the role of $x_k$ in their respective interval r-colourings of H). We are going to use this observation to construct a perfect H-tiling in $F'$ .

Set $t_k:=s_1+\cdots +s_k$ for $k\in [r]$ and $t_0:=0$ . For every pair of consecutive classes $(F_k,F_{k+1})$ , if $t_k\geq 0$ , move $t_k$ vertices from $F_{k+1}$ to $F_k$ ; otherwise, move $-t_k$ vertices from $F_k$ to $F_{k+1}$ . This is possible since $|t_k|\leq |s_1|+\cdots +|s_r|\leq rh$ by assumption. Note that the size of the new kth class is $|F_k|+t_k-t_{k-1}=|F_k|+s_k=|F^{\prime }_k|$ , and hence we just constructed a perfect H-tiling in $F'$ .

Observe that the ordered graphs F and $F'$ in Lemma 8.2 have the same number of vertices. In the next corollary, we ease this restriction and allow $F'$ to have a few more vertices than F.

Corollary 8.3. Let H be an ordered graph on h vertices, and let $r:=\chi _<(H)$ . If H is flexible, then the following holds. Let F be the complete r-partite ordered graph with parts $F_1<\cdots <F_r$ as in Lemma 8.2, and let $t\in \mathbb {N}$ . For any $s_1,\dots ,s_r,\ell \in \mathbb {N}\cup \{0\}$ such that $s_1+\cdots +s_r=\ell h\leq th$ and any complete r-partite ordered graph $F'$ with parts $F^{\prime }_1<\cdots <F^{\prime }_r$ of size $|F^{\prime }_k|=t|F_k|+s_k$ for every $k\in [r]$ , both $F(t)$ and $F'$ contain perfect H-tilings.

Proof. By Lemma 8.2, F contains a perfect H-tiling, and thus clearly the ordered blow-up $F(t)$ contains a perfect H-tiling, too.

We prove that $F'$ contains a perfect H-tiling by induction on $\ell $ . If $\ell =0$ , then $F'=F(t)$ , so $F'$ contains a perfect H-tiling.

Assume $\ell>0$ . For every $k\in [r]$ , let $s^{\prime }_k\in \mathbb {N}\cup \{0\}$ such that $s^{\prime }_k\leq s_k$ and $s^{\prime }_1+\cdots +s^{\prime }_r=h$ . Let $Q_1<\cdots <Q_r$ be an interval r-colouring of H. Notice that $V(F')$ can be partitioned into four sets $X,Y,W,Z$ such that

$$ \begin{align*} |X\cap F^{\prime}_k|&=(t-\ell)|F_k|,\quad|Y\cap F^{\prime}_k|=(\ell-1)|F_k|+(s_k-s^{\prime}_k),\\|W\cap F^{\prime}_k|&=|Q_k|,\quad|Z|=|F_k|+s^{\prime}_k-|Q_k|, \end{align*} $$

for every $k\in [r]$ . Observe that

  • If non-empty, then $F'[X]$ is a copy of $F(t-\ell )$ , and thus $F'[X]$ contains a perfect H-tiling.

  • If $\ell =1$ , then $s^{\prime }_k=s_k$ for every $k\in [r]$ , so $F'[Y]$ is the empty graph. Otherwise, $F'[Y]$ contains a perfect H-tiling by the inductive hypothesis since $(s_1-s^{\prime }_1)+\cdots +(s_r-s^{\prime }_r)=(\ell -1)h$ and $s_k-s^{\prime }_k\geq 0$ for every $k\in [r]$ .

  • $F'[W]$ spans a copy of H.

  • $F'[Z]$ contains a perfect H-tiling by Lemma 8.2 since

    $$ \begin{align*} \sum_{k=1}^r (s^{\prime}_k-|Q_k|)=h-h=0 \end{align*} $$
    and $|s^{\prime }_k-|Q_k||\leq h$ for every $k\in [r]$ .

Altogether, this clearly implies $F'$ contains a perfect H-tiling.

Our goal now is to show that if $\chi _{cr}^*(H)<\chi _<(H)$ , then H is flexible. This property is crucial for the proof of Theorem 4.2 and is a corollary of the following lemma.

Lemma 8.4. Let H be an ordered graph with vertex set $[h]$ , and let $r:=\chi _<(H)$ . If H is not flexible, there exist some $i\in [r-1]$ such that the number of vertices lying in the first i intervals of any given interval r-colouring of H is fixed.

Proof. Since H is not flexible, there exist some $i\in [r-1]$ such that there is no interval $(r+1)$ -colouring $V_1<\cdots <V_i<\{x\}<V_{i+1}<\cdots <V_r$ of H such that both $V_1<\cdots <V_i\cup \{x\}<V_{i+1}<\cdots <V_r$ and $V_1<\cdots <V_i<V_{i+1}\cup \{x\}<\cdots <V_r$ are interval r-colourings of H.

Let $U_1<\cdots <U_r$ be an interval r-colouring of H. Let y be the largest vertex in $U_i$ , and let z be the smallest vertex in $U_{i+1}$ ; so $z=y+1$ . Note that y must be adjacent to some vertex in $U_{i+1}$ , as otherwise the interval $(r+1)$ -colouring $U_1<\cdots <U_i\setminus \{y\}<\{y\}<U_{i+1}<\cdots <U_r$ satisfies the flexibility property, a contradiction. Let $y'$ be the smallest vertex in $U_{i+1}$ adjacent to y. Similarly, let $z'$ be the largest vertex in $U_i$ adjacent to z.

Claim 8.5. Given any r-colouring $Q_1<\cdots <Q_r$ of H, $y \in Q_i$ and $z \in Q_{i+1}.$

Fix an arbitrary interval r-colouring $Q_1<\cdots <Q_r$ of H; say that $z'$ lies in the kth interval $Q_k$ . Note that $Q_1<\cdots <Q_k\cap [z']<(U_i\setminus [z'])<U_{i+1}<\cdots <U_r$ is an interval colouring of H. If (i) $k<i-1$ or (ii) $k=i-1$ and $z'=y$ , then $\chi _<(H)<r$ , a contradiction. If $k=i-1$ and $z'\not =y$ , then the interval $(r+1)$ -colouring $Q_1<\cdots <Q_{i-1}\cap [z']<(U_i\setminus [z'])<\{z\}<U_{i+1}\setminus \{z\}<\cdots <U_r$ satisfies the flexibility property, a contradiction to our initial assumption in the proof. Thus $k\geq i$ , which implies that z is contained in the $(i+1)$ th interval $Q_{i+1}$ or above since z and $z'$ are adjacent. Similarly, we can show that y is contained in the ith interval $Q_i$ or below. This implies that, since $y,z$ are consecutive vertices in H, y lies in $Q_i$ and z in $Q_{i+1}$ . This completes the proof of the claim.

By the claim above, and as $z=y+1$ , we conclude that y is the largest vertex in $Q_i$ . Hence, the number of vertices in the first i intervals of any given interval r-colouring of H is exactly y, yielding the required result.

Corollary 8.6. Let H be an ordered graph with vertex set $[h]$ . If $\chi _{cr}^*(H)<\chi _<(H)$ , then H is flexible.

Proof. Let $r:=\chi _<(H)$ . Suppose for a contradiction that H is not flexible. By Lemma 8.4, there exist some $i\in [r-1]$ such that the number of vertices lying in the first i intervals of any given interval r-colouring of H is, say, y for some fixed $y\in \mathbb {N}$ . Consider a bottlegraph B of H with $\chi _{cr}(B)<r$ (which exists by definition of $\chi ^*_{cr}(H)$ and as $\chi ^*_{cr}(H)<r$ ); note that B must consist of precisely r parts. By Proposition 5.1, we may assume that B has parts $B_1,\dots ,B_r$ , where $|B_1|<m$ and $|B_i|=m$ for some $m\in \mathbb {N}$ . Let $\sigma $ be a permutation of $[r]$ and $\phi $ be an interval labelling of B with respect to $\sigma $ . Recall that the ordered graph $(B,\phi )$ has parts $B_{\sigma ^{-1}(1)}<\cdots <B_{\sigma ^{-1}(r)}$ . Then there exists some $t\in \mathbb {N}$ such that the ordered blow-up $(B(t),\phi )$ contains a perfect H-tiling. In particular, this perfect H-tiling consists of $t|B|/h$ copies of H. By assumption, each copy of H has exactly y vertices lying in the first i parts of $(B(t),\phi )$ , which implies that the first i parts contain exactly $yt|B|/h$ vertices; that is, the total number of vertices in these parts is independent of the choice of $\sigma $ . This is clearly a contradiction, as if we pick $\sigma $ such that $\sigma ^{-1}(1)=1$ , then there are fewer than $itm$ vertices in the first i parts of $(B(t),\phi )$ , while if $\sigma ^{-1}(r)=1$ , then there are precisely $itm$ vertices in the first i parts of $(B(t),\phi )$ .

Note that one really does require $\chi ^*_{cr}(H)<\chi _<(H)$ in the statement of Corollary 8.6; consider, for example, when H is a complete balanced r-partite ordered graph with parts of size at least $2$ .

9 Proof sketch of Theorem 4.2

In this section, we briefly present the main ideas behind the proof of Theorem 4.2 before giving a rigorous argument in Section 10.1. Throughout this section, we set $r:=\chi _<(H)\geq 3$ .

Let H be an ordered graph such that $\chi _{cr}^*(H)<\chi _<(H)=r$ and H has no local barrier. Let G be an n-vertex graph with n sufficiently large and minimum degree

$$ \begin{align*}\delta(G)\geq\left(1-\frac{1}{r-1}+o(1)\right)n. \end{align*} $$

Our ultimate goal is to construct many chains between any given pair of vertices $x,y\in V(G)$ ; then Lemma 7.1 will conclude the proof.

To achieve this, we first divide $[n]$ into many nearly balanced intervals, remove all edges in G, which lie completely in some interval, and then apply the multipartite version of the regularity lemma to obtain a reduced graph R. This preconditioning process will make it convenient to work with cliques in the reduced graph: if two clusters W and $W'$ are adjacent in R, then by construction, either $W<W'$ or $W>W'$ .

We then show that given an arbitrary pair of clusters W and $W'$ in R, for almost every pair of vertices $x\in W$ and $y\in W'$ , we can find many chains between x and y. We achieve this gradually through various steps:

  • Given a copy T of $K_r$ in the reduced graph R and an arbitrary cluster W in T, we prove that for almost every pair of vertices $x,y\in W$ , we can find many chains between x and y. This is quite straightforward, and the only property of H we use is that $\chi _<(H)=r$ .

  • Given a copy T of $K_r$ in the reduced graph R and two arbitrary clusters $W,W'$ in T, we prove that for almost every pair of vertices $x\in W$ and $y\in W'$ , we can find many chains between x and y. The ‘flexibility’ guaranteed by the condition $\chi _<(H)<\chi _{cr}^*(H)$ , formally stated in Corollary 8.6, will be the main ingredient here.

  • Finally, we show that given any two arbitrary clusters W and $W'$ , for almost every pair of vertices $x\in W$ and $y\in W'$ , we can find many chains between x and y. Since $r\geq 3$ , this fairly straightforwardly follows from the minimum degree of R and the previous point.

Next, given an arbitrary vertex $x\in V(G)$ , we use the minimum degree condition to find a particular structure $\mathcal {L}$ in G containing x and resembling an extremal construction for graphs that have a local barrier, namely Extremal Example 1; in particular, the vertex classes of Extremal Example 1 are replaced by some of the clusters in R. Assuming H does not have a local barrier, and using Corollary 8.3, we find many chains between x and almost every vertex lying in a certain cluster W in $\mathcal {L}$ .

Analogously, given an arbitrary $y\in V(G)\setminus \{x\}$ , we find many chains between y and almost every vertex lying in a certain cluster $W'$ . By the previous steps, there exist many chains between almost every vertex in W and almost every vertex in $W'$ . By concatenation, this ensures many chains between x and y, so the hypothesis of Lemma 7.1 is satisfied, thereby yielding Theorem 4.2.

10 Proof of Theorem 4.2 and Theorem 1.10

10.1 Proof of Theorem 4.2

Let H be an ordered graph on h vertices such that $\chi _{cr}^*(H)<\chi _<(H)$ , $\chi _<(H)\geq 3$ and H has no local barrier. Set $r:=\chi _<(H)$ .

Given any $\eta>0$ , define additional constants $d,\varepsilon _1,\varepsilon _2,\varepsilon _3\in \mathbb {R}$ and $\ell _0\in \mathbb {N}$ so that

(7) $$ \begin{align} 0<1/\ell_0\ll\varepsilon_1\ll\varepsilon_2\ll\varepsilon_3\ll d\ll\eta, 1/(rh). \end{align} $$

Set $t:=\lceil 4/\eta \rceil $ , and let $L_0=L_0(\varepsilon _1,t,\ell _0)\geq \ell _0$ be as in Theorem 6.2. Additionally, let $\xi _1,\xi _2,\xi _3,\xi _4, \xi _5\in \mathbb {R}$ and $n\in \mathbb {N}$ so that

(8) $$ \begin{align} 0<1/n\ll\xi_5 \ll \xi_4\ll\xi_3\ll\xi_2\ll\xi_1\ll 1/L_0. \end{align} $$

Define $\nu := (\xi _5/2)^h/4$ and $s:=2r(r-1)h+1$ .

Let G be an ordered graph on $n\geq L_0$ vertices with minimum degree

$$ \begin{align*} \delta(G)\geq\left(1-\frac{1}{r-1}+\eta\right)n. \end{align*} $$

Let $W_1<\cdots <W_t$ be a nearly balanced interval partition of $[n]$ . Let $G'$ be the ordered graph obtained by deleting all edges lying in each $W_i$ from G. As $t=\lceil 4/\eta \rceil $ , we have that $|W_i|\leq \lceil \eta n/4 \rceil $ for all $i \in [t]$ , so

(9) $$ \begin{align} \delta(G')\geq\left(1-\frac{1}{r-1}+\frac{\eta}{2}\right)n. \end{align} $$

Apply Theorem 6.2 to $G'$ with parameters $\varepsilon _1,t,\ell _0$ and d to obtain a pure graph $G''$ and a partition $W^0_i,\dots ,W^{\ell }_i$ for every $W_i$ , where $\ell _0\leq \ell \leq L_0$ . All non-exceptional clusters $W^j_i$ have size m, where

(10) $$ \begin{align} m\geq\frac{1}{\ell}\left(\left\lfloor\frac{n}{t}\right\rfloor-\frac{\varepsilon_1 n}{t}\right)\geq\frac{\eta n}{5L_0}. \end{align} $$

Let R be the corresponding reduced graph of $G'$ . By (9), Proposition 6.3 implies that

(11) $$ \begin{align} \delta(R)\geq\left(1-\frac{1}{r-1}+\frac{\eta}{3}\right)|R|. \end{align} $$

Crucially, observe that if $W_i^jW_{i'}^{j'}$ is an edge in R, then, by construction of $G'$ , $i\not =i'$ , so either $W_i^j<W_{i'}^{j'}$ or $W_i^j>W_{i'}^{j'}$ .

First, we prove that given a copy T of $K_r$ in R and an arbitrary cluster W in T, for almost every pair of vertices $x,y\in W$ , there exist many chains between x and y.

Claim 10.1. Let $T_1<\cdots <T_r$ be r clusters that form a copy of $K_r$ in R. Given any $i\in [r]$ , there exists a set $A_i\subseteq T_i$ of size $|A_i|\geq (1-\varepsilon _1 r)|T_i|$ such that the following holds: for every $x\in A_i$ , there exists a set $C_x\subseteq T_i$ of size $|C_x|\geq (1-2\varepsilon _2 r)|T_i|$ such that for every $y\in C_x$ , there are at least $\xi _1 n^{h-1} \ (h-1)$ -sets $X\subseteq V(G)$ so that both $G[X\cup \{x\}]$ and $G[X\cup \{y\}]$ contain a copy of H.

Proof. Fix $i\in [r]$ . For every $k\not =i$ , let

$$ \begin{align*} L_k:=\{v\in T_i:d_{G''}(v,T_k)\leq(d-\varepsilon_1)|T_k|\}. \end{align*} $$

Observe that $d_{G''}(L_k,T_k)\leq d-\varepsilon _1$ for every $k\not =i$ . Suppose $|L_{k_0}|\geq \varepsilon |T_i|$ for some $k_0\not =i$ . Since $(T_i,T_{k_0})_{G''}$ is $(\varepsilon _1,d)$ -regular, then

$$ \begin{align*} |d_{G''}(L_{k_0},T_{k_0})-d_{G''}(T_i,T_{k_0})|<\varepsilon_1 \end{align*} $$

and so $d_{G''}(L_{k_0},T_{k_0})>d-\varepsilon _1$ , a contradiction. Thus $|L_k|<\varepsilon _1|T_i|$ for every $k\not =i$ . In particular,

$$ \begin{align*} |L_1\cup\cdots\cup L_r|<\varepsilon_1 (r-1)|T_i|<\varepsilon_1 r|T_i|. \end{align*} $$

Let $A_i:=T_i\setminus (L_1\cup \cdots \cup L_r)$ . It follows from the previous inequality that

$$ \begin{align*} |A_i|\geq(1-\varepsilon_1 r)|T_i|. \end{align*} $$

Let $x\in A_i$ . Define $T^{\prime }_k:=T_k\cap N_{G''}(x)$ for every $k\not =i$ and $T^{\prime }_i:=T_i\setminus \{x\}$ . By the slicing lemma (Lemma 6.1), the pair $(T^{\prime }_a,T^{\prime }_b)_{G''}$ is $(\varepsilon _2,d/2)$ -regular for every $a\not =b\in [r]$ . For every $k\not =i$ , let

$$ \begin{align*} L^{\prime}_k:=\{v\in T^{\prime}_i:d_{G''}(v,T^{\prime}_k)\leq(d/2-\varepsilon_2)|T^{\prime}_k|\}. \end{align*} $$

By the same argument as before,

$$ \begin{align*} |L^{\prime}_1\cup\cdots\cup L^{\prime}_r|<\varepsilon_2 r|T^{\prime}_i|. \end{align*} $$

Let $C_x:=T^{\prime }_i\setminus (L^{\prime }_1\cup \cdots \cup L^{\prime }_r)$ . The above inequality implies that

$$ \begin{align*} |C_x|\geq(1-\varepsilon_2 r)|T^{\prime}_i|\geq(1-2\varepsilon_2 r)|T_i|. \end{align*} $$

Let $y\in C_x$ . Define $T^{\prime \prime }_k:=T^{\prime }_k\cap N_{G''}(y)=T_k \cap N_{G''}(x) \cap N_{G''}(y)$ for every $k\not =i$ and $T^{\prime \prime }_i:=T^{\prime }_i\setminus \{y\}=T_i \setminus \{x,y\}$ . By the slicing lemma, the pair $(T^{\prime \prime }_a,T^{\prime \prime }_b)_{G''}$ is $(\varepsilon _3,d/3)$ -regular for every $a\not =b\in [r]$ . Furthermore, by construction, x and y are adjacent to all vertices in $T^{\prime \prime }_k$ for every $k\not =i$ .

Let $V_1<\cdots <V_r$ be an interval r-colouring of H. Pick any $v\in V_i$ , and let $H'$ be the complete r-partite ordered graph with parts $V_1<\cdots <V_i\setminus \{v\}<\cdots <V_r$ . Using (7), (8) and (10), the key lemma (Lemma 6.4) implies that there exist at least $\xi _1 n^{h-1}$ vertex sets X in G so that $G[X]$ spans a copy of $H'$ , where $V_k\subseteq T^{\prime \prime }_k$ for every $k\not =i$ and $V_i\setminus \{v\}\subseteq T^{\prime \prime }_i$ . Because x and y are adjacent to all vertices in $T^{\prime \prime }_k$ for every $k\not =i$ , both $G[X\cup \{x\}]$ and $G[X\cup \{y\}]$ are spanned by a copy of H.

We now prove that given a copy T of $K_r$ in the reduced graph R and two arbitrary clusters W and $W'$ in T, for almost every pair of vertices $x\in W$ and $y\in W'$ , there exist many chains between x and y. Recall $s=2r(r-1)h+1$ .

Claim 10.2. Let $T_1<\cdots <T_r$ be r clusters that form a copy of $K_r$ in R. For every $i,j\in [r]$ , there exist sets $A_i\subseteq T_i$ and $A_j\subseteq T_j$ of size $|A_i|\geq (1-\varepsilon _1 r)|T_i|$ and $|A_j|\geq (1-\varepsilon _1 r)|T_j|$ such that for every $x\in A_i$ and $y\in A_j$ , there are at least $\xi _2 n^{sh-1} \ (sh-1)$ -sets $X\subseteq V(G)$ for which both $G[X\cup \{x\}]$ and $G[X\cup \{y\}]$ contain perfect H-tilings.

Proof. Fix $i,j\in [r]$ . As in the proof of Claim 10.1, for every $k\not =i$ , we define

$$ \begin{align*} L_k:=\{v\in T_i:d_{G''}(v,T_k)\leq(d-\varepsilon_1)|T_k|\} \end{align*} $$

and set $A_i:=T_i\setminus (L_1\cup \cdots \cup L_r)$ . In the proof of Claim 10.1, we saw that

$$ \begin{align*}|L_1\cup\cdots\cup L_r|<\varepsilon_1 (r-1)|T_i|<\varepsilon_1 r|T_i| \ \ \text{and thus} \ \ |A_i|\geq(1-\varepsilon_1 r)|T_i|. \end{align*} $$

Let $x\in A_i$ . As in the proof of Claim 10.1, we define $T^{\prime }_k:=T_k\cap N_{G''}(x)$ for every $k\not =i$ and $T^{\prime }_i:=T_i\setminus \{x\}$ . The pair $(T^{\prime }_a,T^{\prime }_b)_{G''}$ is $(\varepsilon _2,d/2)$ -regular for every $a\not =b\in [r]$ .

For every $k\not =j$ , let

$$ \begin{align*}L^{\prime}_k:=\{v\in T^{\prime}_j:d_{G''}(v,T^{\prime}_k)\leq(d/2-\varepsilon_2)|T^{\prime}_k|\}. \end{align*} $$

Note that $L^{\prime }_k$ is not quite the same as the corresponding set given in the proof of Claim 10.1 (it is defined in terms of j not i); however, as in the proof of Claim 10.1, we have that

$$ \begin{align*}|L^{\prime}_1\cup\cdots\cup L^{\prime}_r|<\varepsilon_2 r|T^{\prime}_j|. \end{align*} $$

Let $C:=T^{\prime }_j\setminus (L^{\prime }_1\cup \cdots \cup L^{\prime }_r)$ . The previous inequality implies that

(12) $$ \begin{align} |C|\geq(1-\varepsilon_2 r)|T^{\prime}_j|\geq(1-\varepsilon_2 r)(d-\varepsilon_1)|T_j|\stackrel{(7)}{\geq}\frac{d}{2}|T_j|. \end{align} $$

Let $z\in C$ . Define $T^{\prime \prime }_k:=T^{\prime }_k\cap N_{G''}(z)$ for every $k\not =j$ and $T^{\prime \prime }_j:=T^{\prime }_j\setminus \{z\}$ . By the slicing lemma and (7), the pair $(T^{\prime \prime }_a,T^{\prime \prime }_b)_{G''}$ is $(\varepsilon _3,d/3)$ -regular for every pair $a\not =b\in [r]$ . Furthermore, by construction, x is adjacent to all vertices in $T^{\prime \prime }_k$ for every $k\not =i$ , while z is adjacent to all vertices in $T^{\prime \prime }_k$ for every $k\not =j$ .

Since $\chi _{cr}^*(H)<\chi _<(H)$ , by Corollary 8.6, H is flexible. Let F be the complete r-partite ordered graph with parts $F_1<\cdots <F_r$ as defined in Lemma 8.2. Recall that $|F|=2r(r-1)h^2=(s-1)h$ . Pick any $v\in F_i$ , and let $F^*$ be the ordered graph obtained by removing the vertex v from F. In particular, $F^*$ is a complete r-partite ordered graph with parts $F_1<\cdots <F_i\setminus \{v\}<\cdots <F_r$ . By (7), (8) and (10), the key lemma (Lemma 6.4) implies that there exist at least $\xi _1 n^{|F|-1}$ vertex sets Y in G so that $G[Y]$ spans a copy of $F^*$ , where $F_k\subseteq T^{\prime \prime }_k$ for every $k\not =i$ and $F_i\setminus \{v\}\subseteq T^{\prime \prime }_i$ .

Given any such set Y, since x is adjacent to all vertices in $T^{\prime \prime }_k$ (for all $k\not =i$ ), then $G[Y\cup \{x\}]$ is spanned by a copy of F and thus contains a perfect H-tiling. Similarly, since z is adjacent to all vertices in $T^{\prime \prime }_k$ (for all $k\not =j$ ), then $G[Y\cup \{z\}]$ is spanned by a complete r-partite ordered graph $F'$ on $|F|$ vertices, where each part of $F'$ differs in size by at most one compared to the corresponding part in F. Thus, Lemma 8.2 implies $G[Y\cup \{z\}]$ contains a perfect H-tiling.

Let $A_j\subseteq T_j$ be as in the statement of Claim 10.1; so $|A_j|\geq (1-\varepsilon _1 r)|T_j|$ . Let $y\in A_j$ . By Claim 10.1, there exists a set $C_y\subseteq T_j$ of size

(13) $$ \begin{align} |C_y|\geq(1-2\varepsilon_2 r)|T_j| \end{align} $$

such that for any $z\in C_y$ , there exist at least $\xi _1 n^{h-1} \ (h-1)$ -sets $Z\subseteq V(G)$ so that both $G[Z\cup \{y\}]$ and $G[Z\cup \{z\}]$ contain spanning copies of H.

In summary, given any $x \in A_i$ and $y \in A_j$ , we have shown that for every $z\in C\cap C_y$ , there exist at least $\xi _1 n^{|F|-1} \ (|F|-1)$ -sets Y such that both $G[Y\cup \{x\}]$ and $G[Y\cup \{z\}]$ contain perfect H-tilings and similarly there exist at least $\xi _1 n^{h-1} \ (h-1)$ -sets Z such that both $G[Z\cup \{y\}]$ and $G[Z\cup \{z\}]$ contain perfect H-tilings. Furthermore, as $C,C_y\subseteq T_j$ , note that

$$ \begin{align*} |C\cap C_y|=|C|+|C_y|-|C\cup C_y|\geq|C|+|C_y|-|T_j|\stackrel{(7),(12),(13) }{\geq}\varepsilon_1|T_j|=\varepsilon_1 m\stackrel{(10)}{\geq}\frac{\varepsilon_1\eta n}{5L_0}. \end{align*} $$

Applying Lemma 7.2 with $C \cap C_y, \varepsilon _1\eta /({5L_0}),\xi _1, \xi _2$ playing the roles of $A, \alpha , \beta , \gamma $ , we conclude that there exist at least $\xi _2 n^{|F|+h-1}=\xi _2 n^{sh-1} \ (sh-1)$ -sets $X\subseteq V(G)$ such that both $G[X\cup \{x\}]$ and $G[X\cup \{y\}]$ contain perfect H-tilings, as desired.

In the next claim, we show that given any arbitrary pair of clusters W and $W'$ in the reduced graph R, for almost every pair of vertices $x\in W$ and $y\in W'$ , there exist many chains between x and y. The assumption $r\geq 3$ is crucial here.

Claim 10.3. For every pair of clusters W and $W'$ in R, there exist sets $A\subseteq W$ and $A'\subseteq W'$ of size $|A|\geq (1-\varepsilon _1 r)|W|$ and $|A'|\geq (1-\varepsilon _1 r)|W'|$ satisfying the following: for every pair of vertices $x\in A$ and $y\in A'$ , there are at least $\xi _3 n^{2sh-1} \ (2sh-1)$ -sets $X\subseteq V(G)$ such that both $G[X\cup \{x\}]$ and $G[X\cup \{y\}]$ contain perfect H-tilings.

Proof. Recall the reduced graph R has minimum degree

$$ \begin{align*} \delta(R)\geq\left(1-\frac{1}{r-1}+\frac{\eta}{3}\right)|R|. \end{align*} $$

Using the above minimum degree condition, given any two adjacent clusters in R, one can greedily construct a copy of $K_r$ in R containing them both.

Since $r\geq 3$ , $\delta (R)>|R|/2$ , so the clusters W and $W'$ have a common neighbour U in R. Let K and $K'$ be two copies of $K_r$ in R containing $W,U$ and $W',U$ , respectively.

Apply Claim 10.2 with K, W, U playing the roles of $K_r$ , $T_i$ and $T_j$ to obtain sets $A\subseteq W$ and $D\subseteq U$ with $|A|\geq (1-\varepsilon _1 r)|W|$ and $|D|\geq (1-\varepsilon _1 r)|U|$ . Similarly, apply Claim 10.2 with $K'$ , $W'$ , U playing the roles of $K_r$ , $T_i$ and $T_j$ to obtain sets $A'\subseteq W'$ and $D'\subseteq U$ with $|A'|\geq (1-\varepsilon _1 r)|W|$ and $|D'|\geq (1-\varepsilon _1 r)|U|$ .

By Claim 10.2, for any $x\in A$ , $y\in A'$ and $z\in D\cap D'$ , there exist at least $\xi _2 n^{sh-1} \ (sh-1)$ -sets $Y\subseteq V(G)$ such that both $G[Y\cup \{x\}]$ and $G[Y\cup \{z\}]$ contain perfect H-tilings and $\xi _2 n^{sh-1} \ (sh-1)$ -sets $Z\subseteq V(G)$ such that both $G[Z\cup \{y\}]$ and $G[Z\cup \{z\}]$ contain perfect H-tilings.

Furthermore, since $D,D'\subseteq U$ ,

$$ \begin{align*} |D\cap D'|\geq|D|+|D'|-|U|\geq(1-2\varepsilon_1 r)|U|=(1-2\varepsilon_1 r)m\stackrel{(10)}{\geq}\frac{\eta n}{6L_0}. \end{align*} $$

Applying Lemma 7.2 with $D \cap D', \eta /({6L_0}), \xi _2, \xi _3$ playing the roles of $A, \alpha , \beta , \gamma $ , we conclude that there exist at least $\xi _3 n^{2sh-1} \ (2sh-1)$ -sets $X\subseteq V(G)$ such that both $G[X\cup \{x\}]$ and $G[X\cup \{y\}]$ contain perfect H-tilings, as desired.

In the next claim, we use the minimum degree condition of the reduced graph R to find a structure $\mathcal {L}$ containing an arbitrary vertex x and resembling the extremal construction for an ordered graph that has a local barrier. Furthermore, we prove that there exist many chains between x and almost every vertex in some cluster in $\mathcal {L}$ .

Claim 10.4. Let $x\in V(G)$ . There exists some cluster $W\in V(R)$ and a set $A\subseteq W$ of size $|A|\geq (1-\varepsilon _2 r)|W|$ satisfying the following: for every $y\in A$ , there exist at least $\xi _1 n^{sh-1} \ (sh-1)$ -sets $X\subseteq V(G)$ such that both $G[X\cup \{x\}]$ and $G[X\cup \{y\}]$ contain perfect H-tilings.

Proof. Let $x\in V(G)$ , and define

$$ \begin{align*} N^*(x):=\{W^i_j\in V(R):d_{G'}(x,W^i_j)\geq\eta|W^i_j|/100\}.\\[-16pt] \end{align*} $$

Recall that every nonexceptional cluster W has size m. Hence, if $W\in N^*(x)$ , then there are at most m neighbours of x in W, while if $W\not \in N^*(x)$ , then there are at most $\eta m/100$ neighbours of x in W. Finally, there are at most $\varepsilon _1 n$ vertices lying in exceptional clusters. Therefore,

$$ \begin{align*} \left(1-\frac{1}{r-1}+\frac{\eta}{2}\right)n \stackrel{(9)}{\leq} d_{G'}(x)\leq m\cdot|N^*(x)|+\eta n/100+\varepsilon_1 n,\\[-16pt] \end{align*} $$

and thus

(14) $$ \begin{align} \left(1-\frac{1}{r-1}+\frac{\eta}{3}\right)|R|\leq |N^*(x)|.\\[-16pt]\nonumber \end{align} $$

Using (11) and (14), we can greedily find r clusters $T_1,\dots ,T_r$ in R such that

  • the $T_k$ s span a copy of $K_r$ in R;

  • $T_k\in N^*(x)$ for every $k\in [r-1]$ ;

  • if $x\in W_{k_0}$ with $k_0\in [t]$ , then $T_k\not \subseteq W_{k_0}$ for all $k\in [r]$ .

By the properties above, we may relabel indices so that there is an $i \in [r+1]$ and $j \in [r]$ for which

$$ \begin{align*}T_1<\cdots<T_{i-1}<x<T_i<\cdots<T_r\\[-16pt]\end{align*} $$

and $T_k\in N^*(x)$ for every $k\not =j$ .

Define $T^{\prime }_k:=T_k\cap N_{G'}(x)$ for $k\not =j$ and $T^{\prime }_j:=T_j$ . By construction, $|T^{\prime }_k|\geq \eta m/100$ for every $k\in [r]$ . Thus, by the slicing lemma (Lemma 6.1), $(T^{\prime }_a,T^{\prime }_b)_{G''}$ is $(\varepsilon _2,d/2)$ -regular for every $a\not =b\in [r]$ .

We will show that the cluster $W:=T_j$ is as desired for the claim. For every $k\not =j$ , let

$$ \begin{align*}L_k:=\{v\in T^{\prime}_j:d_{G''}(v,T^{\prime}_k)\leq(d/2-\varepsilon_2)|T^{\prime}_k|\}.\\[-16pt]\end{align*} $$

It is easy to show that $|L_k|<\varepsilon _2|T^{\prime }_j|$ . Let $A:=T^{\prime }_j\setminus (L_1\cup \cdots \cup L_r)$ , then

$$ \begin{align*}|A|\geq(1-\varepsilon_2 r)|T^{\prime}_j|=(1-\varepsilon_2 r)|T_j|.\\[-16pt]\end{align*} $$

Let $y\in A$ . Define $T^{\prime \prime }_k:=T^{\prime }_k\cap N_{G''}(y)$ for every $k\not =j$ and $T^{\prime \prime }_j=T^{\prime }_j\setminus \{y\}$ . By the slicing lemma, $(T^{\prime \prime }_a,T^{\prime \prime }_b)_{G''}$ is $(\varepsilon _3,d/3)$ -regular for every $a\not =b\in [r]$ . Furthermore, x and y are adjacent to all vertices in $T^{\prime \prime }_k$ for every $k\not =j$ (see Figure 3).

Figure 3 In this picture, we take $r=3$ , $T_1<T_2<x<T_3$ and $j=1$ . Note that $(T_1\setminus \{y\},T^{\prime \prime }_2)$ , $(T_1\setminus \{y\},T^{\prime \prime }_3)$ and $(T^{\prime \prime }_2,T^{\prime }_3)$ are regular pairs, while x and y are adjacent to all vertices in $T^{\prime \prime }_2$ and $T^{\prime \prime }_3$

Since H has no local barrier, there exists an interval $(r+1)$ -colouring

$$ \begin{align*} V_1<\cdots<V_{i-1}<\{v\}<V_i<\cdots<V_r\\[-17pt] \end{align*} $$

of H such that there is no edge between v and $V_j$ . Furthermore, as $\chi _{cr}^*(H)<\chi _<(H)$ , H is flexible by Corollary 8.6. Let F be the complete r-partite ordered graph with parts $F_1<\cdots <F_r$ as defined in Lemma 8.2, and let $F'$ be the complete r-partite ordered graph with parts $F^{\prime }_1<\cdots <F^{\prime }_r$ , where

$$ \begin{align*}|F^{\prime}_k|=\begin{cases} |F_k|+|V_k|+1 &\text{if } k=j,\\ |F_k|+|V_k| &\text{otherwise.} \end{cases}\\[-17pt]\end{align*} $$

Note that

$$ \begin{align*} 1+\sum_{k=1}^r |V_k|=1+(h-1)=h,\\[-17pt] \end{align*} $$

and thus both F and $F'$ contain perfect H-tilings by Corollary 8.3.

Pick any $u\in F^{\prime }_j$ . Note that $F'\setminus \{u\}$ is the complete r-partite ordered graph such that the kth part has size $|F_k|+|V_k|$ for every $k\in [r]$ and $|F'\setminus \{u\}|=|F|+h-1=sh-1$ . By the key lemma (Lemma 6.4), there exist at least $\xi _1 n^{sh-1} \ (sh-1)$ -sets $X\subseteq V(G)$ such that $G[X]$ spans a copy of $F'\setminus \{u\}$ with $F^{\prime }_k\subseteq T^{\prime \prime }_k$ for every $k\not =j$ and $F^{\prime }_j\setminus \{u\}\subseteq T^{\prime \prime }_j$ . It remains to show that both $G[X\cup \{x\}]$ and $G[X\cup \{y\}]$ contain perfect H-tilings.

First we consider $G[X\cup \{x\}]$ . Since $G[X]$ spans a copy of $F'\setminus \{u\}$ with $F^{\prime }_k\subseteq T^{\prime \prime }_k$ for every $k\not =j$ and $F^{\prime }_j\setminus \{u\}\subseteq T^{\prime \prime }_j$ , X can be partitioned into two sets $Y,Z$ such that

$$ \begin{align*} |Y\cap T^{\prime\prime}_k|=|V_k|\ \ \text{and} \ \ |Z\cap T^{\prime\prime}_k|=|F_k| \end{align*} $$

for every $k\in [r]$ . Note that $G[Z]$ spans a copy of F; thus $G[Z]$ contains a perfect H-tiling. On the other hand, $G[Y]$ spans a copy of $H\setminus \{v\}$ . Recall that x is adjacent to all vertices in $T^{\prime \prime }_k$ for every $k\not =j$ and $T^{\prime \prime }_{i-1}<x<T^{\prime \prime }_i$ . Thus $G[Y\cup \{x\}]$ spans a copy of H in G, where x plays the role of v. It follows that $G[X\cup \{x\}]$ contains a perfect H-tiling.

Next we consider $G[X\cup \{y\}]$ . Since $y\in T_j$ and y is adjacent to all vertices in $T^{\prime \prime }_k$ for $k\not =j$ , then $G[X\cup \{y\}]$ spans a copy of $F'$ , so $G[X\cup \{y\}]$ contains a perfect H-tiling.

Remark 10.5. Note that Claim 10.4 holds even if we relax the hypothesis of Theorem 4.2 to allow $\chi _<(H)\geq 2$ ; that is, we did not use the condition that $r \geq 3$ anywhere in the proof of this claim. This fact will be useful in the proof of Theorem 10.7 in the next subsection.

Our final claim states that given arbitrary vertices $x,y\in V(G)$ , there exist many chains of bounded size between x and y.

Claim 10.6. Let $x,y\in V(G)$ . There exist at least $\xi _5 n^{4sh-1} \ (4sh-1)$ -sets $X\subseteq V(G)$ such that both $G[X\cup \{x\}]$ and $G[X\cup \{y\}]$ contain perfect H-tilings.

Proof. By Claim 10.4, there exist clusters $W,W'\in V(R)$ and sets $A\subseteq W$ , $A'\subseteq W'$ of size $|A|\geq (1-\varepsilon _2 r)|W|$ and $|A'|\geq (1-\varepsilon _2 r)|W'|$ such that for every $z\in A$ and $z'\in A'$ , there exist at least $\xi _1 n^{sh-1} \ (sh-1)$ -sets $Y\subseteq V(G)$ such that both $G[Y\cup \{x\}]$ and $G[Y\cup \{z\}]$ contain perfect H-tilings and at least $\xi _1 n^{sh-1} \ (sh-1)$ -sets $Y'\subseteq V(G)$ such that both $G[Y'\cup \{y\}]$ and $G[Y'\cup \{z'\}]$ contain perfect H-tilings.

Furthermore, by Claim 10.3, there exist sets $D\subseteq W$ , $D'\subseteq W'$ of size $|D|\geq (1-\varepsilon _1 r)|W|$ and $|D'|\geq (1-\varepsilon _1 r)|W'|$ such that for every $z\in D$ and $z'\in D'$ , there exist at least $\xi _3 n^{2sh-1} \ (2sh-1)$ -sets $Z\subseteq V(G)$ such that both $G[Z\cup \{z\}]$ and $G[Z\cup \{z'\}]$ contain perfect H-tilings. Note that

$$ \begin{align*}|A\cap D|\geq(1-2\varepsilon_2 r)|W|=(1-2\varepsilon_2 r)m\stackrel{(10)}{\geq}\frac{\eta n}{6L_0}, \end{align*} $$
$$ \begin{align*} |A'\cap D'|\geq(1-2\varepsilon_2 r)|W'|=(1-2\varepsilon_2 r)m\stackrel{(10)}{\geq}\frac{\eta n}{6L_0}. \end{align*} $$

Apply Lemma 7.2 to y and any $z\in A\cap D$ with $A'\cap D', \eta /({6L_0}), \xi _3, \xi _4$ playing the roles of $A, \alpha , \beta , \gamma $ ; we conclude that there are at least ${\xi _4} n^{3sh-1} \ (3sh-1)$ -sets $X'\subseteq V(G)$ such that both $G[X'\cup \{z\}]$ and $G[X'\cup \{y\}]$ contain perfect H-tilings.

Next apply Lemma 7.2 to x and y, with $A\cap D, \eta /({6L_0}), \xi _4, \xi _5$ playing the roles of $A, \alpha , \beta , \gamma $ ; this yields at least $\xi _5 n^{4sh-1} \ (4sh-1)$ -sets $X\subseteq V(G)$ such that both $G[X\cup \{x\}]$ and $G[X\cup \{y\}]$ contain perfect H-tilings, as desired.

Observe that by Claim 10.6, the hypothesis of Theorem 7.1 is satisfied with $4s$ and $\xi _5$ playing the roles of s and $\xi $ . Thus, $V(G)$ contains a set $Abs$ so that

  • $|Abs|\leq (\xi _5/2)^hn/4$ ;

  • $Abs$ is an H-absorbing set for any $W\subseteq V (G)\setminus Abs$ such that $|W|\in h\mathbb {N}$ and $|W|\leq (\xi _5/2)^{2h}n/(512s^2h^3)$ .

Recall that $\nu = (\xi _5/2)^h/4$ . Therefore, we have that $|Abs|\leq \nu n$ , and by (7) and (8), we have that $\nu ^3 <(\xi _5/2)^{2h}/(512s^2h^3) $ ; so $Abs$ is as desired.

10.2 Proof of Theorem 1.10

By arguing as in Claim 10.4, we obtain the following result.

Theorem 10.7. Let H be an ordered graph that does not have a local barrier, and let $\eta>0$ . There exists an $ n_0\in \mathbb N$ so that the following holds. If G is an ordered graph on $n\geq n_0$ vertices with

$$ \begin{align*} \delta(G)\geq\left(1-\frac{1}{\chi_<(H)-1}+\eta\right)n, \end{align*} $$

then for any vertex $x\in V(G)$ , there exists a copy of H in G covering the vertex x.

Proof. Let $r:=\chi _<(H)$ . Given such an ordered graph G, define constants as in (7) and (8). As in the proof of Theorem 4.2, apply the regularity lemma and then argue as in the proof of Claim 10.4 to obtain the following: given any $x\in V(G)$ , there are disjoint $T^{\prime }_1,\dots ,T^{\prime }_r\subseteq V(G)$ , where $|T^{\prime }_k|\geq \eta ^2 n/(500L_0)$ and $i \in [r+1]$ , $j \in [r]$ such that

$$ \begin{align*} T^{\prime}_1<\cdots<T^{\prime}_{i-1}<x<T^{\prime}_i<\cdots<T^{\prime}_r; \end{align*} $$

$(T^{\prime }_a,T^{\prime }_b)$ is $(\varepsilon _2,d/2)$ -regular for every $a\not =b\in [r]$ ; x is adjacent to all vertices in $T^{\prime }_k$ for any $k\not =j$ .

As H does not have a local barrier, there exists an interval $(r+1)$ -colouring

$$ \begin{align*} V_1<\cdots<V_{i-1}<\{v\}<V_i<\cdots<V_r \end{align*} $$

of H such that there is no edge between v and $V_j$ . By the key lemma, there exists some set $X\subseteq V(G)$ such that $G[X]$ spans a copy of $H\setminus \{v\}$ with $V_k\subseteq T^{\prime }_k$ for every $k\in [r]$ . Since x is adjacent to all vertices in $T^{\prime }_k$ for every $k\not =j$ , $G[X\cup \{x\}]$ spans a copy of H in G, as desired.

We are now ready to prove Theorem 1.10 using Theorem 4.1 and Theorem 10.7.

Proof of Theorem 1.10

Note that the lower bounds stated in Theorem 1.10 follow immediately from Corollary 2.2 and Lemma 2.5. It remains to prove the upper bounds.

Let H be an ordered graph and $\eta>0$ . Let G be an ordered graph on n vertices with n sufficiently large and minimum degree:

  1. (i) $ \delta (G)\geq \left (1-\frac {1}{\chi _<(H)}+\eta \right )n $ if H has a local barrier;

  2. (ii) $ \delta (G)\geq \left (1-\frac {1}{\chi _<(H)-1}+\eta \right )n $ if H does not have a local barrier.

In case (ii), we obtain an H-cover by Theorem 10.7. In case (i), consider any $x\in V(G)$ . Let $y\in V(G)\setminus \{x\}$ . By Theorem 4.1, there exists a set $X\subseteq V(G)$ such that both $G[X\cup \{x\}]$ and $G[X\cup \{y\}]$ contain perfect H-tilings. In particular, there exists a copy of H in G covering x. Thus, G has an H-cover, as desired.

11 Properties of $\chi ^*_{cr}(H)$

In this section, we provide various bounds on the parameter $\chi _{cr}^*(H)$ . We start by showing some natural upper and lower bounds.

Proposition 11.1. Let H be an ordered graph on h vertices, and let $r:=\chi _<(H)$ . Let $\mathcal {C}$ denote the set of interval r-colourings of H. Define

$$ \begin{align*} \ell_-(H):=\max_{(H_1<\cdots<H_r)\in\mathcal{C}} |H_1|\ \ \ \text{and} \ \ \ \ell^*_-(H):=\max_{(H_1<\cdots<H_r)\in\mathcal{C}} |H_r|. \end{align*} $$

Then $\chi _{cr}^*(H)\geq \max \{ h/\ell _-(H) \, , \, h/\ell ^*_-(H) \}$ .

Proof. We only prove that $\chi _{cr}^*(H)\geq h/\ell _-(H)$ , as the proof that $\chi _{cr}^*(H)\geq h/\ell ^*_-(H)$ is analogous. Let B be a bottlegraph of H with parts $B_1,\dots ,B_k$ for some $k\in \mathbb {N}$ . Our aim is to show that $\chi _{cr}(B)\geq h/\ell _-(H)$ . By Proposition 5.1, we may assume there exists some $m\in \mathbb {N}$ such that

$$ \begin{align*} |B_k|\leq m \quad\text{and}\quad |B_i|=m \end{align*} $$

for every $i\in [k-1]$ . Let $\phi $ be an interval labelling of B such that the ordered graph $(B,\phi )$ has parts $B_1<\cdots <B_k$ . Since B is a bottlegraph, there exists a $t \in \mathbb N$ so that $(B(t),\phi )$ contains a perfect H-tiling $\mathcal {H}$ . Note $\mathcal {H}$ consists of $|B|t/h$ copies of H and every copy of H has at most $\ell _-(H)$ vertices in $B_1$ ; thus

$$ \begin{align*} mt=|B_1|t\leq\ell_-(H)|\mathcal{H}|=\ell_-(H)|B|t/h. \end{align*} $$

Since $\chi _{cr}(B)=|B|/m$ , the above implies $\chi _{cr}(B)\geq h/\ell _-(H)$ and so $\chi _{cr}^*(H)\geq h/\ell _-(H).$

Note that Proposition 11.1 implies that if H is such that $1$ and $2$ are adjacent or $h-1$ and h are adjacent, then $\chi _{cr}^*(H)=h$ .

Proposition 11.2. Let H be an ordered graph on h vertices, and let $r:=\chi _<(H)$ . Let $\mathcal {C}$ denote the set of interval r-colourings of H. Define

$$ \begin{align*} \ell_+(H):=\max_{(H_1<\cdots<H_r)\in\mathcal{C}}\left\{\min_{i\in[r]} |H_i|\right\}. \end{align*} $$

Then $\chi _{cr}^*(H)\leq h/\ell _+(H)$ .

Proof. Let $H_1<\cdots <H_r$ be an interval r-colouring of H such that

$$ \begin{align*} \ell_+(H)=\min_{i\in[r]}|H_i|. \end{align*} $$

Let $k:=\lfloor h/\ell _+(H)\rfloor $ , and let B be the complete $(k+1)$ -partite unordered graph with parts $B_1,\dots ,B_{k+1}$ such that

$$ \begin{align*} |B_{k+1}|=(h-k\ell_+(H))\cdot(h!) \quad\text{and}\quad |B_s|=\ell_+(H)\cdot(h!) \end{align*} $$

for every $s\in [k]$ . Note that $B_{k+1}$ is the smallest part and may be empty. We have that $|B|=h \cdot h!$ and $\chi _{cr}(B)=h/\ell _+(H)$ .

We will now prove that B is a simple bottlegraph of H. Let $\sigma $ be a permutation of $[k+1]$ , and let $\phi $ be an interval labelling of B with respect to $\sigma $ . Note that $V((B,\phi ))=[h\cdot (h!)]$ . Set $t_0:=0$ and

$$ \begin{align*} t_i:=(|H_1|+\cdots+|H_i|)\cdot(h!) \end{align*} $$

for every $i\in [r]$ . For every $j\in [h!]$ and $i\in [r]$ , let

$$ \begin{align*} T_j^i:=[t_{i-1}+j|H_i|]\setminus[t_{i-1}+(j-1)|H_i|]. \end{align*} $$

Observe that the set of intervals $\{T_j^i\}_{j\in [h!]}$ is a partition of $[t_i]\setminus [t_{i-1}]$ , and in particular the set of all intervals $T_j^i$ is a partition of $[h\cdot (h!)]$ .

Relabel the parts of $(B,\phi )$ by $B^{\prime }_1,\dots , B^{\prime }_{k+1}$ so that $B^{\prime }_1<\dots <B^{\prime }_{k+1}$ . Suppose that $T_j^i$ intersects both $B^{\prime }_s$ and $B^{\prime }_{s+1}$ for some $i\in [r]$ , $j\in [h!]$ and $s\in [k]$ . Since $|T_{j'}^i|=|H_i|$ for every $j'\in [h!]$ , it follows that

$$ \begin{align*} |(B^{\prime}_1\cup\cdots\cup B^{\prime}_s)\setminus [t_{i-1}]| \end{align*} $$

is not divisible by $|H_i|$ , as otherwise no $T_{j'}^i$ would intersect both $B^{\prime }_s$ and $B^{\prime }_{s+1}$ for any $j'\in [h!]$ , and in particular for $j'=j$ , contradicting our assumption. However, $|B^{\prime }_1\cup \cdots \cup B^{\prime }_s|$ and $t_{i-1}$ are both divisible by $h!$ , and thus $|(B^{\prime }_1\cup \cdots \cup B^{\prime }_s)\setminus [t_{i-1}]|$ is divisible by $|H_i|$ , reaching a contradiction. Therefore, every $T_j^i$ is a subset of some $B^{\prime }_s$ .

Suppose $T_j^i$ and $T_j^{i+1}$ are both subsets of some $B^{\prime }_s$ ; then

$$ \begin{align*} |B^{\prime}_s|&\geq(t_i+j|H_{i+1}|)-(t_{i-1}+(j-1)|H_i|) =(h!-j+1)|H_i|+j|H_{i+1}| \geq(h!+1)\cdot\ell_+(H), \end{align*} $$

again reaching a contradiction. It follows that the ordered graph $T_j$ spanned by $T_j^1<\cdots <T_j^r$ is a complete r-partite ordered subgraph of $(B,\phi )$ . Since $|T_j^i|=|H_i|$ , $T_j$ spans a copy of H in $(B,\phi )$ for every $j\in [h!]$ . The $T_j$ s are disjoint and cover all the vertices of $(B,\phi )$ ; thus they yield a perfect H-tiling. Since $\sigma ,\phi $ are arbitrary, B is a simple bottlegraph of H. In particular,

$$ \begin{align*} \chi_{cr}^*(H)\leq\chi_{cr}(B)=h/\ell_+(H).\\[-32pt] \end{align*} $$

The next result follows easily from the previous bounds.

Proposition 11.3. Let H be a complete r-partite ordered graph on h vertices with parts $H_1<\cdots <H_r$ such that (i) $|H_1|\leq |H_i|$ for every $i\in [r]$ or (ii) $|H_r|\leq |H_i|$ for every $i\in [r]$ . Then $\chi _{cr}^*(H)=h/|H_1| \geq \chi _<(H)$ in case (i) and $\chi _{cr}^*(H)=h/|H_r| \geq \chi _<(H)$ in case (ii).

Proof. For case (i), let $\ell _-(H)$ and $\ell _+(H)$ be as in Proposition 11.1 and Proposition 11.2, respectively. Note that $\ell _-(H)=\ell _+(H)=|H_1|$ , and hence Propositions 11.1 and 11.2 imply that $\chi _{cr}^*(H)=h/|H_1|$ . Case (ii) follows similarly.

In [Reference Balogh, Li and Treglown3], Balogh, Li and the second author (implicitly) computed $\chi _{cr}^*(H)$ for any H such that $\chi _<(H)=2$ . Their result can easily be recovered using Propositions 11.1 and 11.2.

Proposition 11.4 (Balogh, Li and Treglown [Reference Balogh, Li and Treglown3])

Let H be an ordered graph with vertex set $[h]$ such that $\chi _<(H)=2$ . Define $\alpha ^+(H)$ to be the largest integer $t\in [h]$ so that $[1,t]$ is an independent set in H; $\alpha ^-(H)$ to be the largest integer $t\in [h]$ so that $[h-t+1,h]$ is an independent set in H; and $\alpha (H):=\min \{\alpha ^+(H),\alpha ^-(H)\}$ . Then

$$ \begin{align*} \chi_{cr}^*(H)=\frac{h}{\alpha(H)}.\\[-15pt] \end{align*} $$

Proof. Let $\ell _-(H),\ell _-^*(H),\ell _+(H)$ be as in Propositions 11.1 and 11.2.

Observe that both $[1,\alpha ^+(H)]<[\alpha ^+(H)+1,h]$ and $[1,h-\alpha ^-(H)]<[h-\alpha ^-(H)+1,h]$ are interval $2$ -colourings of H. In particular,

$$ \begin{align*} \ell_-(H)=\alpha^+(H)\quad\text{and}\quad \ell_-^*(H)=\alpha^-(H),\\[-15pt] \end{align*} $$

so $\chi _{cr}^*(H)\geq h/\alpha (H)$ by Proposition 11.1. It remains to show that $\chi _{cr}^*(H)\leq h/\alpha (H)$ . If $\alpha (H)\leq h/2$ , then $\ell _+(H)\geq \alpha (H)$ Footnote 4 , so $\chi _{cr}^*(H)\leq h/\alpha (H)$ by Proposition 11.2. If $\alpha (H)>h/2$ , then both $[1,\alpha (H)]<[\alpha (H)+1,h]$ and $[1,h-\alpha (H)]<[h-\alpha (H)+1,h]$ are interval $2$ -colourings of H. Therefore the complete bipartite graph B with parts $U,V$ of size $|U|=\alpha (H)$ and $|V|=h-\alpha (H)$ is a simple bottlegraph of H. We have $\chi _{cr}(B)=h/\alpha (H)$ , and thus $\chi _{cr}^*(H)\leq h/\alpha (H)$ .

If $\chi _<(H)=3$ , finding a closed formula for $\chi _{cr}^*(H)$ already proves challenging. In the next result, we determine $\chi _{cr}^*(H)$ for any complete $3$ -partite ordered graph H.

Proposition 11.5. Let H be a complete $3$ -partite ordered graph on h vertices with parts $H_1<H_2<H_3$ of size $h_1,h_2,h_3$ , respectively, and let

$$ \begin{align*} g(H):=\left(2-\frac{\min\{h_1,h_2,h_3\}}{\min\{h_1,h_3\}}\right)\cdot\frac{h}{\min\{h_1,h_3\}}.\\[-15pt] \end{align*} $$

Then $\chi ^*_{cr}(H)=g(H)$ .

Proof. We may assume that $h_1\leq h_3$ ; the case $h_1\geq h_3$ follows by the symmetry of the argument. If $h_1\leq h_2$ , then $\chi _{cr}^*(H)=h/h_1$ by Proposition 11.3, and the result follows. So for the rest of the proof, we assume $h_2<h_1\leq h_3$ . Under these assumptions, $g(H)=(2-h_2/h_1)h/h_1>3$ .

Claim 11.6. $\chi _{cr}^*(H)\geq g(H)$ .

Let B be a bottlegraph of H with parts $B_1,\dots ,B_k$ for some $k\in \mathbb {N}$ . Note that $k\geq 3$ since H is $3$ -partite. Our aim is to show that $\chi _{cr}(B) \geq g(H)$ . By Proposition 5.1, we may assume that there exists some $m\in \mathbb {N}$ such that

$$ \begin{align*} |B_k|\leq m \quad\text{and}\quad |B_i|=m\\[-15pt] \end{align*} $$

for every $i\in [k-1]$ . Pick an interval labelling $\phi $ of B such that the ordered graph $(B,\phi )$ has parts $B_1<B_2<\cdots <B_k$ . By definition, there exists some $t\in \mathbb {N}$ such that the ordered blow-up $(B(t),\phi )$ contains a perfect H-tiling $\mathcal {M}$ . Recall that we denote the parts of $(B(t),\phi )$ by $B_1(t)<\cdots <B_k(t)$ .

Let $\mathcal {M}_1$ be the set of copies of $H\in \mathcal {M}$ whose first part $H_1$ lies completely in $B_1(t)$ , and let $\mathcal {M}_2:=\mathcal {M}\setminus \mathcal {M}_1$ . Note that every copy of $H\in \mathcal {M}_1$ has exactly $h_1$ vertices in $B_1(t)$ and at most $h_1+h_2$ vertices in $B_1(t)\cup B_2(t)$ , while every copy of $H\in \mathcal {M}_2$ has at most $h_1$ vertices in $B_1(t) \cup B_2(t)$ . Since $|B_1(t)|=|B_2(t)|=mt$ , it follows that

$$ \begin{align*} mt \geq h_1\cdot|\mathcal{M}_1|\quad\text{and}\quad 2mt\leq(h_1+h_2)\cdot|\mathcal{M}_1|+h_1\cdot|\mathcal{M}_2|.\\[-16pt] \end{align*} $$

The above implies that

$$ \begin{align*} |\mathcal{M}|=|\mathcal{M}_1|+|\mathcal{M}_2|\geq\left(2-\frac{h_2}{h_1}\right)\frac{mt}{h_1}.\\[-16pt] \end{align*} $$

Since $\chi _{cr}(B)=|B|/m=|\mathcal {M}|h/(mt)$ , $\chi _{cr}(B)\geq g(H)$ , proving the claim.

Claim 11.7. If $h_1=h_3$ , then there exists a simple bottlegraph B of H with four parts such that three parts of B have size $h_1^2$ ; one part has size $h_1^2-h_2^2$ ; $\chi _{cr}(B)=g(H)$ .

Suppose $h_1=h_3$ . Then

$$ \begin{align*} g(H)=\left(2-\frac{h_2}{h_1}\right)\frac{h}{h_1}=4-\left(\frac{h_2}{h_1}\right)^2, \end{align*} $$

so $3<g(H)<4$ . Let B be the complete $4$ -partite graph with parts $B_1,B_2,B_3,B_4$ , where

$$ \begin{align*} |B_1|=h_1^2-h_2^2 \quad\text{and}\quad |B_i|=h_1^2 \end{align*} $$

for every $i=2,3,4$ . Note that $\chi _{cr}(B)=|B|/h_1^2=g(H)$ . It remains to show that B is a simple bottlegraph of H.

Let $\sigma $ be a permutation of $[4]$ and $\phi $ an interval labelling of B with respect to $\sigma $ . Recall that the ordered graph $(B,\phi )$ has parts $B_{\sigma ^{-1}(1)}<B_{\sigma ^{-1}(2)}<B_{\sigma ^{-1}(3)}<B_{\sigma ^{-1}(4)}$ . Either $\sigma ^{-1}(1), \sigma ^{-1}(2) \ne 1$ or $\sigma ^{-1}(3), \sigma ^{-1}(4) \ne 1$ . We will now deal with the former case.

Observe that $V(B)$ can be partitioned into two sets $X,Y$ of size $|X|=h_1(2h_1+h_2)$ and $|Y|=(h_1-h_2)(2h_1+h_2)$ such that

$$ \begin{align*} |Y\cap B_{\sigma^{-1}(i)}|=\begin{cases} 0 & \text{if } i=1,\\ h_1(h_1-h_2) & \text{if } i=2,\\ h_2(h_1-h_2) & \text{if } i=3,\\ h_1(h_1-h_2) & \text{if } i=4, \end{cases} \end{align*} $$

and

$$ \begin{align*}|X\cap B_{\sigma^{-1}(i)}|=\begin{cases} h_1^2 & \text{if } i=1,\\ h_1h_2 & \text{if } i=2,\\ |B_{\sigma^{-1}(3)}|-h_1h_2+h_2^2 & \text{if } i=3, \end{cases} \end{align*} $$

and all remaining vertices of X lie in $B_{\sigma ^{-1}(4)}$ .

In particular, (i) $|X\cap B_{\sigma ^{-1}(1)}|=h^2_1$ ; $|X\cap B_{\sigma ^{-1}(2)}|=h_1h_2$ ; $|X\cap B_{\sigma ^{-1}(3)}|=h_1^2-h_1h_2+h_2^2$ ; $|X\cap B_{\sigma ^{-1}(4)}|=h_1h_2-h^2_2$ or (ii) $|X\cap B_{\sigma ^{-1}(1)}|=h^2_1$ ; $|X\cap B_{\sigma ^{-1}(2)}|=h_1h_2$ ; $|X\cap B_{\sigma ^{-1}(3)}|=h_1^2-h_1h_2$ ; $|X\cap B_{\sigma ^{-1}(4)}|=h_1h_2.$ Thus we have that $(B,\phi )[X]$ contains a perfect H-tiling consisting of $h_1$ copies of H, where the first and second parts $H_1$ , $H_2$ of every such copy of H lie in $B_{\sigma ^{-1}(1)}$ and $B_{\sigma ^{-1}(2)}$ , respectively. Further, $(B,\phi )[Y]$ contains a perfect H-tiling consisting of $h_1-h_2$ copies of H. The union of these two H-tilings yields a perfect H-tiling in $(B,\phi )$ .

The only remaining case is when $\sigma ^{-1}(3), \sigma ^{-1}(4) \ne 1$ . However, since $h_1=h_3$ , this case will follow by a symmetric argument to that of the previous case. Thus B is a simple bottlegraph of H.

Claim 11.8. If $g(H)$ is an integer, then there exists a simple bottlegraph B of H such that $\chi _{cr}(B)=g(H)$ (i.e., B has $g(H)$ parts) and all parts of B have size $h_1^2$ .

Set $k:=g(H)$ . Recall that $k>3$ , so $k\geq 4$ since $k\in \mathbb {N}$ . Let B be the complete k-partite graph with parts $B_1,\dots ,B_k$ , all of size $h_1^2$ . Notice $\chi _{cr}(B)=k$ , so it remains to show that B is a simple bottlegraph of H.

Let $\sigma $ be a permutation of $[k]$ and $\phi $ an interval labelling of B with respect to $\sigma $ . Recall that the ordered graph $(B,\phi )$ has parts $B_{\sigma ^{-1}(1)}<\cdots <B_{\sigma ^{-1}(k)}$ . Let $X\subseteq V(B)$ be a set of size $4h_1^2-h_2^2$ such that

$$ \begin{align*} |X\cap B_{\sigma^{-1}(i)}|=\begin{cases} h_1^2 & \text{if } i=1,2,3,\\ h_1^2-h_2^2 & \text{if } i=4. \end{cases}\end{align*} $$

Let $H'$ be the complete $3$ -partite ordered graph with parts $H^{\prime }_1<H^{\prime }_2<H^{\prime }_3$ of size $h_1,h_2,h_1$ , respectively. By Claim 11.7, $(B,\phi )[X]$ contains a perfect $H'$ -tiling consisting of $2h_1-h_2$ copies of $H'$ . Observe that by definition of k,

$$ \begin{align*} |V(B)\setminus X|=kh_1^2-(4h_1^2-h_2^2)=(2h_1-h_2)(h_3-h_1). \end{align*} $$

Thus we can partition $V(B)\setminus X$ into $2h_1-h_2$ sets of size $h_3-h_1$ and assign each set to a copy of $H'$ . Notice that every copy of $H'$ together with its assigned set forms a copy of H; so we constructed a perfect H-tiling in $(B,\phi )$ . Since $\sigma $ and $\phi $ are arbitrary, B is a simple bottlegraph of H.

Claim 11.9. There exists a simple bottlegraph B of H such that $\chi _{cr}(B)=g(H)$ .

Recall that $h_2<h_1\leq h_3$ . We may assume that $g(H)$ is not an integer, as otherwise we are done by Claim 11.8. Given $t\in \mathbb {N}$ and $\ell \in \mathbb {N} \cup \{0\}$ , let $H(t,\ell )$ be the complete $3$ -partite ordered graph with parts $H^{\prime }_1<H^{\prime }_2<H^{\prime }_3$ of size $th_1,th_2,th_3-\ell $ , respectively.

Set $k:=\lfloor g(H)\rfloor $ . We define $t,\ell ,s$ and B as follows:

  • If $g(H)\geq 4$ , there exist $t, \ell \in \mathbb {N}$ such that

    $$ \begin{align*}\frac{\ell}{t}=\frac{(g(H)-k)h_1}{\left(2-{h_2}/{h_1}\right)},\end{align*} $$
    since the right-hand side of the above inequality is a positive rational number. Thus,
    (15) $$ \begin{align} k=g(H)-\left(2-\frac{h_2}{h_1}\right)\frac{\ell/t}{h_1}=\left(2-\frac{h_2}{h_1}\right)\frac{h-\ell/t}{h_1}=\left(2-\frac{th_2}{th_1}\right)\frac{th_1+th_2+th_3-\ell}{th_1}. \end{align} $$
    Furthermore, we have
    (16) $$ \begin{align} k\geq4>4-\left(\frac{h_2}{h_1}\right)^2=\left(2-\frac{th_2}{th_1}\right)\frac{th_1+th_2+th_1}{th_1}. \end{align} $$
    Equations (15) and (16) imply that $th_3-\ell>th_1$ . Hence $th_2< th_1<th_3-\ell $ , so
    $$ \begin{align*}g(H(t,\ell))=\left(2-\frac{th_2}{th_1}\right)\frac{th_1+th_2+th_3-\ell}{th_1}=k.\end{align*} $$
    Let B be the simple bottlegraph of $H(t,\ell )$ as in Claim 11.8, and set $s:=0$ .
  • If $3<g(H)<4$ , let $t:=1$ and $\ell :=h_3-h_1$ . Observe that the parts $H^{\prime }_1<H^{\prime }_2<H^{\prime }_3$ of $H(t,\ell )$ have size $h_1,h_2,h_1$ , respectively. Let B be the simple bottlegraph of $H(t,\ell )$ as in Claim 11.7. Set $s:=h_1^2-h_2^2$ .

Note that in both cases, B is a complete $(k+1)$ -partite graph, where each part has size $(th_1)^2$ except one smaller part of size $t^2s$ (which is empty if $g(H)\geq 4$ ).

Observe that $g(H)-k$ is a rational number and

(17) $$ \begin{align} \frac{s}{h_1^2}\leq g(H)-k<1. \end{align} $$

Indeed, the lower bound is trivial if $g(H)\geq 4$ ; if $3<g(H)<4$ , then $s=h^2 _1-h^2_2$ and $k=3$ , so $g(H)-k \geq (2-h_2/h_1)(2h_1+h_2)/h_1-k= 4-(h_2/h_1)^2 -3=1-(h_2/h_1)^2=s/h^2_1$ .

Thus, by (17), there exist $a,b\in \mathbb {N}\cup \{0\}$ such that $(a,b)\not =(0,0)$ and

$$ \begin{align*}a(1-g(H)+k)=b(g(H)-k-s/h^2_1) \implies a+b\frac{s}{h_1^2}=(a+b)(g(H)-k)\end{align*} $$
(18) $$ \begin{align} \implies a(th_1)^2+bt^2s=(a+b)(th_1)^2(g(H)-k). \end{align} $$

Let $B'$ be the complete $(k+1)$ -partite graph with parts $B^{\prime }_1,\dots ,B^{\prime }_{k+1}$ , where

$$ \begin{align*}|B^{\prime}_1|=(a+b)(th_1)^2(g(H)-k) \quad\text{and}\quad |B^{\prime}_i|=(a+b)(th_1)^2\end{align*} $$

for every $i>1$ . Notice $\chi _{cr}(B')=g(H)$ , so it remains to show that $B'$ is a simple bottlegraph of H.

Let $\sigma $ be a permutation of $[k+1]$ , and let $\phi $ be an interval labelling of $B'$ with respect to $\sigma $ . Recall that the ordered graph $(B',\phi )$ has parts $B^{\prime }_{\sigma ^{-1}(1)}<\cdots <B^{\prime }_{\sigma ^{-1}(k+1)}$ . Let $X,Y$ be two disjoint sets in $V(B')$ of size $a|B|$ and $b|B|$ , respectively, such that

$$ \begin{align*}|X\cap B^{\prime}_{\sigma^{-1}(i)}|=\begin{cases} a(th_1)^2 & \text{if } i<k+1, \\ a(t^2s)& \text{if } i=k+1, \end{cases} \end{align*} $$

and

$$ \begin{align*}|Y\cap B^{\prime}_{\sigma^{-1}(i)}|=\begin{cases} b(th_1)^2& \text{if } \sigma^{-1}(i)\not=1, \\ b(t^2s) & \text{if } \sigma^{-1}(i)=1. \end{cases}\end{align*} $$

Notice that by (18) and the choice of the sizes of the parts of $B'$ , all vertices in $B^{\prime }_{\sigma ^{-1}(i)}$ are in $X \cup Y$ for $i \leq k$ ; as $s\leq h^2_1$ , it may be that some vertices in $B^{\prime }_{\sigma ^{-1}(k+1)}$ are not in $X \cup Y$ .

Note that $(B',\phi )[X]$ is a copy of $(B(a),\phi ')$ for some interval labelling $\phi '$ . So as B is a simple bottlegraph of $H(t,\ell )$ , $(B(a),\phi ')$ contains a perfect $H(t,\ell )$ -tiling $\mathcal {M}_1$ consisting of

(19) $$ \begin{align} \frac{a|B|}{|H(t,\ell)|}=\frac{a(th_1)^2g(H(t,\ell))}{|H(t,\ell)|}=a(th_1)^2 \left(2-\frac{h_2}{h_1}\right)\frac{h-\ell/t}{h_1}\frac{1}{th-\ell}=a(2h_1-h_2)t \end{align} $$

copies of $H(t,\ell )$ . Similarly, $(B',\phi )[Y]$ is a copy of $(B(b),\phi '')$ for some interval labelling $\phi ''$ , and it contains a perfect $H(t,\ell )$ -tiling $\mathcal {M}_2$ consisting of

(20) $$ \begin{align} \frac{b|B|}{|H(t,\ell)|}=b(2h_1-h_2)t \end{align} $$

copies of $H(t,\ell )$ . Note that the vertices in $V(B')\setminus (X\cup Y)$ lie in $B^{\prime }_{\sigma ^{-1}(k+1)}$ . Moreover, as $g(H)=(2-h_2/h_1)h/h_1$ ,

$$ \begin{align*} |V(B')\setminus(X\cup Y)|&= |B'|-(a+b)|B|=(a+b)(th_1)^2g(H)-(a+b)|B| \\ &\stackrel{(19),(20)}{=}(a+b)\left((2h_1-h_2)ht^2-(2h_1-h_2)(th-\ell)t\right)=(a+b)(2h_1-h_2)\ell t. \end{align*} $$

Thus we can divide $V(B')\setminus (X\cup Y)$ into $(a+b)(2h_1-h_2)t$ sets of size $\ell $ and assign each set to a copy of $H(t,\ell )$ in $\mathcal {M}_1\cup \mathcal {M}_2$ . Note that each copy of $H(t,\ell )$ , together with its assigned set, forms a copy of $H(t,0)$ . Thus we constructed a perfect $H(t,0)$ -tiling in $(B',\phi )$ . Since $H(t,0)=H(t)$ , this yields a perfect H-tiling in $(B',\phi )$ , proving that $B'$ is indeed a simple bottlegraph of H.

Claim 11.9 implies that $\chi _{cr}^*(H)\leq g(H)$ . Together with Claim 11.6, this concludes the proof.

Observe that Propositions 11.3 and 11.5 combined with Theorem 1.8 yield the following result that makes the threshold in Theorem 1.8 explicit for all complete $3$ -partite ordered graphs.

Theorem 11.10. Let H be a complete r-partite ordered graph on h vertices with parts $H_1<\cdots <H_r$ , where $|H_i|=h_i$ for every $i\in [r]$ :

  • If $h_1\leq h_i$ for every $i>1$ , then $\delta _<(H,n)=\left (1-\frac {h_1}{h}+o(1)\right )n.$

  • If $h_r\leq h_i$ for every $i\in [r-1]$ , then $\delta _<(H,n)=\left (1-\frac {h_r}{h}+o(1)\right )n.$

  • If $r=3$ and $h_2\leq h_1\leq h_3$ , then $\delta _<(H,n)=\left (1-\frac {h_1^2}{(2h_1-h_2)h}+o(1)\right )n.$

  • If $r=3$ and $h_2\leq h_3\leq h_1$ , then $\delta _<(H,n)=\left (1-\frac {h_3^2}{(2h_3-h_2)h}+o(1)\right )n.$

12 The tightness of Theorem 1.6

In this section, we show that the minimum degree condition in Theorem 1.6 is the best possible. Given an ordered graph H, let $c_<(H)$ denote the smallest non-negative number that satisfies the following: for every $\eta>0$ , there exists an integer $n_0\in \mathbb {N}$ such that if G is an ordered graph on $n\geq n_0$ vertices and with minimum degree $\delta (G)\geq c_<(H)n$ , then G contains an H-tiling covering all but at most $\eta n$ vertices. Observe that Theorem 1.6 immediately implies that

(21) $$ \begin{align} c_<(H)\leq\left(1-\frac{1}{\chi^*_{cr}(H)}\right). \end{align} $$

In fact, we will show that equality holds.

Theorem 12.1. Let H be an ordered graph on h vertices. Then

$$ \begin{align*}c_<(H)=\left(1-\frac{1}{\chi^*_{cr}(H)}\right).\end{align*} $$

Proof. By (21), it remains to prove that $c_<(H)\geq (1-{1}/{\chi ^*_{cr}(H)}).$ Throughout the proof, we let $c:=c_<(H)$ and $r:=\chi _<(H)$ . Suppose for a contradiction that $c<(1-1/\chi ^*_{cr}(H))$ . We split the proof into three different cases.

Case 1: $\chi ^*_{cr}(H)>r$ .

Let $\eta>0$ be sufficiently small, and define $c'$ such that

(22) $$ \begin{align} c':=\max\left\{\left(1-\frac{1}{r}\right),c\right\}+\eta<1-\frac{1}{\chi^*_{cr}(H)}. \end{align} $$

Let $ 0<\nu \ll \eta $ , and let $n \in \mathbb N$ be sufficiently large and divisible by h.

Let G be any ordered graph on n vertices with minimum degree

$$ \begin{align*} \delta(G)\geq c'n\stackrel{(22)}{\geq}\left(1-\frac{1}{r}+\eta\right)n. \end{align*} $$

By Theorem 4.1, there exists a set $Abs\subseteq V(G)$ such that $|Abs|\leq \nu n$ and $Abs$ is an H-absorbing set for every $W\subseteq V(G)\setminus Abs$ such that $|W|\in h\mathbb {N}$ and $|W|\leq \nu ^3n$ . Let $G':=G\setminus Abs$ . Note that

$$ \begin{align*}\delta(G')\geq\left(c'-\eta\right)n\stackrel{(22)}{\geq} cn. \end{align*} $$

By the definition of c, and as n is sufficiently large, there exists an H-tiling $\mathcal {M}_1$ covering all but at most $\nu ^3n$ vertices in $G'$ . Let $W\subseteq V(G')$ be the set of vertices not covered by $\mathcal {M}_1$ . Since $|W|\leq \nu ^3 n$ and h divides $|W|$ (as h divides $n,|Abs|,|V(\mathcal {M}_1)|$ ), there exists a perfect H-tiling $\mathcal {M}_2$ in $G[Abs\cup W]$ . Thus $\mathcal {M}_1\cup \mathcal {M}_2$ is a perfect H-tiling in G. Recall that G is an arbitrary ordered graph on n vertices with $\delta (G)\geq c'n$ , and hence

$$ \begin{align*}\delta_<(H,n)\leq c'n<\left(1-\frac{1}{\chi_{cr}^*(H)}\right)n.\end{align*} $$

This contradicts Corollary 2.4. Therefore, the initial assumption that $c<(1-1/\chi ^*_{cr}(H))$ is false, and the result follows in this case.

Case 2: $\chi ^*_{cr}(H)\leq r$ and H is flexible.

As H is flexible, there exists a complete r-partite ordered graph F with parts $F_1<\cdots <F_r$ as in Lemma 8.2. Pick $\eta>0$ sufficiently small so that

(23) $$ \begin{align} c+\eta+\eta|F|\leq 1-\frac{1}{\chi_{cr}^*(H)} \end{align} $$

and

(24) $$ \begin{align} \frac{r-1}{1-\eta |F|}< \frac{\chi_{cr}^*(H)}{1+\eta\chi_{cr}^*(H)}. \end{align} $$

Let $n \in \mathbb N$ be sufficiently large and divisible by h; we may choose $\eta $ and n so that $\eta n \in \mathbb N$ .

Recall that by (4), $r-1<\chi ^*_{cr}(H)\leq r$ . Thus it is not difficult to show that there exists a complete r-partite unordered graph B on n vertices with parts $B_1,\dots ,B_r$ such that all parts have the same size, except one smaller part, and

(25) $$ \begin{align} \frac{\chi_{cr}^*(H)}{1+\eta\chi_{cr}^*(H)}\leq\chi_{cr}(B)<\chi_{cr}^*(H). \end{align} $$

Note that

$$ \begin{align*} \delta(B)= \left(1-\frac{1}{\chi_{cr}(B)}\right) n\stackrel{(25)}{\geq}\left(1-\frac{1}{\chi_{cr}^*(H)}-\eta\right)n. \end{align*} $$

Pick any permutation $\sigma $ of $[r]$ and any interval labelling $\phi $ of B with respect to $\sigma $ . Up to relabelling, we may assume that the complete r-partite ordered graph $(B,\phi )$ has parts $B_1<\cdots <B_r$ .

Notice that (24) and (25) imply $|B_k|\geq \eta |F| n$ for all $k \in [r]$ . Let $X\subseteq V(B)$ such that $|X\cap B_k|=\eta |F_k|n$ for every $k\in [r]$ . Clearly, $(B, \phi )[X]$ is a copy of the ordered blow-up $F(\eta n)$ . Let $B'$ be the ordered graph obtained from $(B,\phi )$ by deleting the vertices in X; so $B'$ is a complete r-partite ordered graph with parts $B^{\prime }_1<\cdots <B^{\prime }_r$ , where $B^{\prime }_k\subseteq B_k$ for every $k\in [r]$ . Note that

$$ \begin{align*} \delta(B')\geq\delta(B)-\eta n|F|\geq\left(1-\frac{1}{\chi_{cr}^*(H)}-\eta-\eta|F|\right)n\stackrel{(23)}{\geq}cn. \end{align*} $$

By the definition of c, there exists an H-tiling $\mathcal {M}_1$ in $B'$ covering all but at most $(\eta h) n$ vertices. Let $W\subseteq V(B')$ be the set of vertices not covered by $\mathcal {M}_1$ . Furthermore, let $s_k:=|W\cap B^{\prime }_k|$ for every $k\in [r]$ . Note that $(B,\phi )[X\cup W]$ is a complete r-partite ordered graph with parts $L_1<\cdots <L_r$ such that $|L_k|=\eta n|F_k|+s_k$ . Since $s_1+\cdots +s_r=|W|\leq (\eta n)h$ and h divides $|W|$ , by Corollary 8.3, there exists a perfect H-tiling $\mathcal {M}_2$ in $(B,\phi )[X\cup W]$ . Finally, note that $\mathcal {M}_1\cup \mathcal {M}_2$ is a perfect H-tiling in $(B,\phi )$ . Since $\sigma ,\phi $ are arbitrary, this implies that B is a simple bottlegraph of H. This is a contradiction since $\chi _{cr}(B)<\chi _{cr}^*(H)$ . Thus the initial assumption that $c<(1-1/\chi ^*_{cr}(H))$ is false, and the result follows in this case.

Case 3: $\chi ^*_{cr}(H)\leq r$ and H is not flexible.

Note that if $\chi ^*_{cr}(H)<r$ , then H is flexible by Corollary 8.6, a contradiction. Thus $\chi ^*_{cr}(H)=r$ . In this case, we produce an explicit extremal example to show that $c\geq 1-1/r$ .

Since H is not flexible, by Lemma 8.4, there exist some $i\in [r-1]$ such that the number of vertices in the first i intervals of any given interval r-colouring of H is fixed. Clearly, this implies that the number of vertices in the last $(r-i)$ intervals of any given interval r-colouring of H is also fixed. Since H has h vertices, the number of vertices in the first i intervals is at least $ih/r$ or the number of vertices in the last $(r-i)$ intervals is at least $(r-i)h/r$ . Without loss of generality, we may assume the former.

Fix $0<\eta <1$ and $n\in \mathbb {N}$ such that ${n}/{r}$ and ${\eta n}/{r}$ are integers. Let G be the complete r-partite ordered graph on n vertices with parts $G_1<\cdots <G_r$ of size

$$ \begin{align*}|G_j|=\begin{cases} \frac{n}{r}(1-\eta) & \text{if } j<r, \\ \frac{n}{r}\left(1+(r-1)\eta\right) & \text{if } j=r. \end{cases}\end{align*} $$

Observe that

$$ \begin{align*} \delta(G)=n-\frac{n}{r}\left(1+(r-1)\eta\right)=\left(1-\frac{1}{r}-\frac{(r-1)\eta}{r}\right)n. \end{align*} $$

By assumption, a copy of H in G has at least $ih/r$ vertices in $G_1\cup \cdots \cup G_i$ . Suppose $\mathcal {M}$ is an H-tiling in G; then the number of copies of H in $\mathcal {M}$ is at most

$$ \begin{align*} \frac{|G_1\cup\cdots\cup G_i|}{(ih/r)}=\frac{n(1-\eta)}{h}. \end{align*} $$

In particular, there are at least $\eta n$ vertices in G that are not covered by $\mathcal {M}$ .

In summary, we have shown that given any $c'< 1-1/r$ , we can choose $\eta>0$ sufficiently small so that for an infinite number of choices of $n \in \mathbb N$ , we can produce an n-vertex ordered graph G with $\delta (G) \geq c'n$ and so that G does not contain an H-tiling covering more than $(1-\eta )n$ vertices. So by definition, $c \geq 1-1/r$ , as desired.

13 Proof of Theorem 1.16

This section is devoted to the proof of Theorem 1.16. We will need the following result from [Reference Balogh, Li and Treglown3, Lemma 6.2], which itself is a special case of a lemma of Bárány and Valtr [Reference Bárány and Valtr4].

Lemma 13.1 (Balogh, Li and Treglown [Reference Balogh, Li and Treglown3])

For $n\geq k\geq 2$ , let $A_1,A_2,\dots ,A_k$ be nonempty disjoint subsets of $[n]$ . Then there exist sets $S_1,S_2,\dots ,S_k$ , where $S_i\subseteq A_i$ , and a permutation $\sigma =(\sigma (1), \sigma (2),\dots ,\sigma (k))$ of the set $[k]$ , such that the following conditions hold for all $i, j\in [k]$ :

  • $|S_i|\geq \lfloor |A_i|/k\rfloor $ ;

  • $S_i<S_j$ if $\sigma (i)<\sigma (j)$ .

Proof of Theorem 1.16

Let H be an ordered graph on h vertices, and let $x\in (0,1)$ . Throughout the proof, we set $r:=\chi _<(H)$ . If $r=1$ , the statement of the theorem holds trivially, so we may assume that $r\geq 2$ . Observe that it suffices to prove that the theorem holds for any $\eta>0$ sufficiently small. Fix constants $0<\eta \ll 1/\chi _{cr}^*(x,H)$ and

(26) $$ \begin{align} 0<\varepsilon\ll(1-x)\eta/(xh). \end{align} $$

By definition of $\chi _{cr}^*(x,H)$ , there is an x-bottlegraph B of H with

(27) $$ \begin{align} \chi_{cr}^*(x,H)\leq \chi_{cr}(B)<\frac{\chi_{cr}^*(x,H)}{1-(\eta/12)\chi_{cr}^*(x,H)}. \end{align} $$

Let $k:=\chi (B)\geq r$ , and let $B_1,\dots , B_k $ be the parts of B. Fix $t\in \mathbb {N}$ such that $k/t<\varepsilon $ .

Let $n\in \mathbb {N}$ be sufficiently large, and let G be an ordered graph on n vertices with minimum degree

$$ \begin{align*} \delta(G)\geq\left(1-\frac{1}{\chi_{cr}^*(x,H)}+\eta\right)n. \end{align*} $$

Recall by (1), $\chi ^*_{cr}(x,H)\geq r-1$ ; so $\delta (G)\geq (1-1/(r-1)+\eta )n$ . By the Erdős–Stone–Simonovits theorem for ordered graphs [Reference Pach and Tardos24], there exists a copy of H in G. We remove the vertices of H from G and repeat the same process until we obtain a set $W\subseteq V(G)$ such that $G[W]$ contains a perfect H-tiling $\mathcal {W}$ and $|W|=\left \lfloor \frac {\eta n}{2h}\right \rfloor h$ . Let $G':=G\setminus W$ . Observe that

$$ \begin{align*} \delta(G')\geq \left(1-\frac{1}{\chi_{cr}^*(x,H)}+\frac{\eta}{3}\right) |G'|\stackrel{(27)}{\geq}\left(1-\frac{1}{\chi_{cr}(B)}+\frac{\eta}{4}\right)|G'|. \end{align*} $$

Since $\chi _{cr}(B(t))=\chi _{cr}(B)$ (and ignoring the ordering of $V(G')$ ), Theorem 1.13 implies there exists a $B(t)$ -tiling $\mathcal {B}$ in $G'$ that covers all but at most $\varepsilon |G'|$ vertices.

Consider a fixed copy of $B(t)\in \mathcal {B}$ whose parts are $A_1,\dots ,A_k$ , with $|A_i|=t|B_i|$ for every $i\in [k]$ . By Lemma 13.1, there exist sets $S_i\subseteq A_i$ for every $i\in [k]$ such that $|S_i|\geq \lfloor |A_i|/k\rfloor \geq |B_i|$ and a permutation $\sigma $ of $[k]$ such that $S_i<S_j$ if $\sigma (i)<\sigma (j)$ . By discarding some vertices if necessary, we may assume that $|S_i|=|B_i|$ for every $i\in [k]$ . Note that the sets $S_1,\dots ,S_k$ span a copy of B and the ordering of $V(G')$ induces an interval labelling of B with respect to $\sigma $ .

Crucially, $|A_i\setminus S_i|=(t-1)|B_i|$ , so we can repeatedly apply Lemma 13.1 to find a B-tiling in $G'$ covering all but at most

$$ \begin{align*} k|B|=(k/t)|B(t)| \end{align*} $$

vertices in our fixed $B(t)\in \mathcal B$ . Furthermore, by Lemma 13.1, the ordering of $V(G')$ induces an interval labelling on each of these copies of B. Since B is an x-bottlegraph, each of these copies contains an $(x,H)$ -tiling. Repeat this process for all $B(t)\in \mathcal B$ , and denote the union of all these $(x,H)$ -tilings as $\mathcal {M}$ . The number of vertices in G covered by $\mathcal {M} \cup \mathcal {W}$ is at least

$$ \begin{align*} x(1-k/t)(1-\varepsilon)|G'|+|W|&\geq x(1-\varepsilon)^2(n-|W|)+|W| \\ &\geq xn -2x\varepsilon n -x|W|+|W|\stackrel{(26)}{\geq} xn. \end{align*} $$

Hence $\mathcal {M} \cup \mathcal {W}$ is an $(x,H)$ -tiling in G, as desired.

14 Computing the threshold in Theorem 1.16 for some choices of H

In this section, we investigate the behaviour of the function $f(x,H)$ as defined in Theorem 1.16. Recall that for an unordered graph H, the analogous function $g(x,H)$ (defined in Theorem 1.13) is linear in x. On the other hand, for a vertex-ordered graph H, the function $f(x,H)$ can behave rather differently. However, we first give an instance where $f(x,H)$ does grow linearly in x.

Proposition 14.1. Let H be an ordered graph with vertex set $[h]$ such that $\chi _<(H)=2$ . Define $\alpha ^+(H)$ to be the largest integer $t\in [h]$ such that $[1,t]$ is an independent set in H; $\alpha ^-(H)$ to be the largest integer $t\in [h]$ such that $[h-t+1,h]$ is an independent set in H; and $\alpha (H):=\min \{\alpha ^+(H),\alpha ^-(H)\}$ . For any $x\in (0,1)$ , we have

$$ \begin{align*} f(x,H)=\frac{x(h-\alpha(H))}{h}. \end{align*} $$

The proof of Proposition 14.1 and all the other results in this section can be found in the arXiv version of this paper. Next we see that, in general, for any ordered graph H, if x is not too big, then the function $f(x,H)$ is linear in x.

Proposition 14.2. Let H be an ordered graph on h vertices and $r:=\chi _<(H)$ . Let $\mathcal {C}$ be the set of interval r-colourings of H. Additionally, set

$$ \begin{align*} T:=\max_{1\leq i\leq r}\left\{\min_{(H_1< \cdots < H_r)\in\mathcal{C}} |H_i|\right\},\quad J:=\max_{1\leq i\leq r}\left\{\max_{(H_1<\cdots < H_r)\in\mathcal{C}} |H_i|\right\} \end{align*} $$

and $x_0:=\frac {h}{(r-1)J+T}$ . Then for any $x\in (0,x_0]$ , where $x<1$ ,

$$ \begin{align*} f(x,H)=1-\frac{h-xT}{h(r-1)}. \end{align*} $$

The following result states that $f(x,H)$ is piecewise linear for certain types of H. These different behaviours already suggest that computing $f(x,H)$ is likely to be a difficult task in general.

Proposition 14.3. Let $\ell _1\leq \dots \leq \ell _r$ be positive integers and $x\in (0,1]$ . Let H be a complete r-partite ordered graph on h vertices with parts $H_1<\cdots <H_r$ , where $|H_i|=\ell _i$ for every $i\in [r]$ .

  • If $\;t\ell _t-\sum \limits _{i=1}^t \ell _i\leq \frac {1-x}{x}h<(t+1) \ell _{t+1}-\sum \limits _{i=1}^{t+1} \ell _i$ for some $t\in [1,r-1]$ , then

    $$ \begin{align*} f(x,H)=1-\frac{1}{ht}\left((1-x)h+x\sum\limits_{i=1}^t \ell_i\right). \end{align*} $$
  • If $\;\frac {(1-x)h}{x}\geq r\ell _r-\sum \limits _{i=1}^{r} \ell _i$ , then

    $$ \begin{align*} f(x,H)=1-\frac{h-x\ell_r}{h(r-1)}. \end{align*} $$

In particular, for H fixed, $f(x,H)$ is continuous and piecewise linear in x with $r'$ pieces, where $r'$ is the number of strict inequalities in $\ell _1\leq \dots \leq \ell _r$ .

We conclude this section with the following result.

Proposition 14.4. Let H be an ordered graph; then

$$ \begin{align*} \lim_{x\to 1}\chi_{cr}^*(x,H)=\chi^*_{cr}(H)\quad\text{and}\quad\lim_{x\to 0}\chi_{cr}^*(x,H)=\chi_<(H)-1.\end{align*} $$

15 Concluding remarks and open problems

Theorem 1.8 together with [Reference Balogh, Li and Treglown3, Theorem 1.9] asymptotically determine the minimum degree threshold for forcing a perfect H-tiling in an ordered graph, for any fixed ordered graph H. Depending on the structure of H, this threshold depends on one of three factors: ( $C1$ ) the existence of an almost perfect H-tiling; ( $C2$ ) the avoidance of divisibility barriers; ( $C3$ ) the existence of an H-cover. Analogous factors govern the threshold for other perfect H-tiling problems in a range of settings, too.

Therefore, it would be extremely interesting to find a natural ‘local’ density condition (e.g., minimum degree, Ore-type, degree sequence) for an (ordered) graph, directed graph or hypergraph for which the corresponding perfect H-tiling threshold depends on another factor. We suspect no such problem exists. An alternative way to think about this question is as follows: are there barriers, other than local and divisibility barriers, that prevent absorbing for a perfect H-tiling problem?

Other than this general ‘meta problem’, it would be interesting to establish the Ore-type degree threshold that forces a perfect H-tiling in an ordered graph G (and compare this threshold to the corresponding Ore-type degree threshold for unordered graphs [Reference Kühn, Osthus and Treglown22]).

In light of Theorem 1.6, it is natural to raise the following ordered graph analogue of the theorem of Shokoufandeh and Zhao [Reference Shokoufandeh and Zhao26].

Conjecture 15.1. Let H be an ordered graph. Then there is a constant $C=C(H)\in \mathbb N$ so that the following holds. If G is an n-vertex ordered graph with

$$ \begin{align*} \delta(G)\geq\left(1-\frac{1}{\chi^*_{cr}(H)}\right)n, \end{align*} $$

then G contains an H-tiling covering all but at most C vertices.

Finally, whilst we have obtained some understanding of the function $f(x,H)$ , it would be interesting to obtain a more complete understanding of how this function can behave in general. In particular, is it true that for any fixed ordered graph H, $f(x,H)$ is piecewise linear?

Acknowledgements

The authors are grateful to the referees for their helpful and careful reviews.

Competing interests

The authors have no conflict of interest to declare.

Data availability statement

There are no additional data beyond that contained within the main manuscript and the arxiv version (arXiv:2112.02909) of the paper (which contains the proofs omitted in Section 14).

Ethical standards

The research meets all ethical guidelines, including adherence to the legal requirements of the study country.

Funding statement

The second author is supported by EPSRC grant EP/V002279/1.

Footnotes

1 The reader may not immediately see why Theorem 1.6 is a corollary of Theorem 4.3 from [Reference Balogh, Li and Treglown3] as there is an error term in the minimum degree condition in the latter theorem. However, a standard trick (see, e.g., the proof of Corollary 6.6 in [Reference Czygrinow, DeBiasio, Molla and Treglown7]) always allows one to omit an error term in a minimum degree condition that forces an almost perfect H-tiling.

2 See [Reference Keevash and Mycroft15] for a discussion on space barriers.

3 More precisely, here divisibility barrier means an ordered graph H with $\chi _<(H)=2$ that satisfies Property B as defined in [Reference Balogh, Li and Treglown3, Page 3].

4 In fact, if $\alpha (H)\leq h/2$ , then $\ell _+(H)=\alpha (H)$

References

Alon, N. and Yuster, R., ‘ $H$ -factors in dense graphs’, J. Combin. Theory Ser. B 66 (1996), 269282.CrossRefGoogle Scholar
Balko, M., Cibulka, J., Král, K. and Kynčl, J., ‘Ramsey numbers of ordered graphs’, Electr. J. Combin. 27 (2020), P1.16.Google Scholar
Balogh, J., Li, L. and Treglown, A., ‘Tilings in vertex ordered graphs’, J. Combin. Theory Ser. B 155 (2022), 171201.CrossRefGoogle Scholar
Bárány, I. and Valtr, P., ‘A positive fraction Erdős–Szekeres theorem’, Disc. Comp. Geometry 19 (1998), 335342.CrossRefGoogle Scholar
Conlon, D., Fox, J., Lee, C. and Sudakov, B., ‘Ordered Ramsey numbers’, J. Combin. Theory Ser. B 122 (2017), 353383.CrossRefGoogle Scholar
Corrádi, K. and Hajnal, A., ‘On the maximal number of independent circuits in a graph’, Acta Mathematica Hungarica 14(3–4) (1963), 423439.Google Scholar
Czygrinow, A., DeBiasio, L., Molla, T. and Treglown, A., ‘Tiling directed graphs with tournaments’, Forum Math. Sigma 6 (2018), e2.CrossRefGoogle Scholar
Erdős, P. and Simonovits, M., ‘A limit theorem in graph theory’, Studia Sci. Math. Hungar. 1 (1965), 5157.Google Scholar
Erdős, P. and Stone, A.H., ‘On the structure of linear graphs’, Bull. Amer. Math. Soc. 52 (1946), 10871091.CrossRefGoogle Scholar
Falgas-Ravry, V., personal communication.Google Scholar
Falgas-Ravry, V., Markström, K. and Zhao, Y., ‘Triangle-degrees in graphs and tetrahedron coverings in 3-graphs’, Combin. Probab. Comput. 30 (2021), 175199.CrossRefGoogle Scholar
Falgas-Ravry, V. and Zhao, Y., ‘Codegree thresholds for covering 3-uniform hypergraphs’, SIAM J. Discr. Math. 30 (2016), 18991917.CrossRefGoogle Scholar
Hajnal, A. and Szemerédi, E., ‘Proof of a conjecture of P. Erdős’, Combinatorial Theory and Its Applications, Vol. II (1970), 601623.Google Scholar
Han, J., Lo, A. and Sanhueza-Matamala, N., ‘Covering and tiling hypergraphs with tight cycles’, Combin. Probab. Comput. 30 (2021), 288329.CrossRefGoogle Scholar
Keevash, P. and Mycroft, R., ‘A geometric theory for hypergraph matching’, Mem. Amer. Math. Soc. 233 (2014), monograph 1098.Google Scholar
Komlós, J., ‘Tiling Turán Theorems’, Combinatorica 20 (2000), 203218.Google Scholar
Komlós, J., Sárkozÿ, G. N. and Szemerédi, E., ‘Proof of the Alon–Yuster conjecture’, Discrete Math. 235 (2001), 255269.CrossRefGoogle Scholar
Komlós, J. and Simonovits, M., ‘ Szemerédi’s Regularity Lemma and its applications in graph theory ’, Combinatorics: Paul Erdős Is Eighty, Vol. II (1996), 295352.Google Scholar
Krivelevich, M., ‘Triangle factors in random graphs’, Combin. Probab. Comput. 6 (1997), 337347.CrossRefGoogle Scholar
Kühn, D. and Osthus, D., ‘Critical chromatic number and the complexity of perfect packings in graphs’, 17th ACM-SIAM Symposium on Discrete Algorithms (SODA content missing 2006), 851859.CrossRefGoogle Scholar
Kühn, D. and Osthus, D., ‘The minimum degree threshold for perfect graph packings’, Combinatorica 29 (2009), 65107.CrossRefGoogle Scholar
Kühn, D., Osthus, D. and Treglown, A., ‘An Ore-type theorem for perfect packings in graphs’, SIAM J. Discr. Math. 23 (2009), 13351355.CrossRefGoogle Scholar
Lo, A. and Markström, K., ‘ $F$ -factors in hypergraphs via absorption’, Graphs Combin. 31 (2015), 679712.CrossRefGoogle Scholar
Pach, J. and Tardos, G., ‘Forbidden paths and cycles in ordered graphs and matrices’, Israel J. Math. 155 (2006), 359380.CrossRefGoogle Scholar
Rödl, V., Ruciński, A. and Szemerédi, E., ‘A Dirac-type theorem for 3-uniform hypergraphs’, Combin. Probab. Comput. 15 (2006), 229251.CrossRefGoogle Scholar
Shokoufandeh, A. and Zhao, Y., ‘Proof of a tiling conjecture of Komlós’, Random Structures & Algorithms 23 (2003), 180205.CrossRefGoogle Scholar
Szemerédi, E., ‘Regular partitions of graphs’, Problèmes Combinatoires et Théorie des Graphes Colloques Internationaux CNRS 260 (1978), 399401.Google Scholar
Tardos, G., ‘Extremal theory of vertex or edge ordered graphs’, in Surveys in Combinatorics 2019 (Lo, A., Mycroft, R., Perarnau, G. and Treglown, A. eds.), London Math. Soc. Lecture Notes 456, (Cambridge University Press, 2019), 221236.CrossRefGoogle Scholar
Figure 0

Figure 1 The ordered graph H as in Example 3.2 for $r=4$ and $k=3$

Figure 1

Figure 2 The ordered graph H as in Example 3.3 for $r=4$ and $k=2$

Figure 2

Figure 3 In this picture, we take $r=3$, $T_1 and $j=1$. Note that $(T_1\setminus \{y\},T^{\prime \prime }_2)$, $(T_1\setminus \{y\},T^{\prime \prime }_3)$ and $(T^{\prime \prime }_2,T^{\prime }_3)$ are regular pairs, while x and y are adjacent to all vertices in $T^{\prime \prime }_2$ and $T^{\prime \prime }_3$