High dimensional expansion implies amplified local testability

Tali Kaufman, Izhar Oppenheim

In this work we show that high dimensional expansion implies locally testable code. Specifically, we define a notion that we call high-dimensional-expanding-system (HDE-system). Th…