Expanders are highly connected sparse graphs of great interest in computer science, in areas ranging from parallel computation to complexity theory, from cryptography to coding theory, and, most recently, computational group theory (see e.g. [AKS, G+, LP, SS, V, WZ].) The explicit constructions of expander graphs [M1, M2, LPS] (see also [GG, Lu]) use deep mathematical tools to construct families of Cayley graphs of finite groups. The Independence Problem [LW], is whether being an expander family is a property of the groups alone, independent of the choice of generators. A counterexample to the general the problem was recently obtained in [ALW], by using a new combinatorial construction of expanders [RVW]. The problem remains for all classical series of finite simple groups (An, PSL(2,p), etc.)Let G be a finite group generated by at most d elements. The product replacement graph Γk(G) is defined to be a graph, with vertices corresponding to generating k-tuples in G, and edges corresponding to Nielsen transformations. Most recently, graphs Γk(G) became a subject of an intense investigation, prompted by the study of a commonly used 'practical' product replacement algorithm for generating random elements in finite groups, designed Leedham-Green and Soicher [LG]. This algorithm, based on the random walk on graphs Γk(G), showed a remarkable performance, as reported in [C+]. It was suggested in [LP], and proved in several special cases, that the product replacement graphs Γk(G) are expanders, for a fixed k, when |G| → ∞The main result of this paper is Theorem 2, establishing the connection between the expansion coefficient of the product replacement graph Γk(G) and the minimal expansion coefficient of a Cayley graph of group G with k generators. One can think of our result as of an additional evidence in favor of the speculation in [LP]. On the other hand, it gives an algorithmic motivation for study of the Independence Problem, in the aftermath of [ALW].In a special case (see Theorem 1 below), we show that if one assumes that all Cayley graphs with at most four generators in PSL (2, p) have a universal lower bound on expansion, then the product replacement graphs Γk(PSL(2,p)) form an expander family, when k ≥ 8 is fixed, and p → ∞.The proof of the Theorems consists of two parts: probability on groups and graph theoretic. The latter is based on a new combinatorial result of independent interest (Lemmas 4, 5), which generalizes a classical lemma that the direct product of expanders is an expander (see e.g. [Ch]). We prove that if a graph Γ on a direct product of sets satisfies two conditions:1) all 'row' subgraphs are expanders,2) at least (1-e) proportion of 'column' graphs are expanders,then graph &Gamma is also an expander. We use a novel combinatorial technique based on graph decomposition, as opposed to path arguments used in previously in [CG, DS2, DS3, P4]. It is easy to see that such a technique can never prove that a certain family of graphs is an expander family (cf. [P3]).
Read more
59