Inverse theorem for certain directional Gowers uniformity norms

From MaRDI portal
(Redirected from Publication:6096884)



Abstract: Let G be a finite-dimensional vector space over a prime field mathbbFp with some subspaces H1,dots,Hk. Let fcolonGomathbbC be a function. Generalizing the notion of Gowers uniformity norms, Austin introduced directional Gowers uniformity norms of f over (H1,dots,Hk) 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 partialuf(x)colon=f(x+u)overlinef(x) is the discrete multiplicative derivative. Suppose that G is a direct sum of subspaces G=U1oplusU2oplusdotsoplusUk. 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|mathsfU for the norm above, we show that if fcolonGomathbbC is a function bounded by 1 in magnitude and obeying |f|mathsfUgeqc, provided ell<p, one can find a polynomial alphacolonGomathbbFp of degree at most k+ell−1 and functions gicolonoplusjin[k]setminusiGjozinmathbbCcolon|z|leq1 for iin[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.












This page was built for publication: Inverse theorem for certain directional Gowers uniformity norms

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6096884)