Theorem 4.14 (U3 inverse theorem). Assuming that:
where c(δ) is a polynomial in δ. In other words, |⟨f,ϕ⟩|≥c(δ) for ϕ(x)=e((x⊤Mx+b⊤x)∕p) and we say “f correlates with a quadratic phase function”.