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.

On a conjecture of Gowers and Wolf

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

Averages of completely multiplicative functions over the Gaussian integers -- a dynamical approach

An Inverse Theorem for Certain Directional Gowers Uniformity Norms

Pointwise convergence of bilinear polynomial averages over the primes

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

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

Multiple ergodic averages along functions from a Hardy field: convergence, recurrence and combinatorial applications

On obstructions to the Euler system method for Rankin-Selberg convolutions

Degree lowering for ergodic averages along arithmetic progressions

Higher uniformity of arithmetic functions in short intervals II. Almost all intervals

On a conjecture of Ghorpade, Datta and Beelen for the number of points of varities over finite fields

On a partial sum related to the Euler totient function

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

A uniform Dvoretzky-Kiefer-Wolfowitz inequality

On a variance dependent Dvoretzky-Kiefer-Wolfowitz inequality

An almost sharp quantitative version of the Duffin-Schaeffer conjecture

On averages of completely multiplicative functions over co-prime integer pairs

On unbalanced difference bodies and Godbersen's conjecture

On the Gowers trick for classical simple groups