This the first lecture for CSE 599S: Analytical and geometric methods in the theory of computation. Today we’ll consider the gap amplification problem for 2-prover games, and see how it’s intimately related to some high-dimensional isoperimetric problems about foams. 2,277 more words