Table of Contents
Fetching ...

Bounded-degree spanning trees in randomly perturbed graphs

Michael Krivelevich, Matthew Kwan, Benny Sudakov

TL;DR

This work shows that for every fixed dense graph $G$ and every $n$-vertex tree $T$ with bounded maximum degree, a modest random perturbation suffices to embed $T$ into $G\cup R$, where $R\in G(n, c/n)$ and the constant $c=c(\alpha,\Delta)$ depends only on the minimum-density parameter and the tree's degree bound. The authors combine extremal and probabilistic methods, splitting the proof into two cases based on the number of leaves in $T$, and use a multi-phase perturbation together with Szemerédi's regularity lemma and the blow-up lemma to achieve the embedding. A key technical ingredient is a lemma that decomposes a dense graph into super-regular pairs, which supports the embedding in the few-leaves case. The results bridge dense-graph embedding results and random-graph embedding phenomena, providing a robust framework for embedding bounded-degree spanning trees in randomly perturbed graphs and suggesting avenues for extending to broader spanning subgraphs and universality questions.

Abstract

We show that for any fixed dense graph G and bounded-degree tree T on the same number of vertices, a modest random perturbation of G will typically contain a copy of T . This combines the viewpoints of the well-studied problems of embedding trees into fixed dense graphs and into random graphs, and extends a sizeable body of existing research on randomly perturbed graphs. Specifically, we show that there is $c = c(α,Δ)$ such that if G is an n-vertex graph with minimum degree at least $αn$, and T is an n-vertex tree with maximum degree at most $Δ$ , then if we add cn uniformly random edges to G, the resulting graph will contain T asymptotically almost surely (as $n\to\infty$ ). Our proof uses a lemma concerning the decomposition of a dense graph into super-regular pairs of comparable sizes, which may be of independent interest.

Bounded-degree spanning trees in randomly perturbed graphs

TL;DR

This work shows that for every fixed dense graph and every -vertex tree with bounded maximum degree, a modest random perturbation suffices to embed into , where and the constant depends only on the minimum-density parameter and the tree's degree bound. The authors combine extremal and probabilistic methods, splitting the proof into two cases based on the number of leaves in , and use a multi-phase perturbation together with Szemerédi's regularity lemma and the blow-up lemma to achieve the embedding. A key technical ingredient is a lemma that decomposes a dense graph into super-regular pairs, which supports the embedding in the few-leaves case. The results bridge dense-graph embedding results and random-graph embedding phenomena, providing a robust framework for embedding bounded-degree spanning trees in randomly perturbed graphs and suggesting avenues for extending to broader spanning subgraphs and universality questions.

Abstract

We show that for any fixed dense graph G and bounded-degree tree T on the same number of vertices, a modest random perturbation of G will typically contain a copy of T . This combines the viewpoints of the well-studied problems of embedding trees into fixed dense graphs and into random graphs, and extends a sizeable body of existing research on randomly perturbed graphs. Specifically, we show that there is such that if G is an n-vertex graph with minimum degree at least , and T is an n-vertex tree with maximum degree at most , then if we add cn uniformly random edges to G, the resulting graph will contain T asymptotically almost surely (as ). Our proof uses a lemma concerning the decomposition of a dense graph into super-regular pairs of comparable sizes, which may be of independent interest.

Paper Structure

This paper contains 10 sections, 14 theorems, 17 equations, 1 figure.

Key Result

Lemma 1

There is $c=c\mathopen{}\mathclose{\left(\varepsilon,\Delta\right)$ such that $G\in\mathbb{G}\mathopen{}\mathclose{\left(n,c/n\right)$ a.a.s. contains every tree of maximum degree at most $\Delta$ on $\mathopen{}\mathclose{\left(1-\varepsilon\right)n$ vertices.

Figures (1)

  • Figure 1: An example special path is shown, for $k=7$.

Theorems & Definitions (32)

  • Lemma 1
  • Remark 2
  • Lemma 3
  • Lemma 4
  • proof
  • Definition 5
  • Lemma 6
  • Lemma 7: Szemerédi's regularity lemma, minimum degree form
  • proof
  • Lemma 8
  • ...and 22 more