Expansion and Lack Thereof in Randomly Perturbed Graphs

  • Authors:
  • Abraham D. Flaxman

  • Affiliations:
  • Microsoft Research, Redmond, USA 98052

  • Venue:
  • Algorithms and Models for the Web-Graph
  • Year:
  • 2007

Quantified Score

Hi-index 0.00

Visualization

Abstract

This paper studies the expansion properties of randomly perturbed graphs. These graphs are formed by, for example, adding a random $1{\text{-out}}$ or very sparse Erdős-Rényi graph to an arbitrary connected graph.The central results show that there exists a constant 驴such that when any connected n-vertex base graph $\bar{G}$ is perturbed by adding a random 1-out then, with high probability, the resulting graph has $e(S,\bar S) \geq \delta |S|$ for all S驴 Vwith $|S| \leq \frac34 n$. When $\bar{G}$ is perturbed by adding a random Erdős-Rényi graph, $\mathbb{G}_{n,\epsilon/n}$, the expansion of the perturbed graph depends on the structure of the base graph. A necessary condition for the base graph is given under which the resulting graph is an expander with high probability.The proof techniques are also applied to study rapid mixing in the small worlds graphs described by Watts and Strogatz in [Nature 292(1998), 440---442] and by Kleinberg in [Proc. of 32nd ACM Symposium on Theory of Computing(2000), 163---170]. Analysis of Kleinberg's model shows that the graph stops being an expander exactly at the point where a decentralized algorithm is effective in constructing a short path.The proofs of expansion rely on a way of summing over subsets of vertices which allows an argument based on the First Moment Method to succeed.