I will show how to construct Ramanujan graphs with small girth. The focus of the talk would be on towers of Ramanujan graphs, i.e. infinite sequence of graphs covering each other:
... X_n --> X_n-1 --> ... --> X_0.
I will address the question:
what are the possible (infinite) graphs that can cover such a tower?