Over a high-dimensional vector space Fnpover a fixed finite
field Fp, the inverse theorem for the Gowers norm asserts that a
bounded function f on this space that has a large Gowers Uk+1 norm,
must necessarily correlate with a phase polynomial e(P)...