2-universality in randomly perturbed graphs
Olaf Parczyk
DOI: https://doi.org/10.1016/j.ejc.2020.103118
IF: 0.89
2020-06-01
European Journal of Combinatorics
Abstract:<p>A graph <span class="math"><math>G</math></span> is called universal for a family of graphs <span class="math"><math>F</math></span> if it contains every element <span class="math"><math>F∈F</math></span> as a subgraph. Let <span class="math"><math>F(n,2)</math></span> be the family of all graphs with maximum degree 2. Ferber et al. (2019) proved that there exists a <span class="math"><math>C</math></span> such that for <span class="math"><math>p≥C(n−2∕3log1∕3n)</math></span> the random graph <span class="math"><math>G(n,p)</math></span> a.a.s is <span class="math"><math>F(n,2)</math></span>-universal, which is asymptotically optimal. For any <span class="math"><math>n</math></span>-vertex graph <span class="math"><math>Gα</math></span> with minimum degree <span class="math"><math>δ(Gα)≥αn</math></span> Aigner and Brandt (1993) proved that <span class="math"><math>Gα</math></span> is <span class="math"><math>F(n,2)</math></span>-universal if <span class="math"><math>α≥2∕3</math></span> (and this is optimal).</p><p>In this note, we consider the model of randomly perturbed graphs, which is the union <span class="math"><math>Gα∪G(n,p)</math></span>. We prove that a.a.s. <span class="math"><math>Gα∪G(n,p)</math></span> is <span class="math"><math>F(n,2)</math></span>-universal provided that <span class="math"><math>α∈(0,1)</math></span> and <span class="math"><math>p=ω(n−2∕3)</math></span>. This is asymptotically optimal and improves on both results from above in the respective parameter. Furthermore, this extends a result of Böttcher et al. (in press), who embed a given <span class="math"><math>F∈F(n,2)</math></span> at these values. We also prove variants with universality for the family <span class="math"><math>Fℓ(n,2)</math></span>, all graphs from <span class="math"><math>F(n,2)</math></span> with girth at least <span class="math"><math>ℓ</math></span>. For example, there exists an <span class="math"><math>ℓ0</math></span> depending only on <span class="math"><math>α</math></span> such that for all <span class="math"><math>ℓ≥ℓ0</math></span> already <span class="math"><math>p=ω(1∕n)</math></span> is sufficient for <span class="math"><math>Fℓ(n,2)</math></span>-universality.</p>
mathematics