Perfect matchings in random sparsifications of Dirac hypergraphs

For all integers $n \geq k > d \geq 1$, let $m_{d}(k,n)$ be the minimum integer $D \geq 0$ such that every $k$-uniform $n$-vertex hypergraph $\mathcal H$ with minimum $d$-degree $\delta_{d}(\mathcal H)$ at least $D$ has an optimal matching. For every fixed integer $k \geq 3$, we show that for $n \in k \mathbb{N}$ and $p = \Omega(n^{-k+1} \log n)$, if $\mathcal H$ is an $n$-vertex $k$-uniform hypergraph with $\delta_{k-1}(\mathcal H) \geq m_{k-1}(k,n)$, then a.a.s.\ its $p$-random subhypergraph $\mathcal H_p$ contains a perfect matching ($m_{k-1}(k,n)$ was determined by R\"{o}dl, Ruci\'nski, and Szemer\'edi for all large $n \in k\mathbb N$). Moreover, for every fixed integer $d < k$ and $\gamma > 0$, we show that the same conclusion holds if $\mathcal H$ is an $n$-vertex $k$-uniform hypergraph with $\delta_d(\mathcal H) \geq m_{d}(k,n) + \gamma\binom{n - d}{k - d}$. Both of these results strengthen Johansson, Kahn, and Vu's seminal solution to Shamir's problem and can be viewed as "robust" versions of hypergraph Dirac-type results. In addition, we also show that in both cases above, $\mathcal H$ has at least $\exp((1-1/k)n \log n - \Theta (n))$ many perfect matchings, which is best possible up to a $\exp(\Theta(n))$ factor.Comment: 25 pages + 2 page appendix; Theorem 1.5 was proved in independent work of Pham, Sah, Sawhney, and Simkin (arxiv:2210.03064

Matchings and Tilings in Hypergraphs

We consider two extremal problems in hypergraphs. First, given k ≥ 3 and k-partite k-uniform hypergraphs, as a generalization of graph (k = 2) matchings, we determine the partite minimum codegree threshold for matchings with at most one vertex left in each part, thereby answering a problem asked by R ̈odl and Rucin ́ski. We further improve the partite minimum codegree conditions to sum of all k partite codegrees, in which case the partite minimum codegree is not necessary large. Second, as a generalization of (hyper)graph matchings, we determine the minimum vertex degree threshold asymptotically for perfect Ka,b,c-tlings in large 3-uniform hypergraphs, where Ka,b,c is any complete 3-partite 3-uniform hypergraphs with each part of size a, b and c. This partially answers a question of Mycroft, who proved an analogous result with respect to codegree for r-uniform hypergraphs for all r ≥ 3. Our proof uses Regularity Lemma, the absorbing method, fractional tiling, and a recent result on shadows for 3-graphs