Theorem 4.14 (U3 inverse theorem). Assuming that:

  • f:𝔽5n→ℂ

  • ∥f∥L∞(𝔽5n)≤1

  • ∥f∥U3(G)≥δ for some δ>0

Then there exists a symmetric n×n matrix M with entries in 𝔽5 and b∈𝔽5n such that
|𝔼xf(x)e((x⊤⁡Mx+b⊤⁡x)∕p)|≥c(δ)

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”.