The Singer-Zauner gap for equiangular tight frames

We show that there does not exist a complex $d\times n$ equiangular tight frame with $$d^2-d+1<n<d^2\mathrm{.}$$ The proof, which originated from an internal model at OpenAI, mimics the relationship between real equiangular tight frames and strongly regular graphs.