## Abstract

In this paper we study the problem of explicitly constructing a dimension expander raised by [3]: Let F^{n} be the n dimensional linear space over the field F. Find a small (ideally constant) set of linear transformations from F^{n} to itself {A_{i}}_{i∈I} such that for every linear subspace V ⊂ F^{n} of dimension dim(V), < n/2 we have, where α>0 is some constant. In other words, the dimension of the subspace spanned by {A_{i}(V)}_{i∈I} should be at least (1+α)·dim(V). For fields of characteristic zero Lubotzky and Zelmanov [10] completely solved the problem by exhibiting a set of matrices, of size independent of n, having the dimension expansion property. In this paper we consider the finite field version of the problem and obtain the following results. We give a constant number of matrices that expand the dimension of every subspace of dimension d<n/2 by a factor of (1+1/logn). We give a set of O<(logn) matrices with expanding factor of (1+α), for some constant α>0. Our constructions are algebraic in nature and rely on expanding Cayley graphs for the group ℤ=ℤn and small-diameter Cayley graphs for the group SL_{2}(p).

Original language | English |
---|---|

Pages (from-to) | 305-320 |

Number of pages | 16 |

Journal | Combinatorica |

Volume | 31 |

Issue number | 3 |

DOIs | |

State | Published - May 2011 |

Externally published | Yes |