On the editing distance of graphs

An edge-operation on a graph $G$ is defined to be either the deletion of an existing edge or the addition of a nonexisting edge. Given a family of graphs $\mathcal{G}$, the editing distance from $G$ to $\mathcal{G}$ is the smallest number of edge-operations needed to modify $G$ into a graph from $\mathcal{G}$. In this paper, we fix a graph $H$ and consider ${\rm Forb}(n,H)$, the set of all graphs on $n$ vertices that have no induced copy of $H$. We provide bounds for the maximum over all $n$-vertex graphs $G$ of the editing distance from $G$ to ${\rm Forb}(n,H)$, using an invariant we call the {\it binary chromatic number} of the graph $H$. We give asymptotically tight bounds for that distance when $H$ is self-complementary and exact results for several small graphs $H$

Almost spanning subgraphs of random graphs after adversarial edge removal

Let Delta>1 be a fixed integer. We show that the random graph G(n,p) with p>>(log n/n)^{1/Delta} is robust with respect to the containment of almost spanning bipartite graphs H with maximum degree Delta and sublinear bandwidth in the following sense: asymptotically almost surely, if an adversary deletes arbitrary edges in G(n,p) such that each vertex loses less than half of its neighbours, then the resulting graph still contains a copy of all such H.Comment: 46 pages, 6 figure

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

Ramsey properties of randomly perturbed graphs: cliques and cycles

Given graphs $H_1,H_2$, a graph $G$ is $(H_1,H_2)$-Ramsey if for every colouring of the edges of $G$ with red and blue, there is a red copy of $H_1$ or a blue copy of $H_2$. In this paper we investigate Ramsey questions in the setting of randomly perturbed graphs: this is a random graph model introduced by Bohman, Frieze and Martin in which one starts with a dense graph and then adds a given number of random edges to it. The study of Ramsey properties of randomly perturbed graphs was initiated by Krivelevich, Sudakov and Tetali in 2006; they determined how many random edges must be added to a dense graph to ensure the resulting graph is with high probability $(K_3,K_t)$-Ramsey (for $t\ge 3$). They also raised the question of generalising this result to pairs of graphs other than $(K_3,K_t)$. We make significant progress on this question, giving a precise solution in the case when $H_1=K_s$ and $H_2=K_t$ where $s,t \ge 5$. Although we again show that one requires polynomially fewer edges than in the purely random graph, our result shows that the problem in this case is quite different to the $(K_3,K_t)$-Ramsey question. Moreover, we give bounds for the corresponding $(K_4,K_t)$-Ramsey question; together with a construction of Powierski this resolves the $(K_4,K_4)$-Ramsey problem. We also give a precise solution to the analogous question in the case when both $H_1=C_s$ and $H_2=C_t$ are cycles. Additionally we consider the corresponding multicolour problem. Our final result gives another generalisation of the Krivelevich, Sudakov and Tetali result. Specifically, we determine how many random edges must be added to a dense graph to ensure the resulting graph is with high probability $(C_s,K_t)$-Ramsey (for odd $s\ge 5$ and $t\ge 4$).Comment: 24 pages + 12-page appendix; v2: cited independent work of Emil Powierski, stated results for cliques in graphs of low positive density separately (Theorem 1.6) for clarity; v3: author accepted manuscript, to appear in CP