arXiv++ Combinatorics

Let $F$ be an $r$-vertex graph. In this paper, we study the $F$-factor problem in random induced subgraphs of dense graphs. We show that for any $r$-vertex graph $F$ and $γ>0$, if $H$ is an $n$-vertex graph with minimum degree at least $(1-1/χ_{cr}(F)+γ)n$, then for every fixed $p \in (0,1)$, the random induced subgraph $H[p]$ contains an $F$-factor with probability at least $1/(rq)-o_n(1)$, where $q\in \mathbb{N}$ is the order of certain coset group defined from $H$. The probability is asymptotically best possible for infinitely many $F$ and $H$ and yields that a $1/(rq)-o_n(1)$ proportion of the subsets of $H$ induce $F$-factors, interestingly, regardless of whether $H$ itself admits an $F$-factor. Similar results are obtained for perfect matchings in hypergraphs under minimum degree conditions. Our proof combines concentration inequalities, lattice point counting in $\mathbb{Z}^d$ and structural theorems for $F$-factors in dense (hyper)graphs.

We study robust versions of properties of $(n,d,λ)$-graphs, namely, the property of a random sparsification of an $(n,d,λ)$-graph, where each edge is retained with probability $p$ independently. We prove such results for the containment problem of perfect matchings, Hamiltonian cycles, and triangle factors. These results address a series of problems posed by Frieze and Krivelevich. First we prove that given $γ>0$, for sufficient large $n$, any $(n,d,λ)$-graph $G$ with $λ=o(d)$, $d=Ω(\log n)$ and $p\ge\frac{(1+γ)\log n}{d}$, $G\cap G(n,p)$ contains a Hamiltonian cycle (and thus a perfect matching if $n$ is even) with high probability. This result is asymptotically optimal. Moreover, we show that for sufficient large $n$, any $(n,d,λ)$-graph $G$ with $λ=o(\frac{d^2}{n})$, $d=Ω(n^{\frac{5}{6}}\log^{\frac{1}{2}}n)$ and $p\gg d^{-1}n^{\frac{1}{3}}\log^{\frac{1}{3}} n$, $G\cap G(n,p)$ contains a triangle factor with high probability. Here, the restrictions on $p$ and $λ$ are asymptotically optimal. Our proof for the triangle factor problem uses the iterative absorption approach to build a spread measure on the triangle factors, and we also prove and use a coupling result for triangles in the random subgraph of an expander $G$ and the hyperedges in the random subgraph of the triangle-hypergraph of $G$.

The decision problem of perfect matchings in uniform hypergraphs is famously an NP-complete problem. It has been shown by Keevash--Knox--Mycroft [STOC, 2013] that for every $\varepsilon>0$, such decision problem restricted to $k$-uniform hypergraphs $H$ satisfying that every $(k-1)$-set of vertices is in at least $(1/k+\varepsilon)|H|$ edges is tractable, and the quantity $1/k$ is best possible. In this paper we study the existence of perfect matchings in the random $p$-sparsification of such $k$-uniform hypergraphs, that is, for $p=p(n)\in [0,1]$, every edge is kept with probability $p$ independent of others. As a consequence, we give a polynomial-time algorithm that with high probability solves the decision problem; we also derive effective bounds on the number of perfect matchings in such hypergraphs. At last, similar results are obtained for the $F$-factor problem in graphs. The key ingredients of the proofs are a strengthened partition lemma for the lattice-based absorption method, and the random redistribution method developed recently by Kelly, Müyesser and Pokrovskiy, based on the spread method.