This text is a self-contained study of expander graphs, specifically, their explicit construction. Expander graphs are highly connected but sparse, and while being of interest within combinatorics and graph theory, they can also be applied to computer science and engineering. Only a knowledge of elementary algebra, analysis and combinatorics is required because the authors provide the necessary background from graph theory, number theory, group theory and representation theory. Thus the text can be used as a brief introduction to these subjects and their synthesis in modern mathematics.

The Baum-Connes conjecture is part of A. Connes' non-commutative geometry programme. It can be viewed as a conjectural generalisation of the Atiyah-Singer index theorem, to the equivariant setting (the ambient manifold is not compact, but some compactness is restored by means of a proper, co-compact action of a group "gamma"). Like the Atiyah-Singer theorem, the Baum-Connes conjecture states that a purely topological object coincides with a purely analytical one. For a given group "gamma," the topological object is the equivariant K-homology of the classifying space for proper actions of...

Property (T) is a rigidity property for topological groups, first formulated by D. Kazhdan in the mid 1960's with the aim of demonstrating that a large class of lattices are finitely generated. Later developments have shown that Property (T) plays an important role in an amazingly large variety of subjects, including discrete subgroups of Lie groups, ergodic theory, random walks, operator algebras, combinatorics, and theoretical computer science. This monograph offers a comprehensive introduction to the theory. It describes the two most important points of view on Property (T): the first uses...