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.

Quantitative bounds in the inverse theorem for the Gowers $U^{s+1}$-norms over cyclic groups

Quasipolynomial bounds on the inverse theorem for the Gowers $U^{s+1}[N]$-norm

Quasipolynomial inverse theorem for the $\mathsf{U}^4(\mathbb{F}_p^n)$ norm

An inverse theorem for the Gowers $U^3$-norm relative to quadratic level sets

An equivalence between inverse sumset theorems and inverse conjectures for the U^3 norm

Quantitative bounds for Gowers uniformity of the Möbius and von Mangoldt functions

Improved Bounds for Szemerédi's Theorem

An Inverse Theorem for Certain Directional Gowers Uniformity Norms

On some zero-sum invariants for abelian groups of rank three

Exact bounds for the sum of the inverse-power of element orders in non-cyclic finite groups

Quantitative bounds in the nonlinear Roth theorem

Uniform exponent bounds on the number of primitive extensions of number fields

Improved Upper Bounds on Key Invariants of Erdős-Rényi Numerical Semigroups

On the Gowers trick for classical simple groups

A note on the degree bounds of the invariant ring

Quantitative upper bounds related to an isogeny criterion for elliptic curves

The structure of totally disconnected Host--Kra--Ziegler factors, and the inverse theorem for the $U^k$ Gowers uniformity norms on finite abelian groups of bounded torsion

Exponential sums over small subgroups, revisited

On the Frobenius norm of the inverse of a non-negative matrix

Upper bounds for the number of number fields with prescribed Galois group