Good Bounds in Certain Systems of True Complexity One

- Mathematics, Stanford University
- More about Frederick Manners

### Editorial introduction

Good bounds in certain systems of true complexity one, Discrete Analysis 2018:21, 40 pp.

In his analytic proof of Szemerédi’s theorem, Gowers introduced a sequence of norms, now known as the Uk norms, given by the formula

‖f‖2kUk=Ex,a1,…,ak∏ϵ∈{0,1}kC|ϵ|f(x+∑iϵiai),

where f is a complex-valued function defined on a finite Abelian group, C is the operation of complex conjugation and |ϵ|=∑iϵi. For example,

‖f‖4U2=Ex,a,bf(x)¯f(x+a)f(x+b)f(x+a+b).

A key lemma in his proof was that for any k such functions f1,…,fk that take values of modulus at most 1, one has the inequality

|Ex,df1(x)f2(x+d)…fk(x+(k−1)d)|≤mini‖fi‖Uk−1.

This lemma was proved using repeated applications of the Cauchy-Schwarz inequality. In such a situation we say that the average on the left-hand side is *controlled by the Uk−1 norm*.

Later, as part of their work on linear equations in the primes, Green and Tao considered more general expressions such as

Ex,y,zf(x+y)f(y+z)f(x+z)f(x+y+z),

finding for each one a k such that the expression is controlled by the Uk norm. Their proof was a generalization of that of Gowers – again, it used repeated applications of the Cauchy-Schwarz inequality.

The Uk norms increase with k, so if the average is controlled by the Uk norm, then it is controlled by the Uℓ norm for all ℓ>k. It is therefore natural to ask what the minimal k is that works for any given average of a product over linear forms. This question was examined in a series of papers of Gowers and Wolf, who conjectured that the average

Ex1,…,xrf1(L1(x1,…,xr)…fs(Ls(x1,…,xr))

is controlled by the Uk norm if and only if the functions Lk1,…,Lks are linearly independent. To understand what this says, note that if the linear forms are x,x+d,x+2d,x+3d, then we have that x2−3(x+d)2+3(x+2d)2−(x+3d)2=0, so the U2 norm does not control the average Ex,df(x)f(x+d)f(x+2d)f(x+3d), but the cubes of the functions are linearly independent, so the U3 norm does control it. Simple examples show that the independence condition is necessary, and in the case of arithmetic progressions, it agrees with the bound in the other direction that comes from the Cauchy-Schwarz argument. However, there are other systems of linear forms where the conjectured bound is strictly smaller than the bound proved by Green and Tao.

Gowers and Wolf proved their conjecture in many cases, and the remaining cases were proved by Green and Tao, and Hatami, Hatami and Lovett. All these proofs used difficult results known as inverse theorems for the Uk norms, due to Bergelson, Tao and Ziegler, and Green, Tao and Ziegler. Since those theorems were known with only very poor bounds, the dependence of the averages on the Uk norm given by these proofs was also very weak.

The situation is now improved, thanks largely to a very recent paper by the author of this one, but using the inverse theorems is still expensive. In this paper, however, it is shown, very surprisingly, that for products over six linear forms, it is possible to prove the result using the Cauchy-Schwarz inequality alone. This is in a sense the first interesting case of the theorem, since one needs six linear forms to obtain systems for which a straightforward Cauchy-Schwarz argument proves U3 control, but in fact one has U2 control.

As that last sentence suggests, the argument in this paper is anything but straightforward. Of course, the Cauchy-Schwarz inequality itself is not complicated, but the way the repeated applications are put together is highly ingenious. It is also shown in the paper that the ingenuity is in a certain sense necessary. As the author puts it, “the issue is that the Cauchy–Schwarz steps used must necessarily be tailor-made to the system Φ being considered. The task of describing a mapping from systems to Cauchy–Schwarz arguments could be likened to that of building a primitive computer using only the Cauchy–Schwarz inequality.” He demonstrates the necessity by proving that the bound genuinely depends not just on the number of linear forms but also on their coefficients. By contrast, the Cauchy-Schwarz argument in the paper of Green and Tao is uniform in the coefficients.