Wednesday, January 9, 2008

Relationship between the different Definitions

The expansion parameters defined above are related to each other. In particular, for any graph G, h(G) \ge g_{1/2}(G) - 1. Consequently, every vertex expander family is also an edge expander family.

Similarly, when G is d-regular, there is a relationship between h(G) and the spectral gap d − λ1 of G. An inequality due to "Cheeger and Buser in the continuous case and Tanner, Alon, and Milman in the discrete case" [1] states that

\frac{1}{2}(d - \lambda_1) \le h(G) \le \sqrt{2d(d - \lambda_1)}

As a result, a family \mathcal{G} of graphs is an edge expander family if and only if \mathcal{G} is a spectral expander family.

No comments: