Good bounds in certain systems of true complexity one

From MaRDI portal



Abstract: Let Phi=(phi1,dots,phi6) be a system of 6 linear forms in 3 variables, i.e. phiicolonmathbbZ3omathbbZ for each i. Suppose also that Phi has Cauchy--Schwarz complexity 2 and true complexity 1, in the sense defined by Gowers and Wolf; in fact this is true generically in this setting. Finally let G=mathbbFpn for any p prime and nge1. Then we show that multilinear averages by Phi are controlled by the U2-norm, with a polynomial dependence; i.e. if f1,dots,f6colonGomathbbC are functions with |fi|inftyle1 for each i, then for each j, 1lejle6: [ left| mathbb{E}_{x_1,x_2,x_3 in G} f_1(varphi_1(x_1,x_2,x_3)) dots f_6(phi_6(x_1,x_2,x_3)) ight| le |f_j|_{U^2}^{1/C} ] for some C>0 depending on Phi. This recovers and strengthens a result of Gowers and Wolf in these cases. Moreover, the proof uses only multiple applications of the Cauchy--Schwarz inequality, avoiding appeals to the inverse theory of the Gowers norms. We also show that some dependence of C on Phi is necessary; that is, the constant C can unavoidably become large as the coefficients of Phi grow.











This page was built for publication: Good bounds in certain systems of true complexity one

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