In the last ?fteen years two seemingly unrelated problems, one in computer science and the other in measure theory, were solved by amazingly similar techniques from representation theory and from analytic number theory. One problem is the - plicit construction of expanding graphs («expanders»). These are highly connected sparse graphs whose existence can be easily demonstrated but whose explicit c- struction turns out to be a dif?cult task. Since expanders serve as basic building blocks for various distributed networks, an explicit construction is highly des- able. The other problem is one posed by Ruziewicz about seventy years ago and studied by Banach [Ba]. It asks whether the Lebesgue measure is the only ?nitely additive measure of total measure one, de?ned on the Lebesgue subsets of the n-dimensional sphere and invariant under all rotations. The two problems seem, at ?rst glance, totally unrelated. It is therefore so- what surprising that both problems were solved using similar initially, Kazhdan’s property (T) from representation theory of semi-simple Lie groups was applied in both cases to achieve partial results, and later on, both problems were solved using the (proved) Ramanujan conjecture from the theory of automorphic forms. The fact that representation theory and automorphic forms have anything to do with these problems is a surprise and a hint as well that the two questions are strongly related.

Award-winning monograph of the Ferran Sunyer i Balaguer Prize 2001. Subgroup growth studies the distribution of subgroups of finite index in a group as a function of the index. In the last two decades this topic has developed into one of the most active areas of research in infinite group theory; this book is a systematic and comprehensive account of the substantial theory which has emerged. As well as determining the range of possible 'growth types', for finitely generated groups in general and for groups in particular classes such as linear groups, a main focus of the book is on the tight connection between the subgroup growth of a group and its algebraic structure. A wide range of mathematical disciplines play a significant role in this work: as well as various aspects of infinite group theory, these include finite simple groups and permutation groups, profinite groups, arithmetic groups and Strong Approximation, algebraic and analytic number theory, probability, and p-adic model theory. Relevant aspects of such topics are explained in self-contained 'windows'.