# The Inverse Conjecture for the Gowers Norm over Finite Fields in Low Characteristic

@article{Tao2011TheIC, title={The Inverse Conjecture for the Gowers Norm over Finite Fields in Low Characteristic}, author={Terence Tao and Tamar D. Ziegler}, journal={Annals of Combinatorics}, year={2011}, volume={16}, pages={121-188} }

We establish the inverse conjecture for the Gowers norm over finite fields, which asserts (roughly speaking) that if a bounded function $${f : V \rightarrow \mathbb{C}}$$ on a finite-dimensional vector space V over a finite field $${\mathbb{F}}$$ has large Gowers uniformity norm $${{\parallel{f}\parallel_{U^{s+1}(V)}}}$$ , then there exists a (non-classical) polynomial $${P: V \rightarrow \mathbb{T}}$$ of degree at most s such that f correlates with the phase e(P) = e2πiP. This conjecture had…

## 80 Citations

A quantitative inverse theorem for the $U^4$ norm over finite fields

- Mathematics
- 2017

A remarkable result of Bergelson, Tao and Ziegler implies that if $c>0$, $k$ is a positive integer, $p\geq k$ is a prime, $n$ is sufficiently large, and $f:\mathbb F_p^n\to\mathbb C$ is a function…

On polynomial approximations over Z/2kZ

- Mathematics, Computer ScienceSTACS
- 2017

It is observed that the model the authors study subsumes the model of non-classical polynomials in the sense that proving bounds in the model implies bounds on the agreement ofNon- classical poynomials with Boolean functions.

On the Structure of Quintic Polynomials

- MathematicsAPPROX-RANDOM
- 2016

The structure of bounded degree polynomials over finite fields is studied and it is shown that whenever such a strong structure exists, it can be found algorithmically in time polynomial in n using algorithmic regularity lemmas.

Extending weakly polynomial functions from high rank varieties

- Mathematics
- 2018

Let $k$ be a field, $V$ a $k$-vector space and $X$ be a subset of $V $. A function $f:X\to k$ is weakly polynomial of degree $\leq a$, if the restriction of $f$ on any affine subspace $L\subset X$ is…

An inverse theorem for Freiman multi-homomorphisms

- Mathematics
- 2020

Let $G_1, \dots, G_k$ and $H$ be vector spaces over a finite field $\mathbb{F}_p$ of prime order. Let $A \subset G_1 \times\dots\times G_k$ be a set of size $\delta |G_1| \cdots |G_k|$. Let a map…

Quantitative inverse theorem for Gowers uniformity norms $\mathsf{U}^5$ and $\mathsf{U}^6$ in $\mathbb{F}_2^n$

- Mathematics
- 2022

We prove quantitative bounds for the inverse theorem for Gowers uniformity norms U and U in F2 . The proof starts from an earlier partial result of Gowers and the author which reduces the inverse…

Correlation Testing for Affine Invariant Properties on $\mathbb{F}_p^n$ in the High Error Regime

- Mathematics, Computer ScienceArXiv
- 2011

It is shown that any such property (as long as the field size is not too small) can in fact be tested by Gowers uniformity tests, and hence having correlation with the property is equivalent toHaving correlation with degree $d$ polynomials for some fixed $d$.

Partial difference equations over compact Abelian groups, I: modules of solutions

- Mathematics
- 2013

Consider a compact Abelian group $Z$ and closed subgroups $U_1$, \ldots, $U_k \leq Z$. Let $\mathbb{T} := \mathbb{R}/\mathbb{Z}$. This paper examines two kinds of functional equation for measurable…

Higher-Order Fourier Analysis Of $${\mathbb{F}_{p}^n}$$ And The Complexity Of Systems Of Linear Forms

- Mathematics, Computer Science
- 2010

For a given linear structure, the smallest degree of uniformity k is found such that assuming that f2 is sufficiently small, it is possible to discard f2 and replace 1A with f1, affecting the corresponding analytic average only negligibly.

High-entropy dual functions over finite fields and locally decodable codes

- Mathematics, Computer ScienceForum of Mathematics, Sigma
- 2021

A natural finite-field analogue of a problem of Frantzikinakis on-approximations of dual functions over ${\mathbb{N}}$ (a.k.a. multiple correlation sequences) by nilsequences is answered.

## References

SHOWING 1-10 OF 54 REFERENCES

An Inverse Theorem for the Uniformity Seminorms Associated with the Action of $${{\mathbb {F}^{\infty}_{p}}}$$

- Mathematics
- 2009

Let $${\mathbb {F}}$$ a finite field. We show that the universal characteristic factor for the Gowers–Host–Kra uniformity seminorm Uk(X) for an ergodic action $${(T_{g})_{{g} \in \mathbb…

Linear Forms and Higher-Degree Uniformity for Functions On $${\mathbb{F}^{n}_{p}}$$

- Mathematics
- 2010

In [GW1] we began an investigation of the following general question. Let L1, . . . , Lm be a system of linear forms in d variables on $${F^n_p}$$, and let A be a subset of $${F^n_p}$$ of positive…

An inverse theorem for the Gowers U^{s+1}[N]-norm (announcement)

- Mathematics
- 2010

In this note we announce the proof of the inverse conjecture for the Gowers U^{s+1}[N]-norm for all s => 3; this is new for s => 4, the cases s = 1,2,3 having been previously established. More…

The inverse conjecture for the Gowers norm over finite fields via the correspondence principle

- Mathematics
- 2010

The inverse conjecture for the Gowers norms U d .V/ for finite-dimensional vector spaces V over a finite field F asserts, roughly speaking, that a bounded function f has large Gowers normk fkU d.V/…

The quantitative behaviour of polynomial orbits on nilmanifolds

- Mathematics
- 2007

A theorem of Leibman asserts that a polynomial orbit $(g(1),g(2),g(3),\ldots)$ on a nilmanifold $G/\Gamma$ is always equidistributed in a union of closed sub-nilmanifolds of $G/\Gamma$. In this paper…

The distribution of polynomials over finite fields, with applications to the Gowers norms

- MathematicsContributions Discret. Math.
- 2009

The main result is that a polynomial P : F^n -> F is poorly-distributed only if P is determined by the values of a few polynomials of lower degree, in which case it is said that P has small rank.

New bounds for Szemerédi's theorem, I: progressions of length 4 in finite field geometries

- Mathematics
- 2009

Let k ⩾ 3 be an integer, and let G be a finite abelian group with |G| = N, where (N, (k − 1)!) = 1. We write rk(G) for the largest cardinality |A| of a set A ⊆ G which does not contain k distinct…

On the norm convergence of non-conventional ergodic averages

- MathematicsErgodic Theory and Dynamical Systems
- 2009

Abstract We offer a proof of the following non-conventional ergodic theorem: If Ti:ℤr↷(X,Σ,μ) for i=1,2,…,d are commuting probability-preserving ℤr-actions, (IN)N≥1 is a Følner sequence of subsets of…

Structure of finite nilspaces and inverse theorems for the Gowers norms in bounded exponent groups

- Mathematics
- 2010

A result of the author shows that the behavior of Gowers norms on bounded exponent abelian groups is connected to finite nilspaces. Motivated by this, we investigate the structure of finite…

Universal characteristic factors and Furstenberg averages

- Mathematics
- 2006

Let X=(X^0,\mu,T) be an ergodic measure preserving system. For a natural number k we consider the averages (*) 1/N \sum_{n=1}^N \prod_{j=1}^k f_j(T^{n a_j}x) where the functions f_j are bounded, and…