Chang theorem

Chang's theorem says that ${\mathrm{Spec}}_{\rho }(1_A)$ is contained in the span of a dissociated set of size $O({\rho }^{-2}\log ({\alpha }^{-1}))$.