Embedding spanning bounded degree graphs in randomly perturbed graphs

We study the model G 8 G(n; p) of randomly perturbed dense graphs, where G is any n-vertex graph with minimum degree at least n and G(n; p) is the binomial random graph. We introduce a general approach for studying the appearance of spanning subgraphs in this model using absorption. This approach yields simpler proofs of several known results. We also use it to derive the following two new results. For every > 0 and C 5, and every n-vertex graph F with maximum degree at most , we show that if p = !(n−2~(+1)) then G 8 G(n; p) with high probability contains a copy of F. The bound used for p here is lower by a log-factor in comparison to the conjectured threshold for the general appearance of such subgraphs in G(n; p) alone, a typical feature of previous results concerning randomly perturbed dense graphs. We also give the rst example of graphs where the appearance threshold in G 8 G(n; p) is lower than the appearance threshold in G(n; p) by substantially more than a log-factor. We prove that, for every k C 2 and > 0, there is some > 0 for which the kth power of a Hamilton cycle with high probability appears in G 8 G(n; p) when p = !(n−1~k−). The appearance threshold of the kth power of a Hamilton cycle in G(n; p) alone is known to be n−1~k, up to a log-term when k = 2, and exactly for k > 2

Finding any given 2-factor in sparse pseudorandom graphs efficiently

Given an $n$-vertex pseudorandom graph $G$ and an $n$-vertex graph $H$ with maximum degree at most two, we wish to find a copy of $H$ in $G$, i.e.\ an embedding $\varphi\colon V(H)\to V(G)$ so that $\varphi(u)\varphi(v)\in E(G)$ for all $uv\in E(H)$. Particular instances of this problem include finding a triangle-factor and finding a Hamilton cycle in $G$. Here, we provide a deterministic polynomial time algorithm that finds a given $H$ in any suitably pseudorandom graph $G$. The pseudorandom graphs we consider are $(p,\lambda)$-bijumbled graphs of minimum degree which is a constant proportion of the average degree, i.e.\ $\Omega(pn)$. A $(p,\lambda)$-bijumbled graph is characterised through the discrepancy property: $\left|e(A,B)-p|A||B|\right |<\lambda\sqrt{|A||B|}$ for any two sets of vertices $A$ and $B$. Our condition $\lambda=O(p^2n/\log n)$ on bijumbledness is within a log factor from being tight and provides a positive answer to a recent question of Nenadov. We combine novel variants of the absorption-reservoir method, a powerful tool from extremal graph theory and random graphs. Our approach is based on that of Nenadov (\emph{Bulletin of the London Mathematical Society}, to appear) and on ours (arXiv:1806.01676), together with additional ideas and simplifications.Comment: 21 page