Explore high dimensional expansion theory, from graph fundamentals to complex applications in error-correcting codes and PCPs, focusing on how local properties influence global behaviors in mathematical structures.
