Background on unique games conjecture, the new 2:1 result and implications, high level description of the construction, highlighting "subcode covering"
The Grassmann encoding, graph, and test, and its subtle soundness analysis. This includes the reduction from the test to the structure of non-expanding sets.
Non-expanding sets in the Grassman graph and proof of the soundness conjecture via harmonic analysis