The previous talk in the series is here. The next talk in the series is here.
High-dimensional expansion generalizes edge and spectral expansion in graphs to higher-dimensional hypergraphs or simplicial complexes. Unlike for graphs, it is exceptionally rare for a high dimensional complex to be both sparse and expanding. The only known such expanders are number-theoretic or group-theoretic.
Their key feature is a local-to-global geometry, that allows deducing global information about the entire complex from local information in the neighborhoods/links. We will discuss some results known about these objects, and how their local-to-global geometry, shared also by PCPs, can potentially lead to new codes and proofs.
This video is part of the Institute for Advanced Study‘s Hermann Weyl lecture series.