The unique games conjecture gives a very strong PCP theorem, which, if true, leads to a clean understanding of a broad family of approximation problems. We will describe recent progress on the conjecture and how certain type of expansion and hypercontractivity of the Grassmannian complex plays a key role.