Hostname: page-component-78c5997874-g7gxr Total loading time: 0 Render date: 2024-11-13T04:44:56.763Z Has data issue: false hasContentIssue false

Non-classical polynomials and the inverse theorem

Published online by Cambridge University Press:  15 December 2021

AARON BERGER
Affiliation:
Department of Mathematics, Massachusetts Institute of Technology, Cambridge, MA 02139, U.S.A e-mails: bergera@mit.edu, asah@mit.edu, msawhney@mit.edu, jtidor@mit.edu
ASHWIN SAH
Affiliation:
Department of Mathematics, Massachusetts Institute of Technology, Cambridge, MA 02139, U.S.A e-mails: bergera@mit.edu, asah@mit.edu, msawhney@mit.edu, jtidor@mit.edu
MEHTAAB SAWHNEY
Affiliation:
Department of Mathematics, Massachusetts Institute of Technology, Cambridge, MA 02139, U.S.A e-mails: bergera@mit.edu, asah@mit.edu, msawhney@mit.edu, jtidor@mit.edu
JONATHAN TIDOR
Affiliation:
Department of Mathematics, Massachusetts Institute of Technology, Cambridge, MA 02139, U.S.A e-mails: bergera@mit.edu, asah@mit.edu, msawhney@mit.edu, jtidor@mit.edu

Abstract

In this paper we characterize when non-classical polynomials are necessary in the inverse theorem for the Gowers $U^k$ -norm. We give a brief deduction of the fact that a bounded function on $\mathbb F_p^n$ with large $U^k$ -norm must correlate with a classical polynomial when $k\le p+1$ . To the best of our knowledge, this result is new for $k=p+1$ (when $p>2$ ). We then prove that non-classical polynomials are necessary in the inverse theorem for the Gowers $U^k$ -norm over $\mathbb F_p^n$ for all $k\ge p+2$ , completely characterising when classical polynomials suffice.

Type
Research Article
Copyright
© The Author(s), 2021. Published by Cambridge University Press on behalf of Cambridge Philosophical Society

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

Footnotes

Berger, Sah, Sawhney, and Tidor were supported by NSF Graduate Research Fellowship Program DGE-1745302.

References

N., Alon and R., Beigel. Lower bounds for approximations by low degree polynomials over $\mathbb{Z}/m\mathbb{Z}$ . Proceedings 16th Annual IEEE Conference on Computational Complexity pp. 184–187.Google Scholar
V., Bergelson, T., Tao, and T., Ziegler. An inverse theorem for the uniformity seminorms associated with the action of $\mathbb F^\infty_p$ . Geom. Funct. Anal. 19 (2010), 15391596.Google Scholar
B., Green and T., Tao. The distribution of polynomials over finite fields, with applications to the Gowers norms.. Contrib Discrete Math. 4 (2009), 136.Google Scholar
S., Lovett, R., Meshulam and A., Samorodnitsky. Inverse conjecture for the Gowers norm is false. Theory Comput. 7 (2011), 131145.Google Scholar
A., Samorodnitsky. Low-degree tests at large distances. STOC’07 Proceedings of the 39th Annual ACM Symposium on Theory of Computing ACM, New York, 2007, pp. 506515.CrossRefGoogle Scholar
T., Tao and T., Ziegler. The inverse conjecture for the Gowers norm over finite fields via the correspondence principle. Analysis & PDE 3 (2010), 120.Google Scholar
T., Tao and T., Ziegler. The inverse conjecture for the Gowers norm over finite fields in low characteristic. Ann. Comb. 16 (2012), 121188.Google Scholar