The theory of expander graphs has seen increased interaction between mathematics and computer science in the last 50 years with a high dimensional theory emerging in recent years that has shown ...