Expander mixing lemma
From Wikipedia, the free encyclopedia
The expander mixing lemma states that, for any two subsets S,T of a regular expander graph G, the number of edges between S and T is approximately what you would expect in a random d-regular graph, i.e. .
[edit] Statement
Let G = (V,E) be a d-regular graph with (un-)normalized second-largest eigenvalue λ. Then for any two subsets , let E(S,T) denote the number of edges between S and T. We have
For a proof, see link in references.
[edit] Converse
Recently, Bilu and Linial showed that the converse holds as well: if a graph satisfies the conclusion of the expander mixing lemma, that is, for any two subsets ,
then its second-largest eigenvalue is O(α(1 + log(d / α))).