Local resilience and Hamiltonicity Maker-Breaker games in random-regular graphs

For an increasing monotone graph property \mP the \emph{local resilience} of a graph $G$ with respect to \mP is the minimal $r$ for which there exists of a subgraph $H\subseteq G$ with all degrees at most $r$ such that the removal of the edges of $H$ from $G$ creates a graph that does not possesses \mP. This notion, which was implicitly studied for some ad-hoc properties, was recently treated in a more systematic way in a paper by Sudakov and Vu. Most research conducted with respect to this distance notion focused on the Binomial random graph model \GNP and some families of pseudo-random graphs with respect to several graph properties such as containing a perfect matching and being Hamiltonian, to name a few. In this paper we continue to explore the local resilience notion, but turn our attention to random and pseudo-random \emph{regular} graphs of constant degree. We investigate the local resilience of the typical random $d$-regular graph with respect to edge and vertex connectivity, containing a perfect matching, and being Hamiltonian. In particular we prove that for every positive $\epsilon$ and large enough values of $d$ with high probability the local resilience of the random $d$-regular graph, \GND, with respect to being Hamiltonian is at least $(1-\epsilon)d/6$. We also prove that for the Binomial random graph model \GNP, for every positive $\epsilon>0$ and large enough values of $K$, if $p>\frac{K\ln n}{n}$ then with high probability the local resilience of \GNP with respect to being Hamiltonian is at least $(1-\epsilon)np/6$. Finally, we apply similar techniques to Positional Games and prove that if $d$ is large enough then with high probability a typical random $d$-regular graph $G$ is such that in the unbiased Maker-Breaker game played on the edges of $G$, Maker has a winning strategy to create a Hamilton cycle.Comment: 34 pages. 1 figur

Local resilience of an almost spanning kk-cycle in random graphs

The famous P\'{o}sa-Seymour conjecture, confirmed in 1998 by Koml\'{o}s, S\'{a}rk\"{o}zy, and Szemer\'{e}di, states that for any $k \geq 2$, every graph on $n$ vertices with minimum degree $kn/(k + 1)$ contains the $k$-th power of a Hamilton cycle. We extend this result to a sparse random setting. We show that for every $k \geq 2$ there exists $C > 0$ such that if $p \geq C(\log n/n)^{1/k}$ then w.h.p. every subgraph of a random graph $G_{n, p}$ with minimum degree at least $(k/(k + 1) + o(1))np$, contains the $k$-th power of a cycle on at least $(1 - o(1))n$ vertices, improving upon the recent results of Noever and Steger for $k = 2$, as well as Allen et al. for $k \geq 3$. Our result is almost best possible in three ways: for $p \ll n^{-1/k}$ the random graph $G_{n, p}$ w.h.p. does not contain the $k$-th power of any long cycle; there exist subgraphs of $G_{n, p}$ with minimum degree $(k/(k + 1) + o(1))np$ and $\Omega(p^{-2})$ vertices not belonging to triangles; there exist subgraphs of $G_{n, p}$ with minimum degree $(k/(k + 1) - o(1))np$ which do not contain the $k$-th power of a cycle on $(1 - o(1))n$ vertices.Comment: 24 pages; small updates to the paper after anonymous reviewers' report

Local resilience for squares of almost spanning cycles in sparse random graphs

In 1962, P\'osa conjectured that a graph $G=(V, E)$ contains a square of a Hamiltonian cycle if $\delta(G)\ge 2n/3$. Only more than thirty years later Koml\'os, S\'ark\H{o}zy, and Szemer\'edi proved this conjecture using the so-called Blow-Up Lemma. Here we extend their result to a random graph setting. We show that for every $\epsilon > 0$ and $p=n^{-1/2+\epsilon}$ a.a.s. every subgraph of $G_{n,p}$ with minimum degree at least $(2/3+\epsilon)np$ contains the square of a cycle on $(1-o(1))n$ vertices. This is almost best possible in three ways: (1) for $p\ll n^{-1/2}$ the random graph will not contain any square of a long cycle (2) one cannot hope for a resilience version for the square of a spanning cycle (as deleting all edges in the neighborhood of single vertex destroys this property) and (3) for $c<2/3$ a.a.s. $G_{n,p}$ contains a subgraph with minimum degree at least $cnp$ which does not contain the square of a path on $(1/3+c)n$ vertices

Packing spanning graphs from separable families

Let $\mathcal G$ be a separable family of graphs. Then for all positive constants $\epsilon$ and $\Delta$ and for every sufficiently large integer $n$, every sequence $G_1,\dotsc,G_t\in\mathcal G$ of graphs of order $n$ and maximum degree at most $\Delta$ such that $e(G_1)+\dotsb+e(G_t) \leq (1-\epsilon)\binom{n}{2}$ packs into $K_n$. This improves results of B\"ottcher, Hladk\'y, Piguet, and Taraz when $\mathcal G$ is the class of trees and of Messuti, R\"odl, and Schacht in the case of a general separable family. The result also implies approximate versions of the Oberwolfach problem and of the Tree Packing Conjecture of Gy\'arf\'as (1976) for the case that all trees have maximum degree at most $\Delta$. The proof uses the local resilience of random graphs and a special multi-stage packing procedure

Local resilience of spanning subgraphs in sparse random graphs

For each real γ>0γ>0 and integers Δ≥2Δ≥2 and k≥1k≥1, we prove that there exist constants β>0β>0 and C>0C>0 such that for all p≥C(log⁡n/n)1/Δp≥C(log⁡n/n)1/Δ the random graph G(n,p)G(n,p) asymptotically almost surely contains – even after an adversary deletes an arbitrary (1/k−γ1/k−γ)-fraction of the edges at every vertex – a copy of every n-vertex graph with maximum degree at most Δ, bandwidth at most βn and at least Cmax⁡{p−2,p−1log⁡n}Cmax⁡{p−2,p−1log⁡n} vertices not in triangles

Generating random graphs in biased Maker-Breaker games

We present a general approach connecting biased Maker-Breaker games and problems about local resilience in random graphs. We utilize this approach to prove new results and also to derive some known results about biased Maker-Breaker games. In particular, we show that for $b=o\left(\sqrt{n}\right)$, Maker can build a pancyclic graph (that is, a graph that contains cycles of every possible length) while playing a $(1:b)$ game on $E(K_n)$. As another application, we show that for $b=\Theta\left(n/\ln n\right)$, playing a $(1:b)$ game on $E(K_n)$, Maker can build a graph which contains copies of all spanning trees having maximum degree $\Delta=O(1)$ with a bare path of linear length (a bare path in a tree $T$ is a path with all interior vertices of degree exactly two in $T$)