## Local and global expansion of graphs

The emerging theory of High-Dimensional Expansion suggests a number of inherently different notions to quantify expansion of simplicial complexes. We will talk about the notion of local spectral expansion, that plays a key role in recent advances in PCP theory, coding theory and counting complexity. Our focus is on bounded-degree complexes, where the problems can be stated in a graph-theoretic language: