I will discuss the problem of "dimension reduction for unitaries". The problem is motivated by questions in functional analysis (Connes embedding conjecture), quantum information theory (entanglement and non-locality), combinatorics (graph limits), the representation theory of finitely presented groups and algebras, etc. I will pose multiple questions and offer fewer results.