On the Littlewood Problem Modulo a Prime

Abstract Let $p$ be a prime, and let $f:\mathbb{Z}/p\mathbb{Z}\to \mathbb{R}$ be a function with $\mathbb{E}f=0$ and $||\hat{f}|{{|}_{1}}\le 1$ . Then ${{\min }_{x\in \mathbb{Z}/p\mathbb{Z}}}|f\left( x \right)|=O{{\left( \log p \right)}^{-1/3+\in }}$ . One should think of $f$ as being “approximately continuous”; our result is then an “approximate intermediate value theorem”. As an immediate consequence we show that if $A\subseteq \mathbb{Z}/p\mathbb{Z}$ is a set of cardinality $\left\lfloor {p}/{2}\; \right\rfloor $ , then ${{\sum }_{r}}\widehat{|\,{{1}_{A}}}\left( r \right)|\gg {{\left( \log p \right)}^{1/3-\in }}$ . This gives a result on a “ $\,\bmod \,p$ ” analogue of Littlewood's well-known problem concerning the smallest possible ${{L}^{1}}$ -norm of the Fourier transform of a set of $n$ integers. Another application is to answer a question of Gowers. If $A\,\subseteq \,{\mathbb{Z}}/{p\mathbb{Z}}\;$ is a set of size $\left\lfloor {p}/{2}\; \right\rfloor $ , then there is some $x\,\in \,\mathbb{Z}/p\mathbb{Z}$ such that $$||A\cap \left( A+x \right)\,-\,p/4|\,=o\left( p \right).$$