In this talk, I'll illustrate how to lift a "small" locally
testable code via a high dimensional expander (HDX) to a "large"
locally testable code. Given a D-left regular bipartite graph G =
([n], [m], E) and a "small" code C \in {0,1}^D, the Tanner...