Group items tagged

Quadratic Uniformity of the Mobius Function Authors: Ben Green, Terence Tao (Submitted on 4 Jun 2006 (v1), last revised 22 Sep 2007 (this version, v2)) Abstract: This paper is a part of our programme to generalise the Hardy-Littlewood method to handle systems of linear questions in primes. This programme is laid out in our paper Linear Equations in Primes [LEP], which accompanies this submission. In particular, the results of this paper may be used, together with the machinery of [LEP], to establish an asymptotic for the number of four-term progressions p_1 < p_2 < p_3 < p_4 <= N of primes, and more generally any problem counting prime points inside a ``non-degenerate'' affine lattice of codimension at most 2. The main result of this paper is a proof of the Mobius and Nilsequences Conjecture for 1 and 2-step nilsequences. This conjecture is introduced in [LEP] and amounts to showing that if G/\Gamma is an s-step nilmanifold, s <= 2, if F : G/\Gamma -> [-1,1] is a Lipschitz function, and if T_g : G/\Gamma -> G/\Gamma is the action of g \in G on G/\Gamma, then the Mobius function \mu(n) is orthogonal to the sequence F(T_g^n x) in a fairly strong sense, uniformly in g and x in G/\Gamma. This can be viewed as a ``quadratic'' generalisation of an exponential sum estimate of Davenport, and is proven by the following the methods of Vinogradov and Vaughan.

We show that the Mobius function mu(n) is strongly asymptotically orthogonal to any polynomial nilsequence n -> F(g(n)L). Here, G is a simply-connected nilpotent Lie group with a discrete and cocompact subgroup L (so G/L is a nilmanifold), g : Z -> G is a polynomial sequence and F: G/L -> R is a Lipschitz function. More precisely, we show that the inner product of mu(n) with F(g(n)L) over {1,...,N} is bounded by 1/log^A N, for all A > 0. In particular, this implies the Mobius and Nilsequence conjecture MN(s) from our earlier paper ``Linear equations in primes'' for every positive integer s. This is one of two major ingredients in our programme, outlined in that paper, to establish a large number of cases of the generalised Hardy-Littlewood conjecture, which predicts how often a collection \psi_1,...,\psi_t : Z^d -> Z of linear forms all take prime values. The proof is a relatively quick application of the results in our recent companion paper on the distribution of polynomial orbits on nilmanifolds. We give some applications of our main theorem. We show, for example, that the Mobius function is uncorrelated with any bracket polynomial. We also obtain a result about the distribution of nilsequences n -> a^nxL as n ranges only over the primes.

There is an amusing way to interpret the conjecture (using the close relationship between nilsequences and bracket polynomials) as an assertion of the pseudorandomness of the Liouville function from a computational complexity perspective.