Expanding polynomials over finite fields of large characteristic, and a regularity lemma for definable sets

Terence Tao

Let $P: \F \times \F \to \F$ be a polynomial of bounded degree over a finite field $\F$ of large characteristic. In this paper we establish the following dichotomy: either $P$ is a…