Tiling dense hypergraphs

The goal in the perfect tiling problem is to cover the vertices of a hypergraph $G$ with pairwise vertex-disjoint copies of a hypergraph $F$. Prior work has identified three necessary conditions for perfect tilings, which correspond to barriers in space, divisibility and covering. It is natural to ask for which families of hypergraphs these conditions are also asymptotically sufficient. Our main result confirms this for all families that are approximately closed under subsampling. Among others, this includes families described by minimum degrees and uniform density, which have been studied extensively in this area. For instance, we characterise the minimum $d$-degree threshold for perfect $F$-tilings in terms of the thresholds to overcome the space, divisibility and covering barriers: \[\delta_d(\mathsf{Til}_F) = \max \left\{ \delta_d(\mathsf{Spa}_{F}),\, \delta_d(\mathsf{Div}_F),\, \delta_d(\mathsf{Cov}_F) \right\}.\] As an application, we recover and extend a series of well-known results for perfect tilings in hypergraphs and related settings involving vertex-orderings and transversal structures.