An Inverse Theorem for Certain Directional Gowers Uniformity Norms (2103.06354v1)

Abstract: Let $G$ be a finite-dimensional vector space over a prime field $\mathbb{F}p$ with some subspaces $H_1, \dots, H_k$. Let $f \colon G \to \mathbb{C}$ be a function. Generalizing the notion of Gowers uniformity norms, Austin introduced directional Gowers uniformity norms of $f$ over $(H_1, \dots, H_k)$ as [|f|{\mathsf{U}(H_1, \dots, H_k)}^{2^k} = \mathbb{E}{x \in G,h_1 \in H_1, \dots, h_k \in H_k} \partial{h_1} \dots \partial_{h_k} f(x)] where $\partial_u f(x) \colon= f(x + u) \overline{f(x)}$ is the discrete multiplicative derivative. Suppose that $G$ is a direct sum of subspaces $G = U_1 \oplus U_2 \oplus \dots \oplus U_k$. In this paper we prove the inverse theorem for the norm [|\cdot|{\mathsf{U}(U_1, \dots, U_k, \smash[b]{\underbrace{{\scriptstyle G, \dots, G}}{{\scriptscriptstyle \ell}}})},] which is the simplest interesting unknown case of the inverse problem for the directional Gowers uniformity norms. Namely, writing $|\cdot|{\mathsf{U}}$ for the norm above, we show that if $f \colon G \to \mathbb{C}$ is a function bounded by 1 in magnitude and obeying $|f|{\mathsf{U}} \geq c$, provided $\ell < p$, one can find a polynomial $\alpha \colon G \to \mathbb{F}p$ of degree at most $k + \ell - 1$ and functions $g_i \colon \oplus{j \in [k] \setminus {i}} G_j \to {z \in \mathbb{C} \colon |z| \leq 1}$ for $i \in [k]$ such that [\Big|\mathbb{E}{x \in G} f(x) \omega^{\alpha(x)} \prod{i \in [k]} g_i(x_1, \dots, x_{i-1}, x_{i+1}, \dots, x_k)\Big| \geq \Big(\exp^{(O_{p,k,\ell}(1))}(O_{p,k,\ell}(c^{-1}))\Big)^{-1}.] The proof relies on an approximation theorem for the cuboid-counting function that is proved using the inverse theorem for Freiman multi-homomorphisms.