Theorem 4.7 (U2 Inverse Theorem). Assuming that:
In other words, |β¨f,Οβ©|β₯Ξ΄2 for Ο(x)=e(βxβ bβp) and we say βf correlates with a linear phase functionβ.